f - 5*s + 28. Let g = 23 + -14. Let o = g - 9. Which is greater: f or o?
f
Let u be ((-24)/15 + 2)/((-6)/(-5)). Is -0.5 greater than u?
False
Let q be 2/(-3) - (-10)/24. Let t = 0 - 0. Is q at least t?
False
Let o be (20/6)/5*12. Suppose -o = -g - 3. Which is smaller: g or 2?
2
Let f = -0.1 - 0.1. Let t = 0.04 - 0.04. Is t >= f?
True
Let h be ((-30)/40)/(1/(-4)). Is 18/7 equal to h?
False
Let v be 26/40 - 2/5. Suppose -4 + 5 = p. Let s be 1 + 0/((-2)/p). Is s <= v?
False
Let u(n) = -4*n**2 - 3*n - 4. Let f(o) = -o**2 - o - 1. Let d(j) = -10*f(j) + 2*u(j). Let z be d(-2). Is 0 smaller than z?
True
Let x be 4/(-12)*(3 - 0). Let j be 0/x - (-1 - -1). Which is smaller: j or -2/7?
-2/7
Suppose -3*h + 5*h = -4. Is h less than -12/5?
False
Let z(h) = 4*h - 24. Let i(p) = -p + 6. Let t(c) = 2*c. Let s be t(1). Let b(l) = s*z(l) + 9*i(l). Let a be b(8). Is a at most -1?
True
Let w = 0.03 + -0.03. Let s be (-2)/(-22)*13 - 1. Which is smaller: s or w?
w
Let m = 26 + -27. Let s = 0.8 - -4.5. Let l = 5 - s. Which is smaller: m or l?
m
Let o(r) be the third derivative of r**4/24 - 13*r**3/6 + 9*r**2. Let a be o(12). Which is smaller: a or -13/6?
-13/6
Let g be 1/(-2) + 3/6*3. Let v = 8 + -3. Suppose -v*m = -0 + 5, -3*z - 5 = -m. Is g bigger than z?
True
Let n = -2.9 + 0.4. Let c = n - -9.6. Let a = -7 + c. Is 0.2 at least a?
True
Let v = 249 + -3481/14. Is -1 less than v?
True
Let c(b) = b**2 - 3*b + 3 + 4*b - 4 - 5*b. Let f be c(4). Which is greater: f or 4/21?
4/21
Let i be 12/(-3) + (1 - 1). Let a(g) = -g**2 + 5*g - 8. Let v(w) = -3*w**2 + 16*w - 23. Let q(n) = 11*a(n) - 4*v(n). Let k be q(8). Is i != k?
False
Let a(v) = 3*v**3 - 4*v**2 + 2*v. Let m be a(2). Let p be -2 + 21/m + 0. Let b(t) = -t - 4. Let k be b(-4). Which is smaller: p or k?
p
Suppose 2*w + 5*u = -2, 1 + 0 = w + 2*u. Let z = w - 5. Suppose 0 = 3*p - 3*k - 6, -k - z = -4*p - 2. Which is smaller: p or 1?
p
Let k = -30 - -92/3. Suppose w + 2*n + n - 10 = 0, 4*w - n - 1 = 0. Which is greater: k or w?
w
Suppose 5*w - 20 + 5 = 0. Which is smaller: 18/11 or w?
18/11
Let w = -1 + 1. Let q = -1019/4 - -256. Is q at most w?
False
Let z be (-9)/(-2)*6/9. Suppose 31 = 3*w + 4*f, z*w - 23 = f + 3*f. Suppose -3*d + 5*q + 2 = w, q = 2*d. Is d less than or equal to 1/3?
False
Let h = 854/25 - 34. Is h <= -1?
False
Let s be (-3)/(-14) - (-10)/(-20). Let u be (2 + 8/(-3))/(-2). Which is smaller: u or s?
s
Let z = 8 + -1. Is 8 greater than z?
True
Let c = 1.07 - 0.07. Let j = -1.3 + c. Is j at least -0.1?
False
Let l = -1 + 4. Let j be 4/(l/36*1). Let a = -146/3 + j. Which is greater: 0 or a?
0
Let s be 2/(-1) + 20/(-72)*-6. Which is smaller: s or 1?
s
Let t = -507 + 3555/7. Is t > 1?
False
Let u be ((-2)/(-4))/((-6)/(-60)). Suppose 2*k = -5*d + 26, -2*d + 5*k = -4*d + 23. Which is greater: u or d?
u
Let m be (-3)/5*(-10)/15. Which is greater: 0 or m?
m
Let o be (-6)/8*8/(-24). Which is smaller: -4 or o?
-4
Let y = 1981 - 196121/99. Which is smaller: y or 0?
y
Let y be 1*-1 + (-3992)/(-3080). Let p = -7144/35 + 204. Let d = p + y. Which is smaller: d or -1?
-1
Let n = -1 - 0. Let h be (-4 - 0)*9/(-4). Let j be 2/h - (-64)/(-126). Is j greater than n?
True
Let l = -7 + 10. Suppose l*k - 30 = k + 4*d, -3*k + d = -30. Let r be 2/6*k/(-12). Which is greater: 2/7 or r?
2/7
Let h be ((-32)/(-24))/(6/9). Let u = -3 - -5. Suppose -h*w - s = 3*s + 20, u*w + 25 = -5*s. Are -1 and w non-equal?
True
Let z = -2.8 + 4.8. Let v be 8/(-20) + 8/(-5). Is v >= z?
False
Let f = -1.41 + -0.59. Which is greater: 43 or f?
43
Let p be 2*2/(6/9). Suppose -6*f = -f + 10. Let w be (-1 + 9/p)*f. Is -1 at least as big as w?
True
Let g = -4.01 - -0.01. Let a = -6 - g. Is 1/2 greater than a?
True
Let z = -9 - 3. Let m = z + 13. Is m greater than -3/22?
True
Suppose -3*r - 5*i = -1, -4*r - i = -0*r - 7. Suppose 0 = a + 3 - r. Let f be 5/10 + 10/(-4). Which is bigger: a or f?
a
Suppose 2*h = -5*c + 21, -h + 3 = -0*c + c. Is -15/7 > h?
False
Let f be 0/(1 + 5 + -3). Which is smaller: f or -2/421?
-2/421
Let g(x) = x**3 + 7*x**2 + 2*x + 11. Let h be g(-7). Let v = -3 + 4. Which is smaller: v or h?
h
Let d = 1 - 2. Let s = 677/5 + -135. Is s at least as big as d?
True
Let n be 2 - 64/74 - (-1)/(-1). Is -1 at most n?
True
Let k(j) = j + 2. Let c be k(2). Let o be 10*1 - (-12)/(-6). Let g be ((-5)/2)/((-4)/o). Which is smaller: c or g?
c
Let m(j) = 3*j**2 - j - 1. Let o be m(-1). Which is greater: 5 or o?
5
Let v = -6 + 5. Suppose 0 = -4*n - 2*u + 16, -2*n = 3*u + u - 20. Suppose 2*g + 2 = o, -g + n*g + 5*o + 1 = 0. Is v at least as big as g?
True
Let j = -0.4 - -0.3. Let l(c) = -c**3 - 6*c**2 - c - 5. Suppose 16 = -3*u - 2. Let r be l(u). Which is greater: r or j?
r
Let c = -461/7 + 66. Which is smaller: 1 or c?
c
Suppose 0*f + 5*f = 0. Let y be f - (3 - (-69)/(-21)). Is y less than or equal to -6?
False
Let z(j) = -j**3 - 5*j**2 + 2*j + 4. Let g be z(-5). Let t = -2 - g. Suppose t*v + 2 = -2. Which is smaller: v or -2/13?
v
Suppose 0 = 5*c + 25, -4*c = -2*x - 7*c - 17. Let b = 14/3 + -5. Are x and b nonequal?
True
Let j = 2.5 + -2. Let n = -0.5 - j. Which is smaller: n or 1?
n
Suppose -40 - 92 = -4*l. Let j be (-6)/(1/(3/l)). Is j less than or equal to -2?
False
Let s = 94 - 72. Is s greater than 22?
False
Let w = 11 + -6. Suppose -1 = -4*q - w*f, 9 = -5*q + 4*f - 0. Suppose 4*s = -2*g - 4, -s - 4 = 4*g - 3. Which is greater: q or g?
g
Let h = -10 + 10. Suppose -6 = -4*n - 2. Which is greater: n or h?
n
Let o = 51/4 + -671/52. Let z = 10 - 6. Let y be (6/z - 2)*2. Which is smaller: y or o?
y
Let r = 233 - 211. Is r less than -2/7?
False
Let d be 2/(-3) - (-401)/(-105). Let f = d + 30/7. Which is smaller: f or 0?
f
Let t be 38/14 - (2 + 1). Let f be (-81)/(-36) + 1/(-4). Suppose -f*s = -0*s. Which is greater: t or s?
s
Let n be (-102)/14 - 6/(-21). Let f(m) = -m**2 - 7*m + 4. Let r be f(n). Let x = -2 - -5. Which is smaller: x or r?
x
Let r = -13 + 25/2. Suppose 0*q = -3*q + 30. Let w(l) = -l**3 + 9*l**2 + 10*l - 1. Let d be w(q). Is r greater than or equal to d?
True
Let s(p) = p - 10. Let h be s(6). Which is bigger: 2 or h?
2
Let m be (6/(-8))/(1/(-12)). Which is greater: 8 or m?
m
Let v = 1.3 + 6.2. Are 0.1 and v unequal?
True
Let w be 12/40 + -3 + (0 - -3). Let n = -3 + 2. Is w greater than or equal to n?
True
Let z be -9*(-3 - (-8)/3). Let g be ((-3)/(-9))/(1/z). Which is smaller: -1 or g?
-1
Let z = 7 + -7.1. Suppose -2*c = 4, c = -j + 4*c + 10. Let l(h) = -h + 4. Let n be l(j). Which is bigger: z or n?
n
Suppose -4*x = b + b, 5*b = -x + 9. Let p = -24/11 + 50/33. Which is greater: x or p?
p
Suppose 10 = -0*v + 5*v. Which is smaller: 6/7 or v?
6/7
Let h(p) = p**3 - p**2 - 10. Let t be h(0). Is -5 <= t?
False
Let a be 834/4*7/357 - 4. Is a greater than or equal to 0?
True
Let b = 743/5 + -148. Which is greater: b or 0?
b
Let t be (0/(-3))/(-3)*-1. Let g be 1/3 + 0 + 0. Is g > t?
True
Let v(n) = 2*n - 6. Let i be v(4). Let q be i/(-3)*3/4. Is 2 > q?
True
Let o(q) = q**2 - 8*q. Let j be o(8). Let k = 9 - 13. Let b be k/(-10) + -1 + 1. Is b less than j?
False
Let l be 1/(2/(-56)*-2). Let y = 13 - l. Which is smaller: y or -3?
-3
Suppose l + 0*l + 4 = 0, -n - 3*l - 19 = 0. Let r be n/(-147)*(-6)/2. Suppose 2*u - 2*w - 8 = 0, -4*w = 20 - 0. Is u greater than or equal to r?
False
Suppose -11 = -5*q - 1. Suppose -5*y - 2*i + i = 24, -5*y + i - 16 = 0. Let k be (2/y)/(2/(-8)). Is k greater than or equal to q?
True
Suppose 5 = -q - 1. Let n be (-3)/q*(-10)/(-1). Is n less than 5?
False
Let q(y) = 2*y**2 - 12*y. Let h be q(6). Which is smaller: h or 0.017?
h
Let u(g) = -g**3 - 8*g**2 - 8*g - 5. Let c be u(-7). Suppose -z + c*o + 4 = -6, 30 = 5*z - 5*o. Suppose -4*i + 0 + 2 = z*l, 0 = i + 1. Is l < 3?
False
Let x be (-1)/1 + (-37 - 0). Which is bigger: -37 or x?
-37
Let p = 1 - 2. Let m = 0 - p. Do m and 7/6 have the same value?
False
Let i be 7 - 6 - (-23)/(-25). Which is bigger: 1 or i?
1
Let y(m) = -m**3 + 8*m**2 + 20*m - 8. Let o be y(10). Suppose -p + 3*r = 2*p + 42, -5*r + 7 = 2*p. Which is smaller: p or o?
p
Suppose -19 = -4*k + 5*j, -3*k + 2*j = -0*j - 9. Let c = -2 + k. Let w = -4/7 - -1/14. Which is bigger: w or c?
w
Let h(t) = -t + 6. Let u be h(5). Let l = 512999 - 197504779/385. Let g = 8/55 - l. Does u = g?
False
Let h be 9/(0 + 