of 8?
False
Suppose 0 = 183*v - 186*v + 33. Is v a multiple of 4?
False
Suppose -2*p = -3*z + z + 122, 2*z - 4*p = 114. Does 10 divide z?
False
Let o be (3 + -2)*10/(-2). Let x(n) = -4*n + 1. Does 16 divide x(o)?
False
Suppose -11*w + 6*w = -190. Is w a multiple of 18?
False
Suppose 3*k - 152 = k. Suppose k = f + f. Is 19 a factor of f?
True
Let y(b) = 13*b - 4. Let i be y(-3). Suppose -5*a + 2*u - 25 = 0, -4*a = -0*a + 3*u + 43. Let l = a - i. Does 18 divide l?
True
Suppose 2*g - 15 = -3*g. Let l be 0 + 1 - (9 - g). Let o(z) = z**3 + 5*z**2 - z - 2. Is o(l) even?
False
Let p(u) = -10*u - u**3 + 7 + 8*u + 8*u - 5*u**2. Is p(-7) a multiple of 21?
True
Suppose 97 = x + l - 0*l, -3*l = -x + 97. Suppose 4*v - 5*i - 183 - x = 0, 3*i + 12 = 0. Is v a multiple of 27?
False
Let c = 4 - -5. Does 2 divide c?
False
Let a be 3 + -1 + -2 - -27. Suppose 15 = 3*m - a. Let h = -6 + m. Does 4 divide h?
True
Suppose -2*z - 4*r - 28 = -4*z, -r + 114 = 5*z. Is z a multiple of 2?
True
Let t(u) = -9*u - 45. Is t(-16) a multiple of 65?
False
Let w = 7 + -7. Suppose w = 2*d - 0*d - 6. Suppose -56 = -d*x - x. Is x a multiple of 14?
True
Suppose 0*z = -3*z - 12. Let g = 9 + z. Is g a multiple of 3?
False
Let o = 9 - 7. Suppose 5*y - 39 = 2*z, 4*z + 15 = y + o*y. Does 4 divide y?
False
Let i = 38 - 71. Let b = 18 + i. Let k = -9 - b. Does 6 divide k?
True
Suppose 2*f = -3*r + 13, f + 4*r - 28 = -3*f. Suppose -3*o - f = -26. Does 6 divide o?
True
Suppose 0 = -4*w + 4*u - 8, -4*w + 5*u = -0*u + 8. Is 8 a factor of (38/(-3) - w)*-3?
True
Let n be -2 + 2 + (-107)/(-1). Suppose -2*g + g - 3*q + 19 = 0, n = 5*g + 3*q. Is g a multiple of 13?
False
Let p(b) be the second derivative of b**5/20 + 3*b**4/4 + 4*b**3/3 - b**2 - b. Is 20 a factor of p(-7)?
True
Let v(k) = k**3 + 5*k**2 - 4*k + 6. Let s(x) = x**2 - x. Let l(b) = -4*s(b) + v(b). Is l(0) a multiple of 2?
True
Suppose 0 = -8*i + 3*i + 10. Suppose p = -3*q + 17 + 6, -4*p = -i*q + 6. Does 7 divide q?
True
Suppose -3*r - 2*v - 22 = 0, v = 3*r - v + 14. Let a(k) = -7*k - 14. Is 14 a factor of a(r)?
True
Let u(o) = -o**2 + 2*o - 2. Let j be u(3). Let g = j + 12. Is g a multiple of 5?
False
Suppose 5*l = 10*l - 140. Let a = -18 + l. Is a a multiple of 4?
False
Suppose -5*j - y + 4*y + 65 = 0, -j = -4*y + 4. Does 8 divide j?
True
Let m(d) = -17*d + 1. Does 9 divide m(-7)?
False
Let x(w) = -24*w**3 - w**2. Let o(d) = -1. Let r(t) = t - 3. Let c(k) = o(k) - r(k). Let j be c(3). Is 13 a factor of x(j)?
False
Suppose 3*g = -4*j + 732, -g + 1007 = 3*g - 5*j. Is g a multiple of 31?
True
Suppose 0 = -3*p - 3*w + 18 + 9, p = 2*w + 9. Is 2 a factor of p?
False
Suppose 3*w = 41 - 2. Suppose w = f + 5. Is 2 a factor of f?
True
Suppose 81 - 29 = 2*n. Is n a multiple of 9?
False
Let f = -3 + 6. Suppose 0 = -f*c + 4*c + 5. Does 14 divide (-14)/c*(3 + 2)?
True
Suppose -20 = 4*x, -5*x = -4*k - 50 - 57. Let s = k + 47. Let o = 26 - s. Is 12 a factor of o?
True
Let g be (-2 + 3)/(2/10). Suppose -3*q = -g*q. Is 1 + q - (-13 - -1) a multiple of 9?
False
Let n = 45 - -126. Does 10 divide n?
False
Let h(s) = 5*s**2 - 5*s - 1. Does 13 divide h(5)?
False
Suppose -408 = -4*i - 2*n, -2*n - 323 = -2*i - 107. Is 5 a factor of i?
False
Suppose -3*m + 2*m + 3 = 0, -t + 5*m = -3. Suppose -2*v - 4 = -4*v + 5*d, -3*d = 4*v + t. Let x = 1 - v. Does 4 divide x?
True
Let a be 4*1*(-3)/(-12). Is (-144)/(-3*a) - 0 a multiple of 18?
False
Let h(k) = k**2 + 6. Let r be h(0). Let u = -13 - -7. Is 3 a factor of (14/u)/(r/(-18))?
False
Suppose 3*i - 5*o - 110 = 0, 24 + 22 = i - 4*o. Suppose m - i = -v, m - 2*m = 3*v - 94. Suppose -4*g + v + 99 = -3*x, -164 = -5*g + 4*x. Is 11 a factor of g?
False
Let u(l) = 31*l. Is u(2) a multiple of 31?
True
Is ((-1674)/21 + (-4)/14)*-3 a multiple of 28?
False
Let j = 23 - 8. Does 5 divide j?
True
Let b = 62 + -16. Is b a multiple of 23?
True
Let o(q) = q + 4. Let s be o(0). Suppose -5*u = -0*l - 4*l + 75, -2*l - s*u = -44. Does 10 divide l?
True
Suppose q - 3 = 0, 2*s - 115 = -q + 4*q. Suppose 3*l + s = 5*l. Is l a multiple of 19?
False
Let n(v) = v**2 + 4*v - 5. Let o(z) = z - 1. Let s(q) = -n(q) - 2*o(q). Let m be s(-5). Let i = -2 + m. Does 6 divide i?
False
Is 13 a factor of 82 + -1 - 14/(-14)?
False
Let l = -139 - -226. Does 22 divide l?
False
Let j(u) = 22*u**3 - 2*u**2 - u + 2. Is 39 a factor of j(2)?
False
Let p(k) = -k**3 + 7*k**2 + 2*k - 1. Let u be p(7). Let z = 27 - u. Is 14 a factor of z?
True
Let c(f) be the first derivative of -1 + f - 3/4*f**4 + f**2 - 1/3*f**3. Is 11 a factor of c(-2)?
False
Let k(w) = -9*w + 3. Does 7 divide k(-2)?
True
Let y be 3/(-1)*6/9. Let f = -25 - y. Let x = -4 - f. Does 6 divide x?
False
Suppose 1 = 5*h + j, -5*j - 27 = -7. Let g(v) = 61*v**3 + 2*v**2 - 1. Is g(h) a multiple of 19?
False
Suppose -5*g + 20 - 5 = 0. Suppose -g*o - 2*o + 100 = 0. Does 10 divide o?
True
Let g(f) = -f**3 + 6*f**2 + 2*f - 7. Let y be g(6). Let d = -10 - -14. Is ((-18)/y)/(d/(-20)) a multiple of 9?
True
Suppose 12 = -0*i + 3*i. Suppose -w + 15 = i*w. Is w even?
False
Is 21 a factor of 4/18 - (-752)/18?
True
Let m be 7/((-7)/(-186)) + 3. Let u be m/15 - 6/(-15). Suppose -3*y + u + 5 = 0. Does 3 divide y?
True
Suppose 4*u + 4 = 0, -117 = -5*l + 5*u + 33. Let f = 27 + l. Is f a multiple of 22?
False
Suppose 9*f - 205 = 4*f + 5*l, 4*f - 168 = 3*l. Is f a multiple of 7?
False
Suppose 0 = g - 2*g + 2. Suppose 8 = g*a - 0. Suppose 0 = -0*p - a*p + 64. Is p a multiple of 8?
True
Let i(c) be the first derivative of 3*c**2/2 + 9*c + 9. Is i(7) a multiple of 10?
True
Let g(w) = -9*w - 15. Is 13 a factor of g(-6)?
True
Let f be 2 + -4 + 2 + -5. Let y = f + 15. Is y a multiple of 5?
True
Let b(m) = -175*m**2 - 3*m + 1. Let p be b(1). Let x = 254 + p. Does 21 divide x?
False
Does 2 divide 16/4 - -1*3?
False
Let u = 10 + -6. Suppose g - 31 = -3*l, 5*g + 42 = u*l - 12. Is l a multiple of 11?
True
Let j = -15 - -20. Is 19/(-3)*(-4 - j) a multiple of 19?
True
Suppose -3*s - 24 = 3*x - 0*x, 0 = -4*s + 3*x - 32. Let i = -11 - -29. Let c = i - s. Is c a multiple of 7?
False
Is (0 - -2)*(28 + 4 + 0) a multiple of 8?
True
Let g be 219/1 - (-1 + 0). Suppose 2*r = -2*r + g. Let o = 82 - r. Is o a multiple of 9?
True
Let x be (-6)/(2/(12/(-9))). Suppose -3*q - 65 = -x*y, 4*y + q + 15 = 5*y. Is 9 a factor of y?
False
Suppose 10 = -3*v - 20. Is (-138)/(-15)*v/(-4) a multiple of 16?
False
Let q = -15 - -10. Let l(t) = t**3 + 5*t**2 - 4*t + 4. Let w be l(q). Suppose 5*n + 5*u - 106 - w = 0, -5*n + 4*u = -112. Is n a multiple of 8?
True
Let w(s) = 2*s**3 + 2*s**2 - s. Let t be w(-2). Let v = t - -11. Does 15 divide v + -3 + 1 + 39?
False
Let t = 161 - 87. Suppose -2*c = -s - 33, -3*s + 3 = c + t. Is 12 a factor of (1 - 0)/(-1) - s?
True
Let c(m) = 40*m - 33. Is 34 a factor of c(4)?
False
Suppose 0 = -3*s - s + 200. Does 25 divide s?
True
Let m be 1/(-2) - (-3)/6. Let d = m - -5. Is d even?
False
Let x = -10 + 38. Suppose 0 = -2*u + 6*u - x. Is u a multiple of 2?
False
Let z(f) = -8*f**2 - 3*f - 3. Let h(y) = -16*y**2 - 7*y - 5. Let x(i) = -4*h(i) + 7*z(i). Let l be x(5). Is 6 a factor of (-4)/(-14) + l/14?
False
Let j(q) = 50*q - 2. Let l be j(1). Suppose 2*z - 2*m = 140, -5*z + 2*m + 302 = -l. Is z a multiple of 21?
False
Suppose -j + 9*j = 1232. Is 22 a factor of j?
True
Let r(l) = 2*l**2 + 5*l. Let d be ((-24)/(-3))/(-2) - 1. Is 25 a factor of r(d)?
True
Suppose l + l - 6 = 0. Suppose 12 = l*t + 4*j - j, 37 = 3*t - 2*j. Is 9 a factor of t?
True
Suppose 0 = -f - 2 + 5. Suppose -p - 36 = -5*v, f*p - v - 3*v = -108. Let j = p - -66. Does 14 divide j?
False
Suppose 0 = -p + 3*p. Let z(r) = 10*r**2 - 3*r - 2. Let c be z(-2). Let v = c + p. Does 16 divide v?
False
Does 17 divide (31/(-3))/(22/(-66))?
False
Suppose -9 = 3*j - 0*j. Let z be 5 + 3 + -6 - 3. Is j - z*(-19)/(-1) a multiple of 8?
True
Let d = 9 - 1. Is d a multiple of 5?
False
Let u = -14 + 48. Is u a multiple of 7?
False
Let f = -25 + 37. Is f a multiple of 4?
True
Suppose -3*g + 4*k + 44 = 0, -2*k = 5*g - 0*k - 108. Does 10 divide g?
True
Let f(q) = q**2 - q - 16. Does 3 divide f(-4)?
False
Let i(x) = -233*x + 2. Let p be i(-6). Is p/63 - (-4)/(-18) a multiple of 11?
True
Let q(p) = 4*p - 9. Let x be q(-7). Let h = x - -54. Is h a multiple of 6?
False
Is 314*1 + 5/(35/(-28)) a mul