 g/(-15))*57?
False
Let w = -20295 - -46489. Does 112 divide w?
False
Let q(v) be the first derivative of 7/2*v**2 - 37*v + 20/3*v**3 + 34 - 1/4*v**4. Is q(20) a multiple of 11?
False
Let n = -151 + 41. Does 22 divide ((-33)/(-2))/((-132)/n)*52?
False
Let g(s) = s**2 + 17*s - 26. Let c be g(-19). Suppose 17*l = c*l + 2330. Is l a multiple of 34?
False
Let h = 75 - 69. Let l(p) = 2*p**2 - 11*p + 26. Is l(h) a multiple of 18?
False
Let i = 551 + -566. Let w(p) = p**3 + 17*p**2 + 27*p + 127. Does 4 divide w(i)?
True
Let o(i) = -3041*i - 301. Is o(-2) a multiple of 123?
True
Let l be (6/(-3) - -8) + 2. Suppose -44*g + 33231 = 9*g. Suppose -2*f = -3*b - 309, -4*f + 3*b = -l*f + g. Is 13 a factor of f?
True
Let m(u) = u**3 + u**2 - u. Let r be 5 + -10 - -1*(-3)/3. Let j(o) = 5*o**3 - 7*o**2 - 8*o - 13. Let g(c) = r*m(c) + j(c). Does 7 divide g(-13)?
False
Let v be 440/10 + -5 + 2. Let p = -36 + v. Suppose -5*b + 60 = 4*d - 26, p*b = 2*d - 58. Is 3 a factor of d?
True
Let x(w) be the first derivative of 2*w**3 + 5*w**2/2 - 10*w + 93. Does 4 divide x(2)?
True
Suppose 0 = -4*j + 3*s - 4, -5*s - 3 = 4*j - 31. Suppose -j*u + 2*o + 1316 = 0, -22*u + 17*u = o - 3302. Is 22 a factor of u?
True
Suppose 4*q - 5*k = 19414, -3*k = -5*q - 595 + 24869. Does 56 divide q?
False
Is ((-5)/(-4))/5 - 539139/(-116) a multiple of 3?
False
Suppose 0 = 206*o - 176*o - 167400. Does 180 divide o?
True
Suppose -3*v + 4974 + 1782 = -3*k, -2*v - 3*k = -4504. Is v a multiple of 31?
False
Let n(r) = -278*r + 1384. Is 74 a factor of n(-7)?
True
Suppose 0 = -r + 4*b - 9, -2*r = r + b - 12. Suppose r*l - 159 = -3*w, 4*w - 4*l - 150 = 38. Is 2 a factor of w?
True
Let r(d) = 8*d + 10. Let t(f) = -f + 4. Let k be t(4). Suppose 2*c - 2 - 12 = k. Is r(c) a multiple of 23?
False
Let h(n) = -17*n - 4*n**2 + 3 + 3*n**2 - n. Let q = -2474 + 2459. Is 24 a factor of h(q)?
True
Let s(l) be the first derivative of -1 + 0*l - 11 - 2 + 4*l**2 + 5*l. Does 11 divide s(9)?
True
Let l = -3 - -54. Let o = 53 - l. Suppose -o*w + h + 859 = w, 5*w - 3*h - 1429 = 0. Is w a multiple of 37?
False
Let k(b) = -b**2 + b + 7. Let c be k(-8). Let u = -61 - c. Is 12 a factor of 1/u*-1 + 229/4?
False
Let m(z) = -2*z + 17. Let n be m(6). Suppose -n*j + j = 8. Is 5 a factor of j/(0 + -2)*(56 + -5)?
False
Let s(a) = -31*a - 1009. Does 45 divide s(-34)?
True
Let w be (1/(35/60))/(4/42). Suppose -w*o + 43641 = 21*o. Does 55 divide o?
False
Suppose 0 = -5*z + 3*z + 4. Let m be 10 - (z*(0 - -1) - 3). Suppose m*a - 12*a + 87 = 0. Is 29 a factor of a?
True
Let t(z) = 150*z**2 + 13*z + 23. Does 36 divide t(-5)?
True
Let n = -7078 - -15553. Does 113 divide n?
True
Suppose -8*l + 78 = -7*l. Suppose -l = 6*d - 24. Let p = d - -59. Is 10 a factor of p?
True
Let i be (-28)/(-4) + -4 + 164*1. Let y = 333 - i. Suppose y - 486 = -2*w. Does 15 divide w?
False
Let d(u) = -u**3 - 16*u**2 - u - 12. Let x be d(-16). Suppose -5*s + x = 2*i - 12, 0 = -5*i + 2*s + 11. Suppose 600 = -i*b + 8*b. Is 24 a factor of b?
True
Suppose -3*k = j - 18295, 2*k - 42715 = -2*j - 6089. Does 26 divide j?
False
Let j(w) = 33 + 40 + 158*w + 21 - 150 + 25. Does 14 divide j(3)?
False
Suppose 5*m = -0*m - 25, -2*m - 20 = -5*r. Suppose 4*f - y - 613 = r*y, 4*f + 2*y - 598 = 0. Let s = f + -109. Is s a multiple of 7?
True
Let h = -281 - -422. Suppose 1520 = -11*k - 8*k. Let v = h + k. Does 7 divide v?
False
Let r(n) = n**2 + 20*n + 41. Let f be r(-18). Suppose -f*m + 301 = -19. Is m a multiple of 4?
True
Let x = 0 + -29. Suppose 0 = 27*g - 22*g - 520. Let v = x + g. Is 20 a factor of v?
False
Let g(w) = 10*w + 71. Let o(n) = n**3 - 2*n**2 - 4*n - 5. Let z be o(4). Is g(z) a multiple of 16?
False
Suppose -c + 14 - 12 = 0. Is 20 a factor of (-16)/(-4) - (-592)/c?
True
Suppose -53*z + 48*z = -35. Suppose 0 = z*w - 6*w - 415. Does 23 divide w?
False
Suppose 60 = 3*v - 15. Does 11 divide ((-330)/v)/(1/(-15))?
True
Let x = 38 - 35. Suppose x*j - 16 = -2*q + 7*j, -8 = -q + 3*j. Let c = 34 + q. Is 6 a factor of c?
True
Suppose -411966 = -80*o + 13*o - 149192. Is 53 a factor of o?
True
Let y be (4 + (-63)/18)*1*84. Suppose y*z = 48*z - 3198. Is 13 a factor of z?
True
Suppose 33*q = 256152 + 1032960. Is q a multiple of 20?
False
Let y be (-30)/50*20/(-6). Let l(n) = 3*n + 25 - n**y + 19*n - 2*n. Is l(19) a multiple of 22?
True
Suppose -109*s = -138*s + 63307. Does 37 divide s?
True
Let r(f) = 226*f**2 - 15*f - 47. Is 15 a factor of r(-5)?
False
Let r(y) = -3*y**2 + 125*y - 5. Is 7 a factor of r(14)?
False
Let i be (-86)/(-18) + 2/9. Let b(p) = -9*p - 4*p - i*p + 15*p - 5. Does 6 divide b(-9)?
False
Let x(v) = -v**3 - 14*v**2 + 22*v + 8. Let h be x(-15). Let s be (-6 - h/3) + 1/(-3). Let j(n) = 2*n - 5. Is j(s) even?
False
Let j = -2279 - -8519. Suppose 0 = 14*y + 12*y - j. Is y a multiple of 15?
True
Suppose -40 = 4*r + 12. Let v = 577 + -552. Let a = r + v. Does 3 divide a?
True
Let j = 8432 + -4128. Does 85 divide j?
False
Suppose -38*o + 1041224 = -232799 + 70791. Is o a multiple of 8?
True
Let v(l) = 399*l**2 - 117*l - 344. Does 15 divide v(-3)?
False
Let y = 34677 + -5031. Is y a multiple of 18?
True
Let f(y) = 59*y**2 - 3*y + 4. Let m = -309 + 310. Does 5 divide f(m)?
True
Let z(b) = -7*b + 83. Let x be z(13). Is (-17 - -7)/(x/20) a multiple of 7?
False
Suppose -937*o + 939*o - 73036 = -5*d, -2*d + 5*o + 29255 = 0. Is d a multiple of 15?
True
Let l be 5 + -6 + (-24)/(-4). Does 5 divide -5 + (-84)/(-4) - l?
False
Let p be ((-210)/((-70)/(-10)))/(4/(-2)). Does 17 divide 15/9 - (-5165)/p?
False
Let r(d) = -111*d + 2825. Does 24 divide r(-32)?
False
Let p be (9 + 0)*-1*-21. Let v = p - 181. Is 4 a factor of v?
True
Let z(u) = -u**3 - 11*u**2 + 12*u + 42. Let l be z(-12). Suppose 0 = l*v - 28*v - 3108. Is 74 a factor of v?
True
Let v(a) = 5 + 17 + 121 - 94*a + 233*a. Is 28 a factor of v(3)?
True
Let b(x) = 106*x**3 + 6*x**2 - 1. Let j(y) = 105*y**3 + 7*y**2 - y - 2. Let g(q) = -7*b(q) + 6*j(q). Let d be g(-1). Let u = d - 43. Is u a multiple of 15?
False
Let w(q) = -103*q + 980. Is w(-83) a multiple of 88?
False
Let g be 0/(-3 + 1 + 3). Suppose 4*j - 5*d + 72 = g, 3*j + 3*d + 26 = -1. Let v = j - -25. Is 4 a factor of v?
True
Let y = 20 + -12. Suppose -219 - 53 = -y*g. Is 7 a factor of g?
False
Let m(c) = 6*c**3 + 7*c**2 + 14*c - 11. Let r be m(-4). Let z = 75 - r. Is z a multiple of 9?
True
Let b = -199 + 204. Suppose -b*k = 19*k - 5568. Is k a multiple of 51?
False
Let y be -141*3/21 + 1/7. Let i(o) = 3*o**3 + 8*o**2 + 12*o - 20. Let h be i(-10). Is 8/y*h/4 a multiple of 52?
False
Is 2 a factor of 13466/30 - (-228)/399*(-14)/(-60)?
False
Let r = 50322 + -24436. Does 182 divide r?
False
Let p be (18/24)/(2/(-160)). Let w = 132 + p. Suppose 2*q + 2*f + 26 - w = 0, -5*q + 4*f = -142. Does 13 divide q?
True
Suppose -26*a = -99908 + 3188. Is a a multiple of 155?
True
Suppose -3*p - 26 = -5*u + 9, -4*u = -16. Is 6 a factor of p/(-15) - (1504/(-6) - 1)?
True
Let o(i) = -2*i**2 + 43*i - 77. Let f = 197 + -178. Does 5 divide o(f)?
False
Let h = 20740 - 11727. Does 11 divide h?
False
Let x be (-4 + 16)*5/15. Suppose y = -x*l + 1 - 6, -2*y = 10. Suppose 5*v - v - 808 = l. Is 20 a factor of v?
False
Suppose 182737 = -9*q + 50*q. Does 9 divide q?
False
Let m be 12/(-28) + (1 - (-6864)/(-7)). Let z be ((-240)/28)/(8/m). Suppose -z = -4*k - 11*k. Is 12 a factor of k?
False
Let l(v) = 8*v - 14*v - 6*v - 3*v - 90. Is l(-10) a multiple of 6?
True
Let s(b) = -2059*b + 1609. Does 63 divide s(-8)?
True
Suppose -57*s + 107070 = -183*s + 441222. Does 13 divide s?
True
Suppose -5*x = -2*w + 36122, -130*w - 4*x = -135*w + 90322. Does 37 divide w?
False
Let f = -9 + 11. Suppose -3*k = -3*r + 252, 0 = -7*r + 10*r - f*k - 256. Is r a multiple of 8?
True
Let q = 4107 + -3799. Does 44 divide q?
True
Let z(w) = w**3 - 9*w**2 + 9*w - 63. Let f be z(9). Let p = f + -16. Let k(c) = 32*c + 26. Is k(p) a multiple of 10?
True
Does 4 divide ((-256525)/10)/(-31)*(-1 + 3)?
False
Is 176 a factor of ((321/749)/(2/7))/((-1)/(-16630))?
False
Let f be (-4110150)/(-105) - 4/14. Does 14 divide 4/5 - f/(-70)?
True
Let g be (6 - 6) + (-33)/3. Let l be 21/12 + g/4 + 3. Is 10 a factor of (462 - (5 - 3))/l?
True
Let r(c) = -c**3 + 55*c**2 + 4*c - 850. Does 17 divide r(31)?
True
Suppose 194074 = 23*t + t - 94166. Doe