e -2*o - 7 = -1. Let g(u) = 2*u**3 + 4*u**2 + 11*u. Let m(z) = -2*z**3 - 4*z**2 - 15*z - 1. Let a(q) = -4*g(q) - 3*m(q). Is a(o) a multiple of 6?
True
Let i = -68 + 62. Let j(n) = -n**2 - 12*n - 11. Is j(i) a multiple of 2?
False
Suppose -2*g = 5*g - 938. Suppose z = 2*x - 94, -3*z = -3*x + 2*z + g. Is 16 a factor of x?
True
Let y = -1436 - -1572. Is y a multiple of 8?
True
Suppose 0 = -4*h - h + 15. Suppose 5*i - 4*n - 82 = 0, -n + 0*n - 45 = -h*i. Is 3 a factor of i?
False
Let z(x) = x**3 + x**2 + 1. Let n(s) = -2*s**3 + 13*s**2 + 21*s + 6. Let c(d) = -n(d) - 3*z(d). Does 9 divide c(-15)?
True
Let h = 52 + -7. Suppose 0 = 47*p - h*p - 50. Is 2 a factor of p?
False
Suppose 1060 = 13*b - 8*b. Is b a multiple of 10?
False
Let g = 428 - 423. Is g a multiple of 5?
True
Let g = -56 + 18. Let w be (-4)/(-6) + (-76)/6. Let q = w - g. Is q a multiple of 13?
True
Suppose 22*l - 7560 = -5*l. Is 7 a factor of l?
True
Let w(a) = -a**3 - 4*a**2 + 16*a - 44. Is w(-10) a multiple of 33?
True
Let g(x) = -25*x - 19. Suppose 0 = -v + 2*v + 2, 7 = -3*i + v. Does 14 divide g(i)?
True
Is 9 a factor of 184 + -3 - ((9 - 5) + 1)?
False
Suppose -7932*q = -7926*q - 8364. Is q a multiple of 41?
True
Suppose 3394 = 4*x + 2*q, 2*q - 4*q = 2. Does 35 divide x?
False
Let f = 6 + -2. Suppose -3*m - f*u = -3*u + 21, u = -m - 9. Does 10 divide 20 + -2 + m/(-2)?
False
Suppose -3*d + 12 = -5*d. Let x = d - -6. Suppose -3*u + x*u = -51. Is 17 a factor of u?
True
Let n = 648 - 267. Is 58 a factor of n?
False
Let v = 32 - 21. Suppose 10*i = v*i - 39. Does 39 divide i?
True
Let v(g) be the third derivative of -5*g**4/8 + 3*g**2. Let f(z) = z. Let b(x) = -6*f(x) - v(x). Is b(2) a multiple of 6?
True
Suppose -285 = 2*t - 3*d - 6205, d - 8891 = -3*t. Does 12 divide t?
False
Suppose 0 = 3*i - 0*v + v - 1306, -5*i = 4*v - 2172. Is i a multiple of 20?
False
Let z = -9 - -14. Suppose 0 = -i - 3 + z. Let h(g) = 2*g**3 - 2*g**2 + g - 1. Is h(i) a multiple of 3?
True
Suppose 0 = 4*s - 2*y - 0 - 2, -4*y - 4 = 0. Suppose -4*q - i + 19 = s, 4*i = 2*q - 1 + 5. Suppose -5*v - 44 = -q*o, -5*o = -2*v + 6*v - 55. Is 2 a factor of o?
False
Suppose 2 = -5*t + 5*r - 58, -2*t - 36 = r. Let m be (1*-2)/(t/24). Let x(l) = 6*l + 2. Is 10 a factor of x(m)?
True
Let b(u) = u + 11. Let a be b(-11). Suppose 0 = 4*t + f - 103 - 39, -2*t + 3*f + 64 = a. Is 11 a factor of t?
False
Let y(b) = 7*b - 8. Suppose u + o = 6*o + 30, -o = u - 24. Is 39 a factor of y(u)?
False
Let u be 3 - ((-24)/14)/(4/42). Suppose 4*n = 5*t - 264 + u, t + 4*n - 63 = 0. Does 7 divide t?
False
Let w be 2*1 + (-9 - -8). Is (-28 - -5)*(w + -4) a multiple of 28?
False
Let b be (-2)/(((-10)/2)/10). Suppose 0 = b*j - 128 - 64. Suppose 21*d + j = 25*d. Does 6 divide d?
True
Let l be 3*(0 + 1) + -12. Let a be (-4)/(-12) + (-6)/l. Does 3 divide (a/(-3))/((-3)/135)?
True
Let r = -14 - -595. Does 7 divide r?
True
Suppose v - 5*v - 32 = 0. Let f = 35 + v. Does 3 divide f?
True
Let d(i) = -i**2 - 17*i. Let l be d(-17). Let b = 7 + l. Does 4 divide b?
False
Let v = -6 + 13. Suppose 25 = -5*t, 3*t - 16 = 2*y + v*t. Suppose 5*m + 2*k = 228, y*k - 11 = -3. Is 22 a factor of m?
True
Suppose -4*u - 1624 = -4*c - 0*u, -4*c + 1628 = -3*u. Suppose 5*h - 30 = c. Is 44 a factor of h?
True
Let x(s) = s**2 - 2*s - 5. Let c be x(4). Let j be 0 + -1 + 3 - -75. Suppose -c*b - 25 = 2*b, -j = -3*z + b. Does 12 divide z?
True
Let v(s) = -2*s**3 - 8*s**2 + 7*s - 31. Let a be v(-7). Suppose -4*c + 3*b = -a - 131, -4*b - 170 = -2*c. Is 29 a factor of c?
True
Let m = -20 - 73. Let r = m - -181. Does 8 divide r?
True
Is -10*2860/(-50) + 10 a multiple of 23?
False
Suppose -3*w = 2*s - 11, -7*s + 1 = -w - 3*s. Let m be (-10)/(-15)*2*w. Is 6/(m/(-8)*-4) a multiple of 3?
True
Let o(n) = n**2 - 2*n + 5. Let v be o(2). Let q(h) = 13*h + 7. Is q(v) a multiple of 25?
False
Suppose 4*d = k + 2*k - 3, 0 = 3*k - 2*d + 3. Let o(p) = 26*p**2 + 5*p. Is 21 a factor of o(k)?
False
Let s = 19 + -11. Let u be s/(-4)*(-22)/4. Suppose -5*t = 3*q, -t + q = t - u. Is 2 a factor of t?
False
Let k(u) = 5*u**2 + 13*u**3 - 14*u**3 - 12*u**2 - u. Let h be k(-7). Suppose 20 = 3*v - h. Does 3 divide v?
True
Is 16 a factor of 8016*((-70)/(-30) - 2)?
True
Let n(g) = -g**3 + 4*g**2 + 5*g. Let m be n(5). Let h be (-2)/3 + 4/(-24)*-754. Suppose -o + 4*q = -72, m = 3*o + 5*q - 23 - h. Is o a multiple of 14?
True
Let n be (-64)/(-28) + (-4)/14. Let o(m) = -m + 0*m + n*m + 73*m**2. Is 24 a factor of o(-1)?
True
Suppose 6*f + 0 = -6. Is 6 a factor of (-24)/1*(f/(-3) + -1)?
False
Suppose -4*n - 5*j + 67 = 4, j - 51 = -4*n. Suppose -14*q + 112 = -n*q. Is 14 a factor of q?
True
Let p be (-2756)/(-7) - (-42)/147. Suppose p = -4*f + s, 5*s = f - 0*f + 108. Is (-4382)/f - (-2)/7 a multiple of 17?
False
Suppose -24 = -3*r + j + 2*j, r + 3*j = -8. Let q = r - -20. Does 13 divide q?
False
Suppose 2*c - 54 = 5*c. Let p be 1 - 3 - (c + 14). Suppose 0 = -p*z + 5*j + 142, 3*z - 4 = j + 183. Is 26 a factor of z?
False
Suppose -3*x + 78 = 39. Suppose 714 = 16*r - x*r. Does 17 divide r?
True
Let k be 48/(-1) - (-8 + 5). Let o = 117 + k. Is o a multiple of 12?
True
Does 12 divide (2/(-3))/((-64)/54912)?
False
Let m(s) = 40*s**2 + 8*s + 10. Is 9 a factor of m(-4)?
False
Let o(f) = 68*f - 102. Is 26 a factor of o(8)?
True
Let l be (3/(-6))/(3/(-6)). Suppose 0 = 5*y - 0*h + h - 49, -l = h. Is y even?
True
Let g = -48 - -50. Suppose 9 + 59 = g*q. Does 13 divide q?
False
Suppose -20888 = -2*u - 6*u. Does 6 divide u?
False
Suppose 5*s = 2*y + 6217 - 1453, 3*y = 2*s - 1910. Is 14 a factor of s?
True
Is (-27)/3*566/(-6) a multiple of 101?
False
Let s be (-119)/(-28) + 1/(-4). Suppose -425 = -s*z - z. Does 3 divide ((-102)/z)/(1/(-5))?
True
Suppose -16 = 2*i - 4*c, 5*i - 3*c + 2 = -3. Suppose -i*f - 1140 = -4*z, -3*z + 2*f + f = -855. Is 19 a factor of z?
True
Suppose w = 2, -f = -2*w - 3*w - 32. Let k = f - -11. Is 53 a factor of k?
True
Let z = -30 - -6. Suppose 0 = 5*k + 78 + 2. Is -6*(-4)/k*z a multiple of 9?
True
Let i(c) = -c**2 + 7*c + 14. Let s be i(10). Let n be 2 - (1 + s)/1. Let z = n - -14. Is 27 a factor of z?
False
Let c(g) = 2*g**3 - 10*g**2 + 7*g - 5. Let k be c(6). Suppose -5*j + 156 + k = 0. Is j a multiple of 10?
False
Let j(s) = 25 + 22*s + 5 + s**2 + 1 - 6. Is 8 a factor of j(-26)?
False
Let r(h) = h**3 + 15*h**2 + h + 18. Let i be r(-15). Suppose -3*t + 210 = i*x, 3*t = -0*t + 4*x + 182. Is t a multiple of 11?
True
Let z(v) = -20*v + 712. Does 8 divide z(-6)?
True
Suppose 3*a - 888 = 3*h, -2*a - 7*h + 5*h + 592 = 0. Is a a multiple of 17?
False
Suppose 5*k = -2*g + 2030, 4*k - 2*g = 246 + 1396. Is k a multiple of 24?
True
Suppose a + 22 = 3*a + 2*h, -10 = -5*a + 4*h. Let d be a + (2 + 1 - 3). Suppose 3*q - 18 = -4*c, -d*q + 4*q - 11 = -5*c. Does 3 divide c?
True
Let l(b) = b**2 - 6*b + 11. Suppose 0 = v - 0 - 5. Is 3 a factor of l(v)?
True
Suppose -4*v - 3*b + 7*b = 12, -25 = 5*b. Is 19 a factor of 236*(4 + 30/v)?
False
Is 8 a factor of (-2*107/4 - -2)*-2?
False
Suppose 0*y = y. Suppose -5*a = -145 - 155. Suppose d = -y*d + a. Does 20 divide d?
True
Let h(c) = 68*c + 131. Is h(8) a multiple of 21?
False
Let w = -1769 - -2190. Is w a multiple of 50?
False
Suppose 62*n = 13*n + 9163. Is n a multiple of 26?
False
Let k(j) = -4*j - j**2 + j + 4*j**2 + 2 - 2*j. Let a be 60/18 - 2/6. Does 7 divide k(a)?
True
Let l = -36 - -42. Suppose l*x - x = 90. Is 18 a factor of x?
True
Suppose -v + 4*v - 96 = 0. Suppose c = 4*c - 15. Suppose c*a = a + v. Does 4 divide a?
True
Let q be 8*4/(-5 - 3). Is q + 4 + -4 + 40 a multiple of 9?
True
Let k = 41 - 20. Let h = k - 19. Suppose 2*z - 92 = -d, h*d + d + 84 = 2*z. Is 10 a factor of z?
False
Let c = 28 + -20. Is 8 a factor of 358/c - 15/20?
False
Let c = -393 + 5047. Does 16 divide c?
False
Let d be 56/21*45/10. Suppose 140 = 5*f - t - t, -5 = -t. Let x = f + d. Does 14 divide x?
True
Let c = 15 + 0. Let b = 7 - c. Is 4/b - 26/(-4) a multiple of 2?
True
Let f(u) = -u**2 + 20*u + 54. Let k be f(22). Let p be (-2)/7 - (-256)/14. Let x = p + k. Does 8 divide x?
False
Suppose -3*u + 1 = 10, 4*c = -4*u + 860. Suppose -c = 4*s - 798. Is 29 a factor of s?
True
Let d(h) = 2*h**2 + 41*h - 441. Does 40 divide d(-41)?
True
Is 11 a factor of (-20)/(-16) + (-37232)/(-64)?
True
Suppose -3*t + 