(-3). Suppose -4*x - 5*s = c, -4*s = 5*x - s - 13. Is 2 a factor of x?
False
Let t = 44 - 5. Suppose 2*r + t - 15 = 0. Does 15 divide (-9)/r*1*24?
False
Let p(q) be the first derivative of -5*q - 9/2*q**2 - 5/3*q**3 - 3 + 1/4*q**4. Is p(7) a multiple of 10?
True
Let o be 6*(3 - (-15)/(-6)). Suppose -18 = -f + 3*s - 1, f = -s - o. Suppose 24 = f*g + g. Is g a multiple of 6?
False
Suppose 0 = -x + 5*a + 22, 0*x + 2*x = 4*a + 14. Is (23/x)/(4/(-12)) a multiple of 23?
True
Let x(b) = b - 11. Let l be x(7). Let w(s) = s**2 - 5*s + 2. Is w(l) a multiple of 11?
False
Let y = 143 - 92. Suppose -5*a + y = 1. Does 3 divide a?
False
Suppose 4*r + i = 476, -2*r + 2*i + 174 = -54. Is r a multiple of 49?
False
Suppose -j - 100 = -5*j. Suppose 5*y - 2*s = 3*s + 35, -j = -4*y + 3*s. Is y even?
True
Let p(f) = -7*f**3 + 2*f**2 - 17*f + 11. Let j(d) = 3*d**3 - d**2 + 8*d - 5. Let n(g) = 13*j(g) + 6*p(g). Does 6 divide n(-2)?
False
Let b(p) = 2 - p - 3 + 5 - 3. Does 2 divide b(-3)?
True
Let c(b) = -b**2 + 4*b + 5. Let r(m) = m - 3. Let a be r(8). Let g be c(a). Suppose 5*z + 2 - 52 = g. Is 7 a factor of z?
False
Is (-2 + 153/(-12))*-4 a multiple of 17?
False
Suppose -4*b + 7 = -9. Is b a multiple of 4?
True
Let k(i) = 2*i**3 - 4*i**2 - 6*i + 8. Is k(5) a multiple of 8?
True
Let o = -13 - -17. Suppose -14 = o*w - 46. Does 8 divide w?
True
Let b = -5 + 4. Let v be (b - -3)*(-74)/4. Let c = -15 - v. Does 12 divide c?
False
Let n be (-1047)/(-12) - 2/8. Let l = n - 41. Does 15 divide l?
False
Let s(y) = -2*y + 30. Does 6 divide s(7)?
False
Suppose r + 3*r = 0. Suppose 0 = -3*z - 0*b + 5*b + 42, r = -4*b. Is z a multiple of 5?
False
Let w(t) be the first derivative of -t**4/4 - 13*t**3/3 - 7*t**2 - 17*t + 4. Does 3 divide w(-12)?
False
Let d(f) = 3*f**3 - 2*f. Let g be d(-2). Let q be 3 - g - 2 - -3. Let b = q - 8. Is b a multiple of 7?
False
Let h(o) = o**3 + 10*o**2 - 2*o + 17. Is 22 a factor of h(-10)?
False
Let g be (-12)/9*(-9)/2. Let f = 322 - 198. Is 13 a factor of g/10 - f/(-10)?
True
Let o(n) = -n**3 - 20*n**2 - 5*n - 30. Is o(-20) a multiple of 10?
True
Suppose -3*m + d = -43, -5*d + 33 = 8. Does 2 divide m?
True
Suppose 2*n - 7 = -w + 2, 0 = -n - 5*w. Suppose -3*l - n = -8*l, -d + 3*l = -8. Does 11 divide d?
True
Let x(i) = i**2 - i - 1. Let a be x(12). Let p = -76 + a. Suppose 6*r = r + p. Does 11 divide r?
True
Suppose -g + 181 = -5*y + 904, 282 = 2*y + 2*g. Is y a multiple of 27?
False
Suppose 6*b - 3 = 5*b. Suppose -b*o + 19 = w, -o + 2*w = 1 + 2. Suppose s = o*s - 124. Is 11 a factor of s?
False
Let p(x) be the first derivative of x**2 + 3. Does 8 divide p(4)?
True
Suppose 5*g - 10 = 0, -3*i = 2*i + 2*g + 21. Let w(z) = 2*z**2 + 5*z + 1. Does 14 divide w(i)?
False
Suppose -2*m + 12 = 4*l - 4, 0 = l - 2*m - 9. Suppose 5*n + l*w + 10 = 0, -31 = 4*w - 11. Let f(a) = 3*a - 1. Does 8 divide f(n)?
True
Let o(k) = -k**3 + 5*k + 4. Let n be o(-3). Suppose 2*w = 6*w - n. Suppose 0 = -2*i + 5*v + 52, -w*i - 3*v + 104 = -5*v. Does 22 divide i?
False
Is (-4)/24 - 4/48*-302 a multiple of 25?
True
Is 29 a factor of ((-11)/6 - -2) + (-2076)/(-72)?
True
Is 3 a factor of (7/(-2))/((-7)/28*2)?
False
Suppose -2*c - 4 = 2*l + c, 4*l - c + 22 = 0. Let i = l + 12. Is 7 a factor of i?
True
Let z(o) be the third derivative of -o**4/12 + 7*o**3/6 + o**2. Let j be z(5). Let c(w) = 3*w**2 + 2*w + 1. Is c(j) a multiple of 11?
True
Does 7 divide 2/((-12)/(-135)) + 6/(-4)?
True
Let b = 6 - -7. Is b a multiple of 13?
True
Suppose -76 + 7 = -a. Is 14 a factor of a?
False
Let v(d) = -d - 7. Let x be v(-7). Suppose n + n - 144 = x. Does 21 divide n?
False
Let j be (-1 - -1) + 3 + 36. Let d = j + -21. Does 9 divide d?
True
Let b be (2 - 6)*3/(-12). Suppose -2*w = -1 - b. Suppose g - 2 - w = 0, -132 = -3*v - 5*g. Is 10 a factor of v?
False
Let u(j) = -j**3 + j**2 + j + 2. Let p be u(0). Suppose 50 = -5*d - k - 30, -p*d = 5*k + 55. Does 10 divide (d/2)/((-6)/16)?
True
Let j(p) = p + 10. Let s be j(-8). Suppose -c = -s*g, -g + 3 = -3*c - 2. Is 8 a factor of 0/(-5) + (-16)/g?
True
Let q(m) = -m**3 - 6*m**2 + 4*m + 3. Let z = 0 - 7. Let t be q(z). Suppose 3*n - a - 16 = 0, -2*n + 3*a + t = 5*a. Is n a multiple of 3?
False
Suppose 0*t - 5*t = -5. Let h be (-2)/(-8) - 27/12. Is 6 a factor of (t - 0)/(h/(-14))?
False
Suppose -3*v - 2*i = v - 22, 5*v - i = 24. Suppose -z + 12 = -5*c + 31, 2*z = 5*c - 18. Suppose -c*a + v*m - 11 = -127, -a + 4*m + 40 = 0. Does 12 divide a?
True
Does 12 divide (-8)/(-24) + (-107)/(-3)?
True
Let i(u) = -u**3 - 2*u**2. Let c be i(-4). Let z = c - 12. Is 10 a factor of z?
True
Is 6 a factor of (-86)/(-7) + 14/(-49)?
True
Let l(r) = 2*r. Let y(a) = -a + 2. Let m be y(0). Suppose -4*b - 3*h = -15, 3*b - b + m*h - 6 = 0. Is l(b) a multiple of 6?
True
Let l(w) = w**2 + 8*w - 13. Does 10 divide l(-11)?
True
Let t be (-7)/(-35) - (-48)/10. Suppose -t*i = 2*d - 18 - 16, -i + d + 11 = 0. Is i a multiple of 8?
True
Let p(f) = -26*f - 16. Is p(-4) a multiple of 22?
True
Suppose 3*o - o + 10 = 0. Let z = -2 - o. Is z even?
False
Let l = -3 - -5. Let y be -17 - (-4 + l + 1). Is 3 a factor of (y/(-10))/((-1)/(-5))?
False
Suppose 45 = k + 5*w, 2*k - 111 = -3*w - 0*w. Does 20 divide k?
True
Let h = -7 - -12. Suppose 0 = 3*n, -n - 36 = -h*g - 11. Is 5 a factor of g?
True
Let z(h) = -h**2 + 13*h + 4. Suppose 2*k = -5*f + 10, -50 = -4*k - f + 6*f. Is 17 a factor of z(k)?
True
Let d(i) = 4*i + 4. Let z be d(-5). Does 7 divide 7/2*z/(-4)?
True
Suppose -6*q = -7*q + 28. Is q a multiple of 28?
True
Suppose -w - 2 = -2*x + x, 5*x - 60 = -5*w. Suppose x*s = 3*s + 192. Is 14 a factor of s?
False
Let c(g) = -2*g + 1. Let f be c(-4). Let u = f + -6. Suppose -5*o + 5*h = -165, -4*o + 5*o - u*h - 29 = 0. Is 13 a factor of o?
False
Suppose -39 + 9 = -t. Is t a multiple of 10?
True
Let q(w) = -w**3 - 7*w**2 + 2*w - 8. Is q(-8) a multiple of 14?
False
Suppose 1 = 3*v - 2. Is 6 - (0 + -3) - v a multiple of 8?
True
Suppose 199 + 137 = 6*d. Is 3 a factor of d?
False
Suppose -4*i + 20 = -5*u, -3*i + 17 - 2 = 3*u. Let p be -2 - (u - (118 + 1)). Does 13 divide (2/6)/(3/p)?
True
Suppose t = 59 + 13. Is t a multiple of 11?
False
Let t(x) be the second derivative of 13*x**3/6 + x**2/2 + 5*x. Let m be (-1)/(-1) + 0 + 0. Is t(m) a multiple of 14?
True
Suppose -5*t = 4*k - 15, -t + 0*t - 4*k = -19. Is 9/(-4 - t) - -10 a multiple of 3?
False
Suppose 5*r - 2*j = 16, -r - 13 = -6*r + j. Suppose -3*q = -4*q + 2. Is 6 a factor of q/r*(-2 - -19)?
False
Let b be (318/4)/(6/8). Is 5 a factor of (-10)/40 - b/(-8)?
False
Let r be (5/(-4))/((-2)/8). Suppose -152 = -7*x + 898. Suppose 5*c + 5*v - x = 0, -4*c = r*v - 114 - 8. Is c a multiple of 14?
True
Let w be (-1)/((-15)/(-6) - 2). Let q be (w + -30 + 1)*1. Let z = 51 + q. Does 20 divide z?
True
Let p be (5 + -4)*(-102)/2. Let k = 33 + p. Let q = -5 - k. Is 13 a factor of q?
True
Let r = -22 + 40. Is r a multiple of 11?
False
Is 6 a factor of 8/(-36) - (1 + 681/(-27))?
True
Let d(w) = -w**2 + 0 + 4*w**2 + 5*w - 1. Is d(-4) a multiple of 11?
False
Let f(d) = 3*d**2 + 5. Let o(h) = -5*h**2 + h**3 + 2 - 1 - h - 2 + 2*h. Let y be o(5). Does 14 divide f(y)?
False
Let r = 10 + -8. Suppose 3*l = -2*o + 78, -l - 5*o = r*l - 78. Is 11 a factor of l?
False
Is (46/6)/((-1)/(-3)) a multiple of 23?
True
Let t(q) = -q**2 + 7*q - 3. Suppose 0 = m - 4, -4*m - 2 = 2*f - 5*f. Let s be t(f). Let p(k) = 2*k**2 + 2*k + 3. Is p(s) a multiple of 9?
True
Let s = 9 - -9. Is s a multiple of 18?
True
Let j(w) = w**2 - 4*w + 1. Let i be j(5). Suppose 2*c - i = 4. Suppose -m - z + c = -1, 5*m + 4*z = 28. Does 2 divide m?
True
Is (-174)/(-21) - (-6)/(-21) a multiple of 4?
True
Let y be (-6 - -5)*-9*1. Suppose 0 = t - 5 - y. Is 14 a factor of t?
True
Suppose -4*i - 14 = -2*i. Let p = i - -11. Suppose -5*d = -p*d - 4. Is 3 a factor of d?
False
Let t(u) = -u + 10. Let y be t(8). Suppose -2*c + 30 = y. Is c a multiple of 6?
False
Suppose -3*d = 4*a + 18, 2*a + 15 = -4*d - 9. Is (1 + 1)*(-111)/d a multiple of 13?
False
Let g = 79 + -51. Suppose 4*k = g + 4. Does 3 divide k?
False
Suppose 5*m = 3*h - 17, -2*m - 3*m + 46 = 4*h. Let t(q) = 3*q + 8. Is t(h) a multiple of 7?
True
Suppose -n - f + 4 = 2*f, n + 5*f - 4 = 0. Suppose -9 = n*y - 7*y. Suppose -4*o - 3*p = -109, 0 = 4*o - y*p + 4*p - 119. Does