 = -2*y + 2842, 1178 = y - 4*s - 249. Does 93 divide y?
False
Let h be 3 + (3 + -4)/1. Let a(o) = 12*o - 1. Let w be a(h). Let q = w - 4. Does 8 divide q?
False
Suppose -15 = 3*m, -7*f + 5*m = -6*f - 401. Suppose o + 3*o = f. Is 7 a factor of o?
False
Suppose 4*v + 203 = 4*z - v, 0 = -v - 3. Let w = z + -37. Suppose 15 = 5*x - w. Is 4 a factor of x?
False
Suppose h - 2 = 26. Suppose 2*s = 5*l + 4*s + h, 5*l + 5*s = -25. Let f(n) = -3*n. Is f(l) a multiple of 18?
True
Let m(q) be the first derivative of -5*q**2/2 + 20*q - 6. Is 15 a factor of m(-15)?
False
Suppose -12*z = -11*z - 2. Is 56 - 8/z*1 a multiple of 11?
False
Suppose -27*d + 24*d - 24 = 0. Does 10 divide 4/d - 482/(-4)?
True
Let n be (-6)/2 + 0 - -11. Suppose 0 = o + 2*i + 1, -4*o + i = -3*o - n. Suppose -10*k + 50 = -o*k. Does 10 divide k?
True
Let i(x) = -7*x - 9. Let o be 2/(-5) + 24/10. Suppose -o*b + 2 = 10. Is 9 a factor of i(b)?
False
Let x = 89 - 78. Suppose -y + 3*m = -15 - x, -3*y - m = -58. Is 6 a factor of y?
False
Let m(i) be the first derivative of 3*i**3 + 1/4*i**4 + 4*i**2 - 3*i - 5. Does 13 divide m(-7)?
True
Suppose -4*j = -271 - 289. Is j a multiple of 16?
False
Suppose 3*s = r - 2*s - 216, 5*r = -3*s + 1220. Is 13 a factor of r?
False
Let j be (-16400)/(-48) + (-2)/(-6). Let z = j + -222. Let a = z - 82. Is 19 a factor of a?
True
Suppose -5*p + b - 6*b + 255 = 0, 2*p - 2*b = 106. Suppose p = o + 5*x, 0 = -4*o + x - 0*x + 145. Is o a multiple of 8?
False
Let y(n) = n**3 - 9*n**2 + 5*n + 5. Let c be y(5). Does 10 divide c/(2/12 - 52/24)?
False
Let l(g) = 15*g. Let v be l(2). Let k = 30 - v. Suppose 2*x = -4*t + 132, -5*t - x + k*x + 159 = 0. Is t a multiple of 10?
False
Let z(b) = 50*b - 56. Is z(5) a multiple of 26?
False
Let u = 19 - 18. Is u/6 + (-89)/(-6) even?
False
Does 12 divide (-9*(-2274)/36)/(6/8)?
False
Suppose 6 = 3*q + 3, -3*r + q + 5 = 0. Let y = r + -2. Suppose y*v = -2*v + 36. Does 9 divide v?
True
Let a(w) = 21*w**2 + 2*w + 6. Suppose 5*i + 15 = -3*s, 3*i + 2*i + 4*s = -15. Does 24 divide a(i)?
False
Suppose 12 = 4*j, c = -c + j + 1. Let t(m) = 3*m**2 + m - 1. Let x be t(1). Suppose 5*b = x*g - 59, 9*b - 81 = -c*g + 4*b. Is 14 a factor of g?
True
Let t(i) = i**2 - 6*i - 7. Let d(v) = v**2 + 10*v + 26. Let k(l) = l**2 + 10*l + 25. Let s(n) = -5*d(n) + 6*k(n). Let a be s(-9). Is 24 a factor of t(a)?
True
Suppose 9342 + 5778 = 6*v. Is v a multiple of 37?
False
Let j(z) = z - 2. Let g be j(6). Suppose -n + 34 = x - 5*n, -2*n = -g*x + 80. Suppose -x = p - 4*p. Is p a multiple of 3?
True
Let q = 1641 + -1046. Is q a multiple of 3?
False
Let j(b) = -b**3 + 11*b**2 - 5*b - 7. Does 33 divide j(7)?
False
Suppose -8*k - k + 72 = 0. Is 30 a factor of (2/k - 1) + 251/4?
False
Is 4 a factor of 1/3*3 + (2 - -176)?
False
Let t(u) = -4*u - 37. Let k be t(-15). Suppose 3*y - 1 = k. Suppose 3*g = 2*x + 6 - 20, y = -4*g. Is x a multiple of 2?
True
Suppose 12*m + 84 = 16*m. Let u = m + -15. Suppose 11*f = u*f + 95. Is 5 a factor of f?
False
Suppose -10*c + 149 = -9*c. Suppose -l + c = 28. Let y = l + -68. Does 9 divide y?
False
Let z(y) = y**3 + 15*y**2 + 14*y + 14. Does 11 divide z(-12)?
False
Is (19/342*99)/(1/78) a multiple of 39?
True
Let c(j) = 923*j**3 - j**2 - 3*j + 5. Does 3 divide c(1)?
True
Let o(u) = -5*u**3 - u**2 - 3*u - 2. Let b be (-1)/(-1)*(3 + -4). Let x be o(b). Suppose -x*c + 154 + 1 = 0. Is c a multiple of 8?
False
Let t be (-91)/(-5) + 9/(-45). Suppose a + t = 5*f - a, -2*f = -a - 7. Let k = 21 - f. Does 4 divide k?
False
Let o = 28 - 29. Let q be (190/(-4))/(o/2). Let t = q + -65. Is t a multiple of 11?
False
Let n(q) = -2*q**2 - q + 3. Let z(b) = -5*b**2 - 4*b + 9. Let v(g) = -7*n(g) + 2*z(g). Let s be v(3). Suppose -s = 3*h - 165. Does 19 divide h?
False
Suppose -3*j = -5*j - 4*o + 200, -5*j = -4*o - 472. Is 67 a factor of j?
False
Let l = 41 - 25. Let z = 21 + -30. Let q = z + l. Does 6 divide q?
False
Let h = -107 - -812. Does 15 divide h?
True
Let v(p) = 9*p**3 - p**2 - 7*p + 7. Does 6 divide v(2)?
False
Let w(i) = 37*i - 6. Let u be w(-2). Does 8 divide u/(1*-1*(11 - 10))?
True
Suppose 16 + 0 = 4*d. Let p = 45 + 5. Suppose -p = -d*y + 86. Does 17 divide y?
True
Let h(j) = 20*j + 160. Is h(28) a multiple of 40?
True
Suppose -3*m = -4*d - d - 201, d + 335 = 5*m. Let b(s) = -s - 2. Let j be b(-5). Suppose -3*a = -j*c - 30 - 9, -4*a - c + m = 0. Is 8 a factor of a?
True
Suppose -19*c + 11010 = 1700. Is 21 a factor of c?
False
Suppose 2*r - a = -2*r + 224, -3*a = 5*r - 297. Does 6 divide r?
False
Let h = -916 + 1064. Does 74 divide h?
True
Suppose -24 = -5*k - k. Suppose 379 = 3*y - 4*g, 3*g = 5*y + k*g - 601. Does 15 divide y?
False
Let n be (-12)/((-8)/((-64)/(-12))). Let f = n - -13. Does 7 divide f?
True
Let j = 31 + -24. Suppose 3*p = -j*p + 120. Is 4 a factor of p?
True
Let u = -37 + 39. Is 24 a factor of ((-63)/u)/(2/(-4))?
False
Let z(u) = 4*u**2 + 8*u + 3. Let c be z(-3). Suppose -7 - 5 = -3*q. Suppose -3*m + 6 = v, -3*v + q*v + c = 4*m. Is 2 a factor of m?
False
Let r(p) = p**2 - 3*p - 3. Let t(k) = k**3 - 4. Let w be t(0). Let d(l) = l**2 + 4*l - 3. Let n be d(w). Does 15 divide r(n)?
True
Is 49 a factor of (-12932)/(-22) - 128/(-704)?
True
Suppose 4*o + 3*d - 2387 = 6212, 4*o = 4*d + 8564. Does 6 divide o?
False
Suppose 5*r + 5*k - 1750 = 205, -3*r = -4*k - 1194. Is r even?
True
Let y(i) = 58*i - 143. Is 8 a factor of y(12)?
False
Suppose -8*s + 43 - 3 = 0. Suppose -3*f = 5*i - 101, -s*f - 12 = -f. Is 22 a factor of i?
True
Suppose r = -3*r + 72. Let o be 333/r + (-2)/4. Suppose -5*s + 7 = -o. Does 3 divide s?
False
Suppose 4*w + 10 = 4*k + 2, -2*w + 4*k - 4 = 0. Let s be -3 + (w - -2) + 6. Suppose 3*u - s = 114. Does 13 divide u?
True
Let a(d) = -d**3 - d**2 + d + 4. Let w(u) = u**3 + 2*u**2 + u. Let b be w(-1). Let n be a(b). Let c(f) = 9*f. Does 18 divide c(n)?
True
Suppose 3*g = -4*q + 1054, -g + 4*q - 1746 = -6*g. Is 24 a factor of g?
False
Let y(u) = -u**3 + 7*u**2 + 38*u - 24. Is 3 a factor of y(10)?
False
Let i be (0 - -2) + 0/(-8). Suppose -i*c + 135 = -19. Is 13 a factor of c?
False
Does 43 divide 5408/10 + ((-42)/(-35))/6?
False
Let d = -5 - -3. Let m be (7 - 3)*(-3)/d. Let u(t) = t**2 - 4*t + 2. Does 14 divide u(m)?
True
Let x = -48 - -41. Let h = 31 + x. Does 10 divide h?
False
Let n(j) = -j - 21. Let p be n(-27). Does 19 divide (-761)/(-6)*1 + 1/p?
False
Let z be (24/10)/(-3)*-5. Let q(r) = r**2 + 3*r - 7. Let w be q(-5). Suppose -z*m + 120 = 5*b - 3*m, 4*m - 72 = -w*b. Does 12 divide b?
True
Let g(j) = -4*j**2 + 8*j + 3. Suppose 5*x - 5 + 50 = 0. Let l(s) = 17*s**2 - 32*s - 12. Let w(d) = x*g(d) - 2*l(d). Does 12 divide w(6)?
False
Let d = 2790 - 1187. Is d a multiple of 7?
True
Let h = 24 - 17. Suppose 3*g + 2076 = h*g. Does 17 divide g/9 + (-1)/(-3)?
False
Let c(u) = -u**3 - 3*u**2 - u + 1. Let x be c(-3). Let d(m) = -2*m**3 + 15*m - 19*m**2 + 0*m**3 + x*m**2 + 3*m**3. Is 14 a factor of d(14)?
True
Let h = -39 + 57. Suppose 5 = f + 1. Suppose -h = f*z - 82. Is z a multiple of 8?
True
Let m(h) be the third derivative of -h**4/6 + 23*h**3/3 + 12*h**2. Does 28 divide m(0)?
False
Let q(a) = -5*a - 33 - 5*a - 11*a + a**2 + 14*a. Does 6 divide q(14)?
False
Let n(f) = f + 2. Let r be n(8). Suppose 5*i + 370 = r*i. Is i a multiple of 9?
False
Let w be 1 - (-10)/(2 + 3). Suppose 2*i + 16 - 281 = -w*n, 0 = 5*i - 10. Is n a multiple of 22?
False
Suppose -37*v + 44*v = 315. Is 15 a factor of v?
True
Let p = 381 - 109. Is p a multiple of 4?
True
Suppose k - 4*k + 210 = 0. Is (k/(-3))/((-8)/24) a multiple of 35?
True
Let y be 5/25 - 44/(-5). Let m = 17 - y. Let i = m - -8. Is 5 a factor of i?
False
Let b(s) = -s**3 + 13*s**2 + s + 10. Is 6 a factor of b(13)?
False
Suppose -2*i + 14 + 24 = 0. Let s = i + -11. Is 52/s*(14 - 2) a multiple of 26?
True
Let q(j) = 18*j + 10 - 15*j - 7*j**2 - 3*j**3 + 2*j**3 + 0*j**3. Is 4 a factor of q(-8)?
False
Let f(t) = -21*t - 2. Let y(m) = 22*m + 2. Let g be (-4)/(-6) + 7/3. Let z(n) = g*f(n) + 2*y(n). Does 8 divide z(-2)?
False
Suppose 0 = -3*c - 2*n + 2012, -5*c + 3*n + 1186 + 2161 = 0. Let w = -463 + c. Suppose 0 = -5*h + 3 + w. Is 13 a factor of h?
False
Let l be (-3 - (1 - -2)) + 2. Does 23 divide 4 + l + (66 - -3)?
True
Let c(z) = 13 - 2 - z + 0*z. Let l be c(7). Suppose g - 2 - 5 = -3*k,