 9/h)?
False
Let g(b) = -8*b + 1 + 0*b + 3 + b**2. Let f be g(8). Suppose -j + 160 = f*j. Does 13 divide j?
False
Suppose -5*n = -2*q - 3420, n = 81*q - 79*q + 684. Is 9 a factor of n?
True
Let k(l) = -l + 6. Let v be k(7). Does 11 divide (-11)/(v - (-1 + 1))?
True
Let m be 1932/49 + (-4)/(-7). Let c = m - 20. Does 10 divide c?
True
Let f = 79 - 75. Suppose -f*z = -2*z - 234. Is z a multiple of 20?
False
Let m be -11 - 10*-1*(-6)/(-15). Let w(d) = -36*d - 15. Is w(m) a multiple of 25?
False
Let s(r) = 2*r + 17. Let g be s(-7). Suppose -4*o - 16 = 0, g*o + 190 + 34 = 2*a. Is 12 a factor of a?
False
Suppose 0 = 11*j - 10*j. Let q(f) = f**2 - 4*f + 17. Does 17 divide q(j)?
True
Does 16 divide (-4)/(-3 + 25/(-1060)*-127)?
True
Suppose 4*g = -5*u + 1 + 2, -4*g - 4*u = -8. Suppose 4*y - 3*n = 114, 2*y = g*y - 5*n - 140. Is 5 a factor of y?
True
Let w be -23*1*21/(-1 - 2). Let i = w + 6. Does 17 divide i?
False
Suppose -21*c + 25248 = 3*c. Is c a multiple of 12?
False
Let u = 692 - 466. Let i = u - 140. Is i a multiple of 18?
False
Let y(r) = -2*r + 19. Let v be y(8). Suppose -44 = -4*k - 2*h - h, 26 = k - v*h. Is 7 a factor of k?
True
Let f be (-248)/(-3) - -5*2/(-15). Let r = f - -57. Is 9 a factor of r?
False
Let k(y) = -y + 7. Let w be k(5). Suppose 3*a = -4*f + 2*f - 11, -w*f + 3*a = -19. Suppose -m = -f*m + 28. Is 5 a factor of m?
False
Let w = 32 - 22. Suppose 0*p + 5*p = w. Suppose -p*c + 90 = -0*c. Is 15 a factor of c?
True
Suppose 25*r - 38985 = 715. Does 10 divide r?
False
Let u(q) = 133*q**2 - 11*q - 21. Is u(-4) a multiple of 25?
False
Let p(z) = 2*z**2 + 5*z - 10. Let i be p(-5). Does 7 divide (-21 + 22)*(i - 0)?
False
Is 10 a factor of 96 + 2*(-8 + 4)?
False
Let y(x) = -x**3 - 2*x**2 + 9*x. Is y(-5) a multiple of 23?
False
Let p = 50 - 36. Let s = -120 + 123. Suppose s*t = t + p. Is t a multiple of 2?
False
Let c be -10*((-2)/(-4) - 1). Suppose 0 = 4*j + c*v - 2, -2*j = -7*j + 2*v + 19. Suppose -j*g + 37 = -2*g. Is g a multiple of 5?
False
Suppose 23979 - 160387 = -59*q. Is q a multiple of 105?
False
Let g(j) = 6*j + 2. Let v(r) = -2*r + 13. Let w be v(5). Does 10 divide g(w)?
True
Let q(v) = 2*v - 40. Let p(c) = -c. Let l(r) = 2*p(r) - 2*q(r). Does 32 divide l(8)?
True
Does 35 divide (-280)/(-6)*15/(-20)*-86?
True
Suppose -3*i - 5 = -t - 20, 0 = 5*i + 3*t - 11. Suppose -240 - 28 = i*s. Is (s/(-3))/(2/6) a multiple of 10?
False
Suppose -2*k = -179 - 1649. Let i = 438 - 448. Is 11 a factor of 18/30 - k/i?
False
Is 91 - ((-2 - -2) + -5) a multiple of 24?
True
Suppose 14 = 4*l - 18. Is 17 a factor of (-457)/l*-2 + 6/(-24)?
False
Suppose -s + 2160 = 9*s. Is 25 a factor of s?
False
Suppose -r + 25 = -m - 6*r, 15 = -3*m - 3*r. Suppose -4*q + 3*f - 4*f + 155 = m, -38 = -q - f. Is q a multiple of 3?
True
Suppose -10*p - 922 = 3*j - 6*p, 4*j - p + 1223 = 0. Let c = 459 + j. Does 6 divide c?
False
Let c = -1383 - -2533. Is 50 a factor of c?
True
Suppose 0 - 9 = -3*j. Let x be 54/(-24)*(-184)/j. Suppose 5*g + 0*g + 2*c = x, -23 = -g - 5*c. Does 11 divide g?
False
Let p(i) = -i**3 + 10*i**2 - 7*i + 3. Let m be p(6). Suppose 8*k - m = 3*k. Is k a multiple of 21?
True
Suppose -u + 3 = 5*i - 2, -5*u = 5*i - 25. Suppose -u = -3*n + 10. Suppose p - 78 = l, p - n*l + 210 = 4*p. Is p a multiple of 19?
False
Suppose 4*r - 73 = -5*h, 3*h - 38 = -2*r + h. Let n = 37 - r. Suppose -18*f = -n*f - 39. Does 12 divide f?
False
Suppose -3*v + 3 = 4*n, 3*v - 3*n = -0*n + 24. Suppose v*l + 2*x - 110 = 7*x, -x = -3*l + 62. Is 20 a factor of l?
True
Let g be (-24)/(-108) + (-356)/(-18). Suppose -5*m = -g - 0. Is m a multiple of 4?
True
Let s = 33 - 46. Let u = s + 51. Let v = 64 - u. Is v a multiple of 8?
False
Let p(b) be the second derivative of b**5/10 + 2*b**3/3 - 5*b**2/2 - 16*b. Is p(3) a multiple of 6?
False
Let i(o) be the second derivative of -o**4/12 + 8*o**3/3 + 21*o**2/2 + 2*o. Let j be i(17). Let d(a) = 3*a - 3. Is 9 a factor of d(j)?
True
Let u(y) = -4*y + 43. Let n be u(10). Does 6 divide (48/(-20))/n*235/(-2)?
False
Let f(m) = 2*m**2 - 2*m - 2. Let z be f(2). Let q be (-1)/(1/z) + 3. Let s = 9 - q. Is 2 a factor of s?
True
Suppose -3*y = -5*o - 5, -5*o + 11 = 2*y - 9. Suppose 2*f = -6, 3*t - y*t + 4*f + 104 = 0. Does 3 divide t?
False
Let m = 271 - 139. Is m a multiple of 3?
True
Suppose -m + 13 = -3. Let l be m/(-2 - -1) - 2. Let j = l + 28. Is 10 a factor of j?
True
Let k(v) = 88*v**2 + 2*v - 2. Let o be k(1). Let m = -66 + o. Is 14 a factor of m?
False
Let s be 3/2*32/12. Suppose m - 7 = -9*y + 4*y, 5*y - s*m - 22 = 0. Suppose 0 = y*l - 4*l + 114. Does 24 divide l?
False
Suppose 3*c = -2*c - 1000. Let b be c/(3 + -5) + -2. Suppose -b = 5*x - 7*x. Is 10 a factor of x?
False
Suppose 0 = -3*o - t + 44, 0 = -o + t - 2*t + 14. Let m = -17 + o. Let x = m + 13. Is 11 a factor of x?
True
Let h be 1*(-4 - (1 - 1)). Suppose 2*o + 4*n - 46 = 0, 2*o + 85 = 5*o + 2*n. Let x = o + h. Is 9 a factor of x?
True
Let a(b) be the first derivative of b**7/840 + b**6/45 - 11*b**5/120 - 3*b**4/8 + b**3 - 6. Let m(v) be the third derivative of a(v). Is m(-9) a multiple of 5?
False
Let k = 798 - 522. Is 26 a factor of k?
False
Suppose 5*i + 14 = 6*i. Suppose 592 = 2*b - 228. Is 29 a factor of b/i + (-30)/105?
True
Suppose 5*r = -5*k + 460, 2*k + 203 - 15 = 2*r. Let n = -66 + r. Is 9 a factor of n?
True
Let f(v) = v**3 - 7*v**2 + v + 4. Let u be f(4). Let y = u - -61. Is 4 a factor of y?
False
Suppose -5*v = -80 - 160. Suppose -3*b - v = 5*c, -7*c + 2*c - 5*b = 40. Let i = 18 + c. Is i even?
True
Let n = 14 + -14. Suppose 5*t - 3*o - 18 = n, -4*t - 5*o - 3 = -10. Is t a multiple of 3?
True
Let z = -4 - -3. Let n be (z - 0) + (-6 - -79). Suppose x + n = 2*x. Does 18 divide x?
True
Is 8/2 + 219/3 + -1 a multiple of 38?
True
Let t = 19 - -61. Does 8 divide t?
True
Let x = -74 + 52. Let m = 47 - x. Is m a multiple of 17?
False
Suppose 2*q - 3*g + 5*g = 176, -4*g = -q + 78. Is q a multiple of 8?
False
Let d(t) = -22*t - 9. Let u be d(14). Let k = 470 + u. Is k a multiple of 13?
False
Let a = -123 + 130. Let r = 200 + a. Does 9 divide r?
True
Let v be 24/18*(-9)/(-6). Suppose 149 + 27 = v*m. Is 14 a factor of m?
False
Let m(i) = 6*i**2 - 2*i - 7. Let v be m(-4). Suppose -27 = -2*d + v. Let w = d + -13. Is 22 a factor of w?
False
Suppose -7*f + 3*f - 4*z - 64 = 0, 3*z = -4*f - 60. Let t = -7 - f. Suppose -3*c - 2*c - 2*b = -70, -56 = -4*c - t*b. Is 14 a factor of c?
True
Let t be 4*(-3)/(-12)*-1. Is 15 a factor of -2 + t - (-272)/4?
False
Suppose 30*s = 31*s - 52. Let t = 19 - s. Let v = 167 + t. Is v a multiple of 36?
False
Suppose 0*q - 56 = 7*q. Let t = q + 44. Does 15 divide t?
False
Let j = -23 + 14. Let f be (j/3)/((-6)/56). Suppose -f = 2*k - 4*k. Does 7 divide k?
True
Suppose g - 5*u + 36 = 0, 3*g - 2*u + 54 = -g. Let m = 9 - g. Is (-3)/(-2)*m + -2 a multiple of 28?
True
Suppose 4*z - 5*u + 1059 = 3408, 0 = -5*z + 3*u + 2946. Suppose w - 5*l - 205 = 0, -458 = -5*w + l + z. Let s = -146 + w. Is s a multiple of 26?
False
Is (0 - (2 + -5)) + -1 + 116 a multiple of 5?
False
Let b be 150/(-22) + 4/(-22). Let p be 2/b - (-1980)/21. Let i = 146 - p. Is 16 a factor of i?
False
Let p = 156 - 85. Is p a multiple of 4?
False
Let u(j) = j**2 - 5*j + 4. Is u(-13) a multiple of 14?
True
Let w(x) = -74*x - 18. Does 15 divide w(-3)?
False
Let g(z) = 2*z**3 - 2*z**2 + 3*z + 2. Let t be g(3). Let b = t - 33. Is 12 a factor of b?
False
Let l = 828 - 486. Does 19 divide l?
True
Suppose -3*t + 10 = -2*g + 1, 5*t - 15 = -g. Suppose -t*u = -0*u - 27. Does 9 divide 1 - -3 - (-234)/u?
False
Suppose 0 = 6*t - 156 - 864. Is 19 a factor of t?
False
Let s = 1362 + -777. Does 66 divide s?
False
Let c(b) = b**2 - 48. Let g be c(6). Is 20/g + (-221)/(-3) a multiple of 12?
True
Is (-35)/(-70) + (-1406)/(-4) a multiple of 8?
True
Suppose -5*h - 1837 = -3*u, u = -6*h + 5*h + 607. Is u a multiple of 14?
False
Let n be (-1)/(3/(-273)) - -4. Suppose 0 = -r - 3*r + 8, w - 2*r = n. Suppose 4*u - w = 21. Does 5 divide u?
True
Let c = 4237 + -2788. Suppose -9*t + c + 135 = 0. Is t a multiple of 23?
False
Let g = 10 + 10. Let h be ((-10)/g)/(2/(-12)). Suppose 0 = -7*r + h*r + 124. Is 16 a factor of r?
False
Is 14 a factor of (((-16)/12)/(-2))/((-6)/(-3987))?
False
Let g(u) = 5*u**2 - 4*u + 2. Let x = 62 + -66. 