 + 4*w**3/3 + 6*w**2. Is a(0) a multiple of 8?
True
Let n = -61 - -248. Does 11 divide n?
True
Let n be 180/7 + (-4)/(-14). Suppose -48 = -2*x + n. Does 10 divide x?
False
Let g(p) = 61*p**2 + p + 1. Does 17 divide g(-1)?
False
Let a(q) = 3*q - 2. Let p be a(2). Suppose 10 = -5*i, -3*o = -p*o + 3*i - 1. Does 6 divide o*2*6/(-4)?
False
Let h(s) = 4*s - 7. Does 20 divide h(9)?
False
Let q(x) = -2*x + 8. Is q(-5) a multiple of 9?
True
Let j(s) = -s - 5. Let x be j(-3). Let g(b) = -b + 1. Let d be g(x). Suppose -d*p = -5*v - 27, 0*p + 15 = 3*p - v. Is p a multiple of 4?
True
Let o = -39 + 89. Is 13 a factor of o?
False
Suppose -4*w = -2*d + 26, 3*w = 5*d + 8*w - 140. Let u = d - 12. Is 4 a factor of u?
False
Is 4/5*(-480)/((-16)/4) a multiple of 16?
True
Is 9 a factor of -6*(-2)/4 + 27?
False
Let i(v) = 4*v**2. Let x be i(-1). Suppose -x*c + 24 = -3*c. Suppose c = l + 2*l. Is 8 a factor of l?
True
Suppose 2*u + 3*u = 20, -p + 40 = -2*u. Is p a multiple of 39?
False
Let v(t) = -17*t - 1. Let c be ((-2)/(-3))/(2/(-3)). Let i be v(c). Suppose -25 = -y + 2*f, -8*f - i = -4*f. Is y a multiple of 12?
False
Let j = -9 + 16. Does 2 divide j?
False
Let p(q) = 5*q**2 - 6*q + 48. Is 32 a factor of p(6)?
True
Let s(a) = 14*a**2 - 3*a - 4. Is 19 a factor of s(-5)?
True
Suppose 3*w + 4*r = 8, 4*w - 19 = r + 2*r. Suppose -5*v + 5*x - 4*x = 24, x = w*v + 19. Does 17 divide 63/2 - v/(-10)?
False
Let k = 30 + 13. Is k a multiple of 13?
False
Suppose -6*r = -3*r - 3*b + 12, 0 = 5*r - b + 4. Let k = 120 - 74. Suppose m + 5*t - 2 = 0, 3*m + r*m + 5*t = k. Does 11 divide m?
True
Suppose 4*g - 5*i = -0*g, 4*g = 3*i. Let n = g + 18. Does 6 divide n?
True
Let n = -3 + 0. Let v = 5 - n. Let z = v + 8. Does 8 divide z?
True
Let p(r) = -r**3 - 4*r**2 + 5*r - 2. Suppose 3 - 15 = 2*v. Is 15 a factor of p(v)?
False
Suppose -5*k + 3*n + 760 = -18, 5*k - 776 = n. Is k a multiple of 15?
False
Let x(f) = -f**2 - 7*f - 13. Suppose -c + 2*l - 7 = 0, 2*l - 11 = -5*c - 46. Let q(r) = -r**2 - 6*r - 14. Let d(u) = c*q(u) + 6*x(u). Is d(0) a multiple of 10?
True
Let q(d) = 10*d**2 + 3*d - 1. Let t be q(2). Is 11 a factor of t + ((-6)/(-2) - 6)?
False
Suppose -2*n - 4*v - 181 = -3*n, 0 = n + 3*v - 188. Let w = n + -132. Is 13 a factor of w?
False
Let k(x) = 2*x**2 - 8*x - 9. Suppose -27 = -5*a + 13. Is k(a) a multiple of 20?
False
Let r be (7 - 9) + 55 + -1. Suppose -3*n - r = -3*v + 2*n, -5*n - 10 = 0. Is 14 a factor of v?
True
Let w = -12 + 28. Let s = 22 + w. Is 9 a factor of s?
False
Does 5 divide ((-4)/(-5))/((-20)/(-350))?
False
Suppose 0 = -2*k + 3*j + 204, -4*j = -5*k + 77 + 447. Is 18 a factor of k?
True
Suppose 3*a - 12 = -y, -y - 48 = -5*y - 5*a. Does 6 divide y?
True
Suppose 3*o - 193 = -58. Suppose c + 2*p = -3*c + 86, 0 = -2*c + p + o. Does 8 divide c?
False
Suppose 0 = 4*o + 4*u - 4, -3*o + u + 11 = -0*u. Suppose 0 = -2*s - 4*v + o + 1, -2*v - 2 = 0. Does 4 divide s?
True
Let d(l) = -3*l - 27. Let t(z) = -1. Let m(q) = -7. Let s(u) = -m(u) + 6*t(u). Let w(b) = d(b) + 18*s(b). Does 6 divide w(-7)?
True
Suppose 7 + 2 = 3*z. Suppose 52 = z*d - 4*u + 10, u - 17 = -2*d. Does 4 divide d?
False
Suppose -5*z = -2*w - 4, 3*w + 1 = 3*z + 2*z. Suppose 0 = -h - 0*h + z. Suppose -v + 57 = 5*g - h*g, g = 2*v + 26. Is g a multiple of 10?
True
Let k(n) = 17*n - 22. Is k(8) a multiple of 46?
False
Let y(l) = 5*l**2 - 3*l - 6. Is 4 a factor of y(-4)?
False
Let h = -2 + 0. Let r be (-4)/(-5)*15/h. Does 19 divide (-6)/9 - 250/r?
False
Let p be (-292)/(-16) - (-1)/(-4). Suppose p + 30 = v. Is 18 a factor of v?
False
Let k(v) = 12*v - 1. Suppose -5*o + 4 + 11 = 0. Is 15 a factor of k(o)?
False
Let r(a) = 3*a**2 - 2. Is r(-4) a multiple of 18?
False
Suppose 5*o - 3*w - 788 = -4*w, 2*w - 320 = -2*o. Is 18 a factor of o?
False
Suppose -2 = 5*a - 3*a. Does 12 divide -3 + (2 - a*33)?
False
Suppose -5*a = -0*a - 20. Suppose a*n - 3*v - 43 = 83, 2*v + 128 = 4*n. Does 11 divide n?
True
Let b(j) = 46*j**2 + 1. Let l be 6/9*(-6)/4. Let p be (-1)/(l + (2 - 2)). Does 18 divide b(p)?
False
Let i(g) = -2*g - 6*g + 2*g - 6. Is i(-8) a multiple of 21?
True
Let r = 369 + -152. Suppose -5*w = -r - 123. Suppose -y - w = -3*y. Does 17 divide y?
True
Does 15 divide (1 + 15)*195/12?
False
Suppose -40 = 3*h + 2*h. Let g = -5 - h. Suppose -2*m - 16 = -3*u, -g*u = -3*m + 3 - 21. Is 3 a factor of u?
False
Let d(t) = t - 10. Let m be d(10). Let x = -21 + 36. Suppose -4*b - 2*w + 39 = w, 3*w - x = m. Does 6 divide b?
True
Let x(b) = -22*b - 4. Is 36 a factor of x(-10)?
True
Suppose 4*d = 3*d + 127. Suppose d = 4*w + 5*g, 0*w + 4*w = -3*g + 121. Is 12 a factor of w?
False
Let t = 54 + -24. Is 6 a factor of t?
True
Suppose c - 120 = 5*c. Does 15 divide (c/(-8))/((-6)/(-24))?
True
Let o(y) = y. Let k be o(6). Let n be k/(-4)*(-8)/(-6). Does 5 divide 1 + n/1 + 14?
False
Let v be (2 + -1)/((-9)/(-1341)). Suppose 3 = -s, -5*l + s + v - 26 = 0. Is 12 a factor of l?
True
Suppose 147 = -2*o + 5*o. Is o a multiple of 9?
False
Let j = -9 - 8. Let s = 34 + j. Does 7 divide s?
False
Let z(c) = 3*c**3 - c**2 - 8*c - 6. Let v(b) = -2*b**3 + 2*b**2 + 7*b + 5. Let w(f) = 4*v(f) + 3*z(f). Is 4 a factor of w(-3)?
True
Let k(g) = -g**2 + 6*g - 7. Let z(q) = 2*q**2 - 12*q + 13. Let w(b) = 5*k(b) + 3*z(b). Does 3 divide w(6)?
False
Let r(s) = 11*s**2 - 2*s + 3. Let m be r(2). Let j = m - 22. Is j a multiple of 9?
False
Suppose 4*t = -2*z - 68, 5*z + 50 = -5*t - 45. Let v = -5 - t. Is 5 a factor of v?
True
Is (12/10)/(3/45) a multiple of 10?
False
Suppose -5*u = 3*d - 2 + 1, -4*d - u = -7. Let o(x) = -2 - 7 + 4*x + x**d + 3. Does 12 divide o(-8)?
False
Let r(z) = 60*z**2 - 2*z + 2. Is r(1) a multiple of 12?
True
Let c(v) = -9*v**3 - 1. Let m(w) be the third derivative of -w**5/60 - 5*w**4/24 - 5*w**3/6 - 2*w**2. Let k be m(-4). Is 4 a factor of c(k)?
True
Let q(z) be the third derivative of -z**4/24 - 2*z**2. Let d be q(0). Is 12 a factor of d/1 - 20*-1?
False
Let c = -19 - -16. Let l(o) = -10*o - 3. Does 10 divide l(c)?
False
Let h = 244 + -167. Suppose -3*c - h = -4*c. Is 28 a factor of c?
False
Let v = -86 - -131. Does 15 divide v?
True
Let k(d) = d**2 + d - 5. Let g be k(-5). Suppose x - c = g, -2*x + 0*c = c - 45. Is x a multiple of 7?
False
Suppose 5*v - 60 = 2*v. Is 17 a factor of v?
False
Let x(w) = -w + 10. Let j be x(7). Suppose 8*m = j*m + 90. Does 19 divide (-3)/m - (-230)/12?
True
Is 5 a factor of (3/9)/((-2)/(-114))?
False
Let n(k) = k - 5. Let v be n(8). Let y = v - 0. Suppose 0 = y*s - 8 + 2. Is s a multiple of 2?
True
Let k = 555 + -351. Is 21 a factor of k?
False
Suppose -3*v = -2*w - 4, v - w + 9 = 5*v. Suppose -v*n + 15 = -n. Does 12 divide n?
False
Let l = 2 + 13. Suppose -3 + 13 = 2*k. Suppose 7*o + l = 4*o, k*o = 4*h - 61. Is 3 a factor of h?
True
Let q(p) = -p - 3. Is q(-15) a multiple of 2?
True
Suppose 5*o - 4*x = -81, -2*x - 70 = 3*o + o. Let u be (-55)/(-2) + 1/(-2). Let f = o + u. Is f a multiple of 10?
True
Suppose 2*f - 18 = 4*g - 52, -4*g + 23 = -f. Let a be (18/(-5))/((-13)/(-65)). Let h = f - a. Is h a multiple of 7?
True
Let y(c) = 3*c**2 + 2*c - 2. Let a(g) = 3*g**2. Let p be a(-1). Suppose 0*n = -2*n - b + 4, -p*n + 2*b + 6 = 0. Is y(n) a multiple of 10?
False
Suppose 4*t - c - 79 = -0*c, t + c - 21 = 0. Does 4 divide t?
True
Suppose l - 6*l - 175 = 0. Let f = l + 50. Does 13 divide f?
False
Let u = -8 + 13. Suppose -100 = -3*y - 5*s, -4*s + 125 = 4*y - 19. Suppose -y = 3*v - u*v. Is v a multiple of 10?
True
Suppose -i + 1092 = 5*i. Does 14 divide i?
True
Suppose -5*h + 4*h + 2 = 0. Suppose 0 = -q + 13 + h. Is q a multiple of 11?
False
Let j(b) be the third derivative of -b**5/60 - b**4/8 + b**3/6 - 2*b**2. Let f be j(-4). Is 4 a factor of (f + 2)/((-3)/12)?
True
Let n(f) = f**2 + 4*f - 2. Let o be n(-4). Let p be (-1)/(0 - o/(-78)). Suppose 0*z - 5*z - p = -4*j, 0 = -3*z + 15. Does 6 divide j?
False
Let f(u) = -u + 11. Let a be f(7). Suppose -5*l = -a*t - 129, -28 = -2*l + 5*t + 27. Is 7 a factor of l?
False
Let n be (2/(-6))/(2/(-426)). Let j = n + -43. Is j a multiple of 14?
True
Let b(k) = 22*k**2 - 4. Is b(-2) a multiple of 21?
True
Does 55 divide 5 + (-184)/(-4) - -4?
True
Suppose -3*d + n + 355 = 0, 0 = d - 2*n - 77 - 38. Does 9 divide d?
False
Let t(w) = w**2 + w + 1. Let r(m) be the second deriva