 the first derivative of 3*q**2/2 + 5. Does 8 divide a(c)?
False
Suppose f = -f + v + 283, 5*f + 4*v - 740 = 0. Is 21 a factor of f?
False
Let r(m) be the first derivative of m**4/4 + 7*m**3/3 - 2*m**2 - 4*m - 1. Let h(n) = n**3 - 6*n**2 + 5*n - 7. Let q be h(5). Is r(q) a multiple of 12?
True
Let i(r) = r - 1. Let p(f) = f - 4. Let b(w) = 5*i(w) - p(w). Let x be b(4). Suppose -u - 2*u = -x. Is u a multiple of 5?
True
Let n = -114 + 253. Is n a multiple of 13?
False
Suppose 0 = 10*l - 134 + 34. Is l a multiple of 10?
True
Suppose -4 = 5*n - n, 16 = -5*c - n. Let l = c - -39. Is 14 a factor of l?
False
Let c(y) = -y + 2. Let s be c(4). Let x be (-2)/(-4)*(-2 - s). Does 11 divide 11*(1 + x/(-1))?
True
Let k(o) = -4*o**2 - 2. Let h be k(-2). Let m = -14 - h. Is m even?
True
Suppose 13 = -3*d + 1. Let w(p) = 3*p**2 - 2*p - 2. Does 29 divide w(d)?
False
Let m(f) = -53*f**3 + 3*f**2 - 1. Is 9 a factor of m(-1)?
False
Let t be 16/20*5/(-1). Let m = t - -13. Is 9 a factor of m?
True
Let j(k) = k. Let u be j(5). Suppose -u*z + 44 = -3*z. Is z a multiple of 22?
True
Let o(u) = 6*u**2 + 9*u - 16. Let a(r) = r**2 + 2*r - 3. Let c(d) = -11*a(d) + 2*o(d). Let t be c(4). Let p = t + 7. Does 8 divide p?
True
Let r = -12 - -28. Is 8 a factor of r?
True
Suppose -11*r + 53 = -10*r. Is 30 a factor of r?
False
Let u be (-1 + 14/4)*46. Suppose -2*z + 40 = -0*z - 2*o, 2*o + u = 5*z. Does 10 divide (-1)/(-2) - z/(-2)?
False
Let c(m) = m**3 + 7*m**2 - 6*m - 4. Let a be c(-6). Let d = a - 32. Is d a multiple of 12?
True
Let v(x) = 12*x + 6. Is 7 a factor of v(2)?
False
Suppose -2*u + 12 = -u. Is u a multiple of 3?
True
Let b(s) = -s**3 + 3*s**2 + s - 1. Let h be b(3). Suppose h*m + 1 = 11, 3*z + 4*m - 56 = 0. Is z a multiple of 12?
True
Let t(d) = d**3 + 5*d**2 - 3*d - 7. Suppose 2*r = 5*o - 20, -6*o = -5*o + 3*r + 13. Suppose -4*a + o*q = 20, -3*a + 6*q = q + 15. Is t(a) a multiple of 8?
True
Let s = 48 - 14. Does 17 divide s?
True
Let c = -20 + -6. Let n = 42 + c. Is n a multiple of 14?
False
Let h(s) = -s**2 - 3*s + 2. Let p be h(-3). Let k = p - 2. Is k - 0/3 - -21 a multiple of 11?
False
Suppose 0 = n + 5*m - 35, 0 = -7*n + 8*n + m - 23. Is 4 a factor of n?
True
Let o be -2*(-47)/2 + 2. Let w = o + -120. Let j = 111 + w. Is j a multiple of 18?
False
Let i = -2 + 7. Is i a multiple of 5?
True
Suppose 0 = -2*k + 3*k - 24. Is k a multiple of 12?
True
Let d(n) = -2*n**3 + n**2 + 2*n + 1. Let p be d(-1). Suppose -2*l = -2, 4*x - p*l - 68 = 50. Does 6 divide x?
True
Is ((-2)/5)/(28/(-2520)) a multiple of 5?
False
Suppose 0 = 3*o - 3*r - 69, 3*o = 2*o + 2*r + 26. Does 20 divide o?
True
Let r = -209 + 302. Is r a multiple of 14?
False
Let s(l) = -l + 1. Let m be s(-2). Suppose -f = -m*f + 60. Suppose 2*p - f = 3*t, 0*p - 2*p = -4*t - 32. Is p a multiple of 5?
False
Let y = -3 - 0. Let n(p) = p**3 + 6*p**2 - p - 4. Let d be n(-6). Is y/(d*6/(-40)) a multiple of 5?
True
Let t = -2 + 2. Suppose -5*k - 9 + 34 = t. Suppose -k*p = -p - 116. Does 14 divide p?
False
Let y(m) = -m**3 + 2*m**2 + m + 2. Let p be y(2). Let s(a) = 11*a + 8. Let g(r) = -4*r - 3. Let f(j) = -17*g(j) - 6*s(j). Is f(p) a multiple of 7?
False
Let c = 102 - 50. Suppose 3*n + n = c. Does 13 divide n?
True
Suppose -3*l = -5*t - 165, -3*l + t + 297 = 2*l. Is 5 a factor of l?
True
Let p be (-4 + 1)/3 - -3. Suppose 0 = 3*y - 0*y - p*w - 122, -4*w + 196 = 5*y. Is 20 a factor of y?
True
Let j be ((-4)/(-12))/(1/3). Let r(n) = 2*n**2 - 2*n - 2*n**3 + 37*n**3 - 3 + 4. Is r(j) a multiple of 13?
False
Suppose -3 = -2*a - a. Let b be (-5)/(-2) + a/(-2). Suppose 2*h + 0 = -5*f - 6, 2*h = -b*f. Does 2 divide h?
True
Let l be 57/18 - (1 + (-20)/24). Suppose 2*y - 30 = 2*m, 2*y = -4*m - m + 23. Does 16 divide (l + y/(-4))*-50?
False
Suppose -3*q = 2*u - 28 - 160, 5*q + 172 = 2*u. Is 19 a factor of u?
False
Suppose -5*s + 3 = -2. Let b be (s - 8 - -2)/(-1). Suppose -b*p + x + 41 = -2*p, 3*x + 15 = 0. Is p a multiple of 6?
True
Let v = 287 + -199. Does 44 divide v?
True
Suppose 427 = 5*v - m, -2*m = 4*v + 2*m - 332. Is v a multiple of 17?
True
Let j(s) = -s - 4. Let y be j(-8). Suppose -y = -r - 1. Does 2 divide r?
False
Suppose -4*m + 3*m = -3. Let i = -25 - -36. Suppose i = m*j - 19. Is j a multiple of 10?
True
Let s = -49 + 11. Let a = -22 - s. Is a a multiple of 16?
True
Let g(j) = 2*j**2 + 2*j + 1. Let d be g(-2). Suppose -k + 13 = 4*v, k - 2*v - 3*v = -d. Suppose -k*y - 4 + 154 = 0. Does 15 divide y?
True
Suppose 4*t + t = 0. Suppose t = 2*p - p. Suppose p = -2*c + 8 + 12. Does 6 divide c?
False
Let j(q) = q**3 + 8*q**2 + 2. Let u be j(-8). Does 10 divide (-1)/(u*2/(-132))?
False
Let c be 4/(-5)*15/(-6). Does 17 divide (27/c)/(6/16)?
False
Suppose -c - l + 1 = -0*l, -4*c + 10 = -2*l. Suppose -72 = 3*q - 7*q. Suppose c*m + q = w + m, w = -m + 12. Is 15 a factor of w?
True
Let y = -20 - -32. Does 4 divide y?
True
Suppose 19*w = 20*w - 20. Does 8 divide w?
False
Suppose 6*r = 10*r + 72. Does 5 divide 6/(-4)*120/r?
True
Let h be 1/((-3)/30*-2). Suppose -2*a - h*k = 497, -2*k - k = -3*a - 693. Does 12 divide (-8)/(-20) - a/10?
True
Let p = 107 + -71. Is 23 a factor of p?
False
Suppose -4*x + 0*x = -436. Does 12 divide x?
False
Let w(c) = c**3 + 6*c**2 + 4*c - 7. Let m be w(-5). Does 10 divide (-86)/m + (-4)/(-2)?
False
Let t(r) = -r**2 + 8*r - 11. Let v be t(8). Let i = 28 - v. Is 11 a factor of i?
False
Let v(y) = 4*y**3 + 3*y - 4*y**2 - 4*y**2 + 6*y**2 - 3*y**2. Let h(d) = -5*d**3 + 5*d**2 - 3*d + 1. Let r(n) = -5*h(n) - 6*v(n). Is r(-4) a multiple of 11?
False
Suppose -5*y = 2*k + 2 - 6, y + k - 2 = 0. Let m = -10 - -13. Suppose 0*l + 5*l - m*g - 225 = 0, y = 3*l + g - 135. Is l a multiple of 15?
True
Does 3 divide ((-9)/(-6))/((-1)/(-16))?
True
Let f = -4 - -14. Is f a multiple of 2?
True
Suppose -l + 68 = -10. Let s = -50 + l. Does 9 divide s?
False
Suppose r = 10 + 19. Is 3 a factor of r?
False
Is 10 a factor of 9 - (-2)/(5 - 3)?
True
Suppose 0 = 4*w - 44 + 16. Let b(n) = n**3 - 7*n**2 + 2. Let v be b(w). Suppose f = v*f - 38. Is 19 a factor of f?
True
Let s(c) = -c**3 - 3*c**2 - 5*c - 3. Let v be s(5). Let f be (-4)/(-18) + (-492)/27. Is (v/f)/(2/6) a multiple of 13?
False
Let v = 232 + -148. Is 24 a factor of v?
False
Let h(g) = g**3 - 8*g**2 + 2*g - 13. Let j be h(8). Suppose 5*o - 4*m + 21 - 84 = 0, -m + 31 = j*o. Is o a multiple of 11?
True
Let a be -8*7*-1 + 0. Let n = a + -38. Is 7 a factor of n?
False
Let n(v) = 2*v**3 - 4*v - 1. Let t be n(6). Suppose 0 = -4*u - 131 + t. Is u a multiple of 23?
True
Let m = -36 + 82. Does 16 divide m?
False
Suppose 5*b - 6*b = 0. Is 6 a factor of -48*(b - 3/6)?
True
Suppose 0 = -2*v - 3*v + 25. Suppose 4*o = -5*n, -3*n - n = v*o. Suppose -2*b = 2*y - o*b - 84, -2*y + 84 = -5*b. Is y a multiple of 11?
False
Let y be 30/6*(-86)/(-10). Let o = y + -18. Is 14 a factor of o?
False
Let i = -7 + 1. Let s(g) = g**3 - 3*g**2 + g - 1. Let j be s(2). Is 9 + 0*j/i a multiple of 6?
False
Let o be -1 - (-2 - -5) - 5. Let l = 33 - o. Is 14 a factor of l?
True
Let f = 75 - 50. Does 6 divide f?
False
Suppose 5*i + 0 = -25. Let n = 14 + i. Is 9 a factor of n?
True
Suppose -2*s - 2*t = -8, 2*s + 11 = 4*t - 11. Let g be (0 + -1)/(s/5). Suppose b = 3*h - 16, h + 0*h + g*b = -16. Is h a multiple of 4?
True
Suppose -q + 280 = 2*t, -3*q + 1136 - 326 = -4*t. Does 30 divide q?
False
Let m(v) = -v**2 + 10*v - 9. Is 5 a factor of m(6)?
True
Let a = 13 + -9. Suppose -6*k = -k + 5*w - 35, -4*w - a = 0. Is k a multiple of 2?
True
Suppose 2*c = 15 + 19. Does 17 divide c?
True
Let n = -22 + 34. Does 7 divide n?
False
Let m(o) = -o**3 + 2*o + 1. Let b(h) = h**2 - 5*h - 10. Let p be b(7). Suppose -3*v - 2 = p. Is m(v) a multiple of 4?
False
Let t(o) = -o**3 + 8 + 3*o**2 + 2*o**3 - 6*o + 3*o**2. Let s be t(-7). Let d(y) = 7*y**3 - y**2 - y + 1. Is d(s) a multiple of 6?
True
Suppose 0 = -2*i + 142 + 232. Is i a multiple of 17?
True
Let p(t) = -t**3 + 4*t**2 + 6*t - 6. Let y be p(5). Let x(k) = 6*k**2 - 1. Does 2 divide x(y)?
False
Let u = 107 - 50. Does 7 divide u?
False
Let z be (7 - -129)*2/2. Suppose 46 - z = -3*r. Does 15 divide r?
True
Let n be ((0 - 0) + 4)/2. Suppose -2*q + 23 + 107 = -n*w, 137 = 2*q + 5*w. Is 20 a factor of q?
False
Let t be (-1)/(-2)*-1*16. Let c = 23 + -9. Let u = t + c. Does 3 div