 0. Suppose 61 = 2*g + 5*s, -g + 3*s = 2 - i. Suppose g + 73 = 4*o. Is 8 a factor of o?
True
Let j(l) = -535*l - 122. Does 69 divide j(-5)?
True
Suppose 2*f + 2*b = 13672 - 4584, 0 = b. Is f a multiple of 16?
True
Let c = 5223 - 2648. Is 103 a factor of c?
True
Let t(c) = -c - 1. Let v be t(-1). Suppose 3*w - 5 - 109 = v. Does 11 divide w?
False
Suppose -17595 = -5*z - 12*z. Is 15 a factor of z?
True
Suppose -5*s + 1653 = 393. Suppose -2*m = -f + m + 40, -5*f = -2*m - s. Suppose -105 = -4*k - 3*l - 12, 2*k - 4*l = f. Is 12 a factor of k?
True
Let z = 4 - -9. Let k = 35 + -21. Let d = k + z. Is d a multiple of 10?
False
Is 20 a factor of (160/(-40))/(2/(-320))?
True
Let b = 493 + -379. Does 6 divide b?
True
Is 6/27 + 530/45 even?
True
Suppose -1 = -2*a + 11. Suppose 5*t + 5*l - 41 = -a, 3*l - 12 = 0. Is 4 a factor of -3 + 1 + t + 3?
True
Is (1 - 6)/(21 - 20) - -29 a multiple of 24?
True
Suppose v = -0*v + 17. Let m = v - -8. Is m a multiple of 4?
False
Suppose 11 = -2*v + 7. Let k = 2 - v. Suppose -5*p - 5*a + 252 = -a, -k*p + 5*a = -177. Is p a multiple of 6?
True
Let h(b) = -8 - b + 0*b**2 + 4*b**2 + b**3 + 7*b**2. Let z(r) = -12*r**3 + 2*r**2 - 2*r + 1. Let v be z(1). Is h(v) a multiple of 2?
False
Let l(d) = 8*d**2 + 7*d + 3. Is l(-5) a multiple of 3?
True
Let j(x) = -99*x - 14. Is 7 a factor of j(-7)?
True
Let z(k) = -9*k**2 + 2*k - 1. Let c(x) = 12*x**3 - 2*x**2 + x. Let j be c(1). Let a(l) = 17*l**2 - 4*l + 2. Let w(o) = j*z(o) + 6*a(o). Does 9 divide w(-3)?
False
Let c = 134 - 75. Suppose -g - h = -4, -h = 5*g + 3*h - 21. Suppose -4*o - 49 = -3*l, -g*l = -2*l + o - c. Is l a multiple of 12?
False
Suppose -5 = -6*d + 25. Is 11 a factor of 4 + 37 + (-15)/d?
False
Suppose -19294 = -28*y + 138. Does 8 divide y?
False
Suppose 3*c - 20 = y, -6*c = -2*c + 2*y - 10. Suppose -3*j - 5*f + 334 = 31, -2*j + c*f + 177 = 0. Is j a multiple of 16?
True
Let q(l) = l**3 + l. Let b be q(0). Suppose b = 4*k - 2*k. Suppose -4*r + k*r = 5*h - 106, -r + 22 = h. Does 12 divide h?
False
Let f(v) = -49*v + 4. Does 33 divide f(-8)?
True
Suppose -5*s - 400 = -10*s. Let u = s - 48. Is u a multiple of 27?
False
Let g = -3478 - -7999. Is g a multiple of 137?
True
Let a(i) = 4*i + 1194. Is 8 a factor of a(-84)?
False
Suppose 5*p - 2612 = 358. Is 5 a factor of p?
False
Let b(m) = m + 11. Suppose 6 = 4*v - 10. Suppose 4*y + 28 = -v*z, 23 = -5*y + y + z. Is 5 a factor of b(y)?
True
Let k(y) = y**3 - 2*y**2 + 20*y - 16. Does 11 divide k(8)?
True
Let d be (-1 - 114)/(-13 + 14). Let o = 313 + d. Does 33 divide o?
True
Let f(a) = -a + 17. Let l be f(21). Is 2 a factor of l - (-25 + (4 - -1))?
True
Let p = -1088 - -2403. Is p a multiple of 69?
False
Let v(y) = -14*y. Let l be v(-1). Suppose r - 7 = l. Is 21 a factor of r?
True
Let y = -20 + 24. Suppose 4*w - 25 - 127 = 4*p, -y*w = -2*p - 154. Is 5 a factor of w?
False
Suppose -5*l = -5*u - 385, 2*l + 2*l - 3*u - 309 = 0. Does 32 divide l?
False
Suppose -3*o + 4*o + 2*x - 133 = 0, x - 560 = -4*o. Suppose -156 - o = -3*i. Does 33 divide i?
True
Let y(j) = -j**3 + 19*j**2 - 17*j - 14. Let v be y(18). Suppose 4*d - 207 = -5*f + 71, -f = -v*d + 290. Does 24 divide d?
True
Let c(d) = 104*d**3 - d**2 + d. Suppose 1 = 3*p - 2. Does 26 divide c(p)?
True
Let k(x) be the second derivative of 1/12*x**4 - 1/6*x**3 + 0 + 9*x**2 - 7*x. Is k(0) a multiple of 6?
True
Suppose 4*f - 486 = -2*v + 7*f, -5*f + 470 = 2*v. Is 5 a factor of v?
True
Suppose 5*j - 9445 = 5*p, 0 = -j + 3*p - 73 + 1956. Does 43 divide j?
True
Let j = -171 + 302. Is j a multiple of 40?
False
Let x be ((-63)/18)/((-1)/(-56)). Let d = x - -286. Is d a multiple of 14?
False
Suppose 442 = 8*t - 1910. Is 21 a factor of t?
True
Suppose 779 = 5*h - k + 116, -5*k = -5*h + 655. Is 19 a factor of h?
True
Let x(d) = 97*d**2 - 42*d - 159. Is x(-4) a multiple of 34?
False
Let h(a) be the third derivative of a**4/24 - 9*a**2. Let o be h(3). Suppose 5*r + x - 92 = -22, -2*r + 28 = -o*x. Does 3 divide r?
False
Let v = 112 - 65. Suppose -5*i - 5 = 0, -m + 4*i - i = -v. Is m a multiple of 11?
True
Suppose 2 + 8 = -2*v. Let q(s) = -s**3 - 4*s**2 + 5*s + 4. Let f be q(v). Suppose -f*x - x + 143 = -3*g, 4*x + 3*g = 109. Is 7 a factor of x?
True
Let q = 1408 + -616. Is q a multiple of 33?
True
Let d = 1382 - 722. Does 10 divide d?
True
Let t(v) = 4*v**3 - 5*v**2 - 10*v - 13. Let n(i) = -5*i**3 + 4*i**2 + 11*i + 12. Let x(h) = -3*n(h) - 4*t(h). Is 4 a factor of x(8)?
True
Let t = -786 - -1246. Is 48 a factor of t?
False
Let d = -328 - -1606. Is 20 a factor of d?
False
Suppose 0 = 10*q - 14*q + w + 563, -4*q + 572 = -4*w. Is q a multiple of 35?
True
Let r(v) = -v**2 - 14*v - 2. Let x be r(-7). Suppose -4*c = -625 - x. Does 14 divide c?
True
Let p(b) = -b - 19. Let w be p(-13). Is (4/w)/(4/(-84)) a multiple of 14?
True
Let r(n) = 1 - 4*n + 9 - 7. Let m be (-1*3 - -1)*2. Is r(m) a multiple of 7?
False
Let x be ((-6)/8)/((-4)/(-16)) + 528. Suppose 3*a + 2*a = x. Is a a multiple of 6?
False
Suppose -36*v - 225 = -31*v. Let f = 79 + v. Is f a multiple of 26?
False
Let n(y) = 87*y + 17. Let z(r) = 44*r + 9. Let c(l) = 2*n(l) - 5*z(l). Is 15 a factor of c(-3)?
False
Let z(n) = 18*n**2. Suppose 0 = 3*r - p - 3, 6*p + 15 = -3*r + p. Suppose 0 = 4*h - r + 4. Is 9 a factor of z(h)?
True
Is (-616464)/(-1584) - (-4)/(-22) a multiple of 17?
False
Is 75 a factor of (-80 - -1)/((-16)/80)?
False
Suppose c - 49 = j, -3*c - 41 = 3*j - 158. Let b(o) = -o**3 - 5*o**2 + 5. Let p be b(-4). Is 3 a factor of (-167)/p + (-8)/c?
True
Let h = -14 + 14. Suppose h = -4*p - 8, 2*u + 5*p + 0*p - 170 = 0. Is u a multiple of 20?
False
Is (-25)/10*64*-1 a multiple of 8?
True
Suppose -5*n - 2*j + 388 = 0, 8*j - 309 = -4*n + 5*j. Suppose n = 2*s + 12. Is 8 a factor of s?
False
Suppose 5248 = 10*c - 2*c. Suppose 3*r = -5*r + c. Does 16 divide r?
False
Let k(y) = -2*y**3 - y**2 + 3*y + 141. Is k(0) a multiple of 8?
False
Let c(l) = -1 - 5*l - 5 + 3*l**2 + 4*l - l**2. Let h be c(3). Let d(b) = -b**2 + 12*b - 10. Is 17 a factor of d(h)?
True
Suppose -39 = -4*p + 2*d - 9, d = 3*p - 21. Let g(o) = o**2 + 12*o - 9. Is g(p) a multiple of 20?
False
Suppose m - 128 = -132, 0 = -4*r - m + 7420. Does 64 divide r?
True
Let w = -25 - -5. Let o(y) = y**3 + 21*y**2 + 20*y + 28. Is o(w) a multiple of 7?
True
Let k(q) = -12*q**2 + 2*q + 150. Is k(0) a multiple of 15?
True
Let g(u) = -3*u**2 + 138*u + 71. Does 5 divide g(45)?
False
Let o(k) = k + 4. Let f(z) = 6*z + 21. Let x(y) = 6*f(y) - 33*o(y). Let p be 2/2*(-6)/(-1). Is 4 a factor of x(p)?
True
Suppose -6*f + f + 15 = 0. Let y(r) = r**2 - 1. Let h be y(f). Does 4 divide (87/6)/(4/h)?
False
Suppose -5*c - 8 = -3*p + 15, 0 = -2*p - 5*c + 7. Does 11 divide 705/p*20/10?
False
Let f(c) = 2*c**2 + 15*c + 55. Is f(-6) a multiple of 12?
False
Suppose -4*p - 384 = 4*i, p + 284 = -3*i - 3*p. Is 7 a factor of (-1)/(1*2/i)?
False
Suppose -17 - 18 = -5*z - 4*q, 2*z + 9 = 3*q. Suppose 3*f = 18 - z. Suppose 83 + 627 = f*t. Does 37 divide t?
False
Suppose -12*v + 13*v - 137 = -4*j, -4*v = -2*j + 82. Is j a multiple of 7?
True
Suppose -21*f - v = -25*f + 110, -3*f + 73 = 4*v. Is 13 a factor of f?
False
Is (-2 - (-177)/(-6))*770/(-165) a multiple of 22?
False
Suppose -5*l + 2 = -2*h - 6, 4*l = 3*h + 12. Let a be 18/(-36) + (-2)/h. Suppose 8*z - 3*z - 60 = a. Does 2 divide z?
True
Let w = 8957 + -3534. Is w a multiple of 21?
False
Let x be ((-8)/4 - -5)*1. Suppose -6 + 30 = x*b. Does 14 divide 5/((b/2)/40)?
False
Suppose 0 = -5*a + 1726 + 259. Let z = a - 97. Does 45 divide z?
False
Let b(x) = -2*x + 10. Let a(n) be the third derivative of n**4/24 - n**3/6 + 4*n**2. Let g(f) = -12*a(f) - b(f). Does 28 divide g(-11)?
True
Let m = 78 + -24. Let p = m + 13. Is p a multiple of 14?
False
Is (-2261)/(-6) + 49/294 a multiple of 13?
True
Suppose -23*m + 24*m = 3. Is 12 a factor of (432/(-90))/((m/10)/(-3))?
True
Suppose 0 = -3*i + i - 5*u + 265, 3*i - 408 = 3*u. Suppose -h = -2*x + 90, 0*h - i = -3*x - h. Is x a multiple of 16?
False
Suppose 22*j + 15*j = 19610. Is 56 a factor of j?
False
Let y be 5*((-9)/(-18))/((-1)/(-2)). Suppose 4*n - 2*a - 3*a - 890 = 0, -y*n - 4*a + 1092 = 0. Does 12 divide n?
False
Suppose 8 = x + 4*j, 0 = 3*x + x + 3*j - 32. Suppose x*n + 128 = 896. Does 17 divide n?
False
Suppose -7*x + 0 =