*8/(-10). Suppose -m = -3*t + 3*m - r, 4*t + 5*m = -33. Is (-6)/4 - 894/t a multiple of 26?
False
Let a(s) = -s**2 - s - 1. Let t(v) = -v**2 + 6*v - 2. Let c(j) = -2*a(j) + t(j). Is c(-10) a multiple of 7?
False
Let w(c) = -c**3 - 6*c**2 + 8*c + 7. Let r be w(-7). Suppose r = d + 2*d + 2*y - 1220, 5*d - 2030 = -4*y. Suppose -d = -o - 4*o. Does 31 divide o?
False
Suppose c - q - 3 = 0, -5*q = 1 - 16. Let w = -1 + c. Suppose 3*u = w*x + 6*u - 250, -250 = -5*x + 5*u. Is 17 a factor of x?
False
Suppose -3*t = -5*t. Let a(v) = v. Let u(j) = j - 13. Let q(m) = 3*a(m) - u(m). Is 4 a factor of q(t)?
False
Let x = 498 + -393. Is 13 a factor of x?
False
Suppose r = 2*j + 186, -r + j = -94 - 89. Is r a multiple of 20?
True
Suppose t = 2*z - 340, 37*t = z + 38*t - 173. Is z even?
False
Suppose 5*t = 4*g - 0 + 3, g - 15 = -4*t. Suppose -5*u + 49 = w - t*u, 5*w + 2*u = 229. Is 8 a factor of w?
False
Suppose -470 = 13*d - 8*d. Let i = 156 + d. Does 11 divide i?
False
Let q(l) = 7*l**2 - 2*l + 16. Does 6 divide q(10)?
True
Let z(x) = -6*x**2 + 0*x**3 - x**3 + 1 + 0 + 7*x - 17. Is z(-8) a multiple of 14?
True
Let s = -9 + 7. Let w = s + 8. Suppose 0 = -5*g - z - z + 89, -2*z = w. Is 8 a factor of g?
False
Let t(m) = 9*m**2 + 3*m - 27. Let s be t(5). Suppose -10*w - s = -13*w. Is w a multiple of 8?
False
Let q = 639 + -357. Suppose -246 = -12*d + q. Is d a multiple of 15?
False
Let l(t) be the first derivative of 5*t**2/2 - 43*t + 5. Is l(12) a multiple of 12?
False
Suppose -8*x + 11*x + 54 = 0. Is (186/4)/(x/(-24)) a multiple of 33?
False
Let n = -149 - -876. Is n a multiple of 101?
False
Suppose 4*g - 5*c = 4165, -10*g = -7*g + 3*c - 3117. Is g a multiple of 13?
True
Suppose -27*q + 2112 = -16*q. Is 8 a factor of q?
True
Let g(z) = z**3 + 11*z**2 + 7*z. Let k be g(-8). Let l be (5 - 2)*2/3. Suppose 2*x = -l*x + k. Does 9 divide x?
False
Let p be ((-51)/(-2 + 5))/(-1). Suppose -p = -5*w + 3. Suppose -2*q - w + 164 = 0. Is 22 a factor of q?
False
Is 19 a factor of (227 + 1)/(-25 + 26)?
True
Suppose -3*w = 8 - 20. Suppose w*z - 3*g = 97, -5*g = -3*z - z + 87. Is z a multiple of 5?
False
Let y = 4088 + -2422. Suppose 3*b - 12 = 0, 5*g + 7*b - y = 3*b. Suppose 0 = -4*m - m + g. Is 22 a factor of m?
True
Does 11 divide (-6 - -4)/(4/(-382))?
False
Does 8 divide ((-239)/1)/(-1) + 1?
True
Suppose 64 = -4*s + 3*s. Let v = s + 98. Is v a multiple of 18?
False
Suppose 0*g = 5*u + 4*g - 31, -4*g = 3*u - 25. Let m be -1 + (-2 + u - 0). Suppose -x + 0*x + 3 = m. Is x even?
False
Suppose 5*x + 5*m = -5, -18*m = 5*x - 23*m - 15. Let a(b) = 2*b**3 + 5*b**2 - 5*b - 8. Let j be a(6). Is (j/28)/(x/2) a multiple of 9?
False
Let t(h) = h**2 + 2*h - 4. Let w be t(6). Suppose 3*x - 4*b - w = 131, -2*b = -x + 61. Does 29 divide x?
False
Does 27 divide (2 - (-1590)/6) + -6?
False
Suppose -232 = -2*z + 288. Does 30 divide z?
False
Is 84 a factor of 2/33 + 12593078/1947?
True
Let f(s) = 19*s + 16. Suppose -4*p + 11*q + 28 = 7*q, -p + 5*q = -19. Does 4 divide f(p)?
True
Let u be (-2)/8 - (-21)/4. Suppose -1140 = -u*o - 4*c, -453 = -2*o + 2*c - 3*c. Suppose 3*l = v - 5*v + o, 0 = -2*v - 5*l + 98. Is 14 a factor of v?
False
Suppose 0 = -0*x + 3*x - 6. Let r = 172 - 161. Suppose x*p = p + r. Is p a multiple of 3?
False
Let b(s) = s**3 + 3*s**2 - 9*s - 4. Let k be b(-9). Let c = -181 - k. Is 46 a factor of c?
False
Suppose 532 = 13*v - 4460. Is v a multiple of 45?
False
Suppose -q + 6 = q. Suppose -1184 = -q*o - o. Suppose -9*m + o = -5*m. Is m a multiple of 32?
False
Let a(p) = -3*p**3 + p**2 + 4. Let o be a(-3). Let n = o - 84. Does 5 divide n?
True
Suppose -15 = x - 26. Let g = x + -9. Suppose g*n = 5*n - 240. Is n a multiple of 16?
True
Let q = -15 + 33. Let t = -16 + q. Let r(i) = i + 2. Is 3 a factor of r(t)?
False
Let h = 164 + -4. Let p = 231 - h. Suppose p = 3*f - 28. Is 6 a factor of f?
False
Let v(a) = a**2 - 1. Let q be v(-1). Let z(j) = q*j - 2*j - 3*j - 1. Is 6 a factor of z(-5)?
True
Let m(j) = j**2 - 2*j - 10. Let b(k) = -k + 1. Let s(y) = 5*b(y) + m(y). Is 11 a factor of s(12)?
True
Suppose -4*w + 3*u + 7 = 0, -2*w - u - 14 = u. Let d be (6/8)/(w/(-8)). Suppose -4*q = d*h - 58, 0*h = h + 4*q - 14. Is 11 a factor of h?
True
Let w be -123*4/(-6) - 3. Suppose -4*o + 26 = 5*l, 3*l = -o - 2*o + 18. Suppose f + 3*f = -4*r + 340, r - w = -o*f. Does 29 divide r?
True
Does 45 divide 100/(-30)*48/(-2)?
False
Suppose 14*f + 904 = 3060. Is 39 a factor of f?
False
Let w = 1988 - 1934. Is w a multiple of 32?
False
Is 51 a factor of 9/(15*(-4)/(-3400))?
True
Let o(h) = 8*h + 14. Suppose -2*k - 36 = -2*z - 4*k, -60 = -4*z + 2*k. Does 35 divide o(z)?
False
Let u(w) = -w**2 - 4*w + 9. Suppose -m - 3*m = 20. Let v be u(m). Suppose -v - 17 = -c. Is 9 a factor of c?
False
Suppose -5*o = 5*o + 460. Let y = o - -55. Does 3 divide y?
True
Suppose -3*l + 0 = 3. Let p be l - 2/((-2)/59). Suppose 4*k + 10 - p = 0. Is 6 a factor of k?
True
Suppose -2*s + 89 + 71 = 0. Suppose 32*w = 33*w - s. Is w a multiple of 12?
False
Suppose -5 = -4*k + 3. Suppose -k*n = -4*n - 4. Let w = 5 - n. Is w even?
False
Let y(s) = -15*s**3 - s**2 - 16*s + 6. Let h(z) = -8*z**3 - z**2 - 8*z + 3. Let r(a) = -11*h(a) + 6*y(a). Let d be r(4). Let p = 130 + d. Is 11 a factor of p?
False
Suppose -9*p = -12*p - 60. Does 14 divide p/6*(-96)/10?
False
Suppose -4*z - 5*n = -10*n - 29, -5*z + 27 = 3*n. Let m = z - -51. Is 20 a factor of m?
False
Suppose c + 0*c = -30. Suppose -62 - 8 = -5*f. Is (c/21)/((-2)/f) a multiple of 4?
False
Suppose -73 = -h + 1690. Does 21 divide h?
False
Let u(t) = 490*t**3 - t**2 - 11*t + 12. Is u(1) a multiple of 70?
True
Suppose -k - i + 1700 = 0, 13*k - 2*i = 10*k + 5090. Does 13 divide k?
False
Let h(g) = 3*g**3 + 10*g**2 - g + 3. Let j = -21 + 24. Let p(a) = a**3 + 5*a**2 + 1. Let f(s) = j*h(s) - 7*p(s). Does 19 divide f(4)?
True
Suppose 120 = 3*u + q, -3*q = u - 0*q - 32. Does 9 divide u?
False
Suppose -d - 4*b - 32 = 0, -4*d = -2*b + 39 + 53. Does 30 divide d/(-2)*20/8?
True
Suppose 31*u + 420 = 41*u. Is u a multiple of 42?
True
Suppose -186 = -0*a + 2*a. Let b(k) = k**3 + 20*k**2 + 15*k + 105. Let y be b(-19). Let p = y + a. Does 11 divide p?
True
Let z = 2 + -2. Suppose 2*d - 3*r - 61 = z, d - 4*d - 5*r = -44. Does 18 divide d?
False
Let r be ((-1)/(-3))/(18/2133)*2. Let f = -2 + r. Does 11 divide f?
True
Let n = 96 + -91. Does 5 divide n?
True
Let t(d) = 53*d**2 + 8*d - 42. Does 58 divide t(6)?
True
Let k = 140 - 137. Suppose -2*o = -5*o + 12. Suppose o*t - 33 = k*t. Does 13 divide t?
False
Does 92 divide (2389 - 0) + (-10 - -13)?
True
Suppose m - 523 = f, -3*m + 300 = -2*f - 1268. Is 58 a factor of m?
True
Let a(t) = t + 2. Let x be a(2). Suppose -3*p = c + 14, 4*c - 5 = p + x. Is 10 a factor of (2 - c)*-17*-1?
False
Suppose -445 = -5*a + 140. Is 39 a factor of a?
True
Let p be ((1 - 3) + 2)/2. Let t = p - -4. Suppose -3*b + 5*r = -182, 0 = -r - 0*r - t. Is 14 a factor of b?
False
Suppose 4*y + 64 - 17 = -5*l, 4*y + 92 = 4*l. Let v = 22 + y. Suppose v*m - 28 = 2*m. Is m a multiple of 14?
True
Suppose r - 178*c - 1837 = -180*c, 4*r - 5*c - 7400 = 0. Is 25 a factor of r?
False
Let h = -3 - 0. Let q(u) be the third derivative of u**5/15 - u**4/8 - u**3/2 - 77*u**2 + u. Is 14 a factor of q(h)?
True
Let j(c) = 4*c - 15. Let x(s) = -2*s + 7. Let g(z) = 6*j(z) + 11*x(z). Let u be (-30)/(-8)*64/24. Is g(u) a multiple of 7?
True
Let d(r) = 11*r - 4. Let n be d(3). Let g = 42 - n. Suppose 5*m - 5 = -15, -i = 4*m - g. Does 9 divide i?
False
Suppose 2906 + 6334 = 22*c. Is c a multiple of 28?
True
Let s(j) = -j + 286. Is s(61) a multiple of 5?
True
Let z be (2/5)/(3/15). Suppose 10 - 6 = z*c. Suppose -c*u = 4*x - 78, 2*x - u + 16 - 61 = 0. Is 8 a factor of x?
False
Let w be 53 + 4/5*45/18. Suppose y - 141 - w = 0. Does 19 divide y?
False
Let u(s) = -47*s - 3. Let i be u(-6). Let r = i + -172. Let c = -47 + r. Is c a multiple of 17?
False
Let j(c) = c**2 - 4*c + 5. Let k be j(7). Let i = k - 10. Does 16 divide i?
True
Suppose 2*t + 137 = -2*m + 1051, 3*t - 451 = -m. Suppose -4*o + m = o. Is 23 a factor of o?
True
Suppose -2*d + 55 = 3*o - 77, -5*d + 335 = 5*o. Suppose 4*t - f - 220 = -3*f, d = t - 3*f. Is 12 a factor of t?
False
Does 19 divide (-11)/88 - 609/(-8)?
True
Let v(k) = 133*k - 9. Let h be v(1). 