(-21). Does 20 divide 1802/x - (-10)/(-15)?
True
Suppose 0 = -8*g - 18 - 22. Let b(v) = -34*v - 26. Let w be b(g). Suppose 48*a - w = 46*a. Does 18 divide a?
True
Let t = 82 - 89. Let u(m) = 13*m + m**3 - 10 - 3*m - m**2 + 12*m**2. Is u(t) a multiple of 23?
False
Let s(c) = -455*c**3 + c**2 + 4*c + 5. Let b be s(-1). Let l = -103 + b. Does 59 divide l?
True
Suppose 0 = 16*j - 18*j + 25256. Is 77 a factor of j?
True
Does 52 divide ((-561)/17 + -11)/(-1 + 206/208)?
True
Let j = -53 + 90. Suppose 1190 = 5*u + 2*f, -20 = -j*f + 33*f. Is u a multiple of 10?
False
Suppose 13*q + 15 = 8*q. Let r be -4*q/(-9) + (-4)/6. Does 4 divide -2 + r + 32 + 2/1?
False
Let d(r) be the third derivative of r**5/5 - 11*r**4/24 - 3*r**3 - 30*r**2. Is d(-3) a multiple of 8?
False
Let z(q) = 3*q**2 + 31*q - 115. Let u = 857 - 849. Does 6 divide z(u)?
False
Suppose -5*n - 4*p = 26, 8*n + 28 = 4*n + 4*p. Let z be (-3)/n - (-5)/(-10). Suppose -3*j + 29 + 31 = z. Does 19 divide j?
False
Let a(f) = 4*f**3 - 2*f**2 + 2*f + 5. Let z be a(-2). Is (-3)/((-36)/z)*-72 a multiple of 5?
False
Let n = 4 - 8. Let c(q) = -8*q**2 - 2*q - 8*q**2 - 6 + 12*q**2 + 5*q**2. Is 2 a factor of c(n)?
True
Is 57 a factor of ((-525)/(-28))/15*(-164)/(-10)*570?
True
Let o(j) = 9*j**2 - 30*j + 740. Is 15 a factor of o(19)?
False
Does 2 divide 324/108 + 466*(0 + 1)?
False
Let u(w) be the third derivative of w**6/120 - w**5/6 - 11*w**4/24 + w**3/3 + 10*w**2 - 1. Let y = 4 + 7. Is u(y) even?
True
Let z be (1152/(-768))/(6/(-20)). Suppose 0 = 2*j + s - 524, s = -3*j - 4*s + 793. Suppose 0 = -3*p - 3*f + j, -z*f - 124 = -2*p + 85. Does 9 divide p?
False
Suppose 560 - 572 = -4*t, -o - 3*t + 15446 = 0. Does 87 divide o?
False
Let j(m) = -6315*m + 5527. Is 184 a factor of j(-3)?
True
Let p = 299 - -2385. Suppose 6*n - 3448 = p. Is 14 a factor of n?
True
Suppose y - 33818 = -3*o, -3627 = y - 2*o - 37470. Is y a multiple of 23?
True
Does 272 divide (-2)/((-134)/(-32) + -4)*(-140505)/58?
True
Suppose 0 = 4*l + w + 1222, -13*w = -5*l - 15*w - 1529. Let o = 465 - l. Is 55 a factor of o?
True
Suppose -z + 0*z - u = -99, 5*z + 2*u - 510 = 0. Suppose -9*d + 1477 = 1441. Suppose d*c = 8*c - z. Does 16 divide c?
False
Let y = -308 + 313. Is 103 + 1*(-6 + y) a multiple of 16?
False
Suppose -4*a + 8*j - 3*j = -5712, 3*a - 4257 = -3*j. Let v = a + -831. Is v a multiple of 16?
True
Suppose -34 = -2*w - 3*u, 4*w + 4 = 2*u + 72. Suppose -w*m + 9136 = -112. Is m a multiple of 17?
True
Let g(u) = u + 8. Let h be g(-8). Suppose h = 19*a - 73 - 1789. Does 11 divide a?
False
Let h = 670 - 701. Let z = 140 + -201. Let t = h - z. Is t a multiple of 6?
True
Let t = -6325 - -7197. Is t a multiple of 57?
False
Suppose 4*f - 15628 = -3*n, 9*n + 19516 = 5*f + 8*n. Suppose 47*p + 802 - f = 0. Is 11 a factor of p?
True
Let q(b) = 11*b**3 + 13*b**2 - 19*b + 175. Is 14 a factor of q(6)?
False
Suppose 0 = -m - 3*s + 144, 5*s = 3*s + 8. Let n = 148 + m. Is (1/(-2))/((-5)/n) a multiple of 14?
True
Let w = 343 + -599. Let f = -172 - w. Is f a multiple of 5?
False
Let o(f) = -2*f**3 - 88*f**2 - 8*f - 226. Is 28 a factor of o(-44)?
False
Suppose -7*n - 3812 - 1452 = 0. Let f = -626 - n. Is f even?
True
Let y(x) = 10*x**3 + x + 2. Let d be y(2). Suppose -3*a - 4*w + 3*w - 23 = 0, w + 5 = 0. Is 12 a factor of d/(-8)*88/a?
False
Let f(k) be the third derivative of 0*k + 0 + 7/3*k**3 - 35*k**2 + 13/12*k**4. Does 18 divide f(5)?
True
Suppose -14*t + 11*t + 45 = 0. Let z(x) = x**2 - 3*x - 8. Is z(t) a multiple of 12?
False
Let c(o) = -14*o**3 - 7*o**2 - 10*o - 34. Let h(b) = 16*b**3 + 6*b**2 + 10*b + 33. Let d(w) = -5*c(w) - 6*h(w). Does 16 divide d(-3)?
False
Let x = 1 + 8. Let s be x/(-2)*(-154)/(-4)*-8. Suppose -4*g = -10*g + s. Is 46 a factor of g?
False
Suppose 0 = -s - 12*s + 351. Let h = s + 54. Is 9 a factor of h?
True
Let u(b) = 4*b - 55. Let r(m) = 3*m**2 - 16*m + 22. Let l be r(5). Let p be u(l). Suppose w - 2 = p. Does 9 divide w?
False
Let f(a) = a**3 + 29*a**2 - 61*a - 14. Does 12 divide f(-10)?
True
Let r be (-307)/(-5 + 2 - 28/(-7)). Let l = -273 - r. Is 5 a factor of l?
False
Let a(n) = -n**3 + 2*n**3 + 35*n**2 - 11*n**2 - 11*n**2 + 19. Is a(-10) a multiple of 8?
False
Let p be 6/((-12)/(-120) + (-38)/(-20)). Suppose 0 = 5*z - p*r - 0*r - 982, z = -4*r + 178. Is z a multiple of 28?
False
Suppose -27*c + 999 + 12987 = 0. Does 6 divide c?
False
Suppose -32*b + 2*s = -29*b - 8096, s - 10802 = -4*b. Is 27 a factor of b?
True
Let k be (3/(-4) - 0) + 33/44. Suppose s - 4*t - 844 = k, 0 = -0*s + 3*s - t - 2587. Suppose -4*u = -5*b + s, -5*u = 5*b - 94 - 806. Is b a multiple of 16?
True
Let i = -2692 + 8908. Is i a multiple of 37?
True
Let x(u) = 3*u**2 + 20*u - 110. Suppose -5*l + 2*l = -3*a - 69, 5*a + 2*l = -101. Does 13 divide x(a)?
True
Let v(o) = o**3 - 31*o**2 + 11*o + 5. Is v(32) a multiple of 63?
False
Let u(w) = -75 + 102 - 744*w - 67. Does 64 divide u(-1)?
True
Suppose -4*w - 3*b + 5 = -16, 0 = -5*b - 25. Suppose w*n + 2160 = 29*n. Does 24 divide n?
False
Suppose -4*o - 20 = -8*o. Suppose -o*d + 7 = 27. Let j = 106 + d. Is 17 a factor of j?
True
Suppose 418*h = 397*h + 1356852. Does 122 divide h?
False
Suppose 3*n = 471 + 861. Let m = 506 - n. Does 29 divide m?
False
Let g(v) = -v**3 + 9*v**2 - v + 19. Let u be g(9). Let d = u + -8. Suppose -h - 97 = -2*m, h = -d*h + 3. Does 7 divide m?
True
Let t = -961 - 855. Let a = 2598 + t. Suppose -j - f + 162 = f, a = 5*j - 4*f. Is 16 a factor of j?
False
Suppose 0 = 86*m - 79*m - 469. Suppose 15*k + m = 1957. Is k a multiple of 14?
True
Let z(p) = 12*p**3 + 9*p**2 + 9*p + 30. Is 141 a factor of z(9)?
True
Let h(t) = -3*t + 49. Let w be h(8). Suppose 1038 = -19*q + w*q. Is q a multiple of 8?
False
Let f(w) = -353*w - 677. Is f(-4) a multiple of 21?
True
Suppose -75953 = -78*t + 122947. Is 6 a factor of t?
True
Suppose -10*p + 115826 = 21*p - 2*p. Is p a multiple of 154?
False
Let t(i) = 13*i + 3 - 28 - 3*i**2 - 7. Let c be t(5). Let g = c + 66. Is g a multiple of 8?
True
Suppose 0 = -d - 3*d - 20. Let x(h) = 9*h**2 + h + 12. Let y be x(d). Let s = y - 157. Is s a multiple of 15?
True
Let g(m) = -608*m + 4562. Is g(-9) a multiple of 23?
False
Suppose -17*q = -14*q. Suppose -z = -3*t + 2, q = -t + z + 3 - 1. Suppose 5*g - 220 = -h - 0*h, t = 4*h. Is g a multiple of 40?
False
Let z = -5460 + 9163. Does 7 divide z?
True
Suppose -867*i + 834*i + 1299837 = 0. Does 31 divide i?
False
Suppose -124*o = -115*o - 74601. Is 9 a factor of o?
True
Let i(g) be the first derivative of g**5/15 + g**4/4 + 2*g**3/3 + 2*g**2 - 15. Let j(b) be the second derivative of i(b). Does 11 divide j(-4)?
True
Suppose -8*f = -2 - 6. Let v(t) = 113*t + 5. Let l be v(f). Suppose -8*k - j + 283 = -3*k, 2*j = 2*k - l. Is 19 a factor of k?
True
Let o be 14*2/(1*4). Let z(j) = -25127*j - 6 + 50260*j - 25129*j. Is 11 a factor of z(o)?
True
Let g = -21 + 24. Let m be ((-10)/30)/((-1)/g). Is (15/(-10))/(m/(-72)) a multiple of 12?
True
Let b(m) be the second derivative of -m**5/20 + 7*m**4/12 - m**3/2 - 13*m**2/2 + 7*m. Let s be b(6). Suppose s*i - 62 - 323 = 0. Is i a multiple of 9?
False
Let o = 279 + -285. Is (-3)/o*(11 - -45) a multiple of 28?
True
Does 27 divide (-564)/(-36) - 15 - (-48811)/3?
False
Let j(w) = 3*w**2 + 8*w + 7. Let c be j(-4). Let m be (0 - (0 - 4) - c)*-15. Suppose -8*t + l = -3*t - 670, 2*t = -3*l + m. Does 15 divide t?
True
Let w = 115 - 110. Suppose -w*y + c = 1956, -3*c - 867 = 2*y - 71. Let z = y - -599. Is z a multiple of 23?
True
Suppose 124*f - 116*f = 632. Suppose 74*m = f*m - 1125. Is m a multiple of 13?
False
Let s = -11177 + 14334. Is s a multiple of 2?
False
Let p be -2 - (63/(-6))/7*26. Let l(i) = 7 - 20 + 2 + p*i. Does 20 divide l(3)?
True
Suppose -10*j = 9*j - 27343 - 20081. Is j a multiple of 6?
True
Let f(t) = 4*t + 295. Is f(-42) a multiple of 53?
False
Is 15 a factor of 3933/2 + 68/(-136)?
False
Let a(y) = -17*y**2 - 8*y - 4. Let p(l) = 16*l**2 + 7*l + 3. Let m(c) = 2*a(c) + 3*p(c). Let w be m(5). Suppose -12*f = -404 - w. Is f a multiple of 16?
False
Let w(v) be the second derivative of -5*v**3/6 + 21*v**2 - v. Suppose -17*x - 61 = 31 - 24. Is w(x) a multiple of 4?
False
Let u(t) = t**3 + 6*t**2 - 3*t + 8. Let m be u(4). Suppose 0 = -3*d + 3*b + m, -2 = -23*b + 22*b. Does 9 divide d