uppose 8807 = 4*s - 3*i, 71*s - 4393 = 69*s + 3*i. Is s a multiple of 3?
False
Let z = -3733 - -3922. Does 9 divide z?
True
Let b = 358 + -358. Suppose 244 = -4*y - 3*q + 2470, b = 4*y - q - 2234. Is y a multiple of 8?
False
Suppose -s - 4*u = 3, -5*s - 4*u + 9 = -8. Suppose -s*l + 210 = -3*m, -5*l - 4*m + 180 = -m. Let o = 0 + l. Is 9 a factor of o?
False
Let c(i) = -i**3 + i**2 - i - 1. Let b(j) = -20 + 0 - 3*j**2 + 3*j**3 - 4 - 2*j + 4*j. Let s(t) = -2*b(t) - 4*c(t). Is s(0) a multiple of 4?
True
Is 242444/28 + (-135)/(-105) a multiple of 20?
True
Suppose -18*t + 16180 = -38*t. Let y = -351 - t. Is y a multiple of 30?
False
Suppose -424008 = -99*x - 38*x + 20*x. Does 3 divide x?
True
Suppose -7*s + 5*b = -49056, -2*s + 7473 = -3*b - 6543. Is 8 a factor of s?
True
Suppose -11*m - 1710 = -29*m. Let k = 289 + m. Is 12 a factor of k?
True
Let w(d) = -6*d + 278. Suppose 4*x - 2*r = -192, 19*x - 15*x - 4*r = -184. Does 34 divide w(x)?
True
Let i be 0 + -353 + -5*(-4)/10. Suppose -f - 5*v - 236 = 0, 2*v - 494 = 2*f + v. Let o = f - i. Does 24 divide o?
False
Let u(x) = -68*x + 865. Is u(-7) a multiple of 24?
False
Let g = 3 + 763. Suppose -14*l = -284 - g. Does 19 divide l?
False
Suppose -5*x + 23 = -a - 197, 0 = -5*a. Suppose -4*h + 3*h = -3, 159 = 4*o + h. Let t = x + o. Is t a multiple of 10?
False
Suppose -2*a + 12 = 4*p - 4*a, -3*a = 5*p + 7. Is 2 a factor of (108/(-24)*1)/(p/(-26))?
False
Let h(q) = -q**2 + q - 6. Suppose m + 4 = -3*m + 4*u, -10 = -2*u. Let y(d) = -d**2 - 7. Let z(s) = m*y(s) - 5*h(s). Is z(14) a multiple of 16?
True
Suppose 0 = 2*n - w - 1863, -2*n + w - 3*w + 1866 = 0. Is 12 a factor of n?
False
Suppose 0 = -28*v + 24*v + 20. Suppose -528 = 4*i + 2*u - 48, 0 = -2*i - v*u - 232. Let l = i + 293. Does 34 divide l?
False
Suppose -4*p = m - 1385 - 1251, 2*m + 1977 = 3*p. Suppose 5*f + 197 - 1844 = 3*o, 0 = -2*f + o + p. Is f a multiple of 11?
True
Let b(q) be the second derivative of -q**4/12 - 13*q**3/3 + 29*q**2/2 + 104*q + 2. Let c = -21 - -4. Does 14 divide b(c)?
True
Let c(n) be the third derivative of 13*n**4/8 + 5*n**3 + 31*n**2. Does 23 divide c(1)?
True
Let n(c) = -470*c**3 - c**2 - 4*c - 3. Let p be n(-1). Let d = p + -182. Is 12 a factor of d?
True
Let k(u) = -1 - 14*u**2 + 2*u - 4*u + 5*u + 15*u**2. Let r be k(-3). Is 12 a factor of ((-8)/16)/(r/120)?
True
Suppose 3*h - 5*q = 4*h + 542, 0 = 5*q + 15. Let r = 63 - h. Let a = r - 284. Is 17 a factor of a?
True
Let u(h) = 4*h**3 - 6*h**2 - 23*h + 16. Let i be u(8). Let x = i + -376. Is x a multiple of 28?
True
Suppose -54900 = 2*a - 10*a + 5220. Is 6 a factor of a?
False
Let q(i) = -13*i**3 - 11*i**2 + 24*i + 30. Is q(-11) a multiple of 13?
False
Let i(l) = -82*l + 268. Is i(-66) a multiple of 80?
True
Let w be (-4)/(-8)*(-468)/(-3). Suppose 2*x = -170 - w. Let i = x - -208. Is i a multiple of 13?
False
Suppose -v - 5*k = 10, k = -2*k - 9. Suppose -n = -5*l - 5*n + 360, -5*n - 360 = -5*l. Suppose -4*t + l = 4*g - 164, -g = v*t - 79. Is g a multiple of 9?
True
Let i = 5442 + -1403. Does 15 divide i?
False
Let g(i) = 6452*i**2 - 111*i + 112. Does 27 divide g(1)?
True
Suppose -3*n - 5*c = 11, -1 = -2*n + 2*c + 13. Let g = -122 - -266. Suppose n*a - g = -a. Does 4 divide a?
True
Let h(m) = 5*m - 111. Let l be h(21). Is (l/(-9))/((-2)/(-1464)) a multiple of 8?
True
Let y(d) = 129*d - 3 + d**3 - 127*d + 15. Let h be y(0). Suppose 0 = -6*w + 84 + h. Does 10 divide w?
False
Let n(u) = u**3 + 45*u - 4*u**2 - 13*u - 34*u + 7. Is n(7) a multiple of 14?
True
Suppose -9*j = 18*j - 1539. Let o = j + 29. Does 41 divide o?
False
Suppose 0 = -59*w + 63*w - 296. Suppose -78*c + 3300 = -w*c. Is c a multiple of 23?
False
Let c(l) = l**3 - 27*l**2 - 32*l + 55. Let i be c(29). Let k = i - 486. Does 17 divide k?
True
Let z(g) = -100*g + 154. Is 7 a factor of z(-9)?
False
Let w = -13 + 18. Suppose 0 = m + 2*l, -w*m - l + 14 = 2*l. Suppose 6*p - 303 = -4*v + 3*p, 3*v = -m*p + 222. Is v a multiple of 26?
True
Does 104 divide 8/56 + (-362805)/(-35)?
False
Suppose 4*q = -3*q - 84. Let p(k) = -k**2 - 11*k + 16. Let l be p(q). Suppose l*m = 184 + 136. Is 10 a factor of m?
True
Let t(u) be the first derivative of 20*u - 10*u**2 - 2*u + 9 + 2*u**2 + u. Is 10 a factor of t(-5)?
False
Let h(z) = 47*z**3 + 14*z**2 - 15*z + 3. Does 25 divide h(4)?
True
Let l = 102 - 214. Let h be 1/(-4*4/l). Suppose -h*n + 141 = -496. Is 35 a factor of n?
False
Suppose 136 + 215 = 3*n. Let t = 641 - n. Suppose -4*h - 108 + t = 0. Is h a multiple of 8?
True
Let n(v) = -v**3 + 83*v**2 - 213*v - 607. Is 13 a factor of n(78)?
False
Suppose -163*c + 175*c - 14304 = 0. Is c a multiple of 30?
False
Let g be 10 - ((1 - (2 - 1)) + 1). Does 13 divide ((-70)/42)/((-1)/g)?
False
Suppose 136 = m - 2*w, 0*m + 3*w + 132 = m. Let t = 437 + m. Is 61 a factor of t?
False
Let v(g) = 4*g**2 + 5*g + 19. Suppose -25*c - 33 - 142 = 0. Does 12 divide v(c)?
True
Let p = 6474 - 258. Is p a multiple of 16?
False
Let z(l) = -l**2 - 22 - 5*l - 2 + 9*l + 12*l. Suppose -5*k + f + 43 = -2, -k = 3*f - 25. Is z(k) a multiple of 8?
False
Let y(f) = f**3 - 17*f - 9. Suppose 23*c = 26*c - 15. Let a(x) = x**2 - 5*x + 6. Let u be a(c). Is y(u) a multiple of 15?
True
Is -6 + ((-2)/(-7) - 91968/(-42)) a multiple of 28?
True
Let c = -990 - -5005. Is 14 a factor of c?
False
Let s be 138*((-4)/(-10))/((-44)/(-165)). Suppose -378*d + s = -377*d. Is 23 a factor of d?
True
Let s(d) = 32*d - 12. Let k = -44 + 47. Suppose k*f = -u + 5, 0 = 2*f + u - 4 + 1. Does 38 divide s(f)?
False
Let r(m) = m**3 + 125*m**2 - 659*m + 6. Is r(-130) a multiple of 35?
False
Let b be (-7 - (-16 - -5))*1126/8. Let p = -163 + b. Does 4 divide p?
True
Is 15/(-8) - 5711013/(-536) a multiple of 53?
True
Let q be (-2 - (5 - 3)) + 6. Is (-451 - 20)/((-3)/q) a multiple of 59?
False
Let r(g) = 237*g + 2843. Let d be r(-12). Let b(p) be the first derivative of -103*p**2 + 3*p - 1. Is 16 a factor of b(d)?
False
Suppose -25 = -2*d - 3*g, -d + g - 4 = -3*g. Suppose 7*r - d*r + 37 = 0. Suppose -x + o + 4 = -17, 0 = 2*x - o - r. Does 4 divide x?
True
Suppose 0 = 5*v - 4*c - 513, -7*v = -4*v - 3*c - 309. Suppose 3*b - 1054 = -2*p - v, 2*b - 2*p - 622 = 0. Is 63 a factor of b?
True
Is ((-2546)/(-19) + -3*2)*(-284)/(-4) a multiple of 32?
True
Let u be 6*(2*-1 + (-40)/(-15)). Is 27 a factor of u/5 + (-14742)/(-35)?
False
Suppose 95*d - 3519 = 93*d - 3*q, 4*d + 2*q - 7058 = 0. Does 15 divide d?
False
Let p be 11*(-29 - (5 - 17)/(-6)). Suppose 4*a + 3*x = -366, -2*a - 2*x = -0*x + 184. Let c = a - p. Is c a multiple of 27?
False
Does 14 divide (-517)/(-44) - 10 - 1757/(-4)?
False
Let p(w) = -2*w**2 + 2*w + 5. Let b be p(4). Let r(v) = -v**3 - 20*v**2 - 20*v - 16. Let g be r(b). Suppose g*x - 6*x + 273 = 0. Is x a multiple of 22?
False
Let t be (-277)/(-5) + 6/(-15). Suppose 2*j - t = -0*j + w, -j - 2*w = -30. Is 2 a factor of j?
True
Suppose -17*f + 100294 + 113585 = -176152. Is f a multiple of 38?
False
Let a(b) = 14*b - 98. Let f(j) = -j**2 + 4*j + 145. Let c be f(13). Is a(c) a multiple of 7?
True
Suppose -13*n = -39 + 195. Let l be (-3434)/(-12) + 2/n. Does 7 divide (-180)/(-13) + (-11)/(l/(-4))?
True
Suppose 32*d + 62*d - 14*d = 197280. Is 30 a factor of d?
False
Is 9 a factor of -1 + 5 - ((-2 - 8 - -7) + -659)?
True
Is 13 a factor of 6/(-10) + 1 + 12212/20?
True
Let c(b) = 5*b**2 - 11*b - 11. Let y(i) = 3*i**2 - 5*i - 5. Let v(h) = -6*c(h) + 13*y(h). Let k be (-2)/((-12)/(-9))*(-84 + 86). Is 39 a factor of v(k)?
False
Let s = -34 - -44. Suppose 8*h - s*h + 1730 = 0. Suppose 15*c = 10*c + h. Is 14 a factor of c?
False
Let t(x) = -x**3 + 5*x**2 + 11*x + 34. Let l be t(-4). Suppose 36*i - 34*i - l = 0. Is 6 a factor of i?
False
Let y = 1582 - -1360. Is 35 a factor of y?
False
Is ((-6558)/(-15))/(6061/550 + -11) a multiple of 39?
False
Let w = 8568 - 4228. Does 62 divide w?
True
Suppose -5*v + 20867 = -y, 32*y - 27*y + 10 = 0. Is 13 a factor of v?
True
Let z(p) = 2*p**2 + 15*p + 9. Suppose 0 = -3*h + 19 - 43. Is 17 a factor of z(h)?
True
Let d(r) = -10*r**3 - 2*r**2 + 4. Let i be (-5)/((-20)/(-9)) - 3/4. Is 34 a factor of d(i)?
False
Let m(t) = -16*t - 5. Let i be m(17). Let h = -121 - i. Let q = 261 - h. Is 17 a factor of q?
False
Let u(x) = -54*x**3 + 10*x**2 + 10*x + 7. Is 63 a factor of u(-4)?
Fa