- 3*f**2 + 3*f - 2. Let b be a(3). Suppose r - 4 = b. Does 20 divide r?
False
Suppose 135 = 5*s + 4*q + q, s - 5*q = 33. Suppose 14 + s = 3*l. Is 5 a factor of l?
False
Suppose 0 = 6*t - t - 20. Suppose -2*a = -t*i + 22, -2*i - 5*a + 32 - 3 = 0. Suppose i*m - 30 = 2*m. Is 3 a factor of m?
True
Let z be (-2)/(-6) - (-4)/6. Let p(s) = 20*s**3 - s. Let k be p(z). Is 3 + -3 + k + -1 a multiple of 18?
True
Let y be (-1 - -1) + 44/2. Let i be (4/8)/(1/y). Suppose -2*h + i + 25 = 0. Is 9 a factor of h?
True
Suppose 279 = 4*q + 63. Suppose 0*h = -4*b + 3*h + 58, 5*h + q = 4*b. Does 6 divide b?
False
Let a(u) = u**3 - 8*u**2 + 3*u - 11. Let p(v) = 10*v**3 - 6*v**3 - 5*v**3 + 4*v**2 + 2*v. Let l be p(4). Does 13 divide a(l)?
True
Let k = -312 + 459. Does 21 divide k?
True
Does 22 divide (-882)/(-8) + 0 - 3/12?
True
Suppose 0 = 6*l - 601 - 83. Does 6 divide l?
True
Suppose 4*q = -4*i + 84, 69 = 5*q - 2*i - 22. Let r be (5 - 2)*(-2)/(-2). Suppose 3*m = 3, w - m = -r*m + q. Is 12 a factor of w?
False
Suppose 3*d - d + 1 = 5*s, 2*d + 4*s - 8 = 0. Suppose 28 = 2*t - 5*c, -2*t + 6*c - d*c = -24. Does 8 divide (-102)/t*(-4)/6?
False
Let w = -12 - -21. Does 14 divide (w - 1)/((-1)/(-2))?
False
Suppose -5*c + 2*c = 0. Let l = c - -12. Is l a multiple of 4?
True
Suppose 4*r + r + 125 = 0. Let m = 41 + r. Does 8 divide m?
True
Let t = 9 + -15. Is 7 a factor of ((-92)/t)/(4/6)?
False
Suppose 5*m - 92 - 328 = 0. Is m a multiple of 12?
True
Let l = 3 - 9. Let p(y) = -y**2 - 6*y + 1. Let z be p(l). Suppose -13 = -x + z. Is x a multiple of 7?
True
Let k(y) = y**2 - 10*y - 6. Let t be k(11). Suppose j = t*j - 200. Is 17 a factor of j?
False
Suppose -5*s = 3*i - 1, -2*s + 5*i = -0*s - 19. Let a = 5 - s. Is 10 a factor of ((-6)/a)/(1/(-6))?
False
Let a = 4 - 6. Let y(k) = k + 1 - k - 7*k. Is 8 a factor of y(a)?
False
Let v be (-3)/(-2)*16/12. Suppose -v*b - 3*b + 145 = 0. Is 12 a factor of b?
False
Suppose 0 = -5*f + 26 + 209. Is 21 a factor of f?
False
Let f = 117 - 87. Is f a multiple of 3?
True
Is (-1626)/(-8) - ((-20)/16)/(-5) a multiple of 11?
False
Let l = -140 - -233. Is 12 a factor of l?
False
Let m = 78 + -63. Does 2 divide m?
False
Let u be ((-50)/(-3))/((-10)/(-30)). Suppose 3*g = -6, -r - 2*g + 0*g = -u. Is r a multiple of 11?
False
Let z be (0 - 0)/(2 + 0). Suppose -5*y + u + 109 = -z*u, 2*y - 3*u - 41 = 0. Is y a multiple of 11?
True
Let z(b) = b**2 - 2*b - 1. Does 7 divide z(-4)?
False
Let z(o) = -o**3 + 4*o**2 - 3*o - 2. Let b be z(3). Let u(g) = -14*g + 2. Is u(b) a multiple of 22?
False
Let n = 11 - 11. Let r(s) = -s**3 - 2*s**2 + s + 11. Does 11 divide r(n)?
True
Suppose -2*a - 3*a = -5. Is 4 a factor of 0 - (a + -1) - -12?
True
Let i(t) = -2*t + 1 + 1 - 3 + t. Let y(p) = -p - 2. Let v(a) = 3*i(a) - 2*y(a). Is 9 a factor of v(-8)?
True
Let s be (2 - (2 - 3)) + -3. Let m(v) = -v**2 + v + 151. Let c be m(s). Suppose -421 = -5*y - c. Is y a multiple of 27?
True
Let n(q) = q**3 - 4*q**2 + q - 5*q**2 + 2*q - 6. Let f be n(9). Suppose 3*v + 0*v - f = 0. Is 3 a factor of v?
False
Let a(u) = 15*u + 30. Is a(6) a multiple of 6?
True
Let b = -12 + 41. Is b a multiple of 21?
False
Suppose 5*g = 2*g + 30. Is g a multiple of 8?
False
Let k(n) = n**2 + 7*n - 10. Let s be k(-8). Let q be 46*((-1 - s) + 0). Suppose 8 + q = 3*l. Does 12 divide l?
False
Suppose -4 = 3*l - g - 4*g, -3*g + 6 = 0. Let q = 22 + -20. Suppose l*d = 3*y + 77, 5*d + 1 = -q*y + 165. Is 17 a factor of d?
True
Let h(a) = -a**3 + 3*a**2 - 4*a - 2. Is 14 a factor of h(-3)?
False
Suppose 3 = -q + 9. Suppose -3*o = -3*v - q, 0 = -3*o + v + 4*v + 14. Is o/6 - 26/(-6) a multiple of 4?
True
Suppose -5*x + 20 = -5*j, -j + 6*j = -2*x + 8. Suppose 0*s - s = -x. Suppose 76 = 3*p + s. Is p a multiple of 15?
False
Let c be -20*1*3/(-6). Is (-4)/(-10) + 126/c a multiple of 5?
False
Suppose 10 = 2*v - 5*i - 5, 0 = -3*v + 5*i + 15. Let d = 7 - 4. Suppose v = 2*r - 5*h - 29, h + h = d*r - 71. Is 15 a factor of r?
False
Let s(q) = 5*q + 20. Let i(g) = -4*g - 20. Let a(j) = -4*i(j) - 3*s(j). Is 10 a factor of a(0)?
True
Let m(r) = -r + 7 + 2*r - 2*r + 7. Is 5 a factor of m(8)?
False
Does 25 divide 5/3*(43 - -2)?
True
Let b be (1*-4)/((-2)/(-43)). Let u be 1*-3 - (b + -5). Suppose -5*s - z = -u, 0 = 7*s - 3*s + 3*z - 66. Does 8 divide s?
False
Suppose 0*u = 4*u + 20. Let i(x) = -x**3 - 6*x**2 - 7*x. Is i(u) a multiple of 5?
True
Let y = 16 + -16. Suppose 4*v - 73 - 7 = y. Does 13 divide v?
False
Let q(g) = -4*g - 5. Let k be q(-2). Suppose -k*h + 8*h + 3*i - 168 = 0, 0 = i + 4. Does 15 divide h?
False
Let t(d) = 4*d**2 + 7*d. Does 21 divide t(-6)?
False
Suppose 0 = 5*n - u - 171, -10 = 5*u - 5. Is 9 a factor of n?
False
Let i(k) = -k**3 - 2*k**2 - 3*k - 2. Let p be i(-2). Is p/(-3)*(7 + -16) a multiple of 5?
False
Let w(i) = -i**2 + 9*i - 9. Let g be w(6). Suppose 12 + g = -s. Let y = 71 + s. Is y a multiple of 20?
False
Let v(j) be the first derivative of j**5/120 + j**4/8 - j**3 - 4. Let g(u) be the third derivative of v(u). Does 6 divide g(9)?
True
Suppose -168 = -4*n - 0*n. Suppose -4*m + 5*m - 42 = -3*v, 0 = 3*v + 2*m - n. Is 7 a factor of v?
True
Let j be 48*(-2 - (-4)/3). Let l = j - -66. Does 17 divide l?
True
Let b(p) = 3*p**2 + 4*p - 16. Is 28 a factor of b(4)?
False
Suppose 5*g + 198 = -g. Let s = -5 - g. Is 6 a factor of s?
False
Let j = -119 - -84. Let k(h) = -74*h**3 - 1. Let u be k(1). Let o = j - u. Is 20 a factor of o?
True
Let x(h) = h**3 + 5*h**2 - h. Let p(j) = -j**3 - 6*j**2 + 2*j + 1. Let v(y) = -2*p(y) - 3*x(y). Is 9 a factor of v(-4)?
True
Let r be (-6 - 2) + 0 + 3. Let j(x) = -x**2 - 6*x - 6. Let h be j(r). Is 6 a factor of 12 - (h - 0)/(-1)?
False
Suppose -15*u + 20*u = 10. Is u a multiple of 2?
True
Let c(h) = -h**2 - 11*h - 3. Suppose 5*r - 16 = 4*r - 5*j, -5*r = 5*j - 60. Let l = r + -20. Is 4 a factor of c(l)?
False
Let w(o) = -o**3 - 6*o - 6*o**2 - 4 + 2*o + 9. Let y be w(-5). Suppose -5*x = 4*q - 24, q + 9 + y = -5*x. Is q a multiple of 5?
False
Let j(m) = -m**3 + 4*m**2 - 2*m + 4. Let f be j(4). Is (-1)/f + 182/8 a multiple of 18?
False
Let f be (-12)/10*(-35)/14. Suppose 5*z + 10 = n, n - f*z = -4*n + 94. Is n a multiple of 20?
True
Let u be (1 + -2)*(-11 + -2). Suppose -q = -26 - u. Does 12 divide q?
False
Let f be 6/(-2) - (-12)/4. Let m = f - -15. Is 5 a factor of m?
True
Let q(m) = -m**2 + 10*m - 4. Let k(r) be the first derivative of r**3 - 15*r**2 + 13*r - 3. Let s(v) = -3*k(v) - 8*q(v). Is 9 a factor of s(5)?
True
Let u = -3 - -6. Suppose 2*c = p + u - 4, 36 = 3*p + 5*c. Is p a multiple of 6?
False
Let x = 59 - -34. Is 28 a factor of x?
False
Let l(o) = 2*o**2 + 3*o + 2. Let s be l(-3). Suppose -2*y + s + 21 = 0. Is y a multiple of 8?
True
Is 8 a factor of (-394)/(-9) + 4/18?
False
Let z(v) = -v**2 - 12*v + 1. Suppose 0 = 2*w - 5*m - 15 - 14, -4*w + 3*m + 23 = 0. Suppose w*i - 26 = 4*n, 38 = -3*n + n - 4*i. Does 14 divide z(n)?
True
Suppose 5*r - 21 = 4. Suppose -o + r*o = 44. Is 6 a factor of o?
False
Let n = -50 + 100. Is n a multiple of 11?
False
Let l = 42 + 11. Suppose -v = -3*q - 18, q = -3*v + l - 19. Is 12 a factor of v?
True
Suppose 3*s - 1 = 11. Suppose 2*v + 6 = -0*y - 4*y, 4*v = s*y + 24. Does 15 divide (-82)/y + (-7)/21?
False
Let v be (1 + (-6)/4)*0. Suppose -5*g = -5*o - 5, -2*g + v*g - 4*o = -32. Does 6 divide g?
True
Suppose 0 = 2*d - k - 2 - 5, 3*d - 13 = 4*k. Suppose -4*m = -5*y - 28, 4*m = -2*y - 2*y - 8. Suppose 136 = 5*v + 5*c - 64, 0 = m*v - d*c - 55. Does 18 divide v?
False
Is 15 a factor of (20/(-8) - 0)*-12?
True
Let o be -3 + 0 - (-6)/(-2). Is 6 a factor of ((-72)/(-20))/(o/(-15))?
False
Suppose -5*q = -2*p, -2*q + 7*p = 4*p. Let u be 0/1 - (-2 + q). Suppose d = -u*r + 70, 5*d = -r - 3*r + 140. Is 15 a factor of r?
False
Let o(r) = r - 1. Let x be o(-1). Is 11 a factor of 3 + (x - 32/(-1))?
True
Suppose 4*r - 70 = 3*f, -3*f = 5*r - 7*r + 38. Does 3 divide r?
False
Suppose 5*n - 4*s - 943 + 203 = 0, -s = 5*n - 715. Is 12 a factor of n?
True
Let n(o) = o**3 - 7*o**2. Let m be n(7). Suppose -h + 4*v - 8 = m, -2*h - 4 = 5*v - v. Does 14 divide ((-2)/h)/(1/52)?
False
Let n be 2 + 1 + 2*7. Let c = n - 6. Is c a multiple of 10?
False
Suppose h = -4*i + 4*h + 27, 3*i - h = 14. Suppose 0 = o - 0*o - 3*j + i, -3*j = 0. Let q = o + 9. Is q a multiple of 3?
