-28)/(-70))/(2/(-1090)). Let u be (-6 - (-176)/28) + o/77. Which is greater: u or -3?
u
Let v = 1539532857803/15635 + -98467084. Let c = v + 2/53. Is c >= 0?
True
Let s(x) = -59*x - 177. Let j be s(-19). Which is smaller: 942 or j?
942
Let u(y) = -2*y**2 + 31*y + 11. Let v be u(12). Let w = v - 93. Let d be ((-88)/(-10))/(22/55). Is d at most as big as w?
False
Let h = -65 + 27. Let v = h + 36.48. Let u = -0.48 + v. Is -2/39 < u?
False
Let h(x) = -40*x + 1841. Let k be h(46). Is 2935 greater than or equal to k?
True
Let k be (-3338)/(-41725) - 58/1350. Let c(n) = -n**3 - 6*n**2 - 6*n - 4. Let v be c(-5). Which is smaller: v or k?
k
Suppose 8*c = 6*c. Suppose 4*w - t + 58 = c, 0*t - 2*t = 2*w + 34. Is w less than -13?
True
Let w = 123/385 - -6/55. Let i be (3 + (0 - 1))/(-1 - 1). Is w greater than or equal to i?
True
Let y be (-26)/(-358) - 0/8. Let v = -62803/358 - y. Are -176 and v unequal?
True
Let w = 416 - 261. Suppose 0 = -5*y - 2*j + 371 + 398, 2*y + 6*j = 292. Is y > w?
False
Let x = 952 - 1907/2. Which is smaller: x or 278/3?
x
Suppose -5*m - 10 = -5*v, 6*m - 2 = 3*v + 7*m. Let g be 32/(-24)*135/(-18). Let n be (v - 95/g) + 2. Which is smaller: n or -9?
-9
Let i be 2673/(-22)*(-68)/3111. Which is smaller: 2 or i?
2
Let r = -93 + 94. Suppose -3*g = 3*f, -r = 3*f + 2. Which is smaller: g or 3/61?
3/61
Let i be (1 + 1)/(14/77). Let a(h) = -8*h + i + h**2 + 5 + 0 - 1. Let l be a(5). Is l bigger than -1/69?
True
Suppose 105380 = -0*t + 20*t. Let o = t - 1322517/251. Which is smaller: -0.1 or o?
-0.1
Let d be ((-72)/(-21) + -2)*(16 + 0). Which is smaller: d or 24?
d
Let b be 14 - (46/11 + (-4)/22). Let y be (-1 - -1)/(-5*6/b). Is -3/34 smaller than y?
True
Let a = 5249 + -6019. Which is smaller: -769 or a?
a
Let k be (-3)/((-1401)/(-705) - 2). Let i be k - 237 - (0 - (2 + -1)). Which is greater: 44 or i?
44
Suppose 0 = s - 5*a + 182 + 26, 5*a = 5*s + 1020. Is s < -202?
True
Let t = -878 + 1047. Which is smaller: t or 183?
t
Let o = 205 - 205.168. Let y = 2.832 - o. Which is smaller: 21 or y?
y
Let p = -270 + 159. Let j = 10 + p. Is -101 at most j?
True
Let r = 27.31 + -16.28. Let c = r - 1.03. Which is smaller: c or -3/5?
-3/5
Let c be (-32)/112 + (-538)/(-21) + 2. Let v = -235 - -262. Which is greater: c or v?
c
Let q be 2/30*6 + (-9708)/70. Suppose 0 = -7*m + 178 + 788. Let n = m + q. Which is smaller: n or 1/4?
n
Let y = 8 - -17. Let r be (-1 - 1)*2 + y. Let z = -31 + r. Is -8 greater than z?
True
Suppose -2*a = -0*a + 20. Suppose 31045*k = 31033*k - 84. Are k and a unequal?
True
Suppose 0 = o - 4*f + 15, 3*f + 0 = 12. Let d be (6/16)/((-3)/(-4)). Which is smaller: o or d?
d
Suppose -51*a + 75*a = 8160. Let r be 8 + 1*a/12. Which is smaller: r or 36?
36
Let g(n) = -187*n + 34. Let s be g(-6). Suppose -4*c = 2*f - 1338, -3*f - 4*c = -s - 849. Suppose -30 = 7*b - f. Do 90 and b have different values?
True
Let o = 13198/25 - 528. Let q(s) = -s**2 - 25*s + 26. Let l be q(-26). Is l equal to o?
False
Let v = 72 - 75. Let l be (6 - (-176)/(-30))/((-5)/3). Is l < v?
False
Let s = 172/231 + -6/77. Which is bigger: 42/5 or s?
42/5
Let m(g) = 3 + 35*g - 26*g - 3 - 16*g - 5*g**2 + 7. Let u be m(1). Is u <= -2/83?
True
Let v be 92/(-9) - (-10)/45. Let x = -18466 - -18451. Which is greater: x or v?
v
Let m = -0.491 + 0.704. Let r = -1.213 + m. Which is bigger: r or 0.92?
0.92
Let v(n) = -827*n - 8. Let j be v(-4). Let i = j + -29656/9. Let p(u) = 4*u + 28. Let o be p(-6). Are o and i unequal?
True
Suppose -135*z = -839 - 1996. Let y be 35 + (-4 - -4) + 2. Which is bigger: y or z?
y
Let c = 7.4 + 1.6. Let q = -10 + c. Let l = 396 - 1184/3. Which is smaller: q or l?
q
Suppose 10 + 1 = i - 3*r, 3*i - 2*r - 33 = 0. Suppose 0 = -i*m + 13*m - 2. Let g be 2/(-5)*(-6)/(-28). Which is smaller: m or g?
g
Let q be 4/(-7)*(-483)/(-506). Which is smaller: q or 2/5?
q
Let u(j) = j**2 - 11*j - 44. Let q be u(-6). Let l = 76 - q. Suppose -l = 4*o + 50. Which is smaller: o or -50/3?
o
Let o be 7/(-44) + (-7)/28*-1. Suppose -206 = -w - 205. Is o < w?
True
Let s = 2560.24 - 2695. Let y = s + 135. Is y <= 2/5?
True
Suppose 0 = -5*u + 15, -u = 3*k - 6 - 42. Let b = k + -12. Let c be (-2)/21 - (5/b)/5. Which is greater: c or 0?
0
Let v(o) = -5*o**2 + 31*o + 126. Let b be v(-4). Let k be b/(-248) - ((-5)/(-20))/1. Is k at least 0?
True
Let s = -53 + 40. Let d = -19 - s. Let m = -9 - d. Which is bigger: m or -4?
m
Let h = 55 - 52. Suppose -m = -5*b + h*m + 92, -2*b = 4*m - 48. Let o(c) = c**3 + 9*c**2 + 7*c + 10. Let i be o(-8). Which is bigger: b or i?
b
Let n(p) = -p**3 + 10*p**2 + p + 1. Let k be n(10). Suppose 4*b + 3*a + k = 0, a - 3 = -2*b - 8. Does b = -2/131?
False
Let y be -1 - (0 - 33/39 - 0). Suppose 8 = 2*c - c. Suppose c*b = 4*b + 4. Which is bigger: y or b?
b
Let s = 465363/182 - 40/91. Which is bigger: s or 2557?
2557
Let j = 32671 + -163377/5. Let l = -0.2 + 0. Which is bigger: l or j?
l
Let i be ((-6)/(-18))/((-1)/12)*7/(-28). Which is smaller: i or 5/1813?
5/1813
Let g(i) = 84*i - 191. Let k be g(2). Which is greater: -11 or k?
-11
Let l = 2122.76 + -1974. Let r = 1.24 + l. Are r and -1 equal?
False
Suppose 4*g - 21*q + 7 = -20*q, 15 = -3*g + 4*q. Is 4/227 smaller than g?
False
Let y be ((-2)/(-2) - -1) + (31 - 29). Let p = 678 - 688. Does y = p?
False
Let x = 22127 + -24586. Is -2459 less than or equal to x?
True
Let x = 1200 + -2455/2. Let y = 35 + x. Let b = 19 + -11. Is b bigger than y?
True
Let s = 221.904 - 223. Let w = -0.304 + s. Which is bigger: w or 10?
10
Let a be (-40)/10*17/(-68). Is 2/439 > a?
False
Suppose 7 = 2*m + 3*p, 3*p = 11*m - 12*m - 1. Let v be (26/507)/(0 + m/(-27)). Is -1 equal to v?
False
Let k = 8110.8 + -8111. Is 173/5 >= k?
True
Suppose -34*x + 6*x = -12*x - 11*x. Do 239/2 and x have different values?
True
Let f = -7729 + 7730. Which is greater: 1/9477 or f?
f
Let w(k) = -7*k + 56. Let g(u) = 35*u - 279. Let m(l) = -2*g(l) - 11*w(l). Let q be m(10). Let x be q/24 - (2 + -1). Which is greater: x or -4?
x
Let k(h) = -h**2 + 7*h + 14. Let a be k(9). Let o be (215/150)/(a/(-828)). Let y = -296 + o. Is y at most 2?
True
Let m(y) = 152*y**2 + 74*y + 376. Let x be m(-7). Is x at most 7306?
True
Let v = 33 - 26. Let u(o) = -2*o**2 + 19*o + 13. Let j be u(10). Suppose v*h + 10 = j. Which is greater: h or 9?
9
Let v be (-68)/(-34) - (-348)/(-178). Suppose 5*p = 4*f - 14, 3*p = -4*f + 5*p + 8. Is v at least as big as f?
False
Suppose -2*c + 2*d = -2 + 20, 4*c + 5*d - 9 = 0. Let w be c/(-6)*12/2. Is w at most 90/19?
True
Let l be (-5)/15 - 70/6. Suppose -37 = -5*p - 3*x, -2*p - 2*x = -6*p + 12. Suppose -4*j - 6*q + 9*q = 59, -4*j = p*q + 51. Is l greater than j?
True
Let n = 87855 + -1192807334/13577. Are n and -1 non-equal?
True
Let w = -26 - -22.01. Let v = w - -3.96. Is v <= -0.2?
False
Let j be 2 + 8 + 1 + -11. Is j != -7340?
True
Let g(c) = 2*c**3 - 7*c**2 - 13*c - 9. Let v be g(7). Let j = v + -417. Which is smaller: -173 or j?
j
Let u be 12/(-48)*56/(-2). Let p be u/(-21) + (-50)/(-186). Let r be 0*((-2 - -5) + -4). Which is smaller: r or p?
p
Let j = -2/188667 - 144330203/4905342. Which is smaller: -28 or j?
j
Let l be 0 + (-5)/(-10) - (-9)/(-6). Let a be ((-29981)/(-798) + 4)/(l - 0). Let i = -660/19 - a. Which is smaller: 7 or i?
i
Let n = -40800512960481/21814 - -1870382000. Let v = -4/839 + n. Do 0 and v have different values?
True
Let z be 1689/6 - (-4)/4. Let m = -282 + z. Which is bigger: -74 or m?
m
Let n = -9943 - -859. Which is smaller: n or -9083?
n
Let i = 9481 + -9480.7. Which is smaller: i or 173?
i
Let w(c) = c**3 + 5*c**2 - 2*c - 12. Let v be (-1)/(-3) + 32/(-6). Let r be w(v). Let z = 35 - r. Is 35 equal to z?
False
Let x(q) = 19*q - 72 - 28*q + 14*q. Let s be x(14). Which is smaller: s or -43?
-43
Let f(c) = c**3 + 9*c**2 - 12*c + 20. Let l be f(-8). Let z = 48 - l. Which is smaller: -131 or z?
z
Let j(b) = 2*b**3 + 13*b**2 - 8*b - 1. Let u be j(-7). Suppose 144 = -u*m - 0. Let k(h) = h**2 + 10*h - 1. Let g be k(-6). Is g bigger than m?
False
Suppose 22*d - 1173 - 1459 = 1130. Is d less than or equal to 170?
False
Let m = -20151 - -19829. Which is smaller: m or 24?
m
Let q be 38/(-4)*(-2 - 18). Suppose -5*n + q = -5*t, 4*t - 3*n + 165 = 8. Let a = t + 44. Does 2/99 = a?
False
Let h be (-21)/(-14)*(-2 - (-808)/