s c/(12/(-22))*-2 a multiple of 4?
False
Suppose k + 5*g - 24 = 18, 5*k - 5*g - 90 = 0. Is k a multiple of 15?
False
Suppose 49 = 3*w - 2. Is 17 a factor of w?
True
Let s(w) = w**2 - 2*w - 1. Let x be s(2). Let y = x + 8. Does 3 divide y?
False
Let r(p) = 6*p**2 - 4*p + 4. Let x be r(3). Let s = x - 6. Is s a multiple of 20?
True
Suppose 5*d - 43 = 57. Suppose 0 = -4*x + 3*x - 2*r + 6, d = -5*r. Is 7 a factor of x?
True
Suppose -4*r = -w + 5, -5*w + 25 = -r - 2*r. Suppose r = -o + 2*p + 54, p + 63 = o + 2*p. Does 20 divide o?
True
Suppose l = w - 5, -2*w - l + 13 = -4*l. Suppose -w*g = g - 39. Is 12 a factor of g?
False
Let q(a) = -a**3 + 3*a**2 + 3*a - 2. Let g be q(4). Let m = 6 + g. Suppose m*r = -r + 7. Is 7 a factor of r?
True
Suppose 3*g - 5*c = 2*g + 2, 4*g - 8 = -4*c. Does 20 divide g/8 - (-1290)/24?
False
Let g(d) = 7*d**2 - 4 + 7*d - 4*d**2 - 10*d**2 + d**3. Let l be g(6). Suppose l*c = 6*c - 44. Is c a multiple of 11?
True
Suppose -4*u - 4*s + 44 = -40, -u = 2*s - 26. Suppose 4*p = t - 34, p - 67 = -4*t - u. Is t a multiple of 10?
False
Suppose 5*o + 3*f - f = 31, -4*f + 20 = 4*o. Is o even?
False
Let u(k) = -k**3 - 4*k**2 - 3*k. Let h be u(-2). Does 13 divide 393/15 - h/(-10)?
True
Suppose -2*d - 5*x = -d - 53, -2*d + 66 = 2*x. Does 12 divide d?
False
Let v(i) = i**2 - 2*i + 4. Does 13 divide v(-4)?
False
Let q = -273 - -448. Does 15 divide q?
False
Suppose 3*j - u = 4, 0*u + 10 = 5*u. Suppose -j*q + 4*o = -180, -4*q + 5*o + 355 = -14. Is q a multiple of 32?
True
Suppose 4*h - 35 = 5. Suppose -2*o + 72 = 4*x, 0*x + h = 2*x. Is 9 a factor of o?
False
Let g(f) = -f**2 + 3*f + 4. Let o be g(4). Suppose k - 6*k = 2*h - 51, -3*h - 2*k + 93 = o. Is 20 a factor of h?
False
Let r(d) = 6*d + 1. Let o(q) = -q - 3. Let b(s) = 2*s + 5. Let l(j) = 3*b(j) + 5*o(j). Let f(m) = 4*l(m) - r(m). Is f(-2) a multiple of 3?
True
Let q be 25/2*-6 + 3. Let m = q - -103. Is m a multiple of 13?
False
Suppose -1 = -4*u + 11. Let m(w) = -2*w + 3*w - u*w - 1 + 0*w. Is m(-6) a multiple of 7?
False
Let w(z) be the third derivative of -4*z**2 + 0 + 1/3*z**3 + 0*z + 1/20*z**5 - 7/24*z**4. Is 20 a factor of w(6)?
False
Let n = 192 + -134. Does 4 divide n?
False
Suppose 50 = 3*m - 2*m. Suppose m - 15 = -l. Is (-185)/l + 4/(-14) even?
False
Suppose 5*l + 10 = 0, 6*j - j + 4*l - 2 = 0. Let z(t) = 2 + t**2 + 3*t + 5 - 2*t + j*t. Does 6 divide z(-5)?
False
Let a(b) = -b**3 - 2. Let t(x) = -x**2 - 4*x + 5. Let r be t(-5). Let z be a(r). Let f(i) = -2*i**3 - 3*i**2 - 2*i - 3. Is 5 a factor of f(z)?
True
Does 3 divide (1*2)/(18/27)?
True
Let q(i) = -8*i**2 + 2*i + 3. Let g(x) = -4*x**2 + x + 1. Let p(h) = -7*g(h) + 3*q(h). Is p(2) a multiple of 15?
False
Let a(p) = -p**2 - 6*p + 2. Let f be a(-6). Suppose -z + x + 22 = -3*x, 2*x + f = -4*z. Suppose 4*m - 4*k - 36 = 44, 3*m - z*k - 61 = 0. Is 10 a factor of m?
False
Suppose 5*l + 3*b = 487, 3*b - 31 = 3*l - 328. Is 22 a factor of l?
False
Let r(d) = 3*d**3 - 9*d**2 - 11*d - 20. Let k(f) = 5*f**3 - 19*f**2 - 22*f - 39. Let n(m) = -4*k(m) + 7*r(m). Is 7 a factor of n(-12)?
True
Let c(u) = 8*u - 2. Is 30 a factor of c(4)?
True
Is 19 a factor of (2/(-20))/(2/(-12))*115?
False
Suppose -5*v - 1 = 4. Let m = -11 - v. Let l = 44 - m. Does 18 divide l?
True
Let s(c) = c**3 + 2*c**2 - 5*c + 5. Is 23 a factor of s(3)?
False
Let p = 80 + -38. Is p a multiple of 3?
True
Suppose -2*s - s = -279. Is s a multiple of 31?
True
Let n = -20 + 5. Let l be (-4)/(-14) + n/(-21). Is 118/10 + l/5 a multiple of 12?
True
Suppose -3*k = -50 - 286. Is k a multiple of 20?
False
Suppose -s = -3 - 2. Suppose -s*x - v + 29 = 0, -3*x + 4*v - 1 = -0*v. Does 4 divide x?
False
Let h(w) = 56*w - 1. Let n be h(-1). Let t = 11 - 50. Let i = t - n. Does 18 divide i?
True
Let j be (-17)/(1 - (-2 + 2)). Let k = j + 29. Suppose k = -t + 3*t. Is t a multiple of 6?
True
Suppose 0 = 2*l - x - 2*x - 387, 3*x - 765 = -4*l. Is 24 a factor of l?
True
Let y = 34 - 51. Let u be (y - -6)*2/(-2). Suppose j - 81 = -4*z, 3*j + u + 40 = 2*z. Is z a multiple of 7?
True
Let j(r) = r**2 - 7*r + 1. Let o be j(7). Let s(u) = -2*u**3 + u**2. Let x be s(o). Let b = x - -10. Is b a multiple of 9?
True
Let k be 43 - -1 - (0 - -3). Let v = k + -25. Does 16 divide v?
True
Let p = -28 - -51. Is 7 a factor of p?
False
Let b = -13 - -16. Suppose o - b*o + 28 = 0. Does 14 divide o?
True
Let l = -26 - -151. Is 17 a factor of l?
False
Let k be 1/(-3)*(-17 - -2). Suppose b = k*b. Suppose -30 = -b*q - q. Is q a multiple of 15?
True
Suppose 0*r - r = 0. Suppose r = -q + 14 + 6. Is q a multiple of 11?
False
Suppose 0 = 2*a + 50 - 198. Is a a multiple of 12?
False
Does 37 divide (324/10)/(13/65)?
False
Suppose -2*x = -170 + 28. Does 21 divide x?
False
Suppose 78 = 3*s - 2*l, s + 4*l = -0*l + 40. Is s a multiple of 14?
True
Suppose 6*b - 3*b + 89 = 2*h, 31 = h + 3*b. Does 10 divide h?
True
Suppose 4*t - 5*n + 8 = 0, -4*t - n - 8 = 2*n. Let b be (t - 24/(-9))*3. Is 6 a factor of (-1 + 3)/b + 10?
False
Let r(a) be the first derivative of a**7/840 - a**6/60 - a**5/24 + a**4/8 - a**3 - 1. Let m(k) be the third derivative of r(k). Is 17 a factor of m(7)?
True
Let v = -16 + 26. Is v even?
True
Let y be (-4)/(-6)*(-1 - -31). Let k = 38 - y. Suppose -n = -4*n + k. Is n a multiple of 6?
True
Let q = -138 - -250. Is q a multiple of 28?
True
Does 4 divide 5/(-15)*72/(-2)?
True
Suppose 53 = 2*l - 103. Does 26 divide l?
True
Let x(c) = -2*c**2 - 3*c - 3. Let t be x(-2). Let d be (-11)/(-5) + t/25. Does 2 divide 0/d + 3 + -1?
True
Let q(m) = -m**3 + m**2 - m + 16. Is 3 a factor of q(0)?
False
Suppose -5*x + 4*v = -100, 0 = -5*v + 2 + 23. Let n = -6 + x. Suppose -m + n = r + 3*r, -4*m + 72 = -3*r. Is 9 a factor of m?
True
Let h(l) = l**2 + 17*l + 14. Let o be h(-11). Let g = -31 - o. Is g a multiple of 12?
False
Let u = -41 - -61. Is u a multiple of 4?
True
Is -3 - (-322)/2 - 4 a multiple of 22?
True
Let f = -31 + 68. Is 22 a factor of f?
False
Let f = 31 + -19. Let u be 2/(-3) - 4/f. Is 9 a factor of -5*((-36)/(-10))/u?
True
Let f(s) = -2*s - 3. Is 4 a factor of f(-5)?
False
Let s(w) be the third derivative of -w**4/12 - w**3/3 + w**2. Let z be s(-2). Suppose v + 5*c = -3*v + 14, -8 = -z*v - 2*c. Is v a multiple of 3?
True
Let n = 23 + 19. Is 14 a factor of n?
True
Let k(u) = 5*u**2 + 7*u + 4. Is 7 a factor of k(-3)?
True
Let r = 5 - 0. Suppose r*g - 2 = 3*p + 2, 5*g = p - 2. Is p/(3/(-23)) + -1 a multiple of 17?
False
Let k be -3*1/(-3) + 1. Let i be ((-6)/(-9))/(k/(-6)). Let d(t) = -3*t - 3. Does 3 divide d(i)?
True
Let v be -3*(-68)/6 - 1. Suppose 10 = i - v. Let b = i + -13. Does 10 divide b?
True
Let s(b) = -b**2 - 5*b - 6. Let k be s(-3). Let j(a) = -a**3 + 29. Is 18 a factor of j(k)?
False
Let y(v) = 4*v**2 - 5*v + 7. Is y(5) a multiple of 32?
False
Let v(g) be the third derivative of -g**6/30 - g**4/24 - g**3/3 - g**2. Let c(b) = b**2 + 4*b + 2. Let t be c(-2). Does 18 divide v(t)?
False
Suppose -15*c - 3 = -16*c. Does 3 divide c?
True
Suppose -3*z = 2*z - 35. Let f(p) = 3*p**2 - 12*p + 17. Does 25 divide f(z)?
False
Let f(g) be the first derivative of 7*g**2 + 2*g + 6. Is 25 a factor of f(5)?
False
Is (-34)/(-14) + -2 + 862/14 a multiple of 44?
False
Let c(u) = -5 + 5*u - 3*u + 2*u + 4. Does 9 divide c(5)?
False
Suppose 0 = 7*s - 68 - 44. Is 5 a factor of s?
False
Let b = -217 + 377. Suppose u - 4*u - b = 4*j, 102 = -2*j + 4*u. Let a = j + 78. Is 17 a factor of a?
False
Suppose -3*d - 18 = -5*h - 2, 48 = -3*d - 3*h. Let p = d - -57. Is 15 a factor of p?
True
Suppose -2*i + 4*i = 6. Suppose 5*t + i*v = 45, t + 9 = -0*t + 3*v. Is 3 a factor of t?
True
Suppose 3*z - 3 = 3. Suppose 4 = z*i - 0. Does 2 divide i?
True
Suppose x = 34 + 18. Is x a multiple of 6?
False
Let g be 26/3 - 4/6. Let t(i) = 4*i**2 - 5*i + 8. Let c(b) = 7*b**2 - 11*b + 15. Let f(m) = 3*c(m) - 5*t(m). Is f(g) a multiple of 2?
False
Let g = 69 + 81. Is g a multiple of 15?
True
Let t(s) = s**2 - 17*s + 18. Does 18 divide t(-10)?
True
Let a(q) = -7*q**2 + q**3 - 2*q + 5*q - 6 + 3*q. Let l be a(7). Suppose -30 - l = -3*t. Is t a multiple of 11?
True
Let h = -32 - -82. Suppose -a - 3*l + 4 = 10, -5*l = -5*a + 10. Suppose a = m - 6*m + h. Is 5 a factor of m?
True
Let j(d) = -d**3 + 5*d**2 + 3*d + 2. Is j(5) a multiple of 17?
True
Let c(w) = -w