6*z - 2*z - v = 0. Does 10 divide z?
False
Suppose -3*h - i = -86, -3*i - 138 = -5*h - 2*i. Suppose 0 = -g + 2*x + h, 2*g = g + x + 29. Is g a multiple of 15?
True
Let g(d) be the first derivative of 2*d**2 - 4*d - 7. Let b be g(4). Does 33 divide 330/(-40)*b*-1?
True
Suppose -11*t = -6*t + 2*z - 27, -2*z = 3*t - 13. Suppose -4*q + 2*g = -178, q - 2*g = -t*g + 17. Does 4 divide q?
False
Suppose -3*t + 0*i - 5*i = -22, 0 = -2*i + 4. Let m be t/(-8)*2 + 3. Is m/7 - (-1460)/35 a multiple of 11?
False
Let o = 173 - -259. Does 10 divide o?
False
Let x be -3 + 4 + 13 - 1. Suppose 2*m + x + 1 = 0. Let q = m + 13. Is 6 a factor of q?
True
Let f = 4 + 1. Let n = -2 + f. Suppose -v + 27 = n*o, -2*v - 3*v = -o - 7. Is o a multiple of 2?
True
Let k = -158 + 321. Is 30 a factor of k?
False
Let o(i) = -i**3 + 2*i**2 - 2*i + 2. Let q be o(0). Suppose w = -q*w + 486. Does 27 divide w?
True
Let h(m) = 8*m - 21 + 0*m + 8 + 7. Is 25 a factor of h(22)?
False
Let i(v) = -9*v**2 + v - 12. Let z be i(5). Let u = 357 + z. Does 12 divide u?
False
Let s be ((-21)/35 - (-4)/(-10)) + 1. Suppose s*j = 3*w - j - 179, -3*w + 182 = 2*j. Is 30 a factor of w?
True
Let v = -6 - -8. Suppose 4*l = 3*h + 144, -5*h + 0*l - v*l = 266. Let u = h + 88. Does 9 divide u?
True
Suppose -7*u + 366 + 15741 = 0. Let v be 4/(-18) + u/27. Is v/10 + 1/2 a multiple of 3?
True
Suppose 43 = 2*z + 4*y - 223, -y + 257 = 2*z. Does 21 divide z?
False
Let y(q) = q**3 - q**2 + 15*q - 130. Does 14 divide y(6)?
True
Let z = 406 + -104. Is z a multiple of 26?
False
Let z(f) = 2*f**3 - 5*f**2 + f - 11. Does 42 divide z(7)?
False
Let w(o) = -2*o**3 + 5*o**2 - 14*o - 36. Is 21 a factor of w(-8)?
False
Let f be 2/(4/(-4)) - -85. Let s = f - 32. Suppose 2*j - s = 9. Is j a multiple of 10?
True
Let y = 48 - 34. Suppose y*d - 114 = 11*d. Does 8 divide d?
False
Let u be 271/6 - 15/90. Suppose 8*n - u = 379. Is 30 a factor of n?
False
Let w = 1592 - -222. Is w a multiple of 20?
False
Is 4 a factor of 9/4*(-16)/(-72)*1032?
True
Is 31/9*58 + 198/891 a multiple of 50?
True
Suppose 3*o = 2*w - 12, -w = -3*o + o - 7. Suppose 2*f + 33 + 24 = 5*a, 0 = w*a + f - 32. Does 3 divide a?
False
Suppose o + 5 = 1, -o = -4*n - 2516. Is 15 a factor of 1/(((-28)/n)/((-20)/(-3)))?
True
Let i be (24/(-10))/((-27)/(-180)). Let w = 17 + i. Is 12 a factor of (-838)/(-14) + w/7?
True
Let c = 3216 + -1032. Is c a multiple of 56?
True
Let s(i) = i + 7. Let w be s(-6). Suppose -c + 24 = w. Suppose 3*t - 3*y = -4*y + c, -2*y = 4*t - 34. Is 2 a factor of t?
True
Suppose 4 = c + 2. Suppose 2*o + 0*o = 5*d - 275, 2*o = -c*d + 124. Is d a multiple of 11?
False
Is 12 a factor of 12*-87*2/(0 - 6)?
True
Let z = -1 - 0. Let j be z + 3 + 4 + -3. Suppose 31 + 95 = j*m. Is m a multiple of 14?
True
Suppose 26*d = 40*d - 7686. Is 9 a factor of d?
True
Let d(w) = -w**2 - 2*w + 3. Let y be d(-3). Let u(g) = 2 + y + 2 - g**2 + 15*g. Is u(8) a multiple of 30?
True
Suppose 28*k - 35 = 13545. Is k a multiple of 38?
False
Let d = 34 + 8. Suppose 3*f = f + 3*q + 84, -f = -q - d. Is 6 a factor of f?
True
Suppose 6*o + 54 = 54. Suppose -5*w - 10 = o, 4*z + 4*w - 1130 = -w. Is 23 a factor of z?
False
Suppose -293*u = -294*u + 403. Does 9 divide u?
False
Let a be 14/4*(-2 - -4). Suppose 2 + a = -c. Let o = c - -21. Does 4 divide o?
True
Let v be (1 + (-113)/(-5))*30/12. Let k = v - -45. Does 52 divide k?
True
Let n(z) be the second derivative of -1/20*z**5 + 7/3*z**3 + 3/4*z**4 + 0 - 7*z - 15/2*z**2. Is n(10) a multiple of 5?
True
Let w be -23 + 9/((-9)/(-2)). Let x(v) = -7*v - 71. Is 7 a factor of x(w)?
False
Suppose 0 = -22*k + 103 + 557. Suppose 2*d + 4*f - 42 = k, 4*d + 3*f = 139. Does 21 divide d?
False
Is 37 a factor of 232/(-1276) + 13433/11?
True
Let y(i) = 2*i**3 - 13*i**2 + 2*i + 13. Let s be y(6). Is s/((-22)/644) + -2 a multiple of 16?
True
Suppose 0 = k - 0*k + 25. Let i be (-1698)/(-15) - (-5)/k. Let p = -33 + i. Is p a multiple of 21?
False
Let j(n) = -6*n + 44. Let w(l) = -3*l + 21. Let i(c) = -2*j(c) + 5*w(c). Let y(b) = b**3 - 6*b**2 + 4*b - 2. Let q be y(5). Is 8 a factor of i(q)?
False
Let r(q) = 11*q**2 + 10*q + 4. Is r(-2) a multiple of 7?
True
Let p = -399 + 530. Does 5 divide p?
False
Let h(i) = -10*i + 2. Let y = -25 + 19. Is 11 a factor of h(y)?
False
Suppose -5*a - 25 = -0*a, -4*o + 4*a - 12 = 0. Is 2 a factor of 11/9 + o/36 + 32?
False
Suppose -68*q - 2571 = -71*q. Does 43 divide q?
False
Let d(t) = t**2 - 4*t + 13. Let f be 2 + (-16)/9 - 65/9. Does 30 divide d(f)?
True
Let z = -83 - -46. Let g = 52 + z. Does 5 divide g?
True
Suppose 0 = 4*v - 7*v + 582. Let k = v - 157. Is k a multiple of 15?
False
Let i = 15 - 14. Is i/(-2) - 2124/(-24) a multiple of 22?
True
Let n(i) = 3*i**2 + 4*i - 4. Suppose 3*x - p + 3 = 23, 0 = -x - 4*p + 11. Let t = -11 + x. Is 7 a factor of n(t)?
True
Suppose -96 = -2*v - 22. Suppose x - 3 = 4*k, -2*k + 0*k = 3*x - v. Is 9 a factor of x?
False
Suppose -451 = -4*j - 3*p, 5*j + 3*p - 9 = 554. Suppose d = -x - 75, 2*x = 3*x - d + 73. Let v = x + j. Does 9 divide v?
False
Suppose -8*a + 679 = 3*c - 3*a, 0 = -4*c + 3*a + 915. Is 10 a factor of c?
False
Suppose m - 4*d = 636, -1237 = -2*m + 5*d - 4*d. Is 56 a factor of m?
True
Suppose b + 5 - 17 = 5*y, 5*y + 16 = 3*b. Let t be y - ((-1 - -1) + -2). Suppose -3*m + t*m = -66. Is m a multiple of 6?
False
Let r = -55 + 59. Suppose 108 = 4*a + 4*z, -2*a + 0*a = -r*z - 36. Is a a multiple of 10?
False
Suppose 2*w + w - 9 = 0. Suppose 3*o - 140 = -2*v, o - 145 = -w*v + 79. Does 14 divide v?
False
Is 14 a factor of 63/210 + (-27188)/(-40)?
False
Let a(q) = -q**3 + q**2 + 5*q + 4. Let j be a(-5). Let v = -215 + 218. Suppose -v*c - 9 = -j. Does 19 divide c?
False
Let i be 1/(0 + (-3)/(-15)). Suppose i*q - 912 = -q. Does 19 divide q?
True
Is 75 a factor of (1508 - 0) + (-84 - -78)?
False
Let t be (-2)/(2 - 16/12). Is 15 a factor of (t/(-9))/(3/657)?
False
Suppose -5*d + 3*d + 244 = 0. Let n = d + -75. Suppose -s = -0*c + 5*c - n, 4*s + c = 169. Is s a multiple of 21?
True
Let p(a) = 269*a + 30. Is p(1) a multiple of 35?
False
Suppose 0 = -2*v + 6, 8*h - 3*v - 1091 = 3*h. Is h a multiple of 22?
True
Let u(d) = -2*d + 4. Let k be u(2). Let o be 4*(4 - k)/4. Suppose 0 = -2*c + 2*z + 72, -o*z + 120 = 4*c + 8. Does 16 divide c?
True
Suppose 0 = -9*y + 11*y - 6, 3*f - 1410 = -2*y. Is f a multiple of 12?
True
Let b(f) = 11*f + 116. Is b(14) a multiple of 18?
True
Let a(g) = 21*g - 6 + 7 - 5. Is 40 a factor of a(4)?
True
Suppose 2*y = 5*a - 30, 2*a - 24 = -2*a - 5*y. Suppose -63 = -a*p + 105. Does 14 divide p?
True
Suppose -7*i + 300 = -5*i. Suppose -b + 2*n + 570 = 3*b, -n = b - i. Is b a multiple of 17?
False
Suppose 2*h + 44 = -4*z, -z = 4*z + 20. Let q(g) be the third derivative of -g**4/24 + g**2. Is q(h) a multiple of 4?
False
Suppose 14*g = 21*g - 56. Suppose 5*z = 2*j + 413, 2*j = -g - 0. Is 13 a factor of z?
False
Suppose t - 1 = -41. Does 6 divide 4/14 + t/(-7)?
True
Let a be ((-42)/105)/((-1)/130). Let f = a - -16. Does 30 divide f?
False
Suppose 0 = 5*c - 5*v - 500, 0 = c + 4*v - 54 - 66. Is 13 a factor of c?
True
Let o = -1 - -5. Suppose 100 = x + o*x. Is x a multiple of 4?
True
Let a(l) = l**2 + 12*l + 12. Let w(h) = 11*h - 4. Let u be w(-1). Is 19 a factor of a(u)?
True
Let c(u) = u**3 - 2*u**2 - 7. Let y be (6/3)/(-1) + 9. Does 18 divide c(y)?
False
Let w be 80 - -1*4/(-4). Suppose -5*u = -151 - w. Let a = u + -14. Does 14 divide a?
False
Let o = -35 + 35. Let f(d) = -2*d + 58. Is f(o) a multiple of 39?
False
Let a = 1070 + -1019. Is a a multiple of 3?
True
Let r(k) = 2*k + 4. Let s be r(-4). Is 30 a factor of (-179)/(-2) + (-2)/s?
True
Let n(y) = y**3 + 26*y**2 + 71*y - 24. Is 15 a factor of n(-21)?
True
Let z(n) = n**2 - 10*n - 9. Let y be z(11). Suppose y*p - 40 = 142. Is p a multiple of 13?
True
Let w(z) = 2080*z + 8. Is 58 a factor of w(1)?
True
Suppose 0 = 12*n + 1266 - 4122. Is n a multiple of 11?
False
Let h(j) = -j**3 - 3*j**2 - j + 3. Let v be (1/(-2))/((-2)/(-12)). Let g be h(v). Suppose 3*t - g = 30. Does 7 divide t?
False
Suppose 3 = -s + g + 2, 0 = 4*g - 16. Suppose -5*a + 4*n + 37 = 0, s*a + 4*n = 8*n + 27. Suppose 24 = x + a*u, x - 2*u + 8 = 39. Is x a multiple of 29?
True
Let f(o) be the third derivative of o**6/72 - 11*o**5/120 + 7*o**4/24 + 5*o**2.