 is greater: g or -1682/3?
g
Let p be (0 - 630/(-872)) + 6/(-8). Let s be ((-1)/3)/(1/(-3)). Which is smaller: s or p?
p
Let k be 1 + -9 + (32 + -2 - -156). Which is smaller: 160 or k?
160
Let f = -11519.1 - -11519. Which is smaller: 10467 or f?
f
Let i(n) = 2*n**2 - 2. Let w be i(0). Let p be 3237/12 - w/8. Let o = p + -1381/5. Does o = -7?
False
Let l be (150/90)/((-15)/(-9)). Let d be (-1076)/798 + (-20)/(-15). Which is smaller: l or d?
d
Let r(s) = s**3 + 21*s**2 + 39*s + 157. Let z be r(-19). Which is smaller: z or 59?
59
Let k be (-3)/(4/(-16)*3). Let a be (7 + -11)*3/k + 3. Which is smaller: a or -16/17?
-16/17
Let r = -0.07 + 0.07. Let d = -140.3 - -149. Let g = -8.8 + d. Which is smaller: r or g?
g
Let b be 180/90*((-2714)/20 + 2). Which is smaller: b or -268?
-268
Let g = 9661 + -1743. Are 7918 and g non-equal?
False
Let k = 3750.899 - 3773. Let m = -0.101 - k. Do m and -3/5 have the same value?
False
Suppose -131 - 64 = -5*i. Suppose 2*r + 3*n = 71, -2*r + 3*n - 3501 + 3602 = 0. Is i bigger than r?
False
Suppose 8*x - 25 + 9 = 0. Let i be x*(4 + 345/(-54)). Which is smaller: i or -6?
-6
Let p = -4449 - -4113. Does -333 = p?
False
Let q = 73 - 51. Let m be (-11)/q - 14/(-4). Let f be -4 + m/((-189)/(-246)). Which is smaller: 0 or f?
f
Suppose -5*v + u = -43 - 23, -4*v - u = -51. Which is smaller: -14 or v?
-14
Suppose 3*x + 3*c = -15, c = 3*x + 18 + 1. Is x >= -74/15?
False
Let g be ((-2451)/(-38))/(24/(-206)). Let q = 554 + g. Let x(k) = -k**2 - 4*k + 6. Let j be x(-5). Which is greater: j or q?
j
Let q be 15 - ((-9270520)/(-30898))/20. Which is smaller: q or -1?
-1
Let c(m) = 11*m - 11. Let w(l) = 13*l - 12. Let k(i) = 7*c(i) - 6*w(i). Let y be k(12). Which is smaller: y or -13?
y
Let b be ((-4)/5)/(3225/(-4945)). Which is bigger: 2 or b?
2
Suppose 416*a - 2*j = 421*a + 28653, -a + 5*j - 5736 = 0. Which is greater: -5733 or a?
a
Let u be 11/(165/12)*-15*729/216. Let g = -121 - -79. Which is bigger: u or g?
u
Let n(m) = -3*m**2 + 21*m + 13. Let k be n(10). Suppose 35*v = 34*v + 3*o - 73, 5*v = o - 379. Which is bigger: v or k?
v
Let h = 268 + -268. Suppose 16*b + 14*b + 660 = h. Which is smaller: 6 or b?
b
Let q(x) = -168*x**2 + 308*x + 1250. Let k be q(-4). Is -2671 at most as big as k?
True
Let t be (-4 - 3) + (-3)/(-6)*48/(-24). Which is smaller: 417 or t?
t
Let b = -0.2 + 0. Let h = -35.29 - -73.29. Which is smaller: b or h?
b
Let x = -3328.4 + 3328.8. Are 5.94 and x equal?
False
Let x(j) = -j**3 - 21*j**2 + 23*j + 11. Let l be x(-22). Let r = l - -7. Let o = r + 5. Is o >= 11?
False
Let u(q) = -9 + 2 - 18 + 3*q. Let x be u(5). Let t be (-1 - (-5)/25)*x. Which is bigger: 7 or t?
t
Let x(p) = -p**2 + 6*p + 18. Let g be x(9). Let i be 10/6 - 3/g. Which is smaller: i or 9/7?
9/7
Let b = -14693 + 14683. Which is smaller: -462/47 or b?
b
Let c be (-1516)/3 - (-68)/204. Is -505 at most c?
True
Let t be 23 + ((-344)/(-72) - (-6)/27). Suppose -5*o - 100 = 3*z, 3*o = 24*z - t*z - 49. Suppose -2*v + 52 = -i - i, 0 = i + 2*v + 14. Which is greater: o or i?
i
Let b = 663/5 + -133. Let g = -143.68 - -110.68. Is b != g?
True
Let z = 9.2994 + 0.7006. Is -3.54 bigger than z?
False
Let z be (90 + 3)*(-7)/714*-18. Which is bigger: z or 17?
17
Let c(l) = 2*l**2 + 38. Let x be c(10). Let b = 479 - x. Is b < 241?
False
Let b = 100 - 71. Let p = -5 - -11. Suppose p*i = 2*i + 3*l + 103, -4*i + l = -109. Which is bigger: b or i?
b
Let u be (4/26668)/(8 + (-30)/4). Which is greater: u or 0?
u
Let a(y) = y**3 + 4*y**2. Let p be a(-3). Let m(v) = 2*v**2 + 50*v + 41. Let q be m(-24). Let l = 1 - q. Which is smaller: l or p?
l
Suppose 0 = -2*c - z - 22, 0 = -0*c - c + 5*z - 22. Suppose 19*u - 7 = -235. Is c at least u?
True
Let m(j) be the second derivative of 4*j**2 - 3/4*j**4 + 0 + 13/6*j**3 + 1/20*j**5 + 8*j. Let p be m(7). Is p >= -1/68?
True
Let m = -15700 + 15560. Is -140 at least as big as m?
True
Let p = 543 - 541. Suppose -2*v + 26 = -b, 5*v - 6*b - 65 = -p*b. Is 11 bigger than v?
False
Let m = 131 + -122. Let p be (76/m)/(59/(-118)). Is p greater than or equal to -16?
False
Suppose 3*o - 5 = 5*u, 2*o - 29 = -5*u + 16. Let i be (1 - -1)/(o + -4 - 255). Which is bigger: 1 or i?
1
Suppose 2*z - 1116 = -34*z. Suppose 4*k - 2*a = -126, 2*k + 3*k = 5*a - 145. Let l = z + k. Is -8/3 at least l?
True
Let y be (20/(-6))/(2/(-3)). Suppose -2*q = 4*q - 36. Let i = q - y. Which is smaller: 10/7 or i?
i
Let d = -4701 - -4701. Does d = 0.0178?
False
Let g = -141 + 138.7. Let u be (-5)/(-7)*(-102)/(-510). Is g <= u?
True
Let a = 278/13 + -238/13. Let b = 2467/806 - a. Is b > 0?
False
Let a be ((-2)/(-10))/(0 + -1). Let z = 8.0277 + -9.9277. Which is smaller: z or a?
z
Let t = 144 - 139. Suppose 10 = 2*b, -4*u + 4 = -t*u + 4*b. Which is smaller: 18 or u?
u
Let z(w) = w**3 + 11*w**2 + 4*w - 22. Let v be z(-10). Suppose -v*i = -40*i + 4. Suppose 2*n = u + i*u - 58, -u - 4*n = 4. Are 61/4 and u non-equal?
True
Let m be (20/(-8) - -1) + 195/2. Suppose 36*n = 32*n - m. Let x be (-5 - 114/n)/(2/6). Which is greater: x or 0.1?
0.1
Suppose 49 = 4*u + 5*r, 2*u + 4 = 4*r + 22. Suppose 10 = 5*y - 0*y. Let k be (-1)/(9/(-123)) - y. Which is smaller: u or k?
u
Let n(j) = -64*j - 1918. Let q be n(0). Is q at most -1916?
True
Suppose -64176 - 111378 = -54*g. Is 3252 != g?
True
Let o = -301 + 637. Let v be (-66594)/(-198) - (-4)/6. Is v smaller than o?
False
Suppose -3*q - 5*a + 176 = 0, -3*q = 4*a - 28 - 144. Suppose 0 = -r + 5*r + 4*y - q, 2*y = -3*r + 39. Suppose 5*c = -r + 8. Which is smaller: -4/7 or c?
c
Suppose 0 = -4*r + 5*k, -21*r + 17*r + 3*k = 0. Let f = -17380/203 - -594/7. Is f less than r?
True
Let a(z) = z**3 + 2*z**2. Let t be a(-2). Let y be (84/(-238) - -1) + 7/(7/(-2)). Is y smaller than t?
True
Suppose -4*x - 86 = 3*t - 18, t = -4*x - 60. Suppose 2*s + 5*m + 14 = 0, -3*s - m + 8 = -8*s. Let j be (-1 - s - 2)/(x/2). Which is smaller: j or -1?
-1
Let j = 2251/2 + -24705/22. Are j and 2 equal?
False
Let v = 111 - 107. Let w be v/(-18) - (-470)/90. Which is smaller: w or 2?
2
Let r = -128 - -146. Let u be (6/21)/(24/r). Let v(p) = -2*p**3 - p**2. Let l be v(-1). Which is smaller: u or l?
u
Let d(w) = -2*w**2 + 23*w + 15. Let m(k) = -7*k - 25. Let s be m(-5). Let f be d(s). Which is greater: 44 or f?
f
Let y be 40/(-35) - (-99265)/86863. Which is greater: y or 1?
1
Let q be (2/(-9))/((-6)/(-192)*4). Which is smaller: q or -34?
-34
Let m = -75 - -79. Let v be (-2)/m*0*(-3)/15. Is v != 9/29?
True
Suppose -405 + 75 = -5*z + p, -4*p + 66 = z. Suppose -5*n = -10 + 20. Let s be 3/n*(-1072)/24. Are z and s equal?
False
Let r be (-24936)/20 - ((-156)/(-30) + -5). Which is greater: -1252 or r?
r
Suppose -159*t + 27585 + 3579 = 0. Does t = 393/2?
False
Let x = -351061/100 + 91792927/700. Let s = 127248 - x. Let p = 377 + s. Is p smaller than 4?
True
Suppose 0 = 196*b + 187*b + 383. Is b > -1/5136?
False
Let v be ((54/15)/9)/(-1 + 4266/(-20)). Which is smaller: v or -1?
-1
Let c = 0.7 + -0.8. Let p = 240 + -236. Suppose -p*d + 3*m + 253 = 4*m, d + m = 67. Is c <= d?
True
Let i = -1271/11832 + 15/136. Let x be 12/14 - 1 - 198/231. Which is greater: x or i?
i
Let g be (-1 + 0 - 3) + 3 - 1. Let s be (-4)/70*(g - -200). Let p = 82/7 + s. Which is bigger: p or -0.2?
p
Let u be 2/(-1*12/14). Let x = 0.531 - 0.22. Let m = 0.111 - x. Is u less than m?
True
Let t(p) = 1014*p + 3921. Let b be t(-5). Is -1150 at most b?
True
Let w(y) = 28*y**3 + 2*y**2 - y + 1. Let c be w(1). Let m = c + -54. Let i = m + 9. Which is smaller: i or 2?
i
Let a be ((-1117)/2234)/(2/(-4)). Let n be (-124)/110 - (-1)/1. Which is smaller: n or a?
n
Suppose -132*v = -115*v + 17. Let b(y) = -y**3 + y**2 + y - 7. Let q be b(0). Is q <= v?
True
Let p = -73634/13 - -4486760/793. Which is smaller: p or -5?
p
Let y be 79547306/7909 + (-4)/(-22). Let r = -10058 + y. Is r less than or equal to 0?
False
Let c = 33/64 - 2639/5056. Let d = c - 467/1106. Which is smaller: d or -21?
-21
Suppose 3*i = 3*g - 2517, -5*i = 87*g - 82*g + 4155. Which is bigger: i or -831?
-831
Suppose -113*z = 309*z + 82*z. Is z equal to -1/21573?
False
Let g = 4.67 + -107.67. Let i = -113 - g. Which is smaller: i or -28?
-28
Suppose 3*b = 2*o + 88, -5*o + 0 + 5 = 0. Let g = -29 - b. Let l = -56 - g. Does l = -3?
False
Let y(r) = -82*r - 22