 Suppose 7*m = -0*m + s. Is m a multiple of 10?
True
Does 9 divide 131 + 5*(-8 + 7)?
True
Suppose 3*h + 2*k - 2245 = 0, 5*h + k + 3*k = 3745. Let p = h + -478. Suppose m - 4*m - w = -p, 3*m - 273 = -3*w. Does 14 divide m?
False
Let x(r) = 21*r + 553. Does 37 divide x(23)?
True
Let d be (-55)/4*(-158 - -42). Suppose 0 = -2*c - d + 1875. Does 10 divide c?
True
Let p be (5 + (0 - 2))*(-204)/9. Let s = -16 - p. Let b = s + -12. Is b a multiple of 10?
True
Suppose -2*i + 4636 = -0*i. Suppose -1231 = -7*y + i. Is y a multiple of 39?
True
Does 5 divide (-4)/(-12) - ((-1330)/15 + 3)?
False
Suppose 59*z + 9440 = 79*z. Does 2 divide z?
True
Suppose 11*a - 48523 = 107941. Does 6 divide a?
False
Let b be 7209/(-135) + ((-12)/10)/2. Let m = 61 + b. Is 2*(-298)/(-4) - (-3 + m) a multiple of 34?
False
Let y(a) = -6*a + 6*a**2 - 63 + 33 + 34. Let s be y(2). Suppose 12*i = s*i - 160. Does 5 divide i?
True
Suppose 1013*q - 1048*q = -77910. Is q a multiple of 53?
True
Let j be (6/10)/(36/180). Suppose -5*d - t + 0*t = -407, 0 = 5*d + j*t - 401. Does 9 divide d?
False
Let o(v) = -8*v**3 + 9*v**2 + 3*v - 22. Let p be o(-6). Suppose 5*t - 3009 + 493 = h, p = 4*t - h. Does 7 divide t?
True
Let b be (-37)/(-13) - 3*(-6)/117. Suppose 5*r + b*j - 8000 = 0, -5*r + 10*j = 7*j - 7970. Is r a multiple of 16?
False
Let r be 52/9 + 18/81. Let h(q) = 46*q**2 - 21*q + 15. Let v(i) = -20*i**2 + 10*i - 8. Let o(w) = -3*h(w) - 7*v(w). Is o(r) a multiple of 8?
False
Suppose 0 = 5*f - 3*s - 32052, 5*f + 3*s - 4771 = 27287. Is 117 a factor of f?
False
Suppose 9996 = -8827*p + 8833*p. Is p a multiple of 34?
True
Does 2 divide (176000/33)/(-16)*(-15)/10?
True
Let u = -57 - -38. Let r = u - 22. Let q = r - -53. Is q a multiple of 6?
True
Does 19 divide 60/(-5) - -3 - -1282?
True
Does 12 divide ((-277)/(-2))/(-13 - 1722/(-132))?
False
Let g be 0 - 5*(-12)/(-40)*2. Let x be 393*(-2 + g/(36/(-28))). Let d = x - -66. Does 22 divide d?
False
Suppose 0 = -5*b - 2*w - 44, 4*b + 2*w - 6*w + 24 = 0. Let h be 2 + b/(-5) + 6/15. Suppose 0 = -h*o - p + 464, 5*p + 4 = -16. Does 26 divide o?
False
Let r = -1052 - -7246. Let t be r/6 + 16/24. Suppose t = 7*q - 367. Is 7 a factor of q?
False
Let w(b) = 42*b**2 + 6*b + 13. Let m be w(7). Suppose -8*c + m = -1607. Is 31 a factor of c?
True
Let s(p) = 36*p**3 + p**2 + 12*p + 8. Let q(v) = -72*v**3 - 3*v**2 - 24*v - 18. Let m(z) = 6*q(z) + 13*s(z). Is 24 a factor of m(2)?
True
Suppose 0 = 57*x - 698354 + 166544. Does 30 divide x?
True
Let h be -20 + 16 - (0 - -1*1). Let b be ((-3)/9)/(h/75). Is (-3)/b + (-2028)/(-30) a multiple of 14?
False
Let v(h) = 4*h**3 - 16*h**2 - h + 7. Let j be v(4). Suppose 36 = 4*p + 7*w - 3*w, -41 = -3*p + 4*w. Is 8 a factor of p/33 + 95/j?
True
Let h = 103 - 68. Suppose -h + 149 = 3*b. Suppose b = -5*m + 513. Is 21 a factor of m?
False
Let x = 91 + -86. Let t(r) = 21*r**2 + 29*r + 31. Let u(y) = -11*y**2 - 15*y - 16. Let w(o) = 6*t(o) + 11*u(o). Is 45 a factor of w(x)?
True
Let x be 1/(3/2568) + 3. Let f = x + -384. Is f a multiple of 22?
False
Is 26 a factor of (-12629268)/(-928) - (-3)/(-24)?
False
Suppose 2*v = 5*o + 1355 - 21826, 5*v - 4105 = -o. Is o a multiple of 15?
True
Let s = 868 + -7. Suppose -22*v = -s - 2109. Is 15 a factor of v?
True
Let p be 165/75*(-10)/2. Let g(w) = w**2 + 3*w - 13. Let z be g(p). Suppose -49*c + z = -46*c. Does 5 divide c?
True
Let q(y) = -38*y**3 + y**2 - 3*y + 3. Let c be q(1). Let l = c + 292. Does 17 divide l?
True
Let a(w) = -w**3 + 5*w**2 + 7*w - 3. Suppose 5*f + 14 = x, 17*x - 18*x - 6 = 5*f. Is 17 a factor of a(x)?
False
Suppose -p = 4 - 8. Suppose -f = -4*g + 4, -p*f - 10 - 6 = -4*g. Suppose 2*h + 0*h - 204 = g. Does 17 divide h?
True
Let m = -185 - -177. Let h(i) = -i**2 - 6*i + 55. Does 13 divide h(m)?
True
Suppose -37 = -11*q + 18. Suppose 0 = -2*s + q*s + 9. Is 14 a factor of s/2*(-3 + -25)?
True
Let l(c) = -7*c**3 + 10*c**2 + 2*c + 27. Let n(a) = -6*a**3 + 13*a**2 + a + 26. Let y(w) = 4*l(w) - 5*n(w). Is y(13) a multiple of 9?
False
Let m(v) = -478*v**3 + 17*v**2 + 36*v + 2. Is 91 a factor of m(-2)?
True
Let r(h) = 6*h**2 + 16*h + 90. Is 28 a factor of r(-41)?
True
Let x = -30516 + 61512. Does 123 divide x?
True
Let m(p) = -7*p - 7. Let y be m(-17). Suppose 2*u - 400 - y = 0. Is u a multiple of 10?
False
Is (-140)/(-6 - ((-10)/(-315))/((-3)/564)) a multiple of 70?
True
Let i(w) = -72*w - 7. Let y(b) = -b**3 + 10*b**2 + 57*b - 16. Let r be y(14). Is 11 a factor of i(r)?
False
Is 24 a factor of 2/(-6) - (-31270824)/2808?
True
Let m(p) = 2*p**3 - 16*p**2 - 8*p + 20. Let n = -65 + 81. Let t be (-66)/(-8) + 12/n. Is m(t) a multiple of 10?
True
Let x(b) = 2*b + 2 - 2*b + 17 + b. Let d be x(15). Suppose 2*z + 14 = d. Is 10 a factor of z?
True
Let u(j) be the third derivative of -j**6/120 + j**5/6 - j**4/3 + 2*j**3/3 - 22*j**2. Let b be u(9). Suppose -19*c + 168 = -b*c. Does 26 divide c?
False
Let q(k) = -845*k**2 - 5*k + 4. Let p be q(1). Let m = -253 - p. Suppose u = 4*r + 101, 0*r + 2*r - m = -5*u. Is u a multiple of 9?
True
Let i = 19470 - 11458. Is i a multiple of 4?
True
Let n = -36867 - -38037. Is n a multiple of 39?
True
Suppose 1963052 = 51*b + 40*b. Does 40 divide b?
False
Let h(g) = -g**3 + g**2 - 2*g + 12. Let y be h(0). Let x(s) = s**2 - 5*s - 4. Does 20 divide x(y)?
True
Is 33 a factor of -129077*(-9)/81 - (-5)/45?
False
Let t = -4839 - -5286. Is 8 a factor of t?
False
Suppose -2*o - 210 + 80 = 5*u, 0 = u + 2*o + 34. Suppose -h + 18 = -4*i, 3*i - 3 = -4*h + 12. Is (-759)/(-12) + h/u a multiple of 9?
True
Does 6 divide (1 - -683)/((-10)/(-8) - -6 - 7)?
True
Let q = 2 - -10. Let h = -7 + q. Suppose 0 = -h*f - i + 186, 0 = -2*i + 2. Is 12 a factor of f?
False
Let j(k) = k**3 + k**2 - 2*k - 1. Let f be j(-1). Let i(l) = -l**3 - 6*l**2 + 15*l - 10. Let v be i(-8). Is f/v*4*-19 a multiple of 8?
False
Suppose 4*i + 21021 = 3*y, -593*y - 7007 = -594*y - 5*i. Does 25 divide y?
False
Let o = -837 + 236. Let r = -16 - o. Is r a multiple of 28?
False
Let q = -8 + 11. Suppose -l = 2*o - 10, 2*o - 21 = -3*l - 3. Suppose -q*i + 0*a = -2*a - 93, -o*i = 5*a - 93. Is 31 a factor of i?
True
Suppose -26*p + 24*p = 4*u - 33180, 0 = 3*u - p - 24885. Does 8 divide u?
False
Suppose 0 = 10*m + 355 - 927 - 3988. Is m a multiple of 76?
True
Let o = 16 + -11. Suppose -33 = o*h + 3*u, 2*h - 1 = 5*u - 8. Is (1898/(-78))/((-2)/h*-1) a multiple of 21?
False
Suppose 16*j + 9 = 25*j. Is 13 a factor of 29*(40 - j)*(-10)/(-30)?
True
Suppose -3*i + 2*j + 6406 = 0, 3*j + j = 2*i - 4284. Is 16 a factor of i?
False
Suppose 0 = -4*s - 5*u - 32, 2*s - 4*u + 22 = -8*u. Does 61 divide 1454*(s + 7/2)?
False
Let q be (0 - -33)*9/(-27). Does 9 divide (-6)/(-3) + (214 - q)?
False
Suppose 5*p = -2*j + 7910, -72*j + 3*p = -70*j - 7926. Is j a multiple of 165?
True
Let y be 0 - (206*124/(-8) + -4). Suppose 3*r - y = -3*k + 268, -2*k - 3450 = -3*r. Suppose c + r = 10*c. Is c a multiple of 32?
True
Let p(w) = -w**2 + 4 - 5*w - 3*w**2 + 2*w**3 - 3*w. Let g(a) = a**2 + a - 16. Let j be g(-5). Is p(j) a multiple of 12?
True
Let z(w) = -w + 1. Let u(k) = -16*k + 10. Let n(d) = -u(d) - 5*z(d). Let b = 40 - 33. Is n(b) a multiple of 11?
True
Let r(m) = -698*m - 1388. Is r(-6) a multiple of 50?
True
Let m(q) = -3*q**3 + 7*q**2 + 6*q + 9. Let b be m(-6). Suppose -11*a + b = -1514. Is a a multiple of 24?
False
Let s be ((-2)/(-4))/((-5)/2270). Let i = s + 319. Suppose 0 = 4*j - i - 100. Is j a multiple of 12?
True
Let p = -76 - -89. Suppose -p*m = 778 - 2338. Is 7 a factor of m?
False
Let p be -3*4/18*-3. Let f(a) be the third derivative of a**6/120 + a**5/30 - 5*a**4/24 + 2*a**3/3 - 27*a**2. Is f(p) a multiple of 10?
True
Suppose 0 = -0*u - 4*u + 152. Let q = 34 - u. Let w = q - -50. Does 16 divide w?
False
Suppose s + 163071 + 26291 = 4*h, 0 = 2*s + 4. Does 90 divide h?
True
Let x be -1*(0 + 3) + -2. Let k be 11/5 + 1/x. Suppose -4*j + 109 = 3*g - 55, -k*j - 4*g = -92. Is j a multiple of 19?
True
Let q(i) = -55*i**2 + 1 - 14*i - 24*i + 1 + 64*i**2. Is q(9) a multiple of 14?
False
Is 22553 - (14 - 329)/21 a multiple of 48?
False
Suppose 3*r + 4 = 19. Suppose -r*k = -7*k + 8. Does 32 divide 6/k*((-580)/(-12) + 3)?
False
Let p(a) = 22*a**2 + 21*a + 236. Does 12 divide p(41)?
False
Suppose -7*g + 27 = -t + 55, -2*t + 37 = 5*g. Is 