 -7. Is s a multiple of 4?
True
Suppose 3*q - 230 = y, -y + 3 = 8. Is q a multiple of 10?
False
Let t(g) = 4*g**2 - 4*g + 13. Is t(-5) a multiple of 18?
False
Let c = 77 + 37. Is 8 a factor of c?
False
Let n(l) = 3*l**3 - 3*l**2 - 10*l + 9. Let x(t) = 7*t**3 - 5*t**2 - 21*t + 19. Let g(q) = -5*n(q) + 2*x(q). Does 2 divide g(6)?
False
Let z(m) = m**3 - m**2 + m + 40. Let l be (-6)/15 - (-4)/10. Does 21 divide z(l)?
False
Suppose r - 25 - 8 = 0. Suppose 0 = 5*v - r - 37. Is v a multiple of 9?
False
Suppose -5*r + 4 = -1. Let u = r - -5. Let z(o) = o**2 - o + 6. Is 18 a factor of z(u)?
True
Let u(y) = 17*y - 20. Is u(7) a multiple of 10?
False
Let w be 2/7 - (-46)/(-14). Let y be (-7 - w)*(-5)/4. Let j(t) = 9*t - 7. Is 17 a factor of j(y)?
False
Suppose -5*t = 2*j - 58 - 269, -2*t + 3*j + 127 = 0. Is 7 a factor of t?
False
Suppose 0 = 5*n + 3*i - 78, -4*i + 0*i = -n + 11. Is 5 a factor of n?
True
Suppose -4*z - 37 = m, -24 = 5*z - 9. Let b = 44 + m. Is 17 a factor of b?
False
Let m be 52/(-14) - 8/28. Does 2 divide (-15)/10 - 26/m?
False
Suppose 0 = h - 8 - 4. Suppose 3*a = -a + h. Suppose -2*w - 53 = -a*s + 2*w, 0 = -4*s + 4*w + 64. Does 11 divide s?
True
Let f(d) = d**3 + 6*d**2 + 3*d + 7. Is f(-5) a multiple of 3?
False
Suppose -5*o = -10, 2*d + 5*o = -d + 124. Is d a multiple of 26?
False
Suppose -2 = z + 1. Does 10 divide ((-7)/z)/(3/45)?
False
Let n be 21 - (0 + (0 - 2)). Suppose -5*s - 15 = 0, s = 3*a - n - 58. Is 13 a factor of a?
True
Let j(o) = -o**3 - 9*o**2 - 3. Let v be j(-9). Let m(s) = 3*s**2 + 3*s + 2. Is m(v) a multiple of 10?
True
Let k(i) be the third derivative of -5*i**4/12 + 7*i**3/6 + 2*i**2. Let f be k(-5). Suppose -2*o = -f + 3. Does 13 divide o?
False
Suppose 5*y + 3*p = 209 - 11, y - 5*p = 62. Is y a multiple of 14?
True
Suppose -i - 28 = -5*i. Is 7 a factor of i?
True
Let h = -121 - -192. Is 26 a factor of h?
False
Let i = 35 - 21. Is 4 a factor of i?
False
Let y(p) = 2*p + 23. Does 5 divide y(-9)?
True
Let h = 20 + -7. Does 13 divide h?
True
Suppose 4*v + 40 + 60 = 0. Let h = v + 72. Is h a multiple of 12?
False
Let u(l) be the third derivative of l**4/8 - 2*l**3/3 - 2*l**2. Is u(3) a multiple of 5?
True
Let v be (3 - 5) + -1*5. Suppose 2*y = -5*f + 51, 4*f - 5*y - 22 = 32. Let u = v + f. Is u a multiple of 4?
True
Let f(s) = -2*s + 4. Let v be f(4). Is 7 a factor of 1/2 - 26/v?
True
Suppose 106 + 32 = -3*q. Let b = 81 + q. Is 15 a factor of b?
False
Let r(u) = u**2 + 2*u - 17 + 17. Is r(3) a multiple of 5?
True
Let q be 2/(-8) + 17/4. Let g = q - -5. Is 3 a factor of g?
True
Let t be 2/(-3) + (-22)/(-6). Suppose -t*h - 16 = -3*w + 2*h, -4*h = 2*w + 4. Is 5 + (0 - -1*w) a multiple of 4?
False
Let o be 3*((3 - 1) + -3). Let g = o - -5. Does 2 divide g?
True
Is 8*(2 + 1/(-2)) a multiple of 4?
True
Let x = 10 - 3. Suppose f - 3*v - x = 0, -7*f = -2*f - 4*v - 24. Does 4 divide f?
True
Let c(h) be the third derivative of -h**5/60 - h**4/2 + h**3 - 6*h**2. Is 5 a factor of c(-12)?
False
Let f(p) be the second derivative of p**5/60 + p**4/12 + p**3/6 - 2*p. Let w(j) be the second derivative of f(j). Does 8 divide w(5)?
False
Let t = 86 - 3. Let o = 48 - 7. Let m = t - o. Is m a multiple of 14?
True
Let y = -38 + 20. Suppose 5*n - 116 = 3*n. Let u = y + n. Is u a multiple of 20?
True
Suppose -3*v + 4*k + 22 = 3*k, -2*k - 20 = -2*v. Suppose 0 = -v*h - 0*h + 240. Does 8 divide h?
True
Let r = -5 + 5. Suppose r = -5*h + h + 64. Does 11 divide h?
False
Does 50 divide (-1)/((-4)/631) - 6/8?
False
Suppose -4 = 5*y - 14. Suppose -2*v - y*v + 192 = 0. Does 21 divide v?
False
Let k(d) = -d**3 + 3*d**2 - 1. Let w be k(2). Suppose a - 2*g + 4*g = 8, -4*a = -w*g + 23. Does 8 divide a/(-10) - 94/(-5)?
False
Let r(n) = -n**2 + 4*n + 7. Let t be r(5). Does 12 divide t/(-7) + (-1016)/(-28)?
True
Let i = 111 + -62. Does 15 divide i?
False
Suppose 2*k = k + 4*q, -5*k - 5*q = -100. Suppose 2*w + 12 = 5*h - 6, -4*h + 2*w = -k. Does 13 divide (26/(-2))/(h/(-6))?
True
Let w be (-4)/(-2) + 1 + 0. Suppose w*s + 0*s = 42. Is 7 a factor of s?
True
Suppose -6*p + p - 2*t = -90, 4*p - 89 = -5*t. Suppose -3*i + p = -68. Let a = i + -17. Is 4 a factor of a?
False
Let b(i) = -i**2 + 7*i + 18. Let v be b(9). Suppose 2*u + u - 66 = v. Does 11 divide u?
True
Suppose -1440 = -13*f + 4*f. Does 40 divide f?
True
Suppose 7*f + 162 = 10*f. Is 20 a factor of f?
False
Let s(i) = 3 - 3 - 3*i. Does 9 divide s(-6)?
True
Suppose 0 = 7*k - 4*k + 3, i + 4*k = -2. Is i - (-1 - 1 - 0) a multiple of 3?
False
Let j = 7 + -7. Let f be (j - (0 - 1))/(-1). Does 15 divide -1 - f - (5 + -42)?
False
Suppose 0 = 5*t - 4*n - 1032, 4*t - 958 + 157 = -5*n. Is t a multiple of 13?
False
Is 8 a factor of (-4 - 21/(-6))*-36?
False
Let b(v) = 2*v + 4. Let q be b(-7). Let h = q + 22. Let s = 39 - h. Does 9 divide s?
True
Suppose -2*u + 40 = 5*w, -w - 8 = -2*u + 2*w. Is 5 a factor of u?
True
Let i = -35 + 75. Suppose b = -b + i. Is 7 a factor of b?
False
Let w(d) = 2 - 1 - 4*d - 13*d. Is 9 a factor of w(-1)?
True
Suppose 312 = 5*d + 42. Is d a multiple of 9?
True
Let y(j) = 33*j + 1. Let t be (-10)/(-14) - 4/(-14). Is y(t) a multiple of 17?
True
Let r = 27 + -54. Does 3 divide 1/4 - r/4?
False
Let g = 2 - -3. Let h(b) = b**2 - 7*b + 4. Let u be h(g). Let p = u - -31. Is p a multiple of 15?
False
Suppose p = -4*c + 3*c, c + 4 = p. Does 22 divide (c*11)/((-2)/4)?
True
Let c be (4/(-1))/(4 - 2). Let j = c - -35. Is 11 a factor of j?
True
Suppose 3*j - 179 = 40. Is 14 a factor of j?
False
Suppose -2*i = -2 - 2. Suppose -q - i*q = -66. Is 19 a factor of q?
False
Let d(r) = -r**2 + 2*r + 17. Is d(0) a multiple of 4?
False
Let g(s) = -7*s**3 - 9*s**2 - 7. Let m(n) = 6*n**3 + 9*n**2 + n + 6. Let d(u) = 5*g(u) + 6*m(u). Does 17 divide d(-8)?
True
Let f(z) = 3*z. Does 9 divide f(3)?
True
Suppose 0 = 2*g - 3*v - 6 - 55, 2*g - 76 = -2*v. Is 5 a factor of g?
True
Let y be (-18)/6 + 7*1. Suppose -m = y*m - 25. Is m a multiple of 4?
False
Suppose 0 = a + 3, 2*b + 5*a = -b - 6. Let o be 5/(-3) - b/9. Is 6 a factor of o/3 + (-190)/(-15)?
True
Suppose l = -l + 106. Is 11 a factor of l?
False
Let x be (12/9)/(4/(-24)). Let o = 14 + x. Is 5 a factor of o?
False
Let g be 12/(-2)*(-4)/8. Suppose 270 = g*a + 66. Is 24 a factor of a?
False
Let k be -54*(3 - (-3)/(-2)). Let n = -58 - k. Is n a multiple of 23?
True
Let u(b) = b**3 + 10*b**2 - 11*b + 16. Does 4 divide u(-11)?
True
Suppose -4*n + 8 = -12. Suppose -51 = -n*i - 3*g, -8*i + 75 = -3*i - 5*g. Is i a multiple of 11?
False
Let b(g) = -g**3 + g**2 + 3. Let n(x) = x**3 + 7*x**2 - x - 7. Let p be n(-7). Let d be b(p). Let w = 12 - d. Is w a multiple of 9?
True
Let x(t) = -2*t**3 - t**2. Let k(d) be the first derivative of 3*d**4/2 + 2*d**3/3 - d**2/2 - d - 3. Let g(q) = -3*k(q) - 8*x(q). Does 8 divide g(-2)?
False
Suppose 0 = -4*x - x + 15. Let q = x - -33. Does 14 divide q?
False
Let c = -4 + 8. Suppose 0*b + 5*u = b - 19, c*u + 18 = b. Suppose -5*w - 2*y = -26, 3*w = -2*w + 2*y + b. Is w a multiple of 4?
True
Suppose -3*l + r + 104 = -l, l = -3*r + 45. Does 13 divide l?
False
Suppose -r - 2*r = 33. Let q = 30 + r. Is q a multiple of 9?
False
Let j(i) = -2*i**2 - 2*i. Let n(u) = -u**2 + u - 1. Let r(f) = -j(f) - n(f). Let q be r(-1). Suppose 3 = q*c - 2*c. Does 3 divide c?
True
Let h(k) = -10*k**3 + k**2 + k - 1. Let n be h(1). Let l(g) = g**2 - 4*g + 3. Let a be l(2). Let w = a - n. Is 3 a factor of w?
False
Let g be 88/15 - (-16)/120. Let t(b) = -b**3 + 8*b**2 - 4*b - 4. Is t(g) a multiple of 22?
True
Suppose 0 = -10*l + 1195 - 345. Is l a multiple of 5?
True
Is (-1316)/(-6) + (-4)/(-6) a multiple of 44?
True
Let d(z) be the second derivative of -1/2*z**2 + 4*z - 1/6*z**3 + 0 + 5/3*z**4. Is d(-1) a multiple of 7?
False
Suppose 5*q = 11 + 4. Suppose 4*l = -q*a + 24, -2*l = -4*a + 4 + 28. Does 2 divide a?
True
Let d be (1 - (4 + -1))*-1. Let l be (3 + -1)/(1/d). Suppose q - 64 = -5*y, -l*q - 30 + 0 = -2*y. Is 13 a factor of y?
True
Let h = 226 + -130. Suppose -5*g = -v + 46, 4*v + 0*v + 2*g = h. Is v a multiple of 13?
True
Suppose -8*s = -13*s + 60. Does 3 divide s?
True
Suppose -4*q + q + 39 = 0. Suppose 0 = -4*f + q + 3. Is 3 a factor of f?
False
Suppose 6*z - 2335 + 895 = 0. Does 7 divide z?
False
Suppose 0 = -4*t + 2*l + 12, 3*t + 4*l + 4 - 2 = 0. Let z