
False
Let s(i) = 54*i**2 + 7*i + 3. Does 36 divide s(4)?
False
Let k = 5 + -1. Suppose -2 = 4*i - 2*i + k*m, 3*i - 4*m - 17 = 0. Is 15 a factor of ((-2)/i)/((-8)/444)?
False
Suppose -17*w = 3*w - 8860. Is w a multiple of 9?
False
Let k = -203 + 1198. Is 27 a factor of k?
False
Let k(v) = 5*v**2 + 5. Let w be k(5). Let y = 289 - w. Suppose -145 = -8*z + y. Is 38 a factor of z?
True
Suppose -3*i - 2*g = -2830, 3*i - 6*i + 3*g = -2850. Does 20 divide i?
False
Suppose -2158 = -2*t - 0*l + 2*l, -3*l = -5*t + 5401. Suppose -4*o = 62 - t. Is o a multiple of 30?
False
Let h = 39 + -21. Let f = h + -9. Let k = 25 - f. Is 5 a factor of k?
False
Suppose -2*p = -p + q - 1, 2*p - 3*q + 23 = 0. Let o be 3 + (-4)/p*18. Suppose -19 = -s + o. Does 15 divide s?
False
Suppose 0*k + 3*k - 4*r = 903, -k + 2*r = -299. Is k a multiple of 14?
False
Let i = 53 - -14. Suppose -101 = -5*n - 3*m, 2*n + 5*m = -n + i. Let z = n + 19. Is 19 a factor of z?
True
Let i(x) = 2*x**2 - 4*x - 7. Let k be i(-7). Suppose 5*n - k = 91. Is n a multiple of 9?
False
Is 115 a factor of 368/(-6)*(-4)/12*45?
True
Suppose 5*m = -5, 4*m = 4*n - m + 1319. Let l = -189 - n. Is l a multiple of 18?
False
Let g = 21 + -20. Suppose -s + g = -50. Suppose -237 = -3*x + s. Is x a multiple of 23?
False
Let h(q) = 4*q**3 - 2*q**2 + 7*q. Let j(o) = 2*o - 3. Let z be j(3). Does 37 divide h(z)?
True
Let n(y) = -2*y + 2. Suppose -5*x = 5*q + 40, -q + 5*q + 33 = -5*x. Does 2 divide n(q)?
True
Let c(p) = -p**3 + 12*p**2 - 10*p - 8. Let w be c(11). Suppose w*h - l = -h + 983, -4*l - 1237 = -5*h. Is 49 a factor of h?
True
Suppose 3*j - 12 = 0, 6*a - 4*a + 14 = 4*j. Let u(q) = 9*q + 3. Is u(a) a multiple of 4?
True
Suppose -5*n - 4*d = -3*n - 22, -5*d = 3*n - 29. Let g be (0 + n)*(-489)/(-9). Suppose 4*r - 77 = g. Is r a multiple of 15?
True
Let u(y) = y**3 - 9*y**2 - 21*y + 10. Let l be u(11). Suppose w = l + 38. Is w a multiple of 20?
False
Let y(f) = -f - 1. Let h be y(-14). Let r = 18 - h. Does 3 divide r?
False
Let z(a) = -a + 1. Let x(p) = 3*p - 5. Let r(k) = -x(k) - 2*z(k). Does 3 divide r(0)?
True
Let a be (4/10)/((-6)/(-90)). Suppose 20 = g - a. Is 12 a factor of g?
False
Suppose -33*u = -41*u + 15352. Does 7 divide u?
False
Let f be (7/3)/(3/(-9)). Let w be 12/9 - (-2 + 327/9). Let i = f - w. Does 8 divide i?
False
Let v(b) = -100*b - 7. Is 4 a factor of v(-1)?
False
Let r(k) = -8*k - 13. Let i be r(-4). Let h = 71 - i. Is 4 a factor of h?
True
Suppose -4*l + 3*l + 2 = 0. Let z(u) = -l*u**2 + 0*u**3 - 2*u**3 + 3*u + 3 + 0*u - 2*u**3. Is z(-2) a multiple of 7?
True
Let n = 34 - 31. Suppose q + 74 = n*q. Is 14 a factor of q?
False
Let j be 36/(-8)*2*1. Let c be 6/j*-3 + 10. Let l = 51 - c. Does 9 divide l?
False
Let w = 3 + 0. Let p(o) = 2*o**2 + 12*o - 10. Let r be p(-9). Suppose -w*m - r = -2*n, 2*m - 124 = -4*n - m. Is 8 a factor of n?
False
Let j(u) = u**3 - 10*u**2 - 10*u - 9. Let s be j(11). Is (-1)/(93/(-45) + s) a multiple of 3?
True
Suppose u = 22 + 146. Let z = u + -7. Is 39 a factor of z?
False
Suppose -k - 3 = -2. Let h be (-4)/12 - 13/(-3). Does 5 divide (-1)/(h/92*k)?
False
Suppose -4*j = -4*z - 69 - 79, 104 = 3*j + 4*z. Is 12 a factor of (-6)/8 - (-495)/j?
False
Let v(w) = 7*w**2 - 28*w - 13. Does 19 divide v(-25)?
False
Let q(o) = -o**3 + 9*o**2 + 5*o - 5. Let w = 45 - 41. Is 19 a factor of q(w)?
True
Is 4208/14 + (-56)/98 a multiple of 3?
True
Let s(b) = b + 4*b + 2*b + 3*b**2 - 2 + 1. Is 15 a factor of s(-8)?
True
Suppose -2*q - 3*y = 257, 5 = y - 0*y. Let a = 64 + q. Let t = a - -107. Is t a multiple of 11?
False
Suppose 2*l - 39 = p, -l = -4*p - 6 - 3. Let y = l - 4. Suppose -y = 3*u - 4*u. Is 4 a factor of u?
False
Let a(m) be the third derivative of -7*m**4/6 + m**3 + 19*m**2. Is 26 a factor of a(-5)?
False
Suppose -37 = -5*z + 3. Suppose 3*l - 104 + z = -5*c, -4*c + 82 = 5*l. Does 6 divide c?
True
Let r = 4 - 1. Let p = 4 - r. Let j(y) = 17*y - 1. Does 8 divide j(p)?
True
Let r be 1224/28 + 1 - 2/(-7). Let f = r + 2. Does 4 divide f?
False
Let q(u) be the second derivative of -u**5/20 + u**4/2 + u**3/2 - 4*u**2 - u. Let k be 19/3 + 6/(-18). Is 5 a factor of q(k)?
True
Suppose -103 + 283 = 5*d. Let v = d - -32. Is v a multiple of 11?
False
Suppose -4*s = -143 - 197. Suppose -s = -6*u + 29. Suppose -w + 24 = -4*b - u, 0 = -3*w + 2*b + 79. Is 18 a factor of w?
False
Let g(l) = 3*l**2 - 12*l + 18. Suppose 0 = 5*a + 5*r - 45, 4*a - 7 = 2*r + 17. Is 10 a factor of g(a)?
False
Suppose 24 = 4*d - 56. Suppose f - d = 2. Is f a multiple of 6?
False
Let y = -1171 + 1647. Is 14 a factor of y?
True
Let g(o) = o**3 - 7*o**2 + 5*o - 32. Let n be g(7). Let y = n + 72. Is 11 a factor of y?
False
Suppose -4*f = -8, -4*w - 5*f + 1008 = 274. Is w a multiple of 14?
False
Let l(n) = n + 8. Let s be l(-4). Suppose -2*d + s*w = 2*d - 8, 5*w = 10. Suppose -129 = -3*o + u - d*u, -o - 5*u = -63. Is o a multiple of 10?
False
Suppose s - 9 = -2*s. Suppose -i = -5*y - 38, 0 = 5*i - s*y - 169 + 67. Does 6 divide i?
True
Suppose 4*v - 2*h - 2*h - 8 = 0, 0 = -h + 1. Suppose -5*z + 50 = v*x, 3*x - 10 = -z + 4*x. Is z even?
True
Suppose 15*m - 17*m = 226. Let c be (-224)/(-6)*(-9)/2. Let d = m - c. Does 12 divide d?
False
Let u(b) = 10*b + 56. Does 24 divide u(4)?
True
Is 12 a factor of (2/1 - -6)/((-2)/(-202))?
False
Let z = 1110 + 56. Is 106 a factor of z?
True
Let i(d) be the third derivative of -4*d**2 + 0 + 1/20*d**5 + 0*d - 1/4*d**4 - 5/6*d**3. Is 15 a factor of i(5)?
False
Suppose -13 = j + 2*f, -63 - 10 = 5*j + 2*f. Does 9 divide ((-93)/(-15) + 3)/((-3)/j)?
False
Let j(v) = 13*v - 2. Let f be j(-1). Let d = f + 42. Is d a multiple of 6?
False
Suppose 7*l = 3*l + 1980. Let a = -333 + l. Is a a multiple of 9?
True
Let t(s) = -22*s**3 - 3*s**2 - 7*s + 4. Does 24 divide t(-4)?
True
Is 5 + (-15)/3 + 53 a multiple of 4?
False
Let x be 4 + -3 + 0 + 75. Let m = x + -58. Does 18 divide m?
True
Suppose 0 = 4*s - 6*s + 336. Suppose -3*j + 4*g = -28 - s, 3*j - 176 = -g. Suppose -4*t + j = 16. Does 3 divide t?
False
Let y(p) = -37*p + 902. Is 14 a factor of y(0)?
False
Let o = -1152 + 1732. Suppose -12*w = -8*w - o. Is 15 a factor of w?
False
Suppose 0 = 5*u + 772 - 22. Let b = -52 + -36. Let l = b - u. Is 12 a factor of l?
False
Let j(k) = 18*k**3 - 7*k**2 + 20*k - 41. Is j(5) a multiple of 97?
True
Let n(v) = -v**3 - 7*v**2 + 7*v + 17. Suppose -6*m + 8 = -7*m. Is n(m) a multiple of 13?
False
Let x = 65 - 40. Suppose 39*l = 38*l + x. Is l a multiple of 7?
False
Suppose 7*m - 2*m = 15. Let b be (-1)/m*(-4 + -5). Let w = 4 + b. Does 2 divide w?
False
Suppose -8*h = -211 - 285. Let k = 78 - h. Does 13 divide k?
False
Let v = -11 - -18. Suppose z = 3*r + v - 2, 0 = 5*r + 5. Is 33 a factor of (9/z)/((-6)/(-132))?
True
Let a(i) = i**2 - 18*i. Let d be a(18). Suppose -6*r + 164 - 38 = d. Is 21 a factor of r?
True
Does 62 divide (-8)/28 + (-13030)/(-35)?
True
Let w = -9 - -20. Let g = w - 6. Suppose 3*t + g*c = 49 - 0, -73 = -3*t + c. Is t a multiple of 6?
False
Suppose -2*g = 3*k - 218 - 11, 0 = 2*g + 5*k - 219. Suppose 2*h + 4*z = 40 + g, 3*h - 293 = 4*z. Is 4 a factor of h?
False
Let f(z) = 5*z**2 + 17*z - 6. Let h(p) = p**2 + 3*p - 1. Let o(k) = -6*f(k) + 34*h(k). Let c be 5/(-2)*4/(-5). Is 12 a factor of o(c)?
False
Let b(w) = -w**3 - w**2 - 3*w. Let t be b(0). Suppose t*u = -5*u + 300. Does 12 divide u?
True
Suppose -5*y + 16 = k + 2*k, -4*y = -5*k - 35. Suppose -22 = y*t - n, -5*t - 4*n + 1 = 38. Let c = 35 + t. Does 9 divide c?
False
Suppose 5*a - 9 + 4 = 5*r, -2*r = 5*a + 23. Let o be 8*r/(-56)*7. Suppose -226 = -5*f + o*b - 53, -4*f = -b - 134. Is 33 a factor of f?
True
Let r(s) = -s + 24. Let n be r(22). Suppose -n*l + 4 + 96 = 0. Is l a multiple of 10?
True
Suppose 420 = 4*z + 8*t - 11*t, 2*z + 3*t - 210 = 0. Is 4 a factor of z?
False
Suppose -6*v + v - 14*v = 0. Let c = -8 - -12. Suppose 0*w + c*w - 88 = v. Is 4 a factor of w?
False
Let z(d) = 16 + 12 - 19*d + 15*d**2 + 6*d - 14*d**2. Does 9 divide z(12)?
False
Suppose 2*d + 9 + 9 = 0. Let z(f) be the first derivative of f**3/3 + 5*f**2/2 - 6*f - 391. Is z(d) a multiple of 6?
True
Let n(l) = l**3 + 8*l**2 + 5*l + 3. Let i be n(-7). Let j = i - 20. Let s = 7 - j. Is s a multiple of 3?
False
Suppose -n = -3*n + 6. Suppose 0*v = i - n*v + 2, -4*v = -2*i. Suppos