= k - d. Is o a multiple of 3?
True
Suppose -n = -2*n + 3*n. Suppose n = -4*u + 3*m + 878 - 229, -5*u + 845 = 3*m. Does 18 divide u?
False
Let c(x) = x**2 + 16*x - 5. Suppose -l + 60 = -3*b + 2*l, -3*b - 42 = 3*l. Does 3 divide c(b)?
True
Is 17 a factor of 400 - 2*(-1 + -3)?
True
Is (-5 - (-5 - -8))*36*-2 a multiple of 75?
False
Let a(w) be the second derivative of w**4/3 - w**3/2 - w**2/2 - 13*w. Is 21 a factor of a(5)?
True
Let t(m) = 2*m**2 - 2*m - 2. Let d be t(2). Suppose 0 = -d*b + 66 + 88. Is b a multiple of 20?
False
Let h(j) = 3*j + 24. Let w be h(22). Let c = w + -45. Is 9 a factor of c?
True
Suppose -64 = -4*o + 3*o + 5*m, o - 58 = -m. Suppose -3*k = 29 - o. Is 10 a factor of k?
True
Suppose 5*v = -2*r + 12, -3*v - v = 5*r - 13. Suppose -3*m + 44 = -6*m + 4*f, 5*f - 20 = 2*m. Is ((-3 - m) + 2)*r a multiple of 11?
False
Let z = 759 - 432. Is z a multiple of 4?
False
Suppose v - 2*h - 10 = 0, 2*v = -2*h + 9 + 23. Let n = -14 + v. Suppose n = -g + 61 + 5. Is g a multiple of 11?
True
Let v = -610 - -1085. Is 102 a factor of v?
False
Suppose -x = -10 + 24. Let n be (-3)/(-2) + (-7)/x. Suppose d = -n*b - d + 210, 0 = -d + 1. Is 26 a factor of b?
True
Let z(x) = -5*x - 56. Let i be z(-10). Is 25 a factor of 103 + (i - (-6)/2)?
True
Let c be 0/(-2 - (-2)/2 - -2). Suppose 3*g - 5*f - 79 = c, f = -4*g + 59 + 31. Does 3 divide g?
False
Let q(y) = 3*y**2 + 2*y - 1. Let j be q(1). Suppose n = d - 8, 5*d + j = -4*n - 10. Let u(h) = h**2 - 3*h - 8. Is u(n) a multiple of 23?
True
Let a(s) = s**3 + 5*s**2 + 5*s + 2. Let k be a(-4). Is 2 a factor of k/4*-17*10/5?
False
Let i(c) = 19*c + 80. Does 2 divide i(6)?
True
Let q = 171 + -61. Does 19 divide q?
False
Let y(r) = 162*r - 270. Is y(7) a multiple of 8?
True
Let j = 18 - 14. Suppose 2*o - j*o + 88 = 0. Does 11 divide o?
True
Let f = 66 + 264. Does 15 divide f?
True
Let k = -795 + 1172. Does 13 divide k?
True
Let x(s) = s**3 + s**2 - s - 12. Let p be x(0). Let n = 15 + p. Suppose 0 = -w + 4, n*t + 23 = 4*t + 2*w. Is 5 a factor of t?
True
Let x be 55/22*(-4)/(-5). Suppose -2*r - 42 = -3*g + 55, x = 2*r. Does 11 divide g?
True
Does 8 divide (-5)/(-3)*144/30?
True
Let a be (-2)/(32/(-12) + 2). Suppose -r + 235 = 3*l, -a*l + 100 = -2*l - 4*r. Is 16 a factor of l?
True
Suppose -6*t = 152 - 92. Suppose -3*b - 26 = -2*u - 2*b, -4*b = -5*u + 65. Let m = u + t. Does 2 divide m?
False
Suppose -931 = -3*p + 5*q, 2*q + 610 = 2*p + 4*q. Is p a multiple of 21?
False
Let a(s) = -s**2 + 6*s + 2. Let j = -3 - -6. Is 11 a factor of a(j)?
True
Let h(s) be the first derivative of s**4/4 + 16*s**3/3 + s**2/2 - 21*s + 37. Is h(-15) a multiple of 9?
True
Let y = 9 - 9. Suppose -b - b + 348 = y. Suppose b = 3*z + 21. Does 13 divide z?
False
Is 6 a factor of (69/2)/(198/132)?
False
Let c(k) = -19*k**3 - k - 2. Let w be c(-1). Is 19 a factor of 2236/w - (60/27 - 2)?
False
Let p = 40 - 28. Does 8 divide 39/p*(13 - 1)?
False
Suppose -5*l = -4*f - 10, 5*f = -l + 6*l - 5. Let y(c) = 9*c + 9. Is 21 a factor of y(l)?
True
Suppose 7*v = 11*v. Suppose -q + 16 = -v. Does 4 divide q?
True
Suppose 4*s = -2*r - 74, -s - 1 = -r - 2*r. Let w = s + 83. Does 19 divide w?
False
Suppose -3*m + 2266 = 2*g, 52*m - 55*m + 2260 = -g. Is m a multiple of 13?
True
Suppose -2*d - 6 = 2*n + 3*n, -2*n = 8. Suppose -d - 14 = -3*u. Suppose -4*b + 21 + u = 0. Is b even?
False
Let x be -111 - 8*1/2. Let y = x - -175. Is y a multiple of 10?
True
Let r(n) = -17*n + 3 - 2 + 16*n + 11*n**3. Let y be r(1). Is 1*45 + (y - 14) a multiple of 21?
True
Suppose s - 7*s = -42. Suppose 132 = 5*g + s*g. Is 4 a factor of g?
False
Let h(d) be the first derivative of 31*d**2/2 - 3*d - 5. Is h(1) a multiple of 4?
True
Let l = 15 - 1. Let q = l + 0. Is q a multiple of 2?
True
Let d = -55 - -78. Suppose d = -5*j + 4*r + 453, 0 = 4*r. Is 11 a factor of j?
False
Suppose -15*g = -19*g + 80. Let b(i) = -i**2 + 20*i + 20. Is b(g) a multiple of 3?
False
Suppose 5*q - 4*g = -11 - 2, -4*g + 8 = 0. Is 17 a factor of -10*(-14 - (-3 + q))?
False
Let u(w) = -w**3 - 43*w**2 + 10*w + 24. Is u(-44) a multiple of 10?
True
Does 51 divide -8 - 48790/(-50) - 1/(-5)?
False
Let b = 3339 + -2067. Is 3 a factor of b?
True
Let x = -764 + 1268. Is 63 a factor of x?
True
Let m = -21 - -27. Is 8 a factor of 112/m*(0 - -3)?
True
Let k = 12 - 10. Suppose -k*z = z. Suppose -f - 2*f + 72 = z. Is f a multiple of 6?
True
Let c = -13 + 23. Let n be (-2004)/c - 4/(-10). Is (-9)/6*n/6 a multiple of 19?
False
Suppose -7*h - 4*h = -2046. Suppose -3*z - 3*a = -h, z + a - 4*a = 70. Is z a multiple of 15?
False
Let v(f) be the third derivative of 68*f**5/15 - f**4/24 + f**3/6 + f**2. Let x be v(1). Is 15 a factor of x/6 + (-1)/3?
True
Let m be 1/((-2)/(-18)*3). Let f(z) = -z + 7. Let j be f(m). Suppose -p = -j*p + 123. Is p a multiple of 13?
False
Let k(f) = -f + 10. Let v be k(6). Let s be (-8)/v - 28/2. Let l = 13 - s. Is 29 a factor of l?
True
Suppose -3*j = h + 1, 19 = -h + 4*h - 2*j. Suppose k - 2*v - 16 = -0*v, -h*k + v + 116 = 0. Is 12 a factor of k?
True
Let f = -33 - -30. Let n(v) = 3*v**3 - 20*v**2 + 29*v - 5. Let u(g) = -g**3 + 7*g**2 - 10*g + 2. Let y(x) = -6*n(x) - 17*u(x). Is 22 a factor of y(f)?
True
Let g(t) = 2*t**3 - t**2 + t - 5. Let n(h) = h**3 + h - 3. Let s(l) = -3*g(l) + 7*n(l). Let m(w) = -w**2 - 6*w + 44. Let v be m(-10). Is s(v) a multiple of 31?
False
Let b(z) = -5*z**2 - 49*z - 74. Let p(q) = 2*q**2 + 25*q + 37. Let m(c) = 3*b(c) + 7*p(c). Does 46 divide m(21)?
True
Suppose 11876 = 5*u - m, 2*u - m = 2427 + 2321. Does 42 divide u?
False
Suppose 6*h = 4*h + 4, -5*o - 4*h + 113 = 0. Suppose 19*d - o*d = -180. Is d a multiple of 6?
True
Suppose -3*i - 5*p = 80, -i + p - 26 = 2*p. Let t = -20 - i. Suppose -t*d + 34 = -26. Does 3 divide d?
True
Let z(h) = h**2 + 12*h + 29. Let w be z(-6). Is (-30)/w - (-3 + 23/7) a multiple of 2?
True
Let m(z) = z**2 - 2*z - 1. Let j be m(4). Suppose 53 = o + j. Suppose -w = 2*r - o, -5*w + 195 = -r + 4*r. Is 8 a factor of w?
False
Suppose -525 = -5*r - 2*a, 6*a - 3*a + 229 = 2*r. Let v = r + -50. Does 19 divide v?
True
Let v = 17 - -14. Let y = 26 - v. Let c = 33 + y. Is c a multiple of 28?
True
Is 3*(-1 + (-1490)/(-30)) even?
True
Does 33 divide (40 + 730)*9/(3 + 0)?
True
Suppose -295 = 3*i - 2119. Is i a multiple of 19?
True
Let b = -440 + 690. Is 19 a factor of b?
False
Suppose -1536 = -a - g - 368, 0 = -a + 5*g + 1180. Does 39 divide a?
True
Let x = 152 + -18. Let v = -90 + x. Does 11 divide v?
True
Let i(k) = 12*k**3 - 70*k**2 - 3*k. Is i(6) a multiple of 10?
False
Is 510/((-18)/(-12) + -5 + 5) a multiple of 34?
True
Suppose -5*l - 100 - 75 = 5*o, 4*l + 5*o = -135. Let f = l - -136. Does 27 divide f?
False
Suppose 4*c = o - 9, 0 = -2*o + 3*o + 3. Let l = c + 6. Suppose -51 = l*r - 168. Is 13 a factor of r?
True
Let r be 2*2/(-4)*314. Let l = -134 - r. Suppose g + 2*j = -3*g + l, -2*j = 0. Is 15 a factor of g?
True
Let m = -99 + 102. Suppose 2*z = 3*z - m*k - 88, 5*z - 2*k - 505 = 0. Does 8 divide z?
False
Let n be (-4)/3*(-18)/12. Suppose 8 = -4*o, 4*q + n*o - 8 = -28. Is 7 a factor of 1495/52 + 3/q?
True
Suppose -2*y = 5*s - 2, 4*y - 5*s = -0*s - 26. Is y - (4 + -112 - -3) a multiple of 15?
False
Let x(a) = 6*a**2 + 13*a - 15. Does 17 divide x(8)?
False
Let i = 131 - 116. Is 15 a factor of i?
True
Suppose -10*i - 9100 = -13*i + 5*w, 0 = -i + 5*w + 3040. Is 30 a factor of i?
True
Let v = -850 - -271. Let k = v + 846. Does 6 divide 1/5 + k/15?
True
Let v(f) = -f**3 + 14*f**2 + f - 10. Let a be v(14). Suppose -5*p + 1355 - 326 = -a*u, 4*u - 852 = -4*p. Is 41 a factor of 11/22 + p/2?
False
Suppose -15 = -5*s, 5*q + 2*s + 77 = 3. Let d(f) = -f**3 - 16*f**2 + 13. Is d(q) a multiple of 10?
False
Suppose -2*j - f = -j + 3, -2*j = -f - 6. Let u(i) = 115*i + 4. Is u(j) a multiple of 15?
False
Is (7 - 5)*-1*(-266)/4 a multiple of 10?
False
Let i(q) = 2*q**2 - 24*q + 37. Let p be i(10). Let a(j) = -11*j - 2. Let b(l) = l - 1. Let o(z) = a(z) + 6*b(z). Is o(p) a multiple of 7?
True
Let w be (-140)/(-34) + (-42)/357. Suppose -2*k + 3*k - 161 = -w*g, -5*k + 25 = 0. Is 13 a factor of g?
True
Suppose 5*i - l = -28, 2*i - 2*l = -l - 10. Is 1/(-3) + (-236)/i a multiple of 13?
True
Let g(o) = -o**2 - 15*o - 30. Let v be g(-12). Let i = 48 + v. Does 8 divide i?
False
L