t c be i(-2). Let f = -12 - c. Let h = 97 + f. Is h a multiple of 17?
True
Suppose 2*b + 2*h - 1646 = 0, -13*h + 12*h + 4127 = 5*b. Is 7 a factor of b?
True
Let n be (16/(-6) + 2)/(2/(-39)). Suppose 2 = -y - 5*u - n, -25 = -y + 3*u. Is y a multiple of 7?
False
Let c = 675 + -110. Does 17 divide c?
False
Does 55 divide 2/6 + (-19111)/(-87)?
True
Suppose 5*m = 2*z + 650, -127 = -2*m + m + z. Suppose -13 = 2*d + 2*v - 77, -2*v + m = 4*d. Is 7 a factor of d?
False
Let j = 268 + -38. Does 46 divide j?
True
Is (-4)/(192/(-19500)) - 3/12 a multiple of 14?
True
Suppose -3*f + 56 = c, -3*f - 204 = -2*c - 47. Does 21 divide c?
False
Suppose 4*n = -2*p + 52, -n = -2*p + 6 - 24. Suppose -2*a + 34 = n. Is 8 a factor of a?
False
Let h = -106 + 281. Does 35 divide h?
True
Let a = -366 - -674. Does 30 divide a?
False
Let x = 145 - 37. Does 5 divide x?
False
Suppose 4*j - 781 = -5*l, -7*j + 6*j = -2*l - 192. Let q = j - 86. Is 12 a factor of q?
True
Suppose 0 = 11*l - l - 2550. Does 17 divide l?
True
Let c = 1 - -2. Suppose l - c = 3. Suppose -4*z - 48 = -4*i, l*z - 2*z = -3*i + 57. Is 5 a factor of i?
True
Let o(j) = j**2 + 4*j. Suppose b - 2*f = -16, 4*f = f + 12. Let c be o(b). Let u = 15 + c. Is u a multiple of 10?
False
Let o(r) be the third derivative of r**5/60 + r**4/24 - 7*r**3 + 12*r**2. Is 14 a factor of o(-15)?
True
Let v(z) = 99*z**2 + 5*z + 3. Is v(2) a multiple of 18?
False
Let z(g) = g**2 + 6*g - 2. Let m be z(-8). Suppose -5*i = -3*c + 23 + m, 4*c = i + 21. Let w(p) = -p + 8. Does 2 divide w(c)?
True
Suppose 4*d - 607 = 2*d + 5*h, h = 5*d - 1552. Let q = d - 166. Suppose -q = -5*b - 0. Is b a multiple of 18?
False
Let y = 4 - -1. Let d be y/2 - (-6)/4. Suppose 2*a = -5*p + 136, -p = d*a - 14 - 6. Is 14 a factor of p?
True
Let a be ((-2)/(-4))/(4/16). Suppose -7*m = -a*m + 15. Let h(f) = -4*f + 1. Does 11 divide h(m)?
False
Suppose 0*p = 5*w + p + 1040, 2*p = -2*w - 416. Let h be w/(-6)*(-18)/(-8). Suppose o = -o + h. Is o a multiple of 17?
False
Suppose -5*o - 2*d = -2*o - 9, -5*o + 2*d - 1 = 0. Let a(b) = -b**2 + 1. Let i(q) = 7*q**2 - 3. Let z(v) = o*i(v) + 6*a(v). Does 12 divide z(3)?
True
Suppose 0*p + 2*p = -2*x + 26, -2*p + 6 = 0. Suppose 6*v - v - 5 = 0. Let y = x - v. Is y a multiple of 7?
False
Let k(i) = -11 - 15*i + i**3 - 6*i**2 + 3 + 9*i. Let j be k(7). Let u = 6 - j. Is 3 a factor of u?
False
Let c be (2 - (-10)/(-3))*-3. Suppose 5*h = c + 11, 12 = 3*y - 2*h. Is 4 a factor of y?
False
Let m = -287 + 342. Does 11 divide m?
True
Suppose 4*p + 104 = 3*f - f, 0 = -4*f - 3*p + 252. Is 48 a factor of f?
False
Suppose 2518*d = 2524*d - 14874. Is d a multiple of 37?
True
Suppose -4*p + p = 9, -2919 = -2*n - 3*p. Does 61 divide n?
True
Suppose 13*d - t = 12*d + 225, 2*t - 924 = -4*d. Is 12 a factor of d?
False
Suppose 0 = -0*b + 3*b - 45. Suppose 0*m = -2*m + 22. Suppose r = m + b. Is 7 a factor of r?
False
Suppose t = -4*z - 478, 0 = 3*z - 3*t + 177 + 174. Let h = 221 + z. Is 17 a factor of h?
True
Suppose -5*p - 14 + 4 = 0. Let a(d) be the first derivative of -d**4 - 4*d**3/3 - 2*d**2 - 2*d - 1. Does 3 divide a(p)?
False
Suppose 0 = -3*o + 35 + 4. Let r = o + -9. Suppose 2*v + r = 0, -n + 4*n - 20 = -2*v. Does 5 divide n?
False
Let d = 19 - 15. Suppose 0 = -4*q, -2*r + d*r - 5*q = 50. Is 25 a factor of r?
True
Let k be 3*(-34)/7*1*7. Let z = -49 - k. Is z a multiple of 24?
False
Let u(w) = 15*w - 81. Does 15 divide u(20)?
False
Let j(d) = -2*d**3 - 75*d**2 + 20*d - 54. Does 14 divide j(-38)?
True
Suppose t - 1 = -4*z - 5, 4*t + z - 14 = 0. Suppose 3*x = t*p + 180, 3*x - 2*x + p = 53. Is x a multiple of 9?
False
Let p(w) = 116*w - 33. Does 15 divide p(3)?
True
Let y be (-27)/(-45) + 274/10. Suppose -d - y = -0*d. Let f = -16 - d. Is 2 a factor of f?
True
Suppose 9*o - 2346 = 48. Does 12 divide o?
False
Suppose -3*g - 116 = g. Let r = g + 33. Suppose -202 = -r*n + 174. Is 30 a factor of n?
False
Suppose 5 = f - 3. Does 23 divide 546/f - (-23)/(-92)?
False
Suppose -393*b + 4290 = -383*b. Is b a multiple of 33?
True
Suppose 3*s + 0*s - 12 = 0. Suppose 5*n = 4*f + 184, -f - 197 = s*f + 2*n. Let j = f - -74. Is j a multiple of 17?
False
Let f = -15 + 18. Suppose -6 = -f*o - 0. Suppose o*v - v = 29. Does 9 divide v?
False
Let f(v) be the first derivative of v**4/2 - v**3 - v**2/2 + 4*v + 7. Let m be f(4). Let o = m - 25. Does 32 divide o?
False
Let o(h) = 51*h - 37. Does 47 divide o(10)?
False
Let t be 5*1*5*(-3)/(-15). Suppose 330 + 780 = t*v. Is 37 a factor of v?
True
Let x = 305 - 153. Is 29 a factor of x?
False
Suppose 0 = -8*l + 5*l - 5*v + 375, -2*l + 228 = -4*v. Is 15 a factor of l?
True
Let t = 46 - 42. Let b = 83 + t. Is b a multiple of 29?
True
Let l = -122 + 382. Is 35 a factor of l?
False
Does 10 divide (-1 + -16)*(-768)/(8 + 0)?
False
Suppose 3*h + 3 = 0, -i + 2*h = -6 - 0. Suppose 3*s - z = -i, -12 = s + 4*z - 2. Is (s/4)/((-2)/36) a multiple of 9?
True
Let x be 4/(-4)*3 + 80. Suppose x - 7 = 2*u. Is u a multiple of 7?
True
Let x(o) = -5*o**3 - o - 1. Let j be x(-1). Suppose 114 = -j*t - 4*a, 3*t = 6*a - 3*a - 90. Let f = t - -48. Is f a multiple of 11?
True
Let r = 757 - 302. Does 4 divide r?
False
Let d = 132 + -145. Let j = d - -111. Is 8 a factor of j?
False
Let f(d) = -d**3 + 7*d**2 + 3*d - 19. Let s be f(7). Suppose 0 = -j, 5*p - s*j + 780 = 10*p. Is 52 a factor of p?
True
Let l be -4 - -420*(2 - 1). Suppose -14*j + 102 = -l. Does 3 divide j?
False
Let b(t) = -2*t**2 + 2*t + 450. Is 15 a factor of b(0)?
True
Let l = 2 + -2. Let s be 4/8*-6 + 6. Suppose -m - 4*m + s*q + 15 = 0, l = -5*q + 25. Is 2 a factor of m?
True
Let d be (-24)/54 + (-8)/(-18). Let a(z) be the third derivative of -z**6/120 + z**5/60 - z**4/24 + 15*z**3/2 - z**2. Does 15 divide a(d)?
True
Let v = -8 + 12. Suppose u - v*f = -0*u + 24, 4*u = -2*f + 96. Is u a multiple of 13?
False
Suppose 5*f - 2*p + p - 3544 = 0, 3*f - 2108 = -4*p. Suppose -n = 5*n - f. Is 14 a factor of n?
False
Let t = 6134 + -4328. Is 86 a factor of t?
True
Let h(r) = -4*r**2 - 39*r - 5. Is h(-7) a multiple of 31?
False
Suppose 5*b - g - 301 = 115, 0 = 2*g - 8. Is 44 a factor of b?
False
Suppose 304*z = 293*z + 8679. Does 85 divide z?
False
Let n(k) = 27 + 11*k - 9*k**3 - 9*k**3 - 10*k**2 + 19*k**3. Does 25 divide n(9)?
False
Suppose -a + 25 = -3*f, 0*f - 7 = -a - 3*f. Suppose a*g = 15*g + 66. Let x = g - -29. Does 19 divide x?
True
Let g(v) be the first derivative of v**3/3 - 9*v**2/2 - 8*v + 1. Let h be (0 - 87/(-9)) + 232/174. Is 14 a factor of g(h)?
True
Let b(z) = 27*z**2 + 8*z - 19. Is b(3) a multiple of 11?
False
Let a(s) = s**2 - 8*s + 12. Let n be a(6). Suppose n = -0*j + 5*j - 40. Suppose 10 = 3*u - j. Does 4 divide u?
False
Suppose 3*z + 22 = t + 4*t, -4*t - 5*z + 25 = 0. Suppose -t*l + 210 = -180. Does 13 divide l?
True
Suppose 21 = -3*d + 21. Suppose -3*a - 4*k + 3*k = -10, -5*a + 16 = k. Suppose 5*o + a - 88 = d. Is 17 a factor of o?
True
Let h = 896 - 248. Is h a multiple of 72?
True
Let z = -4 + 12. Is 4 a factor of z?
True
Suppose 132 = 5*v - 133. Suppose 67 = -5*g - v. Let z = 0 - g. Does 12 divide z?
True
Let w = -644 + 671. Is 9 a factor of w?
True
Suppose -11*o = -6*o - 3*s - 1421, 5*s = 5*o - 1425. Is 50 a factor of o?
False
Let i(o) be the second derivative of -o**4/12 + 2*o**3 - 7*o**2/2 - 8*o. Let q be i(11). Is (-3)/(-12) - (-135)/q a multiple of 17?
True
Let v = -90 + 22. Let d = 20 - v. Is d a multiple of 22?
True
Suppose -4*i = -d - i + 10, 2*i - 5 = 3*d. Let l(c) = -c**3 - 3*c**2 + 6*c - 6. Let p be l(d). Suppose 0 = b - 11 - p. Is 11 a factor of b?
False
Let b = 343 + -315. Does 11 divide b?
False
Let b be (-4 - -4) + 0 + 3. Suppose 0 = b*l - 8*l + 1125. Suppose 2*i - l = -i. Is 25 a factor of i?
True
Let i = -30 + 26. Let u be (2 - (1 - i)) + 1. Let y(w) = 2*w**2 - 4*w - 3. Is y(u) a multiple of 5?
False
Let j = -1148 - -1989. Is j a multiple of 16?
False
Suppose -5*d - 3*u + 3183 = -5152, -2*u = -8*d + 13302. Is 19 a factor of d?
False
Let i be (-64)/(-80)*5/2. Suppose -5*r - h = -180, -5*h + 108 = r + i*r. Is r a multiple of 18?
True
Suppose 4*i - 7 = t, -i - 3*t + 12 = -2*i. Let c(o) be the third derivative of 7*o**4/12 - o**3 + o**2. Is 11 a factor of c(i)?
False
Let g(z) = -1 + z**3 + 4 - 1 + 2*z**2. Suppose 3*p - 7 = 5*n + 9, 0 = n + 4*p - 6. I