t k = -17 + 60. Suppose m*u + 2*a - k = 18, u - 11 = -3*a. Does 18 divide u?
False
Suppose h = -0*h + 39. Does 13 divide h?
True
Suppose -3*c + 66 = 3*f - 222, -4*f = -2*c + 168. Is 8 a factor of c?
False
Is 8 a factor of 3*(19 + -6)*1?
False
Suppose -5*u + 74 = -5*a + 2*a, -5*a = 3*u - 58. Let v = u - -16. Does 16 divide v?
True
Let m(k) be the second derivative of k**5/20 + 5*k**4/12 - 4*k**3/3 + 5*k**2/2 - 2*k. Does 17 divide m(-6)?
True
Let v(i) = i**3 + 9*i**2 + 7*i - 3. Let m be v(-8). Let a(o) = o**3 - 5*o**2 + 4*o + 7. Does 9 divide a(m)?
True
Suppose 0 = 5*c - 65 - 70. Is c a multiple of 27?
True
Suppose 0 = -2*n + 1 + 23. Is 2 a factor of n?
True
Suppose 0 = -m + 2*v + 16 + 43, 0 = 4*v - 4. Is 42 a factor of m?
False
Suppose 4*b = 3*b - 99. Let v = 159 + b. Suppose 5*f - v = 110. Is f a multiple of 12?
False
Let m(k) = k**2 + 7*k + 12. Let i(x) = x**3 - 5*x**2 - 6*x - 8. Let s be i(6). Is m(s) a multiple of 20?
True
Let q be 7 + 2 + (-5 - -1). Suppose t - 22 = q*o, 0 = o - 3*o. Is 11 a factor of t?
True
Let l(o) = o**2 - 11*o + 10. Let s be l(10). Suppose -2*v - 2*c + 6*c + 118 = 0, -v + 4*c + 63 = s. Suppose 0 = -3*f - 2*f + v. Does 11 divide f?
True
Let p be 0 + 0/(-2) + 2. Suppose p*a - 49 = 3*a. Let r = a + 86. Is 14 a factor of r?
False
Let k(j) = j - 1. Let q(s) = s**2 + s - 1. Let m be q(-3). Is k(m) a multiple of 4?
True
Suppose 3*f - 100 = -4. Let y = f + -22. Does 5 divide y?
True
Let q = 6 + 0. Let z = 1 + q. Is 3 a factor of z?
False
Suppose 0 = 5*q - 29 - 91. Suppose -5*u - 3*r - r + q = 0, -2*u - 4*r + 12 = 0. Suppose u*g - 78 = -5*y + 63, y - 26 = -3*g. Does 12 divide y?
False
Suppose 5*n + 4*o = 256, 3*n = 4*o + 13 + 147. Does 18 divide n?
False
Let d(i) = i - 2. Let s be 6/4*(-42)/(-9). Does 5 divide d(s)?
True
Does 48 divide ((2 + 0)/(-4))/((-4)/904)?
False
Let g(f) = f**2 - 2*f - 6. Let q be g(10). Let o = q - 37. Suppose -3*y - o = -2*p + p, p = -5*y + 21. Does 19 divide p?
False
Let f(s) = s**3 + 7*s**2 + 3*s + 6. Suppose -21 = 4*k + 3*j, -10 = -4*k + 3*j - 37. Is 12 a factor of f(k)?
True
Let k(g) = -g - 8. Let z be k(-9). Let x = 4 - z. Suppose 0 = -x*f - 2*u + 83 - 6, -4*u + 4 = 0. Does 11 divide f?
False
Let m(b) = -22*b**3 + b**2 + b + 1. Suppose -a = 4*a + 5. Is m(a) a multiple of 23?
True
Is 2*((-4)/10 - 279/(-10)) a multiple of 15?
False
Suppose 5*s - 285 + 90 = 0. Is 30 a factor of s?
False
Let n = -3 + 4. Let v be (n - (1 - -1)) + 1. Suppose -2*l - 4*c + 24 = v, -2*c = -5*l - 14 + 134. Is l a multiple of 11?
True
Let t(g) be the first derivative of -6 - 14*g + 3 + g**2 + 10*g. Is 8 a factor of t(9)?
False
Let v be 91/3 - 2/(-3). Suppose -g = 3*t, 2*t + v = 3*g - 2. Let b = -5 + g. Is b even?
True
Let l be (6/(-15))/(2/20). Is (-2)/l + 166/4 a multiple of 21?
True
Is 2499/42 + 1/(-2) a multiple of 10?
False
Suppose 316 = 7*m - 447. Does 28 divide m?
False
Let y = 10 - 5. Suppose q = -4*q + y. Is 3 a factor of 6 + q + -4 + 1?
False
Suppose -5 = -2*x + 1. Suppose -195 = -2*k - x*k. Is 13 a factor of k?
True
Suppose 5*s + 12 + 3 = 0. Let r be -1 - (s + (-15)/3). Let h = r + 0. Is h a multiple of 7?
True
Let t be 12/9*(-63)/6. Let y = t + 19. Is y a multiple of 5?
True
Does 6 divide (12/(-5))/(6/(-180))?
True
Let v(p) = 2*p + 1. Suppose -m = -9 + 1. Let u(x) = x**3 - 8*x**2 + 7. Let o be u(m). Is 15 a factor of v(o)?
True
Suppose -3*r = -5*b - 352, 3*r + 3*b + 576 = 8*r. Is 38 a factor of r?
True
Suppose 29*o - 26*o - 126 = 0. Is 21 a factor of o?
True
Let h(d) = -18*d - 6. Does 15 divide h(-2)?
True
Let b(k) = -k**3 + 12*k**2 + 4*k - 10. Is 6 a factor of b(12)?
False
Let v be 7 + -2 - (-3 + 3). Is 29 a factor of 29*-5*(-2)/v?
True
Suppose -3*u - 8 = 3*j - 2*j, 4*u = -4*j - 24. Let y = u + 3. Suppose -2*o - y = -8. Is o a multiple of 3?
True
Let k(j) = j**3 - 6*j**2 + 12*j - 19. Is 18 a factor of k(8)?
False
Suppose -2 + 4 = m. Suppose -i + 0 = m. Does 8 divide i/(((-1)/(-8))/(-1))?
True
Is 3 a factor of (-16)/(8/2) + 23?
False
Let z(k) = -5*k - 4. Let o be -6 + -1 - (2 - 5). Does 6 divide z(o)?
False
Let q = -491 + 326. Let u = -115 - q. Does 25 divide u?
True
Suppose -2*n + 11 = 5*g, -5*n = -g + 2*g + 30. Is 3 a factor of (10 - 1)*n/(-21)?
True
Let r(z) = z + 24. Let b(c) = -2*c**2 - 6*c + 7. Let v be b(-5). Is r(v) a multiple of 4?
False
Suppose -18*x + 9*x = -45. Let i(t) be the third derivative of t**5/60 - t**4/24 + t**3/2 + t**2. Does 23 divide i(x)?
True
Let s be (-4)/(-22) + 2896/44. Suppose 0 = 2*i - 5*i + s. Is i a multiple of 14?
False
Suppose -12*f + 15*f = 12. Is f a multiple of 4?
True
Suppose 14*s - 18*s = -120. Does 6 divide s?
True
Let p(t) = -3*t + 6. Let h be p(6). Let s = 60 + h. Is s a multiple of 28?
False
Suppose -a + 0*a = 2. Does 12 divide (343/14)/((-1)/a)?
False
Is 2 a factor of 3/(6/100) + (-24)/6?
True
Suppose 3*m - s = 283, -5*m + 5*s + 309 = -176. Does 4 divide m?
False
Let q(a) be the first derivative of 2*a**3/3 + 2*a**2 + 8*a - 8. Is q(5) a multiple of 26?
True
Let v be (-13)/(-4) + (-2)/8. Suppose v + 3 = 2*f. Is f a multiple of 3?
True
Let c(y) = 11*y**2 - 3*y - 3. Does 2 divide c(-1)?
False
Let d(k) = -k**3 - 11*k**2 - 9*k - 8. Is d(-11) a multiple of 12?
False
Suppose -3*w + 2*t - 1 = 0, 6*t - 2*t - 7 = w. Let s = 32 + w. Is s a multiple of 28?
False
Suppose 26 + 10 = -2*d. Let x(c) = -c**2 - 5*c + 1. Let u be x(4). Let m = d - u. Is 14 a factor of m?
False
Let y = -17 + 49. Does 8 divide y?
True
Let k(t) = -t**2 + 15*t - 13. Let i be ((-6)/(-18))/((-1)/(-33)). Is k(i) a multiple of 15?
False
Let n(k) = -5*k - 2. Let d be n(-2). Suppose -2*u + d = -110. Is 21 a factor of u?
False
Let b = 1 + 25. Does 26 divide b?
True
Suppose 4*n + n + 4*l - 218 = 0, 220 = 5*n + 5*l. Is n a multiple of 21?
True
Suppose -4*l + 5*s + 387 = -l, -387 = -3*l + 2*s. Is 43 a factor of l?
True
Suppose 105 - 45 = -5*b. Let f be (2/(-4))/(1/b). Suppose 0 = 4*a - 20, -3*d + f = a - 23. Is d a multiple of 3?
False
Suppose 2*h - 90 = -20. Is 3 a factor of h?
False
Suppose -3*g + 5*h + 6 = g, 4*h = 8. Let o(s) = s**3 - 2*s**2 - 2*s + 5. Is o(g) a multiple of 29?
True
Let t(p) = -p**2 + 7*p - 4. Suppose h + 3 = 0, -q - 5*h = q + 13. Let s = q + 2. Does 4 divide t(s)?
True
Let y(n) = n**3 + 5*n**2 - 3*n + 16. Is y(-5) a multiple of 27?
False
Let i(d) = -3*d**2 - 5*d - 2. Let n(u) = 3*u**2 + 4*u + 1. Let v(s) = 5*i(s) + 6*n(s). Let f(w) be the first derivative of v(w). Is 3 a factor of f(1)?
False
Let u be (1 + (-5)/4)*-4. Is 3/u - (-80 + -9) a multiple of 23?
True
Let f(o) = -3*o**3 - 4*o**2 - 3*o - 2. Let c be f(-2). Suppose g + 3*g = -4*l, 5*g = -l + c. Is (-9 - 1)*3/l a multiple of 5?
True
Let n be (-2)/3*(1 + (-119)/2). Let a be -6*(6/(-4) - 0). Let r = n - a. Is 10 a factor of r?
True
Let o = 2 - 0. Let n be -43*(-4 + o + 3). Let u = -31 - n. Does 5 divide u?
False
Suppose 0 = -5*i + 5*y + 35, -3*y = -6*y - 6. Suppose i*o = 3*o + 98. Is 14 a factor of o?
False
Let l(a) = a**3 - 4*a**2 + a. Let i be l(4). Let x = 14 - 9. Suppose 0 = -j + x*v + 5, i*j + 2*v - 20 = v. Is j a multiple of 5?
True
Let s(d) = 1 + 11 - 2*d + 3*d. Let h be s(-9). Suppose -q - 52 = -2*u, 20 = 3*u + h*q - 67. Does 10 divide u?
False
Let y = -185 + 260. Is y a multiple of 53?
False
Suppose -d = -u - 5, u - 1 = -0*u - d. Let q be 2 + (-3 - (15 + u)). Is (1 + q)/(-8 + 7) a multiple of 10?
False
Let x(o) = o**3 + 2*o**2 + o. Let c be x(2). Let w = -12 + c. Is 4 a factor of w?
False
Let b = -112 + 241. Does 7 divide b?
False
Let i = 91 - 92. Let q(p) be the third derivative of -p**6/12 - p**3/6 - p**2. Is q(i) a multiple of 3?
True
Let g be 2/(-11) - (-138)/33. Suppose 84 = g*j - 4. Does 7 divide j?
False
Suppose 2*f + 5*s = 111, -f - 2*s - 76 = -3*f. Is f a multiple of 9?
False
Suppose 3*j = 2*w + 4, 0*w - 3*j = w - 16. Suppose 0 = o + w*o. Suppose o = -3*f + 69 + 21. Is f a multiple of 15?
True
Suppose 13 = 4*u - 51. Suppose -d - u = -3*d. Is 8 a factor of d?
True
Let i(q) = -q**2 - 13*q - 12. Let y be i(-13). Is 2*-1*42/y a multiple of 2?
False
Let g be 2 - (-2 + 1 + 3). Suppose 4*z + j - 1140 + 205 = g, -j = 5. Suppose 2*f + z = 7*f. Is 22 a factor of f?
False
Suppose 0 = -5*s + 3*b - 6*b + 60, 5*b = 4*s - 85. Does 5 divide s?
True
Let j(t) = t**3 - 9*t**2 + 11*t - 8. Suppose 0 = -4*o + 8 + 4. Suppose 5*a - 60 = 5*v, o*v