
Suppose 0*r + 10 = r. Suppose q = r - 28. Is q*-3*8/9 a multiple of 24?
True
Let z = 36 - 21. Does 7 divide z?
False
Suppose 9 = 3*k, -10 = 5*l + 2*k + 9. Is 14 a factor of (-9 - 0)*(2 + l)?
False
Let w(b) = b**2 - 3*b - 3. Let l be w(-7). Suppose 5*y = l + 158. Is y a multiple of 16?
False
Let k(m) = m**2 + 2*m - 4. Let l be k(-4). Suppose -2*y + 29 + 13 = 5*w, 2*w - 84 = -l*y. Is 7 a factor of y?
True
Let o = 10 + -5. Suppose -4 - 106 = -5*f - o*j, 0 = -2*j - 8. Does 13 divide f?
True
Suppose 4*w - w = -231. Let k = -41 - w. Does 3 divide (k/(-8))/(6/(-8))?
True
Let x = 10 - 6. Suppose -4*b - 2*m = -m - 21, -x*m = -4*b + 16. Suppose 26 = b*n - r, 0*r + 2*r = -2. Is n a multiple of 5?
True
Suppose 0 = 3*c - c - 12. Suppose 3*z + 5*f = 40, -c*z + 3*f = -2*z - 92. Does 13 divide z?
False
Suppose 3*s = -2*f + 735, 0*f = 4*s - 3*f - 980. Does 15 divide s?
False
Let u(t) = 18*t - 3. Let r be u(2). Suppose -2*z - 5 = -r. Does 14 divide z?
True
Suppose 3*y - 14 - 7 = 0. Let h be 2/y + 185/(-35). Does 10 divide h*(1 - (-54)/(-10))?
False
Is 32 a factor of 6*(2784/18)/4?
False
Let k be 1 + (-2 + 6 - 3). Is (4/(-12))/(k/(-48)) a multiple of 5?
False
Let b = 17 + -14. Suppose t + 88 = b*m, -3*t - 2*t - 20 = 0. Does 14 divide m?
True
Suppose 4*b = 8 + 4. Suppose 2 = b*m - 10. Does 4 divide m?
True
Does 3 divide (1/(-3))/(7/(-588))?
False
Let l = 9 + -3. Suppose -l = -3*p + 3. Suppose 5*d = -3*s + 23, 4*s - 25 = -4*d + p*d. Is 3 a factor of s?
True
Let t(v) = 2*v**3. Let m be t(-1). Is (-12 + 5)/(m/6) a multiple of 7?
True
Suppose 2*q = c + 5, 4*c + q - 37 + 12 = 0. Suppose 46 - 1 = c*d. Is d a multiple of 9?
True
Let h(w) = -12*w**2 + 16*w + 12. Let v(y) be the third derivative of -y**5/15 + 5*y**4/24 + 2*y**3/3 - y**2. Let t(m) = 2*h(m) - 7*v(m). Is 9 a factor of t(3)?
False
Let p(y) be the first derivative of -y**5/20 + y**4/6 + y**3/6 + y**2/2 + 2*y - 1. Let z(m) be the first derivative of p(m). Is z(2) a multiple of 3?
True
Let d(s) = -s**3 - 10*s**2 - 18*s + 19. Does 21 divide d(-9)?
False
Let p be (1 - (-6 + 4)) + 1. Suppose 4*i = -2*z + 6*z - 92, 0 = -5*z - p*i + 97. Is 6 a factor of z?
False
Suppose 0 = -4*i + 110 + 2. Let z(x) = x**2 - x - 5. Let v be z(-4). Suppose 0 = 5*a + v, 2*s - 5*a - 39 = i. Is 13 a factor of s?
True
Does 2 divide (-9 - -12)/(3/10)?
True
Let l(a) = a**3 + 6*a**2 - 7*a - 2. Let b be l(-7). Let q(h) = 2*h**2 + h - 4. Is q(b) even?
True
Suppose 0 = 5*c - 0*k + 3*k + 26, -5*c + 4*k = 12. Let y(x) be the second derivative of -4*x**3/3 + 11*x. Is 16 a factor of y(c)?
True
Let k be (-4)/18 - 29/(-9). Let s(j) = -5*j**2 + 5 + 1 - 2 + j**k. Does 2 divide s(5)?
True
Let r(l) = -l**2 + 8*l + 1. Let d(i) = i**3 + 6*i**2 + 3*i. Let h be d(-6). Let w = -13 - h. Does 8 divide r(w)?
True
Suppose 0 = -5*d - 0*d + 70. Suppose 5*y - 7 = -3*m - 0*y, 0 = -4*m + 5*y + 21. Let a = m + d. Does 10 divide a?
False
Let m(r) = r**2 + r. Let w = 10 - 11. Let a be m(w). Suppose -4*x + 2*c = -18 - 140, a = 2*x + 5*c - 73. Is x a multiple of 13?
True
Suppose 2*j = 57 + 57. Suppose 2*w - 3*v - 48 = j, 108 = 2*w - 4*v. Let i = -16 + w. Does 16 divide i?
True
Let d be (1/(-3))/((-4)/36). Suppose -d*j = -144 - 48. Suppose -4*o = 5*y - 0*y - j, 21 = 2*y - 3*o. Does 8 divide y?
False
Let s(d) = d**3 + 5*d**2 + 5*d + 6. Let l be s(-4). Let x be (-2 + 98)/l + -3. Suppose 7*o - x = 2*o. Does 9 divide o?
True
Let x = 80 - 42. Let v(c) = c**3 + 15*c**2 - c - 3. Let z be v(-15). Let g = x - z. Is g a multiple of 13?
True
Let p(s) = -2*s**3 + 6*s**2 + s - 4. Let m be p(4). Let f = m - -58. Let n = -16 + f. Is n a multiple of 4?
False
Let x = -87 - -213. Is x a multiple of 15?
False
Suppose 0*k = -4*k. Suppose 4*n = 104 - k. Is 13 a factor of n?
True
Let s = -3 + 7. Suppose 3*x + 27 = h, 0 = s*h - 0*h + 3*x - 48. Is h a multiple of 15?
True
Let r be (-106)/(-22) + 8/44. Suppose 10*c - r*c = 50. Is c a multiple of 3?
False
Let z(t) = -t**3 - 9*t**2 - t - 6. Let j be z(-9). Is j + -7 - 36/(-1) a multiple of 8?
True
Suppose 0*g = -g + 47. Does 24 divide g?
False
Let y = -1 - -5. Suppose 2*m + 2*k - 36 = 0, y*m + k - 30 = 36. Is 8 a factor of m?
True
Suppose 11 = 7*t - 17. Does 2 divide t?
True
Suppose -2*h - 21 = -5*d, 9*d = 4*d + 25. Suppose 0 = y - s - 80, -5*s = h*y - 205 + 59. Does 31 divide y?
False
Suppose -2*q + 0*q + 4 = 0. Suppose -j + 81 = q*j - 3*k, 2*k = j - 30. Does 15 divide j?
False
Is 25 a factor of (-2 + 3)/((-2)/(-122))?
False
Let f = 36 - 20. Suppose 3*z = 119 + f. Does 12 divide z?
False
Let k = -54 - -92. Is k a multiple of 12?
False
Let l(v) = -18*v - 2. Let h be l(-1). Let f = 26 - h. Does 5 divide f?
True
Let j(d) = 2*d + 2. Let u be j(1). Suppose 157 = u*i + 61. Is i a multiple of 12?
True
Suppose 2*x = 7*x. Suppose 2*u + 5*g + 11 = x, 0*u = -3*u - 5*g - 9. Suppose -3*f - f + 100 = 3*s, 0 = u*f - s - 40. Does 8 divide f?
False
Let c(g) = g**2 + 4*g + 2. Suppose 5*x + 4 = 6*x. Suppose 0 = x*t + 8, 2*t - t + 32 = -5*y. Is c(y) a multiple of 10?
False
Suppose r + 2 - 1 = 0. Let z be r*(3 + -1 + -1). Let n = 39 + z. Does 19 divide n?
True
Let n = 32 + -27. Suppose -z - 28 = 3*y - 81, -n = 5*z. Is y a multiple of 18?
True
Suppose -s + 19 = 2*h, 6*h - 4*h - 49 = -3*s. Is s a multiple of 15?
True
Let z = 205 - 115. Does 19 divide z?
False
Let f(t) = -62*t + 4. Let h be f(-3). Suppose 5*z = -5*a + h, -2*z + 4*a + 94 - 18 = 0. Is z a multiple of 19?
True
Let v(t) = 3*t**2 + t - 1. Let n be v(1). Suppose 0 = n*k - k - 44. Is 22 a factor of k?
True
Let m be 1/((-1)/90*-2). Suppose m = -2*p + 5*p. Does 7 divide p?
False
Suppose i = 29 - 2. Is 3 a factor of i?
True
Let y(a) = 4*a - 3. Let b be y(6). Is 4 a factor of (10/(-3))/((-14)/b)?
False
Let w = 11 - -9. Let z be 1/((-4)/120*3). Let m = w + z. Does 5 divide m?
True
Let v be (-98)/8 - 2/(-8). Let g = v - -17. Is 4 a factor of g?
False
Let f = -60 + 31. Let t = -6 - f. Is 19 a factor of t?
False
Suppose -3*k - 3*j = j - 48, 0 = 3*k - 3*j - 69. Suppose -5*a + k = 0, 5 - 18 = r - 4*a. Is (-8)/4 + r*8 a multiple of 11?
True
Suppose -2*g = 3*g - 10. Suppose 2*j = 10 - g. Suppose 4*v + 152 = -3*d + 7*d, -j*d = -3*v - 148. Is d a multiple of 17?
True
Suppose -2*v = -7*v - k + 204, -3*v = -4*k - 104. Is v a multiple of 8?
True
Let z = -8 - -11. Suppose -z*g + 36 = -99. Is 9 a factor of g?
True
Let y = -8 - -14. Suppose r + 4 = -r + 4*c, -3*r + 2*c = -y. Does 15 divide (r/(-6))/(8/(-228))?
False
Let s = 31 - 18. Suppose 12 = y - s. Is 25 a factor of y?
True
Suppose -5*r + 17 - 2 = 0. Suppose -4*x - 55 = -r*y, -5*y - x + 113 = 3*x. Is y a multiple of 13?
False
Does 9 divide (-203)/(-3) - (-5)/(15/(-2))?
False
Let p = 49 - 28. Is p a multiple of 21?
True
Suppose 5*c - 1713 = -103. Is 23 a factor of c?
True
Let m(r) = r**3 + 20*r**2 - 22*r + 21. Does 7 divide m(-21)?
True
Suppose 2*c + 10 = -5*u + 30, -25 = -5*c. Suppose -26 = u*n + 2*s, 0*s = 4*s + 16. Let y = n + 15. Is y a multiple of 3?
True
Suppose -4*m = -2*s - 84, m - 66 = -2*m + 3*s. Does 10 divide m?
True
Let g(f) = -f**2 - 7*f + 8. Let b be g(-8). Let t = 17 + b. Is t a multiple of 17?
True
Let o = -26 + 85. Is o a multiple of 25?
False
Suppose 0 = -3*w - 0*w - 24. Suppose -3*t - 42 = -3*m, t = -4*m + 1 + 40. Let a = w + m. Is a even?
False
Is 5 a factor of (-5)/(35/2) - 1288/(-49)?
False
Let h(y) be the third derivative of -y**6/40 + y**4/8 + y**3/6 - 6*y**2. Does 6 divide h(-2)?
False
Let u(i) = i**3 - 5*i**2 - 5*i + 7. Let r be u(6). Suppose -d - r = -3*m - 4, d = -m + 3. Let w(x) = 2*x**2 + 2. Does 7 divide w(m)?
False
Suppose -42 = 4*q + 2*l, 4*q - 2*q = -3*l - 31. Let j = 84 + q. Suppose -2*k = 2*k - j. Is k a multiple of 9?
False
Let j(k) = -2*k - 7. Let w be j(-3). Does 8 divide (12/(-15))/(w/30)?
True
Suppose 2*j - 5 = 7*j. Does 10 divide j*(3/(-3) + -27)?
False
Suppose -100 = g - 5*g. Does 3 divide g?
False
Suppose 3*o + 3*w = w + 12, 3*o = 2*w. Suppose -o*k = -4*k + 242. Suppose 2 + 1 = -3*z, -4*z - k = -3*d. Is 13 a factor of d?
True
Suppose 16*z + 76 = 18*z. Is z a multiple of 38?
True
Suppose -7*i + 48 = -3*i. Does 4 divide i?
True
Let l be -3 + (-6)/(-2) + 12. Suppose 108 + l = 3*h. Does 20 divide h?
True
Let c = 33 - 7. Is 7 a factor of c?
False
Let k = -5 + 56. Is k a multiple of 5?
False
Let r = 44 - 157. Let i = -48 - r. Is 10 a fa