et n = 61 + -27. Does 5 divide n?
False
Let f = 23 - 7. Does 3 divide f?
False
Let n = -11 + 45. Is 17 a factor of n?
True
Let f(v) = -v**2 + 6*v + 4. Let r be f(6). Suppose r*q - 3*b - 259 = 0, -3*q - 4*b + 129 + 59 = 0. Does 16 divide q?
True
Is (13 - 9)*11/4 a multiple of 4?
False
Suppose -5*z = 3*s + 394, 0 = 3*s + 3*z - 7*z + 349. Let j = 204 + s. Let f = j - 51. Is f a multiple of 15?
True
Suppose 2*v = 3*h - 20, -h - 2 = -5*v - 13. Is h a multiple of 3?
True
Let f be 36/(-16) - 2/(-8). Is 9 a factor of ((-62)/4)/(f/4)?
False
Is 50/(2*1) - (-58 + 55) a multiple of 20?
False
Suppose 0 = -10*z + 5*z + 55. Let f be -3 + 1 + -4 - 1. Let l = f + z. Is l even?
True
Let u(i) = -i**3 + 3*i**2 + 2*i - 4. Let v be u(3). Let n be v*((-6)/(-4) - 0). Suppose -5*t - 81 = -4*w, n*w - 3*t = -t + 59. Does 8 divide w?
False
Let c = 47 - 20. Let b = 311 + -184. Suppose 4*j - 31 = 2*m + b, -3*m = -j + c. Does 21 divide j?
True
Suppose -36 = -3*j - 3*d, -2*d + 46 = 3*j + 3*d. Does 2 divide j?
False
Suppose b - 20 = 7. Let j = b + -10. Does 14 divide j?
False
Let s(v) = v**2 + v + 39. Let l = -3 + 3. Does 13 divide s(l)?
True
Suppose -i = -3*i - 12. Let z(j) be the third derivative of j**5/60 + j**4/12 - j**3/3 + 2*j**2. Is 9 a factor of z(i)?
False
Let n(d) = d**3 + 2*d**2 - 4*d - 1. Let q be n(-3). Let f be (8/10)/(q/(-10)). Does 5 divide ((-8)/(-12))/(f/(-30))?
True
Let k(x) = -2*x + 8. Let u(g) = 2*g - 7. Let l(w) = 5*k(w) + 6*u(w). Let z be l(6). Suppose -2*m + z = -0*m. Is m even?
False
Let x(d) = d**2 + 8*d - 6. Suppose m + 2 = -7. Let c be x(m). Suppose 3*t + c*w = 6*t - 75, -w - 46 = -2*t. Is 7 a factor of t?
True
Let q be 546/27 - (-2)/(-9). Let p = q - -13. Is 9 a factor of p?
False
Let x = 139 - 14. Is x a multiple of 32?
False
Let r(k) be the second derivative of k**5/60 - 7*k**4/24 - 11*k**3/6 + 3*k**2/2 - 2*k. Let h(n) be the first derivative of r(n). Is h(9) a multiple of 5?
False
Let j = -14 + 16. Suppose -o - j*p - p + 24 = 0, 2*p = -3*o + 44. Is 6 a factor of o?
True
Let w = -181 - -256. Does 23 divide w?
False
Suppose -c + 7*c = 132. Does 12 divide c?
False
Suppose 2*i + 1 - 15 = 0. Is 2 a factor of i?
False
Let n be 4/(-30) - 27748/(-210). Suppose -7*j + 204 = -n. Does 12 divide j?
True
Let v(g) = -3*g**2 + 1. Let n be v(-3). Let w = -3 - n. Does 11 divide w?
False
Let g be 22/8 - (-2)/8. Suppose -g*d = -0*d - 114. Is d a multiple of 15?
False
Is 13 a factor of (1 + 5)*(-72)/(1 + -4)?
False
Is 5 a factor of (5/(-3))/(3/(-9))?
True
Suppose -p - 6 = 3. Is (7 + 0)/(p/(-9)) a multiple of 4?
False
Let l = 9 - 8. Is 8 a factor of (-19 - -1)/((-1)/l)?
False
Suppose a - 2 = 21. Let b = -3 - -5. Suppose -l = -b*l + a. Is 15 a factor of l?
False
Suppose 0 = 16*k - 17*k + 44. Is k a multiple of 31?
False
Is 7 a factor of (-1)/(3/(-51)) + 1?
False
Suppose 0 = 2*o - 30 - 12. Is o a multiple of 21?
True
Suppose 6*a - 4*a = 0. Suppose 5*d + 5 - 170 = a. Let b = 1 + d. Is 17 a factor of b?
True
Let q(z) be the third derivative of z**5/60 + 5*z**4/24 + 4*z**3/3 + z**2. Is q(-6) a multiple of 7?
True
Suppose -76 = -2*g + p, 2*g + p + 44 = 116. Let v = g - 17. Suppose 35 = 5*u - v. Does 11 divide u?
True
Suppose -d - 88 + 223 = 0. Is d a multiple of 15?
True
Suppose q - 2*h + 8 = -3*q, 5*h - 5 = -5*q. Let j(t) = 5*t**2 - t - 1. Is j(q) a multiple of 2?
False
Is -3*50/(-15)*6 a multiple of 8?
False
Suppose -116 = -0*p - 4*p. Suppose -v + 21 = -p. Suppose 0 = 3*a + 2*u - 118, -a + 2*a - 2*u - v = 0. Does 21 divide a?
True
Suppose 3*x - 3*i = 0, 0 = -2*x - 2*i + 5*i - 3. Let j = 5 - x. Suppose -j*y - 2*y = -112. Is 14 a factor of y?
True
Suppose 3*f - 4*w = -0*w + 45, w = 3*f - 36. Is f a multiple of 11?
True
Let m = 19 - 17. Suppose 3*u + m*u - 280 = 0. Does 13 divide u?
False
Suppose 2*k + 3*l - 127 = 0, -4*k + 3*l - 97 = -306. Does 5 divide k?
False
Is (144/16)/((-6)/(-44)) a multiple of 22?
True
Suppose -i + 2*s - 7*s = 162, 4*s = 12. Let m = i - -255. Suppose 0*w + m = 3*w. Does 13 divide w?
True
Let j be 2*6*(-6)/(-9). Suppose 7 = 5*q - j. Suppose q*w - 3*k - 39 = 0, 1 = -3*k - 2. Is w a multiple of 7?
False
Suppose 5*f - 20 = -3*y, 5*f = -2*y + 4*f + 11. Suppose y*u - 2*j = -54, -2*u + 0*u - 33 = 3*j. Is u/10*(-30)/4 a multiple of 5?
False
Let n(j) = -j + 1. Let i(q) = 5*q - 2. Let l(m) = -i(m) - 3*n(m). Let t be l(-4). Suppose 0*o - o + t = 0. Does 5 divide o?
False
Let w(s) = -7*s**3 - 8*s**2 - 7*s + 4. Let m(h) = -15*h**3 - 17*h**2 - 15*h + 8. Let j(a) = 6*m(a) - 13*w(a). Does 22 divide j(3)?
True
Suppose -80 = -p + 151. Is 4 a factor of 1/(-2) - p/(-14)?
True
Let x = -92 + 270. Is x a multiple of 37?
False
Let b(i) = 3*i**3 - i**2 - 3*i + 3. Does 2 divide b(2)?
False
Suppose q - 4 = 1. Suppose -125 = q*h + 5*t + 190, 0 = t + 2. Let i = -39 - h. Is 11 a factor of i?
True
Let s = 0 + 3. Suppose s*k - 45 = 2*k. Is 15 a factor of k?
True
Let y(c) = -5*c**3 - 3*c**2 - 3*c. Let d = -9 + 7. Is y(d) a multiple of 8?
False
Let x(v) = v**2 + 2*v - 1. Suppose -5*n = 0, -5*q - 15 = -0*n + n. Let d be x(q). Suppose 0 = j + k - 16, k = 3*j - d*k - 60. Is 14 a factor of j?
False
Let p be 354/11 + 4/(-22). Suppose 4*y - p = -8. Does 6 divide y?
True
Suppose 2*p + 0 - 30 = 0. Does 5 divide p?
True
Let w(i) = -22*i + 5. Let u be w(-4). Let c = u - 39. Does 18 divide c?
True
Suppose -w + 180 = 2*w. Suppose -3*u - u - w = 0. Is 1*-2*u/6 a multiple of 5?
True
Let a(u) = 0*u - 2*u + u. Let y be a(-6). Let i = -3 + y. Does 2 divide i?
False
Let d = 4 + 0. Let q = -31 + 35. Suppose 0 = -3*k - 2*a + 31, -q*k + 38 = d*a - 6. Is k a multiple of 4?
False
Let b(s) be the third derivative of 13*s**7/5040 + s**6/720 + s**5/30 - 2*s**2. Let g(n) be the third derivative of b(n). Does 20 divide g(2)?
False
Let o be 3/(-3) + 3 - 8. Let r be (-628)/o - (-1)/3. Is (-1)/4 + r/20 a multiple of 4?
False
Let b(l) = l**3 - 4*l**2 + 3*l + 2. Let v be b(3). Let x be 31 - (0 + -1)*v. Suppose -t + x = 11. Is 8 a factor of t?
False
Let n(d) = 9*d + 16*d - 9*d. Let i be n(1). Let h = i - 3. Is 9 a factor of h?
False
Suppose 0 = -2*w - 3*w + 20. Suppose -5*n = 2*g + 45, -5*g - 113 - 9 = 3*n. Does 9 divide 90/g*(-10)/w?
True
Let b = 118 + -23. Let y(l) = -l**3 + l**2 + 4. Let a be y(0). Suppose -a*i = -b - 85. Does 16 divide i?
False
Suppose -2*b - 9 = -n, 8*b = 3*b + 3*n - 25. Is 46 + b + (-3 - -3) a multiple of 12?
False
Let d(f) = -5*f**2 + f. Let j be d(2). Let s be (-12)/j*33/(-2). Let v = s - -24. Does 8 divide v?
False
Let j be 7/(-4) + (-1)/4. Let t(y) = -5*y**2 + 3*y + 2. Let c be t(j). Is 12 a factor of (0 + 1/(-1))*c?
True
Let b(i) = -i + 6. Let c(j) = -4*j + 24. Let g(p) = -22*b(p) + 6*c(p). Is g(-6) a multiple of 6?
True
Suppose 3 = 3*q - 9, 0 = -5*b - 3*q + 37. Suppose 4*j - p - 96 - 11 = 0, -3*j - b*p = -109. Suppose -4*x + j = 2*c, 4*c - c - 72 = 4*x. Does 15 divide c?
False
Let z(s) be the second derivative of -23*s**3/6 + s**2 - 2*s. Is 24 a factor of z(-2)?
True
Let w be (-6)/(-12) - (-71)/(-2). Let y = w + 98. Is y a multiple of 21?
True
Let z = 3 - -1. Suppose -5*y + 77 = -z*f, 87 = 5*y + f - 0*f. Is 14 a factor of y?
False
Let d = -148 - -188. Does 10 divide d?
True
Let f(o) = 8*o + 3. Let q be f(9). Suppose 0 = -2*v + q + 19. Is v a multiple of 26?
False
Does 46 divide ((-3)/6 - (-25)/(-10)) + 233?
True
Suppose -28*p + 23*p + 310 = 0. Does 5 divide p?
False
Let g = 40 - 29. Is 11 a factor of g?
True
Suppose -3*d + 8*d = 2*z - 63, 28 = 2*z + 2*d. Is 19 a factor of z?
True
Suppose -3*c = r - 4*r - 12, -16 = -4*c + r. Let p(a) = a**2 + 2*a + 1. Let g be p(-1). Suppose -76 = -c*v - g*v. Is 19 a factor of v?
True
Suppose -2*x = -2*u - 62, 152 - 27 = 3*x + 5*u. Is x a multiple of 14?
False
Let z = -26 + 69. Let g = -8 + -18. Let h = g + z. Does 12 divide h?
False
Let x = 81 + -50. Suppose 4*u - 3*h - 41 = 0, 4*u = 3*h + 2*h + x. Is 11 a factor of u?
False
Let g = -2 + 7. Suppose -2*s + 7*s = -2*d + 73, -g*s = -d + 29. Does 34 divide d?
True
Let v be 65/7 + 2/(-7). Suppose k = 3*o + 82 + v, 0 = -2*k + 5*o + 177. Does 16 divide k?
False
Let r(n) = n**3 - 8*n**2 - 8*n - 6. Let b be ((-54)/(-15))/(4/10). Let j be r(b). Suppose 0 = 3*c - 0*c, j*g - 18 = -4*c. Is g a multiple of 2?
True
Is (-4)/(-22) - 570/(-11) a multiple of 18?
False
Does 2 divide 2/((-1)/6*-2)?
True
Suppose -3*c 