be 2/18*3 - (-32)/(-6). Let n(k) = -59*k + 95. Is 15 a factor of n(y)?
True
Let g = 21 - 9. Is 2*(-1)/(-5)*2670/g a multiple of 35?
False
Let u(k) = 3*k**3 - 2*k**2 - 4*k - 4. Let j be u(2). Suppose -2*f - 2*r - 31 = -913, j*f + r = 1779. Does 38 divide f?
False
Let b(d) = -d**3 + 34*d**2 + 36*d - 20. Is 102 a factor of b(26)?
True
Suppose 40*g + 5*z - 277 = 44*g - 57, 2*z = 0. Suppose 0*o - 5*o = 65. Let v = o - g. Does 6 divide v?
True
Let g be (-8)/(-32) - ((-453)/(-4))/(-3). Let m = g + -53. Let t = 153 + m. Is 8 a factor of t?
False
Let h(m) = 4850*m**2 + 9*m - 8. Is h(1) a multiple of 11?
True
Let a(j) = 9*j - 6. Let r be a(2). Suppose r*c = 1391 + 469. Let k = c - 95. Does 5 divide k?
True
Let o(v) = 61*v**3 - 2*v**2 + v. Let k be o(1). Suppose k = -s - 5*s. Let q = -6 - s. Is q a multiple of 3?
False
Let c(i) = -7*i + 152. Let u be c(0). Suppose 0 = 5*b + u - 2297. Is 10 a factor of b?
False
Let n = -11762 + 20039. Is n a multiple of 83?
False
Let f(t) = t**2 - 2 + 0*t**2 - 3*t - 9. Let a be f(6). Does 2 divide 76/6 + a/21?
False
Let v(p) = p**3 + 13*p**2 - p - 11. Let g be v(-13). Suppose 2*f - 4*f + 6 = g*j, 5*f - 2*j = 22. Does 8 divide ((-4)/f - -3) + 41 - -1?
False
Let s(f) = f**2 + 6*f - 20. Let w be s(9). Let g be 4 - (w - (-5)/((-10)/4)). Let r = -49 - g. Does 15 divide r?
True
Suppose -5*s + 2*z + 6114 = 0, -5*s + 136*z - 140*z + 6102 = 0. Does 6 divide s?
False
Let k(j) = 1. Let z(x) = -14*x + 97. Let g(q) = -3*k(q) - z(q). Is g(8) a multiple of 12?
True
Let s(d) = -d**3 - 2*d**2 + 47*d + 197. Is 11 a factor of s(-6)?
False
Let x(z) = -26*z**3 - 11*z + 5. Is x(-3) a multiple of 37?
True
Let a(j) = 27*j**2 - 23*j + 86. Is a(4) a multiple of 112?
False
Let d(k) = 28*k - 247. Let m be d(9). Suppose -5*s - 3*f = -313, 5*s - 6*s + 67 = m*f. Does 25 divide s?
False
Suppose -313 = -3*a + 698. Suppose 1093 = 6*n + a. Is 23 a factor of n?
False
Let m = -10187 + 12508. Is m a multiple of 57?
False
Let n = 676 + -671. Suppose 0 = n*a - i - 6000, -a + 1219 = -31*i + 27*i. Is 23 a factor of a?
False
Suppose -52*j - 273 = -49*j. Is (-287)/j + -3 + (-19886)/(-26) a multiple of 45?
True
Suppose -m = -4*m. Suppose 2*d + 8 = m, 2 + 14 = 3*j - d. Suppose -x - 3 = 0, -j*u - 4*x + 23 = -29. Does 2 divide u?
True
Suppose 7*l + 5338 = -1319. Let p = -459 - l. Does 12 divide p?
True
Suppose 2*k - 5*k = -6. Suppose 0 = 5*a + k*h - 1525, -3*h = -a - 4*a + 1500. Does 14 divide a?
False
Suppose -3*u + 4*f + 14 = 0, -5*u = -2*f - 3*f - 20. Is (-39)/u*682/(-93) a multiple of 13?
True
Suppose -8*d + 96 = -4*d. Suppose 2*k = -2*z - 44, 0 = -5*z - 2*k - d - 74. Let j = -3 - z. Is 7 a factor of j?
False
Let m(n) = n + 6. Let y be m(-6). Suppose -3*u + 5*u + 4*h = 72, y = 4*u - 5*h - 144. Does 8 divide u?
False
Is 12*1173808/816 + 2/17 a multiple of 126?
True
Suppose -38*x + 35*x + 18690 = 2*u, 0 = 5*u. Does 89 divide x?
True
Let i = 26 + -75. Let d = i + 49. Suppose -6*u + 3*u + 5*x + 264 = d, 3*u = -4*x + 264. Is 18 a factor of u?
False
Let k = 3837 - 3162. Is 5 a factor of k?
True
Is 376467/98 - (-6)/(-4) a multiple of 32?
True
Suppose -43*j + 10 = -48*j. Does 11 divide -66*(6/(-15) + j/20)?
True
Let f(m) = -14*m**3 + m**2 + 2*m - 2. Let o be f(-2). Let y be (-3)/9 - o/(-6). Is 31 a factor of -2 - y/(-10) - 466/(-5)?
True
Let i(b) = -b**3 - 3*b**2 - 3*b - 1. Let k be (1/3)/((-6)/72). Let c = k + 1. Is 2 a factor of i(c)?
True
Suppose 17 = -2*c + 21. Suppose 5*q = 4*n + 309, -c*n - 1 = -9. Is q a multiple of 2?
False
Let p(j) = j**2 - 44*j + 2. Let c be p(44). Let q = -5 - -8. Suppose -5*n + 15 = 0, -q*y - n + 68 = -c*y. Is 9 a factor of y?
False
Is (-11 - -14) + (5661 - (3 + -3)) a multiple of 8?
True
Let k = 6302 - 3873. Is k a multiple of 7?
True
Is 2 a factor of ((-20)/((-260)/(-169)))/(2/(-586))?
False
Suppose -4*o = -3*o + 3. Let h(u) be the second derivative of -u**3/6 + 2*u**2 + 738*u. Is 3 a factor of h(o)?
False
Suppose -1824051 = -339*k - 148035. Is k a multiple of 68?
False
Suppose 2*q = 5*h - 55247, -19*h - 44184 = -23*h + 5*q. Is 22 a factor of h?
False
Let k be (-170)/(-34) + (1 - 10) - -4. Does 15 divide (-180)/72*(k - 30)?
True
Let f = -24 - -22. Is (-1572)/(-12) - (f + 0) a multiple of 20?
False
Is 3 a factor of (-1108)/(-1662)*(1 + 252 - 1)?
True
Suppose -32*j = 46*j - 2584530. Does 99 divide j?
False
Let v(x) = 2*x**3 - 4*x**2 + 10*x - 5. Let s = 88 - 72. Suppose 8*c - 12*c + s = 0. Does 9 divide v(c)?
True
Let d(g) = 370*g - 174. Is d(5) a multiple of 112?
False
Let f = 30748 + -11188. Is f a multiple of 20?
True
Let f = 2377 + 26781. Is 61 a factor of f?
True
Suppose -j - 4*s = -20, 1 + 15 = j + 2*s. Suppose j*m - 4*m = 2688. Does 38 divide m?
False
Suppose 62*w = 54*w - 168. Let g(x) = 6*x + 143. Does 17 divide g(w)?
True
Is (2*1/(-2))/(287/(-6403257)) a multiple of 201?
True
Let q(g) = 88*g - 5. Let s be q(1). Let z = -81 + s. Suppose 6*n - 3*n + 343 = z*r, 4*r - 701 = n. Does 38 divide r?
False
Suppose -6*h - 32*h = -230972 - 157274. Is h a multiple of 17?
True
Let i(h) = h**3 + 14*h**2 - 8*h + 3. Let b be i(-13). Let f(q) = -5*q**2 - 99*q + 30. Let l be f(-21). Let s = b + l. Is s a multiple of 30?
True
Let z = -948 + 1356. Let u = -349 + z. Is u a multiple of 5?
False
Let m = 2417 - 4362. Does 8 divide 6/14 - m/35?
True
Let o = 59 - -3. Let r = 70 - o. Suppose -3*k = r*k - 946. Does 43 divide k?
True
Let z = 70 - 92. Let o(l) = l**3 + 21*l**2 - 29*l + 7. Let q be o(z). Let c = q - 60. Is c a multiple of 17?
False
Suppose 54*m + 1843450 = 215*m. Is m a multiple of 157?
False
Let m(l) = 50*l**2 - 3*l + 7. Let q be (-3)/((-9)/(-6)) + (-6 - -10). Is 17 a factor of m(q)?
False
Suppose u = 4*w - 35156, -4*w = -10*u + 5*u - 35172. Is 13 a factor of w?
True
Let y be 2/11 + 414/22 + 0. Let c(s) = -2*s + 40. Let n be c(y). Does 16 divide (n/(-6)*3)/((-1)/256)?
True
Suppose 8*j - 7*j - 36 = 0. Let s = j + -30. Is s a multiple of 2?
True
Let k(p) = -3*p - 13. Let h be 12/(-18)*(1 + -73). Suppose 0*u + 4*u - 4*y = -h, -5*u - 45 = -2*y. Is 2 a factor of k(u)?
True
Let x(c) = 190*c - 896. Is x(16) a multiple of 4?
True
Let o(u) = u**2 - 2*u + 9. Let d be o(3). Suppose -q - 2*y + 6*y = -d, 0 = 3*q - 2*y - 16. Suppose s + 16 = 5*s - q*n, 3*s = -2*n + 17. Is 5 a factor of s?
True
Let l = -4351 + 4469. Suppose 199 = 3*t + 5*n, 4*t - 242 = -0*t + 5*n. Let z = l - t. Is 5 a factor of z?
True
Is 17 a factor of 11900/((-567)/(-693)*(-4)/(-18))?
True
Let y(a) = -3*a**2 - 2*a + 1. Let b be y(-3). Is 955 - (b/6)/((-12)/18) a multiple of 16?
False
Suppose 50276 = 148*n - 45332. Is 19 a factor of n?
True
Let y(f) = -f**2 + 5*f + 22. Let c be y(16). Let o = c - -113. Is 4 a factor of (1 - 4) + (1 + -3 - o)?
True
Let c = -45 - -55. Let i be (-3)/(-6) + 45/c. Suppose 2*r + 7 = -3*s + 112, -182 = -i*s - r. Is 37 a factor of s?
True
Suppose 4*c - 878 = 474. Let s be (c/8 - 4)*(-8)/3. Let g = s + 163. Is 12 a factor of g?
False
Let j = 854 - 849. Let p(k) = -22*k - 7. Let r be p(-6). Let t = r - j. Is t a multiple of 15?
True
Suppose 0 = 2*y + 4*v + 44, 68 = -5*y + 7*v - 3*v. Let u(n) = -62*n - 124. Is 14 a factor of u(y)?
True
Suppose -5*a + 15927 + 15131 = 4*p, 2*a - 12460 = 3*p. Does 10 divide a?
False
Let i be 34 + -12 + 0 + 2. Let k = i + -23. Suppose -5*b - 64 + 27 = -3*n, b - k = 0. Does 8 divide n?
False
Suppose 3*f = 15, -7*f = -4*u - 4*f + 105. Suppose -2*y + 4*w = -7*y + 35, -3*w = 5*y - u. Suppose -86 = -y*l + 5*b - b, -3*l + 3*b = -81. Is 11 a factor of l?
True
Let o = -129 + 234. Let x = -101 + o. Is 35 a factor of (1/(6/x))/((-3)/(-351))?
False
Suppose -8*a + 3*r = -6*a - 499, 0 = 3*a + 4*r - 774. Let w = 519 - a. Does 15 divide w?
False
Suppose -5*n + 8249 = 5*h + 1689, -1312 = -h + n. Is h a multiple of 4?
True
Let y(w) = 346*w**2 + 22*w - 60. Let i be y(6). Suppose 19*g + 3142 - i = 0. Is g a multiple of 13?
True
Let v = 18657 + -8407. Is 10 a factor of v?
True
Let t = 3745 + 5562. Is t a multiple of 23?
False
Is 5 a factor of (-1244408)/(-231) - (-2)/(-42)?
False
Suppose 15 - 3 = 3*n. Suppose -n*j + 210 = -j. Does 10 divide j?
True
Suppose c = 5*q - 157, c - 5*q - 344 = 3*c. Suppose -4*j - 464 = 5*n, 5*n - j + 115 + 344 = 0. Let g = n - c. Is g a multiple of 32?
False
Let n be (4 - 41) + 3 + -2. Let h = n + 36. Suppose h = 3*a + 5*o - 135, -