 + i**2. Does 21 divide b(p)?
True
Suppose 0 = -7*p - 25 + 4. Let z be ((-231)/(-35))/(p/(-555)). Suppose 9*h - z - 1731 = 0. Is 41 a factor of h?
True
Suppose 58*p - 57840 = 29*p + 17*p. Is p a multiple of 6?
False
Suppose 0 = -2*i + 5 + 1. Suppose -i*w + 5 = -z, -6*z + 7 = -2*z - 3*w. Suppose z*o - 216 = -2*o. Is 18 a factor of o?
True
Let u = 589 - -30995. Is u a multiple of 22?
False
Let h be 591/15 - (-1)/((-5)/(-3)). Let a be (-1*(-6)/(-5))/((-4)/h). Is ((-20)/6)/((-2)/a) even?
True
Suppose 74*r - 16 = 66*r. Suppose 1312 = 4*h - r*q, -5*h + 1083 + 571 = q. Does 24 divide h?
False
Let g(j) = 42*j**3 + 3*j**2 - 3*j - 114. Is g(6) a multiple of 13?
True
Let n(j) = 38*j**3 + 10*j**2 - 32*j + 254. Is 102 a factor of n(8)?
True
Let b(v) = 43*v**2 + 54*v - 15. Is b(15) a multiple of 30?
True
Suppose 13 = -2*f + 4*f - 5*l, -5*f - 5*l + 15 = 0. Suppose f*w = -5*b + 679, 5*w = b + 4*b + 860. Is 5 a factor of w?
False
Suppose 3*u - 45 = -2*u. Let n be 3*(-2)/u - 256/(-6). Suppose n = -b + t + 151, b - 99 = 3*t. Is b a multiple of 18?
False
Let r(s) = -2*s - 90. Let n be r(44). Let u = n + 266. Is u a multiple of 4?
True
Suppose -20*u - 4*u = 67*u - 421512. Is 28 a factor of u?
False
Let k(c) = -39*c**2 - 8*c + 11. Let q(h) = 77*h**2 + 15*h - 21. Let n(u) = -5*k(u) - 2*q(u). Is 14 a factor of n(3)?
False
Let o be (-198)/(-30) - (27/15)/3. Does 13 divide (-1)/o - 51889/(-114)?
True
Suppose x = o + 16, 3*x = -0*x - 5*o + 64. Let n = x - 4. Is 20 a factor of 276/14 + 4/n?
True
Is 56 a factor of 23 + -30 - (-150)/21 - (-36146)/14?
False
Suppose -3*y - 62 = 25. Let v = y - -27. Is 3 a factor of 273/15 + v/10?
True
Let r be (18/99 + 1043/11)*25. Suppose -w + 1775 = 4*c - 122, -5*c + r = 5*w. Is c a multiple of 29?
False
Let v(c) = c**3 - 7*c**2 + 15*c - 22. Let r be v(5). Suppose -r*q = -2*w + 149 + 1010, -3*w + q = -1728. Does 23 divide w?
True
Does 142 divide 4/(-89 - -91 - 2358/1180)?
False
Let s(c) = 123*c**3 + c**2 - 2*c + 4. Let z be s(3). Suppose 13*a - 5*a = z. Suppose 23*g - 25*g + a = 0. Is 52 a factor of g?
True
Is 8/(-14) - 11/((-770)/2880540) a multiple of 25?
True
Let g be (-665)/(-75) + -3 - 24/(-180). Let y be 2*1*-7*-1. Let u = g + y. Does 5 divide u?
True
Let w(p) = 199*p**2 - 42*p - 16. Is w(-10) a multiple of 18?
True
Suppose 0 = 115*v - 111449 - 60016. Is 6 a factor of v?
False
Let b(z) = 40 - 4 - 3*z - 5. Suppose 21*h - 10*h = -17*h. Does 16 divide b(h)?
False
Let a = 3323 + -3180. Does 2 divide a?
False
Let a be (-792)/2*(-140)/42. Suppose -56*n + 52*n + a = 0. Does 22 divide n?
True
Let j = 14040 - 13681. Does 4 divide j?
False
Let i(y) = 9*y - 216. Let p be i(0). Let h = p + 552. Is h a multiple of 28?
True
Suppose 5*o + j = -2, 5*o - 1 = -4*j - 9. Let h = -4387 + 4392. Suppose o = h*k - 96 - 59. Is 2 a factor of k?
False
Suppose -8*i + 209 = -135. Suppose i = 4*n + 19. Suppose 1060 = 11*j - n*j. Is j a multiple of 53?
True
Suppose 0 = -5*o + h + 44881, -4*o + 14397 = -2*h - 21509. Is o a multiple of 44?
True
Suppose -10*w + 6*w - 12 = 0, 3*w = -v + 8573. Does 11 divide v?
False
Does 12 divide ((-28)/(-4) - 19)/(2/(-2932))?
True
Let t = -42216 + 46402. Does 322 divide t?
True
Suppose 2*u - 2*t = -3 + 21, 0 = -5*t + 5. Let s be (-6)/u*1*(-3 + -2). Suppose 0 = c - 3*j - 39, -2*j - 176 = -7*c + s*c. Is 8 a factor of c?
False
Suppose 0 = -5*d - f - 714, -6*f - 20 = -f. Let j = 343 + d. Is 25 a factor of j?
False
Let b(d) = d - 26. Let g be b(28). Let x(h) = 58*h**2 + 2. Is x(g) a multiple of 26?
True
Suppose -11*t + 2856 = t. Suppose -4*y = -3*h - 251 - 55, 3*y - t = -2*h. Let v = 48 + y. Is 31 a factor of v?
False
Suppose 5*u = -m - 544, -4*m + m - 1632 = -5*u. Is 10 a factor of (m/(-13) - (-8)/52) + -4?
False
Suppose -g - 2229 = -3*q, -7*g = -5*g. Let a = 1107 - q. Is a a multiple of 13?
True
Let i be (5/30*-34)/(6/(-36)). Suppose -229 - 451 = -i*h. Does 6 divide h?
False
Suppose -28 = -5*o - 283. Is 7 a factor of (-2)/(-17) + (-17385)/o?
False
Let v be 6/(-4)*4/(-3). Suppose -v*h + 972 = 2*h. Suppose -q - h = -4*q. Does 9 divide q?
True
Suppose -2*v = -18 + 12. Let d be (2 - (5 + -1))*v/(-2). Is 2 a factor of (2 + 43)/d + 0?
False
Let t(v) be the third derivative of 3*v**5/10 - 11*v**4/24 - 8*v**3 - 3*v**2 + 9*v. Does 13 divide t(-5)?
False
Let d = -3558 + 6332. Suppose -8*o + 1466 = -d. Is o a multiple of 53?
True
Let a be (-2)/((-3)/((-114)/(-4))). Suppose -1750 = -a*w + 1252. Is 22 a factor of w?
False
Is 5 a factor of (-24)/(-9) + (-64191)/(-9)?
True
Let f(b) be the third derivative of b**5/30 + 25*b**4/24 - 25*b**3/2 - 3*b**2 + 36. Does 8 divide f(12)?
False
Let k = -30 - -30. Suppose k = -5*z + 2 + 8. Suppose 4*q - 2*s = 282, -z*s - 71 + 197 = 2*q. Does 8 divide q?
False
Suppose -3*m = -3*t + 8310, 5*m - 11062 = -15*t + 11*t. Is 54 a factor of t?
False
Let j = 2 + 7. Suppose 0 = -14*s + j*s + 10. Suppose -s*r + 3 = -7, -5*n = r - 630. Is 25 a factor of n?
True
Is 37 a factor of 21132 + -4 + (-140)/42*6/5?
False
Let l be 9 + (2 + -3)*0. Let v be 2 + 6*3/l. Suppose 3*y + 0*y - 227 = 4*j, -5*j = v*y - 344. Is 6 a factor of y?
False
Suppose 6*h - h - 3*f - 823 = 0, 5*f + 815 = 5*h. Suppose -174*y + 364 = -h*y. Is 13 a factor of y?
True
Suppose -459*x - 22192 = -461*x. Does 46 divide x?
False
Let p = -36 - -668. Let r = -87 - -175. Suppose p = 10*o - r. Is 18 a factor of o?
True
Let h(w) = -w**3 + 5*w**2 - 1. Let z be h(5). Let f be (2336/(-4) + 3)*z. Suppose -2*y - 43 + f = 0. Is 26 a factor of y?
False
Suppose -2*t + 4*p = 62, 3*t + 3*p + 80 = -t. Let s = 24 + t. Suppose -3*j + 5*o + 150 - 2 = 0, -o = -s. Is j a multiple of 17?
True
Let h(r) = r**2 + 61*r + 20. Is h(-76) a multiple of 40?
True
Let a(s) = 5*s**2 + 256*s + 2680. Is a(-10) a multiple of 2?
True
Let o(a) = -16 + 10 + 7*a - 5*a**2 + 3*a**3 - 2*a**3 + 19. Is o(9) a multiple of 28?
False
Let l = 85 - -161. Let x = 516 - l. Is x a multiple of 18?
True
Let s(m) = 2*m**2 - 6*m + 6. Let g be s(4). Suppose -g*j + 11*j = -3. Is 30 a factor of ((-12)/3)/j + 76?
False
Let g(z) = 2 + 13*z + 4 + 13 + 1. Let u be g(5). Suppose h + 4*a - u = 0, -2*h + 122 = -a - 84. Does 13 divide h?
False
Let u be ((-24)/4)/(-6) - (13 + -4). Is 4 a factor of (48/18)/(0 - u/36)?
True
Let a = 13617 + -3423. Is 72 a factor of a?
False
Suppose 0*m + 18*m = 234. Suppose -r - m = -15. Suppose -r*o - 2*w + 234 = 0, -o + 0*o + w = -123. Does 20 divide o?
True
Let n be -142 + 20/((-8)/(-2)). Let x = 165 + n. Is x a multiple of 4?
True
Let y = -7565 - -10853. Does 17 divide y?
False
Suppose 0 = 4*l - 3*l - 5. Suppose 0 = s + 3*j - 134 - 43, 5*s = l*j + 825. Does 6 divide s?
True
Suppose -4*l + 162 = 3*q + 633, 12 = 4*q. Let r be 3744/l + 2/10. Let s = r - -91. Is s a multiple of 10?
True
Let c = -82 + 94. Suppose 0 = 4*n - 76 - c. Let u = 97 - n. Does 25 divide u?
True
Let j = -2 - -8. Let q = 1020 - 655. Suppose y + q = j*y. Is 22 a factor of y?
False
Let v(w) = -13*w**3 + 4*w**2 + 6*w - 49. Is v(-6) a multiple of 21?
False
Let j(y) = -y**2 + 195*y - 2174. Is j(74) a multiple of 4?
True
Suppose 5*a = -4*h + 2*h + 1757, 3*a - 5*h = 1048. Let x = a + -225. Is x a multiple of 21?
True
Let m be (3/(-2)*-8)/(-3 + 5). Let s be ((-22)/4 + 4)/(m/56). Let y(g) = -24*g - 43. Does 29 divide y(s)?
False
Let y(v) = 22*v**2 + 8*v - 7. Suppose 0 = -5*u + 3*t - 19, -7*u + 3*u - 5*t = -7. Is y(u) a multiple of 21?
False
Let q(z) = 13*z**2 - 93*z + 94. Is 115 a factor of q(-18)?
True
Let u(z) = 103*z**3 + 8*z**2 + 11*z - 117. Does 17 divide u(4)?
True
Let o = -2146 + 3816. Suppose 12*y = 2*y + o. Suppose -y = -s - 4*z, 3*z = 8*z + 25. Is s a multiple of 13?
False
Suppose 17*v - 23*v - 40220 = -11*v. Is 18 a factor of v?
False
Does 3 divide 1263/2105 - 48142/(-5)?
False
Let s = -221 - -221. Suppose w = 4*z + 732, 5*w + 16*z - 21*z - 3720 = s. Does 44 divide w?
True
Let w(d) = -3*d - 75. Let s(c) = -2*c - 151. Let x(g) = -3*s(g) + 5*w(g). Is x(0) a multiple of 3?
True
Suppose -14 = 10*f - 3*f. Let g(a) = -4*a**3 - 2*a**2 + 3*a + 3. Let z be g(f). Suppose -z = 4*t - 5*t + b, 2*t + 3*b = 62. Is t a multiple of 5?
True
Let a be 92/161 + (-24)/(-7). Let k be ((-20)/(-2))/(a - 2). Suppose k*r = 433 - 153. Does 14 divide r?
True
Suppose -5*f - 4*h + 12 = 0, -4*f - 10 = -4*h + 2. Suppose 15*o - 3*o - 1176 = f. Suppose -o = 9*b