-6018 = 3*w - 4*g - 323. Is -1898 < w?
True
Let h(y) = -y + 6. Let s be h(5). Let d = -7315647/302 - -24224. Is s at most d?
False
Let h be (-12)/16 - (-86)/120. Suppose 0 = 4*v + 3*l + 188, 3*v + 94 = 5*l - 76. Let q = -49 - v. Which is smaller: h or q?
h
Let q = 1820.24 - 1825. Which is greater: -3/4 or q?
-3/4
Let l be 0 + 4/17616*-2. Let i = 1663/25323 + l. Do i and -0.2 have different values?
True
Let s(l) = -53*l**2 - 9*l - 13. Let o be s(-3). Let y = o - -462. Is 4/189 at most as big as y?
False
Suppose -2*c = 2*y + 2*y + 10, -7 = -c + 2*y. Suppose 26 = -5*i + 3*i. Let d be i/(-468) + (-4)/(-18). Which is greater: d or c?
c
Let r = -4497 - -4886. Which is greater: 2 or r?
r
Let n be 1 + (-3160)/10290 - (-3)/((-27)/6). Which is smaller: 1 or n?
n
Suppose -4*h + 5*d = -0*h - 17, -4*h + 15 = -3*d. Suppose -36 = h*o + 36. Let m be (-140)/(-3) + 28474/(-619). Which is bigger: o or m?
m
Let j = 58 + -27. Let i = 32.8 - j. Let m = -0.6 - -0.5. Is i at least as big as m?
True
Let b(w) = -w + 17. Let h be b(15). Let y be 83*h/(-390) - (-38)/95. Let i(o) = -o - 1. Let k be i(1). Which is greater: y or k?
y
Let b = -90 + 96. Let i be ((-1)/(-3*1/b))/(-2). Let z be 0 - 0 - (-4)/14. Is i less than or equal to z?
True
Let d(n) = 22*n**3 - 15*n**2 - 11*n + 47. Let p be d(5). Which is bigger: p or 2366?
p
Let i = 2598.1 + -2598. Let m = -9.2 - -0.2. Are m and i unequal?
True
Let n(u) = -9*u + 39. Let f = 96 + -78. Let b be n(f). Which is smaller: -122 or b?
b
Let t(s) = -50*s - 7. Let j be t(-3). Let i = 11115 - 10974. Are j and i nonequal?
True
Let p = 1/14024 - 9368037/70120. Let l = p + 134. Which is greater: l or 4/15?
l
Let d = 527531/844024 + -2/105503. Let p = -11 - -15. Let a = -3 + p. Is a greater than or equal to d?
True
Let o(g) = -5*g**3 + 4*g**2 - 3*g - 10. Let c(f) = -f**3 + f**2 + f + 1. Let v(d) = -3*c(d) + o(d). Let k be v(-2). Which is bigger: -2/11 or k?
k
Suppose -2*z - 12 = -3*z + 5*m, 0 = -3*m. Let n = -676 + 1160. Suppose -477 = -7*y - n. Which is smaller: z or y?
y
Suppose -34*v = -33*v - 4*b - 11685, 0 = -4*v + b + 46740. Which is bigger: v or 11687?
11687
Let f(n) = -6*n + 21. Let u be f(-8). Let p be ((-974)/815)/(u/(-15)). Let i = p - 14/163. Which is bigger: i or 0?
i
Let t be 306/18 + -14 - 528/14. Which is greater: t or -13?
-13
Suppose -5*i + 3*m = 688 + 616, 4*m = 2*i + 516. Let w = 261 + i. Which is bigger: w or 2/13?
2/13
Suppose -3*q + 5*q = -c - 10, -5*q - 5*c - 25 = 0. Let w(b) = -b**3 - 8*b**2 - 5*b - 6. Let u be w(q). Let d be (-24)/u*(2 - (-22)/(-6)). Is 0 smaller than d?
False
Let x = -0.05 - 1.95. Let p = 3 + x. Let y = 22101.5 - 22102. Which is smaller: y or p?
y
Let f be (-18)/12*(-6)/27. Let s = 4182 - 4182.06. Which is smaller: s or f?
s
Let p = -20/21 + 401/399. Suppose h = 3*h + 3*o + 18, 2*o = 8. Let f be 1/(-1) - (1 - (-20)/h). Which is smaller: f or p?
f
Let x be (-497862)/(-16065) - (-4)/(-30). Which is smaller: x or 30?
30
Suppose 289*a + 759566 = -171*a + 119246. Does a = -9749/7?
False
Let v = 12 - 12. Let a = 166351/22 + -7561. Is a bigger than v?
True
Let f = -306 + 475. Suppose 31 - f = 2*o - 5*y, -207 = 3*o - 4*y. Is o smaller than -69?
False
Let t(h) = 2*h**2 + 11*h - 38. Let n = -176 + 182. Let m be t(n). Which is smaller: 99 or m?
99
Let k be (8 - (-5168)/(-629))*4. Which is smaller: -2 or k?
-2
Let q be 62 + (8 + -6 - 4). Let h be (q/(-16) + 3)*4/(-6). Which is greater: h or 0.49?
h
Let u(j) = -j**2 + 7*j - 12. Let b be u(24). Is b less than -417?
True
Let z(v) = -42*v**2 + 69 - 49*v**2 + 6*v**3 + 94*v**2 - 23*v. Let y be z(3). Is y at least 190?
False
Let g = 0.418 + -0.52. Let c = -38.998 + 39. Let f = c + g. Which is greater: f or 4?
4
Suppose 0 = -7*n + 4 - 375. Let i = -66 - n. Is -85/6 equal to i?
False
Let m = -14125 - -14124.99. Are m and 242/3 nonequal?
True
Let l = -310678/91 + 3414. Let a be -4 - 98/(-24) - 26802/(-98280). Let u = l - a. Which is smaller: u or -5?
-5
Let i = 1390 - 1437. Which is smaller: i or -53?
-53
Let s(p) = 2*p - 6*p**2 + 6*p**2 - p**3 + 1 - 2*p**2 + 4*p**3 - 2. Let m be s(4). Is m != 167?
False
Suppose 0 = -3*p - 4*x - 557 + 67, -5*p = -4*x + 774. Let w be (-3)/4 - (p/(-24) + -8). Let m = 1.2 - 2. Is m at least as big as w?
False
Let s = -60.34 + 23.34. Which is greater: 31 or s?
31
Let r = 1.216 + -2.216. Is r at least 5/79?
False
Let z(h) be the third derivative of -h**4/8 + 16*h**3/3 - 32*h**2. Let a be z(10). Suppose -5*c = -5*s - 415, 4*s - 81 - 61 = -a*c. Is c at most 79?
True
Let n = -8483/7 + 1310. Is n smaller than 98?
False
Let c = -826 - -825.87. Let b be 0/(0/(-2) + 2). Suppose b*d = -4*d. Is d > c?
True
Suppose 0 = 3*i - 5*f + 13, -17*i - 9 = -14*i - 3*f. Which is smaller: i or -3/985?
i
Let r = 52.1 - 30.1. Let v = 38.3 + -61.2. Let d = 23 + v. Which is smaller: r or d?
d
Let z = -432.395 + -0.605. Let y = z - -448. Which is bigger: 1.9 or y?
y
Let r = -1501.1 - -1501.1353. Which is greater: 0.3 or r?
0.3
Let c = -1507 - -1583. Is c < -3?
False
Suppose -2*j = 5*w - 3*j + 47, -32 = 2*w + 4*j. Let z(q) = 19*q + 181. Let k be z(w). Let h = 5 + -15. Is h greater than k?
False
Let z be -2 + 62/30 - -11*18/26730. Is 10/131 not equal to z?
True
Let y(w) = -177*w + 2. Let a be (2*9/8)/(1/(-4)). Let x be y(a). Let l = -20725/13 + x. Is l smaller than 2?
True
Let z = -1985045293/14998 + 132354. Are z and 1 non-equal?
True
Let s = 80184/11 + -240574/33. Let r = 0.9 - 1. Which is greater: s or r?
r
Let a = 19 + -17. Let u = 0.134 + -0.114. Is a bigger than u?
True
Let f be (-3)/(-12)*(-15 - -3 - -8). Let k = -4 + 1. Let s be (3/(-18))/(k/(-12)). Which is smaller: f or s?
f
Let n = -0.05042 - 1.24958. Is 57 greater than n?
True
Let p = -38 - -38. Let a be (2620/105)/(10/15). Let r = 37 - a. Which is smaller: r or p?
r
Let g be (-40)/(-605) - 1/(-5)*0. Are 1 and g equal?
False
Let x = -11204 + 22471. Is 11269 greater than or equal to x?
True
Suppose -i = -41*p + 39*p + 4, 0 = 4*i + 8. Is -5/169 >= p?
False
Suppose -2*n - 3*j = -6*n + 179, 128 = 3*n + 4*j. Let v(t) = -5*t. Suppose 5*d + 52 - 7 = 0. Let c be v(d). Which is greater: c or n?
c
Let v be (2/(0 + -1))/((-12)/(-324)). Let c = v - -60. Is c < 6?
False
Suppose 0*j - 4 = -4*p - 2*j, p = 4*j + 10. Suppose -10*k = 3*o - 15*k - p, 5*k = -o + 14. Is o != 1?
True
Let z(n) = n + 26. Let q = -50 + 34. Let t be z(q). Suppose 9 = -t*u - 1. Which is greater: u or -2/19?
-2/19
Suppose 3*i - 258 = -3*d, -d - 6*i + 71 = -2*i. Let g = d + -80. Let w be 4/8 - (-21)/2. Is w equal to g?
True
Let a(c) = -c**3 - 16*c**2 - 39*c + 4. Let x be a(-13). Suppose -5*q - x*q = 4*q. Which is bigger: q or -2/1703?
q
Suppose 0 = -4*q - 34 + 26, -109 = 3*w + 5*q. Which is bigger: -1023/32 or w?
-1023/32
Let h(d) = d**2 + 5*d + 2. Let y be h(-5). Suppose -15*w = 190 - 1180. Let p be (w/154)/((-5)/(-7)). Are y and p equal?
False
Let u = -14904 - -14788. Which is bigger: u or -97?
-97
Let z = -85 - -91. Suppose 135 = -z*w + 363. Is 38 not equal to w?
False
Let c(l) = -432*l + 147. Let x be c(-5). Which is smaller: 2306 or x?
2306
Let i be 45/(-30) + (-3595)/14. Let v = i - -258. Which is greater: v or -6.3?
v
Let f(b) = -3*b**2 - b. Let a(h) = 3*h**2 + h. Let q(w) = 3*a(w) + 2*f(w). Let o be q(-1). Suppose 645*u - 136427 = -135782. Which is smaller: u or o?
u
Let a be (4/(-16))/(-11 - -12). Is a at least as big as 5.1?
False
Suppose -3*q + 5*c + 25 = q, -18 = -4*q - 2*c. Let n be 2/(-2) - (-1 + -7 + q). Suppose 3*i + 1 = 2*g, -3*i - n + 3 = -4*g. Is g at most as big as 2/189?
True
Let c(o) = -o**2 + 16*o + 16. Suppose 246 + 111 = 21*b. Let u be c(b). Are u and -17/12 equal?
False
Let a be 338/2184*469 - 0. Which is smaller: 72 or a?
72
Let s(a) = 13*a - 432. Let l be s(35). Which is greater: -1.6 or l?
l
Let x = -668 - -677. Let n = -4 + 17. Is n less than x?
False
Suppose 34 = 4*v + c, -3*v - 71*c = -72*c - 29. Suppose 0 = -u + 3*w + 86, -u - v*w + 85 = -13*w. Is u at most as big as 88?
False
Let d = 1526 - -1285. Is 2810 < d?
True
Let l be 246/(-451) - 57177/(-108999). Which is smaller: l or 0?
l
Let l be 29 + (-1)/((-4 + 3)/2*2). Which is bigger: -0.09 or l?
l
Let i be 37*(-2 - (1 + -1) - -4). Let y = -56 + i. Suppose n = 4*n - y. Is 27/5 bigger than n?
False
Suppose -3168 = -268*c + 292*c. Which is greater: c or -155?
c
Sup