be p(-5). Is q(s) a multiple of 17?
False
Suppose 4*y + 84 = -8. Suppose 0*i + i - 77 = 0. Let q = y + i. Is 20 a factor of q?
False
Let n = 4 - 7. Let g = n + 9. Let r = g + -1. Does 2 divide r?
False
Let s be (0 + (-61)/(-2))*-16. Let z = s - 108. Is 19 a factor of 6/8 - z/16?
True
Does 18 divide (4/3)/2 + 208/12?
True
Suppose 3*l - 155 = -2*l. Let o = 40 + 20. Let g = o - l. Is 11 a factor of g?
False
Suppose 84 - 1162 = -11*n. Is 7 a factor of n?
True
Suppose -10*q = -11*q + 38. Is 4 a factor of q?
False
Let u = 4 - -5. Let v = u - 21. Does 17 divide (-80)/(-3)*v/(-10)?
False
Let a(r) = 5*r + 6. Let w be a(-4). Let g = -10 - w. Suppose 4*s - 110 = 2*n, g*n = s - 14 - 10. Is 19 a factor of s?
False
Let v = 12 - 9. Suppose -x + 4*h = 2, -46 = -4*x + v*h - 5*h. Is x a multiple of 5?
True
Suppose -814 - 203 = -9*x. Is x a multiple of 29?
False
Let n = -13 + 17. Suppose 0 = -a + 2. Suppose -10 = -n*i + a. Does 3 divide i?
True
Does 20 divide (-843)/(-21) + 1/(-7)?
True
Let s(p) = -p**3 + 9*p**2 - 8*p + 9. Let y(g) = g**2 - 10*g + 8. Suppose -10 - 20 = -3*v. Let f be y(v). Does 9 divide s(f)?
True
Let k = 108 - 73. Let b be (3 - (-17)/(-4))*-4. Suppose 2*v + u = 20, -b*u - k = -5*v - 0*u. Is v a multiple of 7?
False
Let z = -14 + 59. Is 3 a factor of z?
True
Let h(z) = 9*z**3 + z**2. Let x(p) = p**2 - 5*p + 5. Let f be x(4). Is h(f) a multiple of 5?
True
Does 12 divide (4/(-3))/(8/(-456))?
False
Let u(m) = -m**3 + 11*m**2 + m + 4. Let t be u(5). Let y = -110 + t. Does 16 divide y?
False
Suppose j + 8 = 2*j. Does 2 divide j?
True
Let i = -4 - -11. Suppose -i*l + 4*l + 45 = 0. Suppose l = 5*c - 30. Is 9 a factor of c?
True
Suppose -2*p - 5*t + 137 = 0, -2*p = -0*p + t - 125. Is p a multiple of 39?
False
Is 12 a factor of (1*(-3)/(-2))/(18/1164)?
False
Let a = -86 - -230. Is a a multiple of 16?
True
Let c = 71 + -48. Is c a multiple of 4?
False
Let k = 216 - 135. Is 18 a factor of k?
False
Let f be (8 - 4)/(1 + 1). Suppose 4*a + 0*x - 62 = -f*x, -4*x = 4*a - 72. Is a a multiple of 13?
True
Suppose s = -4*d + 28, -3*s + 30 + 22 = -4*d. Does 10 divide s?
True
Let z(q) = 37*q**3 + 2*q - 1. Does 19 divide z(1)?
True
Let p be 2 + 3 + -1*2. Suppose -5*b - 157 = -4*o, 3*b + 2*b = -p*o + 109. Does 19 divide o?
True
Let b(q) = 3*q - 19. Is 17 a factor of b(16)?
False
Suppose -46 = -2*r - 3*t, 2*r - 7*t - 14 = -2*t. Is r a multiple of 8?
False
Let d(k) = -k**3 - 8*k**2 - 5*k - 9. Let y be -4*(-2)/8*-7. Let u be d(y). Let o = u - -33. Is o a multiple of 4?
False
Suppose -1950 = 3*v - 13*v. Does 13 divide v?
True
Suppose 0 = 4*b - 11 - 5. Suppose -b*k = -0*k - 276. Is 17 a factor of k/2 + 3/(-6)?
True
Let b(x) = -x + 24. Is b(-12) a multiple of 18?
True
Suppose 2*o - o = 284. Is 16/(-56) - o/(-14) a multiple of 10?
True
Let y(c) = -15*c - 2. Let f = -4 + 2. Is y(f) a multiple of 14?
True
Let g be (-2)/(-2) - (-4 - -1). Let c(n) be the third derivative of n**6/120 - n**5/20 - n**4/24 - n**3/6 - 8*n**2. Does 11 divide c(g)?
True
Let o(g) = -g + 8. Let f(y) = -y + 8. Let i(l) = 4*f(l) - 5*o(l). Let d be i(8). Suppose -5*s + d = 3*n - 31, -28 = -4*s - 4*n. Does 5 divide s?
True
Let p(h) be the first derivative of h**4/4 - 2*h**3/3 + 3*h**2/2 - h + 1. Is p(2) a multiple of 3?
False
Suppose 0 = 4*p - r + 4*r - 14, -2 = 2*p - 3*r. Let k = 3 - p. Is k/2*3*8 a multiple of 6?
True
Let h(j) = -2*j - 4 - 5*j**2 + 2*j - 3*j + 9*j**2. Is 22 a factor of h(4)?
False
Suppose -4*k - 5*m = -2*m - 7, 4*m - 8 = -5*k. Let z be 2/8 + 91/4. Suppose p - 9 = -4*g, p - g - z = -k. Is p a multiple of 17?
True
Is 25 a factor of 4/(1 + 140/(-148))?
False
Let b(s) = -41*s**3 - s**2 + s. Let t be b(1). Let u = t + 61. Is u a multiple of 15?
False
Let y(v) = 8*v**2 + v + 1. Let f be y(-1). Is 6 a factor of 2/8 - (-118)/f?
False
Let h(p) = -p**3 + 15*p**2 + 6*p - 31. Is h(15) a multiple of 6?
False
Suppose -2*t + 113 = 33. Does 5 divide t?
True
Suppose 4*o - 32 = 2*p, -p + 2*p = -3*o + 14. Suppose 2*x = o + 8. Is x a multiple of 3?
False
Suppose 50 = y - 3*t, 3 = t + 6. Let u = -16 + y. Is 11 a factor of u?
False
Let m = 35 - 5. Is m a multiple of 10?
True
Let i = 14 + -11. Is 14 a factor of (i - (0 + 1)) + 26?
True
Suppose -3*d = 2*d - 20, 4*s + 4 = 4*d. Let t(f) = 3*f - 1 + s*f + 3*f. Is t(2) a multiple of 17?
True
Let a(x) = 3 - 2 + 4*x**2 + 28*x**2. Is 11 a factor of a(1)?
True
Suppose 79 + 245 = 9*v. Is v a multiple of 6?
True
Let j = -11 + 15. Suppose 0 = 2*i - 4*i - 3*f + 25, -f = -4*i + 15. Suppose i*z + 10 = 0, -2*m - 3*z + j = -m. Is m a multiple of 5?
True
Let p = 11 - 1. Suppose 4*n + 6 = -p. Is 10*(6/n)/(-3) a multiple of 5?
True
Is 4 a factor of -4*2*(3 - 4)?
True
Let t = 56 - 34. Is t a multiple of 7?
False
Suppose -m - 4*t + 356 = 0, -2*m = 3*m - 4*t - 1828. Does 14 divide m?
True
Let p(v) be the third derivative of 1/60*v**5 - 1/12*v**4 + 1/3*v**3 + 0*v + 0 + v**2. Is 2 a factor of p(3)?
False
Let t = -49 + 145. Does 24 divide t?
True
Suppose 2*t - 162 = -t. Is 16 a factor of t?
False
Let o(h) = h**3 - 7*h**2 - 7*h + 17. Is 29 a factor of o(9)?
True
Let z(p) = p**3 - 5*p**2 - 5*p + 9. Suppose 4*b = t + t - 28, -2*t = -5*b - 32. Is 15 a factor of z(t)?
True
Let j be ((-4)/(-12))/(1/6). Suppose -h - 5*i = -30, -92 = -2*h - j*i - 0*i. Does 20 divide h?
False
Let v(m) = -9*m + 4. Let i be v(4). Let k = i + 56. Is k a multiple of 12?
True
Suppose 2*t - t = 142. Is 36 a factor of t?
False
Let s(m) = -3 + 3 - 5 - 5 + 4*m. Let z be s(7). Suppose -2*w + 102 - z = 0. Is w a multiple of 19?
False
Suppose 3*o - 4*o + 63 = 0. Let r be ((-2)/3)/((-6)/o). Suppose -y + r = -1. Is 5 a factor of y?
False
Does 39 divide (-2 + 5 - 229)/(1 + -2)?
False
Let c(x) be the first derivative of x**3 - x**2 - x - 1. Let l = 3 + 0. Does 10 divide c(l)?
True
Let f(x) = -x**3 + 12*x**2 + 14*x + 33. Is f(13) a multiple of 3?
False
Is (1/1 - -18) + 1 a multiple of 5?
True
Suppose f - 190 = 2*d, 0 = -3*f - 2*d + 46 + 532. Suppose -4*v + 32 = -f. Let a = -28 + v. Is 14 a factor of a?
True
Let n be 33/7 - (-4)/14. Suppose -3*i - 2*t = -20, -n*i = 2*t + 2*t - 36. Suppose -5*q = 4*v - 2*q - 26, -v + i*q + 16 = 0. Is 4 a factor of v?
True
Suppose -4*q = 4 - 20. Suppose -8 = -2*g - 2*t, g = q*g + 4*t - 13. Suppose 3*i - 15 = g. Is 3 a factor of i?
True
Is 15 a factor of (3/(-6))/(4/(-480))?
True
Let h be (-1 + 0)*(-2 - 1). Does 7 divide 12*2 - (h - 0)?
True
Is 5 a factor of (((-34)/3)/(-1))/(10/15)?
False
Suppose -2*q + 0*q - 2*a + 66 = 0, 4*q + 3*a = 131. Does 32 divide q?
True
Suppose -3*l - 5*r = -599, -2*l - 1065 = -7*l + 5*r. Is l a multiple of 36?
False
Let j = 11 + -2. Suppose -4*w = x - j*w, 0 = 4*w - 16. Does 20 divide x?
True
Suppose 3*t = 53 + 79. Does 35 divide t?
False
Let k(z) = z**3 - 6*z**2 + 7*z - 7. Let q be (-3)/(36/15)*-4. Is k(q) a multiple of 2?
False
Let y = 163 - 81. Is y a multiple of 7?
False
Suppose 0 = -5*r, -4*n - 2*r + 6*r = -400. Is n a multiple of 17?
False
Let a(o) = o**3 - 8*o**2 + 11*o - 9. Does 14 divide a(7)?
False
Let k(n) = n + 6. Let x be k(15). Suppose -x = -5*y - 1. Is y even?
True
Let b(w) = w**3 + 10*w**2 + 9*w + 3. Let f be b(-9). Suppose -6 = 3*t + 3. Does 9 divide f - (t + -3)*4?
True
Let i(j) = 19*j**2 + j + 1. Let h(y) = -y**2 - 8*y - 3. Let l be h(-7). Let d = -5 + l. Is 19 a factor of i(d)?
True
Let d = 7 + -1. Let n = d - -7. Is n a multiple of 10?
False
Suppose 103 = 3*j - 254. Is j a multiple of 11?
False
Suppose 5*h - 2 = i - 5*i, -3*h + 10 = -2*i. Let m be -2*-3*i/(-3). Suppose -m*q = -9*q + 15. Is q a multiple of 3?
True
Suppose 0 = 4*w + 5 + 7. Let z = w + 4. Let f(c) = 19*c**2 + 1. Does 20 divide f(z)?
True
Let b(j) = -3*j**3 + 23*j**2 - 15*j + 1. Let t(c) = c**3 - 8*c**2 + 5*c. Let i(z) = -3*b(z) - 8*t(z). Let d be i(3). Is 16 a factor of ((-4)/d)/((-8)/(-372))?
False
Let b = 3 - 3. Suppose b = 4*x + 4, 2*x + 0*x + 82 = 5*p. Does 16 divide p?
True
Let b(a) = 85*a**3 - 2*a**2 + 3*a - 2. Does 12 divide b(1)?
True
Let d = 4 + -1. Suppose d*r - 3*j - 12 = 0, 2*r - 3*j + 5 - 12 = 0. Is 5 a factor of r?
True
Let w = -52 + 105. Is 19 a factor of w?
False
Let p(b) = -2*b. Let l(f) = -2*f - 1. Let a(z) = 2*l(z) - p(z). Let m be a(-2). Suppose 40 = 4*g + m*c, -4*g = -2*c + 5*c - 40. Is 5 a factor of g?
True
Let b(a) = 56*a - 2. Suppose 7*n - n - 6 = 0. Is 27 a fa