tiple of 12?
True
Let j = 153 + 1038. Is j a multiple of 4?
False
Let m(n) = 8*n - 39*n**2 + 23*n**2 - 8 + 13*n**2 + 44*n**3. Is 33 a factor of m(2)?
False
Suppose 0 = -4*j - d + 13, 3*d + 1 = -3*j + 4. Let x = -147 + 149. Suppose 3*y + x*y = 4*r + 460, 5*y + j*r = 420. Is 11 a factor of y?
True
Suppose -216 = -4*j + 7*j. Let l = j + 21. Let h = 78 + l. Is h a multiple of 9?
True
Suppose -3445*i + 3427*i + 95742 = 0. Is 27 a factor of i?
True
Let d(r) = -r + 97. Let i be d(5). Does 9 divide i*9*3/6?
True
Suppose -81*w + 272*w + 329114 - 1218410 = 0. Is w a multiple of 144?
False
Let p = 25 + -25. Let m be 17 - (4 - 2 - p). Suppose 12*b = 15*b - m. Is 5 a factor of b?
True
Let h = -10010 - -14750. Is 6 a factor of h?
True
Suppose 0 = -18*p + 18813 + 26241. Is p a multiple of 18?
False
Let n be (-9 - (-9 - -4)) + 1*7. Let j be (-50)/4*(-70)/5. Suppose -4*q - q + j = n*g, -5*g + 225 = -5*q. Is g a multiple of 5?
True
Let v = 75 + -79. Let c(g) = -3*g**3 - g**2 + 8*g + 10. Let o be c(v). Suppose 8*q - 15*q = -o. Does 22 divide q?
True
Let k(g) = -g**3 - 10*g**2 + g + 1. Let r be k(-10). Let h(f) = f**3 + 8*f**2 - 8*f + 13. Let u be h(r). Is (-5 - (1 - u)) + 10 a multiple of 8?
True
Is (-1008)/1134 + 47266/18 a multiple of 25?
True
Suppose 0 = g - 2*g + 13. Suppose -g*h + 450 = -8*h. Let c = -57 + h. Is 20 a factor of c?
False
Suppose 0 = -5*c + 15*b - 12*b + 16046, -b = -3*c + 9630. Is 19 a factor of c?
True
Let m = 55 - 59. Let o(k) = -6*k - 18. Let l(f) = -6*f - 18. Let v(j) = m*l(j) + 3*o(j). Is v(11) a multiple of 9?
False
Let x(k) = 25*k**2 - 705*k - 41. Is x(38) a multiple of 65?
False
Let j(i) = 309*i**2 + 11*i + 10. Let g be j(-1). Let s = 1035 - g. Is 14 a factor of s?
False
Let u(z) = -29*z**3 - 3*z**2 - 37*z - 162. Is u(-6) a multiple of 37?
True
Let z(i) = -2*i - 9. Let d be z(-7). Suppose 2*x - 6*p + 2*p + 190 = 0, d*x + 4*p + 503 = 0. Let b = x + 156. Is b a multiple of 14?
False
Suppose -2*j = 2*j + 3*s - 229, 5*s = 4*j - 269. Suppose -m + 98 - j = 0. Suppose -14*b + m = 9. Is 2 a factor of b?
True
Let i(q) = q**2 - 6*q + 2. Let o be i(6). Let h be (o - 1)/3*-6. Is 19 a factor of h/(-10) - 10612/(-140)?
True
Let w = 38 + -35. Suppose i + 6 = 5*c, -3*c + w = 4*i - 19. Suppose -c*f - 165 = -13*f. Is 12 a factor of f?
False
Suppose 0 = -4*d + 51*v - 54*v + 7, -4*v = -4*d - 28. Suppose -3 = 2*o + 2*s + s, -5*o - s = -25. Does 32 divide d/o + (-4354)/(-21)?
False
Is 35 a factor of ((-475)/(-2))/(10/140)?
True
Suppose -5*l + u = 3*u + 13, 0 = l + 4*u + 17. Is 20 a factor of -3 + (l - (-4)/4) - -382?
False
Let h(s) = 264*s + 24. Let i be h(12). Suppose 20*k = -4*k + i. Is 44 a factor of k?
False
Let t = 2038 + 167. Is t a multiple of 15?
True
Let a(d) = -2*d + 6. Let i be a(-4). Let t = i + -15. Does 7 divide (-2 + t - -41) + -3?
True
Let b be (0 - 4)/(2/4). Let p(w) = -w**2 - 8*w + 5. Let u be p(b). Suppose -h = -u - 16. Does 7 divide h?
True
Let m(p) be the second derivative of p**5/20 - 7*p**4/12 - 13*p**3/6 + 15*p**2 + 6*p - 5. Is 5 a factor of m(10)?
True
Suppose 10*z - 20 - 40 = 0. Suppose -145 + 1501 = z*k. Suppose x = 3*v - k, 2*v - 4*x - 229 = -v. Is v a multiple of 8?
False
Let j be 1*(-1 - -2)*-73. Let a = 121 + j. Does 24 divide a?
True
Suppose 4*n + 3*w + 1 = -1, w = -2. Let a(c) = 1 + 29*c + 0 + 32*c. Is a(n) a multiple of 5?
False
Does 143 divide -11 + 7 - (-5 + -8313)?
False
Let h(r) = r**3 + 21*r**2 - 53*r - 9. Is h(-22) a multiple of 24?
False
Suppose 4*d + 5*s = 31, -3*s + 2 = -d - 3. Suppose 0 = d*b - 4*v - 24, 8 = 5*b + 3*v - 14. Suppose 10 = 2*w, 545 = 4*n - 0*w + b*w. Is 26 a factor of n?
True
Suppose 5*o + 0*o + 5*t + 25 = 0, -4*o - 24 = 5*t. Does 50 divide (3 - (-6114)/12) + o/2?
False
Suppose -k + 14 = 6. Let w(g) be the third derivative of -g**4/6 + 31*g**3/3 + g**2 + 213. Is w(k) a multiple of 10?
True
Let w = -403 - -285. Does 19 divide w/((-1)/2 + 0/16)?
False
Let u(n) = 8*n + 9*n - 13*n + 8. Let j(c) = 2*c - 10. Let w be j(7). Is 17 a factor of u(w)?
False
Let l(x) = x**2 - 11*x - 8. Let a be l(10). Let d = 25 + a. Suppose -d*i + 4*i + 225 = 0. Is 15 a factor of i?
True
Let d(v) = 547*v**3 - 2*v**2 + v + 1. Let n be d(1). Suppose 4*i = n + 905. Does 27 divide i?
False
Let t be (-1)/((4/(-36))/((-2)/(-6))). Suppose 57 = t*c - 48. Is 7 a factor of c?
True
Suppose -4*v - 2*d + 107 = 3*d, 2*v = 2*d + 76. Suppose -1116 = 29*o - v*o. Is 9 a factor of o?
True
Let f(g) = 2*g - 10. Let o be f(5). Suppose 0 = -4*l + 5*d + 1 + 32, 2*l - 4*d - 24 = o. Suppose s = 5*j + 3*s - 1016, 200 = j + l*s. Does 33 divide j?
False
Suppose -4*n = 22*l - 21*l - 3115, -2*l = -3*n + 2339. Does 20 divide n?
False
Is (582*6/(-9))/((-5)/20) a multiple of 16?
True
Let r(c) = -171*c + 85*c + 78*c - c**3 + 6*c**2. Let z be r(2). Suppose 4*a - 6*a + 160 = z. Is a a multiple of 26?
False
Suppose -18*w + 218 = -16*w. Let q = w + -10. Is 29 a factor of q?
False
Let g be 1 + 9 - (45 - 41). Is (2 + (-1092)/g)*(-2 + 1) a multiple of 12?
True
Suppose 92*x + 73790 = 3*c + 94*x, -98389 = -4*c - 5*x. Does 13 divide c?
True
Let j(b) = 8*b + 30. Let i be j(-4). Is (-1 - 7)*(3 - (-13)/i) even?
True
Does 8 divide (3744 - 3) + (-15)/3?
True
Let x(n) = -n**3 - 30*n**2 + 56*n - 157. Let g be x(-32). Suppose 191 = 10*y - g. Is 29 a factor of y?
True
Let y be (-3)/(-2)*(16/4 - 2). Suppose 4*p - y*p - 4 = 0. Is 4 a factor of (10/p - 0)*164/10?
False
Suppose 2*b = -53*k + 49*k + 10938, -4*k + 3*b = -10903. Is k a multiple of 46?
False
Let z be 88068/68 + 4/(-34). Let x = z - 143. Is x a multiple of 48?
True
Let y(n) = 311*n + 542. Does 51 divide y(17)?
False
Suppose 12 = -3*y, y = 4*t - 4*y - 44. Suppose f = z - 1, z = -f - 3 - t. Let d(m) = -m**3 - m**2 - 8. Does 23 divide d(f)?
True
Let c(w) = 29*w**2 + 66*w + 1014. Is c(-25) a multiple of 188?
False
Suppose 5*j = 5, -k - 2*j + 7 = -0*j. Suppose 4*h - 50*g - 2913 = -49*g, 0 = -5*h - k*g + 3610. Is 31 a factor of h?
False
Suppose 31052 = 7707*g - 7703*g. Is 23 a factor of g?
False
Suppose 3*f + 4*x = 13, -3*f + 5*f - 9 = -3*x. Suppose 346 = y + 16*c - 13*c, -f*c - 6 = 0. Does 16 divide y?
True
Let i(p) = 18*p**3 - 12*p**2 + 25*p - 27. Does 4 divide i(5)?
True
Suppose -153*s - 464942 = -5083400. Is 117 a factor of s?
True
Let q(r) = 376*r**2 + 11*r + 64. Is 315 a factor of q(-8)?
False
Let u = 1974 - 1305. Is 7 a factor of u?
False
Let j = 953 + -476. Is 8 a factor of 194722/j + (-4)/18?
True
Let h = 6 + 93. Suppose 4*m - h = -5*m. Does 11 divide m?
True
Suppose 2330*i = 2316*i + 24752. Does 71 divide i?
False
Suppose 2*n = 3*n, 3*y - 4*n = 4738 - 319. Is y a multiple of 61?
False
Let k = -1675 + 2758. Suppose 97*q = 101*q. Suppose -2*g + 4*p + 280 = q, 5*g + 390 - k = 3*p. Is 23 a factor of g?
True
Let p = -16 - -14. Let r(s) = 6*s**2 + s. Let m be r(p). Is 8 a factor of (-8 + m)*(3 - -1)?
True
Let i(u) = 112*u**2 + 27*u + 60. Let b be i(-5). Suppose -2*p - 8 = 0, 2*r - 919 - b = 5*p. Is 12 a factor of r?
True
Let c = -72992 - -117494. Is 7 a factor of c?
False
Let y(b) = 3*b**2 + 7*b + 9. Suppose 8*d = 14*d + 66. Is 35 a factor of y(d)?
False
Is (84/(-108)*-24 - 0)*(-5946)/(-8) a multiple of 36?
False
Suppose 32*t + 7341 = 36*t - 5*p, -4*p = 2*t - 3664. Does 34 divide t?
False
Is 23 a factor of -337 + 341 - (2 + -1 - 2570)?
False
Let w be 3 + (-3 - 0) - 0/2. Suppose 2*k = n + 2 + 1, w = 4*k - 4*n. Suppose k*y - 216 = -y. Is 10 a factor of y?
False
Let n(w) = 2*w**3 - 75*w**2 - 64*w - 263. Is n(41) a multiple of 174?
False
Suppose -32 + 1 = -31*a. Let m be (1 - -3*1)/2. Is (-97)/(-2) - a/m a multiple of 8?
True
Does 15 divide 683868/45 + 12 + 4163/(-345)?
False
Let u = 344 - -630. Let b = 1394 - u. Is b a multiple of 10?
True
Suppose 18*c - 616 = 16*c + 4*b, 2*b - 292 = -c. Is 60 a factor of c?
True
Let z(r) = -r**3 + 12*r**2 + r - 1. Suppose 11*m + 263 - 1033 = 0. Let y be (-1 - 46/(-6))*126/m. Is z(y) a multiple of 9?
False
Suppose 2*o = -2*g + 202, o - 496 = -5*g - o. Let l(j) = j**2 - 17*j - 18. Let x be l(22). Let t = g - x. Does 2 divide t?
True
Suppose r - 231 = 3*z, -r = z + 51 + 26. Let n(g) = -3*g**2 - 35*g - 54. Let d be n(-12). Let q = d - z. Does 11 divide q?
True
Suppose -2*m + 5 = x, -x + 5 = -0*x. Suppose m = 5*q - v - 123, -3*v + 81 = 3*q - 0*v. Let g = 24 + q. Does 7 divide g?
True
Let v be