-3*n. Let j = 666 - n. Does 22 divide j?
False
Suppose -4*o + 6609 = -4*f - 643, -2*o - f + 3632 = 0. Does 55 divide o?
True
Let q(i) = 4*i + i**2 + 8 - 17 + 8 + 3. Let l be q(-3). Does 30 divide (18 + -3)/((l - -3)/16)?
True
Let g(b) = 3*b**2 + 10*b + 9. Let a(r) = -2*r**2 - 9*r - 10. Let v(z) = 4*a(z) + 3*g(z). Let w be v(8). Suppose -2*n = w*n - 430. Is n a multiple of 15?
False
Let s be 1009/(1 + (0 - 0)). Let a = -271 + s. Is 21 a factor of a?
False
Let q(o) = -9*o + 41. Suppose 0 = 4*f + 8, -d + 4*f - 3 = -0*f. Is 7 a factor of q(d)?
True
Suppose 3*b - 2880 = -x, 22*b - 24*b = -2*x + 5760. Does 25 divide x?
False
Suppose 580 = 8*f - 1676. Let u = f - 162. Does 10 divide u?
True
Let h = -5169 + 5490. Does 54 divide h?
False
Let n = -288468 + 404519. Is 13 a factor of n?
True
Let g(a) be the first derivative of -575*a**4/4 - a**3 + a**2 + 3*a - 207. Is 6 a factor of g(-1)?
False
Suppose 6*i - k + 3 = 4*i, 0 = 3*i - 4*k + 2. Let o = i + 7. Is 5 a factor of o?
True
Suppose 92*y + 12529 - 48685 = 0. Is y a multiple of 2?
False
Let j(q) = -5*q**3 - 22*q**2 - 66*q - 22. Is 61 a factor of j(-11)?
True
Let j(i) = 3*i**3 + 4*i**2 - 17*i + 9. Let z be j(4). Suppose 2*t - z = -3*a, -12*t + 15*t - 5*a - 343 = 0. Is t a multiple of 6?
False
Suppose 5*p + 67 = 3*g + 282, 0 = g - 0*g. Is p a multiple of 6?
False
Is 7 a factor of 1180 + ((-3)/10)/(2/(-20))?
True
Let u = 7395 - 3963. Is u a multiple of 6?
True
Let n(m) be the second derivative of 23*m**4/12 - 7*m**3/6 + 3*m**2 - 45*m. Is n(3) a multiple of 45?
False
Suppose 55*j - 10 = 50*j. Let b be 10/(-4)*(-12)/(-15). Is (1/1)/b - (-201)/j a multiple of 20?
True
Suppose 0*b + 7530 = 30*b. Is b a multiple of 24?
False
Suppose -12 + 57 = 3*t. Suppose 8*g + 17 = -t. Is (-1)/4 + (-285)/g a multiple of 3?
False
Suppose 0 = 5*h - 4*h - 3*d - 164, -3*h = -2*d - 457. Suppose 207 + h = 2*z. Is 11 a factor of z?
False
Let s(y) = y**3 + 11*y**2 + 4*y - 93. Let p be s(-11). Suppose -296 = 4*b + 344. Let r = p - b. Is 2 a factor of r?
False
Let t(o) = -3027*o - 11505. Is t(-13) a multiple of 14?
True
Suppose 2*t + t = 27. Let p(z) = -z**2 + 11*z - 15. Let j be p(t). Suppose 594 = j*m - 2*b, -3*m + 2*b + 588 = -2*b. Does 25 divide m?
True
Let v be -1 + 77 + 1/1. Suppose 5*f - 63 = v. Does 14 divide f?
True
Suppose 17*c - 40471 = 21307. Does 70 divide c?
False
Let p(r) = 10*r**2 + 40*r - 11. Let t be p(-8). Let m = 1713 - t. Does 54 divide m?
True
Let w(x) = -2*x**3 - 2*x**2 - 27*x - 26. Let n be w(-1). Suppose 4*f = 2*p + 910, -5*f + 733 + 411 = 4*p. Suppose -v + f = n. Does 22 divide v?
False
Let m(n) = n**3 + 4*n**2 + n - 1. Let k be m(-3). Suppose -v - k*v + 30 = 0. Suppose v*p - 300 = -0*p. Does 12 divide p?
True
Let c be (0 + 43/(-3))*15. Suppose -9*j + 7*j + v = -767, 0 = -j - 5*v + 389. Let m = c + j. Does 20 divide m?
False
Suppose -4*h + 0*o + 36 = -4*o, -2*h = 3*o + 2. Suppose -h*z = 3*m, 2*z + 2*z - 13 = -5*m. Suppose -3*n - 2*n = -20, -m*k + 221 = -n. Does 15 divide k?
True
Let u(i) be the first derivative of -i**4/2 - 4*i**3/3 - 3*i**2/2 - 9*i - 12. Let w be u(-4). Let y = w - 43. Does 10 divide y?
False
Let k be (0 + (-5 - 6) + -5)*-111. Let r = k + -1206. Is 18 a factor of r?
False
Let z(w) = -w**3 + 100*w**2 - 118*w + 1758. Is z(97) a multiple of 14?
False
Let z = 92 - 89. Is z/15 + 10/((-450)/(-19611)) a multiple of 34?
False
Let p = 18618 + -17814. Is p a multiple of 12?
True
Let p = -1865 + 2725. Is 20 a factor of p?
True
Let x = -1218 + 2032. Let q = x - 555. Is 37 a factor of q?
True
Let u be (-40)/(-16) + (-2)/4. Suppose -u*a + 27 + 131 = 0. Is a a multiple of 4?
False
Let s = -927 - -932. Suppose -3*m - 3*r + 351 = -s*r, 234 = 2*m - 2*r. Is m a multiple of 3?
True
Let p(n) = -9*n**3 - 3*n**2 - 6*n + 14. Let r(q) = -19*q**3 - 9*q**2 - 11*q + 28. Let m(d) = -5*p(d) + 2*r(d). Does 19 divide m(4)?
True
Let k(n) = 7*n - 27. Let i be k(8). Suppose -15*f + 560 = -i*f. Is (1/(12/(-207)))/(15/f) a multiple of 3?
False
Let k = -44 - -91. Suppose -k*x = -48*x + 314. Does 27 divide x?
False
Let r be (-4)/((-4)/(-8) - 15/6). Let i = r + -2. Suppose -3*w + w + 322 = i. Does 29 divide w?
False
Let a = 11 - 10. Let x be ((-56)/84)/(a + 4/(-6)). Does 9 divide (-1376)/8*1/x?
False
Let b(n) = 4*n**3 + 5*n**2 - 10*n - 11. Let w be b(5). Let q be w*(3/((-9)/8) + 2). Let r = -90 - q. Is r a multiple of 38?
False
Let z = -4 - -1. Is 5 a factor of 273 + (2 + (-3 - 0) - z)?
True
Let u(b) = -4 - 7*b + 11*b + 26*b - 7. Suppose 2*r + 5*y = -0*r + 20, 23 = 5*r - y. Does 14 divide u(r)?
False
Let n(l) = -l**2 + 16*l - 47. Let j be n(24). Let m = 249 + j. Is 10 a factor of m?
True
Let h = 30172 + -20785. Is 21 a factor of h?
True
Let w be (-2802)/(-7)*42/9. Let c = -1218 + w. Is c a multiple of 50?
True
Let a = -83 + 91. Let f be -4*(-4)/a - -1. Suppose 8*l + 8 = 2*w + 4*l, -4*w - f*l = -16. Is 4 a factor of w?
True
Let a = 1972 - -1867. Does 31 divide a?
False
Let d(v) = 3*v**3 + 3*v**2 - 16*v + 4. Let g = 24 - 20. Is d(g) a multiple of 10?
True
Let u(y) = 3*y**2 - y - 4. Let b(z) = z**3 - 10*z**2 + 5*z + 21. Let l be b(9). Let c be (50/l)/(-5)*6. Is u(c) a multiple of 5?
True
Let k be 3 - (-6)/(-3) - (1 + 0). Suppose i - 2 + k = 0. Let v(j) = 11*j + 1. Does 3 divide v(i)?
False
Let h(v) = -263*v**3 + 2*v**2 + v. Let o be h(-1). Suppose 24 = -g + o. Does 20 divide g?
True
Does 43 divide 30/120 + ((-25891)/(-4) - 0)?
False
Suppose -6 = -3*i + o, -9 = 4*i - 3*i - 4*o. Suppose -i*t + 631 = -3*x + 5*x, x = 2*t + 326. Is 16 a factor of x?
True
Suppose 143526 + 128174 = 525*w - 200*w. Is 76 a factor of w?
True
Let c = 25169 - 17172. Is 11 a factor of c?
True
Let d(m) = -2208*m**3 + 3*m**2 + 11*m + 1. Does 107 divide d(-2)?
True
Let u = 1190 - -616. Is 14 a factor of u?
True
Let l = -46 + 53. Let m(j) = 5*j**2 - 29*j - 7. Is 7 a factor of m(l)?
True
Suppose 5*u = -61*u + 178510 + 1274. Is 16 a factor of u?
False
Let n = 6970 - 2761. Does 61 divide n?
True
Let b(a) = a**3 + 15*a**2 - a. Let v be b(-15). Suppose -v*o = -43*o + 6244. Does 16 divide o?
False
Suppose 15*o = -3*z + 12*o + 1266, -8*z + 3430 = -o. Is z a multiple of 26?
False
Let o = 11085 - 7970. Is o a multiple of 133?
False
Let c(i) = 20*i**3 + 1260*i**2 - 109*i - 17. Is c(-63) a multiple of 25?
True
Let d(z) = 2*z**3 + 5*z**2 - z - 12. Suppose 133 = 10*y - 3*y. Suppose -4*q + y = -h, -4*q + 5*h = 19 - 50. Does 16 divide d(q)?
True
Suppose 12*t = 4*t - 368. Let y(j) = 3*j**2 - j. Let m be y(5). Let q = t + m. Is q a multiple of 7?
False
Suppose 0 = -3*d - 4*p + 40 - 6, -3*p + 3 = 0. Suppose d*s + 346 - 1276 = 0. Is s even?
False
Let i(q) = q**2 + 6*q + 12. Suppose 13*n = 10*n - 18. Let o be i(n). Does 38 divide 2/o + 9564/72?
False
Let l(x) = 7*x - 24. Let m = -16 + 30. Let c be l(m). Is 11 a factor of 3 + c + (0 - -2) + -2?
True
Let u be 8/(-10)*(-330)/(-12). Let v be u + 5 - (1 - 0). Is 414/4*v/(-27) - 2 a multiple of 9?
False
Suppose -14*y + 48*y - 84339 - 20687 = 0. Is y a multiple of 4?
False
Let q = -5686 - -17896. Is 55 a factor of q?
True
Let y = -73 + 75. Suppose 0*z = j - 5*z + 23, -j = y*z - 12. Suppose 3*n = -2*h + 5*h - 75, -5*h - j*n + 153 = 0. Does 8 divide h?
False
Does 21 divide ((-105037)/(-4))/1 - (-8)/(-32)?
False
Suppose -2*j + 26 = 8. Suppose 5*v - 16 = -5*i + j, v = 2*i + 8. Let m(k) = 2*k**2 - 10*k - 7. Does 5 divide m(v)?
True
Suppose 45*z + 165138 = 147*z. Does 25 divide z?
False
Suppose -2*k = 5*w - 1198, 3*k - 5*w - 1004 = 843. Let v be (-1)/(-5) - (-4268)/10. Suppose 4*g + k + v = 5*h, -5*h = 5*g - 1000. Does 32 divide h?
False
Let m(c) = -2*c**3 - 10*c**2 + c + 9. Let o be m(-5). Suppose -o*p + 111 = -161. Does 4 divide p?
True
Let q(f) = -112*f**2 + 53*f + 100. Let u(z) = -111*z**2 + 53*z + 102. Let k(y) = 3*q(y) - 4*u(y). Does 43 divide k(-2)?
True
Suppose 3*w - 4*a + 503 - 211 = 0, 4*a = -20. Let x = w + 160. Suppose -x = -4*s + 2*u, -s - s + 4*u = -40. Is 6 a factor of s?
True
Does 5 divide ((-10880)/50)/((-13)/130)?
False
Let x(f) = -63*f**3 - f**2 - 3*f + 2. Suppose -6 = -26*m - 58. Is 4 a factor of x(m)?
True
Suppose 18*d = 5*u + 16*d + 155, -2*d - 93 = 3*u. Let f = 653 + u. Does 13 divide f?
False
Suppose 0 = -2*r + 7*r - 420. Let z = r - 81. Suppose f - 76 + z = 0. Is 15 a factor of f?
False
Let y(p) = -86*p + 19. Let k be y