oes 5 divide q?
False
Let v = -51 - -50. Let t be -2*(-2 - v) - -3. Suppose 39 + 20 = 3*q + f, -t*f - 47 = -4*q. Is q a multiple of 6?
True
Let y(q) = 25*q + 188. Let g be y(11). Suppose -5*m = -j + g, -3*j = m + 4*m - 1409. Is 78 a factor of j?
True
Let n be (-1)/(-3) - (-9 + 5200/30). Let r = -11 - n. Is r a multiple of 9?
True
Let s = -141 + 140. Does 24 divide (-9)/(-21) + s + (-5556)/(-21)?
True
Let z = 26 + -122. Is (-1 - z) + (-5)/(-1) a multiple of 20?
True
Let o be (-1 - 262) + (-28 - -21). Let s = o - -390. Is s even?
True
Let l(z) = -z**3 + z**2 + 3*z. Let r be l(2). Suppose -3*f = 5*s - 1809, 0*s + f = 4*s - 1437. Suppose a - s = -r*a. Is a a multiple of 11?
False
Let f(x) = 8*x**2 - 2*x. Let g = 20 - 8. Suppose -g = r - 4*r. Does 24 divide f(r)?
True
Let g(h) = -15*h + 30. Let v be g(2). Let u(z) = z**3 - z**2 + 4*z - 797. Let m be u(v). Let y = m + 1175. Is 42 a factor of y?
True
Let n = -2 - -5. Suppose -4*h = -0*h + n*m + 12, m = -h - 4. Suppose h = -11*y + 1503 + 81. Is 24 a factor of y?
True
Let i(g) = -45*g - 593. Let h be i(-15). Suppose 3*q + 0*q = 3*s + 180, 288 = 5*q - 2*s. Let m = h - q. Is m a multiple of 13?
True
Let z(k) = 4*k + 25. Let s(d) = -13*d - 73. Let v(p) = -6*s(p) - 17*z(p). Is 4 a factor of v(2)?
False
Suppose 15 - 17 = v. Let n be -2 + (6 + v - 236). Let b = n + 362. Does 22 divide b?
False
Suppose 1208*z + 8400 = 1214*z. Let s = 2785 - z. Is 41 a factor of s?
False
Suppose 4*u + j = 1339 - 556, 0 = -5*u - j + 979. Suppose -4*d - 153 = -753. Let i = u - d. Is 6 a factor of i?
False
Let q(y) = -63*y + 518. Is 18 a factor of q(6)?
False
Let s be (-3 - -2) + (-62)/(-2). Let x = 10 - s. Let v = -16 - x. Does 4 divide v?
True
Let f(o) = 2*o**3 - 3*o**2 - o - 1. Let y be f(2). Let a be y + (-4 - 0 - 2). Is 13 a factor of a + (-16)/(-4) - -74?
False
Let s(r) = 26*r**2 - 4*r + 4. Let q be s(1). Let z be -1 + q/10 - (-4)/10. Is 10 a factor of (-4)/z - -2 - -13*3?
False
Let h = -63 + 61. Let v be 115 + 3 + -3 - h. Suppose n = 66 + v. Is n a multiple of 21?
False
Let m = -31 + 38. Let v(b) = -b**3 + 7*b**2 + 9. Let l be v(m). Suppose -l*c + 140 = -202. Does 19 divide c?
True
Suppose 3*u = -8 - 82. Let z be (-2)/(u/(-95)) + (-2)/(-6). Does 28 divide 2*z/4 - 272/(-2)?
False
Let v(l) = l**2 + 9*l + 19. Let q(x) = 8*x**2 - x + 2. Let t be q(1). Suppose 24 = -4*z - u - u, -z + u = t. Is 5 a factor of v(z)?
True
Suppose 4*b = 3*h - 18 - 53, 3*b = -2*h + 19. Let n(u) = u - 6*u - 15 - 15*u**2 + 0*u + h*u**2. Does 16 divide n(7)?
True
Let w be 1*2*(1 - 8). Let v be 12/w*(-168)/18. Suppose 397 = v*u + 29. Is u a multiple of 23?
True
Let f = 19772 + -12384. Is 43 a factor of f?
False
Suppose 12*w - 22009 = -4*o + 7*w, 5*w = 25. Is o a multiple of 132?
False
Let c(p) = -6*p - 81. Let j(r) = 4*r + 81. Let t(b) = -6*c(b) - 5*j(b). Is t(12) a multiple of 25?
False
Suppose 10 = 2*h - 2*a, h + 4*a - 2 = 8. Let q(r) = -r**2 - 1. Let g(n) = 2*n**2 + n + 10. Let l(o) = -2*g(o) - 6*q(o). Does 9 divide l(h)?
False
Suppose 0*a - 1659 = 7*a. Let m = -195 - a. Is m a multiple of 6?
True
Let v = 29 + 22. Let k = v + -49. Is 7 a factor of k/(-18) - (-5784)/54?
False
Let p = 185 - 185. Suppose p = 22*w - 25*w + 90. Is w a multiple of 15?
True
Let y(f) = f**3 - 34*f**2 + 33*f - 80. Let b be y(33). Is ((-32)/b)/((-1)/(-615)) a multiple of 17?
False
Let k(n) = -22*n + 171. Let m be k(-11). Let o = m - -3. Is o a multiple of 8?
True
Let h = -1665 + 3023. Is 31 a factor of h?
False
Let z(h) = 112*h - 103. Let m be z(4). Suppose 2*t + m = 5*j - 547, j = t + 176. Does 30 divide j?
True
Let t(u) = u**3 - 7*u**2 + 2*u - 9. Let g be t(7). Suppose 35*c - 87 = 63*c - 29*c. Suppose -z + g*q + 77 = 0, -2*z + c = q - 56. Is 24 a factor of z?
True
Let h(j) = 1951*j - 3788. Is 124 a factor of h(19)?
False
Let w(k) = 184 + 8*k + 18*k + 6*k**2 - 31*k. Is w(16) a multiple of 40?
True
Suppose -11*b + 450902 + 297571 = 0. Suppose -61*t + b - 15583 = 0. Does 7 divide t?
False
Suppose 2*l + 29400 = 5*s, -2*s = -4*l + 2512 - 14272. Suppose 11*x - s = -9*x. Does 30 divide x?
False
Let o(y) = 27*y - 39. Let v be (-8)/48 - -1*238/(-12). Let g be (-184)/v - (-2)/(-10). Does 17 divide o(g)?
True
Suppose 16*g = -46*g + 326430. Does 65 divide g?
True
Suppose -3*j + 13 + 14 = 0. Suppose 4*g + x - 8 = 3*x, 0 = 5*g - 3*x - j. Let h(p) = -p**3 + 7*p**2 - 3*p + 5. Is h(g) a multiple of 21?
False
Let r be (1 + 0)*(-5 + 163). Suppose 164 = 5*y - x, -4*y + r = -x + 26. Let o = 56 - y. Is 24 a factor of o?
True
Let t be (5/3*33)/(-3 + 2). Let h(z) = 68*z**2 + 2*z + 2. Let j be h(-1). Let l = t + j. Is l a multiple of 8?
False
Let s = 4672 - 3032. Is 3 a factor of s?
False
Let b(r) = 7*r - 8 + 2*r + r**2 + 3*r - 16*r. Let c be b(6). Is (-4)/((-382)/(-96) - c) a multiple of 43?
False
Suppose -r - 1631 = 3*h, -2*r = -5*h - 7*r - 2705. Let i = -297 - h. Let u = -26 + i. Does 37 divide u?
True
Suppose 0 = -5*g + 2*g + 93. Let o = 1191 - 831. Suppose g*v = 35*v - o. Is 5 a factor of v?
True
Suppose q + 4*o - 1556 - 4459 = 0, 0 = -3*q + 4*o + 17997. Is 23 a factor of q?
True
Let c be 4/(-8) - 27/(-6). Suppose -5*f = c*p - 40, -p + 2*f + 2 = p. Does 15 divide (-910)/(-50) + (-1)/p?
False
Let x(h) be the first derivative of 7*h**3 - h**2/2 - 2*h - 22. Let c be x(-1). Is 16 a factor of 395/(-2)*(-16)/c?
False
Is (1670/6)/(164/1476) a multiple of 54?
False
Let t(u) = 17*u**2 - 44*u - 1314. Is 73 a factor of t(30)?
False
Let h(q) = -q**3 + 5*q**2 + 4*q - 25. Let y be h(3). Is 32 a factor of ((-576)/15)/(-3)*y?
True
Suppose 5*r = w + 3*r - 12, -15 = -5*r. Is 2 a factor of 520/w + (-7)/(-63)?
False
Suppose 2*w - 3134 = 3*j, -4*j = 5*w - 5*j - 7848. Is w/15 - (-1)/3 a multiple of 6?
False
Let z(r) be the third derivative of -r**6/120 + r**5/5 - r**4/8 + 7*r**3 + r**2 + 121. Is 49 a factor of z(10)?
False
Suppose s = 1, 2*s + 2*s - 13144 = -2*b. Is 45 a factor of b?
True
Let w = 73 + -11. Let v = -38 + w. Let x = -11 + v. Is x a multiple of 9?
False
Let s(b) = -2*b**2 + 19*b - 29. Let c be s(6). Suppose 24*y + c*y = 17020. Does 10 divide y?
True
Let c(f) = 29*f - 23. Suppose 29 = -7*o + 78. Does 45 divide c(o)?
True
Suppose -5*q + 0*q + 208349 = -2*s, 0 = 4*q + 5*s - 166633. Does 226 divide q?
False
Let k(h) = h**3 + 8*h**2 + 3*h - 7. Let p = -61 - -58. Is k(p) a multiple of 9?
False
Let n = 597 - -98. Suppose -6*f + f + n = 5*q, 576 = 4*q - f. Does 10 divide q?
False
Let q = -6059 + 8478. Is 23 a factor of q?
False
Suppose 47 + 19 = 11*r. Suppose r*a + 15 = 3. Let z(k) = 10*k**2 - k - 6. Is 18 a factor of z(a)?
True
Let t be 12 + -5 + 1 + -2812. Let v = -1516 - t. Is 23 a factor of v?
True
Suppose 9*v - 13*v + 3*c + 145 = 0, -2*v + 85 = c. Is 1/5 + 12*96/v a multiple of 5?
False
Let s = -926 - -936. Suppose -h = -2*i + 3, -3*h = -0*h + 3*i + 9. Is 20 a factor of (80/h)/(s/(-45))?
True
Let l(r) be the second derivative of -5*r**3/6 - 3*r**2 - 3*r. Let k(u) = u + 1. Let x(m) = 2*k(m) + l(m). Does 4 divide x(-6)?
False
Suppose 2*i - 4*b = 4*i - 278, 5*i = -2*b + 727. Let j = i + -31. Is 20 a factor of j?
False
Let a be 4/2 + 757 + (-6)/(-2). Suppose -11*x + a = -85. Let s = 2 + x. Is 20 a factor of s?
False
Suppose -3 = 7*t - 6*t, 2*a - t = 16883. Is 8 a factor of a?
True
Suppose -2*u = -w + 372, 3*w + 111 + 613 = -4*u. Let b = -130 - u. Does 28 divide b?
False
Suppose -270*i = 4834272 - 15064572. Does 9 divide i?
True
Let d be 2 + (-4 + 3 - -1181). Suppose -708 = -5*s + d. Does 18 divide s?
True
Let j(l) = l**3 - 8*l**2 - 9*l + 15. Suppose 0 = -r + 3*g + 14, 0 = 4*r - r + 5*g + 14. Suppose r*p - 20 = w, -4*p - w = p - 43. Does 5 divide j(p)?
True
Let a = 6441 + -2670. Does 3 divide a?
True
Let j(c) = -3*c**2 - 4 + 9*c**2 + 5 + 7*c - 14 - 11. Is j(9) a multiple of 14?
False
Let n(o) = -6*o - 9. Let q be n(-2). Suppose 0 = -q*x - 5*c, 2 = 3*c + 11. Suppose 4*i = -x*g + 197, -2*g - 119 = -0*i - 3*i. Is i a multiple of 4?
False
Let i be (-4)/(-16) + (-226)/8. Let q(n) = n - 37. Let r be q(-10). Let k = i - r. Does 10 divide k?
False
Suppose -136 = 3*m + 2*m + 2*q, -3*m - 2*q = 80. Is 20 a factor of m/(-21)*(1 + (-595)/(-2))?
False
Suppose 2040 = 4*f - 3*s, -510 = -f + s + 2*s. Let c = f + -345. Suppose 2*m - 5*b - 295 = 0, m = 4*b - 5*b + c. Is m a multiple of 8?
True
Let i(b) = -35*b + 7*b**2 - 54 