be i(-3). Does 20 divide p(f)?
False
Let y = -17 + 11. Is (-2)/3*y*14 a multiple of 14?
True
Suppose 0 = 2*n - 3 - 3. Let u be (-1)/(((-9)/(-3))/n). Let c(i) = -26*i**3 - i**2. Does 20 divide c(u)?
False
Let j be ((-2)/(-4))/((-3)/(-18)). Suppose -n + 41 = 5*l, 2*n - 5 = -j*l + 14. Does 7 divide l?
False
Let d be 3/6 - 57/6. Let x = d - -15. Is 3 a factor of x?
True
Let f(y) = 2*y**2 + 4*y + 6. Is f(-4) a multiple of 22?
True
Let a(v) = 2*v**2 - 3*v - 9. Let j be a(-9). Suppose j = 4*z + 36. Is 19 a factor of z?
False
Let b = 33 - -34. Is b a multiple of 5?
False
Let o(n) = -n**2 + 11*n + 18. Does 28 divide o(10)?
True
Let a = 83 - 56. Is 27 a factor of a?
True
Suppose d - 7 = 4*k, 0 = -k - d + 5*d + 17. Let i(a) = -a**2 - 5*a + 3. Let l be i(k). Let p = l - 4. Does 3 divide p?
False
Suppose 2*k + 74 = p, 3*k - 272 = -4*p - k. Does 9 divide p?
False
Does 13 divide (-30)/9*216/(-15)?
False
Let a = -3 - -17. Is a a multiple of 14?
True
Suppose -5*w = -25 + 10. Let f be -6 + (4 - 1)/w. Let n(v) = v**2 + v - 1. Does 11 divide n(f)?
False
Suppose l + 0*u = 4*u + 142, -5*l + 4*u = -646. Is l a multiple of 19?
False
Let w(r) = -r + 4. Let m be w(0). Suppose -4*q = 5*i - 36, -4*i = 2*q - 28 + m. Suppose -4*k + 3*k = -i. Is 2 a factor of k?
True
Let w be (5 + -3)*(-10)/4. Let a(z) = -z - 3. Let x be a(w). Suppose -i + x*i = 9. Does 9 divide i?
True
Suppose 3*b = -2*m + 253, -95 = -m - 3*b + 39. Does 16 divide m?
False
Let q(f) = 4*f - 6. Let w be q(3). Let o = 18 - w. Is o a multiple of 12?
True
Let l(o) = 2*o**2 - 6*o - 3*o**2 + 2 + 3*o + 2. Let j be l(-3). Suppose 0 = -c - 4*b + 20, 138 = j*c - 3*b + 20. Is c a multiple of 14?
True
Suppose -r - 3 = 4. Let z = -15 - r. Let a(f) = -f + 5. Does 13 divide a(z)?
True
Suppose w - 3*w + 28 = 0. Let k be (-4)/w + 19/(-7). Does 9 divide 0 + k + 1 + 15?
False
Let o be 18/4 - 2/4. Let n be (1 - o)*(-2)/3. Suppose a - 2*c + 6*c = -4, n*a - 5*c = 57. Is 16 a factor of a?
True
Let s = 10 - 4. Let p(q) = q + 6. Let j be p(-5). Let b = s - j. Is 2 a factor of b?
False
Let l = 189 - 33. Is l a multiple of 9?
False
Let q(i) = -3*i**2 + 14*i - 6. Let m(h) = -16*h**2 + 71*h - 29. Let j(a) = 2*m(a) - 11*q(a). Let d be j(11). Let p = 6 - d. Is 5 a factor of p?
False
Let p be (0 + 2*-1)*-2. Let g(v) = p*v - 6 - 3*v - 5*v. Is g(-6) a multiple of 9?
True
Let d = 2 - -4. Suppose -2*a + 2 + d = 0. Is a a multiple of 2?
True
Suppose -102 = -5*j + 138. Is 12 a factor of j?
True
Let w(g) = -g**2 + 4*g + 5. Let d be w(4). Suppose -3*f + d = -2*t, -4*f - 5*t + 10 = 34. Let y(r) = -26*r - 1. Does 15 divide y(f)?
False
Let f = -62 + 128. Is 3 a factor of f?
True
Suppose -2*h = -3*h + 91. Is 11 a factor of h?
False
Let n = -73 + 38. Does 10 divide (-60)/14*n/5?
True
Suppose 3*d + 48 = 5*d. Is 4 a factor of d?
True
Let m be 218/(-12) + (-3)/(-18). Suppose 6*j = 5*j - 41. Let a = m - j. Is 23 a factor of a?
True
Let k = 3 + 0. Suppose 3*q - 16 = -q - 4*v, -2*q - k*v = -9. Suppose 0*u - 4*u + 143 = 3*r, 127 = q*r - 4*u. Does 15 divide r?
True
Let u(i) = 3*i - 11. Let c(z) = -7*z**3 + 1. Let h be c(1). Let q(y) = 2*y - 10. Let a(s) = h*u(s) + 7*q(s). Is 15 a factor of a(-5)?
False
Suppose -4*k + 48 = 8. Let l be ((-36)/10)/((-3)/k). Is 19 a factor of 1/(-2) - (-366)/l?
False
Suppose -v + 2*v - 18 = 0. Suppose w + x = 2*x + 4, v = 3*w - x. Is 7 a factor of w?
True
Let y(g) = 1 + 3*g + 3*g**2 + g**3 + g**2 - 3. Let u be y(-3). Is 45/(-10)*u/3 a multiple of 3?
True
Let i = 0 + 4. Suppose 3*z - i*z = 0. Suppose 0 = 2*k - z*k - 32. Is k a multiple of 13?
False
Does 3 divide 4/16 + (-22)/(-8)?
True
Suppose 0*f + y = 3*f - 40, 0 = 2*y + 2. Let p = 43 - f. Is p a multiple of 15?
True
Let f(y) = -69*y**3 - 2*y - 1. Is 16 a factor of f(-1)?
False
Let y be -10*((-9)/(-6) + -2). Let q = -3 + y. Suppose -q*a + 17 = -3. Does 7 divide a?
False
Suppose 16 = 5*r - 3*r. Let w = -5 + r. Does 5 divide (-1)/w*0 - -7?
False
Let r be (6 - 6)*(-1)/2. Let o(x) = x**2 - x + 58. Is 21 a factor of o(r)?
False
Let y = -34 + 43. Is 9 a factor of y?
True
Let o(q) = -q + 9. Let l be -1*7/(-2)*2. Let c be o(l). Suppose 5*d - 5*y = 40, 3*d - y = -c*y + 40. Is 9 a factor of d?
False
Let i be (-12)/(-10)*(-270)/(-4). Suppose i - 21 = 2*x. Is x a multiple of 10?
True
Let h = 13 - -43. Suppose 4*q = 6*q + 32. Let o = q + h. Is o a multiple of 20?
True
Suppose -u - 53 = 5*p, -4*p + 2*u - 15 = -3*p. Let m = p + 15. Suppose 15 = m*s + s, -y = -s - 4. Is 7 a factor of y?
True
Let f(d) = -2*d - 10. Let b be f(-10). Does 11 divide ((-15)/b)/(6/(-220))?
True
Let f(j) be the first derivative of -j**3/3 + 5*j**2 + 1. Is 8 a factor of f(6)?
True
Let v = 8 + -31. Let q = v + 35. Does 7 divide q?
False
Suppose -5*r + 3 = -2*z - 2, -5*z + 3*r = -35. Is 5 a factor of z?
True
Let l = 15 + 13. Is l a multiple of 14?
True
Let a(x) = x**2 - 13*x - 24. Is 8 a factor of a(17)?
False
Let t(d) = -10*d - 10. Let q be t(-8). Let v = 32 + q. Let y = v + -63. Is 18 a factor of y?
False
Let n be 126/24 - (-2)/(-8). Suppose n + 3 = 2*f. Does 2 divide f?
True
Is 2 + 4 + -3 - -3 a multiple of 2?
True
Does 4 divide 2 + (-5 - -3) - -4?
True
Suppose 0*l = -2*l + 120. Does 21 divide l?
False
Let q(m) = m**3 + 6*m**2 - 7*m - 4. Let s be q(-7). Let u = 7 + s. Suppose -n - u*y = -2, -5*y + 2*y - 6 = 0. Is n a multiple of 3?
False
Suppose 0 = -3*b + 490 - 109. Does 40 divide b?
False
Suppose -20 = 5*f, 4*x - 2*f = 7 + 113. Is 14 a factor of x?
True
Suppose -5*u + r = -98, r = -4*u - 28 + 101. Does 12 divide u?
False
Suppose 3*q + 2 = 8. Let o be 5/((-15)/(-9)) + q. Suppose o*g - 168 = -28. Is g a multiple of 14?
True
Does 20 divide (-31 + 2)*(-12)/4?
False
Let t(v) = -3*v - 3. Let b be t(-4). Let s = b - 6. Is 5 a factor of (5/s)/(3/27)?
True
Does 22 divide (20/(-25))/((-1)/55)?
True
Let v(a) = -a**3 - 6*a**2 - 9*a - 5. Let l(z) = z + 1. Let u(b) = -6*l(b) - v(b). Is 3 a factor of u(-5)?
True
Suppose 0 = 4*u + 89 - 1. Is (u/6)/(4/(-12)) a multiple of 11?
True
Suppose f - 15 = -0*f - 5*a, -f + 5*a = 15. Suppose 2*q = -f*q. Suppose -y = -3*p - q*y + 27, 0 = -4*p - 3*y + 36. Does 8 divide p?
False
Suppose -3*o = 4*n + 8, 0 = -3*o - 2*o - 2*n - 4. Suppose o = 8*a - 4*a - 220. Suppose 2*b - 27 = -5*d, 3*b + 2*d - 2 = a. Is 21 a factor of b?
True
Suppose 3*f = 8*f - 3*p + 115, 20 = -4*p. Let t = f + 41. Suppose 33 + t = 2*a. Is a a multiple of 12?
True
Suppose -5*i - 5*y + 335 = 0, -2*i - y = 22 - 154. Is i a multiple of 13?
True
Let h = 4 - 6. Is 10*((-2 - h) + 2) a multiple of 16?
False
Let v = -20 + 22. Suppose -3*s + 79 + 48 = 4*c, -5*c + v*s = -153. Does 15 divide c?
False
Is 19 a factor of ((-58)/6)/(4/(-72))?
False
Let d(k) be the third derivative of 11*k**5/60 - k**3/6 + 4*k**2. Let u be d(-2). Suppose 5 = y, m + 0*m + 2*y = u. Is 11 a factor of m?
True
Let x = -5 + 7. Let j(s) = s + x*s + s - 4. Is 14 a factor of j(7)?
False
Suppose -p + 4*p = 2*c + 17, 4*c = 2*p - 22. Let i(b) = -2*b**p + 4*b**3 - b**3 + 2*b**2 - b. Does 5 divide i(2)?
False
Let p = -296 - -191. Let b = p + 193. Is 22 a factor of b?
True
Let f(i) = -8*i - 4. Is f(-4) a multiple of 14?
True
Let h be (-1 - 1 - 2)*3. Let c(u) = -9*u - 11. Let b(d) = -22*d - 28. Let x(a) = h*c(a) + 5*b(a). Does 2 divide x(-6)?
True
Suppose -3*k + 95 = 14. Is k a multiple of 8?
False
Is 3 a factor of 22/4 + (-12)/(-8)?
False
Let u = -30 - -43. Is 13 a factor of u?
True
Suppose 3*n + 30 = -2*n. Does 10 divide (30/8)/(n/(-32))?
True
Suppose -4*k = 5*a - 15 - 3, 8 = 3*k + a. Suppose 2*i + i - 12 = -k*y, 5*y - 25 = -5*i. Suppose 0 = -c - i*c + 147. Is 24 a factor of c?
False
Let d(j) = -2*j**2 + 3*j + 2*j**3 + 3*j**2 - 3 + 1. Let n be d(2). Suppose n + 12 = 4*r. Is 3 a factor of r?
True
Let f = -3 - -8. Suppose 2*i - 37 = -5*k + 15, f*i + 5 = k. Does 10 divide k?
True
Let y be (-15)/(2 - 4 - -3). Let u be 4/(-6) + 29/3. Let p = u - y. Is 7 a factor of p?
False
Let v = 4 - 3. Let u be v/4 + (-326)/(-8). Let m = 59 - u. Does 15 divide m?
False
Suppose 3*k = 228 + 69. Is k a multiple of 20?
False
Let z(f) = -f**3 + 4*f**2 + 4*f + 7. Let q be z(5). Suppose -3*y + 21 = -5*i, -3*y = -0*i + 4*i + 6. Suppose 2*r - 12 = y*v, v = r + q*v. Is 3 a factor of r?
True
Suppose -3*t - 141 = -3*k, 4*k - 145 = 3*t - 3. Let u be 6/(-8) - t/8. Let f = 10 - u. Is 2 a factor of f?
Fals