u**3 + 4*u**2 - u + 8. Let d(s) = s**2 + s - 1. Let i(h) = 2*d(h) + g(h). Let p(w) = i(w) - 3*j(w). Is p(-5) a multiple of 15?
False
Suppose -11*k + 8*k - 5*h + 263 = 0, -5*h = 5*k - 435. Is k a multiple of 43?
True
Is 13 a factor of 65*(85/25 - -1)?
True
Let w(t) be the third derivative of t**5/60 - 5*t**4/6 + 15*t**3/2 + 2*t**2. Is w(21) a multiple of 11?
True
Suppose 4*n - 5*t = 14, 4*n + t - 5 + 3 = 0. Let l be (5 - n) + 10/5. Let i(q) = q**2 - 4*q - 4. Is 2 a factor of i(l)?
True
Let n = 45 + -48. Is (-3)/(-6) + (107/2 - n) a multiple of 19?
True
Let p(f) be the second derivative of -3/4*f**4 + 4/3*f**3 - 1/20*f**5 + 0 + f - 5*f**2. Does 10 divide p(-10)?
True
Let g be 0/1 - (0 - 0). Suppose l + o = -3, 3*l - 4*o + g = 5. Let r(w) = 65*w**2 - w. Is 22 a factor of r(l)?
True
Let d = -7 - -215. Suppose -h = -4*l + 269, 5*l - 107 = -3*h + d. Is 6 a factor of l?
True
Suppose 2*y + 5*b - 1431 = 867, -3*b = -y + 1138. Does 44 divide y?
True
Suppose 3*r + 3*p - 22 = p, -4*r - 3*p = -31. Let m(i) be the first derivative of 4*i**2 - 10*i - 36. Is 6 a factor of m(r)?
False
Suppose 0 = 17*z - 3*z. Let f(x) = -x + 198. Is 59 a factor of f(z)?
False
Suppose 4*j = -4*y + 2*j - 98, 3*y - 2*j + 70 = 0. Let t = -213 + 251. Let a = y + t. Is a a multiple of 9?
False
Let d be ((-28)/3 - -10) + 592/(-6). Let v = 110 + d. Does 5 divide v?
False
Suppose -2*l + 322 = -20. Let j = -36 + l. Does 15 divide j?
True
Is 0 + 18 - (-8 + 10) a multiple of 8?
True
Suppose 0 = 2*s - h - 64, -2*s + 4*h + 3 = -55. Suppose -5 = -2*y + s. Let o = 35 - y. Is 3 a factor of o?
False
Let w = 428 + -192. Suppose 3*g - w = 6*c - c, -5*c = -g + 72. Is g a multiple of 10?
False
Suppose -15*o + 19*o - 192 = 0. Suppose l - 112 = o. Is l a multiple of 40?
True
Suppose -4*t + 3*t = -202. Does 38 divide t?
False
Let x = 339 + 145. Suppose 3*l + l = x. Is 11 a factor of l?
True
Let i be 4 + (-3)/5 + (-2)/5. Suppose 5*a - 88 = -2*q + 27, -i*q + 198 = -a. Is 30 a factor of q?
False
Suppose 9*b - 579 = -3*w + 6*b, -15 = 5*b. Does 3 divide w?
False
Let b = -1665 + 2550. Is 10 a factor of b?
False
Suppose -o + 8 = 5*q, 26 = -o + 2*o - q. Suppose o + 25 = 3*t. Is t even?
True
Suppose -3*a - 37 = 5*q, q + 5*a - 4 = -29. Is 5 a factor of (-2)/q + (446/(-5))/(-2)?
True
Let z = 1666 - -56. Is 21 a factor of z?
True
Let x(b) = -b**2 + 8*b + 4. Let a be x(8). Suppose 9*p - 700 = a*p. Let t = -79 + p. Is 25 a factor of t?
False
Let t(v) = -9*v - 2. Let r be t(-1). Let s(f) = 3*f - 19. Let n(d) = -2*d + 13. Let j(x) = 7*n(x) + 5*s(x). Does 2 divide j(r)?
False
Let r = -113 - -165. Is r a multiple of 13?
True
Let f(x) = x + 309. Let n be f(0). Suppose 3*y = -0*y - n. Let c = y - -169. Is 27 a factor of c?
False
Let l be 2*46*2/8. Suppose -18*m = -l*m + 165. Suppose 36*h = m*h + 216. Is h a multiple of 18?
True
Let v be ((-72)/(-40))/((-9)/(-465)). Let w be (1 + (1 - 1))*162. Let m = w - v. Is 12 a factor of m?
False
Suppose -206 - 454 = -h. Suppose 2*v + 8*v - h = 0. Is 10 a factor of v?
False
Suppose 0 = -5*f - 5*p + 25, 2*f + 9 + 6 = 3*p. Let h be (1 + f)*44/(-2). Let x = h + 25. Is x a multiple of 2?
False
Suppose q - 3*q = -4*j - 234, 480 = 4*q - 2*j. Does 2 divide q?
False
Let z be 624/(-56) + 1/7. Let r = -5 - z. Is 264/r - (-5 + 1) a multiple of 16?
True
Let m = 866 + -652. Is m a multiple of 28?
False
Suppose 3*n + n = 12, -3*n + 6057 = 4*m. Is m a multiple of 21?
True
Suppose 0 = -10*f + 2336 + 6304. Is 32 a factor of f?
True
Let a = -42 - -722. Is a a multiple of 10?
True
Let k = 605 + -482. Is 70 a factor of k?
False
Suppose -7*z - 294 = -13*z. Let d = z - 4. Does 5 divide d?
True
Let i = -24 - -26. Let o(k) = 37*k**2 + k - 3. Does 21 divide o(i)?
True
Suppose 4*y + 1028 = 3*t, 3*t + y - 588 = 415. Is 7 a factor of t?
True
Suppose 4*s - 2*s = 6. Let f = 5 - s. Let n = f - -4. Does 5 divide n?
False
Let y = -405 - -596. Is y a multiple of 30?
False
Suppose -7*t - 712 = -2119. Is t a multiple of 6?
False
Suppose -5*t + 1359 = -1086. Let a = t + -340. Is a a multiple of 10?
False
Let k(n) = n**2 - 16*n + 16. Let t be k(14). Is (-55 + 28)/(1*2/t) a multiple of 21?
False
Let n = 85 - 113. Does 2 divide (-686)/n + 1/2?
False
Does 3 divide 123/(-2 - (-2 - (-15)/(-20)))?
False
Is (4 - 14)*(1776/(-20) - -1) a multiple of 52?
False
Let n(u) = u**2 - 2*u + 32. Is n(8) a multiple of 40?
True
Let h be 0 - (1 - (3 - 2)). Suppose -5*p + 1 - 6 = h. Is 11 a factor of (23 - (p - 1)) + -3?
True
Let t = -69 - -72. Let h(y) = 35*y + 6. Is 8 a factor of h(t)?
False
Suppose -172 = 2*c - 2*l, -5*l - 230 - 96 = 4*c. Let n be (4/(-6))/(8/c). Let t(v) = -v**2 + 7*v + 8. Does 2 divide t(n)?
True
Let m(c) = -9*c**2 + 4*c + 2. Let p be m(-3). Let l = p - -160. Is l a multiple of 20?
False
Suppose -4*r - 4*j + 360 = -0*r, r - 78 = 5*j. Is r a multiple of 23?
False
Suppose -836 = 5*t - 3*k, 2*k - 502 = -2*t + 5*t. Let n = t + 248. Does 16 divide n?
False
Let q = 132 + -275. Let p = -53 - q. Is 15 a factor of p?
True
Suppose 16*d + 7657 = 29*d. Is 27 a factor of d?
False
Suppose p - 2*b + 370 = 916, -5*b = 3*p - 1693. Is 33 a factor of p?
False
Suppose v + 0*f = 3*f + 77, 4*f = 5*v - 374. Let h = v - -4. Does 13 divide h?
True
Let a = 50 - 67. Is a/4 + 4 - 641/(-4) a multiple of 28?
False
Suppose 10*x - 5*x - 10 = 0. Suppose g + x*g - 153 = 0. Does 10 divide g?
False
Suppose 4*k + 57 = 373. Suppose s - 34 = 4*q, -6*q + 2*q = -4*s + 196. Let l = k - s. Does 10 divide l?
False
Let k = -614 + 741. Does 4 divide k?
False
Let u = -2 + 3. Let k be -2*(-1 + 0)*u. Suppose 0 = c - k*s - 4 - 17, s + 4 = 0. Is 10 a factor of c?
False
Let r(c) = -2*c**2 + 29*c + 1. Let a = 19 - 7. Is r(a) a multiple of 13?
False
Let k(p) = -p**2 - p + 7. Let l be k(-4). Is 28 a factor of -2 - (l + 3 - 112)?
True
Let u = 5653 + -8077. Is u/(-120)*(4 - -1) a multiple of 20?
False
Suppose -t + 6*t + 10 = 0. Let p be ((-29)/t + -3)*-28. Is p/(-9) + (-14)/(-63) a multiple of 12?
True
Let f = -89 + 1274. Suppose -5*v + 5*x = -0*x - f, 2*v = 3*x + 477. Does 18 divide v?
True
Let n be 15650/15 + (-2)/6. Suppose -14*w = -637 - n. Is w a multiple of 30?
True
Let g be (-7 - -1) + 4 + 0. Let p(u) = -5*u**2 + 2*u + 1. Let d be p(g). Let w = -10 - d. Does 8 divide w?
False
Let r = 3523 - 2519. Does 11 divide r?
False
Suppose -2*m + 2 = -4*i, 2*m = -2*i + 4*m - 2. Suppose i = -0*h + 4*h + 180. Let o = 96 + h. Does 13 divide o?
False
Let d(m) = m**3 + m - 51*m**2 + 77 - 2*m + 0*m + 50*m**2. Is 6 a factor of d(0)?
False
Suppose 812 = 10*w - 19888. Is w a multiple of 10?
True
Let k(f) = -5*f**3 + 4*f**2 + f + 130. Is k(0) a multiple of 3?
False
Let z = -19 - -25. Let a(f) = 2*f + 4. Is 3 a factor of a(z)?
False
Let n(o) = 29*o**2 - 20*o - 21. Is n(-1) a multiple of 4?
True
Suppose 2*i - 3*i - 10 = 0. Let g = 12 + i. Suppose -y - 3*w + 29 = 0, 2*w = y - 2 - g. Is y a multiple of 7?
True
Let n = 97 + -85. Suppose -n*i = -13*i + 46. Does 44 divide i?
False
Let l = 927 + -505. Is l a multiple of 7?
False
Let y be (-54)/(1*(-12)/(-8)). Let u = y - -40. Does 2 divide u?
True
Let n(p) = -5*p**2 + 9*p - 9. Let u(f) = -9*f**2 + 17*f - 17. Let a(c) = -11*n(c) + 6*u(c). Let y = -9 - -14. Is 12 a factor of a(y)?
False
Let z = 38 + -18. Suppose -4*t + 29 = -2*a + a, t - z = -4*a. Is 8 a factor of t?
True
Suppose -17*b + 116 = -105. Let f(g) = 7*g - 25. Is f(b) a multiple of 20?
False
Let z(a) = -3*a - a - 7*a**2 - a + 6*a. Let k be z(1). Let x = 51 + k. Does 6 divide x?
False
Suppose 0 = 10*p - 103608 + 36628. Is p a multiple of 19?
False
Let k = -282 - -406. Suppose 0 = -3*u + u + k. Suppose -5*w + u = -33. Does 5 divide w?
False
Let h(y) = y**3 + 3*y**2 - 4*y + 2. Let r be h(-4). Suppose -4*v - 5*g - 260 = 0, 4*v + 264 = -r*g - 2*g. Let o = -45 - v. Is 18 a factor of o?
False
Suppose -4*l - 40 = -4*p, 3*p + p + 5 = -5*l. Let t(d) = -d + 2. Let a be t(p). Let r(s) = 9*s**2 - s - 6. Is r(a) a multiple of 26?
True
Does 9 divide -1*(-352 - (-2 + 1))?
True
Suppose 13*b + 5*a = 17*b - 1507, -755 = -2*b + a. Is 14 a factor of b?
True
Let j(n) = 10*n - 5. Let g be j(-1). Let b(f) = 2*f + 37. Is b(g) a multiple of 3?
False
Suppose -1 - 1 = -k + 5*n, -n = 3*k - 6. Suppose -w + 2*w = 1, -4*p - k*w = 6. Does 14 divide 1/(2/104) + p?
False
Let p = -456 - -704. Is p a multiple of 28?
False
L