 13*m**3/6 + 129*m**2/2 + 8*m - 4. Does 6 divide y(-5)?
False
Is 3*(188526/9)/13 a multiple of 167?
False
Suppose 34*r - 900 = -2*c + 30*r, 0 = -r - 5. Does 20 divide c?
True
Let v = -8087 + 10042. Is 115 a factor of v?
True
Let t(i) be the first derivative of i**3/3 - 10*i**2 + 23*i + 15. Let z be t(19). Let r(h) = 19*h + 9. Is 8 a factor of r(z)?
False
Does 13 divide (-99)/(-15)*(-2421250)/(-750)?
True
Suppose -9984 = -315*j + 309*j. Is j a multiple of 15?
False
Let h = 3935 - 2336. Is h a multiple of 105?
False
Let j be (-1110)/(-4) + 2 - 48/(-96). Let n = -71 + j. Does 19 divide n?
True
Let n = 46 + -40. Suppose 858 = n*m - 3*m. Is m a multiple of 11?
True
Let v = 106 - 31. Let g = v - 74. Does 41 divide (-1)/(g - 2)*(-1 + 165)?
True
Let f = 136 + -135. Is 6 + (-1 - (-4)/f) a multiple of 9?
True
Let y = -4602 - -5452. Is y a multiple of 13?
False
Suppose 4*x - 2193 = 2*o + 3*o, -5*o = -2*x + 1109. Suppose -x + 62 = -v. Is v a multiple of 15?
True
Let s(j) = 8*j + 75. Let q be s(-9). Let a(v) = 2*v + 5. Let i be a(-5). Does 4 divide q - (3 - 2) - i?
False
Is 0 + (104/20)/((-12)/(-5040)) a multiple of 8?
True
Let m = -95 - -99. Is 22 a factor of 3476/11 - 3*m/(-3)?
False
Suppose 5*y - 58 = -18. Suppose -2*x - y*g - 50 = -6*g, 50 = -2*x + 4*g. Let t = x + 63. Is t a multiple of 19?
True
Is 1*1164/((-156)/(-13)) a multiple of 2?
False
Suppose -6*w + 2*w = 8, -1940 = -2*x + 3*w. Is x a multiple of 13?
False
Let c(l) = 180 - 28*l + 21*l + 9 - 15*l. Does 38 divide c(-6)?
False
Let u(v) = v**2 + 7*v - 10. Let d be u(-12). Suppose -15 = 5*c - d. Suppose 270 = y + 5*m, -y - 3*m + 288 = -c*m. Is y a multiple of 40?
True
Let m = -705 - -449. Let u = 809 + m. Does 9 divide u?
False
Let x be (-2 + -344)/(-1 - -3). Let a = 302 + x. Does 5 divide a?
False
Let w = -55 + 57. Suppose 2*q = -3*j - 3, -q - 4*j = -w*j + 4. Does 43 divide (534/(-18))/(1*(-2)/q)?
False
Let k = 24 + -21. Suppose 5*t - 122 - 13 = -k*l, 0 = -l + 5. Does 27 divide (t - -4) + -2 + 1?
True
Let w = 2976 + -2985. Let u(s) be the first derivative of -s**4/4 - 3*s**3 - 25*s**2/2 + 4*s + 1. Is 39 a factor of u(w)?
False
Suppose -4*p - p = -3*c - 35, 5*p + 70 = -4*c. Let j = -11 - c. Suppose 25 = j*x + 1. Does 6 divide x?
True
Suppose 3*p = 15, 0*l + 2*p = 3*l - 410. Suppose 5*z + 5*m = 1245, z - l - 134 = 4*m. Is 8 a factor of z?
False
Let s be (12/(-24))/(2/(-428)). Let a = s - 44. Is a a multiple of 33?
False
Let z(q) = 3*q**2 - 11*q - 2. Let c be z(-5). Suppose c = 10*d - 492. Is 6 a factor of d?
False
Let y be (-5602)/(-8) + 21/(-84). Suppose f + f = y. Is f a multiple of 35?
True
Let b(t) = 67*t + 2. Let y = 179 - 106. Let q = y + -71. Does 8 divide b(q)?
True
Let l be 2/5*1280/32. Let c be 1/3 + 1702/6. Suppose l*x - 12*x - c = 0. Is 6 a factor of x?
False
Suppose 56 = 5*x - 3*a, 4*x - 10 = -5*a + 20. Suppose -12 = -3*o + 3*y, 40*o - 38*o = -y + 14. Is (2 - x/o) + 4790/30 a multiple of 32?
True
Let q(s) = -s**3 - 39*s**2 + 500*s - 56. Is q(-50) a multiple of 5?
False
Let v = 637 + -1081. Let w = 1478 + v. Is w a multiple of 22?
True
Let v = 11 + 2188. Is v a multiple of 4?
False
Suppose 0 = -2*w + 2*y - 2 + 26, 3*w + 3*y = 12. Suppose 2*l = -5*f + w*f - 724, 4*f = -3*l + 954. Is 10 a factor of f?
True
Does 10 divide (91/637)/((-2)/(-44338))?
False
Let a be 144/96 - 14/(-4). Suppose -a*k = -3*d - 5830, -150 = 2*k - 2*d - 2482. Is 11 a factor of k?
True
Let z(u) = -46*u - 2. Let s(f) = -47*f - 1. Let b(w) = 5*s(w) - 4*z(w). Suppose -43*p - 38 = -24*p. Is b(p) a multiple of 19?
False
Suppose 53 = -23*y + 168. Suppose -3*v + 1297 = k, 0 = 2*v - 3*k + y*k - 866. Does 36 divide v?
True
Let s be (-5798)/(-8) + 13/52. Suppose -5*b - d = -5*d + s, -452 = 3*b + d. Let z = -109 - b. Is z a multiple of 11?
False
Let x = 10818 + 17443. Is 15 a factor of x?
False
Suppose 15*t - 208023 - 144327 = -15*t. Does 87 divide t?
True
Suppose -29*r + 29*r = 372*r - 4479624. Does 182 divide r?
False
Suppose 0 = -2*w - 5*w - 14. Let s(t) = 8*t**2 - 2. Let r be s(w). Is 3 + 359/6 + 5/r a multiple of 6?
False
Suppose -5*r = -2*t + 219, -r + 8*t = 5*t + 36. Suppose -458*a = -429*a + 174. Does 10 divide 24*r/a*1?
True
Suppose -3*l + 66336 = 4*y, 6*l + 13*y - 18*y = 132672. Is 13 a factor of l?
False
Let x be -8 - -6*8/6. Suppose -b + 1 = x, 3*b - 3 = 3*m - 1992. Does 52 divide m?
False
Let z(w) = -w + 70. Let v be 3*(140/8 - -2)*2. Let t = v + -127. Does 20 divide z(t)?
True
Suppose 6*y = 4*f + 7*y - 17, -f + 5*y = 1. Suppose -44 = -4*b - f*q, -15*q + 13*q - 2 = -b. Is b a multiple of 6?
False
Suppose 3*b + 4*k = 22345 + 42016, -5*k + 40 = 0. Does 31 divide b?
False
Let u = 939 + 96. Suppose u + 1397 = 19*g. Is 34 a factor of g?
False
Suppose 5*t - s - s = 1650, 4*s = 0. Let u be 1/1 - 1 - (-200)/(-1). Let y = t + u. Is 20 a factor of y?
False
Suppose 3*k + 11 = -f, -11 = 5*k - 2*f - 0. Let c be ((-530)/4)/(k/6). Let g = c + -161. Is 13 a factor of g?
True
Suppose 3*c + m = -203, 0 = -0*m + 5*m - 5. Let d = c + 122. Suppose d = 2*h + 4. Is h a multiple of 25?
True
Let x(y) = 1431*y**2 + 121*y - 471. Does 31 divide x(4)?
True
Let v(x) = -723*x + 117. Let y be v(7). Is 22 a factor of 6/(-21) - y/56?
True
Let z = 5381 + -2080. Does 32 divide z?
False
Is 49 a factor of 5*174910/150 - ((-5)/3 - -1)?
True
Let u(t) = 6 - t + 13 + 6 - 21. Is u(-38) a multiple of 6?
True
Is 5 a factor of 1 - (-14)/(-18) - 1781877/(-1161)?
True
Suppose -3*b - 4*p + 1989 + 2628 = 0, -1523 = -b + 4*p. Is b a multiple of 21?
False
Let p(y) = y**3 - 15*y**2 + 1. Let l be p(15). Is (l/(-3)*-5)/(7/462) a multiple of 22?
True
Let v = 4049 - 1316. Does 39 divide v?
False
Suppose 0 = -2*x - 25 + 13. Let g = 114 - x. Is g a multiple of 3?
True
Let j(w) = 44*w + 39. Let z(n) = 132*n + 123. Let o(i) = -66*i - 61. Let x(l) = -7*o(l) - 3*z(l). Let p(s) = 7*j(s) - 5*x(s). Is 29 a factor of p(-10)?
True
Let l = 7032 - -7895. Is 12 a factor of l?
False
Does 97 divide (-2)/(-4) + -8 + 6/(-12)*-4671?
True
Let z = -64 - -78. Let m(a) = -a + 16. Let u be m(z). Suppose -u*p + 67 + 219 = 0. Is 13 a factor of p?
True
Suppose -1199 = -6*i + 1705. Suppose 0 = -j + 23*j - i. Is j even?
True
Let s be 1*(0 - -115)*(-288)/(-160). Suppose -18*x + 99 = -s. Is 13 a factor of x?
False
Is 162 a factor of (-22696)/(-28) + 155/35 + -5?
True
Let a be (-85)/15 - -7 - 100/3. Does 26 divide (4/(-3))/(a/10608)?
True
Suppose 0*p + p - 171 = 2*i, 4*p - 5*i = 684. Suppose 9*q - 711 = -p. Let x = q + -10. Is x a multiple of 4?
False
Let v(r) = 2*r**2 + 67*r - 493. Is v(-55) a multiple of 32?
False
Let z = 1035 - 821. Is z a multiple of 8?
False
Suppose -76*x + 82*x - 12948 = 0. Is x even?
True
Suppose -r + 985 = -2*n, 2*r + 2*n - 2526 = -544. Is r a multiple of 23?
True
Let m = 361 + -582. Let s = -109 - m. Is s a multiple of 28?
True
Let j(m) be the second derivative of 0 - 9/2*m**2 - 11*m - 17/6*m**3. Is 14 a factor of j(-5)?
False
Let t(d) = -5*d - 17. Let j be t(-7). Let m = 0 + j. Let i = m - 12. Is i a multiple of 2?
True
Let g = 114 - 116. Is 160/(8/g)*42/(-12) a multiple of 12?
False
Suppose 10*h - 13*h + 729 = -3*i, -3*h - 4*i + 729 = 0. Suppose h = c + 4*n - 161, 3*c - 1185 = -3*n. Is c a multiple of 56?
True
Let g(k) = 3*k + 8. Let c(u) = 8*u - 24. Let i(s) = 7*s - 23. Let p(h) = -5*c(h) + 6*i(h). Let z be p(15). Is g(z) a multiple of 5?
False
Suppose m = 4*u + 217, -3*u - 2*u + 784 = 4*m. Suppose 4*c - 239 = -d, -4*d - 45 = -5*c + 280. Suppose c = -5*f + m. Is f a multiple of 28?
True
Does 3 divide 3 + (-2)/((-10)/15) - -243?
True
Suppose 5*c - 2*c - 130 = 5*a, 5*a = 5. Is (30/(-4))/(17/((-22440)/c)) a multiple of 11?
True
Let p(m) = 179*m + 140. Is p(11) a multiple of 19?
True
Suppose -15*w - 40 - 5 = 0. Is 11 a factor of -3 + -26*w/(6/7)?
True
Suppose 0 = -3*r + 4*i + 604, 0 = -135*r + 136*r + 5*i - 157. Does 39 divide r?
False
Let j(z) = 3*z**2 - 229*z - 2190. Is j(107) a multiple of 86?
True
Suppose -h + 0*h - 1881 = -10*h. Does 4 divide h?
False
Let m(o) = -20*o + 13*o**2 - 9*o + 18*o**3 - 438*o**3 + 41*o + 0 - 1. Does 84 divide m(-1)?
True
Let d be (-88)/10*(-4 + (-134)/4). Suppose 0 = -x + d + 90. Suppose 8*q = 13*q - x. Is q a multiple of 7?
True
Let t(p) be the third derivative of p**5/10 - 5*p**4/8 - 3*p**3/2 - 61*p**2. Is t(-5) a multiple of 13?
False
Let i(