divide (6 - -140)*h/4?
False
Let l be (-21)/(18/(-12) + 0). Let c(t) = 3*t**3 - 42*t**2 + 16*t - 20. Does 34 divide c(l)?
True
Let g(h) be the second derivative of h**3/6 + 3*h**2 + 7*h. Does 6 divide g(12)?
True
Let k = -1267 - -1965. Is 29 a factor of k?
False
Suppose 5*b - 8*b + 9 = 0. Suppose -3*m + 3*z + b = -2*m, 0 = -3*m + z + 33. Does 9 divide m?
False
Let v(o) = o**3 - 2*o**2 - 2*o + 734. Is 13 a factor of v(0)?
False
Does 10 divide (-790)/(-5) + (3 - 2)*-1?
False
Does 5 divide 192 - 2 - 0/(-22)?
True
Let t(v) = 7*v**2 + 10*v + 15. Is 19 a factor of t(13)?
False
Suppose -13 - 12 = -5*g. Suppose 2*q - 8 = -g*r + 3, 5*r + 15 = 0. Is q a multiple of 13?
True
Suppose -4 = 2*x + 2*p, x + 4*p + 5 = -6. Let q(t) be the second derivative of 2*t**4 - t**3/6 + t**2 + 4*t. Is q(x) a multiple of 5?
True
Let s = 576 - 585. Let v = 145 - 85. Let c = s + v. Is c a multiple of 17?
True
Suppose 5*k + 5*n - 2819 = 3*k, -2*k + 2818 = 4*n. Is 21 a factor of k?
True
Let s(k) = -3*k - 8. Let h be s(-9). Let n(y) = -y**3 + 17*y**2 - 14*y + 7. Let a be n(16). Let r = a - h. Does 10 divide r?
True
Suppose 0 = 3*h + h - 60. Suppose -4*s = -0*s + d - 507, 0 = -5*d + h. Is s a multiple of 18?
True
Suppose 0 = -7*l - 7*l + 266. Is l a multiple of 3?
False
Let i be 2/(((-2)/(-7))/1). Suppose 3 + i = -2*g. Does 13 divide -1 + (-90)/(2 + g)?
False
Let u(y) = 7*y + 2. Let n be u(-4). Let d = 39 - n. Is 13 a factor of d?
True
Let u = 4 - -21. Does 25 divide u?
True
Let g(v) = v**3 + 6*v**2 + 3*v + 1. Let y be g(-6). Let s = 50 + -9. Let o = s + y. Is o a multiple of 9?
False
Let y(g) = g**3 - g**2 - 15*g + 18. Is 17 a factor of y(9)?
False
Let d(y) = -2*y - 1. Let l be d(-1). Let j = l + 4. Suppose 2*k - 4*h = 82, j*k - 70 - 107 = 3*h. Is 15 a factor of k?
False
Let l be 26/(-91) + (-164)/14. Let s(x) = x**3 + 13*x**2 + 3*x - 6. Does 11 divide s(l)?
False
Suppose 737 = -2*z - 5*y, 0*y + 1467 = -4*z - 3*y. Let v be z/(-4) - 1/2. Is 12 a factor of 2158/v + 4/14?
True
Let i(x) = -78*x**3 - 1. Let m be i(-1). Suppose 2*v - 84 = -5*f, m = 4*f + 5*v + 20. Does 18 divide f*(3 + (0 - 1))?
True
Is 187/3*(162/(-9))/(-6) a multiple of 17?
True
Is (-7 - (-96)/(-6))/(-1) a multiple of 23?
True
Suppose 42 = 5*a - 3*s, -20 = -4*a - 2*s + s. Suppose -10*m + a*m + 12 = 0. Suppose 3*o + 2*q = 48, 3*q = -m*o - 7 + 52. Is o a multiple of 4?
False
Let q(v) = -v**2 - 4*v + 2. Let b be q(-4). Suppose -2 = b*z + 2. Is 2 a factor of (70/(-56))/(z/8)?
False
Does 17 divide ((-1)/(-2))/((-10)/(-4760))?
True
Let h = 17 - 12. Let x be (4/10)/((-3)/(1 - 16)). Suppose p - 27 - 41 = -5*t, -286 = -h*p + x*t. Does 28 divide p?
False
Suppose 35 = 7*f - 2*f. Let d be 1/((7/2)/f). Does 29 divide 928/24*3/d?
True
Is 18 a factor of (-2)/(6/(-245)) - (-1)/3?
False
Suppose -3*b + 94 = -110. Let j = 72 - b. Is 4 a factor of j?
True
Let v be (-10)/4*44/(-10). Suppose -v*u + 8*u = -159. Is u a multiple of 31?
False
Suppose -11*v = -6*v - 50. Let l = -1 + v. Is 9 a factor of l?
True
Suppose k + k = -88. Suppose 12*l - 9*l - 192 = 0. Let h = k + l. Does 10 divide h?
True
Suppose -l + 4*r + 34 = 0, r - 4*r = 15. Let m(a) = 8*a - 10. Does 9 divide m(l)?
False
Let p(c) be the second derivative of c**2 - 1/6*c**3 + 0 - 5*c. Is 4 a factor of p(-5)?
False
Let h(k) = -k**3 + 10*k**2 + 6*k - 5. Does 11 divide h(10)?
True
Let w(l) = l**3 + 2*l**2 + 2*l + 1. Let n be w(-1). Suppose n = -4*i + 14 + 2. Suppose -i = -2*o + 6. Does 2 divide o?
False
Let z be (-8)/(-4)*3 + 2. Suppose z + 28 = 3*p. Does 4 divide p?
True
Let k = -466 + 721. Does 45 divide k?
False
Suppose -v - 3 + 5 = 0. Suppose 3*j - 2*f + 3 = 2*j, v*f = -4*j + 38. Is j even?
False
Let m(n) = 11 + 16 - 32*n**3 + 14 - 42 - 2*n - n**2. Does 16 divide m(-1)?
True
Let t(a) = -71*a - 12. Is t(-1) a multiple of 8?
False
Let a(x) = 31*x - 129. Is 72 a factor of a(12)?
False
Suppose 0 = -4*a - 7*d + 6755, -4*a - 2*d - 907 + 7637 = 0. Is 42 a factor of a?
True
Let r = 141 + 372. Is r a multiple of 27?
True
Let n = 1937 + -1541. Is n a multiple of 11?
True
Let t = -23 + 49. Suppose -3*u + 141 = 2*j + 2*u, -5*j + 2*u + 280 = 0. Let r = j - t. Is r a multiple of 8?
True
Let t(s) = -s**2 + 2. Let n be t(0). Let d = n - 0. Is 3 a factor of d/(-2) + (6 - -1)?
True
Let g(w) = -w + 2*w + w**2 + 110 - 98. Does 21 divide g(5)?
True
Let j = 174 + 171. Is 69 a factor of j?
True
Suppose 0*p = -2*p - 18. Let y = -7 - p. Suppose -y*v - v + 48 = 0. Does 8 divide v?
True
Let q be 10/55 - 75/(-11). Let l be 2/(-2) - (-35)/q. Suppose y = -l*f - 3*y + 228, 4*f - 3*y = 200. Is f a multiple of 7?
False
Let k = 166 + 139. Is 5 a factor of k?
True
Let b(w) = w**2 - 3*w + 5. Let v = 7 + -7. Suppose v = 2*c - 4*c - y + 12, -5*c + 37 = -y. Is 11 a factor of b(c)?
True
Let c(u) = 36*u**2 + 11*u - 20. Is 12 a factor of c(4)?
True
Let j = 47 + 11. Suppose -2*m - 26 = -j. Is m a multiple of 4?
True
Let a(g) = -g**2 - 12*g - 14. Let n be a(-11). Is -2 - n/((-15)/(-805)) a multiple of 53?
True
Let a = 1536 + 1579. Is a a multiple of 77?
False
Let c(i) = 5*i - 3*i + 0*i + 5*i**2 + 1. Suppose -4*w + j + 9 = 0, 8*j - 1 = -2*w + 5*j. Is 8 a factor of c(w)?
False
Suppose 0 = -3*h + 5*d - 169, -3*h - h + 3*d = 240. Let f = h - -159. Is f a multiple of 32?
True
Let t(d) = 2*d + 16. Let u be t(-4). Let p(x) = -x**2 + 12*x - 6. Let y(z) = -z**2 + 12*z - 7. Let l(r) = 5*p(r) - 4*y(r). Is 16 a factor of l(u)?
False
Suppose 4*h + 129 - 453 = 0. Suppose -h = -35*v + 34*v. Does 9 divide v?
True
Let u be ((-8)/(-6))/((-1)/3). Let o(g) be the first derivative of -3*g**2/2 - g + 34. Is o(u) a multiple of 11?
True
Let c(y) = y**2 - y - 4. Let d be c(0). Let k be (d - -6 - 3)/1. Does 10 divide 57 - 9 - 2*k?
True
Suppose 10*p - 879 + 219 = 0. Does 17 divide p?
False
Suppose 0 = 2*s + 2*s - 5*j - 1357, -s - 2*j = -323. Let k = s - 209. Is k a multiple of 17?
False
Suppose -2*r - 3*t - 4 = 0, 24 = r - 3*t - 2*t. Suppose -f + 581 = 4*n, r*f - 158 = -4*n + 414. Is n a multiple of 12?
False
Suppose p + 212 = 5*p. Let i = 74 - p. Suppose 2*x + 5 = i. Does 4 divide x?
True
Is 6 a factor of (-3)/(4 + 497/(-119))?
False
Is 27 a factor of 15/(13 + -8) + 105?
True
Suppose -2*v = -5*n + 2623, -3*n + 7*n - 3*v - 2104 = 0. Is 13 a factor of n?
False
Does 11 divide (-5 - (-3 - 137)) + 7?
False
Is 15 a factor of ((-12)/(-15))/((1/(-470))/(-1))?
False
Let t(k) = k**3 + 19*k**2 - 11*k - 84. Is 38 a factor of t(-19)?
False
Suppose -3 - 33 = 2*g. Let o be (-11)/(-9) + g/81. Let x = o - -19. Is 4 a factor of x?
True
Let y(t) be the second derivative of -t**5/20 - t**4/3 + 3*t**3/2 + 11*t**2/2 - 27*t. Is y(-6) a multiple of 6?
False
Is 26 a factor of ((-54)/(-6))/(21/602)?
False
Let o(a) = -a**2 + 7*a + 22. Let c(x) = x**2 - 8*x - 20. Let y(p) = 6*c(p) + 5*o(p). Is y(15) a multiple of 5?
True
Let d(h) = 2*h**3 - 19*h**2 + 10*h + 20. Let n(q) = q**3 - 9*q**2 + 5*q + 10. Let t(m) = 2*d(m) - 5*n(m). Does 3 divide t(5)?
True
Suppose -2*l + 2187 = 179. Is 34 a factor of l?
False
Let m(l) be the first derivative of 7*l**3/3 - l**2/2 - 7*l + 1. Let b = 129 + -126. Is m(b) a multiple of 11?
False
Let x = -1 - -3. Suppose 4*m - 189 = -s, -3*m - 2*s = x*m - 240. Let h = m + -25. Is h a multiple of 11?
False
Let f(w) = -w**3 - 7*w**2 - 17*w - 15. Does 16 divide f(-8)?
False
Let y be (-112)/(-32)*(-3)/(21/(-8)). Suppose 0 = y*g - 3*s - 765, 4*g - s - 6 = 753. Does 24 divide g?
False
Let f(b) = 6*b**3 - b. Let j be f(1). Let d(p) = p - 17*p - 5 - p**2 + 0 - j. Is d(-14) a multiple of 6?
True
Let u = 233 + 98. Suppose u = 5*l + 31. Does 18 divide l?
False
Is 5 a factor of (-2)/(-3) - 31872/(-144)?
False
Suppose 0 = -2*h - 5*n - 118, -2*h + 258 = -6*h + n. Let q = h - -153. Is 6 a factor of q?
False
Let s(g) = 13*g**2 - 6*g - 22. Let v be s(-5). Suppose 0 = -4*c - 0*c - 5*f + v, 2*c - f = 163. Is 6 a factor of c?
False
Suppose 3*u = s + 81, 2*s = -2*s + 5*u - 296. Let f = 99 + s. Does 2 divide f?
True
Suppose -a + 64584 = 45*a. Is a a multiple of 52?
True
Suppose w = -w + 4. Does 25 divide (-165)/w*48/(-60)?
False
Does 14 divide 87/(-58)*330/(-1)?
False
Does 16 divide ((-11)/2)/(((-112)/8)/8064)?
True
Let z = -778 - -1135. Is z a multiple of 12?
False
Let i = 1 + -14. Let f = -10 - i. Suppose 8*w - 5*w = f*j + 42, -4 = 2*j. Is 6 a factor of w?
True
Let g(