 Let q be z(8). Let l = 36 - q. Is 7 a factor of l?
False
Let r be 29 - (0 + 2 + 0). Suppose 0 = -5*d + r + 8. Is 2 a factor of d?
False
Let p = 155 + -105. Suppose 3*i - p = -2*i. Is 9 a factor of i?
False
Let h(s) be the third derivative of s**4/3 + s**3/2 + 2*s**2. Let k be h(-2). Let t = 32 + k. Does 9 divide t?
False
Let f be (15/30)/((-1)/(-6)). Let j(a) be the second derivative of a**4/12 + 2*a**3/3 + a**2/2 - a. Is 11 a factor of j(f)?
True
Suppose 3*d - 2*p = 8*d - 10, -4*d + 31 = -3*p. Suppose -i - 30 = -3*c - 8, d*c - 31 = 3*i. Is 6 a factor of c?
False
Let v = -8 + 11. Suppose 256 - 47 = v*m - 5*n, -335 = -5*m + 5*n. Suppose 5*w + 3*o = 58, 4*w - m + 20 = o. Is w a multiple of 6?
False
Let c be -32 - -2*(-2 + 3). Let n be 40*(-3)/(c/4). Does 8 divide 5*1/(10/n)?
True
Let c(p) = -2*p - 40. Is c(-25) a multiple of 2?
True
Let r(o) = -o**2 + 5*o. Let a be r(4). Let q be 10/a*(-72)/(-20). Suppose q = c + 3. Is c a multiple of 2?
True
Suppose 6*v - 2*v + x = 261, -4*v + 5*x + 279 = 0. Is v a multiple of 22?
True
Suppose s = 3*s - 38. Is s a multiple of 12?
False
Let r(j) = 24*j + 1. Let v be r(1). Is 14 a factor of (v*2 - 0)/2?
False
Suppose 58 + 14 = 2*c. Suppose 0 = -4*g - 0*g + 4*w - c, -4*w = 5*g + 27. Let d(n) = -n**3 - 7*n**2 - 4*n + 5. Does 18 divide d(g)?
False
Let j = 49 - 19. Is j a multiple of 6?
True
Suppose j + 3*j + 24 = 0. Is 29 a factor of 58*(-3)/12*j?
True
Suppose 2*c - 16 = 5*k, 2*c - 16 = k - 0*k. Is c a multiple of 3?
False
Let a = 188 - 68. Is 6 a factor of a?
True
Suppose 2*s + 8 = 4*s. Is (-764)/(-28) + s/(-14) a multiple of 9?
True
Suppose -25 = -f - 4*f. Suppose 0 = -f*w + 31 + 4. Is 3 a factor of w?
False
Let f = -18 - -39. Is 7 a factor of f?
True
Let d = -35 + 58. Let s = d + -14. Is 5 a factor of s?
False
Let h = -17 + 26. Is 3 a factor of (42/h)/(1/3)?
False
Let o(x) = x**3 + 9*x**2 + 6*x - 2. Is 14 a factor of o(-6)?
True
Is 10 a factor of 1*73 - 18/6?
True
Let u be 0 + 2/(-4)*2. Let v be u/((-1)/25) + -1. Suppose 3*f - v = 5*z, -f - 1 = -5*z + 1. Is 10 a factor of f?
False
Suppose 5*b + 5*p + 10 = 0, b - 2*p = p + 10. Does 10 divide 11 + b*(1 - 2)?
True
Let g be (-4)/(-3*1/(-18)). Is 2 + 1 - 5 - g a multiple of 22?
True
Let p be (0/(-1) + -1)*287. Let d = -201 - p. Does 26 divide d?
False
Let l = -14 - -17. Let i(d) = -3*d**2 + 8*d + 1. Let a(c) = -c - 1. Let o(q) = -3*a(q) - i(q). Does 4 divide o(l)?
False
Suppose 0*t - 14 = -t. Let i = t - 21. Let v = 4 - i. Does 11 divide v?
True
Let m = -172 - -118. Let x = -31 - m. Is x a multiple of 10?
False
Suppose -5*c + c + 4*m + 252 = 0, c + 4*m - 58 = 0. Is c a multiple of 18?
False
Let q = 6 + 8. Let m = -38 + 54. Let f = q + m. Does 15 divide f?
True
Let w = 5 - 5. Suppose 0 = -w*p - 3*p + 12. Suppose p*k + 4*h - 32 = 0, -k - 2*h - 1 + 13 = 0. Is k a multiple of 4?
True
Let o = -59 + 118. Let j = o + -28. Is 12 a factor of j?
False
Suppose 2*r + 240 = 7*r. Suppose r = 2*s - 6*s. Is 14 a factor of (-8)/s + 80/6?
True
Let g(q) = q**2 + 3*q. Let r be g(-3). Let v(m) = r*m**2 - 5*m + m**2 - 7 + 2. Is 16 a factor of v(-4)?
False
Let q be (28/6)/(26/(-273)). Suppose -2*t = -2*a + 158, t = 4*a - 7 - 72. Let k = q - t. Is 19 a factor of k?
False
Suppose -6*m + 168 = -2*m. Is m a multiple of 3?
True
Suppose -114 = -5*s + 86. Is 10 a factor of s?
True
Let a be (-4)/(-14) + (-166)/(-7). Suppose -g = 2*g + 4*u + 1, -a = -4*g + u. Suppose -3*q = -g*q + 22. Does 3 divide q?
False
Let h(u) = -u**2 + 2*u - 1. Let t be h(2). Let i = 30 + t. Is i a multiple of 11?
False
Is (84/(-10))/(2/(-20)) a multiple of 14?
True
Let r be 5 + (-7 + 1)/3. Suppose 35 + 109 = -r*a. Is 8 a factor of (-1)/((-93)/a - 2)?
True
Let t = -17 + 35. Is t a multiple of 8?
False
Let v(h) = -h**3 + 7*h**2 + 8*h - 4. Is 13 a factor of v(7)?
True
Let m(r) = r**2 + 7. Let c be m(0). Suppose 0 = 2*a - 65 - c. Is 9 a factor of a?
True
Let x = 121 + -80. Is x a multiple of 10?
False
Suppose -610 = -3*a + 4*h, 194 = -3*a + 4*a + h. Does 23 divide a?
False
Let x = -63 + 21. Let a = -15 - x. Let d = 15 + a. Is 17 a factor of d?
False
Let t = 52 + -96. Suppose g + k - 21 - 48 = 0, 4*g - 284 = 4*k. Let a = g + t. Is a a multiple of 11?
False
Let g be 212/3 - 2/3. Let q = g + -48. Does 20 divide q?
False
Let t be (6 + 2)*1/(-2). Let g(x) = -7*x - 4. Let i be g(t). Suppose -5*u + 26 + i = 0. Does 3 divide u?
False
Does 22 divide (4/6)/((-4)/(-132))?
True
Suppose -3*g + g + 2*t + 100 = 0, -3*g + 148 = -t. Is 20 a factor of g?
False
Suppose 3*m - 22 = 50. Let x be m/15*(-5)/(-2). Suppose 0 = x*z + 5*g - 117, -4*z - 5*g = z - 145. Is z a multiple of 11?
False
Let z be 468/21 - (-2)/(-7). Is (11/z)/(1/24) a multiple of 4?
True
Is 3 - (4 - 1 - 15) a multiple of 4?
False
Let x be (-3 - 0 - -1)*-1. Suppose c - 3*q = 103, 4*q - 50 - 136 = -x*c. Suppose 27 - c = -5*a. Is 14 a factor of a?
True
Suppose 5*p = 3*k - 38, 0 = k + 5*p + 2 - 28. Is 3 a factor of k?
False
Suppose -4*q + 5 = i - 0*q, 3*q + 10 = 2*i. Suppose 0 = b + i*y - 25, 0 = b + 2*y - 7 - 9. Is 10 a factor of b?
True
Suppose -3*j + 6*j = -21. Let a(w) = -2*w + 6. Is a(j) a multiple of 10?
True
Let r(v) = 7*v**2 + 1. Is 14 a factor of r(3)?
False
Let u = -107 + 36. Let r = -47 - u. Is r a multiple of 12?
True
Let l(o) = 5*o**2 - 1. Let f be l(1). Is 19/4 - (-1)/f a multiple of 2?
False
Suppose 2*i = -4*v + 32, -3*v + 4*i + 50 = -i. Is 10 a factor of v?
True
Let o(x) = -x**3 + 7*x**2 + x + 1. Let w be o(5). Let l be w + -1 + -2 + 3. Does 4 divide (l/10)/(6/15)?
False
Let t(x) be the second derivative of x**5/60 - 7*x**4/24 + x**3 - 3*x**2/2 - x. Let p(u) be the first derivative of t(u). Is p(7) a multiple of 6?
True
Suppose 2 = 4*x - 6. Suppose 0 = x*g + t + 4*t - 18, t - 8 = 4*g. Is 7 a factor of (7/2)/(g/(-4))?
True
Suppose 2*y = 3*y - 4*p - 92, y + 5*p - 47 = 0. Suppose -2*v - 2*v = -y. Does 6 divide v?
True
Let a = 25 - -27. Is 17 a factor of a?
False
Suppose -9 = h - v, h - v = 3*v - 21. Let t be (1 - (-54)/(-15))*h. Let x = t - 8. Is x a multiple of 5?
True
Let n(l) = -l**3 - 7*l**2 - 4*l - 13. Is n(-9) a multiple of 7?
False
Let w(l) = -2*l**2 + 3*l - 5. Let s be w(-4). Does 28 divide (s/21)/(1/(-15))?
False
Let m(y) = 8*y - 24. Let n(u) = -4*u + 12. Let f(k) = -3*m(k) - 7*n(k). Let o(x) = -5*x + 13. Let b(d) = -4*f(d) - 3*o(d). Does 17 divide b(-8)?
True
Suppose -m + w = 6*w - 12, -10 = -2*m - 3*w. Suppose 38 = 2*o - m*p - 16, -5*o - 4*p = -126. Suppose 39 = 3*x - 5*l, -l = 2*x + 4*l - o. Is x a multiple of 13?
True
Let j(l) = -2*l. Is 5 a factor of j(-13)?
False
Let j(d) = 10*d**2 + 3*d**2 + 3*d**2. Does 10 divide j(1)?
False
Suppose -3*a + 74 = -31. Does 4 divide a?
False
Is 7 a factor of 3/(-2)*620/(-15)?
False
Let o(p) = -2*p**2 + 2*p - 2. Let j be o(2). Is 13 a factor of j*((-160)/6)/5?
False
Suppose -4*y - v + 3*v + 8 = 0, -10 = -4*y + v. Is 3 a factor of y?
True
Suppose 0 = 3*i - 4*i + 84. Does 22 divide 1/((-166)/i + 2)?
False
Let b = 52 - 24. Is 28 a factor of b?
True
Suppose -g + 2*g - 15 = 0. Is 3 a factor of g?
True
Suppose 2*t = 2*z + 76, -5*t + 5*z + 205 = 3*z. Is 13 a factor of t?
False
Let g be 2/(-7) + 508/14. Let f(z) = -z**3 - z**2 + 3*z - 1. Let h be f(-3). Suppose h = 2*k - g. Is k a multiple of 8?
False
Let x(m) = -m + 80. Suppose 2*f = -5*f. Does 20 divide x(f)?
True
Let t = 20 + -2. Is t a multiple of 6?
True
Suppose -15 = -5*r - 0*r - 4*j, r - 3*j + 16 = 0. Let b be (2 - r)*(-4)/(-2). Suppose -5*n + 21 - b = 0. Is n a multiple of 2?
False
Let f be 3 + -4 - (0 - 1). Suppose f = 3*i - 14 - 7. Does 3 divide i?
False
Let h(m) = -m**2 - 5*m - 4. Let x be h(-5). Let q(o) be the second derivative of o**5/20 + 7*o**4/12 + 5*o**3/6 - 3*o**2/2 - o. Is 14 a factor of q(x)?
False
Let f = 34 + -19. Is f a multiple of 15?
True
Let q(n) = n**3 + 11*n**2 - 17*n - 24. Does 20 divide q(-12)?
False
Let v = 19 - 16. Suppose v*n - 99 = -0*n. Is 9 a factor of n?
False
Let p(d) = 6*d**3 - 16*d**2 + 6*d - 8. Let g(a) = -7*a**3 + 17*a**2 - 6*a + 9. Let l(q) = 5*g(q) + 6*p(q). Is 13 a factor of l(11)?
False
Suppose -39 = -5*w - 4. Let i = -3 + w. Suppose 0 = -i*b + 1 - 5, -5 = -3*g - 4*b. Is 3 a factor of g?
True
Suppose -2*m + 2*a + 312 = 0, 0*m + 4*m + a = 609. Suppose 3*i = 99 + m. Is i a multiple of 28?
True
Let y = 53 - 26. Is 9 a factor of y?
True