i + 3262. Is i a multiple of 26?
True
Let n = 19016 + -14931. Is 19 a factor of n?
True
Let w be 6 + (-164)/28 + 102/21. Suppose 3815 = 5*x + w*k, 0 = 5*x - k - k - 3850. Is x a multiple of 16?
True
Let l(c) be the third derivative of c**6/120 + 7*c**5/30 + c**4/8 + 11*c**3/3 + 5*c**2 - 1. Is l(-6) a multiple of 20?
False
Suppose 0 = -0*q + q - 2*t - 32, 0 = q + 4*t - 50. Let v(k) = 12*k - 190. Let b be v(16). Let s = q - b. Is s a multiple of 12?
True
Let i = 397 + -380. Suppose -20*j + 698 = -i*j + 4*o, -3*o = -j + 250. Does 20 divide j?
False
Let m = -21755 + 36847. Does 28 divide m?
True
Suppose 2*u = -3*u - 5. Let w be -3 - (868/70)/(u/5). Let b = -29 + w. Does 6 divide b?
True
Suppose 2*k = -u + 14, 3*k - 5*u = -k. Suppose -k = 3*l - 0*j - 4*j, 4*j = 4*l. Let f = 13 - l. Is f even?
True
Suppose 0 = 3*f + 19 - 16. Let l(j) = -41*j - 1. Let t be l(f). Is 11 a factor of (5/((-100)/45))/((-1)/t)?
False
Let f(c) = -2*c**2 - 14*c - 131. Let i(x) = -x**2 - 5*x - 44. Let a(h) = 4*f(h) - 11*i(h). Let t be -1*(-2)/(-2) + -9. Is a(t) a multiple of 45?
True
Is (-521520)/(-369)*72/10 a multiple of 106?
True
Let u(a) = -2*a**2 - 9*a + 29. Let d be u(5). Let f = d - -206. Does 16 divide f?
False
Let y(p) = 2*p**2 + p + 20. Let n be y(0). Is 101/2*(-14 + n) a multiple of 35?
False
Let q = 56 - 49. Suppose 6 + q = 2*f + g, -3*g + 15 = 0. Suppose 2*o + 10 = 0, -f*s - 5*o + 254 + 397 = 0. Is s a multiple of 23?
False
Let r = 14 - 38. Suppose 84 = f + 41*f. Let a = f - r. Does 16 divide a?
False
Suppose -5*f + 20 = 0, -4*o + 4*f - 3*f + 8 = 0. Is 15 a factor of (1/o)/(23/11523)?
False
Suppose -22 + 18 = -2*n. Suppose -29 + 35 = n*d. Does 31 divide d*5/(-10)*-92?
False
Suppose -120*p + 148832 - 8826 - 5606 = 0. Does 9 divide p?
False
Let d(i) = 5*i**3 - 18*i**2 - 20*i - 88. Is 13 a factor of d(18)?
True
Let i(v) = -1876*v + 536. Is i(-5) a multiple of 93?
False
Suppose 244*p + 0*p - 1736060 = 0. Does 8 divide p?
False
Suppose -26839 = -5*b + 2*o, -10741 = 111*b - 113*b - o. Does 91 divide b?
True
Suppose -3*x - 4940 = 16*x. Does 12 divide x*(-1)/2 + -5?
False
Let t(u) be the first derivative of 5*u**3/3 - 7*u**2 + 6*u + 151. Does 13 divide t(6)?
False
Let j = -12503 - -15263. Is 20 a factor of j?
True
Let n be 1*32/(-3)*69/46. Suppose -5*i + 270 = -5*x, -4*x - 8 + 52 = i. Let g = n + i. Is 16 a factor of g?
False
Let c = -16275 - -22912. Does 11 divide c?
False
Let l = 21 + 6. Suppose -29*c + l*c = 0. Suppose 3 = d, 5*q + d = -c*d + 288. Does 18 divide q?
False
Suppose -21*g - 3042 = -23*g + 3*h, 2*g + 5*h - 3074 = 0. Suppose 1 = -l, 3*q + g = 3*l + 4296. Is q a multiple of 61?
False
Let h(y) = y**2 + 7*y + 1. Let g be h(8). Does 49 divide (-6)/33 - (-19624)/g?
False
Suppose -3*o + 0*d + 141 = 4*d, 2*o = -3*d + 94. Suppose -4*y + o = -121. Let m = y + -29. Is 12 a factor of m?
False
Let z(h) = -h**3 + 4*h**2 - h + 1. Let g be z(3). Let r be 2*(g + -5) - -1. Suppose -r*b + 5*i = -45, 2*i = 2*b + 4*i - 30. Does 12 divide b?
True
Let l be ((-4)/(-8))/(2/1744). Suppose -5*g = 20, -224 = -2*i + 3*g + l. Suppose -2*p - 39 + 227 = -5*c, 4*p + 3*c = i. Is p a multiple of 6?
True
Suppose -97*s - 12 = -103*s. Let f(m) = 77*m**2 + 19*m - 1. Does 15 divide f(s)?
True
Let x(o) be the second derivative of 7*o**3/3 + 11*o**2/2 - 18*o. Let t be x(-4). Does 21 divide (t/(-30))/(3/106)?
False
Let o = -6305 - -9762. Is o a multiple of 2?
False
Is (-80000)/(-45) + 2/9 + 4 a multiple of 66?
True
Let h = -83 - -107. Suppose -h*x + 289 = -7*x. Is x even?
False
Suppose 5*o + 25 = 0, -2*o = -0*d - 2*d + 18. Let u = 15 + 3. Suppose d*z - 110 = u. Does 8 divide z?
True
Is 13 a factor of (29 + 3325/(-21))/((-4)/78)?
True
Let u = 84367 + -56600. Does 7 divide u?
False
Let r be 3/(-2 + 22/8). Suppose -3*k + 136 = r*x, -3*x - 2*x = -5*k + 285. Does 26 divide k?
True
Let m(c) be the first derivative of 12*c**4 + c**3 - c**2 - 2*c + 11. Is m(2) a multiple of 30?
True
Let v = -645 - -10492. Is v a multiple of 9?
False
Let n(b) = -2*b**3 + 11*b + 13. Let s(q) = -q**3 + q**2 - q. Let h(w) = n(w) + 3*s(w). Does 64 divide h(-3)?
False
Let c(b) = -b**3 + 5*b**2 + 16*b - 12. Let a be c(7). Suppose 5*k = -2*z + 32, 3*k - a*z - 8 = -6*z. Let v(o) = 21*o + 19. Is 14 a factor of v(k)?
False
Let j be (-700700)/(-190) + (-6)/(-57). Is (-4)/(-14) - (j/(-28) + 4) a multiple of 3?
False
Let u(y) = y**2 + 2*y + 1. Let l be u(-3). Suppose -d + 204 = 2*n - 604, 0 = n - l. Is 8 a factor of d?
True
Let j(i) be the third derivative of 3*i**3 - 1/120*i**6 + 0 + 11/24*i**4 + 0*i + 1/6*i**5 - 16*i**2. Is j(11) a multiple of 9?
True
Let c be (-2 - 9)*(-3 + 1). Suppose 0 = -2*y - 12 + c. Suppose 1 + 3 = 4*f - y*l, -4 = -l. Is f a multiple of 2?
True
Let y(c) = -43*c**2 + 62*c**2 - c**3 - 55 - 6*c**2 + 12 + 18*c. Is y(12) a multiple of 10?
False
Let g(h) = 245*h**2 - 37*h + 18. Does 17 divide g(3)?
False
Suppose 2*l + 14 + 75 = -d, -l + 4 = 0. Let k = 163 + d. Let s = 165 - k. Is s a multiple of 9?
True
Suppose 3*m + 591 = 2*s, 4*s - 7*m = -2*m + 1185. Suppose -132 = -6*v + s. Let y = v - 14. Is y a multiple of 10?
False
Suppose -2*t - 40 = -28. Let c be t*3*(-3)/(-9). Let r(n) = 3*n**2 + 5*n - 4. Is r(c) a multiple of 12?
False
Let s = -910 - -653. Let t = 698 + s. Is t a multiple of 21?
True
Let u(c) = 321*c + 666. Is 2 a factor of u(4)?
True
Let q(h) = h**3 + 12*h**2 + 12*h + 16. Let n be 11/(-1)*(-1)/(-1). Let k be q(n). Suppose -5*o = -3*v - 0*o + 191, k*o + 263 = 4*v. Does 12 divide v?
True
Let t be (-42)/(-8) - 3*(-6)/(-72). Suppose 4*w + 280 = 9*w + t*u, 44 = w + 5*u. Does 7 divide w?
False
Let r be 0 + -4 + -3 - -3 - 83. Let l = r - -87. Is l/5 + 4 - -14 a multiple of 16?
False
Does 25 divide (-9)/168 + 20/160 - 116547/(-42)?
True
Suppose 5*v - 5*l + 24863 = 9523, -5*v = -2*l + 15331. Let j = 4426 + v. Is j a multiple of 63?
False
Let g(x) = -47*x - 11. Let q(h) = -56*h - 20. Let n(f) = -f - 1. Let l(i) = 8*n(i) - q(i). Let y(z) = -6*g(z) - 5*l(z). Is 10 a factor of y(2)?
True
Suppose -5*n - 50 = k, 24 = -4*n + 4. Let s(p) = p + 40. Let w be s(k). Suppose -g + 10 + w = 2*l, 4*g - 5*l - 48 = 0. Does 4 divide g?
False
Suppose -4*b - i = -0*i - 573, 3*i = -b + 135. Suppose -12*x + 2*h = -13*x + 72, 0 = 2*x + 5*h - b. Is 4 a factor of x?
True
Let a = 8429 - 772. Is 13 a factor of a?
True
Let g(t) = t**3 + 30*t**2 + 59*t + 86. Let p be g(-28). Is 33 a factor of -3 + 156 - ((2 - p) + 3)?
False
Suppose -8*p = -3*p - 195. Suppose -3*g + v + 52 = 0, 4*g = 5*g + 4*v - p. Is 19 a factor of (2*(1 - 2) - -3)*g?
True
Let o = -128 - -138. Suppose -736 = -o*r + 794. Is r a multiple of 9?
True
Let g = 1 - -13. Suppose 0 = -4*f + 20, 4*k + 2*f - g + 4 = 0. Does 11 divide 3264/(-170)*(k - 5 - 0)?
False
Suppose -4*v - 30 = -10, -3*s + 2*v = -16. Suppose 0 = -2*m + 4*c - 3*c + s, -2*m + 4 = -2*c. Is 29 a factor of -3 + (-219)/(m - (-12)/(-8))?
False
Suppose -20*b = 2*h - 22*b + 420, -h - 5*b - 180 = 0. Does 41 divide h/2*(-2014)/265?
True
Let m(a) = -269*a + 1791. Is 68 a factor of m(-10)?
False
Does 203 divide ((-14490446)/1524)/((-1)/6)?
False
Suppose 5*l - 21 - 4 = 0. Suppose -6*o = r - l*o - 120, -4*o = -2*r + 210. Does 30 divide r?
False
Is 15 a factor of (44214/3)/2 - (-44 - -48)?
True
Suppose -3*h + 3*k + 36 = 0, h = 2*h - 2*k - 14. Let i(l) = -4*l + 53. Is i(h) even?
False
Suppose -2*c = -4*f + 26, -f + 107 = 2*c + 108. Let v be (-3 - 0)*2/6. Is v + (32 - 12/c) a multiple of 10?
False
Let m(j) = 5*j**2 + 14*j - 21. Let a(u) = -6*u**3 + u**2 - u - 1. Let l be a(-1). Does 14 divide m(l)?
True
Let k(r) = 17*r + 206. Let d be k(-12). Does 35 divide (657/d)/(98/196)?
False
Let x(r) = 129*r**2 - 35*r + 52. Is 19 a factor of x(4)?
True
Let r = -68 + 4101. Does 93 divide r?
False
Suppose -5*k - d = -3*d + 5935, 2*k + 2375 = d. Let o = 1812 + k. Is 11 a factor of o?
True
Let v = 6 - 12. Let m(q) = -109*q + 24. Let i be m(v). Let t = i + -478. Is 20 a factor of t?
True
Let z(r) = -6. Let o(n) = -n**2 - 24*n + 6. Let d(h) = o(h) - 3*z(h). Is d(-21) a multiple of 3?
True
Let v(l) = 2*l**3 - 3*l**2 - l + 4. Suppose 0*r + 20 = -4*t + 3*r, -3*t - 14 = -2*r. Let h be v(t). Is 5 a factor of 6 + (-6126)/(-66) - 4/h?
False
Suppose -13*y - 37 + 89 = 0. Suppose -1080 = -26*p - y*p. Does 4 divide p?
True
Let x(b) = -112*b + 666. Is 17 a f