t derivative of -w**2 - 4*w - 2. Is p(d) a multiple of 4?
False
Let g = 5 + -2. Suppose -47 = -5*s + g. Is 5 a factor of s?
True
Let v(t) = t + 7. Does 2 divide v(-5)?
True
Suppose 2*z + 4*k = -12, 7 = 3*z - 2*k + 1. Suppose -2*j + 168 = -z*j. Suppose 2*i = -4*t + 26 + 12, -5*i = -t - j. Is 6 a factor of i?
False
Let s = 56 - 48. Does 3 divide s?
False
Suppose 6*w = 8*w. Suppose 0 = -2*x - 4, w*x - x - 66 = -2*q. Is q a multiple of 23?
False
Suppose -5*z = 2 + 23. Let q = z + 73. Is q a multiple of 23?
False
Let v(p) = p**3 + 6*p**2 + 5*p + 6. Let a be v(-4). Let j = 28 - 15. Let n = a - j. Is 3 a factor of n?
False
Let d(m) = -m**3 - m**2 + 3. Let r be d(0). Let b be -2 - (-14)/(r + -1). Suppose b*k = 23 + 37. Is k a multiple of 10?
False
Let y be (3/(-5))/(3/(-30)). Let p = y - -42. Does 24 divide p?
True
Suppose 6*n = 2*n + 60. Is (-20)/n*(-5 - 1) a multiple of 8?
True
Suppose 0 = -5*c + 2*u - 153 - 81, -4*u - 222 = 5*c. Is 1/(-3)*c*3 a multiple of 27?
False
Let y be 4/10 + 119/(-35). Is y/(-4) - 65/(-4) a multiple of 15?
False
Suppose -5*s + 31 = 1. Does 4 divide s?
False
Let f(r) = -2*r - 5. Let y be f(-5). Suppose 0 = -2*j + y*j + 63. Let n = j - -38. Does 17 divide n?
True
Suppose -v = -3*d - 8, -7 = -4*v + 3*d - 2. Let m be 1 - 0/(2 - v). Is 7/m*(-6)/(-7) a multiple of 3?
True
Suppose -3*m + 18 = -150. Does 14 divide m?
True
Suppose -4*x - 14 = -6*x. Is 2 a factor of x?
False
Let m = 10 + 2. Let c = 15 + m. Is 16 a factor of c?
False
Let q be (-21)/(-4) + 2/(-8). Suppose -8 = h - q*d, 4*h - 53 = 2*d + d. Does 17 divide h?
True
Suppose -3 = 4*b - 23. Let z = b - 2. Suppose z*f - 6 = 9. Is f a multiple of 4?
False
Is -10*((-21)/(-35))/((-6)/92) a multiple of 15?
False
Is (-4)/(-4) + -4 - -18 a multiple of 4?
False
Let y(t) = -10*t + 12. Is y(-10) a multiple of 14?
True
Let q(f) = f**2 - 3*f - 2. Let z = -28 - -19. Let n(r) = -r - 1. Let a be n(z). Is q(a) a multiple of 19?
True
Suppose 83 = 3*j - 3*m - 373, -2*m = -4*j + 608. Does 12 divide j?
False
Let g = -8 + 14. Suppose 5*j = 14 + g. Suppose t + 2*p = 14, -2*p - 50 - 36 = -j*t. Is t a multiple of 9?
False
Let t be ((-20)/16)/((-1)/4). Suppose 3*i - 34 - t = 0. Does 5 divide i?
False
Let l be ((-8)/10)/((-2)/10). Suppose -t + l = -5*h, t + h + 0 + 8 = 0. Is 6 a factor of (-134)/(-8) + t/8?
False
Let j(d) = d**2 + 4*d + 6. Does 6 divide j(-6)?
True
Let o = -19 + 28. Is 3 a factor of o?
True
Suppose -f + 3 = -1, -3*n - 5*f = -134. Let j be n/8 + (-9)/12. Let w(a) = -a**3 + 6*a**2 - 4*a + 1. Is 16 a factor of w(j)?
False
Let z(u) = u + 27. Is 3 a factor of z(-17)?
False
Let q(u) be the first derivative of -u**4/4 - 4*u**3 - u**2 - 8*u + 5. Is q(-12) a multiple of 8?
True
Let d(f) = 2*f + 7. Is 4 a factor of d(0)?
False
Let k = -29 + 92. Is k a multiple of 7?
True
Let p(y) = 4*y**2 + 2*y - 9. Let h be 6/(-3) - (2 - 8). Does 21 divide p(h)?
True
Let y(t) = 4*t - 2. Suppose 0 = 3*j - 4*j + 3. Is y(j) a multiple of 5?
True
Let x(c) = -5*c + c + 0*c. Let g be x(-1). Let h = 7 - g. Is 2 a factor of h?
False
Does 15 divide 121/3 + (-1)/3?
False
Let m be (-6)/(-21) + 321/(-21). Let r be -10*(12/m)/2. Suppose r*n + n - 230 = 0. Does 19 divide n?
False
Let v be (-111)/(-2)*(-2)/(-3). Suppose 2*z = 5*n + 4*z - 61, -3*n + v = z. Does 3 divide n?
False
Let k be ((-12)/(-8))/(2/20). Does 20 divide 24/k*5*5?
True
Let d(u) be the first derivative of -19*u**2/2 + 3*u - 5. Is d(-3) a multiple of 14?
False
Let w(k) = -29*k. Let x be w(-1). Let z be 18/81 + x/(-9). Let d(v) = 2*v**2 - 3*v - 2. Is 21 a factor of d(z)?
False
Let k be (-2)/(-5) - (-1272)/20. Let r = k + 2. Does 22 divide r?
True
Suppose 0 = a - 3*a + 24. Is a a multiple of 12?
True
Let w = -1 + -8. Let d = w - -3. Is 12 a factor of (-52)/(-3) - d/(-18)?
False
Suppose -6*i = -5 - 1. Let d = i - -18. Is 5 a factor of d?
False
Let s = 68 - 40. Does 16 divide s?
False
Let s(y) = y**3 - 3*y**2 + 2. Let p be s(3). Is p/3*(-90)/(-4) a multiple of 10?
False
Let c = 41 + -30. Is 7 a factor of c?
False
Let k(v) be the third derivative of 11*v**6/120 + v**5/60 - v**4/24 - 4*v**2. Is 11 a factor of k(1)?
True
Suppose -t + 8 = -4*c, 0 = 2*t - t - c - 5. Suppose 0 = -2*r + t*p + 34, -7*r + 61 = -4*r + 4*p. Does 19 divide r?
True
Suppose 4*o - 543 = o. Suppose -19 = 3*t - o. Does 20 divide t?
False
Let d(o) = -2*o + 7. Let k be d(0). Let z = -2 + k. Does 5 divide z?
True
Let t = -10 + 16. Let g(y) = -y + 3*y - 9 + 0*y. Is g(t) a multiple of 3?
True
Let f(q) = -2*q - 9. Let c be f(-6). Suppose 4*i + c*p = -i + 303, -3*i + 4*p = -176. Is 15 a factor of i?
True
Let r(x) = x**2 - 9*x + 1. Does 6 divide r(12)?
False
Suppose -2*x - 4*v = -20, 5*v - 22 = -7. Suppose 203 = 5*z - w, w = 1 - x. Is 17 a factor of z?
False
Let l(k) = -k**2 + 8*k + 1. Is 8 a factor of l(7)?
True
Suppose 226 = 3*n - 26. Suppose 4*s + 6 - 108 = -2*k, -3*s = -k - n. Does 12 divide s?
False
Is ((-12)/15 - 0)*-25 a multiple of 18?
False
Suppose 5*s - 128 = 27. Suppose 3*x + 4*c = 12, s = 6*x - 4*x - 5*c. Is x a multiple of 6?
False
Let k = -29 + 47. Does 18 divide k?
True
Let l be 2*(28/8)/7. Let o(n) = 23*n**3 - 2*n**2 + 2*n - 1. Is o(l) a multiple of 11?
True
Suppose 6*k = 3*k. Suppose i = m - 70, 5*m + k*i - 358 = i. Is m a multiple of 24?
True
Suppose 2*v + 3*i - 25 = 0, -4*i + 15 = -v - 0*i. Is v even?
False
Suppose -2*o + 3*o = 0. Suppose r = -4*n + 7*n - 64, -3*n - r + 68 = o. Does 6 divide n?
False
Suppose 11 = 3*o - 28. Let h = o - 3. Is 4 a factor of h?
False
Let g = 29 + -21. Is g a multiple of 4?
True
Does 10 divide (25/(-4))/((-1)/4)?
False
Let k be 1/(-1*1/(-41)). Suppose 79 + k = 6*w. Is w a multiple of 10?
True
Is 14/(-4)*11/(55/(-60)) a multiple of 6?
True
Suppose -2*j + 7*j + 50 = -5*q, 5*j = -q - 38. Let c = j - -60. Is 19 a factor of c?
False
Suppose 14 = -2*s - s + 5*b, 0 = -3*b + 12. Suppose s*i - 3*i + 16 = 0. Is 8 a factor of i?
True
Let u = -5 - -2. Let h be (-4)/6 - 95/u. Suppose k + h = 2*k. Does 11 divide k?
False
Suppose f - 26 = -4*t, 12 = -2*t - 4*f + 32. Let a(h) = h**3 - 5*h**2 - 6*h. Let l be a(t). Suppose l = 3*z - z - 56. Is z a multiple of 23?
False
Let h(r) = r - 1. Let n be h(3). Suppose 0 = -3*g - n*o + o + 28, -4*g - o = -36. Does 5 divide g?
False
Suppose 492 = 2*i - 0*g - 2*g, -243 = -i - 2*g. Is 35 a factor of i?
True
Let i = -358 + 551. Does 23 divide i?
False
Let p = -8 + 2. Is 8 a factor of ((-140)/p)/(4/6)?
False
Let g be (12/(-8))/((-3)/(-28)). Is (g/(-21))/((-6)/(-369)) a multiple of 28?
False
Let b = 8 + 4. Suppose 5*n = 5*g + 20, 3*n - 5*g = -n + b. Suppose d = -0*d + n. Does 8 divide d?
True
Let z = 22 + 40. Does 6 divide z?
False
Suppose -5*g = -n - g - 7, 1 = -3*n + 2*g. Let f be (n + 6/(-4))*-4. Suppose -f*k + 135 = 3*k. Does 10 divide k?
False
Suppose 2 = m + 3*v - 4, v = -m + 6. Is m a multiple of 6?
True
Suppose -2*k + 5*k = 0. Suppose -s = -k*s - 5. Is 3 a factor of s?
False
Let h = -11 - -13. Suppose s = h*u - 66, 4*u - u + 2*s - 85 = 0. Is u a multiple of 13?
False
Suppose -3 = -v - 4*h, 7 = -2*h - 1. Is v a multiple of 9?
False
Let x(m) be the first derivative of -m**3/3 + 3*m**2/2 + 1. Let c be x(2). Suppose -33 = -g - c*g. Is g a multiple of 4?
False
Suppose 5*q + 5*p + 0 = 50, -10 = q - 4*p. Let f = q - 8. Does 10 divide (7 - -2) + f + 3?
True
Let b(t) = -t**2 + t - 1. Let r(y) = y**2. Let h(k) = 5*k**2 + 4*k + 12. Let s(j) = -h(j) - 2*r(j). Let x(n) = -6*b(n) + s(n). Is 15 a factor of x(-7)?
True
Suppose -80 = -5*w - 5*m, 2*m + 115 = 5*w - 0*w. Is w a multiple of 10?
False
Let n = 4 + 0. Suppose -4 = 15*k - 17*k. Suppose 19 = q - n*l, q + l - k*l - 10 = 0. Does 3 divide q?
False
Let t = 4 + 74. Is t a multiple of 18?
False
Suppose 0*x + 5 = q + 2*x, -x - 25 = -5*q. Let z(n) = n**2 - 3*n - 6. Is z(q) a multiple of 2?
True
Let x(f) = f**3 + 5*f**2 - f + 6. Let b be x(-5). Suppose -4*r = -8, 4*n + 4*r - 93 - b = 0. Is 24 a factor of n?
True
Suppose -5*q = -4*y + 122, -2*y + 39 = 4*q - 9. Let k = y + -14. Does 7 divide k?
True
Suppose -d + 3*h + 39 = 0, 36 = d - 0*d - 4*h. Is 8 a factor of d?
True
Let n = -147 - -345. Is 18 a factor of n?
True
Let z(b) = 39*b - 4. Is 19 a factor of z(2)?
False
Does 4 divide ((-51)/(-34))/(1/30)?
False
Let k(o) = 4*o - 2. Let b = 12 - 7. Let d be k(b). Let t = 31 - d. Is 13 a factor of t?
True