?
True
Let g(m) = -8*m**3 - 15*m**2 - m + 2. Let v be (-64)/11 - 4/22. Let l(x) = 9*x**3 + 15*x**2 - 3. Let y(a) = v*l(a) - 7*g(a). Is y(-6) a multiple of 10?
True
Let l(f) = 37*f**3 + 24*f**3 - 2*f + 470 - 469. Is 20 a factor of l(1)?
True
Let v = 52233 - 28369. Does 19 divide v?
True
Let x = -3219 - -3407. Does 2 divide x?
True
Does 9 divide (-85573)/(-415) + 12/15?
True
Suppose 3*w = 2*f + 37, -8*w + 4*w + 52 = -2*f. Suppose 0 = w*o - 311 + 101. Is o a multiple of 3?
False
Suppose 5*w - 17 = 2*p + 3, -4*w = 3*p - 16. Suppose p = -0*f - 8*f + 640. Is f a multiple of 4?
True
Suppose -q + 0*q + 6 = 0. Suppose 0 = -3*r - 12, 2*f - 2*r = 12 + q. Suppose 0 = -f*v - 5*m + 140, 8*v - 116 = 4*v - 2*m. Is v a multiple of 3?
True
Suppose -416*g = -414*g. Suppose g = 2*t + 5*t - 2744. Is t a multiple of 13?
False
Suppose -8 = 2*l, -19 - 49 = -2*f + 3*l. Suppose 32*h - 2000 = f*h. Is h a multiple of 25?
True
Let c(v) = v**3 - 8*v**2 + 24*v - 101. Is 49 a factor of c(9)?
True
Let n(g) = -21*g + 68. Let c(s) = -21*s + 70. Let l(d) = 4*c(d) - 5*n(d). Does 27 divide l(8)?
True
Let s(c) = 4*c**2 - c + 30. Let a = -282 - -294. Is 26 a factor of s(a)?
False
Let t(n) = -n**3 - 26*n**2 + 59*n + 4. Let i(g) = -4*g**3 - 104*g**2 + 235*g + 16. Let z(p) = 2*i(p) - 9*t(p). Is z(-28) a multiple of 8?
True
Suppose 2*a + 2080 = 4*k + 4*a, -3*k = 5*a - 1567. Suppose k = 5*r - 521. Let o = r + -70. Is o a multiple of 46?
True
Suppose -5*h + 3*w + 2*w = 15, 13 = h + 3*w. Suppose 120 = -20*b + 5*b. Is 32 a factor of (b + 16)/(h/4)?
True
Let m = 75 - 20. Is (-3)/(-45)*3 + 4664/m a multiple of 4?
False
Let v = 16291 + -8468. Is 101 a factor of v?
False
Let c(h) = 1294*h**2 - 399*h + 2029. Is 44 a factor of c(5)?
True
Suppose 483*m + 5470142 - 26960252 = -134*m. Does 54 divide m?
True
Let s(t) = 3*t**2 + 7*t - 11. Let j(y) = y - 15. Let m be (-518)/(-56) - 2/8. Let n be j(m). Is s(n) a multiple of 11?
True
Let f(m) = 2*m**3 - m + 19. Suppose 2*n - 2 = 2*t, 11 = -5*t + n + n. Let z(s) = -2*s**2 - 7*s - 3. Let r be z(t). Is 3 a factor of f(r)?
False
Suppose 0 = 21*x - 20*x + 520. Is 6 a factor of ((-414)/10)/(78/x)?
True
Suppose -8*z + 909 = 269. Suppose 240 = 3*r - 3*o, -2*o = 2*r - r - z. Is 8 a factor of r?
True
Let y(a) = a**2 + 7*a - 3. Suppose 5*v + 5 = 0, -v - v = -4*q - 62. Let b be y(q). Suppose -b = -3*x + 258. Is x a multiple of 15?
False
Let r = 46273 - -8628. Does 54 divide r?
False
Let f = -20 - -22. Let c be 2 + -2 + f/(-4)*-4. Suppose c*n + p = 81, -2*n + 2*p = 2*n - 174. Is n a multiple of 8?
False
Let h(s) = 1110*s**3 + 12*s**2 - 22*s + 5. Is h(2) a multiple of 12?
False
Let i be 7*(162/7)/(-3). Let r = 42 + i. Does 46 divide 2760/16*r/(-10)?
False
Let h(v) = -4*v**3 + 74*v**2 + 87*v - 44. Let p(s) = s**3 - 19*s**2 - 22*s + 11. Let u(k) = 2*h(k) + 9*p(k). Is 11 a factor of u(24)?
True
Let x = -2770 + 4317. Does 17 divide x?
True
Let u be (-2)/(-5) - (-66)/10. Let x(o) = -3*o - 32. Let a(g) = -7*g - 66. Let d(k) = 2*a(k) - 5*x(k). Is 7 a factor of d(u)?
True
Let d = 296 - 308. Is 5 a factor of (-10)/(-60) + (-370)/d?
False
Let w(f) = 44*f**2 + 3. Let a be w(-3). Let p = a + -260. Suppose -4*q + b + 524 = 0, b = -3*q - p + 525. Is 27 a factor of q?
False
Let v(f) = -f**2 + 3. Let u(c) = -31*c**2 + 3*c - 17. Let n(z) = -u(z) - 6*v(z). Does 17 divide n(-2)?
True
Let h(q) = -29 + 23*q + 18*q - 21*q + 13*q + 7*q. Does 32 divide h(16)?
False
Let c(f) = 62*f**2 + 14*f + 8. Let b = -129 + 132. Is c(b) a multiple of 24?
False
Let c = 315 + -299. Does 8 divide c/6*(165 + -39)?
True
Let k(d) = -d**3 + 7*d**2 + 9*d + 16. Let v be k(8). Suppose v*c - 20*c = -440. Let y = -75 - c. Is 7 a factor of y?
True
Let b = 7951 + -4640. Is b a multiple of 11?
True
Let a(j) = -j**2 - 4*j + 8. Let t(x) = -x + 2. Let b(r) = -a(r) + 3*t(r). Let q be b(-2). Suppose q = 17*z - 13*z - 112. Is z a multiple of 14?
True
Let o(f) = -f**2 - 37*f - 74. Let r be o(-34). Is 4 a factor of r/3*(-360)/(-140)?
True
Let q = -237 + 312. Suppose q*l = 69*l + 3000. Is l a multiple of 26?
False
Let o(d) = -d**3 - 6*d**2 - 7*d + 2. Let h be o(-5). Let i(c) = -c**3 + 13*c**2 - 11*c + 4. Let a be i(h). Suppose 17*p - 39 = a*p. Is 4 a factor of p?
False
Let a = -27453 + 43234. Does 23 divide a?
False
Let u = -3797 - -7217. Is u a multiple of 33?
False
Suppose -d + 2 = -2. Suppose d*w = -79 + 67. Let p(j) = 4*j**2 - 6*j + 3. Is p(w) a multiple of 36?
False
Suppose 0*f + 486 = 3*f - 3*m, 4*f = -2*m + 660. Suppose 2*s + 4*w = f, 126 = -3*s - w + 387. Is 8 a factor of s?
True
Suppose 1820 = 8*d - d. Suppose 6 = r - z - 1, 4*z + 8 = 0. Suppose 5*t - r*a = -0*t + d, 4*t = -3*a + 215. Is 5 a factor of t?
False
Let h(b) = 11*b - 127. Suppose d = -4*f + 75, -8 - 37 = -f + 5*d. Is h(f) a multiple of 9?
False
Suppose 0 = 5*p + 2*v - 80, p - 2*p - 2*v = -24. Suppose 4*n - p = t, 2*t - 5*n = -14 + 1. Let s = t - -17. Is 6 a factor of s?
False
Let i(v) = 104*v**2 + 5*v + 14. Is 10 a factor of i(-2)?
True
Let k = -38 + 31. Let l be (-2)/(-3)*(1029/(-14))/k. Let q(a) = -2*a**3 + 14*a**2 + 10*a - 4. Is q(l) a multiple of 33?
True
Let g be ((-208)/20)/((-2)/120). Let z be ((-1)/(-2))/((-4)/g). Let b = 88 + z. Is 8 a factor of b?
False
Does 30 divide (83160/176)/((-3)/(-28))?
True
Let j be (-6 - -1)*(-9)/15. Let q be j - 4 - (-5 + 4). Suppose -n = 0, 2*u = -q*u + n + 54. Is 9 a factor of u?
True
Let t(z) be the third derivative of z**6/30 + z**5/30 - 5*z**3/6 + 23*z**2. Let q be t(2). Suppose -f = 5*b - 1085, 3*b + 2*f - q = 623. Is b a multiple of 36?
True
Suppose 5*x + 1952 = n, -2*x + 4926 = 4*n - 2816. Does 3 divide n?
False
Let k be (-24248)/(-32) + (-6)/(-24). Let s = k - 560. Is s a multiple of 4?
False
Let r(j) = 92*j + 24. Let v be r(13). Suppose -b = -5*b + v. Suppose 2*c - b = 137. Does 17 divide c?
True
Let s = -7036 - -17191. Suppose 24*a - s = -1203. Does 19 divide a?
False
Let z(u) = u**3 - 8*u**2 - 25*u + 2. Let j be z(12). Suppose 94 - j = -h. Is h a multiple of 46?
True
Suppose p + 4*v - 204 = 0, -165 = 3*p + 4*v - 817. Let f(i) = 24*i - 94. Let o be f(4). Suppose 3*q = -o*m + p, -37 = -4*q - 3*m + 262. Is q a multiple of 24?
False
Suppose 3*h - 37 = -25. Suppose h*t - 1610 - 550 = 0. Does 15 divide t?
True
Suppose 0 = f - 7*n + 4*n - 2, 2*f + n = 11. Suppose -3*t + 773 = -2*t + 4*h, -f*t = -2*h - 3909. Is t a multiple of 11?
True
Let x(y) = 3*y**3 + 57*y**2 + 162*y + 55. Let k(q) = -q**3 - 19*q**2 - 54*q - 19. Let d(i) = 8*k(i) + 3*x(i). Is d(-13) a multiple of 11?
False
Let x = -30471 + 57831. Is x a multiple of 171?
True
Let n = -21123 + 46452. Is n a multiple of 10?
False
Let l(y) be the first derivative of -y**3/3 - 3*y**2/2 + 182*y + 4. Is 5 a factor of l(-11)?
False
Let i(w) = 2*w**2 - 2*w + 1. Let o be i(2). Suppose 4*l + 161 = -2*q + 11, -o*l = -q - 103. Let k = q + 219. Is k a multiple of 17?
True
Suppose -57*d + 104*d - 2060198 = 0. Is d a multiple of 202?
True
Suppose 0 = -2*p + 2*v - 68, -3*p + 6*p - 5*v = -106. Is 28 a factor of (168/p)/((-9)/528)?
True
Let x = 6559 + -3734. Is 9 a factor of x?
False
Let z(u) = u**3 - 3*u**2 + 4*u. Let b(d) = -d**3 - 2. Let w(j) = -6*b(j) - z(j). Is w(4) a multiple of 52?
True
Suppose -10 = -2*g - 3*s, -2*s - 8 = 2*s. Suppose -g*j = 6*j - 154. Does 11 divide j?
True
Suppose 4*w - 16*w + 624 = 0. Let y be 1/(-4) - 715/w. Is 34 a factor of 0 + (-542)/(-8) - y/56?
True
Let o be (27/(-4))/((-590)/80 + 7). Suppose 2*p = n - 2*p - 16, -2*p - 2 = n. Is 4 a factor of n - (462/(-36) - 3/o)?
False
Let b be 78*(-6)/(-6) - (-3)/1. Let o = b - 36. Is o a multiple of 21?
False
Suppose 8 = -n + 20. Suppose 0 = 3*k + 2*j - 3, 0 = -3*k - 0*j + j + n. Suppose 199 + 669 = 4*f + 3*c, k*f - 652 = -2*c. Is f a multiple of 28?
False
Let b = 14119 + -13209. Is b a multiple of 91?
True
Suppose -5*r + 11195 = -8825. Suppose -13*t + r = 15*t. Does 5 divide t?
False
Let o(z) = -30*z**3 - 16*z**2 - 97*z + 3. Is o(-6) a multiple of 103?
True
Let u = 30742 - 8230. Is u a multiple of 12?
True
Let m(q) = 97*q**2 + 6*q - 9. Let u(t) = 32*t**2 + 2*t - 3. Let p(d) = -4*m(d) + 11*u(d). Let y be p(1). Let g = y - -85. Is g a multiple of 10?
True
Let t be (12 + 2)*638/(-44). Let b = 229 + t. Is b a multiple of 18?
False
Let u(b) = b**3 - 7*b**2 + 3*b - 18. Let q be u(15). Suppose -4 + 6 = -z, 5*w - q