u + 321. Let q = 78 + a. Is q even?
True
Let p(c) = 2*c**3 + 31*c**2 - 21*c + 16. Let y be p(-16). Suppose -3*g = 9, -5*g = 2*f - g + 96. Let t = y + f. Is 11 a factor of t?
False
Let r(t) = -t**2 + 11*t + 21. Let y be r(12). Suppose 0 = -7*x + y*x - 16. Suppose x*l = -2*l + 1210. Is 11 a factor of l?
True
Let r be (-2 + (1 - 0) + 1)/3. Suppose j + 34 - 100 = r. Suppose 36*x = 42*x - j. Is 8 a factor of x?
False
Suppose 0 = -w - 2*g + 393, 5*w - 8*g + 7*g - 1954 = 0. Let m = w + -295. Is m a multiple of 32?
True
Let o be 23 - (2 + 0)*2. Let m = o - 15. Suppose -i - m*n = -130, 2*i = i + 4*n + 90. Is i a multiple of 16?
False
Does 10 divide 33/((-10)/(-116 + 6))?
False
Does 11 divide 13533/(-39)*(-64 + -5)?
False
Let t be 2094/9 + (-3)/(-9). Let b = t + -59. Is b a multiple of 6?
True
Let v(b) = 215*b**3 + 9*b**2 - 87*b - 112. Is 17 a factor of v(6)?
False
Let y = 27436 + -17020. Is y a multiple of 112?
True
Suppose -8*r - 4*r = -3*r. Suppose r = -i - 242 + 404. Is i a multiple of 22?
False
Suppose 4*g = 4*y + 12, -2*y = g - y - 9. Let i be (g/(-20)*-4)/((-2)/(-155)). Let a = 134 - i. Does 12 divide a?
False
Suppose 0 = 3*l - 2*b - 3411, -5950 = -3*l - 4*b - 2503. Is l a multiple of 5?
False
Let v = 382 + 465. Suppose 3*z + 452 + v = 4*d, -3*d + 973 = -2*z. Is d a multiple of 6?
False
Let c(s) = 37*s**2 - 98*s - 22. Is 59 a factor of c(12)?
True
Let a(y) = 2*y**2 - 23*y + 21. Suppose 3*p = -4*k + 6*p + 50, k + 5*p = 1. Is a(k) a multiple of 2?
True
Suppose 38*r - 10904 = 24246. Is r a multiple of 25?
True
Is (-125)/(-20) + -6 + (-4)/(16/(-12635)) a multiple of 2?
False
Let y(d) = d**3 + 51*d**2 + 9*d - 719. Is y(-46) a multiple of 3?
True
Let p(f) = -f + 1. Let k be p(-2). Suppose 5*q - k*r - r = 34, 4*r - 16 = 0. Let t = 101 + q. Does 19 divide t?
False
Suppose -4*t + 47*k - 49*k + 33634 = 0, 0 = 5*t + 5*k - 42025. Is t a multiple of 12?
True
Let j be 2/(35/7 - 4). Suppose -o + 122 = -4*y - 146, -j*y = o - 298. Does 7 divide o?
False
Let x = 7 + 7. Suppose -27 = -x*m + 13*m. Does 9 divide m?
True
Let p be (-1854)/4*1/(33/(-22)). Let h = p + -210. Does 26 divide h?
False
Let f be (10/(-6))/(2/(-6)). Let p(g) = 32*g**2 - 121*g + 123. Let y be p(1). Let l = y + f. Is 4 a factor of l?
False
Let b = -40 - -32. Let g(q) = q**2 + 1. Let t(l) = -l**3 - 10*l**2 + 6*l + 6. Let x(z) = -2*g(z) - t(z). Is 9 a factor of x(b)?
False
Let g(q) = 341*q - 3512. Does 20 divide g(14)?
False
Let q(c) = 21*c + 98. Suppose z = -10*z + 187. Is 13 a factor of q(z)?
True
Let x be 4 + (2 - (-172)/4). Let y = x - 49. Suppose 3*m + f - 314 = y, 2*m + 3*m - 540 = -5*f. Does 23 divide m?
False
Let y be 129 - -4*(-1)/(-2). Let v = y + -101. Is v a multiple of 14?
False
Suppose 2*m + 3*u = m + 100, 2*m = 4*u + 250. Let x = 184 - m. Is 21 a factor of x?
False
Let z(c) = 2*c**3 + 29*c**2 + 16*c + 12. Suppose 18*n + 284 = 68. Is 18 a factor of z(n)?
True
Does 280 divide -16 - -25 - (-22951 - 0)?
True
Let y(h) = 77*h**2 - 195*h + 960. Is y(5) a multiple of 15?
False
Suppose -4794885 + 679566 = -305*q + 2697771. Is q a multiple of 219?
True
Let p(v) = -111*v + 1226. Let k be p(11). Suppose 0 = z + z - 366. Suppose k*x - 658 + z = 0. Does 5 divide x?
True
Suppose 16 = 4*d, 0 = 5*w + 4*d - d - 27. Suppose 0 = -5*j + c + 1803, 1 = 2*j - w*c - 728. Is j a multiple of 18?
True
Suppose 3*o - 448 = 2*t, 4*t + 3*o - 455 = -1369. Let n = t - -271. Does 11 divide n?
True
Let t(m) = 229*m + 1508. Does 14 divide t(12)?
True
Let n = 158 + -156. Suppose 19*v - 380 = -n*p + 21*v, 2*p - 3*v = 384. Is p a multiple of 20?
False
Let c = -289 + 243. Let b = -5 - c. Is b a multiple of 13?
False
Let k be (-84)/(-6)*((-78)/(-7))/1. Suppose k*u + 200 = 157*u. Is 50 a factor of u?
True
Let g(q) = q**3 - 10*q**2 + 18*q - 12. Let j be g(8). Suppose -4*v = -z - 950, -3*v - j*z + 910 - 188 = 0. Is v a multiple of 5?
False
Let b(f) = 33*f**2 + 45*f + 1. Is b(-8) a multiple of 206?
False
Let n = -466 + 480. Let w(a) = -a**3 + 19*a**2 - 24*a - 31. Is w(n) a multiple of 20?
False
Let y = -35 + 43. Suppose -y*u + 447 = -1001. Suppose -u + 29 = -4*o. Is o a multiple of 19?
True
Suppose -s - 2*x + 73 = 0, -4*s + 2*x + 384 = 52. Let p = -76 + s. Suppose -690 = -p*g - 10*g. Is g a multiple of 35?
False
Suppose 447 = -2*z + 1785. Let f = z + -37. Does 11 divide f?
False
Let n(v) = -4*v + 18. Let d be n(-13). Let r = -69 + d. Does 6 divide 3*(r + -2)*(-87)/9?
False
Suppose 0 = -2*n + 6 + 4, -4015 = -5*d + 3*n. Is d a multiple of 3?
False
Suppose -2*t - 142752 = -5*h, 4*t + 117214 = 5*h - 25530. Is 172 a factor of h?
True
Let f = 44 - -3. Suppose f = -5*s - 48. Let d = s + 44. Is d a multiple of 9?
False
Let i(l) = -208*l - 280. Is 12 a factor of i(-10)?
True
Suppose -196 = -5*l - k, -2*k - 78 - 37 = -3*l. Let u(a) = 3 + 5 + l*a - 38*a + 2. Is u(13) a multiple of 11?
False
Suppose -10*t - 3*h = -13*t, -2*t = -5*h + 6. Suppose -q + t*q - 513 = 0. Is q a multiple of 93?
False
Suppose -2*g + 134 = 6*i - 4*i, -5*i + 5*g = -315. Let v = i - 62. Suppose v*y + f = 184, 5*f + 72 = 3*y - 2*y. Is y a multiple of 7?
False
Suppose 3*r - 324 = -69. Suppose 28*v + 12939 = r*v. Is 9 a factor of v?
False
Let f(c) = c**2 + 2*c - 12. Let k be f(-5). Suppose 4*i - 4*r + 8*r - 204 = 0, 5*r = k*i - 129. Is i a multiple of 2?
True
Let s = 36856 - 25057. Is s a multiple of 209?
False
Let t be (3 + 44/8)/((-3)/42). Let c = t - -224. Is 3 a factor of c?
True
Suppose 239940 = 3*z + 6*z + 3*f, 2*z - 53320 = -5*f. Is z a multiple of 22?
False
Let r(f) = -f**2 + 11*f + 2. Let h(v) = v**3 + v - 5. Let u be h(0). Let w be (3 - (-2 + 1))*(u + 6). Is 15 a factor of r(w)?
True
Suppose -6*x + 14*x = 64. Suppose -x*t = 345 - 1353. Is t a multiple of 30?
False
Let u(z) = z**3 + 4*z**2 + 9*z + 35. Let h be u(-6). Let d be 0 + (-3)/6*2. Is 13 a factor of 4/(4/h)*d?
True
Let f = -50 + 60. Suppose 0 - f = -2*v. Suppose 66 = v*t - 204. Does 27 divide t?
True
Let o be 138/(80/(-128)*(-3)/5). Suppose -u = s - o, -s + 6*s - 15 = 0. Does 7 divide u?
False
Let u(c) = c**3 + 11*c**2 - 14*c - 22. Let h be u(-12). Suppose h*v - 130 - 66 = -4*a, 5*a = v + 231. Is 2 a factor of a?
False
Suppose -65*g = -73*g + 173808. Suppose -78*f - g = -95*f. Is 14 a factor of f?
False
Let x be 2064/10*70/21. Let i = 1338 - x. Suppose -5*c - 94 + 407 = 2*q, 2*c = -4*q + i. Does 28 divide q?
False
Let d(n) = -24*n + 207. Let l be d(9). Does 71 divide 3 + (5 + -2 - 2349/l)?
False
Suppose -7*w - 2907 = 2462. Is 5 - w - (1 + 6) a multiple of 51?
True
Let r = -239 + 239. Suppose i + 862 + 300 = 4*u, 3*u - i - 872 = r. Does 10 divide u?
True
Let z = 633 + -306. Let i = z + -143. Is i a multiple of 45?
False
Let j = -74 - -76. Let l(m) = -2*m**2 + 3*m**3 - 7 - 3*m - 3 + 8 + m**j. Is l(2) a multiple of 5?
False
Suppose 3*k = -4*l + 74961, k + 91060 = 4*l + 16079. Does 213 divide l?
True
Suppose 5*l = -7*l + 36. Suppose 4*z + 12 = 0, 46 = x - 2*z - l*z. Let f = x + -7. Does 4 divide f?
True
Suppose -11*v + 436 = -444. Let w = 102 + v. Is 16 a factor of w?
False
Suppose -18*z = -68886 - 409356. Is 139 a factor of z?
False
Let i be (3/(9/12) - 3) + 1. Suppose -i = -u + 3. Suppose 0 = n - u*n + 120. Is n a multiple of 6?
True
Suppose -4*m + 7 + 13 = 5*t, -3*m + 17 = 4*t. Let f(o) be the second derivative of -o**5/20 + 3*o**4/4 + 5*o**3/6 - 6*o. Is 24 a factor of f(t)?
False
Let w = -4 + 6. Suppose 0 = f - 58 + 54. Suppose 0 = 4*y - f*x + x - 107, 2*y + w*x = 50. Is 3 a factor of y?
False
Suppose 4*t = 4*q + 4, -16 = -3*t - 2*q + 7. Is 6/(-15) - (-507)/t a multiple of 8?
False
Suppose -5*r = -5*l - 2*r + 6, -4*l - 10 = 5*r. Suppose 0 = d + 2*u - l*u - 389, -1560 = -4*d - 4*u. Is d a multiple of 31?
False
Suppose -33281 = -5*b + f - 5972, 0 = 2*b + 4*f - 10928. Is 15 a factor of b?
False
Let t = 661 + -664. Is 4 a factor of (-1)/((-5)/(-420))*t/6?
False
Let f(l) = 3*l - 25. Let g(j) = -j**3 + 12*j**2 - 9*j - 13. Let p be g(11). Let x be f(p). Suppose -n = -x*a + 104, -a + 2*a + 5*n = 30. Is a a multiple of 26?
False
Suppose 0 = 7*i - 105 - 42. Let t(d) = -i + 20 - 46 + 9*d. Does 24 divide t(14)?
False
Let u = -45 + -537. Let m = u + 1130. Is 17 a factor of m?
False
Let a be 0*(6 - 4)/(-2). Suppose -2*c + 1133 + 5633 = a. Suppose -13*t = -30*t + c. Is t a multiple of 15?
False
Let d = -94 + 104. S