1298. Is t a multiple of 12?
False
Let w = -123 - -226. Is 92/(-20) - -5 - w/(-5) a multiple of 7?
True
Let p(m) = -m**2 + 107. Let c = -16 - -16. Does 24 divide p(c)?
False
Let t be (0 + 1)/1 - -4. Let j be 1 + (-1 - (-35)/7). Suppose j*d - 79 = -2*w, t*w - 2*d - d - 213 = 0. Does 7 divide w?
True
Let y = 55 - -19. Is 38 a factor of y?
False
Let f(u) = u**3 + 5*u**2 - 2*u + 3. Let i be f(-6). Let k be (-91)/(-2 - 9/(-3)). Let z = i - k. Is z a multiple of 14?
True
Let q = 317 + -17. Is q a multiple of 10?
True
Let w(y) be the third derivative of -y**6/120 - y**5/10 - y**4/3 - y**3 - 9*y**2. Is w(-7) a multiple of 33?
True
Suppose 3*m - 1593 = -3*h, 0 = -2*h + 2*m + 3*m + 1041. Is h a multiple of 17?
False
Let f(m) = 2171*m + 85. Does 48 divide f(1)?
True
Suppose -5*y - 6 = -21. Let h(i) = -i - i + 4 + 5 + y*i. Is h(7) a multiple of 6?
False
Suppose 330 = 28*v - 25*v. Let k be (-550)/(-14) - 4/14. Let y = v - k. Does 20 divide y?
False
Let b(x) = 3*x**2 + 2*x + 3. Let o(z) be the first derivative of z**3/3 + 3*z**2 - 3*z + 4. Let q be o(-6). Is 8 a factor of b(q)?
True
Let y(q) = q**2 - 12*q - 22. Let u be y(10). Is ((-50)/(-6) - -5)*u/(-8) a multiple of 5?
True
Suppose 0 = 4*v - 388 + 220. Is 7 a factor of v?
True
Let d = -32 - -82. Let w = -46 + d. Does 3 divide w?
False
Suppose 5 - 17 = -3*c. Suppose 0 = c*d + o - 25, -o = 2*d + d - 20. Suppose -d*t + 2*r + 134 = 0, 2*r = -t + 8 + 14. Does 17 divide t?
False
Let o(c) = -78*c - 2. Let q be o(-1). Suppose -b - 24 = -q. Is 26 a factor of b?
True
Let o = -147 + 100. Let g = 131 - o. Let x = -112 + g. Does 33 divide x?
True
Let a be (-1 + 514/6)/(10/15). Let w = a - 62. Does 5 divide w?
True
Suppose 4105 + 1034 = 9*r. Suppose 3*z - r = q, -917 + 163 = -4*z + 5*q. Is z a multiple of 18?
False
Suppose -4*v = 8 + 40. Is ((-20)/3)/(4/v) a multiple of 4?
True
Suppose -5*w + m + 12483 = 0, -158*w + 163*w - 12495 = -5*m. Is 92 a factor of w?
False
Let n(x) = x**3 - 8*x**2 + x - 3. Let i be n(8). Does 10 divide i/(-3 - (-192)/63)?
False
Suppose -20 = 4*c, -y + 205 = 2*c - 24. Is y a multiple of 30?
False
Let n be (-1)/2*(-5 - 117). Suppose 0 = -3*w + g + 9 + 7, 3*w + 3*g = 12. Suppose 5*z - 4*u = n, -w*u - 2 = 4*z - 2*z. Does 2 divide z?
False
Suppose 3*y = -4*h + 2*y - 193, 0 = 3*h - 2*y + 142. Does 12 divide (-142)/(-12) + (-8)/h?
True
Suppose -1 + 16 = 3*u. Suppose u = -r - 5. Is 9 a factor of r/(-50) - 94/(-5)?
False
Let o(a) = a**2 + a - 69. Is 3 a factor of o(-19)?
True
Let b = -393 + 509. Does 4 divide b?
True
Let l be ((-1218)/(-30) - 4) + (-3)/5. Suppose 2*f = l + 4. Is 10 a factor of f?
True
Suppose 0 = 5*n - 5875 - 170. Is n a multiple of 39?
True
Suppose 3*l - f = -5*f + 40, 0 = -2*l - 3*f + 27. Let b be (-20)/6 - l/18. Is 4 a factor of b/(-4) - (0 - 3)?
True
Let j(k) = -3*k + 51. Let n be j(17). Suppose 5*h = 0, n = -5*c + 3*c - 5*h + 352. Is c a multiple of 22?
True
Is 11 a factor of ((-1595)/(-116))/((-1)/(-16))?
True
Suppose 7132 - 1027 = 33*j. Is 3 a factor of j?
False
Let w be 0*(-1)/(-3) - -14. Suppose -4*r = 3*l - 2 - w, 9 = 2*l + r. Is 12 a factor of 2/l + (-69)/(-6)?
True
Let d be (-18)/63 - (195/21)/(-1). Suppose 4*v = -v + 2*a + 226, d = -3*a. Does 22 divide v?
True
Let r be (4/6)/(2/9). Suppose -4*j - a = -101, 3*j - 47 = 2*a + r*a. Is 16 a factor of j*(3 + -2 + 1)?
True
Let o(c) = -c**3 + 6*c**2 + 4*c - 8. Let k be o(6). Suppose -k = 5*h + 4*u, -h - 2*u + 1 = 9. Suppose 34 = 3*s - 4*n, -s + 2*n + n + 13 = h. Does 5 divide s?
True
Let t be (4/10)/((-3)/(-15)). Suppose -3*o = 3*h - 2*o - 26, t*h - 4*o + 6 = 0. Is (h - -1) + -1 + -1 a multiple of 6?
True
Suppose 7*a - 12459 = -4213. Does 19 divide a?
True
Suppose -5*x = -4*s + 74, 6 = -4*s - 10. Let w = x + 21. Let i = w + 15. Is i a multiple of 9?
True
Let l = 3172 + -2123. Is 19 a factor of l?
False
Suppose k - 3*k = 4. Suppose -5*z + 4*c + 137 = 0, -z - c + 5 = -26. Let h = z + k. Is h a multiple of 9?
True
Is (1 + (0 - 3))/((-6)/651) a multiple of 35?
False
Let o(q) = q**3 - 8*q - 7*q**2 + q**2 - 7 - 2*q**2. Let f be o(9). Does 21 divide (-68)/(-8)*4 - f?
False
Let g = 75 + 165. Does 24 divide g?
True
Suppose 2*f - 5 = -1. Suppose 0 = -n - 2*j + 13, -f*j = 4*n + 2*j - 40. Suppose 0 = -6*b + n*b - 5. Is 5 a factor of b?
True
Suppose 5*s - 3437 + 307 = 0. Is s a multiple of 20?
False
Let c = 3390 - -754. Is c a multiple of 74?
True
Suppose -5*k = 3*a - 1413 - 1253, -k + 538 = 3*a. Does 17 divide k?
False
Let f = -120 + 460. Suppose 4*x + x - f = 0. Suppose -4*p - 5*g = -127, 2*p - x = 2*g - 0*g. Is p a multiple of 33?
True
Let o = 40 - 35. Suppose 0 = 2*k - 0*k - 5*t - 8, 3*k - 37 = -o*t. Does 2 divide k?
False
Suppose 2 = 5*g + 3*y - 11, -4*g = 2*y - 10. Let k(n) = -5*n**2 - n**2 + 69 - g*n + 7*n**2. Is k(0) a multiple of 33?
False
Let l = 7 + -11. Let o(x) = -x**3 - 2*x**2 + 5. Is o(l) a multiple of 12?
False
Suppose 2*r = -2*r + 248. Let d = 51 + -35. Suppose -r = -h - d. Is h a multiple of 12?
False
Let y be 1 - (1 - (1 - 0)). Let a(i) = 20*i + 2 - 11*i - i + 5*i. Is 5 a factor of a(y)?
True
Let w(a) = a**3 - 34*a**2 + 4*a - 28. Does 3 divide w(34)?
True
Let d = 8 + -5. Suppose -5*p - d*j + 0*j + 140 = 0, 0 = 2*p - j - 67. Does 20 divide p?
False
Suppose x - 3*d - 746 = 0, 0 = 5*x - 2*d - 4428 + 724. Does 19 divide x?
False
Is 84 a factor of (-9)/(-6) + (-805)/(-30)*51?
False
Suppose 19 = a + 17. Suppose 2*p + a*p = 0. Suppose p*q = 2*q - 88. Is 19 a factor of q?
False
Suppose 52*z + 29843 - 122143 = 0. Does 25 divide z?
True
Suppose 4794 = 3*q + 2*w, -2 + 11 = 3*w. Is q a multiple of 19?
True
Let t(l) be the third derivative of l**6/120 + l**5/6 + 11*l**4/24 + 5*l**3/6 + 11*l**2. Let n be (-1 - -8)*(0 - 1). Is t(n) a multiple of 16?
False
Let w = 1431 + -1040. Is 2 a factor of w?
False
Is 67344/132 - 2/11 a multiple of 34?
True
Suppose 3 + 1 = -4*o. Let b(i) = -i**2 + 10*i - 6. Let f be b(9). Does 24 divide 24*(f - o - 3)?
True
Let h = 12 + -9. Suppose 5*y + 3*n = 925, h*y - 3*n = n + 555. Suppose -4*c + 5*z = -y + 53, 0 = 2*c + 4*z - 66. Is c a multiple of 16?
False
Suppose 5*i = -5*n + 1275, -n + 820 - 53 = 3*i. Suppose i = 2*d + 5*f, 2*f + 41 + 599 = 5*d. Is d a multiple of 32?
True
Let u(i) be the first derivative of -i**4/4 + 2*i**3/3 + i**2/2 - 5*i + 6. Is 5 a factor of u(-3)?
False
Suppose -6*x + 37 = -5. Suppose x*l - 4*l = 27. Is l even?
False
Let g(b) = b + 1. Let o(m) = -12*m - 36. Let h(a) = 6*g(a) + o(a). Is 20 a factor of h(-15)?
True
Let w(o) = o + 11. Let j(x) = x**3 + x**2. Let m(p) = -5*p**3 - 3*p - 8. Let q(c) = 6*j(c) + m(c). Let l be q(-6). Is w(l) a multiple of 7?
True
Let u = 551 + -199. Is u a multiple of 32?
True
Suppose 0 = 5*l - 131 - 189. Let u = 87 - l. Is u a multiple of 23?
True
Suppose 2*y - 5*y + 18 = 0. Suppose 7*z - 8*z = 51. Does 16 divide 0 - (z + -3 + y)?
True
Let f = -18 - -20. Suppose -3*t = -3*h + 300, -398 = -2*h - 2*h + f*t. Does 33 divide h?
True
Suppose -2*x = -7*x + 100. Suppose -5*u + 35 = 5*n, x = 2*u - 0*u - 4*n. Is 3 a factor of u?
False
Let x(s) = -3*s + 74. Does 4 divide x(15)?
False
Let o(r) = 5*r - 8. Let y be o(10). Suppose d - 7 = 2*m + 5, y = 5*d - m. Let x = 74 + d. Is x a multiple of 14?
False
Let c(y) = -4*y - 3. Let i(v) = v + 1. Let p(q) = -c(q) - 5*i(q). Let z be p(6). Let k = z + 26. Is 6 a factor of k?
True
Let z(x) = 4*x**2 - 6*x - 8. Is 8 a factor of z(8)?
True
Let v = 329 - 257. Does 3 divide v?
True
Suppose -9*r + 66 = -6*r. Let p be (-14)/77 - (-334)/r. Suppose y + 2*t = 10, 7 + p = y - 4*t. Is y a multiple of 4?
False
Let q = 24 - 24. Suppose 3*n - 8*n + 10 = q. Suppose n*m + 120 = 5*m. Is m a multiple of 13?
False
Is 9 a factor of -1*(1624/(-4) + -7)?
False
Suppose 0 = -24*p + 54706 + 16814. Is p a multiple of 51?
False
Suppose 11*w + 119 - 1274 = 0. Does 15 divide w?
True
Suppose -5*v + 1019 = 2*d, d + 3*d - 2033 = -5*v. Does 39 divide (-4)/2*d/(-26)?
True
Suppose 7 = q - 4*u - 125, 2*q - 3*u = 274. Is q a multiple of 14?
True
Suppose -3*j = -3*f, 2*f + 4*j - 21 = -f. Suppose u + 467 = f*a, -2*u - 781 = -5*a + u. Is 15 a factor of a?
False
Let l = -434 + 644. Is 9 a factor of l?
False
Let s = -646 + 913. Is s a multiple of 2?
False
Let w(h) = 5*h + 79. Let z(c) = -3*c - 40. Let x(s) = 4*w(s) + 7*z(s). Let i be (7 - (-5 - 3))*(1 - 0). Does 12 divid