3*z**2 - 2*z**3. Let v(a) = 8*a + 11. Let i be v(-3). Is 8 a factor of y(i)?
True
Let n(i) = -17*i**2 - 2*i - 4. Let s be n(-3). Let t = s + 263. Is t a multiple of 9?
False
Suppose 0 = 4*u - 5*q - 1, -4*u - 4*q - 10 = -2. Let j = 92 - u. Does 26 divide j?
False
Let h(b) be the first derivative of 12 + b - 9/2*b**2. Is 20 a factor of h(-5)?
False
Let u = -25 + 30. Let z = 20 - u. Does 5 divide z?
True
Let t = -8 - -10. Suppose 5*p + 50 = 5*x, -2*x + p = 3*x - 58. Let z = t + x. Does 7 divide z?
True
Let f(m) = 10*m + 6. Let d be f(6). Is 11 a factor of ((-7)/((-70)/d))/(1/5)?
True
Suppose -14 + 306 = 4*d. Suppose -2*q - 2*k - 138 = q, 195 = -4*q + k. Let g = q + d. Is 17 a factor of g?
False
Let v = -62 + -612. Is (-74)/111 - v*1/3 a multiple of 56?
True
Suppose -6 = -h - 13. Suppose -4*y + 60 = y. Let d = h + y. Does 5 divide d?
True
Suppose -3*o = -1554 - 5088. Is o a multiple of 18?
True
Suppose 0 = -4*h - 5*q + 10667, -q + 5 = -2*q. Is 99 a factor of h?
True
Let q(p) = 15*p - 2. Let u be q(2). Suppose 0 = -4*y + u + 12. Is 7 a factor of (8/y)/((-18)/(-225))?
False
Let j(i) = -18*i**3 + i**2 - 1. Let v be j(-1). Is (-311)/(-2) - 9/v a multiple of 12?
False
Let z(t) = 12*t**2 + t - 1. Let u = -8 - -11. Suppose -2 + 5 = u*y. Does 5 divide z(y)?
False
Let l(h) = -3*h - 8. Is l(-29) a multiple of 3?
False
Is 4 a factor of (-3)/(12/(-28)) - (-955 + 6)?
True
Is 162 a factor of (1 - -4807) + -10*(-45)/150?
False
Let i be ((-51)/(-12) + (-3)/12)*1. Suppose -i*v + 4*o + 501 = o, -2*o = -10. Is 7 a factor of v?
False
Let k(q) = 5*q**2 - 30*q - 154. Is k(27) a multiple of 27?
False
Let c = -25 - -18. Let d = 112 + c. Is d a multiple of 15?
True
Let o = 32 + -30. Suppose 48 = o*k - 60. Does 7 divide k?
False
Does 42 divide 3/(195/7400) - (-4)/26?
False
Let k(i) = 3*i + 47. Let d be k(-6). Suppose 763 = 4*z - d. Does 15 divide z?
False
Suppose -3*o - 3*x = -x - 19, 0 = 2*x - 10. Suppose o*a = -2*d, 0 = -5*a + 2*a + 4*d. Suppose 0 = n - 3 - a. Does 2 divide n?
False
Let d(p) = -p**2 - 18*p + 42. Let z be d(-20). Is 7 a factor of (-2)/(z + 4)*(-146 + -1)?
True
Let t = 17 + 56. Suppose 0 = 3*c - t - 224. Is 19 a factor of c?
False
Let w be 2/((-4)/2) - -2*2. Suppose -16 = -w*c - c, -4*o + 3*c = -292. Is 19 a factor of o?
True
Let q(l) = -l**3 + 4*l**2 + 4*l + 5. Let u be q(5). Suppose -2*r + 5*r + 5*m - 27 = 0, -5*r + 2*m + 45 = u. Suppose r*g - 4*g - 285 = 0. Is g a multiple of 19?
True
Let w be 1*(6/(-3) + -4). Let t = w - -10. Suppose -t*m - m + 170 = 0. Does 12 divide m?
False
Let u be 424/6 - (-4)/12. Suppose -c = -1, -y = 3*y - c - u. Is y a multiple of 3?
True
Let l(x) = x**3 + 6*x**2 + 5*x + 11. Let i(o) = -o**3 + 27*o**2 + 2*o - 59. Let u be i(27). Is l(u) a multiple of 4?
False
Let d(f) be the first derivative of f**4/4 - 14*f**3/3 + 9*f**2 - 26*f - 6. Is d(13) a multiple of 4?
False
Is ((-12852)/(-272))/((-6)/(-208)) a multiple of 23?
False
Let p = 36 - 30. Let n = 12 + p. Is n a multiple of 18?
True
Suppose 0 = 14*j - 10*j - 40. Suppose 2*q - j = 7*q, -3*t + 206 = -4*q. Is t a multiple of 9?
False
Suppose -2*t + 8*b + 698 = 11*b, 4*t - 2*b - 1428 = 0. Is 14 a factor of t?
False
Suppose w - 165 = 2*k - 2*w, -4*k + 3*w = 321. Let z(d) = -39*d + 9. Let b be z(-3). Let r = k + b. Is r a multiple of 11?
False
Suppose -s + 5*s = 4*z + 24, 20 = -5*z. Let m(f) = -4 + f + 0 + 5*f + 5. Does 7 divide m(s)?
False
Let t(m) = -17*m + 277. Does 2 divide t(15)?
True
Let b = 9 - 6. Suppose 136 = -d + b*d. Is 8 a factor of (-17)/d - (-66)/8?
True
Suppose 3*n = -3*u + 84, -6*n - 3*u - 126 = -10*n. Suppose 24*y = n*y - 174. Does 2 divide y?
False
Suppose 98 = -5*k - 62. Suppose 0 = f, 4*m - 277 = 5*f - 41. Let q = k + m. Does 6 divide q?
False
Let k = -182 - -566. Does 8 divide k?
True
Let t be ((-9)/36)/((-2)/(-8)). Suppose 0 = a + 4 - 2. Is 7 a factor of 1 - t - 24/a?
True
Suppose m - 4*s = 766, -4*m + s + 3044 = 5*s. Is 24 a factor of m?
False
Does 3 divide 1*33 + 47 + -38?
True
Let r = 69 + -28. Let v be -13*-2*(0 - -1). Let l = r - v. Is l a multiple of 14?
False
Let p = -17 - -20. Does 14 divide 133/p - (0 - (-8)/(-12))?
False
Let d = -7 + 13. Suppose 0 = y + 1 - d. Suppose -6*m - y = -7*m. Is m a multiple of 2?
False
Let n = 4497 + -2097. Is 10 a factor of n?
True
Let i(z) = 14*z**2 + 10*z - 51. Does 14 divide i(5)?
False
Let z(i) = -439*i + 405. Does 22 divide z(-6)?
False
Let l = 3 - 1. Suppose -l*m = 14 - 262. Does 31 divide m?
True
Let v(m) = m**3 + 24*m**2 - 62*m - 63. Is 6 a factor of v(-26)?
False
Is 39 a factor of 7*4/(8/262)?
False
Suppose -2022 - 1354 = -16*a. Is a a multiple of 28?
False
Is 186/8*7/((-28)/(-48)) a multiple of 93?
True
Let g = 2 - 2. Suppose g = -8*b - 243 + 899. Is b a multiple of 16?
False
Suppose 3 = 2*x - 5. Suppose 0 = -2*p + p + x. Suppose -p*g + 4*s = -416, 4*g + 2*s = 3*s + 431. Does 26 divide g?
False
Suppose -2*v - 12 = -8*v. Suppose 5*a = -20, 5*t - 7*a = -v*a + 460. Suppose 0 = -2*k - 2*k + t. Does 11 divide k?
True
Suppose 0*u = -5*u + 25. Let w(q) = q + 12. Let i be w(6). Is (i/u)/((-36)/(-120)) a multiple of 6?
True
Suppose 2*o + 2*y = -2*o + 112, -3*y - 72 = -2*o. Suppose -4*a = 225 - 5. Does 4 divide (33/a)/((-2)/o)?
False
Let l be 2/(2 + -3)*(-7 + 6). Does 23 divide l + -3 + 3 + 240?
False
Let s = -11 + 225. Let j = -129 + s. Does 14 divide j?
False
Let q(i) = -i**2 + 2*i + 4. Let r be q(0). Let d be (-15)/(-6) + (-2)/r. Suppose -b + 18 = -2*s, d*b = -2*b + 5*s + 75. Is 10 a factor of b?
True
Suppose -4*v = -2*a - 40, 2*a + 0*v + 37 = 3*v. Let q(z) = -3*z - 20. Is 4 a factor of q(a)?
False
Suppose 0 = 15*w - 4*w - 2376. Is w a multiple of 24?
True
Suppose 21*m = 8*m + 4602. Does 59 divide m?
True
Let g(i) = 2*i + 21. Let m be g(-10). Let t(n) = 41*n**2 - n. Is 10 a factor of t(m)?
True
Let c(l) = -57*l - 1. Let i be c(1). Suppose -3*k = k - 4, -5*f = -5*k - 420. Let x = f + i. Does 14 divide x?
False
Let l = 3622 + -2119. Is 88 a factor of l?
False
Let k = -77 - -77. Suppose -6*m + 3*m + 183 = k. Is 12 a factor of m?
False
Let c(y) be the third derivative of -3*y**4/2 + 10*y**2. Let m be c(3). Let w = m + 165. Is 30 a factor of w?
False
Let n(u) be the third derivative of 53*u**8/6720 - u**5/120 - 7*u**4/24 - 7*u**2. Let y(h) be the second derivative of n(h). Is 13 a factor of y(1)?
True
Let q(k) = -2*k**2 + 3*k + 3. Let i be q(-2). Suppose -4*s - 5*r = -42 + 175, s + 37 = -2*r. Let z = i - s. Is 8 a factor of z?
True
Suppose -g + 4*v - 101 = 0, -2*v + 4*v = 5*g + 577. Let h = -58 - g. Is h a multiple of 12?
False
Suppose -14*h + 5*h = 2421. Let l = -176 - h. Does 17 divide l?
False
Suppose s + 2*z = -5, -2*s = -3*s - 3*z - 4. Let h = s - -12. Suppose -2*q - 2*q - 3*j = -119, h*q + 5*j = 155. Is q a multiple of 7?
False
Let d(p) = -5*p - 179. Let j be d(-30). Let c = 20 + -31. Let h = c - j. Does 6 divide h?
True
Is 11 a factor of (14 - -16) + (2 - -1)?
True
Let o be (-15 + 195/26)*(-46)/3. Let b = -101 + 36. Let r = o + b. Is r a multiple of 17?
False
Suppose 288 = -2*h - 4*y, -2*h - 3*h - 3*y = 720. Let s = h - -249. Is 20 a factor of s?
False
Let f(b) = 9 - b**3 + 2*b**3 - 2*b + 11*b**2 + b. Let a be f(-9). Suppose 0 = 6*g - g - a. Is g a multiple of 12?
True
Does 28 divide 6315/45 + 2/(-6)?
True
Suppose -6*v + 6 = -3*v. Suppose 3*r - 76 - 69 = -5*j, -v*j - 176 = -4*r. Is ((-105)/r)/(2/(-6)) even?
False
Suppose 8*m = 5*m + 93. Let x = 76 - m. Does 9 divide x?
True
Suppose 3*y + 12 + 48 = 0. Let q = -2 - y. Is 18 a factor of q?
True
Let v(h) be the second derivative of 23*h**3/6 - 3*h**2 - 9*h. Does 21 divide v(4)?
False
Let u(p) = p**2 + 4*p + 3. Let d be u(-5). Suppose -5*t - 16 = -d*t - r, 0 = -2*t + 5*r + 5. Suppose -i - 221 = -t*j, -4*i + 7 + 9 = 0. Is 14 a factor of j?
False
Suppose -124*y = -117*y - 938. Is y a multiple of 8?
False
Let z be (-21404)/(-16) + 4/16. Let c be 3/12 + z/24. Suppose 2*d - c = 2*a + 238, 4*a + 298 = 2*d. Does 31 divide d?
False
Suppose 0 = -2*p - 5*o + 1110, 5*p - 25*o - 2798 = -26*o. Is p a multiple of 14?
True
Let h be (-7 + 15)/(1 - 0). Let i be 1/(-4) - (-26)/h. Is (1 - 2)*(-36)/i a multiple of 12?
True
Suppose 5*t = -0*t + 70. Suppose -2*w + 4 = t. Let u(o) = -o**2 - 6*o. Is 5 a factor of u(w)?
True
Let s(n) = -66*n**3 + 11*n**2 + 29*n + 2. Is s(-2) a multiple of 14?
F