 Let g be f(6). Let h be g/4 + (-282)/(-8). Suppose 2*y - 7*y + h = 0. Is 7 a factor of y?
True
Let u be (-430)/(-35) + (-4)/14. Suppose -2*w = -w - u. Let o = -5 + w. Is o a multiple of 7?
True
Let n = 5 + -5. Suppose -3*p + 4*p - 50 = n. Is 17 a factor of p?
False
Let v(m) = m**3 + 6*m**2 + 4*m - 1. Let r be v(-5). Suppose -4*t = -3*s + 36 + 13, -26 = -2*s - r*t. Is s a multiple of 4?
False
Suppose 2*v = -3*y + 2, 3*v = 2*v + 1. Suppose -2*a + a + 6 = y. Suppose 3*f + a = 24. Is f a multiple of 6?
True
Is (-38)/(-2 + 1)*266/28 a multiple of 19?
True
Suppose 0 = -0*p - 3*p. Suppose p = n - 85 - 35. Does 16 divide (n/(-9))/((-2)/6)?
False
Suppose 3*p - p = -2. Let z = 5 + p. Suppose 0 = -k + z*d + 17, 0*d = 5*k - d - 123. Is k a multiple of 13?
False
Let l be 20/(8/2) - 3. Is (-194)/(-7) - l/(-7) a multiple of 14?
True
Suppose 0 = -2*y - 2*y - 4, 6 = 2*g - 2*y. Let f(k) = g*k**2 - 1 + 13*k - 3*k - 3*k**2. Is f(9) a multiple of 7?
False
Let l(m) = 2*m**2 - 7*m - 13. Let z be l(7). Suppose 6 = -n + 3*w, -2*n - 4*w = -0*w - 28. Does 17 divide (z - 1) + (-12)/n?
False
Let g(s) = s + 8. Let m be g(-10). Is 3 a factor of m/3 - 34/(-6)?
False
Let l = -8 - -48. Does 10 divide l?
True
Let l(s) = 24*s**2 + s**2 + 4 - 1 - 2. Is 19 a factor of l(1)?
False
Let f(c) = -1 - c**2 + 0*c**2 - 3 + 4*c**2 - c. Let x be f(7). Let b = x + -81. Does 24 divide b?
False
Let c(v) be the first derivative of 10*v**2 + 4*v + 3. Let j be c(-4). Let r = 111 + j. Does 20 divide r?
False
Suppose -4*z + 2 = -6*z. Does 16 divide z/(4/(-144)*1)?
False
Is -21*((-6)/18 + -3) a multiple of 7?
True
Suppose 0 = -5*t, 0 = -2*g + 4*t - 6*t + 6. Suppose 0 = k - g. Suppose -q - 8 = 3*q, 2*j + k*q - 2 = 0. Is 2 a factor of j?
True
Let p(t) = t**3 + 10*t**2 + t + 13. Let g be p(-10). Suppose -g*v + 18 = -36. Does 6 divide v?
True
Let y = -5 - -5. Suppose 3*q = -y*q + 4*p + 9, 0 = 2*q + p + 5. Let s(d) = -25*d**3 - 2*d**2 - d. Is 12 a factor of s(q)?
True
Let d(a) = 3*a + 2. Let z(i) = -i**3 - 4*i**2 - 4*i - 3. Let x be z(-3). Does 2 divide d(x)?
True
Suppose -3*q = -0*q. Suppose -16 = -q*k - k. Is k a multiple of 16?
True
Let d = -57 + 121. Is d a multiple of 32?
True
Let j = -31 + 59. Is j a multiple of 9?
False
Is (-11 + 1)*(-242)/55 a multiple of 11?
True
Suppose 8*t = 3*t - 15. Let u(z) = -8*z. Let x be u(-2). Is t*1*x/(-6) a multiple of 4?
True
Does 27 divide -3 + 1 + 29/1?
True
Let z(f) = -2*f**2 - 32*f - 20. Is 3 a factor of z(-15)?
False
Let r(d) = -d - 1. Let w be r(-6). Suppose 0*n - w*n = -20. Does 16 divide 1/n + (-63)/(-4)?
True
Let i be 1/(-2) - (-356)/(-8). Is 10 a factor of (-750)/i*6/5?
True
Let y(k) = k**2 - 12*k + 13. Let p be y(11). Suppose -p*r + 122 = -378. Suppose -v = -3*v + 10, r = 5*l - 3*v. Does 17 divide l?
False
Suppose -380 = -5*c + 170. Let m(d) = -d**3 - 2*d**2 - 4. Let i be m(-3). Suppose -i*h + c = -0*h. Is 11 a factor of h?
True
Let h = 28 - -5. Suppose h - 177 = -3*k. Is 24 a factor of k?
True
Is 4/(-8)*9*-12 a multiple of 8?
False
Let r(v) = v**2 + v - 1. Let b be r(-3). Suppose -w = -b*w + 88. Is 19 a factor of w?
False
Let v(m) = -66*m - 3. Let n be v(2). Let h = -85 - n. Is h a multiple of 16?
False
Suppose 4*l + 0 = -3*a - 5, -a = -3*l - 7. Is (-9)/l - (-2)/(-4) a multiple of 4?
True
Suppose -4*h - h - 5*r - 5 = 0, 0 = -2*h + 5*r + 26. Let f = 6 - 12. Is 14 a factor of 58/4 + h/f?
True
Suppose 2*b + 57 = 5*s, 5*b = -4*s + 63 + 9. Let q = s - 5. Is q a multiple of 3?
False
Let p = 59 - -3. Let j be (-62)/2 - 1*2. Let v = j + p. Is 11 a factor of v?
False
Suppose -1 - 1 = 2*a - 2*c, -26 = -4*a - 2*c. Suppose a*r - 34 = 38. Is 9 a factor of r?
True
Let n = -75 - -139. Suppose -4*w + n = -8*w. Let g = 22 + w. Does 3 divide g?
True
Suppose 0*g = -4*g - 32. Let o = 0 - g. Does 8 divide o?
True
Let b be 5 + 2/(8/(-12)). Suppose -5*t + 60 = 5*w, b*t - w = t + 22. Is 8 a factor of t?
False
Suppose -35 = 3*v - 7*v - 3*s, 0 = 2*v + 5*s - 35. Suppose 0 = v*u + 2*m - 70, -4*u + 25 + 28 = m. Is u a multiple of 6?
True
Let w(b) = 11*b - 11. Let p be w(8). Let u = 135 - p. Does 23 divide u?
False
Suppose 0 = 3*t + 2*t - 10. Suppose -5*w + t = -c, -2*w - w + 61 = 4*c. Is 8 a factor of c?
False
Is (-39)/(-12) + 6/8 a multiple of 4?
True
Suppose 75 = w - 15. Suppose -z + w = 2*z. Does 16 divide z?
False
Suppose 3*a = 2 + 22. Let u be a/(-36) - (-4)/18. Suppose u = -3*v - 2*v + 5*w - 10, 4*w - 20 = 0. Is 3 a factor of v?
True
Let d(g) be the second derivative of -g**3/6 + g**2 - 2*g. Is 4 a factor of d(-7)?
False
Suppose 8 = 3*o + 5. Let c = 40 - o. Is 14 a factor of c?
False
Let o(s) = -s**3 - 8*s**2. Does 25 divide o(-9)?
False
Let l(s) = s**3 - 3. Let p be 58/18 - 8/36. Let z be l(p). Does 10 divide (-198)/(-8) + 6/z?
False
Suppose 0 = 5*v - 0*i + 3*i - 37, 5*i - 20 = 0. Suppose m = v*b - b + 89, -94 = -m + 5*b. Is 23 a factor of m?
True
Let f = -10 + 49. Let l be (0 - 2) + f - -1. Suppose a = -4*y - a + l, -3*a - 15 = -3*y. Is y a multiple of 6?
False
Let y = 16 - 10. Let t(o) = -o**3 + 6*o**2 - o + 6. Let k be t(y). Suppose k = -0*m + 5*m - 65. Is m a multiple of 13?
True
Suppose -2*o - v = 5, 0 = o - v - 5. Suppose -4*r - 5 = -17. Suppose r*x - 6 = -o*x. Does 2 divide x?
True
Let b be 22/6 - (-3)/9. Suppose 110 = -5*m - 3*u, m + 0*u + 22 = b*u. Let q = m + 46. Is 11 a factor of q?
False
Suppose -3*f = -0*f - 84. Suppose 2*l = -8, 2*l + 3*l = 2*v - f. Suppose -5*p = -0*p + v*c - 104, -4*p + 81 = c. Is 9 a factor of p?
False
Let j = -58 + 80. Is 22 a factor of j?
True
Suppose -x - x + 4 = 0. Suppose x*r - 75 = -3*n, r + n + 6 = 45. Is 14 a factor of r?
True
Let d = 8 + -2. Is 13 a factor of (4/d)/((-22)/(-1287))?
True
Let s(y) = y**3 + 11*y**2 - y + 5. Let f be s(-11). Let h = 38 - f. Is 11 a factor of h?
True
Let g be (-12)/((-92)/(-28) - 3). Let x = -28 - g. Is 14 a factor of x?
True
Suppose c - 68 = 4*d, 136 = 2*c + d + 2*d. Is c a multiple of 25?
False
Let q(z) be the third derivative of z**4/24 - 4*z**3/3 - z**2. Let k be q(7). Does 9 divide 1/(k/(-9)*1)?
True
Is 16 a factor of (5 + 0)/(-20) - 1146/(-8)?
False
Let n = 135 - 47. Suppose 0 = -4*g + 2*u + n, 0 = -2*u + 6*u - 16. Is g a multiple of 12?
True
Let v(u) = -u**2 - 6*u - 2. Let t be v(-5). Let w = -87 - -137. Suppose g = t*g - w. Does 25 divide g?
True
Let a(s) = s + 9. Let d be a(-7). Suppose -2*w + 8 = d*w. Suppose -k + m + 48 = k, -w*m + 42 = 2*k. Is k a multiple of 11?
False
Suppose t = 2*n - 1, 3*t + 4*n + 38 = 3*n. Let o = -7 - t. Is o even?
True
Let o(k) = -k**3 - 7*k**2 - 8*k - 7. Let g be o(-6). Suppose -3*z - 28 = -g*z + 3*u, 0 = -2*z - 3*u + 52. Does 16 divide z?
False
Suppose 3*k = 15, -5*w + k - 4*k = -380. Suppose -4*t + 5*d = -w, 2*d - 4*d = -3*t + 46. Does 6 divide t?
True
Is 3 a factor of 1/(-5) + 138/15?
True
Suppose 4*g = 3*h - 2 - 2, -h - 6 = -5*g. Let u = -2 + g. Let p = 5 + u. Does 5 divide p?
True
Let m = 130 + 5. Is 15 a factor of m?
True
Let s be 2/5 + (-8)/(-5). Suppose -c - 2 = 4*c + i, -i = 2. Suppose o - 7 + s = c. Is 2 a factor of o?
False
Let f(k) = -4*k + 9*k - k**2 - 9 + 3. Let d be f(5). Let o(l) = 2*l**2 + 8*l + 1. Is o(d) a multiple of 12?
False
Let p(y) = -y. Let o(x) be the second derivative of 3*x**3/2 - x**2 - x. Let m(q) = -o(q) - 4*p(q). Is m(-3) a multiple of 12?
False
Let d be (-12)/(4/(32/3)). Let u = d - -55. Is u a multiple of 8?
False
Let l(j) be the third derivative of -j**5/60 - j**4/12 + 2*j**3/3 + 3*j**2. Let a be l(-6). Is 15 a factor of (-8)/a - (-339)/15?
False
Let t = 341 + -186. Is 31 a factor of t?
True
Suppose -60 = -0*b - 3*b. Suppose 0 = 4*w - 0*w - b, -6 = -2*s - 2*w. Is 11 a factor of 4/((-1)/(13/s))?
False
Does 10 divide (-2)/(-20)*5*60?
True
Let z(a) = a**3 + 7*a**2 + 4*a + 3. Suppose 44 = 5*b + 9. Let w be (7 + 0)*(-6)/b. Is 13 a factor of z(w)?
False
Let v(t) be the first derivative of -4 + 34/3*t**3 + t + 0*t**2. Does 11 divide v(-1)?
False
Suppose 163 + 155 = 3*z. Suppose z = 4*u - 2*q, -2*q - 27 = -u - 5. Is u - 1/(2/4) a multiple of 15?
False
Let u(q) = q**2 - 3*q - 5. Does 11 divide u(8)?
False
Let k(o) = o**3 - 2*o**2 + o - 3. Let q be k(4). Let t = -12 + q. Is t a multiple of 16?
False
Suppose -13*x = -6*x - 833. Is 13 a factor of x?
False
Suppose -79 - 44 = -3*z. Suppose 5 - z = -4*v. Is 4 a factor of v?
False
Let k = 0 + 5.