0 = 5*u - 139 - 81. Does 22 divide u?
True
Let m(w) = -w - 21. Let t be m(-9). Is 19 a factor of t/(1*1/(-2))?
False
Let g(o) = -o**3 + 11*o**2 - 11*o + 13. Let h be g(9). Let v = h + -45. Is 20 a factor of v?
False
Suppose 0 = -2*r + 50 + 60. Suppose 3*s + 2*s = r. Does 11 divide s?
True
Suppose 3*p - 6 = 2*p. Suppose 4*z - p*z = -48. Is 8 a factor of z?
True
Let z(v) = 9*v**3 - 2*v**2 - 2*v - 1. Let u be z(-1). Let q be 52/10 + 2/u. Suppose -q*x + x = -4*m - 120, 3*x - 102 = -3*m. Is x a multiple of 14?
False
Let h(y) = -y - 10. Let t be h(7). Let r = 24 + t. Is 5 a factor of r?
False
Let u = 175 + -111. Is 8 a factor of u?
True
Suppose 0*s = 4*k + 5*s, -4*s = -3*k. Suppose k*d + 3*d = 120. Suppose -5*g = -d - 90. Is g a multiple of 13?
True
Let v(u) = u**3 - 7*u**2 - 5*u + 4. Does 25 divide v(8)?
False
Let q(d) = -11*d**2 + 2*d + 8. Let r(b) = -10*b**2 + 2*b + 7. Let n(i) = 6*q(i) - 7*r(i). Is 12 a factor of n(-2)?
False
Let p be 14/6 + 2/(-6). Let d = 5 + p. Is 5 a factor of d?
False
Let u be 2/4 + 6/(-12). Suppose -5*t - 5*h + 60 = -10, u = -t + 3*h + 14. Suppose -y = -t - 4. Is y a multiple of 7?
False
Suppose -l = -3*i + 465, -l = 2*i + 2*i - 627. Suppose 51 = -5*a + i. Does 5 divide a?
False
Suppose 2*s - 37 = s. Is s a multiple of 17?
False
Let r = -9 + 5. Let h(q) = q**2 - 3*q + 2. Is h(r) a multiple of 8?
False
Let s = -10 - -14. Is 19 a factor of 1/s + (-151)/(-4)?
True
Suppose 0 = -4*y - 14 + 34. Suppose 0 = 4*d - y*d + 8. Suppose 2*u - d = 4*o + 16, 76 = 4*u - o. Is 10 a factor of u?
True
Let c(u) = u**2 + 7. Let n be c(6). Does 15 divide n - 1 - (-1 + -2)?
True
Let x be (-4)/10 + (-212)/(-5). Let a = -15 + x. Is a a multiple of 9?
True
Let f(k) = 4*k + 5. Let h be f(-3). Does 15 divide (-404)/h - (-26)/91?
False
Suppose 0*u = u + 53. Let g = u + 83. Is g a multiple of 6?
True
Let u(t) = t + 16. Let f(r) = -r**2 - 5. Let n be f(0). Let q = -14 - n. Is u(q) a multiple of 3?
False
Let l(f) = -f**2 + 9. Is 2 a factor of l(0)?
False
Suppose 0 = -0*p + p. Suppose p = -2*y - 3*x + 10, 0 = 4*y - 2*x - 52. Is y a multiple of 5?
False
Suppose 0 = 5*t + 4*a - 9 - 10, 3*t + 3*a = 9. Let v = t + 6. Does 13 divide v?
True
Let s be (3 + (-21)/6)*-4. Suppose -3*z + 18 = h + s*h, 0 = h + 3*z. Does 3 divide h?
True
Suppose -f = a + a - 132, -5*a - 2*f + 328 = 0. Is a a multiple of 16?
True
Let q(s) = 9*s + 15. Is q(5) a multiple of 15?
True
Suppose k = -4*z - k + 74, 4*z = -5*k + 77. Does 6 divide (z/8)/((-12)/(-64))?
True
Suppose v + 94 = 2*s, 5*v + 100 = 3*s - 34. Does 4 divide s?
True
Let u = -8 - -54. Is 6 a factor of u?
False
Suppose 4*w = -151 + 59. Let n = -11 - w. Is n a multiple of 6?
True
Does 4 divide (-12)/(-4 - (-1 - 2))?
True
Let g(d) = d**2 + 2*d + 5. Does 2 divide g(2)?
False
Let a(q) = -q**2 + 4*q + 7. Let h = -5 + 10. Let b be a(h). Suppose 0 = y + b*y - 75. Is y a multiple of 16?
False
Suppose 8*x = 3*x + 540. Suppose 2*m - 6*m + x = 0. Is m a multiple of 16?
False
Let o(s) = s**2 + 9*s - 10. Let g be o(-10). Suppose 2*i = -g*i + 36. Is i a multiple of 4?
False
Let x(z) = -5*z**2 - 3*z + 7. Let k(p) = -15*p**2 - 10*p + 21. Let d(y) = 2*k(y) - 7*x(y). Does 11 divide d(-3)?
False
Let b(k) = k**2 - 5*k + 4. Suppose 3*a + 2*a = 0. Suppose -5*m + 29 = 3*z - 16, 5*z - 25 = a. Is 10 a factor of b(m)?
True
Let l(s) = -83*s - 34. Is 20 a factor of l(-5)?
False
Suppose 2*p + 1 = -a - 2*p, 4*p - 24 = 4*a. Is 14 a factor of (-1 + a/(-3))*42?
True
Let j = 5 - -5. Let z be (-1)/(-2) - 25/j. Is 2 a factor of (9/6)/(z/(-4))?
False
Suppose -v + 9 - 3 = 0. Is v a multiple of 3?
True
Let l(s) = s. Let n be l(4). Suppose -n*v + 52 + 52 = 0. Is 13 a factor of v?
True
Let h = -10 + 18. Does 3 divide h?
False
Does 10 divide 4/8 - (-198)/4?
True
Let u(o) = -6*o**3 + o**2 - o**3 - 2*o - 1 - 5*o**3 + o. Does 31 divide u(-2)?
False
Let c = -42 - -117. Suppose k - g = 110, 0 = k + 4*g - g - 130. Let j = k - c. Is j a multiple of 20?
True
Suppose 5*f - 282 + 82 = 0. Does 20 divide f?
True
Let v(h) = h**3 - 7*h**2 + 6*h + 4. Let c be v(6). Suppose 0*u - 283 = -4*q - 5*u, -3*q = -c*u - 220. Is 29 a factor of q?
False
Let r(v) = -v**3 + v**2 - v. Let m(x) = -5*x**3 - 2*x**2 - 4*x. Let t(d) = -m(d) + 6*r(d). Is t(7) a multiple of 27?
False
Suppose 50 = -o + 6*o. Does 10 divide o?
True
Suppose 3*q - q - 112 = -2*u, -2*u + 115 = 5*q. Is u a multiple of 11?
True
Let a = -3 + 3. Suppose -3 = -d - a. Suppose 4*o - d*o - 5*y = 41, -5*y = 25. Is o a multiple of 16?
True
Let u be 30*(5/2 - 2). Let q be 2/((-26)/28 + 1). Let f = q - u. Is f a multiple of 13?
True
Let k(m) = 8*m**2 + 10*m. Is 4 a factor of k(-2)?
True
Let y(i) = 4*i**3 + 1 - 7*i**3 + 7*i**2 - 8*i**2 - 17*i**3. Is y(-1) a multiple of 11?
False
Let y(g) = g**2 - 3*g + 1. Let u be (0 + -1 + 2)*5. Is 11 a factor of y(u)?
True
Let m = 18 - 13. Suppose 5*s + 50 = 5*v, -m*s = -v + 10 + 16. Let q(r) = -r**2 + 7*r + 4. Does 9 divide q(v)?
False
Let v(y) = -y**2 + 7*y - 2. Let o be v(7). Let x = 3 + o. Is ((-9)/15)/(x/(-25)) a multiple of 15?
True
Suppose 2*l + 2 = 4*l. Let d be (l/(-2))/((-7)/(-378)). Is 7 a factor of 1/(0 + (-1)/d)?
False
Let l(i) be the third derivative of 1/12*i**4 + 1/6*i**3 - 1/8*i**6 + 0 + 0*i + 0*i**5 + 2*i**2. Is 14 a factor of l(-1)?
True
Let w(v) = v**3 + 9*v**2 - 6*v + 13. Let o be w(-10). Is 18 a factor of (-340)/(-9) - 6/o?
False
Suppose k - 1 = -2. Suppose 3 = v - 4. Let u = v - k. Is u a multiple of 8?
True
Let l be (-1 - 11)/(8/(-12)). Suppose 0 = 3*y + l - 198. Does 16 divide y?
False
Let p(w) = -w**2 - w - 1. Let x(s) = -6*s**2 + 2*s - 6. Let b(z) = -5*p(z) + x(z). Let t be b(6). Suppose -11 - t = -2*a. Is 8 a factor of a?
True
Let b(c) = c + 8. Let h be b(-6). Suppose 0 = -5*d + h*d - 9. Let t = d - -7. Is 4 a factor of t?
True
Let k(q) = -2*q**2 + 4*q - 4. Let d be k(2). Is (-4)/(-16) - 239/d a multiple of 15?
True
Suppose 0*c + 4 = 5*c + h, 2*c + 2*h = 0. Let j = 5 - c. Let v = 13 - j. Is 9 a factor of v?
True
Let c(b) = -4*b**3 + 5*b + 3. Let g be c(-3). Suppose 62 = 2*j + s, -3*j - 2*s + g = s. Is j a multiple of 9?
False
Suppose 211 - 836 = 4*y - d, -4*y + 5*d = 645. Let r be y/(-20)*(-1 + -3). Let v = r - -45. Is v a multiple of 7?
True
Let b = 7 + 0. Let d(y) = -3 + 2 + 16*y**2 - b*y**2 - y. Does 4 divide d(-1)?
False
Suppose 2*q = 4*v + 84, 5*v = -5*q + 82 + 158. Does 23 divide q?
True
Suppose -5*y = p - 5, -5*y - 4 = -p + 1. Let t = 7 - p. Suppose -3 = m + 3*b - 9, t*m = 2*b + 52. Is 7 a factor of m?
True
Does 3 divide 3/(-15) + (-16)/(-5)?
True
Let u be ((-4)/(-2))/(-2)*-1. Let o be (-2 - -1) + u/1. Suppose o*x + 15 = 5*x. Is 2 a factor of x?
False
Let o(b) = -8*b + 26. Is 18 a factor of o(-6)?
False
Let x(o) = o**3 - 8*o**2 + 9*o - 1. Let j be x(6). Suppose 73 = 3*h - 23. Let m = h + j. Is m a multiple of 5?
False
Suppose 45 = 2*o - 0*d - 3*d, 3*o + 4*d = 59. Does 11 divide o?
False
Let w(f) = f**2 - 3*f + 3. Let g(s) = 3*s**2 - 8*s + 9. Let y(n) = -2*g(n) + 7*w(n). Let t = -26 + 31. Is y(t) a multiple of 2?
False
Suppose k + 4*l = 14, 0 = -k + 2*k + 3*l - 16. Is k a multiple of 8?
False
Let o = 26 + -11. Suppose 49 = -4*z - t, -5*z = -3*z + 2*t + 32. Let w = z + o. Does 4 divide w?
True
Let j = -122 + 173. Suppose 6*c + j - 267 = 0. Is c a multiple of 9?
True
Suppose w = -2*w + 351. Does 33 divide w?
False
Let k(j) = j - 1. Let g(b) = -13*b + 8. Let y(p) = g(p) + 4*k(p). Let i be y(-8). Suppose 4*n + n = 4*d - i, -30 = -d + 4*n. Is 11 a factor of d?
False
Let k(g) = -g**3 - 11*g**2 - g + 7. Let u be k(-11). Is 17 a factor of u/(-9)*51/(-2)?
True
Let c be 0 + (-5)/((-5)/(-22)). Let u = -1 - c. Does 14 divide u?
False
Is (-4)/(-4) + (30 - -3) a multiple of 22?
False
Let w(t) = -8*t - 4. Suppose 0 = 3*l - 5*g + 25, -2*l - 4*g + 20 = -3*l. Suppose 0 = 4*f - 3*m, -2*f + l*f - 4*m - 22 = 0. Does 19 divide w(f)?
False
Let f = -234 - -356. Is 10 a factor of f?
False
Suppose m = 4*m + 6. Let h be 0 + 6/3 + m. Suppose 16 = -h*s + 2*s. Is s a multiple of 4?
True
Let b(c) = 8*c + 3. Let l be b(-3). Let x = -12 - l. Is 3 a factor of x?
True
Let g(o) = -o**3 - 3*o**2 - 1. Is 15 a factor of g(-4)?
True
Let f(b) = 4*b**2 - 6*b + 2. Let w = -5 + -2. Let t = w - -11. Does 21 divide f(t)?
True
Suppose f - 2*h - 39 = h, -3*f = -4*h - 142. Does 20 divide f?
False
Suppose -2*a = 3*