
Is 8 a factor of (-5)/(10/84)*175*(-6)/18?
False
Let h be (-12)/(156/143) + 16. Let i(s) = 5*s - 1. Let d be i(1). Suppose -d*g + 149 = -h*r, -3*g + 5*g = -5*r + 37. Is g a multiple of 12?
False
Let w = -8501 - -17285. Is w a multiple of 14?
False
Suppose -16*u + 28380 = -23060. Is 75 a factor of u?
False
Let k(a) = a - 11. Let r(g) = 5*g - 43. Let y(s) = -9*k(s) + 2*r(s). Let l be y(-9). Is (l - (-5 + -1))*14/5 a multiple of 3?
False
Let d be 167 + 1 - (-4 + 4 + 1). Suppose 2*x - 4*a = 327 - 101, x - 110 = a. Let b = d - x. Is b a multiple of 7?
False
Suppose 0 = -30*j + 34*j + 56. Let s be (-32)/(-14)*j/(-4). Suppose -997 - 1299 = -s*l. Does 21 divide l?
False
Suppose -7*c + 13*c + 11016 = 0. Is 12 a factor of ((-20)/(-30))/((-6)/c)?
True
Let p = 59 - 156. Let w = p - -280. Suppose -2*l - 275 = -3*i, -i + l = i - w. Is i a multiple of 20?
False
Suppose 26*c - 31*c = -105. Let m(i) = i**2 + 17*i - 19. Does 96 divide m(c)?
False
Let i(n) be the third derivative of -n**6/40 + n**5/60 - n**4/24 - n**3/2 - 17*n**2. Let j be i(-2). Suppose 0 = 10*q - 13*q + j. Is q a multiple of 6?
False
Let b(u) = -69*u + 67. Let q be b(16). Let f = q - -1695. Is 15 a factor of f?
False
Let i(d) = 27*d**2 + 28*d - 25. Let r be i(-8). Suppose 2*z + r = 7*z + 2*q, 1477 = 5*z + q. Does 17 divide z?
False
Let b(h) = -34*h - 7 + 5 + 0 - 7. Let s = -10 + 2. Is 54 a factor of b(s)?
False
Let m(t) = -22 + 3*t + 16*t - 6*t. Let q be m(-9). Let i = 230 + q. Does 14 divide i?
False
Let y = -16697 + 29127. Is y a multiple of 10?
True
Suppose 4*r - 10297 = -3*u, r + 4*u = -u + 2570. Suppose 4*s + 0*v + 5*v = r, 5*s + 4*v = 3221. Is 26 a factor of s?
False
Suppose c + 3*v - 23 = 0, -4*v = -6*c + 5*c + 16. Let a = c - 17. Suppose -f + 38 = a*q - 29, -q - 211 = -3*f. Does 6 divide f?
False
Let v be (-176)/(-28) + (-4)/14. Let n be (-3 + 1)/(((-5)/v)/5). Let j(q) = -q**3 + 13*q**2 - 7*q + 27. Does 29 divide j(n)?
True
Suppose 3*i - 5044 = 8564. Suppose -6*b = -5*q - 3*b + 7560, -i = -3*q + 2*b. Suppose q = 10*o - 4*o. Is o a multiple of 18?
True
Let p = 218 + -218. Suppose p = -v + 4*g + 377, 0 = -v - 4*g + 303 + 90. Is v a multiple of 6?
False
Let r(l) = l**3 + 4*l**2 - l - 9. Let m be r(-8). Let b = m - -77. Is 7 a factor of 42/5*b/(-27)?
True
Suppose -20*x - 49*x + 2837759 + 2534512 = 0. Is 211 a factor of x?
True
Let n be -1*(4235/(-63) + (-4)/(-18)). Suppose 5*t + 4*r = -n, -4*t - 4*r - 18 - 38 = 0. Let d(z) = -z**3 - 9*z**2 + 14*z + 22. Is 10 a factor of d(t)?
True
Let f(r) = 49*r + 536. Let y be f(-11). Let w(p) = -p**2 + p + 1. Let v(x) = -3*x**3 - 5*x**2 - 9*x - 10. Let l(t) = v(t) + 3*w(t). Is 4 a factor of l(y)?
True
Let q(x) = 135*x - 407. Does 4 divide q(11)?
False
Suppose 17*z = 2*z + 95940. Is 41 a factor of z?
True
Suppose 12*v + 649 = 14761. Does 24 divide v?
True
Let f = 33499 - -33011. Is 18 a factor of f?
True
Let y = -58 + 63. Suppose -5*i + y*i = -5*i. Suppose -b + 4*q + 127 = i, -2*b + 148 = 3*q - 117. Is 24 a factor of b?
False
Suppose 2*v - 1037 = -3*v + c, 5*v = -c + 1043. Let k(r) = 118*r - 3. Let a be k(4). Suppose -g = 5*t - v - a, 548 = 4*t + 4*g. Is t a multiple of 27?
True
Let w = -132 - -137. Suppose m + 2 = 0, -w*m - 742 = 4*y - 7*y. Is 5 a factor of ((-5)/(-10))/(6/y)*3?
False
Suppose 3*u = b - 732, -864 - 594 = -2*b + 3*u. Let s = b + -497. Does 9 divide s?
False
Suppose 0 = 3*z - 4*t + 2021, -t - 1340 = 23*z - 21*z. Is -4 - (z + -1)/4 a multiple of 4?
True
Let f(g) = 7*g**2 + 1. Let d(x) = -x. Suppose 6*t + t - 14 = 0. Let s be d(t). Is f(s) a multiple of 29?
True
Let d = 6366 - 4016. Is 2 a factor of d?
True
Let a = -1 + -3. Suppose -8*o - 2 = -9*o - 2*j, 5*j + 4 = 2*o. Does 4 divide (-10)/4*o*(-1 + a)?
False
Suppose 0 = 28*s + 2981 - 23757. Suppose -s - 3794 = -9*w. Is w a multiple of 28?
True
Suppose 2*n + 476 = 2*b, -3*b + n + 718 = -0*b. Let m(t) = -2*t**2 + 20*t + 156. Let o be m(15). Suppose -9*y + b = o*y. Is y even?
True
Let u(y) = 20*y**2 - 17*y - 138. Does 13 divide u(-20)?
False
Let g = -22654 + 40747. Is 11 a factor of g?
False
Let r = 921 + -918. Suppose o = 4*x - 258, r*o + 95 = 2*x - 29. Is x a multiple of 8?
False
Suppose -4*x + 416 = 152. Let v = x - 59. Suppose -5*o + v*o = 120. Is 12 a factor of o?
True
Let m(o) = o**2 - 102*o - 2460. Does 4 divide m(-26)?
True
Suppose 1100 = 3*j - p, 72*j - 75*j + 3*p = -1092. Is j a multiple of 7?
False
Does 54 divide 5 + 2*(3345 + 7)?
False
Let s(j) be the third derivative of -j**4/24 - j**3 - j**2. Let y be s(-6). Suppose y = -n - 2*n - z + 255, -z = 4*n - 341. Is n a multiple of 43?
True
Let y be (-38)/4 + (-27)/54. Let s(f) = -f**3 - 9*f**2 + 9*f - 14. Let a be s(y). Let p = 23 + a. Is p a multiple of 14?
False
Let c(k) be the first derivative of -k**3/3 + 10*k**2 - 17*k + 13. Let m = 26 - 8. Is c(m) a multiple of 7?
False
Suppose 108*w = -194570 + 4637042. Is 202 a factor of w?
False
Let v(o) be the third derivative of 0 - 2/3*o**3 + 11/30*o**5 + 7/24*o**4 - 1/120*o**6 + 4*o**2 + 0*o. Does 25 divide v(22)?
True
Let f(a) = -18*a + 93. Let v(q) = 35*q - 187. Let o(r) = -7*f(r) - 4*v(r). Does 69 divide o(-10)?
False
Suppose -4*u - 28 = 4*d + 8, -5*u - 29 = 3*d. Does 11 divide ((-8)/(-10))/(d/20) + 1102?
True
Let n = -5220 - -5286. Is n a multiple of 33?
True
Let m be (156/65)/((-4)/(-10)). Suppose -v - m*v + 1575 = 0. Is 75 a factor of v?
True
Let t be -87*(-4 + 16/6)*37. Suppose r - 3*v - 1050 = 0, 2*v = 4*r - t + 92. Is 70 a factor of r?
True
Let d = 208 - -4819. Is 7 a factor of d?
False
Let h be -1046*(-5 - (-34)/6)*-3. Is (-25)/(-20) - h/(-16) a multiple of 11?
True
Let t = -1143 + 1162. Let j(c) = 13*c**3 - 2*c**2 + 4*c - 3. Let f be j(3). Suppose t*q - 13*q = f. Is 19 a factor of q?
True
Suppose 124*t - 236*t = -114*t + 23040. Is t a multiple of 180?
True
Suppose 0 = -52*p + 8*p - 14212. Let o = 437 - p. Is 38 a factor of o?
True
Let u(m) = -337*m**3 - 22*m**2 - 12*m - 53. Is 135 a factor of u(-4)?
False
Let p be (4 + -4 + -250)*5/(-2). Suppose 5*o - p = 5*d, 0*o + 220 = 2*o + 4*d. Is o a multiple of 6?
True
Let k(z) = 11*z - 12. Let b be k(8). Let g = 171 - b. Is 13 a factor of 1*-2 - (25/(-5) - g)?
False
Let b(y) = -y**3 + 25*y**2 - 2*y + 55. Let v be b(25). Suppose -4*x + 22*p = 21*p - 3097, -5*p = v*x - 3865. Is x a multiple of 45?
False
Let l(k) = k**3 - 4*k**2 - 8*k - 24. Let t be l(6). Suppose t = 4*y + a - 1245, 0 = -3*y + 4*a + a + 928. Is y a multiple of 39?
False
Let o(u) = 15*u**2 - 8*u - 63. Does 36 divide o(27)?
True
Let z = -260 + 900. Suppose 3*j = z - 166. Is j a multiple of 10?
False
Let y(r) = 3*r**3 - 45*r**2 + 157*r + 11. Is 11 a factor of y(18)?
True
Let d(u) = -6*u**2 - 4*u - 3. Let q be d(-2). Does 12 divide q/(-1 - 22/(-24))?
True
Is (9/6)/(11 - 1472029/133822) a multiple of 20?
False
Let h(k) = -k + 3. Let r be h(1). Suppose v = -r*v + 7*v. Suppose -3*b + 5*b + 5*f - 322 = v, -3*b + 494 = 2*f. Is b a multiple of 28?
False
Suppose 5654270 + 547180 = 150*q. Is 321 a factor of q?
False
Let b = -567 + 5255. Is 16 a factor of b?
True
Suppose -4*m - 5*v = -8*m + 930, v = 2*m - 468. Let f = 92 - m. Let n = 189 + f. Is n a multiple of 23?
True
Suppose 3*z + 22 = -5*c, 5*c - 3 + 5 = 2*z. Let y = -41 + z. Is 7 a factor of (-2391)/y + 4/(-30)?
False
Let k(b) = -b**3 + 20*b**2 - 78*b + 41. Let a be k(15). Does 20 divide (11 - 6) + -7 - (a - 497)?
False
Let x be (-2 + 2/4)*(17 + -19). Suppose 0 = -x*f - f + 16. Is 9 a factor of 7140/399 - f/(-38)?
True
Let z = -107 + 109. Suppose -3*h + 0*a + 462 = 5*a, -h + 154 = z*a. Does 11 divide h?
True
Let m be ((-3)/(-3))/((-3)/(-1317)). Let b = m - 399. Is 4 a factor of b?
True
Suppose 2*u + l = 1128, -2818 = 10*u - 15*u - 2*l. Is 47 a factor of u?
False
Let a be (-192)/48*(-3)/4. Suppose 0 = -a*y + 20 + 799. Does 13 divide y?
True
Let n be (3/(-9))/(9/2457). Let b = 95 + n. Suppose -b*v + v + o + 48 = 0, 5*v - 2*o = 80. Does 14 divide v?
False
Let i(v) = 77*v - 5. Let j be i(1). Let o = j - 8. Suppose 3*h + 381 = 3*f, 2*f - 4*h - 188 = o. Does 32 divide f?
True
Let y(k) = -25*k + 120. Let d be y(5). Does 21 divide -15 + 8 - -543 - d?
False
Does 24 divide 1*-9 - (-6680 - -431)?
True
Suppose -7*y - 43 - 6 = 0. Does 37 divide (19/(-2))/((49/518)/y)?
True
Is 49 a factor of (-11170)/4*12/(-60)*22?
False
Suppose -4*j - 1026 