
False
Let u = -85 - -134. Does 20 divide u?
False
Suppose -4*s + 22 = -3*w - 8, -9 = -w - 5*s. Does 2 divide 3/w*(-16)/2?
True
Is (-3*(-62)/(-5))/(3/(-15)) a multiple of 41?
False
Suppose 0 = 3*f - 6*f + 18. Let r be (f/5)/((-6)/40). Let m(b) = -b**2 - 8*b + 3. Is m(r) a multiple of 3?
True
Suppose -4*z - 2 + 14 = 0. Suppose -3*w + 4*w - 49 = 5*c, z*w = -5*c + 127. Is 22 a factor of w?
True
Suppose 5*d = -2*g + 9, -3*g + 7 = -3*d + 2*g. Suppose -2*v + 21 = 2*j + d, 0 = -2*j - v + 24. Is 7 a factor of j?
True
Suppose r - 3*y = 4, 2*r - 3*y + 15 - 38 = 0. Is r a multiple of 11?
False
Suppose 27 = -4*g + g. Let n = g + 32. Is n a multiple of 7?
False
Is 29 a factor of 27/(-18) - (-119)/2?
True
Suppose -272 = 6*u + 76. Let f = -16 - u. Is f a multiple of 7?
True
Is (-2)/4 - (118/(-4) - -2) a multiple of 9?
True
Suppose -3*y + 4*y - 11 = 0. Is y a multiple of 5?
False
Let x(l) = l - 4. Let j be x(6). Suppose 38 + 4 = j*t. Is t a multiple of 8?
False
Let h be 5 - (-1)/((-2)/6). Suppose -h*t - 5*c + 209 = 0, 0*t + 4*t - 431 = 3*c. Suppose 0 = 5*j + 5*x - 146 + 36, t = 5*j + 4*x. Does 14 divide j?
False
Is 21 a factor of (-5820)/(-14) + ((-140)/(-49))/10?
False
Let i = -21 - -15. Let n = 12 + i. Let h = n + 22. Is 10 a factor of h?
False
Suppose -2*t + 12 = -4. Suppose 4 = h - t. Is 6 a factor of h?
True
Suppose 4*t - 2*t - 2 = 0. Is t*((1 - 3) + 27) a multiple of 9?
False
Let d be (-4)/(-10) - 4/10. Let w(b) = -b + 6. Let j be w(4). Is 0 - 0 - (d - j) a multiple of 2?
True
Let x(i) = -i**2 - 32*i - 43. Is 34 a factor of x(-19)?
True
Let l(z) = -z**3 + 7*z**2 + z - 7. Let w be l(7). Let d = -6 + w. Let a = 18 + d. Is a a multiple of 6?
True
Suppose 0 = w + 2*m - 16, -3*w + 23 = 2*m - m. Is 0 + (w - (-3)/(-3)) a multiple of 5?
True
Suppose -4*c + 1 + 3 = 0. Let z(d) = 3*d**3 + d**2 + 2*d - 2. Is z(c) a multiple of 4?
True
Let k(z) be the first derivative of -z**3/3 + 3*z**2 - 6*z - 2. Is k(4) even?
True
Suppose 2*g + 0*g + 4*d = 0, -3*g = -5*d - 11. Suppose -5*b + 45 = -g*b. Suppose 2*a + b = y, -5*y = -9*a + 4*a - 100. Is y a multiple of 12?
False
Suppose 0 = 2*x - 4*x + 14. Suppose -19 + x = 3*y. Does 11 divide (3 - 11)*(0 + y)?
False
Suppose 5*o + 0*u = u - 34, -3*o = -5*u + 38. Does 17 divide (-85)/(-3) - (-2)/o?
False
Suppose -4*p = -4*i - i + 316, -12 = 3*p. Suppose 5*m - i - 150 = 0. Let n = -25 + m. Is n a multiple of 17?
True
Suppose -4*x = -x - 18. Does 4 divide x?
False
Let x = 57 + -33. Is 4 a factor of x?
True
Let g(n) = -n**3 + n**2 - n. Suppose x - 2*x + 3*a = -1, -4*a + 6 = -5*x. Does 5 divide g(x)?
False
Let p = -122 + 178. Is 23 a factor of p?
False
Suppose 0*v - 2*v = 252. Let b = v - -178. Is b a multiple of 26?
True
Let o be 97/(1 + (-2 - -2)). Suppose 4*h + 5*j - o = 0, -3*j + j + 25 = h. Is h a multiple of 21?
False
Let g = 60 - 53. Does 6 divide g?
False
Let c be (0/1)/((-2)/2). Suppose c = -4*o - o + 50. Let f = o - -5. Is f a multiple of 12?
False
Does 27 divide 4 + 2/(2/77)?
True
Let f = 22 + -22. Suppose -3*n + 116 + 31 = f. Is n a multiple of 21?
False
Suppose -r + 4*p = 3*p - 2, 4*r + 3*p - 22 = 0. Suppose -3*o - 4*h - 14 = 0, -r*h - 4 = o + 14. Suppose 3*c + f = 91, o*c - 3*f - 62 = -5*f. Does 15 divide c?
True
Let g = -7 - -4. Does 10 divide (g - 94/2)/(-1)?
True
Let s = -5 - -12. Let p = -4 + s. Does 3 divide p?
True
Let t(b) = -b**3 + 6*b**2 - 5*b + 7. Is t(4) a multiple of 9?
False
Let y = 9 - -2. Suppose -2*a - a = q - 19, 0 = 4*q - a - y. Is 3 a factor of q?
False
Let w(v) = -v - 3. Let u be w(0). Let l(g) = g**3 + g**2 - 4*g - 4. Let p be l(u). Let q = p - -16. Is 3 a factor of q?
True
Suppose -3*z + 56 = -3*b + 11, 0 = -4*z + 5*b + 65. Does 17 divide ((-136)/z)/((-4)/10)?
True
Suppose 3*h - 7 = 2. Let n(a) = 4*a. Is n(h) a multiple of 10?
False
Suppose -x - 2*r + 202 = 0, 9*x = 10*x - 5*r - 230. Does 31 divide x?
False
Suppose 5*v - 48 - 37 = 0. Is 17 a factor of v?
True
Suppose 3*f = -6, 0 = -4*h - 5*f + 294 + 160. Suppose -m = 3*m - h. Suppose -4*p + m + 3 = 0. Is p a multiple of 3?
False
Let c = 50 - -100. Does 30 divide c?
True
Let d = 21 - 16. Suppose -4*y - 4 = 16, -d*y + 167 = 4*g. Is 8 a factor of g?
True
Suppose 2*y - i - 171 = 0, 0*y + 4*y = -5*i + 349. Is 43 a factor of y?
True
Let a(y) = y**3 + y - 17. Let g be a(0). Let j = -6 - g. Is 3 a factor of j?
False
Suppose 0 = 3*u + h - 253, -263 = -3*u + 2*h - h. Suppose -4*s + d + u = -s, 0 = 5*s + 4*d - 115. Is s a multiple of 9?
True
Let j be 1 + 7 - (0 - -3). Suppose 20 = j*a - 0. Suppose -5*l - 110 = -a*o, 5*o - 3*l = -0*l + 144. Does 8 divide o?
False
Does 34 divide 1 + -1 + (199 - -5)?
True
Is 6 a factor of 0 - (-140)/6 - (-20)/(-60)?
False
Let h(x) = -x**3 + x**2 + x + 95. Is 7 a factor of h(0)?
False
Let i be 2 - (-2 - 7) - 1. Let d = i - -3. Is d a multiple of 13?
True
Is 302/8 + 5 + (-115)/20 a multiple of 8?
False
Suppose 2*f - 342 = -2*j, 2*j + 883 = 7*f - 2*f. Is f a multiple of 25?
True
Let z = -141 + 11. Let w = -31 - z. Is w a multiple of 17?
False
Let t = 72 + -39. Let f = 7 + -5. Is 13 a factor of t + (-3)/((-3)/f)?
False
Let d(h) = 7*h - 1. Let f be d(7). Suppose -2*l + 0*l = -f. Suppose 2*y + y = l. Does 3 divide y?
False
Suppose 107 + 21 = 4*y. Is 13 a factor of y?
False
Suppose 2*q - 183 = 4*q + n, 5*q + 450 = -4*n. Let l(a) = 3*a**2 - a - 7. Let d be l(-7). Let z = q + d. Does 15 divide z?
False
Let v = 2 - -1. Suppose v + 3 = 3*o. Let u = 5 + o. Is 3 a factor of u?
False
Let w(y) = -y + 1. Let a be w(-4). Suppose -180 = -5*b + 5*u, -3*b + 8*b + a*u = 200. Is 19 a factor of b?
True
Let r = 96 - -39. Is 35 a factor of r?
False
Suppose 3*t - 77 = n, -3*t - 2*t + 355 = -5*n. Let o = -46 - n. Is 10 a factor of o?
False
Suppose 120 = -0*d + 3*d + 5*m, 0 = 3*d - m - 102. Let g = -17 + d. Suppose 103 - g = 5*t. Does 7 divide t?
False
Let m(g) = g**2 - g + 6. Let y(p) = -p**2 - 5. Let b = -18 + 13. Let q(f) = b*y(f) - 4*m(f). Is 13 a factor of q(-6)?
True
Suppose -m - 2 = -4, 0 = -4*p - 5*m - 66. Let o = p - -42. Let n = o - -3. Does 12 divide n?
False
Let v be -267*(1 - 2) - 2. Suppose -3*r + v - 73 = 0. Suppose -56 - r = -5*o. Is o a multiple of 12?
True
Let k be (-40)/4*(-1)/2. Suppose -w = -5*w - q + 90, 2*w + k*q = 54. Suppose -4*y + 0*h + h = -w, -y - h + 3 = 0. Does 2 divide y?
False
Let i = 7 + 13. Is i a multiple of 10?
True
Let o = 81 + -60. Is 3 a factor of o?
True
Suppose 0 = -3*c - 0*c + 48. Suppose -14 - c = -5*k. Is k a multiple of 3?
True
Is 7 a factor of 14 + (-1 + 3 - -1)?
False
Suppose 4*l + 12 = 0, 2*l - l = 5*y - 58. Let r = y + 7. Suppose z + 5*q = -1 - 6, -2*z + r = 2*q. Is 13 a factor of z?
True
Let s(y) = -y**2 - 4*y + 5. Let b be s(-5). Let o(i) = 6*i - 9 + 16*i**2 + b*i - 6*i**2 + i**3. Does 18 divide o(-9)?
True
Let m = -17 - -33. Let o = m - -2. Is o a multiple of 7?
False
Let z be (0 + 0)/(-3 + 1). Suppose -5*j + 96 - 36 = z. Does 6 divide j?
True
Let s = 92 - 21. Does 13 divide s?
False
Let z(t) = -t**2 + 10*t + 9. Is z(10) a multiple of 2?
False
Let r(i) = 2*i**2 - 6*i - 6. Is 25 a factor of r(-4)?
True
Let v be (0 - 2)*(-3)/2. Suppose 3*i - 3*s - 18 = 0, 2*s + 15 = i + 4*i. Is (3 - 2) + i*v a multiple of 2?
True
Let v(m) = m**3 + 3*m**2 - 2*m - 3. Does 10 divide v(3)?
False
Suppose 5 + 1 = n - 3*y, 5*y = -4*n + 92. Does 6 divide n?
True
Suppose 3*h + 67 = 2*g + 4*h, -4*h = -2*g + 92. Is g a multiple of 18?
True
Suppose -4*w - 10 = -98. Is 14 a factor of w?
False
Let k(c) = -c**2 - 5*c - 1. Let a be k(-3). Let u be -5*((-2)/a)/1. Does 14 divide (u/6)/((-2)/(-330))?
False
Let d(f) = 3*f + 0*f + 2 + f. Let p(w) = -w**3 + 4*w**2 - w - 3. Let g be p(3). Is d(g) a multiple of 7?
True
Suppose 17 - 396 = -3*r + z, -2*r + 242 = 2*z. Suppose -5*c + r = 10. Does 8 divide c?
False
Suppose 2*z + z = 2*j - 62, j + 4*z - 9 = 0. Is j a multiple of 5?
True
Let i = -4 + 6. Suppose 4 = c + 2*w, 3*c - 2*w - 26 = i. Is 8 a factor of c?
True
Let p = 54 - 51. Let n = 6 - 2. Suppose n*s = 4, 2*j - p*j - 3*s + 26 = 0. Is 6 a factor of j?
False
Let d(j) = 28*j**2 - 2*j - 8. Does 18 divide d(-2)?
True
Let o(t) = t**3 + 11*t**2 + 10*t + 9. Is o(-10) a multiple of 9?
True
Suppose 5*g + 61 = 1. Let k be (-8)/g - 4/6. Is 14 a factor of 28 + (k - (-2 + 2))?
True
Suppose 7*q = 2*q + 240. Let g = 8 - q. Let z = -18 - g. Is 11 a factor of