-x - 234. Is y a multiple of 23?
True
Let c(h) = -2*h**3 + 3*h**2 + h + 4. Suppose 7 + 21 = 7*b. Suppose 0 = 2*v, 4*p + 12 = v - b*v. Is c(p) a multiple of 6?
False
Is 9*18*9424/372 a multiple of 19?
True
Let x(h) be the first derivative of -h**3/3 + 14*h**2 - 28*h + 44. Does 8 divide x(18)?
True
Let v(n) = -3389*n + 670. Is v(-2) a multiple of 133?
True
Suppose -1 - 89 = 2*r. Let i = 46 - r. Let p = -58 + i. Does 15 divide p?
False
Let t(w) = 2*w**2 + 16*w - 16. Let r = 117 + -126. Let v be t(r). Suppose -1174 = -5*d + 4*a, v*d + 4*a - 463 = -a. Is 40 a factor of d?
False
Let d = 20 - 15. Suppose -612 = -3*s + 2*m - 216, d*s = 4*m + 660. Is s a multiple of 44?
True
Let c(m) = -m**2 + 18. Let t be c(7). Is (-1 + t/(-2))*18 a multiple of 29?
True
Suppose -10*y = -5*y - 200. Let s be y/10 - (2 + 280). Let k = -185 - s. Is k a multiple of 13?
False
Let d be -4 + (-14)/(0 + -2). Suppose d*k = -k + 800. Is k a multiple of 20?
True
Let q(y) = 2*y**2 - y - 3. Let i be q(2). Suppose 8*g - 5*z = 3*g - 15, i*g - 5*z = -15. Suppose 3*x - 30 - 27 = g. Is x a multiple of 11?
False
Let o = -24 - -30. Let k(g) = 2*g**3 - 3*g**2 - 8*g - 30. Is 9 a factor of k(o)?
False
Let f = 270 + 160. Does 11 divide (1 + 3)/(20/f)?
False
Let w = 4941 - 2521. Does 11 divide w?
True
Suppose -5*t + 291 = 4*z, -3*t = -2*t - 3*z - 43. Let v be -7 + -204 + -11 + 5. Let y = t - v. Does 34 divide y?
True
Suppose 8*h + 0*h - 40 = 0. Suppose 3*y - 2*y - 20 = -h*u, 2*y = -10. Suppose 4*r - 3*k = 86, 5*r + u*k = 70 + 55. Is 10 a factor of r?
False
Suppose 3*j - 32170 - 6428 = 0. Is j a multiple of 101?
False
Let z(m) = -2*m**3 - 54*m**2 - 22*m - 132. Does 38 divide z(-29)?
False
Suppose -3*s - s = -3*o + 16, 10 = 2*s + 3*o. Let q(m) = m + 2. Let d be q(s). Is 5/((-20)/(-28))*d even?
False
Let r be 35 + -38 - (4/2 - 5). Suppose 3*v - 2416 = -5*n - v, -4*n - v + 1924 = r. Is n a multiple of 8?
True
Let w(y) = y**2 + 10*y - 12. Let p be w(-12). Suppose 0 = -p*i + 355 - 7. Is 17 a factor of i?
False
Let i = 90 + 75. Let t = i - -159. Does 54 divide t?
True
Let u be (-9)/(-3)*(-3)/(-3). Suppose -120 = -u*n + 2*n. Is 3 a factor of n?
True
Let p(t) = -5*t - 2*t + 3*t. Let h be p(-13). Suppose -3*q - h = -247. Is q a multiple of 13?
True
Let u be 2 - ((38 - 36) + (3 - -2)). Let n(r) = -r**3 - 7*r**2 + 4*r**2 + 13*r - 2*r**3 - 7*r**2 + 12. Does 8 divide n(u)?
True
Let i = 9481 + -4789. Does 69 divide i?
True
Suppose -b - 189 - 89 = 0. Let w = b - -374. Is w a multiple of 12?
True
Is -6*5/3 + 958 a multiple of 56?
False
Let i = 3545 + 6822. Is 20 a factor of i?
False
Let h be 18/(-8)*120/(-18). Suppose -h*s + 11*s + 648 = 0. Suppose 2*z + 60 = 2*p, -z = -5*p + z + s. Is p a multiple of 17?
True
Let p(n) = -1. Let o(l) = l**3 - 7*l**2 - 18*l + 23. Let i(x) = o(x) - 6*p(x). Is i(11) a multiple of 31?
False
Let w(k) be the first derivative of k**2 + 28*k - 29. Let c(n) = -n**3 - 6*n**2 + 9*n + 5. Let d be c(-7). Is w(d) a multiple of 5?
True
Suppose 0 = -85*r + 89*r + y - 36368, 18190 = 2*r + 2*y. Is r a multiple of 28?
False
Let i(g) = 95*g - 127. Let m be i(3). Let j = m + 52. Is 32 a factor of j?
False
Suppose -3239 + 404 = -3*q. Suppose 2*a - q = -a. Suppose -6*g + 9*g = a. Is g a multiple of 15?
True
Is (-2348 + 1 + -1)*(20 - 638/29) a multiple of 9?
False
Suppose 3*n - 2*y + 40 = 3*y, 5*n + 4*y = -42. Is 16 a factor of (3 + (-33)/9)*2685/n?
False
Suppose 277 = -8*a + 53. Does 9 divide (-2544)/a + 6/(-7)?
True
Let w be (0*(-1)/3)/((-27)/(-9)). Suppose w = -18*f + 21*f - 735. Suppose -4*b + 5*t = -f, -5*b - 3*t + 295 = 2*t. Is b a multiple of 15?
True
Suppose 1 - 173 = -4*n. Suppose -n*v = -33*v - 850. Is v a multiple of 17?
True
Let d = -3008 + 4799. Suppose 0 = 11*m - d - 4259. Suppose -m = -9*i + 143. Is 7 a factor of i?
True
Suppose -41*s + 820 + 8979 = 0. Does 31 divide s?
False
Suppose -4 = -3*i + 7*i. Let s be (-4120)/(-24) - ((-4)/3 - i). Let d = s - 118. Is d a multiple of 9?
True
Let i = -3016 - -14032. Is 27 a factor of i?
True
Suppose 0 = 5*h + 5*w - 30, -19*h = -24*h + 4*w + 12. Suppose 9*l - 4*l - h*z - 758 = 0, 2*z - 314 = -2*l. Is 4 a factor of l?
False
Let q = 11525 + -7461. Is q a multiple of 16?
True
Suppose -287693 = -93*n + 227089 - 7095. Does 153 divide n?
False
Suppose 11*i = 15*i + 8. Let m(w) = w**3 + 3*w**2 + 2*w + 1. Let h be m(i). Does 11 divide (h/3)/(3/333)?
False
Let y(g) = 3*g**2 + 132814*g + 14 - 66405*g - 66414*g. Suppose -23 = a - 3*p - 4, -3*a = 5*p + 1. Is y(a) a multiple of 14?
True
Suppose 0 = 5*s - 15, 5*s - 44 + 54 = 5*i. Suppose -3*g + 6*g = -4*w + 5629, 7035 = i*w + 5*g. Does 16 divide w?
True
Suppose 3*g = 15, 4*z - 577 = 5*g + 37494. Is z a multiple of 22?
False
Suppose 0 = 4*z - 10 - 6. Suppose -42*u + 39*u + 12 = 0. Suppose -v - u*f + 199 = 0, z*v + 3*f = -v + 1063. Does 27 divide v?
False
Let q(i) = i**3 + 11*i**2 - 7*i + 62. Let l be q(-12). Suppose l*s - 242 - 166 = -a, 0 = -2*a - s + 804. Does 20 divide a?
True
Let u be 9/(-3) - (-7 + 4). Suppose u = -4*c + 17 - 9. Suppose 3*b - 137 - 24 = c*a, 4*a + 267 = 5*b. Does 15 divide b?
False
Let q(x) be the third derivative of x**4/4 + x**3/6 - 18*x**2. Suppose 0 = 3*v + 2*t - 40 - 36, -3*t = v - 30. Is q(v) a multiple of 44?
False
Let a be (-8680)/(-24) - (-3)/9. Suppose 0 = -5*s + 2*g + a, 0 = g - 4 + 5. Is 8 a factor of s?
True
Let i be (-115)/(-30) - (-1)/6. Suppose -i*r + 5*y = -3372, y + 4236 = 2*r + 3*r. Is r a multiple of 19?
False
Let b be 4/26 + (-810)/195. Let s(k) = -k**2 - 4*k + 5. Let z be s(b). Suppose -2*v + g = -4*v + 367, -3*v + z*g + 583 = 0. Does 16 divide v?
False
Let a be (5 - 4)/((-4)/(-12)). Suppose 0 = a*n - 695 - 46. Does 31 divide n?
False
Let f = -12 - -42. Suppose -22 - f = -13*s. Suppose 3*i + 156 = s*z, 5*z - i - 80 = 115. Does 5 divide z?
False
Suppose 0 = 2*t - 6*t + 156. Suppose -3*q + q + 57 = -3*y, 3*y + 4*q = -t. Let c(d) = -7*d - 57. Is 17 a factor of c(y)?
False
Does 21 divide (6 - 5)/(-13 - 384076/(-29544))?
False
Suppose -191*x + 93*x + 88*x = -117000. Does 39 divide x?
True
Suppose -17*v + 247 = 2*v. Does 16 divide 1/1 - v*(-29 - -2)?
True
Let t be (-1)/2*(-2)/(-1). Let f(j) be the third derivative of 19*j**5/30 - j**4/24 - 16*j**2 - 29. Is 15 a factor of f(t)?
False
Let s be (108/6 - 2)/2. Let p = 132 + 162. Suppose p = -s*c + 14*c. Is 3 a factor of c?
False
Suppose -3*g + 2*a - 6*a = 4, 0 = -5*g + 4*a + 36. Is ((g - 6) + 12)*74 a multiple of 40?
False
Let u be (8*(-6)/(-72))/((-7)/(-1134)). Suppose -b = -4*v - 3*b + 6, -3 = -3*v - 3*b. Suppose v*w - u = -w. Is 8 a factor of w?
False
Let w be -1 + 76/20 + (-3)/(-15). Suppose -w*c = -11 - 13. Is 27*3*c/12 a multiple of 18?
True
Let o be (138/(-5))/((-50)/3000). Suppose -88 - o = -4*x. Is x a multiple of 60?
False
Let y(g) = -2*g - 52 + 5*g**2 + 5*g - 5*g. Suppose 117 = -35*a - 134 + 6. Is y(a) a multiple of 9?
True
Suppose 10*s + 894 = 2744. Suppose s + 555 = 10*u. Is 2 a factor of u?
True
Let u(k) = -k**3 - 22*k**2 - 13*k - 125. Is 83 a factor of u(-48)?
False
Suppose -40*y + 633318 + 592122 = 0. Is 148 a factor of y?
True
Suppose -4 = 2*x - 14. Suppose -x*v + 7*v = 24. Suppose v = 2*a - 32. Is 11 a factor of a?
True
Suppose 5*l - 3*l + 25 = -5*w, w + 5 = -l. Suppose -t - 103 + 235 = l. Does 11 divide t?
True
Suppose 7*j + 5741 = 35421. Is 53 a factor of j?
True
Let a(w) = -118*w - 30. Let d(b) = 63*b + 11. Let q(l) = -127*l - 21. Let r(j) = -9*d(j) - 4*q(j). Let g(n) = 2*a(n) - 5*r(n). Is 32 a factor of g(3)?
True
Let n = 277 + -281. Is (((-1530)/n)/5)/((-8)/(-16)) a multiple of 3?
True
Suppose -17*m = -34 - 0. Suppose -2*q + 5*d + 289 = 0, m*d - 371 - 72 = -3*q. Is q a multiple of 4?
False
Let z = 36442 - 31205. Is z a multiple of 8?
False
Suppose -5*b - h + 1896 = 0, -2*h + 824 = 2*b + 64. Let q = b - -173. Is 22 a factor of q?
False
Suppose 0 = 4*f + 5*p - 5, -9*f + 6*f = 3*p - 3. Is ((-8 - -7) + f)*-921 a multiple of 18?
False
Suppose -3*v + k + 16682 = 0, -130*k = -3*v - 133*k + 16662. Is 51 a factor of v?
True
Let d be (-4)/14 - 333/(-63). Let h = 24 + d. Does 3 divide h?
False
Suppose -17*r + 11*r + 1056 = 0. Suppose -2*w = 3*v - 4*v + r, 3*v - 4*w = 532. Is 10 a factor of v?
True
Let y = -64 + 419. Suppose -1755 = -5*j - y. Is j a multiple of 20?
True
Suppose 5*k = -23*v + 17*v + 52886, -4*v = 