o, -3*q + 4*q - 57 = 4*o. Is 5 a factor of q?
False
Let p = 4 - -8. Let w be -2*2*(-13 + p). Is 96/(-4)*(-9)/w a multiple of 9?
True
Let f(c) = 5*c**2 + 39*c + 10. Let g(k) = k**2 + 8*k + 2. Let y(b) = 2*f(b) - 11*g(b). Let d = -2 - 4. Does 14 divide y(d)?
False
Suppose 4*y = 2*l + 3*l - 6, -4*y + 6 = l. Let a(z) = 16*z - 2. Is 6 a factor of a(l)?
True
Let t = -601 - -886. Is t a multiple of 15?
True
Let z = 485 - 213. Suppose -2*g + 6*g = z. Suppose -2*v = -12 - g. Does 8 divide v?
True
Let f(l) = l**3 - l**2 - 3*l + 440. Does 4 divide f(0)?
True
Let a(u) be the second derivative of -u**4/12 - 8*u**3/3 - 17*u**2/2 - 11*u. Does 22 divide a(-13)?
True
Suppose 4*a - 1676 = 1468. Does 11 divide a?
False
Let l = -98 - -470. Is 41 a factor of l?
False
Let o(c) = c**2 + 15*c + 25. Is 25 a factor of o(20)?
True
Let f(t) be the third derivative of -2*t**4/3 - 19*t**3/6 - 2*t**2. Is 17 a factor of f(-15)?
True
Let h(w) be the first derivative of 10*w + 4 + 1/4*w**4 - w**2 - 7/3*w**3. Is 26 a factor of h(8)?
False
Let u be -34 + 32 + (1 - 1) + 14. Let s(y) = y + 24. Does 3 divide s(u)?
True
Let g be ((-10)/(-3))/(1/18). Suppose -59*j - 15 = -g*j. Is 5 a factor of j?
True
Let t = 62 - 221. Let w = t - -279. Is w a multiple of 15?
True
Let t(p) = p**3 + 10*p**2 - p + 1. Is t(-8) a multiple of 10?
False
Let y(p) = -22*p + 12. Let c(o) = 22*o - 13. Let u(x) = -3*c(x) - 4*y(x). Does 14 divide u(5)?
False
Let d(w) = 953*w**2 - 12*w + 11. Does 7 divide d(1)?
True
Suppose c + 51*n - 2156 = 53*n, c - 2161 = 3*n. Does 11 divide c?
False
Let b(l) be the second derivative of l**4/4 - 7*l**3/3 + 7*l**2 - 11*l. Let q be b(6). Let a = 1 + q. Does 12 divide a?
False
Let j(p) = p**3 + 5*p**2 - 3*p - 4. Let a be j(-6). Let m = 66 + a. Is 22 a factor of m?
True
Suppose 3*p - 5*m - 27 = 21, 3*p - 48 = 4*m. Let a = -874 - -878. Let b = a + p. Does 10 divide b?
True
Suppose 3*q + 2*w = 441 + 61, 3*q - 5*w - 467 = 0. Suppose 167*g = q*g + 108. Is 7 a factor of g?
False
Let n be (-2 - 5 - -13)*(-4)/(-6). Let v(p) = p**2 + p + 300. Let a be v(0). Suppose 0*t = -n*t + a. Is t a multiple of 12?
False
Suppose -4*z + 734 = -0*f + 2*f, 3*z = -5*f + 554. Let a = z - 123. Is 7 a factor of a?
False
Let u(j) = -157*j + 118. Does 3 divide u(-4)?
False
Suppose 7 = 5*n - 33. Let c = -83 + 93. Let q = c - n. Does 2 divide q?
True
Suppose -2*s + 0*s = 5*l - 1977, -1577 = -4*l + 3*s. Is 89 a factor of l?
False
Suppose -785 = -6*c + 295. Does 4 divide c?
True
Suppose 0*f + 4*u - 1037 = 5*f, 3*f + 606 = -3*u. Let h = 325 + f. Suppose 0 = 2*v - 5*v + h. Does 10 divide v?
True
Suppose 2*h + 4*g = -50, 5*g = 4*h + h + 200. Let p = h - -75. Is 20 a factor of p?
True
Suppose -392 = -8*w + 3*w + 4*u, -4*w + 319 = -5*u. Suppose -2*j + t = -194 - w, 4*t - 270 = -2*j. Is 15 a factor of j?
True
Let p = -25 + 16. Does 5 divide 15*((-6)/p)/1?
True
Let f(a) = -a**2 - 7*a + 106. Is 8 a factor of f(-14)?
True
Suppose -4*n + 2*n = 0. Let i be (n - 21/(-12))*4. Suppose -2*u = -3 - i. Is u a multiple of 5?
True
Is 39 a factor of (-707049)/(-378) - (-1 + 1/(-2))?
True
Suppose -174 = 46*s - 44*s. Let d = 101 + s. Is 4 a factor of d?
False
Suppose 0 = -11*z - 12*z + 9453. Is z a multiple of 27?
False
Suppose -3*q - q = -3*x + 88, 2*x - 4*q = 56. Let u = x - 3. Does 15 divide u?
False
Suppose 3*c = -2*h + 1553, 0 = -2*c + h + 985 + 48. Is 48 a factor of c?
False
Let q(d) = d - 7. Let w(z) = -z + 1. Let l(h) = -q(h) - 2*w(h). Let i be l(-5). Suppose i*m - 30 = -2*p - m, -3*p = -5*m - 19. Is 13 a factor of p?
True
Let k(n) = -11*n**3 + n**2 + 9*n + 18. Is k(-3) a multiple of 24?
False
Let p = 861 + -193. Is 13 a factor of p?
False
Let i(l) = -17*l + 179. Does 20 divide i(-13)?
True
Suppose -2*u + 2*n - 4*n + 40 = 0, 4*u - 2*n = 104. Suppose -k = d - u, 25 = -3*k - 2*k. Is 5 a factor of d?
False
Let l(q) be the second derivative of -q**7/840 + q**5/120 + 7*q**4/12 - q**3/2 + 3*q. Let m(i) be the second derivative of l(i). Is 3 a factor of m(0)?
False
Let d = -3567 - -5496. Is 42 a factor of d?
False
Let z = 1877 + -1077. Is 25 a factor of z?
True
Suppose 0*h + 92 = -4*h - 2*f, -3*h = -4*f + 80. Let j = h + -9. Is 6/j + (-1392)/(-33) a multiple of 14?
True
Suppose 20 = 2*m + 3*n - 131, -2*m = 2*n - 154. Is 10 a factor of m?
True
Suppose 0 = 5*i + w - 126, 3*i - 62 = 2*w - 6*w. Suppose -t + 4 = -i. Is t a multiple of 15?
True
Suppose 9*s - 5*s = 4, 3375 = 3*j - 3*s. Is 29 a factor of j?
False
Let j = -102 - -288. Is j a multiple of 62?
True
Suppose -5608 = -11*s + 5425. Is s a multiple of 17?
True
Let y(j) = -8*j**3 - 12*j**2 + 3*j + 10. Is 56 a factor of y(-6)?
True
Let n = -26 - -20. Let i(w) = 5*w**3 + 3*w**2 + 8*w + 13. Let r(f) = -f**3 + f**2 - 1. Let m(c) = n*r(c) - i(c). Is m(10) a multiple of 6?
False
Suppose 0*i + 5*i = -5. Let p(u) = 140*u**2 - 279*u**2 - 2*u - 15*u**3 + 139*u**2 - 1. Is 4 a factor of p(i)?
True
Let a(z) be the third derivative of -z**5/60 + z**4/3 + z**3/2 + 5*z**2. Let d be a(8). Suppose -d*i = 18 - 51. Is 5 a factor of i?
False
Let t = 6 + -5. Suppose o - 5 - t = 0. Let v = o + 0. Is 4 a factor of v?
False
Let s(v) = 70*v**2 + v + 2. Let u be (-25)/(-125) + 12/(-10). Is s(u) a multiple of 16?
False
Let t = 50 - 45. Let c(w) = -w**2 + 10*w. Does 5 divide c(t)?
True
Let w = -6 - -13. Let s = w + 5. Is 1*s*(-20)/(-8) a multiple of 15?
True
Suppose -10*q + 9*q + 38 = 0. Let i = -8 + q. Is 6 a factor of i?
True
Let d(u) = u + 11*u**2 - 3 - 4*u + 4*u - u**3 - 7*u**2. Let c be d(4). Is 4 a factor of c/(-3 - 50/(-16))?
True
Suppose -3*f + 2*f = 83. Let r = f - -137. Is 27 a factor of r?
True
Suppose 3*x + 2*x = 225. Suppose -3*f + 94 = -5*j, -2*j + f - 58 = j. Let r = x + j. Is r a multiple of 10?
False
Suppose 156*q = 164*q - 2536. Is q a multiple of 3?
False
Suppose -4*m + 3*m - o + 427 = 0, 0 = 5*o + 25. Does 16 divide m?
True
Let y be 1711/7 + 6/(-14). Suppose b - 55 = w, -4*b - 5*w + y = -3*w. Does 34 divide b?
False
Let o(h) = -h**2 - 12*h + 13. Let g be o(-9). Suppose 0*l - g = 4*l. Does 7 divide 0 + (0 - l) + 1?
False
Let q(y) = -y**2 + 7*y - 7. Let c be q(7). Let f(k) = -2*k - 10. Let i be f(c). Does 11 divide (53 - -1)*i/8?
False
Suppose -20 = 4*h - 0*h. Let k(r) = 4*r**2 - 6*r - 10. Is k(h) a multiple of 24?
True
Let d be ((-104)/39)/((-1)/(-3)). Let j be (-5)/1 - (-12 - d). Does 7 divide (j - 0)*(-21 - 0)?
True
Suppose 0 = -4*a - 10 - 2, -2*c + a + 595 = 0. Let r = -170 + c. Does 14 divide r?
True
Let k(f) = 2*f**2 + 4*f - 2. Suppose 2*q - 3 = -q. Suppose -q = -2*p - 9. Does 2 divide k(p)?
True
Suppose 4*r + 5*b - 2 = 5, 2*b = 2*r - 26. Is 7 a factor of ((-324)/r)/(-1) - (-12)/8?
True
Is 15 a factor of ((-7)/(-2) + -5)*2*-108?
False
Let x = 7 + -1. Let w(i) = 5*i**3 + 13*i**2 + i + 5. Let u(s) = -11*s**3 - 27*s**2 - 2*s - 10. Let p(a) = 6*u(a) + 13*w(a). Does 14 divide p(x)?
False
Suppose 0 = 4*d + 29 - 17. Is 27/(d - (-75)/20) a multiple of 12?
True
Let m = 762 - -616. Is m a multiple of 13?
True
Let t be 137/4 - (-2)/(-8). Let z = -4 + t. Let b = z - 12. Is 5 a factor of b?
False
Let x be 0/(-1) + 50/5. Suppose -x - 8 = -2*g. Does 9 divide g?
True
Suppose 4*a - 5*a = 22. Let u = 9 - a. Does 22 divide u?
False
Let r be -1 - (-2 - 0 - -50). Let p = r - -137. Does 21 divide p?
False
Let z(c) = c**2 - 13*c - 99. Does 73 divide z(-14)?
False
Let y(s) = 10*s**3 + 6 + 9*s - 6*s**2 - 22*s**3 + 13*s**3. Is y(6) a multiple of 15?
True
Let a = 41 + -3. Let j = 50 - a. Does 6 divide j?
True
Suppose 0 = -t + 12 - 9. Let w(d) = 3*d**2 + 5*d - 6. Is w(t) a multiple of 18?
True
Let c(j) = -127*j + 6. Let s be c(-3). Let r = -202 + s. Does 37 divide r?
True
Let m be 180/(-24)*(-72)/(-10). Let h be (2/3)/((-12)/m). Suppose -s = 3*w - 23, h*w - 27 - 4 = s. Is 4 a factor of w?
False
Let p = 132 - 93. Suppose p = 3*j - 3. Is j a multiple of 8?
False
Suppose 78*n - 51*n = 72279. Does 41 divide n?
False
Let t be (2/(-7))/(13/(-182)). Suppose t*n - p + 167 = 4*p, 211 = -5*n + 4*p. Does 5 divide n/(-3) + (-7)/21?
False
Suppose 0*c - 8*c + 11040 = 0. Is 22 a factor of c?
False
Let q(x) = -x**3 + 9*x**2 + 22*x - 2. Let z be q(-4). Suppose 7*j = 4*j - 246. Let h = j + z. Is 4 a factor of h?
True
Let p be (-9)/2*72/(-27). Let x = p - 12. Suppose -3*i + 36 + 36 = x. Does 20 divide i?
False
Let b(k) = 3*k + 3. 