. Let i = 240 - n. Let p = i + -215. Does 11 divide p?
False
Let t = -2085 + 2316. Is 45 a factor of t?
False
Let l = -9370 + 14073. Is 14 a factor of l?
False
Let q = 87 + 507. Suppose -7*w = 62 - q. Is w a multiple of 38?
True
Is 11 a factor of 24 - 243/(-54)*4826?
False
Let a(n) = 15*n**2 + 160*n + 2457. Does 77 divide a(-14)?
True
Let o(x) = x**3 + 13*x**2 + 7*x + 7. Let s(w) = -w. Let y(d) = o(d) + 2*s(d). Let u = 1382 - 1389. Is y(u) a multiple of 38?
True
Let o = 42 - 38. Suppose m - o*m = 9. Does 20 divide -3 - ((-44)/m)/((-10)/135)?
False
Let z = -20 - -56. Let b = -31 + z. Suppose -b*a + 346 = -154. Is 7 a factor of a?
False
Suppose 38772*i = 38810*i - 418760. Is 19 a factor of i?
True
Suppose 20524 = 3*j - l, 4*j - 5*l - 33186 = -5806. Is j a multiple of 20?
True
Let i(c) = c**2 - 17*c + 21. Let a be i(17). Let f = a + -19. Suppose f*d = -5*s + 70, d + 2*s = -2*s + 38. Is 6 a factor of d?
True
Let k = -299 - -347. Does 4 divide 4/k - (-2134)/24?
False
Let i(m) = -24*m - 167. Let k be i(-7). Let a(w) = 1752*w**3 - 2*w**2 + 5*w - 3. Is 12 a factor of a(k)?
True
Suppose 4*h = -2*k + 26, -k + 0 = -3*h + 7. Suppose x - k = m, -m - 29 = -4*x - 0*m. Does 5 divide x?
False
Suppose 41 = -5*i + 71. Suppose 223 = i*g - 107. Is g a multiple of 4?
False
Suppose b - 5*q - 4 = 30, 2*b + 3*q = 16. Suppose -6*p - 110 = -7*p - 3*t, -306 = -3*p + 3*t. Let c = p + b. Is c a multiple of 7?
False
Let h = -1765 - -3295. Is 5 a factor of (2 - 1)/(3/h)?
True
Suppose 2*r - 9 = 5. Suppose -5*u + 485 = a, -r*u - 2*a = -9*u + 206. Does 49 divide u?
True
Suppose -t + 8 = 5*k, 0 = k + 5*t + 7 + 1. Suppose 0 = 3*h + 2*u, 0 = k*h - 0*h + 5*u. Suppose -2*o - 5*z + 375 = h, 5*o = o + 2*z + 738. Is o a multiple of 36?
False
Suppose -4*z - 5*y + 7455 = 0, -1679 - 178 = -z + y. Is 186 a factor of z?
True
Suppose 24*f - 31201 - 66911 = 0. Is 14 a factor of f?
True
Suppose 0*i = 4*i + 5*f - 10, -2*i = -2*f + 4. Let w = i + 5. Suppose -544 = -w*h - 2*g, 5*h = -2*g + g + 542. Does 12 divide h?
True
Let w = -1565 + 2229. Suppose 13*k - 17*k - w = 0. Let r = 292 + k. Is 10 a factor of r?
False
Suppose 3*o - 2*g = 8134 + 5757, -5*g = -5. Does 11 divide o?
True
Suppose -196 = 2*a - 2342. Suppose 8*q - 1943 = a. Is q a multiple of 29?
True
Suppose -2*k = 8, t - 993 = 4*k + 129. Is t a multiple of 2?
True
Let z be (6 + -4)*1590/4. Suppose -12*x + 2379 = z. Is 31 a factor of x?
False
Suppose -18923 = -8*q - 5595. Suppose 427 = -3*i + q. Does 17 divide i?
False
Is -17 + (-50823)/(-54) - (15/(-18) + 1) a multiple of 12?
True
Suppose 8*s - 5432 = 4552. Is s/(-13)*(-27)/6 a multiple of 24?
True
Let c(v) = 3*v**3 - 6*v**2 - 20*v - 29. Is c(10) a multiple of 22?
False
Let t(k) = -k**3 + 25*k**2 - 13*k - 210. Is 156 a factor of t(18)?
False
Let g = 229 + -223. Suppose -g*x + 156 = -3*x. Is x a multiple of 26?
True
Let x(m) = 10*m**2 - 103*m - 37. Let w(g) = -2*g**2 + 24*g + 9. Let q(k) = 9*w(k) + 2*x(k). Suppose 2*d - 5*c = -2*c - 1, 0 = 2*c + 6. Does 3 divide q(d)?
False
Let g = 138 - 117. Is 10 a factor of -27*20/(-42)*g?
True
Let r be (-127)/(-2) - 3/(-2). Is 6 a factor of (-156)/39 + 1*r?
False
Let h be 7*(0 - (0 - 1)). Suppose -h*q + 782 + 1108 = 0. Is 18 a factor of q?
True
Suppose 4*b - u - 5589 = 0, -12*b + 5*u - 1413 = -13*b. Does 6 divide b?
True
Suppose -4*i + 7*i = 15. Suppose 2*m = 4*m + 8, -5*m = 5*s + i. Suppose -s*c = 4*c - 686. Is c a multiple of 35?
False
Suppose 12*b = -6 + 54. Is 9 a factor of 91 + 1/b*-4?
True
Let y be 1 - (1 + 0 - 322). Let g(f) = -9*f - 24. Let o be g(22). Let q = o + y. Does 25 divide q?
True
Let w be 4*(64/(-6))/(2/(-6)). Suppose 2*q + v = 6*v + 516, -4*q = v - 1032. Does 14 divide (1/2)/(q/w + -2)?
False
Suppose 5 = 3*z - 1. Suppose 0 = -t + 3, 0 = k - t + z*t + 5. Is (-176)/(-30) - k/60 a multiple of 6?
True
Let r(f) be the first derivative of 8*f**3/3 + 3*f**2/2 + 19*f + 182. Is 37 a factor of r(8)?
True
Suppose 3*y - b - 534 = 149, 4*y + b - 906 = 0. Let i = 384 - y. Does 30 divide i?
False
Let b be -1*((-36)/(-4))/(3/14). Let v = b - -61. Let h = v - 9. Is h a multiple of 3?
False
Let t(x) = x**3 + 34*x**2 + 32*x - 11. Let q be t(-33). Suppose 96 = 2*c - 3*r, 25*c + 3*r - 144 = q*c. Is c a multiple of 12?
True
Let b = 454 - 664. Let h = b - -402. Does 38 divide 9/((-27)/6) + h?
True
Let j(c) = 644*c - 127. Does 5 divide j(3)?
True
Let s(p) = 7*p + 35. Let l be s(-6). Let x be 111/(-15)*l - (-2)/10. Suppose 0 = -55*n + x*n + 33. Is n a multiple of 5?
False
Suppose 91*o - 15 = 86*o. Suppose 0 = -o*p + 3*a + 1887, -p + 5*a + 496 = -133. Does 37 divide p?
True
Suppose 17*y + 5290 = 18584. Is y even?
True
Let b(x) = 2*x**3 + 217*x**2 - 271*x - 376. Is 17 a factor of b(-107)?
True
Let i(l) = -l**3 - 2*l**2 - 9*l + 8. Let s be i(-8). Suppose 0 = 4*m + 3*k + 2*k - s, -580 = -5*m + k. Is m a multiple of 37?
False
Suppose -5*a + 14*a = -6066. Let h = -508 - a. Does 8 divide h?
False
Suppose -124*t + 746680 + 7986 + 496246 = 0. Is t a multiple of 194?
True
Let o = 252 - 249. Let c = 18 - 14. Suppose 2*i = -c*q + 175 + 7, 3*q - 261 = -o*i. Does 15 divide i?
False
Let y = 314 - 244. Is 9 a factor of (-539)/(-4) + y/280?
True
Suppose -p - 3*d = -4836, 2*p - 392 - 9277 = -3*d. Is 102 a factor of p?
False
Is 27 a factor of 689*4 - 6*(-8)/8?
False
Let v = 26 + -28. Let o be (-1)/(v - (-475)/235). Let j = 85 + o. Is 5 a factor of j?
False
Let f(m) = 22*m - 30. Let l be f(8). Suppose -t + 185 + l = 0. Is 29 a factor of t?
False
Let x be 2/(-10) + (6 - (-84)/(-30)). Is 1 + (-2 - x) + (345 - -1) a multiple of 18?
True
Let u(f) be the first derivative of f**3/3 - 6*f**2 + 3*f - 56. Let q = 13 + -1. Is u(q) even?
False
Let z(r) = -36*r + 46. Let u be z(-6). Let h = -102 - u. Let m = 696 + h. Is 36 a factor of m?
False
Let h = 33 + 18. Let y = -49 + h. Suppose 5*a - y*g + 7*g = 55, 3*a - 3*g = 21. Is a a multiple of 2?
False
Let o(r) = 71*r**2 + r + 8. Let n be 1/((-1)/2) + (-104)/104. Is 46 a factor of o(n)?
True
Let a(j) = -7*j + j + 54 - 17 - 19 - 6 + 22*j**2. Suppose -i + 7 = -0*i - 2*q, 3 = 3*i + 3*q. Does 28 divide a(i)?
False
Is 20 a factor of ((-24282)/(-24))/(-9*(-9)/648)?
False
Let o(y) = y**2 - 15*y - 158. Let u be o(-6). Suppose -2*f = 9 - 27. Let w = f - u. Does 41 divide w?
True
Suppose -12*b - 5 = -17*b. Is (-2)/b + (-7 - (8 - 609)) a multiple of 9?
False
Let f(g) = -g**2 - 6*g - 5. Let y be f(-4). Let w(o) = 30*o - 1283. Let j be w(43). Suppose j*m - 5*s = 4*m + 95, -y*s = -2*m + 63. Is m a multiple of 4?
False
Let p(z) = -z - 3. Let d be p(-1). Let s be (7/3 + -3)*3/d. Suppose 3*v + 2*y - s = 86, 2*v + 3*y = 53. Is 3 a factor of v?
False
Suppose -156 - 8 = -2*k. Let a = k + -67. Suppose 0 = h - 4*q - 6, a = 2*h - 5*q - 6. Is 2 a factor of h?
True
Let y(g) = g**2 - 18*g - 84. Let h be y(22). Suppose -h*f - 2844 = -2*r, 4*r + 5674 = 8*r - f. Is r a multiple of 93?
False
Suppose 68*l - 136 = 66*l. Suppose -l = -3*o + 2*o. Suppose 0 = 3*t - 5*z - 218, -3*t - 4*z - o = -4*t. Is t a multiple of 11?
False
Suppose 14639 - 53320 = -109*i + 4483. Is 3 a factor of i?
True
Let w = -45 - 63. Let o = -75 - w. Is o a multiple of 11?
True
Let r(f) = -4*f**3 - 7*f**2 - 7*f - 24. Let y(i) = 3*i**3 + 7*i**2 + 6*i + 22. Let h(p) = 4*r(p) + 5*y(p). Is h(6) a multiple of 3?
False
Suppose 5*b - 16*b = -9196. Does 17 divide (b - 8/1) + -5?
False
Suppose -5*q - 224 = 276. Is 16 a factor of ((-84)/(-35))/((-3)/q)?
True
Let z(h) = 20*h**2 + 19*h + 180. Is 12 a factor of z(15)?
False
Let i = -1086 + 1682. Does 17 divide (-1 + i/12)*3?
False
Let t = -89 - -281. Suppose -t*m + 1205 = -187*m. Is 14 a factor of m?
False
Is (-80)/(4/18 + (-124)/99 + 1) a multiple of 80?
True
Let j = 10 - 4. Let h be (-10)/(-3)*(-20)/(-50)*j. Is (-4*(-2)/(-12))/(h/(-1692)) a multiple of 26?
False
Let a(f) = -44*f - 5 + 18 - 10. Is 9 a factor of a(-3)?
True
Let p = 91 + -104. Let u be 1 + -4 + 621/(-9) + 0. Let i = p - u. Does 10 divide i?
False
Suppose -2*l = -12*r + 17*r - 1882, 0 = -4*l + r + 3742. Let p = l + -417. Is p a multiple of 40?
False
Suppose -5*k - 220 = -a - 8*k, -5*k + 25 = 0. Suppose a - 478 = -7*m. Does 14 divide m?
False
Suppose 13 = -6*t + 55. Suppose 3*c = -2*q + 17, -t*c + 2*c - 25 = 0. Let s = 45 - q. Is 29 a factor of s?
True
Let l = -47 + 48. Suppose 5 = -4*f - 5*k, l =