ltiple of 22?
False
Let s = 45 + -39. Is s a multiple of 6?
True
Let c(v) = 2*v. Let k be c(-2). Does 14 divide (-2)/(-4) - 150/k?
False
Let v = -10 + 90. Is v a multiple of 16?
True
Let n(o) = 3*o + 5. Let t(a) = a. Suppose -3*p + 0*p + 2*r - 2 = 0, -20 = 5*p + 5*r. Let m(y) = p*t(y) - n(y). Is 13 a factor of m(-6)?
False
Let j(r) = 4 - 3*r - 1 - 5. Let z be j(-3). Suppose 3*w = z*w - 112. Is 13 a factor of w?
False
Is 15*(-1 + 12/3) a multiple of 15?
True
Let q(b) = b. Let c be q(0). Let t be 0/((-1 - 1) + 0). Suppose c = -t*y + 4*y - 24. Is 3 a factor of y?
True
Suppose -3*f - 9 = 0, -4*v = -2*v - 3*f - 159. Is v a multiple of 12?
False
Let o(w) be the third derivative of w**6/120 - w**5/15 + w**4/24 - w**3/6 - 4*w**2. Does 2 divide o(4)?
False
Suppose -3*k - 2*k - 135 = 0. Suppose 2*q + 3*q + 81 = -2*g, 2*g - 55 = 3*q. Let m = q - k. Is m a multiple of 5?
True
Suppose -10 + 35 = 5*f. Suppose r + 0*r = -5. Let l = f - r. Is 10 a factor of l?
True
Let y(b) = 2*b**3 - 12*b**2 + 5*b. Is y(7) a multiple of 22?
False
Let a = 248 - 176. Is a a multiple of 12?
True
Suppose 30 = 5*d - 3*d. Is 5 a factor of d?
True
Suppose -469 = -2*p - i, -4*p + 5*p + 2*i - 233 = 0. Does 44 divide p?
False
Let c = 3 + -10. Let j = c + 11. Suppose 5*h = -n + 39, 3*n - j*h + 6 = 28. Does 14 divide n?
True
Let y = 185 + -119. Suppose 0*r = 2*r - 2*k - y, -3*r + k + 101 = 0. Is 12 a factor of r?
False
Let j(t) be the first derivative of 2 - t + 7/3*t**3 - 5/2*t**2 - 1/4*t**4. Is 4 a factor of j(6)?
False
Let z(k) = 14*k**2 - 2*k. Is z(5) a multiple of 19?
False
Let i be ((-15)/(-2))/((-4)/(-104)). Does 12 divide i/(-6)*(-12)/10?
False
Suppose 0 = -j - 0*b + 4*b + 40, -j - 3*b + 54 = 0. Is 12 a factor of j?
True
Suppose o - 99 = 11. Does 12 divide o?
False
Is 8/10 - (3 + 336/(-5)) a multiple of 17?
False
Let o(g) = g + 4. Let j be o(-4). Suppose j = -4*k + 27 + 41. Suppose v - k = -2. Is v a multiple of 9?
False
Does 43 divide (-3 - -7)/((-5)/(-215))?
True
Let l be 7 - (-6)/8*-4. Suppose -5*t - 2*y + 125 - 6 = 0, 4*y = l*t - 84. Does 12 divide t?
False
Suppose 0 = x + 95 + 10. Let a = x + 160. Does 11 divide a?
True
Let q(c) = c - 2. Let i = -5 - -9. Let v be q(i). Suppose 3*j = -4*u + 68, -2*j + 79 = v*j + 3*u. Is j a multiple of 8?
True
Suppose w + 0*v = 3*v + 26, w + 4*v = -2. Does 18 divide (-4)/w + 275/7?
False
Let q = 11 - 6. Suppose -y + q*y = 32. Let m = y - -12. Is m a multiple of 7?
False
Suppose -2*u + 18 = 6. Suppose -3*s + 2*b - 222 = -u*s, 3*b = -2*s + 153. Suppose 3*g + 4*k - s = 0, -g + 48 = g - 3*k. Does 8 divide g?
True
Let d(l) = -l**3 - l**2. Does 11 divide d(-3)?
False
Let c = -6 + 4. Let r(o) = -3*o - 3. Let q be r(c). Suppose 2*u - 20 = -q*u. Is u even?
True
Suppose -4*s - 3*i + 129 = 2*i, 4*s + i - 141 = 0. Is 10 a factor of s?
False
Suppose m + 4 = 2*m. Does 3 divide (4/2)/1 + m?
True
Suppose -2*o = 3*i - 65, 0 = i - 3*o - 4 - 3. Is 6 a factor of i?
False
Suppose -12 + 21 = m. Does 3 divide m?
True
Suppose -3*d = -2*c + 4, d = 5*c + 2*d - 44. Is c a multiple of 2?
True
Let z be 8/(-28) + 2/7. Suppose z = -3*q + 79 - 10. Is 8 a factor of q?
False
Suppose l - 8 = -2. Let q(g) = -4 + 0 - l*g - 4. Is q(-9) a multiple of 23?
True
Let g be 4/(-10) - (-184)/(-40). Let a(d) = d**3 + 6*d**2 + d. Does 8 divide a(g)?
False
Suppose w = -2*a + 1, 14 = w + w - 2*a. Suppose 4*i = w*i - 15. Does 4 divide i?
False
Let h(s) = -2*s**3 + 3*s**3 + 4*s**2 - s + 5*s + s**2. Let a be h(-4). Suppose a = 4*v - 28 - 12. Is v a multiple of 10?
True
Is (61/(-3))/(12/(-36)) a multiple of 10?
False
Suppose 0 = s + 2*s - 5*v - 24, 4*s - 2*v = 46. Is 13 a factor of s?
True
Let m(z) = z**2 - 8*z + 7. Let h be m(7). Suppose 5*c - 38 + 13 = h. Suppose 0 = 2*i - r - 77, -5*r + c = -0*r. Is 13 a factor of i?
True
Let j(w) = -w**3 - w**2 + 24. Let b(v) = -3*v**3 - 2*v**2 + 47. Let y(h) = -2*b(h) + 5*j(h). Is 13 a factor of y(0)?
True
Let i(j) = j**2 - 3*j + 8. Is i(-4) a multiple of 12?
True
Let w be 1/3*-1*-3. Suppose -3*z + 5 = -w. Suppose z*v - 93 + 29 = 0. Is 16 a factor of v?
True
Suppose -4*n = -429 + 165. Is n a multiple of 22?
True
Suppose -2*i + 6*i + 104 = 2*v, -v + 52 = i. Let r = -31 + v. Is 9 a factor of r?
False
Suppose 195 = -5*a + 3*m - 7*m, -117 = 3*a + m. Let g = 61 + a. Is 8 a factor of g?
False
Let a(i) = 40*i - 22. Let t(u) = 16*u - 9. Let b(k) = 5*a(k) - 12*t(k). Is 9 a factor of b(2)?
False
Let v(w) = 3*w**2 + 7*w - 6. Does 34 divide v(-8)?
False
Suppose g - x = 6, -4*g - x + 2 = -2. Let m(p) be the second derivative of p**5/20 + p**2 - 2*p. Does 10 divide m(g)?
True
Suppose -448 = -0*l - 4*l. Suppose -g - l = -5*g. Does 14 divide g?
True
Suppose 2*f = -4*n + 710, 4*n - 2*f = n + 550. Does 15 divide n?
True
Let o be (2 - 1)/(1/(-4)). Suppose -5*y = -2*s + 30, -3*s + 3*y = -5*s + 14. Is (2 + o)*s/(-1) a multiple of 15?
False
Let w = 1 + 5. Let m = w + 6. Is 4 a factor of m?
True
Suppose 4*l = 2*t - 236, -3*t = -5*l + 158 - 507. Is t a multiple of 18?
True
Suppose -2*p + 48 = -6*p. Let t = p - -24. Is t a multiple of 12?
True
Suppose k - 1 = 0, -4*k + 164 = 2*n - 0*n. Is n a multiple of 8?
True
Suppose 0 = -4*a - 5*s - 15, -a = s + 4 - 1. Let w(p) = 3*p + 3 - 2*p + 2. Is 2 a factor of w(a)?
False
Let c = -9 - -12. Suppose -3*y + 0*y + 27 = -c*b, 4*y = 3*b + 36. Does 6 divide y?
False
Suppose -4*b = -2*j - 2570, -4*j + 3180 = 3*b + 2*b. Suppose -4*c = -0*c - b. Suppose -2*k = 3*k - c. Does 16 divide k?
True
Let o = 244 + -32. Is 17 a factor of o?
False
Let y(k) = -5*k + 1. Is y(-3) a multiple of 8?
True
Let y = 5 + 1. Suppose 6*z = 3*z + y. Let d = 28 - z. Does 10 divide d?
False
Is 25 a factor of (-5 - 1020/(-4))/2?
True
Let f = 12 + -12. Suppose f = 3*x + 9, 3*j + 5*x - 35 - 4 = 0. Does 18 divide j?
True
Let k = 26 + -42. Is k/(-6)*9/4 a multiple of 3?
True
Let c(o) = o**2 - 4*o. Let z be c(4). Suppose 0 = -z*n - 5*n + 45. Let p = n + -4. Is 5 a factor of p?
True
Let f be (1 - 2)/((-4)/(-196)). Let p = -25 - f. Is p a multiple of 6?
True
Let t(u) = -6*u + 2. Let s(j) = j - 4. Let n be s(10). Suppose -n*h - 10 = -h. Is t(h) a multiple of 10?
False
Let z(t) = -16*t - 51. Is 21 a factor of z(-17)?
False
Let g = -36 + 14. Let h be (-4)/g + 876/22. Suppose -5*s = -s - h. Is 10 a factor of s?
True
Let x be 0/(4/2) - 5. Let d = x - -12. Suppose -70 = -d*i + 2*i. Is 12 a factor of i?
False
Let s be (4/3)/((-4)/(-6)). Suppose 2 = -6*t + 7*t. Suppose 3*r - 3*c - 22 = -t*r, -2*c + s = 0. Is 4 a factor of r?
False
Suppose -b + 0 = -4. Is 4 a factor of b?
True
Let b be 10*(308/10 - 2). Suppose 2*m + 2*m + 4*r = b, 2*r = -3*m + 221. Does 16 divide m?
False
Let b(g) = -7*g**3 + 3*g**2 + 5*g + 2. Let a be b(4). Does 13 divide 21/28 + a/(-8)?
False
Let i = -119 + 305. Is i a multiple of 31?
True
Let f(y) = y**2 + 7*y + 5. Let h be f(-4). Let z(m) be the second derivative of m**4/12 + m**3/2 + 4*m**2 + 6*m. Is 16 a factor of z(h)?
False
Let d be (-2)/2*6/3. Is 9 a factor of -25*(1 + d) + -2?
False
Let b(s) = 2*s**2 + 2*s + 4. Let w be b(4). Let u = -15 + w. Let t = u + -16. Is 13 a factor of t?
True
Let h(v) = 27*v**3 - v**2 + 3*v - 1. Is 31 a factor of h(2)?
True
Let l(f) = f**2 - f + 1. Let q(x) = x**2 - 2*x + 1. Let d(m) = 4*l(m) - q(m). Suppose 3*c - 7 = -1. Does 11 divide d(c)?
True
Let y(c) = -49*c + 1. Let a be y(-3). Suppose -a = -4*o - 5*n, -2*n - 37 = -o - 3*n. Is 13 a factor of o?
False
Suppose c - 1 = -3. Let n(s) = 6*s - 2. Let l be n(5). Let u = l - c. Does 15 divide u?
True
Let c = 7 + -10. Let p = c - -2. Is p/((-23)/11 - -2) a multiple of 11?
True
Is 12 a factor of 1/1 - 432/(-12)?
False
Suppose -2*r + 3*b + 2*b = -3, 12 = 4*r - 4*b. Suppose 8 = r*g, 2*g + 2*g = 3*a - 43. Is a a multiple of 6?
False
Suppose -3*x = -3, -3*y - 2*x + 254 = -0*y. Suppose -2*m - 48 = w, -5*w = -0*w + 5*m + 235. Let l = y + w. Is 19 a factor of l?
True
Does 12 divide (0 - -2) + 0 + 31?
False
Let f(r) = 2*r. Let u be f(5). Let v = -6 + u. Suppose -2*x = -d - 42, -v*d = 5*x - 5*d - 99. Is x a multiple of 13?
False
Suppose -3*r + 6*r = 180. Is r a multiple of 10?
True
Let t(v) = v**2 - v. Let i be t(0). Suppose -3 = -2*j + 5*x, i*x + 4*x + 8 = 3*j. Is j a multiple of 4?
True
Suppose 3*o - 38 = o. Is 4 a factor of o?
False
Let x = -6 + 10. Is x/18 - (-428)/18 a multiple of 7?
False
Le