 + 8*f + 10. Let z be y(-7). Let o(g) = 22 + 4*g**2 + g**z - 3*g**2 + 17. Is 24 a factor of o(0)?
False
Let h(m) = -m**3 - 10*m**2 - m - 10. Let i be h(-10). Does 14 divide -1*(-3 + -40 - i)?
False
Is (-1)/(4 - (-285)/(-70)) a multiple of 12?
False
Suppose 0*j = 4*j - 12. Suppose -3*w - j*k + 77 = -2*k, -2*w - 3*k + 56 = 0. Is 14 a factor of w?
False
Suppose 48*w - 42*w = 54. Is w even?
False
Let z = 541 - 338. Is 32 a factor of z?
False
Suppose -2*k + 5*u = -0*u - 39, 0 = 2*k - 2*u - 24. Suppose -j + 2*j = k. Is 4 a factor of j?
False
Let k = 48 - 41. Is 5 a factor of k?
False
Let a(m) be the first derivative of -m**7/840 + m**6/60 + m**5/24 + m**4/8 + 2*m**3/3 + 4. Let t(g) be the third derivative of a(g). Is t(6) a multiple of 15?
False
Let r(b) = -b**3 - 2*b**2 + b - 2. Let z be r(-3). Suppose 0 = -3*j - z*g + 58, 0 = -3*j + 5*g + 76. Is 11 a factor of j?
True
Suppose -5*v = -25, 5*v - 39 = -4*z + 2*z. Does 2 divide z?
False
Let j be 60/25*(-290)/(-4). Suppose 0 = -3*o + a + 2*a + j, 3*o = 2*a + 176. Is o a multiple of 20?
True
Is 3/5 + (-5205)/(-75) a multiple of 14?
True
Let j(p) = -p - 10. Let l be j(-13). Suppose 7*u - l*u - 48 = 0. Is 12 a factor of u?
True
Let r = 183 + -100. Does 17 divide r?
False
Let h(m) = m**3 + 3*m**2 - 5*m + 1. Let t be h(-4). Suppose 3*x - 212 = -2*x + 2*y, 240 = t*x + 5*y. Does 22 divide x?
True
Let c(z) = 2*z**2 - 9*z + 12. Is c(9) a multiple of 26?
False
Suppose 5*n + 16 = 1. Is n*(0 + -3) - 1 a multiple of 4?
True
Let z(y) = y**3 - y**2 - y. Let q(c) = 5*c**3 - 12*c + 3. Let i(l) = -q(l) + 6*z(l). Let h be i(6). Suppose -4*r + h = -r. Is r a multiple of 11?
True
Let c be (3/(-5))/((-1)/55). Suppose 4*s - 17 + 5 = 0. Suppose s*t + 3*q - c = -t, 3 = q. Is t a multiple of 6?
True
Suppose 4 = -2*v + 64. Is 10 a factor of v?
True
Let o(k) = -29*k + 51. Is o(-7) a multiple of 26?
False
Let g(j) be the third derivative of -j**6/120 - j**5/20 + j**4/4 + j**3 - 2*j**2. Let o be g(-4). Is 28/o*2*-1 a multiple of 14?
True
Suppose -20 + 0 = -4*v. Suppose 0 = v*h - 8*h. Suppose 3*a = m - 48, 3*m - 3*a - a - 124 = h. Does 13 divide m?
False
Let m(i) be the third derivative of i**5/20 - i**4/8 - i**3/3 + 2*i**2. Let w be 0 + 0/1 - 2. Does 8 divide m(w)?
True
Let x(q) = 6*q - 15. Is 7 a factor of x(6)?
True
Let n(t) be the first derivative of t**4/4 + 2*t**3 - 9*t**2/2 - 7*t + 7. Suppose 4*c = -11 - 17. Is 7 a factor of n(c)?
True
Let c = 91 - -36. Is c a multiple of 26?
False
Let c(j) = 2*j**2 + 11*j - 25. Let h(f) = -4*f**2 + 5*f - 4*f**2 + 9*f**2 - 12. Let k(u) = -6*c(u) + 13*h(u). Is 9 a factor of k(6)?
False
Let f(u) = u**3 + 12*u**2 + 3. Let n be f(-12). Let b(r) = -r**3 - 3*r**2 + 2*r - 5. Let t be b(-4). Suppose -t*s = -15 + n. Is 2 a factor of s?
True
Let c(k) = -k**3 - 9*k**2 - k + 2. Let a(v) = -2*v**3 - 18*v**2 - 2*v + 3. Let d(p) = -2*a(p) + 5*c(p). Does 8 divide d(-9)?
False
Let d(j) = 3*j - 8. Suppose -5*g - 2*k + 48 = 0, 2*k + 52 = 4*g + g. Is d(g) a multiple of 22?
True
Is 616/10 - (-10)/25 a multiple of 7?
False
Suppose k = -3*k + 8. Suppose -k*v + 25 = 3*v. Is 2 a factor of v?
False
Suppose x - 4 = 4*u, x - u - 28 = -5*u. Is x a multiple of 3?
False
Let c = -12 + 4. Let j = c - 4. Let s = j + 32. Is s a multiple of 13?
False
Let k(i) = -i**3 - 6*i**2 - 7*i - 6. Let b be k(-5). Suppose -5*p + p + 84 = b*n, 5*p - 60 = 4*n. Is p a multiple of 7?
False
Let x = -1 - -4. Let j = -8 + x. Let r = j - -11. Is 6 a factor of r?
True
Let r(c) = -2*c + 82. Does 31 divide r(-21)?
True
Let w = 28 - 10. Does 6 divide w?
True
Suppose -66 = -5*y + 44. Is 22 a factor of y?
True
Suppose w + 105 = 5*k, k - 1 = 5*w - 4. Does 11 divide k?
True
Let u = 8 - 4. Suppose -2*j + 11 = 1, 20 = 4*x + u*j. Suppose -137 = -5*s - 4*r, -3*s + x*s = r - 78. Is s a multiple of 14?
False
Suppose -2*o + 6*o + 120 = 0. Does 6 divide (-24)/10*o/4?
True
Let y(j) = 7 + 0*j + j**2 - 2 + 3*j. Does 7 divide y(-6)?
False
Let y be 2/(1/((-3)/(-2))). Let q = 5 - y. Does 15 divide (100/5)/(q/4)?
False
Suppose -2*p + 3 - 17 = 0. Let x(y) = -y**3 - 6*y**2 + 7*y + 8. Is 4 a factor of x(p)?
True
Let c = -15 + 7. Let f be c/10*575/(-10). Let v = f + -28. Does 9 divide v?
True
Let f = -92 + 156. Is 36 a factor of f?
False
Suppose -x + 10 = 4*x. Suppose x*u + 5*t - 18 = 0, -16 = -u - u - 4*t. Is u a multiple of 4?
True
Let u = -73 + 50. Let d = 43 + u. Is 10 a factor of d?
True
Let u(o) = -40*o**3 + 2*o**2 + 4*o - 1. Is 27 a factor of u(-2)?
False
Let x(m) = -82*m - 20. Does 6 divide x(-2)?
True
Suppose -2*x + 744 = 4*g, 23*g - 27*g + 732 = -4*x. Is g a multiple of 11?
False
Let r(t) be the third derivative of 2*t**4/3 + t**3/3 + 2*t**2. Let m be r(3). Suppose -5*g + 5*b = -m, 3*b + 10 = -3*g - 2*b. Does 4 divide g?
False
Let x be (-22)/(-8) + 4/16. Suppose -3*i = -2*i, x*i + 32 = u. Is u a multiple of 16?
True
Let z(y) = -3*y + 2. Let k be z(-3). Let i = 0 + k. Does 6 divide i?
False
Let p = 182 - 99. Suppose 0*l + 5*w = 2*l - 46, -3*l + p = -4*w. Suppose 3*i = l + 69. Is i a multiple of 16?
False
Let o = -7 - -29. Suppose 3*u + o = -4*l, -u - 4*l = -4*u - 14. Let n(p) = p**2 + 4*p - 5. Is n(u) a multiple of 7?
True
Let f be ((-4)/3)/(7/(-21)). Suppose 16 = i - f*a, 3*a + 10 = -2*i - 2. Does 8 divide (i - 4)/(4/(-16))?
True
Let s(f) = f**3 + 3*f**2 - 2*f - 2. Suppose -5*u = 5*l + 20, 0 = u - l + 6*l + 4. Let y be s(u). Does 18 divide (38/(-4))/(5/y)?
False
Suppose 3*o - 11 - 10 = 0. Suppose -i = 3 - o. Is i a multiple of 4?
True
Let x(p) be the third derivative of -p**5/60 + p**4/4 + 2*p**3/3 + 3*p**2. Suppose j - 16 = -3*j. Is x(j) a multiple of 12?
True
Let j = 24 + -7. Let r = j + -5. Is r a multiple of 8?
False
Let x(s) be the first derivative of -29*s**2/2 + 2. Let h be x(-2). Let q = h + -40. Is q a multiple of 8?
False
Let q(m) = m**3 + 5*m**2 - m + 4. Let o be q(-5). Let v = -7 + o. Suppose 42 = p - v. Does 18 divide p?
False
Suppose -2*i - 10 = -2*o, 0 = 5*o - 3*i + 5*i - 25. Suppose y - 21 = -3*m - 2*y, -o*m = 3*y - 41. Is m a multiple of 5?
True
Let d(p) = -p**3 - 6*p**2 + 7*p - 1. Let k be d(-7). Let q(l) = 43*l**3 + 2*l**2 + 2*l + 1. Let v be q(k). Is 18 a factor of ((-12)/(-14))/((-2)/v)?
True
Let c(k) = -2*k**2 - 2*k + 4. Let s be c(-3). Let x be (-2)/s + (-3)/12. Let f = x + 11. Is 11 a factor of f?
True
Let q = -20 - -46. Is 26 a factor of q?
True
Suppose -5*m = -8*m + 48. Suppose -c + m = 1. Is c a multiple of 15?
True
Suppose 4*y - 3*g - 2 - 94 = 0, 5*g + 96 = 4*y. Is 12 a factor of y?
True
Let k(m) = 2*m**2 + 15*m + 14. Does 9 divide k(-9)?
False
Let g(c) be the third derivative of c**5/20 - c**4/12 - c**2. Suppose 4*a + 16 = -4*s + 4, -5*a = s - 5. Is g(a) a multiple of 6?
False
Let d = 1 + 3. Let h be 12*-8 + d/2. Is 7 a factor of h/(-5) - (-2)/10?
False
Suppose -2*f = f. Suppose 3*s = -i + 28, i - s = -f*i + 32. Does 10 divide i?
False
Let y(i) be the first derivative of i**3/3 - 4*i**2 + 4. Is 11 a factor of y(11)?
True
Let i(d) = -3*d**2 + d**3 - 9*d**3 + 5 - 3*d + 7*d**3 + 7*d. Does 2 divide i(-4)?
False
Suppose 0 = -2*z - 2*z + 16. Suppose 4*n + 1 = -2*a + 3, 2*n = -4*a + z. Suppose 3*h = -n*h + 60. Does 10 divide h?
True
Suppose -5*l = -4*l - 5. Suppose 19*r - 23*r = -176. Suppose 0 = 2*c + 5*j - 15, -l*c = 2*j - r - 4. Is 10 a factor of c?
True
Let l(q) = 2*q - 9. Let n be l(6). Let r(v) = -n*v**2 + v**2 + v**2 + 2. Is r(0) even?
True
Let o = 90 - 47. Let c = o - 20. Does 7 divide c?
False
Suppose i - 5 - 5 = 0. Let a be -3 - ((-9)/1 + 2). Let d = i + a. Is d a multiple of 9?
False
Suppose -3*c + 172 = -59. Suppose -3*q + c = -79. Does 13 divide q?
True
Let f = 7 - -97. Is 7 a factor of f?
False
Let a be 39/2 + 3/6. Suppose -1 - a = -u. Let f = u - 7. Does 7 divide f?
True
Let h(f) be the third derivative of f**4/24 + 11*f**3/6 - 4*f**2. Let z be h(-9). Is (z - 4)/(6/(-45)) a multiple of 11?
False
Let t be (-2)/9 + 490/(-63). Let h = t - -41. Is 21 a factor of h?
False
Suppose -5*d + 70 = -n + 6*n, 72 = 5*n + 3*d. Is n a multiple of 4?
False
Let l = 0 + 9. Let b = 23 - l. Is 7 a factor of b?
True
Suppose -7*o + 720 = -2*o + l, -o - 2*l = -144. Is o a multiple of 18?
True
Suppose -2*n + 1035 = 3*n. Is 39 a factor of n?
False
Let h(g) = 6*g - 34. Is 6 a factor of h(10)?
False
Let m be 3 - ((2 - -1) + -2). Suppose -5 = -l - 1, 