 factor of v?
False
Let x(h) = h. Let i be x(4). Suppose -i*c + 2*k + 6 = -k, -2*c - 5*k - 10 = 0. Suppose c = 2*t - 4*t, 5*t - 76 = -2*o. Does 13 divide o?
False
Suppose -3*t = 2*z + 6 - 44, 50 = 3*t - 4*z. Let v = t + 1. Is 8 a factor of v?
False
Let a(q) = 3*q**2 + 4*q - 7. Let m be 2/4 + (-13)/2. Let x be a(m). Let w = x + -53. Is 12 a factor of w?
True
Let t(c) = c - 2*c + 5 + 2*c - 2. Is t(0) a multiple of 3?
True
Let d(q) = 6*q**2 + 12*q + 25. Is 13 a factor of d(-4)?
False
Let g(y) = y**2 + 2*y - 3. Let q(w) = 3*w**2 + 3*w - 7. Let n(b) = -7*g(b) + 3*q(b). Suppose t - 7 = -3. Is n(t) a multiple of 8?
False
Let p(k) = 1 + 6 + 6*k + 7. Let f(t) = t + 1. Let g(v) = -5*f(v) + p(v). Does 9 divide g(0)?
True
Let r be 2 + (1 + -2)/1. Let z = 2 - r. Suppose -7 = -2*h - z. Is h a multiple of 3?
True
Let v = -106 - -170. Is v a multiple of 16?
True
Let o(k) = -32*k**3 + k**2 + 50*k**3 + 6*k**3 + 43*k**3. Does 17 divide o(1)?
True
Suppose k = 4*m - k - 124, -3*k = m - 38. Let n = m - -22. Does 14 divide n?
False
Let r(i) = 3*i**2 - 2*i + 1. Is 9 a factor of r(2)?
True
Suppose -24 = 5*v + 11. Let s = 4 + v. Does 7 divide (s/(-1))/(6/14)?
True
Does 2 divide (-14)/(-4) - (-13)/(-26)?
False
Suppose 3*d - 112 = -s - s, -s - 165 = -5*d. Does 26 divide d?
False
Is 20 a factor of (29 + 4 - -4) + 3?
True
Let o be (-4)/(-6) + 42/18. Suppose -o*n - 11 + 65 = 0. Is n a multiple of 6?
True
Let k be 1*(3/(-3) + 58). Suppose -k - 55 = -2*c. Does 16 divide c?
False
Let s(x) = -4 + x**3 + x + 3 - 2*x**3 + x**2. Let v(y) = -3*y**3 + 7*y**2 + 8*y. Let i(p) = -2*s(p) + v(p). Does 2 divide i(6)?
True
Let q(g) = 2*g**2 - 17*g + 7. Let n be q(8). Let a(o) = -88*o + 1. Does 23 divide a(n)?
False
Suppose -3*a - 2*v = a - 284, 3*a + 3*v = 210. Is 24 a factor of a?
True
Let x(d) = -13*d + 6. Let s be x(6). Let l be (s/(-10))/(6/20). Suppose -2*h = -h - l. Does 10 divide h?
False
Let m(c) = -3*c + 10. Is m(-8) a multiple of 9?
False
Suppose -7*w + 15 = -2*w. Suppose -w*y + 60 = -y. Is 10 a factor of y?
True
Let g = 103 - 9. Suppose -106 = -2*i + 2*a, i = -i - 2*a + g. Does 25 divide i?
True
Suppose 0 = -3*f + 4*f - 30. Does 5 divide f?
True
Let l(x) = 60*x + 7. Is l(2) a multiple of 11?
False
Suppose d - 4 - 5 = -4*b, 0 = d - 1. Suppose -348 = b*r - 8*r. Is r a multiple of 13?
False
Let v(y) = y + 4. Let d be v(-4). Suppose -5*q + 12 + 123 = d. Does 20 divide q?
False
Is 22 a factor of (-6)/(-15) + (-1640)/(-25)?
True
Let d(x) = -x**2 + 8*x + 7. Is 11 a factor of d(7)?
False
Let r = -10 + 40. Suppose 5*m - r = 2*m. Is (-4)/m + (-244)/(-10) a multiple of 12?
True
Is 4/(4/141) - -3 a multiple of 9?
True
Let f = -45 + 161. Does 27 divide f?
False
Let o = 19 + -7. Is o a multiple of 9?
False
Let f = 190 - 61. Let z be 1*3 - (-1)/(-1). Suppose -z*q - q = -f. Does 15 divide q?
False
Let x(g) = g + 2. Is x(11) even?
False
Let y(u) = u**2 + 2*u - 5. Suppose -6*x + 11*x + 39 = -3*j, -5*j - 3*x = 49. Let z be y(j). Let r = z - 9. Is r a multiple of 17?
True
Does 15 divide 3 + 69 - 2/1?
False
Suppose -3*x - x + 100 = 0. Is x a multiple of 7?
False
Let m(h) = 6*h + 3. Is m(0) a multiple of 3?
True
Is 5 a factor of -2 + 1 - 130/(-13)?
False
Let l(y) = y + 2. Let w be l(0). Suppose -u - o = o - 15, w*u + o - 18 = 0. Is u a multiple of 7?
True
Let t(z) = -z**3 + 3*z**2 + z + 2. Let f be t(3). Let j be 10/(-3)*(-12)/f. Suppose -2*w - 33 + j = -3*r, 0 = w + 2. Is r a multiple of 7?
True
Suppose -15 = -d - 4*d. Suppose -31 = -d*s + 86. Suppose -32 = -2*b + 4*f, -1 + s = 3*b - 4*f. Is 3 a factor of b?
True
Let v(i) = -i**3 - 4*i**2 - 2*i - 6. Let f be v(-4). Suppose -f - 18 = -4*n. Does 4 divide n?
False
Suppose -2*y + 0*y = 0. Suppose 0 = s + 2*c - 10, 2*c + 2 = -y*c. Is s a multiple of 2?
True
Let k(s) = 1. Let q(m) = m - 6. Let c(t) = 6*k(t) + 2*q(t). Let r be c(7). Let f = r - 0. Does 8 divide f?
True
Let z(i) = i**2 + i - 5. Does 49 divide z(-17)?
False
Let h(u) be the third derivative of 11*u**4/24 - 4*u**3/3 + 2*u**2. Does 20 divide h(6)?
False
Let c(x) = -x**2 - 7*x - 5. Let l be c(-4). Let y(k) = -k**3 - 6*k**2 - 1. Let g be y(-6). Let o = l - g. Does 6 divide o?
False
Suppose d + 2*t = -2*d + 21, -3*d + 3*t = -6. Suppose d*f + 3*k = 90, 0 = 2*f + 3*k - 0*k - 36. Suppose f = -c + 2*c. Does 7 divide c?
False
Suppose -3*g = 6, -4*u - g + 30 + 164 = 0. Is 7 a factor of u?
True
Let f(c) = 3*c**2 + 5*c + 2. Is 10 a factor of f(-4)?
True
Let q(u) = -8*u - 59. Does 19 divide q(-23)?
False
Let c be 15 + 3 - (0 + 1). Let n = c + -12. Does 5 divide n?
True
Let x be (81/(-12))/((-3)/8). Suppose n - x = -n. Is 6 a factor of n?
False
Suppose 2*f - 7*f + 10 = 0. Suppose -3*j = u + u - 48, f*j = -8. Is 15 a factor of u?
True
Let u(d) = 8*d - 3. Let m(w) = -w. Let v(k) = 6*m(k) + u(k). Is v(6) a multiple of 4?
False
Let k be ((-1)/(-3))/((-2)/(-12)). Suppose 4*z + 1 + 15 = 0, 0 = k*t - 4*z - 26. Is t a multiple of 2?
False
Let b = 28 - 17. Does 20 divide (1/(-3))/(b/(-1155))?
False
Suppose s + 5 = 6. Let y = -39 - -9. Is -1 + s - y/2 a multiple of 15?
True
Let k(f) = 24*f - 2. Let p be k(8). Suppose -6*u + p = -u. Does 10 divide u?
False
Suppose -5*y - 440 = -0*y. Let u = 134 + y. Let w = u + -26. Is 10 a factor of w?
True
Suppose -4*i - 8 + 28 = 0, 0 = -5*v - 5*i + 25. Let x = 1 - v. Is (1 - -9)/(x/2) a multiple of 8?
False
Suppose 0*b = -3*y - 3*b + 210, -3 = b. Suppose 8 = 3*t - y. Is t a multiple of 10?
False
Suppose 17*d - 3*d = 2618. Is 17 a factor of d?
True
Suppose -w + 195 = 5*u, -u + 557 = w + 2*w. Let k = -120 + w. Is 25 a factor of k?
False
Let u be (-2)/4*(-2 + -8). Suppose 5*c + 0 - u = 5*s, -3*s - 4*c = -25. Is s a multiple of 3?
True
Suppose 490 = -0*u + 5*u. Does 23 divide -2*u/(-8)*2?
False
Suppose 3*b + 4*k - 4 = -0*b, 5 = -5*b + 5*k. Let m = b + 12. Is m a multiple of 4?
True
Let w(r) = 13*r - 10. Does 7 divide w(4)?
True
Suppose 4*v = -q - 2*q + 155, -3*v - 4*q = -111. Let h = 62 - 33. Let b = v - h. Is 5 a factor of b?
False
Let u(q) = 3*q**2 - 4*q - 1. Does 38 divide u(-3)?
True
Suppose -v = -2*u - 9, 3*v + 23 = -5*u + u. Is 1 + -3*v*24 a multiple of 19?
False
Suppose -4*q + 3*b + 0*b + 165 = 0, -4*b + 172 = 4*q. Is 14 a factor of q?
True
Let k = 28 - 13. Suppose 0 = -2*u + k + 37. Is u a multiple of 13?
True
Suppose i - 2*i = 0. Suppose 3*d + d = i. Suppose 5*w - 3*y - 42 = 0, d = -3*w - y + 11 + 17. Is w a multiple of 9?
True
Suppose 4*r - 33 = 3*c, 18 = 3*r + 2*c - 11. Let k(u) = u**2 + r - u + 2*u + 5*u. Is 3 a factor of k(-6)?
True
Let w = 10 - -14. Suppose 0 = 2*z + 4*r - w, r + r = -4*z + 18. Does 2 divide z?
True
Suppose -3*s - 5*r = -152, -r + 87 = 2*s - 5. Is 11 a factor of s?
True
Suppose 2*y + 90 = 4*k, 4*k = -5*y + 3*y + 102. Does 4 divide k?
True
Let y = -7 - -1. Let n = y - -15. Suppose -21 + n = -4*o, -3*o - 93 = -3*f. Does 12 divide f?
False
Suppose -4*y + 3 = -3*o, 5*o = -4*y - 3 - 2. Suppose 0 = 4*l + 3*i - 57, 0 = l + 4*i - y - 11. Is 15 a factor of l?
True
Is 7 a factor of (-138)/5*(-105)/42?
False
Let o(u) be the second derivative of -u**3/3 + 3*u**2 + u. Is 18 a factor of o(-6)?
True
Suppose 5*d = 2*d - 18. Let t(h) be the third derivative of -h**5/60 - 3*h**4/8 + 5*h**3/6 + h**2. Does 12 divide t(d)?
False
Let v = 421 - 288. Does 19 divide v?
True
Is 6 a factor of (4/6 - 1)*-54?
True
Suppose -2*x - 10 = -7*x. Suppose -2*n - n - 81 = 0. Does 14 divide (n/(-36))/(x/40)?
False
Let c(s) = 3*s + 9*s + 8*s - 4*s. Is 16 a factor of c(2)?
True
Let m(d) = -d**3 + 5*d**2 + d - 5. Let k be m(5). Suppose -s + 2 + 1 = k. Suppose -s*x + 9 = 0, 0 = -0*y - 5*y + 4*x + 183. Is y a multiple of 13?
True
Suppose -5*k + k + 115 = 3*w, k + 5*w = 33. Does 16 divide k?
False
Let v(x) be the first derivative of x**3/3 + x**2/2 + 10*x + 1. Let i be v(0). Suppose -i = -o + 10. Is 8 a factor of o?
False
Let i be (-243)/7 - (-2)/(-7). Suppose -113 + 33 = 4*b. Let w = b - i. Is w a multiple of 15?
True
Let b(k) = 3*k**2 - 1. Suppose -x + 2*s = 0, 2 = 3*s - 2*s. Let f = -5 + x. Does 2 divide b(f)?
True
Does 3 divide 156/10 - (-8)/20?
False
Does 13 divide (-3)/((-9)/1)*87?
False
Does 20 divide (-8)/18*-3*45?
True
Let z(r) = -2*r + 42 - 2*r + 5*r - 15. Is z(-11) a multiple of 10?
False
Suppose 0 = 5*c + 3*i - 331, 4*c - 125 = -2*i + 141. Is c a multiple of 14?
False
Let c(d) = -d 