et i(y) = -y**3 - 2*y**2 + 7*y + 6. Is 8 a factor of i(h)?
False
Let n = 72 - 50. Is 11 a factor of n?
True
Let t = -15 + 20. Suppose 0 = 5*u - t, -3*i = u - 24 + 5. Is i a multiple of 6?
True
Suppose s - 88 = -0*s. Is s a multiple of 19?
False
Let c(t) be the third derivative of t**4/24 + t**3/3 - t**2. Is c(5) a multiple of 7?
True
Suppose 0 = 5*r - 2*g + 262, r + 15 = 4*g - 23. Is (r/5)/((-6)/15) a multiple of 11?
False
Let h(u) = -u - 10. Let z be h(-8). Let y be -4 + (z - -4) - -4. Let d = 18 - y. Is 8 a factor of d?
True
Let q(i) be the third derivative of -i**5/20 + i**4/3 - i**3/2 + 3*i**2. Let g(p) = -p**2. Let f(w) = 4*g(w) - q(w). Is 9 a factor of f(-5)?
True
Let f(l) be the first derivative of l**4/4 - 4*l**3/3 - 9*l**2/2 + 6*l + 4. Does 12 divide f(6)?
True
Does 8 divide (56/21)/(1/21)?
True
Let w = 0 + 4. Let t = 5 - -23. Suppose -2*z - w*a - t = -3*z, 1 = a. Does 15 divide z?
False
Suppose -n - 139 = -3*h + 298, 3*h - 4*n - 452 = 0. Suppose 2*l - 79 = s + 14, 0 = -3*l - 3*s + h. Is l a multiple of 10?
False
Let v(p) = -3*p + 1. Suppose 0 = n + 14 - 4. Let a be v(n). Suppose -w - 4*s + a = 0, -2*w = 2*w - 3*s - 124. Is 13 a factor of w?
False
Let q(o) = 4*o. Let u be q(4). Let f = -10 + u. Does 6 divide f?
True
Let g be 0/(-1) + 2 + 0. Is 1*(1 - (-54)/g) a multiple of 6?
False
Let i(h) = h**2 + 6*h + 2. Let q be i(-8). Let w = q - 6. Is 4 a factor of w?
True
Let w(p) = p**2 - 2*p + 2. Let a be w(4). Let c(y) = -2*y. Let u be c(-2). Let j = a - u. Is 6 a factor of j?
True
Suppose -77 = 4*l - 13. Let t = 0 - l. Is t a multiple of 9?
False
Suppose -6*r + 7 = -29. Is r a multiple of 4?
False
Let y(z) = 23*z - 14. Is 13 a factor of y(4)?
True
Let n(p) = -10*p + 1. Let g be n(1). Is (-79)/g - (-16)/72 a multiple of 9?
True
Let q = -50 - -81. Does 31 divide q?
True
Suppose 0 = -r + 34 + 26. Does 20 divide r?
True
Is 10 a factor of (-10822)/(-70) + 4/10?
False
Suppose 0 = -5*n + 2*u - 30, -u + 13 = -4*n - 11. Let g be 0*(n/(-3) + -1). Is 2 - (g + (-2 - -2)) a multiple of 2?
True
Let w(a) be the first derivative of a**3/3 - a**2 + 2. Let u be w(8). Suppose -4*z - u = -4*v + 4, -v + 3 = -3*z. Is v a multiple of 5?
False
Suppose a - 29 = 10. Let v = a + -20. Does 8 divide v?
False
Let u(d) = -d - 4. Let v = 0 + 0. Let x be u(v). Is 8 a factor of 2/x*(-32 + 0)?
True
Suppose 0 = -2*u - 2*u + 24. Does 2 divide u?
True
Let c(w) = -17*w**3 - 5*w**2 - 4*w. Is c(-2) a multiple of 22?
False
Suppose -24 = -3*z - z. Let q be z/(-15) - 16/10. Is 13 a factor of ((-3)/q)/(6/104)?
True
Let o = -23 + 38. Suppose -2*t = 4*q - o - 15, 60 = 5*t + 5*q. Does 9 divide t?
True
Let g = -10 + 40. Is g a multiple of 10?
True
Let y(t) = -3*t + 3. Let w be (3 + 0 - 0) + -17. Is y(w) a multiple of 15?
True
Suppose 0 = 3*c - 9, -239 = -0*l - 4*l - 5*c. Suppose -416 = -5*y - l. Suppose 3*q = 7*q - y. Is 9 a factor of q?
True
Suppose -4*z - 3*b = -32, 2*z + 2*b + 11 = 29. Suppose z*g - 1 = 59. Is 7 a factor of g?
False
Does 20 divide (-4 + 12)/((-4)/(-10))?
True
Is 20 a factor of (-1)/(((-1)/1)/20)?
True
Let l(y) = -6*y - 48. Does 12 divide l(-16)?
True
Let i(k) = -79*k - 14. Is 32 a factor of i(-3)?
False
Let z = 36 + 68. Let g = -60 + z. Let h = -26 + g. Does 18 divide h?
True
Suppose 10*i + 200 = 12*i. Is 25 a factor of i?
True
Let v(u) = -5*u**2 - 14*u - 1. Let r(b) = -b**2 - b - 1. Let w(s) = -4*r(s) + v(s). Is w(-9) a multiple of 5?
False
Let a = 3 - 1. Suppose -78 - a = -5*y. Is y a multiple of 12?
False
Let z(n) be the second derivative of -n**4/12 + 7*n**3/6 - n**2/2 - 4*n. Let w be z(6). Suppose 4*x + 13 = -2*j + 67, 4*x + w*j - 57 = 0. Is 5 a factor of x?
False
Let i be (-4)/10 - 94/(-10). Is 5 a factor of 9 + 3*6/i?
False
Let t(d) = d**2 - 1. Does 6 divide t(5)?
True
Suppose -6*u = -u. Suppose -q + u = -h - 12, 2*q = -h + 9. Is 7 a factor of q?
True
Let q(y) = -3*y + 20. Is 4 a factor of q(0)?
True
Let c = -9 + 10. Is 3 a factor of c/(-2)*22/(-1)?
False
Is 3 a factor of 2*3/2 + 0?
True
Let u = -387 + 657. Does 49 divide u?
False
Suppose n - 8 = 60. Suppose -5*p = 4*g + 191, -2*g = -0*p + 3*p + 97. Let i = g + n. Is 8 a factor of i?
True
Suppose t - 10 = a, -5*t = 6 - 21. Let i = a + 12. Suppose -2*u + 4*h + 39 = h, i*h = -5*u + 85. Is u a multiple of 5?
False
Let r(x) = 2*x. Let z be r(1). Suppose -23 = -b - l - 9, 28 = z*b - l. Suppose -3*q - c = -37, -2*q + 20 = -4*c - b. Does 9 divide q?
False
Suppose -2*p + 2 + 4 = 0. Suppose -20 = -p*x + 7. Does 9 divide (-12)/((-3)/x*2)?
True
Suppose 0*l - 36 = -l. Let a = l + -20. Is a a multiple of 8?
True
Suppose 0 = 8*z - 4*z - 64. Let t be (17/2)/(2/z). Suppose 2*n = 2 + t. Is n a multiple of 15?
False
Let y = 13 + 18. Let f = y - -7. Does 11 divide f?
False
Let h be (-1 - -4)/((-18)/(-24)). Let c = 198 + -138. Suppose 0 = h*j, 2*i + 3*i - c = 3*j. Is 12 a factor of i?
True
Let n(m) = -3 + 3 + 4*m - 1. Is 2 a factor of n(2)?
False
Let k = 237 - -3. Is k a multiple of 48?
True
Let o(z) = -z**2 + 19*z + 2. Is 12 a factor of o(10)?
False
Suppose -2*l = 9 - 73. Suppose -3*o + l = 2. Does 10 divide o?
True
Let h(y) = 135*y + 1. Let l be h(-1). Let c = -77 - l. Does 19 divide c?
True
Let b = -3 + 8. Is 2 a factor of b?
False
Let d(p) = p - 1. Let x be d(2). Does 13 divide 190/15 + x/3?
True
Let f(t) = -2*t + 17. Does 7 divide f(-16)?
True
Let a = 369 - -121. Suppose r - 6*r = -a. Suppose 4*y - 2*y = r. Is y a multiple of 18?
False
Suppose 3*d + 10 = 49. Suppose r - d = -5*i + 5, -r = -5*i - 38. Does 5 divide r?
False
Let g(u) = 6*u**2 - 1. Let p be g(1). Suppose 0 = -p*c - 0*o - 3*o + 217, -o + 219 = 5*c. Is c a multiple of 22?
True
Let r = -2 - -4. Suppose -h + 20 = 3*h. Let x = h + r. Is x a multiple of 4?
False
Suppose 2*n = 7*n - 140. Is n a multiple of 14?
True
Let q(a) = -a. Let j(d) = -5*d - 12. Let u(z) = -j(z) + 6*q(z). Let n be u(9). Suppose 32 = 2*m - 4*v + n*v, -3*v = 5*m - 91. Is 11 a factor of m?
False
Let x(l) = 4*l + 14. Let v = -24 + 38. Does 23 divide x(v)?
False
Let q(s) be the first derivative of s**4/4 + s**3/3 - s**2/2 + 16*s - 7. Let k be (2 - 1)*(1 + -1). Is q(k) a multiple of 16?
True
Suppose 2*y - 2*t = -10 - 28, -5*t = 4*y + 121. Let b be (0 - y)*(-21)/(-12). Suppose -2*q = -0*q + 3*p - 59, -q = -p - b. Is 11 a factor of q?
False
Suppose 0 = -3*x + 5*x - 5*w + 14, -3*x - 3*w = -21. Suppose 4*m = x*m. Let y(r) = -r**2 + r + 4. Is y(m) a multiple of 4?
True
Suppose 3*f - 5*j + 25 = -2*f, 0 = f + j - 1. Let w be f + (-6)/((-3)/1). Suppose 4*s - 2 - 128 = -2*m, w = -2*m + 10. Does 15 divide s?
True
Let r(q) = 3*q + 1. Let l be r(-3). Let f(t) = -2*t - 9 + 0*t + 3 - t**3 - 8*t**2. Is f(l) a multiple of 8?
False
Suppose n + 4 = -3*n. Suppose l - 308 = 4*i + 2*l, -238 = 3*i - l. Is 14 a factor of ((-2)/(-4))/(n/i)?
False
Suppose -5*t + 330 = 5*x, 0*t = 3*x + t - 196. Suppose 0*f + 3*f - n + x = 0, -4*n = -f - 40. Let o = 41 + f. Is o a multiple of 7?
True
Let p = -4 + 34. Let b(w) = -w**3 + 3*w**2 + 7*w - 2. Let s be b(5). Let h = p + s. Is 13 a factor of h?
True
Let h(v) = -v**2 - 7*v - 6. Let a be (-2)/(1 + (-1)/2). Let g be h(a). Suppose -60 = -g*d + 3*d. Is d a multiple of 7?
False
Does 19 divide (15/(-20))/((-2)/376) + 1?
False
Does 26 divide 109 + -4 + (1 - 2)?
True
Suppose 19 = z - 0*z - j, -2*z - 4*j = -14. Let s = 25 - z. Is s a multiple of 5?
True
Suppose 4*r - 276 = 4*a, 3*a = a - 6. Is 33 a factor of r?
True
Suppose 0*h + 15 = 3*h. Suppose 5*u - h*w - 160 = 0, 2*u - w = -2*w + 49. Does 9 divide u?
True
Suppose 83 = -7*y + 307. Is y a multiple of 11?
False
Suppose -5 = 4*t - 13. Suppose 5*f - 450 = t*f. Suppose w - f = -4*w. Is 15 a factor of w?
True
Suppose 4*r - 2 = 6. Suppose -5*v + 122 = 2*q, -r*q - 8 = -v + 14. Suppose -t + 2 = -4*w, v = 5*t + 4*w - 34. Does 5 divide t?
True
Let d = -10 - -40. Let c(q) = -q**3 + 6*q**2 - 2*q + 6. Let r be c(6). Let m = d + r. Does 12 divide m?
True
Suppose 0 = 3*z - 55 + 16. Is z a multiple of 11?
False
Is 662/3*((-198)/(-12))/11 a multiple of 19?
False
Let l be (-49)/(-4) + 42/56. Let g = 21 - l. Does 3 divide g?
False
Let r(f) = -2*f - 6. Let h be r(7). Let m = -25 - -16. Let w = m - h. Does 8 divide w?
False
Let z = -69 - -44. Let c = 17 - z. Is c a multiple of 14?
True
Let c be -4 + -1 + 3 + 0. Does 13 divide ((-1)/(-4))/(c/(-184))?
False
Let 