. Does 31 divide p(-19)?
True
Suppose 2*w - 5*w = -1521. Suppose 4*q = 5*p + 18, 0 = -5*q + 4*p - 3*p + 12. Suppose -5*m + 3*t = -w, q*m + t - 203 = 2*t. Is m a multiple of 27?
False
Let u be 21/(-2 + (-75)/(-42)). Let i be (-2340)/(-16) + (-5)/20. Let o = u + i. Is 13 a factor of o?
False
Suppose 3*s - 2*c + 7 = 0, 3 + 7 = -2*s - 4*c. Let o(k) = 3*k + 36. Is o(s) even?
False
Let v(o) be the first derivative of 6*o**2 + 136. Let u be (1 - 2) + (2 - 0). Does 11 divide v(u)?
False
Suppose 398 - 1478 = -8*m. Does 9 divide m?
True
Let t(h) = h**3 + 7*h**2 - 7*h + 8. Let o be t(-8). Suppose -3*x + o*x = -21. Suppose -4*j = x*d - 3*d - 228, 3 = -d. Is j a multiple of 15?
True
Let o(k) = k**3 - 8*k**2 - 9*k + 10. Let v be o(9). Let h = v + 15. Is h a multiple of 25?
True
Let d = -3 - -4. Let g be 2 + -2 + d - 53. Let r = 82 + g. Is 10 a factor of r?
True
Let k = 0 + 0. Suppose 0 = y - 1 - 0. Is 8 a factor of k - (y - 29 - 3)?
False
Suppose -3*v - g = -v - 7, -19 = v + 5*g. Suppose -v*n + 792 = 2*n. Is n a multiple of 8?
False
Let a(c) be the third derivative of c**5/60 + 7*c**4/24 - 4*c**3 + 7*c**2. Let z be a(-10). Let d = z - -16. Is 22 a factor of d?
True
Suppose 0 = 2*q - 0*q + 80. Let m = q + 64. Is m a multiple of 8?
True
Does 5 divide (-3)/(((-66)/(-80))/(-11))?
True
Let x(t) = 2*t**3 + 19*t**2 - 10*t + 10. Is x(-10) a multiple of 10?
True
Let o(s) = -7*s - 10. Let n be o(-2). Is 12 a factor of 12*(-6 + n)/(-2)?
True
Let i be (-4)/6 - 136/(-6). Let f = 22 - i. Suppose 5*r - 56 = r + 4*k, f = k + 5. Does 5 divide r?
False
Let n(d) be the second derivative of d**3/3 + 41*d**2/2 + 3*d + 9. Is n(13) a multiple of 7?
False
Suppose 20*y + 4*n - 1380 = 18*y, 3432 = 5*y + 4*n. Does 57 divide y?
True
Let o(r) = r**2 + 17*r - 333. Does 35 divide o(-39)?
True
Let t be (5 - 2)/(24/32). Let j(n) = n**3 - 4*n**2 - 2*n - 2. Let p be j(t). Let x(h) = -2*h - 8. Is x(p) a multiple of 6?
True
Suppose 2 - 4 = -t. Is 3 a factor of -3*(t - (-100)/(-15))?
False
Let v = -302 + 209. Let p = v - -255. Is p a multiple of 19?
False
Let u(c) = c**3 - 4*c**2 - c + 9. Let z be u(4). Suppose -x + 13 = -z*m, 0 = -5*x - 5*m + 52 + 13. Does 13 divide x?
True
Suppose -2*x = x. Suppose -4*p = -4*r + 20, 2*p + 10 = -x*p. Suppose -3*s + 15 = t, -4*t + 2*t - 5*s + 33 = r. Is t a multiple of 6?
True
Let l be 9 + (-9)/3 - 6/2. Suppose -l*g - 4*w = -137, 86 = 2*g + 2*w + 2*w. Is 17 a factor of g?
True
Let l(y) = -y**2 + 4*y + 3. Let m be l(4). Suppose v - 52 = -m*w, -w - 7 = 2*v - 31. Suppose 3*j - 7*j + 5*k = -16, 0 = -4*k + w. Does 7 divide j?
False
Let j = -7 + 57. Suppose -70 = -3*z + j. Suppose 0 = 4*h - 2*b + z - 150, -2*b = 4*h - 98. Does 11 divide h?
False
Let w = 255 + -226. Is w a multiple of 12?
False
Let w be ((-50)/(-35))/((-1)/(-7)). Suppose 0 = w*m - 3*m - 756. Is m a multiple of 9?
True
Let o be 64*(-7)/(14/(-8)). Suppose 4*s + 3*y - o = -y, 0 = -2*s + y + 128. Suppose -5*w + 226 + s = 0. Is 22 a factor of w?
False
Let z = 18 + -25. Let n(o) = o**3 + 6*o**2 - 7*o + 4. Let c be n(z). Suppose q + c*s = -0*q + 62, s - 1 = 0. Is q a multiple of 29?
True
Let b(j) be the second derivative of 3*j**4/4 - 7*j**3/6 + 13*j**2/2 - 42*j. Is b(6) a multiple of 42?
False
Let t(u) = -4*u**3 - 4*u**2 - u - 47. Is 19 a factor of t(-5)?
False
Let y(f) = 19*f**3 - 9*f**2 + 19*f - 21. Is 18 a factor of y(4)?
False
Let c = 37 - 31. Suppose c*v - 600 = -2*v. Is v a multiple of 27?
False
Suppose -24*i + 31*i - 1043 = 0. Is i a multiple of 6?
False
Let n be 83 - ((-3)/(-3) - -1). Let g(b) = -b**3 + 5*b**2 + 8*b - 8. Let j be g(6). Suppose w = j*w - n. Is w a multiple of 14?
False
Let p(g) = 2*g**2 - g - 1. Let s be p(2). Let n(h) = h**3 - 8*h**2 + h - 4. Let l be n(8). Suppose 4*r + s*j - 9 = 0, 3*r - l*j = j + 33. Is r a multiple of 6?
True
Let o = -286 - -328. Is o a multiple of 6?
True
Suppose -4*l - 3*h + 252 = 0, 3*l + 4*h + h - 200 = 0. Let t be (-29754)/(-135) - 8/20. Suppose 4*j = t - l. Does 10 divide j?
True
Suppose -3*g + 7*g - 4 = 2*z, -3*g = -3. Suppose z = -5*b - 2*h + 5*h + 169, h = b - 35. Is 8 a factor of b?
True
Suppose -u - 85 = -3*u + v, -155 = -3*u - 4*v. Suppose -u = -3*j + 75. Is 10 a factor of j?
True
Let h(x) = -x**2 + 64*x - 258. Does 4 divide h(22)?
False
Let v be (-249)/(-21) - 4/(-28). Suppose 0 = 2*g + 5*a, -5*g - 3*a = -7 - 12. Suppose -7*k = -g*k - v. Is k a multiple of 3?
True
Suppose -15*f - 2*s = -11*f - 10, -5*s = 15. Suppose -2*w = 2*w - 20. Is 4 a factor of 26/65*w*f?
True
Let n(b) = -b**3 + 6*b**2 + 5*b - 6. Let l(p) = p - 3. Let x be l(7). Suppose q - 30 = -x*q. Is n(q) a multiple of 8?
True
Let m(i) = -i**3 + 11*i**2 + i - 7. Let f be m(11). Suppose -5*s = 5*v - 145, -f*v - 3*s = -0*v - 111. Does 8 divide v?
True
Suppose 0 = l - 4*q - 21, -24 = 3*l + 4*q - 7. Does 23 divide 101 + (l - 1) - -1?
False
Suppose 3*s - 5*k - 193 = 0, -3*s = -0*s + 2*k - 221. Let a = -193 - -148. Let j = a + s. Does 9 divide j?
False
Let h(c) = c**3 - 9*c**2 + 7*c + 10. Let q be h(8). Let p be 59*2/4*q. Suppose -4*d + p = 11. Does 4 divide d?
True
Let h = -64 + 60. Does 45 divide (12 - 0)*((-37)/h + 2)?
True
Let p(v) = -v**3 + 6*v**2 + 12*v + 31. Is p(7) a multiple of 15?
False
Suppose o + 4*o = 7150. Suppose -o + 190 = -5*v. Does 42 divide v?
False
Is 35 - ((-3)/2)/(6/(-8)) a multiple of 7?
False
Let v(j) = -3*j**2 + 126*j + 144. Let r be v(43). Let m be -3*2/(12/(-38)). Suppose 0 = r*f - m*f + 180. Is 13 a factor of f?
False
Let l(r) = r**2 - 2. Let a be l(0). Let o be (a + 1 - 116) + 3. Let t = o - -171. Does 19 divide t?
True
Suppose 0 = -5*c - 3*o + 6626, 4*c + 4*o - 5296 = -0*c. Suppose -7 + c = 8*m. Is m a multiple of 33?
True
Let m(t) = t**2 - 10*t - 17. Let w be m(11). Let x(b) = -2*b**3 - 7*b**2 - 9*b - 15. Is x(w) a multiple of 12?
False
Is ((-1045)/(-25) - 10)/(1/10) a multiple of 4?
False
Suppose -147 = 10*m - 59*m. Suppose 2*j = -g + 50, -2*j - 2*j + 102 = 3*g. Suppose 66 + j = m*z. Is 7 a factor of z?
False
Let b be ((-36)/(-27))/(2/(-6)). Let j be (-5)/(15/474) - b. Let y = 267 + j. Does 33 divide y?
False
Let c(k) = -k**2 + 2*k + 20. Let f be c(0). Suppose f = -3*t + 95. Is 8 a factor of t?
False
Suppose -4*g = 2*c - 16, 3*g - 2 = -2*c + 10. Suppose c = m - 33 - 7. Suppose 0*s - f + 205 = 4*s, 0 = -s + 2*f + m. Is s a multiple of 10?
True
Let v(k) = -2*k**3 + 2*k**2 - 6*k - 6. Let y be v(-3). Suppose 14*u + y = 17*u. Is 4 a factor of u?
True
Let y(h) = h**2 - 4*h + 6. Let m = -13 + 23. Is 11 a factor of y(m)?
True
Let r(o) = 15*o - 5*o - 9*o - 2. Does 2 divide r(6)?
True
Let i(r) = -2*r**2 + r + 3. Let g be i(0). Suppose 6*d - 138 = 2*d + 3*x, x - 110 = -g*d. Does 6 divide d?
True
Let t = -2745 + 4639. Is t a multiple of 57?
False
Let h(x) = x**2 - 70*x - 21. Does 35 divide h(-14)?
True
Let h(c) = -c**2 + 8*c - 7. Let y be h(6). Suppose u + 4*s = -13 + 48, 2*u - y*s - 18 = 0. Is 19 a factor of u?
True
Let h = -196 - -123. Let v = 102 + h. Is 18 a factor of v?
False
Suppose -2*i + d + 2461 + 133 = 0, -5*d = -5*i + 6490. Is 72 a factor of i?
True
Suppose 11*d = -2 + 35. Suppose -3*h + 219 = -d. Is h a multiple of 14?
False
Does 34 divide (-8 - -3) + 46 + 1795?
True
Suppose 3*k - 1115 - 745 = 0. Is 31 a factor of k?
True
Suppose y = 4*x - 980 - 11134, 12122 = 4*x + 3*y. Is 22 a factor of x?
False
Let z(p) be the first derivative of 7*p**2 - p + 11. Does 12 divide z(3)?
False
Suppose -j = 5*z + 15 + 176, -5*j = -20. Let l = 0 - z. Does 9 divide l?
False
Let z(h) = 4*h - 4 - h**2 - 3 - 7*h + 13*h. Let x = 12 + -5. Is z(x) a multiple of 11?
False
Suppose -w - 3*y = w - 23, -3*y + 15 = 0. Suppose -42 = -w*i + 18. Suppose -5*k + 145 - i = 0. Is 23 a factor of k?
False
Suppose -2*y - 31 = -167. Suppose 0 = 3*i + 2*b - 325, i = -2*b + 35 + y. Is i a multiple of 17?
False
Suppose 2099 = 2*o - 3*p, 4*o + 2*p - 7*p - 4199 = 0. Is 13 a factor of o?
False
Does 14 divide ((28/(-5))/2)/(5/(-200))?
True
Suppose -2*j = -5*h, -27 = -5*j - 2*h + h. Suppose -4*q - j*n + 226 = 0, 0 = -5*q + 4*n + 231 + 72. Does 23 divide q?
False
Suppose 4*m - 2081 = -w, -2*w + 4*m + 4174 = 8*m. Is 24 a factor of w?
False
Let t = -9 - -11. Let s(c) = 8*c + 3*c**t + 3 - 2*c**2 + 3. Is 3 a factor of s(-8)?
True
Let y be -2*5/30 + (-706)/6. Let b = y - -215. Is 20 a factor of b?
False
Let l(k) = k*