 + 8 + 10. Let g = k + 12. Is h(g) a multiple of 18?
True
Is 25 a factor of (16/6)/((-6)/(-279))?
False
Is 16 a factor of 3/15 - 638/(-10)?
True
Suppose -4*y - 428 = 2*m - 6*m, m - 4*y = 95. Is 37 a factor of m?
True
Let w(h) = -3*h**2 + 5*h + 10. Let n(p) = 7*p**2 - 9*p - 21. Let d(c) = -2*n(c) - 5*w(c). Is 11 a factor of d(11)?
False
Is (179 - -1)*14/35 a multiple of 19?
False
Suppose 2*z + 4*u + 33 = 461, -2*z + 429 = 5*u. Is 53 a factor of z?
True
Let v be (-3)/(-9)*2*6. Suppose -v*w - 58 = 6. Is 12 a factor of (w/(-5))/((-4)/(-30))?
True
Let i be (-19)/(-4) + (-1)/(-4). Suppose -74 = 3*g - 5*j + 1, i*g + 138 = 4*j. Let z = g + 45. Is 5 a factor of z?
True
Let z = -5 - -7. Does 3 divide 1/z + (-29)/(-2)?
True
Suppose -4*q - 2*y = -y + 17, 4*q + 5*y + 5 = 0. Is (-2 + 3)*-9*q a multiple of 15?
True
Suppose -g + 5 = 5*l, 4*l = 2*g - g + 13. Suppose o = -2*y + 13, 3 + l = -2*y + 5*o. Does 5 divide y?
True
Suppose 0 = -2*n + 63 + 143. Does 21 divide n?
False
Let m(t) = 3*t - 5. Let n(x) = -x**3 + 3*x**2 + x + 3. Let o(z) = -z - 6. Let s be o(-9). Let g be n(s). Is 13 a factor of m(g)?
True
Let t = -127 - -199. Is t a multiple of 24?
True
Is 1/(20/592) - (-6)/15 a multiple of 2?
True
Let r = -137 + 254. Let g = r - 43. Is g a multiple of 20?
False
Suppose 421 = 3*y + 163. Is 38 a factor of y?
False
Suppose 5*w = u - 17 - 24, -u + 3*w + 31 = 0. Does 6 divide u?
False
Let y(f) = f**3 + 6*f**2 - 4*f + 5. Does 15 divide y(4)?
False
Let z(s) = -s**3 + 11*s**2 - 7*s + 14. Is z(10) a multiple of 22?
True
Let d = -175 - -408. Is d a multiple of 15?
False
Suppose -30*o = -31*o + 206. Is 24 a factor of o?
False
Let i(z) = z**2 - 4*z. Let j be i(3). Let w(v) be the third derivative of v**5/60 + v**4/12 + 2*v**3/3 + 6*v**2. Is 3 a factor of w(j)?
False
Let u(p) = -3*p - 1. Let l be u(-1). Suppose -38 = -0*s - 2*s + l*b, -4*s - b + 101 = 0. Suppose 2*r + 3*z - s = 7*z, -5*r = 3*z - 99. Is r a multiple of 8?
False
Let p = 74 + 38. Is p a multiple of 28?
True
Suppose -4*x - 6 = -5*a, 4*x + 1 = a + 3. Suppose b + 3*k + 10 = x, -3*b + 2*k = -28. Is 2 a factor of b?
True
Suppose g + 4*i - 267 = 0, -15 = 5*i - 5. Does 25 divide g?
True
Let a(v) = 12*v**2 - 2*v - 1. Suppose -2*w + 6 = -2*p, 0 = 4*w - 3*p - 0*p - 12. Suppose 2*y + 4*t = -24, 5*t = 6*y - w*y - 19. Does 17 divide a(y)?
True
Suppose 96 = z + 3*z. Is 8 a factor of z?
True
Suppose w + 0*w = -2. Let t(u) be the third derivative of -u**6/40 + u**3/6 + 4*u**2. Is t(w) a multiple of 23?
False
Let q(n) = -9*n**2 + 2*n - 6. Let r(b) = 28*b**2 - 5*b + 19. Let k(l) = -7*q(l) - 2*r(l). Let v = 17 - 14. Does 19 divide k(v)?
False
Is 11/(231/6) - (-1174)/7 a multiple of 28?
True
Let x(y) = -y**2 - y + 84. Is x(0) a multiple of 28?
True
Suppose 5*s + w + 122 = 334, 5*s - 3*w - 204 = 0. Does 14 divide s?
True
Let q = -11 - -2. Let h = 17 + q. Is h a multiple of 7?
False
Let f = -56 + 92. Is 9 a factor of f?
True
Suppose f - 5 = -g, f = 11 - 6. Suppose g = 6*h - 2*h - 56. Is 14 a factor of h?
True
Let s(j) = j**3 + 2*j**2 - 3*j - 3. Let b be s(-3). Let i(l) = -4*l - 3. Is i(b) a multiple of 4?
False
Let n(v) = -v**3 + 6*v**2 - 9*v + 2. Let p(k) = -k**2 - k + 1. Let m(b) = n(b) - 2*p(b). Let s be m(7). Suppose 5*f + s*f - 130 = 0. Is f a multiple of 8?
False
Suppose -3*h + 40 = 2*h - 3*u, -2*h + 47 = 5*u. Let q = h - 6. Suppose -2*f = -q*j - 52, -6*f + f - 5*j + 95 = 0. Is f a multiple of 9?
False
Let q(w) = -w**3 + 10*w**2 - 9*w - 4. Let s be q(9). Let g = 17 + s. Suppose l - z + g = 2*l, -l + 4 = 4*z. Does 8 divide l?
True
Suppose -3*u - 88 = -5*n, -n - 3*u = 3*n - 92. Let q = n + -3. Is 9 a factor of q?
False
Let z(w) = -w**2 - 8*w - 4. Let s = 6 + 1. Let l be 0 - -2 - 0 - s. Is z(l) a multiple of 11?
True
Is -1 - (-1 - (84 + 4)) a multiple of 44?
True
Let s(t) be the third derivative of -t**4/24 - t**3/6 - t**2. Let c be s(-3). Suppose -c*x - 20 = -k, -17 = -5*k - 2*x + 35. Is 12 a factor of k?
True
Let y(f) = -19*f**3 + 2*f**2 + 2*f + 1. Is 4 a factor of y(-1)?
True
Is (-1*45/(-4))/(2/8) a multiple of 9?
True
Let s be (-178)/(-3) - 6/(-9). Suppose -5*x + s = -0*x. Is x a multiple of 4?
True
Suppose -161 = 4*v + o - 4*o, 3*o + 235 = -5*v. Is 10 a factor of v*1/(-2)*1?
False
Suppose 0 = 5*z - 45 - 95. Let t = 40 - z. Is t a multiple of 6?
True
Suppose -3*k = k - 204. Is 18 a factor of k?
False
Suppose -x + 3 = s + 3*x, 5*s + 2*x = 15. Suppose -s*z = z - 36. Is 4 a factor of z?
False
Let p(n) = 3*n - 3. Let t be p(2). Let y = t - 1. Is 2 a factor of y?
True
Suppose 2*t + 34 = 4*d, -86 + 26 = 4*t - 4*d. Let b = -10 - t. Does 3 divide b?
True
Let y = -103 - -114. Does 5 divide y?
False
Let z(w) = -w + 26. Is z(11) a multiple of 13?
False
Suppose 7*m + 14 = 5*m. Let i(z) = -z**2 - 11*z + 6. Is 17 a factor of i(m)?
True
Let f(k) = k**2 + 4*k + 1. Does 19 divide f(-9)?
False
Let m(f) = -f**3 + 6*f**2 + 5*f - 5. Is 5 a factor of m(6)?
True
Suppose -3*b + 213 = -15. Suppose 5*d - b = d. Is d a multiple of 6?
False
Let n(z) = z**3 - 5*z**2 - 6*z + 1. Let y be n(6). Suppose 0 = 4*v + 4*a, v + 11 + y = -5*a. Suppose -3*o + u = -48, 4*o - 61 + 2 = v*u. Is 9 a factor of o?
False
Is 29 a factor of 7/((-28)/(-836)) + -1*2?
False
Suppose 0 = -0*h - h + 39. Is 13 a factor of h?
True
Suppose 3*q + 5 = 2. Does 8 divide (6/(-15))/(q/60)?
True
Let v = -5 - -1. Does 11 divide (-897)/(-27) + v/18?
True
Let j(w) = -18*w + 11. Let o be j(-8). Suppose -20 = -5*q - 0*q. Suppose -q*f + o = -13. Does 14 divide f?
True
Let x(g) = -g**2 - 5*g + 6. Let v be x(-6). Let j be (2 - v)*(-12)/(-6). Is j/(-10) + 84/10 a multiple of 8?
True
Let d(q) = -6*q**2 - 2*q + 31*q**2 + 4*q**2. Let v be d(-2). Suppose 0*m + v = 4*m. Is m a multiple of 15?
True
Is (-422)/(-7) + 32/(-112) a multiple of 15?
True
Let a = -18 + 13. Let b = 7 + a. Does 2 divide b?
True
Suppose -2*z = -433 + 83. Is 43 a factor of z?
False
Let l(g) be the second derivative of -g**5/20 + g**4/2 + 2*g**3/3 - 3*g**2 - 2*g. Is l(6) a multiple of 5?
False
Let g(a) = -3*a**3 + a**2 + 4*a. Does 11 divide g(-3)?
False
Suppose -4*j = q + 436 - 105, -2*j + q = 167. Let g = -56 - j. Does 8 divide g?
False
Let d(g) = 17*g**2 - 3*g + 2. Does 10 divide d(1)?
False
Does 13 divide 1 + 8/4 + 49?
True
Let n(v) = -5*v - 1. Suppose 2*i = x + 3*i, -4*x = 5*i - 4. Is 19 a factor of n(x)?
True
Suppose z = b + 10, -b + 11 + 21 = 5*z. Suppose 0 = -2*h + z + 157. Does 12 divide h?
False
Let t be (-2)/8 - 1065/(-20). Suppose -4*g - 4*s = -36, 2*g - 3*s = -3*g + t. Does 10 divide g?
True
Let y(d) = -d + 5. Let b be y(6). Let a be (-4)/b*(-6)/(-8). Suppose 3*u + a = 33. Is u a multiple of 5?
True
Let k(i) = -57*i - 2. Is k(-1) a multiple of 6?
False
Let y(q) = -q**3 - 13*q**2 + 4*q - 7. Is y(-14) a multiple of 14?
False
Let b be 102/5*(-80)/(-24). Suppose -4*l - 14 = -c, 5*l + b = 3*c + 5. Is c a multiple of 13?
True
Let s = -6 + 7. Let g be s/((-3)/(-198)) + -3. Is g/(-2)*(-14)/21 a multiple of 10?
False
Let k = 18 - 12. Suppose 4*x = 2*x + k. Suppose 0 = x*f - 32 - 22. Does 9 divide f?
True
Let y(n) = n**2 + 9*n + 14. Does 7 divide y(-9)?
True
Let j(r) = r**3 + 7*r**2 + 2. Let o be -1*(-3)/3 - 8. Let l be j(o). Suppose l*g + 52 = 178. Is 21 a factor of g?
True
Suppose 2*p + 1 = 3*r - 0, 1 = p - r. Does 4 divide p?
True
Suppose 3 = 2*i - 3*z - 9, 5*i + 2*z = 11. Does 3 divide i?
True
Let h(i) = -i**2 + 10*i - 9. Let d be 8*5/((-20)/(-3)). Is h(d) a multiple of 5?
True
Suppose 3*r = 38 - 17. Suppose -5*m - 8 = r. Does 13 divide m + 33 + 0 + 0?
False
Is 2 + 3/(6/22) a multiple of 4?
False
Suppose 2*x + 5 = -l, x = 4*l + 4*x. Suppose -3*u + 2*h + l = 0, -u + 0*h + h = 0. Suppose u*m - 225 = -2*m. Is m a multiple of 15?
True
Suppose 40 = -5*h - 0*h. Let n(f) = -f**2 - 11*f - 10. Is 14 a factor of n(h)?
True
Suppose -k - 1 = 11. Let s = -6 - k. Suppose -2*j - s + 28 = 0. Is j a multiple of 3?
False
Suppose -t + 28 = 3*t. Is (5 - t) + 18/1 a multiple of 10?
False
Is 18 a factor of ((-162)/(-3))/(1/2 - -1)?
True
Let j(w) = -3*w + 8. Suppose -2*k - 21 = 2*z - 3*z, 4*z - 34 = 3*k. Does 19 divide j(k)?
True
Let c(y) = y**2 - 6*y. Let h = 19 + -13. Let d be c(h). Suppose d = -2*s - 3*s + 140. Is s a multiple of 10?
False
Let l be 1 + -1 - (-4 + 1). Suppose -3*m = -q - 1, 2*q - 1 = m - l. Suppose 9 = 3*x - m. Does 3 divide 