(-1 + 5/3). Which is greater: 2 or h?
2
Let j = 12079 - 11793. Is 328 not equal to j?
True
Let s = -6640 + 4520. Which is smaller: -2122 or s?
-2122
Let f be (-16)/(-32) + 26/(-4). Let d be (-40)/60 - (1 - (-472)/f). Is d smaller than 77?
False
Let s = 2.6 + -2.75. Let z = s - 0.05. Let q be (-2)/(-21)*(-7 + (-245)/(-21)). Are z and q unequal?
True
Let l = -6.99 + 6.88. Let n = 0.88 + 2.12. Is l bigger than n?
False
Let o = 11647 - 11647. Is -1/123 smaller than o?
True
Let x(i) = -i**3 + 10*i**2 - 7. Let d be x(10). Let b(u) = 45*u - 16 + 46*u - 88*u. Let z be b(3). Is z equal to d?
True
Let x be (-11266080)/(-2646) + (-2 - (-20)/9). Is x >= 4258?
True
Let g(w) = -3 + w - 11 - 2 + 3. Let d be g(17). Suppose -t - 60 = -5*t - 4*b, -3*t = d*b - 46. Which is smaller: 16 or t?
t
Let n = 0.627 - 14.177. Let u = 1.55 + n. Let j = 27/4 - 197/28. Which is bigger: u or j?
j
Let t be (-24)/(-10)*(-425)/(-340). Is 131/34 equal to t?
False
Suppose 10*j - 2*j - 24 = 0. Suppose 4*b - 5*t = -137, -78 = j*b + 3*t - 9. Let o be (-18)/(-14) - (20/b - -1). Is -6/13 <= o?
True
Let p be ((-2)/(-3) + -1)*-3. Let m = -84125/519 - -1783/11. Let b = 85649/39963 - m. Which is smaller: p or b?
p
Let a = 2.113 - -217.787. Let l = 219 - a. Let o = -1.1 + 0.1. Is o at least as big as l?
False
Let k be (77/(-21) + -4)/((-8)/(-48)). Is -47 at least as big as k?
False
Let w be 4 + 4/4 + 3. Suppose 12*s = 17*s - 300. Let r be (-38)/s - w/(-16). Is 0 smaller than r?
False
Let d = 3953 + -3951.6. Is d <= -36?
False
Let w = -12141 + 12136.9. Is w bigger than 2.3?
False
Suppose 53*d - 49*d = 4*r + 860, -10 = -d. Let z = 36 - 242. Is r at least as big as z?
True
Suppose 4*q - 2*i = -0*i - 2, 4*q = i - 1. Let m = 112 + -127. Which is smaller: m or q?
m
Let c(i) = i**2 + 55*i + 255. Let x be c(-55). Let u = x + -254. Let t = 325/1969 - -3/179. Are u and t nonequal?
True
Let w = -6/55 + -1/495. Let g = -3920/9 - -436. Let l = g + w. Which is bigger: l or -1?
l
Let z(i) = -i**3 - 6*i**2 + 32*i - 16. Let x be z(4). Is -40 <= x?
False
Let y = 3.84 + -4.42. Let o = -0.18 - y. Is o >= -11?
True
Let q be ((84/63)/((-1288)/21))/((-3)/8). Suppose -k - 4*m = 21, -3*k - 5*m = -0*m + 28. Is q >= k?
True
Let o = -57.5 + -11.68. Let g = o - -69.5. Is 2/5 != g?
True
Let h(f) = 81*f**2 + 13*f - 27. Let s be h(8). Let w = s + -226205/43. Let o = w - 1072/301. Is -3 bigger than o?
True
Let v = 25.5 - 24.5. Let w = 1.894 - 2.06. Which is bigger: w or v?
v
Let z(n) = -3*n**2 + n. Let l(o) = -12*o**2 + 17*o - 16. Let g(p) = -l(p) + 5*z(p). Let x be g(4). Is x less than or equal to -80?
True
Suppose 4724*p - 768 = 4748*p. Is p greater than or equal to -9?
False
Let p be 189152/483 + 4/6. Let t = 392 - p. Are -90 and t equal?
False
Suppose 0 = -s + 3*i + 18 - 3, 4*s - 9 = -5*i. Suppose -11*l + s*l = 80. Is l != -14?
True
Let k = -1050 + 506. Let y = k + 534. Which is smaller: 0.02 or y?
y
Let i = 520 - 566. Suppose -20 = -2*m + 282. Suppose -q = -3*z - 5*q - m, 4*z + 188 = -2*q. Is z greater than i?
True
Let a be (-1 - -120)/(0 + -1). Let g = -114 - a. Is g < 5?
False
Let s(m) = 3*m**3 - 83*m**2 + 189*m + 53. Let c be s(25). Is -242 less than c?
True
Let m(t) = -t**2 + 10*t - 9. Let h be m(-9). Let i = h - -159. Which is greater: i or -20?
-20
Let t = 32 + -286/9. Let u = 1149 - 1152.9. Which is smaller: t or u?
u
Let u(b) = -2*b**3 + 26*b**2 + 140*b - 1816. Let r be u(13). Let n be (-18)/(-24) + (-242)/(-8). Which is bigger: n or r?
n
Let u = -20017 - -2181955/109. Let a = u - 17855/327. Let g = 53 + a. Does g = -1?
False
Let k be 1086/(-18)*(-297)/(-165). Is k equal to 5?
False
Suppose -v = 2*b + 31, 0 = -5*v + 2*v + 3. Let f be ((-24)/b)/(15/(-4)). Let l = 88 - 29. Which is greater: f or l?
l
Suppose -305 = 29*f + 72. Let p = 25 + -42. Let t be (1 - -1) + (p - -1). Which is greater: t or f?
f
Let m = -839 - -815. Let g be 4 + -6 + 1 + (m - -320). Are 296 and g nonequal?
True
Let y(s) = s**2 + 4*s - 5. Let u be y(-5). Suppose u = -5*w + 2*w + 4*r - 28, 3*w + 24 = 3*r. Suppose 5*b + 42 = 17. Which is greater: w or b?
w
Let y be (-341 - 3)*(-620)/120*21/14. Which is smaller: y or 2664?
2664
Suppose 2*b - 4*n = 228, 306 = 3*b + 4*n - 86. Suppose b = -7*s + 334. Let l(u) = 28*u**2 + 2*u - 1. Let c be l(1). Is s > c?
True
Suppose -6*x - 2104 - 1238 = 0. Is -556 at most x?
False
Let k = -4567/31059 - -23/153. Do k and -1 have the same value?
False
Let h = -4.09 + -0.81. Let g = -8.1 + h. Suppose 20 = -5*t + 5*v, 0 = -4*v + 9 + 3. Which is bigger: t or g?
t
Let d(i) = -3*i**3 + 29*i**2 + 18*i - 244. Let z be d(10). Which is smaller: -2808/17 or z?
-2808/17
Let r(c) = -c**3 + 4*c**2 + 4*c + 4. Let q be r(5). Which is smaller: q or -45?
-45
Let i = 251 + -314. Let h = i + 58.6. Which is smaller: h or 2/9?
h
Let o = -258 - -154. Let v = -6615/32 - -3279/32. Is o smaller than v?
False
Suppose -q + 45 = -2*d, -d - 7 = -3. Suppose 0 = -2*p + p + 35. Which is smaller: q or p?
p
Let m = -231 - -340. Suppose 3*u - 446 = -u - 2*z, -5*z = 4*u - 461. Is u > m?
False
Let f = 263152/18547 - 241/17. Which is smaller: f or -1?
-1
Let o be 3*(-70)/(-825) + (-22)/55. Suppose 2*y + 6 = -4*h, 3*h + 0 = -4*y - 12. Which is bigger: o or h?
h
Suppose 38*j + 40 - 33 = 45. Which is greater: -420 or j?
j
Let h = 3 - 8. Let p(q) = 40*q + 267. Let o be p(-6). Let u be ((-18)/o)/(h/3). Are u and -22 unequal?
True
Suppose -240 = -13*p - 3*p. Suppose -4*r - 5*v - 10 = -25, -5*v + p = -r. Let j = 280397/135 - 2077. Is r equal to j?
False
Let k = 13190 + -15122. Which is bigger: k or -1930?
-1930
Let h be -12 + -821 + (-2 + -1 - 1). Which is smaller: h or -834?
h
Suppose -3*z - 4*o = -17, 0*o - 4*o = -5*z - 25. Let a = -34892/7 + 4985. Which is smaller: z or a?
z
Let o = 2.066 - 2. Let b = o - 28.066. Let n = b - -27. Which is smaller: n or -0.003?
n
Let j = 206 + -202. Let r(p) = p**2 - 5*p - 6. Let s be r(6). Suppose s*a - 32 = j*a. Which is smaller: a or 1?
a
Let r be -5 + (-2 + 4 - (-6)/3). Let g be ((-3)/r)/((-7)/14*-30). Which is smaller: g or -47/4?
-47/4
Let v = -127 + -186. Let i = 312 + v. Is i at most as big as -24?
False
Let z = 2374109352/89 - 26674866. Let g = -520 + z. Which is bigger: -0.3 or g?
g
Let m be 1 + 3/(-5) - 83952/239580. Which is greater: 0 or m?
m
Let i(z) be the third derivative of -17*z**4/24 - 5*z**2 + z. Let o be i(2). Is -34 less than o?
False
Let p = 52 - 22. Let d be (-6274)/p - 4/(-30). Let j = d - -5223/25. Which is greater: 0 or j?
0
Let l = -2/301 + -863/6020. Suppose a - 3*a = -2*v - 2, 4*v + 4 = -2*a. Which is bigger: l or a?
a
Let c(w) = 27*w - 159. Let o be c(26). Suppose -j = -4*s + o + 74, 0 = 4*j - 12. Is 155 less than s?
False
Let w = -6245 + 6247. Which is smaller: w or -3472?
-3472
Let v = 4051 - 3731. Which is bigger: -3/8 or v?
v
Let x = 12 + -1. Let z be x/22*(-4684)/13. Let v = -180 - z. Which is greater: 0 or v?
v
Let f(x) = 82 + 15*x + 21*x + 18*x + 4*x**2 - 2*x**2 - 9*x. Let s be f(-20). Which is smaller: -24 or s?
-24
Let v = -16.0885 + 0.0885. Let w = 4 + 10. Let h = v + w. Which is bigger: h or -0.15?
-0.15
Let z = 3757 + -3787. Which is smaller: z or -1?
z
Let n = -99275536/11 - -9016964. Let o = -731245/88 - n. Let i = -224 - o. Which is greater: 0 or i?
i
Let l = 1231 - 1257. Let h = -0.052 + 0.032. Which is bigger: l or h?
h
Let o(b) = -b**3 + 16*b**2 + 34*b + 36. Let t = -459 + 477. Let s be o(t). Which is smaller: s or -1?
-1
Suppose -v - 3 - 5 = 0. Let q = 178 - 186. Let o be (-23 + -4)*q/(-24). Which is bigger: v or o?
v
Suppose -53*g + 43*g = 980. Which is smaller: -983/10 or g?
-983/10
Suppose 0 = 2*h + 3*c - 17 - 86, -3*h - 4*c + 157 = 0. Which is smaller: h or -10?
-10
Let s = 15462.6 - 14683. Is s <= 0?
False
Let r be (-3 - 51/(-6))*(4 + 300/(-78)). Let f = -11 + 11. Which is smaller: f or r?
f
Let q = 61 - 48. Let s be ((-118)/9)/(q/(-39)). Which is smaller: 38 or s?
38
Let p(x) = 64*x - 1556. Let h be p(33). Which is greater: 558 or h?
558
Let b be (0 - (-40)/(-14)) + -1. Let q = b + 209/56. Let s(d) = 2*d**2 + 14*d - 339. Let j be s(-17). Are j and q non-equal?
True
Suppose y - 489 - 2501 = 3*s, y + 990 = -s. Is -994 greater than s?
True
Let s be (2/(-3) + 1)*6/4. Let m = -25.2 - -23. Let y = m - -2.15. Is y less than or equal to s?
True
Suppose 4*t - 4*g = -28, 12