3*n - 50 + 137, -3*q + 5*n = -95. Let s = -14 + q. Does 9 divide s?
False
Suppose 5*z + 34 = -6. Let b = z - -6. Let j = 7 + b. Is j a multiple of 5?
True
Let t(r) = -r**3 - 6*r**2 - 5*r - 7. Let c be t(-5). Does 10 divide 107/3 + c/(-21)?
False
Let o be 4/16 - 21/(-12). Let s be ((-1)/1)/(-1) + o. Does 15 divide 2/s + 172/12?
True
Let o be 15/(-25) + (-6)/(-10). Suppose o = -4*u + 4 + 12. Is 4 a factor of u?
True
Let p(n) = 3*n - 11. Suppose 19 = -3*q + 2*q. Let s = -8 - q. Is p(s) a multiple of 14?
False
Let s be 135/4 + (-4)/(-16). Let o = s - 79. Is o/(-3) - 1 - -2 a multiple of 8?
True
Let v(m) = -m - 3. Let j be v(-5). Suppose j*u - 28 = -2*u. Does 2 divide u?
False
Suppose -4*f + 3*l + 56 = 0, 4*l = -4*f + 6*f - 28. Suppose 6 = x - f. Is x a multiple of 5?
True
Suppose 2*q - 15 = 5*d, 22 = 3*d + 2*q + 3*q. Let x be (0/d)/(-2)*-1. Suppose 5*g = 4*m - 47, x = 4*m - 4*g - 28 - 20. Is m a multiple of 10?
False
Let q(m) = -m**2 - 13*m - 5. Suppose 5 + 39 = -4*n. Does 13 divide q(n)?
False
Is 50/(-4)*912/(-60) a multiple of 19?
True
Let y = 68 - 43. Does 13 divide y?
False
Suppose -3 = 7*k - 10*k. Does 2 divide 14/2 - k/1?
True
Does 15 divide 2/7 - 3384/(-14)?
False
Suppose 8*m + 45 = 3*m. Is 10 a factor of (40/(-6))/(3/m)?
True
Let h = -10 - -14. Is h a multiple of 2?
True
Let d be 170/4*140/(-25). Is 18/(-30) + d/(-5) a multiple of 16?
False
Let o = 99 - -91. Is o a multiple of 38?
True
Does 30 divide 0 + (-958)/(-8) + (-22)/(-88)?
True
Let o = -57 - -150. Is 16 a factor of o?
False
Let v = 56 - 12. Suppose -h + 8 + v = 0. Does 26 divide h?
True
Let k(v) = v**3 - 10*v**2 + 4*v - 2. Is k(10) a multiple of 19?
True
Suppose d - 5*d + 180 = 0. Does 23 divide d?
False
Suppose 5*m = 4*w + 1838, w = 4*m - 902 - 575. Does 37 divide m?
True
Let q = -101 + 168. Suppose r - 2 = 0, -4*c + 17 = -4*r - q. Does 9 divide c?
False
Let g(v) be the second derivative of -v**4/12 + 3*v**3/2 - 9*v**2/2 - 2*v. Let m be g(8). Is 11 + (3 - 2)*m a multiple of 5?
True
Let k = 28 + 32. Let z = 75 - 95. Let d = z + k. Is d a multiple of 14?
False
Suppose -5*i - 2*s = -2, 5*i - 4*s - 34 + 8 = 0. Let l = i - 5. Is 12 a factor of (1 + 11)*(4 + l)?
True
Let o(n) = 2*n**2 + 8*n. Let f be o(-6). Suppose -f = m - 2*m. Is m a multiple of 12?
True
Let m be (-1)/(-4) - 927/12. Let p = -51 - m. Does 9 divide p?
False
Suppose -3*c - 306 = -0*c. Let k be 1/(1 + 104/c). Let f = k + 72. Is 10 a factor of f?
False
Let i = -21 - -21. Suppose i*j + 3*j - 51 = 0. Is j a multiple of 9?
False
Let a = 16 + -13. Suppose 162 + 30 = a*f. Does 24 divide f?
False
Let g(d) = -d**3 - 11*d**2 - 11*d - 5. Let u be g(-10). Suppose 5*k + u*b - 115 = 0, 2*k - 2*b - 55 = -7*b. Does 17 divide k?
False
Is 4 - 1 - (0 + -53) a multiple of 7?
True
Let a(s) = 8*s. Is a(9) a multiple of 12?
True
Let o(n) be the third derivative of n**5/30 - n**4/8 - n**3/6 - n**2. Let h be o(-3). Suppose -h - 4 = -5*r. Is 3 a factor of r?
True
Suppose -2*k + 5*k = 5*n - 15, 0 = 4*k + 20. Let a(g) = 4*g. Let d(w) = -3*w - 1. Let p(l) = -4*a(l) - 5*d(l). Is p(n) a multiple of 2?
False
Let u(p) = -p**3 + 13*p**2 - p - 25. Does 11 divide u(12)?
False
Suppose 0 = 5*r - 296 - 74. Let p = r + -41. Is p a multiple of 11?
True
Suppose 3*x + 138 = 4*x. Is 7 a factor of (-2)/(-10) - x/(-10)?
True
Let r be 9/6*(1 - -1). Let w = 34 + 8. Suppose -w = -b - r*d, -5*b - 3*d + 81 + 105 = 0. Is 18 a factor of b?
True
Suppose 2 = 2*h - 2. Suppose 2 = -g + h*p, -4*g = 5*p - 19 - 12. Suppose o = g*j + 3, o + o - 39 = -3*j. Is o a multiple of 15?
True
Let f(s) = 11*s + 10. Let k(i) = -45*i - 39. Let m(b) = -21*f(b) - 5*k(b). Is 15 a factor of m(-7)?
False
Let w(d) = d**3 + 5*d**2 + 5*d + 2. Suppose 8 = -g + 5*g. Suppose f + 9 = -g*f. Is 5 a factor of w(f)?
True
Suppose 5*x - 2*w = 29, 8*x + 3*w - 44 = 3*x. Suppose t - x = -0. Is 3 a factor of t?
False
Suppose 7 = 4*g + n, -4*n = -g + 6*g - 17. Suppose 3*f - 4 + g = -2*w, 5*w + 21 = 2*f. Let j(r) = -r + 5. Is j(f) even?
True
Let o(c) = 18*c**2 + c - 1. Is o(1) a multiple of 11?
False
Suppose 5*s + u = 529, 4*s + 2*u - 535 = -107. Let j be (s/6)/1*2. Let f = j - 21. Does 14 divide f?
True
Is 17 a factor of (49 - 2 - 2) + 0?
False
Suppose -4 = -d + 2*m, -4*d - 8 = -2*d + 4*m. Suppose d*h - 3*h = -15. Suppose 0 = z - 3*s + h*s - 15, 3*z = -5*s + 42. Is 9 a factor of z?
True
Suppose -5*s + n - 5*n = -43, 3*n = -4*s + 35. Suppose -5*y = -q + 34, -5*y + s = 5*q - 9. Is (q - (0 - -3)) + 1 a multiple of 7?
True
Suppose 4*v - 977 = -257. Does 19 divide v?
False
Let o(x) = x**3 - 8*x**2 + 7*x - 8. Let n be o(7). Let m(d) = -2*d. Does 8 divide m(n)?
True
Let h(d) = 7*d**2. Is 6 a factor of h(1)?
False
Suppose 4*x = -67 + 167. Suppose 40 = 5*m - x. Does 8 divide m?
False
Let k(q) = 21*q**2 + 6*q + 4. Does 33 divide k(-3)?
False
Let z be 21/3 + 1*2. Let o = z - 5. Suppose 0 = -o*t + 7 - 3, 21 = 2*h + 5*t. Does 8 divide h?
True
Suppose -28 + 7 = -k. Suppose -k = -2*l - 5. Does 6 divide l?
False
Suppose -11 = -4*k - q, -1 + 17 = 4*k - 4*q. Suppose -4*o + 114 = 3*t - 0*t, -k*t + 117 = 3*o. Let n = t - -22. Is n a multiple of 20?
False
Does 11 divide (-847 - -3)*(3 + (-39)/12)?
False
Let v be (-2 + -8)/(-2) + 3. Let k = 11 - v. Suppose -5*m - 20 = 0, -l = 3*l + k*m - 32. Is l a multiple of 4?
False
Let c(a) = -a**3 - 4*a**2 + 5*a + 4. Let r be c(-5). Let n = 77 + 1. Suppose k - r*k = -n. Is k a multiple of 13?
True
Let g(h) = 46*h - 1. Is 9 a factor of g(1)?
True
Suppose 5*k - 5*q - 139 = 31, -3*k = -4*q - 106. Does 10 divide k?
True
Let b(i) = 2*i + 57. Is 19 a factor of b(-11)?
False
Suppose 5*r - 2*r = 426. Suppose -3*g = -0*g - 5*d - r, 14 = g + 5*d. Suppose 5*c - 99 = -g. Is c a multiple of 12?
True
Let k be (16/(0 + 4))/(-1). Is 19 a factor of 5/(-10) + (-162)/k?
False
Suppose -4*c + 4*s - 48 = 0, 5*c - s + 30 + 46 = 0. Let t = -2 - c. Suppose t + 22 = 3*z. Is 12 a factor of z?
True
Let q(b) = -22*b - 15. Is 10 a factor of q(-7)?
False
Let i(z) = 2*z**2. Let n be i(-1). Suppose -n*k = -6*k + 16. Does 3 divide k?
False
Is 2/10 - 129/(-5) a multiple of 13?
True
Suppose 8*m + 7*m = 2775. Does 10 divide m?
False
Let n = -37 - -53. Suppose 0 = -v + 4*v. Let b = n + v. Is b a multiple of 8?
True
Suppose 2*o + 2*b = -2*b + 16, -3*o = -5*b - 2. Suppose x - 8 = -f, 0*x + x + o*f - 5 = 0. Does 9 divide x?
True
Let j(y) = y**3 + 3*y**2 + 6*y - 2. Is 35 a factor of j(3)?
True
Suppose 5*u = -4*t + 525, -u = 4*t - 118 - 403. Suppose t = 4*i + i. Let d = i - 16. Is d a multiple of 10?
True
Let i(z) = -3*z + 5. Does 16 divide i(-6)?
False
Suppose -2*v - 2*v + 8 = 0. Let i = v - -25. Is i a multiple of 9?
True
Does 9 divide 4*-1*(-99)/12?
False
Let i = 26 - -21. Let w = -32 + i. Is w a multiple of 5?
True
Let f(l) = -4*l**3 + 5*l + 4. Let o(s) = -s**3 + s**2 - s - 1. Let v(r) = f(r) - 3*o(r). Let i be v(-5). Let u = i + -3. Is u a multiple of 7?
True
Suppose -2*c - 32 = -3*z, 0 = z - 5*z - c + 50. Is 4 a factor of z?
True
Let n(q) = -q**2 - 19*q - 2. Is n(-16) a multiple of 9?
False
Let y = -38 + 108. Suppose -2*r = -x + y, -x - 210 = -4*x + r. Does 14 divide x?
True
Let n(v) = -24*v - 24. Does 24 divide n(-4)?
True
Suppose 0 = 5*y - 73 + 23. Is (-4)/y + (-164)/(-10) a multiple of 16?
True
Suppose 0 = -2*a + 8, l = -5*a + 3*a + 22. Is l a multiple of 7?
True
Suppose -618 = -a - 3*a - i, -769 = -5*a - 3*i. Does 24 divide a?
False
Let k(g) = g**2 + 5*g - 2. Does 22 divide k(3)?
True
Let n(y) = y**3 - 2*y**2 - y + 280. Is 20 a factor of n(0)?
True
Suppose -4*s = -4*x + 12, 5*x = 4*s + 7 + 9. Suppose -v - 66 = -5*z + v, v - 58 = -x*z. Does 14 divide z?
True
Let r(x) = -2*x**3 - 3*x**2 - 3*x - 1. Is r(-2) a multiple of 4?
False
Let m(n) = -10*n**3 - 4*n**2 + 9*n - 10. Let h(q) = -2*q**3 - q**2 + 2*q - 2. Let c(u) = -11*h(u) + 2*m(u). Is 22 a factor of c(2)?
True
Let d be 9/15 + (-12)/(-5). Does 3 divide d/(-2)*(0 + -4)?
True
Let o(r) = -r - 10. Let p be o(-5). Let g(m) = 6*m**2 + 6*m + 5. Let f be g(p). Suppose 5*j = -5*n + f, -3*j + 4*j = -3*n + 15. Is j a multiple of 15?
True
Suppose -2*p = -8, -g - 397 = -2*g + 3*p. Is g a multiple of 51?
False
Suppose -4*z = 3*p - 69, 3*z - p = -2*z + 91. Is 11 a factor of z?
False
Suppose -w + 6*q + 16 = 2*q, 0 = 2*w - q - 46. Is w a multiple of 12?
True
Let z(s) = s + 7. Let f be z(-5). S