e 8 = x + 4*d, -5*x - 2*d = -3*d - 40. Suppose 7*k - x*k = -32. Does 23 divide k?
False
Let f(j) = j**2 - 10*j + 3. Let q be f(10). Suppose 2*z - 48 = -3*k, -q*k + z + 27 = -4*z. Does 5 divide k?
False
Let f = 15 - 10. Suppose 2*h = -z + 72, f*h = -4*z + 199 + 77. Does 16 divide z?
True
Let b(i) = -i**3 - 4*i + 7. Is b(-6) a multiple of 13?
True
Let v be (-74)/(-3)*45/6. Suppose -3*f + v = 5*o, 3*o - 3*f - 111 = -f. Does 6 divide o?
False
Suppose 2*u = 2*g + 3*u - 36, 5*g = 5*u + 90. Let w = g + 2. Is 20 a factor of w?
True
Suppose -m + 3*y + 2 = 2*y, -5*y = 0. Suppose -q = -m*q + 2, 4*q + 312 = 5*s. Does 16 divide s?
True
Does 14 divide (-3)/((-6)/136) - (-11 - -9)?
True
Let i(j) = j**2 + j + 1. Let w(o) = 4*o**2 - 3*o + 16. Let f(y) = -3*i(y) + w(y). Let a(u) = -u**2 + 5*u - 12. Let m(h) = -7*a(h) - 6*f(h). Does 18 divide m(6)?
False
Suppose 9 = -w - w - 3*y, -31 = 5*w - y. Let c(o) = 6*o + 4. Let t be c(w). Let k = t - -49. Is 7 a factor of k?
False
Let m be (47/(-2))/((-1)/10). Suppose 5*q + m = 5*x - 0*q, 98 = 2*x - 4*q. Is 21 a factor of x?
False
Let h = 281 - 200. Suppose a - 5 = 0, -3*a + 15 = -4*v - 0*v. Suppose v*b - b = -5*o, -5*b + h = 2*o. Does 15 divide b?
True
Let k = -1 + 2. Let z = 2 + k. Suppose -4*p + 147 = 4*w + 27, -60 = -2*p + z*w. Is p a multiple of 15?
True
Let n = 4 - 4. Suppose 0 = -r + 2*r - 1, n = -3*o - 4*r + 157. Is o a multiple of 14?
False
Let h(r) = 5*r**3 + r**2 - 3*r + 5. Is h(3) a multiple of 23?
False
Let p(l) be the first derivative of l**4/4 + 5*l**3/3 - l**2/2 + 4*l - 2. Does 12 divide p(-4)?
True
Let y(l) = -l**3 - 8*l**2 + 2*l + 25. Is 3 a factor of y(-8)?
True
Let a be (23/(-2))/((-1)/(-4)). Is a/(-2) + 2/(-1) a multiple of 7?
True
Suppose -q = -1 - 3. Let z = q + -2. Is z a multiple of 2?
True
Let r = -9 + 3. Let b = -8 - r. Is 2 a factor of -5*(b - (-8)/5)?
True
Let l = 202 - 83. Does 17 divide l?
True
Suppose -5 - 447 = -3*z - q, -3*z + 451 = 2*q. Is 31 a factor of z?
False
Suppose 6*g - 4*j - 112 = 2*g, -133 = -4*g - 3*j. Does 31 divide g?
True
Suppose 0*b - 3*b - 15 = 0, -3*t = -5*b - 505. Suppose -4*v + 2*p + 202 = 0, 0 = 5*v + p - t - 75. Is v a multiple of 16?
True
Let i(h) = h**2 + 2*h - 3. Let k be i(2). Let a = 11 - k. Is a a multiple of 5?
False
Suppose -2*z + 4 = -4*m + 2*m, -4*m = 4*z + 8. Suppose -92 = -z*b - 4*b. Suppose 5*d = 4*c - b, -3*d - 45 = -4*c - c. Is 4 a factor of c?
True
Suppose 5*x + a - 246 = 0, 101 = 2*x - a + 4. Suppose 0*n + n - 2*q - x = 0, -3*q - 53 = -n. Is 21 a factor of n?
False
Let d(t) be the third derivative of t**6/120 + t**5/12 - t**4/4 + 7*t**2. Is 10 a factor of d(-5)?
True
Let p(l) = 3*l**2 + 10*l. Is 12 a factor of p(-6)?
True
Suppose 5*o = 114 - 24. Does 18 divide o?
True
Let w be (-38 - 0)/((-1)/2). Let n = w + -51. Does 11 divide n?
False
Suppose 2*f + f = 5*p + 245, 0 = p + 4. Does 15 divide f?
True
Does 6 divide (-378)/(-45)*(5 + 0)?
True
Let v be 6/4*(-32)/(-6). Let o = 2 + v. Is 5 a factor of o?
True
Suppose 3 = 2*k + 3*m + 23, 3 = k - 5*m. Let i = k + 24. Let c = 29 - i. Is 6 a factor of c?
True
Let z(j) = 2*j**2 - 10*j + 14. Is z(6) a multiple of 13?
True
Let q(h) = -2*h + 24. Let s(a) = 3*a - 36. Let b(p) = 8*q(p) + 5*s(p). Let o(x) = -x**3 + 4*x**2. Let v be o(4). Is 6 a factor of b(v)?
True
Suppose p = 2*r - 4*p + 40, -5*r - 100 = -5*p. Let w = r + 44. Is w a multiple of 12?
True
Let z(u) = -u**2 - 34*u + 66. Is z(-16) a multiple of 15?
False
Let o be ((-6)/(-4))/(3/6). Suppose o*p = -0*p + 153. Does 13 divide p?
False
Let o(l) = -l**3 - 5*l**2 - 3*l + 3. Let r be o(-4). Let h be 1 + -2 - 2/r. Does 10 divide 10*2*1*h?
True
Is (648/45)/(6/20) a multiple of 3?
True
Let z(u) be the third derivative of -u**5/60 + u**4/24 + 11*u**3/6 + 3*u**2. Is 11 a factor of z(0)?
True
Let o = -135 + 159. Does 3 divide o?
True
Let s = -121 + 134. Does 6 divide s?
False
Let n(k) = -k + 4. Let g be n(5). Let h = g - -8. Is 5 a factor of h?
False
Let z = -52 - -78. Is 3 a factor of z?
False
Suppose -5*t - 13 = -r, -2*t - t + 129 = 3*r. Is 19 a factor of r?
True
Let y(p) = -p + 63. Does 9 divide y(25)?
False
Suppose -k = 126 - 358. Is 23 a factor of ((-9)/(-6))/(4/k)?
False
Suppose 0 = 5*j + 139 - 679. Does 9 divide j?
True
Let c(b) = 3*b**2 + b**3 + 0*b - 2 + 4 - 5 - b. Let o be c(-3). Suppose v + v - 36 = o. Is 8 a factor of v?
False
Let q = -17 + 34. Is 7 a factor of q?
False
Is (-22)/((-175)/55 - -3) a multiple of 21?
False
Let b be ((-12)/21)/((-5)/35). Let m = -25 - -52. Suppose b*t + f = 6*t - m, -2*t + 30 = -4*f. Is 13 a factor of t?
True
Suppose -4*d + 3 = -1. Let g = 3 + d. Is g even?
True
Suppose -2*x = 5*f - 13, x + 4 = 2*x + 5*f. Let g be 2/6 + 6/x. Is 2 + 11 + g/1 a multiple of 7?
True
Suppose -5 + 20 = x - u, -11 = -x + 2*u. Suppose x = 2*g - 5. Is 12 a factor of g?
True
Suppose -105 = 3*v - 15. Let i = 55 + v. Is i a multiple of 10?
False
Suppose a - 20 = -12. Is 28 a factor of ((-10)/a)/((-2)/152)?
False
Suppose -3 = -4*y + 21. Let w(m) = m**2 - 6*m + 5. Is w(y) a multiple of 2?
False
Suppose -3*b = b - 8. Suppose j - 63 = b. Suppose -g - 25 = -2*g + 2*i, 2*i = -5*g + j. Is g a multiple of 5?
True
Let g(v) = 3*v**2 + 13*v - 16. Is g(-8) a multiple of 8?
True
Suppose -n = -3*n + 6. Suppose -h = n*h - 48. Is h a multiple of 12?
True
Suppose -d = -15 + 3. Suppose 2*a - 4*a + 6 = 4*r, -d = -r - 4*a. Suppose 3*s + 4*n - 2*n = 40, -n - 4 = r. Is 10 a factor of s?
False
Let k = 39 - 6. Is 11 a factor of k?
True
Let i(j) = 4*j - 3. Let t be i(2). Suppose z + 20 = 5*m + 6*z, 60 = 5*m - t*z. Suppose -3*p + m = -31. Does 5 divide p?
False
Let o be (-1014)/(-21) - 2/7. Let d = -22 + o. Is 13 a factor of d?
True
Let t(y) = y + 10. Let p be t(-9). Let d be 5 - (-1 + p)*1. Suppose d*j = 4*q + 29, -7*q = -3*j - 3*q + 19. Is j a multiple of 5?
True
Let r(i) = -4 + 5*i + 2 - 3*i. Let w be r(2). Suppose 105 = 3*y - o, -6*y + 2*y + 130 = w*o. Is 16 a factor of y?
False
Let r(x) = x**2 - x + 3. Suppose -u + 6 = -v, -2*u - 3*v = -3*u + 6. Let z be r(u). Is ((-2)/6)/((-1)/z) a multiple of 11?
True
Let m(s) = -s**3 - 5*s**2 + s + 7. Let i be m(-5). Suppose -i*c + 21 = -31. Suppose -14 - c = -4*u. Does 7 divide u?
False
Let o = 4 + -4. Suppose y = -o*y + 21. Suppose b - 9 = y. Is b a multiple of 11?
False
Suppose q = -4*q + 25. Suppose q*r - 60 - 30 = 0. Does 9 divide r?
True
Let v = 9 - -2. Does 9 divide v?
False
Is (1/(2/9))/((-7)/(-266)) a multiple of 19?
True
Suppose 5*i - 1 = -x, i - 2*x - 5 = -7*x. Suppose 0 = -4*y + a + 96, i = 5*y - 4*a - 76 - 44. Is y a multiple of 24?
True
Suppose -2*a - a + 45 = 0. Suppose 3*c = -3*o - a, 0 = 4*c - 2*o - 0*o - 10. Suppose c = -3*w + 39 + 3. Is w a multiple of 11?
False
Suppose -c - 3*c + 484 = 0. Does 11 divide c?
True
Let s(q) = q**2 - 5*q + 4. Let k be s(5). Let d be ((-84)/(-8))/(3/k). Let z = 23 - d. Is 3 a factor of z?
True
Let j(q) be the second derivative of -1/6*q**4 + q + 5/6*q**3 - 1/10*q**5 + 2*q**2 + 0. Is 25 a factor of j(-3)?
True
Suppose -o - 3*n = -127, 0*n = 3*o - 4*n - 329. Is o a multiple of 28?
False
Let y be 40/18 - (-4)/(-18). Suppose -y*z + 27 = z. Let k(x) = -x**3 + 10*x**2 - 9*x + 4. Does 4 divide k(z)?
True
Suppose n - 4*j + 23 - 71 = 0, -3*j + 34 = n. Suppose -n = 6*f - 11*f. Does 7 divide f?
False
Let u(p) = -8*p**3 - p**2 + 3*p + 2. Is 7 a factor of u(-2)?
True
Let n(q) = 4*q**2. Let d be (-2)/1 - (-8)/4. Let l be 3/(-3)*(-1 + d). Is n(l) a multiple of 4?
True
Suppose 3*p = -4*a + 32, -4*a + 3*p + p + 4 = 0. Suppose d - s + 10 = -6, 0 = a*d + s + 98. Let f = 34 + d. Is f a multiple of 11?
False
Let h(d) = -8*d - 8. Is 8 a factor of h(-2)?
True
Suppose -5*u + 5*r + 65 = 0, -16 = -4*u - r - 4*r. Suppose k = -4*t - 5, -5*t + 0 + 5 = -k. Suppose t = i - u - 11. Is i a multiple of 13?
False
Let w be (-1 + -4)*2/5. Let v = 1 - w. Is (-2 + 8)/v*2 a multiple of 2?
True
Let y(n) = 8*n**2 - 3*n - 1 + n + n**3 - 2*n**2 - 6*n. Is y(-7) a multiple of 6?
True
Suppose -4*g = -9*g + 145. Does 4 divide g?
False
Let x(k) = 2*k**2 - 4*k - 1. Is x(3) a multiple of 2?
False
Suppose 4*y + 0*y - 12 = 0. Let a(q) = 1 + q**3 - y*q**2 + 5 - 3*q**2 + q. Does 8 divide a(6)?
False
Let d = -5 + 3. Let j be 15/10 - (-25)/d. Does 3 divide 6/(-2 + j/(-4))?
False
Let u(q) = q + 2. Let h be u(0). Suppose -d + 21 = -0*d. Suppose 0 =