. Does 2 divide (z/5)/(4/60)?
False
Let j(f) be the second derivative of 22*f**3/3 - 8*f**2 + 159*f. Does 5 divide j(4)?
True
Suppose 10*n - 10498 + 2048 = 0. Suppose -6*c = -11*c + n. Does 13 divide c?
True
Does 14 divide ((-140)/(-1))/((13/(-16))/(-13))?
True
Let n(j) = j**2 + 3*j + 5. Let q be n(0). Suppose -q*v + 749 = 2*v. Let t = v + -17. Does 18 divide t?
True
Suppose 13*y - 2708 = -602. Let w = 502 - y. Is w a multiple of 20?
True
Suppose 23 = j + 20. Suppose -14*s + 12*s = j*w - 69, 4*s - 136 = -4*w. Is 11 a factor of s?
True
Let u(t) = 93*t**2 - 132*t - 14. Does 21 divide u(-5)?
False
Suppose 0 = 13*f - 8*f - 5. Let l = 42 + f. Suppose -l = -5*c + 327. Is 24 a factor of c?
False
Let u(z) be the first derivative of z**4/4 - z**2/2 + 2*z - 32. Let h be u(0). Suppose -11 = -h*x + 37. Is x a multiple of 4?
True
Is (-242040)/(-2160) - 2/36 even?
True
Let n be (14/12 + -1)/(29/174). Let q be 16 + -15 + n*19. Suppose -36*u + 35*u = -q. Is 20 a factor of u?
True
Suppose 4*p + 2*z + 2*z - 452 = 0, 572 = 5*p - 2*z. Let t = p - 62. Suppose t + 208 = 2*r. Does 20 divide r?
False
Let k = 20751 - 20331. Is 30 a factor of k?
True
Let f = 989 - 692. Let s(v) = -v**3 + 11*v**2 + 12*v + 9. Let n be s(12). Suppose 1215 = n*j - f. Does 21 divide j?
True
Let y = -47 - -50. Suppose y*n - 8*n = -15. Suppose -3*z - z + 106 = 5*t, n*z - 74 = -t. Is 5 a factor of z?
False
Suppose 3164 + 10102 = 9*o. Let g = o + -572. Is 82 a factor of g?
True
Suppose w = 3*w - 480. Let p = w - 80. Suppose -153*i + 148*i = -p. Is i a multiple of 16?
True
Let o(g) = -165*g - 5645. Is 13 a factor of o(-49)?
False
Suppose 8*f = 3*f. Suppose 4*u - 3*d - 5 + 2 = 0, 4*u - 4*d = f. Suppose 0 = -2*z - u*z + 120. Does 6 divide z?
True
Let d = 47229 + -12662. Is d a multiple of 13?
True
Suppose 0 = 4*f - 5*f + 120. Let u(a) = 6*a**2 + a + 1. Let m be u(-3). Let l = f - m. Is l a multiple of 15?
False
Let j(v) = 44*v + 31. Let p be j(4). Let c = p - 151. Does 4 divide c?
True
Suppose y + 14 = 2*y + 3*m, -5*y = 4*m - 37. Suppose y = 3*s - 4. Suppose 0*j + s*j = 171. Is 19 a factor of j?
True
Let k be (40/(-8) + 4)/((-2)/356). Let n = k + -94. Does 12 divide n?
True
Suppose -225*n + 219*n + 93480 = 0. Is n a multiple of 20?
True
Suppose 5*n - 3*g - 9694 - 8746 = 0, -15 = 3*g. Is n a multiple of 67?
True
Let u = 41 + -41. Suppose u*y + 22188 = 12*y. Suppose -y = -5*w + 226. Is 44 a factor of w?
False
Suppose 70*s - 74*s - 2*b + 126722 = 0, -5*s - 5*b = -158395. Does 14 divide s?
True
Let g(t) = 38*t**3 - t**2 - t + 154. Does 52 divide g(6)?
True
Let m(i) = 33*i - 17. Let v be m(7). Let s = -194 + v. Is 4 a factor of s?
True
Let k be 3154*(1*4 + 217/(-62)). Let p = k + -680. Does 39 divide p?
True
Let y(q) = -q**3 + q**2 - 2*q - 3. Let k be y(-6). Suppose -12*b = -17 - 19. Suppose -b*u = f - 151, -f + k = 5*u + 3*f. Does 7 divide u?
True
Let l be 3*3/((-45)/(-10)). Suppose l + 1 = f. Suppose 18 = -2*s - f*z + 92, -3*s + 5*z = -149. Is s a multiple of 39?
False
Suppose -4*h - 108 = -10*h. Suppose 18*m - h = 12*m. Suppose i - 532 = -m*i. Does 43 divide i?
False
Is -8*(22 + 6370/(-104)) a multiple of 20?
False
Let x(u) = 2*u**2 - 55*u + 12702. Is x(0) a multiple of 6?
True
Let z = 48 + -68. Let q be 16/z + (-1 - 94/(-5)). Suppose q*o - 300 = 14*o. Is 25 a factor of o?
True
Let r(w) = w**3 - 3*w**2 + 4*w - 5. Suppose 5*n + 4*j - 29 = 2, 2*j = n + 5. Let g be r(n). Does 3 divide 0 + 33/g + 2/7?
False
Let l(v) = 39*v**3 - 3*v**2 + 11*v - 9. Let o be l(1). Suppose 2*w + 3*f - 431 = -o, 0 = -2*w + 4*f + 400. Is w a multiple of 22?
True
Let j be 4/(-3)*78/(-4). Let i(y) = y**3 - 12*y**2 + 33*y - 10. Let m be i(9). Let w = m - j. Is 18 a factor of w?
True
Let w = -223 + 227. Suppose -w*q - 2*u = 3*u - 1769, 5*q + u - 2206 = 0. Is q a multiple of 21?
True
Let w(b) = b**2 - b + 6. Let c be w(4). Let i be 8/36 - 4/c. Suppose -21*s + 9*s + 2280 = i. Is s a multiple of 19?
True
Let i be 87*(-5)/(-15) - -1. Let h be 2 + -3 + (i - 3). Does 9 divide (-1)/2 - (-481)/h?
True
Suppose -f + 10271 = -3*d - 22109, 4*f = -d + 129546. Is f a multiple of 6?
False
Let o(s) = 135*s - 1705. Does 53 divide o(61)?
False
Let y(r) = -r**2 + 6*r + 19. Let n be y(8). Suppose -g - 2*k - 64 = 0, 6*g - n*k = g - 359. Let a = g - -120. Does 25 divide a?
True
Suppose -7*k - 1195 = 1115. Let b = k + 775. Is 17 a factor of b?
False
Let c(d) = 10249*d**2 - 11*d + 10. Does 14 divide c(1)?
True
Let b be ((-6)/(-10))/((-96)/(-1120)). Let y(n) = -n**3 + 9*n**2 - 10*n + 12. Does 20 divide y(b)?
True
Suppose -7*a = -3*a + 4, -3*i = 3*a + 12. Is -2 + i + 5 + 110 a multiple of 10?
True
Is 43 a factor of (-17 + 13 - -6) + 27389?
True
Let h(z) be the third derivative of 14*z**2 + 0 - 1/120*z**6 + 0*z - 2*z**3 - 1/3*z**4 + 11/60*z**5. Is h(8) a multiple of 16?
False
Let d be 32 + 16/((-16)/(-4)). Let n be (-271)/((d/(-8))/(-9)). Let g = -244 - n. Does 46 divide g?
False
Let w(g) = -g**2 + 22*g - 17. Let d(z) = -2*z**2 + 52*z - 30. Let c be d(25). Let x be w(c). Suppose -5*s + x*s - 342 = 0. Is 6 a factor of s?
False
Let z = -3811 + 23730. Is z a multiple of 34?
False
Suppose -58 = -3*l + 26. Suppose l*h - 220 = 27*h. Let f = -56 + h. Does 41 divide f?
True
Suppose 0 = -5*d - 5*g + 160, 4*g = -0*d - 5*d + 158. Let z be (4/10)/(2/d). Let h = 54 + z. Is h a multiple of 10?
True
Let n be (15/(-20))/((-3)/2)*-386. Does 12 divide (-1)/(13/n) - (-6)/39?
False
Let u(b) = -b**3 - 2*b + 9. Let a(x) = 3*x**3 + 7*x - 28. Let n(m) = 2*a(m) + 7*u(m). Let s be n(0). Suppose -89 = -2*h + s. Is h a multiple of 8?
True
Let t(c) = -c**3 + 5*c**2 - c - 10. Let q be t(4). Does 18 divide 212*q/4 - -3?
False
Let b(j) = -j**3 - 10*j**2 - 12*j. Let s be b(-8). Let k = s - -34. Suppose 4*c - 50 = k. Is 13 a factor of c?
True
Suppose 0 = 5*h, -5*h + 11406 = -20*b + 22*b. Is b a multiple of 7?
False
Suppose -9 = -7*o + 4*o. Suppose p - 5*q = -0*p - 10, o*p - 18 = -q. Suppose 5*y = 3*b - 204, -p*y = -y. Is b a multiple of 17?
True
Let p = 783 - 348. Suppose -6*x + 21*x - p = 0. Does 6 divide x?
False
Suppose 0 = -6*t + 9 - 3. Let l be (-96)/(-30) - t/5. Is (1/3)/((-4)/(-1656)*l) a multiple of 12?
False
Let r(f) = 56 - 106 + 39*f + 70. Does 14 divide r(2)?
True
Suppose 3*i + 3*m + 2*m - 37 = 0, 5*m - 25 = 0. Is 15 a factor of 7 - 0 - (-812)/i?
True
Suppose 12*h - 30 = 7*h. Suppose 7*x = 1 + h. Does 7 divide 0 - -1 - (4 + -162 + x)?
False
Let y(i) = 36*i**3 + 6*i**2 - 80*i - 50. Is y(7) a multiple of 64?
True
Let y(v) = -29*v**2 + 20*v + 8. Let o(b) = b**2 + b - 1. Let u(d) = -4*o(d) - y(d). Is u(-3) a multiple of 6?
False
Let r be 1*(-2 + 4 - 150). Let u be 1/(6/r) - 3/9. Let q = 71 + u. Is q a multiple of 32?
False
Suppose -b + 739 - 728 = 0. Suppose 9048 - 1458 = b*s. Does 30 divide s?
True
Let f(l) = -134*l - 4 - 6 + 0 - 5. Let v be f(-2). Let n = v - 37. Is n a multiple of 12?
True
Let m(v) be the third derivative of -73*v**4/24 - 76*v**3/3 - 207*v**2 - 1. Is m(-32) a multiple of 12?
True
Let q be 4 - 8 - -1 - -6. Suppose 3*l - 3*y = 45, l + y = -q*l + 85. Is 1*l*25/10 a multiple of 4?
False
Let l(q) = 2*q**2 - 93*q - 604. Is 57 a factor of l(81)?
False
Let l(j) = -j**3 - 165*j**2 - 82*j - 979. Is l(-166) a multiple of 14?
False
Let x = 24 + -101. Let b = -71 - x. Is 223 + (b - 15/3) a multiple of 16?
True
Let u = -10 - -74. Is u/(-40)*(-1605)/12 a multiple of 69?
False
Suppose -2*s = 5*p - 333, 2*s + 53 = p - s. Let o = 388 - p. Let b = o - 121. Is 12 a factor of b?
False
Let r(m) = 39*m - 11. Let o be r(5). Let h be ((-27)/2)/((-3 - -7)/o). Does 41 divide -2 - h/(-6)*-2?
True
Let m be 3/(-4) + (-3)/(-4). Suppose m*g + 10*g - 350 = 0. Suppose 48 = -29*n + g*n. Is n a multiple of 3?
False
Let z = 3910 - 2930. Is z a multiple of 20?
True
Let s(x) = -22*x + 7. Let m = -4 + 0. Does 25 divide s(m)?
False
Suppose 748 = 6*t + o - 1181, -4*o = 5*t - 1598. Does 23 divide t?
True
Let h = 438 + -180. Let f = -42 - -42. Suppose 5*c + f*d - h = 2*d, 0 = -2*c + d + 103. Does 13 divide c?
True
Let v(x) = -4*x + 21. Let k be v(4). Suppose -3*s + 144 = k*o - 3*o, 0 = -s - 3*o + 55. Does 5 divide s?
False
Suppose 0 = -8*u - 20*u + 21616. Let x = 851 - u. Is 2 a factor of x?
False
Let o be (-460)/(-5)*((-9)/12 + 2). Let f = o + -114. Is 4 a factor of 0 + 1/f + 4?
False
Let m = -686 - 