e p + 2 - 1 = -q, 5*q = 10. Is (0 + -3)/p*5 a multiple of 4?
False
Suppose 22*x = 24*x - 290. Is 29 a factor of x?
True
Let b(v) be the second derivative of 3*v**5/20 - v**4/12 + v**3/6 - v**2 + v. Let o be b(-2). Let n = o + 62. Is n a multiple of 12?
False
Suppose -3*x + 15 = -8*x. Let l(q) = 3*q**2 + 3*q. Is 9 a factor of l(x)?
True
Let f = -8 - -11. Suppose f = -0*o + o. Is 12*((-40)/o)/(-5) a multiple of 9?
False
Let a(i) = -2*i**2 + 4*i**2 + 5 - 3*i**2 + 7*i - i**3 - i**2. Is a(-4) a multiple of 2?
False
Suppose 35*v = 31*v + 744. Does 31 divide v?
True
Suppose -u + l = -68, -2*l = -u - 4*u + 325. Is u a multiple of 21?
True
Suppose 3*u - 45 - 117 = 0. Suppose b - 5*t - 18 = 0, 4*b - 3*t - u = 1. Is b a multiple of 10?
False
Let a = -50 + 103. Suppose -2*c = -31 - a. Does 12 divide c?
False
Let m(f) = 2*f + 40. Is 4 a factor of m(0)?
True
Let x(o) = -2*o - 6. Let y be x(-4). Suppose -9*z = -2*z - 21. Suppose 5*m + i = -4*i + 55, y*m - z*i - 42 = 0. Is m a multiple of 10?
False
Let l = -150 + 190. Does 18 divide l?
False
Let n(s) = 3*s + 16. Let v(h) = 2*h + 16. Let f(q) = -3*n(q) + 2*v(q). Is 13 a factor of f(-11)?
True
Let c = -1 + 3. Let b(l) be the third derivative of 2*l**5/15 - l**3/6 + 17*l**2. Is b(c) a multiple of 21?
False
Let k = -4 + 6. Does 9 divide k*3/(-12)*-26?
False
Suppose 3*q - 2*l = -178, -q - l - 31 = 20. Let j be 2 - q - (-2 + 1). Suppose 0 = -t - 2*n + 26, 4*t = n - 0*n + j. Is 8 a factor of t?
True
Suppose -3*t = -t - 192. Does 12 divide t?
True
Let y(r) = -3*r**2 + r - 2. Let p be y(8). Does 13 divide p/(-14) + 8/(-28)?
True
Let f be (-6 + 4)/(1*2). Suppose p = 2*v + 2*p + 9, -5*v + 2*p = 9. Let t = f - v. Is t a multiple of 2?
True
Let i(v) = -v + 0*v - 4 + 4*v. Does 8 divide i(8)?
False
Suppose -p + 3*r + 6 = 0, 4*r + 4 = -2*p + 4*p. Let t = p - -15. Is 9 a factor of t?
True
Let o(i) = 10*i - 4. Does 6 divide o(3)?
False
Let y(c) = c**2 + c - 3. Let v be y(3). Let a = 29 - v. Is 20 a factor of a?
True
Suppose -2*d - z + 1 = 0, -5*z = -5*d - 34 + 14. Let l be (d + 0)*1 - 38. Let j = l + 65. Is 18 a factor of j?
False
Let d(o) = 15*o - 6. Is d(3) a multiple of 13?
True
Let n(j) = -j**2 + 5*j - 1. Let o be n(6). Let k(v) = -17*v - 1. Let w be k(o). Let f = w + -72. Is 23 a factor of f?
True
Suppose -2*d - 4 + 12 = 0. Suppose -100 = 2*h - 7*h. Suppose -d - h = -q. Is q a multiple of 14?
False
Suppose -t + 24 + 8 = 5*o, -4*o + t = -31. Let z be 8/28 - (-754)/o. Suppose 2*n - 3*p - z = 0, -210 = -5*n - 4*p + 106. Is 30 a factor of n?
True
Suppose 151 = b - 5*g, 213 = 3*b + 5*g - 180. Is 34 a factor of b?
True
Suppose 0 = u - z - 6, -5*u + 4*z - 6*z + 44 = 0. Let m be (-2)/(18/u - 2). Is 13 a factor of (m - 0)*(-65)/20?
True
Let i(k) = -k**3 + 8*k**2 - 6*k - 5. Is i(5) a multiple of 10?
True
Let c = 20 - 17. Suppose 2*o - c = 7, 5*w - 3*o - 445 = 0. Is 17 a factor of w?
False
Suppose 3*u - 6*w - 166 = -w, 4*w = 4*u - 224. Is 10 a factor of u?
False
Let w be -2 - 1 - (-812)/4. Suppose -3*v = 2*v - w. Is v a multiple of 20?
True
Suppose p - 215 = -2*t - 2*p, -2*p = 5*t - 510. Let h = t + -67. Is 11 a factor of h?
True
Does 15 divide 0 + (14/84 - 1786/(-12))?
False
Suppose -4*i + 24 = 5*k, 4*k + 27 = 4*i + 3. Let o = i + 4. Is o a multiple of 10?
True
Suppose 0 - 29 = -x. Is 12 a factor of x?
False
Let c = 22 + -16. Let d be (12/10)/(c/(-40)). Let o(z) = z**2 + 4*z + 1. Does 11 divide o(d)?
True
Is (80/(-12))/(8/(-156)) a multiple of 42?
False
Suppose 28 - 4 = 4*m. Is ((-22)/m)/(3/(-27)) a multiple of 16?
False
Is 11 a factor of 33*(-3 - 4/(-1))?
True
Let b = 14 - 12. Suppose -3*o + 275 = b*o. Is o a multiple of 11?
True
Let l(w) = -7*w**3 + 3*w**2 + 4*w + 10. Let q(d) = -20*d**3 + 9*d**2 + 12*d + 29. Let y(h) = 17*l(h) - 6*q(h). Is y(5) a multiple of 13?
True
Let r(d) = -d**3 + 10*d**2 - d + 24. Does 7 divide r(10)?
True
Let n(v) = -v**3 + 10*v**2 - 2*v - 7. Let y be n(10). Is 13 a factor of (-403)/(-7) + y/(-63)?
False
Let p = -51 + 71. Does 6 divide p?
False
Suppose -5*k + 3*d - 7*d = 16, -3*k + 4*d + 16 = 0. Suppose 78 = l - k*l. Is 26 a factor of l?
True
Let u = -44 - -80. Is 12 a factor of u?
True
Let u = -3 - 2. Let q be 4/(-12) - u/(-3). Is 3 a factor of (-3 + -2 + 3)*q?
False
Let y = 6 - 8. Is y/10 - (-48)/15 even?
False
Let r be (24/30)/(1/15). Let g = 31 + r. Does 34 divide g?
False
Let q(t) = -t**3 - 7*t**2 + t + 6. Let z be q(-7). Let o be (-2 + (-3)/z)*5. Suppose -4*j + 3*r = -58, o*j = -2*r - 2*r + 57. Is j a multiple of 13?
True
Suppose 2 = -2*s, -4*s - 76 + 17 = -5*r. Is r a multiple of 11?
True
Let o = -90 - -158. Is o a multiple of 21?
False
Let y be 2 - (-2 + (-240)/(-3)). Let c = -32 - y. Is 7 a factor of 0 + 2 - c/(-4)?
False
Let x(o) = o**2 - o - 2. Let q be x(-2). Is 1530/35 + q/14 a multiple of 22?
True
Let r(p) = -2*p - 9. Let n be r(-6). Suppose -4*x - 2*t + 46 = -50, -2*t = n*x - 73. Does 10 divide x?
False
Let q(i) be the third derivative of i**5/60 - 5*i**4/12 + i**3/6 + 3*i**2. Is 12 a factor of q(11)?
True
Is 3/((-9)/4 - -3) + 98 a multiple of 51?
True
Does 22 divide (-2964)/(-36) - (-2)/(-6)?
False
Let b = 11 + -8. Suppose 0 = b*u - 2*u - 88. Suppose -2*r = 2*r - u. Is 11 a factor of r?
True
Suppose 5*c + 8 = 143. Is c a multiple of 14?
False
Suppose -16 + 233 = 7*a. Does 6 divide a?
False
Let y(b) = -2*b**2 + 13*b + 4. Let d be y(6). Let n(i) = i**2 - 8*i - 12. Is 2 a factor of n(d)?
True
Let j = 8 + -5. Suppose 0 = -j*p + 11 + 4. Suppose 2 + 7 = -3*w, -p*i - 5*w = -335. Is i a multiple of 27?
False
Suppose 0 = 5*b - 10*b + 25. Suppose -3*i - 2*i = 4*v - 219, -5*i + 220 = b*v. Suppose 5*u = i + 37. Does 16 divide u?
True
Suppose 12 = -n + 3*h, 3*n - h - 3*h + 11 = 0. Suppose -n*d + 2*i - 2 = 12, -5*d + 4*i - 26 = 0. Is (-4)/(0 + 1*d) even?
True
Let z(l) be the first derivative of -l**3/3 + l**2/2 + 3*l - 2. Let w be z(-3). Does 9 divide (1*w)/(-1 - 0)?
True
Let b = 265 + -390. Is (-3)/12 - b/4 a multiple of 31?
True
Suppose 5*n - 16 = n. Is 16 a factor of n/2 + (-2 - -32)?
True
Suppose w - 4*l - 15 = 0, -4*w - 5*l = -0*w - 123. Is w a multiple of 17?
False
Let k be (6 + 0)*4/6. Suppose 2*v - k - 4 = 0. Is v a multiple of 4?
True
Suppose 3*j = -2*k - 23, 7*k - 2*k = 2*j - 10. Let a(l) = -l**3 - 4*l**2 - 4. Is 21 a factor of a(j)?
True
Suppose -10*b = -7*b - 150. Is b a multiple of 16?
False
Suppose 4*r = 11 + 9. Let p(j) = -j + 5. Let x be p(r). Is 5 a factor of 11/(1 + 0 + x)?
False
Let o(c) = -3*c + 1. Let r(s) = -4*s + 1. Let t(x) = -2*o(x) + 3*r(x). Let a = 1 - 2. Does 7 divide t(a)?
True
Suppose 0*y = -2*y + 6. Suppose -48 = -0*s - y*s. Is 8 a factor of s?
True
Let j be (5 + 1)*1/2. Suppose 34 = -h + j*h. Does 7 divide h?
False
Let w = -60 - -89. Let k = -17 + w. Is 9 a factor of k/(-8)*(-2 - 4)?
True
Let a(d) = d + 53. Is a(0) a multiple of 13?
False
Let i = -108 + 170. Is 23 a factor of i?
False
Suppose -6*q + 2*q = -40. Is 5 a factor of q?
True
Let y = -4 - -4. Let w be (0 - (26 + 1)) + y. Does 15 divide 0 + -1 - (2 + w)?
False
Suppose 0 = b - 2*b + 3. Suppose -k = -b*k + 154. Is 20 a factor of k?
False
Suppose -2*p = -n + 6*n + 111, 4*n + 93 = -3*p. Is 23 a factor of -3*1*406/n?
False
Suppose 3*f + f - 52 = 0. Let n = -6 + f. Let b(s) = -s**2 + 10*s - 1. Does 7 divide b(n)?
False
Let j(h) be the second derivative of -17*h**3/6 - 3*h**2/2 - 5*h. Does 16 divide j(-3)?
True
Let q = -2 - 1. Let z be 1/(3/(-5))*q. Suppose 2*k + 4*l = 4, k - z*l - 30 = -0*k. Is k a multiple of 10?
True
Let w = -31 - -11. Let g = w - -3. Let i = -5 - g. Is i a multiple of 8?
False
Let v(p) = -p**3 + p**2 - p + 56. Is v(0) a multiple of 28?
True
Let n(o) = -o**3 - 3*o**2 - 4*o. Let a be n(-4). Suppose 0 = -0*u + 4*u + 56. Let y = u + a. Is 18 a factor of y?
True
Let h = -44 + 88. Does 9 divide h?
False
Let d(y) = y**3 - 11*y**2 + y. Suppose -4*l + 2*w - 5*w + 38 = 0, 3*w + 6 = 0. Is 3 a factor of d(l)?
False
Suppose 0*c = 2*c + 2*r + 176, 20 = 5*r. Let b = c - -140. Is 24 a factor of b?
True
Let h = -16 + 27. Is h a multiple of 5?
False
Let p = -4 + 15. Let r = 14 + p. Let c = r - 5. Does 10 divide c?
True
Let y(p) = 2*p**2 - 3*p - 4. Let q be y(3). Suppose 0 = q*u + 5*c - 145, 3*c + 4 - 23 = -u. Does 17 divide u?
True
Let x(u) = u**2 + 6*u - 4. Let q be x(-7). Suppose -3*m + 2*m + 20 = 4*z, 4*m = -q