- c. Suppose -a*o - 40 = -4*o + u, -u = 4*o - 74. Is o a multiple of 9?
False
Let o(u) = u - 15. Is o(21) a multiple of 6?
True
Suppose -4 = -4*o - 0*o. Let z be (o - 0)/((-2)/(-208)). Suppose a + 3*a - z = 0. Is 15 a factor of a?
False
Suppose -4*c = -8 - 4. Suppose c*a + u = 51 + 60, -4*u - 126 = -3*a. Suppose 2*r = -2*b + 5*r + 10, -5*b + r = -a. Is 8 a factor of b?
True
Let n = -5 + 9. Suppose -c - 5*y + 0*y = -5, n*c = -3*y + 3. Does 3 divide -1 - (-6 + -1 + c)?
True
Is 14 a factor of ((-1127)/(-92))/((-1)/(-8))?
True
Let c(o) = o + 14. Suppose 4*w + r - 10 = 5*w, -3*w + r - 22 = 0. Is 7 a factor of c(w)?
False
Suppose 3*c - d + 6*d - 705 = 0, 0 = -2*c - 2*d + 474. Is 24 a factor of c?
True
Let f(z) = -z**3 - 12*z**2 - 2*z - 2. Let c be (-177)/15 + (-3)/15. Is 6 a factor of f(c)?
False
Let t(p) = -13*p. Suppose 3*k - 4 = 14. Let c = 3 - k. Is t(c) a multiple of 22?
False
Suppose 5*n - 4*s = 995, -n - 3*s = -s - 185. Is n a multiple of 15?
True
Let h = -273 + -84. Is (h/28)/((-6)/16) a multiple of 10?
False
Let n be 0/(-2)*(-8)/(-8). Suppose 0 = -2*v - n*v - 6. Does 12 divide (-52)/(-4) - (-3)/v?
True
Let z(d) = -d - 8. Let l be z(-6). Let i be (l + 3)/((-1)/(-18)). Suppose y = -5 + i. Does 13 divide y?
True
Let n(b) = b**2 + 5*b + 4. Let t be n(-4). Suppose 0 = 4*r + 12, t = 2*h - 4*r + r - 249. Suppose -6*s + h = -s. Is s a multiple of 12?
True
Suppose -4 = 2*c, -2*c = p - 33 - 57. Suppose 5*x - 7 + 2 = 0. Suppose -p = -5*q + x. Is 7 a factor of q?
False
Suppose -11 = -4*m + 3*k, m - 4*m - 3*k + 3 = 0. Suppose -q - 68 = -m*u + 3*q, -131 = -5*u - 3*q. Let o = u + -2. Is 13 a factor of o?
True
Let x(r) = 16*r - 2. Does 3 divide x(1)?
False
Suppose -2*r + 0*r = -6. Suppose -2*a - 4 = 2*y, 5*y + r*a - 25 = 5*a. Is 4 a factor of (y/(-6))/(1/(-16))?
True
Let w(l) be the third derivative of -l**6/120 - l**5/10 - 7*l**4/24 - 5*l**3/6 - 4*l**2. Is 5 a factor of w(-5)?
True
Let c = -3 - -6. Suppose b = -0*a + 3*a - 8, -3*a = -c*b - 6. Is 5 a factor of 7 - ((-1 - 0) + b)?
False
Let m(v) = -v**3 - 2*v**2 - 4. Let i be m(-3). Let c(y) = y**3 - 4*y**2 - 2*y + 7. Is 11 a factor of c(i)?
True
Let z(u) = -23*u - 9*u - 2*u + 7*u. Does 15 divide z(-1)?
False
Is 16 a factor of -3 - (-95)/(1 - -4)?
True
Let a be (-2 - 2) + 3 - -27. Does 23 divide a + (-12)/(-4) - -1?
False
Let n(a) = 4*a**3 + 10*a**2 + 2*a + 11. Let z(c) = -11*c**3 - 30*c**2 - 5*c - 34. Let o(q) = -8*n(q) - 3*z(q). Does 8 divide o(-10)?
True
Let p(s) = -s**3 + 6*s**2 + s - 1. Let d(m) = 3*m + 6. Let g be d(-5). Let z be g/(-1 + (-1)/2). Is p(z) a multiple of 4?
False
Let x be ((-34)/4)/(4/(-32)). Let t = -14 - -19. Suppose -x = i - t*i. Is 11 a factor of i?
False
Let g(a) = 4*a + 2. Let f(l) be the second derivative of l**5/20 - l**4/2 + l**3/6 - 3*l**2/2 - 2*l. Let x be f(6). Does 7 divide g(x)?
True
Let n(l) = -l**3 - 7*l**2 - l - 20. Is n(-9) a multiple of 24?
False
Suppose 0 = -0*z + z + 3*n - 16, z - 2*n - 1 = 0. Let w(i) = -i**3 + 9*i**2 - 3*i - 10. Is w(z) a multiple of 15?
False
Suppose -2*k + 67 = -205. Is k a multiple of 34?
True
Let s(w) = 1. Suppose 3*z + 5*y = 3, 4*y - 16 = z - 0*y. Let n(a) = -11*a + 6. Let u(t) = z*s(t) + n(t). Does 11 divide u(-2)?
False
Suppose v - 21 = -2. Does 19 divide v?
True
Let p(i) = -2 - 3*i**2 - 10*i + 4 - 2. Let c(g) = 7*g**2 + 20*g. Let k(j) = -4*c(j) - 9*p(j). Does 7 divide k(7)?
True
Suppose -2*k - 16 = 8. Let i = 16 - k. Is 12 a factor of i?
False
Let a = 135 - 34. Is 9 a factor of a?
False
Let h = -7 - -9. Let z = h + -12. Let m(p) = p**2 + 7*p - 12. Is m(z) a multiple of 18?
True
Suppose -3*i = -51 - 45. Is 8 a factor of i?
True
Let d(n) = n. Let z be d(-8). Let u(v) be the third derivative of v**5/60 + v**4/8 + 2*v**3/3 - v**2. Does 17 divide u(z)?
False
Suppose 65 = 3*k + 23. Let n = -9 + k. Suppose n = x - 3. Is 6 a factor of x?
False
Suppose 2*h - 12 = 6. Is h a multiple of 9?
True
Let u = 4 + -4. Let m be (u + 8)*3/6. Suppose 20 = 3*x - m. Is 6 a factor of x?
False
Suppose -12 = 5*z + 2*w, 2*z - 4 = -2*z - 5*w. Let p be (-20)/3 - z/6. Is 13 a factor of 2/p + (-97)/(-3)?
False
Suppose -2*z + 21 = 3*m, 2*z + 9 = 3*m - 0*m. Suppose 2*l = 2*w, -12 = 5*w - 2*l - z. Is 21 a factor of 2*12 + w/1?
True
Let f(n) = n**3 - 6*n**2 + 2*n - 2. Suppose 3*i = 3*s + 6, -2*i = -5*i - 5*s + 38. Is 6 a factor of f(i)?
False
Let a be 10/15 - (-8)/(-3). Is (92/(-12))/(a/6) a multiple of 8?
False
Let j = 210 + -142. Does 34 divide j?
True
Let d(y) = 4*y**2 - 6*y. Is 25 a factor of d(-5)?
False
Suppose -5*a + 60 = -3*g, a + 3*g - 2 = -8. Let d(h) = h**2 + 6*h - 3. Let j be d(-6). Is -13*3/a*j a multiple of 13?
True
Is (-4)/8*(3 + -245) a multiple of 15?
False
Let z(q) = q - 83. Suppose 3*m + 12 = -4*l, 2 = -l - 1. Let k be z(m). Let w = k + 145. Is w a multiple of 23?
False
Let a(b) be the third derivative of -3*b**2 + 0*b + 0 - 1/24*b**4 + 5/3*b**3. Does 5 divide a(0)?
True
Suppose -c - 22 = -5*c + o, -5*o - 20 = -2*c. Suppose 0*f + f + c*b = 26, -b = -4*f + 83. Does 7 divide f?
True
Suppose 0 = 5*c - 3*c - 10. Suppose -c*i = -103 - 392. Let d = i + -70. Does 24 divide d?
False
Let m(a) = -a**2 + 6*a + 7. Let w be m(7). Suppose 0*i - 2*i - y + 10 = w, 8 = 2*y. Suppose -3*k + i*p = -90, 2*p + 142 = 4*k + 22. Does 12 divide k?
False
Let w(z) = z**3 + 7*z**2 + 7*z + 8. Let c be w(-6). Is (-594)/(-24) + c/8 a multiple of 25?
True
Let h = 32 + 33. Is h a multiple of 7?
False
Suppose -266*u + 261*u + 850 = 0. Is u a multiple of 28?
False
Suppose 0 = -2*s - 5*t + 25, -t = 2*s - 7*s + 49. Is s a multiple of 5?
True
Does 18 divide (-2)/(-1) + 210 + (-68)/(-17)?
True
Let s = -12 - 7. Let t = -11 - s. Is t a multiple of 4?
True
Suppose -3*z + 7*z = 236. Is 10 a factor of z?
False
Let j(p) = -2*p**2 - 3*p**2 + p**2 - p - 2*p**3 + 2. Let c be j(-2). Suppose -m + 295 = c*m. Does 24 divide m?
False
Let z be -2*(0 - 5/2). Let d = -3 + z. Suppose -d*i - 11 = -67. Does 14 divide i?
True
Let j = -16 + 30. Does 7 divide j?
True
Let j(o) = -o - 11 - 2 + 4. Let d be j(-5). Is d + 3 + 29 + 1 a multiple of 14?
False
Let q be 26*3/6 - 0. Let f = -9 + q. Suppose -2*k + 20 = -k + 5*l, -3*l + f = -k. Does 2 divide k?
False
Let t(r) be the third derivative of -r**6/120 - 7*r**5/60 + 3*r**4/8 + r**3/2 + 2*r**2. Let z be t(-8). Let x(v) = v**2 + 2*v + 7. Is 11 a factor of x(z)?
True
Suppose 0 = -7*t + 3*t - x + 660, 3*t + 5*x - 478 = 0. Suppose -3*k + 14 = -t. Is 10 a factor of k?
True
Suppose -4*w - 449 - 123 = 0. Let v = -62 + -31. Let n = v - w. Is 20 a factor of n?
False
Suppose 0 = -4*j - 16, -5*j - 233 = -x - 2*x. Is x a multiple of 15?
False
Let b(a) = a**3 - 4*a**2 + 6*a - 6. Does 6 divide b(4)?
True
Suppose -3*a - 2*x + 41 + 41 = 0, -4*a = 3*x - 109. Let p = 0 - -2. Suppose 0 = 2*r + p*t - 22, 0*t - t = -2*r + a. Is 12 a factor of r?
False
Let j = -29 + 121. Is j a multiple of 14?
False
Let n(q) = q**2 - q + 1. Is n(-11) a multiple of 17?
False
Let v be -1 - (-20 - (0 + -2)). Suppose -u + 13 = -v. Is 14 a factor of u?
False
Suppose -4*d + 3*d = -4*b - 100, -4*d + 316 = 5*b. Does 12 divide d?
True
Let d = -22 + 187. Is d a multiple of 25?
False
Let h = 0 + 0. Suppose h = -4*u - 6 + 30. Is (u/2)/(6/32) a multiple of 10?
False
Let b(x) = -x + 12. Let w be b(5). Let h(i) = i**2 - 7*i + 4. Let r be h(w). Suppose 0 = -r*j - 0*j + 112. Is j a multiple of 14?
True
Suppose -j + 1 + 143 = 0. Is j a multiple of 13?
False
Let n = 8 - -5. Suppose -5*y + 27 = -n. Does 8 divide y?
True
Suppose -3*w = n - 12, 3*w + 48 = 4*n - 0. Is 4 a factor of n?
True
Let c(p) = p**2 - 11*p + 9. Suppose 2*b = -8 + 26. Let u be c(b). Let f(d) = -d**3 - 8*d**2 + 7*d - 10. Is 4 a factor of f(u)?
True
Let f(q) = 2*q**2 - 3*q + 6. Let o(c) = 5*c**2 - 10*c + 18. Let n(b) = 8*f(b) - 3*o(b). Does 10 divide n(-8)?
True
Suppose -5*l - 2*h + 886 = 0, -8*h + 5*h - 519 = -3*l. Does 22 divide l?
True
Let u = 17 - 12. Is 2 a factor of u?
False
Let c(v) = v**3 - 6*v**2 - 6*v. Is 7 a factor of c(7)?
True
Suppose 0 = -3*r + 45 + 96. Is r a multiple of 14?
False
Let r = -106 - -293. Suppose -4*l - r = -3*g, -3*l - 86 + 327 = 4*g. Does 20 divide g?
False
Let g = 248 + -443. Does 11 divide g/(-6) + (-1)/(-2)?
True
Let f = 40 - 15. Suppose 7 + 5 = 3*q. Suppose -f = -n + q. Is 18 a factor of n?
False
Let d(s) = 3*s + 4. Let o be 