 Let h = -6.02 + u. Let x = 4 + h. Which is bigger: x or -1?
-1
Let j = 5.06 - 5. Let k = 3.94 + j. Let u = 3.9 - k. Is u equal to 0?
False
Let w = 0.7 - 0.8. Let i = 1.9 - 0.9. Does i = w?
False
Let n = -126 + 8. Do -1 and n have the same value?
False
Let a = 0 + 2. Suppose a*z = v + 4, -v - 10 + 5 = -3*z. Let x be (z + -1 - 1) + 0. Which is smaller: x or -3/2?
-3/2
Let b(i) = i - 1. Let v be b(-12). Which is smaller: v or -12?
v
Let d = 15 - 26. Let k = -11 + 0. Are d and k unequal?
False
Suppose -12*r + 176 = -664. Which is greater: 0.1 or r?
r
Let h = -11 + -38. Let p = 391/8 + h. Which is smaller: -1 or p?
-1
Let a be (-432)/8*(0 - -2)/(-14). Which is smaller: 9 or a?
a
Let s be 2 + (-1)/(9/(-16806)). Let v = 1908 - s. Let o = 39 - v. Which is greater: o or 0?
o
Let v be 63/35 + (-6)/10. Suppose q = -0*q. Which is smaller: q or v?
q
Let c = -17596 + 47491602/2699. Let o = c - -37804/24291. Let r = 47/36 - o. Which is greater: -1 or r?
r
Suppose -4*b + 3*u + 16 = 0, -b - 3*u + 0*u = 11. Let i = -1794/11 - -163. Let t = i + 16/55. Which is smaller: b or t?
t
Suppose -x = -4*x - 33. Is x bigger than -12?
True
Let q be (3 + -2)*(2 + -1). Is -2.9 greater than q?
False
Let n = 8.04 - 8. Let l = 0.04 - n. Let w = 94/3 - 32. Is w >= l?
False
Suppose 0*b - 4*b + 24 = 0. Which is greater: b or -3?
b
Suppose -m + a = 10, 2*m + 19 = 4*a - 11. Which is smaller: m or -6?
-6
Let r be 2 - (2 + 1) - 0. Let d = r + 3. Suppose -2*n + 1 = -5. Is d greater than n?
False
Suppose 12 = -2*h + 5*h, -2*h + 13 = 5*k. Which is smaller: k or 0?
0
Let g be -8 + 0/(-1) + 1. Let c(x) = -x**3 - 8*x**2 - 10*x - 8. Let t be c(-7). Let v = 7 - t. Which is greater: g or v?
v
Let o(k) = -k**2 + 7*k + 3. Let w be o(7). Is 3 >= w?
True
Let i = -0.08 + -0.02. Let m = 0.2 + -1.2. Let y = m + 6. Which is smaller: i or y?
i
Let i = 0.07 + 7.93. Let o = i - 9. Which is smaller: o or -0.02?
o
Let l = -5 - -8. Suppose l*i + i + 8 = 0. Suppose d - h + 2 = 0, 3*d - 1 = -0*h - 4*h. Are i and d unequal?
True
Let i be ((-4)/610)/((-5)/(-25)). Does -1 = i?
False
Let r = -0.13 - -2.33. Let y = -0.2 + r. Are -0.1 and y non-equal?
True
Let g(m) = 16*m**2 - m. Let u be g(-1). Suppose -u + 2 = 5*k. Is k less than or equal to -4?
False
Let l(b) = b**2 - b - 27. Let o be l(7). Which is smaller: o or 18?
o
Let h = 2 - -1. Let k be -1*(8 - -1)/h. Is -5 at least k?
False
Let z(a) = 2*a**3 + 2*a**2 + a. Let i be z(-1). Is i not equal to -2/45?
True
Let r = 0.01 - 0.91. Let j = -0.4 - r. Let c = 0.5 - j. Is -2/9 bigger than c?
False
Let b = -0.2 - -0.1. Let l = b - -0.7. Is l >= 1?
False
Let k = -12.8 + 2.8. Let c = -10.4 - k. Let g be (2/5)/(3/5). Which is greater: c or g?
g
Let s = 12 + -9. Suppose 1 + s = -4*b. Which is smaller: 5 or b?
b
Suppose -4*g = -4*p + 6 + 58, 6 = -g + 3*p. Which is bigger: -65/3 or g?
g
Suppose -2*t - 18 = 4*b, b + 2*b = 3*t - 9. Which is greater: -3 or b?
-3
Let t = -0.8 - -0.7. Let i = 3 - 7. Let b be (-4)/(-6)*6/i. Is b >= t?
False
Let h = 1632140054 + -84202105388773/51590. Let w = h + -1/1474. Is 0 less than w?
False
Let y be (-13)/3 - 4/(-3). Let c = 0.3 + -0.2. Which is greater: c or y?
c
Let r = -371009/5250 - -3/1750. Suppose 59 = -c - 11. Let w = c - r. Is w at most as big as -0.2?
False
Let k be 1 - 0/(2 + -3). Do k and 3 have the same value?
False
Let y be (-14)/84*(2 + 0). Is -16 >= y?
False
Let h = -8 + 12. Does 4 = h?
True
Let c = -3 + 6. Suppose -5 = -3*x + 2*y, 0*x - x + c*y + 4 = 0. Is x at most 1?
True
Suppose -3*n - 18 = -0*n. Suppose 2*v = -4*d - 2*v - 8, 0 = -5*d + v + 14. Suppose d*t + 0*t = -12. Is t smaller than n?
False
Let f = 17 - 16.93. Let z = f + -4.07. Which is smaller: -2/3 or z?
z
Let k be ((-3)/(-2))/(102/17). Which is bigger: k or 154?
154
Let h = -0.01 + -0.49. Let m = 0.3 + h. Which is smaller: m or 0.1?
m
Let i = 314/3003 + -4/91. Let u = 13/33 - i. Which is greater: -1 or u?
u
Let w = 321 - 205. Is -1 greater than w?
False
Let k = 1.7 + -9.7. Let a = 8.2 - -0.8. Let f = k + a. Which is bigger: -2/3 or f?
f
Let n be (-2 + (0 - -2))/(-1). Let k = 263 - 1833/7. Which is greater: n or k?
k
Suppose 5*y = -20, s - 4*y + 3 = 22. Suppose 0 = -10*i + 5*i - 55. Let d = i + 15. Is d at least s?
True
Let b be 3 - ((-4)/(-2) - -13). Let y = -10 - b. Let c be (3 + -1)/(1 + 1). Which is smaller: c or y?
c
Let v be (-10)/(-11) + 0 + -1. Suppose -4*p = -13 - 11. Let w be 3/p*(3 - 3). Which is bigger: v or w?
w
Suppose 16 = 4*z, -4*s + 4*z = -0*z + 16. Let h be -2*10/5*3/(-6). Which is greater: h or s?
h
Let n be (-2 + 2)/(-2)*1. Let p be 1 - (0 + 2 + -2). Let c = n - p. Are c and -1/4 nonequal?
True
Let j = 798 - 2368/3. Which is bigger: 8 or j?
j
Let p = 2 + -2. Let y be (0/2)/(p + -1). Let m be (2 - 1)*(1 + y). Which is bigger: 2 or m?
2
Suppose -12 = 3*u, -45 = 4*v + 5*u - 9. Let a = 188 + -193. Which is bigger: a or v?
v
Suppose -4*x + 4*i + 72 = 0, -4*i = x - 16 - 27. Is 23 less than x?
False
Let u = -3.9 + -0.1. Let w = -4.2 - u. Which is greater: w or 0?
0
Let b = -1.221 - -1.2. Which is smaller: b or 0?
b
Let y be (-9)/(-6) + (-3)/4. Let q = y - 1/4. Is q >= -4/7?
True
Let i = 0 - -3. Suppose -12 = 3*t - d - i*d, t - 2*d = -6. Let k be 13/(-21) + (-4)/(-14). Are k and t non-equal?
True
Let y be 8/(-28) - 402/(-679). Let k = -2/97 + y. Let d = 1 - 2. Is k at least as big as d?
True
Let z be (4/(-6))/(14/(-84)). Suppose 0 = -q + 4*q + g - 4, z*q - 6 = -g. Let p(f) = f + 5. Let l be p(-3). Are l and q non-equal?
False
Suppose 24 = 2*c + c. Which is bigger: c or 7?
c
Suppose 3 + 12 = -3*h. Let u be (1 + -4*1)/h. Is 0 at most u?
True
Suppose -4*w = -5*x + 3 - 40, -5*w - 3*x = 0. Suppose -n - 11 = w*b, 0*b - 11 = -2*n + 5*b. Let g(d) = -d + 2. Let s be g(n). Is s at most 3?
False
Suppose -g + 75 = -5*n, g = -n + 2*g - 11. Is -15 at most n?
False
Let q be (1 - 0) + (-21)/6. Let i(n) = -n - 7. Let z be i(-3). Which is bigger: q or z?
q
Let f = -1971/2107 - -192505/286552. Let g = 3/136 - f. Let t be 1/3 - 39/63. Is t at least g?
False
Let g = -10 - -12. Which is greater: -0.1 or g?
g
Suppose 2*g - 4 - 10 = 2*f, 3*g + f - 1 = 0. Let q be (-75)/(-35) + g/(-14). Which is greater: q or -12?
q
Let y = -2.03 + -0.37. Are y and 2 equal?
False
Let o be (2/(-4))/(6/(-264)). Let n be (-40)/o - (-4)/(-22). Is -3/4 bigger than n?
True
Let b(t) = -3*t - 3. Let o be b(-2). Let p be 0*1*(o - 2). Which is smaller: 2/11 or p?
p
Let m(o) = o + 1. Let f be m(-1). Let c = -31/4 - -47/6. Which is bigger: f or c?
c
Let g(t) = -t**3 + 3*t**2 - t - 1. Let x be g(2). Suppose -2*n = 3*n. Let u = n - x. Is u >= -1?
True
Let h = 9 - 15. Let r = 6.3 + -0.4. Let w = r + h. Is 3 not equal to w?
True
Let g = -0.51 + 0.51. Is g <= 0?
True
Let u(i) = -5*i - 63. Let l be u(0). Which is bigger: l or -62?
-62
Let f(o) = o**2 + 4*o - 5. Let k be f(-5). Suppose 5*a - 5*c + 33 = -2*c, 0 = -4*a - 3*c - 48. Let g be ((60/a)/2)/4. Is g <= k?
True
Suppose 27 = -3*b - b - 3*l, 3*b = 2*l - 33. Let q = b + 5. Is q bigger than -4?
False
Let x = -2823915683752021/721068214143732 + -6/22346231999. Let z = -1/2689 + x. Let j = z + 11/3. Which is smaller: 1 or j?
j
Let r = 0 + 0. Let c be 1/(-1) + 27/(-2). Let s = 15 + c. Which is greater: r or s?
s
Let d = 40/29 - 118/87. Which is bigger: 1/7 or d?
1/7
Let p be 10/(-12) - (1 - 2). Suppose -4*u = 3*q - 72, 2*q - 52 = -0*u - 4*u. Let m = q + -19. Which is bigger: p or m?
m
Suppose -x = x - 2. Is 1/10 less than x?
True
Let w be 3 + 3/((-12)/8). Is w less than 1/48?
False
Let q be (-2)/(-7) + (-130)/(-35). Let w be (-51)/108 - (-1)/q. Let v = -3 + 4. Is w greater than or equal to v?
False
Suppose -5*h + 55 + 60 = 0. Suppose 2*d - h + 1 = 0. Is 10 >= d?
False
Let t = 70 - 62. Is 0 equal to t?
False
Let o(y) = 2*y - 3 - y**3 - 7*y - 7*y**2 + 6. Let z be o(-6). Let w(v) = v**3 - 8*v**2 + 9*v - 17. Let r be w(7). Is z smaller than r?
False
Let n = -52.14 - -52. Which is smaller: 2 or n?
n
Suppose -72 = -5*q + q. Is q not equal to 18?
False
Let i be -2 - (2 - 1) - -7. Which is greater: i or 3?
i
Suppose 9 = 3*m - 5*x - 8, -2*m = -5*x - 18. Which is greater: -2/9 or m?
-2/9
Let n(z) = z**2 - 7*z - 1. Let r be n(7). Is 0 equal to r?
False
Let l be 2/(-9) + (-29)/(-9) + -3. Let y be 1 - (2 + -1) - -1. Which is smaller: y or l?
l
Let x be (-2)/9 - 2/(-9). Let