.2. Let z = -0.0863 - 0.4137. Which is smaller: z or o?
z
Suppose 0 = 3*t + t - 5*v - 38, 4*v = 3*t - 29. Suppose 2*a - 5 = 7. Which is greater: t or a?
t
Let t = -0.1 - 0. Suppose -3*p + 2*p + 9 = 0. Let d = 6 - p. Which is smaller: d or t?
d
Suppose 7*p + 3*t = 4*p + 15, -15 = 5*p - 5*t. Is p greater than -1/18?
True
Suppose -5*f = w - 17, 3*w + 0*w - 2*f - 17 = 0. Let l be 2 - 1 - (-4 + -1). Which is bigger: w or l?
w
Let z be (-8)/(-14) - (-474)/(-21). Is -23 greater than z?
False
Suppose -5*c = -2*x + 1, c + 0*x + 3*x = 10. Suppose 0 = -0*k + 5*k. Let g = c + k. Is g smaller than -1/5?
False
Let r = -31 + 20. Which is bigger: r or -12?
r
Let z = -148.4 - -150.4. Let b = -5 - -13. Let n = -23/3 + b. Is n bigger than z?
False
Let a = -4 + 13. Let c(z) = z**3 - 8*z**2 - 9*z. Let p be c(a). Is p less than -4/7?
False
Let h = 2873/210 + -41/3. Which is smaller: h or 1?
h
Suppose 0 = -0*f - 5*f + 4*b + 20, -4*f - 2*b - 10 = 0. Which is bigger: 2/5 or f?
2/5
Let c = -0.09 - 0.41. Let g = -0.4 - c. Let t = 8 - 11. Which is greater: t or g?
g
Let t = 2 + -2. Let a be 0 + -3 + 3 + -1. Let c be (-93)/87 - a - t. Do 1 and c have the same value?
False
Let a(t) = -t**3 + 5*t**2 + 11*t + 20. Let s be a(7). Which is greater: 1/243 or s?
1/243
Suppose -10*f + 31 = 91. Let v(p) = p**3 + 2*p**2 - 2*p + 4. Let i be v(-3). Let y be (-6 - (-1 + 2))*i. Which is greater: f or y?
f
Let l(z) = z**2 + 5*z + 1. Let a be l(-5). Let o be (-2)/(-14)*(a - -2). Suppose -4*n + n = -6*n. Do n and o have the same value?
False
Suppose -2*t = 11 - 7. Which is smaller: t or -16/7?
-16/7
Let t = -16 - -16.3. Is t at least -0.3?
True
Let v be 24/14 + 2/7. Let y(h) = -h - 8. Let j be y(-10). Is j not equal to v?
False
Let y be 3 + (3 - (0 - -6)). Suppose y*k = -4*k + 20. Is 4 bigger than k?
False
Suppose 2*h = -2*b, 10 = -3*h + b - 2. Is h greater than -5/2?
False
Suppose -6 = -2*r - 0. Let k = 3 + -1. Is r at least as big as k?
True
Let r(m) = 3 + 2*m + m**2 - 7 - 4*m. Let u be r(3). Suppose -5*g + 0*g = 0. Which is smaller: u or g?
u
Let y = -58 - -47. Is -11 bigger than y?
False
Let s be 2/(-5) - (-814)/935. Which is smaller: s or 0?
0
Let n = 4 + -10. Let b be (4/n)/(12/(-342)). Is b < 20?
True
Let u = 166 + -260. Which is smaller: u or 1/3?
u
Let k be (-402)/(-18) + 2/(-6). Let g = k + -21. Which is smaller: 1/23 or g?
1/23
Suppose 0*b + 12 = -2*b. Is b greater than or equal to -3?
False
Suppose 4*z + 18 = 2. Let i = -1 - z. Suppose i*y = y. Is y bigger than -1?
True
Suppose -4 = -4*r - 4*z - 40, -4*r - 3*z - 39 = 0. Let v be (-6)/4 - 9/r. Let q = v + 1/2. Which is greater: 1 or q?
1
Let j = 8 + -17. Let k be 0/(-1) + (-2)/j. Let m = 1 - 2. Are k and m non-equal?
True
Suppose -5*a = p - 225, a - 61 = 2*p + p. Let b be (-2)/8 + a/216. Let x = 19/27 + b. Is x at most 3/4?
True
Let v = -54 - -51. Is v bigger than -3?
False
Let h = -9 + 8. Is 1 < h?
False
Let j = -1.2 - -7.2. Let u = j - 4. Which is smaller: u or 0?
0
Let m(r) = -r**2 - 13*r - 31. Let o be m(-10). Are o and 2/61 nonequal?
True
Let a = 125 - 873/7. Is 69/2 greater than or equal to a?
True
Suppose 3*w + 16 = -a, 2*a - w - 18 = 3*w. Let b be 16/(-14)*a/4. Let y = 518/5 + -104. Which is bigger: y or b?
b
Suppose -2*s + 19 = 63. Is -21 at most as big as s?
False
Let v = -0.67 - 0.03. Let z = -6/19 - -43/76. Is v not equal to z?
True
Let x = 11/3 - 7/3. Let i = -821 + 4915/6. Let b = x + i. Is b <= -1?
False
Let g(u) = u**2 - u + 1. Let s be g(2). Suppose s*a + 5*i = a + 19, 5*a - 5*i = -5. Suppose z = -5*d - 25, -5*z + 2*z - 3*d - 15 = 0. Which is greater: a or z?
a
Let w = -0.5 + 0.3. Let l = -9 - -29. Let k = 21 - l. Which is smaller: k or w?
w
Suppose u + 5 = 4. Let d = -1684/77 + 250/11. Which is smaller: d or u?
u
Suppose 4*f = -3*c + 14, 2*c - f - 36 = 3*f. Is 6 bigger than c?
False
Let s = -1 + 1. Let x = 39 - 42.8. Let k = x + 0.8. Is k less than s?
True
Let k(a) = -a**3 + 6*a**2 + 10*a - 15. Let c be k(7). Is 5 at least c?
False
Let k = -4 + 0. Let p = k - -3. Let l be 1*(-1)/p*2. Which is bigger: l or 0?
l
Suppose 17*h = 13*h + 304. Which is bigger: -2/3 or h?
h
Let o = -10 + 18. Suppose 0 = 2*m + 2*m + o. Is m bigger than -1/2?
False
Let s be ((-4)/12)/((-1)/9). Let d be (s/9)/((-2)/(-18)). Suppose -3*o = -3*n + 4 - 10, d = -2*o - 5*n. Is 2/7 less than or equal to o?
True
Let b = -5 - -12. Let y be b/21*1*-3. Let c be (y - -1)/(1 + 1). Which is smaller: c or 7/5?
c
Suppose -13*k + 3*k + 60 = 0. Which is smaller: k or -4?
-4
Let r be 4 + -3 + -3 + -15. Is r less than or equal to 1?
True
Suppose -2*k = -5*h + k - 87, 17 = -h + k. Are -17 and h non-equal?
True
Let r = 202/3 - 68. Let t = -19 - -17. Is t <= r?
True
Suppose 0 = 4*i - 11 + 31. Let f(m) = m + 6 - 2 - 1. Let y be f(i). Are y and 2 equal?
False
Let a = 30 + -54. Let h be (2 - -72)*(-4)/a. Let t = -12 + h. Is t greater than 8?
False
Let p = -49 + 49.1. Is 4 smaller than p?
False
Let k = 0.057 - 6.457. Let d = 8.48 + k. Let x = d + -0.08. Is -0.2 <= x?
True
Let r = -24 + 8. Let z = 4 + r. Which is greater: -13 or z?
z
Let z(r) = -r**2 + 9*r - 10. Let s be z(4). Which is smaller: 11 or s?
s
Let y = -4.6 - 1.4. Let z = y - -6. Which is bigger: 1/3 or z?
1/3
Let a(z) = -6*z**2 + 4*z**2 - 13 + 3*z**3 - 4*z**3 + 3*z**2. Let j be a(0). Is j at least -12?
False
Let y = 15146/33 - 459. Is -1 < y?
True
Let s be 12/(-135) + 2/10. Let k(z) = z**3 - z**2 - 2*z. Let c be k(2). Is c at least as big as s?
False
Suppose 0 = -5*k - 20, -4*k + 0*k - 4 = -3*l. Let u be (l/30)/((-2)/(-6)). Let j = 1 - 0.9. Which is bigger: u or j?
j
Let t(r) = r + 7. Let k be t(-9). Are k and -4/5 nonequal?
True
Let z be -4 + (0 + 3)/(-1). Let o = z + 5. Is o greater than -2?
False
Suppose -15*t + 12*t - 36 = 0. Which is bigger: t or -14?
t
Let u = -1.08 + 0.08. Let b = u - -1. Let f = 0 - 0. Is b at least f?
True
Let g be 0*(0 + 3/(-6)). Let z be (4/(-8))/((-10)/4). Is z bigger than g?
True
Suppose 2 + 4 = -d + 4*u, 2*u - 30 = 2*d. Let v = d - -37/2. Is 2/5 at least as big as v?
False
Let l = 2 - -4. Suppose -5*c + l = -2*c. Let v be (c/(-6))/(2/(-6)). Which is smaller: -1 or v?
-1
Let h = -206 - -1850/9. Let x(q) = -q**2 + 5*q - 1. Let d be x(5). Is h smaller than d?
False
Suppose 0 = -2*s + 6*s - 60. Suppose -3*m = -6*m + s. Let i = m + -5. Which is greater: i or 2?
2
Let g be 2*(2/6 + (-1683)/4806). Is 0 at most g?
False
Suppose 499 = 5*k + 69. Let o be (-4656)/27*(-2)/(-4). Let a = o + k. Which is smaller: a or 1?
a
Let a = -4 + 1. Let r be 476/(-153) - (1 + a). Which is smaller: r or -2/5?
r
Let p = 125 + -119. Suppose 0 = -0*t - 4*t + 20. Is p greater than t?
True
Let w = -16/63 - -1/9. Which is smaller: 8 or w?
w
Let o be ((-3)/(-21))/((-1)/(-2)). Let f(s) = -4*s - 3*s**3 - 1 - 3*s**2 + 2*s + 2*s**3. Let l be f(-1). Which is smaller: o or l?
l
Let k = 0.65 + -11.65. Which is smaller: 0.1 or k?
k
Let q = 17 + -17. Which is bigger: -2/11 or q?
q
Suppose 5*m = 0, 2*m = -5*i + 3*m - 5. Let p = -233/330 - 7/55. Which is bigger: i or p?
p
Suppose 79 = 8*r - 321. Is 48 greater than r?
False
Let v = -14 + 7. Let y(o) = -o**2 + o. Let k(d) = -d**3 - 5*d**2 - 3*d - 3. Let l(n) = k(n) + 2*y(n). Let w be l(v). Which is smaller: w or 3?
3
Suppose 2*v + 10 = 0, -3*g + 8*g - 4*v - 75 = 0. Are g and 16 equal?
False
Suppose 86 - 18 = 4*n. Suppose n + 1 = 2*w + 5*g, 14 = 5*w - 3*g. Let t(x) = x**2 - 5*x + 3. Let d be t(w). Which is greater: 2 or d?
2
Let z be (2 + (-12)/5)*-15. Let q be (z/(-25))/((-30)/(-100)). Are 0 and q unequal?
True
Suppose 3*j = -5*h - 0 + 1, -5*j - 9 = 3*h. Suppose -3 = -h*y - 5. Let x = -469 - -7971/17. Which is bigger: y or x?
x
Suppose 0 = -v + 4*v. Let a be -1 - -2 - (-2 - v). Let h be 1 + 2 + -3 - -2. Is h greater than or equal to a?
False
Suppose -2*x + 5*d = -0*x + 11, 4*x - 3*d = -29. Suppose 6 = -5*b + 2*b, -i + b - 6 = 0. Is i > x?
False
Let u = 7 - 3. Suppose -f = -v + 5, u*f = 2*v + 8*f + 20. Suppose -3*w + 0*w + 10 = 5*i, -2*w + 13 = -3*i. Which is smaller: v or i?
i
Let a be -76 - 5/((-140)/8). Let w = a + 76. Which is smaller: 1 or w?
w
Suppose 4*d - 2 = g + 2*d, -2 = -2*g - 2*d. Let f = -3/2201 - -46335/83638. Let v = 1/19 - f. Do v and g have the same value?
False
Suppose -4*n = 2*p + p - 101, 5*p - 115 = 4*n. Let g = p + -9. Let r be -3 + 112/g + -3.