t(6). Is 9/15 + (-24)/n a multiple of 3?
True
Let w be (-4 - 0)/((-4)/288). Let b be (-2)/5 + w/20. Is b + -1 + 2 + -1 a multiple of 14?
True
Suppose 5*v + 7 = 22, 4 = 2*d - 2*v. Suppose 0 = -3*s - d*g - 0*g + 91, 3*g - 93 = -3*s. Is 15 a factor of s?
False
Suppose 90 + 25 = 5*l. Is 11 a factor of l?
False
Let s be 1 + 0 - (-2 + -9). Suppose -n = n + s. Let l(v) = v**3 + 7*v**2 + 6*v + 7. Is l(n) a multiple of 3?
False
Suppose -a + 3 = -5*b, 3*a - 4*a = -3*b - 3. Suppose b = 4*l + 6 + 2. Is 12 a factor of 5*6*(-2)/l?
False
Let z be 3*(2 - 1)/(-3). Let c be 2*2/4 - z. Suppose -5*v - 41 = -6*v - 5*g, -4*v = c*g - 146. Does 12 divide v?
True
Let m(s) = -2*s**2 - 2*s**2 - s**2. Let r be m(-1). Let c = r + 21. Is 7 a factor of c?
False
Suppose -5*u = -2*p - 104, -3*u - 4*p - 98 = -8*u. Does 16 divide (-1116)/(-33) + 4/u?
False
Let h = -114 + 158. Is h a multiple of 4?
True
Let s(h) = 8*h + 144. Does 16 divide s(0)?
True
Let f = -97 + 44. Let w = -26 - f. Is w a multiple of 11?
False
Does 11 divide (-6 - 78/(-2))/((-3)/(-2))?
True
Suppose q - 3 = 0, -5*s + 5*q - 164 - 51 = 0. Let j = 2 - s. Does 14 divide j?
True
Suppose -2*h = x + 15, 0*x + 5*x = -3*h - 33. Let s be (-16)/(-3) - (-2)/h. Suppose -s*o + 36 = j, o = -3*j + 3 - 7. Is o a multiple of 8?
True
Does 4 divide (-1*(-3 + -1))/(15/90)?
True
Let g(k) = k**3 + 1. Let t(c) = -6*c**3 - c**2 + 2*c - 4. Let f(i) = 4*g(i) + t(i). Is f(-2) a multiple of 3?
False
Let s be -2 + 0/2 + 1. Let a = s + 6. Suppose -4*z = -a*m + 80, z = 3*m + 4 - 59. Is 8 a factor of m?
False
Let p(q) = 3*q - 3. Let s be p(-7). Is (s/15)/((-4)/10) a multiple of 2?
True
Let s(t) = -t**2 + 8*t + 4. Does 11 divide s(7)?
True
Let y(r) = r - 4. Let q = 4 - -2. Let f be y(q). Suppose -f*t + 5*h - 184 = -6*t, 3*h + 230 = 5*t. Is t a multiple of 12?
False
Let t(b) = -6 + 99*b - 93*b + 2. Suppose 19 - 7 = 3*q. Is t(q) a multiple of 10?
True
Let k = -17 + 21. Is (51 - 0)/(6/k) a multiple of 10?
False
Is 17 a factor of (-73)/15*-21 + (-1)/5?
True
Let k(w) be the first derivative of w**4 - 2/3*w**3 - 1/2*w**2 + w + 3. Is k(2) a multiple of 11?
False
Suppose 2*i + 6*i - 112 = 0. Is i a multiple of 7?
True
Suppose 0*y - y = -18. Suppose y = -2*r + 5*r. Is 2 a factor of r?
True
Suppose 5*y = z - 98 + 27, -4*y - z - 64 = 0. Let w = 32 + y. Does 17 divide w?
True
Let l = -143 - -208. Suppose -6*u + u = -l. Does 8 divide u?
False
Suppose -2*x + 6 - 2 = -3*v, 2*x + 3*v = -20. Let j = -3 - x. Let z(i) = 16*i + 1. Is 17 a factor of z(j)?
True
Is 12*(38/6)/1 a multiple of 9?
False
Let v(x) = -x**3 - 42. Let p be v(0). Let g = p - -97. Is 23 a factor of g?
False
Suppose 0 = -0*a + 2*a - 2. Does 2 divide ((-12)/42)/(a/(-7))?
True
Let s(i) = -6*i + 48. Is s(-14) a multiple of 22?
True
Does 9 divide ((-176)/(-6))/(8/12)?
False
Let w be 2/(11/3 + -3). Suppose -5*l + 84 = -w*l. Is 16 a factor of l?
False
Suppose -3*u + 16 + 11 = 0. Does 9 divide u?
True
Let v(g) = -g**2. Let r(a) = 2*a**2 + 8. Let k(s) = 2*s**2 + 7. Let c(i) = -6*k(i) + 5*r(i). Let m(y) = -c(y) - v(y). Does 7 divide m(-2)?
True
Let h(p) = 56*p**3 + p**2 - p + 1. Does 16 divide h(1)?
False
Suppose 4*b - 21 = -2*y - 9, -y = b - 3. Suppose -5*x + 5*g = 31 - 231, 4*x = 2*g + 170. Suppose x = b*q - 0*q. Is q a multiple of 7?
False
Suppose -m = 4*m - 560. Suppose -105 = -3*i + 3*l, 4*i = -5*l + m - 17. Is i a multiple of 10?
True
Suppose 102 + 306 = 2*i. Is i a multiple of 51?
True
Suppose 20 = -r + 6*r. Suppose -2*y + 3*h - 33 = 0, -5*h + 70 = -r*y - 3*h. Let a = -4 - y. Is a a multiple of 6?
False
Let c = -39 - -58. Let l = c + -2. Let o = 37 - l. Does 10 divide o?
True
Suppose 5*m = -3*p + 41, 0 = -2*p + 4*m - 2 - 0. Let t = p - 11. Is 12 a factor of t/8 + (-49)/(-2)?
True
Let x(l) = 12*l**2 + 2*l + 1. Let d(m) = m**2 - 1 - 2*m**3 - m**2 + 7*m**2 + 3*m**3 - 8*m. Let y be d(-8). Is 4 a factor of x(y)?
False
Suppose -12 = 4*r + 20. Is (4 + 0)/((-4)/r) a multiple of 8?
True
Let d be 17/1*-1*1. Let l = -12 - d. Is l/(-3*(-1)/9) a multiple of 15?
True
Let h be (-6 - -5) + 1/1. Let l = 2 + h. Does 6 divide 9 + l + -2*1?
False
Let j(f) = 3*f**3 + 3*f - 2*f**3 + 0*f + 5*f**2 + 2. Is j(-4) even?
True
Let b(f) = -105*f. Let n be b(-1). Suppose -3*a + 5*a - 3*j - 7 = 0, -5*j = -2*a + 9. Suppose 2*q + a*x - 44 = 0, 0*x = 5*q + 4*x - n. Is 8 a factor of q?
False
Suppose 3*p = -p + 16. Does 4 divide (14/3)/(p/12)?
False
Let c = 23 + -14. Let v = c - 6. Does 15 divide v*(-2)/(-6) - -32?
False
Suppose -33 = -f - l, 27 = 4*f + l - 96. Is f a multiple of 8?
False
Let d(b) be the first derivative of -b**5/30 - b**4/4 - b**3/3 - 2. Let q(y) be the third derivative of d(y). Does 7 divide q(-5)?
True
Let q be ((-72)/30)/(3/(-10)). Suppose t - 10 = -u - 4*u, -q = -u + t. Suppose -5*y + 130 = f, u*y - 100 = -9*f + 4*f. Is 10 a factor of y?
False
Let g(f) = 7*f**2 - f + 2. Is 31 a factor of g(3)?
True
Is 4 a factor of (34/(-3))/((-6)/9) - 1?
True
Does 23 divide ((-92)/(-6))/((-6)/(-99))?
True
Suppose -2*i = -2*m - 54, -2*i + 0*i + 3*m + 55 = 0. Does 4 divide i?
False
Suppose -8 - 2 = -2*k + 5*h, 5*h = 4*k - 10. Let n(d) = d**2 + d + 3. Is 3 a factor of n(k)?
True
Let z be 4 - (-3 - -3)/2. Suppose z*q - 156 - 28 = 0. Is q a multiple of 14?
False
Suppose -10 = -3*u - 0*u + 4*t, 2*t = 2*u - 6. Let b be 4/4 - (-6)/u. Does 6 divide (27/b)/(15/40)?
True
Let t(u) = 8*u**2 - u - 2. Let x be t(-3). Let b(v) = -v**3 + v**2 - v + 3. Let g be b(4). Let a = g + x. Does 12 divide a?
True
Let q = 5 + 33. Is 19 a factor of q?
True
Let p = -3 + 5. Let d(n) = 6*n**3 + 2*n**2 - 3*n. Is d(p) a multiple of 24?
False
Let g be 97 + 6*(-3)/(-6). Suppose f - g = -f. Is f a multiple of 25?
True
Let t = -4 + -16. Let o = 29 + t. Is o a multiple of 4?
False
Let n(w) = -4*w + 6*w - 9 + 6*w. Is 14 a factor of n(10)?
False
Does 5 divide 4 - (0 - -11)*-1?
True
Suppose -2*s + 6*s - 32 = 0. Suppose -l - 172 = -3*g + 57, 2*l = -s. Suppose 6*w - 3*w = g. Does 12 divide w?
False
Suppose 2 = 3*g - 2*g. Is 2 a factor of g?
True
Let l(a) be the third derivative of -a**6/120 + a**5/10 - a**4/24 + 2*a**3/3 + 3*a**2. Does 8 divide l(5)?
True
Suppose 28*z - 26*z - 132 = 0. Is 15 a factor of z?
False
Let b = 45 - 32. Let i(o) = 4*o + 2. Does 27 divide i(b)?
True
Let z be (-2 + 1)/2*128. Let s = 120 + z. Let h = s - 8. Is 22 a factor of h?
False
Suppose m - 55 = -3*q, -m - 4*q - 20 = -2*m. Is 8 a factor of m?
True
Let w(h) = -5*h + 20. Let d(p) = -2*p + 7. Let u(y) = -8*d(y) + 3*w(y). Does 8 divide u(4)?
True
Let x = -7 + 14. Let c = 24 - x. Does 15 divide c?
False
Suppose -k = -5*i + 185, -i + 16 = 6*k - 2*k. Is 12 a factor of i?
True
Suppose 2*y + 5*w - 33 = 0, -4*w + 4 - 10 = -2*y. Let c = 25 + y. Does 14 divide c?
False
Let w be -3 + 5 + 3 + -2. Suppose 0 = -w*m - 2*m + 320. Suppose g + m = 3*g. Is g a multiple of 16?
True
Let r(n) = n + 18. Does 5 divide r(-7)?
False
Let n = -48 - -57. Does 3 divide n?
True
Is 117 + (3 - 2)/(-1) a multiple of 21?
False
Does 12 divide 0 - (-48 - 2) - 2?
True
Let v(m) = -m**2 + 7*m + 5. Let t be v(7). Suppose 2*g - g - 4*u = -t, 2*g - 3*u = 0. Suppose -g*x + 12 + 72 = 0. Does 13 divide x?
False
Suppose y - 5 = -2*m - 0*m, 0 = -5*y - 3*m + 4. Let p(c) = 8*c**2 + 2*c + 1. Does 7 divide p(y)?
True
Let h = 68 + -8. Is 10 a factor of h?
True
Let b = 14 - -35. Is 7 a factor of b?
True
Let i(l) = l**3 - 6*l**2 - 4. Let h be i(8). Suppose -h = -3*w - 16. Is 9 a factor of w?
True
Let x be (-13)/(-3) - 3/9. Is 29 - 0 - (0 - x) a multiple of 7?
False
Let s(d) = d**3 - d**2 + d + 15. Let k be s(0). Suppose -3*c - 2*t + 3*t + 93 = 0, -5*t + k = 0. Is c a multiple of 18?
False
Is 15 a factor of (3 - 1)/(2/195)?
True
Let u(f) = -f + 3. Let n(c) = -c**2 - 2*c + 5. Let d be n(-4). Is u(d) a multiple of 6?
True
Suppose 4*f - 2*l - 130 = 0, 5*l = 3*f + l - 95. Is f a multiple of 12?
False
Suppose -54 = -2*t - 20. Is t a multiple of 11?
False
Let i be (-1)/(-2) + 35/10. Suppose 2*d + 4*m - 8 = 0, i*d - m - 72 = -20. Suppose -d = -5*j + 13. Is 5 a factor of j?
True
Let r = -36 - -80. Is r a multiple of 11?
True
Suppose -87 = -3*c - 12. Let s = -2 + c. Is s a multiple of 19?
False
Let u(c) = -3*c**3 - 9*c**2 - 8*c**3 + 10*c**3 - 9 - 11*c. Is 5 a factor of u(-8)?
True
Let g(c) = -5*c + 4. Let q be g(-6). Let h = -16 + q. Does 7 divide h?
Fa