e g(3). Let p be (2 + 5/i)*0. Let s = 159 - 1430/9. Is p greater than or equal to s?
False
Let y = 3.898 - -0.102. Let f = -2368591/252 + 37603/4. Let g = 13/18 - f. Which is smaller: g or y?
g
Let n = 287 + -119. Let g = n + -168.158. Which is smaller: 1 or g?
g
Let b be 47106/2808 - 44/(-143). Which is smaller: b or 17?
17
Suppose h = 5*u + 27, 6*u + 28 = 4*h + 2*u. Suppose -h = -4*g + 6. Let c = 212/17 + -1577/136. Which is bigger: c or g?
g
Let r = 0.1 - -11.9. Let n = -10.39 + -0.61. Let s = n - -9. Which is bigger: r or s?
r
Let n be 5/(-1 + (-11)/(-24)). Let f(l) = 7*l**2 + 642*l - 194. Let s be f(-92). Is s equal to n?
False
Let s be (((-455)/(-300))/7)/(24/20). Let m = s - 1/18. Let z be (-2)/5 - (-2)/5. Which is bigger: m or z?
m
Let c(t) = 25*t - 1. Let r be c(-2). Let j be 9 + (-87)/9 - 994/3. Let g = 282 + j. Is r >= g?
False
Suppose 3*a - v + 0*v = -133, 5*a + 217 = 4*v. Let d = a - -23. Let g be (14/(-63))/((-2)/d). Is g > -1?
False
Let q = 0.315 - -130.685. Let p = 105 + -170. Let n = p + q. Is n less than -2/7?
False
Suppose 0 = -334*q + 327*q - 1120. Which is bigger: q or -0.16?
-0.16
Let k = -134 + 127. Let m be (1/k - 42/49) + 33. Suppose -t - m = 3. Which is greater: -37 or t?
t
Let q be ((-1)/(-2))/((-7)/(-210)). Let h be (-9)/(-15) - (-261)/q. Is 10 > h?
False
Let a = -0.94 + 0.052. Let l = 7.112 - 7. Let o = a - l. Is -45 at most as big as o?
True
Let m be 213/3960*-14 + (-10)/(-8). Let h = -10/33 - m. Suppose 16 = 5*i - 4*d, -3*i = -0*i - 3*d - 12. Is h at most i?
True
Suppose 0*v - 177 = 3*v. Let m be (-2425)/10*(-14)/3 - -4. Let g = m + -1135. Is g smaller than v?
False
Suppose 9*r - 2*r = 35. Suppose 2*a - 3*x - 2 = 1, -27 = 4*a + r*x. Let f(g) = -6*g**2 - 43*g - 9. Let k be f(-7). Are k and a non-equal?
True
Let x = 7355 - 7344.682. Let z = x + -0.286. Let s = -0.032 + z. Which is smaller: -1 or s?
-1
Let g = -173 - -254. Suppose -5*j = -4*s + g, 5*s + 63 = -3*j + 192. Suppose 144 = 4*n + s. Which is bigger: 31 or n?
31
Let d be (-21 - -19)/(3/(-36)). Let y = -4047 + 20362/5. Is y greater than d?
True
Let y be ((-4)/9)/(-4) + (-37)/9. Let m be (y + 7 - -4)/1. Is m at least 19?
False
Suppose 8 = 5*f + 3*z, 5 = -3*z + 8. Let x be -2*(0 - 188/10) - f. Does x = 36?
False
Let t = 8260 - 7518. Is -7 less than t?
True
Suppose -4*p + 3*a + 7926 = 0, -p + 2*a + 5945 = 2*p. Is 1983 >= p?
True
Let m = -449/28 + 128/7. Suppose -114*p = -112*p - 30. Let b be 7 - (-6 + 0)/(p/(-10)). Which is smaller: m or b?
m
Let s(b) = -6*b**3 + 5*b**2 - 15*b + 10. Let w be s(7). Is -1/4 >= w?
True
Let l = -9868 + 9869. Is l > -294?
True
Let o = 0.23 - 17.23. Let p(h) = 2*h**2 + 73. Let k be p(0). Let f = k - 69. Which is smaller: f or o?
o
Let s = 2.913 + 4.087. Is s at least as big as 162?
False
Let z = -1692 - -1705. Is z > 9/4?
True
Let a = 8382 + -9968. Is a <= -1591?
False
Let h = 265 - 197. Suppose 83 - 290 = -3*i. Which is bigger: h or i?
i
Let f be 10/20 + 21/(-2). Let u = f - 4. Suppose -3*x - 15*y - 41 = -16*y, -5*y + 75 = -5*x. Which is bigger: x or u?
x
Let h = -468760848277/294 + 1594428729. Let z = h + -4075. Is z greater than 1?
False
Let j be 3*(1 - 0) + -3. Let b be 2946/369 + (-128)/16. Which is greater: j or b?
j
Let c be (-31)/(-2 - 1036/(-500)). Let l = 431 + c. Let w = -5 + 4. Which is bigger: l or w?
l
Let a = -4462.13219 - -0.13219. Is 0.1 less than a?
False
Let d = 4.4 - 4.2. Let y = -44.2 + d. Let f = y + 46. Is 0.1 <= f?
True
Let i = 3212/9 + -16078/45. Is -7158 smaller than i?
True
Suppose -832 = -168*l + 1078 + 1954. Is 16 at most as big as l?
True
Let l be -13782*(-8)/60 + 120/300. Which is greater: 1839 or l?
1839
Let x be 13/(507/(-26)) + (-59)/(-74). Is x >= -1?
True
Let p = 7 + -2. Suppose p*j = 5*r - r + 24, j = -4*r. Suppose 5*g - 154 = -j. Is g less than 30?
False
Let z(d) = -d**3 - 5*d**2 + 2*d + 2. Suppose o - 16 = -5*u - 0*o, -4*o + 19 = 5*u. Let r be z(u). Is r < -0.1?
True
Let h(i) = -i**2 - 21*i + 4. Let t be h(-21). Let u be ((-4)/(-3))/(t/6). Let n = 1 + 0. Which is greater: n or u?
u
Let y be ((-120)/175)/((-8)/(-2220)) + -1. Let r(j) = 24*j**3 - j**2 - 2*j + 1. Let p be r(-2). Let w = p - y. Which is bigger: w or -4/57?
w
Suppose -139*b - 54 = -138*b - 5*i, -4*b + 3*i - 216 = 0. Are b and -133/3 equal?
False
Let f(r) = -588*r + 2. Let l be f(3). Let a = l - -5381/3. Let q = 29 - a. Which is greater: q or -3?
q
Let t(i) = -i**3 + 2*i**2 + 10*i - 21. Let u be t(6). Let b = u - -75. Let w be (-8)/20 + (-32)/b. Which is smaller: 0.048 or w?
0.048
Suppose 137388 + 151908 = 42*c. Is c at least as big as 6888?
True
Let j = 921741 - 921787. Let a = -16 - 31. Which is smaller: j or a?
a
Let a = 188 + -277. Let g = 0.084 + -0.184. Which is bigger: a or g?
g
Let s = -100 + 135. Suppose -3*x - 38 = -s. Which is smaller: -1/59 or x?
x
Let i = -20.87 - -19.807. Let g = i - -0.063. Which is smaller: -99 or g?
-99
Let r be 14*(-8)/(-280) - (-446)/10. Suppose 121*g = b + 116*g - r, -5*b + 245 = -5*g. Is 49 at least b?
False
Let l = -57078 + 57103. Let s = 2 + 0. Let x = 1.9 - s. Is l > x?
True
Let c be 221 - ((-75)/(-18))/(-5)*-6. Let k = c + -223. Is k at least -8?
True
Let o be ((-4)/96*-7)/((-3025)/(-50)). Which is greater: 1 or o?
1
Let y(h) = -5*h**2 + h - 24. Let l(c) = c**2 + 2*c - 1. Let w(s) = 6*l(s) + y(s). Let q be w(2). Let t = -52 + 778/15. Which is smaller: t or q?
t
Let p be -7*54*48/(-288). Suppose 0 = f + f - 128. Which is smaller: f or p?
p
Let h be (-176)/126 - (-14)/49. Let i(o) = o**2 + 18*o + 48. Let p be i(-15). Which is smaller: p or h?
h
Let o = -71.8 + 721.8. Let q = 648 - o. Suppose 2*h - h = 0. Is q <= h?
True
Let f = -2846 - -3767. Which is bigger: -4 or f?
f
Let h be 1 - ((-238)/(-56) - 2/8). Let p be (0 - h)*220/(-30). Is -21 equal to p?
False
Let d be -8*(-321365)/(-594)*(-6)/1225. Let w = d - -2/2205. Is 21 >= w?
False
Let d = -13 - -16. Suppose -31 = -d*h + 17. Is 14 at most as big as h?
True
Suppose 3*b = 3*t - 24, -12 = -2*t + 4*b - 3*b. Suppose 0*n = 3*v - t*n + 47, 4*n = -v + 11. Which is smaller: -11 or v?
-11
Suppose 3*q - 46 = -1486. Let k be -5 + 17/((-1122)/q). Is k at most as big as 1?
False
Suppose 160830 = -69*r + 159*r. Is 1788 bigger than r?
True
Let w(c) = -3*c - 2. Let d be w(-2). Suppose -2*s - 6*s = -d*s. Let u = 4.18 + -4.2. Which is bigger: s or u?
s
Let v = 0.3154 - 0.0224. Let z = 0.193 - v. Which is greater: z or -0.37?
z
Let p = -282 - 274. Let n = p + 560. Is n at least as big as 29/11?
True
Let u = 3837.4 + -3837.4. Do u and -5787 have the same value?
False
Let b = 0.02 + -8.32. Let l = 1.602 + 9.098. Let r = b - l. Is r smaller than -0.2?
True
Suppose 4*i = 2*r - 2476, 0 = -4*i + r - 6*r - 2518. Is i greater than or equal to 0?
False
Let w = 46497 - 46498. Which is smaller: -692 or w?
-692
Let p = -6141.31999 + 6141. Which is greater: p or 2/5?
2/5
Suppose 2*p = 8*p - 102. Let g = p + -56. Let w = -40 - g. Do -1 and w have different values?
False
Let v = 92.99 + -88.5. Let c = -0.49 + v. Let h = -23 + 13. Which is smaller: h or c?
h
Let l = -5 + 12. Suppose -8*y + l*y + 3 = 0. Let m be y/12 - (-26)/(-8) - 15. Is m bigger than -16?
False
Let k be 15 - (-866)/(-36) - -8. Does 5 = k?
False
Let z = -907 - -907. Suppose 0 = -4*r - x - 0*x - 15, z = -4*x + 4. Which is smaller: r or -33/7?
-33/7
Let g = 128 - 107. Let p be 2/2*-2 + 7. Let c = g - p. Which is greater: 15 or c?
c
Let y be (-13)/(65/(-95)) + -11. Suppose 2 = -5*c + 2*b - 1, 5*b - 23 = -3*c. Let v be (2 - (c + -1))*-1. Do v and y have the same value?
False
Let c(d) = -38*d**2 - 67*d + 227. Let y be c(9). Are y and -3451 nonequal?
True
Suppose i + 4 = -19. Let r = -3.45 + 0.05. Let q = 3.3 + r. Is q greater than or equal to i?
True
Let u = 21778 - 19229973/883. Which is smaller: -1 or u?
-1
Let j = -1575.42 - -1589. Let q = -2.28 + j. Let a = -13.5 + q. Which is smaller: 0.2 or a?
a
Let r(m) = -m**2 - 154*m + 1706. Let z be r(-125). Which is smaller: z or 5332?
z
Let o = 2089 - 2277. Do -0.4 and o have the same value?
False
Let v be 8/(9948 + 20)*-4. Let z = -1 + 1. Is v >= z?
False
Suppose 0 = -106*f + 115*f + 2502. Let x = f - -555/2. Which is smaller: x or -51?
-51
Let n = -4 - -3.995. Let y = 1182.805 + -1183. Let a = y + n. Is a greater than 1/16?
False
Let w = -444388/3 - -148129. Let l(