 - 12. Is 80 a factor of a?
False
Let l(i) = 144*i**2 + 76*i - 295. Does 75 divide l(5)?
False
Does 96 divide (-14759799)/(-1308) - (-2)/(-8)?
False
Does 7 divide 184400/60 - (-4)/(-12)?
True
Suppose -2918038 + 650943 = -79*v + 2790959. Is v a multiple of 44?
False
Suppose -24*f - 35 = -17*f. Let z = f - 258. Let v = z + 372. Is 50 a factor of v?
False
Let r = -40 - -356. Suppose -84 = 4*x - r. Let b = -14 + x. Is b a multiple of 11?
True
Let n = -757 - -361. Let j = n - -594. Is j a multiple of 6?
True
Let r(b) = -2*b + 19*b**3 + 19*b**3 - b**2 + 3 + 7*b**3. Let h be r(1). Suppose -h = -2*q - 17. Is 14 a factor of q?
True
Suppose 0*h + 2*h + 4*x + 760 = 0, 0 = 5*h - 4*x + 1956. Let u = 56 - h. Is u a multiple of 37?
True
Let x(p) = 2*p**2 + 11*p + 528*p**3 + 0*p**2 + 16 - 611*p**3. Is 17 a factor of x(-2)?
False
Suppose -a + 16 - 6 = 0. Suppose 0 = a*j - 12*j + 96. Is 16 a factor of j?
True
Suppose -s - 3*f = -20, s + 5*f = -0*f + 30. Let b(n) = n**3 - 5*n**2 + 9*n - 15. Let c be b(s). Is 27 a factor of (-3)/(-2)*c + -5?
False
Let w(z) = -z + 1. Let t(i) = -6*i + 89. Let x(n) = t(n) + 2*w(n). Is 7 a factor of x(6)?
False
Let y be ((-69)/(-15) - 5)/(4/7880). Let b = y - -1268. Is b a multiple of 20?
True
Let r(y) = y + 7. Let l be r(-5). Suppose -l*i = -7*i. Suppose 4*t - x = x + 428, 2*t - 4*x - 208 = i. Is t a multiple of 27?
True
Let s = -43 + 37. Let m be 20/9 + s/27. Suppose 83 = 2*j - 3*c, -6*j + 211 = -m*j + 3*c. Does 14 divide j?
False
Suppose -336*l = -341*l - 5. Is 32 a factor of (l - 0)*-24*(-187)/(-34)?
False
Suppose -113 = -4*x - 41. Let p(z) = z**3 - 17*z**2 - 4*z + 2. Is p(x) a multiple of 11?
False
Let a(n) = n**3 - 3*n**2 + n + 83. Let d(t) = -t**2 + 4*t - 4. Let q be d(2). Let s be a(q). Suppose s*r - 1040 = 79*r. Is r a multiple of 26?
True
Let t(m) = -4*m**3 - 8*m**2 - 9*m - 21. Let p(b) = -13 - 8*b**2 + 2 - 9 - 10*b - 4*b**3 + b**3. Let o(q) = 3*p(q) - 2*t(q). Is o(-8) a multiple of 30?
False
Is 15 a factor of (3 - -43 - 4)*(-2955)/(-9)?
False
Let f(g) = 7*g**2 - 6*g - 8. Let o be f(-6). Let z = o + -136. Let p = z - 33. Is 7 a factor of p?
False
Let b be (14/(-6))/((-7)/231). Is 27 a factor of ((-23)/(-3))/(b/4158)?
False
Suppose -123343 - 59609 = -110*b - 106*b. Does 11 divide b?
True
Let n(u) = u**3 + 5*u**2 + 4. Suppose 6 = 6*i + 36. Let p be n(i). Is 23 a factor of ((-6)/p)/((-3)/138)?
True
Let z(a) = -a**3 - 27*a**2 + 22*a - 164. Let i be z(-28). Suppose -p + 2*b - 6*b = -928, -i*p + 2*b = -3694. Is p a multiple of 44?
True
Suppose 5*z - 252 = -2*j, -2*z = 4*j - 0*z - 536. Suppose j*n - 523 = 135*n. Is n a multiple of 20?
False
Suppose -5*k - 4795 = -5*r, -4*r - 5*k - 1795 = -5577. Does 9 divide r?
False
Suppose 1334*r - 543920 = 1308*r. Is r a multiple of 8?
True
Suppose l + 2227 = 2*u, -2*u + 604 = 5*l - 1641. Does 10 divide u?
False
Let r(p) = -9132*p - 2310. Is r(-2) a multiple of 6?
True
Is 41 a factor of 36/(-6) - (-524)/1*18?
False
Let g be 3 - ((-3)/1 - -1). Suppose -18858 + 6008 = g*m. Is 0 + m/(-14) - 90/(-210) a multiple of 6?
False
Let r(z) = 5123*z**2 + 23*z - 2. Is 269 a factor of r(-2)?
True
Suppose 29*b - 12 = 25*b. Suppose -4*q = -r + 24, -3*r + b*q + q + 96 = 0. Does 9 divide r?
True
Let v(d) = 144*d + 107. Suppose -i = -5*c + i + 48, -3*i = 12. Is v(c) a multiple of 19?
False
Let h = 30 + -26. Suppose -5*a = -5*b + 100, h*a - 25 = -b - 2*b. Suppose -i - b = 4*i, -315 = -3*m - 4*i. Is m a multiple of 11?
False
Let p = -16609 + 26411. Is 169 a factor of p?
True
Suppose 14*i - 25*i + 8965 = 0. Suppose 675 = -i*z + 820*z. Is z a multiple of 16?
False
Suppose 0 = -4*w + 3*y + 435, -4*y - y + 185 = 2*w. Let j = w - 109. Let x(l) = -3*l**3 - 2*l**2 + l + 6. Is x(j) a multiple of 18?
True
Let q be (24/10)/((-27)/(-45)). Suppose 0 = -q*f - f + 2*j + 3562, 2150 = 3*f + 2*j. Is 51 a factor of f?
True
Let n be ((-162)/(-135))/(6/20). Let o be ((4 + -1)/12)/(n/4432). Suppose 359 = 4*r - o. Does 21 divide r?
False
Let d = -14 - -17. Suppose 0 = -5*t + 4*w, 36 = 2*t + 5*w + d. Suppose 3*k + k = 2*j + 86, 0 = t*k - 5*j - 95. Is k a multiple of 4?
True
Let o(y) = -2*y**2 - 4*y. Let f(i) = -3*i**2 - 3*i - 1. Let l(n) = -6*f(n) + 5*o(n). Is l(4) a multiple of 9?
True
Let w(f) = -f**3 - 18*f**2 + 16*f - 26. Let a be w(-19). Let l be (-1)/(4*(-4)/(-464)). Let n = a - l. Does 16 divide n?
False
Let g(n) = -7*n + 11. Let a(l) = -7*l + 11. Let w(m) = -4*a(m) + 3*g(m). Let i be w(2). Suppose 2*r - 136 = -h, 0 = i*h + r - 3*r - 408. Is 34 a factor of h?
True
Let p = -18121 - -35164. Is 247 a factor of p?
True
Let v(u) = 46 - 129*u - 52*u - 166. Does 17 divide v(-6)?
False
Suppose 0 = -12*r - r. Suppose -v + 11*p - 10*p = -80, v + 5*p - 80 = r. Does 34 divide v?
False
Let v(q) = 6*q**3 - 2 + 4 - 5 + q**2 + 2. Let f be v(1). Suppose -f*s = -2*s - 340. Is 17 a factor of s?
True
Suppose -c + q + 5 = 0, c + 4*c = -4*q + 7. Let p(s) = -2*s + 1. Let b(t) = -4*t + 2. Let u(k) = c*b(k) - 5*p(k). Is u(-4) a multiple of 9?
True
Suppose -6 = -d - 4*a, 1 + 11 = d - 2*a. Let t be -5*(1 + 236/d). Let x = t - -199. Is x a multiple of 19?
True
Let l be 7 + -7 + 2673/3 + -1. Let t = -482 + l. Is 8 a factor of t?
True
Suppose 0 = h - 32 + 18. Suppose 0 = -4*l - h*l + 3762. Is 7 a factor of l?
False
Suppose 0 = 2*y + 3*y + 310. Let n = 140 + y. Let d = -45 + n. Is d a multiple of 3?
True
Let l = 12 - -9. Let j be (-40)/(-14) - (-3)/l. Let k(b) = -b**3 + 6*b**2 + 7*b - 11. Does 15 divide k(j)?
False
Let a(j) = 32*j + 234. Let r(w) = 16*w + 115. Let u(x) = 2*a(x) - 5*r(x). Is u(-11) a multiple of 32?
False
Let p(v) = 163*v**3 + 2*v**2 - v - 2. Let n(c) = -488*c**3 - 6*c**2 + 4*c + 7. Let j(d) = -2*n(d) - 7*p(d). Is 13 a factor of j(-1)?
False
Let w be (-3)/(-18)*9*-10. Let f(u) = u**3 + 17*u**2 + 31*u + 19. Let h be f(w). Suppose -672 = -0*k - h*k. Is k a multiple of 56?
True
Suppose -4205 = -b + 4*u + 2493, -4*b = -4*u - 26744. Does 95 divide b?
False
Let s be 1 + 84/((-10)/(-5)). Let t = 45 - s. Suppose -105 = -3*h + t*j, 2*h - 40 = -3*j + 30. Is 5 a factor of h?
True
Let y(l) = -l**3 + 30*l**2 + 18*l - 12. Is y(28) a multiple of 20?
True
Is 93 a factor of ((-468)/(-42))/((-14311)/14322 + 1)?
True
Suppose 2*x - 13 = -5*g, -5*g - 7 = -3*x - 0*g. Suppose 2*r + x*i - 152 = 0, 3*i + 127 = 2*r + 2*i. Does 6 divide r?
True
Suppose 0 = 5*r - b - b - 33, -3*b - 7 = r. Suppose -620 = -r*h - 120. Let c = h - 77. Does 6 divide c?
False
Let x(b) = -27*b + 54. Let o(r) = 186*r - 378. Let l(u) = -2*o(u) - 15*x(u). Is 6 a factor of l(4)?
True
Suppose 3*y - 31665 = -5*c + c, -4*c + 52759 = 5*y. Does 13 divide y?
False
Suppose -21*t + 16*t - 1760 = 0. Let a = -211 - t. Is a a multiple of 24?
False
Let j(o) = -501*o + 5046. Does 163 divide j(-27)?
False
Suppose 10*c = -14*c + 8*c. Suppose c = 2*v - 3*v - 2, 0 = 3*g + 5*v - 1589. Is g a multiple of 38?
False
Suppose -23*o = -5*k - 18*o - 9050, 5*k + 9040 = 3*o. Does 19 divide (48/(-15))/(19/k)?
True
Suppose -21424 = -10*x + 44536. Is 16 a factor of x?
False
Suppose -3*n + 9 = 0, -5*b + 0*b + 40 = 5*n. Suppose -2*z - 63 = z - b*h, 2*z = -2*h - 26. Let x = 61 + z. Is 5 a factor of x?
True
Let i be 37/((27/(-48))/(-9)). Suppose 0 = 4*g + 4*n - i, -2*g - n + 286 = -4*n. Is 22 a factor of g?
False
Let x(s) = -9*s + 42. Let z(d) = -2*d + 1. Let p(h) = -x(h) + 6*z(h). Suppose -2*i = i + 51. Does 8 divide p(i)?
False
Let p(a) = a**3 - a**2 + a + 3. Let x be p(-2). Let j(o) = -2 + 10*o - 10*o**2 - 3*o**3 + 4 + 2*o**3 + 0*o**3. Is j(x) a multiple of 5?
False
Let v(j) = 95*j - 26*j + 59 - 23. Does 18 divide v(6)?
True
Let y(a) = -2*a**3 - 13*a**2 - 3*a - 6. Let w be (-4)/(-10)*((-150)/(-2) + -5). Suppose -5*h = -9*h - w. Is y(h) a multiple of 8?
True
Suppose 2*w + 5*c = 378, -w - 4*c + 121 = -68. Suppose -1210 = -5*z + 4*k, 937 = 3*z + 2*k + w. Is z a multiple of 42?
False
Is (-540050)/(-625) + 10 + (-4)/50 + -7 a multiple of 51?
True
Suppose -5*s + 31674 + 5926 = 0. Is s a multiple of 25?
False
Let q = 9096 + -7536. Is 8 a factor of q?
True
Let r = 67128 + -34608. Does 34 divide r?
False
Let z(f) = f**3 + 20*f**2 + 24*f + 195. Let p be z(-19). Is (-20)/p + 14028/15 a multiple of 11?
True
Let g = -128 - -30. Is 19 a factor of (5 + -2 + g)*2/(-5)?
True
Let n(r) be the second derivative of -r**5/20 + 13*r**4/6 + 3*r**3/