t b(m) = m**3 - 17*m**2 + 23*m - 24. Is b(u) a multiple of 12?
False
Let x(u) = -u**3 + 6*u**2 - u + 1054. Let l(c) = -c**3 - 21*c**2 - 18*c + 40. Let w be l(-20). Is x(w) a multiple of 34?
True
Suppose -9*p = 2*j - 5*p - 32122, 0 = 5*p + 40. Does 11 divide j?
False
Suppose -31960 = -121*o + 104*o. Does 23 divide o/16 - -12 - (-5)/(-2)?
False
Let o be -3*((-24)/9)/(-1). Let x(i) be the second derivative of -i**3/3 - 5*i**2 - 78*i. Does 2 divide x(o)?
True
Let b(n) = -n**3 - n**2 + 7*n - 6. Let z be b(2). Does 7 divide 1 - 0 - (-679 + z + 0)?
False
Is 120207/12 + 6/192*-8 a multiple of 7?
True
Let i(j) = -2*j + 23. Let p be i(12). Let d be (-14 + -1 + p)/(26/130). Let o = 116 + d. Does 4 divide o?
True
Suppose -24*k = -22*k - 3526. Does 72 divide k?
False
Let p(h) = 11*h + 7. Let y(b) = -b - 1. Let g(s) = -s**3 - 17*s**2 - 16*s + 15. Let v be g(-16). Let f(q) = v*y(q) + 3*p(q). Is f(2) a multiple of 21?
True
Let x(j) = 2*j**2 - j**2 - 813*j + 0*j**2 - 296 + 792*j. Is x(39) a multiple of 45?
False
Let d = 411 + -605. Let b = 54 - d. Is b a multiple of 31?
True
Let p be 2*1/7*(-70)/(-4). Suppose p*u = -5*u + 70. Suppose -2*j - 3*k + 371 = 0, -u = -5*k + 18. Does 27 divide j?
False
Let k = 2722 - 1775. Is k a multiple of 3?
False
Let j(p) = 13*p + 27. Let g be j(6). Is (-8)/((-212)/g - -2) a multiple of 10?
True
Suppose 2*q + 4*y - 2092 + 788 = 0, 2601 = 4*q + y. Is q a multiple of 52?
False
Suppose 17 = 4*c - 5*j, -16 - 9 = 5*j. Let o(q) = -13*q**3 + 3*q**2 + 1 + 0*q**3 - 19*q**3 + 5*q. Is 37 a factor of o(c)?
True
Is 143 a factor of 2 + 984 + ((-2)/(-1))/(146/219)?
False
Suppose 2*y + 3*d = -2, 3*d - 9 = 2*y - 19. Suppose -h - 15 = -y*q, -2*q = -3*h - 5 - 12. Suppose 996 - 65 = q*b. Is b a multiple of 19?
True
Suppose -4*j = 3*x + 53 - 18, -4*x - 15 = -j. Let z(m) = -m**2 + m + 28. Let c be z(j). Is 8 a factor of (0 - 4/(-24)*c)*-393?
False
Let b(h) = 40*h**2 - 6*h + 259. Is 5 a factor of b(10)?
False
Let b be 2 - 217 - (-27 - -29). Let i = b + 757. Does 30 divide i?
True
Let v = -321 - -337. Suppose -558 = -v*k + 2562. Does 9 divide k?
False
Let m = 31025 - 17741. Is m a multiple of 54?
True
Let f(h) = h + 26. Suppose 5*r - 32 = -2*v, -v + 4*r - 10 = -0*r. Let n = v + -16. Does 15 divide f(n)?
False
Suppose -c + 5 = 0, -p - 5*c = -0*p - 55. Let n = p + 81. Let y = n + -30. Does 18 divide y?
False
Let u(j) = -j**3 + 18*j**2 + 79*j + 26. Does 24 divide u(-8)?
False
Let m = 23 - -25. Suppose 2*i - 802 = 5*u, 3*u + 3 = -3. Suppose -4*w + i - m = 0. Is w a multiple of 29?
True
Let b be (-86)/(-18) + 4 + 204/(-54). Suppose -2*r + 1170 = b*h, 13*h + 611 = r + 9*h. Is 35 a factor of r?
True
Let p be (-1)/3*(2 + -2). Let a = -13 + p. Let t = 19 - a. Is t a multiple of 8?
True
Let o(m) = m**3 - 9*m**2 + 13*m - 5. Suppose -s = 7*s. Suppose s*z + z + 2*p = -1, 0 = 5*z - p - 50. Is o(z) a multiple of 16?
True
Suppose 0*b + 4*b - 6 = 2*p, 0 = 4*b - 5*p + 3. Let r = -2042 + 2046. Suppose u + w = 2*w + 103, -309 = -b*u + r*w. Does 31 divide u?
False
Let d = 2878 - 2871. Let y(f) = 3 - 3*f**2 - 9*f - 9*f + f**3 + 10. Does 14 divide y(d)?
False
Suppose 5*v = 37 + 128. Suppose -v - 215 = -s + 3*j, 0 = -3*s + 4*j + 759. Is 6 a factor of s?
False
Suppose -4 + 69 = 13*g. Suppose -g*j + 159 + 121 = 0. Does 7 divide j?
True
Suppose -h + 79 = -2*l - 17, 2*l = -2. Let x be (-5)/(10/(-4)) + h. Suppose 0 = 3*f - 6*f + x. Is f a multiple of 8?
True
Let r = 4765 - 4813. Let y(t) = 4*t**2 - t + 6. Let m be y(5). Let c = m + r. Does 6 divide c?
False
Let s = 53999 + -37769. Is 30 a factor of s?
True
Let b = -17 - -22. Suppose -b*p - 234 = -7*p. Suppose 3*y - k = p, 3*y + 3*k = 7*k + 117. Does 18 divide y?
False
Let u(i) = -76*i - 18. Let k be u(6). Let h = -156 - k. Does 13 divide h?
False
Suppose -10*u + 4242 = -908. Let x = u - 328. Does 12 divide x?
False
Let f = 1898 + -1582. Is f a multiple of 68?
False
Suppose -1135 = w - 6*w. Suppose w + 233 = y + 2*x, x + 466 = y. Is 69 a factor of y?
False
Suppose 0 = -4*x + 51 + 685. Suppose n = -l + x, -4*n - 3*l + 29 = -703. Suppose 0 = -4*b + n + 160. Is b a multiple of 17?
True
Let d be (-1284)/(-16)*2*2. Let w be (4 - 1) + (0 + d - -2). Suppose 0*u + w = 5*u - 2*f, 4*u - 2*f - 262 = 0. Is 8 a factor of u?
True
Suppose 3*o + 340 = 2*s - 381, 0 = -3*o + 3*s - 723. Let x = o - -411. Is 67 a factor of x?
False
Let a(x) = -228*x**2 - x. Let d be a(1). Let f = d - -391. Suppose -3*k + 495 = f. Is 37 a factor of k?
True
Let o(w) = w. Let d(h) = -13*h - 157. Let a(m) = d(m) + o(m). Is a(-16) a multiple of 5?
True
Let k(z) = -47*z + 152. Suppose -2*r + 53 - 63 = 0. Does 12 divide k(r)?
False
Let i(p) be the second derivative of 7*p**3/2 + 38*p. Let m be i(2). Is 8 a factor of m*(-12)/(-9)*1?
True
Suppose -17*h + 18*h - 3716 = 2*n, 5*h = -5*n + 18565. Is h a multiple of 6?
True
Let u(d) = d**3 - d**2 - 10*d - 5. Let l be u(4). Suppose -3*f - l - 3 = 0. Is 2 a factor of (-1 + (-1)/f)/((-3)/108)?
True
Let h(p) = 4*p**2 - 4*p + 7. Let b be h(7). Let d(k) = k**2 + 26*k + 27. Let w be d(-25). Suppose 2*l = o - 106, b - 689 = -5*o + w*l. Is o a multiple of 34?
True
Let h = 312 + -153. Suppose -241 - h = -4*q. Does 20 divide q?
True
Let c(j) = 16*j**2 - 35*j + 200. Is c(16) a multiple of 11?
False
Suppose 3*l - 2*c = 14 + 3, -5*l + c + 26 = 0. Does 12 divide (101 + -1)*(11/l - 1)?
True
Suppose -16 - 36 = -13*a. Suppose 3*p = 9, -2*b + 2884 = 2*b + a*p. Is 6 a factor of b?
False
Let m = -913 + 1295. Suppose m = 898*k - 896*k. Is k a multiple of 8?
False
Suppose 4*k + 0*k + 2*o - 4524 = 0, -4526 = -4*k - 3*o. Suppose 0 = 8*u - k - 62. Is u a multiple of 12?
False
Let a be (342/5)/(19/((-1140)/(-8))). Let h = a - 97. Is 4 a factor of h?
True
Let y be 4/14 - 24/(-756)*-9. Suppose 2*o - 1614 - 508 = y. Is 13 a factor of o?
False
Suppose k + 750 - 4119 = -c, 0 = -4*c + 16. Does 143 divide k?
False
Let f = -384 + 387. Is (-2380)/(-49) + f/7 a multiple of 4?
False
Suppose g - 4068 = -u, -14837 = -4*u + 2*g + 1435. Is u a multiple of 6?
True
Suppose -114*v - 545317 + 4505335 = 0. Is 13 a factor of v?
False
Let y = -164 - -174. Suppose 0 = -3*i + y + 638. Is i a multiple of 18?
True
Suppose 3*r + 5*x = 1015, -r - 3*x = -209 - 136. Suppose m - 5*m + 2*g + r = 0, -4*g - 162 = -2*m. Is 7 a factor of m?
False
Let o(q) = 31*q + 113. Let m be o(-4). Is m/(3/459*-1) a multiple of 33?
True
Is 63/84*786*(-32)/(-6) a multiple of 12?
True
Suppose -5*r = 3*n - 10, 2*n - 13 = 3*r - 0*n. Does 25 divide (3297/9 + r)*(-99)/(-44)?
False
Let r(n) = -4*n**3 - 4*n**2 - 4*n. Let i be r(-4). Suppose -4*m + i = 48. Is m a multiple of 4?
True
Let s(c) = -2*c**3 - 14*c**2 + 14*c - 12. Suppose 13*u - 9 = 3*d + 8*u, -5*u - 47 = 4*d. Is 2 a factor of s(d)?
True
Let j = -557 + -451. Let i = -633 - j. Does 64 divide i?
False
Let a = 130 - 130. Suppose a = -9*h + h + 360. Is h a multiple of 15?
True
Let a(j) = -3 - 430*j**3 - 7*j - j**2 - 2*j**2 + 417*j**3. Let d be a(-3). Let u = d + -222. Is u a multiple of 30?
True
Suppose -q - 36 = -2*g, q = -q - 8. Suppose 5*x + 6*k - k + 40 = 0, 0 = 5*x - 3*k + g. Let d(p) = -2*p**3 - 4*p**2 - 3*p + 4. Is 13 a factor of d(x)?
True
Let o(a) = 4*a + 36. Let p be o(-8). Is p - (-10*4 - -5) a multiple of 4?
False
Let b(q) = -2*q**2 - 4*q + 10. Let h be b(3). Does 64 divide -768*(-8 + h/(-3))?
True
Let u be -388 + (1/3 - (-2)/(-6)). Let r = 166 + u. Does 9 divide (1 + r/(-10))*10/2?
False
Let f(l) = -l**3 + 17*l**2 - 23*l - 47. Let o be f(15). Suppose 4*x + 3*j - o = 3*x, 2*x = 3*j + 98. Does 19 divide x?
False
Let i = -30 + 198. Suppose -7*b + 3*w + i = -4*b, -2*b = w - 112. Is b a multiple of 5?
False
Let s be (-12)/14 - (-664)/56. Does 6 divide (s + -9)/((-2)/(-49)) - 5?
False
Let u = -497 - -1015. Is 7 a factor of u?
True
Let w be -4*-1*(-1)/(-2). Suppose 4*n = -16*n + 27*n. Suppose 258 = 3*a + a - 2*x, n = w*a - 4*x - 120. Is a a multiple of 12?
False
Does 17 divide (166/4)/((-1767)/(-588) + 9 + -12)?
False
Let f = 9 - 9. Let i be -3 - (-11 + 13 - 130/1). Suppose f = -4*w + 3 + 17, -4*h + 3*w = -i. Is h a multiple of 8?
False
Suppose 9*y + 50 = 19*y. Suppose 4*p - y*x - 906 = 0, -2 = 2*x + 2. Is p a multiple of 56?
True
Let h(q) be the second derivative of q**5/5 - 5*q**4/4 + 5*q**3/6 + 9*q**2 - 85*q. Is h(6) a multiple of 31?
True
Suppose 