le of 39?
False
Let g = -2090 + 4197. Is 8 a factor of g?
False
Is 8 a factor of ((-152)/133)/((-7)/108143)?
True
Let l = -409 - -144. Let x = l - -387. Is 3 a factor of x?
False
Let z = -5337 - -8912. Does 55 divide z?
True
Suppose -4*n = 4*r - 1848, -22*r + 3*n + 1374 = -19*r. Is r a multiple of 20?
True
Let o(b) = -342*b - 23. Is 61 a factor of o(-1)?
False
Let h(n) = -8*n - 13. Let l be h(-2). Suppose 4*b + l*y = 270 + 589, 849 = 4*b + y. Is b a multiple of 34?
False
Let r be ((-596)/(-3))/2*3. Suppose 5*v + 2 = 4*v, r = 2*p + 3*v. Suppose -4*j = 4*j - p. Is 19 a factor of j?
True
Suppose -5877 = -2*o + d, -4*o - 86*d = -91*d - 11745. Is o a multiple of 35?
True
Let j = 3497 + -666. Does 19 divide j?
True
Suppose 5*k + 2778 = 2*d, 4*d + 41*k = 36*k + 5556. Is d a multiple of 116?
False
Let g = 3857 + -2649. Is 8 a factor of g?
True
Let x(a) = -6955*a**3 - 13*a**2 - 2. Is 5 a factor of x(-1)?
True
Let w(b) = 31*b + 31. Let d be w(-16). Let g = -319 - d. Is 15 a factor of g?
False
Suppose -28*d + 342 = -31*d. Is 10 a factor of (-270)/(-35)*19/(d/(-140))?
True
Is (-24)/108 - 4*364506/(-108) a multiple of 225?
True
Suppose -136 = 4*h - 2*o, 2*o - 1 = -5. Let x(z) = z**3 + 36*z**2 + 29*z - 86. Is x(h) a multiple of 4?
True
Suppose 5*i - 99350 = -4*v, -3*v + 90599 - 16057 = -11*i. Is v a multiple of 15?
True
Let j = -25 + 27. Suppose -4*s = -a + 51, j*a + s - 66 = -9. Is a a multiple of 18?
False
Let f be 0/(-2 + (5 - 2)). Suppose -10*s + 1514 = 3*i - 15*s, -2*s - 8 = f. Is i a multiple of 45?
False
Suppose 4*g - 9 = -5*h + 21, 0 = 5*g - 5*h - 60. Suppose -9*l + g*l - 85 = y, -2*y = -5*l + 422. Is l a multiple of 16?
False
Suppose -2*k = -s + 5548 - 894, 5*s = 8*k + 23264. Is s a multiple of 27?
False
Let k(d) = -d**3 - 13*d**2 - d - 10. Let i be k(-13). Suppose -2*w + 13 = i*c, -w + 6 = -2*c + 4*c. Suppose -w*b - 59 = -9*b. Does 9 divide b?
False
Let b(y) = 564*y**2 - 56*y - 176. Is 78 a factor of b(-3)?
False
Let n = -243 + 248. Suppose n*u + 404 = 7*u. Is 11 a factor of u?
False
Let a = -265 - -269. Suppose -a*k + 5903 = 2*k - 5*p, -2*p - 3934 = -4*k. Is 12 a factor of k?
False
Suppose -5*y + 2*g = -2*g + 166, y = -2*g - 36. Let z = 54 + y. Is z + (-7)/(28/16) even?
True
Does 28 divide (((-1732770)/75)/(-26))/(2/10)?
False
Suppose 3*o - 71 + 71 = 0. Suppose 5*j - 14 - 6 = o. Suppose -412 = -5*x + 2*m - 0*m, 5*x - 404 = j*m. Does 12 divide x?
True
Let m(j) = -2*j**3 + 13*j**2 - 40*j + 144. Is 37 a factor of m(-12)?
False
Let h = 69173 - 45287. Is h a multiple of 5?
False
Let s(r) = -46*r**3 - 9*r**2 - 109*r - 6. Does 182 divide s(-8)?
True
Let l be ((-16)/(-12))/(-4)*(0 + -21). Suppose -k - l = 51. Is ((-6)/(-4) + -3)*k a multiple of 9?
False
Suppose 0 = 11*v - 12*v + 2*k + 7, 2*v + 2*k = -10. Is -11*v*(6 - -31) a multiple of 35?
False
Suppose 93*o + 26229 = 8*o + 314549. Is o a multiple of 53?
True
Let g(x) = 473*x - 171. Let n be g(5). Suppose 3*u = -3*l + 1659, l + n = 4*u - l. Is 25 a factor of u?
True
Let m = 133 + -63. Suppose m*u - 66*u = 0. Suppose u = -2*t + 18 + 26. Does 11 divide t?
True
Let r be (-2)/16 + 39/(-8). Let f be 164 - (-3 - r) - 0. Suppose -2*n = n - f. Is n a multiple of 27?
True
Let n(k) be the second derivative of 2*k**5/5 - k**4 + k**3/3 + 5*k**2/2 - k + 111. Is n(5) a multiple of 18?
False
Suppose -8836*l + 8883*l = 710640. Does 6 divide l?
True
Let i(t) = -t**2 - 19*t + 19. Let f be i(-8). Suppose 3*p + v - 6*v = 376, -2*v = p - f. Is 13 a factor of p?
True
Let x = 386 + -832. Let k = 712 + x. Does 7 divide k?
True
Does 7 divide ((3 + -4)*21)/(30/(-2020))?
True
Let k(t) = -67 + 7*t - 4*t + 11*t + 0*t. Is 17 a factor of k(12)?
False
Suppose -7*j = 12 + 338. Is 14 a factor of 20/j + 5766/15 + 3?
False
Let f(l) = -l + 4. Let t be f(-11). Suppose 3*b = 3*s - t, -5*s - 4*b + 13 + 21 = 0. Suppose 4*d = 3*n - 52, 2*n + 5*d + 2 - s = 0. Does 5 divide n?
False
Suppose -5*g = -i - i - 21336, 2*i = -3*g + 12792. Is 27 a factor of g?
True
Suppose 45*u + 74*u - 66696 = 98*u. Is u a multiple of 11?
False
Let m = 359 + -355. Suppose 2*r = m*n + r - 169, -3*r = 4*n - 181. Does 43 divide n?
True
Is 30 a factor of (3 + (-34)/(-8))*3156 - (9 + -18)?
True
Let n(u) be the first derivative of -13*u**2/2 - 8*u - 1. Suppose 4*v - 5*l - 9 = 0, 0 = -v - 2*v + l - 7. Is 10 a factor of n(v)?
False
Let d = 122 + -99. Suppose 515 = -6*t + d. Let h = t - -179. Does 33 divide h?
False
Let v(h) = 34*h**2 + 17*h + 5. Let g be v(-5). Let d = g - 354. Does 58 divide d?
False
Suppose 5*d - 8628 = -2*i, -2*d + 8640 = -58*i + 60*i. Is i a multiple of 7?
False
Let q(i) be the second derivative of -i**5/30 + 7*i**4/8 + 10*i**3/3 - 11*i**2/2 + 3*i. Let p(h) be the first derivative of q(h). Does 2 divide p(11)?
False
Let o = 218 - 313. Let v = -125 - -239. Let r = o + v. Is r a multiple of 14?
False
Suppose 5*p - 571 = -2*r, -2*p + 4*p = r + 232. Let u = p - -20. Is u a multiple of 27?
True
Suppose 0 = -m - 1568 + 6353. Is 26 a factor of m?
False
Suppose 0 = 7*k - 8*k. Suppose k*l - 26 = 3*i + 4*l, 0 = -4*i - l - 13. Does 29 divide (12/(-10))/i*145?
True
Let j = 359 - 415. Is ((-368)/j)/((-5)/(-35)) a multiple of 14?
False
Suppose 0*g - 14 = -7*g. Let m be 9 + (-6*g/2 - -3). Suppose 162 = m*l - 222. Does 9 divide l?
False
Let j = 2732 - 646. Is 14 a factor of j?
True
Let b(w) = -3*w**3 - 22*w**2 + 87*w - 113. Does 87 divide b(-19)?
False
Is -4*(5 - (107 + -1)) + -6 a multiple of 2?
True
Suppose 21*y = 59*y - 152. Suppose -y*t + 4624 - 1840 = 0. Is t a multiple of 8?
True
Let c be (1/4)/((-25)/(-300)). Suppose 3*z - 3786 = -4*j, c*z + 939 = -j + 2*j. Does 5 divide j?
True
Suppose 0 = -6557*b + 6537*b + 174240. Is 88 a factor of b?
True
Let n(y) = y**3 + 5*y**2 - 13*y + 10. Let v be n(-7). Suppose -b + 127 = -5*s, v*b - 436 = -5*s + 9*s. Does 7 divide b?
False
Is 38/((5/(-2) + 0)*(-72)/44730) a multiple of 19?
True
Suppose 3*b + 3*i = 2679, -1437 = -b + 3*i - 536. Does 4 divide b?
False
Suppose 226 = 8*d - 6*d. Suppose -2*r + d - 33 = 0. Suppose r = 3*q - 65. Is q a multiple of 7?
True
Let g(q) = -37*q - 23. Let k be g(-1). Let l(r) = r**2 - 10*r + 56. Does 14 divide l(k)?
True
Let f = -32 - -91. Let c(n) = 51 - 15*n - 137 + 71 + f. Is 19 a factor of c(-6)?
False
Let v = 35093 - 10569. Is 133 a factor of v?
False
Suppose 4*l + 806 = 5*i, 0 = 5*i + 2*l + 361 - 1173. Suppose 14*d - i = 566. Is d a multiple of 52?
True
Let t = -1777 - -1921. Is 5 a factor of t?
False
Let s(k) = 2*k**3 + 16*k**2 - 9*k - 5. Let y(j) = 3*j**3 + 31*j**2 - 19*j - 11. Let b(i) = 11*s(i) - 6*y(i). Is 9 a factor of b(5)?
False
Is 52 a factor of (2154/(-5))/((1209/(-1690))/31)?
True
Suppose 0 = -9*u + 16*u + 5*u - 193200. Does 92 divide u?
True
Suppose 4*h - 15404 = -6*m, 5*h - 21731 = -3*m - 2503. Is h a multiple of 4?
False
Let o = -1392 + 2391. Suppose -3*u = -o - 93. Is 26 a factor of u?
True
Let a(v) = v**3 + 13*v**2 + 2*v + 9. Let s be a(-9). Suppose 165 = 10*m - s. Is m a multiple of 3?
True
Let x(t) = -t**3 + 9*t**2 - 10*t - 25. Let j be x(7). Suppose -21 - 16 = -2*w + j*a, 5*w = -a + 50. Is 11 a factor of w?
True
Let v(s) = -17*s - 119. Let n(f) = 4*f + 30. Let g(t) = 9*n(t) + 2*v(t). Let q be g(6). Suppose 40*m - q*m = -120. Is m a multiple of 10?
True
Let y(t) = 892*t - 1297. Is y(7) a multiple of 51?
True
Let v(c) = -6*c**3 + 193*c**2 + 88*c - 37. Is v(32) a multiple of 49?
False
Let y(x) be the first derivative of 8*x**3/3 - x**2 + 6*x + 1. Let d(g) = g**3 - 11*g**2 - 14*g + 27. Let q be d(12). Is 9 a factor of y(q)?
True
Let y be (-3 - -13)*1/2. Suppose 5*r - y*n = 3*r + 338, n = -r + 155. Is r - ((-1)/(-2) + 15/(-6)) a multiple of 23?
True
Let x(o) = -o**3 + 34*o**2 - 35*o + 492. Is x(31) a multiple of 85?
False
Suppose 3*y - 3894 = -3*l, 0 = 5*y + 2*l - 7815 + 1346. Is y a multiple of 2?
False
Let d be 4 + -2 + 0 + (-15390)/(-5). Suppose 0 = -11*f - 3*f + d. Is f a multiple of 10?
True
Let a = 2447 - 1710. Is a a multiple of 6?
False
Suppose o = -4*n + 3759, 7*n - 2*n - 4707 = -4*o. Suppose 10*r - 8*r - 4*w - 648 = 0, -3*r - 5*w = -n. Does 53 divide r?
True
Let p(o) = o**3 - 11*o**2 - 38*o + 9. Is 3 a factor of p(17)?
False
Suppose -s + l + 1363 = 0, 1653*s + 4081 = 1656*s + l. Does 42 divide s?
False
Let i(x) = 5339*x - 155. Does 12 divide i(1)?
True
Suppose -1 - 5 