2*s**3 - 26*s**2 - 27*s - 29. Does 7 divide p(-12)?
True
Suppose 23*j - 25*j = -4*r + 6568, -3*j = -6. Is r a multiple of 63?
False
Let a(r) = -2*r - 20. Let z be a(-11). Suppose m - 137 = -i, i - z*i = -4*m - 112. Is i a multiple of 22?
True
Suppose -y + 60 = -5*a, y - a - 44 - 12 = 0. Let j = 7 + -44. Let m = j + y. Is m a multiple of 6?
True
Let c(j) = -1. Let w(d) = 2*d + 11. Let h(p) = 28*c(p) + 4*w(p). Is h(8) a multiple of 16?
True
Let f be (-4)/(-8)*(305*1 - -1). Is 3553/f - (-4)/(-18) a multiple of 2?
False
Let v be (30/(-5))/(3/165). Let t = v + 559. Is 17 a factor of t?
False
Is 13 a factor of 3600/6*(-15)/(-6)?
False
Is ((-31924)/24)/(-23) - 3/(-18) a multiple of 38?
False
Let u = -19 + 23. Suppose 4*s = 16 + u. Let g = 14 + s. Is g a multiple of 19?
True
Let r(h) = -3*h**2 + 8*h + 4*h**2 - 3 + 4 + 14. Does 2 divide r(-6)?
False
Suppose 6*q - 2*q + 16 = 0. Is 3 a factor of ((-1)/((-3)/(-45)))/(q/4)?
True
Suppose -138 = 5*t - 5*m - 3, m = -3*t - 97. Let l = t - -9. Does 17 divide l*(-4)/6*3?
False
Let w = 128 + -122. Is 84/(-15) + w - (-898)/5 a multiple of 9?
True
Suppose -k - 2 = -29. Suppose 3*y + k = 6*y. Suppose -38 = y*m - 10*m. Does 19 divide m?
True
Let c(f) = -16*f + 11. Let i(g) = 4*g - 3. Let r(l) = -2*c(l) - 9*i(l). Let u be r(-3). Suppose u = 5*a - 43. Does 4 divide a?
True
Let d be 3 + 1 - (-5 + 4). Suppose -3*c - 378 = -2*g + 2*c, d*g = -5*c + 910. Is g a multiple of 7?
False
Let m(h) = 63*h**2 - 9*h + 12. Is m(-4) a multiple of 22?
True
Suppose -5*k + k + 660 = 0. Suppose 6*x - 3*x = -k. Let q = x + 90. Is 9 a factor of q?
False
Let j be (-10 - 1)*(-21 - -8). Let v = j + -93. Is v a multiple of 5?
True
Let b be (-19)/2 - (-4 + (-42)/(-12)). Does 2 divide (3/b)/(2/(-42))?
False
Let g(q) = q**3 - 6*q**2 + 6*q. Let c be g(5). Let s = 28 + -16. Suppose -j + 70 = c*r, -r - s = 2*r. Is 30 a factor of j?
True
Let r(k) = k**2 + 5*k - 6. Let c be r(-6). Suppose -2*f - 2*f + 3*a + 81 = 0, -2*f - 5*a + 73 = c. Is 12 a factor of f?
True
Suppose 5*z - 5*u - 6310 = -10*u, -2*u - 1271 = -z. Does 55 divide z?
True
Suppose v - 9*g - 1643 = -5*g, 6 = -3*g. Is v a multiple of 136?
False
Let x(h) = 3*h**2 + 2*h + 5. Does 4 divide x(-10)?
False
Let b(h) be the first derivative of 13*h**3/3 + 4*h**2 + 3*h + 12. Does 21 divide b(-3)?
False
Suppose w + 40 = 5*w. Let u(y) = -y**3 + 11*y**2 - 12*y + 10. Let v be u(w). Is 18 a factor of (-4510)/(-50) + 2/v?
True
Let x = -300 - -560. Suppose 0*o - 2*o = -x. Suppose 6*p - p - 2*d = 121, 5*d + o = 5*p. Is p a multiple of 18?
False
Is 5 a factor of (-23897)/(-92) + (-2)/(-8)?
True
Let u(s) = s - 8. Let a be u(11). Let x be ((-4)/a)/(8/1440). Let y = 336 + x. Does 24 divide y?
True
Let v be -6*1*3/(-6). Suppose -v*x + 4 + 5 = 0. Does 16 divide 148*(14/4 - x)?
False
Let d = 194 + -57. Is d a multiple of 10?
False
Is (15/(-10))/((-6)/64) + 2 a multiple of 3?
True
Is 5 a factor of -5*1*(5 + -4)*-5?
True
Let o = 69 + -69. Suppose o = 2*i - 116 - 82. Is i a multiple of 33?
True
Suppose -42 = -2*a - f - 4, 4*a = -5*f + 82. Let o be 2/6 - 24/a. Does 23 divide (-6)/(o + -1) + 66?
True
Let a = 318 - -2. Is 61 a factor of a?
False
Suppose k - 14 + 9 = 0. Suppose 2*q = -k*o - 37, 9 = q + o - 4*o. Does 22 divide (q/4)/((-18)/636)?
False
Suppose 20*w = 53*w - 100485. Does 15 divide w?
True
Let p(d) = d**3 - 10*d**2 + 23*d - 66. Is 47 a factor of p(11)?
False
Suppose t = 2*h - 0*t - 9, -5*h - 3*t + 50 = 0. Let a be h + (-1 - -1) - 2. Suppose -a*v - p + 308 = 0, 2*v + 5*p = 4*v - 134. Is v a multiple of 16?
False
Suppose -15*u = -20*u + 595. Is u a multiple of 4?
False
Let h(j) = -18*j**2. Let t be h(-1). Let w = -13 - t. Suppose 0 = -3*r + w*k + 56, 8 = 4*r - 2*k - 76. Is r a multiple of 18?
False
Suppose -13*k + 406 + 127 = 0. Suppose -5*d + 171 = k. Is d a multiple of 4?
False
Let t(v) = -4*v + 1. Let n be t(-5). Suppose 2*y - n = 419. Suppose -3*c - y = -5*z, 0*z + 5*c + 88 = 2*z. Does 13 divide z?
False
Let w(p) = p**2 - 10*p - 8. Let x = 14 + -24. Let r be w(x). Does 6 divide (r/(-14))/4*-7?
True
Suppose -7*s + 2*s + 387 = t, 2*s - 156 = -t. Suppose -2*z + s = -z. Does 7 divide z?
True
Suppose -5*o = 2*m - 1421, o = m + 308 - 28. Does 19 divide o?
False
Let d(p) = -p**3 - 25*p**2 - 59*p - 76. Is d(-27) a multiple of 21?
False
Let n(q) = q**2 + 14*q + 47. Is 8 a factor of n(35)?
False
Let s be (-2 - -3) + (28 - 1). Let w be (6/(-2))/(6/s). Let b = 34 + w. Is 5 a factor of b?
True
Suppose 41 = -4*t - 15. Let i be (-94)/4 + 7/t. Let w = i - -34. Is w a multiple of 5?
True
Suppose 0 = -4*c + 20, 3*y - c - 206 = c. Does 25 divide y - -5 - (-4)/(-2)?
True
Is 9 a factor of (-24)/(-36) + 170/6?
False
Suppose -6 + 26 = 4*u. Suppose -n = -u*n + 28. Suppose -n*r + 6*r = -10. Is r a multiple of 4?
False
Suppose 0 = -2*l + 6, -32*t + 35*t = 5*l + 4788. Is 11 a factor of t?
False
Let u = 4 + -11. Let o(g) = g + 12. Does 5 divide o(u)?
True
Let t = 15 + -17. Let u be (-1 + 2)*(1 + t). Is 3 a factor of (-11 - (-3 + 1))/u?
True
Let d(k) = -6*k**3 + 6*k**2 + k - 7. Is d(-2) a multiple of 5?
False
Let z be (339/6)/(1/2 - 1). Let n = z + 208. Does 19 divide n?
True
Let z(a) = a**3 - 26*a**2 + 36*a - 26. Does 12 divide z(25)?
False
Suppose -t + 3*a - 18 = -2, 5*a = -3*t + 8. Does 12 divide 117*1/(-1 - t)?
False
Let p(j) = -j**3 + 6*j**2 - 14. Let y be p(5). Let o(d) = -d**2 + 10*d + 35. Does 3 divide o(y)?
True
Let j = -3844 + 6088. Does 34 divide j?
True
Let m(s) = 3*s**3 + 40*s**2 - 17*s - 28. Is 13 a factor of m(-13)?
False
Let p = 2209 + -2150. Is p a multiple of 26?
False
Suppose 92*s = 94*s - 4. Suppose 0 = d + 12 - 4. Is 50/s*(-7 - d) a multiple of 18?
False
Let s(i) = 12*i**2. Let w be s(-1). Let t = 14 - 15. Let c = w - t. Is c a multiple of 4?
False
Suppose o - 35 - 698 = 2*n, -4*o + 2896 = n. Is 26 a factor of o?
False
Suppose 0*g = g - 13. Suppose 0 = 3*z - 4*z + g. Suppose -8*x - 115 = -z*x. Does 4 divide x?
False
Suppose -5*p + 1219 = i, -i + 0*i + 5*p + 1179 = 0. Is i a multiple of 60?
False
Let v = 983 - -69. Is v a multiple of 98?
False
Let r be (6/4 + (-27)/6)*-1. Does 2 divide 2 - 3 - r*-1?
True
Let u be ((-4)/(-20))/((-2)/(-10)). Let m(w) = 350*w + 55. Let d(y) = 25*y + 4. Let t(a) = -55*d(a) + 4*m(a). Does 9 divide t(u)?
False
Let j = 2638 - 1362. Does 59 divide j?
False
Let v be -1 - -3 - 5 - -6. Let j(b) = -14*b**v + 5*b + 13*b**3 + 8 + 5*b - 4*b**2. Is j(-6) a multiple of 20?
True
Suppose 6 = 3*p - 6. Suppose o + 20 = -p*l, -3*o = -5*l - 0*o - 8. Is 968/28 - l/(-7) a multiple of 34?
True
Let h(y) = 2*y**2 - 4*y - 13. Let r be h(6). Let p = r + -27. Is p a multiple of 8?
True
Let k(n) = 2*n**2 - 15*n + 42. Let p be k(13). Let s be 1 - (-2*1 - 119). Suppose -5*w + 5*x + p = 0, 5*x = -2*w + s - 34. Does 13 divide w?
True
Let o = 76 - 87. Let j(p) = p**2 + p - 19. Is j(o) a multiple of 13?
True
Let o = -13 + 16. Suppose -4*b - o*n + 4 = 8, 0 = -3*b - 5*n - 14. Suppose b*u + 18 - 86 = 0. Is u a multiple of 7?
False
Suppose 23*p - 19*p = 2*l + 1392, -4*l = p - 339. Is p a multiple of 77?
False
Is 16 a factor of (414 + -2)*((-189)/36 + 6)?
False
Let p(a) = -14*a + 13. Let u be p(3). Let v = 35 + u. Is 3 a factor of v?
True
Let k(f) = 9*f**3 + 3*f**2 + 5*f - 6. Let j(v) = 5*v**3 + 2*v**2 + 2*v - 3. Let s(i) = 11*j(i) - 6*k(i). Let a be s(6). Let u = a + -210. Is u a multiple of 21?
True
Suppose -1 = -5*y - 6, 3*y + 6 = -3*l. Let u be (-3 - -4 - -12) + l. Suppose 5*h - 159 = -i, -82 = -2*h - 2*i - u. Is 5 a factor of h?
False
Let c(z) = z**3 - 18*z**2 - 17*z - 36. Let r be c(19). Suppose u + 50 = r*u. Is 41 a factor of u?
False
Suppose -1253 = -3*b + n, b - n = 6*b - 2091. Is b a multiple of 23?
False
Let a be -15*1/(-6)*-74. Let y = -94 - a. Does 13 divide y?
True
Let k be (-26)/(-2 - (-15)/6). Let v = -31 - k. Suppose 7*g = 4*g + v. Is 2 a factor of g?
False
Suppose -3*j - u = -359, 5*u = 4*j - 330 - 174. Does 2 divide j?
False
Let w(q) = 714*q**2 + 13*q. Is 11 a factor of w(-2)?
False
Let z(o) = -13 + 13 + 13*o**2 + 17*o**2. Let g be z(1). Let m = 42 - g. Does 7 divide m?
False
Let a = -614 + 2437. Is 7 a factor of a?
False
Let n(z) = 12*z**2 - 61*z - 38. Is n(10) a multiple of 12?
True
Suppose -2*d + 34 = -36. Suppose 35 = 5*w + 5*z, -2*w - 4*z + d = 3*w. Is w a multiple of 7?
True
Let b = 274 + 209. Is 