 -6.2. Let h = 1 - q. Let w = -0.01 - -1.01. Which is greater: w or h?
w
Let r be 88/5 - 20/(-50). Suppose -3*n = r + 9. Which is smaller: n or -8?
n
Let v(f) = f**3 + 5*f**2 - 5*f + 6. Let n be v(-6). Is -5/7 less than n?
True
Let f(t) = 1 - t + 3*t + t + 4*t. Let h be f(1). Let l = h - 7. Which is smaller: l or 0?
0
Let u be 1918/24 + 9/12. Let b = -80 + u. Which is smaller: -8 or b?
-8
Suppose 0 = 3*q - q - 20. Let a be (1*2)/(1/2). Suppose -u = a*u + q. Which is greater: 0 or u?
0
Let w be (6/(-4))/((-3)/4). Suppose 0 = 6*a - w*a. Is a at most as big as 2?
True
Suppose -17 - 13 = 4*q + 5*v, q - 5*v = 5. Let k(j) = 3*j. Let y be k(-1). Is q < y?
True
Suppose 683 = -2*t - 133. Let b be (-1 - -4)/(t/(-16)). Is b != 0?
True
Let x = -1 - 2. Which is bigger: x or -5?
x
Let s = -0.1 - -0.1. Let d = -131/3 - -43. Which is smaller: d or s?
d
Let o = 262 - 1319/5. Is o smaller than -3?
False
Let s = -151 + 151. Which is greater: s or -1/111?
s
Let i = -1.97 + -1.03. Which is greater: i or -2.2?
-2.2
Let o be (2 - 5/2)*-14. Which is smaller: 5 or o?
5
Let a be (-220)/(-272) + (-2)/(-8)*-3. Let p = -3 - -4. Is a smaller than p?
True
Let t = 271/5 + -54. Let b be (10/6)/((-1)/(-3)). Suppose -6*m + 6 = l - 3*m, b*l - 3*m + 6 = 0. Which is greater: t or l?
t
Let o = -576/7 - -84. Is 3 equal to o?
False
Let l = -0.15 - -0.12. Which is bigger: -2 or l?
l
Let x = -0.22 + -0.08. Let i = -0.1 - x. Suppose 6*h - 5*h + 2 = 0. Is h < i?
True
Let g = -2 + 4. Let x = g - 1. Which is smaller: 0.07 or x?
0.07
Let a = 5/78 + -17/78. Suppose b - i - 8 = -4*i, -4*i + 10 = 2*b. Which is smaller: a or b?
b
Let t = -20 + -33. Is t greater than or equal to -52?
False
Let g = 6/47 + -184/705. Is g at least 1?
False
Let x(g) = -g. Let k(h) = h**2 - 11*h + 7. Let j be k(11). Let l be x(j). Which is smaller: 0 or l?
l
Let d be (-2)/6 + (-2)/(-3). Let g = 4.0424 + 0.0276. Let l = g + -0.07. Which is smaller: l or d?
d
Let z = 0.6 - 0.3. Let q = 0.2 + -0.1. Let r = q - z. Which is bigger: r or -2/7?
r
Suppose -4*j - 99736 = -3*w, 4*w - 144091 = -2*j - 11095. Let m = -2460313/74 + w. Let p = m - 1/37. Is 1 <= p?
False
Let m be 7 - (-2 - (-813)/90). Let c = -1 - 0. Is c <= m?
True
Let o = -1 + -2. Suppose -3*b = 2*n - 4*n + 1, 3*n = -b - 4. Which is greater: o or n?
n
Let v(x) = x**3 - 5*x**2 + 4*x + 1. Let i be v(4). Let y be 10/104 + (-3)/12. Which is smaller: y or i?
y
Suppose -5*i = -i - 5*y - 201, -4*y + 174 = 3*i. Suppose -i = 13*d - 10*d. Is -18 less than or equal to d?
True
Let i = 67 + -68. Which is smaller: i or -3.2?
-3.2
Let f = 13/35 - 309/455. Which is greater: f or -1?
f
Let n = 16 - 13. Suppose -4*s - 27 = -r, 51 = -5*s + r + 18. Let b be 5/s + n/2. Which is bigger: 2 or b?
2
Let q = -6 + 10. Let a be 2*-1 + q + 3. Suppose -a*i = -14 - 6. Is i <= 5?
True
Let t = -36 + 35. Is -2/7 less than t?
False
Let t(m) = -m**2 + 13*m - 12. Let k be t(12). Is k < 6?
True
Let m = -4 + 2. Let r = -3.9 - -2. Let q = r - m. Which is greater: q or 0?
q
Let x = 21 - 17. Which is smaller: 5 or x?
x
Let y = 8 - 3.1. Let j = 1 - -4. Let u = y - j. Which is greater: -2/7 or u?
u
Suppose m - 4*x - 28 = 0, m = 3*m - x - 21. Suppose -6*h + m*h = -2. Is 3/7 bigger than h?
True
Let x be (-16)/6*(3 - -3). Let d = -18 - x. Is -2 at least as big as d?
True
Let r = 261.848 - 261. Let i = r - -0.082. Let f = i - -0.07. Is 3/7 at most f?
True
Suppose 5*h - 4*f + 20 = -5*f, -5*h - 5*f = 20. Suppose -b - 3*b - 20 = 4*c, -5*c - 9 = -3*b. Which is greater: h or c?
c
Let i be -3 + 2*(-1803)/(-1206). Let r = 388/1407 - i. Are r and -2/13 equal?
False
Let f = 0.017 - 2.017. Let v = -10/27 - -304/675. Which is bigger: f or v?
v
Suppose -2*j - 5 = -13. Suppose -2*m - 2*v = -10, 2*v + j = m - 1. Let f(w) = 6*w**2 + w. Let i be f(-1). Is i not equal to m?
False
Let f = -8 - -9. Which is smaller: -1/103 or f?
-1/103
Let x = 29 - 27. Is 20/7 greater than x?
True
Let v = 0.97 - -0.03. Let h = v - 0.86. Is -0.1 <= h?
True
Let w(x) = 56*x. Let k be w(-1). Let a(p) = -8*p + 2. Let q be a(-3). Let z be q/k + 6/(-21). Which is bigger: z or -1?
z
Let s = -42 - -41. Which is greater: -4/7 or s?
-4/7
Let q be 88/14 - 8/28. Let g be 2 - q*(-3)/(-6). Is -5/7 at most g?
False
Let w(l) be the first derivative of -l**3/3 + 2*l**2 + 4. Let o be w(5). Which is greater: -4 or o?
-4
Let j = 0.003 - -0.997. Let c = -4 - -1. Let y = j + c. Which is bigger: -1/2 or y?
-1/2
Let h(i) = -i**2 - 5*i - 6. Let c be h(-4). Let p be c - -22*(-2)/(-21). Which is smaller: -1 or p?
-1
Suppose -6*x + 100 = -x. Let o be (-3)/4 + x/(-48). Which is smaller: -2 or o?
-2
Suppose 0 = 4*h - 3*x + 7*x, 4*x = 4*h. Which is smaller: -0.1 or h?
-0.1
Let q(a) = 6*a. Let f be q(1). Let l = f + -3. Let z be 1/(3*1/l). Which is smaller: z or 1/4?
1/4
Let t(y) = -y**2 + 10. Let a be t(0). Suppose -3*c = 5*v + 17, 3*c - 2 + a = 4*v. Which is bigger: -1/5 or v?
-1/5
Let l(v) = v + 51. Let k be l(-6). Which is greater: k or 46?
46
Let t be (4/(-6))/(-1 - 0). Let c = 11 - 15. Let n be 0 - 3 - (-1 + c). Is n less than t?
False
Suppose 5*j + 5*x = 55, -16 = -6*x + 2*x. Suppose -j = z + 1. Are z and -9 unequal?
True
Let r(h) = -h**3 - 4*h**2 + 6*h + 6. Let c be r(-5). Let b be 5/(-15) + (-3)/(-36). Does b = c?
False
Suppose -4*j - x - 20 = -4*x, 5*j = 4*x - 26. Let v(y) = y**2 + 3*y. Let w be v(-4). Let o be w/(-8) - (-1)/j. Which is smaller: o or 0.1?
o
Let v be (0 - 3) + (-168)/(-70). Which is smaller: v or -1?
-1
Suppose 0 = -h - 0*h - 5*l + 20, -h - 4*l = -16. Is 2 greater than h?
True
Let r = -0.07 + -0.03. Let u be 6*2*6/15. Let v = u + -91/20. Which is greater: r or v?
v
Let q be (0 - (-3)/3)/((-2)/20). Is q != -13?
True
Let t(w) = -7 - w - w - 4 + 3*w. Let y be t(10). Let n be ((-2)/(-10))/(2/(-5)). Which is greater: y or n?
n
Let d = -9.25 - -9. Let n = 0.05 - d. Is n greater than -0.1?
True
Suppose m = 5*m - 8. Suppose -2*n + 14 = -2*i, -m*i - 2 = 2. Which is smaller: 4 or n?
4
Suppose 0*v + 4*v = 4. Let f = -544/403 + 142/31. Let q = -40/13 + f. Is v at most as big as q?
False
Let c = -0.4 + 0.2. Let u = c - -0.2. Let x = 2 - u. Is x at least -0.1?
True
Suppose 5*v + n - 5*n = 42, 4*v - 33 = 3*n. Suppose -6 = 2*h - 4*k, 3*h - 3 + v = 3*k. Which is smaller: 2/13 or h?
2/13
Let g = -3.4 - -7.5. Let l = g + -4. Which is greater: l or -1?
l
Suppose 0 = -5*v + 5 + 15. Suppose 3*t - v*h + 25 = 0, 0*h + 3*h - 9 = -t. Is t at least as big as -3?
True
Suppose -l = r + 6, -9 = -l + 2*r - 0. Let n = 20 - 51. Let i = 187/6 + n. Is i at most l?
False
Let j be (-24)/32*2*13*6. Do -0.1 and j have the same value?
False
Let i be 86/7 - 10/35. Let s be 17824/12*(-1)/i. Let v = 124 + s. Which is smaller: -1 or v?
-1
Suppose -4*w - 1 = c - 7, 0 = -5*w - 5*c. Suppose -8*p + 7 = -17. Is w <= p?
True
Suppose 0 = -2*d + 3 + 1. Let p be d/2 - (-3 - -3). Let w be -1*(p - -1*2). Is w <= -2?
True
Let j(m) = -m**3 - 5*m**2 + 3*m + 5. Let u be j(-6). Is 70/3 at most u?
False
Suppose -c = -2 - 3. Let v = c - 2. Suppose 10 = -v*p + 2*d, -3*p + d - 19 = 2*p. Which is greater: p or -5?
p
Let o be ((-9)/(-6))/(2/4). Let q(u) = -5*u + 4*u + 4*u**3 + o*u**2 + 2 - 5*u**3. Let i be q(3). Which is bigger: 2/9 or i?
2/9
Let a = -2.077 - 0.073. Let w = a - -0.15. Which is greater: 1 or w?
1
Suppose -5*d - 39 = -5*h - d, 4*d = 3*h - 25. Let l = 7 - h. Is 1 at most as big as l?
False
Suppose -s + 4 = -g, s + 4 = -4*s - g. Suppose 0*f - 2*x - 12 = f, -3*f - 4*x = 26. Which is bigger: s or f?
s
Let d = -63 - -443/7. Let t be 16/15 + (-4)/6. Is t != d?
True
Suppose 5*q - 10 = 0, -5*w + 6*q - q + 10 = 0. Suppose -3*c + 12 = -4*d - 11, w*c + 6 = -2*d. Is 2/11 > c?
False
Let a = -10.2 - 2.8. Which is bigger: a or 1?
1
Let z(w) = -w**2 - w + 2. Let n be z(3). Which is bigger: n or -8?
-8
Let o be (-1 - 3) + 2 - 0. Suppose -5*b - 1 = 14. Is b <= o?
True
Let i be (-19)/(-114)*(-8)/(-34). Is 0.1 at most as big as i?
False
Let w = 59 + -58. Let g = -1 - -2. Does g = w?
True
Let i = 2.2 + -2. Let n = -255/4 + 63. Is i at most as big as n?
False
Let j = 0 - -0.1. Let r = -3.6 - -3.7. Is j less than r?
False
Suppose 3*m = m + 8. Let l be m/20 - 4/(-10). Let t = 1 - -1. Is l smaller than t?
True
Let i = 17 - 12. Let q be (-9)/(-15) + (-33)/i. Let a = 2 + q. Which is smaller: -3 or a?
a
Let z = -957/8 - -6796