+ 0. Is -0.1 >= f?
True
Let k = -1 - -0.9. Let y = -47/3 + 16. Are y and k nonequal?
True
Let m = 13 - 10. Suppose -m - 7 = -5*t. Which is smaller: t or -1?
-1
Let u = 19 + -17. Suppose -x + 6 = 3*z, x - 9 = -4*z - 0*z. Let b be (1/(2/x))/(-2). Is b at least as big as u?
False
Let p = -7 - -6. Let i be (-28)/6 - p/(-3). Let j = 2 + i. Which is smaller: j or -4?
-4
Let l = -1.1 + 1. Let c = 0.04 + -6.04. Let v = 6 + c. Do v and l have different values?
True
Suppose -3*b + 2*y = 5, b + 0*b + 1 = y. Suppose -2*h + 1 = -3*h. Is b greater than h?
False
Let o(s) = -2*s - 16. Let z(c) = -3*c - 24. Let l(w) = 7*o(w) - 5*z(w). Let d be l(-6). Do 1 and d have the same value?
False
Let i = 1/1263 - 853/13893. Let z be (-3)/(-2)*(-2)/(-3). Is i > z?
False
Let t be 1*(48/4 + -3). Is 4 smaller than t?
True
Let l be ((-4)/(-6))/((-6)/(-9)). Is l smaller than -2/7?
False
Let v = 24 + -32. Which is bigger: v or -1?
-1
Let g be 1/(-6) - 71/6. Let u be (6/54)/((-14)/g). Suppose -j = -6*j - 5. Which is smaller: u or j?
j
Let x = 22 - 1. Let v = x + -20. Which is smaller: 0.04 or v?
0.04
Let k(a) = -a**2 + 3*a - 2. Let i = 10 + -6. Let q be k(i). Let w be (-1 - -2) + q/6. Is w != 2/3?
True
Let p = 1/281 - -192/25009. Let b = 185/623 - p. Suppose -3*c - 5 = -8*c. Which is smaller: b or c?
b
Suppose -3*x = 2 + 7. Let g be (-48)/(-9) + (-2)/x. Let t be (-2 - g/(-2)) + -1. Is 1/3 > t?
True
Let a(s) = 2*s**2 - s - 6. Let w be a(0). Is -6 bigger than w?
False
Let u be -2*-2*(-1)/22. Let c(w) = -w**3 + w**3 - 2*w - 4*w**3 - 1 - 2*w**2 + 2*w**3. Let n be c(-1). Which is smaller: n or u?
u
Let w = -9 - -3. Let i be -3 - 3/(-3) - 2. Which is smaller: i or w?
w
Suppose 0 = 2*h - 0*h - 4. Let l(f) = -f**2 + f. Let i be l(h). Suppose -y - 6*s = -s + 21, -y + 7 = -2*s. Is i at least as big as y?
False
Suppose -4*m + 2*m = -12. Suppose -11 - 3 = -2*y. Is m smaller than y?
True
Let d = 18013/14 + -1286. Which is smaller: 1 or d?
d
Let k = 1 + -2. Which is smaller: k or 0?
k
Let a = 89 - 94.7. Let j = a - -6. Let p = -0.57 - -1.57. Which is bigger: j or p?
p
Let v be 0 + 3/(-24)*2. Suppose 0 = 4*g - 9 + 65. Let k be g/24 - 3/(-9). Are v and k unequal?
False
Let o(a) be the second derivative of a**3/6 - 2*a. Let q(s) = -5*s + 3. Let m(t) = 4*o(t) + q(t). Let v be m(5). Are v and -2 nonequal?
False
Let s be -2*1/4*(1 - -3). Let u = -1 - -2. Let b = 0 - u. Is b not equal to s?
True
Let o(p) = -p**3 - 4*p**2 - 3*p + 1. Let j be o(-3). Let q = -0.03 + 1.03. Let w = 1 + q. Does j = w?
False
Let h be (-4)/13*5/(-10). Let y(z) = -z**3 - 3*z**2 - z - 2. Let x be ((-6)/8)/(3/12). Let j be y(x). Is j <= h?
False
Let p(g) = g**3 - 7*g**2 + 5*g + 4. Let h be p(6). Let m = h - -6. Suppose 4*b + m*t = 4, t + 4 = -4*b - 4. Which is bigger: -4 or b?
b
Let s(q) = 3*q - 14. Let z be s(5). Let m be 0 - (154/6 - -1). Let o = m + 27. Is o at most as big as z?
True
Let a be ((-4)/(-6))/((-18)/459). Is a < -17?
False
Let k = -0.1 - -0.2. Let w = 0 + k. Let x = -3.01 + 0.01. Is x bigger than w?
False
Let t = -0.8 + 0.7. Which is smaller: -9/2 or t?
-9/2
Let w(y) = -y**2 - 4*y - 2. Let s be 1 + 2 + 1 + -2. Suppose b = 6*k - s*k + 12, b - 3*k = 8. Let c be w(b). Is c < -2?
False
Let f be ((-10)/25)/(1/35). Let v be (-5)/f*8/10. Is -3 > v?
False
Let d be ((-3)/3 - 1)/(-2). Suppose -5*o + 9 + d = 0. Which is smaller: 4 or o?
o
Let l = -72 + 214/3. Let r = 2 - 2. Which is smaller: l or r?
l
Let n(o) = -o**3 + 6*o**2 - o + 7. Let l be n(6). Is -19 at most as big as l?
True
Let t be (6/9)/((-10)/6). Which is smaller: t or 1?
t
Let q = -0.02 - 0.06. Let i = q + 0.18. Which is greater: 11 or i?
11
Let s(r) = -r + 5. Let y be s(-4). Suppose -5*o + y = -1. Is 6 bigger than o?
True
Let j = 16 - 17. Which is greater: 2/11 or j?
2/11
Let k = -2 + 0. Let l be k + 1 - 39/(-3). Let i be ((-1)/4)/(15/l). Is -1 >= i?
False
Let h be 5/(-7) - (1*-2)/2. Let c be ((-4)/(-11))/(-2 - 0). Which is greater: h or c?
h
Suppose 0 = -5*g - 0*g + 5. Suppose -9*c = -6*c + 3. Which is smaller: c or g?
c
Let u = -49 + 45.1. Let i = 1.1 - -2.9. Let j = i + u. Is -1/2 at most as big as j?
True
Let z = 26 + -27. Let f = 4 + -5. Do z and f have the same value?
True
Let a = -0.2 + -0.8. Let p = 1.9 + -0.9. Is p equal to a?
False
Suppose 0 = 4*r + 2*u + 18, -2*r + u = -0*u - 1. Which is bigger: -3 or r?
r
Let x be (10/(-25))/(3/(-15)). Let f be (x - (-6)/(-3)) + 0. Is f less than -10/9?
False
Let g(b) be the third derivative of -b**6/720 - b**5/120 + b**4/24 - 2*b**2. Let s(z) be the second derivative of g(z). Let j be s(1). Is -2 bigger than j?
False
Let y be (-13 - -1)/(-3) + 0. Suppose k - 3*k - 10 = -5*v, -2*v = -k - y. Are 1/7 and k equal?
False
Let x(z) = -z**3 + 9*z**2 + 9*z + 12. Let d be x(10). Suppose -4*f + 5 = -3*f. Suppose -d*k + 8 = -f*r, -5*r = -0*k + k + 11. Do k and -0.2 have the same value?
False
Let v(t) = 2*t + 9. Let i be v(-7). Let r = i - -6. Let q = 366 + -5492/15. Is q >= r?
False
Let q = -0.41 + 1.41. Which is smaller: q or 26?
q
Let n = 14 + -14. Is n < 1/3?
True
Let n be 5/15 + -3 + 0. Suppose 0*h + 4*r = 5*h + 12, h = -r - 6. Which is greater: h or n?
n
Let d = -82710 - -745522/9. Let l be 1264/10 + (-2)/5. Let q = d - l. Is q <= 1?
True
Suppose 0 = -t - 3*t - 96. Let g be (-3)/(-2) + 20/t. Is -2/5 at most as big as g?
True
Let t(d) = -d - 5. Let n be t(-5). Let c = -0.2 + 0.1. Is n < c?
False
Let c = -52 - -42. Is c less than -7?
True
Let q be 6/75*(1 - 0). Suppose 5*v - 4*y - 15 - 2 = 0, -2*y = -4*v + 10. Is v not equal to q?
True
Let k = 27 - 10. Is k > 0.1?
True
Let j = -4 + -3. Let b = 7 + j. Suppose 3*p - 2*z - 2 = 0, -4*p = -z - 2*z - 3. Is b < p?
False
Let s be ((-9)/(-15))/(15/10). Is 1 at most s?
False
Let q = 1 - 0. Let w be (q + (-10)/6)*-3. Suppose -4*z + 3*z + 1 = 0. Which is smaller: z or w?
z
Let v = -7 + 4. Which is greater: -0.5 or v?
-0.5
Let v be -2*(0 + 1/2). Let l(f) = f**2 + 6*f + 6. Let k be l(-5). Suppose -2*h = 2*c + 3*c - k, 1 = -3*h - 5*c. Is h < v?
True
Let y = -138 + 137.9. Which is smaller: -42 or y?
-42
Let u be 116/124 + 1/(-1). Which is smaller: u or 1?
u
Let i = 3.2 + -3. Let j = -29 + 117/4. Are i and j unequal?
True
Let p be -4 + 1 - (18/(-3) - -4). Which is greater: 2/143 or p?
2/143
Let z = 124 + -131. Which is smaller: -10 or z?
-10
Let w be (0 + (-9)/(-6))*4. Suppose -2*l + w*l = 0. Let t be (-22)/(-60) + 3/(-6). Is t smaller than l?
True
Let d(k) = k**2 + 6*k + 1. Let j(o) = -o**2 - 6*o - 2. Let u(l) = -4*d(l) - 3*j(l). Let v be u(-6). Which is smaller: 0 or v?
0
Let c be -1 - -1 - 15/(-18). Which is greater: 0 or c?
c
Let c(d) = d**2 + 5*d - 7. Suppose 6 = 2*y + 18. Let k be c(y). Let q be (-2)/6 + 4/(-6). Is q less than k?
False
Let b = 11 - 10. Are b and 1/4 equal?
False
Let q be ((-2)/4)/((-1)/2) + 2. Let d = -5 - -7. Suppose -4 = -d*f + 6*f. Which is smaller: f or q?
f
Let m be ((-3 - -4)*1)/4. Which is bigger: 0.26 or m?
0.26
Let z be 12/(-2)*2/(-6). Let w be -1*z - (-8 + 5). Which is smaller: 1/2 or w?
1/2
Let l be 9/(-12) + 91/196. Let s = 133/4 + -34. Which is smaller: s or l?
s
Suppose 3*w - 4*v - 4 = 0, 4*v = -w + 3*v + 6. Suppose -4*a + w = -8*a. Let f = 19 + -17. Is a equal to f?
False
Suppose 0 = -4*b + 1 + 11. Let x = b + -2. Let t be (1/(-3))/(2/6). Is x greater than t?
True
Let n(o) = 2*o - 4. Let c be n(-7). Let f be 25/3 + (-3)/c. Is 8 > f?
False
Let r = -18.49 - -0.49. Does r = 0?
False
Let d = -0.01 + 0.31. Let j = -0.7 - d. Let a = j + 2. Which is bigger: a or 2?
2
Let x = 3677/21 - 175. Let v(z) = z**2 - 9*z + 9. Let k be v(8). Is k >= x?
True
Let p = 0 - -2. Let r(d) = -11*d - 3. Let s be r(-2). Let x = 39/2 - s. Which is bigger: p or x?
p
Let n = 4 - 3. Let w = n + -0.6. Let k = w + -0.4. Which is greater: k or 1?
1
Suppose -4*t - 6 = -7*t. Suppose -3*o = -3, t*c + 5*o + 25 = 7*c. Let j = -7 + c. Is j smaller than -1/5?
True
Suppose 16 - 17 = t. Which is smaller: -6/13 or t?
t
Suppose 2*m + 2 = 2*p, 0 = -2*p - 3*m - m + 2. Is p <= -1/3?
False
Suppose 0 = c - 2*c + 1. Suppose -3*f = 4*o - 1, 4*f + 2 = 3*f + o. Let h be 0 - f*c/3. Which is bigger: h or -1?
h
Let l(j) = -6*j + 44. Let w be l(6). Let p = 6 - -3. Do p and w have different values?
True
Suppose -3*g + 1 = 4. Let l be 25/(-2)*(-1 + g). Suppose 5*y - 4*r - l = 0, 3*y - r + 2*r = -2. Which