et g(u) be the second derivative of u**3/3 - 3*u**2 + 2*u. Let z be g(5). Suppose -z*c + 25 + 31 = 0. Does 7 divide c?
True
Suppose -5*y + 61 = -3*h, -3*h = h + 4*y + 124. Let q(d) = -d**3 - 18*d**2 - 17*d - 8. Let c be q(-17). Let j = c - h. Is j a multiple of 11?
False
Let k = -29 - -33. Is k even?
True
Let a(v) = -v**3 + 6*v**2 - v - 5. Let r(i) = -i + 2. Let k be r(-3). Is a(k) a multiple of 9?
False
Let s(h) = -h**3 + 9*h**2 + 4*h + 4. Does 20 divide s(9)?
True
Let m be 50/4*20/(-25). Let k(t) = -t**3 - 9*t**2 + 9*t + 4. Is k(m) a multiple of 10?
False
Suppose -l = -65 - 44. Is l a multiple of 33?
False
Let x(k) = -k + 3*k + 3*k**2 + k**2 - 1 - 1. Is x(3) a multiple of 10?
True
Let x(o) = 2*o**2 - 10*o + 7. Let d be x(8). Suppose 0 = -3*n - 38 + 113. Suppose -5*p + d = -n. Is p a multiple of 8?
True
Suppose -k = 3*k + 36. Let s = k + 31. Does 10 divide s?
False
Is 5 a factor of (18/27)/(1 + (-82)/84)?
False
Let r = -1 + 7. Suppose 2*z + 24 = r. Is -30*(24/z - -2) a multiple of 20?
True
Suppose 4*q - 15 = -5*s, 3*q + q - s - 45 = 0. Let r = q + 1. Does 11 divide r?
True
Suppose -4*q = 4*p - 148, -6*q + 70 = -4*q + 4*p. Suppose -f + 2*s - 2 + 0 = 0, -f = -s. Suppose -17 = -f*t + q. Is t a multiple of 11?
False
Suppose s + 3*s = 80. Is 15 a factor of s?
False
Let a be (-3 - -24)/(12/8). Let k = a - -2. Does 16 divide k?
True
Suppose 0 = -4*z - 5*k - 7, -4*z + 0*k + k + 11 = 0. Suppose -3*y + 8 = z*f, 0 = -3*f + 2*f - 5. Is 3 a factor of y?
True
Is 71 + 0 + -5 + (-2 - 0) a multiple of 16?
True
Let x = 4 + -4. Suppose 0 = 2*n - x*n - 26. Is 7 a factor of n?
False
Let t be (-1 + (0 - -5))/1. Suppose -4*s + 0*i = -4*i - 12, -s + 3*i = -9. Suppose 5*a - t*a - 4*r - 42 = s, -193 = -5*a + 3*r. Does 13 divide a?
False
Suppose -1 = -2*l - g, l + 3*g - 25 = 6*l. Let a(c) = -10*c - 3. Is 17 a factor of a(l)?
True
Let t = 2 - -5. Is 3 a factor of t?
False
Let k(l) = l**3 - 6*l**2 + l - 6. Suppose 0 = -x - 2*v + 16, -4*x + 4 = 2*v - 30. Let t be k(x). Suppose 5*z - 50 = -t*z. Does 10 divide z?
True
Let s(o) = o**2 - 9*o + 13. Is 7 a factor of s(11)?
True
Let a(w) = 15*w + 3. Let b be a(4). Suppose b = z + 10. Is z a multiple of 11?
False
Suppose 11 - 24 = -n. Is 2 a factor of n?
False
Suppose 0 = -p - 1 + 4. Suppose -29 = -p*d + 4*b, 31 = 5*d - b - 6. Is d even?
False
Suppose -5*k = -g - k + 18, -k = g + 2. Suppose g*j = -3*j + 220. Is j a multiple of 11?
True
Let q(l) = 4*l**2 + 2*l - 3. Let s be q(3). Let y = s + 36. Is y a multiple of 16?
False
Suppose -u + 3*x + 98 + 147 = 0, -4*x + 490 = 2*u. Does 25 divide u?
False
Let x = -8 - -32. Is 6 a factor of x?
True
Suppose -3*k = 2 + 7, -3*z - 3*k = -270. Is z a multiple of 31?
True
Let w be 3/9*(1 - -62). Suppose w = 4*d - 3*d. Is 21 a factor of d?
True
Suppose -5*u = -7*u + 620. Does 26 divide u?
False
Suppose -45 = -5*z + 6*p - p, -5*z + 55 = 5*p. Suppose 0 = -5*x + f - 20, -3*f - z = -3*x + 2*f. Let m = 8 + x. Is m a multiple of 3?
True
Does 10 divide (9/6)/((-6)/(-56))?
False
Let c = -12 + 33. Is 8 a factor of c?
False
Suppose 0 = -9*j + 4*j + 3*v - 32, 3*v = -5*j - 8. Let t be 4 + -2 + j - 12. Is 4/14 - 486/t a multiple of 12?
False
Suppose 31 + 81 = 2*o. Is o a multiple of 14?
True
Let c = -168 + 251. Is 23 a factor of c?
False
Let n(u) = -50*u**3 - u + 6*u**3 + 0*u. Let m be n(1). Does 5 divide m/12*(-16)/6?
True
Let p = -11 - -17. Suppose p*w + 3 = 7*w. Is w even?
False
Let z(b) = -3*b**2 - 11*b + 19. Let o(u) = -u**2 - 6*u + 10. Let c = 8 + -3. Let g(t) = c*o(t) - 2*z(t). Is g(8) a multiple of 6?
True
Let a(j) = -j**3 - 3*j**2 + 4*j + 4. Suppose 3*x + 0 = -12. Is 4 a factor of a(x)?
True
Suppose 0*v + 3*v + 141 = 0. Let u = -24 - v. Let b = u - 4. Is b a multiple of 15?
False
Let z(w) = -4*w**3 - 4*w**2. Does 6 divide z(-3)?
True
Let i(h) = -h**2 - 9*h - 6. Let c be i(-8). Suppose 3*b = c*b + 19. Is b a multiple of 7?
False
Suppose -18 = -2*k - k. Suppose -q + 69 = 2*a, 0 = a + q + k - 39. Is a a multiple of 12?
True
Let m be ((-4)/(-2) - 1) + 3. Let v be m/6 - (-1250)/6. Suppose a - v + 13 = -4*g, -4*g = -4*a - 196. Is 13 a factor of g?
False
Suppose -4*v + 4*j + 1596 = 0, 2*j + 7 = -1. Let y = -947 + v. Does 16 divide (-2)/(-7) - y/28?
False
Suppose 0 = 11*w - 14*w + 144. Is w a multiple of 16?
True
Suppose -3 = 3*n - 5*i + 2*i, 0 = -3*n + 4*i - 7. Let t(y) = n + 10*y + 25*y**2 - 2 - 8*y. Is t(-1) a multiple of 13?
False
Let k(v) be the second derivative of v**4/4 + 5*v**3/6 - 5*v**2 + 3*v. Is 21 a factor of k(4)?
False
Let u(g) = 3 - 2 + 3 + g**3 + 11*g + 4*g**2 + 5*g**2. Is 13 a factor of u(-7)?
False
Let r(i) = -i - 2. Let d be r(-5). Suppose 2*x = 4*x + d*f + 11, 4*x + 2*f = -2. Is 2 a factor of x?
True
Suppose g + 6 = 2*s + 6*g, 3*s = g + 9. Suppose -260 = -s*d + 3*t - 29, -62 = -d - 2*t. Does 24 divide d?
True
Let s = 17 + 1. Is 18 a factor of s?
True
Let i be 4/(-14) + (-40)/7. Let q be (-1 + 14)/((-3)/i). Is 3 + 6/(-2) + q a multiple of 26?
True
Suppose 70 = -0*s + 2*s. Is 5 a factor of s?
True
Suppose 2*i - 25 + 7 = -2*y, y + 3*i - 19 = 0. Suppose 0 = -2*d + y + 6. Suppose -5*o + 5 = 0, 3*a + 8 - 31 = -d*o. Is a even?
True
Let v(b) = 6 - 4 + 36*b - 8. Is v(3) a multiple of 30?
False
Let h(k) = 3*k - 7. Let r = -9 - -15. Does 11 divide h(r)?
True
Let j be (0*(-1)/2)/(-2). Let c = -2 + j. Does 10 divide ((-20)/(-6))/(c/(-12))?
True
Let s = -43 + 185. Suppose g - 70 = -2*m, 3*m - 4*g - s = -48. Is 6 a factor of m?
False
Let u(x) = -3 + 6*x + x**2 - 4 + 0*x. Let r be u(-7). Suppose -6*g + 2*g + 144 = r. Is 18 a factor of g?
True
Let d(s) = 3*s**2 - 3*s - 4. Is 8 a factor of d(-3)?
True
Suppose -4*v = -722 - 514. Suppose -v + 77 = -4*u. Is 10 a factor of u?
False
Suppose 58 + 1 = m. Does 35 divide m?
False
Let i be (-228)/((-18)/4 - -3). Suppose 0*g + i = 4*g. Is 19 a factor of g?
True
Let m(w) = -3*w**2 - 27*w + 2. Is 9 a factor of m(-6)?
False
Let n(h) = -25*h - 6. Suppose -4 = d + 1. Let l be n(d). Suppose 4*t = v + 113, -t + l = 3*t + v. Is 12 a factor of t?
False
Let f(c) = -5*c**3 + 17*c**2 - 8*c - 9. Let q(v) = -4*v**3 + 16*v**2 - 9*v - 8. Let m(h) = 3*f(h) - 4*q(h). Is m(12) a multiple of 5?
True
Let b(a) = 7*a. Does 7 divide b(9)?
True
Let c = 8 + -4. Is 19 - (-16)/((-16)/c) a multiple of 4?
False
Suppose 167 = 4*x - d, 2*d = 4 - 2. Does 26 divide x?
False
Let o = -2 - -6. Is 2 a factor of o?
True
Let y be 1*-2*2/4. Let b = 4 + 19. Let w = b - y. Does 24 divide w?
True
Is 14 a factor of (-7 - -73)/(2*1)?
False
Let q(m) = -6*m**3 - 9*m**2 - 4*m. Let l(x) = 5*x**3 + 9*x**2 + 4*x + 1. Let a(p) = -5*l(p) - 4*q(p). Let y be a(-9). Suppose y = b - 17. Is 13 a factor of b?
False
Does 15 divide 1*-2*258/(-12)?
False
Let m be 9/2*6/(-9). Let c(q) = -2*q**3 - 4*q**2 - 2*q + 1. Let y be c(m). Suppose -2*k = -3*k + y. Does 12 divide k?
False
Let h be (-2*6)/(2/(-3)). Suppose -86 = -f - h. Is 17 a factor of f?
True
Is (10/(-4) + -1)*-14 a multiple of 21?
False
Let w(u) = 18*u - 2. Let p(k) = -35*k + 3. Let h(q) = -4*p(q) - 7*w(q). Let r = 0 + 2. Does 12 divide h(r)?
False
Let y(n) = 26*n + 2. Is y(1) a multiple of 28?
True
Let n = 7 + -2. Suppose n = -3*y + 2. Is 8 a factor of -4*(0 + -3 - y)?
True
Suppose 0 = 5*l - 8*l - q + 365, -5*l - 2*q = -610. Is l a multiple of 24?
True
Let w be 150/(-24) + (-3)/4. Let z = w - -14. Is z a multiple of 3?
False
Let y = 277 - 149. Suppose -4*o - 5*n = -n - 112, 5*o + n - y = 0. Is 12 a factor of o?
False
Let r be (18/5)/(3/10). Let x = r - 6. Suppose -i + x = -12. Is 7 a factor of i?
False
Let v be (-2)/2 + 5*6. Suppose 7 = a - v. Is 12 a factor of a?
True
Suppose -3*t - 3*b = -0*t - 24, -3*b = -3*t + 18. Suppose t + 1 = 2*v. Suppose -5*f = -26 - v. Does 6 divide f?
True
Suppose -8*u = -4*u - 72. Is u a multiple of 18?
True
Let z(s) be the first derivative of -s**4/4 - 4*s**3/3 - 12*s + 10. Does 5 divide z(-5)?
False
Let f be (0 - 72/(-10))*5. Let o(n) = 2*n**3 + 3*n**2 - 4*n - 10. Let s be o(-3). Let a = s + f. Is 4 a factor of a?
False
Let i = -5 - -7. Suppose -40 - 40 = -i*j. Is 20 a factor of j?
True
Let x = -9 + 13. Suppose p = -5*q + 57, -x*q - q = -20. Is p a multiple of 11?
False
Suppose -2*m = m - 24. Let q(c) = -c**2 + 13*c - 7. Is q(m) a multiple of 11?
True
Let f(u) = -u - 3. Let i be f(-7). Suppose -t - i*t - 3*w = -11, 2*t - 4*w - 20 = 0.