 be -27*11/(-891) + (-2 - (-3140)/21). Which is greater: z or 148?
148
Let x be ((7*-2)/(-2))/(65/(-4355)). Which is smaller: -2821/6 or x?
-2821/6
Suppose 0 = 23*s - 25*s - 32. Suppose -4*q + 4*x + 217 = q, q - 3*x = 50. Let d = 26 - q. Is d less than s?
False
Let b = -95 + 107. Let q = 354.8 + -355. Is b <= q?
False
Suppose 5 + 1 = 3*x - 5*w, 3*w = 3*x. Let h = 62 + -59. Let q be 12/(-20)*h*(-33)/(-27). Is x > q?
False
Let g = 1550 + -1550. Suppose 0 = 2*q, 2*y - 4*q - 9 + 3 = 0. Let u be 141/51 - (y - 0). Is u at least g?
False
Let r be (-12 - -13)/((-2)/(-10)). Let f(k) = 10*k**2 + 41*k - 230. Let o be f(r). Does 225 = o?
True
Let u = -25 + 24. Let y be (u/(-3))/((-3)/(-9)). Let l be y/(5/10*-2). Which is smaller: l or -1/7?
l
Let l be 2/(-8) - (-14678)/(-328). Let s be 787/(-55) + 3*9/l. Is s <= -16?
False
Let x(p) = -2*p - 6. Let y be x(-6). Let u be (-2)/(((-2)/(-3))/((-8)/y)). Let d be 2*u*(-3)/(-12). Which is bigger: d or 1?
d
Let h(b) = -2*b + 5. Let x be h(0). Suppose 25 = 2*y + x. Suppose -5*g = -15 + y. Which is smaller: g or 5/7?
5/7
Suppose -2*c + 6 = 2*b - 18, 5*b = -3*c + 50. Let d be 3*5/(-15)*0. Suppose 3*x - 3*q - 15 = d, -4*q - 9 = -3*x + 3. Which is bigger: x or b?
x
Let z = 115 - 246. Let x = z + 94. Let l = x - -62. Do 2 and l have the same value?
False
Suppose i + 140 = 4*g, 3*g - 248 = 5*i + 367. Is -120 less than i?
False
Let c be 13/(-4)*-78*10/15. Let v = -167 + c. Let k = -19 + 32. Which is smaller: k or v?
v
Suppose -2313 = 3*t + u, 5*u + 643 - 2168 = 2*t. Is t at least -773?
True
Suppose 13*r - 14 = 11*r. Let j be -4 + r/(42/104). Let c = j + -15. Is -2 not equal to c?
True
Let o = 2935 + -14452/5. Let k be (8/(-32))/(3/(-528)). Which is greater: k or o?
o
Let z(t) = -6*t + 6. Let p be z(-3). Suppose 20*g - 8*g = -p. Is g < -25/19?
True
Let x(j) = -j**2 + 254*j - 5124. Let a be x(186). Is a <= 7524?
True
Suppose 38 = -5*k + n, 47*k - 45*k - n + 14 = 0. Suppose -2*h = h - 2*p + 4, 5*p = 2*h + 21. Is h smaller than k?
False
Suppose 7*r = r - 33 - 231. Is r bigger than -4?
False
Let g = 3402 + -7365331/2165. Which is smaller: g or 0?
g
Let j = -16.668 + 731.668. Which is smaller: 10 or j?
10
Let c(h) = -h**3 + 10*h**2 + 25*h - 7. Let v be c(12). Suppose -v*m + 70 = -0. Is 12 >= m?
False
Let k be -2 + (10 - 10 - (-39859)/35). Let b = k + -1137. Which is smaller: b or -2/5?
-2/5
Let u = 132.4 + -132.29. Which is smaller: 2/171 or u?
2/171
Let g = 226 - 149. Let a = 93.4 - 92.4. Which is bigger: a or g?
g
Suppose -4*t - 6 = -7*t. Let z(v) = 1 - v + 0 + t*v + v. Let o be z(5). Which is greater: 51/5 or o?
o
Let j = 8148 - 350390/43. Is j <= -1?
False
Let y be (1584/2080)/(-33)*(-10)/48*-2. Is y less than or equal to 1/18?
True
Let b = -847.3 - -885. Let x = 37.8 - b. Does 2/87 = x?
False
Suppose -5*q = x + 493, -13*q - 5*x = -8*q + 525. Which is greater: -135 or q?
q
Suppose -5*w - 16 = -13*w. Suppose -6*l + w*l + 2*x - 24 = 0, -3*l + 5*x = 32. Let g be 636/(-228) + 4/(l/(-3)). Which is smaller: g or -2/7?
-2/7
Let r = 96704 + -49028926/507. Let b = -2 + 1. Which is smaller: b or r?
b
Let z be 7/(-6)*((-54)/(-6165))/((-117)/(-130)). Which is bigger: z or -1?
z
Let t = 20353/6157 + 300/131. Let j = 8437/987 - t. Let s = 11/3 - j. Which is greater: s or 0.3?
s
Let l(u) be the first derivative of u**4/4 + 2*u**3/3 + u**2 - 6*u + 69. Let a be l(0). Suppose 0 = -3*t - 12 - 6. Is a < t?
False
Let h = 1.47 + 61.53. Let g = h + -62.8. Let t = -5.4 - -0.4. Is t at least g?
False
Let h = -1256.577 + -0.423. Let g = 1254 + h. Let a = -89 + 62. Which is greater: a or g?
g
Let q = 25026 + -25017. Let v be ((-2)/4)/((-2)/80). Which is bigger: q or v?
v
Suppose -1125 = 3*x + 2*n, 4*x - n - 296 = -1796. Let c = 671 + x. Let z be 16/24 + c/(-390). Is z greater than 1?
False
Let r = 11345.9 - 11346. Does 7141 = r?
False
Let c(j) = j**3 - 4*j**2 + 2*j + 3. Suppose 0 + 12 = -4*s. Let q be (s/6)/((-10)/12)*5. Let h be c(q). Which is bigger: h or 3/13?
3/13
Let h = 16/6361 - 67064/6430971. Let s = -6581/62682 + h. Which is greater: 1 or s?
1
Let p be (1 - -1)*(-9)/2. Let o(u) = -7*u**2 + 10*u - 11. Let x be (1 + 2/(-4))*2. Let l be o(x). Which is bigger: p or l?
l
Let a = 71 + -100. Suppose 4*p + 32 = 0, -3*o + 3*p + 1095 - 1161 = 0. Which is bigger: o or a?
a
Suppose 57*y + 984861 = -584862. Which is smaller: y or -27540?
-27540
Let i = 18.82 - -0.18. Let o = i - 19.03. Let a = 0.08 - -1.92. Which is bigger: a or o?
a
Suppose 22 = 2*o + 4*m, -3*m = 23*o - 25*o - 6. Is 143/46 < o?
False
Let o(l) = -6*l - 34. Let h be 4 + 0 + 45/(-5). Let d be o(h). Which is greater: d or -5?
d
Suppose b = 243*l - 241*l + 8, 2*b = 3*l + 13. Let d = 2617/60 - 171/4. Which is smaller: d or b?
d
Let n = 17844/17 - 397796258/378981. Is n less than or equal to 1?
True
Let l = -28 - -16. Let r be 3 - 41/(820/288). Is r <= l?
False
Let w = -7397 + 2754. Are -4643 and w non-equal?
False
Let j(c) = 17*c - 30. Let w be j(6). Let l = -71 + w. Let n be (-550)/121 - (-3 - l). Which is greater: n or 8?
8
Let p = 1363 - 1366. Let v = 273 - 275. Is v at least p?
True
Let o(c) = -c**3 - 4*c**2 + 5*c - 5. Let q be o(-5). Let n be (0 + -1)*(2 + q) + -3. Let t be (-4)/(-8) - (-1 + (-946)/(-628)). Is t equal to n?
False
Let y be 4 + 6 + -9 + (-14128)/2. Let g = -77747/11 - y. Is -5 less than g?
True
Let j = 29.2 + 1.8. Let r = -3021/19481 + 34/2783. Is r smaller than j?
True
Suppose -51 = -3*b + 3*a, 2*b + 61 - 104 = 5*a. Is b bigger than 25?
False
Let c be 838/36 - 11/22. Let q = c - 173/9. Suppose 85*o + 16 - 271 = 0. Which is smaller: q or o?
o
Let s = 9527.13 - 9835. Let b = s + 308. Which is smaller: b or 13?
b
Suppose -12 = 14*h + 72. Let o be (h/15)/((-10)/25). Do o and -2/503 have the same value?
False
Let j = 2/991 + 1960/10901. Let r be -1*46*(-5 - -4). Is r less than j?
False
Let c = 13931 - 13927. Let g = -0.6 + -0.4. Which is greater: c or g?
c
Let o be (122430/130592)/(2/(-48)). Suppose -t + 4*t + 15 = 0. Let g(k) = -k**2 - k - 3. Let c be g(t). Which is greater: c or o?
o
Let u(n) = 34*n**2 - 18*n**2 - 1 - 15*n**2 + 3*n. Let t be u(-3). Let c be ((-3)/(-9))/t*3. Which is smaller: -2 or c?
-2
Suppose 2*y - 203 = 2*x - 65, 158 = 2*y + 3*x. Suppose -231 = 19*f + y. Which is bigger: f or -23?
f
Let m(w) = -w**3 - 2*w**2 + 21*w + 71. Let y be m(5). Which is smaller: -6/23389 or y?
-6/23389
Let x be 20/(-4)*(-68)/10. Suppose -x = -14*f + 22. Let i be f*2/32 - -1. Is 0 smaller than i?
True
Let n(c) = c**2 + 19*c + 22. Let o be n(-18). Suppose -j = o*p - 20, 3*p + 2*j - 6 = 14. Let d = 6 - p. Which is smaller: 3/2 or d?
3/2
Let j = -3001.4 + 3001. Which is bigger: j or -1147?
j
Let k = 771 + -3085/4. Is -43 less than or equal to k?
True
Let a = 469 + -445. Suppose 3*o = -21*o - a. Which is smaller: -2/1503 or o?
o
Let g = 2.339 - 680.239. Let x = g - -94.9. Which is smaller: x or 2/5?
x
Let l = -12.5 - -0.5. Let u = 14.793 - 15.43. Let j = -0.537 - u. Are l and j equal?
False
Let c = -69446/5 - -13805. Let s = c - -422/5. Which is bigger: s or 83?
83
Let u be (286/(-33) + 8)/((-3)/90). Which is smaller: u or 132?
u
Let p(g) = 12*g**3 - 9*g**2 - 46*g + 102. Let q be p(5). Which is smaller: q or 1144?
1144
Let t be (-105)/(-77) + 8/(-22). Which is smaller: t or -16/1245?
-16/1245
Let x(q) = q**3 - 20*q**2 - 69*q - 87. Let v be x(23). Does -782/9 = v?
False
Let t be (-34)/(-3*2/(-6)). Let w be ((-8)/10)/(((-14)/(-110))/7). Let a = w - t. Is a at least -11?
True
Suppose -4*r - 5*w = -1003, r - 3*w - 67 - 188 = 0. Is 253 at most r?
False
Suppose -3*s + x + 14 = 0, -2*s - 2*x + 12 = -4*x. Suppose -s*a = -0*z - z + 3, 3*a = 3*z - 9. Are 4/45 and a non-equal?
True
Let b be ((-4)/(-18))/(10/450*-5) + 2. Which is bigger: b or 22/821?
22/821
Let t be -13 + 14 - 1*(-6)/3. Suppose -4*k + 2*z - t*z = -30, -4*z = -3*k + 13. Is 0 >= k?
False
Let l = -3751 + 3643. Is l bigger than -102?
False
Let h = -81 + 81.245. Let j = 0.196 - h. Which is smaller: 0.1 or j?
j
Suppose -27*d + 43*d - 3920 = 0. Let q = d + -278. Are -24 and q non-equal?
True
Suppose 12 = -b + 15. Suppose 0 = -3*d + 4 - 1. Suppose h - 4 = -d. Is h not equal to b?
False
Let q be 10/4 - (-3)/2*1. Suppose -8 = -q*k + 3*f, -4*k - 2*f - 11 = -k. Suppose -1 = -5*x - 11. Do x and k have the same value?
False
Suppose -4*s - 5