 g(v) = -3*v**2 - 57*v - 11. Let a be g(-21). Suppose 260 = -3*s + j - 3*j, -s = -5*j + 81. Let m = s - a. Is 17 a factor of m?
True
Let d = 28 - 24. Let f(b) = -b**2 + 3*b + 6. Let o be f(4). Suppose -s + m - 152 = -d*s, 4*s - 206 = o*m. Does 12 divide s?
False
Let v = -1025 + 1866. Is v a multiple of 60?
False
Suppose 151 = -10*b - 959. Let n = -32 - b. Does 7 divide n?
False
Suppose -3765 = 5*c + 16865. Let f = -90 + c. Does 16 divide (-4)/(-22) - f/44?
True
Let r(h) = 2*h**3 + 17*h**2 - 18*h - 9. Let f(d) = 4*d**2 - 37*d. Let p be f(9). Does 13 divide r(p)?
False
Let l be (-10)/5 + 7 - (3 - 935). Let u = l - 677. Does 20 divide u?
True
Let w = -88 + 94. Suppose w*n = -25*n + 6417. Is 31 a factor of n?
False
Let h(b) be the first derivative of 3*b**2 - 11*b + 5/3*b**3 - 7. Is h(-6) a multiple of 15?
False
Let t(b) = 3*b**2 + 75*b - 1131. Does 136 divide t(15)?
False
Let r(h) = 5*h**2 + 23*h - 17. Let a be r(-12). Let b = a - 262. Is 20 a factor of b?
False
Suppose 238697 = -7*p + 35*p - 218347. Does 34 divide p?
False
Let i = 4141 - 2630. Is i a multiple of 18?
False
Is ((-15)/30)/((-2)/9092) + 2 a multiple of 13?
True
Suppose -133 = -92*o + 99*o. Is (-492)/3*o/76 a multiple of 2?
False
Let l be (35/(-7))/(-2 + 1)*1. Suppose -5*w = 3*d - 64, -67 = -l*d + 3*w - 17. Suppose -17*b + 432 = -d*b. Is 27 a factor of b?
True
Suppose -3785*u + 29708 = -3757*u. Does 18 divide u?
False
Let m(o) = 46 - 28 + 4*o**3 - 24 + o**2 + 6*o - 4*o**2. Let s be m(4). Let x = -126 + s. Does 20 divide x?
True
Let p(v) = -1. Let r = -21 - -15. Let x(n) = 5*n + 32. Let g(f) = r*p(f) - x(f). Is 19 a factor of g(-9)?
True
Let a = 3326 - 1651. Is 12 a factor of a?
False
Suppose 3*w + 4*f - 7677 = 0, -1189*f = 2*w - 1187*f - 5122. Is w a multiple of 6?
False
Let o be 3 - -1 - -1 - 18/9. Suppose -9*t = -o*t - 138. Is t a multiple of 3?
False
Let h be (-108708)/(-90) + 2/15. Suppose r - h = -2*r - 2*t, -814 = -2*r + 3*t. Is r a multiple of 21?
False
Let w(r) = -22*r**2 + r + 2. Let b be w(-1). Let x = 109 - b. Suppose 3*q - x = 5*t, t = q - 40 - 6. Is q a multiple of 10?
True
Let u(s) = s**2 - s. Let q(h) be the first derivative of h**3 - 7*h**2/2 - 12*h + 10. Let a(b) = q(b) - 2*u(b). Is 20 a factor of a(11)?
False
Let y(w) = -21*w**3 + 10*w**2 + 98*w + 18. Is 42 a factor of y(-6)?
True
Suppose -5*n = -0*n - 2*n - 18822. Does 162 divide n?
False
Let v(i) = -2*i**3 - 30*i**2 + 134*i - 30. Let h(b) = b**3 + 15*b**2 - 67*b + 14. Let d(g) = -5*h(g) - 2*v(g). Is d(-20) a multiple of 10?
True
Suppose 5*y + 8 = 28. Does 9 divide y/6 - (-2)/((-30)/(-485))?
False
Let i(m) = -50*m**3 + m + 1. Let a be i(-1). Does 25 divide (169/26)/(1/a)?
True
Suppose -1178 = 4*c - 2*q - 0*q, 5*q - 585 = 2*c. Let s = -99 - c. Is 2 a factor of s?
True
Suppose 5*o = 3*r + 46550, 4891 = o + 5*r - 4447. Is o a multiple of 54?
False
Let l(o) be the second derivative of 19*o**3/3 + 661*o**2/2 + o + 95. Is l(0) a multiple of 36?
False
Suppose 39*k = 123836 + 176698. Does 13 divide k?
False
Let r(f) = f - 13. Let n(a) = -a + 1. Let v(g) = -5*g + 17. Let j(k) = -4*n(k) + v(k). Let y(l) = 6*j(l) + 5*r(l). Is 6 a factor of y(4)?
False
Suppose 3*v - 63 = 45. Suppose -j - v = 2*j. Is 24 a factor of j/((-3)/54*3)?
True
Is (7 + -1)/(546/151333) a multiple of 64?
False
Let m(g) = g**3 - 42*g**2 - 2*g + 1597. Does 8 divide m(43)?
True
Let p be (7 - 1)*189/126. Suppose 81 = p*b - 8*b + f, b + 5*f = 89. Is b a multiple of 23?
False
Suppose -3*k = 5*p - 232012, -15*k = -4*p - 46*k + 185724. Does 64 divide p?
True
Let j(f) = 2*f**2 - 5*f - 5. Let g be j(4). Suppose -3 = m, 33 = 8*i - 6*i - 5*m. Suppose g*a = i*a - 160. Is a a multiple of 10?
True
Let a(m) = m**3 + 21*m**2 - 17*m - 34. Does 10 divide a(-15)?
False
Let z = 17138 - 12148. Is 110 a factor of z?
False
Let p = 1 + 9. Is (-32929)/(-85) + (-4)/p a multiple of 43?
True
Let s be ((3 + -87)/2)/(-1). Let b = 54 - s. Is 33 a factor of 17/(2 - b/8)?
False
Let k = 396 - 375. Let y(q) = 2*q**3 - 45*q**2 + 77*q + 14. Does 22 divide y(k)?
True
Let s(x) = -43 - 127*x + 115*x - 49*x. Let z be s(-19). Suppose -z = -8*c + 2*c. Does 31 divide c?
True
Let a = -27 - -40. Suppose 19*m = a*m - 1830. Let d = -197 - m. Does 13 divide d?
False
Let h(r) = -23*r - 37. Let k(u) = -12*u - 18. Let o(z) = 2*h(z) - 5*k(z). Is o(4) a multiple of 36?
True
Suppose 186*h = 1110438 + 66012. Does 18 divide h?
False
Suppose 0 = -67*i - 126281 + 540341. Is i a multiple of 91?
False
Let m be (-47)/(-3) + 3*(-1)/(-9). Suppose -m*h + 951 = -1929. Does 3 divide h?
True
Suppose -2 - 6 = -2*i. Suppose -2*m + i = 0, -3*n + 502 = n - 5*m. Is n a multiple of 8?
True
Does 20 divide (-120)/(-480) - (26391/4)/(-1)?
False
Let c(j) = j**3 + 10*j**2 + 14*j - 18. Let k = -17 + 9. Let n be c(k). Is 14 a factor of n/(4 - 564/140)?
True
Let r(i) = i**2 + 3*i - 31. Let q be r(6). Suppose 25*t - 16 = q*t. Does 3 divide t?
False
Suppose -q + 11256 = 97*n - 95*n, -2*n + 3*q = -11232. Does 125 divide n?
True
Suppose -4*i = 24*v - 27*v - 39931, -5*i - v = -49928. Is i a multiple of 5?
True
Let x(o) = -o**3 + 25*o**2 + 15*o + 27. Let a be x(25). Suppose 52*i - 51*i = a. Does 21 divide i?
False
Suppose -27*r - 791 = -30*r + 5*o, 0 = 5*r - 3*o - 1345. Is 7 a factor of r?
False
Let j(g) = -7*g + 13. Let y be j(2). Is 4/8 - (y + 2284/(-8)) a multiple of 41?
True
Let d(f) = -235*f - 46. Let p(h) = 707*h + 138. Let x(g) = 11*d(g) + 4*p(g). Does 38 divide x(2)?
True
Let u(g) = -g**3 + g**2 + 4*g - 3. Let b be u(2). Let d be ((-20)/(-30))/(b/(-12)). Is 118 + d + 12/3 a multiple of 19?
True
Let b(s) = -6*s + 6. Let q(r) = 5*r - 7. Let u(z) = 3*b(z) + 2*q(z). Is u(-10) a multiple of 16?
False
Let p(g) = g**2 - 11*g - 4. Let f be p(12). Suppose 3*s - f*s - 15 = 0. Let d(n) = 6*n**2 - 7*n - 30. Is 9 a factor of d(s)?
True
Let t be 69 + (2 + -1)*1. Is (10299/21)/1 + (-30)/t a multiple of 35?
True
Does 19 divide (9314 - 1) + 14*9/42 - 6?
True
Let u = 59 - 62. Let o be -2*(-6)/(-9)*u. Suppose 9*p = o*p + 175. Is p a multiple of 21?
False
Is 1148/((-8)/(-25) - 306/1020) a multiple of 140?
True
Let n(x) = -3*x + 130. Let j be n(0). Let y = j - -5. Is 79 a factor of y?
False
Let r be (5/((-50)/(-5)))/(2/(-52)). Let z = -3 + r. Is 18 a factor of (-147)/(-196) + -2*1018/z?
False
Is (-63506)/(-30) - (-54)/405 a multiple of 8?
False
Let g be -2 + 5 + ((-5584)/4)/(-1). Let c = g - 489. Is c a multiple of 26?
True
Suppose 1152 = 27*y - 23*y. Suppose -4*m + 1208 = -y. Does 8 divide (2 - 1)/(11/m)?
False
Suppose 0 = 5*g - 12 - 8. Suppose 147 = g*k - 5. Suppose -k*i = -43*i + 185. Is i a multiple of 14?
False
Let x(b) = b**2 + 4*b + 3. Let n be x(-3). Suppose w - 222 = -n*w. Is (-6)/(-16) + w/48 a multiple of 3?
False
Does 54 divide 22/(-4)*-55*(-3652)/(-110)?
False
Suppose -23*j + 52372 = -34292. Does 9 divide j?
False
Let n = 135 - 76. Suppose n*m = 55*m + 1776. Is m a multiple of 66?
False
Let r = -3398 + 5768. Is 15 a factor of r?
True
Suppose -5*n = -4*m - 29, 4*m = -3*n - 9 - 12. Let s = 39 - m. Is s a multiple of 15?
True
Suppose 17*j = 14*j + 195. Suppose j = s + 24. Is s a multiple of 6?
False
Let p be 2 - (-721 - (0 + -7)). Suppose -16*r + p = -116. Is 13 a factor of r?
True
Suppose -8*c = -13*c - 225. Let y = c + 48. Let h(d) = 4*d**2 + 8*d - 6. Is h(y) a multiple of 27?
True
Let i(f) = -2*f - 27. Let u be i(-16). Suppose 316 = -t - h, 0 = -4*t + u*h + 17 - 1317. Does 7 divide 18/8*t/(-12)?
False
Suppose -24*d + 30*d + 3426 = 0. Let h = d + 1109. Is h a multiple of 8?
False
Suppose -53*w = -2765 + 11616. Let b = 537 + w. Is 17 a factor of b?
False
Is 33 a factor of (1 - 4 - -270)/(5/165)?
True
Let m(q) = -7*q - 92. Does 12 divide m(-72)?
False
Let d(a) = a**3 - 9*a**2 - 9*a - 10. Suppose 0*q = -5*q, 0 = -w - 5*q + 10. Let u be d(w). Suppose 3*k = p + 367, 16 = -u*p - 4*p. Is k a multiple of 14?
False
Let b = 284 + -664. Let v = -347 - b. Does 5 divide v?
False
Suppose 4*n + 248 = 228, 5*c - 49585 = 2*n. Is 17 a factor of c?
False
Let p(t) be the third derivative of -5*t**4/8 - 3*t**3 - 9*t**2. Let u be p(-13). Suppose 0 = 3*s - 96 - u. Is 20 a factor of s?
False
Does 31 divide (0 + 18)*(-758)/(-4) - (-1 - -2)?
True
Let g(s) = -943*s - 344. Does 49 divide g(-6)?
False
Let j be 9/9 - (18/2 - 0). Does 15 divide 3/2 - (j - 808/16)?
True