e of 4?
False
Let z = -10 + 12. Does 15 divide z/(12/9)*20?
True
Let o(z) = -4*z + 0*z**2 + z**2 - 1 - 2. Is 7 a factor of o(6)?
False
Let s(y) be the second derivative of 5/6*y**3 - y**2 + 0 - 2*y - 1/20*y**5 + 1/3*y**4. Is s(3) a multiple of 11?
True
Let x(s) = -s**3 + 12*s**2 + 6*s - 14. Does 29 divide x(12)?
True
Let l be (-2)/4 + 125/2. Suppose -2*y + s = -34, -4*s - l = -4*y + s. Does 6 divide y?
True
Let q be 2 - 21/(-6)*-86. Let z = q - -424. Suppose -z = -5*l - 4*p - p, 4*p + 8 = 0. Does 11 divide l?
False
Suppose -2*d - 3*x = -47, -45 = 5*d + 2*x - 179. Is 28 a factor of d?
True
Suppose -3*g - 14 = -86. Is g a multiple of 7?
False
Let a = -238 - -339. Let m = a + -68. Is m a multiple of 6?
False
Suppose 4*k = -y + 38, 4*k = y + y + 44. Does 10 divide k?
True
Let a(f) = 8*f + 4. Let w(b) = -b - 1. Let r(u) = 3*a(u) + 21*w(u). Does 24 divide r(11)?
True
Suppose 2*n + 5*g - 1 = -26, 2*n + g + 13 = 0. Let i be (n/2)/(2/(-32)). Suppose 2*u = -i + 108. Is u a multiple of 17?
True
Suppose -m = -2*m. Suppose 4*l - 12 = -4*d, -2*l = -m*d - 3*d + 4. Suppose -x + 6 = 2*b - 10, 2*x - d*b = 56. Does 14 divide x?
False
Suppose 0*f = -f + 4*m + 29, m - 14 = -f. Is f a multiple of 17?
True
Suppose 2*z = -3*z. Suppose v - 2*h + 1 = 0, -3*v = -z*v + 3*h - 15. Suppose 11 + 49 = v*m. Is 10 a factor of m?
True
Let h(g) = 44*g**3 + 1. Does 14 divide h(1)?
False
Suppose 3*i - 2*m + 12 = 0, 3*m + 0 = -3*i + 3. Let g be (1 - (1 + i))*-1. Is 8 a factor of g*(-3)/(-6)*-11?
False
Suppose 452 = 2*r + 180. Does 17 divide r?
True
Let v(f) = 6*f + 3. Is 19 a factor of v(9)?
True
Is (7 - 3) + 2*33 a multiple of 14?
True
Let k = -28 + 38. Is 9 a factor of k?
False
Suppose -13 = f - 5*w, 5*w - 63 = 4*f - 26. Let c be (-920)/32 + 2/f. Let i = c + 52. Is 14 a factor of i?
False
Suppose 0 = w - 3*p + 11 - 33, p + 5 = 0. Suppose -w = -6*z + 143. Does 25 divide z?
True
Let t(u) = -u**3 - 4*u**2 + 7*u - 8. Let r be t(-6). Suppose 28 = 5*m - r. Is 6 a factor of m?
False
Suppose 2*m - 142 = 5*v, 0*m - 140 = -2*m + 4*v. Suppose -3*w + m = 2*j, -5*j - 5*w + 2*w = -147. Is j a multiple of 9?
True
Let d be (-2)/6 + 2/6. Let r be ((-6)/(-4))/((-6)/(-16)). Suppose -50 = -r*w + 2*o, 3*o + d*o = -4*w + 55. Is w a multiple of 13?
True
Suppose 2*r = 3*r + n - 4, -4 = -2*r - n. Suppose r = v - 0*v - 14. Is 5 a factor of v?
False
Suppose -m + 4*d + 14 = -2, -2*m + 3*d = -22. Let c = 2 + m. Suppose -15 = -u + c. Does 14 divide u?
False
Let j be (1/2)/(2/(-4)). Is 15 a factor of (5*(3 - 6))/j?
True
Let h = 77 + -53. Let w = 3 + h. Is w a multiple of 9?
True
Let d be (4/(-6))/(8/(-204)). Let q = 23 - d. Is q a multiple of 5?
False
Does 5 divide (-2)/(-2) + -1 + 89?
False
Suppose 0 = k + h - 61, 0 = 3*k - 4*h + h - 201. Let z = -43 + k. Is z a multiple of 7?
True
Let v(l) = 3*l - 2. Let c be v(7). Suppose -i + c = -3. Is i a multiple of 10?
False
Let u(h) be the third derivative of h**6/120 - h**5/30 + h**4/6 - h**3/2 + 2*h**2. Let b be u(3). Suppose 2*n = n + b. Is 9 a factor of n?
True
Suppose 11*u - 13*u = -88. Is 11 a factor of u?
True
Let z(y) = -63*y + 1. Is 23 a factor of z(-1)?
False
Suppose 0 = 12*a + 4*a - 4096. Is a a multiple of 27?
False
Suppose -5*c + 3*c + 648 = -3*h, 5*h = -c + 350. Suppose 3*z = 8*z - c. Is z a multiple of 23?
False
Let v(o) = -o - 4. Suppose 2*x - 3*x = 6. Let k be v(x). Suppose 6*q - 16 = k*q. Does 3 divide q?
False
Let a(s) = 9*s**2 - 2*s - 4. Let t(n) = -4*n**2 + n + 2. Let h(m) = -3*a(m) - 7*t(m). Is 3 a factor of h(4)?
False
Let y = -38 + 56. Does 9 divide y?
True
Let h = -27 - -91. Is 22 a factor of h?
False
Suppose 2*d - 4*n + 16 = 0, 0*d - n = -d - 4. Let h(r) = 5*r**2 + 4*r - 3. Let p be h(5). Suppose -3*u - 52 + p = d. Does 15 divide u?
True
Let i(a) = a - 4. Let x be i(10). Suppose -x = 3*b + 12. Does 4 divide ((-15)/b)/((-1)/(-2))?
False
Suppose 0 = -2*u - 32 + 154. Is u a multiple of 2?
False
Let p(w) = -w**3 - w + 45. Is 27 a factor of p(0)?
False
Let q(a) = -9*a - 2. Is 42 a factor of q(-11)?
False
Suppose -b - 3 = 3*p, 3*b - 1 = 8. Let w(j) = -3*j**2 - 2*j. Let d be w(p). Let v = d - -13. Does 4 divide v?
False
Let d = -2 + 5. Let b = d - -5. Does 4 divide b?
True
Let b(g) = -g**2 + 5*g - 10. Let n be b(9). Let q = 70 + n. Is q a multiple of 12?
True
Suppose -23 = 4*c + o - 0*o, 20 = -5*c - 3*o. Let v = -5 - c. Suppose v*l - 7*l = -40. Is 8 a factor of l?
True
Let g(v) = -v + 32. Is g(8) a multiple of 8?
True
Let i(q) be the first derivative of 4*q**3/3 - q**2/2 - 2. Let t be i(1). Suppose t*w + 55 = 8*w. Does 9 divide w?
False
Let o = 78 - 46. Is o a multiple of 16?
True
Let x = 62 - 46. Is 2 a factor of x?
True
Suppose z + 5*i - 19 = 11, 5*z - 4*i = 150. Does 20 divide z?
False
Let x(s) = 13*s + 4. Let v be x(-3). Let n = v + 64. Is n a multiple of 11?
False
Suppose 30 = 5*h + 155. Let v = h + 37. Is v a multiple of 3?
True
Suppose -3*l + 98 = 4*a, -93 = 2*l - 5*l - 3*a. Is l a multiple of 13?
True
Let y(a) = a**3 + 24*a**2 - 29*a - 16. Does 12 divide y(-25)?
True
Suppose -2*z + 5*n + 354 = 0, 5*z + 3*n - 2*n = 939. Is z a multiple of 11?
True
Let y(b) = b**3 + 9*b**2 - 2*b + 1. Does 3 divide y(-9)?
False
Suppose -115 = -m - 3*b, -3*m + 5*b = -6*m + 325. Suppose 0 = 5*n - 3*z + 5*z - m, 0 = -n + 2*z + 8. Is n a multiple of 18?
True
Let g(w) = -20*w + 7. Let x(h) = 19*h - 6. Let t(u) = 4*g(u) + 3*x(u). Is t(-4) a multiple of 34?
True
Is (-1388)/(-10) + (-8)/10 a multiple of 12?
False
Let p be (1 + 0 - 1) + 2. Suppose p*n + 0*n = 340. Is n/6 + (-1)/3 a multiple of 14?
True
Let s be 12/(-24)*(-1 - 5). Suppose -4*h + 2*h = -6, 63 = s*i + 3*h. Does 7 divide i?
False
Let o(p) = 47*p - 32. Is 15 a factor of o(5)?
False
Suppose 3*i - 15 = -2*i. Is 9/4*16/i a multiple of 6?
True
Suppose -2*p = p - 513. Is p a multiple of 57?
True
Suppose -192 = 8*q - 4*q. Suppose -i + 346 = 5*o + 2*i, 269 = 4*o + 5*i. Let z = o + q. Is 23 a factor of z?
True
Suppose -3 + 0 = -l. Suppose -l = -s - 3*s - 3*f, -5*s + 4*f + 27 = 0. Is 12 a factor of s*4*(4 + -2)?
True
Let q = -17 - -10. Let j be (-2)/q - 149/7. Let v = -15 - j. Is 3 a factor of v?
True
Suppose -264 = t - 5*t. Suppose 4*h - 5*c - t = -25, 5*c = -h - 21. Is 2 a factor of h?
True
Does 30 divide ((-44)/(-12) - 4)*(-486 + -3)?
False
Let z = 0 - -2. Let h = 11 - z. Does 4 divide h?
False
Let f(x) = 2*x + 2. Let p be f(-6). Let b(j) = -j**3 - 11*j**2 - 12*j. Is b(p) a multiple of 6?
False
Suppose 2*a = -9 + 99. Does 15 divide a?
True
Let a = 19 + -15. Is 1 + a + (-140)/(-4) a multiple of 9?
False
Suppose 2*t + 24 - 56 = -3*l, 5*l - 52 = -4*t. Let p be (l/(-8))/((-1)/34). Suppose 0 = 2*a - 9 - p. Does 11 divide a?
False
Let r(l) = l - 7. Let d be r(6). Let q be (3 - 2)*d + 3. Suppose -q*w + 16 = 4*u, -w = -u + 5*u - 10. Is 6 a factor of w?
True
Let t(n) = 4*n + 1. Let f(q) = -q. Let y(x) = 5*f(x) + t(x). Let c(m) = 3*m + 8. Let w be c(-4). Does 5 divide y(w)?
True
Does 27 divide 235 - (0/1*-1 - -2)?
False
Suppose 4*o = 3*o + 4. Let a = 0 + 3. Suppose 4*j - a*t - 61 = 0, -2 = j - o*t - 27. Is 7 a factor of j?
False
Let p(d) = 12*d**2 - d. Is p(-2) a multiple of 21?
False
Let d(c) = -c**3 - c - 1. Let u(t) = 12*t**3 - t**2 + 2*t + 3. Let s(w) = -2*d(w) - u(w). Does 10 divide s(-1)?
True
Suppose 2*r - 44 = 4*x, -4*r - 3*x + 33 = -0*x. Suppose -2*d = u - 12, -5*u + 3*u + 2*d = -r. Is u a multiple of 4?
True
Let v = 22 - -104. Is v a multiple of 5?
False
Let g(b) = -b**2 + 4*b - 3. Let h be g(5). Is ((-38)/h)/((-1)/(-4)) a multiple of 9?
False
Suppose 2*j = -2*j + 16. Let v(o) = j + 1 - 3 - o - 5*o. Does 10 divide v(-3)?
True
Suppose 0 = 3*r + r + 4*m - 224, r - 44 = -5*m. Let g(b) = b**2 - b. Let h be g(-6). Let i = r - h. Does 7 divide i?
False
Let p be 0/(1/3*3). Suppose u + 0 = -2*c + 1, -5*c + 4*u + 22 = p. Suppose y - 30 = -c. Is y a multiple of 14?
True
Let w(j) = 2*j + 6. Let d be w(-6). Is 30 a factor of (-8 + 2)*d + -3?
False
Let l = 2 - -6. Let u(w) = w - 2*w - 4*w - l. Does 11 divide u(-6)?
True
Let x(d) = 2*d - 2. Let z be x(2). Let l = z + -2. Suppose 4*u - 1 = 3*h, -2*h - 2*u + 0 + 18 = l. Is h a multiple of 2?
False
Let i(t) = t**3 - 8*t**2 + 3*t - 9. Is 9 a factor of i(8)?
False
Suppose 5*w = 186 + 9. Is w a multiple of 18?
False
Suppose -3*j + 64 = 2*v - 58, 2*v - 162 = -4*j. Does 8 divide j?