= 9.092 + -0.092. Suppose 3*h + 0*i = 3*i - 6, 0 = h + 2*i + 8. Which is bigger: n or h?
n
Suppose 5*n = -2*p + 16, -2*n - 3*p + 11 = -n. Suppose -3*s - n*s = 0. Let q = 576/1967 + -2/281. Is q smaller than s?
False
Suppose -5*l - 123 = 2*v, 0 = l + 4*l + 5*v + 135. Let d = 25 + l. Let x = -7 + 6.7. Which is greater: x or d?
d
Suppose 0 = -27*s + 1 - 1. Is s greater than or equal to -11/9?
True
Let u = -807 + 804. Is u less than or equal to -3/10?
True
Let q be 3 + (6 - 0/(-2)). Let x = q - 13. Let a be 5 + (2 + -3 - x). Which is smaller: 9 or a?
a
Let o = 16 + 0. Let r = 40 - o. Suppose -4*y = -5*g + r, -3*y = g + 13 - 33. Is g greater than or equal to 9?
False
Let f be (3/9)/(1/(-3)). Let l = 10/19 - 352/741. Which is smaller: f or l?
f
Let v = 0.057 + -0.117. Is 0.4 <= v?
False
Let w = -125/18957 + -2/267. Which is smaller: w or -1?
-1
Let j be 1017/8 + (-16)/128. Let b = -129 + j. Is -11 equal to b?
False
Let n = 53 + -36. Let s = n - 19. Let o be (8/(-18))/(4/6). Is o less than s?
False
Suppose -118 = -3*k - 2*b + 27, -2*k + b + 85 = 0. Let q be (-6)/k - (-498)/(-315). Let j(n) = -3*n**3 + n**2 + n - 1. Let t be j(1). Is q equal to t?
False
Let f(o) = -o + 3. Suppose z - h = -0*z + 1, -5*z + 3*h = -9. Let v be f(z). Are v and 1 non-equal?
True
Let o(p) = p**2 - 6*p + 5. Let a be o(6). Let q be 18/24 - a/4. Which is smaller: q or -2?
-2
Let m = 757/7 - 108. Let k = 1.95 - -0.05. Which is bigger: k or m?
k
Let m(y) = y**2 - 3*y. Let x be m(4). Let q(l) = -l**2 + 6*l - 6. Let u be q(x). Let o = 3127 - 3126. Does o = u?
False
Let z = -227 + 2041/9. Suppose 2*s + o = 39, -4*s = -3*o + 4*o - 79. Are z and s nonequal?
True
Let b = -3259 - -342191/105. Is -1 < b?
True
Let h = 136 + -133. Let t be h/4*72/27. Which is smaller: -27/7 or t?
-27/7
Let i = 351 + -347. Which is bigger: -5/4 or i?
i
Let b be 5/10 - (-7)/2. Let x(f) = 3*f**3 - 5*f**2 - 3*f + 5. Let h(t) = -t**3 + t**2 + t - 1. Let g(d) = 4*h(d) + x(d). Let c be g(-2). Is c greater than b?
False
Let s be 11*22/(-363)*(-6)/(-14). Let l = -12 + 27. Which is smaller: l or s?
s
Let k = -0.115 + 0.375. Let l = -0.7 - 0.3. Do k and l have the same value?
False
Let m = -138 - -33. Which is bigger: m or -106?
m
Let v = 27/44 + 4959/308. Which is smaller: v or 17?
v
Suppose -5*u = -4*s + 13 - 89, 5*u = -3*s - 57. Let h = s + 19. Suppose h = m + 6 - 2. Is -4 greater than m?
False
Let g = 232 + -465/2. Do g and -0.03 have different values?
True
Let l = -68.8 + 154.8. Which is smaller: -0.2 or l?
-0.2
Let y(h) = -h**2 - 3*h + 1. Let g be y(-3). Let l be ((1 - 1) + 1)/g. Let u be (-16)/(-2) + (-2 - -1). Is l bigger than u?
False
Let n be -2 + 4/(12/27). Let z be (3 - n)/8*-2. Suppose 4*i - 5*i = -z. Is i less than 1?
False
Let t = -273 - -453. Is t less than or equal to 178?
False
Let s = 2/51 - -5/102. Which is smaller: s or 0.2?
s
Let f = -307 + 237.95. Let u = 69 + f. Is 11 less than u?
False
Let v(k) = k**2 - 50*k - 1. Let c be v(50). Which is smaller: c or 16/93?
c
Let z be 10*(-2)/(-234) - (-194)/873. Which is greater: 8/13 or z?
8/13
Let p be ((0 - -2) + -3)*(-16)/64. Is p greater than -11/3?
True
Let i(l) = -2*l**3 + 2*l**2 - 2*l + 1. Let z be i(1). Which is greater: -1/110 or z?
-1/110
Suppose 15*u + 58 = 13. Is u greater than 9?
False
Let d = -111 - -139. Suppose -d = 2*h - 0*h. Which is smaller: h or 2?
h
Let p = 121 - 123. Let x = 1.96 + 0.04. Let d = -7 + x. Is d at least as big as p?
False
Suppose 3*i + 163 - 39 = -5*u, 2*u + 62 = 5*i. Let q be 3/24*6 - u/(-56). Let k = 0 - -1. Is k bigger than q?
True
Let v = 62 + 98. Let n be v/294 - (12/9)/2. Which is smaller: n or 1?
n
Suppose -2*d + 56 = -3*i, 0 = 4*i - 3*d - 1 + 74. Let n be i/4 + 6/4. Is -2 >= n?
True
Suppose 0 = -124*o + 138*o - 56. Which is smaller: o or 13?
o
Let y = -1696 - -1696. Let b = 4 + -12. Which is smaller: y or b?
b
Let r = -324 + 816. Which is bigger: r or 983/2?
r
Let r = 2.166 + -4.166. Is r < 15?
True
Let g = 1723 + -1754. Is g greater than or equal to -0.2?
False
Suppose 7*u + 55 = 2*u. Let f = 21.9 + 109.1. Let o = f + -131.2. Which is greater: o or u?
o
Suppose -3*z = -4*z - 35. Let n = z - -46. Is n less than 11?
False
Let h = 5.57 - 3.18. Let k = h + -0.39. Which is greater: -4 or k?
k
Suppose 3*r - 16 = -2*z, 4*r = -z + 7 + 16. Which is bigger: r or 19/3?
19/3
Let k(q) be the second derivative of q**5/20 + 5*q**4/6 + 4*q**3/3 - 21*q. Let j be k(-9). Which is smaller: 4 or j?
4
Let n = 12649/1479 + -252/29. Which is greater: 1 or n?
1
Let j(a) = a**3 - 4*a - 4. Let k be j(-4). Let l = k + 51. Which is smaller: l or 4/21?
l
Let p(t) = -t**3 - 9*t**2 - 7*t + 10. Let z be p(-8). Let c(l) = -l + 5. Let n be c(z). Which is smaller: n or -3?
-3
Suppose -h = -7 + 25. Is h greater than 7?
False
Let y(l) = -l**2 - 53*l - 290. Let a be y(-45). Which is bigger: a or 2?
a
Suppose 130 = -2*b + 7*b - 3*k, 0 = b + 3*k - 44. Is 31 at most b?
False
Let s = 0.04 - 3.04. Suppose 0 = 30*v + 95 - 35. Which is bigger: s or v?
v
Let h = 2.13 - 2.029. Let m = h + -8.101. Which is smaller: -0.1 or m?
m
Let j = 9 + 1. Suppose -j*m = -9*m - 3. Suppose 0 = -6*u + m*u - 3. Which is bigger: -7/3 or u?
u
Let m = -315 - -7243/23. Let k = -30 + 31. Which is greater: m or k?
k
Let q = 2 + 13. Suppose 9 = 2*p - 0*t - 3*t, -q = 3*t. Suppose 0*n - 3*n = 12. Which is greater: n or p?
p
Let y(o) = o**3 - o**2 + 1. Let f(p) = -p**3 - 6*p**2 + 5. Let m(d) = -f(d) - 2*y(d). Let r be m(8). Which is bigger: r or -6?
-6
Let k = 1.246 + -1.366. Is k < -0.2?
False
Let z be (-38)/(-42) - (1 - 0). Suppose 5*w + 5 = 3*v + 21, 18 = 3*w + v. Suppose d + 5*u = -12 - 3, 3*u + 9 = w*d. Which is smaller: d or z?
z
Let o = 3257/2 + -1592. Are 36 and o equal?
False
Suppose 4*h + 44 = 4*l, h + 0 = -1. Suppose 15 = -s - x, -s - 4*x - x - 31 = 0. Let t = s + l. Which is bigger: -2/17 or t?
-2/17
Let y(p) = 2*p**3 - 8*p**2 - 26*p + 15. Let c be y(6). Which is smaller: -12 or c?
-12
Suppose -4*v - 261 = 5*a, 0 = 2*a + 2*a - 3*v + 184. Let w be 14/a - 10/14. Is w greater than -14?
True
Let v(i) = -i + 23. Let h be v(-8). Which is smaller: h or -1?
-1
Let g(p) = 6*p**2 - p - 1. Let o be g(-1). Let l(n) = n - 1. Let a(s) = -7*s + 15. Let c(v) = o*l(v) + a(v). Let d be c(9). Is d greater than or equal to 1?
False
Let b be 4/(-14 + -2) - (-214)/24. Let x = 9 - b. Which is bigger: 1/15 or x?
x
Let s be 33169/(-36) - (-1)/4. Let h be 4/((-24)/30*(-10)/1844). Let t = s + h. Is t at most as big as 1?
True
Suppose 0 = -5*s - 4*w, 6*w = 4*w. Which is smaller: -4/297 or s?
-4/297
Let f = 169342/85 - 7969/4. Which is smaller: f or 1?
f
Let i = -462 - -1774/7. Let d = -208 - i. Is d not equal to 0?
True
Let s be 1125/282 - (6 - 2). Is s less than or equal to 1?
True
Let i be (-11)/(-4) - (-2)/8. Let p be i/(-1)*(-2)/(-2). Let g be (16/(-12))/(2/6). Are p and g equal?
False
Let a(x) = -x**2 + 9*x + 21. Suppose 0 = 3*y + 5*y - 88. Let g be a(y). Do -2/63 and g have the same value?
False
Suppose 5*k + 4*v + 174 = -297, 2*k + 3*v + 187 = 0. Is k at least -96?
True
Let x = -359 + 327. Is x < -29?
True
Suppose 4*y - 4 = -5*w - 0*y, 0 = -2*w + 2*y - 2. Which is bigger: 2/283 or w?
2/283
Suppose 4*k - 125 = 5*j, -5*j - 2*k - 95 = -0*k. Let t = 424 + -443. Which is smaller: t or j?
j
Let q = 5.8 + -5.9. Let n = -36 + -17. Which is smaller: n or q?
n
Let k(i) be the second derivative of -i**4/12 + 23*i**3/6 + 43*i**2/2 - 26*i. Let m be k(25). Is -12 < m?
True
Suppose 0 = 3*f + 12, 5*f + 4 + 248 = -i. Is -232 bigger than i?
False
Let o(s) = s**3 + 9*s**2 + 14*s - 4. Let h be o(-7). Let d = -0.15 + 0.2. Which is smaller: d or h?
h
Let r(y) = y - 6. Let h be r(8). Suppose 0 = 6*t + 4 - 16. Suppose s - t = h*s. Is -2 greater than s?
False
Suppose -3*r + 26 = 32. Let x be (r/(4/(-1)))/(10/(-20)). Which is smaller: -3/22 or x?
x
Let z(h) = -h**2 + 3*h + 3. Suppose -b - 4*b = 0. Suppose r = -0*r + 3*q - 5, b = 4*q - 12. Let u be z(r). Which is greater: 1 or u?
1
Let l = 9 - 8. Let j be 1 + -2 + l + -21. Let p = j - -104/5. Are p and -1 nonequal?
True
Let m(f) = -f**2 - 8*f - 2. Suppose -21 = 3*l + 3. Let j be m(l). Let i = 3 + j. Which is bigger: i or 2?
2
Let i(w) = w**2 - 7*w + 2. Let b be i(7). Let j be (b - 0 - 1)*19. Let u = -13 + j. Which is smaller: u or 7?
u
Let j = 1.77 + -0.47. Let h = j