+ 1520. Does 8 divide f?
True
Suppose -150 = 37*d - 40*d. Let v be (d*(2 - 1))/(-1). Let k = v - -90. Does 18 divide k?
False
Let u(x) = 4*x - 106. Let m be u(28). Let h(f) = 2*f**3 - 5*f**2 - 11*f - 10. Is h(m) a multiple of 22?
True
Let n(i) = -3*i**2 - 13*i + 23. Let g be n(-8). Let s = g + 157. Is 7 a factor of s?
False
Let x = 1128 - 794. Does 7 divide x?
False
Suppose -8*j = -379 + 355. Is j/(-6)*1 - 15855/(-30) a multiple of 12?
True
Let a = 12782 - -1588. Is 15 a factor of a?
True
Let l(n) = -n**3 + 7*n**2 + 9*n + 17. Suppose 6 = -5*y + 21. Suppose y*a - 35 = -2*a. Is 16 a factor of l(a)?
True
Suppose q - 17029 = 92*w - 97*w, w + 7 = 0. Is 18 a factor of q?
True
Suppose -27*o + 26*o + 18 = 0. Does 7 divide ((-6)/o)/(5/(-1665))?
False
Suppose 10*q - 28 = 3*q. Suppose -144 = q*b - 7*b. Is 3 - (1 - b) - 1/1 a multiple of 14?
False
Let t(r) = -r**3 + 10*r**2 + r - 8. Suppose 29 = 3*m - 1. Let b be t(m). Suppose -i = q - 58, i - 151 = -b*q - 33. Does 15 divide q?
True
Suppose -23377 - 64778 = -27*f. Is 48 a factor of f?
False
Suppose 82*c = 75*c + 3003. Let u = c - 236. Suppose u = 3*p - 3*w - 236, 2*w - 274 = -2*p. Does 10 divide p?
True
Suppose 5*c = -10, -6*j - 2754 = -j + 2*c. Let y = j - -746. Is y a multiple of 9?
False
Let v(p) = 2*p**2 + 3*p - 5. Let l be v(-4). Let g be 5 - 88/20 - (-21)/l. Suppose -5*r + 143 = -4*j, g*r = -r + 3*j + 87. Is 24 a factor of r?
False
Let x be (201 - 0)*2/6. Let z = x - 51. Is z even?
True
Suppose 4*c = -k + 19018, -13*c - 2*k = -14*c + 4750. Is 17 a factor of c/20 + (-141)/(-470)?
True
Suppose 206 = 4*z - b, b + 4 - 2 = 0. Let j = 24 + z. Let q = j - 49. Does 3 divide q?
False
Suppose 526*l = 389*l + 403739. Does 7 divide l?
True
Suppose 91*w - 131*w = -396000. Is 75 a factor of w?
True
Suppose 871 = 5*k + 846. Suppose -2*y + 132 = -98. Suppose -k*p = -3*c - 191, -3*p = -0*p - 2*c - y. Is p a multiple of 11?
False
Let r(c) = -4*c - 17. Let y be r(-12). Suppose 4*x + 12 = m + y, x + 2*m = 7. Does 22 divide (0 + -2 + x - -83) + -3?
False
Let m = -33 - -35. Suppose m*s + 170 + 60 = 0. Is s/15*-3 - 4 a multiple of 6?
False
Let i(h) = -24*h - 9. Let x be i(-1). Suppose 2 = x*g - 17*g. Does 12 divide 217/(g/(0 + -1))?
False
Suppose 3*l - 31 - 89 = 0. Let f = 27 - -3. Does 15 divide f/l*(61 + -1)?
True
Let o = -331 + 885. Let k = 827 - o. Does 44 divide k?
False
Let t = -97 - -97. Suppose t = -5*o + 3*a + 21, -2 + 4 = 2*o + 2*a. Suppose o*j - 4*j = -81. Is j a multiple of 25?
False
Let o(a) = a**3 + 2*a**2 - 22*a + 125. Is 55 a factor of o(15)?
False
Let i be -1 - (-2)/((-4)/(-310)). Let l(q) = 4*q**3 - 90*q**2 + 60*q - 206. Let o be l(22). Suppose o + i = 12*n. Is n a multiple of 2?
False
Let g(c) = 115*c**3 - 117*c**3 + 6*c + 17 - 21*c - 14*c**2. Is 17 a factor of g(-6)?
False
Let w(c) = c**2 - 5*c + 11. Let s be w(6). Let j = s - -181. Is j a multiple of 22?
True
Let o(y) = -2406*y + 9. Let z be o(1). Let s = -1344 - z. Is 12 a factor of s?
False
Suppose -s + 4*d = -5070, -3*s + 5785 + 9467 = -5*d. Is 18 a factor of s?
True
Suppose -j = -k - k + 16847, 2*k + 5*j - 16853 = 0. Is k a multiple of 108?
True
Suppose -7*p + 40 + 65 = 0. Suppose -20*o = -23*o - p. Does 6 divide ((-1)/(-2))/(o/(-240))?
True
Suppose -15*y - 5*j = -17*y - 37, -2*j + 16 = -y. Let r(k) = -40*k - 110. Is r(y) a multiple of 7?
False
Let s(u) be the first derivative of u**4/4 + 4*u**3/3 - 19*u**2 + 13*u - 51. Is s(11) a multiple of 31?
False
Let x = -641 + 393. Let o = 320 + x. Is o a multiple of 7?
False
Let t = -39 + 48. Let a be 1534/6 - -1*3/t. Suppose 12*w = 16*w - a. Is w a multiple of 4?
True
Let g = -23057 + 25854. Is g a multiple of 24?
False
Let z(f) = 13591*f**2 - 63*f + 2. Is 33 a factor of z(1)?
True
Let u = 14250 - 9247. Is u a multiple of 21?
False
Does 85 divide 28980 + 40 + -15 + -20?
True
Is 2/((-19)/((-1064)/3))*2010/4 a multiple of 15?
False
Does 5 divide (-667 + 367)*((-4)/(-3))/(-1)?
True
Let t = -12 + 22. Let i be (10/t - (-10)/(-2)) + -2. Let j(s) = 9*s**2 + 4*s + 1. Is j(i) a multiple of 52?
False
Let s = 87 + -74. Suppose 2 = -3*o - s, -c = -5*o - 1745. Is 62 a factor of 1/7 + c/14 + 1?
True
Suppose 7*u - 4*u - 4*c - 15547 = 0, 20719 = 4*u + 5*c. Is 60 a factor of u?
False
Let r = 744 - 800. Does 9 divide -9 + 785 + r/7?
False
Suppose 0 = -3*g, -g + 288 = -5*h + 4*h. Is (15/2)/((66/h)/(-11)) a multiple of 36?
True
Let k be 0/18 + (-18)/(-2). Let l(p) = 11*p - 30. Let c be l(k). Let f = c + 148. Is f a multiple of 31?
True
Let m be 1/(1/(-2))*(12 + -14). Suppose 0 = -m*k - k + 385. Does 11 divide k?
True
Let o = 23006 + 10753. Is 99 a factor of o?
True
Let t be 38/(55/60 - 10/15). Suppose -3*n + t = 5*n. Is 5 a factor of n?
False
Let f(i) = -499*i - 2427. Is 12 a factor of f(-21)?
True
Let q = -308 - -366. Suppose 3*x - q - 80 = 0. Does 2 divide x?
True
Suppose 0 = 3*x - 6*d + 3*d + 168, 5*x + 2*d + 266 = 0. Let t = x - -56. Suppose 3*v = 4*k + 91 + 96, 2*v - 124 = t*k. Is v a multiple of 14?
False
Suppose 297956 + 494620 = 172*x. Is 96 a factor of x?
True
Let m(r) = r**3 + 58*r**2 - 117*r - 734. Does 128 divide m(-59)?
True
Let h(i) = -4*i**3 + 3*i**2 + 63*i + 36. Does 5 divide h(-6)?
True
Suppose -200*q = -202*q + 3392. Is q a multiple of 16?
True
Let a(i) = 3 - 17*i + 156 + i**3 + 16*i. Let z be a(0). Suppose 0 = 4*v - z - 53. Does 11 divide v?
False
Let s = -107 - -151. Suppose -2*x = -127 + 155. Let j = s - x. Is j a multiple of 10?
False
Let v(a) = 3844*a + 1004. Is v(7) a multiple of 13?
False
Suppose 2*r + 179 = 7*l - 10*l, -3*r - 264 = 3*l. Is 10 a factor of -14*4/(40/r)?
False
Let o be ((-20)/15)/((-4)/18). Let i be ((-5)/(-15))/1 - 8/o. Is 6 + -7 + (0 + i)*-131 a multiple of 14?
False
Suppose -5*y - 366*c + 368*c = -13419, -y + 4*c + 2673 = 0. Is y a multiple of 13?
False
Let v be (-9)/(-153) + 88480/85. Let i = v - 844. Is 21 a factor of i?
False
Suppose -126*b = -614596 + 407586 - 677510. Is 15 a factor of b?
True
Does 21 divide 2*14*82 - (68 + -71)?
False
Let b(y) = -246*y**3 - 76*y**2 - 221*y + 2. Is b(-3) a multiple of 5?
False
Let b(h) = -9*h**3 - 21*h**2 + 37*h - 36. Let j(o) = -11*o**3 - 21*o**2 + 37*o - 36. Let d(x) = 5*b(x) - 4*j(x). Does 3 divide d(-23)?
True
Let o(r) be the third derivative of r**5/30 + 5*r**4/4 + 7*r**3/6 + 6*r**2. Let n be o(-15). Suppose -n*l + 825 = -2*l. Does 15 divide l?
True
Does 25 divide (-332)/83*1706/(-4)*1?
False
Suppose -121*u = -1332917 - 2073475. Is 92 a factor of u?
True
Suppose 21 + 9 = 5*y. Suppose 0 = 4*u - 3*z - 36, 2*z + 2 - y = -2*u. Is (4/u)/(18/837) a multiple of 9?
False
Does 40 divide ((-13 - (-433)/1)*9)/((-3)/(-4))?
True
Does 4 divide (-4)/(-3) - (-96)/(-18) - (-3 + -1581)?
True
Let g(y) = -y**2 + 10*y + 14. Let a be g(11). Let n(o) = a*o**2 + 40*o**3 - 2 - 42*o**3 - o**2. Is n(-2) a multiple of 11?
True
Let h = 39064 - -5335. Does 13 divide h?
False
Let g be -4 - ((-9)/36 - (-174)/(-8)). Suppose -g*i + 24*i = 438. Is i a multiple of 22?
False
Let m(u) = 98*u**3 + 5*u**2 - 58*u + 215. Is m(4) a multiple of 4?
False
Suppose -5*v + 1 = -5*o + 26, -2*v = 3*o - 15. Suppose o*x = 2 + 8. Suppose 0 = 2*u - 2*k - 33 - 355, 5*u = x*k + 979. Is u a multiple of 39?
False
Let g(l) = 536*l**2 - 14*l + 22. Does 31 divide g(2)?
False
Let x(s) be the first derivative of -s**3 + 3*s**2 - 10. Let n(l) = 8*l**2 - 18*l + 1. Let g(z) = 4*n(z) + 11*x(z). Is 6 a factor of g(-4)?
True
Does 22 divide (-4965688)/(-836) - (-4)/22?
True
Suppose 147*r = 25*r - 55*r + 838803. Is 27 a factor of r?
False
Let h(p) = 11457*p**2 - 4*p - 7. Is h(1) a multiple of 97?
True
Let v(r) = r**3 + 7*r**2 + 5*r + 23. Let d be v(-7). Let l = d + 16. Suppose l*i = 2*i + 12. Does 5 divide i?
False
Let d be (-1)/7 - (-248)/(-28). Let n be (d*6/(-45))/(6/15). Let a(c) = 54*c + 28. Does 10 divide a(n)?
True
Let g(m) be the third derivative of 5*m**4/12 + 197*m**3/6 - 69*m**2. Is g(19) a multiple of 19?
False
Let a(q) = -2*q + 22. Let y be 144/6 + 0 + -3. Suppose -24*b - 33 = -y*b. Does 11 divide a(b)?
True
Let t(a) = 6*a + 24. Let o be t(-4). Let m = 64 + -44. Suppose -m = -5*p - o. Is p a multiple of 4?
True
Suppose 5*p - k = -2402, k + 3 = -0*k. Let x = p + 637. Does 26 divide x?
True
Let z(w) = 27*w - 26. Let a be z(7). Suppose -5*g + a - 18 = 0. Is 12 a factor of (g/(-2))/((-3)/6)?
False