) = n**3 - 11*n**2 + 9*n - 13. Let b be h(10). Let o be -1*(-1 - -4) - b. Suppose -5*c + o = -40. Is c a multiple of 6?
True
Suppose 3*u - u + 4*m = 10, -4*u + 46 = -5*m. Is (-8)/(-36) - (-1330)/u - -4 a multiple of 28?
False
Let o(y) = y**2 - 4*y + 24. Let a be (-12)/(-15) + 2*23/5. Is o(a) a multiple of 12?
True
Suppose 36*x + 1112 = 37*x. Is x a multiple of 29?
False
Let u(k) = k**2 + 13*k + 8. Let v be u(-13). Suppose 0*w - v = -2*w. Is -11*(-4 + 8/w) a multiple of 11?
True
Let c = -36 + 34. Is 16 a factor of (-2)/(c - 100/(-51))?
False
Let k = 463 - 314. Let z = 181 - k. Is 20 a factor of z?
False
Let q be (24/(-5))/(28/(-70)). Suppose -8*x + q*x = 364. Does 13 divide x?
True
Suppose -3114 - 3084 = -2*c - 5*z, 3*z + 3121 = c. Is c a multiple of 9?
False
Suppose 24*a = 25*a - 2. Suppose -l = -v + 5*v + a, -v = -3*l + 46. Is l a multiple of 2?
True
Let j(a) be the first derivative of 11*a**3/6 - a**2 + 12*a - 10. Let m(h) be the first derivative of j(h). Does 2 divide m(1)?
False
Let p = 489 - 179. Is p a multiple of 62?
True
Let j = 21 - 19. Suppose 4*n - j*s = -28, -2*n - 7 = -n - 5*s. Let b = n - -14. Is b even?
False
Let y(v) = 2*v**2 - v + 2. Let x be y(2). Let m(g) = g + 5. Let w(t) = -2*t - 20. Let p(h) = 6*m(h) + w(h). Is 15 a factor of p(x)?
False
Let k be (-2)/1*51/(-34). Suppose 0 = -2*t - t + l + 110, 4*t - 138 = -k*l. Is t a multiple of 7?
False
Let w be 10/(-3)*(-33)/22. Suppose z - 50 = w*a, 3*z + 3*a - 166 = -2*z. Let m = 25 + z. Is 30 a factor of m?
True
Suppose 11 = 2*o - v, -5*o + 0*o + 5*v = -40. Is o/((-9)/(-146)) - 6/(-18) a multiple of 5?
False
Let b(r) = 133*r + 1. Let u be b(-1). Let o be 3 - 1*u/4. Suppose -22*v - o = -24*v. Is 2 a factor of v?
True
Let w be (16/6 + 2)*594/6. Suppose 0 = -h + 8*h - w. Is 22 a factor of h?
True
Suppose 22*o - 20705 = 12515. Is 130 a factor of o?
False
Is 13684/28 - 10/14 a multiple of 4?
True
Let n(l) = l**3 - 4*l**2 - 8*l - 4. Suppose 82 = 2*d + 3*a, -2*d = -5*a - 12 - 86. Let h be (-2)/(-4) - d/(-8). Does 10 divide n(h)?
True
Let c(t) = -2*t**3 - 2*t**2 + 1. Let p be c(-1). Does 3 divide (0/4 - -2) + p?
True
Suppose 0 = 3*z + 1099 - 2947. Is z a multiple of 77?
True
Suppose -13*a + 5 = -14*a, -2*u - 4*a = -86. Is 53 a factor of u?
True
Is (-9*(-50)/90)/(2/150) a multiple of 5?
True
Suppose -16 = -4*b + 12. Suppose -b*y - 200 = -4*t - 3*y, 5*y = 4*t - 197. Is 24 a factor of t?
False
Let r(v) = v**3 - 13*v**2 - v + 19. Let w be r(13). Is 3/w*3 - 450/(-4) a multiple of 19?
True
Let c(v) = 2*v**2 + 9*v + 4. Let y be c(-4). Suppose y = 5*h + 3*t - 42, -t - 2 = 2*h - 18. Does 2 divide h?
True
Let a = 1110 - 804. Does 3 divide a?
True
Let h(o) = -o**3 - 7*o**2 - 6*o + 2. Suppose -3 - 9 = 3*s + 3*p, 2*p = 4. Let u be h(s). Suppose -4*t + 3 = -1, -59 = -u*a - 5*t. Does 9 divide a?
True
Let t be ((-16)/(-20))/(-3 + (-46)/(-15)). Is 16 a factor of 1160/t + -4*(-1)/12?
False
Suppose -2*n - 3*q = n + 105, -3*n = q + 105. Let o = -21 - n. Is o + -1 - (2 + 1) a multiple of 3?
False
Suppose -6*d = -d - 15. Suppose -d*n + 2*n = -16. Suppose w = -w + n. Is w a multiple of 8?
True
Let g(x) be the first derivative of 2*x**2 - 16*x - 11. Does 8 divide g(8)?
True
Suppose 5*r + 2*y - 808 = 0, 0*y + 8 = 2*y. Let d = r + -40. Is 21 a factor of ((-28)/16)/((-5)/d)?
True
Suppose -10*k - 24*k = -578. Let m(g) = -17*g + 21*g**2 + 14 - 10*g**2 - g**3 + 7*g**2. Does 3 divide m(k)?
False
Is 35 a factor of 5884/14 + (-4 - 130/(-35))?
True
Is 13 a factor of (-1)/((-3 + 5)/(-1546))?
False
Let o = -140 + 55. Let m be 1 + o + 4 - 4. Is (2/7)/((-6)/m) a multiple of 2?
True
Let k be 4/(-5)*440/16. Let w = 27 + k. Suppose 5*a - 58 = w*x - 238, 3*x - 78 = -3*a. Is x a multiple of 19?
False
Is (-3556)/(-35)*15/6 a multiple of 11?
False
Let w(x) = 49*x**3 - 3*x**2 + 7*x + 1. Is 2 a factor of w(2)?
False
Let a(n) = 81*n - 1. Let o be a(1). Suppose -2*d - 3*d + o = 0. Suppose 2*u - 28 - d = 0. Is 22 a factor of u?
True
Let t be ((-2)/4)/((-2)/(-24)). Let z(w) = -w - 4. Is 2 a factor of z(t)?
True
Let j(r) = r**2 + 12*r - 18. Let d be j(-14). Let z = d - -7. Is 17 a factor of z?
True
Suppose z + 4*x = 79, -5*z - 4*x = x - 425. Does 29 divide z?
True
Let q(o) = -o**3 - 13*o**2 - 23*o + 5. Let g be q(-11). Suppose g + 8 = 2*k. Is k a multiple of 6?
True
Let g(v) = v**3 + 11*v**2 - 44*v - 155. Is g(-13) a multiple of 3?
False
Suppose -4*z + 2731 = -5*u + 9173, u - 2*z = 1286. Does 30 divide u?
True
Let l = -1373 - -1922. Does 29 divide l?
False
Let m = 304 - 258. Is 2 a factor of m?
True
Let t(c) = c**2 + 16*c**3 + 2*c + 0 - 2*c**2 - 1. Let m = 142 - 141. Does 7 divide t(m)?
False
Let q be (147/(-3))/(4/8). Let v = 222 + q. Is 30 a factor of v?
False
Suppose -2507 = -40*z + 17*z. Is 9 a factor of z?
False
Let w(i) = -i**3 - 6*i**2 + 4*i + 14. Let f be w(-6). Does 3 divide (-8)/(24/45)*4/f?
True
Let a(h) be the first derivative of h**3/3 - 3*h**2 + 8*h + 12. Let u be a(12). Suppose -203 = -3*v - u. Is 28 a factor of v?
False
Let p = 38 - 31. Suppose 2*y = p*y - 40. Is 4 a factor of y?
True
Suppose 0 = 5*n - 10*n + 25. Suppose -n*j - 12 = -7*j. Does 13 divide 41 + (1 - j/2)?
True
Suppose -4*k + 6 = -10. Suppose -500 = -k*u - 2*d, 0*u - 3*u + 375 = -4*d. Let m = 227 - u. Is m a multiple of 14?
False
Let r(d) = d**2 - 20*d + 2. Let k be r(20). Suppose -2*t - k*u = -124 + 14, u = -5*t + 259. Is 9 a factor of t?
False
Is (137/(-4))/(-17 + 67/4) a multiple of 18?
False
Suppose -3*c + 0*c - 2*x = -472, 5*x - 627 = -4*c. Is c a multiple of 29?
False
Let k(g) = -g**2 - 12*g + 11. Let s(n) = -n**3 - 13*n**2 - 12*n. Let c be s(-12). Suppose -z - 3*z - 44 = c. Is k(z) a multiple of 22?
True
Suppose -332 - 148 = -h - 2*m, -m - 985 = -2*h. Is h a multiple of 35?
True
Let m be 130*3*4/24. Suppose 2*t - 23 = -m. Is 3 a factor of (-79)/(-7) - (-6)/t?
False
Suppose 36*x - 7008 = 12*x. Is x a multiple of 16?
False
Suppose 0 = 49*p - 42*p - 1890. Is p a multiple of 27?
True
Suppose 5*u - 3*j - 889 = 0, -407 = -2*u + j - 52. Is 22 a factor of u?
True
Let w = -388 - -888. Is w a multiple of 20?
True
Let c(h) = 3*h + 74. Suppose 11*o - 171 = 38. Is c(o) a multiple of 14?
False
Let s be ((-14)/(-14))/(2/24). Does 3 divide s - 1 - 2/1?
True
Suppose -4*r + 4*k + 16 = 0, 3*r - 6*k + 2*k = 11. Let i = r + -2. Suppose i*y + 60 = b - 3, 238 = 4*b + 2*y. Is b a multiple of 10?
True
Let m(r) be the first derivative of r**4/4 + r**3 - 3*r**2 - r + 9. Let i be m(-5). Let h = 44 + i. Is h a multiple of 23?
True
Suppose -3*u + 456 = -3*d, -2*d + 4*u - 345 = -51. Let f = 222 + d. Does 13 divide f?
True
Let z = 17 + -13. Suppose 2*c - 20 = -4*k, -3*k + 20 = 2*c + 2*c. Suppose -q - 95 = -k*i, -i + 4*q + 127 = z*i. Does 8 divide i?
False
Suppose 0*m + 4*l = 4*m + 12, 12 = -4*m + 5*l. Let r(d) = -d**2 - 13*d - 40. Let s be r(-6). Is 0 + (m + s)*-13 a multiple of 13?
True
Let y(b) = 18*b - 18. Is y(7) a multiple of 9?
True
Let o = -89 + 138. Let d = -26 + o. Suppose -262 = -5*r + d. Is 19 a factor of r?
True
Let p = 43 - 38. Suppose -p*z + g + 771 = 0, -z + 3*g - 322 = -3*z. Is 31 a factor of z?
True
Let w(z) = -5*z**3 - 2*z - 2. Let m be (-18)/(-4)*8/6. Let s = -8 + m. Does 14 divide w(s)?
True
Let h be (64/28)/(10/35). Does 27 divide ((-54)/h)/((-2)/8)?
True
Let d(h) = -h**3 - 3*h**2 + 4*h - 3. Let z be d(-6). Let q = z + -4. Is 13 a factor of q?
False
Let i(r) = 53*r**2 - 2*r + 15. Is i(-4) a multiple of 21?
False
Suppose 5*w - 17491 = -3*s, 2*s + 14502 = 5*w - 3004. Is w a multiple of 70?
True
Let n = 1905 - 1434. Does 14 divide n?
False
Suppose 3*q - 2*h + 10 = 0, -2*q - 4*h = -9*h + 25. Suppose 0*j - 3*f = -j + 15, q = -2*j + 3*f + 18. Is j/1 + 3 + -4 even?
True
Let s(b) = b**2 - 10*b - 11. Let v be s(11). Suppose v = -3*h - 0*h + 216. Is h a multiple of 9?
True
Suppose 0 = 49*i - 47*i - 66. Does 2 divide i?
False
Suppose -4*m - 4*y + 37 = 5, m = -4*y + 20. Suppose 16 = m*b - 4. Suppose 3*h - n = 32, 0*h - b*h = -5*n - 40. Does 6 divide h?
True
Suppose -122*q = -120*q - 52. Suppose q + 142 = 3*o. Is o a multiple of 3?
False
Let r be 39 - (-1 + 0/1). Suppose 4*i + r = 4*n, 2*n - 3*i - 2*i = 29. Suppose w + 0*k = -k + n, -19 = -3*w - k. Does 4 divide w?
False
Let l be 1 - -1*2/2. Let k(s) = l - 2 - 3 - 3*s - 9. Does 3 divide k(-7)?
True
Let r = 33 - 27. Suppose 