6)?
True
Suppose -29 = 4*c + 5*x + 16, -20 = 2*c + 2*x. Is 7 a factor of 2/2 + c - -11?
True
Suppose 6 = 3*b - 9. Suppose 40 = b*m + 5*h, -2*h + 2 = -m - 2. Suppose -5*q + 20 = 0, -m*g = -2*g - 5*q - 32. Is g a multiple of 13?
True
Let n(v) = v**2 - v + 7. Let t be n(6). Suppose 5*d - t - 59 = -f, 3*f + 112 = 5*d. Suppose g - d = -g. Is 10 a factor of g?
True
Let w(b) = -b**3 + 6*b**2. Let o be 112/20 + (-2)/(-5). Let p be w(o). Suppose p = -3*h + 5*h - 10. Is h even?
False
Let g = 14 - 10. Let c(y) = 3*y**2 + g*y + 1 - 4 - 2*y**2. Is 7 a factor of c(-7)?
False
Suppose 4*v + 240 = -0*v - 4*b, 2*v + 5*b = -111. Let m = v - -21. Let s = m + 68. Is s a multiple of 10?
False
Let q(t) = -4*t**3 + t**2 - 4*t - 2. Does 42 divide q(-2)?
True
Is 8/6*(-6)/(-4) even?
True
Let a(g) = -2*g**2 + 5*g - 4. Let v be a(5). Let r = -21 - v. Does 8 divide r?
True
Let i = 16 + -1. Does 7 divide i?
False
Let l be 76/(-10) + 4/(-10). Let a(o) be the first derivative of -o**2/2 + 11*o + 3. Is a(l) a multiple of 11?
False
Suppose b = -2*c + 26, 0 = -c - c + 2*b + 14. Is c a multiple of 2?
False
Suppose r + m - 1 + 0 = 0, -2*r = -5*m + 12. Is 8 a factor of 3*8 + (r - 0)?
False
Suppose 5*y + 121 = -4*l + 8*l, -5*l = -4*y - 140. Is 13 a factor of l?
False
Suppose -119 = -4*i + 61. Is i a multiple of 9?
True
Let u(p) = -3*p + 2*p + 3 + 3 + 0*p. Does 2 divide u(0)?
True
Is (24/7)/((-2)/(-14)) a multiple of 8?
True
Let c be 2*21/12*2. Let h = c + -3. Suppose -h*m + 5*t + 148 = -0*m, 0 = -5*m - t + 156. Is 11 a factor of m?
False
Does 11 divide ((-2)/4)/((-2)/88)?
True
Let t(b) = b**3 + 6*b**2 - 5*b + 10. Let n be t(-7). Let c = -2 + -1. Does 14 divide c/6 + (-114)/n?
True
Suppose -t = -18 + 8. Is t even?
True
Suppose -l = -3*l. Suppose 0 = -m - l*m + 5. Suppose o + 0*o = -c + 3, 3*o - 19 = -m*c. Is c a multiple of 3?
False
Let x = 3 + -1. Suppose x*s = 4*h - 34, 1 = h + 2*s - 10. Is 3 a factor of h?
True
Does 4 divide ((-4)/8 + 1)*114/1?
False
Let i(t) = t**2 + 14*t + 20. Is i(-14) a multiple of 5?
True
Is 11 a factor of 3420/66 + 4/22?
False
Suppose 3*p + 2*w = -8, 4*p - w - 5 + 1 = 0. Suppose 2*z + 7 - 29 = p. Is 11 a factor of z?
True
Is 2 - (-3)/(-1)*(-1498)/21 a multiple of 27?
True
Let o = -6 - -171. Does 21 divide o?
False
Suppose 4*b = 159 + 217. Suppose -5*w + 86 = 4*f, w = -3*f - f + b. Is f a multiple of 8?
True
Let p(c) = 2*c - 12. Let k be p(6). Is (-3)/6*(-56 - k) a multiple of 26?
False
Does 6 divide (-242)/(-14) + 4/(-14)?
False
Let i(m) = m**3 + 4*m**2 + 5*m + 4. Let y be i(-4). Let u = y - -22. Suppose -3*c = -u*c + 42. Is c a multiple of 14?
True
Suppose -52 = -4*l + 2*l. Let t be l + 3 + -2 + -1. Suppose -c - p + 113 = 2*c, -2*p = -c + t. Does 12 divide c?
True
Let f = 1 + 2. Suppose v = -f*v + 28. Suppose -3*o - 68 = -v*o. Does 10 divide o?
False
Let t(j) = j**2 - 8*j - 7. Let b be t(9). Suppose m - b*r - 5 - 3 = 0, -2*r = 5*m - 28. Is m a multiple of 3?
True
Let x be 10/(0/2 + 2). Suppose 69 = x*j - 126. Let s = j - 22. Is 11 a factor of s?
False
Suppose 0 = -5*k + 2*u + 1133, 683 = 3*k + u - 3*u. Is 41 a factor of k?
False
Suppose 80 = -5*l + 3*p, 8 = -l - 3*p + 2*p. Let x = 69 + l. Does 23 divide x?
False
Suppose -14 = -0*w - 2*w + 4*d, 5*w - 3*d = 0. Let x be ((-2)/4)/(w/72). Does 6 divide x + 0 + -2 + 0?
False
Let t = -7 - -10. Suppose t*a = -3*l - 0*a + 12, 2*a - 2 = 0. Suppose -l*y = -0*y - 81. Does 20 divide y?
False
Does 21 divide 2/(-17) - 1500/(-34)?
False
Does 5 divide (5/(-2))/((-4)/8)?
True
Suppose 0 = -0*r - 3*r - 5*p + 80, 3*r + p = 88. Let d be r/4 + (-6)/4. Suppose 85 = -g + d*g. Is g a multiple of 17?
True
Is 12 a factor of (8 - 5) + 451 - (-2 - -5)?
False
Suppose -2*m - 40 = -7*m. Let z = 52 - m. Is 22 a factor of z?
True
Suppose 0 = -3*n + 8*n + 2*h - 292, -3*n + 2*h = -188. Let a = n - 35. Let i = 44 - a. Is 18 a factor of i?
False
Suppose 3*b = 4*q - 2*b - 17, -2*q + 4*b = -16. Let u be 1 + q + -2 + 3. Let f(w) = w**3 + w**2 - w + 5. Is 2 a factor of f(u)?
False
Let w = 189 - 71. Let l = -244 + 160. Let u = l + w. Does 16 divide u?
False
Suppose 6 = -2*l + 10. Suppose l*m - 19 = 111. Is 19 a factor of m?
False
Suppose k - 3 = -2*t, -3*t + 2*k + 2 = 4*k. Let n(x) = -x**3 + 4*x**2 + 4*x + 4. Is n(t) a multiple of 6?
False
Suppose 3*j + 101 = -k, 4*k = -k - 2*j - 453. Let n = k - -153. Does 23 divide n?
False
Suppose -u = -5*u + 4*c + 52, 6 = 2*c. Suppose 6*k - 8 = u. Is k a multiple of 4?
True
Let l(u) = u**2. Let b(c) = -4*c**2 + 7*c - 13. Let r be 18/15 - 2/10. Let q(w) = r*b(w) + 5*l(w). Is q(-9) a multiple of 3?
False
Let j(g) = -4*g - 32. Is j(-17) a multiple of 12?
True
Let h(k) = -k**3 - 10*k**2 - 11*k - 3. Suppose 3*x + 22 = i, 0*x = -5*i - x + 30. Suppose l = -w - 11, -w = -l - 0*w - i. Does 15 divide h(l)?
True
Let w(u) = 7*u + 0 + 3 + 0*u - u. Let i be w(7). Let t = i - 17. Is t a multiple of 14?
True
Suppose -4 = j - 5. Suppose -34 = -3*m - j. Is 11 a factor of m?
True
Suppose 0 = 4*u - w - 614 + 230, -u + 5*w = -96. Suppose -d + 238 = d. Suppose -5*n - f = -d, -3*n = n + f - u. Is n a multiple of 19?
False
Let w be -1*(-2 + 2) - -5. Let y(t) = -w*t - 3 + t - 7*t**2 - 2*t - t**3 - 3*t. Does 15 divide y(-6)?
True
Suppose -95 - 170 = -5*x. Is x a multiple of 15?
False
Let g be (-1)/2*(-4 + -6). Suppose -12 - g = -3*j - 5*x, x = 2*j - 20. Is j a multiple of 3?
True
Suppose -3 = d + 3*p + 6, -5*d + 4*p + 12 = 0. Suppose d*v = v - 34. Does 15 divide v?
False
Suppose 0 = -5*j - 3*j + 48. Does 2 divide j?
True
Let z(v) be the second derivative of -v**5/20 - 5*v**4/12 - 2*v**3/3 - 2*v**2 + 3*v. Let w be ((-5)/4)/((-2)/(-8)). Is 16 a factor of z(w)?
True
Let i(z) = -z**2 + 9*z - 10. Let x be i(7). Suppose -3*h + 460 = 2*h. Suppose -3*g - 28 = -l, -x*l - 3*g = -5*g - h. Is l a multiple of 7?
False
Suppose -3*b = v - 17, 4*b - 3*b = -v + 7. Suppose 36 = i - j, v*j + 25 = -3*j. Is i a multiple of 20?
False
Let h(q) = 4 - 9*q + 3*q**2 - 13*q + 6*q - 4*q**2. Is h(-11) a multiple of 15?
False
Suppose 3 = 3*i - 0*i. Suppose i = b - 2. Suppose -56 = -b*n + 5*p, -2*n + 2*p = 2*n - 84. Does 11 divide n?
True
Let f(s) = s**2 + 10*s + 6. Let q be f(-9). Let k be (-20)/(-4) - (-1 - q). Suppose 0 = -2*c + k*c - 28. Does 14 divide c?
True
Is 24 a factor of (3 - (-5 - -6))*94?
False
Suppose -10*y = -2271 - 149. Does 22 divide y?
True
Suppose 2*g + 2*g + 3*n = 250, 0 = 5*g + 3*n - 314. Is g a multiple of 24?
False
Let x = 123 - 67. Suppose -4*t + x = -0*t. Does 14 divide t?
True
Let x = -16 + 23. Is 21 a factor of (2/6)/(x/441)?
True
Suppose 5*w - 10*w = -160. Does 8 divide w?
True
Suppose 20 = 4*o - 3*b, b + 2 = -2*o + o. Let n be -2 - (o - 6)*1. Suppose -2*k - n*a + 3*a + 22 = 0, -34 = -4*k - 3*a. Is k a multiple of 9?
False
Let y be 1*(-2 + 8 + -1). Suppose -y*m = -0*m. Suppose -4*o - w + 71 = 0, 3*w + m*w = -2*o + 33. Does 15 divide o?
False
Suppose 5*w - 4 = 7*w. Does 14 divide (-310)/(-11) - w/(-11)?
True
Let b(d) = 6*d - 2*d + 10*d**3 - 5*d + 1 + 0*d**2 - d**2. Is 9 a factor of b(1)?
True
Let z(d) be the second derivative of -d**3/3 - d**2 - 2*d. Let j be (-3)/(3 - (1 + 1)). Is 3 a factor of z(j)?
False
Suppose -4*v + 7*v = 18. Let l be ((-8)/v)/((-6)/(-153)). Let o = 65 + l. Does 9 divide o?
False
Suppose 4*v - 74 = -d, 2*d + 5*v - 26 = 116. Is 22 a factor of d?
True
Let p(v) be the third derivative of v**4/24 + v**3/6 - 2*v**2. Let f be p(3). Suppose f*x + 4*s - 160 = 0, -120 = -3*x - 0*s - s. Does 14 divide x?
False
Let w(f) = -f**2 + 6*f + 3. Let m be w(6). Let v(r) = 2*r**3 - 4*r**2 + 2*r - 2. Does 11 divide v(m)?
True
Suppose 4*m - 440 = -m. Is 15 a factor of m?
False
Let x = -17 + 11. Let c = x + 13. Does 2 divide c?
False
Suppose 2*n = -2*n + 108. Is n a multiple of 25?
False
Let j be (-6)/21 - (-88)/14. Let b(i) = i**2 - 6*i + 3. Let l be b(j). Suppose n - 32 + l = 0. Is n a multiple of 12?
False
Suppose -3*o - u = 2*u - 933, -o + 293 = -5*u. Is o a multiple of 11?
True
Suppose 14*f - 9*f - 1380 = 0. Is f a multiple of 12?
True
Suppose -5*z = -2*h - 1626, 3*h - 318 = -z + h. Is 18 a factor of z?
True
Let n(u) be the second derivative of -2*u**3 - u**2/2 + 2*u. Is 11 a factor of n(-1)?
True
Suppose -3 = -4*o - 115. Let z be (-1)/(-3) + o/(-6). Is 14 a factor of (2/z)/((-2)/(-80))?
False
Let o(h) be the third derivative of -h**