n - 1. Let y be d(c). Is 3 a factor of 14/21 - y/(-9)?
False
Is (31682/(-248))/(34/144 - 11/44) a multiple of 56?
False
Suppose -2*b - 302 = -4*b. Let m = 190 - -150. Let n = m - b. Does 27 divide n?
True
Let t = 34 + -29. Suppose 0 = -s - 4, -2*n = -n - 2*s - t. Does 14 divide (25/3)/((-1)/n)?
False
Let i = 13030 - 6286. Does 6 divide i?
True
Suppose -8*y = 647 - 15. Suppose -f = -2*z + 5*z, -4*f = -z. Let v = z - y. Is v a multiple of 11?
False
Let s = 5 - -12. Suppose -4*v + 5*p = 10 + 7, -5*v = 4*p - 30. Suppose s = v*j - j. Does 5 divide j?
False
Let f(s) = 6*s**2 - 2*s - 5 + 4*s + 8*s - 3*s. Is f(5) a multiple of 12?
True
Let j(f) = f**3 + 9*f**2 - f - 4. Let y be j(-9). Let t be 6*4/(-8) + y. Is 10 a factor of 8/(-8)*(t/1 + -28)?
False
Suppose c = 4*q - 15, -4*c + 31 = 3*q - 4. Suppose 4*s + 4207 = 7*n - 2*n, 0 = -q*n - 2*s + 4189. Is n a multiple of 73?
False
Let m(z) = -2*z**2 + 3*z + 15. Let x(t) = 3*t + 30. Let j be x(-10). Does 10 divide m(j)?
False
Let g(h) = 9*h - 15. Let o(l) = -l**2 + 15*l - 31. Let x = 30 + -19. Let j be o(x). Does 11 divide g(j)?
False
Suppose 44*b - 41*b + 30 = 0. Let g be (0 + 4)*(-5)/b. Suppose 8 = 4*j, -g*y - 58 = -4*y - j. Is y a multiple of 14?
True
Let o(f) be the third derivative of f**6/120 - f**5/12 + f**4/6 - f**3 + 24*f**2. Let k be o(2). Let q = k - -48. Is q a multiple of 19?
True
Suppose 4*l - 543 = -2*s + 737, 3*s + 3*l - 1932 = 0. Suppose c = k + 2*c - s, -c - 3228 = -5*k. Is 17 a factor of k?
True
Suppose 5*y + d - 13788 = 0, -130*d - 11038 = -4*y - 127*d. Is y a multiple of 16?
False
Let x = -207 - -213. Does 13 divide -726*-2*1/x?
False
Is 12 a factor of ((1474/88)/(5/32))/((-5)/(-600))?
True
Suppose -88337*i + 88355*i = 205668. Is i a multiple of 17?
False
Let q = -255 - -267. Suppose 4*l = q, -l = -4*b + 2*l + 343. Is 49 a factor of b?
False
Does 63 divide (-1 + 4)/((-1)/(-9) - 117/1134)?
True
Suppose 4*x + 11 - 19 = 0. Suppose c = 6*y - 3*y - 7, 5*c = -x*y + 50. Is c a multiple of 4?
True
Suppose 0 = -26*r + 16880 + 8756. Does 7 divide r?
False
Suppose -4*j - 48 = -2*q, -j = -5*j - 4*q - 24. Let v be (-8)/10*(-2)/((-8)/j). Suppose v*m + 0*g + 4*g = 184, -5*m - g + 496 = 0. Does 37 divide m?
False
Let g(i) = -i**2 - i + 90. Let v be g(18). Let u = v - -537. Does 57 divide u?
True
Let d(i) = 220*i**2 - 55*i + 162. Is 67 a factor of d(14)?
False
Let w(g) be the third derivative of g**5/15 - 5*g**4/24 + g**3/6 + 50*g**2. Is 40 a factor of w(4)?
False
Suppose -94 = -5*i + 301. Let v = i - -96. Is 25 a factor of v?
True
Let x = -3951 - -9191. Does 17 divide x?
False
Let s(m) = -2*m**3 + 43*m**2 - 69*m - 20. Let q(z) = z**3 - 21*z**2 + 34*z + 10. Let i(r) = 13*q(r) + 6*s(r). Suppose -19 - 79 = -7*o. Is i(o) a multiple of 35?
False
Suppose 4*f - 5*v - 9764 - 372 = 0, 0 = -2*f - 2*v + 5050. Is f a multiple of 13?
False
Suppose 146*n - 147*n + 22 = 0. Suppose 7840 = -n*o + 50*o. Is 20 a factor of o?
True
Let k = -258 - -20. Let x = 381 - k. Is x a multiple of 12?
False
Let c(n) = n**3 + 35*n**2 - n - 33. Let x be c(-35). Suppose x*s - 104 - 62 = 0. Is s a multiple of 27?
False
Let m(u) = 39*u**2 + 33*u + 79. Is 61 a factor of m(7)?
False
Let x be (15/4)/((-6015)/1000 + 6). Let g = -179 - x. Does 5 divide g?
False
Let x(i) = -15 + 13*i - 10*i**3 + 12*i**3 - 21*i**2 + 1. Is 16 a factor of x(10)?
True
Let v be 36 + -22 - (-5 + -2). Does 24 divide (-1374)/v*77/(-22)?
False
Suppose 2*d = -2*d + 16, -p = 4*d + 106. Let g be 6/45 - p/(-15). Is 3 - 0 - (19 + -6)*g a multiple of 34?
False
Let b(p) be the third derivative of -p**4/24 + 7*p**3 - 2*p**2. Let w be -3 - (18/5)/((-18)/90). Does 9 divide b(w)?
True
Suppose 5*c = 3*c + 3*p + 90, -5*c + 191 = p. Is 4869/c - (-2)/13 a multiple of 29?
False
Let q = 51 - 28. Suppose 11 - q = -4*h. Suppose -h*x = -133 + 49. Is x a multiple of 13?
False
Let u(o) be the third derivative of 32*o**5/15 + o**4/24 - 2*o**3/3 + 2*o**2 + 14*o. Does 18 divide u(-2)?
False
Let p(g) = -4*g - 61. Let i be p(-15). Let c(m) = -220*m**3 - 2*m**2 + m + 2. Does 27 divide c(i)?
False
Let s = 16445 + -10674. Does 2 divide s?
False
Let q(m) = 3*m + 1. Let j(o) = -57. Let i(d) = -j(d) + 5*q(d). Is 40 a factor of i(12)?
False
Let l(g) = -6157*g**3 - 6*g - 7. Is l(-1) a multiple of 18?
True
Suppose -4*r + 160 = -336. Let z = r + -234. Let q = z - -186. Is q a multiple of 19?
True
Let q(a) = -116*a**3 + 4*a**2 + 19*a - 16. Is q(-4) a multiple of 86?
True
Let a be ((-3)/(-4))/((-6)/(-504)). Is 10 a factor of 33/77 - 3/(a/(-5367))?
False
Let k(m) = -19*m - 9. Let r be -34*((-9)/26 + 4/(-26)). Suppose 3*x + f = -0*f - r, 0 = -3*x - 2*f - 16. Does 15 divide k(x)?
True
Let n(h) = 2*h**2 + h - 3. Let y(u) = -u**2 + 3*u + 2. Let g be y(4). Let k be n(g). Let i = 67 - k. Is i a multiple of 12?
False
Let r(t) = 300*t - 1600. Is 35 a factor of r(27)?
False
Let s = 25652 + 3829. Is 31 a factor of s?
True
Suppose -3*k - 5 = -4*k, 4*n = -3*k + 2187. Suppose -7*h - 500 = n. Let p = h - -265. Is 20 a factor of p?
False
Let q(u) = -11*u - 21. Let k(f) = -5*f - 11. Let b(o) = -13*k(o) + 6*q(o). Let y be 324/30 - (-1)/5. Is b(y) a multiple of 6?
True
Does 117 divide (4185/10)/(66/8536)?
False
Let g(d) = -4*d**2 + 15*d - 79. Let l be g(6). Let s = -70 + -139. Let w = l - s. Is w a multiple of 12?
False
Suppose 0 = -93*q + 55*q - 14288. Let v = q + 756. Is 19 a factor of v?
True
Suppose -3*o + 12222 = 5*z, 3*o = -2*z + 6188 + 6052. Does 61 divide o?
False
Suppose 5*t - 2*y = 2*t - 797, 3*y + 15 = 0. Let c = -165 - t. Is c a multiple of 13?
True
Let a be 1 - (5 - 79/1). Let u be (-658)/(-5) + 30/a. Let h = 363 - u. Does 15 divide h?
False
Let o be 3 + -1 + (-14)/(-2). Let h = -1464 - -1519. Suppose -685 = -o*s - h. Is 19 a factor of s?
False
Suppose 0 = -5*k + 3*r - 5651 + 19485, -5*r - 2780 = -k. Does 10 divide k?
False
Let w be 1/(300/(-1216) - (-1)/4). Let r = 491 - w. Is 27 a factor of r?
False
Suppose -20*y = -38*y. Suppose -s = -5*p + 4*p + 368, y = -p - 5*s + 338. Is 33 a factor of p?
True
Suppose -5*o + 3*o = -830. Let t = o - 242. Does 9 divide t?
False
Let z be 4/22 - (-120)/66. Let x be (-6 - -2)*(-2)/4. Suppose v - 70 = -3*i - 0*v, x*i - z*v = 52. Is 24 a factor of i?
True
Let s = 204 + 1470. Suppose 0 = -3*z - 4*m + 1010, s = 7*z - 2*z + 2*m. Does 15 divide z?
False
Let a(k) = -6*k**3 + 10*k**2 + 9*k + 7. Is 5 a factor of a(-5)?
False
Suppose -37*o - 2*o = -8736. Suppose -o = -25*v + 876. Is 6 a factor of v?
False
Let z(c) = -5*c**3 - 20*c**2 + 65*c - 34. Is 17 a factor of z(-17)?
True
Suppose -54*f + 50*f = -4. Let p(z) = 457*z**2 + z + 1. Is 17 a factor of p(f)?
True
Suppose -8*y + 5*c = -12802, 0 = -3*y + y - 5*c + 3188. Is y a multiple of 4?
False
Suppose q - 3*h = 6882, -2156 = -5*q - 3*h + 32146. Is q a multiple of 143?
True
Let q = -4609 - -5711. Is 39 a factor of q?
False
Does 19 divide 50000 - (735/(-57) + (-4)/38)?
False
Let v(c) = -84*c**3 + 4*c**2 + 12*c + 2. Let o be ((-32)/(-56))/((-10)/35). Is v(o) a multiple of 6?
True
Let q(v) = -137*v - 35. Let j be q(-3). Suppose 79 = -9*x + j. Let u = x + 27. Is u a multiple of 10?
True
Suppose p - 147 = -148. Is ((-102)/3 + p)/((-5)/5) even?
False
Is 5 a factor of (-11)/((-209)/(-133)) + 557?
True
Suppose -3*i - 166 = -2*i. Let q = -98 - i. Suppose -4*w = 5*r - 54, 2*w + q = 6*w - 2*r. Is 16 a factor of w?
True
Suppose -2*s = 10, -4*s - 86 = -m - 2*s. Is 12 a factor of 222/8 + (-57)/m?
False
Let q = 56 - 52. Let k be q/9*12*9/(-4). Let y(g) = -5*g - 14. Does 9 divide y(k)?
False
Suppose -22*v - 71*v = -23*v - 578480. Is 154 a factor of v?
False
Suppose 113 = -2*a - 147. Let s = -3807 + 3761. Let y = s - a. Is y a multiple of 11?
False
Let d(c) be the first derivative of 2*c**3 - 3*c**2/2 + c + 1. Let n be d(1). Suppose -n*k - 68 + 208 = 0. Is 35 a factor of k?
True
Let b = -14216 + 35629. Does 133 divide b?
True
Suppose -b - 1 = 0, 4*u - 312 = u + 3*b. Suppose 102*m + 199 = u*m. Does 41 divide m?
False
Let u(y) = 13*y + 98. Let i be u(13). Suppose 3*m - 566 = -x, 5*x = m - i + 73. Does 12 divide m?
False
Is ((-6060)/(-25))/((-66)/(-440)) a multiple of 17?
False
Suppose -27*y + 1080 = -9*y. Does 18 divide (2/(-3) + 0)/(y/(-20430))?
False
Does 12 divide (14 - 10)*(-40312)/(-16)?
False
Let n = -390 - -460. Is 8 a factor of -1*(-10520)/n + (-4)