(-16)?
True
Let i(o) = -2*o**3 + 4*o**2 + 10*o - 7. Let q be i(-5). Suppose r - x = 172, 2*x + q = 3*r - 219. Is 12 a factor of r?
True
Let q be (-22)/(-110) - (-1429)/5. Suppose -q = -5*x + 2*h, -6*x + 5*x + 2*h = -62. Is x a multiple of 4?
True
Suppose -10 = 4*q - 2*z, 3*z - 1 = -4. Is q + 5 + -5 + 952/4 a multiple of 41?
False
Let k = 12 + -12. Suppose 3*d - 2*d - 5*u - 32 = k, -3*d - 2*u + 62 = 0. Suppose -5*c + 113 + d = 0. Is c a multiple of 12?
False
Let z be (16 - -3) + 4/(-2). Let s(b) = -b - 2. Let h(a) = -a**2 + 15*a - 9. Let m(d) = h(d) - 6*s(d). Does 17 divide m(z)?
False
Suppose -5*w = -0*q - q - 30, 0 = 3*q - 2*w + 38. Is 5 a factor of q/(-25) + 268/5?
False
Let r(n) = 21*n + 15. Let h(c) = -32*c - 22. Let o(g) = 5*h(g) + 8*r(g). Let p be o(-5). Is 7 a factor of -5 - -1 - (p + -1)?
False
Let o = -1 - 7. Let k(b) = 3*b**3 - 14*b**2 - 17*b - 16. Let j(d) = 4*d**3 - 15*d**2 - 18*d - 17. Let w(m) = 4*j(m) - 5*k(m). Is 25 a factor of w(o)?
False
Suppose -21*h + 18*h = -1224. Does 34 divide h?
True
Let z = -1 - 5. Let m(u) be the second derivative of u**5/20 + 7*u**4/12 + u**3/6 - 2*u**2 - 32*u. Does 26 divide m(z)?
True
Let o(n) = -n**2 + 2*n + 76. Is 5 a factor of o(7)?
False
Let n be 9 + -8 + (-1 - -1). Let c = n + 2. Suppose c*t = t + 28. Is t a multiple of 3?
False
Suppose 4*g - 2*o - 574 + 30 = 0, -o = -4. Does 6 divide g?
True
Let g(p) = -342*p**3 - 2*p - 1. Is g(-1) a multiple of 25?
False
Let d be (-385)/33 - (-2)/3. Is 30 a factor of (-478)/(-8) + d/(-44)?
True
Suppose -62 = -4*k - x, 3*x - 26 = -3*k + 25. Suppose 0 = -5*n - k, z + n + 93 = -2*z. Is 2 a factor of (36/z)/(3/(-20))?
True
Let c = 40 + -34. Let a = c + -36. Let j = 48 + a. Is j a multiple of 4?
False
Let l = -1 + -3. Is 4 a factor of 1/((l/34)/(-2 - 0))?
False
Suppose 0 = -0*b - 5*b + 35. Suppose 0 = -b*u + 4*u - 18. Let g(f) = f**3 + 7*f**2 - 9. Is 12 a factor of g(u)?
False
Let s = 0 - -2. Suppose 4*v - 93 + 22 = -j, 4*j = -v + 14. Suppose -34 = -3*k + w + v, s*k = 5*w + 13. Does 6 divide k?
False
Let p(m) = -8*m + 15. Does 6 divide p(-3)?
False
Let r be -1*(2 + -33) + 2. Suppose -2*z - 11 = q, -r = -3*q + 6*q - 3*z. Let b = q + 42. Is b a multiple of 11?
False
Does 12 divide 318/(-53) - 238/(-2)?
False
Let s be 2 + -2 + 10 + 3. Let p(a) = -s*a - a**3 + 14*a - 4 - 6*a - a**2. Does 6 divide p(-3)?
False
Does 25 divide ((-150)/4)/(111/(-666))?
True
Suppose -3*l - 75 = -0*l. Let x(s) = -s**3 + 8*s**2 + 4*s + 8. Let r be x(9). Let h = l - r. Is h a multiple of 3?
True
Suppose 0*j + 8 = 2*j, 2*q + 4*j = 24. Suppose 30 = -0*n + 4*n + 5*c, q*c - 3 = n. Is n a multiple of 4?
False
Suppose -2*v = -5*d + 4*d - 13, -4*d - 12 = 0. Suppose -5*m + v = 0, 4*m + 0*m = 3*n - 77. Does 3 divide n?
True
Does 17 divide (5 + -6 - -8) + (1604 - 2)?
False
Let o be ((-3)/(-2))/(3/16). Suppose 0 = 5*x - o*x. Is (1 + x)/(7/35) even?
False
Let d = -1366 - -2457. Is 9 a factor of d?
False
Suppose 3*u + 2*o = 8*u - 103, -22 = -u - o. Suppose u*b = 12*b + 270. Is 6 a factor of b?
True
Suppose -11*c = -8*c + 30. Is 15/c*(-304)/12 a multiple of 28?
False
Suppose -h - 32 - 19 = 2*w, 4*h = -5*w - 201. Suppose -5*y + 500 = -0*y. Let q = y + h. Is 11 a factor of q?
False
Suppose -5*s + 24 = 9. Let h(q) = 90*q - 1. Let a be h(s). Let d = a + -181. Does 22 divide d?
True
Let k(u) = 11*u**3 - 2*u**2 - 3*u - 1. Let d be k(-2). Is d/(-4) + (-18)/24 a multiple of 11?
True
Suppose 5*b + 2*v + 32 = 0, -5*b + v - 29 = -0*b. Let j(m) = -m**3 - 7*m**2 - 7*m - 3. Let n be j(b). Suppose n*l - 18 = 54. Is l a multiple of 8?
True
Suppose -2*f - b = -4028, 5*f - 6751 = 4*b + 3345. Does 56 divide f?
True
Does 6 divide (81/6)/(44/968)?
False
Let v(a) = -62*a - 343. Is v(-6) a multiple of 18?
False
Let q(w) = -2*w**2 - 42*w - 36. Let x be q(-20). Suppose 0*z - 197 = -3*z + 5*t, -69 = -z + 5*t. Is (z - -3)*(x + -3) a multiple of 28?
False
Is (-4 - -426) + (-4 - (-1 - -1)) a multiple of 38?
True
Suppose -5*s + 8 = -s. Suppose m = -5*j + 122, s*j + 3*j - 5*m - 140 = 0. Is 5 a factor of j?
True
Suppose 5*b + 59 = 4*q - 116, -140 = -3*q + 2*b. Let f = 76 - q. Is 13 a factor of f?
True
Let o = -7 - -9. Suppose -2*m = 6, -3 = o*v + 4*m + 9. Let t = v - -9. Is t a multiple of 4?
False
Suppose -13*v - 4 = -14*v. Suppose -t = -5*x + 579, 144 = -5*x + v*t + 735. Is x a multiple of 15?
False
Let o(w) = -w**3 - 5*w**2 - 2*w + 4. Suppose 2*y + 12 = 3*y. Let k = 7 - y. Does 8 divide o(k)?
False
Let r = 4 - 2. Suppose -3*g + 16 = -r. Let u(m) = -m**3 + 8*m**2 + 2*m - 5. Does 23 divide u(g)?
False
Is -1 + 13 + -12 + 4218/1 a multiple of 111?
True
Is 9 a factor of 1249*(-7 - 48/(-6))?
False
Suppose -3*y + 2700 = 3*g, -39*g + 40*g + 4*y - 894 = 0. Is g a multiple of 22?
True
Let w(l) = 224*l + 1. Is w(1) a multiple of 15?
True
Let p(r) = -4 + 5*r**3 - 3*r**3 + r - 8*r + 10*r**2 + 0. Is p(-5) a multiple of 21?
False
Let g(v) = -v - 1. Let r(y) = -12*y + 9. Let s(i) = 3*g(i) - r(i). Let c = 5 - 1. Does 12 divide s(c)?
True
Let x(f) = -f + 12. Let k be x(22). Is 4 a factor of (8/4)/((-2)/k)?
False
Suppose 3*h = -5*s + 992, h - 2*s - s - 340 = 0. Suppose 3*p + 4*u - h = 0, 0 = -5*p + u + 4*u + 510. Is p a multiple of 35?
False
Let l(b) = 3*b**2 - 9*b - 16. Let f be l(7). Suppose -296 = -5*a + 4*u, -2*a + f = 4*u - 56. Does 12 divide a?
True
Is 8 a factor of (366/(-10))/((-4)/200*5)?
False
Let n be 3 - -3 - (-1 + 5). Let s be n + (0 - 9/(-3)). Does 11 divide (-1)/s - 448/(-40)?
True
Suppose 5*q + c = 34, -19 = -2*q - 2*c + 1. Let y(x) = x**3 - 3*x**2 + 7*x - 12. Let s be y(q). Is s/9 + (-2)/6 a multiple of 14?
False
Suppose -2*p + 412 + 534 = 0. Suppose 160 = 22*g + 18*g. Suppose -p = -4*t - i, t - 198 = g*i - 67. Is t a multiple of 21?
False
Let f(r) = -r**3 - 10*r**2 + 14*r + 33. Let y be f(-11). Suppose -40*b + 38*b + 716 = y. Does 13 divide b?
False
Let p = 137 + -140. Let l(y) = -2*y**3 - 4*y**2 - 3*y + 7. Does 14 divide l(p)?
False
Let u be (-4)/1 - -8 - 10. Let j be (8/u)/(24/(-36)). Is 10 a factor of (-5)/((-2)/40*j)?
True
Let k = -61 + 13. Let r = -14 - k. Is r a multiple of 14?
False
Is ((-12)/(-8))/(9/1164) a multiple of 4?
False
Let c be 11/55 + (-826)/5. Suppose -157 + 39 = g. Let a = g - c. Is a a multiple of 17?
False
Suppose -53 = -5*v + 3*m, 3*v + 3*m = 7*m + 23. Let u = v + -4. Is u a multiple of 9?
True
Let r = 2213 + -519. Suppose 0 = -22*p + 29*p - r. Is 27 a factor of p?
False
Let y = -686 + 1206. Is y a multiple of 37?
False
Suppose 135 = 12*a - 7*a. Let g be (-4)/(-5)*(-15)/2. Let v = a + g. Is 21 a factor of v?
True
Suppose -4*v - 1036 = -9*v - i, 0 = 2*v - 3*i - 428. Is 26 a factor of v?
True
Let b be 65/(-10) + 3/(-6). Is 11 a factor of (1/(-2))/(b/154)?
True
Let v(r) = -r**3 - 6*r**2 - 13*r - 4. Let m be v(-5). Suppose 0 = s + m - 62. Is 26 a factor of s?
True
Let w be 209/88 - 3/8. Suppose 0 = -w*t + 4*c + 338, 5*t = 2*c + 336 + 509. Is t a multiple of 41?
False
Suppose 3*a + 2*a + h + 300 = 0, 0 = -5*h. Does 16 divide (-48)/a - (-311)/5?
False
Let s be (((-8)/(-28))/(-1))/(1/(-7)). Suppose -y = z - 9, 5*y = s*z - 9 - 2. Does 4 divide z?
True
Let g(l) = l - 8. Let j be g(13). Suppose -39 - 1 = -j*u. Suppose 3*x - u = 58. Is 11 a factor of x?
True
Let o be (-200)/(-6)*((-10)/4 - -4). Suppose 10*i = o + 670. Is 8 a factor of i?
True
Let x be (-2121)/(-63) - (-2)/(-3). Does 5 divide (1 - x)*(-44)/22?
False
Let b be 0 - 6/2*-2. Suppose -5*n - b = -3*k, n + 8 = 4*k + 3*n. Let g = k - -4. Is 6 a factor of g?
True
Let b(c) = 31*c - 1. Suppose 5*z + 2 = 2*x, 0 = -3*x - 5*z - 3 - 19. Let m be -5*x/(-20)*-1. Is 10 a factor of b(m)?
True
Let z = 777 + -678. Does 11 divide z?
True
Is 13 a factor of 0 - -5 - (-4050)/27?
False
Does 38 divide (-15)/(-60) - (-1 - (-6134)/(-8))?
False
Suppose f - 504 = -4*d + 907, 0 = -3*d - f + 1059. Is 11 a factor of d?
True
Let f(t) = -64*t + 2. Suppose 0 = -4*l, 2*l + 0 + 4 = -4*p. Is 17 a factor of f(p)?
False
Let z(s) = s - 1. Let f(c) = -4*c - 6. Let q(k) = -f(k) - 3*z(k). Is q(10) a multiple of 11?
False
Suppose 12*u = 5*u + 1638. Is u a multiple of 6?
True
Let n = 76 + 63. Let r = n + 69. Does 56 divide r?
False
Let n(b) = b**3 + 10*b**2 + 11*b - 1. Let w be 4/18 - (-64)/36. Suppose w*v - 3*v = 8. Is 13 a factor of n(v)?
True
Suppose -10*n = 2*n - 444. Is n a multiple of 3?
False