 multiple of 81?
False
Suppose -4*b - 684 = -3*v - 7*b, -v = -b - 230. Let m = 1189 - v. Is 48 a factor of m?
True
Let q(b) = -7*b - 11. Let l(k) be the third derivative of -k**5/60 + k**4/4 - 7*k**3/3 - 9*k**2. Let r be l(4). Is q(r) a multiple of 10?
False
Suppose -23*d + 152*d - 2907530 - 1524007 = 0. Is d a multiple of 8?
False
Let s(l) = -287*l + 469. Does 57 divide s(-22)?
True
Let m(d) = 499*d - 859. Is m(5) a multiple of 11?
False
Suppose 30*j - 31*j + 16016 = 4*q, 8008 = 2*q - 5*j. Does 208 divide q?
False
Let o = 631 - 655. Is (((-8384)/o)/1)/(4/6) a multiple of 41?
False
Let j(p) = -7 + 8 - 19 + 5*p. Let s = 13 - 3. Does 4 divide j(s)?
True
Let o = -8 + 1. Suppose -9*s - 151 = 65. Is -1 - (s + (-4 - o)) a multiple of 5?
True
Let r be 968/1 + -7 + -5 + 10. Suppose -r = -32*l + 25*l. Does 3 divide l?
True
Is 70/(-28)*8/(-100)*-10*-18926 a multiple of 14?
False
Let a(k) = 5 - 2 + 66 + 4*k + 3*k**2. Is a(9) a multiple of 62?
False
Let r = -452 - -2194. Let n = r + -972. Does 22 divide n?
True
Let m(h) = -32*h + 9. Let g be m(-7). Let b be -159 - (-10)/(8 + -3). Let k = b + g. Is k a multiple of 38?
True
Let x = -5884 + 6052. Is 12 a factor of x?
True
Suppose -687832 = 12*f + 519752. Is f/(-96) + (-7)/(-4) a multiple of 15?
True
Let d be ((-15)/(-12))/((-2)/(-8)). Suppose 2*s = -q + 57, -d*s + 0*q = -3*q - 148. Let t = s - 15. Is t a multiple of 11?
False
Suppose 3*g + 5*i = -15, 5*g + 5*i - 10*i = 15. Suppose g = -4*a + d - 4*d + 180, 4*d = 5*a - 194. Is a even?
True
Let y(z) = z**2 + 2*z - 15. Let o be y(-5). Suppose 134 = 4*j + 3*a, a = -o*j - 3*j + 98. Is 16 a factor of j?
True
Let t(k) = 8*k - 123. Let p be t(16). Suppose -s - 4*n = -6*n - 39, -3*s = p*n - 150. Is s a multiple of 23?
False
Let w(f) = -3*f**3 - 38*f**2 - 103*f - 56. Does 22 divide w(-24)?
True
Is (-1)/(-1*(-13)/(-2340)) a multiple of 36?
True
Let l be 1/6 + (-2978)/12 + 2. Let a = l - -376. Suppose 5*z = a - 25. Is 3 a factor of z?
True
Suppose 0 = 17*y - 19*y + 32. Let r(s) = -s**3 + 3*s**2 + 12*s - 10*s - 5*s - 15 - y*s**2. Does 4 divide r(-13)?
True
Let b(y) = y**3 + 3*y**2 + 2*y + 3. Suppose 3*r + 4 = r. Let v be b(r). Does 27 divide (4 - 13)/(v/(-9))?
True
Let v(o) = -o**3 + 7*o**2 + 2*o - 27. Let w be v(6). Suppose -5*a + 4*n + 265 = 29, 204 = 5*a + 4*n. Suppose -x + w = -a. Is 13 a factor of x?
True
Suppose 0 = 3*j - 4*x - 3678 - 15186, -3*j - 2*x + 18828 = 0. Does 8 divide j?
True
Let a(h) = 1456*h**2 - 34*h - 35. Does 15 divide a(-1)?
True
Let b be (-594)/(-8) + (-1)/4. Suppose 7*y + b = -10. Is 11 a factor of 1/((-14)/y)*(3 - -39)?
False
Suppose 4*a - q + 573 = 0, -4*q - 122 = a - 0*a. Let i = 340 + a. Does 19 divide i?
False
Suppose 51 + 53 = -2*f + 5*t, 2*f + 5*t + 124 = 0. Let a = 57 + f. Suppose -u + 2*x = -42 - 3, a = -3*u + x + 145. Does 13 divide u?
False
Let s = 39 + 16. Suppose s = 3*z - 626. Is 5 a factor of z?
False
Suppose 2*q + 110 = 3*j, 5*j = -10*q + 5*q + 200. Let i = -34 + j. Suppose i*v + l = 766, 0 = 4*v + 3*l + l - 760. Is 25 a factor of v?
False
Suppose 5*h - 2*h + 4*c = -100, 0 = 2*h + 5*c + 55. Does 32 divide (-176)/h*(192 - (1 + -4))?
False
Let x be 15/(-20) + 4*(-9)/(-48). Suppose p + 117 = 5*u, 5*p - 5 - 10 = x. Is u a multiple of 3?
True
Let p(a) = 6*a - 121. Let x(g) = -2*g + 60. Let i(v) = 6*p(v) + 13*x(v). Does 2 divide i(-3)?
True
Does 12 divide -22*98/(-308) + (-10258)/(-2)?
True
Suppose -332*g + 93*g = -110728 - 1077580. Does 35 divide g?
False
Let r = 2 + -216. Let o = r + 366. Is 16 a factor of o?
False
Let n(c) = c**3 - 4 + 9*c + 3 - 5*c**2 - 13. Does 49 divide n(7)?
True
Let u(k) = 3*k**3 + 18*k**2 - 13*k - 49. Let v be u(-6). Let d(g) = -g**2 + g + 3. Let j be d(0). Let t = v + j. Is t a multiple of 4?
True
Suppose 132*t - 754086 = 39497 + 1159753. Is t a multiple of 98?
True
Let d = -156 - -184. Let z = 52 - d. Is z even?
True
Is 2/((-4)/(-3142)) + (-435)/87 a multiple of 27?
True
Let a = -52 - -102. Suppose 0 = 12*m - 7*m - a. Is (-8)/m - 282/(-15) a multiple of 3?
True
Let j = 30 - 28. Let v be (133 - -1)/((-14)/(-7)). Suppose p + 19 = j*r + v, -r - 108 = -2*p. Does 14 divide p?
True
Let t(x) = 315*x**3 - 7*x**2 + 9*x + 10. Is 14 a factor of t(2)?
True
Suppose 1734 = -3*r + 3*f, -5*r - 8*f = -3*f + 2920. Let k = r + 847. Is 14 a factor of k?
True
Let m = 550 - 153. Suppose m = 10*j - 373. Is j a multiple of 5?
False
Let n = -1163 + 1643. Let b = 1432 - n. Is 34 a factor of b?
True
Let v(t) = 3*t**3 - t**2 + 10*t - 36. Let f(c) = 8*c - 107. Let x be f(14). Does 66 divide v(x)?
False
Let l(b) = -b**3 - 4*b**2 + 55*b + 7. Let z be l(-8). Let y = 228 + z. Is 3 a factor of y?
True
Suppose -3*k + 78 = 5*p, 2*k - 30 - 18 = -2*p. Suppose -m + k = -4*m + 2*y, 0 = 3*m - 3*y + 24. Is 122 + (m + 1)/(2 - 0) a multiple of 24?
True
Let x be 4*(-18)/15*(-20)/(-6). Let d be -1*5 + 1008/x. Let v = 40 - d. Does 36 divide v?
True
Let n = 240 + -221. Suppose 9320 + 5158 = n*f. Is 80 a factor of f?
False
Let l = -2351 - -2555. Is 68 a factor of l?
True
Suppose -4 + 3 = 7*k - 15. Let g(s) = 33*s**2 + 6*s + 1. Let d be g(-4). Suppose -2*p = -a - d, -k*p - a - 1005 = -6*p. Is 50 a factor of p?
True
Let i = 292 - 74. Suppose -56 = 27*v - i. Is v a multiple of 3?
True
Is 9 a factor of 1157092/84 - (7/(-5) - (-8768)/6720)?
False
Is (-451438)/(-30) + 141/2115 a multiple of 72?
True
Is 113/(8 + 375/(-47)) a multiple of 60?
False
Suppose 0 = -5*d - 5 + 20. Suppose o = -4*z + 2*o + 234, z - 53 = d*o. Is 12 a factor of z?
False
Let s(d) = d**2 + 3*d - 2. Let h be s(-4). Suppose 5*a + 786 = 2*q, -2*a - 393 = h*q - 3*q. Let z = q + -203. Is z a multiple of 13?
False
Does 6 divide (39 - 11)/7 - -278?
True
Suppose v - 4006 = 4*w - 1295, v - 2736 = -w. Is v a multiple of 45?
False
Let y = 84439 - 57514. Is 24 a factor of y?
False
Suppose -12 = 15*v - 18*v. Let g(t) = v - 3*t - t - 10 + 14. Is g(0) even?
True
Is (-8)/(-32) + (-2)/8 + 4647 a multiple of 2?
False
Let f = 96 - 96. Is 56 a factor of (-162 + -10)*(-2 + f) + 3?
False
Let z(r) = r**2 - 11*r + 54. Let s be z(20). Let a = s - 182. Is a a multiple of 3?
False
Let t(l) = -100*l - 6*l - 31*l + 29*l + 27*l - 72. Does 49 divide t(-11)?
False
Let g(b) = -2*b**3 - 27*b**2 + 38*b + 38. Let d(i) = i**3 - 2*i**2 - i - 1. Let y(j) = -3*d(j) - g(j). Is 33 a factor of y(31)?
False
Let v = 23854 + -23653. Is v a multiple of 41?
False
Let d(n) = 19*n - 5. Let f(z) = -13*z + 3. Let b(p) = 5*d(p) + 7*f(p). Let q be b(11). Let x = q + -24. Is 3 a factor of x?
False
Let f(o) = 2*o**2 + 55*o - 615. Is f(46) a multiple of 193?
False
Suppose 0 = -4*i - 12, 4*g + i + 7 = -4*i. Let m(c) = 3*c**2 + 2*c**2 - g*c - c**3 + 4 - 8*c**2 + 9*c. Is 12 a factor of m(-5)?
False
Let g(c) = -c**3 - 32*c**2 - 51*c - 57. Let m be g(-30). Let h = -195 - m. Is 17 a factor of h?
False
Let i(m) = m**3 + 9*m**2 + 11*m + 9. Let t(n) = n - 59. Let z be t(0). Let p = z + 54. Does 27 divide i(p)?
True
Let x(w) = 85*w**2 - 174*w**2 + 47*w - 28 + 91*w**2. Is x(-28) a multiple of 28?
True
Let h = -5977 + 8617. Is h a multiple of 40?
True
Let z(h) = -1071*h - 772. Is z(-1) a multiple of 41?
False
Is 10/(-8*(-10)/126560) a multiple of 226?
True
Suppose 7*l = 1647 + 1104. Suppose y - l = -t - t, -y - 5*t = -402. Does 35 divide y?
False
Suppose -4*f = -4*a + 236, -f + 31 + 20 = a. Suppose 0 = -16*o + 11*o + a. Suppose -o*w + 261 + 157 = 0. Is w a multiple of 8?
False
Is 36 a factor of 2878 + 90/(-6) + 17?
True
Suppose -2*j + 3 = -3*b + 4*b, 0 = -4*b + 4*j - 36. Let u(r) = -r**3 - 3*r**2 + 3. Let y be u(b). Suppose 0 = -2*h + y + 31. Is 7 a factor of h?
True
Let a(f) = -4*f + f + f - 34. Let z(m) = 50*m - 570. Let t be z(11). Is a(t) a multiple of 6?
True
Let l = 339 - 340. Let r be (20/5 - 4)/(-1). Is 24 a factor of l/((-5)/825) - r?
False
Suppose 5*h - 3*t - 3346 = -158, -3*h - t = -1924. Is h a multiple of 10?
True
Suppose -5*y = 11*y - 8*y - 146608. Is 238 a factor of y?
True
Let b be (-4)/(-1 - ((-580)/289)/2). Is (b/51)/(4/(-18)) a multiple of 32?
False
Let r(u) = u**2 + 14*u + 18. Let v be ((-2)/1)/(3/(117/6)). Let n be r(v). Let i = 49 + n. Does 23 divide i?
False
Let i(z) = -1785*z**3 - 8*z**2 - 27*z - 22. Does 70 divide i(-2)?
True
Let p be ((-5)/(120/(-558)))/((-6)/(-32)). Suppose 0 = -n - 0*x - 3*x + 64, 5*x - p = -2*n. Is 26 a factor 