 8*c**2 + 83*c - 121. Is o(-21) a multiple of 9?
False
Let t = -6920 + 6972. Let l be 0 + 0 + -1 + 13. Let f = t + l. Does 16 divide f?
True
Let t = -466 - -458. Is -804*(t + (-198)/(-27)) a multiple of 23?
False
Let y(v) = 4*v**2 - v - 2. Let z be y(-1). Let g(s) = -3*s**2 - 3*s + 2. Let d be g(z). Does 23 divide 479/13 + d/(-221)?
False
Let o = -218 - -218. Let s(i) = 8*i + 923. Is s(o) a multiple of 11?
False
Suppose 0 = 2*i + p - 5, -i + 5*p - 19 = -27. Does 24 divide -4 - (-678)/(18/i)?
False
Let g be (-2)/(-2) + 4 + 552/(-184). Suppose -g*t + 193 = s + 61, 5*s = -4*t + 660. Is s a multiple of 3?
True
Let p = 7891 - -4201. Is 119 a factor of p?
False
Let o = 20410 + -7035. Does 9 divide o?
False
Suppose 0 = -3*r - 2*x + 206, -120 = -11*r + 9*r + 3*x. Let d = 304 - r. Is d a multiple of 22?
False
Suppose -25880 = 74*n + 59*n - 419959. Does 29 divide n?
False
Let t = 1 + -2. Is 13 a factor of (-6 - -49) + t + -3?
True
Let l = 46 + -41. Let d be (-196)/(-35) + 2/l. Suppose -d*m = -4*m - 126. Does 25 divide m?
False
Let i be ((-3)/4)/(2/288). Let s(u) = -62*u + 195. Let g be s(-3). Let f = g + i. Is f a multiple of 45?
False
Suppose 5*y = 3*s - 7*s - 3255, s = 4*y - 840. Let w = -540 - s. Does 20 divide w?
True
Let p(r) = 1389*r + 6564. Is 43 a factor of p(15)?
False
Let r(b) = -4*b**3 - b**2 + 6*b. Let j be r(-3). Let k = 152 - j. Suppose -y + 52 = -3*t - 29, -y + k = -t. Is y a multiple of 22?
True
Suppose 0*t + 6806932 = 134*t. Is t a multiple of 24?
False
Let v be (-4)/18 + (-6)/(-27). Let d be (1 + v)*-4 - -341. Suppose 2*y - b = 136, 5*y + 3*b = 4*b + d. Is y a multiple of 12?
False
Let n(i) = -15*i**3 + i**2 - i - 2. Let s(z) = -z**3 + 12*z**2 - 9*z - 22. Let f be s(11). Suppose f = 3*g + 5 - 2. Is n(g) a multiple of 3?
True
Let o = -2373 - -3481. Is (-2 - 9/(-4))/(1/o) a multiple of 7?
False
Let n = -155 - -295. Let o = -191 - -275. Let m = n - o. Is m a multiple of 17?
False
Let k(f) = -6*f - 37. Let q(i) = -6*i - 37. Let x(s) = -3*k(s) + 4*q(s). Let g be x(-11). Is 37 a factor of 2 + (-4 - -9)*g?
False
Suppose 3*h + 69 = 66. Let r(k) = 4*k**2 + k. Let q be r(h). Suppose q*t - 2*v - 193 = 338, 4*v + 712 = 4*t. Does 35 divide t?
True
Let a be (-144)/28*525/(-6). Suppose -107 = -l + 5*m + 63, -3*l + 3*m = -a. Let i = l - -90. Is i a multiple of 28?
False
Let g(l) = 4*l + 4*l + 2*l**3 - 32*l**2 - l**3 + 22*l**2 - 55. Is 3 a factor of g(10)?
False
Let u(j) = 4*j + 5. Let l be u(-2). Let d be l - (1 - (0 + -39)). Let z = d + 91. Is z a multiple of 10?
False
Let f be (-3)/(((-15)/25)/(-3)). Let j be (f/(-5))/(-3) + 1. Suppose j = 18*r - 22*r + 48. Is 10 a factor of r?
False
Let y(f) = 3*f**3 - f**2 - f - 89. Suppose -5*m + 5 = 0, -42*m + 46*m - 25 = -3*t. Is y(t) a multiple of 68?
True
Suppose 0 = 2*f - f - 79. Suppose c = 4, -f = -2*t - 5*c - 29. Does 9 divide t?
False
Let a be 2/(2 + 0) + 7/7. Let i = a + -83. Let o = 151 + i. Is o a multiple of 14?
True
Suppose -25*j = -139*j + 57*j + 1219515. Is j a multiple of 55?
True
Let l(o) = o**3 - 23*o**2 + 3*o + 10. Let v = 41 - 32. Suppose v*f + 2*f = 253. Is l(f) a multiple of 24?
False
Suppose 2*p = 5*c + 24767, p = -2*c - 227 + 12633. Does 63 divide p?
False
Let a = -190 + 181. Is 24 a factor of 471128/504 - 2/a?
False
Suppose y = 201 - 891. Let d = -310 - y. Is d a multiple of 76?
True
Let d = 48419 + -21192. Does 171 divide d?
False
Is 106 a factor of 180/(-99) - -2 - 7/((-231)/192384)?
True
Suppose -568 = -3*d + 1085. Let g = -266 + d. Does 5 divide g?
True
Suppose -5*u = -2*s + 50212, -3*s - 3*u + 48113 + 27184 = 0. Is s a multiple of 85?
False
Suppose -15*u + 16*u = 5, 0 = -3*b - 3*u + 24. Suppose 4*y + 12 = 0, -b*m + y = -794 - 616. Does 7 divide m?
True
Let s(g) = -9*g**3 - 3*g + 0*g**3 - 2*g**2 + 11*g**3 - 3*g**3 - 1 - 8*g**3. Is s(-3) a multiple of 12?
False
Suppose -6*f + 5 = -5*f. Suppose -4*k - f*j + 1749 = 0, 406 = k + 5*j - 10*j. Suppose 0 = b - 5*t - 63 - 26, -4*b + k = 5*t. Does 13 divide b?
True
Let n(c) = 2*c**2 - 8*c + 4. Suppose -g = 2*d + 2 - 6, 20 = 2*d - 3*g. Suppose -8*p + d*p + 24 = 0. Is n(p) a multiple of 26?
False
Let k(p) = p**3 - 35*p**2 + 124*p + 5. Let t be k(31). Let m(j) = 22*j**2 - 3*j + 43. Does 17 divide m(t)?
True
Suppose 0 = 29*t + 41415 - 222433. Does 90 divide t?
False
Suppose -16631 - 9272 = -21*i - 7318. Is 36 a factor of i?
False
Let i = -11 + 118. Let s = -255 - -156. Let g = i + s. Is 2 a factor of g?
True
Suppose -4*p = 5*o - 298980, 4*o - 29*p + 28*p = 239205. Is 200 a factor of o?
True
Let x(u) = 114*u - 7595. Is 14 a factor of x(109)?
False
Let v = -474 + 478. Suppose -v*g = 2*o - 816 - 848, g + 3373 = 4*o. Does 9 divide o?
False
Let d(q) = -q**3 - 10*q**2 - 12*q - 49. Let r = 136 - 147. Is 34 a factor of d(r)?
True
Suppose 4*i - i = 15. Suppose -i*c - 5*f + 40 = 0, 2*c = -c - 4*f + 28. Suppose 0 = 6*p - c*p - 16. Is 3 a factor of p?
False
Let d(t) = -3*t**2 + 7*t - 18. Let y be d(-8). Is 9 a factor of 4/(-14) + (-59926)/y?
True
Is 5155 + (-8 - 13/(-1)) a multiple of 10?
True
Suppose -143*o + 63218 + 144978 = -268852. Does 12 divide o?
True
Let w = -492 - -131. Let j = w - -205. Let k = 291 + j. Is 18 a factor of k?
False
Suppose -2*f - 11 = -g - 0, 0 = -3*g + 5*f + 29. Suppose -3*a + g*v + 2*v + 1898 = 0, -2*a = -3*v - 1264. Is 39 a factor of a?
False
Let q(b) be the third derivative of 0 - 13*b**2 + 1/6*b**3 + 0*b**5 + 17/60*b**6 + 0*b + 0*b**4. Does 11 divide q(1)?
False
Suppose 5*k - 4*x - 979 = 0, 2*k - 378 = -0*k + 5*x. Suppose k*h - 206*h + 798 = 0. Is 14 a factor of h?
False
Does 121 divide 1503000/(15 - -5) - (-3 + 12)?
True
Is 6/9 + (-9468)/(-54) a multiple of 4?
True
Let v(t) = 197*t + 150. Let m(q) = -4*q - 2. Let w(z) = 6*m(z) - v(z). Is w(-3) a multiple of 75?
False
Let v be (-3 + (-3535)/21)/(4/(-6)). Let f = v - 193. Does 7 divide f?
False
Suppose -p - 3 = 0, -2*x - x = p + 18. Let z be x/((-2)/(-6) + -2). Suppose 9 = z*a - 0. Is 3 a factor of a?
True
Suppose -u - 648 = -9297. Does 131 divide u?
False
Suppose -169 = 2*q - 173, -5*q + 116605 = 5*l. Does 14 divide l?
False
Let q = -15863 - -24563. Is q a multiple of 68?
False
Let f(s) = 2*s**2 - 3*s + 10. Let c be f(2). Let l be (c/5)/(7/(-35)). Does 14 divide 3*7*(-128)/l?
True
Let c = -11690 - -23590. Is c a multiple of 20?
True
Let f(v) = -v**3 - 3*v**2 - 4*v - 2. Let m be f(-3). Suppose m*o = 6*o + 24. Suppose o*x = 8*x - 96. Is 12 a factor of x?
True
Let l(r) = 33*r + 104. Let b(k) = -32*k - 103. Let t(y) = 5*b(y) + 4*l(y). Does 50 divide t(-21)?
False
Suppose -l = 5*y - 72, 3*y = 5*l - 4*l - 104. Let o = l + 61. Is o a multiple of 11?
False
Let w = 4 + -4. Suppose w = -0*n + n - 4. Suppose -3*y + n*y - 101 = 0. Is 24 a factor of y?
False
Suppose -53 - 19 = 12*c. Let j(n) = 32*n**2 - 15*n - 54. Is j(c) a multiple of 66?
True
Let u = 10461 + -5940. Is u a multiple of 11?
True
Let a = 124 + 579. Is 53 a factor of 4*(3 + 1 - a/(-76))?
True
Suppose -5*w + 4*u = -132719, -2*w - 7*u + 18937 = -34185. Does 45 divide w?
False
Suppose -4*w - 110 = -14*w. Let i(c) = -5*c**2 + 24*c - 39. Let m(t) = -9*t**2 + 49*t - 77. Let r(f) = w*i(f) - 6*m(f). Is r(-16) a multiple of 14?
False
Let y(b) = 4 + 11 + 913*b**2 + 21*b + b**3 - 900*b**2. Does 21 divide y(-10)?
True
Suppose 2*a + 2*j = 2064, 0 = -4*a - 3*j - 0*j + 4132. Suppose -2*l + o = -4*o - a, -l = o - 511. Does 57 divide l?
True
Suppose 0 = -22*y + 18*y - 48. Let d(p) = p**2 + 13*p + 16. Let r be d(y). Let m(x) = 2*x**3 - x**2 - 4*x - 5. Does 26 divide m(r)?
False
Suppose -5*t + 69403 = 3*b, -67*t + 64*t + b + 41653 = 0. Is t a multiple of 64?
False
Let v = 10289 + -5243. Suppose -14*n + 3074 = -v. Is n a multiple of 18?
False
Suppose 3*t - 704 = -2*t - 4*g, -3*g + 276 = 2*t. Suppose -607*b + 601*b + t = 0. Is 6 a factor of b?
True
Let g = -4405 - -2942. Let a = g - -2159. Is 24 a factor of a?
True
Is (-105546)/(-9)*(49/(-14) - -5) a multiple of 50?
False
Let f(r) = r**2 + 6*r - 30. Let v(a) = -a**3 + 7*a**2 + 5*a - 22. Let p be v(7). Is f(p) a multiple of 7?
True
Suppose 6*q + 3*q = 216. Let t(l) = 3*l - 50. Let s be t(q). Let o(r) = -r**2 + 21*r + 58. Does 13 divide o(s)?
False
Let l(m) be the third derivative of m**9/720 + m**7/2520 + 3*m**5/20 - 5*m**2. Let p(o) be the third derivative of l(o). Is p(1) a multiple of 9?
Fals