 = 444*w**2 + 26*w + 99. Does 44 divide u(-4)?
False
Let h(s) = -s - 41. Let w(p) be the second derivative of p**3/6 + 21*p**2 + 16*p. Let j(a) = 5*h(a) + 6*w(a). Is 4 a factor of j(-10)?
False
Let b(l) = -7*l**3 - 16*l**2 - 5*l - 11. Does 25 divide b(-11)?
True
Let w(p) = 2*p**3 - 18*p**2 - 18*p - 18. Let u be w(10). Suppose 5*a + 4*x = u*x + 90, x - 15 = -a. Is a a multiple of 4?
True
Let h(u) = 9*u + 21. Let z be h(-9). Let g = 61 + z. Is 29 a factor of 2 - (3 + -179 - g)?
False
Suppose y - 5 = -6. Let l = y - 7. Does 28 divide (-17)/68 + (-314)/l?
False
Let j be 1/10 - (3202/20 - 1). Let i = 155 - j. Does 40 divide i?
False
Let a = -2475 - -5944. Does 15 divide a?
False
Suppose -47*c - 70200 = -55*c. Is 6 a factor of c?
False
Let k = -5 - -15. Suppose 5*z + 3*h - 4*h - 30 = 0, -3*z + k = h. Suppose z*y - 3*x - 1505 + 592 = 0, y + 3*x - 197 = 0. Is 24 a factor of y?
False
Let y(b) = -7*b - 34. Let x be y(-6). Suppose -x*w + 2799 = w. Suppose -4*f = 39 - w. Does 11 divide f?
False
Suppose 11*s - 10*s - 2572 = 0. Is 25 a factor of s?
False
Let b = 24497 - 24346. Does 9 divide b?
False
Suppose h = 5, 0 = -8*q + 4*h + 7325 - 1625. Is 58 a factor of q?
False
Let r be (259/(-37))/(-1 - 4/(-5)). Let k = -33 + r. Suppose k*o - 386 = -4*s, -3*o = -2*s + 264 - 835. Is o a multiple of 32?
False
Let g = 11539 - 7808. Is g a multiple of 41?
True
Let p(o) = -o**3 - o**2 + 2*o - 11. Let a be p(-3). Let z = a + 81. Does 6 divide z?
False
Let a = 168 + -160. Does 29 divide (-1730)/(-4)*a/10 + 2?
True
Let j(n) = -n**3 + 9*n**2 + 125*n - 171. Does 111 divide j(-21)?
True
Let f be (1705 - (1 + -3))/3. Let c = -146 + f. Does 9 divide c?
True
Suppose 5*x = -g + 635 - 234, -g = -1. Suppose 3*p - x = -p. Does 9 divide p?
False
Let g(o) = -6*o**2 + 2*o**3 + 1 - 7*o + 0 - 3*o**3 - 7. Let b be g(-5). Suppose 3*a - b*y = 103, -7*a + 5*y + 175 = -2*a. Is 12 a factor of a?
False
Is 6/(-14) - ((-1404486)/63 + 40) a multiple of 43?
False
Let k be 16191/(-36) + -4 + 3/4. Let v = k + 625. Is 4 a factor of v?
True
Let g(a) = -16*a**3 - 214*a**2 - 196*a + 786. Let r(q) = 3*q**3 + 43*q**2 + 40*q - 157. Let v(l) = -2*g(l) - 11*r(l). Does 5 divide v(-44)?
False
Let o(g) = -94*g + 2406. Is o(16) a multiple of 26?
False
Let i(t) = -49*t**2 - 6*t + 7. Let p be i(2). Is 15 a factor of (-6)/((-24)/(-20)) + (0 - p)?
False
Let x = -691 - -2419. Is x a multiple of 32?
True
Let o(r) be the third derivative of 17*r**5/60 - r**4/12 + r**3/2 + 14*r**2. Is o(-3) a multiple of 9?
True
Suppose 2*t + 3*w + 17 = 0, -3*t - 2*w - 9 - 14 = 0. Let m(c) = 3*c + 27. Let z be m(t). Suppose -z*y + 288 = -0*y. Is 3 a factor of y?
True
Suppose 2*z + 12754 = 4*q, -q - 52*z + 3220 = -48*z. Is 168 a factor of q?
True
Let j be ((-315)/(-4))/(10 + (-891)/88). Let d = 1792 + j. Is 80 a factor of d?
False
Let r = 298 - 483. Let j = r - -227. Does 17 divide j?
False
Let a = -50 + -98. Let i = 43 - a. Does 23 divide i?
False
Let a(q) = q**2 - 8*q - 15. Let h be a(10). Let d be 1/h - 342/(-90). Is (d/(-3))/((-36)/1593) a multiple of 9?
False
Let p(h) = 13*h - 3*h - 2*h**3 + h**3 + 16*h**2 + 17 - 29*h. Is 5 a factor of p(14)?
False
Let y(f) = f**3 + 5*f**2 + 2*f - 5. Let x be y(-4). Suppose 2*t + 5*k = 56 + 482, -x*k + 6 = 0. Suppose -18*i = -12*i - t. Does 22 divide i?
True
Let n(k) = -k**2 - 6*k + 5. Let q be n(0). Is q - (-23 + 0/4) a multiple of 14?
True
Suppose 3*j + 8 = -2*d + 6*d, 10 = 2*d - 3*j. Does 21 divide d/(8852/(-2212) - -4)?
False
Let j(w) = 73*w**3 - 3*w**2 + 5*w - 8. Let x be j(3). Suppose 6*q - x = 1019. Is q a multiple of 15?
True
Suppose -5*a + 15267 = 2*p, 24563 + 6016 = 4*p + 5*a. Is 11 a factor of p?
True
Let p(t) = -2*t**3 + 76*t**2 - 38*t - 91. Is p(35) a multiple of 121?
True
Suppose 2*u + 4*f - 4815 - 7253 = 0, 0 = 5*u - f - 30082. Is 59 a factor of u?
True
Is 2 a factor of 27886/8 + 391/(-68) + 6?
True
Let y be -1*(5 + 0 + -6)*-1. Is (40 + 1 - y)*1 a multiple of 6?
True
Let l(y) be the first derivative of y**4/4 - 3*y**3 - y**2/2 + 560*y - 164. Does 35 divide l(0)?
True
Let t be (3396/14)/(17/119). Suppose 5*b = t + 2302. Suppose -112 = -4*z - 4*w + 724, -4*z = -5*w - b. Is z a multiple of 41?
True
Is -59*(-519)/6 - (-37)/74 a multiple of 12?
False
Let a(b) = 6*b**2 + 51*b + 21. Let u be 18*(49/(-14))/7. Is a(u) a multiple of 3?
True
Let l = 645 - 595. Let f = -4 + 8. Suppose -10 + l = f*h. Is h a multiple of 3?
False
Let v be (-6 + 30)/6*-14. Does 8 divide ((-30456)/252)/(6/v)?
True
Suppose 4*n = 16, 2*n + 0*n = 5*w + 223. Let f = -23 - w. Suppose -f = -i + 28. Does 6 divide i?
True
Is (-10 + (-114940)/(-40))*1*4 a multiple of 183?
False
Suppose -114*h + 367629 = 124*h - 37*h. Is 12 a factor of h?
False
Suppose 0 = -7*w + 1071 + 3780. Let r = -1352 + w. Is 35 a factor of 4*3/(-54) + r/(-9)?
False
Let s = 65 + -50. Let x(n) = -2*n + 11. Let c be x(s). Let u(p) = -2*p + 29. Is 6 a factor of u(c)?
False
Suppose -2*c = c + 3*l, 4*l + 4 = -3*c. Suppose 0 = -r + 5*j - 0*j + 42, -15 = -5*j. Suppose -3*i + r = c*n, -n = -i - 0*n + 19. Is i a multiple of 11?
False
Let f(r) = 202*r + 19. Let a be f(-1). Let k = a + 986. Is k a multiple of 73?
True
Let n(o) = o**3 + 6*o**2 + 4*o - 1. Let k be n(-5). Suppose -3*p + 5*x + 208 = 0, -5*x + 10*x - 254 = -k*p. Is p a multiple of 6?
True
Let s(d) be the second derivative of 3*d**3/2 - 11*d**2 - 145*d. Suppose -5*k = -k - 12. Is 5 a factor of s(k)?
True
Let f(u) = 3*u**3 - 2*u**2 + 6*u - 24. Let w(r) = 3*r**2 + 25*r - 14. Let s be w(-9). Is f(s) a multiple of 5?
True
Let l = 2802 + -1626. Suppose -k = 3*z - l, -13*z - 2*k = -8*z - 1960. Is 14 a factor of z?
True
Suppose 8*g = 3*g. Let c = g - -1. Is c + (-7 - -4 - -60) a multiple of 7?
False
Suppose 1087*n = 1135*n - 606960. Does 34 divide n?
False
Let a(l) = 53 - 10*l - 7*l - 4*l + 19*l + l**2. Let t(f) = -f**2 - 6*f - 5. Let c be t(-5). Is a(c) a multiple of 17?
False
Let x(j) be the first derivative of j**3 - 7*j**2/2 + 9*j - 10. Let r be x(11). Suppose 0*v - r = -5*v. Does 17 divide v?
False
Let s = 261 + -164. Suppose k = -103 + s. Does 28 divide k/(-39) - (-3)/(-39)*-1480?
False
Suppose -o + 4*o + 23 = f, 2*f - 55 = 3*o. Let i = -5 + f. Let w = i - -21. Is w a multiple of 19?
False
Let g(f) = 6*f**2 + 39*f + 228. Is 112 a factor of g(36)?
True
Let p(w) = w**2 - w + 1. Let d be p(1). Let l be (0 + d)/(-6) + (-13)/(-78). Suppose -5*i + 8 + 12 = l, 0 = 4*t + 3*i - 264. Is 8 a factor of t?
False
Suppose 10*n + 3527 - 48863 = 7144. Is 10 a factor of n?
False
Let q(p) = 9*p - 171. Let h be q(18). Is 7 a factor of 84/h*378/(-12)?
True
Suppose -h = n - 4, 4*h - 29 = 4*n + 27. Suppose -h*i + 593 = -451. Is i a multiple of 17?
False
Let i(v) = -18*v - 90 - 11*v - 31. Is i(-13) a multiple of 16?
True
Suppose -m + 7*f - 2*f + 2570 = 0, 2*m - 5161 = 3*f. Suppose -m = -13*t - 479. Is 18 a factor of t?
True
Suppose -h - 18 = -5*z, -3 = z + 2*h - 0. Is 225/(-21)*(z + -10) a multiple of 15?
True
Let u(l) = 5*l**2 - 15*l + 89. Suppose 2*x - 7 = -r, 2 = 2*x + 10. Does 15 divide u(r)?
False
Suppose 102*h - 110*h = 24. Is ((-170)/h)/(54/81) even?
False
Suppose 2354 = x + 28*s - 23*s, -s + 11842 = 5*x. Is 89 a factor of x?
False
Let f = 554 + -156. Suppose -f = -x - 0*o + 3*o, -4*x + 1562 = 3*o. Is x/18 + 1 - (-4)/18 a multiple of 6?
False
Let f be (13 - -4 - 4) + -7. Suppose -376 = -p - 4*l, -2*p - l + f*l = -700. Is p a multiple of 10?
True
Suppose -z - 8 = -o, -2*z = o + 3 + 4. Let p be o/15 + (-156)/30. Is 11 a factor of (-264)/15*((-75)/(-2))/p?
True
Suppose -3*x + 3757 + 4166 + 3417 = 0. Is 84 a factor of x?
True
Let q(o) = -o**3 + o + 6. Let n be q(0). Suppose -n*w = -3 - 9. Let t(c) = 3*c**2 + 5*c - 5. Does 11 divide t(w)?
False
Suppose x = 5*o - 379, o + x = -x + 67. Is 895/6 + o/90 a multiple of 50?
True
Let v(w) = 171*w + 3. Suppose -13 = -23*x + 10*x. Is 8 a factor of v(x)?
False
Suppose 2851 = 5*w + 556. Let u = 844 + -447. Suppose 8*t - w = u. Is 27 a factor of t?
False
Let v(g) = -g**2 - 96*g + 972. Is v(-82) a multiple of 8?
True
Let q(c) = 5*c - 7. Let v be 14/2 + (-2)/1*-1. Suppose -11*a = -8*a - v. Is 6 a factor of q(a)?
False
Does 28 divide ((-7)/6 - 93/(-186)) + 198970/6?
False
Is 47 a factor of -1573*((-2 - -1) + -12) - (-5 - -9)?
True
Let c(b) = -2*b**2 + 23*b - 6. Let m be c(11). Suppose 3*f 