se 0 = 4*t - 3 - 5. Suppose 2*p = -t*k + 6, 5*p - 8 - 2 = 0. Is 4/9 >= k?
False
Let j be 1 + (11 + -1 - 2). Let v be (6/j)/((-5)/3). Which is bigger: 0 or v?
0
Let d = -18 + 35/2. Suppose 0*v - v = -5. Suppose v*g - g + 4 = 0. Which is smaller: g or d?
g
Let d be -2 + 2 - 47/2. Let b = 22 + d. Let n(h) = h**2 - 4*h + 1. Let x be n(2). Is b > x?
True
Let s = 0.8 - 0.2. Let k = s - 1. Let i = k + 0.5. Is 2/11 less than or equal to i?
False
Let u be ((-2)/3)/(6/(-9)). Let i(c) = -7*c. Let t(s) = 6*s - 1. Let a(d) = 5*i(d) + 6*t(d). Let p be a(6). Which is greater: p or u?
u
Let s be ((-12)/(-8))/((-3)/(-16)). Let c be 6/24 + 14/s. Suppose -2*h + 4 = 5*z + 12, 0 = c*z + 5*h - 1. Is z greater than -6/7?
False
Let c = -15.01 - -0.01. Let o = c + 13. Let r = -2 + 4. Is r <= o?
False
Let k be ((-6)/4)/(2/4). Let w be -1 + ((-7)/(-3) - 1). Is w greater than k?
True
Let c(w) = 2*w**3 - 2*w**2 - 4*w + 1. Let p(z) = z**3 - 3*z**2 - 4*z + 1. Let h(v) = -2*c(v) + 3*p(v). Let r be h(-4). Is 6/13 not equal to r?
True
Let d = 0.011 + 1.989. Is 2/29 != d?
True
Let r = 8/925 - -20987/33300. Let c = r + -8/9. Which is smaller: c or 2/11?
c
Let b = -9 + -16. Which is bigger: -26 or b?
b
Let f = -9 - -6. Let y = f - -3.01. Is y >= 1?
False
Let a be (-48)/27 - (-6)/(-27). Which is smaller: a or 0.16?
a
Suppose 5*t = -3*f - 16, 0 = f - t - 7 - 1. Suppose 2*l - 11 = -w, 16 = w + f*w + l. Suppose 10 + 5 = -2*v + w*g, 4*v - 5*g + 25 = 0. Which is smaller: 1 or v?
v
Suppose 4*c + 24 = -4*w - 76, -2*c = 10. Is -21 bigger than w?
False
Suppose 5*c = 2*a + 9*c - 4, -5*c = a - 5. Which is greater: -3/80 or a?
a
Let t be ((-6)/(-9))/(10/15). Is -3/25 bigger than t?
False
Let y = 0 + 2. Let o be (-1)/y*(2 + -2). Let g = -16 + 18. Are o and g unequal?
True
Suppose -n - 3*p - 7 = 0, -2*n + 0*p = 2*p - 2. Let y(x) = 2*x**2 - 9*x - 2. Let v be y(n). Suppose 5*q = 3*q + 6. Do q and v have the same value?
True
Let o be 3 + (60/8)/(-3). Let g(p) = -p - 6. Let l(s) = -s**2 - 2. Let j be l(2). Let m be g(j). Is m at least as big as o?
False
Let y = -82 + 82.3. Is 14 equal to y?
False
Suppose -3*b - 2 = 4*h, -3*h = -2*b + 3 - 10. Let u(d) = d**3 - 4*d**2 + 3*d - 6. Let x be u(4). Suppose -2*v = -x*v - 16. Is b at least as big as v?
True
Suppose 4*h + 561 = 3*v + 193, -5*h + 5*v = 465. Which is bigger: -91 or h?
h
Let d = -1 + 1.1. Suppose -2*n - 3*i = -15, 0*i - 2*i + 10 = -n. Let t be (-6)/9*3 - n. Which is smaller: t or d?
t
Let y = -94 - -90.3. Let b = 4 + y. Let k = b - 0.4. Is -0.1 >= k?
True
Suppose 0 = 5*o - 2*v + 13 + 20, 5*v = o + 25. Is o equal to -3?
False
Let b = -50 + 52. Let h(n) = n**2 - 5*n + 1. Let z be h(5). Let w be z/((1 + 1)/b). Is 2/23 smaller than w?
True
Let v = -201 + 4624/23. Is v < -1?
False
Suppose 2*u - 5 = 1. Suppose u*z + f - 133 = 23, 5*f + 208 = 4*z. Let m be z/80 - 4/10. Which is bigger: m or 0.1?
m
Let x = -13 - -6. Let j = 12 + x. Which is bigger: j or 0?
j
Let m be (-3 - -2)*(2 - 0). Let v be -2 - (-8)/(-4)*-1. Suppose 5*l - 2*b + 3 = v, -4*b = -l - 4*l - 1. Which is smaller: l or m?
m
Let d be -1 + 9 - (3 - 4). Which is bigger: d or 5?
d
Let n = 43 - 43. Which is greater: -1 or n?
n
Let s = 120/77 + -14/11. Let a = 2 - 1. Which is greater: a or s?
a
Suppose -1 = k, 0 = m + 4*k - 0*k + 3. Which is smaller: m or 1/33?
1/33
Let o(h) = -h**2 - 3*h + 13. Let g be o(-5). Is 1 bigger than g?
False
Let a = -18 - -17.9. Let z = -4 - -7. Which is bigger: z or a?
z
Let v = 5 - -1. Suppose 8*w - v = 5*w. Are 2 and w nonequal?
False
Let n be 0 - 5/((-15)/6). Let x(w) = w**2 - 5*w + 6. Let i be x(5). Suppose 0*m - i = 3*m + 3*z, 0 = 2*m - n*z. Which is greater: m or -2/5?
-2/5
Suppose 425 = 37*s - 32*s. Which is smaller: s or 86?
s
Let t be ((-3)/(-3))/((-2)/(-6)). Suppose -t*f = -2*f. Do f and -2 have different values?
True
Let v = -3 - -6. Suppose -3*i + 15 = -6*i. Let o = i + 7. Is o smaller than v?
True
Let i(z) = -z**3 - 5*z**2 + 6*z - 4. Let a be i(-6). Which is smaller: -3 or a?
a
Let p(x) = x**3 + 7*x**2 - 7*x + 4. Let b be p(-8). Let l be (b - -2) + 0 + 15. Suppose l - 5 = 2*v. Which is smaller: 3 or v?
3
Let u = -3 - -2.97. Let f = 0.97 - u. Let v be 1/(-3) + 7/39. Is f at least v?
True
Let o = 8/17 - -1/34. Is 5/3 < o?
False
Let o = -107 + 113.1. Let b = o - 6. Suppose 5*p - 9 = 1. Which is smaller: p or b?
b
Let d = 60 - 18. Is d at least -1/5?
True
Let v(y) = -y**3 + 2*y**2 - 4*y + 5. Let u be v(2). Suppose 5*n + 26 = -3*r, 5*n - 2 = r - 20. Which is greater: r or u?
r
Suppose -6*l + 3*l = 0. Let h(t) = -t**3 + 4*t**2 + 2*t - 3. Let c be h(4). Suppose -5*a + 2 = -c*o - 3, -3*a - 13 = 5*o. Which is smaller: l or o?
o
Let q(j) = -j**3 - j**2 - 1. Let v be q(0). Let f(a) = a**3 + 5*a**2 + 5*a + 1. Let s be f(-4). Is s less than or equal to v?
True
Let l be 4 + -8 + (-1 - -2). Which is smaller: l or -2?
l
Let c(r) = 3*r + 8. Let d(s) = -s**3 - 4*s**2 + 3*s + 6. Let f be d(-4). Let x be c(f). Let o be 3/15*x/(-8). Is o < 0?
False
Let p = 0.6 - 1.6. Let b = -90 + 89.94. Which is bigger: p or b?
b
Let w(s) = -s - 6. Let h be w(-8). Suppose 0 = 2*b - 2*i + 18, -8 = -h*b - 5*i + 2. Let p = -13 - -9. Do p and b have different values?
True
Let g = -0.107 + 0.147. Which is smaller: 0 or g?
0
Let j be 4*(-4)/(48/(-9)). Suppose j*a + 0*t + 7 = -4*t, -20 = -4*a + 2*t. Let q be (1/a)/(4/36). Is q smaller than 4?
True
Let l(o) = o + 16. Let u be l(-14). Let t be (-1)/(-3) - (-8)/3. Suppose -2*n - 5 = -t, -3*n - u = -y. Is y bigger than -1?
False
Let f = -1/16 + -7/16. Let p(h) = 7*h - 2. Let u(i) = 6*i - 2. Let r(n) = -5*p(n) + 6*u(n). Let s be r(3). Is f at most as big as s?
True
Let s = 19 + -18.9. Which is smaller: s or -3?
-3
Let u(z) = 3*z**2 + 4*z - 5. Let p be u(-4). Let b be (-4)/(-18) + 129/p. Is 4 < b?
True
Let w be (-4)/((-4)/(-3)) + 12. Suppose w = y - 0*r + 5*r, -4*y - 2*r = 0. Are -2 and y nonequal?
True
Let r = -2 - -3. Let q be -1*((-1)/(-3) - r). Let n = -0.41 + 2.41. Which is smaller: q or n?
q
Let h be 5 - 2 - (9 + 1). Let x = 4 + h. Is -3 < x?
False
Let a(z) = 8*z. Let s be -1 - 2*(4 + -3). Let j be a(s). Let n be (1/2)/(3/j). Are -2 and n nonequal?
True
Let p = -2 - -2.3. Let z = p - 0.1. Let s = z + 0.8. Is s < -1?
False
Suppose -3*m + 72 - 75 = 0. Let f be (3/21)/(0 - -1). Is m >= f?
False
Let h(x) = 13*x - 2. Let b(z) = -7*z + 1. Let t(o) = 11*b(o) + 6*h(o). Let w be t(-2). Let d = -1842 - -3679/2. Which is bigger: d or w?
d
Let v = 2017/18 + -112. Which is smaller: -1 or v?
-1
Let i be (5 - 2)*-2 + 2. Let u be (-1)/i - (-1)/(-4). Let v = -1 - 1. Which is smaller: v or u?
v
Let a = 0.3 + -0.2. Let h = 2.53 - 2.5. Which is smaller: h or a?
h
Let v be (2 - -5) + -2 + 12 + -10. Which is greater: 5 or v?
v
Let h(g) = -g**2 + 10*g - 9. Let q(y) = y**3 + 5*y**2 + 3*y + 3. Let t be q(-2). Let u be h(t). Which is greater: 2/7 or u?
2/7
Let u be ((-2)/(-3))/(15/(-9)). Which is smaller: 1 or u?
u
Let s = -207 - -435/2. Let w = -111/10 + s. Is -1 less than or equal to w?
True
Suppose 0 = -2*n - 0 + 4. Let u be (n/8)/((-2)/(-8)). Is -2/5 smaller than u?
True
Let f be ((-2)/(-3 + -75))/(2/4). Which is greater: 1 or f?
1
Let u be ((-6)/(-5) - 0)*(-35)/(-98). Let p = -2 + 4. Which is greater: u or p?
p
Let x = -17 + 3. Let f = 0.01 - 0.01. Which is smaller: f or x?
x
Let k = 6 + -16. Let i = 8 + k. Is i > -1/5?
False
Suppose -3*j = -j. Do 0 and j have the same value?
True
Let y(d) = d**2 - d - 20. Let t be y(6). Which is smaller: 9 or t?
9
Suppose 0*o + 9 = 3*o. Let t = 1 - -7. Suppose -o*g = g + t. Is 0 greater than g?
True
Let x = 2 + 8.8. Let s = x + -11. Let h be -1*(-1 - (-10)/8). Which is bigger: s or h?
s
Let i be 7 - ((-2 - -1) + 4). Let f be (14/i)/((-1)/4). Let g be 10/f + (-4)/14. Are g and -2 unequal?
True
Let q be (3 - 5)/(4/2). Let s = -407/9 + 45. Which is smaller: q or s?
q
Let l(z) = -z + 6. Suppose -w + 10 = w. Let o be l(w). Suppose -2*x - x = 4*g + 7, 3*g - 2*x + o = 0. Which is smaller: 2/5 or g?
g
Suppose -3*t = -5*t - 4. Let s(l) = l**2 + 2*l - 1. Let p be s(t). Let i be (-4 - -4) + (p - 0). Are -3 and i nonequal?
True
Let s be (-24)/(-30)*(-15)/22. Is s > -2?
True
Suppose -w - 3*w + 8 = 3*g, 8 = 4*w - 2*g. Suppose 5*o - 5 = d, -29 = w*o - 4*o - 5*d. Which is smaller: o or 5/3?
5/3
Let m(j) = -j**2 + 2. Let x(c) = c + 8. Let w be 