 - g. Suppose p - 80 = -2*q. Does 14 divide q?
True
Let h = 14 - 10. Suppose 65 = 4*w + 5*g, -h*g - g - 10 = -w. Is w a multiple of 15?
True
Let p(u) = -u**3 + 6*u**2 + 6*u + 9. Let d be p(7). Suppose -5*l = -d*m + 17, -4*m = -2*l - l - 13. Is 3 a factor of -4 + 3 + 8/m?
False
Let g = -14 + 20. Suppose -11*n = -12*n + g. Is n even?
True
Let z(y) = y**3 - y**2 - y - 4. Let g(v) be the third derivative of -v**6/120 + v**5/30 + v**3/2 - 3*v**2. Let t(f) = 4*g(f) + 3*z(f). Is t(4) a multiple of 2?
True
Suppose 7 = 3*k - 8. Suppose 2*q + 2*r = r - 3, 5*q - k*r = 0. Let d = 31 + q. Is 10 a factor of d?
True
Suppose -6 = 3*m + f, -2*m - f - 11 = 2*f. Let t(l) = 5*l**2 + l + 2. Is t(m) a multiple of 4?
False
Let m = 2 - -1. Suppose 0 = t - 3*t + 4, -m*r = 3*t - 51. Let k = r - 10. Does 3 divide k?
False
Let z(y) = -y**3 - 3*y**2 + y + 15. Is 32 a factor of z(-7)?
False
Suppose -4*v + 175 = -329. Is 25 a factor of v?
False
Suppose 15 = 3*s + 2*s. Suppose 37 = 4*m - g, -5*m + 2*m - s*g = -39. Let v = m - -5. Is 7 a factor of v?
False
Let a = 30 - 58. Let k = a - -44. Does 9 divide k?
False
Suppose -5*b + 3*u + 108 = -4*b, -3*u - 387 = -4*b. Is b a multiple of 20?
False
Let i = 7 + -6. Let n(d) = i + 1 - 1 + 16*d. Does 26 divide n(2)?
False
Suppose -18 = g - 50. Is g a multiple of 16?
True
Let c(q) = q - 6. Let w be c(6). Suppose n + 0*b - 144 = b, -2*n - 5*b + 253 = w. Suppose -n = 5*m - 454. Is 17 a factor of m?
False
Suppose -44 - 68 = -7*r. Is r a multiple of 3?
False
Suppose -3*v + 6 + 36 = 5*z, -4*z = 0. Is 14 a factor of v?
True
Suppose 5*o - 9 = 6. Suppose p - 3*a - 51 = -o*p, -a = 4*p - 47. Is p a multiple of 12?
True
Let j(v) = 5*v - 4. Is 19 a factor of j(6)?
False
Suppose 2*j + 36 = 5*j. Suppose -x = -2*x + j. Suppose -l = l - x. Is 3 a factor of l?
True
Suppose 0 = -16*t + 18*t. Suppose -5 = -f + 4*r, t = -2*f + 7*f + 3*r - 94. Is f a multiple of 4?
False
Let z = 19 - 1. Is 7 a factor of z?
False
Let r(a) = 2*a**2 + 6*a - 55. Does 17 divide r(-10)?
True
Let r = 1 + 18. Suppose 2*u + 21 = 3*f, 5 = -2*f + u + r. Suppose 4*d - 42 = -2*t, -2*t - f*d = -2*d - 41. Is t a multiple of 8?
False
Suppose -2*y = 3*s - 136, -2*s + 0*y - 3*y + 84 = 0. Is 12 a factor of s?
True
Let b = -8 - -24. Is 4 a factor of b?
True
Let r(g) be the second derivative of -11*g**3/6 + g**2/2 + g. Is r(-6) a multiple of 27?
False
Let m = 4 - -5. Does 3 divide m?
True
Suppose -132 = -2*y - 2*l, y + 3*l - 3 = 57. Is 12 a factor of y?
False
Let o = -19 + 13. Is 2 a factor of 0 + 4/(-2) - o?
True
Let h(x) = x**3 - 5*x**2 - 7*x + 9. Let j be h(6). Suppose -j*t = -8*t - 310. Let s = 96 + t. Does 17 divide s?
True
Let o = -4 - -6. Suppose 3*w - 3*q - 51 = 0, o*w - 68 = -2*w - 4*q. Does 7 divide w?
False
Let u(n) be the second derivative of n**3/3 + 5*n**2/2 + 3*n. Does 6 divide u(4)?
False
Let u = -15 - -99. Is 21 a factor of u?
True
Suppose -1 = c - 2*f, 3*c - 1 = -0*f + 4*f. Let a = 0 + c. Let q = 12 + a. Does 15 divide q?
True
Suppose 3*n - 6*n = -270. Suppose -4*k - i - 4*i + 72 = 0, -5*k + 4*i = -n. Is k a multiple of 4?
False
Let a = -37 + 50. Is 4 a factor of a?
False
Suppose 0 = 2*g - 6, 5*g - g - 12 = -3*f. Suppose 3*s = -5*j + 161, 2*s = -f*s - 6. Suppose 0 = 4*o - j + 2. Does 4 divide o?
True
Let b be (-4)/(-3)*9/(-2). Let x(m) = -3*m - 13. Is 3 a factor of x(b)?
False
Let o(r) = 16*r**3 - 2*r**2 - 2*r + 5. Does 11 divide o(2)?
True
Suppose -h = -6*h - 10. Let k be 63/28 - (-2)/(-8). Is k/1*(-5)/h a multiple of 5?
True
Suppose 4*m - 11 = 5. Let w be (2/(-2)*m)/1. Let b(p) = -8*p - 2. Is b(w) a multiple of 15?
True
Is 51 a factor of (-12)/5*(-675)/10?
False
Let y be (-3)/((-1)/2 - 1). Is 4 - (y + -7 + 3) a multiple of 5?
False
Does 10 divide 54/(-2 + 4) + 3?
True
Suppose -4*z + 60 = 4*f, 41 = 2*f + 4*z + 13. Suppose -f = -5*n - 6. Does 2 divide n?
True
Let o = 3 + -7. Suppose 0 = n + 2*m - 125, 4*n = 5*m + 431 + 4. Is (n - -1)*o/(-16) a multiple of 11?
False
Is 624/21 - (-2)/7 a multiple of 15?
True
Suppose -3*i = u - 40, -80 = 3*u - 5*u + 3*i. Let k = -1 - -5. Suppose 8*j = k*j + u. Does 4 divide j?
False
Let a be 3/(3 + (-9)/4). Suppose -a*j + 54 = -j. Does 9 divide j?
True
Let m(o) = 5*o - 7. Let u be m(8). Suppose -4*c + u = -167. Is c a multiple of 14?
False
Let k(x) = x**3 - 4*x**2 + 4*x + 6. Is 11 a factor of k(5)?
False
Let a = -30 - -36. Does 2 divide a?
True
Suppose o - 5*o + 180 = 0. Suppose -2*w - 5*s - 4 = -1, -5*w - 2*s + o = 0. Is 4 a factor of w?
False
Let m be (6/3)/(2*-1). Is (-21)/(-1) - (m - 1) a multiple of 8?
False
Let w(k) = k**2 - 6*k - 13. Let y(n) = 9*n**3. Let m be y(1). Does 14 divide w(m)?
True
Suppose -10 = -4*h - 2. Suppose -2*w - 2*s + 8 = -6*s, -h*w + 3*s = -9. Does 3 divide w?
True
Let v be 0/((-2)/(-2 - -1)). Suppose 2*w = -3*m - 16, m = 2*w + 3*m + 16. Let c = v - w. Is 4 a factor of c?
True
Does 7 divide 0 + 17 - (-8)/2?
True
Let v be 3*4/18*3. Suppose -4*y = -v*j - 20, 2 + 30 = -4*j + 4*y. Let h = 8 + j. Is 2 a factor of h?
True
Let g = 7 - 4. Is g a multiple of 3?
True
Let v be ((-33)/6)/((-5)/180). Suppose -2*q + v = q. Is q a multiple of 14?
False
Suppose -p - 6 = 5*l + 12, l = 4. Let t = p + 18. Let b = t - -42. Does 8 divide b?
False
Let i(w) = -3*w**3 + 2*w**2. Let r be i(-2). Let l = 48 + r. Let j = l + -52. Does 10 divide j?
False
Suppose 0 = 4*j - 2*j + 46. Let a = j - -41. Is a a multiple of 13?
False
Suppose 0*n - 4*n - 2*q + 172 = 0, 0 = n + 2*q - 40. Does 10 divide n?
False
Suppose 0 = -3*o - g + 4*g - 177, -o = -2*g + 58. Does 3 divide o/(-6) - (1 + 0)?
True
Let c(j) = -3 - 4 - 2 - 2*j + 13. Does 5 divide c(-8)?
True
Let d = -3 + 6. Let s = -1 + d. Suppose -3*u + 4*a + 12 = 0, 3*u = -0*u + s*a + 18. Does 3 divide u?
False
Let f(c) = 4*c**2 - 6*c + 2. Is f(-7) a multiple of 20?
True
Let a = 82 + -33. Does 7 divide a?
True
Let d(q) = 2*q - 23. Let a(f) = -f + 12. Let o(i) = 5*a(i) + 2*d(i). Let r be 1 + -8*(-2 - -1). Does 2 divide o(r)?
False
Let t(z) = 82*z - 1. Let i be 1*3/(-3) + 2. Let r be t(i). Suppose -5*o = -r + 21. Does 6 divide o?
True
Suppose 3*u + 112 = -2*o - 0*o, 4*u + 5*o + 140 = 0. Let r = u - -56. Is 15 a factor of r?
False
Suppose 3*j - i = 160, 3*j = -3*i + 276 - 96. Is j a multiple of 19?
False
Let x = 7 + -4. Suppose x*z = -3*p + 108, -z + 24 = -3*p + 7*p. Suppose -7*q + 2*q = 3*f - z, 0 = q + 4*f - 8. Is 3 a factor of q?
False
Suppose l = 2*c - 0*l - 65, -5*l = 5*c - 200. Suppose 5*y - 20 = c. Does 9 divide y?
False
Let b(o) = -o**2 + 5*o + 4. Let p be b(7). Let g be ((-32)/p)/(1/5). Suppose i - g = -i. Is i a multiple of 4?
True
Let c(v) = v**2 - v. Let u be c(0). Let l(x) = -4*x + x + u*x. Does 6 divide l(-3)?
False
Suppose -19 = -2*f + 7. Does 10 divide (1/(-2))/(f/(-1040))?
True
Let u be (-6)/21 + 2/7. Suppose u = 2*d - 2*o - 10, -4*o - 25 = -5*d - 2. Suppose -24 = -y - d*y. Is 5 a factor of y?
False
Let l be (-3 - 7)*3/(-5). Suppose 3*c - l*q = -3*q + 15, 2*q = 5*c - 22. Does 2 divide c?
True
Let i be 4/(-8)*(1 + -1). Suppose -3*p + 21 = -b, i*b - b - 27 = -5*p. Is 2 a factor of (4/3)/(b/(-18))?
True
Suppose -h + 0 = 5. Let l(z) = -2 - z + 0 - z. Does 4 divide l(h)?
True
Is (-346)/(-6) + (-20)/30 a multiple of 19?
True
Let y(t) = -4*t + 14. Is 15 a factor of y(-3)?
False
Suppose m = -2*m + 6. Suppose -m*z = -4*z - 8. Does 3 divide (10/z)/(1/(-2))?
False
Suppose -4*p = 4*z + 8, -2*p + 2 + 0 = -z. Let j(d) = -d**2 + 7*d + 6. Let v be j(5). Suppose 4*g - g - 32 = -q, p = -g - 3*q + v. Is 5 a factor of g?
True
Let i(b) = 48*b + 1. Let d be i(-2). Let t = d + 160. Does 20 divide t?
False
Let x(g) = -g**3 + 11*g**2 - 10*g + 5. Let m be x(10). Suppose -34 = -3*d - 3*y + 2*y, 5*y + 70 = m*d. Is 12 a factor of d?
True
Let k(c) = c + 7. Let b be k(-5). Is 198/7 + b/(-7) a multiple of 14?
True
Suppose 0 = -38*u + 41*u - 228. Is 19 a factor of u?
True
Suppose w = -4*w - 15. Let f(s) = -4*s - 2. Let i be f(w). Let h = i - -2. Is 5 a factor of h?
False
Let q = -1 + 11. Is 4 a factor of q?
False
Let a(c) = 3*c**3 - 4*c**2 - 7*c + 8. Is a(4) a multiple of 14?
False
Suppose -58 = 3*b + r, b - 4*b + r = 50. Is 24 a factor of (-1)/(-6) - 843/b?
False
Let b(g) = 7*g + 3. Is 18 a factor of b(5)?
False
Let k(l) = -5*l - 4. Does 4 divide k(-4)?
True
Suppose -2*d + 12 + 0 = 0. Is 4 a factor of d?
False
Let g(x) b