5. Suppose -5*n + 7 = -c*b, -n + h = -b + n. Are b and 2/3 non-equal?
True
Suppose 5*i + 10 = -20. Let q be 7 + i + 6/14. Which is smaller: 1 or q?
1
Let d be 1/((-22)/(-26)) - 1. Let b(a) = -3*a**2 - 5*a + 5. Let q(h) = h**2 + 3*h - 3. Let c(n) = -2*b(n) - 5*q(n). Let r be c(4). Is r less than d?
False
Let w be (15/(-5))/(2/(-6)). Let x = 8 - 3. Suppose 6 = x*j - w. Which is smaller: j or 2?
2
Let h be (-2)/8 + 127/12. Let o = -5923/660 - 51/44. Let z = o + h. Is z less than 1?
True
Let b = -22.4 - -18. Let o = b + 9.3. Let q = 5 - o. Does 1 = q?
False
Let c = 235 + -234. Let x = 0.4 + -2.4. Which is smaller: x or c?
x
Suppose 5*u = 4*q + 19, 4*q - 4*u = -13 - 7. Let h = q - -10. Suppose 0 = 4*o - 20. Which is bigger: h or o?
o
Let y be 6/(-21) - 16/(-7). Is y bigger than -2?
True
Suppose 4*l - 78 = 10. Let x = -14 + l. Are 6 and x equal?
False
Let x be 2/3 + 13/3. Suppose 2*f = 1 + x. Suppose y = f*y. Which is smaller: -1 or y?
-1
Let b be 14/56*(-4)/(-1). Is 3/13 <= b?
True
Let s = 30 - 59/2. Let i be (-12)/2*(-4)/12. Which is greater: i or s?
i
Let h = -7 + 9. Let d = -0.2 - -0.3. Let a = d + 1.9. Is h bigger than a?
False
Let l = -99 - -102. Suppose 2*j + 4*u + 8 = 0, -2*j = -7*u + 2*u - 28. Which is bigger: j or l?
j
Let h = -0.06 + 0.66. Let a = -9.6 + h. Is -2 greater than a?
True
Let y = 6 + -9. Let w = 19 - 13. Let a = w + -4. Which is smaller: y or a?
y
Suppose 5 = -5*z - 0*z. Let o be (11/(-9) - z)*-12. Is o at least 2?
True
Suppose -3*u + 80 = 2*u. Suppose v - 2*i = -4, -4*v + 2*i + 6 - u = 0. Let n be -3 + (3 - (-2 - v)). Is -1/2 at least as big as n?
False
Let x(v) = 2*v - 3. Let w be x(2). Let m = w + -2. Let p = 3 + m. Which is bigger: p or 4/5?
p
Let b = 0.8 - 1. Is b != 0?
True
Let v(b) = -b**2 + 10*b - 8. Let p be v(9). Is p less than 2/21?
False
Suppose -117*q + 118*q + 51 = 0. Which is smaller: -50 or q?
q
Let x = 91 - 634/7. Which is greater: -4 or x?
x
Let z = -86 + 343/4. Let p(l) = -l**2 - 2*l - 1. Let q be p(-1). Suppose q = -2*x + x - 1. Which is bigger: z or x?
z
Let l be 16/9 - 4/(-18). Suppose 5*g + 21 = -9. Which is greater: g or l?
l
Let z = 10/7 - 27/14. Which is bigger: z or 14?
14
Let w be 9/(-81) + (-2)/6. Let j = -12 + 13. Is w greater than or equal to j?
False
Suppose -5*p = 3*f - 112, 4*f - 41 = -p - 5. Let n = 2 + 17. Are n and p unequal?
True
Suppose -4*z = 3*h + 4, -2*z - 8 = 2*h + 2*z. Let d(p) = p**2 + 12*p + 25. Let n be d(-10). Is h at least as big as n?
False
Let p(x) = -x**3 + x**2 + 3*x - 1. Let t be p(2). Let w = -5.02 - -0.02. Let d = 5.04 + w. Which is smaller: t or d?
d
Let i be (-9)/27 + 242/672. Let d = i + 167/2128. Let l = -2 - -1. Which is bigger: l or d?
d
Let p = 0.02 - 0.22. Which is smaller: -0.3 or p?
-0.3
Let l = 0.2 + -0.4. Let g(x) = -x + 6. Let i be g(8). Let h be 1/i + 33/42. Which is bigger: h or l?
h
Let y be -3*(-2 + 40/21). Let p = 3/47 + -115/329. Which is smaller: y or p?
p
Suppose c + 79 = -3*k - 0*c, 0 = 3*c - 15. Are k and -28 unequal?
False
Suppose -4*n = -2*y - 16, 0*y - n + 4 = -3*y. Which is bigger: y or 2/13?
2/13
Let b = 3 - 3.1. Let g = 3/44 + -25/44. Is g >= b?
False
Let s = 6/59 + 967/354. Which is greater: 4 or s?
4
Suppose -20 = 6*f - 32. Which is bigger: f or -27/4?
f
Let v(q) = -2 + 17*q - 4*q**2 - 4*q + 3*q**2 + 3. Let j be v(13). Let u = -5.1 + 0.1. Which is greater: u or j?
j
Let l = -24 - -24. Is l bigger than -0.1?
True
Suppose 3*u - 8*u - 3*c + 78 = 0, u = 3*c + 30. Is 16 not equal to u?
True
Let b = -9 - -8. Let a = 4 - b. Is a < -0.1?
False
Let i = 49 - 65. Which is smaller: i or -15?
i
Let k(x) = x**3 - x**2 + 3. Let z be k(3). Let n be 6/z - 80/(-14). Let a be 2/(-8) + n/(-40). Is a less than or equal to -2/5?
True
Let z be ((-8)/18)/(4/(-6)). Is z bigger than 22?
False
Let m(j) = j**2 + 9*j + 3. Let k be m(-9). Suppose -4 = -k*w + 5*w. Let l be (-40)/(-42) - w/(-7). Is 1 not equal to l?
True
Let h be (3/14)/((-27)/(-12)). Do 0 and h have different values?
True
Suppose u - 6 = 5*j, 13 - 1 = 2*u - j. Let l = -7 + u. Let z be (-3)/(-6)*0/(-2). Is l bigger than z?
False
Let o = 29 + -28. Suppose -q - 8 = -l, -4 = -5*l + 3*q + 28. Are l and o equal?
False
Suppose 2 + 0 = 2*g. Let v be -1 + 0/(-1 - g). Which is smaller: v or 2/31?
v
Let o = 2 - 2. Which is smaller: 9/8 or o?
o
Let b = -7 + 7.05. Let u = 0.15 - b. Which is greater: u or -3/5?
u
Let z(h) = h**3 - 2*h**2 - 3*h + 4. Let g be z(3). Suppose -4*a - 92 = -4*x, -g*x = -7*x - 2*a + 44. Let b be x/(-56) + 1/(-4). Which is smaller: -1 or b?
-1
Let j = 3.4 - 3. Let x = 0.88 + -0.18. Let s = j - x. Is s < 2/5?
True
Suppose 2*o - 5 = o. Suppose -4*u - 4 = 0, 2*i = 4*u + 11 + 7. Let f = i - 1. Which is greater: o or f?
f
Let w(f) = -f**3 - 6*f**2 - 4*f - 2. Let r be w(-5). Let k be (0 - 1/r)/1. Which is smaller: k or 0?
0
Let m(f) = -f**2 + 20*f + 3. Let q be m(20). Which is smaller: -2 or q?
-2
Let o = 4 - 2. Suppose 0 = o*z, -4*f - 3*z + 3 = -1. Is -1/3 at least as big as f?
False
Let r(g) = -2 + 3 - 5 + g**2 + 3. Let f be r(-3). Let i be 18/f + 1*-2. Which is smaller: 0 or i?
0
Let w(t) = 2*t**3 - 4*t**2 + 3*t + 3. Let r be w(3). Suppose -o + r = -5*a - 4*o, -o = -5*a - 30. Is -5 < a?
False
Let k be 2/(-4)*0/1. Suppose 5*b = -k*b + 5. Let o = 769/18 - 85/2. Which is bigger: b or o?
b
Let a = 10 - 8. Do 0.2 and a have different values?
True
Let c = 9 - 10. Let g be -1 + ((-1)/c - 1). Which is smaller: -4/7 or g?
g
Let m be 2 + 3/3 - 2. Suppose -5*p - 6 = -m. Let r = 0 + p. Are r and 2 equal?
False
Let o = 1 + -4. Let r be 3 + -4 - o/9. Is 1.1 at most as big as r?
False
Suppose -4 - 6 = -5*j. Let t = 0 - j. Let g be 10/18 - t/(-9). Which is smaller: g or -1?
-1
Let s = 1.097 + -0.047. Which is smaller: s or 0.1?
0.1
Let h be 1/(-2)*(-1 + -9). Let x be ((-3)/2)/((-7)/14) - -3. Which is smaller: h or x?
h
Let l = -30 + 71. Is l less than or equal to 41?
True
Suppose -14 = 3*u + 1. Let d(s) = s**2 + 2*s - 10. Let x be d(u). Is x less than 5?
False
Let g = 186 - 2789/15. Do g and 0 have the same value?
False
Let i be (0 - -1)/(25/(-10)). Suppose -4*k + x = -3, -5*k + 3*k - 2*x = -4. Which is greater: k or i?
k
Suppose -4*w - 41 = 2*m - 5*m, 5*w = 4*m - 56. Is m at least 20?
False
Let o(u) be the third derivative of -5/24*u**4 + 0*u - 2/3*u**3 - u**2 + 0 + 1/60*u**5. Let g be o(6). Are 1/2 and g unequal?
True
Let m be -4*1/(-6) + 2/6. Is -6 greater than m?
False
Let u = -20 - -24. Suppose 0 = -4*z - 3*s + 13, 8*s = -4*z + u*s + 16. Do -1/4 and z have the same value?
False
Let c be -1*1 - (0 + 4). Let a be -8*1*(-12)/(-16). Which is smaller: a or c?
a
Let s(b) = -2*b**2 + b - 15. Let h be s(3). Which is greater: -31 or h?
h
Let n = 27 - 17. Is 10 at least n?
True
Let n(y) = y**3 - 9*y**2 + 8*y + 4. Let t be n(8). Suppose -2*z - 17 = -t*s + s, -12 = -2*s + z. Are 1/2 and s unequal?
True
Let k = 13 + -13.1. Let h = -8 - -23. Suppose -i = -4*i + w + 5, h = i + 3*w. Which is greater: k or i?
i
Suppose 3*d + 4*c + 14 = 0, c = -3*d - 0 + 1. Which is smaller: 1 or d?
1
Let n = 4.92 - 5. Let o = n - -0.03. Let m = 0.05 + o. Which is bigger: m or -0.02?
m
Let g = 1977/55 + -182/5. Is g greater than 0?
False
Let m = 140 - 119. Which is smaller: m or 2?
2
Let i be 2*-1 + 114/12. Let c = -43/6 + i. Which is bigger: c or 2/13?
c
Let i(c) = -4*c - 2. Let h(w) = 8*w + 5. Let t(q) = 3*h(q) + 7*i(q). Let x be t(1). Do x and -8/5 have the same value?
False
Let y(j) = -j**3 - j**2 + 3*j + 2. Let i be y(-2). Let q = i - -1. Which is greater: 1/4 or q?
q
Suppose 2*b = -3 - 3. Is -5 != b?
True
Let g be (-9 + 8)/(-79*2/4). Which is bigger: g or -1?
g
Let b = -22 + 27. Let a be 9/b + (-1 - 1). Which is smaller: 0 or a?
a
Let d be (-4)/(-14) + (-24063)/63. Let z = -378 - d. Suppose 5*u = 4*r - 27, -2*u + 5*u = -9. Which is smaller: z or r?
r
Suppose -3*o + 79 + 44 = 0. Which is bigger: o or -1?
o
Let j = -99 - -108. Which is greater: 3 or j?
j
Let a(j) = -6*j**2 - j - 1. Let x be a(-1). Let p be x/(-45) - 68/60. Is p less than -2?
False
Suppose 3 = 6*p - 5*p. Suppose 12 = 3*w - p*r, 2*w - 4*w = 4*r - 8. Suppose 0 = -3*c + 4*o + 3, -3*c - 2 = -5*c + w*o. Is -2 smaller than c?
True
Let w be (1/(-5))/(8/20). Which is smaller: w or 2.3?
w
Let x = 30 + -32. Which is greater: x or -3?
x
Let m be ((-2)/2)/55*514. Let u = m + 94/1