. Is -2 at most h?
False
Let j be (-15)/(1/(4/6)). Which is greater: j or -11?
j
Let w = -0.14 - -0.07. Let c = 55.67 + -56. Let s = c + w. Is 0.1 <= s?
False
Let x = -2 + 1. Let j be (3 - (-6)/2)*1. Let c be 0 + 0*(-3)/j. Which is greater: c or x?
c
Let f be (1 - (-12)/(-4)*3)/(-2). Which is smaller: f or 26/9?
26/9
Let a(f) = f**2 - 7. Let v be a(0). Let z(t) = t**2 - 14. Let n(u) = u**2 + u - 13. Let h(l) = -6*n(l) + 5*z(l). Let c be h(v). Which is bigger: -1/6 or c?
c
Let i = 3 + -7. Let z = 2 + i. Let y = 2 + z. Which is smaller: -2 or y?
-2
Let n = 5.13 - 0.13. Suppose -3*i = 3*j - 6, -j = -3*i + 3 - 1. Which is bigger: j or n?
n
Suppose 6*a = 30 + 24. Which is greater: 7 or a?
a
Suppose -3*y = -y - 2. Let a(m) = -m - 7. Let d be a(-9). Let w be (2 + -6 + d)*1. Which is bigger: w or y?
y
Let s = -102 - -90. Which is smaller: 6 or s?
s
Let o = 49/8 + -127/24. Which is bigger: o or 2?
2
Let h = -21 + 20. Which is greater: -2/7 or h?
-2/7
Let i be -4 + (52/16 - -1). Which is smaller: -1 or i?
-1
Suppose -2*w - 2 = -0. Let y = 21 - 17. Let b = -3 + y. Which is greater: w or b?
b
Let h = -1 - 2. Let g = h - -4. Which is smaller: 3 or g?
g
Let v(h) = h - 6. Let t be v(6). Which is greater: -9/7 or t?
t
Let w be (-1)/4 - 12/(-64). Which is smaller: w or -1?
-1
Suppose -4 = -5*j + 3*j. Suppose -4*x - 5 = -5*f, 3*x - 2*f + j = -0*x. Which is bigger: 3 or x?
3
Let g(r) = r - 2. Let u be g(2). Suppose u - 5 = -j. Which is smaller: j or 13/3?
13/3
Suppose -2*n - 1 + 3 = s, 4*n = 2*s - 4. Let z(g) = -g**2 - 2*g + 2. Let j be z(-3). Are n and j unequal?
True
Let h be 2 + -1 + 70 - 4. Which is smaller: 66 or h?
66
Let a = -0.28 - 11.72. Let z = a + 11.04. Let n = 0.04 - z. Which is smaller: -3 or n?
-3
Let r be (-456)/(-408) + (1 - 2). Is r smaller than -1?
False
Let g(h) = -h**3 + 11*h**2 - 11*h - 12. Let q be g(9). Suppose 4*v - 3 = -q. Let j = -5 - v. Which is greater: j or 8?
8
Let r = 12.8 - 13. Is r < -0.2?
False
Suppose -3*c - 5*z - 63 = -6*z, 0 = -5*c + 3*z - 101. Is -23 less than or equal to c?
True
Let l = -0.39 + 0.28. Let m = -3/290 + -281/870. Is l >= m?
True
Suppose -4*i = -i - 12. Suppose -2*s - i + 8 = 0. Which is greater: s or 1?
s
Let a be (-3 + 2)*(2 + 9/(-4)). Suppose -f - 4*f = -3*v + 28, 2*f = -10. Which is smaller: a or v?
a
Let f = 0 - -4. Let h = f + 0. Are 0 and h equal?
False
Suppose j = -4*j. Suppose -1 - 7 = -4*x. Let b = x - 0. Which is smaller: b or j?
j
Let l(p) = -p**3 + 6*p**2 - p + 7. Let g be l(6). Let y be (-1 - 0)/(g/(-2)). Let k(a) = a**2 - 22*a - 22. Let f be k(23). Is y >= f?
True
Let u be ((-140)/15)/((-12)/(-2)). Is -3 greater than u?
False
Let m be (63/14)/(1/2). Let d = 2 + m. Is d at most as big as -1?
False
Suppose 12*p - 13*p = 0. Is p < 2/169?
True
Let c = 4 - 2. Let v be ((-2)/(-4))/(c/64). Suppose -5*p = -p + v. Is -5 at least as big as p?
False
Let m = 4 - 2. Is m at most -4?
False
Let a be 1*(-3)/(9/24). Let y = 7 + a. Which is greater: y or -0.1?
-0.1
Let p = 0.6 - 0.6. Let h = -0.9 + p. Let m = -0.8 - h. Is -2/17 < m?
True
Suppose 0 = -2*c - 12*c - 14. Which is smaller: 2/67 or c?
c
Let o = -128/3 - -42. Suppose -4*i = -5*i - 1. Which is smaller: i or o?
i
Let j = -27 + 28. Suppose 0 = u - 2*h - j, -2*h + 4*h = 4*u - 4. Is -1/5 < u?
True
Let d be (4/(-4) - -1)/1. Is d > 6/17?
False
Suppose 9*g = 11*g. Suppose 0 = -2*m - 2*m. Is g less than or equal to m?
True
Suppose 4*w + 0*w = 3*d - 30, w = d - 7. Let v = w + 16. Is 8 smaller than v?
False
Let q = -2 - -22. Let y be (-34)/40 - 8/q. Which is smaller: y or -1?
y
Let d(n) = -n**2 + 8*n + 1. Let a be d(7). Suppose a = -5*p - 7. Which is bigger: -7/2 or p?
p
Let y = 5067 + -34589/7. Let z = 151 - 25. Let n = y - z. Is n >= 4?
False
Let p = -68 + 69. Is -1/50 >= p?
False
Let i = 1 + -8. Let l = -7 - i. Let y = -1/118 - -713/590. Is y greater than or equal to l?
True
Let z = 12 - 2. Let h = 2 + z. Which is smaller: h or 0.1?
0.1
Let i = 3.1 - 3.1. Is i at most as big as -7/4?
False
Let m(b) = -2*b**2 - 20*b - 19. Let o be m(-9). Is o less than or equal to -4?
False
Let q = 187 + -1305/7. Let a = -3 + 4. Which is bigger: a or q?
a
Let c = -9 + 5. Let v = c + 6. Suppose 0 = a - 5 + v. Is a greater than 2?
True
Let g = 0.1 + 0. Let u = 1.35 + 0.05. Let d = u + -1.2. Which is greater: g or d?
d
Suppose 0 = -4*m + 4. Suppose 3*i - m + 4 = 0. Is i less than or equal to -1/8?
True
Let r be (3/4)/(10/8). Let i(a) = 8*a - 38. Let v be i(5). Which is greater: r or v?
v
Let f be 4/(-10)*(10 - 5). Let m = f + 0. Which is bigger: m or -3/5?
-3/5
Suppose -3*g = -g - 4. Suppose g*w + 1 = -1. Is w smaller than 2/5?
True
Let h(c) = -c**2 - c - 1. Let p(q) = q - 2. Let d be p(2). Let u be h(d). Which is smaller: u or -10/7?
-10/7
Let q(d) = d**2 - 2. Let m be q(-2). Suppose -3*k + k = m, -3*l - 18 = -3*k. Let n be l/(-9)*6/(-21). Which is smaller: n or 0?
n
Let t = -29 - -49. Suppose -5*r = 3*x - 8*x + t, 5*x = 2*r + 11. Is 3 greater than or equal to x?
True
Let s = -9 + 8. Which is greater: s or -3?
s
Let q(o) = o**3 + 3*o**2 - 6*o - 6. Let y be q(-4). Let i(l) = -l**2 + 4*l - 2. Let k be i(4). Let h = k - -3. Which is greater: y or h?
y
Let i = 6 + -5. Let m = i + -3. Is -2 not equal to m?
False
Let n(y) = y**2 - 5*y - 9. Let p be n(7). Let w = p + -6. Which is smaller: w or -2?
-2
Suppose -5*l - 15 = 0, 0 = 3*i - 2*l + 4*l. Let d be (3/i - 1)*0. Is 0.1 <= d?
False
Suppose g + 10 = 4*p, 9*g + 2*p - 2 = 8*g. Do -13/10 and g have the same value?
False
Let n(z) be the first derivative of -z**2/2 + 6*z - 1. Let v(w) = w - 5. Let c(y) = 3*n(y) + 4*v(y). Let u be c(3). Is 0 at least as big as u?
False
Let a = 42 - 124/3. Which is bigger: 0 or a?
a
Let s(i) = -2*i - 1. Let o be s(4). Let f = o + 5. Let u = f + 4. Which is greater: u or -3?
u
Let c = -23082082/55 - -419687. Let l = 63/5 - c. Which is smaller: l or 2/7?
l
Suppose -8*a = -6*a + 2. Which is greater: a or -4?
a
Suppose 3*i + 275 = -2*i. Is -56 at most i?
True
Let a = 2 - -3. Let f = 2.187 + -0.187. Is a smaller than f?
False
Let o = 436/45 + -80/9. Is -0.1 less than o?
True
Suppose 3*f = f + 20. Is 10 greater than or equal to f?
True
Suppose -5*l + 18 = q, -l - l = -2*q. Let x be 3*1/q + 0. Let v be 2/4*(1 + -3). Which is greater: x or v?
x
Let o = -160/9 + 703/36. Which is smaller: 2 or o?
o
Suppose 5*o = -3*i + 2*o + 3, 4*i - 5*o = 13. Is i > -13?
True
Let y = 12 - 34/3. Let k = -178/15 + 12. Is k <= y?
True
Let p = 12/7 + -22/21. Is -1/3 > p?
False
Let f = 1.1 - 0.1. Let s = 2 - f. Is 0.3 less than s?
True
Let y = 15/4 + -45/4. Which is bigger: -7 or y?
-7
Let u = -20.8 - -7.1. Let w = -15 - u. Let b = -8.3 - w. Which is greater: 1 or b?
1
Suppose 0 = -0*s + s + 110. Let c = s - -552/5. Let n be (0 - -1)*(1 - 4). Is c at most as big as n?
False
Suppose -4*b + 12 = 4. Is b smaller than 6/7?
False
Suppose 0 = 3*w - 0*w + 18. Let v be 33/w + 2/(-4). Let r be v/21 - (-29)/28. Is r at most as big as 0?
False
Let w be 2*4/32 - 0. Which is smaller: -1 or w?
-1
Let w = 858 + -1653/2. Let v = -32 + w. Which is bigger: -2 or v?
v
Let t be 3/(-15)*(28 + -18). Suppose -5*a = 2*j + 5, 4*j + 0*j + 4 = -4*a. Which is smaller: a or t?
t
Let r = -68 - -68. Is -3/17 >= r?
False
Let c(b) = 5 + b**3 + 1 + 3*b**2 + 3*b**2. Let l be c(-6). Which is bigger: 7 or l?
7
Let x(j) = -j**3 - 3*j**2 + 2*j + 2. Let a be x(-3). Let q be 0/2*a/(-8). Is 3/16 at least q?
True
Let s = 1612/145 + -111/10. Which is smaller: s or -1?
-1
Let h(y) = y + 8. Let f be h(-6). Suppose 0 = k + f*k - 9. Let a = k + -3. Is 0 > a?
False
Suppose 0 = -0*k - 4*k + 20. Suppose 0 = -k*p - y + 32, 3*p - 5*y = 5 + 3. Let m be (14/4)/((-5)/(-10)). Are m and p unequal?
True
Let o = 2 - -1. Let c = o - 3.2. Is 0 at least c?
True
Let k(j) be the second derivative of j**3/6 + 3*j**2 - 2*j. Let m be k(-5). Is -1 greater than or equal to m?
False
Let o = 32 + -31.8. Are o and 0 equal?
False
Suppose -6 - 4 = -2*d. Let g = 8 + -2. Which is smaller: g or d?
d
Let n(u) = -u**2 + 4*u + 5. Let d be n(5). Let i = 0.3 + 0. Let b = i + -0.4. Is d at least as big as b?
True
Let p = -0.96 - -32.96. Which is smaller: 2/7 or p?
2/7
Let r be 0 + (0 - -2)*1. Let x(n) = -n + 3. Let u be x(0). Is u >= r?
True
Let w(i) = i**3 - 4*i**2 - 5*i + 5. Let a be w(5). Suppose a*t = 4*t. Is 2 at