-3.174. Let h = -3 - i. Let z = 1.1 - h. Which is smaller: 1/2 or z?
1/2
Let d be 3/6*-3 - -1. Which is smaller: 2 or d?
d
Let m = -0.4 + 0.3. Let s = m + 0. Let w = s + 0.2. Which is bigger: 2/9 or w?
2/9
Let s = 119 - 118. Let c = -7 + 1. Let m(y) = -y**2 - 5*y + 6. Let x be m(c). Is x >= s?
False
Let n = -69 - -68. Let l = 358/7 - 52. Is n less than l?
True
Let m(i) = i**2 + 2*i + 1. Let c be m(-3). Suppose -2*u + c*g - 5 = -g, 0 = -u + 2*g - 2. Let y = 7 - 3. Which is smaller: u or y?
u
Let d = 30 + -31. Which is smaller: 5 or d?
d
Let i = 6597361/1000 - -17691/250. Let z = 6628 - i. Let a = 40 + z. Which is smaller: a or -1?
-1
Let v = -0.01 - -0.11. Which is greater: -2 or v?
v
Let c be 8/5 + -2 + 0. Suppose -21 + 1 = -5*t. Let s be (-2)/t - 6/4. Do c and s have the same value?
False
Let j = -699 + 1281/2. Let z = j + 57. Which is bigger: z or 1?
1
Suppose 5*o - 10 = -5*j, 3 - 19 = o - 5*j. Let n be o*(3 + -3)/3. Is n smaller than -1/41?
False
Let a = -0.54 - -0.56. Is a bigger than 1?
False
Let y(m) = -2*m + 19. Let k be y(10). Which is greater: 2/5 or k?
2/5
Let y = -405 + 404. Suppose -7 = -2*k + 5. Suppose k + 3 = 3*s. Is y < s?
True
Let n be 2*7/22 + -1. Suppose 2*v + 3*u = 3*v - 21, 2*u = 5*v - 144. Let o be 28/182 + v/(-26). Which is greater: n or o?
n
Let j = -0.06 - -0.06. Which is greater: j or 12?
12
Let s = -306 + 11326/37. Is s > 0?
True
Let k = -0.8 + 0.2. Let m = -3.6 - k. Let i be (-4)/(-1) - ((-17)/(-3) - 2). Do m and i have different values?
True
Let s = 1 + -0.93. Which is smaller: s or 1?
s
Let n = 1 + 2. Let h be 1/(-3)*n*1. Is h >= 3/11?
False
Suppose 60 - 228 = -14*f. Do -6/11 and f have the same value?
False
Suppose 5 = 2*p - m - 6, -3*p + 2*m = -18. Suppose -2*y + p*y + 35 = 5*b, 0 = 5*b - 25. Is y greater than -5?
False
Let p = 32 + -34.6. Let o = p - 0.4. Let r = -1 - o. Which is smaller: r or -0.1?
-0.1
Let m be 2/2 - 4/2. Let d = m + 5. Let a be -2 + 1 + d + -6. Is -1 at most a?
False
Let m = -1975/13 + 152. Let k = m + 9/52. Let l = 0.2 + 0.8. Are k and l equal?
False
Let r = -26 + 28. Let m = -9/112 + 15/16. Do r and m have the same value?
False
Let n(f) = f**2 + 11*f + 2. Let j be n(-11). Suppose m + 2 = d, j = 4*d + 2*m - 3*m. Suppose d*a = -3*a. Which is smaller: 2/19 or a?
a
Let u = 4 + -4. Let a = -884/7 - -126. Is u bigger than a?
True
Let z = 2 + 2. Let t = -75 - -527/7. Which is smaller: t or z?
t
Let v = -0.02 + 3.02. Let y = v - 3.4. Let p = -0.6 + y. Is -0.4 smaller than p?
False
Let k be 16/(-40) + 44/10. Suppose 2*z + 10 = 0, c + z + k = -z. Is c at most 6?
True
Suppose -3*p - 5*j = 0, 3*p = 2*j + 3*j + 30. Is p at least 12?
False
Suppose 0 = -3*o + 3*j - 7*j + 3, 0 = -2*o + 4*j + 22. Suppose -6*u = -u - o. Which is greater: u or 2?
2
Let x(p) = -p - 10. Let y be x(-9). Let a be (-303)/111*2/18. Let v = 3/37 + a. Is y at most as big as v?
True
Let j = 17.4 - 17. Let k = 0.3 - j. Which is smaller: -0.5 or k?
-0.5
Let d be (-4)/28 - 16/(-14). Does -2/5 = d?
False
Suppose 4*r + r + 29 = -4*v, 5*v = -3*r - 7. Which is bigger: r or -8?
-8
Let n(g) = -2*g**2 + g - 2. Let j be n(-2). Let o be ((-4)/6)/(80/j). Which is smaller: o or -2/3?
-2/3
Let m(w) = w + 3. Let l = -24 - -21. Let b be m(l). Which is greater: b or -2?
b
Let j = -72 - -73. Is -1/20 at most j?
True
Let r(c) = -3*c**3 + 2*c**2 - 2*c + 1. Let g(t) = t**3 - 6*t**2 + 1. Let w be g(6). Let k be r(w). Let u(i) = -2*i + 1. Let z be u(2). Are z and k non-equal?
True
Suppose 3*u = -u + 28. Let t = u + -5. Which is smaller: 1 or t?
1
Let s(n) = -n**3 + 7*n**2 - 5*n - 5. Let g be s(6). Let o be 1/((g + 2)/(-3)). Which is bigger: o or -1/2?
-1/2
Suppose -3*x = -5*x + 52. Let h = 2105 - 12473/6. Let w = h - x. Is 1 at least w?
True
Let t = 5 - 2. Suppose 5*s + 18 = t*m, -4*m + s = 5*s + 8. Is 0.1 bigger than m?
False
Let f be (-2)/(-3) - (-5)/(-3). Let x be (-1 - f)*(-6)/(-12). Is x at most as big as 2?
True
Let x(r) = r**2 + 5. Let l be 0/((-3)/6*2). Let d be x(l). Suppose p - d = -0*p. Is 5 greater than or equal to p?
True
Let o = -6 + 6.16. Let m = 0.84 + o. Which is greater: 0.1 or m?
m
Let n = 41.2 - 41. Let c = 1.1 + -1.9. Let d = n - c. Is d not equal to -0.01?
True
Let c = 0.89 - -0.21. Let q = c + -0.4. Let u = 0.8 - q. Which is smaller: u or 1/4?
u
Let m = -21 - -21. Suppose 0 = -5*n - m*n + 35. Which is smaller: 2 or n?
2
Let y(l) = -4*l - 1. Let q be y(2). Let t be (-4)/26 - q/(-26). Is 0 >= t?
True
Let u = -2 - -14. Let w be (-3)/u + 3/(-4). Let p be (-2 - -2)/(-2 - -3). Do p and w have different values?
True
Suppose -3*w + w - 14 = 0. Is w greater than -9?
True
Let l = -22/7 - -211/56. Which is bigger: l or 1?
1
Suppose 0 = -5*c - 2*r + r + 597, 3*c = -r + 359. Let k = 597/5 - c. Is k < -1?
False
Let s = 0.06 + 0.14. Is 0.2 >= s?
True
Let o(p) = -p**3 + p + 1. Let a be o(0). Suppose -s = z - 6, -2*s + a = -s. Is 4 equal to z?
False
Let k = 4.7 + 0.3. Which is smaller: k or -0.4?
-0.4
Let i = -3.4 + 3.53. Which is greater: -0.1 or i?
i
Let r be (-1)/(-4) + 744/(-672). Let l = 0 + -0.1. Is r equal to l?
False
Suppose 3*o = o. Suppose 0 = -3*y + 2*f - f + 1, -2*y + f + 1 = o. Let l be (-3)/4 + 8/(-32). Which is smaller: y or l?
l
Suppose h = -1 - 3. Let f = h + 7. Let z be 2/5 + (3 - f). Is z at least 0.1?
True
Let y be 8/28*1/(-58). Let f = -4/29 + y. Are 0 and f equal?
False
Let f = 0.28 + -0.28. Is f bigger than -7?
True
Let h = 827/3 - 236. Let w = 41 - h. Suppose 0*z = -2*z. Which is smaller: w or z?
z
Let n(y) = -y + 13. Let g be n(11). Let a be (2 + 1/(-1))*0. Suppose -g = -a*b + b. Do -0.2 and b have the same value?
False
Let t = 68 + -206/3. Suppose -2 - 2 = 4*m. Let s = 1 + m. Is s less than or equal to t?
False
Let k = -4 + 4. Let x = 33233/2964 - 599/52. Let i = 1/38 - x. Does i = k?
False
Let b = 59 - 57. Is 13/7 less than b?
True
Suppose 2*w + 6 = -4*i + 20, -4*i - 1 = -w. Let u(p) = 4*p**2 - p + 1. Let x be u(i). Is 5 <= x?
False
Let m = -18.8 - -18.9. Is m greater than or equal to 15?
False
Suppose -3*u - h = -7, u + 0*h + 1 = -h. Let v be (-2)/(-8) + (-1)/u. Which is greater: v or 3/5?
3/5
Let y be (-6)/(-15) - 99/60. Let z = 0.08 + 0.92. Are y and z nonequal?
True
Let z = 0.7 - 0.1. Do z and 2/3 have different values?
True
Suppose 4*b = 3*x - 18, 2*x + b + 2*b + 5 = 0. Suppose -2*c + 17 = -5*p, 2*p = x*c + 2*c - 10. Is -2 smaller than p?
False
Let x = -105/218 - 2/109. Let k = -1/6 + x. Let g be (-1 - 2) + 2/1. Is k != g?
True
Let d = -0.02 - 0.08. Suppose -18 = -4*f - 6. Which is greater: f or d?
f
Suppose -8*y = -6*y - 4. Suppose 8 = -5*i - y. Which is bigger: 2 or i?
2
Suppose l - 62 = -l. Let u be -2 + 3 + l/(-33). Is -1 at most u?
True
Let b be (2/2)/((-3)/(-15)). Let m(t) = 22*t**2 + t. Let v be m(-1). Let j be 66/v - 4/28. Which is smaller: j or b?
j
Let y = 680/11 - 62. Which is smaller: 0 or y?
y
Let v = 403/7 + -2316/35. Let g = v - -44/5. Does g = -1/3?
False
Let m = 16 + -15. Is m >= -2/49?
True
Let l(n) = -n + 3. Let x be l(4). Let u = -84 - -45. Let m = u + 235/6. Which is smaller: x or m?
x
Let o be (-1)/(-2)*(5 + 7). Does o = 17/3?
False
Let w = -1760/7 - -252. Which is greater: w or 2?
2
Suppose -n = -5*n. Let k = n - -5. Let o be (-1)/((-1)/2) - -2. Is o greater than k?
False
Let v = 2.5 + 0.7. Let s = 3 - v. Let x = -0.1 + -0.9. Which is smaller: x or s?
x
Suppose -3*f - 17 = -4*h, -h = f + 1 - 0. Let i(m) = m + 1. Let z be i(-7). Let o be 4/f - z/9. Which is bigger: o or -1?
o
Let g = 65 + -547/7. Is g at most as big as -13?
True
Let v = 192/2813 - 20/97. Is 1 < v?
False
Let g = 18 + -17. Which is smaller: g or 2?
g
Suppose 3*d + 6 = 4*a, 5*a - 11 = 2*d - 0*d. Let q(x) = -x**3 + x**2 + 3*x + 3. Let y be q(a). Is -7 greater than y?
False
Let f = -0.1 + 0.02. Are 2 and f unequal?
True
Let r = 0.21 + -11.21. Let z = r - -15. Let w = 0.1 - 0. Is z less than w?
False
Let v = -36 - -35. Let n be 4/10 - (-46)/(-40). Which is smaller: n or v?
v
Let i = 0.04 - -0.76. Let h = 0.2 + i. Let q = 3.2 + -3. Is q greater than or equal to h?
False
Let h be 34/5 - 4/(-20). Let u = 6 - h. Do u and 1 have different values?
True
Let y be 2/(-1*(-6)/(-15)). Let h = y + 5. Suppose -4*m + h = -4. Which is greater: -1 or m?
m
Let s be (-4)/(-12)*0*1. Is -2/17 <= s?
True
Let l be 12/18 - 4/6. Suppose u + 2*t - t - 2 = l