 0 = -z - 9 - 7. Let v = -8 - z. Is v a multiple of 4?
True
Let t = -30 + 85. Does 23 divide t?
False
Let z be 4 + -2 - -2 - 2. Suppose z*c = -c. Suppose c = 2*s - 4*p - 28, 5*p - 3*p = -4*s + 16. Is s a multiple of 3?
True
Let c(p) = p**2. Let i = -3 + 6. Is 3 a factor of c(i)?
True
Let w be ((-18)/(-4))/((-21)/140). Let n = 51 + w. Does 5 divide n?
False
Suppose 5*n - 29 = -4. Let k = n + -2. Does 3 divide k?
True
Let p = -31 + 307. Suppose 5*g = -26 + p. Is g a multiple of 25?
True
Suppose -5*f - 6*q = -q - 40, 0 = f - 4*q + 17. Suppose 4*x = -v - 13, 18 = -2*v + 4*v - f*x. Suppose 53 = v*b + 11. Is b a multiple of 11?
False
Let f(x) = -4*x - 7. Does 17 divide f(-12)?
False
Let n be 4/(-10) + 1344/(-15). Let o(u) = -u**3 - 5*u**2 + 2*u + 2. Let i be o(-5). Is 2/(-8) + n/i a multiple of 5?
False
Suppose 11*g - 2191 + 112 = 0. Is g a multiple of 27?
True
Let s be (8/6)/((-12)/(-90)). Let p be s/(-25) - 52/(-5). Suppose p = l + l. Does 2 divide l?
False
Let j(a) = a**2 + 1. Let z(h) = 4*h**2 - 2*h + 3. Let b(w) = 5*j(w) - z(w). Let m be ((-6)/(-2))/(-10 + 9). Is 2 a factor of b(m)?
False
Let z(j) = -4*j - 3*j + 20*j**2 + j**2 + 6*j. Is 10 a factor of z(1)?
True
Suppose a = -4*s + 11 - 0, -a = s - 14. Is a a multiple of 3?
True
Suppose 2 + 4 = 3*y. Let n be 3/((-6)/(-8)) - y. Suppose -5*m + n*w + 28 + 90 = 0, 6 = m + 4*w. Does 11 divide m?
True
Suppose 0 = -3*v - 0 - 3. Let w be 0*(v + 0)*1. Let b(n) = -n + 32. Does 16 divide b(w)?
True
Suppose s = -0*s - 33. Let c = s + 55. Is 0/2 + (c - 5) a multiple of 14?
False
Let k be -2 + (3/1)/(-3). Let l = -1 - k. Is l even?
True
Let b(c) = c**2 + 4*c - 7. Let r be b(6). Let m = r - 37. Does 10 divide m?
False
Let p(u) = -u**3 + 3*u**2 + 7*u - 6. Let v be p(4). Let n be 0/(4/v*-3). Suppose -2 = 2*f, y + 3*f - 12 = -n. Is 15 a factor of y?
True
Let q(a) = 3*a + 14. Let f be 93/9 - 1/3. Does 11 divide q(f)?
True
Let h(q) = 2*q - 4. Is h(5) a multiple of 6?
True
Let o = 35 + -74. Let p = -5 - o. Is p a multiple of 17?
True
Let f = 12 - 7. Let q = 8 - f. Suppose -t + 76 = q*t. Does 13 divide t?
False
Let g = 4 - 3. Suppose -i + 9 + g = 0. Is 5 a factor of i?
True
Let g be (-7 - -3)/((-2)/(-6)). Suppose f + 140 = 6*f. Let q = f + g. Is 9 a factor of q?
False
Suppose 2*g + 2*w = -g + 131, 61 = g + 5*w. Does 26 divide g?
False
Let w(t) = 0*t - 2*t - 7*t + 2 - t. Is w(-3) a multiple of 15?
False
Suppose 0 - 2 = -n. Let k(c) = -n + 4 + 3*c - 6. Does 17 divide k(7)?
True
Suppose -2*x + 4*x = -12. Let o(g) be the second derivative of g**5/20 + g**4/2 + g**3/6 + 4*g**2 + 2*g. Does 2 divide o(x)?
True
Let x(m) = -18*m**3 + 4*m - 1. Is x(-2) a multiple of 5?
True
Let q(d) = -d**3 - 5*d**2 + 4*d - 7. Let b be q(-6). Suppose -4 = 2*w + 2*i, 0*w - 5*w + b*i = 0. Does 14 divide w/(-5) - 69/(-5)?
True
Let r be ((-1176)/40)/((-1)/5). Suppose m - r = -2*m. Is 26 a factor of m?
False
Suppose 5*a - h - 158 = 0, 2*h - 164 = -8*a + 3*a. Does 8 divide a?
True
Let j = 2 - -2. Does 2 divide j?
True
Let g(x) = 37*x - 3. Let q(o) = -o**3 + 2*o**2 + 5*o - 3. Let r be q(3). Is g(r) a multiple of 24?
False
Let f be 6/(-4)*(0 + -2). Suppose -5*w + 18 = 4*t, 2*t = -0*w + f*w + 20. Does 6 divide t?
False
Let c(l) = l - 2. Suppose q = -q + 6. Let k be c(q). Does 2 divide k - (-1 + -1 + 1)?
True
Let f be (0 + 1)/((-2)/(-22)). Suppose 4*n = -2*u + 40, 5*u - f = -n + 17. Suppose s - 3 = n. Does 8 divide s?
False
Let p(j) = 2*j**2 - 4*j. Let d = -1 - 2. Does 15 divide p(d)?
True
Suppose 40 = -69*a + 71*a. Is 20 a factor of a?
True
Suppose 0 = 5*r + 15, -3*v + r + 15 = -0*v. Suppose -4*o = c - 67, 0 = -5*c - v*o + 279 - 8. Does 17 divide c?
True
Let w = -6 + -4. Let s(a) = -a**3 - 10*a**2 - 7*a - 7. Is 29 a factor of s(w)?
False
Suppose 0 = 3*b - x + 2*x + 4, -4*b - 1 = -3*x. Let r = b + 1. Suppose 5*p + 51 = 4*l, -2*l + r*p = 2*p - 48. Is l a multiple of 10?
False
Let r(n) = -n - 2. Does 8 divide r(-14)?
False
Suppose -h - i - 10 = -3*h, -3*h = -2*i - 15. Suppose 3*s = -b - 2, h*b - 3*s - 9 = 17. Let a(o) = 3*o - 6. Does 6 divide a(b)?
True
Let k(p) = -p**2 + 2*p + 21. Does 5 divide k(0)?
False
Let j = 155 - 237. Let b be j/4 + (-3)/(-6). Let y = b - -37. Is y a multiple of 6?
False
Let w(u) = u**2 + u + 1. Let k be w(-2). Suppose 0*n - 152 = -4*n - 3*o, -k*n = -3*o - 93. Is 13 a factor of n?
False
Suppose -h = -2*p - 3*p + 456, 3*p + 5*h - 268 = 0. Is p a multiple of 24?
False
Let c(h) = -h + 6. Let n be c(3). Is (-1 + 2)/(n/87) a multiple of 5?
False
Suppose -6*b + b = 0. Let z(j) = -j + 72. Is 12 a factor of z(b)?
True
Suppose 68 = 9*q - 8*q. Is 22 a factor of q?
False
Let c(p) = 45*p**2 - 2*p - 2. Is 44 a factor of c(2)?
False
Let r = 205 + 35. Is 15 a factor of r?
True
Does 7 divide (-96)/(-7) - (-2)/7?
True
Let l(k) = 3*k**2 - 2*k - 3. Let m be l(-3). Suppose -4*b + 94 = m. Is b a multiple of 8?
True
Let p be (-5)/(-5) - (-1 + 2). Suppose -4*c + 307 = -5*t, -6*t + t + 25 = p. Is c a multiple of 14?
False
Suppose 213 + 85 = 2*p. Let d = 218 - p. Does 23 divide d?
True
Let p(l) = -9*l + 11. Let z(s) = 3*s - 4. Let m(r) = 6*p(r) + 17*z(r). Is m(-7) a multiple of 19?
True
Let u = 2 + 2. Suppose -u*r + 1 = -3*r. Is 12 a factor of 12/(-9)*(r - 19)?
True
Does 3 divide -15*((-155)/25 - -1 - -4)?
True
Let s be 4/(-6)*36/(-8). Suppose -5 = -o - s*w, -w = o + 3*w. Is 8 a factor of o?
False
Let p(z) = 3*z**3 - 7*z**2 - 8*z - 12. Suppose -3*w + 24 = -0*w. Let x(f) = f**3 - 2*f**2 - 3*f - 4. Let j(h) = w*x(h) - 3*p(h). Is j(4) a multiple of 10?
True
Let u(f) = f**3 + 7*f**2 - 2*f - 3. Let v be u(-6). Let g = 65 - v. Does 7 divide g?
False
Let w(l) = l**2 + 4*l + 3. Let o be w(-3). Suppose 13*n - 8*n - 170 = o. Is n a multiple of 17?
True
Suppose -118 = -0*s + 2*s. Suppose -5*z - 2 = -3*z. Does 9 divide s/(-5) + z/(-5)?
False
Let b(k) = 51*k - 81. Is 27 a factor of b(10)?
False
Let d(w) be the second derivative of 2*w**3/3 - 5*w**2/2 - w. Is 16 a factor of d(7)?
False
Let d = 25 + 25. Is 10 a factor of d?
True
Let i = -4 - -5. Let x(k) = k**3. Let v be x(i). Does 13 divide (2 - 5) + v - -15?
True
Let p = 65 - 56. Is p even?
False
Let f = -2 - -7. Suppose f*n - 4*y = 41, 0*n + 4*y = 4*n - 32. Is 3 a factor of n?
True
Let h = -28 + 67. Let b = -27 + h. Is 6 a factor of b?
True
Let s(h) = -h**3 - 5*h**2 + 8*h - 9. Let z be (2 - 8 - 0) + -1. Is s(z) a multiple of 6?
False
Let z(i) = 11*i + 12. Let c be z(7). Suppose 5*o - 91 - c = 0. Is 9 a factor of o?
True
Suppose 68 = -0*h + 4*h. Is 15 a factor of h?
False
Let i(c) = c**2 + 2*c - 8. Is i(4) a multiple of 7?
False
Let b(z) = z - 6 + 2*z**2 + 0 - z**2. Does 7 divide b(-5)?
True
Suppose h + h - 32 = 0. Let s = h + -11. Suppose 0 = -3*k - s*q + 97, -2*k + 38 = -0*k - 2*q. Is 13 a factor of k?
False
Let d(a) = 3*a - 59. Let t(y) = 4*y - 89. Let b(u) = 7*d(u) - 5*t(u). Let m be b(0). Is m/6 - (-6)/9 a multiple of 3?
True
Is (94 + -1)/3 + -3 a multiple of 14?
True
Let i(u) = u**2 - 7*u + 3. Let g be i(7). Suppose 5*a = -j + g, a - j = 4*a - 3. Does 9 divide a*(-1)/(-2) - -9?
True
Let x(c) = 18*c + 1. Is x(1) a multiple of 14?
False
Let i(j) be the second derivative of j**4/12 - 4*j**3/3 - 5*j**2/2 - j. Let y be i(9). Suppose y*s = -14 + 150. Is s a multiple of 17?
True
Suppose -d + 3*d = 0. Suppose d = 3*u + 2*u. Suppose -2*j = -3*g - j + 52, u = g - 4*j - 32. Does 13 divide g?
False
Let s(y) = -8*y + 2. Is 18 a factor of s(-11)?
True
Suppose -7*y + 266 + 966 = 0. Is y a multiple of 15?
False
Let v(x) = 2*x**2 + 4*x + 6. Let a = -12 + 7. Let d be v(a). Suppose b + 0*b = d. Is b a multiple of 18?
True
Let g(u) = -13*u - 10. Is 7 a factor of g(-4)?
True
Suppose 2*h - 605 = -65. Does 45 divide h?
True
Let j(i) = -5*i - 12. Is 11 a factor of j(-9)?
True
Suppose -2*t + 4*k + 494 = 0, 0 = -2*t - 4*k + k + 515. Is 43 a factor of t?
False
Let a = 11 + 6. Is a a multiple of 17?
True
Let x be ((-6)/(-15))/(3/45). Suppose -3*u = -x - 54. Is 7 a factor of u?
False
Suppose 5*q - 35 = 5*k - 0*k, -3*q + 2*k + 17 = 0. Suppose j - 5 = q. Is j a multiple of 8?
True
Let u = -20 + 35. Suppose 0 = -8*l + 3*l + u. Suppose -g + l*g - 8 = 0. Is 2 a factor of g?
True
Suppose -2*u = -4*m + 64, -3*m - 3*u + 41 = -8*u. Is m a multiple of 5?
False
Let o(y) = -y**3 - 7*y**2 + 9*y + 11. Let p be o(-8). Suppose 2*i = 2*z - p*i + 25, 0 