q(22)?
False
Let x = 4 + -2. Suppose 0*i + x = -i. Does 3 divide i + (-2 - 24/(-3))?
False
Let m(a) be the first derivative of a**2/2 + a + 4. Suppose -s - 20 = -5*s. Is 3 a factor of m(s)?
True
Let x = -122 + 145. Does 5 divide x?
False
Suppose -x + 4 = 0, 4*t + 4*x = x + 296. Is t a multiple of 26?
False
Let f = 122 - 70. Does 26 divide f?
True
Suppose 2*n + 0*n = 218. Does 29 divide n?
False
Suppose p - 212 + 529 = 3*c, -c - 3*p + 119 = 0. Does 16 divide c?
False
Suppose 4*y = -834 + 2722. Is 25 a factor of y?
False
Let c = -298 + 538. Does 15 divide c?
True
Let q(p) = -p**3 - 7*p**2 + 8*p + 3. Let a be (-4)/(-14) - (-290)/(-35). Let u be q(a). Is (4 - 1)/(u/28) a multiple of 13?
False
Let n be (2/4)/((-2)/(-12)). Let c(b) = b**n - 1 - 7*b**2 + 2 + 2 + 6*b + 4. Does 7 divide c(6)?
True
Let s = 9 - 7. Suppose 0 = m + s*m - 69. Is m a multiple of 23?
True
Suppose 0 = -4*x - 3*c - c + 44, 12 = 3*c. Let o be (24/16)/((-6)/56). Let y = x - o. Is 7 a factor of y?
True
Let w be 4/(-14) + 382/14. Suppose -p + w = -3. Is 15 a factor of p?
True
Let t be (168/18)/((-4)/(-6)). Suppose w - t = 20. Is 12 a factor of w?
False
Suppose 128 = 5*l - l. Let p = -23 + l. Does 5 divide p?
False
Suppose -93 = -5*h + 2*h. Suppose 3*r + 15 = -3*l, -r + 2*r = 3*l + h. Let d(g) = -g**3 - 8*g**2 + 5*g - 12. Does 12 divide d(l)?
True
Let n(h) = h - 4. Let u be n(6). Suppose -3*l = 4*a - 78, -4*a + u*l + 47 + 41 = 0. Does 9 divide a?
False
Let a(l) be the first derivative of l**6/40 - l**5/15 + l**4/8 - 2*l**3/3 - 2*l**2 - 1. Let j(f) be the second derivative of a(f). Does 25 divide j(3)?
True
Let a(o) = -o**2 + 8*o - 5. Let b be a(7). Suppose 0*d = b*d - 100. Is 17 a factor of d?
False
Let x = 469 - 329. Is x a multiple of 35?
True
Let v = 150 - 38. Is v a multiple of 14?
True
Suppose 2*s - 127 = -3*w + 52, 2*w - 174 = -2*s. Suppose s = 2*c - 4*x, x + 120 = 3*c + 17. Is c a multiple of 10?
False
Suppose -2*d - d - 21 = 0. Let g = -10 - d. Does 4 divide (-56)/(-6) - (-1)/g?
False
Let f(z) = 2*z**3 - 2*z**2 - 2*z + 3. Let g be f(2). Suppose s = 2*s - g. Does 6 divide s?
False
Let i(w) = -7*w - 8. Let s(n) = -22*n - 24. Let a(d) = 10*i(d) - 3*s(d). Does 16 divide a(-10)?
True
Let t = 45 - 20. Is t a multiple of 17?
False
Let f(z) = -z + 15. Let p be f(7). Let t(o) = o**3 - 7*o**2 - 6*o + 7. Is t(p) a multiple of 11?
False
Suppose 247 + 94 = a. Is a a multiple of 26?
False
Suppose 3*b = b + 10. Suppose 0 = h - 6*h + 15. Suppose -h*x - 31 = -b*x + p, 0 = -4*x - 3*p + 47. Does 10 divide x?
False
Let z = -1 + 1. Suppose z*k - k = -18. Does 8 divide k?
False
Let l be 238/6 - (-7)/21. Let s be 80/(-15)*18/4. Let f = l + s. Is 8 a factor of f?
True
Let c = 41 - 1. Is 9 a factor of c?
False
Suppose 3*n + 4*q = 4*n - 152, -4*n + 628 = 4*q. Is n a multiple of 26?
True
Suppose 5*v + 3*j - 103 = 6*j, -5*v - j + 99 = 0. Let p(z) = -z**2 - 7*z - 6. Let k be p(-8). Let d = k + v. Does 3 divide d?
True
Is 4 a factor of (37/2*1)/(2/4)?
False
Let k = 3 + 4. Suppose k*s - 4*s = 81. Suppose -2*d + 39 = w, d - 2*d = -w - s. Does 11 divide d?
True
Let o = 0 + -6. Is (3 - 3/o)*2 a multiple of 2?
False
Is 17 a factor of 8/2 + -1*(0 + -132)?
True
Suppose -324 = -3*m - m. Suppose -m = -2*s - 27. Does 9 divide s?
True
Let n = 15 + 20. Is n a multiple of 14?
False
Let f(o) = o + 4. Let v be f(-4). Suppose v = -0*x + x - 4*m - 10, 0 = -5*m + 10. Suppose i - 4*i = -x. Does 6 divide i?
True
Does 36 divide 3/((-18)/(-12)) + 286*1?
True
Let s(h) = -h**3 - 2*h**2 + 3. Let p be s(-2). Suppose 0*f - 6 = p*f, -4*c - f = -278. Is c a multiple of 29?
False
Suppose -4*m - 17 = 11. Is 11 a factor of 3/2*(-70)/m?
False
Let f(t) = t + 16. Is f(-4) a multiple of 6?
True
Let i(t) = -t**2 - 9*t - 3. Suppose -4*m = 3*c + 29, 4*m + 18 + 10 = -4*c. Let s be i(m). Let w = 1 + s. Does 3 divide w?
True
Let i(r) = 1 + 4*r**2 + r**2 + r**3 + 5*r**2 + 3*r. Is 20 a factor of i(-9)?
False
Suppose 0 = 4*l - 123 - 133. Let s = -23 + l. Is 16 a factor of s?
False
Suppose -45 = -3*h - 2*h. Let g be (1 - 4) + (-6 - -5). Let b = g + h. Is b a multiple of 5?
True
Suppose 0 = -5*t + 4 + 11. Let j = t + 7. Does 5 divide j?
True
Let w(v) = 43*v + 2. Is 5 a factor of w(1)?
True
Suppose -6*z = -z + 10. Let o(x) = -2 + 3*x**2 + 0*x**2 + 2*x + 0*x**3 - 3*x**3. Is 19 a factor of o(z)?
False
Suppose -4*k - k + 3*i + 26 = 0, -2*i - 4 = 0. Let r be 18/(k - (0 + 2)). Suppose 10 = 3*o + z - r, -17 = -o - 3*z. Is o a multiple of 4?
False
Let l be (-476)/30 - (-12)/(-90). Let h = -12 - l. Does 3 divide h?
False
Let p = -8 - -12. Suppose 5*m - 205 = -k, 3*m + 4*k = p*m - 62. Let g = m + -26. Does 9 divide g?
False
Let z be (-10 - 4)*(-2)/4. Suppose 3 = c - z. Suppose 4*i = -4*k + 28, c = 2*k + 2*i + i. Does 11 divide k?
True
Suppose 0 = 2*c - 12 + 2, 3*q - 3*c = 18. Is q a multiple of 5?
False
Let a = 8 - 6. Suppose -3*z + z = -2*w + 42, -a*z + 78 = 3*w. Is w a multiple of 15?
False
Is 5 + -2 + 1*5 a multiple of 3?
False
Suppose -2*b + 93 = -5*b. Let x = b - -81. Is 25 a factor of x?
True
Let c(z) = 2*z**3 - 3*z**2 - 3*z - 1. Let v be c(3). Is (-15)/(-10) + v/2 a multiple of 5?
True
Let l(r) = 8 - r + r**2 - 13 - 3*r. Let n be l(5). Suppose i + 5*p - 19 = n, -3*i + 0*i - 3*p + 69 = 0. Does 10 divide i?
False
Let b(m) be the third derivative of -1/24*m**4 + 0*m + 0 + 7/2*m**3 - m**2. Is 12 a factor of b(9)?
True
Let j(p) = -p**2 - 6*p - 2. Let l be j(-5). Is (l/(-2))/((-4)/40) a multiple of 11?
False
Suppose -4*m = -3*a - 0*m + 252, 0 = a + 5*m - 65. Is 40 a factor of a?
True
Let w(s) = -8*s + 28. Is w(-11) a multiple of 29?
True
Suppose 4*j = 6 + 22. Let m = 51 - j. Is m a multiple of 15?
False
Let l = 1 + 6. Suppose g = -g + 2*o + 8, 4*o = 3*g - l. Suppose i - 3 = g. Is 4 a factor of i?
True
Let q be (-29)/9 - 8/(-36). Let m = 0 - q. Let o = m + 6. Is 9 a factor of o?
True
Let c be ((-128)/(-20))/((-1)/5). Let x = c - -47. Is x a multiple of 14?
False
Let u(w) = 4*w + 6. Let q be u(-4). Let x = -16 - q. Let z(c) = c**3 + 8*c**2 + 7*c - 8. Is z(x) a multiple of 13?
False
Let u = -32 + 140. Is 18 a factor of u?
True
Suppose 3*k + 8 = 2. Let i = 1 - k. Let u(n) = n**2 + 4*n - 3. Is u(i) a multiple of 5?
False
Let p(w) = w**3 + 7*w**2 - 9*w - 5. Let b be p(-6). Let a = b - 59. Is a a multiple of 26?
True
Let b = 22 + -16. Suppose 0*h = 2*h - b. Let i = 23 - h. Is 7 a factor of i?
False
Let v(s) = -s**3 - 5*s**2 + 4*s. Is 14 a factor of v(-7)?
True
Does 35 divide (105/9)/(7/147)?
True
Suppose 0 = 3*z - 106 - 89. Is 22 a factor of z?
False
Does 36 divide (-1)/7*2 + (-4875)/(-35)?
False
Suppose 2 = -2*s, 5*l + 4*s + s = 20. Suppose -j = -l*j + 8. Suppose -5*d = -j*c - 93, 2*c - 1 - 1 = 0. Is 8 a factor of d?
False
Let a(g) = -g**2 + 1. Let h(j) = -j**2 + 10*j + 5. Let o(f) = 2*a(f) - h(f). Is 18 a factor of o(-7)?
True
Suppose -4*u + 4*z + 16 = 0, 0 = -2*u + 4*u + 4*z - 2. Suppose u*g + 4*p = 35, 0 = -4*g + 5*p + 1 - 6. Suppose 0 = -2*s + g*s - 18. Is s even?
True
Suppose -5*h + 346 = -284. Does 6 divide (-4)/18 + 1288/h?
False
Suppose 0 = -3*x - 5*i - 47 - 99, 0 = x + 5*i + 62. Let l = 60 + x. Suppose -l - 46 = -2*p. Is p a multiple of 18?
False
Suppose -3*j - 46 = -5*j. Is 8 a factor of (j/(-2))/(3/(-6))?
False
Suppose -6*w + 3*w + 2*h + 25 = 0, -h - 15 = -2*w. Is 5 a factor of w?
True
Let y(v) = -5*v - 5. Suppose 4*t + h + 1 + 33 = 0, -2*t + 5*h - 28 = 0. Is 16 a factor of y(t)?
False
Suppose -2*q = 3*n - 13, -2*n + 12 = 3*q - 0*n. Suppose -q*z = -12 - 14. Is z a multiple of 11?
False
Suppose -h - 2*h - 98 = -5*c, 0 = c - 4*h - 23. Suppose 0 = r - c - 11. Does 16 divide r?
False
Suppose o - 786 = -2*o. Is o a multiple of 31?
False
Suppose 2*b = 5*f - 40, 5*f - 1 = -4*b - 21. Let r = b + 17. Does 3 divide r?
False
Suppose -1 - 7 = -4*a. Suppose 3*p + 3*d = a*p + 10, 5*d - 90 = -5*p. Is p a multiple of 22?
True
Suppose -2*v = 3 + 1, 5*w - 89 = -3*v. Let b = -7 + w. Is b a multiple of 4?
True
Suppose 4*a - 313 - 191 = 0. Is 21 a factor of a?
True
Suppose -8*p + 173 = 69. Is 13 a factor of p?
True
Let g = -26 + 39. Is 13 a factor of g?
True
Suppose 4*k - 11 = 3*h + 118, 0 = 5*k + h - 166. Is k a multiple of 11?
True
Let g = 7 - 5. Suppose -6*i = -g*i - 156. Is i a multiple of 13?
True
Let t = 51 + -34. Is 4 a factor of t?
False
Suppose 5*y - 873 = 5*r 