(-31*(-2)/c)/(-1). Let f = i + -44. Does 12 divide f?
False
Suppose 32*y + 63 = -193. Is 6 a factor of (-2965)/(-15) - y/24?
True
Let o(b) = -8*b**3 - 15*b**2 - 7*b + 7. Let k(p) = 10*p**3 + 16*p**2 + 8*p - 8. Let s(x) = -5*k(x) - 6*o(x). Is s(5) a multiple of 2?
True
Let w be (3/(-2))/(4/2128). Let d = 1380 + w. Is d a multiple of 78?
False
Is ((-15604)/282)/((-1)/90) a multiple of 34?
False
Is -18 + (-9)/((-126)/199724) a multiple of 52?
True
Let c = -238 - -243. Suppose -5*s + 1540 = 4*a, -2*a - c*s = -0*a - 760. Does 39 divide a?
True
Let w(z) = z**3 - z**2 + 4*z + 3. Let t be w(0). Suppose -6*a + 8*a - 4*g = 364, 0 = -t*g + 6. Is a a multiple of 93?
True
Let f = -10 + 8. Let y be (-3 - -4)*(-442)/f. Let m = y - 155. Does 6 divide m?
True
Suppose -60*u = 7*f - 56*u - 5972, -854 = -f - u. Is 6 a factor of f?
True
Let t(s) = -s**3 + s**2 + 14. Let b be t(0). Suppose -1 = -n - 4*x, -12*n + 9*n = -4*x - 19. Suppose -5 = -n*a, 2*w + 5*a - 87 = b. Is 6 a factor of w?
True
Let y = 23 + -33. Let k(t) be the first derivative of -t**4/4 - 10*t**3/3 - 2*t**2 + 18*t - 126. Does 13 divide k(y)?
False
Suppose 5*r = 2*r - 258. Let i be r/(-8) - 19/(-76). Suppose -5*g + y = -314, -i + 140 = 2*g + 3*y. Does 9 divide g?
True
Suppose n - 9 = -2*n. Suppose -36*g = -33*g - 36. Does 26 divide (-1 - (-400)/g)*n?
False
Suppose -a + 4598 = 2*n, -5*a + 6*n - 3*n + 23042 = 0. Is a a multiple of 94?
True
Let x be (-1 - 4*2/8)/(-1). Suppose -x*d - 9*d - 110 = 0. Let k = d + 24. Does 10 divide k?
False
Let u(q) = 5*q + 4. Let m(g) = 7*g**3 - g. Let r(f) = -f - 12. Let o be r(-13). Let y be m(o). Does 14 divide u(y)?
False
Let g(c) = 184*c + 31. Let j be g(0). Suppose -183 = -4*b - 2*v + 3*v, 4*v = 4*b - 168. Let d = b - j. Does 5 divide d?
False
Suppose 767*p + 174382 = 814*p - 177131. Is p a multiple of 9?
True
Suppose -3*i - 3*q + 77742 = 0, 153*q = 151*q. Is 31 a factor of i?
False
Let v(j) = -j**2 - 12*j - 17. Suppose -34 - 14 = 6*w. Let x be v(w). Suppose 52 = x*c - 11*c. Is c a multiple of 13?
True
Let w = 3692 - 2835. Is 2 a factor of w?
False
Let g be (-3 + 1)/(12/(-30)). Suppose 3*w - 15 = 0, 2*w - 35 = -g*j - w. Is (j/(-10))/((-1)/55) a multiple of 22?
True
Suppose 328 = 4*l - 104. Suppose 35*b - l = 32*b. Suppose b = -0*n + n. Does 18 divide n?
True
Let u = 1284 - -3926. Is 34 a factor of u?
False
Suppose 0 = -16*v + 108082 - 41362. Does 15 divide v?
True
Suppose 3*p - 2 = a, 6*a - 44 = a - 3*p. Suppose -a*m = -32*m + 3650. Is m a multiple of 5?
False
Let p(o) = 297*o - 54. Let h be (48/60)/(2/10). Is 9 a factor of p(h)?
True
Suppose 6283 + 12411 = 13*v. Is 55 a factor of v?
False
Let w = -2024 - -4438. Does 45 divide w?
False
Suppose -2*g = -5*r - 378, 4*r + 0*r - 3*g + 301 = 0. Let h = r - -78. Suppose 4*l - 11 = -3*t + h*t, -5*t - 5*l + 55 = 0. Does 11 divide t?
True
Let n be (-6 + 2)/1 - 18. Let k = n - -24. Suppose d + 2*s = 42, 0 = -4*d + k*s + 2*s + 108. Does 3 divide d?
False
Let d = -5 + 7. Let b be (-1)/((-1)/(-2))*d. Does 17 divide b/(-22) + (-273)/(-11)?
False
Is 12 a factor of (-10056)/(-28)*(-42)/(-1)*(-122)/(-366)?
True
Let w(x) = -x. Let l = 27 + -27. Let p be w(l). Is p + (5444/36 - (-2)/(-9)) a multiple of 20?
False
Suppose -3*w + f = -27726, 4884 = -w + 2*f + 14131. Is w a multiple of 26?
False
Let n be 96/4 - (-10 - -17). Suppose n*t - 634 - 5316 = 0. Is 70 a factor of t?
True
Let k = 29272 + -18852. Is 20 a factor of k?
True
Suppose -5*v = 4*r - 797, 2*r = 3*v - 3*r - 456. Let h = v + -30. Does 8 divide h?
False
Let v(j) = -5*j + 15*j + 44 - 5*j + 5 + 9*j. Does 15 divide v(0)?
False
Let p(g) = -g**3 + 28*g**2 + 65*g - 115. Let w be p(30). Let u(s) = -s**2 + 53*s - 74. Does 18 divide u(w)?
False
Let v(b) = 507*b**2 + 374*b + 2926. Is 44 a factor of v(-8)?
False
Suppose -37*j - 105 = -512. Suppose j*h - 3003 = 4*h. Does 17 divide h?
False
Suppose 3*d - 496*t = -493*t + 30435, -d = t - 10139. Is d a multiple of 50?
False
Suppose 17*p = -128*p + 1865574 - 171974. Is 10 a factor of p?
True
Suppose -4*l + 2*l + 5*i = -38, -4*i - 16 = 0. Let s(g) = 8*g - 6. Let p be s(l). Suppose -p*h + 63*h + 90 = 0. Is 6 a factor of h?
True
Let y be 6 - (-35)/(-7) - (-2)/(-2). Is (-270)/6*(-5 - y) a multiple of 15?
True
Suppose -5*v + 1204 = 2*h, 4*h = 4*v - 5*v + 2426. Suppose 4*b = -3*n + 5935, 891 = b - 4*n - h. Is 50 a factor of b?
False
Let l be 71592/40*(2 - -3). Suppose 28*p = 9*p + l. Is p a multiple of 14?
False
Let v(l) = 28*l**2 + 8*l - 2325 + 1164 + 1168. Is 5 a factor of v(-3)?
True
Suppose -3*f - 2*j - 29 = 40, -69 = 4*f - 5*j. Let t = f - -31. Suppose -8*r = -126 - t. Does 17 divide r?
True
Suppose 0 = -i + 4*s - 46, -3*i - 20*s - 58 = -16*s. Is 71/(-2 - -3)*(i + 27) a multiple of 12?
False
Suppose 0 = -47*h + 1043698 + 513083. Does 157 divide h?
False
Let z = 82 + -73. Suppose -5*h + 7 = -a, 5*a + 3*h = z*a - 6. Suppose 5*q = -a*u + 909, 5*q + 0*u - 3*u = 921. Is q a multiple of 15?
False
Let h be 696/(-64) - 5/40. Let s(x) = x**2 - 57*x + 5. Is s(h) a multiple of 17?
False
Is ((-3)/8 + (-15603)/56)*(-32)/48 a multiple of 15?
False
Does 13 divide ((26/(-12))/(-13))/(-1) - (-95164)/24?
True
Let v = -5891 + 10964. Suppose 18*m - 1731 = v. Does 6 divide m?
True
Suppose -f + 3*y - 205 = -12821, 25224 = 2*f + 2*y. Is 156 a factor of f?
False
Suppose 0 = -4*y - 97 + 113. Suppose -106 - 188 = -b - 2*z, -4*b + y*z + 1128 = 0. Does 13 divide b?
True
Suppose 50*f = 1687699 + 421201. Is 15 a factor of f?
False
Does 45 divide (2 + 13351 - -2 - -2) + -575 + 581?
False
Suppose -44 = -10*w - w. Suppose -704 = -w*r - 7*r. Is r a multiple of 8?
True
Suppose 0 = 246*v - 4595617 - 1790789. Is v a multiple of 36?
False
Is (33*(-41 - -27))/(1/(-60)*2) a multiple of 33?
True
Let z = 72 + -62. Is 53 a factor of z/(-8) - (-12)/(96/4250)?
True
Let i = 15537 - 6729. Is i a multiple of 47?
False
Suppose j = 5*t + 220, j - 4*j + 604 = -t. Suppose 198*p + 364 = j*p. Is 26 a factor of p?
True
Let t(k) = 139*k - 35. Let f be t(-2). Let y = f - -442. Is 46 a factor of y?
False
Suppose 9*u = 14*u - 700. Suppose u*s = 138*s. Suppose -12*i + 14*i - 54 = s. Is i a multiple of 7?
False
Let c(b) = b**2 - 26*b + 169. Suppose 0 = 15*d - 6*d - 216. Does 11 divide c(d)?
True
Let t(s) = -s**3 - 6*s**2 - s - 2. Let d be t(-6). Suppose 8*n + d = 9*n. Suppose -4*h = 4*k - 56, -2*h = n*k - 15 - 13. Is 7 a factor of h?
True
Suppose -5*s = 5*b - 4*b + 97, -4*s - 5*b = 65. Let w be (-11 + 6 + -1)/((-2)/s). Let z = 52 - w. Is 16 a factor of z?
True
Suppose 0 = 4*f + f - 5. Let t be 2/(f - (0 + 0)). Suppose 5*w - k + 5*k - 366 = 0, 224 = 3*w - t*k. Does 37 divide w?
True
Let f(c) = c**2 + 3*c - 12. Let z be f(-3). Suppose -5*a = 130 - 535. Let p = a + z. Is p a multiple of 5?
False
Let q(n) = 6*n + 11. Suppose -w = 4*i - 5, 2*w = -3*w + 4*i + 1. Let u be 10/(-10) - (-4 - w). Is 10 a factor of q(u)?
False
Suppose 6*c + 0*c = 684. Suppose 3*g + c = 3*x + g, 6 = 2*g. Does 22 divide (((-526)/4)/(20/x))/(-1)?
False
Let y(d) = -133*d**2 - d**3 - 2*d + 65*d**2 + 56*d**2 - 8. Does 28 divide y(-15)?
False
Let w = 22084 + -15623. Is 13 a factor of w?
True
Let s be 2 + (2 - 3) + 7. Let m(k) = 10*k**2 - 49*k - 250. Let v be m(-5). Suppose 0 = s*u - 13*u + v. Does 7 divide u?
True
Let n = -967 + 975. Suppose 0 = -3*a + 215 + 343. Suppose 5*s + a = n*s. Is 12 a factor of s?
False
Let k(x) = 2*x + 15. Let b be k(7). Let s = b - -22. Let i = 75 + s. Is i a multiple of 9?
True
Let y(c) = 3*c**2 - 11*c + 7. Let w be y(2). Is 10 + w + -13 + 390 a multiple of 32?
True
Let f(n) = -184*n**2 + 2 + 182*n**2 - 15*n**3 - 1. Suppose -5*s + s = 4. Is f(s) a multiple of 14?
True
Let v be (17/34)/(501/(-250) - -2). Is 11 a factor of (-136025)/v + (-12)/(-15)?
True
Let d = 274 + -74. Suppose 2*n = -0*l - 4*l + 218, 2*n - d = 5*l. Let q = -29 + n. Is 38 a factor of q?
True
Let m(r) = -r + 56. Let g be m(-25). Let y = g + 177. Is 18 a factor of y?
False
Let n(t) = -7*t**2 - 6*t - 1. Let v(d) = 35*d**2 + 30*d + 4. Let y be -1 + 4/(-2) + (9 - 8). Let l(z) = y*v(z) - 11*n(z). Does 10 divide l(-3)?
False
Suppose -5*o + 4557 + 7348 = 5*f, o + 2*f - 2383 = 0. Suppose -636 = 4*w - 3*z - o, -w + 436 = -z. Is w a multiple of 41?
False
Let f(l) = l**2 + 18*l + 8. Let j be 22/18 - (-1 - 33/(-27)). Let i be j/(-5) + (-357)/15 + 6. Do