
True
Suppose 2*s + 14 = 2*f, 2*f = s + 8 + 1. Let w be f*-3*(-15)/9. Let b(t) = -t**2 + 10*t - 1. Let a be b(w). Is -1 greater than or equal to a?
True
Let i = 0 + 1. Let k = 2.11 + -2.3. Let u = k - -0.09. Is u >= i?
False
Let r = 1.2 - 4.2. Let b = 5 + r. Which is bigger: b or 2/5?
b
Let s be (-39)/(-4) - 9/12. Suppose -s*f = -4*f. Let x = -1/30 - 1/6. Do f and x have the same value?
False
Let j be (-744)/40 - (-2)/(-5). Is j less than or equal to -20?
False
Let q be 2*(10/(-2))/10. Is q bigger than 0.019?
False
Let j(k) = -k - 2. Let a be j(-6). Suppose a*m + 6 = 2*m. Let x = m - -9. Is 5 less than x?
True
Let o(h) = h**3 + 4*h**2 - 2*h. Let w be o(-4). Suppose 2 + w = -5*p. Let x = -2 + 2. Is p bigger than x?
False
Let h = 4 - 1. Let m be (3 - h)/(-2 - -3). Let g be (0 + m)/((-2)/1). Is 0 at least g?
True
Suppose -22 = -5*n - 3*q + 4*q, 4*n - 8 = -4*q. Is n < -2?
False
Let l(h) = -h + 14. Let d be l(8). Suppose -3*a = -2*m - 1, 4*a = -d*m + 2*m - 12. Let y = 64 + -450/7. Which is smaller: y or a?
a
Let o be (4 + -2 - 2)/3. Which is bigger: o or -2/47?
o
Let t = 139.94 - 140. Which is smaller: t or 10?
t
Let a = 6.8 + -6.7. Is 1.6 not equal to a?
True
Let t(q) = q**2 + 4*q + 5. Let z be t(0). Let u = 6 - -4. Suppose 0*a = -2*a + u. Is z equal to a?
True
Suppose 0 = -2*j + 1 - 7. Let k be (-22)/(-30) - (-1)/j. Let p be 4/14 + 8/21. Is k greater than or equal to p?
False
Suppose k + 5*b = 47, k - 79 = -k - 5*b. Let o be (1/(-2))/(2/k). Is o != -8?
False
Suppose 2*g = 6*g. Which is smaller: g or 2/29?
g
Let x = 0 - -5. Let b be 2 - (-1 + (x - 3)). Is b bigger than -1/17?
True
Let r(h) = h**3 - 8*h**2 + 7*h + 4. Let q be r(7). Let w = q + -7. Let n(o) = -o - 1. Let y be n(0). Which is greater: y or w?
y
Let t = -5 - -8. Let n(s) = s**3 - 11*s**2 + 2. Let u be n(11). Let q = u - t. Is -1 >= q?
True
Suppose -5*g + 6 - 1 = 0. Which is smaller: 2 or g?
g
Suppose -3*g + 4*f + 15 = 3, 8 = 2*g - 3*f. Suppose 7*a - g*a - 3*x = 48, 2*a - 4*x = 36. Let o be -3 + a/3 + -2. Which is smaller: o or -1?
-1
Let i = 3 - 7. Let y be 363/(-77) + (-2)/7. Are i and y nonequal?
True
Let w be (-1 - 5)*(-1)/(-2). Let s(t) = -t + 8. Let m be s(6). Suppose -7*k = -m*k - 5. Is w < k?
True
Let h(v) = -v + 7. Let f be h(6). Suppose -x + 8 = x, -4*d = -4*x. Suppose f = -2*t + i, 9 = -d*t - 6*i + i. Is -1 less than t?
False
Suppose -f - 53 = -0*y + 2*y, 0 = f - 3. Let j be 7/(y/8) - -1. Let m be ((-15)/18)/((-2)/(-3)). Do j and m have the same value?
False
Let g = -128 + 105. Is -24 > g?
False
Suppose o - 4*o = 18. Let y be 6/9 + (-14)/o. Is y greater than 5?
False
Let t be (8/42)/(3/(-54)). Is -3 >= t?
True
Let r = 2 - -1. Suppose -5*s = 2*s. Suppose s*v = -r*v. Which is smaller: v or -2/9?
-2/9
Let w be (-12)/(-8) - (0 - -1). Let m(r) = -r**3 + 5*r**2 + r + 4. Let q be m(5). Suppose -2*z = -d + 12, 2*d - 5 - q = 2*z. Is w < d?
True
Let g(i) = -i. Let k be g(-5). Suppose 311 = 4*z + k*h - 45, -h = 3*z - 267. Let f = -443/5 + z. Which is smaller: 0 or f?
0
Let g = -2/126991 + 7365828/22223425. Let o = g + 6/25. Which is smaller: 0 or o?
0
Let d be (-8)/(-24) - (-2)/3. Is d < -2/25?
False
Let y = 48 + -146/3. Which is smaller: y or -5?
-5
Let i(j) = -j**2 + 8*j. Let k be i(8). Let f(y) = -y**3 - 2*y**2 + 2*y - 1. Let a be f(-3). Let o = -3 + a. Which is smaller: k or o?
o
Let f = -17779/324 - -10/81. Let r = 53 + f. Which is greater: r or -2?
r
Let w be (20/(-6))/((-10)/(-10)). Is w less than or equal to -2?
True
Let m be (-3*4/(-80))/3. Which is greater: -1 or m?
m
Suppose 0*y + 2*k - 37 = 5*y, 2*y - 2*k + 16 = 0. Which is smaller: -8 or y?
-8
Suppose 5*b + 4*q + 264 = 0, 3*b + 188 = 2*q + 3*q. Let r be (-2)/7 - 16/b. Is -4/3 greater than or equal to r?
False
Let i = -48 + 24. Is i at least -23?
False
Let d(a) = 4*a**2 + 1. Let t be d(1). Suppose 9 = 4*i - t*i. Let j = i - -11. Which is smaller: j or -1?
-1
Let f = 5957/68 + -349/4. Is f <= -1?
False
Let n = 218 + -1094/5. Suppose 0*h = -4*y + 5*h - 33, y + 4*h - 18 = 0. Which is smaller: y or n?
y
Let g(z) = -z**2 - 7*z - 10. Let y be g(-8). Let n be (-6)/20*(-5)/y. Is n not equal to -1?
True
Let j = 8 - 7. Is -2/35 not equal to j?
True
Let b = -4.3 - 0.7. Let k = 45 + -49.8. Let h = b - k. Which is greater: -1 or h?
h
Let z = -3 + 2.96. Is z > 2?
False
Let n be 3/6*0 + -4. Let r = -9 - -5. Is r at most as big as n?
True
Let c be ((-1)/(-2))/(1/(-10)). Suppose 3*y + 16 = -y. Which is bigger: c or y?
y
Suppose 2*f + 10 = -2*n, -3*f + 25 = -8*f + 5*n. Suppose 3*d - 30*d - 108 = 0. Which is smaller: d or f?
f
Suppose -4*u + 10 = 2*q, -4*u = -3*q - 1 - 24. Suppose -t - 3*t + 70 = y, -4*t + u*y = -80. Suppose -t = -4*f - 2. Are 4 and f equal?
True
Let a be (2 - 1) + -1 - (-5 - -5). Which is smaller: 2/39 or a?
a
Let v(o) = 5*o**3 + 1. Let j be v(1). Let i = j + -3. Is i greater than 4?
False
Suppose u - 5 = 0, 2*o + u - 31 = -4*u. Suppose -p + o*p + l = 5, 0 = 3*p - 4*l + 9. Which is smaller: -1/7 or p?
-1/7
Let z = -0.067 + -3.933. Is z at most -5?
False
Let g(h) = h**3 - 5*h**2 + 4*h + 3. Suppose 0 = -d + 4*v + 20, 2*d + 8 = -4*v. Let b be g(d). Let a(f) = -f - 17. Let t be a(-18). Is b less than t?
False
Let g(y) = y + 2. Let b be g(-1). Which is smaller: -2/29 or b?
-2/29
Let t be (6 - 3)/(6/8). Suppose -s + t*n - 15 = 0, 0 = -3*s + 2*s - 4*n + 17. Which is bigger: s or 4/5?
s
Suppose 8 + 0 = -5*i - o, 2*i - 6 = -5*o. Let h be (14/(-21))/(i/(-6)). Is h >= 2?
False
Let f be 4/4 - (2 - 6). Is 3 smaller than f?
True
Suppose 19 = -3*y + 4*w, -5*y - 2*w = -3 - 0. Let d be (-14)/(-2) - (1 - y). Is 3 at most as big as d?
True
Let y be (0 + (-3)/51)*-2. Which is smaller: y or 0?
0
Let f be (-12)/(-10)*(-10)/(-3). Let z(d) = d**3 + d**2 + 3. Let h be z(0). Suppose 3*u - 10 = -7*o + h*o, -10 = -5*u. Is f bigger than o?
True
Let f = -1 - -1. Suppose f*z - 4 = -4*z. Let y be 192/102 - z*2. Which is greater: 1 or y?
1
Suppose 4*t = 16, 5*b = -2*t + t - 316. Let r = b + 1023/16. Which is smaller: -1 or r?
-1
Let f(x) = -x**2 - 7*x - 8. Let o be 1*(-6)/(-1 + 2). Let z be f(o). Which is smaller: z or -3?
-3
Let r = 9 + -4. Let y = 1 - r. Let w = 4 + y. Are w and -4 equal?
False
Let d be ((-8)/(-30))/((-6)/5). Let t = -0.17 - 3.83. Which is smaller: t or d?
t
Let x(w) = -w**3 - 9*w**2 - w - 8. Suppose -4*g + 0*g = 36. Let r be x(g). Let h be (5/(-15))/(0 - r). Which is smaller: 1 or h?
h
Let l be (9/2)/(8 + -11). Are l and 10 unequal?
True
Let g(m) = m**2 + 3*m - 2. Let l = 9 - 13. Let f be g(l). Are 1 and f non-equal?
True
Let g = 70 + -118. Let a be 4/(-10) - g/170. Let n = -7 - -8. Which is smaller: n or a?
a
Suppose -u - 5*d = 23, -2*d + 5*d = -15. Suppose -u*c - 1 = -7. Suppose 0 = -2*r + 6*r + 4*k - 24, -21 = -4*r - 3*k. Is c > r?
False
Let m = -5 + 7. Suppose 2 + m = -2*z. Let v be (6/9)/(z/3). Are -5 and v unequal?
True
Let t(x) be the third derivative of x**6/120 - x**5/12 + x**4/24 - 5*x**3/6 - 2*x**2. Suppose v = -0*v + 5. Let z be t(v). Which is greater: z or -1?
z
Suppose -2*h - 2 - 2 = 0. Which is smaller: -7/9 or h?
h
Let y(n) be the second derivative of n**5/20 - n**4/3 - 7*n**3/6 + 5*n**2/2 + 3*n. Let m be y(5). Let a be 9/(-2) + 4/(-8). Do m and a have different values?
False
Let y(h) = h**3 - 4*h**2 - h - 5. Let w be y(5). Suppose v + 3*b = 6*v + 6, -5*b = w. Is -3 greater than v?
False
Let k(z) = -z + 14. Let h be k(6). Which is bigger: 12 or h?
12
Suppose 5*f = -5 + 25. Suppose -2 = f*d + 18. Is -4 bigger than d?
True
Suppose 2*b + 12 = 6*b. Suppose 4*o = -4*v - 0*v + 36, 0 = -4*v + b*o + 50. Is v >= 11?
True
Let x = 33 - 30. Is 5/3 smaller than x?
True
Let w(n) = -n**2 + 5*n + 2. Let v be w(5). Suppose -5*u = -5*x - 23 - 37, -v*x - 4*u - 6 = 0. Is x >= -9?
True
Let m = 0.21 + -0.21. Is m at most as big as -2/7?
False
Suppose 4 = -3*u + 1. Let o be (4/u - -2)*-3. Let s be 1/(9/o)*3. Does s = 7/5?
False
Let v(m) = 3*m + 26. Let j be v(-8). Is 6/11 greater than or equal to j?
False
Let d = -5 - -8. Suppose -d*y - 2*y = 15. Let q = 4 + y. Which is bigger: -2/11 or q?
q
Let j be (-273)/84 + 6/2. Is -0.62 greater than j?
False
Let o(l) = l**3 + 5*l**2 - 9*l + 8. Let i(w) = -w**3 - 5*w**2 + 8*w - 7. Let f(r) = 3*i(r) + 2*o(r). Let b be f(-6). Which is bigger: -6 or b?
b
Let h = 0 - -2. Let g be 0/h*(1 - 0). Let o be 798/