. Is q >= y?
False
Let b be 4/(-48)*(-16)/13. Let w = b + 3/13. Is w greater than -1?
True
Let b = 62 + -67. Suppose 31 = -4*a + 7. Which is greater: b or a?
b
Let w = 2 + -2. Let l(p) = p**2 - 4*p - 2. Let r be l(0). Which is smaller: w or r?
r
Let a be (-408)/(-160) - 8/10. Which is greater: a or 3?
3
Let k = 9 + 0. Is k < 8?
False
Let g = -35/92 - -3/23. Which is smaller: g or -1?
-1
Let u = -27.3 - -26. Is u smaller than -0.1?
True
Suppose 3*n + 5*o + 45 = 0, n + 3*n + 25 = 5*o. Let u(c) = c**3 + 10*c**2 + 8*c - 20. Let v be u(-9). Is n bigger than v?
True
Let m be 4/14*56/20. Which is greater: 2 or m?
2
Let k = -10 - -4. Let c be (-3)/k + (-10)/(-4). Suppose -o = -3*a - 0*o, -3*a = -c*o. Is -2/9 at most a?
True
Let i(h) = h**3 + 9*h**2 + 9*h + 12. Let t be i(-8). Which is bigger: t or -5?
t
Let s(p) = p**3 + 5*p**2 - 6. Suppose -l - 2*x - 1 = 2*x, -4*l = -3*x + 23. Let y be s(l). Which is greater: y or -8?
y
Let u(x) = x**3 - 2*x**2 - 2. Let h be u(2). Let s be (4/(-6))/(h/18). Are 5 and s nonequal?
True
Let f = -3.9 + -0.1. Let b = 1 - -2. Let y = b + f. Which is greater: y or -3?
y
Let r = 34 + -100/3. Which is bigger: -0.2 or r?
r
Let w be 4/(-10) + 539/35. Is 12 at most as big as w?
True
Let c(v) = v**3 - 6*v**2 + v. Let i be c(6). Suppose 2*b + 2*b = 8. Suppose 0*u = -3*g + b*u - 4, -5*g + i = 3*u. Which is smaller: g or 2/13?
g
Let k be (4/6 - 0)*(83 - -1). Is 56 equal to k?
True
Let l be ((-1)/(-3))/((-7)/21). Is -2/103 != l?
True
Let z = 20 - 23. Which is greater: -4 or z?
z
Let t be -1 - 5*2/(-8). Let u be 54/(-162) + 38/24. Which is greater: t or u?
u
Let p(h) = h**2 - 4*h + 2. Let l be p(6). Suppose c - 4*g + 3*g - 2 = 0, -l = -5*c + g. Suppose 7 + 6 = -4*m + c*u, -3*u - 3 = 0. Are m and -3 equal?
False
Let g be 20/6*(-6)/(-5). Let z be (-55)/15 - g/(-6). Is z smaller than -4?
False
Suppose -2*z + 3*z - 13 = -4*y, 5*z = -15. Suppose -4*u - 15 = 5*m, -5*u = -3*m - m + 29. Let g be (u + y)/((-1)/(-2)). Are -1/2 and g equal?
False
Suppose 21 = -4*r + 5*c, c + 3*c = 20. Is 3/4 bigger than r?
False
Let f = 0 + -3. Let l be -3*(-4)/(-6) - f. Let c be 3/6 - l/2. Is -2/19 at most c?
True
Let z be (9/(-21))/(4/(-2)). Let r(g) = g**2 + 4*g. Let h be r(-4). Which is greater: z or h?
z
Let l = -2 - 2. Let z = 28 - 22. Let f = l + z. Which is smaller: 1/2 or f?
1/2
Let i = -2 + 4. Suppose -i*l - 1 = 1. Let q(g) = g**2 - 3*g + 1. Let m be q(3). Is l > m?
False
Let t = 2 - 2.3. Let y be (-21)/(-2)*2/66. Let v = y - -2/11. Is t at least v?
False
Let i be (-16)/14 - 17/(-119). Let v = 1.3 + -0.5. Let c = v + -1. Which is bigger: c or i?
c
Let q = 54 - 50.7. Let i = q + -1.2. Let n = i - 2. Which is greater: 1/3 or n?
1/3
Let w = 4 + -6. Is 7 equal to w?
False
Let t be -29 - (3 + 3 + -2). Which is greater: -35 or t?
t
Let w = -0.8 + 6.8. Let n = 4 - w. Let u = 46 + -46.2. Is n at least as big as u?
False
Suppose 2*g + 30 = 5*g. Is g > 11?
False
Let h be 56/16*4/(-7). Which is greater: -11/4 or h?
h
Suppose m = 5*z + 2*m, 4*z - 1 = -m. Which is smaller: z or 2?
z
Let w = 18/13 - 49/26. Let j = 24937 - 1870307/75. Let r = 6/25 - j. Do w and r have different values?
True
Let q be (-3*1)/(-27)*439. Let g = 49 - q. Is g > -2?
True
Suppose 0 = -2*i - 3 + 13, -i + 6 = u. Is u at most as big as -0.07?
False
Suppose 4*k + 6 - 2 = 0. Let r = 1 - k. Is r <= 3/4?
False
Let z = -19/36 + 7/9. Let o = -11 - -18. Which is greater: o or z?
o
Let q be (((-2)/2)/(-2))/1. Suppose 18 = -2*w + 54. Let n = -18 + w. Which is smaller: n or q?
n
Let l = -4 - 5. Which is greater: l or -10?
l
Suppose 12 - 9 = c. Is c <= 1?
False
Let p = -32/253 - -5/23. Which is smaller: p or -1?
-1
Let c(d) = -d**2 + 11*d + 11. Let s be c(12). Which is greater: s or 1/7?
1/7
Let v = -3 + 6. Suppose 6 = 5*q - 4. Suppose 2*c - 3*c + q = 0. Which is greater: c or v?
v
Let o(j) = j + 3. Suppose -3*k - g - 5 = 0, -2*k + 2 = -0*k + 2*g. Let t be o(k). Let b = 2893/15 - 193. Which is bigger: b or t?
t
Let s = 2/7 - 1/28. Which is smaller: 1/3 or s?
s
Suppose 2*y - 5*t - 10 = -0*y, 5*y = 2*t + 25. Suppose 3*f + 25 = -2*f - y*a, 4*a + 20 = 0. Is f less than -3/8?
False
Let l(c) = c**2 + 9*c + 4. Let u be l(-9). Suppose -4*f - u*g - 4 = 0, 3*f + 0*g = g + 5. Are 3/11 and f equal?
False
Let s be (-1)/3 + (-552)/(-90). Do 0.2 and s have different values?
True
Let a = -5.9 + 5.8. Let p = 0.6 + -0.68. Let w = -5.08 - p. Which is smaller: a or w?
w
Let d = -34 - -34. Let o = 17/3 + -4. Let x = o + -2. Which is smaller: x or d?
x
Let d = 19 + -17. Do 10/11 and d have different values?
True
Let m = -7 - -5. Are -0.2 and m nonequal?
True
Suppose 16*m = 11*m - 20. Which is bigger: -33/8 or m?
m
Suppose 0 = 4*g + g - 15. Suppose -1 = g*a + 8. Is -3/2 <= a?
False
Suppose 0*o + 8 = 4*o. Suppose l - 20 = -4*v, -2*v = -v - 5*l + 16. Is o >= v?
False
Suppose 24 = 3*v - 7*v. Let l(z) = -z**3 - 7*z**2 - 7*z - 4. Let t be l(v). Let i = 157/12 - 37/3. Is i bigger than t?
False
Let z be 35/(-15) - (0 - 3). Let m = -16 + 16.7. Is z at least m?
False
Let t = 0.03 - -1.97. Let z = 4 + t. Let g = 6 - z. Which is bigger: g or 0.4?
0.4
Let t be (4/10)/(13/5). Let r(d) = 2*d**2 - 4*d**2 - 2 - d + 3*d**2. Let g be r(2). Which is greater: g or t?
t
Suppose -2*j = c - 0*j - 9, 0 = -3*c + 5*j - 28. Let k be -20*(-1)/(6/(-7)). Let h = 764/33 + k. Is h > c?
True
Let d be (6/3 + 1)*4/(-90). Are -0.1 and d non-equal?
True
Let m = 27 + -18. Suppose 0 = 5*r + 2*p + m, -2*r - p = 2*r + 6. Let i be (r/(-4) + 0)*-3. Are -2/7 and i nonequal?
True
Let x be 1 + 155/(-15) + 6/(-9). Which is bigger: x or -11?
x
Let a = -53 + 54.05. Let b = 0.05 - a. Are b and -1 non-equal?
False
Suppose 10 + 0 = 5*h + 5*d, 0 = 5*d. Which is smaller: 4 or h?
h
Suppose -6*m + i = -m - 12, 2*m = 2*i + 8. Let x = 4 + -3. Which is bigger: x or m?
m
Suppose -c + 3*c + 2 = -k, -5*k = 2*c - 14. Suppose 3*o + k = -o. Which is bigger: -5/7 or o?
-5/7
Suppose 0 = 2*v + 2*v - 12. Suppose -v*q = q - 40. Let k = q - 10. Which is greater: 0.06 or k?
0.06
Suppose 22 - 124 = 3*y. Which is smaller: y or -100/3?
y
Let j(x) = x**3 - 2*x**2 + 1. Let i be j(2). Suppose 2*l + i = -3*f, 0*f - 23 = l - 3*f. Let c = -11 - l. Which is smaller: -2 or c?
c
Let l = 73 - 149/2. Let c = -9 + 8. Which is smaller: c or l?
l
Suppose -6 = 4*l - s, s = -4*l + 3*s - 8. Let c be -6*(2/16)/l. Let k(u) = u**3 + 5*u**2 - 6*u + 2. Let i be k(-6). Which is smaller: c or i?
c
Let a = -0.18 - -0.2. Which is smaller: a or 1/3?
a
Suppose -15 = 3*u, q - 4*q = -5*u - 31. Let c be q/(-5) + 9/(-15). Suppose -2*i - 3*i = 0. Which is smaller: c or i?
c
Suppose -5*u + 4*l + 25 = -l, -2*u - 4*l = -10. Is 3 at least as big as u?
False
Let w = 0.1 + -1.3. Let o = -9.4 - -8.4. Which is bigger: w or o?
o
Let j be 6*(10/3 - 3). Let a be 1/3 - j/3. Which is greater: 1 or a?
1
Let n be (1 + -1)/(4 + -2). Is -1 > n?
False
Suppose 2*b + 2*b + 34 = w, -4*w + 8 = 0. Let y(i) = -4*i - 5 - 6*i + 9*i. Let c be y(b). Which is smaller: c or 0?
0
Let g be (0 + -1)/((-1)/(-1)). Let v be (2 - (2 - g))/1. Is -1/31 not equal to v?
True
Let p(o) = o**3 - 6*o**2 + 2*o - 3. Let b be p(6). Suppose 4*i + 1 = b. Suppose -2*t = -i*c, 8 + 4 = 5*c + t. Which is smaller: c or 3?
c
Let q = 1.082 + -0.082. Is q greater than -8/9?
True
Suppose -5*s = -14 - 6. Suppose 0*z = -2*z + 2*x + s, 0 = 3*z + x + 6. Is z less than or equal to -4/3?
False
Suppose 5*a + 8 = o - 17, -3*o = 5*a + 25. Let s be 15 + -2*2/4. Let d be 20/(-28) + (-4)/s. Is d bigger than o?
False
Suppose -b = -11 - 1. Suppose 0 = 2*j - 4*s - 12, 2*j - 4*s + s = 8. Let h be (-21)/b - (-3 - j). Which is smaller: -1 or h?
-1
Let f(s) = s**2 + 12*s - 9. Let v be f(-11). Is v at most as big as -20?
True
Suppose 7*h - 6 = h. Which is smaller: h or -6?
-6
Let g be 6/(-2)*(-1)/(-3). Let f = -90.2 - -90. Is g at most f?
True
Let g be 1/4 + 3/(-12). Suppose -5*k + 3*k + 4 = g. Let r be (-33)/(-36) - k/8. Is 1 at least as big as r?
True
Suppose -3*k + 2*v = -3*v + 91, -k = v + 33. Is k > -32?
False
Suppose 5*p + 3*v + 8 + 19 = 0, -5 = -5*v. Let a = -2 - p. Is 4 > a?
False
Let k = -19/590 - -16013/48380. Let v = -2/41 + k. Let z = 121 - 121. Which is smaller: v or z?
z
Let m = 0.11 + -7.11. Let q = m - -2. Which is smaller: q or -0.1?
q
Suppose z + 4*a - 17 = 0, -7 = z + a - 5*a. Is 3 less 