the third derivative of h**6/60 - h**4/12 - h**3/6 + h**2. Let c be q(2). Is c - 1 - (-21)/(-7) even?
False
Let y(b) = 6*b**3 - 2*b**2 + b. Suppose 0 = -2*z - 1 + 7. Let h be y(z). Suppose -h = -3*v - 3*c, 0*v = 2*v - c - 104. Is v a multiple of 18?
False
Let d = 73 + -23. Does 5 divide d?
True
Does 9 divide 14 - (-2)/((-6)/(-9))?
False
Let s(g) be the first derivative of -g**3/3 + 5*g**2/2 - g - 1. Let o be s(6). Let d(i) = -6*i - 9. Is d(o) a multiple of 16?
False
Is (-2)/(-2) + (-5 - -88) a multiple of 10?
False
Is 10 a factor of ((-46)/69)/((1*-1)/120)?
True
Let f(z) = 0*z**2 + 3*z**2 + 0 - 6 + 4*z + 5. Let j be (1 + 2/1)*-1. Does 7 divide f(j)?
True
Let a = 0 + 3. Let y = a + -3. Suppose y = 2*m - 5*n + 1 - 12, -5*m = -n - 85. Does 9 divide m?
True
Suppose -2*v = 5*i - 10*i + 169, -i + 311 = -4*v. Let z = v - -46. Is (-2)/((-29)/z - 1) a multiple of 13?
False
Suppose 189 = i - t, -3*t - t - 177 = -i. Does 24 divide i?
False
Let b be (3/(-3) - -2)*97. Suppose -2*f + 18 = 2*k - 18, 5*f = 2*k + b. Is 9 a factor of f?
False
Suppose 5*l - 586 - 104 = 0. Does 33 divide l?
False
Suppose o + 25 = 2*o - 4*d, 4*o + 3*d - 5 = 0. Let f = o - 2. Suppose 0*a + f*a = -3*u + 54, 4*a = u + 72. Does 6 divide a?
True
Let v(j) = 14*j. Let l be v(-1). Does 12 divide (l + 2)*6/(-3)?
True
Let d be 20/(-6)*(2 - 5). Let o = d + 13. Suppose -2*t + o + 13 = 0. Is 9 a factor of t?
True
Is (-188)/(-6) - 7/42*2 even?
False
Let d = 158 + -95. Is d a multiple of 21?
True
Let s(t) be the second derivative of 0 - 2*t**2 - t**3 + 0 - t. Does 14 divide s(-6)?
False
Let n(q) = -24*q. Suppose -4*y = -0*y + 4. Let j be n(y). Suppose -j = -2*p + p. Does 12 divide p?
True
Let x(k) = -k**3 - 4*k**2 + 2*k + 5. Is x(-5) a multiple of 10?
True
Suppose 2*v - 3*v + 2 = 0. Let k(g) = 2*g**3 + 4*g - 3*g - 3*g**v - 4 - 3*g**3. Does 3 divide k(-4)?
False
Suppose 3*q = 6*q - 5*b + 391, 0 = -5*q + 4*b - 630. Let n = 185 + q. Is 21 a factor of n?
True
Let g(j) = -j**2 - 11*j - 6. Let v be g(-4). Let q = 43 + v. Is q a multiple of 23?
False
Let z(n) be the third derivative of 0*n - n**2 + 5/8*n**4 + 0 - 1/6*n**3. Is 5 a factor of z(1)?
False
Suppose 5*v - 95 = -25. Let t = v + -8. Does 3 divide t?
True
Suppose -1250 = -4*c + 2*w, -3 - 9 = -4*w. Is 36 a factor of c?
False
Suppose -4*q + 13 = 1. Suppose 3*l + 165 = 5*k, -2*k + q*l = 2*k - 132. Does 9 divide k?
False
Let a = 4 - 1. Is (-234)/(-8) + a/4 a multiple of 15?
True
Suppose 0 = t - 0*y - 3*y - 6, -2*t = -y + 8. Let j(f) = 3*f**2 + 11*f - 4. Is 21 a factor of j(t)?
False
Suppose -2 = 2*w - 3*w. Suppose -4*g = y - 56, -2*y = 2*y + 2*g - 294. Suppose -y = -3*s - s + 2*c, -w*s + 44 = -4*c. Does 18 divide s?
True
Suppose 25 = 4*o - 35. Let x = o + 29. Is 17 a factor of x?
False
Suppose 142 = 3*p - 194. Does 28 divide p?
True
Suppose -2*j - 13 = -147. Is j a multiple of 24?
False
Suppose 5*s + 5*v - 20 = 0, -s + 16 = 3*s + 2*v. Suppose 5*a - 2*a - 138 = -s*j, -4*j + 142 = a. Is j a multiple of 12?
True
Suppose -9 = -7*i + 4*i. Let o(d) be the second derivative of 5*d**4/12 - 2*d**3/3 + d**2/2 + 3*d. Is o(i) a multiple of 17?
True
Let x(t) = t**2 + 2*t + 150. Does 20 divide x(0)?
False
Let w be (-9)/((63/(-6))/7). Is 4 a factor of 108/14 + w/21?
True
Let x = 5 + -5. Suppose 4*m - m = x. Suppose 5 + 5 = 2*o, m = 3*q - 3*o - 6. Does 4 divide q?
False
Let y = 425 - 175. Suppose y = 4*u - 134. Suppose -u = -7*l + 3*l. Does 10 divide l?
False
Suppose 0 = -j + z + 34, 7*j - 3*j - 2*z - 128 = 0. Is 10 a factor of j?
True
Let z(w) = w + 4. Let h = -23 + 26. Is 7 a factor of z(h)?
True
Is 44 a factor of (-51)/(((-18)/(-96))/(-1))?
False
Let z = 3 + 17. Is z a multiple of 10?
True
Suppose -5*h - 3*z = 65, 0*h + z - 15 = 2*h. Let x(p) = -3*p - 7. Does 7 divide x(h)?
False
Suppose 118 = 5*a + 18. Does 7 divide a?
False
Let y = -22 - -37. Does 3 divide y?
True
Suppose -2*o = -0*o + 58. Let j = -17 - o. Is j a multiple of 7?
False
Suppose -25 + 109 = 4*a. Does 5 divide a?
False
Let u = -35 - -75. Let n(s) = -s**3 - 3*s**2 - s. Let f be n(-3). Suppose u = f*t - 44. Is t a multiple of 10?
False
Let b = -17 + 39. Does 12 divide b?
False
Suppose 5*m = -2*x - 2*x - 20, -5*m - 25 = 5*x. Let t be 0/((6/2)/3). Suppose -3*k + t*k + 12 = m. Is k a multiple of 4?
True
Let u = 17 + -10. Suppose -u*t - 10 = -2*t. Let o = 8 + t. Is 6 a factor of o?
True
Suppose 2*a + 2*a + 204 = 0. Let l = -31 - a. Does 20 divide l?
True
Let w = -122 - -362. Does 30 divide w?
True
Suppose 0 = n + n + 4*a - 20, -5*n + 29 = 3*a. Suppose -5*v - 2 = -3*p, -n*p + 3*v + 12 = v. Is 2 a factor of p?
True
Let t = -4 - -3. Is (0 + 35 + t)/2 a multiple of 7?
False
Suppose 2*x = -2*o + 8, 5*o + 0*x - 4 = 3*x. Does 2 divide o?
True
Let r be (-3)/((-1)/((-42)/(-9))). Suppose 4 = y - 3*y + 2*v, 5*y - r = -v. Suppose y = a, -5*a + 24 = n - 5. Is 7 a factor of n?
False
Suppose 0 = -5*d - 9 + 69. Suppose d - 52 = -2*l - 2*g, l - 5*g + 4 = 0. Is 13 a factor of l?
False
Let x(s) = 0*s**3 + s**2 - 3*s**2 + 8*s - 5*s**2 - s**3 + 7. Does 6 divide x(-8)?
False
Suppose -4 - 8 = -4*c. Let r(y) = -2*y + 2*y - 5*y - 4*y**2 - 6 + y**c. Is 18 a factor of r(6)?
True
Let s(q) = -q. Let i be s(3). Let n = i - -5. Does 7 divide 14 + -2 - (-4)/n?
True
Suppose -3*h + 2*v = 18, 1 = h + h + 3*v. Let q(k) = k**3 + 7*k**2 + 7*k + 4. Is 14 a factor of q(h)?
False
Suppose f - 2*u - 6 = 0, -3*f + 26 = -2*f + 3*u. Suppose -26 - f = -2*s. Is s a multiple of 11?
False
Suppose 2*a + 358 = 5*u, 313 - 93 = 3*u + 4*a. Does 31 divide u?
False
Let v(z) = 4*z**2 - 5*z + 4. Is 24 a factor of v(3)?
False
Let l(m) = m + 1. Let j be l(4). Suppose -5*a - 4*o - 24 = -3*a, -j*a + 5 = -3*o. Is 6 a factor of ((-4)/5)/(a/15)?
True
Suppose 2*p + 113 = l, -l - 4*l + 625 = 5*p. Is 11 a factor of l?
True
Suppose -5*r = 4*i + 16, -4*i + 3*r + 6 + 10 = 0. Is 19 a factor of i/((-3)/21)*-5?
False
Let a(x) = 68*x**3 + x - 2. Is a(1) a multiple of 6?
False
Let q(d) = d**3 - 6*d**2 - 5*d + 2. Let h = 3 + 4. Is 8 a factor of q(h)?
True
Suppose -3*j = -j - 20. Does 5 divide j?
True
Let g(i) = 5*i - 9. Let d be g(7). Let f = d + -15. Does 8 divide f?
False
Let i(h) = 2*h**3 - 7*h**2 - 12*h + 16. Does 27 divide i(7)?
False
Let p = 2 - 10. Let i(v) = v + 8. Let a be i(p). Suppose a*k + 4*k = 44. Is k a multiple of 3?
False
Let c be (-8)/(-52) - (-184)/(-13). Let x = 4 - c. Is x a multiple of 15?
False
Let p = 140 - 52. Is 11 a factor of p?
True
Let t(k) = k**3 + 9*k**2 + 8*k + 5. Let x be t(-8). Suppose x*q = 37 + 393. Suppose 3*g + 20 = q. Is 9 a factor of g?
False
Suppose -3*v = -6, 11*t - 10*t + v - 41 = 0. Is 12 a factor of t?
False
Suppose 2*m = 6*a - a + 2, -4*m + 4 = 3*a. Suppose 5*h = c - a*h - 5, -5*c + 5*h = -65. Does 7 divide c?
False
Let d = 35 - 0. Is 5 a factor of d?
True
Suppose 260 = -4*v + 8*v. Does 31 divide v?
False
Let h(c) = 3*c - 9. Let y be h(7). Is (-4)/y - 50/(-6) a multiple of 5?
False
Let k be ((-14)/7)/((-1)/23). Let y be 14/(-4) - 1/2. Is 13 a factor of -2*(k/y + 2)?
False
Let u(b) = 17*b**3 + 3*b**2 - 3*b + 2. Is u(2) a multiple of 16?
True
Let q be (-10)/(-65) + 310/13. Let c = q - 17. Is 3 a factor of c?
False
Suppose 0 = -x + 3*a - 9, -4*a + 7 + 5 = 4*x. Is 9 a factor of x/2 - 2 - -28?
False
Suppose 0 = l + 1 - 3. Suppose 3*r = l*r + 20. Is r a multiple of 6?
False
Suppose -3*g + g = 0. Let r be (-1 - 1)/(2/(-3)). Suppose g*i - 108 = -r*i. Is i a multiple of 18?
True
Suppose -4*b = -2*h - 1 - 5, 0 = -2*h + 10. Let z be b/(5/((-15)/(-6))). Does 4 divide z*(-2)/(-2) - -8?
False
Suppose -65 = -5*h + 75. Does 6 divide h?
False
Let o(i) = -i. Let p be o(-7). Is 5 a factor of (p - 0) + -4 + 7?
True
Let r = -65 - -116. Let u be 68/16 - (-2)/(-8). Suppose -u*i + r = -i. Is 5 a factor of i?
False
Let s(w) = -140*w**2. Let v be s(1). Let r be v/18 + 6/(-27). Let o = r - -15. Is 7 a factor of o?
True
Does 12 divide 2/(-6) + (-1855)/(-21)?
False
Let s be (3/(-2))/(12/(-40)). Suppose 0*l - s*l = -3*x + 33, -4*x - 5*l = -9. Is 6 a factor of x?
True
Let r(s) = -s**3 - 4*s + 1. Suppose 0 = -2*j + 2*o + 20, -5*o - 22 = -3*j + 2*j. Let k = -10 + j. Is r(k) a multiple of 20?
True
Let r be (-165)/(-6) - (-9)/(-6). Let z = 128 - r. Suppose -3*m = -3*g - 52 - 20, 2*g + z = 4*m. Does 10 divide m?
False
Let r be (-4)/26 - (-362)/(-13). Is 5 a factor o