*l. Let a(w) = w - 5 - w**3 + 0*w**2 + 0*w**2. Is a(l) a multiple of 5?
True
Suppose 4*j - 391 = -79. Suppose n + 0 = j. Is 3 a factor of n?
True
Suppose 78*m = -17*m + 626335. Is m a multiple of 19?
True
Let u = 44805 + -22825. Is 157 a factor of u?
True
Let v be -4 + 1 - -2 - -1. Suppose v = c - 4*c + 3*x - 267, 0 = 3*x. Let s = c - -157. Is 17 a factor of s?
True
Let w(r) = 195*r**3 - 2*r**2 + 2*r - 1. Let l be w(1). Suppose -4*g - l = -5*j, 2*j - 2*g = 4*j - 74. Does 2 divide j?
True
Suppose 105*h - 104*h - 11644 = -m, 11648 = h - 3*m. Is 24 a factor of h?
False
Does 14 divide 11138 - ((-14)/((-84)/(-30)))/(-1)?
False
Let g(z) = -99*z**3 + 4*z**2 + z - 3. Let v be g(-1). Suppose v = u + 3*t - 5*t, 3*t + 282 = 3*u. Does 7 divide u?
False
Let s be (8/(-20))/((-3)/120*2). Suppose 0 = 32*w - s*w - 2064. Does 4 divide w?
False
Let d(y) = -93 - 5 + 140*y + 7 - 16. Is 111 a factor of d(10)?
False
Suppose 4*v = 6*v - 4, -2*m = v + 4. Let w be 3/5 + 18/(-30) + m. Is 2 a factor of 6*(w/12 - 44/(-48))?
True
Let c = 191 - 175. Suppose c*r - 2992 = 6928. Does 31 divide r?
True
Let o(m) = 7*m**2 + m - 9. Suppose -6*w + 14*w = 24. Does 57 divide o(w)?
True
Let z be (-70)/(-315) + 14/18. Suppose 0 = -m - z. Is 16 a factor of 6344/36 + m + (-14)/(-18)?
True
Let w = 7127 + -4208. Does 6 divide w?
False
Does 49 divide ((-401086)/70)/(1/(-5))?
False
Let l(a) be the third derivative of -a**6/120 - 17*a**5/60 + 11*a**4/12 - 5*a**3/6 - 112*a**2. Is 7 a factor of l(-19)?
False
Suppose -18*m - 70 = 110. Let f(s) = 2 + 0*s**2 - 2*s**2 - 28*s + 5*s. Is 8 a factor of f(m)?
True
Suppose -466*w - 3*z = -462*w - 31030, 0 = -w + 2*z + 7752. Is 12 a factor of w?
False
Suppose -2*w - 5*l + 20228 = 0, 0*l + 40 = 5*l. Is w a multiple of 103?
True
Suppose 162*u = 112*u + 739500. Is u a multiple of 44?
False
Let f be 6/(-2) - (-4 - 2). Suppose -2*z = f*z - 0*z. Suppose -o - o - 4 = 0, z = -2*x - 4*o + 76. Is 21 a factor of x?
True
Let d = 15 - -14. Let c be d/(-9) - ((-66)/54 - -1). Does 26 divide -5*78/15*c?
True
Let q(s) = -24*s**3 - 3*s**2 + 185*s + 1052. Is q(-6) a multiple of 5?
False
Let d = 375 + -221. Suppose u - d = -2*b - u, 4*u + 203 = 3*b. Let x = b + -48. Does 3 divide x?
False
Suppose 5*q + 2*g = -0*q - 2332, -2*q - 2*g = 928. Let v = q + 923. Does 16 divide v?
False
Let x(j) be the third derivative of -1/2*j**4 - 3/2*j**3 + 0*j + 0 - 12*j**2 + 1/20*j**5. Does 21 divide x(9)?
True
Let s(c) = 63*c**3 + c**2 + 3*c - 7. Let r be s(2). Let l = r - 298. Does 6 divide l?
False
Suppose -u - 215 = -3*u + d, -425 = -4*u - 3*d. Suppose 2*x - u = x. Suppose -7 + x = 4*l. Is l a multiple of 9?
False
Let k(g) be the third derivative of -g**4/24 + 8*g**3/3 - 3*g**2 + 56. Suppose -b = 3 + 5. Is k(b) a multiple of 8?
True
Let s(i) = 60*i - 2. Let p be s(1). Suppose -5*z = 4*a - 646, -2*a - 312 = -3*z + p. Does 68 divide z?
False
Suppose 4*a - 205 + 1163 = 5*x, 0 = -5*a - 4*x - 1177. Let r = a + 653. Suppose 11*o - r = 9*o. Is o a multiple of 38?
False
Suppose -2*p + 2 = -c + 5, -c - p = -9. Let x(t) = 6*t - 1. Let r(q) = -8*q + 4. Let k(i) = -5*r(i) - 4*x(i). Is k(c) a multiple of 32?
True
Let v(u) = 2306*u - 2. Does 5 divide v(1)?
False
Suppose c - m - 3 = 0, 5*c - 11 = -2*m + 6*m. Let u be (-3)/(-3)*(c + 0). Is u/3 + 1504/12 a multiple of 13?
False
Is 15 a factor of (455300/5)/10 + -3?
False
Let w(h) = -h**3 - 5*h**2 - 7*h + 21. Let l = 169 - 176. Is 12 a factor of w(l)?
True
Suppose -6 = u - 5*q - 14, 3*u - 2*q = 89. Suppose 0 = 4*g - 3*g - u. Suppose l - g + 8 = 0. Does 6 divide l?
False
Suppose 0 - 12 = -r - 4*k, 0 = 5*r - k + 3. Suppose r = 5*a + a - 1386. Is 54 a factor of a?
False
Suppose -2*k + 464 = -370. Let r = 483 - k. Does 41 divide r?
False
Suppose w + w = 528. Let q = w + -5. Let y = q + -113. Is y a multiple of 15?
False
Let b = -323 + -244. Let a = -255 - b. Is 24 a factor of a?
True
Suppose 8*u - 15 = 3*u. Let f = u + 15. Is 13 a factor of 11/(396/(-8)) - (-1498)/f?
False
Let q be ((-20)/(-12) - 7)*9/(-6). Let z(m) = 5*m - 20. Is 6 a factor of z(q)?
False
Suppose -30*q - 114852 = -28*q - 14*q. Is q a multiple of 27?
False
Let u = 82 - 77. Suppose -b - m - 3 = -9, 60 = 4*b - u*m. Suppose b = 2*j, 3*d + 2*d - 1505 = 3*j. Does 19 divide d?
True
Suppose -5*j + 16*j - 33 = 0. Suppose 0 = 4*l + 5*g - 22, 9 = -0*l + 5*l - j*g. Suppose l*y = 75 + 51. Is y a multiple of 9?
False
Let z(c) = -49*c + 368. Let x(i) = 49*i - 370. Let v(y) = -7*x(y) - 6*z(y). Is v(7) a multiple of 14?
False
Suppose -19187 - 67873 = -15*n. Does 25 divide n?
False
Suppose -12*q + 16 = -4*q. Let j be 1182/10 - 4/20. Suppose k + 5*v = j, -k + 4*v = q*v - 132. Does 16 divide k?
True
Let t(l) be the third derivative of -l**7/1008 - 3*l**6/80 - 13*l**5/30 - 18*l**2. Let c(i) be the third derivative of t(i). Is 9 a factor of c(-9)?
True
Let q be 7 - (-2 + 1 + 8). Suppose -4*x = 2*b + 2*b - 136, q = x + 4*b - 49. Is x a multiple of 6?
False
Let c(i) = -i**3 + 15*i**2 + 7*i + 8848. Is 56 a factor of c(0)?
True
Let z = 6217 + -3724. Does 2 divide z?
False
Let b = 2175 - 2801. Let u = 617 + -979. Let f = u - b. Is 18 a factor of f?
False
Suppose 3*b - 6145 - 785 = 2*x, -4*b = x - 9262. Is 32 a factor of b?
False
Let b(d) = 37*d**2 - 2*d + 24. Let a(q) = 73*q**2 - 3*q + 48. Let c(k) = -6*a(k) + 11*b(k). Let l be c(6). Is 3/(45/10) + l/(-9) a multiple of 6?
False
Suppose -5*u = -9*u + 16. Suppose -u*n + 1686 + 350 = 4*t, 2*n - 3*t = 993. Is n a multiple of 21?
True
Let d(v) = -2*v**3 + v**2 - 3*v - 18. Let g(x) = x**3 + x. Let t(b) = -d(b) - 3*g(b). Let f be t(0). Does 8 divide ((-37)/3)/((-6)/f)?
False
Let k(s) = -s**3 - 3*s**2 + 309*s + 34. Is 4 a factor of k(14)?
True
Let n = -73 + 64. Let c(b) = 38 - 52 + b**2 - 11*b**2 - 12*b - b**3 + 27. Does 10 divide c(n)?
True
Let f be (4/(-3))/((-28)/63) + 1. Suppose -703 = -3*t - 4*h, f*t - 733 = t + 2*h. Does 16 divide t?
False
Let y be 153/6 + 15/10. Suppose y = -n + 31. Does 13 divide (-26*(-2)/n)/(-5 - -6)?
True
Suppose -4*g + 21 = -3*i, -9*i + 15 = 3*g - 11*i. Suppose -154 = -d - g*a, -2*a + a = -3*d + 412. Does 37 divide d?
False
Suppose l + 41 = k - 1, 0 = -2*k - l + 81. Suppose -h = 4*v - k, -7*v = -10*v - h + 32. Suppose 0 = -v*d + d + 160. Is 3 a factor of d?
False
Suppose 5*a - 852*v - 52860 = -857*v, 0 = -a - 3*v + 10588. Does 43 divide a?
False
Suppose w + 3*i + 16 = 0, 2*w - i = 2*i + 13. Let p be -52 + (2 - -1) - w. Let y = p + 70. Is y a multiple of 4?
False
Let d(b) = 249*b**2 - 3*b. Let p be d(-1). Suppose 4*s = 5*j - 269 + 979, 3*j + 389 = -5*s. Let g = j + p. Is 22 a factor of g?
False
Suppose 0 = -19*r + 20*r. Suppose -7*w + w + 396 = r. Is (w/8)/(9/24) a multiple of 17?
False
Let f(i) = 5*i**3 - 29*i**2 - 2*i + 20. Is 3 a factor of f(8)?
True
Let y(u) = 848*u - 563. Is y(10) a multiple of 87?
True
Let s(n) = -2*n**2 - 13*n - 35. Let z be s(-8). Let l = 552 + z. Does 49 divide l?
False
Let r be ((-46)/115)/((-1)/205). Let p = r + -13. Let x = 93 - p. Is x a multiple of 6?
True
Let w(o) = 3*o + 62. Let f be w(-19). Suppose 1155 = -3*q - 3*t, 390 = -2*q - f*t - 395. Is 18 a factor of q/(-7) + (6/7)/(-3)?
True
Let u be ((-168)/210)/(1 - (-362)/(-360)). Let c = 85 + u. Is 28 a factor of c?
False
Suppose -a - 1 - 2 = 0, 3*s + 4*a - 327 = 0. Let v = s + -99. Is 14 a factor of v?
True
Suppose 147*f = 145*f + 1756. Suppose -4*a + 258 + f = 0. Suppose -a = -6*p + 202. Does 6 divide p?
False
Let v = -3559 + 8394. Is v a multiple of 112?
False
Let v = 114 - 111. Suppose -4*l + 812 = 4*t - 420, -t + 932 = v*l. Is 24 a factor of l?
True
Let s(y) = -114*y**3 - 6*y**2 - 25*y + 46. Let l(t) = 114*t**3 + 5*t**2 + 24*t - 45. Let z(r) = 4*l(r) + 3*s(r). Is z(2) a multiple of 32?
False
Let n(t) = 14 + 0 + 13*t**2 + 1 - 14 - 3*t. Does 42 divide n(-6)?
False
Let b = 197 - 187. Let d(j) = -j**3 + 11*j**2 - 6*j - 7. Is d(b) a multiple of 5?
False
Suppose 0 = -4*h + 59 - 35. Let l be 2*(-4)/(-16)*h. Suppose 0 = l*o - 0*o - 63. Is o a multiple of 4?
False
Let w(j) = 8*j**3 + 11*j**2 + 4*j**3 - 6*j - 14*j**3 + 5 + j**3. Is 5 a factor of w(9)?
False
Let l(a) = -8*a - 74. Let z be l(-11). Suppose 0 = 5*x + t - 2870, -3*t - z = 1. Is 21 a factor of x?
False
Let y(i) = i**3 - 5*i**2 - i - 5. Suppose 2 = -3*m + 4*m, 5*m = -5*l + 45. Let c be y(l). Suppose 6*v - c = 8