5. Is 9/2 >= i?
True
Let b be 34/6 + (-2)/(-6). Let j = 8 - b. Which is bigger: 0 or j?
j
Let g = 19 - 18. Is g less than or equal to 1/2?
False
Suppose 8*h - 9*h + 1 = 0. Is 1 <= h?
True
Let w be (2 - (0 + 4))/(-1). Suppose -6*x + 40 = -w*x. Is x equal to 12?
False
Let j = 0.31 + 0.29. Which is smaller: j or 0?
0
Let n(a) be the first derivative of a**2 - 6*a - 3. Let i be n(10). Suppose -3*w - 10 = -4*l, 5*l + 1 = 4*w + i. Which is smaller: -1 or l?
-1
Let h = 4.3 + -0.3. Let u = h + -8. Is -1/3 <= u?
False
Let k be (-8)/(-4)*(-2)/12. Let x = -48/7 + 418/63. Which is smaller: x or k?
k
Let c = -0.1 - -0.3. Let n = 3 - 0. Suppose -r = 2*r + n. Are c and r non-equal?
True
Suppose -3*j + 2*c + 11 = -2, 3*j + 17 = -4*c. Which is bigger: -1/21 or j?
j
Let b be ((-2)/3)/(1/(-3)). Let o(h) = h**2 - h. Let c be o(2). Suppose -3*x = 15, 6*x = -c*s + b*x - 22. Does s = -1?
True
Let q(b) = -b**2 - 9*b - 1. Let j be q(-12). Is j bigger than -38?
True
Suppose 3*q - a = -6, 2*a - a + 6 = -3*q. Let z be ((-3)/6)/(q/4). Are z and -1/4 nonequal?
True
Let j(h) = 2 + 3 - 5 + h - 1. Let q be j(-5). Let o be ((-2)/q)/(3/36). Which is smaller: 2 or o?
2
Let a = -202 + 183.2. Let h = -20 - a. Which is bigger: 1 or h?
1
Suppose -4*c + 39 = 7. Suppose -5*m + c = -12. Suppose g = 5, -2*z + g + 5 = -0*g. Does m = z?
False
Let u = -42 + 125/3. Let h = 6.01 - 6. Let w = h - 4.01. Is u at least as big as w?
True
Let b(q) = q - 1. Let a be b(1). Let n = -1 + 1. Is a not equal to n?
False
Let h = 0.089 + 0.011. Suppose 4*o = m + 27, -2 = 3*o + 5*m - 51. Which is smaller: o or h?
h
Let g = -1.37 - -1.07. Is 6/5 < g?
False
Suppose 0 = -3*i - 2*i + 85. Let d = 16 - i. Which is bigger: d or 1/2?
1/2
Suppose 3*s - 7 - 2 = 0. Let q be 1/(11*(-4 + s)). Which is bigger: 0 or q?
0
Let g = -51.7 - -2.7. Which is smaller: 0 or g?
g
Let c(g) = -g**2 + 10*g - 10. Let v be c(7). Let y = v + -9. Suppose -2*l + l - y = 0. Is 1 < l?
False
Let o = -0.24 - -0.14. Is o less than or equal to 0.06?
True
Let a = 145 + -140. Which is greater: a or 8?
8
Let q = -1135/56 + -1/56. Let n = q - -20. Are n and 1/3 equal?
False
Let q(z) = z**2 + z - 1. Suppose -2*r = 5*u - 2 - 4, -5*u + 2*r + 14 = 0. Let p be q(u). Let f = 5 + 0. Is p greater than or equal to f?
True
Suppose 5*f + 5*i = 80, -i = f - 3*i - 4. Suppose 4*d - 3*x - f = -x, 3*x = 6. Which is smaller: d or 0.2?
0.2
Let c be ((-97)/(-48) + -2)/(-1). Let o = c - -13/48. Is 0.1 >= o?
False
Let d = -5 + 4. Let w = -0.5 - d. Let t = w - -2.5. Is t at least as big as 2/3?
True
Let j(v) = 2*v**2 + 3*v + 6. Let c(a) = -2*a**2 - 3*a - 7. Let l(u) = 5*c(u) + 6*j(u). Let p be l(-2). Suppose 0*w - p*w = 0. Which is greater: w or 1?
1
Let l be 46/8 + 11/44. Suppose 4*s + l = -2. Is -4/3 less than or equal to s?
False
Let h(s) = -4*s**3 + 2. Let r be h(-2). Let j be 5/r*(-8)/(-10). Which is bigger: j or 1?
1
Suppose 2*v + 30 = 7*v - 2*n, 4*n = v - 6. Let h = -7 + v. Do h and -2 have the same value?
False
Let y = 5 + -2. Suppose -2 = y*c - 2*z, 0 = -5*c - z + 3*z - 2. Is 2/13 < c?
False
Suppose -11 = -2*v - 5*l, -v + 0 = -5*l + 2. Which is smaller: 8 or v?
v
Let c = 3 - 3. Let z = -10 + 10.3. Are c and z nonequal?
True
Suppose 7*n = 8*n - 6. Suppose -3*a = -6*m + m + n, 0 = 3*m + a + 2. Let h be 16/42 - 4/6. Which is smaller: m or h?
h
Let x be 3/4 + (-4)/112*-27. Which is smaller: 1 or x?
1
Let d(o) = -o + 12. Let w be d(13). Let v be ((0 - 0)/(-1))/1. Is w <= v?
True
Let l = -3.5 - -3.39. Are 0 and l non-equal?
True
Let a = -75.97 - 1.03. Is 1/4 greater than or equal to a?
True
Suppose 3 - 1 = -k, -1026 = 4*j - 5*k. Let o = j - -1797/7. Is -1 less than or equal to o?
False
Suppose -4*q = -5*a - 17, 5*q + a = 3*a. Let z = 4 - 3. Let j = z + q. Is 0 >= j?
True
Let x be (-46)/(-216) - (-5)/(-20). Is 1 at least x?
True
Suppose -3*m = -15 - 9. Let x be (-1)/2 + 2/m. Do 0 and x have the same value?
False
Let f be (-3)/(-4) - 310/40. Which is smaller: f or 0?
f
Suppose -3*o - 905 = -8*o - 5*m, -4*o = -m - 724. Let t = -1271/7 + o. Are t and -2 nonequal?
True
Let j(v) = -2*v**2 - 5*v + 2 + 8*v + v**2. Let g be j(4). Which is smaller: 0 or g?
g
Suppose 3 = i - 2*i, 0 = -2*h - 2*i - 6. Which is smaller: h or 2/105?
h
Let r(l) = l**2 - 3. Let y be r(0). Let p(h) = -h**3 - 2*h**2 + 4*h + 4. Let t be p(y). Is 0 <= t?
True
Let h(r) = r + 9. Let i be h(-9). Which is smaller: 1 or i?
i
Let t be -16*((-11)/6 - -2). Let s be -8 + 6 - (2/2 - 1). Does t = s?
False
Let t be -3*3/(-15)*-5. Let b be t*(-5)/((-330)/4). Is 0 at least b?
True
Let a be (2/(-5))/(2/20 - 0). Which is smaller: a or 1?
a
Suppose 0 = -2*b - 3*b + 5*d + 25, d + 5 = 5*b. Is b at most 0?
True
Let u = -532 - -341. Let l = 192.97 + u. Let g = -0.03 - l. Which is smaller: -1/2 or g?
g
Let a(z) = z**3 + 2*z**2 - 6*z - 5. Let m be a(-3). Let b be ((-4)/(-8))/(m/(-24)). Which is smaller: b or -1?
b
Let f = -1.3 - -1.5. Which is smaller: f or 2?
f
Let o = 8.79 - -0.21. Let m = -6 + o. Let n = 1 - 1. Is m greater than or equal to n?
True
Let o = -5.1 + 0.6. Which is greater: o or 2/5?
2/5
Let f be ((-42)/(-4)*(-32)/(-40))/(-4). Is f greater than -2?
False
Let v = 2 - 2.1. Let h = v - -0.3. Let p = 2.9 + -3. Which is greater: p or h?
h
Suppose -10 = 5*v - 5*d, 0 = -3*v + 5*d - d - 8. Suppose v*x = -3*x + 3. Do -1 and x have the same value?
False
Let c be ((-21)/28 - 0)/(3/(-2)). Which is bigger: 1 or c?
1
Suppose 0 = 2*n + n - 2*k - 5, 0 = 5*n + 5*k + 25. Let u = -979 - -1913/2. Let h = u + 22. Which is smaller: h or n?
n
Let b be 54/(-24) - 1/(-4). Is b at most -42/13?
False
Let d = -5/18 + -43/18. Is -2 at least as big as d?
True
Let a = -7.11 + 0.11. Let k = a + 6. Which is smaller: 6 or k?
k
Let p = 18 - 12. Suppose -c + p*c - 10 = 2*k, -5*k = -3*c + 6. Which is bigger: 4 or k?
4
Let u = -123 - -120. Suppose -3*x - 16 = 2*z, 5*z - 16 = -x - 43. Is z < u?
True
Suppose 0 = -b + 5*z + 20, 4*b + 0*b = -5*z - 20. Let p = b + -1. Let q be (24/(-36))/(11/(-3)). Is q at least p?
True
Let t = 2 + 26. Is t greater than or equal to 26?
True
Suppose -11 = 7*n + 17. Let d = 6 - 4. Let f = -7 + d. Is f smaller than n?
True
Suppose 2*t = 5*t + 9, -2*t - 60 = 3*l. Is -18 > l?
False
Let t = -6 + 5. Let w be 1 + -91 + t - -1. Let f be (-132)/w + 2/(-3). Is 1 not equal to f?
True
Let a(u) = u**3 + u**2 + 5*u + 3. Let q(y) = y + 1. Let l(o) = a(o) - 4*q(o). Let p be l(1). Is p at most 3?
True
Let i = -15125/8 + 1887. Are -5 and i unequal?
True
Let o be (24/70)/(26/91). Which is bigger: o or 2?
2
Suppose -3*o - 18 = 3*l, 4*o + 3*l + 28 = 9. Let u be o + 3 - 28/15. Do u and 0 have different values?
True
Let l be -5 - 6*(-4)/8. Let y be l/3*(-3)/(-7). Which is bigger: y or -1?
y
Let s = 23 + -14. Let w = s - 5. Is w less than -0.2?
False
Let h = -8 - 0. Let x(d) = -d**3 - 8*d**2 - d - 8. Let v be x(h). Which is bigger: v or -2/11?
v
Let c = -21.2 + 21. Which is bigger: c or 3?
3
Let f(d) = -d**3 + 18*d**2 + 2*d - 23. Let v(c) = c**3 + 7*c**2 + 3*c. Let x be v(-6). Let i be f(x). Which is greater: i or 14?
14
Let f = 5 + 0.1. Let y = f + -5. Let q be -1*2*(-21)/(-6). Is q < y?
True
Let c be 111/2*(-24)/18. Is c > -74?
False
Let i = -0.09 - 0.91. Is i at least as big as 0?
False
Let g(v) be the first derivative of v**3/3 + 5*v**2/2 - 6*v - 5. Let y be g(-5). Is y less than -2?
True
Suppose s - 54 = -12. Suppose -3*t + 3*k - s = 2*t, -k - 26 = 5*t. Is t at least -4?
False
Let t(a) = -a**2 - 12*a - 13. Let i be t(-9). Suppose 0 = -5*v - m + 8, 2*v + 3*m = -m + i. Is 1/9 bigger than v?
False
Let l(a) be the first derivative of -6*a - 3/2*a**2 + 2*a**3 - 1/4*a**4 - 1. Let r be l(5). Is r greater than 4?
False
Suppose -5*n + 4 = -1. Let j be 0 + -13 + 2 + n. Which is smaller: j or -9?
j
Let v be 0 - (0 - 2/(-1)). Which is bigger: v or 4/3?
4/3
Let m be (-1)/1*-2 + -1. Let u be m/3 - 100/12. Is u < -13/2?
True
Let l = -2.3 + -12.7. Let f = l - -14.1. Let s = -1 - f. Which is smaller: 0.1 or s?
s
Let w(g) = g**3 - 5*g**2 + g + 5. Let j(r) = -r**2 - 6*r + 4. Let l be j(-6). Let z be w(l). Is z < -6?
True
Let k = 29 - 29. Let q = 1 - -2. Let h be 5/q + 1 + -2. Which is smaller: k or h?
k
Let i = -5.1 + 4.9. Which is smaller: i or 6/5?
i
Let h = -1/364 + 417/19292. Which is smaller: h or 0?
0
Let v = 0.184 + -0.084. Let k = -0.1 + 6.1. Is v