tor of v?
True
Let u = -2 - -2. Suppose -3*i + 6*i = -4*r + 538, -5*i - 10 = u. Suppose -n + 5*n = r. Does 14 divide n?
False
Suppose 0 = q - 2*n, 0 = q + 2*q + n - 21. Let f be 86/1 + q/3. Suppose 0 = -0*c + 4*c - f. Does 11 divide c?
True
Suppose -v - 60 = -2*v. Let w(t) = -t**2 + 11*t - 10. Let r be w(13). Let y = r + v. Is y a multiple of 12?
True
Suppose g - 11 = 21. Does 8 divide g?
True
Let z = -11 - -10. Let o be (-903)/(-9) - z/(-3). Suppose 4*s - g - 80 = 0, -5*s + 0*s + o = 5*g. Does 10 divide s?
True
Suppose 4*k + 202 = -3*r, -3*k = 2*k - 10. Is ((-6)/(-5))/((-3)/r) a multiple of 15?
False
Suppose 8*v - 21 = 11*v. Let m(i) = -2*i - 10. Is 4 a factor of m(v)?
True
Does 16 divide 253 + (80/(-50) - 2/5)?
False
Suppose -158 - 278 = -4*t. Suppose 4*n - t = -0*n + g, 119 = 4*n - 3*g. Does 9 divide n?
False
Let r(u) = -u**3 - 6*u**2 - 3*u + 7. Let h be r(-6). Let m = -14 + h. Does 11 divide m?
True
Let r(y) = y**3 - 4*y**2 + 4*y - 3. Is r(8) a multiple of 14?
False
Suppose -j - 2 = 3*b, 3*b - 13 = -0*b + 2*j. Let u = b + 1. Suppose u*c - 50 = -3*c. Is c a multiple of 5?
True
Let x = 35 + -11. Suppose 2*t + 4*o - 64 = -x, 0 = -4*t + 2*o + 60. Is 4 a factor of t?
True
Suppose -14 - 13 = -3*f. Let a(i) = -i**3 + 9*i**2 + 8. Does 8 divide a(f)?
True
Let o(g) = -2*g - 5 + 10*g - 3*g. Does 15 divide o(4)?
True
Let u(o) = o**3 - 14*o**2 + 11*o - 15. Is u(14) a multiple of 5?
False
Let a(u) = 14*u. Let f be a(1). Does 2 divide (-75)/(-21) + (-8)/f?
False
Let c = 2 + -1. Let a = c + 10. Is a a multiple of 4?
False
Suppose 4*o - 52 = -4*j, 4*o + j - 34 = 6*j. Let p = -8 + o. Suppose 126 - 12 = p*q. Is 19 a factor of q?
True
Let r(c) = -2*c - 5. Let g(h) = -h**2 - 6*h + 3. Let p be g(-7). Is r(p) a multiple of 2?
False
Suppose 2*o = 4*p - 14, 2*o - 4 = -2*p - 0*o. Suppose -p*n = n - 72. Is n a multiple of 6?
True
Let u be 1*(-9)/(-3) - 2. Does 19 divide 39*u - (-1 - -2)?
True
Suppose -h + 3*q = -5*h + 17, 0 = -2*q + 6. Suppose 3*o = h*g + 33, 3*g - 42 = -5*o + 2*g. Suppose 5*f = 239 - o. Is f a multiple of 18?
False
Let r be 3 + -1 + -1 - -9. Does 15 divide (4 + -10)*r/(-4)?
True
Let q = -1 + 4. Suppose -m - q*m = -40. Is 5 a factor of m?
True
Let k = -81 + 114. Is 15 a factor of k?
False
Suppose -2*k = -3*q + 6*q + 21, 3*q = 4*k - 3. Let y = k + 8. Suppose w + 52 = y*w. Is 13 a factor of w?
True
Suppose -6*y = -y - 4*n + 8, 3*y = -5*n + 10. Suppose 3*u = -2*s - y*u + 56, s = 4*u + 50. Is 22 a factor of s?
False
Let l(j) be the second derivative of j**7/2520 + j**6/360 + j**5/30 + j**4/12 - 3*j. Let i(h) be the third derivative of l(h). Does 7 divide i(-3)?
True
Let x(n) = -3*n**3 + 2*n**2 - 1. Let o be x(-1). Suppose 232 - 70 = 5*w + t, o*t = -2*w + 54. Is 11 a factor of w?
True
Let z be (-2)/(-3) - (-203)/(-21). Let c(j) = -2*j + 1. Does 11 divide c(z)?
False
Let k(y) = y + 13. Let q be k(-12). Let g = q - -2. Is g even?
False
Let w = 52 - 34. Is w a multiple of 7?
False
Suppose 2*i - 172 = 6*i. Let f = -16 - i. Is 9 a factor of f?
True
Suppose 2*w = 48 + 278. Does 26 divide w?
False
Suppose 130 + 214 = 4*m. Does 25 divide m?
False
Does 23 divide ((69/9)/(-1))/((-2)/6)?
True
Let c be 0 - -78 - (-1 + -1). Let n be (c + -2)*(-2)/(-4). Let q = 65 - n. Does 13 divide q?
True
Let n(j) = -3*j - 11. Does 19 divide n(-10)?
True
Let n = 7 - 4. Does 8 divide (-21)/(n + -6) - -1?
True
Suppose -9*q = -4*q. Suppose -3*x + 202 = -2*u, 4*x - 3*u - 97 - 173 = q. Is x a multiple of 14?
False
Let s be 1/1*(163 + 6). Suppose 2*y + 4*x - 21 = 57, 5*x + s = 4*y. Does 12 divide y?
False
Let p(d) be the second derivative of 0 + 29/12*d**4 + 0*d**2 + 0*d**3 - 4*d. Is p(1) a multiple of 12?
False
Let z = -1 - -5. Suppose 4*d + 15 = 5*q, -3*q = -2*q - 3. Suppose m - z = -d*m. Is m a multiple of 3?
False
Let a(z) = 11*z + 4. Is a(3) a multiple of 11?
False
Let j = -32 + 46. Suppose -82 = -2*o + 5*v, -o + j + 34 = v. Is 16 a factor of o?
False
Let t(r) = r**2 + 3*r + 3. Let v be (-2)/4 - (-9)/(-2). Let q be t(v). Is 11 a factor of (-3)/(q/(-6) - -2)?
False
Let m(v) = v. Let g be m(-5). Let t = g + 37. Is t a multiple of 11?
False
Suppose 3*s + 5*a - 120 = 0, 3*a = 4*s + 2*a - 137. Suppose 2*c - s = -9. Is c a multiple of 13?
True
Suppose 2 + 2 = t. Suppose 3*k - 32 = -5*h, -4*k - t = -3*k - 2*h. Suppose 0 = -k*u + 3*u + 9. Does 9 divide u?
True
Let p = 1 - 5. Let n = p - -22. Suppose -2*h + n = -34. Does 12 divide h?
False
Let j be (2 + -2 + 0)/(-1). Suppose j = g - 0*g - 45. Does 13 divide g?
False
Suppose -z = -2*i - 3*z + 102, -i + 4*z = -66. Suppose 0*u - 27 = -u + 2*s, 3*u + 3*s = i. Does 21 divide u?
True
Let z be (-1 + 16)/(7/56). Suppose -z = -3*v - v. Is v a multiple of 10?
True
Let a(n) be the first derivative of -17*n**2/2 + n - 6. Does 19 divide a(-4)?
False
Let o(i) = -2*i + 2. Let y = -16 - -11. Is 6 a factor of o(y)?
True
Suppose 0 = 4*t + t - 220. Let u(k) = 14*k**3 - k - 1. Let h be u(-1). Let q = t + h. Is q a multiple of 10?
True
Suppose -15 = -5*y + 5*z, 5*z - 15 = -3*y + 2*z. Suppose 4*l - 80 = -y*c, -2*c + 77 = 2*c + l. Is c a multiple of 11?
False
Let z = 79 + -131. Let m = z - -111. Is 12 a factor of m?
False
Suppose 0 = -5*u - p + 3*p + 333, -p - 4 = 0. Does 17 divide u?
False
Suppose -4*j = -0*j - 20. Suppose -j*t + 54 - 14 = 0. Is t a multiple of 4?
True
Suppose c + 5*r + 88 = 0, -c - 49 = 3*r + 39. Is 16 a factor of (c/(-2))/(-2)*-2?
False
Suppose -5*x - 3*l = 34 + 11, 4*l = 20. Let p = 9 - x. Does 7 divide p?
True
Let p(w) = w**2 - 2*w + 5. Does 34 divide p(9)?
True
Let z = -3 + 3. Let t = 5 + z. Does 5 divide t?
True
Let p(l) = -l**2 + 2*l + 11. Let k be p(4). Suppose -x - 5 = -5*w + 4*w, -5*w - 2*x = -4. Is 14 a factor of ((-132)/k)/(0 - w)?
False
Let p be (-2)/8 + (-36)/(-16). Is ((-90)/3)/(-3) - p a multiple of 8?
True
Is 9 a factor of (-2)/(-2)*-2*(-18)/4?
True
Let r(v) be the second derivative of -v**4/12 + 3*v**3/2 - 5*v**2/2 + 10*v. Is r(3) a multiple of 5?
False
Suppose -5*c - 118 = -t, 3*t = 5*c - 183 + 527. Is t a multiple of 19?
False
Let d be 20/(-1 - 6/(-3)). Let k(r) = -8*r + 2. Let n be k(2). Let q = d + n. Is q a multiple of 5?
False
Let x = -4 - -40. Suppose -4*o = -6*o + x. Is o a multiple of 5?
False
Let h(u) = u + 6. Is 3 a factor of h(4)?
False
Let q = 26 - 61. Let t = 56 + q. Is 7 a factor of t?
True
Let n(a) = a + 16. Does 4 divide n(0)?
True
Suppose 0 = 5*g - 2*x - 892, -x = -2 - 2. Does 12 divide g?
True
Let h = 93 - 49. Is h a multiple of 20?
False
Suppose -2*n + 129 = -0*w + w, -3*w = 3*n - 390. Does 13 divide w?
False
Let x(g) = g. Let l be x(3). Does 13 divide 52/(-4*l/(-6))?
True
Let m be 19*2*(-12)/(-24). Suppose -y - 2*a + m = -1, -4*a = 4. Does 22 divide y?
True
Suppose -c - 7*w + 2*w - 20 = 0, -w = 4. Let s(v) = -v + 12. Is 6 a factor of s(c)?
True
Let p(d) = 29*d**2 - 1. Let w be p(-1). Suppose 79 = c + w. Is 19 a factor of c?
False
Let c(r) = r + 66. Is c(0) a multiple of 22?
True
Suppose -2*w + 4*z = -88, 5*w = 3*z - z + 204. Does 20 divide w?
True
Suppose z - 1 = -15. Let n = -5 - z. Is n a multiple of 6?
False
Let r(p) = p - 7. Let o be r(-5). Let m = o + 17. Suppose m*l - 2*l = 12. Does 3 divide l?
False
Suppose -4*o = -0*o - 36. Suppose -o*b + 12*b = 123. Is 12 a factor of b?
False
Let i = 300 - 149. Does 17 divide i?
False
Let h(v) = -v. Let r be h(0). Suppose -125 = -5*f - 5*j, r*f + 5*j = f - 49. Is 10 a factor of f?
False
Let q = -17 - -19. Suppose -c - 27 = -q*c. Is c a multiple of 9?
True
Let h(u) = u - 1. Let k be h(4). Suppose 0*f + f + 2*q - 4 = 0, 0 = -f - 3*q + 4. Suppose 2*b - 5*y = k*b + f, -4*b - 5*y = -44. Does 15 divide b?
False
Suppose -5*a + a + 18 = -2*p, 4*p + 4*a + 36 = 0. Let u = -5 - p. Is 2 a factor of u?
True
Suppose -4*q + 221 = 4*y - q, 3*y - 167 = -q. Is y a multiple of 14?
True
Suppose 4*v = 13*v - 3807. Does 49 divide v?
False
Let n(r) = -12*r + 1 + 26*r + 3*r. Does 22 divide n(2)?
False
Let u(g) = g + 12. Let o be u(-7). Let z = o + -1. Is z a multiple of 4?
True
Suppose -13 = 2*f + 29. Let o = 17 - f. Is o a multiple of 12?
False
Suppose 0 = 5*x - 25 - 5. Let u be (-34)/(-6) + 2/x. Suppose u*z - 4*z + 4*d - 26 = 0, 2*z - 26 = d. Does 13 divide z?
True
Let a = -1 + 6. Suppose j - a*j = -32. Is j a multiple of 8?
True
Let k = 76 - 109. Let m = -5 - k. Is m a multiple of 