- q. Is w a multiple of 12?
True
Let v(x) = -x**3 + 5*x**2 - 5*x + 2. Let j be v(3). Suppose -j*t = 2*h - t - 34, 3*h - 46 = -5*t. Does 6 divide h?
False
Let b(z) = -z**3 - 2*z**2 - 2*z - 5. Is b(-4) a multiple of 6?
False
Let q be 35/7*3/5. Suppose 0 = q*w + 1 - 4. Let z(v) = 13*v**2 + v. Does 9 divide z(w)?
False
Suppose -5*m + 0*s + s + 8 = 0, -3*m = -2*s - 2. Suppose 0*f + 2*k - 44 = -m*f, -2*f = k - 48. Is 10 a factor of f?
False
Let c = 2 - -1. Suppose 3*l - c*s = 63, 3*l - s + 5*s - 70 = 0. Suppose -2*p + l = -0. Does 3 divide p?
False
Suppose 5 + 33 = -2*l. Suppose 2*y + y + 84 = 0. Let o = l - y. Is o a multiple of 9?
True
Let z = 8 - 3. Suppose j = -2*f - 2*f + 4, -f - 20 = -z*j. Suppose j*t + 2*a = 16, t + 3*a - 13 = -2*a. Is 2 a factor of t?
False
Let m = 3 + -3. Suppose m = -2*l + 2, 3*f - 143 = -f + 5*l. Suppose 4*v - f = 27. Does 13 divide v?
False
Let x(f) = -2*f**3 - 8*f**2 - 7*f - 5. Is 10 a factor of x(-5)?
True
Suppose 8*o - 3*o + q = 210, -3*q = 4*o - 179. Does 18 divide o?
False
Let b be (-406)/(-7) - (0 + -1). Suppose -a = -4*c + 39 + 30, -b = -4*c - a. Is 8 a factor of c?
True
Suppose g = 2*g - 20. Is 5 a factor of g?
True
Let g(s) = 3*s - 21. Is g(13) a multiple of 6?
True
Let i(g) = 7*g + 8. Let m be i(-8). Let y = m + 72. Is 8 a factor of y?
True
Let s(d) = 10*d + 2. Suppose -p = w - 6*w - 16, 0 = w + 2*p + 1. Let t be s(w). Is 12 a factor of 0 + 0 - -2 - t?
False
Let h(v) = v**3 - 5*v**2 + 5*v - 5. Let m be h(4). Let c = 4 - 24. Is m/(-2)*4 - c a multiple of 9?
False
Let n = 83 + -43. Does 8 divide n?
True
Suppose -2*v - t - 1 = 1, -25 = -5*v + 5*t. Let m be 170/4*2 - v. Suppose -4*a + m = -4*r, -8*a + 57 = -5*a + 3*r. Is 13 a factor of a?
False
Let h(d) be the first derivative of -d**2/2 - d - 3. Let p be h(-2). Is 1 - 0/p - -30 a multiple of 27?
False
Is 9 a factor of -2*(-90)/24*66/5?
True
Suppose -5*t = -t + 20. Let j(x) = -11*x + 7. Is 31 a factor of j(t)?
True
Suppose -88 = -0*c - 4*c. Let w be c/((-1)/(-3) - 0). Suppose -w = g - 4*g. Is g a multiple of 11?
True
Suppose -3*o + 0*o = -6. Let p be o/(-4) + 60/8. Let c(t) = t + 3. Does 9 divide c(p)?
False
Let x(j) = -j**2 + 12*j - 1. Let r be x(9). Suppose r*a = 23*a + 78. Does 13 divide a?
True
Let l(p) = -24*p - 77. Is l(-7) a multiple of 13?
True
Let j be (-49)/(1 + -4 + 2). Let s = j - 94. Let b = s - -65. Is 20 a factor of b?
True
Suppose -2 = 5*y + 8. Let p(v) = 4*v**2 - v. Is p(y) a multiple of 6?
True
Does 18 divide (945/6)/(-7)*-4?
True
Let t(v) = -v**2 - 3*v - 3. Let o be t(3). Let l = -6 - o. Suppose -4*i = -7*i + l. Is 2 a factor of i?
False
Let b(c) be the second derivative of -c**6/360 - 7*c**5/120 - c**4/24 - c**3/3 + c. Let w(u) be the second derivative of b(u). Is w(-4) a multiple of 11?
True
Suppose -3*y - 5*k = -438 - 166, 620 = 3*y + k. Suppose -4*z + 232 = 4*p, 5*p = -4*z + 27 + y. Let m = z - 25. Is 13 a factor of m?
False
Let q = 58 - 28. Is q a multiple of 30?
True
Suppose 0 = 5*v - 75 - 25. Is 15 a factor of v?
False
Let z = 121 - 69. Suppose -4*p = 5*x - 217 - 202, -p = 3*x - 250. Let m = x - z. Is 15 a factor of m?
False
Suppose 0 = -4*b - 5*y + 165, 203 = 5*b + 2*y + y. Does 3 divide b?
False
Let l(g) = g**3 + 10*g**2 + 6*g - 13. Is l(-9) a multiple of 6?
False
Let j be (-4)/(-10) + 6/10. Suppose i = -2 + j. Does 19 divide i/(2/(-94)*1)?
False
Let t(f) = -f - 4. Let r be t(4). Let o(d) = -d**3 - 8*d**2 - 3*d - 1. Is o(r) a multiple of 11?
False
Let a(b) = -b. Let q be a(-2). Suppose q*r + 3*r = 0. Suppose k - 3*n = 2*n + 30, -2*k + 3*n + 25 = r. Is k even?
False
Suppose 4*a = 3*a. Suppose a = 4*g - 16, 2*g = -5*q - g + 32. Is 3 a factor of q?
False
Suppose -4*j + 17 = 5. Suppose f - 9 = 4*o, f = -2*o - 0*o + 15. Suppose 11 = j*c - f. Does 7 divide c?
False
Let u(n) = -6*n**2 + 4*n - 4. Let r be u(4). Let o = r - -152. Is o a multiple of 22?
False
Let t = 4 - 0. Let b be (2 - 3 - 2) + 19. Let j = b - t. Is j a multiple of 6?
True
Let s(o) = -8*o**3 + o**2 + 2*o + 1. Let a be s(-1). Let k = -7 + 12. Suppose -8 = 4*n + a, -k*n = 5*q + 10. Is q a multiple of 2?
True
Suppose -3*k + 1824 = -k. Suppose k = 4*z + 232. Suppose n - z = -4*n. Does 15 divide n?
False
Let y = -107 + 165. Suppose -37 - y = -5*t - 3*h, 0 = t + h - 17. Is t a multiple of 11?
True
Let a(o) = -o**3 - 3*o**2 + 1. Suppose 2 = -0*r - r. Let m be a(r). Let y(q) = q**3 + 3*q**2 - 3*q + 4. Does 11 divide y(m)?
False
Let c = -12 - -40. Is c a multiple of 28?
True
Suppose 0 = -2*x + t + 9 + 84, 0 = -3*x + 3*t + 135. Is 10 a factor of x?
False
Suppose -2*p + 3*n = -3*p, -5*n = 5. Suppose p*h - 87 = -18. Is h a multiple of 19?
False
Is (-26)/(-3 - -1) + -1 a multiple of 5?
False
Suppose -206 = -2*u + 4*d, 4*d - 82 = -u - d. Does 21 divide u?
False
Suppose -16 = -4*g + 40. Is g a multiple of 14?
True
Suppose 0 = 3*q + c - 211, 33 - 102 = -q + c. Is q a multiple of 21?
False
Let f(a) = -a**3 + 8*a**2 + 2*a - 10. Let c be (48/9)/((-2)/(-3)). Is 6 a factor of f(c)?
True
Let t(j) = -j**3 + 13*j**2 - 11*j + 4. Does 8 divide t(12)?
True
Suppose 3*f - 1 = 5. Is f a multiple of 2?
True
Suppose 42 = 4*j - 86. Let r = j + -46. Let y = -10 - r. Is y even?
True
Let b = 4 - 1. Suppose 7 = 2*x - b. Suppose -2*t - x*d + 56 = 0, t + d = -0*t + 22. Is 18 a factor of t?
True
Let s(x) = -1 + 4*x - 2*x + x. Let j = 4 - -2. Does 5 divide s(j)?
False
Is 52 + 3 + -5 + 0 a multiple of 10?
True
Let x(t) be the second derivative of t**4/6 - 2*t**3/3 + 5*t**2/2 + t. Is x(3) a multiple of 11?
True
Let r = 9 + 65. Suppose -r = -j - j. Is 23 a factor of j?
False
Let n be (-4)/18 + (-7)/9. Let g be 22*(3*n)/(-6). Is 11 a factor of g/(2 + (-1)/1)?
True
Suppose -3*t + 11 = -1. Suppose t*u + 0*u = -28. Let o = -2 - u. Is 5 a factor of o?
True
Let l = 45 + -43. Suppose 0 + 3 = -3*t. Is 1/t*(-86)/l a multiple of 25?
False
Suppose 3*h - 8*h = -30. Does 24 divide h/(-18) + (-145)/(-3)?
True
Let t = -5 - -5. Suppose -88 = -t*z - 2*z - h, 4*h + 143 = 3*z. Is 12 a factor of z?
False
Suppose 0 = 5*c - 3*c + 46. Let q = -12 - c. Is q a multiple of 4?
False
Suppose 0 = 5*y - 54 + 19. Does 3 divide y?
False
Suppose -5*f + 4 = 29, 5*i = -f + 30. Suppose -d + 3*j + i = 0, -d = 2*j - j - 3. Is d a multiple of 2?
True
Let z(p) = 5*p**2 - 2. Let m(d) = -14*d**2 - d + 5. Let h(f) = -3*m(f) - 8*z(f). Let o(u) = -2*u + 1. Let y be o(2). Is 10 a factor of h(y)?
True
Let l(f) = -f**3 + 5*f**2 - f - 1. Let c be l(3). Suppose -p = -c - 0. Is 9 a factor of p?
False
Let y(k) = -k**3 - 2*k**2 + 2*k + 4. Is 7 a factor of y(-4)?
True
Suppose 3*c - 172 = 125. Is 20 a factor of c?
False
Suppose 0 = -3*j - 3*a - 2*a + 24, 0 = j - 2*a + 3. Suppose 0 = -j*p + 3*b + 51, -2*b - 2*b = p - 22. Is 10 a factor of p?
False
Let g = -26 + 56. Suppose g = -0*f + 2*f. Suppose a = 4 + f. Does 11 divide a?
False
Let n(a) = a**3 + 7*a**2 - a. Suppose -10 - 11 = 3*l. Is 7 a factor of n(l)?
True
Suppose -5*b = -8*b + 30. Let x = 17 - b. Does 2 divide x?
False
Is 12 a factor of ((-126)/(-12))/((-1)/(-2))?
False
Is 5 a factor of 6/4 - (-186)/12?
False
Suppose 5*k - 4*k - 4 = 0. Does 4 divide k?
True
Let l(j) = j**2 + 7*j + 7. Let m(x) = -6*x**3 - x**2 + 2*x - 1. Let r be m(1). Let d be l(r). Let c(y) = 25*y**3 + 2*y**2 - 2*y + 1. Does 19 divide c(d)?
False
Is 3 a factor of 140/15 - (-1)/(-3)?
True
Suppose x + f + 8 = -f, -5*f + 8 = -x. Is (30 + -2)*(-4)/x a multiple of 14?
True
Let j be 2/(((-4)/3)/2). Does 7 divide (j - (-1 + 0)) + 10?
False
Let u(w) = -3*w**2 - 1. Let o be u(-1). Suppose 19*m = 22*m + 6. Let t = m - o. Does 2 divide t?
True
Let t = 268 + -168. Does 20 divide t?
True
Suppose 2*r - 45 = -3*d - 0*d, 0 = 3*r - 3*d - 90. Is 27 a factor of r?
True
Suppose -15 = -4*v - 7. Suppose -6 = -3*l, 15 = v*g + 5*l - 21. Is 10 a factor of g?
False
Let s be (-5 - -6)/(1/5). Suppose -m - 4 = 0, -s*t + 63 = -4*m - 73. Is 24 a factor of t?
True
Let p(o) = -o**2 - 4*o. Let z be p(-4). Suppose c = 5*c - 4*w + 4, z = 5*w + 5. Does 4 divide (c + (0 - -1))*-4?
True
Let q = -353 - -878. Suppose -3*a - q = -8*a. Does 35 divide a?
True
Let b = 22 - 20. Suppose 0 = -6*r + b*r + 220. Is r a multiple of 11?
True
Let z(u) be the second derivative of u**5/30 - u**4/6 + u**3/6 - 3*u. Let m(a) be the second derivative of z(a). Is m(4) a multiple of 12?
True
Let d(f) = 2*f + 