. Let t(w) = -3*w**2 + 16*w - 3. Let z be t(5). Suppose z*h + h = k. Is h a multiple of 7?
True
Suppose 5*p - 4*q - 400 = 0, -q - 320 = -4*p + q. Suppose 0 = x + m - p, -m = x + m - 79. Is x a multiple of 17?
False
Suppose 2*o = 7*o - 15. Suppose -o*h + 77 = 2*c, 2*c - 15 = -h + 4. Let z = h - 6. Is 23 a factor of z?
True
Let f(l) = -6*l - 4. Let k be (-3)/((-1)/((-6)/9)). Let o be (k + -1)*(-9 + 10). Is f(o) a multiple of 12?
False
Let j = 11 + -6. Suppose j*a - 125 = -15. Does 22 divide a?
True
Suppose 7*l - 11*l = -2088. Does 29 divide l?
True
Suppose 8*d - 6*d + 40 = 0. Let v = d + 18. Is 6 a factor of (v + 10 + 2)/1?
False
Suppose -a = 2*h, -1 = 3*a + 5*h - 3. Suppose a*o + 0*o - 192 = 0. Suppose -d + 28 = -o. Is d a multiple of 19?
True
Let f(b) = b**3 + 2*b**2 - 2*b - 2. Let p be f(-1). Let y(o) = 27*o - 2. Does 10 divide y(p)?
False
Let v(m) = 21*m**2 + 18*m - 10. Is v(6) a multiple of 61?
True
Let i be (2/4)/((-1)/(-14)). Let g(t) = 3*t + 21. Let v(b) = 1. Let f(p) = 2*g(p) - 42*v(p). Is 14 a factor of f(i)?
True
Let b be (-18)/(2 - 3) + 2. Suppose -42 - 26 = -2*y. Let v = y - b. Is 14 a factor of v?
True
Let q = 43 - 51. Is ((-40)/q)/(2/14) a multiple of 35?
True
Suppose -3*b - 168 = -x, b - 165 = -x + 11. Is x a multiple of 6?
True
Suppose -582*j = -571*j - 25410. Is 66 a factor of j?
True
Suppose 0*f = -4*f + 2220. Is f a multiple of 15?
True
Let a(w) be the first derivative of w**4/4 - w**3 + w**2/2 + w + 11. Let o be a(6). Suppose o = -8*z + 931. Does 34 divide z?
True
Let w be ((-3)/((-9)/12))/(-2). Let a(s) = -73*s - 2. Is 22 a factor of a(w)?
False
Let k(j) = j - 3. Let r be k(6). Suppose -3*z = 4*n - 67, 12 - 31 = -3*n + 4*z. Suppose r*c - 26 = n. Does 3 divide c?
False
Let s = 366 + 12. Does 18 divide s?
True
Let v(r) = 2*r**2 - 15*r - 13. Is v(23) a multiple of 50?
True
Suppose -5*m + 20 = -10. Suppose m = -t - o + 19, t = 5*o + 43. Is 11 a factor of (-1)/1 - (-4 - t)?
False
Does 60 divide (345/92)/((-1)/(-80))?
True
Suppose 70 = -9*h + 25. Let m(i) = i**3 + 8*i**2 + 6*i - 11. Is 4 a factor of m(h)?
False
Let t = 136 - 126. Is t a multiple of 10?
True
Let s = 102 - 49. Let x = 93 - s. Suppose -2*r + x = -8. Is r a multiple of 8?
True
Let n(l) = -1. Let y(t) = -t + 5. Let j(s) = -24*n(s) - 3*y(s). Let i be j(5). Does 16 divide 260/6 - i/(-36)?
False
Let c(k) = -k**2 + 11*k + 7. Let b be c(7). Let s = -28 + b. Does 7 divide s?
True
Suppose 4*c - 4*m = 56, -3*m = -4*c + 34 + 22. Does 21 divide c/((-1)/45*-5)?
True
Is 5*(9 - (4 - (-5 - -9))) a multiple of 9?
True
Suppose 5*g - 15 = 2*g, 3*d - 5*g - 515 = 0. Let k = 34 - d. Does 5 divide k/(-10) + (-9)/15?
False
Suppose 0 = o + 2*r + 4, 0*o + 2*o + 3*r = -6. Suppose o = 8*m - 4*m - 32. Is m a multiple of 4?
True
Suppose 5*z - 20 = -p - 0*p, 3*p = 0. Suppose z*j - 51 = 129. Is 5 a factor of j?
True
Suppose r - 3*l = 2*l + 200, 912 = 5*r - 3*l. Does 20 divide r?
True
Suppose 0*n = 3*n + 369. Let u = 206 + n. Is 9 a factor of u?
False
Suppose -12*k - 8557 = 3371. Is 19 a factor of (-1 + 3)/(-5 - k/198)?
False
Suppose 0*r = -3*r + 4*s - 7, -4*r = 4*s - 28. Suppose -o + 317 = 3*m - m, 0 = -5*m - r*o + 792. Does 10 divide m?
False
Let n(d) = -2*d - 2*d + 84*d**3 - 4*d**2 - 83*d**3. Let x be n(5). Suppose 57 + 48 = x*y. Is 6 a factor of y?
False
Let h = 707 - 542. Does 12 divide h?
False
Suppose -74734 = -113*f + 70*f. Is 91 a factor of f?
False
Suppose -5175 = -6*l - 2025. Is 7 a factor of l?
True
Let h = 12 - 8. Suppose 0 = h*a - 35 + 3. Suppose 4*n - a*n = -160. Is n a multiple of 20?
True
Suppose 12 = 5*i - 23. Let q(h) = h**3 - 6*h**2 - 3*h - 7. Let z be q(i). Suppose -29 = -5*x + z. Does 6 divide x?
False
Suppose -1 = 2*b - 5. Suppose -b*v = -5*o + 44 + 16, 4*v - 90 = -5*o. Suppose o + 71 = 5*x. Is 12 a factor of x?
False
Let r be (2 - (-24)/(-21))/(2/14). Is 4 a factor of -2 + (-3102)/(-36) - 1/r?
True
Let z(c) = 61*c**2 + 10*c + 27. Is 43 a factor of z(-3)?
False
Let b be 8/1 - 3/1. Suppose y - m = -22, m + b = 2*m. Is 7 a factor of (-6 - -3)*y/3?
False
Let t = 254 - 191. Does 7 divide t?
True
Let v = -357 - -937. Is 20 a factor of v?
True
Let g = 25 + -25. Suppose 5*v - 10 = -g*v. Suppose 26 = -v*u + 104. Is 13 a factor of u?
True
Suppose t = 5*t. Suppose t*z = -3*z - 2*o + 10, -3*z + o = -22. Let i = z + 37. Is 9 a factor of i?
False
Suppose 8*a - 7*a + 229 = 0. Let k = 350 + a. Is 11 a factor of k?
True
Let h(w) = 9*w - 28. Let k be h(11). Let p = k - 20. Does 17 divide p?
True
Suppose -17*n + 132 = -5*n. Suppose -300 - 74 = -n*u. Does 10 divide u?
False
Let t(d) = d**2 + 4*d - 2. Let p be t(-5). Let v(r) = -r**2 + 1 + 2*r**2 - 1 - p - 4*r. Is 9 a factor of v(7)?
True
Suppose 21*a - 4095 = -0*a. Does 15 divide a?
True
Let r = 751 - 333. Is r a multiple of 38?
True
Let p(c) = -c**3 - 24*c**2 - c - 29. Let h be p(-24). Suppose -4*v + v - 639 = 0. Is 16 a factor of v/(-4) - h/(-20)?
False
Let o = 154 - 140. Is 10 a factor of o/(-77) - 1676/(-22)?
False
Suppose -5*k - 474 = 4*o, 2*o - 4*k - k + 252 = 0. Let q = -28 - o. Does 22 divide q?
False
Suppose 7*u - 8*u - 2787 = -5*o, 5*o + 5*u = 2805. Is o a multiple of 9?
True
Is 10*((-342)/(-30) + -2) even?
True
Let l be 0 + (1 - 4) - -19. Suppose -2*a = -0*a - l. Suppose 2*m - a = m. Is m a multiple of 8?
True
Let r = 2 + -6. Let q be 1/(((-8)/106)/r). Suppose 37 + q = 5*j. Does 4 divide j?
False
Let y = 26 - 20. Let j = -6 + y. Suppose 204 = 4*r + 5*z, j*r + z - 164 = -3*r. Does 28 divide r?
True
Let j = -4 + 6. Suppose -666 = -j*d - 4*d. Is d a multiple of 37?
True
Let a(w) = -2*w**2 + 8*w - 6. Let n be a(3). Suppose -4*o + 9*o - 502 = -2*l, n = o - 4*l - 118. Does 51 divide o?
True
Suppose -4*y - 3332 = -3*h, -y = -h - 5*y + 1084. Does 24 divide h?
True
Suppose -46 = 2*l - 168. Suppose n + v - l = 6*v, 5*v + 233 = 3*n. Is n a multiple of 43?
True
Let v be ((-1)/3)/(10/(-3) + 3). Suppose 0*j = 3*j. Is 8 a factor of (-99)/(-3) + j/v?
False
Let c = -122 - -479. Is c a multiple of 51?
True
Let c = -9 - -7. Let w be 1/(c/(-4) + 0). Does 9 divide (w/(-3))/((-3)/81)?
True
Let t = 141 + 6. Let n = t + -55. Is n a multiple of 23?
True
Suppose m - 4*g + 17 = 289, 0 = -4*m + 2*g + 1144. Is m a multiple of 16?
True
Suppose -5*l - 1529 = -5*r + 651, -2*r - l = -869. Does 2 divide r?
False
Suppose 124 = -0*l + 4*l. Let h = l - 21. Is (11/(-2))/((-5)/h) a multiple of 11?
True
Suppose 2*f = -5*o - f, 3*o + 5*f = 0. Suppose -3*r + k - 3*k = -15, -30 = -5*r - 5*k. Is r/1 + 15 + o a multiple of 18?
True
Let v = 467 - 367. Is 12 a factor of v?
False
Let i(s) = 11*s + 10. Is i(17) a multiple of 13?
False
Let p = 65 - 34. Let z = p + 77. Is z a multiple of 14?
False
Let g be 45/(-10)*(-1 + 15/27). Suppose g*h - y = 433, 851 = 4*h + y + 2*y. Is h a multiple of 43?
True
Suppose -3001 - 887 = -8*v. Is v a multiple of 18?
True
Let b = 28 - 44. Let a = 8 + -36. Let m = b - a. Does 8 divide m?
False
Suppose -624 = -40*h + 176. Is 4 a factor of h?
True
Suppose -16 = 3*b - 5*b. Let j(q) = -2*q + 8. Let w be j(b). Is 3 a factor of 90/11 + w/44?
False
Let f(x) = -x**3 - 14*x**2 + 21*x + 32. Is 7 a factor of f(-16)?
False
Let r(k) = -k**2 - 6*k - 9. Let a be r(-3). Suppose -4*b + a*b - 32 = 0. Is (2 + b)*(-1 - 0) a multiple of 3?
True
Let r be (-11 - -13)/(2/4). Let b be (r + -3)/((-1)/2). Is 5 a factor of (32/24)/(b/(-42))?
False
Let l(k) = 2*k**2 + 36*k + 86. Is 8 a factor of l(-22)?
False
Does 60 divide 9 + 49/(-5) + 12369/5?
False
Suppose 0 = y - 7 + 29. Let p = y - -40. Does 10 divide p?
False
Let n be 884/7 - (-4)/(-14). Suppose 3*h - 12*h = -n. Is 3 a factor of h?
False
Let u be (-4)/(-10) - (-4)/((-20)/(-133)). Let m = u - -22. Is m a multiple of 7?
True
Suppose 6*j - 130 = 314. Is j a multiple of 4?
False
Suppose 7*f + 290 = 2*f. Let d = f - -168. Is 10 a factor of d?
True
Suppose t = 5*j + 5*t - 235, t + 56 = j. Let z = 6 - 6. Suppose z = -5*i - 2*p + 130, 3*i - j = 4*p + 27. Is 17 a factor of i?
False
Let u(b) be the first derivative of b**6/120 - b**5/12 + b**4/4 - b**3 - b**2 - 4. Let q(s) be the second derivative of u(s). Is 21 a factor of q(5)?
False
Let i = 156 + -37. Is i a multiple of 7?
True
Let z = -98 - -184. Suppose 0 = p - 4*k - 88, 459 - z = 4*p + 5*k. Let n = p + -64. Does 14 divide n?
True
Let b = -53 - -36. Let q = b + 27. Suppose 