ppose -i + t = i. Is i a multiple of 3?
False
Suppose 0 = 3*l - 82 - 188. Let m = 8 + -2. Suppose m - l = -3*q. Is q a multiple of 14?
True
Let k(t) = t**2 + 5*t + 4. Does 14 divide k(-8)?
True
Let s(c) = -c**3 - 2*c**2 + 2*c - 6. Let a be s(-5). Does 15 divide 3/12 - a/(-4)?
True
Let v be (6/(-4))/((-3)/8). Suppose -4*x = -v*q + 16, -x - 8 + 2 = -2*q. Suppose 4*t - 2 = -g, -3*g = 3*t - q*t - 61. Does 22 divide g?
True
Suppose -5*a = -8*a + 9. Suppose 0*n + a*u - 57 = -3*n, 5*u + 13 = n. Does 9 divide n?
True
Suppose -x - x = -40. Does 6 divide x?
False
Let z(w) = 7*w**3 - 2*w**2 + 75. Let j(r) = 4*r**3 - r**2 + 37. Let s(g) = -5*j(g) + 3*z(g). Does 19 divide s(0)?
False
Suppose 0 = 2*r + 8, 0 = -5*h - 2*r - 2*r + 664. Is h a multiple of 17?
True
Let y(t) = -17*t + 1. Does 18 divide y(-1)?
True
Suppose 5*b = -0*b + 2080. Suppose 111 = -5*v + b. Is 16 a factor of v?
False
Suppose 9 = 3*z - 0*z. Suppose z*n - 4*g - 36 - 81 = 0, 2*n + g = 67. Is 19 a factor of n?
False
Let k(l) be the second derivative of -l**4/12 + 11*l**3/6 - 11*l**2/2 - 2*l. Suppose -20 = -2*g - 2*g + 4*j, -3*j + 1 = -g. Is 5 a factor of k(g)?
False
Let j be (-27)/6*(-6)/9. Suppose q + j = 13. Suppose -i + 28 = -q. Is i a multiple of 13?
False
Let q(w) = 2*w**2 + 5*w + 6. Suppose -24 = 3*z + 3*b, 3*z - b = -2*z - 22. Does 10 divide q(z)?
False
Let d be -23*2/(2*-1). Let p = d + -9. Suppose -5*b + 31 = -p. Is b a multiple of 6?
False
Suppose -b + 4 = -2*g - 3*b, -g = -b. Is 12 a factor of g - (-25)/2*2?
True
Let l = 14 + -9. Suppose v = -3*v - 3*q + 71, 0 = -v - l*q + 39. Is v a multiple of 14?
True
Suppose 2*y - 5*c = -y + 47, -86 = -4*y - 5*c. Is y a multiple of 19?
True
Let w = -11 + 44. Is 6 a factor of w?
False
Let i(r) = r**3 - 25*r**2 + 3*r - 3. Is 24 a factor of i(25)?
True
Let t(r) = r**3 - 3*r**2 + 3*r - 2. Let j be t(2). Suppose j*p + 5 = p. Suppose p*u + 2*s - 72 = u, 104 = 5*u - s. Is u a multiple of 11?
False
Let p(z) = 0*z**2 - 10*z + 7*z + z**2. Is p(5) a multiple of 5?
True
Let o = 24 + -14. Let z be (-24)/(-20)*o/3. Suppose -q + 16 = -0*q - a, 0 = -a + z. Is 10 a factor of q?
True
Let h be (-11)/88 - 846/16. Let k = -31 - h. Is k a multiple of 11?
True
Suppose 0 + 6 = -2*j. Let v be j - -1 - -4 - -2. Suppose 0 = -5*r - v*c + 20, -4 = -r + c + c. Does 3 divide r?
False
Suppose -4*w = -5*n + 171 + 325, w + 196 = 2*n. Does 32 divide n?
True
Suppose -5*b = 4*q - 40, -2*b + 2 = -q - 1. Suppose 0 = -0*x + b*x + 12. Does 4 divide 1/x + (-26)/(-6)?
True
Let w = 5 + -3. Let h be (2 - w)/(-1 + 3). Suppose 4*y = 5*b - h*b + 43, 3*y - 2*b = 34. Does 12 divide y?
True
Let r(q) = 3*q - 2. Let h be r(4). Let m be (-4)/h - 44/(-10). Suppose -5*a + m*a = -14. Is 7 a factor of a?
True
Suppose 0*b - 1 = -b. Let z = b - -1. Is 1/(((-2)/z)/(-27)) a multiple of 23?
False
Suppose 0 = -3*j + 3 - 27. Let b(p) = p**2 + 8*p + 5. Let v be b(j). Suppose 2*d + v*f = -d - 2, 0 = 5*d - 5*f - 50. Does 6 divide d?
True
Suppose -4*k + 60 = -k. Let z(t) = 2*t + 8. Let b be z(-6). Is (-70)/b*16/k a multiple of 10?
False
Let u be ((-15)/10)/(3/(-4)). Suppose -5*w - 2*z + 379 = -3*z, 2*z + 158 = u*w. Does 23 divide w?
False
Let q(r) = 3*r**2 + 3*r - 2. Let m be q(-3). Suppose t + m = 5*t. Is t a multiple of 3?
False
Let q = -1 - -3. Suppose q*z + 258 = -4*d, -5*z - 356 - 314 = 5*d. Let b = z - -206. Is 25 a factor of b?
False
Let t(k) = k**2 + 4*k - 3*k**2 - 5 + 2*k + k**2. Let a be t(6). Is 24 a factor of (2/a)/(4/(-480))?
True
Suppose 2*f + 4 = 4*f. Suppose 0*k + 48 = 3*t - f*k, 0 = t + 2*k - 8. Is 14 a factor of t?
True
Let z(t) = -t**2 - 2*t - 1. Let j be z(-1). Suppose j*c + 12 = c. Does 3 divide ((-3)/(-6))/(2/c)?
True
Let o(a) = 6*a**2 - 2*a + 1. Let y be o(1). Suppose y = 3*j - 1. Suppose 0 = 2*u - 12 - j. Does 5 divide u?
False
Let k(c) = -c**2 - 3*c + 3. Let j be k(-3). Suppose b + 170 = j*b. Is 19 a factor of b?
False
Suppose 4*w = 5*k - 205, -2*k - 3*w = 2*w - 115. Does 15 divide k?
True
Suppose -66 = -l - 3*p, 5*l = -4*p + 269 + 39. Does 15 divide l?
True
Suppose -4*l - 216 - 838 = -5*p, 3*l + 1053 = 5*p. Does 30 divide p?
True
Let y = 20 + -14. Suppose 2*m - y = -m. Suppose -m*x = -2*p - 8, 5*x + 0*p = -3*p + 36. Does 3 divide x?
True
Let z(s) = 12*s**3 + 2*s**2 + 2*s + 2. Is 35 a factor of z(3)?
True
Let f be 7/14*(0 + 6). Let j(k) = -2 + 2*k**2 + f*k + 0*k - 2 + k. Is j(-6) a multiple of 16?
False
Suppose -2*u + 10 = 4*y, -7*y + 2*y + 10 = 5*u. Suppose -p = 2*d - 17, d + d = -y*p + 51. Let w = p + -5. Is 12 a factor of w?
True
Is (7 + 3/(-1))*12 a multiple of 10?
False
Let s(r) = -r**2 + 18*r - 13. Suppose -2*p = l - 8 - 8, -2*p = -l + 8. Is 13 a factor of s(l)?
False
Suppose 4*a - 9 = -2*i + 21, 4*i = -2*a + 48. Is 6 a factor of i?
False
Let w = 217 + -109. Is 18 a factor of w?
True
Let u(x) = -x**3 + 4*x**2 + 8*x + 3. Let h be u(7). Let t = 166 + h. Suppose 4*l - t - 26 = 0. Is 16 a factor of l?
False
Let c = -127 - -187. Suppose 0 = 5*p - 0*p - c. Is 12 a factor of p?
True
Suppose 2*y - 3 = y. Suppose -5 = -y*r - k, 7 = r + 3*k - 0. Is 3 a factor of 5 + 3 + -2 + r?
False
Let b(g) = g**2 - 7*g - 3. Let m be b(7). Let t(r) = -1 - r**2 + 0 + 2*r**2. Does 7 divide t(m)?
False
Let s(t) be the third derivative of 17*t**7/1680 - t**6/720 + t**5/60 - t**2. Let x(b) be the third derivative of s(b). Is 17 a factor of x(1)?
False
Let z(d) = -d**3 - 6*d**2 - 7*d - 6. Let j be z(-5). Let t(n) = n + 3. Does 2 divide t(j)?
False
Suppose 4*r = -2*g + 106, -6*r + g = -3*r - 87. Suppose -2*o = 2*o - r. Is 2 a factor of o?
False
Let o be (4/(-3))/((-1)/(-3)). Let j(h) = h**3 - h**2 + h + 1. Let m(q) = -6*q**3 + 3*q**2 - 2*q - 6. Let k(x) = 5*j(x) + m(x). Is 15 a factor of k(o)?
False
Let x be -6*36/(1 - 4). Suppose -x = p - 4*p. Let i = -15 + p. Does 7 divide i?
False
Let r(u) be the first derivative of -u**2 - 10*u - 11. Let d = -24 + 14. Is r(d) a multiple of 10?
True
Suppose 5*l - 77 = 53. Is l a multiple of 2?
True
Suppose 0 = 5*o + 3*g + 77, -g = -5*o - 0*g - 81. Let m = -26 - o. Does 13 divide m*(-3 + 2/4)?
False
Let z(c) = c**3 - 4*c**2 - 9*c + 2. Let b(w) = -3*w - w**2 - 1 + 4 - 2. Let r(m) = -7*b(m) + 2*z(m). Is 8 a factor of r(2)?
False
Is 8 a factor of (-1)/(-1) - (-140 - -11)?
False
Let v be -4*2*(-9)/12. Let k be v*1 + -2 + -1. Let w = k + 2. Is w a multiple of 5?
True
Let x(t) = -2*t**2 - 17*t - 9. Let d(h) = -h**2 - 9*h - 5. Let a(f) = 11*d(f) - 6*x(f). Suppose 0 = 2*u - 5*u + 12. Is a(u) a multiple of 12?
False
Suppose -2*v = 3*i - 0*i - 29, 7 = v + 3*i. Is 22 a factor of v?
True
Suppose -10*r + 6*r + 8 = 0. Suppose -4*h - r*k + 12 = -16, -17 = -h + 2*k. Does 3 divide h?
True
Suppose -m + 4 + 5 = 2*k, -3*k + 5*m - 6 = 0. Suppose -k*v + 10 = -29. Is 5 a factor of v?
False
Let u(z) = -3*z**3 - 4*z**2 - z - 3. Let q be u(-3). Suppose -k = 3*k - y - 70, 0 = -3*k - 3*y + q. Does 9 divide k?
False
Let a = -83 + 206. Is 41 a factor of a?
True
Is 0 + (-63)/(-3) + 1 a multiple of 6?
False
Let x be (4/14)/(1/7). Suppose -u + 4*o = -6, o - 5 = -4*u - x*o. Suppose 16 - u = z. Is z a multiple of 7?
True
Suppose -11 = 5*o - 71. Is o a multiple of 4?
True
Suppose 218 = 4*g - 406. Does 19 divide g?
False
Let f(z) = -3*z - 4. Is f(-10) a multiple of 9?
False
Let h be (1 - 46) + 3/(-3). Let i(w) = 4*w + 2. Let o be i(-4). Let d = o - h. Is 15 a factor of d?
False
Suppose 0 = -f - 4*i - 22, -3*i = f + 2*i + 24. Let x = f - -25. Is 3 a factor of x?
False
Is 34 a factor of 61 + (-6)/(-4)*-2?
False
Suppose r = -0*r + 4. Suppose r*l = 44 + 12. Let c = 23 - l. Does 9 divide c?
True
Suppose 2*y + u - 21 = -y, -5*u = 2*y - 1. Suppose -3*a - 140 = -y*a. Is 8 a factor of a?
False
Let o(p) = p**3 + 2*p**2 + 3. Is 18 a factor of o(4)?
False
Suppose 5*l + 3 = 13. Does 22 divide ((-66)/1)/((-3)/l)?
True
Let q(i) = -i + 8. Is 7 a factor of q(-13)?
True
Is 4 a factor of 2/((3/2)/3)?
True
Suppose 0 = -4*i + 634 + 358. Suppose 5*s = 3*c - i, 2*c - 169 = -5*s + 38. Does 16 divide c?
False
Let b = 2 - 12. Is 9 a factor of b/(-45) + (-320)/(-18)?
True
Let b be 0 + 3/(-6)*-10. Let p be (6/b)/(2/5). Suppose -p = k - 2*k. Is k a multiple of 3?
True
Let p be (2 + -1 - 0) + 9. Let u(a) = a**2 - 6*a - 11. Is u(p) a multiple of 8?
False
Suppose -x + 3 = -4. Suppose -m - 2*m - 2*f = 0, -15 = -3*m + 3*f. Suppose 2*u = x*b - 