 22. Does 8 divide 3*a - (4 + -9)?
True
Let z(u) = -3*u**2 + 5. Let y(s) = -1. Let w(k) = -5*y(k) - z(k). Is 6 a factor of w(-2)?
True
Suppose 3*d = -2*d - 35. Let b = d - -13. Let g = b - -4. Is g a multiple of 5?
True
Suppose 44 + 271 = r. Is 45 a factor of r?
True
Suppose -3*p + 3*r + 210 = 0, 215 = 5*p - 2*p - 2*r. Does 11 divide p?
False
Does 4 divide 18 - (2 + -3 + -1)?
True
Let c be 5*2*(-1 - -2). Let u be (-4)/c - 6/(-15). Suppose 5*f - 65 + 0 = u. Is f a multiple of 13?
True
Let v(b) = -2*b**2 + 2*b - 1. Let o be v(5). Let n = o + 69. Is 21 a factor of n?
False
Let c(d) = -d**2 - 2*d + 4. Let q be c(-4). Let w(x) = -x**3 + 3*x - 4. Let p be w(3). Is 4 a factor of (p/q + -2)*2?
False
Let c = -2 + 12. Suppose 3*j - c = -2*j. Suppose 32 = j*y + x - 5*x, 5*y - 47 = -x. Is y a multiple of 5?
True
Let x = 5 + 0. Suppose -4*u - 3*f = -x*u + 6, u + 5*f = -2. Is 3 a factor of u?
True
Is 8 a factor of 99/(-2)*14/(-21)?
False
Does 13 divide (36 - -2 - (4 - 5)) + -2?
False
Let k be (4/(-7))/((-5)/35). Is (3/5)/(k/340) a multiple of 16?
False
Let c(n) = n**2 + 5*n - 15. Let z be c(-8). Is 4 a factor of 3*4/(12/z)?
False
Let z be -2*(1 - -1)/2. Let t be 1 + 0 - z/2. Suppose t*d - 21 - 1 = 0. Is 7 a factor of d?
False
Let h(u) = -4*u - 1. Let q be h(2). Is 19 a factor of 400/18 + 2/q?
False
Let g be (-27)/(-24)*2*32. Suppose 3*m = 4*j + 54, 4*j = 5*m - m - g. Does 18 divide m?
True
Let p = 8 - 22. Let j(a) = -8*a + 4. Let w be j(3). Let o = p - w. Is o a multiple of 3?
True
Let s(c) = -7*c**3 - 2*c**2 - 4*c. Is 10 a factor of s(-2)?
False
Suppose -2 + 12 = 2*s. Suppose 0 = 4*p - 3*p + 4*y - 20, 0 = -s*p - 4*y + 148. Does 14 divide p?
False
Let w be (6/5)/(3/20). Suppose 5*n + w = 3*n. Does 9 divide 640/35 + n/14?
True
Suppose -v - 3*t + 6 = 0, 3*t - 11 = 3*v + 31. Let j = 24 + v. Is 10 a factor of j?
False
Suppose 3*b - 280 = -2*b. Does 14 divide b?
True
Let t = -87 + 153. Is t a multiple of 13?
False
Suppose 0*p - 27 = -3*p. Let w(t) = t**2 - 7*t + 9. Let q be w(6). Suppose 2*b = q*a + p, b + 2*a + 5 = 2*b. Is b a multiple of 3?
True
Let a be 1 - 0 - 49/1. Let l be (2 - -1) + a/8. Does 4 divide ((-7)/l)/(1/3)?
False
Let d = 13 + -13. Let r be -1 + (0 - -1) + 9. Suppose 2*z + 2*u + 2*u - 26 = 0, d = -z - 3*u + r. Is 15 a factor of z?
False
Let o(d) = 11*d + 2. Let i be o(4). Suppose -2*b - i = -3*b. Let q = 70 - b. Is 12 a factor of q?
True
Suppose -2*y - 188 = -6*y. Is 23 a factor of y?
False
Let w = -4 + 34. Is -3*3*w/(-27) a multiple of 4?
False
Let f(i) = -i + 23. Does 7 divide f(-10)?
False
Let z be (-2)/(-6) + (-8)/(-3). Let b be z/(-2)*(-8)/(-12). Is (-9 - b)/((-6)/15) a multiple of 15?
False
Let q(g) be the second derivative of g**3/6 + 7*g**2 - 2*g. Is q(-6) a multiple of 5?
False
Suppose -5*y + 26 = 5*n - 7*y, 3*n - y = 15. Let x(b) = b - 1. Let l be x(n). Suppose k - d = -2*k + 33, -l*k - 4*d + 18 = 0. Is 5 a factor of k?
True
Does 12 divide -15*(-1 + (-16)/20) + -3?
True
Let l = 4 + -7. Let v(r) = -9*r**3 + 21*r**2 + 2*r + 5. Let n(c) = 5*c**3 - 11*c**2 - c - 3. Let i(d) = 11*n(d) + 6*v(d). Does 12 divide i(l)?
True
Let k = -34 - -47. Let j = k + -7. Is j a multiple of 4?
False
Let p(o) = 11*o - 4*o**3 + 0*o**3 - 5 - 11*o**2 + 5*o**3. Is p(10) a multiple of 5?
True
Let g(s) = -16*s + 5. Let q be g(-5). Suppose 5*u = x + q, 2*u + 2*x - 3*x - 31 = 0. Is u a multiple of 9?
True
Suppose -c = 3*c - 68. Suppose -4*b + c + 31 = 0. Let a = 22 - b. Is 6 a factor of a?
False
Is -26*((-12)/(-8))/(-3) a multiple of 4?
False
Suppose 0 = -m - 3, -s + 228 = -6*m + 7*m. Is 28 a factor of s?
False
Suppose 4*f - 11 = 13. Let w(j) = j**2 - j + f + j. Is w(0) a multiple of 6?
True
Suppose -4*y + i = -648, 0*i = y - 5*i - 181. Suppose -2*r + y = v + 4*v, -3*v = 3*r - 102. Suppose -3*a + l - 5*l = -v, 5*l = -10. Is 13 a factor of a?
True
Let g = -89 - -147. Does 18 divide g?
False
Let w be ((-22)/(-4))/((-2)/4). Let g = w - -5. Let u(r) = -r - 4. Is 2 a factor of u(g)?
True
Let h be (-27)/6*16/(-3). Suppose 3*x = -h + 75. Is x a multiple of 7?
False
Let d be ((-5)/(-10))/(2/(-8)). Let x(y) = 6*y**3 + 2*y**2 + y. Let l(m) = -m - 1. Let w(t) = -3*l(t) - x(t). Is w(d) a multiple of 14?
False
Let u = -7 + 12. Suppose -11 = -u*p + 134. Suppose 2*i = -p + 83. Is 7 a factor of i?
False
Let s = -257 + 369. Suppose -4*p = 4*b - s, -4*b + 77 = 5*p - 35. Is 15 a factor of b?
False
Let u(y) = y**2 + 4*y - 2. Let z be u(-5). Suppose i + z*o = -13, -4*i - 3*o + 3 = 10. Is i even?
True
Let j = -4 + 10. Let f = 4 + j. Is f a multiple of 5?
True
Let h(o) = 9*o**2 + 9. Is 44 a factor of h(-5)?
False
Let o = 14 + 1. Suppose 15 = b - 2*n, 3*b + 5*n - o = n. Is b a multiple of 9?
True
Let m = -4 + 4. Suppose -4*w + 5*g + 93 = -m*w, 110 = 5*w - 5*g. Is w a multiple of 17?
True
Let m(y) = 6*y**2 + 4*y - 1. Let p(t) = -6*t**2 - 3*t + 1. Let h(v) = -2*m(v) - 3*p(v). Does 7 divide h(-2)?
True
Let i(g) be the second derivative of g**8/960 - g**7/840 + g**5/60 + g**4/6 - 2*g. Let d(y) be the third derivative of i(y). Is 23 a factor of d(2)?
True
Let i(g) = g**2 + 10*g + 11. Let y be i(-8). Let h(z) = -z + 6. Is 11 a factor of h(y)?
True
Suppose 2*x - 76 = 3*r - r, -2*r = -4*x + 152. Let f(j) = j**2 - 12*j + 10. Let i be f(9). Let n = x + i. Is n a multiple of 9?
False
Suppose -2*o = -0*o - 40. Let n = 7 - 3. Suppose o = n*h + h. Is h a multiple of 3?
False
Let d(j) = -7*j - 20. Is d(-8) a multiple of 12?
True
Suppose 0 = 2*i - 5*p - 112, 0*i - 4*i + 4*p = -248. Suppose -3*w = -6*w + i. Is 11 a factor of w?
True
Let g be 1 - (4/(-4) + -2). Let m = g - -1. Is 5 a factor of m?
True
Suppose 146 = 3*k + 4*w, 0 = k - 5*w - 78 + 23. Is 10 a factor of k?
True
Suppose -b + 2*z - 426 = -5*b, -5*b = 4*z - 537. Suppose -r - 3*r = 5*s - 105, 5*r + s = b. Is r a multiple of 5?
True
Let u(a) = 2*a**2 + 9*a + 11. Is 19 a factor of u(9)?
False
Let n(g) = -4*g - 6. Let r(b) = 2*b - 7. Let x be r(6). Suppose 3*f - x*f = 10. Is n(f) a multiple of 7?
True
Let c(p) = 2*p**2 + 2*p + 1. Let q be c(-3). Let w(k) = 2*k - 15. Is w(q) a multiple of 11?
True
Suppose 2*l + z = 125 + 28, -l - 5*z = -90. Is 15 a factor of l?
True
Suppose u - 4*l - 24 = 0, -2*u + 3*l + 52 = 3*u. Suppose -r = r - u. Suppose -9*d + 185 = -r*d. Does 14 divide d?
False
Suppose 4*p = 6*p - 114. Let h = -32 + p. Does 10 divide h?
False
Suppose -8*v = -16*v + 840. Is v a multiple of 15?
True
Let x = 98 + -28. Is 28 a factor of x?
False
Let x = 5 + -2. Suppose 0 = -x*q + q + 26. Is q a multiple of 6?
False
Let x = 94 + -79. Is 15 a factor of x?
True
Suppose 4*i = -2*h + 3*i - 99, 2*h - 5*i = -117. Let w = 100 + h. Is w a multiple of 19?
False
Suppose -g = 3*l - 23, 2*g = -4*l - 0 + 36. Suppose b = g + 28. Is b a multiple of 12?
True
Let o = 20 - -15. Suppose -4*b + 21 + o = 0. Does 7 divide b?
True
Let h(t) = 2*t**2 + 6*t - 7. Let o be h(-5). Let w = o - 6. Is w even?
False
Let i be (-3)/(-9) - 1546/(-6). Suppose n = 2*x + 121, 4*x + 5 = -5*n - i. Is 16 a factor of x/(-4) - 4/(-8)?
True
Let s(y) = 3*y**2 - 8*y + 8. Does 13 divide s(5)?
False
Suppose -5*n = 36 - 1. Let l = n + 12. Does 6 divide (0 - 3) + 4*l?
False
Let k be (-28)/6*18/(-12). Suppose -2*i + k + 3 = 0, -4*g + 4*i = -96. Suppose 2*m + g = 107. Does 22 divide m?
False
Let u(n) = 4*n**3 + 8*n**2 - 10*n - 6. Let d(l) = -3*l**3 - 8*l**2 + 10*l + 5. Let q(t) = 5*d(t) + 4*u(t). Is q(7) a multiple of 11?
True
Let b be -5 - -4 - (-6 - 0). Suppose -a - 5*s = -11, 0 = -5*a + s + 4*s - b. Let p(j) = 15*j. Is 7 a factor of p(a)?
False
Let x = 67 - 143. Let d = 116 + x. Let s = 98 - d. Does 20 divide s?
False
Let z = 1 + 2. Suppose 0 = -2*p - 6, 6*u = z*u + p + 135. Is u a multiple of 22?
True
Suppose 409 = 5*j - 3*h - 52, -100 = -j - 2*h. Is 6 a factor of j?
False
Suppose 2*i - 132 = 4*a, -2*a - 372 = -5*i - 6*a. Does 34 divide i?
False
Suppose 0 = -5*a - 0*a. Suppose 3*q = 5*u + 55, a = 4*u - 1 - 15. Is q a multiple of 7?
False
Suppose 4*p + 4*k - 6 = 6*p, -16 = -4*k. Does 15 divide (-226)/(-5) + p/(-25)?
True
Suppose 0 = -4*g - 20, -2*g = -2*x + 4*x - 116. Is 21 a factor of x?
True
Let y(d) = d**3 - d**2 - d. Suppose -g = -4*g. Let b be y(g). Suppose b = -k - 0*k + 5. Is k a multiple of 5?
True
Let d(i) = 13*i + 1. Is 35 a factor of d(8)?
True
Suppose 5 = j - 20. Does 7 divide j?
False