x - 31, 5*p - 2*x - 121 = 0. Does 6 divide p?
False
Let d(v) = v**3 - 2*v**2 - 3*v + 3. Let f be d(3). Suppose -13 - 8 = -f*w. Is 7 a factor of w?
True
Let q(r) = -r**3 - r**2 - 1. Let n be q(0). Let p = n + 3. Is 42 + p/(-2 + 0) a multiple of 16?
False
Let a = -92 + 154. Suppose 4*t = 54 + a. Is t a multiple of 15?
False
Let z(j) = j**2 + 7*j - 5. Let y be z(-8). Suppose y*v + 16 - 85 = 0. Is v a multiple of 7?
False
Let u(i) = -i**3 + 7*i**2 + 28*i - 15. Is 15 a factor of u(9)?
True
Suppose -3*x - 72 - 13 = -5*h, -2*h + 3*x + 43 = 0. Does 4 divide h?
False
Suppose -3*f = -0*f. Suppose -3*u = y - 17, 2*y + f*u - 5*u = 89. Is y a multiple of 18?
False
Let y(z) = -z**3 + 2*z**2 + 2*z - 1. Let h be y(2). Suppose h*g - 100 = -2*g. Does 10 divide g?
True
Let l be (28/10)/(26/65). Is 2/(-4)*-6*l a multiple of 7?
True
Let p = 5 + -8. Does 2 divide (-5 - p)/((-1)/2)?
True
Suppose 0 = b + 2*c, 8*b - 3*c = 4*b + 22. Suppose -b*y = -73 + 1. Is y a multiple of 6?
True
Let y(s) = -10*s + 2. Let r(u) = u**2 + 7*u + 6. Let i be r(-4). Let j = -10 - i. Does 14 divide y(j)?
True
Is ((-4)/4 + 5)*19 a multiple of 19?
True
Suppose 3*n - 2 = 2*n. Let w be -2 - (-1)/(-1 + n). Does 15 divide -30*(w + 0) - 0?
True
Let m(q) = q**3 + 8*q**2 + 2*q + 4. Does 27 divide m(-6)?
False
Let r(b) = b**3 + 5*b**2 - 5*b - 6. Is 12 a factor of r(-3)?
False
Suppose 3*q - 7*q - 5*s = 211, -2*s = 4*q + 202. Suppose 0 = -0*y + 3*y - 225. Let d = y + q. Is 13 a factor of d?
True
Let k(l) = -17*l**3 - 2*l**2 - 3*l - 2. Let o be k(-2). Suppose 0*w - r - 28 = -w, 5*w + 3*r - o = 0. Is w a multiple of 12?
False
Let n(q) = q**2 - 4*q - 1. Let b(x) = -2*x**2 + 7*x + 2. Let f(w) = 4*b(w) + 7*n(w). Let g be f(1). Suppose g = -4*k + 9 + 11. Is k a multiple of 5?
True
Let u(v) = -10*v - 54. Is 18 a factor of u(-9)?
True
Suppose -l - 39 = -3*l + 3*j, -4*j = l - 36. Suppose -5*s - 5*a = -30, -2*s + 0*s - 5*a + l = 0. Is 2 a factor of s?
True
Let p be 3 + -3 + 2 + 2. Suppose 3*z - p*s = 62, -94 = z - 6*z + 2*s. Is 10 a factor of z?
False
Does 6 divide (3340/(-40))/((-1)/2)?
False
Suppose -u + 320 = 3*u. Does 20 divide u?
True
Let y(r) = 40*r**2 - 2*r - 1. Is y(-1) a multiple of 41?
True
Suppose -55 = -4*i + i - 4*m, 36 = 2*i + 3*m. Suppose -107 = -2*x - 5*l, -4*x + 168 + i = 5*l. Is x a multiple of 9?
False
Let w be (-1)/5 + (-1)/(-5). Suppose -d + 17 + 7 = w. Does 12 divide d?
True
Let g be 3 - (-2)/(-2) - -1. Suppose 25 = g*v + 2*j - 8, -j + 11 = v. Is 10 a factor of v?
False
Let i(c) = -c**3 - 6*c**2 + 3*c - 10. Is i(-7) a multiple of 16?
False
Suppose 0 = 2*p - 4*b - 100, -5*p + 2*p + 2*b = -154. Suppose -3*u - p = -157. Is u a multiple of 15?
False
Let u = 181 - 86. Is u a multiple of 19?
True
Suppose 266 = 5*m + 26. Suppose 5*a - m = -3*h, -3*h + h = a - 11. Does 9 divide a?
True
Suppose 4*c + b = 3*b + 310, 4*b = -5*c + 420. Suppose 4*v + 0*v = c. Suppose -v - 12 = -4*i. Does 4 divide i?
True
Let w(l) be the second derivative of 7*l**5/4 - l**4/12 - l**3/3 + l**2/2 - 2*l. Is w(1) a multiple of 11?
True
Let s be ((-1)/(1/(-2)))/1. Suppose s*t - t = 8. Is t a multiple of 8?
True
Suppose 0 = 4*c - 5*m - 11, 0*c - 3*m + 6 = -c. Suppose -c*o = -2*o - 357. Is o a multiple of 17?
True
Let d(h) = -h**3 - 6*h**2 - 5*h + 2. Let o be d(-5). Suppose 0 = o*c + 2*c - 248. Does 13 divide c?
False
Let g(o) = -53*o**3 + 3*o**2 - o - 1. Does 4 divide g(-1)?
True
Let c = 3 - -19. Suppose -5*q - 71 = -4*i, 5*q + 7 + c = i. Let g = -8 + i. Is 3 a factor of g?
True
Let x be -3*(12/(-9))/(-2). Let o(j) = 2*j**2 - 2. Is o(x) a multiple of 3?
True
Suppose -3*h + 56 = -4*h. Let r = 21 - h. Let m = r + -37. Is 12 a factor of m?
False
Suppose 2*g - 3*g = -1. Does 20 divide -1 - (-59 - 2)/g?
True
Let a(w) = -3*w - 7. Let t = 0 - 8. Is a(t) a multiple of 11?
False
Let a = 10 - 14. Let c(q) = -3*q - 6. Is 3 a factor of c(a)?
True
Suppose -4*g = 5*j - 5, -3*g + 3*j = 2*g - 34. Suppose 0 = -g*m + 17 + 113. Let i = m + -5. Is 9 a factor of i?
False
Let s(q) be the first derivative of q**2/2 + 22*q - 7. Is 9 a factor of s(-9)?
False
Let r = -60 + 125. Does 13 divide r?
True
Suppose -50 = -b - 4*v, 2*b + b - 120 = 3*v. Is 3 a factor of b?
True
Let m(g) = -g**3 + 17*g**2 + 4*g + 16. Does 48 divide m(16)?
True
Suppose y = -1, y - 31 = -2*p + 54. Suppose -i - l + 19 = l, 3*i - p = l. Is i a multiple of 14?
False
Let t = -1 - -23. Let b = -18 + t. Is b a multiple of 4?
True
Let w = -7 - -13. Suppose 3*l = p - w, -2*l - 4 = 2*p - 0. Suppose 2*h + a - 39 = p, -2*h - h - 3*a + 66 = 0. Does 6 divide h?
False
Let z(c) = 8*c**2 - 6*c + 7. Let i(s) = -9*s**2 + 7*s - 7. Let p(d) = 4*i(d) + 5*z(d). Does 18 divide p(4)?
False
Let o be 2/(-6) - (-2)/6. Suppose o = 3*f - 6, -5*f + 74 = 4*m + 28. Is 3 a factor of m?
True
Let t = -1 - -4. Suppose 0*p - t*p = -63. Does 21 divide p?
True
Suppose 2*v + 7*i - 8 = 2*i, 2*i - 2 = -2*v. Let h be ((1 + v)/(-1))/(-1). Suppose -5*w + h*w + 90 = 0. Is 9 a factor of w?
True
Does 14 divide (-2)/(-4) - 54/(-4)?
True
Let r be (186/8)/((-12)/(-32)). Let m = r - 32. Is 15 a factor of m?
True
Suppose -v + 0*v + 8 = 0. Suppose 6*f + 16 = v*f. Is f a multiple of 4?
True
Suppose a - 1 - 5 = 0. Suppose u - a = 5. Is u a multiple of 5?
False
Let w be 7 + -2 + 4 - 1. Let s = w + -1. Does 7 divide s?
True
Let q be 312/5 + (-6)/15. Let b = q - 20. Suppose 2*d - 4*d + b = 0. Does 8 divide d?
False
Suppose -114 = -8*j + 78. Does 24 divide j?
True
Suppose k = -u - 2*k + 9, u + 2*k = 7. Let o be (-85)/(-15) - 2/3. Suppose -4*s + 0*s = 5*a - 22, -28 = -u*a + o*s. Is 6 a factor of a?
True
Suppose 0*x = x - k - 69, -4*k = 5*x - 372. Is x a multiple of 9?
True
Suppose -4 = 3*h + h, 2*n + 5*h - 23 = 0. Is n a multiple of 14?
True
Let f(a) = -a**3 - 3*a**2 + a. Let j be f(-4). Is j/3*(-21)/(-4) a multiple of 9?
False
Suppose -3*u - 18 = -6*u. Is 3 a factor of u?
True
Let q = -1 + 4. Let g be (0 - (-3)/q) + 3. Does 9 divide (5 - 2) + (g - -16)?
False
Let v(l) = 3*l**2 - 4*l - 3. Is 4 a factor of v(-3)?
True
Let g = 761 + -433. Does 22 divide g?
False
Suppose 0 = -y - 0*y. Suppose 0 = -y*k + 5*k - 135. Is 11 a factor of k?
False
Let c be 20/(-3)*(-15)/10. Suppose 2*g + 0*g = -p + c, -4*p + 28 = 5*g. Is 3 a factor of g?
False
Suppose 5*n + 4*c + 418 = 0, c - 242 = 3*n - c. Let j = 138 + n. Is 19 a factor of j?
False
Suppose -3*m + v + 4 = 5*v, 0 = -2*v + 2. Let i(z) = 16 - 4*z + 3*z + m. Is i(0) a multiple of 8?
True
Let b = 109 + -88. Is b a multiple of 7?
True
Let w = -4 - -46. Is 13 a factor of w?
False
Suppose -12*k = -14*k. Suppose k = -z - x + 25, 0 = -2*z - 5*x - 8 + 43. Does 11 divide z?
False
Suppose -5*s + 105 = 5*d, -11 = -5*d + s + 64. Let y(w) = 9*w**2 - 2*w + 1. Let c be y(-2). Let x = c - d. Is 14 a factor of x?
False
Is 35 a factor of (-3 + 102 + -4)*1?
False
Suppose -5*u + 745 = -0*u. Suppose -2*p - 2*n = -5*p + u, n - 206 = -4*p. Suppose -7*t = -3*t - 5*a - 70, -3*a = -3*t + p. Is 10 a factor of t?
False
Let j be (6/4)/(12/496). Does 31 divide j*(2 + (-1)/2)?
True
Suppose 4*h = 4 + 12. Let c = -2 + h. Is 15 a factor of 5/10 - (-67)/c?
False
Let f(n) = n**3 - 11*n**2 + 9*n + 14. Suppose g - 2*t = -2*g + 55, -5*g - 3*t + 79 = 0. Suppose 2*c - 3 - g = 0. Is 2 a factor of f(c)?
True
Suppose -2 = 2*u, u + 132 = w + 7. Suppose 2*c = -5*s + w, 5*c - 184 = -5*s - 69. Does 17 divide s?
False
Let v(o) = o**3 + 4*o**2 - 2*o + 4. Let p be v(-5). Let s = -1 - p. Does 5 divide s?
True
Let t(i) = -42*i - 14. Is 28 a factor of t(-11)?
True
Let u be -5 + 9 - (-1 + 3). Let c be (u/(-3))/(3/(-9)). Suppose c*h - 71 = -5. Does 14 divide h?
False
Suppose a - 63 = -2*a - 3*h, 0 = a - 4*h - 6. Let z = 11 - a. Let d(y) = -y**2 - 17*y - 8. Is 17 a factor of d(z)?
False
Let l(x) = 3*x - 2. Is l(6) a multiple of 16?
True
Let m(s) = -s**2 + 25*s - 49. Does 17 divide m(20)?
True
Let r(f) be the first derivative of f**3/3 + 2*f - 3. Does 10 divide r(-3)?
False
Suppose 0 = -4*w + 4 + 16, -2*h + 56 = -2*w. Does 11 divide h?
True
Suppose -18 = -4*q + 18. Is q a multiple of 3?
True
Is 3 a factor of 44*(110/20 + -3*1)?
False
Let o be 2 + 2 + 2 + -3. Is (-104)/12*o/(-2) a multiple of 13?
True
Let g(u) = -3*u**3 - 3*u**2 - u - 10. Let r(t) = -3*t**3 - 4*t**2 - 2*t - 11. Let i(l) = -7*g(l) + 6*r(l). Is 24 a factor of i(3)?
False
Let s(u) = -19*u -