239 + 198. Does 14 divide z(h)?
False
Let s(z) = 9*z**2 - 8*z**3 + 7*z**3 + 9*z + 0*z + z - 8. Let o be s(6). Suppose -o + 36 = -2*d. Does 31 divide d?
True
Let i be (9*15)/(129/1634). Suppose i = 5*q - 2580. Is 22 a factor of q?
True
Let q = 102 - 83. Let p = 24 - q. Suppose -p*m = -62 - 83. Is m a multiple of 11?
False
Let x(a) = -a**3 - a**2 - 2*a + 9. Let i be x(-4). Is 11 a factor of ((-9)/15)/((-1)/i)?
False
Let y be (78/8 - (-18)/(-24))/3. Let h be (-1606)/(-110) - y/5. Suppose h*l - 10*l = 748. Is l a multiple of 17?
True
Suppose -4*u - q + 9032 + 18409 = 0, q = 1. Is u a multiple of 10?
True
Suppose -4*q = 3*m - 8*q + 44, -2*m - 36 = 4*q. Let d(o) = -o**3 - 15*o**2 + 6*o - 21. Is 4 a factor of d(m)?
False
Let t(n) = 22*n**2 + 6*n**2 - 2*n**2 - 2 - 3*n. Let a(l) = 27*l**2 - 2*l - 2. Let x(b) = 6*a(b) - 5*t(b). Is 20 a factor of x(2)?
False
Let w(l) be the first derivative of -l**4/4 - 22*l**3/3 - 19*l**2 + 24*l - 215. Is 22 a factor of w(-22)?
False
Suppose -f + 8 = -c, 13*f - 5*c - 12 = 12*f. Let g(v) be the second derivative of 7*v**3/6 - 23*v**2/2 - v. Is g(f) a multiple of 15?
False
Let k(o) = 67 + 4*o**2 - 48 + 5*o**2 + 21*o - 2*o**2. Is 8 a factor of k(-8)?
False
Let u(w) = 9*w**3 - 7*w**2 + 5*w - 16. Let i(d) = d**2 + 2*d + 2. Let h be i(1). Does 23 divide u(h)?
False
Let s = 31 - 30. Suppose 0 = -3*b - 3, -b - s = n - 0*b. Does 24 divide (-16)/(-10)*((24 - n) + 6)?
True
Let u(z) = z - 13. Let s be (-228)/(-21) + 1/7. Let c be u(s). Let q(l) = -10*l + 2. Does 4 divide q(c)?
False
Let g(w) = 5*w + 1. Suppose -5*t + 20 = 5*a, t + 3*a = -t + 13. Let c be g(t). Does 32 divide ((-4)/10)/(c/2240)?
True
Suppose -63*w = -9649 - 30918 - 11849. Does 4 divide w?
True
Let r(u) = u**3 + 8*u**2 - 7*u + 16. Let t be r(-9). Let s be 45/20 + t + 1/(-4). Let x(g) = -g**3 - 2*g**2 + 56. Is x(s) a multiple of 35?
False
Let l = 3249 - -7121. Is l a multiple of 34?
True
Let p = 11896 + -7952. Does 84 divide p?
False
Suppose -17 = -2*q - 2*y + 7, 0 = 4*q - 2*y - 30. Suppose -13*n + 17*n - 2*m = 92, -5*n = 5*m - 130. Let f = n - q. Does 5 divide f?
True
Let s be (-51 - 32/(-4))*-3. Is 43/s - (2 + (-6214)/6) a multiple of 11?
True
Let m(w) = -45*w - 30. Let v = -74 - -69. Let x be m(v). Suppose -8*a = -11*a + x. Is 17 a factor of a?
False
Suppose 0 = 21*n + 14*n + 50*n - 151895. Does 9 divide n?
False
Suppose 586*q = 591*q - 31675. Is 73 a factor of q?
False
Let x be ((27/(-6))/(-3) + 2)*2. Suppose 4*w - 13 - x = 0, -5*o = 3*w - 165. Is (o/9)/((-3)/(-45)) a multiple of 25?
True
Let u(y) = -465*y + 3758. Does 60 divide u(-13)?
False
Let j = -160 - -163. Is 61 a factor of 42820/60*(j + 0)?
False
Let q = -13 - -98. Let b = 823 + q. Suppose b = 8*a - 108. Does 32 divide a?
False
Suppose 693 = 3*s - 3*m, -3*m - 1137 = -5*s - 4*m. Let l = s + -215. Is 13 a factor of l?
True
Suppose 56 = 2*d - o + 4*o, -3*d - o + 84 = 0. Let r(m) = 23*m - 157. Let t be r(43). Does 20 divide t/d - 10/(-35)?
False
Suppose 2*o = 3*o - 6. Suppose -k = -4*k + o. Suppose 0 = k*f - 4*d - 76, 7*f = 2*f - 5*d + 130. Does 20 divide f?
False
Is 10 a factor of (-33)/66 - (-48411)/6?
False
Let g = -2085 + 2146. Let c be ((-111)/2)/3*2. Let s = g + c. Is s a multiple of 6?
True
Does 286 divide (-6 - -3 - -14304) + 14/84*-6?
True
Let s(w) = 345*w**3 + 70*w**2 - 132*w + 6. Does 36 divide s(2)?
False
Let u be (261/54)/((-1)/(-6)). Let a(h) = -h**3 + 29*h**2 + 7*h - 11. Does 24 divide a(u)?
True
Suppose -4*l - 5*a + 35 = 0, 4*l = -l + a + 51. Suppose -90 = -l*p - 5*p. Is (-2)/(4/p) + 2*99 a multiple of 25?
False
Is (-3)/(81/(-70175)) + (-108)/1458 a multiple of 23?
True
Let o(v) = -v**2 + 2*v + 3. Let u be o(-3). Let n be (-1)/(-6) - (-2)/u. Suppose 2*z - 2*t = 56, n = z + 2*t - 16 - 9. Does 6 divide z?
False
Suppose -2*l + x + 1052 = 0, l - 147 - 373 = -x. Suppose -3*h - 27 = -3*q - 3, q + 5*h = -10. Suppose l = q*d - 131. Is 11 a factor of d?
False
Let p(v) = 490*v + 1. Let h(a) = 1. Let j(d) = -3*h(d) - p(d). Let y be j(-1). Is 9 a factor of ((-1)/(-2))/(3/y)?
True
Is 9 a factor of (-2622)/95*((-29774)/12 + (-88)/66)?
True
Suppose -2*z = -6*d + 36026, 4*d + 5*z = -0*z + 24049. Is d a multiple of 91?
True
Suppose 3*l - 10 = -u, -5*u = -2*l - 6 - 10. Suppose 16*p - 18*p = -l*f + 156, 392 = 5*f - 4*p. Is 8 a factor of f?
True
Let a be (663/85)/(4/(-20)). Is (-37)/481 - 9207/a a multiple of 24?
False
Suppose 3*c - 429 = -3*y, -5*y = -7*c + 5*c + 307. Let n = c + 196. Does 19 divide n?
True
Let y be 0 - 3/(-6)*6. Suppose -k + 7 = -10. Suppose r = -y*r - 12, -5*r + k = w. Is w a multiple of 17?
False
Suppose w - 4*a - 3712 = 0, 0 = -5*w - 5*a + 4193 + 14317. Does 30 divide w?
False
Let g be (7050/24 - 5)/((-12)/(-64)). Suppose 5*w + 5*v = g, -1593 + 645 = -3*w + 3*v. Does 51 divide w?
False
Suppose 2856 = 1756*r - 1754*r. Does 17 divide r?
True
Let d = 27 + -17. Let t(g) = g + 50. Is t(d) a multiple of 3?
True
Suppose i - 2*u = -4*i + 19, 5*i - u = 22. Suppose i*w + 18 = 3*w. Is 5 a factor of 12/w - (-819)/27?
False
Suppose x - 6984 = 3*d, -x + 79*d - 75*d + 6982 = 0. Is x a multiple of 133?
False
Let w = -6031 + 11045. Is w a multiple of 22?
False
Does 30 divide (2*679/(-35))/((-2)/150)?
True
Suppose x + q - 3721 = 0, -11*x + 14*x - 5*q - 11203 = 0. Suppose x = 56*h - 50*h. Is h a multiple of 23?
True
Is (4/6*57/(-95))/((-4)/2060) a multiple of 5?
False
Suppose 17*g = 6*g + 715. Is 32 a factor of g?
False
Let w(m) = 1724*m - 1256. Does 12 divide w(19)?
True
Let h be (0/1)/((-20)/(-20)). Suppose h*o - 282 = -2*o. Is o a multiple of 12?
False
Let d = 512 - 294. Let o = d + -46. Is o a multiple of 14?
False
Let v = -289 + 286. Does 6 divide (-9)/v - 3 - (0 + -132)?
True
Let b(y) be the first derivative of y**3/3 - y**2 + 10*y - 1. Suppose 0 = w + o - 9, 5*o - 31 = -3*w. Does 12 divide b(w)?
False
Suppose 0 = 4*t + 3*x + 17, 5*t - 2*t - 4*x = -19. Let s(b) = -55*b + 117. Does 28 divide s(t)?
True
Suppose -o - 4*g = 9 - 13, 0 = -3*o - 3*g + 3. Suppose o = 31*k - 19*k - 3060. Does 5 divide k?
True
Let c = 106 + -15. Suppose -o + c = -247. Suppose o - 98 = 4*m. Is 12 a factor of m?
True
Suppose -5*a - 2 = -10*a - 2*u, 5*u + 14 = -3*a. Suppose 60*p + a = 61*p. Suppose 649 = 3*g + p*b, g - 216 = -3*b + 2*b. Is 10 a factor of g?
False
Let r(j) be the third derivative of 0*j + 5/3*j**3 + 14*j**2 + 0 + 1/24*j**4. Does 7 divide r(-3)?
True
Let n(h) = -114*h - 1544. Is n(-25) a multiple of 5?
False
Suppose -3*b + 571 = v, 3*v - 762 - 945 = -3*b. Let h = v - 27. Is 10 a factor of h?
False
Let f be (-3 - -4 - 1)/(-1). Suppose -4*z = k + 45, f*k = 3*k + 2*z + 115. Let q = k + 63. Does 13 divide q?
True
Suppose 510 = -39*b + 49*b. Suppose 38*v + 10075 = b*v. Is v a multiple of 25?
True
Suppose 0 = 4*t + 16, -4*m - t + 0*t = 252. Let u = m + 61. Is u/(-4) - 1435/(-20) a multiple of 24?
True
Suppose -4*p + 30 = 2*p. Suppose p*v + 10 = -2*l, -l - 7 + 4 = 2*v. Suppose -20 = -l*o, 178 = 2*t - 4*o - 134. Is 41 a factor of t?
True
Does 31 divide -13 + (-14 - -15 - -6336)?
True
Let c(a) = 6*a**3 - 4*a**2 - 3*a - 8. Suppose 5*v + 3*x - 25 = 0, -2*x + 4*x - 10 = -2*v. Does 19 divide c(v)?
True
Let r = 886 - 644. Does 22 divide r?
True
Suppose 2*o + 6 + 4 = -b, o = -5. Suppose 0 = 3*y - b*y - 669. Suppose -3*g + q + y = 16, -4*q = 2*g - 152. Does 14 divide g?
True
Let y be 16/24*162/4. Suppose -30*o + y*o + 423 = 0. Is 54 a factor of o?
False
Let l(m) = m**2 + 28*m - 66. Is 33 a factor of l(33)?
True
Let n(x) = x**3 + 14*x**2 - 2*x - 13. Suppose -141*p + 28 = -145*p. Is n(p) a multiple of 9?
False
Suppose 0 = -14*u + 20*u - 30876. Is u a multiple of 62?
True
Suppose -245 = z + 6*z. Let j = -37 - z. Is ((-24)/16)/((-1)/j) + 68 a multiple of 7?
False
Let u be ((-8)/(-3) - 2)*(-90)/(-1). Suppose h - u = -5*r, 125 = 4*h + r - 115. Is h a multiple of 15?
True
Let n(b) = b**3 + 15*b**2 + 10*b + 12. Let z = 185 + -197. Does 54 divide n(z)?
True
Is 8 a factor of (-16)/(-10) + 30/75 - 1 - -298?
False
Suppose -4*a - 1460 - 385 = 5*z, 4*z = -3*a - 1475. Let d = 456 + z. Is d a multiple of 4?
False
Let v be -2 + 20/4 + 10. Suppose -5*u - 2*i = v - 1452, 2*i + 570 = 2*u. Is u a multiple of 11?
False
Suppose 4*b - 4824 = 4*d, -2411 = -2*b + 7*d - 4*d. Let m = -842 + b. Does 27 divide m?
False
Suppose -5*k + 5152 = -5*l + 1887, 5*k + 