actor of t(-8)?
False
Suppose 4 = 4*j - 8. Is 9 a factor of ((-22)/j)/(3/(-9))?
False
Let c(v) be the first derivative of 2/3*v**3 + 7/2*v**2 + 4*v + 4. Is c(-5) a multiple of 19?
True
Let s = -79 + 151. Is 24 a factor of s?
True
Let t = -12 + 17. Suppose -c = -t*m + 12, -2*m + 5*c - 8 = 1. Suppose -2*j + 6 = -2*a, -m*a + 5*a - 42 = -4*j. Does 3 divide j?
False
Let j(k) = 2*k**2 + 4*k + 6. Let z be j(-4). Let v = 2 + z. Is 9 a factor of v?
False
Let u(x) = x**2 + x + 2. Let w(d) = -d**2 - 6*d + 1. Let f be w(-7). Let p be 2/f - (-14)/(-3). Does 11 divide u(p)?
True
Let n(z) = 47*z**3 + z - 1. Suppose -4*u + 3*c + 18 + 1 = 0, -5*c = -3*u + 28. Is n(u) a multiple of 7?
False
Suppose 5*f + 0*f + 4*u = 706, f = -3*u + 139. Suppose -z + f = 5*p, -5*z = -7*p + 5*p + 46. Suppose -2*o + p + 32 = 0. Is o a multiple of 15?
True
Let d = -6 + 6. Let b = 9 - d. Let n = 16 - b. Is 7 a factor of n?
True
Does 12 divide (-45)/6*(-84)/35?
False
Let b(m) = -8*m - 24. Is b(-15) a multiple of 32?
True
Suppose r + r = 40. Let z = -4 - 14. Is (z/(-15))/(3/r) a multiple of 8?
True
Suppose 0*h - 5*h + 20 = 0. Suppose -33 - 15 = -h*r. Is r a multiple of 12?
True
Suppose 10 = -5*j, 5*p - j - 714 = -4*j. Is p a multiple of 48?
True
Let p(a) = -15*a - 1. Let n be ((-1 - 2)/3)/1. Let q be p(n). Suppose 0 = 4*o, -3*o + q = j + j. Is j a multiple of 7?
True
Let x(z) = -z**2 + 7*z + 5. Suppose -5*l = -c - 22, 4*l - c - 10 = 7. Is x(l) a multiple of 4?
False
Suppose 12 = -n + 3*n. Does 6 divide n?
True
Let z = 330 - 158. Is 7 a factor of 1/(-3) - z/(-12)?
True
Let y(z) = 5*z**3 - z**2 - 7*z + 8. Let x(k) = 6*k**3 - 8*k + 9. Let t be 1/(1/(-1 - -5)). Let j(m) = t*x(m) - 5*y(m). Is 9 a factor of j(4)?
False
Let d(g) = -7*g**2 + 2*g - 3*g + 77*g**2 + 2*g**2. Does 20 divide d(1)?
False
Let n be 6*2/4*-1. Let r(g) = -4*g + 2. Is r(n) a multiple of 7?
True
Suppose 0 = -4*t + 3*g + 198 + 191, -393 = -4*t - g. Is t a multiple of 7?
True
Let i(p) = p**3 + 2*p**2 + p. Let w be i(-1). Suppose 3*n - 22 = 2*n - x, 2*n - 3*x - 34 = w. Is 24 a factor of (132/10)/(4/n)?
False
Suppose 3 + 3 = -3*x. Let j = x - -21. Is j a multiple of 12?
False
Let h be (-92)/(-12) + 2/(-3). Suppose -5*s + 3 + h = 0. Suppose 2*p = -4*a - p + 8, a - p = s. Does 2 divide a?
True
Let h(l) = l**3 - 5*l**2 - 2*l + 4. Is h(6) a multiple of 11?
False
Let s(b) = -b**3 + b**2 - b + 28. Is s(0) a multiple of 14?
True
Let s(h) = 3*h**3 + h**2 - h + 2. Let a be s(2). Suppose 0 = 3*b + 2*u - a - 186, 3*b + 5*u = 229. Is 17 a factor of b?
True
Suppose 11 = -t - 5*v - 4, -5*t + 2*v + 6 = 0. Suppose -5*r + 30 + 40 = t. Is 14 a factor of r?
True
Suppose 2 = 4*w + x - 4, -3*x = 6. Let t(b) be the first derivative of 9*b**2/2 - b - 3. Is t(w) a multiple of 17?
True
Let z(d) be the second derivative of -d**3/6 + d**2/2 + 2*d. Does 6 divide z(-5)?
True
Suppose 4*n + n = 5*j + 1740, 5*n - 1770 = -5*j. Does 27 divide n?
True
Suppose -l = 7 + 1. Let z be 4/(-16) - (-22)/l. Is 2 a factor of (-11)/z - (-2)/(-3)?
False
Let x = -2 - -4. Let j(v) = v**x - 4 + 2*v**2 - 2*v**2. Is 14 a factor of j(-6)?
False
Suppose 2*f - 6*f = -132. Does 12 divide f?
False
Suppose u - 4*f - 60 = 0, f + 145 = 4*u + 4*f. Suppose 5*l + 5*j = u, 2*j - 5*j + 32 = 5*l. Suppose -2 = n - l*p, -2*n + 0*p = 2*p - 16. Is 3 a factor of n?
True
Is 25 a factor of (2/6)/((-1)/(-165))?
False
Suppose -19*b + 1260 = -10*b. Does 7 divide b?
True
Suppose 16 = 2*z - 12. Does 11 divide (-4)/z - 1192/(-56)?
False
Let y(q) = 4*q - 2. Let f be y(5). Let p = f - 7. Does 5 divide p?
False
Suppose 0 = -0*t + 5*t - 190. Let u = t - 24. Let v = -7 + u. Is v a multiple of 7?
True
Suppose -8*b + 15 = -5*b. Suppose 0 = -3*w + 4*w + 5*g - 1, 3*g = -b*w + 71. Is 5 a factor of w?
False
Let w be 12 + (-1)/(2/(-6)). Let k = w - -38. Is k a multiple of 20?
False
Let w(j) = 3*j**2 + 5*j + 5. Let u be w(-2). Suppose r - 85 = -3*q, 18 = -5*r - u. Is q a multiple of 20?
False
Let y(j) = -1 - 3 - j**2 + 0*j**2 - 10*j. Is 5 a factor of y(-8)?
False
Suppose -7*j - 409 = -4*r - 2*j, -103 = -r + 2*j. Does 30 divide r?
False
Is (-9)/6 + 305/10 a multiple of 7?
False
Suppose -2*z + 27 = -23. Suppose 5*m - z = 60. Is 8 a factor of m?
False
Let n(k) = k**3 + 8*k**2 - 3*k - 6. Suppose m = -2*r - 10, 23 = -3*m + r - 0*r. Is 6 a factor of n(m)?
True
Does 31 divide (-459)/17*32/(-6)?
False
Let o(v) = 12*v + 32. Is 14 a factor of o(9)?
True
Suppose 5*h - 35 = -5*r, 0 = r + 5*h + 6 - 1. Let n = r + 5. Does 10 divide n?
False
Let h be ((-5)/(-10))/(2/348). Suppose 0 = -3*j + 51 + h. Does 12 divide j?
False
Let r(z) = 19*z - 6. Is r(6) a multiple of 11?
False
Let h be 774/22 - (-8)/(-44). Suppose 5*t = -w - 9 + h, 5*w - 3*t = 74. Let m = -11 + w. Does 2 divide m?
False
Let c = 13 - 20. Let p(d) = d**2 + 4*d + 10. Is 15 a factor of p(c)?
False
Let l(o) = -2*o - 4. Let d be l(-7). Does 13 divide (-1122)/55*d/(-4)?
False
Suppose -3*m = 5*j - 218, 4*m + 5*j + 268 = 7*m. Is 14 a factor of m?
False
Suppose 19 + 1 = 5*q. Suppose 5*h - 60 + 17 = -q*s, 5*s = 3*h - 48. Is 8 a factor of h?
False
Suppose 0*w - 179 = -2*p - w, -4*w = -5*p + 428. Is p a multiple of 22?
True
Let o be ((-4)/6)/(12/(-2448)). Suppose 9*q - 5*q = o. Does 17 divide q?
True
Let n(j) = -j + 1. Let a be n(-4). Suppose -a*h + 29 = -51. Does 9 divide h?
False
Let l be (-6)/(-18) - 64/(-6). Let k = -8 + l. Does 3 divide k?
True
Let d = -2 - -1. Let i(k) = 4*k**2 + 2*k + 1. Is i(d) even?
False
Suppose u = -u + 4. Let l = u + -6. Does 13 divide -3*2/(l/18)?
False
Let i be (2 - 48/28)*14. Is 0 + 61 + -2 + i a multiple of 21?
True
Suppose k - 5*n = -2*k + 325, 2*k - n - 212 = 0. Is 15 a factor of 3136/k - (-2)/15?
True
Let v be (5 - 0 - 3)/(-1). Let a = v - -8. Does 6 divide a?
True
Let u(r) = r - 7. Let g be u(0). Let k = -9 - g. Is 3 a factor of 1/k + 21/2?
False
Let m(n) = 40*n + 15. Is m(5) a multiple of 31?
False
Suppose -5*m + 190 + 170 = 0. Is m a multiple of 18?
True
Suppose 5*m + 2*m = 413. Is m a multiple of 14?
False
Let l(n) = n**3 + 6*n**2 - 11*n - 9. Let v be l(-7). Let z = v - 6. Is 4 a factor of z?
False
Let j be ((-10)/(-4))/(2/4). Suppose 4*g = -j*u + 86 + 94, -2*g + 84 = u. Is 40 a factor of g?
True
Suppose -2*c + y + 3 = -1, -5*c + 4*y = -10. Suppose -12 = c*g - 44. Does 16 divide g?
True
Let v(s) = 4*s**2 + 9*s - 3. Does 13 divide v(-5)?
True
Suppose 2*x = -5*p - 0*x, 3*p = -2*x + 4. Is 16 a factor of (-34)/(-3 - -2) - p?
False
Let i be (2 - 3 - 128)/(-1). Does 15 divide (-6)/(-9) - i/(-9)?
True
Let v be (-1925)/(-40) - 2/16. Suppose 2*r - 5*w = -5 + 1, -4*w = -3*r + 1. Suppose -3*m = 5*t - v, 9 = r*m + 2*t - 30. Is m a multiple of 11?
True
Let b(k) be the third derivative of 3*k**5/20 - k**4/12 - k**3/6 + 3*k**2. Is b(-1) a multiple of 3?
False
Is 4/22 + (-1120)/(-11) a multiple of 34?
True
Let s be 20/(-110) - (-2)/11. Suppose o - 5 - 9 = s. Does 14 divide o?
True
Is -3 + (-1)/((-2)/94) a multiple of 22?
True
Suppose -5*j + 25 = -5*u - 0*u, 0 = -2*j + 4*u + 14. Suppose -v = -5 - j. Is 9/4 - 2/v a multiple of 2?
True
Let j(n) = -4*n**2 + 6*n - 2. Let r be j(5). Is ((-2)/4)/(2/r) a multiple of 6?
True
Suppose -3*r + 32 = -s, -s - 2*s + 5*r - 116 = 0. Let j = s - -68. Let u = j - 0. Does 8 divide u?
False
Let v = -86 + 144. Does 13 divide v?
False
Suppose 3*q - 16 = 5*q. Is -2*(-18)/q*-2 a multiple of 4?
False
Let t be 4*(6/(-4) + 1). Is 9 a factor of t/5 + 462/30?
False
Suppose -101 = 5*c - 956. Let o = c + -107. Suppose q + 3*m = -2*q + 39, -m = 4*q - o. Is 12 a factor of q?
False
Let g(m) = -5*m + 3. Is g(-1) even?
True
Let g be (-10)/(-15) - (-2)/(-3). Suppose g = 5*q + 3 - 53. Let u = 0 + q. Does 10 divide u?
True
Suppose 68 = -o - 146. Let k = -310 - o. Is 14 a factor of k/(-7) + 10/35?
True
Let f(y) = 5*y + 10. Does 11 divide f(9)?
True
Suppose 5 = -5*y - 0. Let u = y + -1. Does 19 divide u/6 - 230/(-6)?
True
Suppose -143 + 35 = 5*y + 3*h, -4*y + 3*h - 108 = 0. Is (16/y)/((-2)/72) a multiple of 15?
False
Is ((-3)/12 - 2)/((-1)/8) a multiple of 6?
True
Let c(t) = -3*t + 9. Is c(-15) a multiple of 6?
True
Is 2 a factor of (-2)/(-6) + 88/24?
True
Let k(n) = n**3 + 6*n**2 + 5*n - 4. Let v be k(-5). Is 12 a factor of (-1)/(-1*v/(-216))?
False
Let c = 90 - 47. Let m = 75 - c. Does 18 divide m?
False
Suppose 7*i - 800 = 2*i. Is i a multi