 57/(-1)?
False
Let m be (-1)/(1/(-81)) + -1. Suppose m = -3*s + 5*s. Is 9 a factor of s?
False
Let j(p) = 5*p - 2. Let r be j(-14). Let a = -68 - r. Is a a multiple of 3?
False
Suppose 2*b + 3*b = 65. Let v = b + 37. Suppose 4*m + 2*q - 160 = 0, 2*m + 3*q - 22 = v. Does 10 divide m?
False
Let o be (123/(-2))/(1/2). Let t = -852 - -645. Let y = o - t. Does 21 divide y?
True
Suppose -3*i - 6 = 0, -6*r + 3*r + 198 = 3*i. Is 17 a factor of r?
True
Suppose q - 195 = -4*w + 48, 3*q = -4*w + 705. Is 9 a factor of q?
False
Let x be 1*6*(-140)/30. Is (4/x - -1)*3*28 a multiple of 36?
True
Let i = 23 - 16. Suppose -29 = -4*g - 5*d, g = -0*g + 2*d - 9. Let y = g + i. Does 8 divide y?
True
Suppose -60*m + 20177 = -26383. Is 36 a factor of m?
False
Let a(v) = v**3 - 10*v**2 + 3*v - 24. Let s be a(10). Suppose -s*g = -181 - 293. Is g a multiple of 46?
False
Suppose -2*m = -3*r - 10, 5*m + 2 = 2*r + 16. Let x be (-1 - r)*126/(-7). Let p = x + 26. Is 8 a factor of p?
True
Let k be 5/4 + 300/(-48). Let z(q) be the first derivative of -4*q**2 - 12*q + 1. Does 7 divide z(k)?
True
Let t = -198 - -345. Does 33 divide t?
False
Is ((-81)/4)/(94/(-6392)) a multiple of 12?
False
Let t(z) = -z**2 - 12*z + 10. Suppose 0 = -5*a + a + 180. Let h be 27/a + (-86)/10. Is t(h) a multiple of 14?
True
Suppose 291*o - 306*o = -30960. Is o a multiple of 16?
True
Let f(r) = 2*r**3 + r**2 + 9*r + 6. Let v be f(-3). Let d = v - -104. Is d a multiple of 15?
False
Let m = 369 - 259. Suppose -31 = -5*b + f, -2*f - 20 = -4*b + 6. Suppose -m = -b*y + 10. Is y a multiple of 10?
True
Let j(p) = -95*p + 10. Let i be j(-4). Suppose -9*n + i = -3*n. Is 17 a factor of n?
False
Let s(k) = 2*k**2 - 8*k + 12. Let h be s(5). Suppose -h = 4*u + 22. Let a = u - -46. Is 23 a factor of a?
False
Suppose v + 74 = -2*z, -4*z - 5*v + 10 = 152. Let i = 211 + z. Is i a multiple of 28?
False
Let g(d) = -1. Let m(l) = -l - 13. Let o(u) = 4*g(u) - m(u). Is o(-6) a multiple of 3?
True
Suppose 7*y - 190 = 6*y. Is y a multiple of 6?
False
Suppose -4*a + 46 = l, -5*l + a + 204 + 5 = 0. Let w = 33 + -37. Is 3 a factor of 24/(-36)*l/w?
False
Let j be 234/(-6) + (-2 - -2). Let p = -26 - j. Is 13 a factor of p?
True
Let m(b) be the third derivative of 7*b**4/12 - 2*b**3/3 - 4*b**2. Let p be m(6). Suppose 0 = v - 5*v + p. Does 20 divide v?
True
Let w be (-18)/(-4)*-3*24/54. Is (740/8)/(-5)*w a multiple of 13?
False
Let i = 277 + -39. Suppose 247 = 5*q + 2*c - c, i = 5*q + 4*c. Is q a multiple of 10?
True
Is -136*((-3)/(-2) - 3) a multiple of 12?
True
Suppose -3*o + 24 = -0. Suppose o*s + 1017 + 447 = 0. Is (-12)/(-54) + s/(-27) even?
False
Suppose 5*t = -5, -2*t = -2*k - 4*t + 6. Suppose 3*a = -k*a + 476. Is 17 a factor of a?
True
Let z = 3409 - 2376. Does 17 divide z?
False
Suppose 0 = 5*r - 5*u + 5, 2 = -5*r - u + 9. Let k = -1 + r. Suppose k*z - 4*z = -172. Is z a multiple of 26?
False
Let m = 749 - 709. Let o = -1 + 9. Suppose m = o*n - 3*n. Does 2 divide n?
True
Suppose -k - 2*s - 28 = 1, -2*k - 49 = s. Let o be k/(-2) - (-5)/10. Is 656/10 - o/(-30) a multiple of 31?
False
Does 33 divide (3984/(-28))/(19/(-133))?
False
Let z(t) = 17*t. Let h(f) = -1 + f - 6*f - 7*f - 4*f. Let o(v) = 3*h(v) + 2*z(v). Does 22 divide o(-3)?
False
Let u(v) = -v**3 - 2*v**2 + 16*v + 490. Does 49 divide u(0)?
True
Suppose 2783 = 4*g - f, 2*g - 4*f - 1416 = -28. Is 8 a factor of g?
True
Let v(x) = -x**3 - 14*x**2 + 11*x - 21. Suppose h + 116 = 3*h + 2*a, -4*a - 326 = -5*h. Suppose -h = 5*s + 13. Is 13 a factor of v(s)?
True
Suppose 4*i - 115 - 13 = 0. Suppose -2 - i = -g. Suppose -2*z + g = -4*p, 11 = 3*z + 3*p - 4. Does 4 divide z?
False
Does 12 divide (14655/(-90))/((-2)/12)?
False
Let y be 3/(-2) + 105/14. Is ((-620)/(-6)*y/(-5))/(-1) a multiple of 29?
False
Let l(d) = 38*d - 4. Suppose 13 = 5*j + 3. Let t be l(j). Suppose t + 16 = 4*h. Is h a multiple of 4?
False
Let x = -1 - -4. Suppose 0 = x*s - 33. Suppose 2*j + s = 3*j. Is 11 a factor of j?
True
Let a(u) = -15*u**2 + u + 2. Let w be a(4). Is 1/(-3)*-3 - w a multiple of 15?
False
Suppose 688 = 8*a + 224. Suppose 6*z - 184 = -a. Does 7 divide z?
True
Let h be 6*4/(8 - 4). Suppose 5*z - m = -3*m + 236, 0 = -3*m - h. Does 20 divide z?
False
Let a = -16 - -18. Suppose -n = -6*n - a*y + 649, -y + 518 = 4*n. Does 42 divide n?
False
Let j(h) = -2*h**2 + 46*h - 46. Let b be j(19). Let i = b + 130. Does 12 divide i?
False
Suppose 4 = 11*l - 7*l. Suppose 2*f + 3*a + 7 = 0, 4*f - 3*a + l = 5*f. Let i(n) = -n + 7. Does 5 divide i(f)?
True
Suppose -10*d = 700 - 2580. Is 12 a factor of d?
False
Suppose 0 = -2*i - 2*d + 12, 6*d - 2*d - 4 = i. Suppose 3*a - 3*v - 297 = 0, -5*v - 264 = -i*a + 129. Is a a multiple of 12?
False
Suppose 0 = 115*f - 62*f + 6042. Suppose 6*l + 140 = 4*l. Let g = l - f. Is g a multiple of 27?
False
Suppose 0 = -f - 32 + 28. Let b(m) = -7*m**3 - 4*m**2 + 9*m - 3. Let u(w) = -w**3 + w. Let q(x) = -b(x) + 6*u(x). Is 4 a factor of q(f)?
False
Suppose 0 = -4*t - 3*x + 1803, -x = -4*t + 3*t + 449. Is t a multiple of 48?
False
Suppose -4*v + 7508 = -v - 2*z, 2*v - 4988 = -3*z. Does 20 divide v?
True
Let v(f) = f**3 + 13*f**2 + 11*f - 5. Let c be v(-11). Let r(k) = -79*k**3 - 2*k + 1. Let q be r(1). Let j = q + c. Does 9 divide j?
True
Let c(u) = 2*u**3 + 14*u**2 - 5*u. Let x be c(-6). Suppose 0*p - 2*p = -x. Does 10 divide p?
False
Let d = -2875 + 4395. Is d a multiple of 76?
True
Let q = -71 + 76. Suppose 3 = -s, 3*z = -0*z - q*s + 222. Is 12 a factor of z?
False
Let z = 26 + -18. Suppose -z*h + 72 = -4*h. Is 6 a factor of h?
True
Suppose -7*t + 785 = 1. Is t a multiple of 56?
True
Let i(k) = -3*k + 51. Is i(14) a multiple of 9?
True
Suppose -6 + 72 = 11*z. Suppose 0 = -z*r + 424 + 242. Is r a multiple of 37?
True
Suppose -23*l + 17699 = -23609. Does 59 divide l?
False
Let t = 54 + -34. Suppose 18*u + 212 = t*u. Is u a multiple of 19?
False
Let b be (-724)/24 - (-2)/12. Let x = b + 0. Let k = 50 + x. Does 10 divide k?
True
Let c(a) = a**2 - 2*a + 1. Let b be c(-15). Let w = -121 + b. Is w a multiple of 17?
False
Suppose 5*w + 5*l + 421 = 9*w, 4*w = l + 401. Is w a multiple of 11?
True
Let l(h) = -222*h - 464. Does 41 divide l(-8)?
True
Let q = 39 + -15. Let d = -62 + 64. Suppose d = 2*r - q. Is r a multiple of 13?
True
Suppose 5*f = -2*y + 7*f + 820, -5*y + f + 2046 = 0. Is 26 a factor of y?
False
Suppose -27*v = -2*q - 26*v + 3263, -3*v = -5*q + 8159. Does 29 divide q?
False
Suppose 5*t - 485 = 4*f, 0 = -t - 3*f + 21 + 57. Is 16 a factor of t?
False
Suppose 5*k = -3*s + 3 - 233, -s - 86 = 4*k. Is 14 a factor of (-1 + 5 + -5)*s?
True
Let b = -23 - -44. Suppose -22*c + 33 = -b*c. Does 20 divide c?
False
Let t(s) = -6*s**3 - 9*s**2 + 25*s + 11. Let w(a) = a**3 + 2*a**2 - 5*a - 2. Let c(m) = -2*t(m) - 11*w(m). Let l = 1 + 3. Is 5 a factor of c(l)?
True
Let o be 7/(-14) - (22/(-4) + 0). Suppose 3*m - 681 - 120 = -5*v, -o*m - 4*v + 1335 = 0. Is 43 a factor of m?
False
Let f be 4 + 6*(-16)/12. Let v(g) = -9*g - 1. Is v(f) a multiple of 10?
False
Let f(a) = -9*a. Let g be f(2). Let u = 20 + g. Suppose -r - u*r + 18 = 0. Is 6 a factor of r?
True
Suppose -4*r + 8 = 3*g, -5*g - 25 - 15 = -4*r. Let m = -1 - -20. Suppose -21 = -r*h + m. Is h a multiple of 2?
True
Suppose 3*a - 5*i - 623 = 0, -6*i = a - 10*i - 196. Does 6 divide a?
True
Let b = 110 + -108. Suppose -4*s + 32 = -s - 4*g, b*s = 2*g + 18. Does 2 divide s?
True
Let s = 579 - 515. Is s a multiple of 8?
True
Let b(k) = -3*k**2 + 29*k - 4. Does 4 divide b(7)?
True
Let q = 14 + -10. Suppose -2*v + 5*g + 58 = v, -q*g - 8 = 0. Suppose 0*p + p = v. Is p a multiple of 16?
True
Let s(d) = 33*d**3 - 3*d**2 - 8*d + 11. Let n(t) = 22*t**3 - 2*t**2 - 5*t + 7. Let x(i) = -8*n(i) + 5*s(i). Is 3 a factor of x(-1)?
False
Is 23 a factor of (165/(-99))/(1/(-138))?
True
Suppose 17336 + 1512 = 16*q. Does 12 divide q?
False
Does 26 divide (-1076 + 2 + 8)/(-1)?
True
Suppose 13*h + 29*h = 88200. Is h a multiple of 20?
True
Let g = 29 - 25. Suppose g*n - 26 = -s + 13, 0 = 5*s - 5*n - 120. Is 4 a factor of s?
False
Suppose -5*u + 3*x - 21 = 0, u + 3*x = -x + 5. Let f(a) = 6*a**2 - 8*a - 8. Is f(u) a multiple of 10?
True
Let y be (2 - -1)/3 - 4. Let d be -2 + (-50)/(y + -2). Suppose 40 = 2*m - b, -b = b + d. Is 6 a factor of m?
True
Let p = 3 + -2