2). Let u = y + -66. Let t = -3 + 2. Is u > t?
True
Let o be (2 - (-2628)/(-10))/(2/((-150)/(-105))). Is -187 less than or equal to o?
True
Let d = 27546 + -27523. Is d less than 197?
True
Let m = -38586 - -38587. Let j = 77.162 + -0.162. Is m smaller than j?
True
Let k = -0.167 + 0.167. Suppose -4 = -3*f + 5*f, 4*o - 5*f = 1846. Let x be 10/((-90)/o)*10/6. Is k != x?
True
Suppose n = -420 + 115. Suppose -2*g - 524 - 85 = t, 4*g = -4*t - 1220. Do g and n have the same value?
False
Let s(j) = -j**3 + 3*j**2 + 3*j + 3. Let d be s(4). Let v(c) = c**3 + 27*c**2 + 26*c - 2. Let t be v(-26). Let u be t + d/4*-21. Which is greater: 4 or u?
4
Let v be 4 + (18/315)/((-66)/14436*3). Which is bigger: 1 or v?
1
Let k(h) = -2628*h - 91984. Let l be k(-35). Suppose 0 = -4*p + b - 6, -3*p - 1 = -0*p + b. Is l <= p?
True
Suppose 2271*u - 2267*u - 3166 = -5*h, 0 = -4*u + 2*h + 3208. Is u < -10?
False
Let d(j) = -2*j**3 + 8*j**2 - 6*j - 49. Let s be d(7). Is s at least -386?
True
Suppose -4*t - 6*h - 22 = -h, -19*t - 47 = -5*h. Let y(b) = b**3 + 12*b**2 + 36*b + 2. Let m be y(-5). Is t at least m?
True
Let h be (-1)/((-6 - -24) + -14 + 566/(-142)). Is h smaller than -496/7?
True
Let u = -23 - -225. Suppose -3*z = 0, -o = -3*o - z - 4 + 2. Which is greater: o or u?
u
Let z be 1512/1386 - (-12)/(-11). Which is greater: 11/52 or z?
11/52
Let m(p) = -4*p - 5. Let n be m(-4). Let f = -16126 - -16139. Are f and n nonequal?
True
Let t = -2810.2 + 2810. Which is smaller: t or -769?
-769
Let g be 62/((-6)/(-96)*-8). Are -132 and g unequal?
True
Suppose 3*r - 4*o - 2 = 30, 3*r = 2*o + 34. Let q = r + -12. Suppose -5*j = 4*n + 41, -3*j - 4*n - 6 = -5*j. Which is greater: q or j?
q
Suppose 0 = -a - 3*a + 12. Suppose a*o = -2*r + 16, -o + 3*r + 7 + 2 = 0. Let u be (0 - 3) + 27/o. Which is smaller: u or -1/3?
-1/3
Let u = -111299 - -110641.01. Let g = u + 658. Are g and 0.2 unequal?
True
Let c be (5784/7278)/2*18/1028. Let l = 1/1213 + c. Is l > 0?
True
Let u = 5090403/29155 + 12/5831. Is 1 >= u?
False
Let v = 3649 + -3649. Which is smaller: 3/1096 or v?
v
Let v = -417/2 + 4621/22. Let c = v - -31/44. Let b = -79/28 + c. Are -1 and b equal?
False
Let r(y) = -y**3 + 23*y**2 + 23*y + 29. Let f be r(24). Suppose -56 + 22 = -2*l + 5*a, -27 = -l + f*a. Is l greater than or equal to -2?
True
Let o be (1/2 + 2)*174/145. Suppose -5*p + 2 = -o*p. Which is smaller: -22 or p?
-22
Let k = 305.81 - 305.11. Is k at least 264?
False
Let z(g) = 2*g**3 - 9*g**2 - 10*g + 23. Let v(d) = -d**3 - d - 1. Let s(m) = v(m) + z(m). Suppose 0 = -8*l + 44 + 36. Let i be s(l). Is 8 > i?
False
Let g(t) = 315 - 28*t + 67*t + t**3 - 2*t**2 - 40*t. Let z be g(0). Are z and -0.1 nonequal?
True
Let o = -27 + 11. Let p = 82391 - 82385. Which is bigger: p or o?
p
Let s be (0 - -1) + (-1330)/133 + 9/1. Is s not equal to -2/15751?
True
Let k = -625 - 636. Is -1260 at most as big as k?
False
Suppose -2*m = 4*t + 144, -5*m - 170 = -6*t + 11*t. Let q be t/(-133)*2/14. Which is greater: q or -1?
q
Let y = -6.85 - 0.15. Let v = 7.032 + y. Let l = 0.068 + v. Which is smaller: -23 or l?
-23
Let t be (-1546)/(-8)*13/(52/16). Let p = -10044/13 + t. Is p greater than 1?
False
Let z be -9 - 2 - (-12 - 0). Which is bigger: -2/1831 or z?
z
Let s = 9/3028 + 179853/614684. Let h be 3 - (0 - (-2444)/812). Let m = h + s. Is 2.3 > m?
True
Let b = 7599 + -7673. Is -1/4 at least as big as b?
True
Let t = 90.34 - 1.34. Let i = 54 - t. Let y = -26 - i. Is y at least -2?
True
Let z = 2280 - 29672/13. Suppose -2*c - 3 = 3*t - 0*c, -2 = 2*t + 3*c. Which is greater: z or t?
t
Let s = -878 - -440. Let p = s + 444. Is -0.035 >= p?
False
Let f be -6*(-16)/36*65/(-520). Which is smaller: f or -1089?
-1089
Let y be 0/((-3)/(-3 - 0)). Suppose 2*f + f = y. Let c be (-1)/((-123)/(-21) + -5). Are c and f equal?
False
Let w = 152 + -150. Let z(n) = -2*n**3 + 4*n**2 - 2*n. Let f be z(w). Which is smaller: -10/3 or f?
f
Let j(k) = -27*k**3 - 2*k**2 + k. Let v = 93 - 88. Suppose 5*l = -0*l + v. Let y be j(l). Which is smaller: y or -2?
y
Suppose -15 = 6*x + 21. Let u = 819 + -829. Which is bigger: u or x?
x
Let x be -76*(-55)/(-10)*(-2 - 0)/(-4). Which is greater: -1469/7 or x?
x
Suppose d - 3*x - 307 = -17, 5*d - 2*x = 1411. Suppose 71 = -7*q + d. Is 94/3 greater than or equal to q?
True
Suppose 19*x + 79 = -263. Is x smaller than 3?
True
Let u = 0.238 - -0.002. Let p = -739 - -788.9. Let m = -50 + p. Which is smaller: u or m?
m
Let w = -98 - -42. Let j be (2 + w/88)*2/(-12). Is j smaller than -1?
False
Let y be ((-665)/19)/7 - (-5438)/14. Is y < 383?
False
Let y(x) = -168*x**2 - 35*x - 6. Let u be y(-4). Which is bigger: u or -2551?
-2551
Suppose -7*s + 2*s + 155 = 0. Let f be (-12)/18 - 1206/(-27). Suppose 2*k - f = -5*g + 5, 5*k - 151 = -3*g. Is k >= s?
True
Let f(y) = -3*y + 4 - 2*y + 9*y. Let l be f(2). Let w be l/36 - 73/237. Is w <= 1?
True
Let m = 0.098 - -51.102. Let x = -56.24 - -5.24. Let l = x + m. Which is bigger: 11/4 or l?
11/4
Let p = 22761 + -1160911/51. Which is smaller: p or -3?
-3
Let o = 24.79 - 23.8. Let m = o - -0.01. Let y = 2.574 + 2.926. Which is smaller: y or m?
m
Let c(o) = -6*o - 8. Let g be c(-12). Suppose 585 = 12*w - 207. Which is greater: g or w?
w
Let j = 7 + -7. Let i = 537/235 - 98/47. Which is bigger: i or j?
i
Suppose 6*s - o = s + 80, 15 = -3*o. Suppose -14*r + s*r = -4. Let y be 74/280 - r/(-16). Is y < 0?
False
Let b = -11732431/689460 - -2/11491. Let v = b + 79/15. Let f = v + 53/4. Are f and 2 nonequal?
True
Let n = 20.1 - 20.1. Suppose -238*u = -222*u + 96. Is n not equal to u?
True
Let i(z) = 62*z - 418. Let k be i(16). Is 577 at most as big as k?
False
Suppose 3*p = -0*p + 24. Let r(i) = 5*i**2 - 3*i + 37. Let x(l) = 8*l**2 - 6*l + 75. Let q(c) = -5*r(c) + 3*x(c). Let b be q(-8). Is p at most b?
False
Suppose -2365 + 763 = -3*p. Let b = 414 - p. Are b and -119 unequal?
True
Suppose a + 2*c - 46 + 57 = 0, -9 = 4*a + c. Is a greater than or equal to -147/86?
True
Let c = 3418 + -3495. Is -76 at most c?
False
Let f be 3 - 2 - ((-6864)/87)/(-16). Is f at least as big as -3?
False
Suppose 0 = 16*n - 7*n + 3150. Let m = -393 - n. Let z(q) = -2*q**3 + 2*q**2 - 3*q + 3. Let t be z(3). Which is smaller: m or t?
m
Let m be 31 + 2 - 5*(-8)/10. Are m and -0.04 non-equal?
True
Suppose 0 = -3*r, -9*r + 16*r - 20 = 2*c. Suppose 0 = -5*w + 5, -2*w = -o + 2*w. Let t be -1*o/10*20. Which is smaller: c or t?
c
Suppose -33 = -4*m - 3*s, -m + 12 = 3*m - 4*s. Suppose 2*y = 2*v - 3*v - 70, 3*y - 140 = 2*v. Let n be 1/m*18/v. Which is smaller: n or 0?
n
Let u = 23.97 + -24. Let r = -0.869 - -4.839. Let g = r - u. Is g less than or equal to 3?
False
Suppose 2 = -2*u + 24. Suppose -u = -15*q + 4. Let f be q + (8/24)/(2/72). Are 15 and f equal?
False
Let s = -325 + 137. Suppose 5110 + 2557 = -41*l. Is l less than or equal to s?
False
Let r = -3729 - -3757.9. Let v = 29.7 - 0.7. Let y = r - v. Which is smaller: y or 4/5?
y
Suppose p - 12 = -p. Suppose -16 = -h + 2*q - p*q, -5*q = -2*h - 7. Let m be (-63)/(-42) + (-142)/h. Which is greater: -32 or m?
-32
Let t = 10595 + -836994/79. Which is smaller: t or 1?
t
Let r = -206 - -228.6. Let h = 13 - r. Is h less than or equal to -0.1?
True
Let f = -5954.8 - -6194. Which is bigger: -1/2 or f?
f
Let c(q) = q**3 - 4*q**2 - 4*q + 3. Let m be c(5). Let a be (-1 - 99)*(-6)/m. Suppose -n = -155*b + 159*b - 311, -3*b + 3*n = -207. Does a = b?
False
Let c = 3731 - 4019. Are -289 and c non-equal?
True
Let b(s) = s**2 + 37*s - 53. Suppose -3*w - 111 = -3*d, 2*w + 4*d - 7 = -87. Let f be b(w). Which is smaller: f or -61/4?
-61/4
Suppose -18*s + 26*s = 8. Let v be (-3)/(5/s - (-372)/(-75)). Is v smaller than -75?
False
Let a = -13538 + 14741. Which is greater: a or 1200?
a
Let k = -70 - -55. Let u be ((-9)/(-6))/((k/(-36))/(-1)). Which is smaller: 0 or u?
u
Suppose -p + 49 = -59. Let a be 2/8 - 45/p. Which is smaller: 0 or a?
a
Suppose -2*x + 3 - 5 = 0. Let g be (-300)/(-18)*(-24)/(-10). Let y = g - 30. Are y and x non-equal?
True
Suppose 0 = -3*c - m - 2320, -402 = 3*c - 5*m + 1930. Let x = c + 779. Is -17 < x?
True
Suppose 0 = 2*k - 6*k + 112. Let h be (-14)/(-4)*80/k. Suppose -h*i = -9*i. Is 2/165 at least as big as i?
True
Let m = -11416 - -11442. Is m greater than 85?
False
Let d be 3*1 + (2