**2 + 6*s - 2. Let l be o(4). Is l > g?
True
Suppose -3*z - 3*f + f = -14, 14 = -3*z + 5*f. Let y(q) = 16*q**2 - 4*q + 2. Let l be y(z). Suppose 22 = -5*k - l. Is -1 smaller than k?
False
Let b = -0.029 + 0.009. Is b greater than 3?
False
Let n be -93*(-3)/657*7 + -3. Which is greater: -1 or n?
n
Let d = 5.305 - 0.305. Let w = 5.196 - 0.096. Let s = 5 - w. Which is smaller: s or d?
s
Let b(x) = -2*x**2 + 103*x - 22. Let p be b(47). Is -0.2 bigger than p?
False
Let h = 604/5 + -122. Let x be 0 + (-1)/(-6) + (-556)/(-3336). Which is greater: x or h?
x
Suppose -182 = 6*y + 172. Is y less than or equal to -0.1?
True
Let i(h) = 143*h - 6. Let x be i(1). Which is bigger: x or 136?
x
Suppose -2*f + 10 = -0*f. Suppose -4*p + 13 = -g - 8, -5*g = 3*p - 33. Suppose -t + p = t. Is f >= t?
True
Let w = 1191 + -1186. Which is smaller: -33 or w?
-33
Let c be (7 - (1 + -1))*5. Let n be (6 + -1)*7/c. Let f = 5163/14 + -369. Which is greater: n or f?
n
Let c = -84 - -52. Let u = c - -11. Do 2/7 and u have the same value?
False
Let z = 14.5 + -15. Let d = z + 0.2. Which is smaller: d or 1/4?
d
Let q = 40 - 44. Let l be q + (-22)/77 + 292/42. Let y = 6 + -3. Does y = l?
False
Let l = 708 - 709. Are 111 and l equal?
False
Let t = 1894 - 1666. Which is greater: t or 227?
t
Let b = -12/31 + 5/93. Is 0.075 bigger than b?
True
Let t = 0.01 + 7.99. Let p = 17 + t. Let r = p + -25. Which is smaller: -10 or r?
-10
Let n = -0.2 + 0.2. Let r = 2713 + -51549/19. Which is smaller: n or r?
r
Let q = 186 - 187. Let t be 2 + -3 + (-20)/(-26). Is q less than t?
True
Let p = 0.148 - 0.348. Which is greater: p or 170?
170
Suppose 0*b + 5*b - 146 = -2*z, -419 = -5*z + b. Suppose -3*g - 3*w = g + z, -2*w + 41 = -3*g. Is -18 greater than g?
False
Let d = 46/7 + -167/35. Let z = d + -8/5. Is 1 at least z?
True
Suppose -20*g + 14 + 6 = 0. Is 9/26 <= g?
True
Let k be (-1240)/1632 + 4/16. Which is smaller: 0 or k?
k
Let t = 93535/903 - -17/129. Let j be 105 + -2*(-1)/(-2). Let g = j - t. Is g at least 1?
False
Let h = 749/188 - 11/47. Let c(k) = -2 - 3*k + 9 - 1 + 2*k. Let s be c(3). Which is bigger: h or s?
h
Let i = -318 + 418. Which is bigger: i or 2?
i
Let a be (-3 - -1)/(-1 - -3). Let q be 7 - 0/((-3)/a). Suppose 10*f = q*f - 21. Which is bigger: 1 or f?
1
Let w = 23.19 + -0.19. Which is bigger: -1/4 or w?
w
Suppose -3*n = -3*q + 588, -3*n + 4*q = 3*q + 588. Which is smaller: -195 or n?
n
Let r(g) = 3*g - 2. Suppose 0 = -2*s - 5*c + 10, s + 3*c + 10 = 3*s. Let q be r(s). Let w = -29 - -29. Which is bigger: q or w?
q
Let o = 214 + -362. Let j = o - 23. Let v be j/(-108) + 4/(-3). Which is greater: -2/15 or v?
v
Let g = -1584 - -12657/8. Let x(a) = a + 9. Let f be x(-10). Which is smaller: g or f?
g
Let i = 9 - 1. Let y = i - 3. Suppose -4*l + y = 1. Is 2 less than l?
False
Let f = -0.89 + 0.98. Is f > -133?
True
Let u = 32 - 52. Is u greater than -62/3?
True
Suppose l - 1 - 3 = 0. Let q be 0/l + (-4)/42. Let w = -25/42 - q. Which is smaller: -2 or w?
-2
Let a = 58 - 60. Let j = -10/39 - 14/13. Is j greater than or equal to a?
True
Let r = -118/19 - -2836/475. Suppose 2*d - 12 = 4*d. Let m be (-8 - d)*1/(-2). Are m and r unequal?
True
Let j be ((-1)/(-3))/(2/(34 + 2)). Let z = -4 - -3. Let b = z + j. Which is greater: b or 3?
b
Let j(o) = 2*o**2 + 6*o + 4. Let d be j(-2). Suppose d + 4 = i. Which is greater: 19 or i?
19
Let b = 1.61 + 0.06. Let t = b + -0.06. Let x = 1.6 - t. Which is bigger: x or 1/3?
1/3
Let g = -81 - -80.9. Which is smaller: 0.031 or g?
g
Let z(m) = -m**2 - 8*m - 7. Let x be z(-7). Suppose -2*w + 5*i = -5*w - 74, 5*w = -5*i - 130. Let o be (-6)/9 - w/39. Is x at least as big as o?
False
Suppose -4*g - 60 = -3*s, 4*g - 2*s - 2*s + 64 = 0. Let o be 116/145 - 59/5. Which is smaller: g or o?
g
Let i = -0.26 + 0.15. Let a = 53 - 53. Is a greater than i?
True
Suppose -3*i + 61 = 46. Suppose -i*l + 0*l = 70. Which is smaller: l or 0.1?
l
Let f = 0.7 + -1.7. Let q = 0.01 + 0.04. Let n = 1.95 + q. Which is smaller: f or n?
f
Suppose 32*f + 22 = 21*f. Let i be (-8)/10 - (f + 104/70). Which is smaller: i or 0.41?
i
Let n = 2.8 + -10.4. Let w = n + -4.4. Which is greater: w or 2/5?
2/5
Let k = 27 - 51. Let l(w) = -w**2 + 13*w - 52. Let o be l(3). Which is bigger: o or k?
o
Suppose -3*b - 5*g + 2 = 0, -2*b + 1 + 5 = g. Suppose 0 = b*v - 8 - 16. Which is greater: 5 or v?
v
Let u be ((874/(-13661))/(-23))/(2/(-4)). Is 0 < u?
False
Suppose -6*u - 5*t = -4*u + 110, 4*u - 3*t = -246. Are -60 and u equal?
True
Let a = 10330/2301 + 104/177. Which is smaller: 4 or a?
4
Suppose -9*d - 14 = -10*d. Let l be 63/d - (-1)/(-2). Suppose -l*m = 3*i - 17, 4*i + 3*m - 11 = -0*m. Is i greater than -1/5?
False
Let m = -665 - -57857/87. Let b = 1689 + -1689. Is m != b?
True
Suppose 208 - 8 = 5*d. Let h be 2/(-10) - (-168)/d. Suppose -2*a = -2*c + 4, 3*a = -2*c + h*a - 1. Do c and -3 have the same value?
True
Let a be (-6)/15 + 324/10. Let y = -27 + a. Which is greater: 4 or y?
y
Let x be 3*(1 + 1405/(-15)). Are -2 and x nonequal?
True
Suppose 0 = 3*y + h - 7, 4*y = 3*y + 3*h - 11. Let u be (118/(-56) + 2)*-4. Which is bigger: y or u?
y
Suppose -4*h - h - 15 = 0. Let p = 6 + -13. Let w = 7 + p. Is w != h?
True
Let n = -8/789 - 603/1052. Let u be -6 + 4 - 1/(-1). Which is greater: u or n?
n
Let y = -56 + 62. Suppose 2*x - 2*u - 14 = 0, x - 5*u - y - 5 = 0. Which is smaller: x or 2?
2
Let z be (-9)/(-40) - 1 - 12/(-16). Which is smaller: z or 0?
z
Let i(m) = m - 18. Let g be i(13). Let p be 9/(-15) + 57/g. Let u = -9 - p. Does 2 = u?
False
Let c = -26/109 - -12826/763. Which is bigger: 17 or c?
17
Suppose -3*z + 27 = -5*f - 0*z, 2*z + 2 = 0. Let t be (1 - 1)/(f + 8). Is -1 > t?
False
Let x be 6*(8/(-6) + 2). Suppose -h = -3*h + 3*q + 92, h = q + 47. Suppose 0 = -x*p + 1 - h. Do -12 and p have the same value?
True
Let g = 3 + -2. Are g and -2.48 unequal?
True
Let q = -16.6 + 21.6. Do 1.4 and q have the same value?
False
Suppose -j + 5*y = 4*j + 25, 3*j = y - 25. Let m = j + 10. Which is greater: m or 60?
60
Let p = -158 + 197. Which is smaller: 38 or p?
38
Let i = 1 - 2. Let g(a) = -a**3 + 2*a**2 - 5. Let f be g(3). Let m = f - -12. Is i greater than or equal to m?
True
Let t be 1*-3*1742/(-26). Let g be ((-203)/t + 1)*3. Which is bigger: 1 or g?
1
Let h(i) = 7*i - 141. Let o be h(20). Let p be 58/(-3) - (-4)/(-6). Let y be (2 - p - 1)*o. Which is bigger: y or -20?
-20
Let g(h) = 2*h + 24. Let l be g(-12). Suppose l*o = -5*o - 130. Let w = o - -17. Which is smaller: w or -0.2?
w
Suppose 9 = 30*l - 27*l. Let k = 1 - 0. Let t be k + 8/3 - l. Which is greater: 2 or t?
2
Let a = -1533 - -1532.9. Is a at most 0.84?
True
Let z = -48 + 44. Let t = -90 - -628/7. Which is greater: z or t?
t
Suppose -141 = -11*l - 152. Let x(t) = -3*t**2 + 1. Let k be x(1). Is k at most as big as l?
True
Let n be 852/24 + 1/2. Suppose -2*k - n = -4*b, 0 = -0*b + 2*b + 3*k - 26. Suppose -u - 4*u + 3*j = b, -3*j + 20 = 5*u. Is u < 0?
False
Suppose -2*r - 5*j + 35 = 0, 2*r - 4*j + 0*j = 26. Let c be 24/30*5*-1. Let p = 5 + c. Which is greater: r or p?
r
Let l = -7 - 1. Which is bigger: -9 or l?
l
Let p = 163 + -50. Let n = p + -114. Which is greater: n or 17?
17
Let f(b) be the first derivative of -2*b**3 - b**2/2 + 6*b - 13. Let p be f(3). Is -50 smaller than p?
False
Let x(h) = 2*h + 4. Suppose -4*t = -a - 0*t - 10, -5*a - 5*t = 0. Let s be x(a). Which is greater: s or 3/20?
3/20
Let w = -0.11 - 0. Let d = w - -0.51. Which is smaller: -3 or d?
-3
Let a be 10/((-1)/((-2)/(-4))). Let z = 1 - a. Which is smaller: z or 1?
1
Let s = -7 - -6.3. Suppose -4*f - w + 22 = 0, 6*f + w - 28 = f. Let z be (2/f)/(2/3). Which is greater: s or z?
z
Let w = 288 - 289. Does w = -4/233?
False
Let d(n) = -17*n**2 + 4*n + 2. Let a be d(-3). Are a and -162 equal?
False
Let r(i) = -i**3 + 11*i**2 - 14*i + 39. Let p be r(10). Which is smaller: -5/31 or p?
p
Let k = -235691/87 + 2709. Which is bigger: k or -1?
k
Let i = 2035 + -2036. Is 0.648 at most as big as i?
False
Let n be -36*((-6)/(-4) - (-26)/(-52)). Which is greater: -186/5 or n?
n
Let z = 23 - 17. Suppose 39*f = 43*f + 16. Which is smaller: f or z?
f
Let g = 9 + -27. Let n = -25 + 56. Let r = g + n. Which is greater: -2 or r?
r
Let q(z) = -2*z + 7. Let x be q(9). Let h be 7/(-20) + x/(-44).