f - c. Is 7 a factor of f?
False
Let s = -155 + 261. Suppose s = 5*d - 114. Is d a multiple of 22?
True
Is (-138)/(-4) - 9/(-6) a multiple of 18?
True
Let l = -8 - -4. Let j = -4 - l. Suppose -w - 2*w + 42 = j. Does 7 divide w?
True
Let y be ((-38)/8)/(6/(-24)). Let u = -11 + y. Does 8 divide u?
True
Let b(w) = -w**3 + 6*w**2 + 3*w - 1. Let k be b(3). Let n = -25 + k. Does 5 divide n?
True
Let h = 26 - 6. Suppose 2*f - 3*n = 2*n + 13, -4*n = -4*f + h. Suppose f*a = -3*z + 78, 0 = -z - 2*z - 5*a + 78. Does 7 divide z?
False
Let r = 2 - 1. Suppose 0*t + r = -t. Is 1 - (t - -4) - -5 a multiple of 3?
True
Let i = -15 - -71. Does 7 divide i?
True
Is 6 a factor of 18/4*84/18?
False
Suppose 5*t - z = 326, -4*z = -2*t + 5*t - 191. Is t a multiple of 13?
True
Suppose 8*i = 4*i + 772. Is i a multiple of 30?
False
Let u = 16 - 10. Let a be 2/u + (-9)/27. Suppose 2*m - 7*m + f + 22 = a, 0 = -2*m - 4*f. Does 4 divide m?
True
Let j(t) = -6 - 6 + t**2 + 0*t**2 - 2*t**2 + 12*t. Suppose -4*y + 32 = -0*y. Does 18 divide j(y)?
False
Let k(m) = -m**3 + 5*m**2 + 7*m - 11. Is 34 a factor of k(-5)?
True
Let q(i) = -2*i + 3*i - 18 + 3. Let k be q(10). Is 7 a factor of (-1)/k - 632/(-40)?
False
Suppose 5 = -4*q + 69. Suppose q + 143 = 3*b. Does 20 divide b?
False
Let k = -58 + 103. Does 9 divide k?
True
Let x be (-1 + (-26)/(-14))*7. Suppose 0 = 2*c - x. Suppose 0 = c*h + h - 24. Is 6 a factor of h?
True
Let b(u) = -3*u - 2. Suppose -n - 6 = -3*n. Let h be b(n). Let y = h - -33. Is 11 a factor of y?
True
Let c = 12 + -6. Let u be 1 - (0 - -8)*-2. Let z = u - c. Does 11 divide z?
True
Let w be -2*3/4*-2. Suppose -4*t + w*t + 97 = 4*m, 2*t = -3*m + 74. Is 12 a factor of m?
True
Is 30/((-20)/15 + 2) a multiple of 9?
True
Suppose -p + 0*p + 2 = 0. Let h = 3 + p. Suppose -4*s + 2*c + 9 = 3, 0 = -4*s + h*c - 3. Is 2 a factor of s?
False
Let q = 17 - 1. Let c = 25 + q. Is c a multiple of 24?
False
Let t(s) = -s**3 + 8*s**2 + 3*s + 2. Is 13 a factor of t(8)?
True
Let a(k) = 88*k**3 - k**2 + 2*k - 1. Let m be a(1). Suppose -4*l + 0*l = m. Let c = l + 42. Does 10 divide c?
True
Does 6 divide 464/18 - (-12)/54?
False
Suppose -8*s + 4*s = 0. Suppose 0 = 2*f + 4 - 6. Suppose s*g = -o + g + 10, g = -f. Is 4 a factor of o?
False
Let r(u) = 3*u**3 + 2*u**2 - u + 2. Let p be r(-2). Let w = 52 + p. Does 20 divide w?
True
Suppose -131 = -3*h + 4*y, 4*h - 2*y = y + 177. Does 6 divide h?
False
Let r be (1 - 0)/((-5)/(-40)). Suppose -m - r - 17 = 5*h, -2*m = 3*h + 15. Is (2 - m/2)*7 a multiple of 7?
True
Let q(w) = w**3 + 6*w**2 - 4*w + 6. Is 10 a factor of q(-6)?
True
Let w(j) be the first derivative of 0*j + 4 + 2/3*j**3 + 1/2*j**2. Is 22 a factor of w(-4)?
False
Suppose 3*f + f + 8 = 0. Let p = f - 7. Let g = 24 + p. Is 15 a factor of g?
True
Let a(g) be the second derivative of g**5/20 + g**4/12 + g**3/6 + g**2 + 2*g. Suppose -2*s + 3 = -1. Is 6 a factor of a(s)?
False
Let j(g) = 2*g**2 - 9*g - 3. Is j(9) a multiple of 9?
False
Let l(c) = c**2 - 4*c - 10. Is l(9) a multiple of 9?
False
Suppose 3*p + 55 = -2*p. Let s = p - -7. Is 78/4 - (-2)/s a multiple of 10?
False
Suppose 10*l = -4*u + 5*l + 153, 3*u - 114 = -4*l. Does 7 divide u?
True
Let u(i) = -i**3 - 8*i**2 - i - 22. Is 10 a factor of u(-9)?
False
Let z = 43 - 31. Does 6 divide z?
True
Let f = 19 - 15. Let z(p) = 9*p + 3. Is z(f) a multiple of 18?
False
Let r = -10 + 19. Suppose -2*m - 10 = -3*m. Suppose f = m + r. Is 13 a factor of f?
False
Let y = 14 + 7. Is 16 a factor of y?
False
Let r be (14/(-21))/(4/(-30)). Suppose -z + 0*w + r*w - 12 = 0, -3*z + 44 = w. Is z a multiple of 13?
True
Let n(t) = 4*t**2 - 5*t + 8 - 11 + t**3 + 2 + 6. Does 5 divide n(-5)?
True
Let o(j) = -j. Let n be o(0). Suppose y - 3*y + 4*l + 28 = 0, n = 2*l. Let b = -6 + y. Is b a multiple of 5?
False
Let v(b) = b - 11. Let j be v(5). Does 25 divide ((-45)/6)/(j/40)?
True
Let j(t) = 48*t - 10. Is 17 a factor of j(3)?
False
Suppose 0 = -2*j + w + 2, 0 = -2*j + j + 4*w - 13. Suppose 0 = j*k + b - 3 - 64, -5*b - 1 = k. Is k a multiple of 8?
True
Suppose 2*g - 1 = 3. Suppose 11 - 7 = g*z. Is z a multiple of 2?
True
Let m = 325 + -211. Is m a multiple of 19?
True
Let t = 25 - 14. Is t a multiple of 4?
False
Suppose -5*v + 5*k + 40 = 0, -v - 3*v + 33 = -5*k. Suppose -4*r - 22 = -g + v, -31 = -g + 2*r. Is g a multiple of 12?
False
Is 47/3*(3 + (8 - 2)) a multiple of 21?
False
Let f(r) = -2*r**2 - 5*r + 4. Let p be f(-4). Let b be ((-5)/(10/p))/2. Suppose 97 = b*n + 33. Does 13 divide n?
False
Suppose 0 = 3*u + 2*f - 48 + 8, 2*f = -4*u + 56. Does 16 divide u?
True
Let i(v) = 6*v. Let x be i(1). Is 15 a factor of 1*x*(-10)/(-4)?
True
Suppose 10*j - 4*j - 138 = 0. Does 2 divide j?
False
Let v be (0 + (-9)/12)*-12. Suppose -3*h - 5*r + 25 = 0, 9 = 4*h - r - v. Suppose h*k = c + 33 + 21, -3*k = 5*c - 38. Is 4 a factor of k?
False
Let n be (-230)/25 + (-2)/(-10). Let t(b) = -b**3 - 8*b**2 + 3*b + 12. Is t(n) a multiple of 18?
False
Suppose 3*j - 98 = j. Does 15 divide j?
False
Let u be -15*(1 + 4/(-3)). Suppose 41 + 54 = u*h. Suppose 3*n - y = 37, -2*n + h + 13 = 3*y. Is n a multiple of 13?
True
Let c be (-14)/(-3) + 4/12. Suppose 68 = c*a - 3*a. Is a a multiple of 17?
True
Let z(h) = -h - 2. Let q be z(-5). Let c be (-1660)/15 - (-2)/q. Does 4 divide (-4)/18 + c/(-9)?
True
Let w = 17 + -8. Is w even?
False
Let o = 47 + 16. Does 9 divide o?
True
Let j(q) = 4*q**2 - 7*q - 3. Let l(a) = -6*a**2 + 10*a + 4. Let u(c) = 8*j(c) + 5*l(c). Does 8 divide u(5)?
True
Let f be (16/5)/(2/40). Suppose 0 = 5*l - 31 - f. Is l a multiple of 14?
False
Suppose -z = 3*s - 84, -2*z + 3*s + 117 = -42. Let i = z - 30. Does 19 divide i?
False
Suppose 3*a - 1 = 8, a = -d - 110. Let c = -58 - d. Is c a multiple of 16?
False
Is 539/4 + (-10)/(-40) a multiple of 15?
True
Let q(z) = -2*z + 3. Let b(d) = -d**3 + 2*d**2 + d - 13. Let p be b(0). Does 6 divide q(p)?
False
Is 32 a factor of 11/(-22) - (-202)/4?
False
Let p be (0 - -1) + 4 + 0. Suppose -p = -0*k - k. Is 4 a factor of k?
False
Suppose -18 = -3*v - 4*p + 6, 8 = v - p. Suppose 0 = -2*w + 4*w - 14. Let o = v + w. Is 5 a factor of o?
True
Suppose -3*d + 55 = 3*o + d, -55 = -2*o + d. Suppose -o = -0*i - 5*i. Suppose i = m + x, -2*m - 5*x + 0 = -1. Is m a multiple of 8?
True
Does 6 divide (-80)/(-12) - (-2)/(-3)?
True
Suppose 13*j = 16*j - 144. Is j a multiple of 8?
True
Suppose 2*c - o = c + 51, -o = -5. Suppose -r = 3*r - c. Is r a multiple of 4?
False
Let h = 96 - 46. Does 16 divide h?
False
Let d = -17 - -29. Suppose -a + d = a. Does 2 divide a?
True
Let c = -181 + 334. Is 27 a factor of c?
False
Let y(q) = -3*q - 15. Suppose -4*p = -6 + 50. Is y(p) a multiple of 9?
True
Suppose -2*s + 5*a = -211, a + 435 = 5*s - 58. Does 54 divide s?
False
Let h = -1 - 1. Let u(t) = -3*t - 3. Let v be u(h). Suppose 4*w = -2*g + 8, 5*g + 16 = w + v. Is w even?
False
Let k be 2 + (-2)/(3/3). Let v = -3 + k. Is -1*(-44 - v) - 1 a multiple of 14?
False
Suppose -3*t = -m + 60, 2*t + 5*m - 53 = 4*t. Let l = t + 27. Is l a multiple of 5?
False
Suppose 6 = -4*y + 18. Suppose -y*f + 120 = -f. Does 20 divide f?
True
Let o(j) = 82*j - 11. Is 17 a factor of o(2)?
True
Suppose 0 = 3*y + y - 3*h - 33, -5*y + h + 55 = 0. Suppose -d + 4*d - y = 0. Suppose 18 - d = 2*v. Is v a multiple of 6?
False
Does 5 divide 22 + ((-6)/2 - -5)?
False
Let x(g) = -g**3 - 9*g**2 - 8*g + 4. Let v = 2 + 16. Let q = -26 + v. Does 4 divide x(q)?
True
Let t = -2 + 8. Let u = t + -7. Is 6 a factor of (13 + u)*2/4?
True
Let i = -24 - -31. Is 2 a factor of i?
False
Suppose -2*h + 0*h + 4*d - 4 = 0, -4*h + 31 = 5*d. Does 2 divide h?
True
Suppose -5*m = -21 - 154. Does 12 divide m?
False
Suppose -20 = -3*t + 10. Let g = t + -6. Suppose -2*o - a + 33 = 0, 4*o + 1 = -g*a + 69. Does 8 divide o?
True
Let g = 3 + 13. Suppose 5 = -4*z - z. Let b = g + z. Does 5 divide b?
True
Let w = -25 - -43. Does 5 divide w?
False
Suppose -2*y + 5*v + 392 = 0, -20 = -5*y - 2*v + 989. Does 16 divide y?
False
Let m = -65 - -88. Is m a multiple of 2?
False
Suppose 4*f + 45 = v, 3*f = 5*v - 2*f - 285. Let l = 90 - v. Is l a multiple of 19?
False
Is 28 a factor of 18/(-63) - 198/(-7)?
True
Suppose 5*u - 3 = 2. Does 9 divide (u/(-3))/((-2)/54)?
True
Suppose a - z = 2, 3*a - 2*z = 2*z + 4. Let b(n) = -3 - a*n - n + 1. I