3 = u, -3*j = -2*b - 5. Which is greater: b or o?
o
Suppose 0*t = -4*l + 3*t - 9, -4*l + 5*t - 15 = 0. Suppose l = -x - x + 4. Suppose 0 = -3*w - 2 + 5. Which is greater: x or w?
x
Suppose 3*o = -o. Suppose -f + 6 + 1 = o. Which is smaller: f or 11/2?
11/2
Let i = 212 + -212.4. Let x = 0.8 - 0.5. Is i equal to x?
False
Let i(x) = x + 0*x**2 - x + x - 1 - x**2. Let s be i(0). Which is bigger: s or -2/5?
-2/5
Let l be (3/(-9))/(20/(-96)). Are 0 and l nonequal?
True
Let y = -935 + 94433/101. Which is smaller: -1 or y?
-1
Let j(m) = -m**3 - 7*m**2 + 0 - m + 4 + 2*m. Suppose 0*x - 28 = 4*x. Let y be j(x). Do y and -3 have the same value?
True
Let z(n) = -n**3 + 11*n**2 + 13*n - 14. Let d be z(12). Do d and 9 have the same value?
False
Let m = 3 + 0. Suppose m*c = -0*c. Do c and 0 have the same value?
True
Let s be 1 + 0 + 378/(-342). Do -6 and s have the same value?
False
Let o be 1/(1903/324) + 26/(-143). Which is bigger: o or -1?
o
Let l be (-20)/50 - (-3)/(-5). Which is greater: 2/13 or l?
2/13
Let x(u) = -u**2 + 3*u + 1. Let t be x(3). Let b be (-3)/(-27)*t/1. Let w(y) = -y**2 + 5*y + 6. Let s be w(6). Which is smaller: s or b?
s
Let a = -0.35 - -0.05. Let p = a + 0.2. Let f = 0.1 + p. Which is smaller: f or 0.2?
f
Let l be 0*(-1)/(2*-1). Suppose 0 = -n - l*n + 5. Suppose -10 - 5 = 5*v, n*y - 3*v = 9. Is -1 > y?
False
Let f be (0 - -1)*(22 - 23). Which is smaller: f or 2?
f
Suppose -4*w + 2*x - 52 = 0, 0 = -w - 0*w - 2*x - 18. Suppose -o = 17 - 5. Let g be w/o - (-2)/(-12). Which is greater: g or -2/3?
g
Let n be 9/(27/12) + -2 + -1. Which is smaller: n or 3/23?
3/23
Let o be 0/1*(-7 - -8). Suppose -j - 5 - 2 = o. Are j and -6 equal?
False
Let a = -1.2 + 1. Let k = 0.3 + a. Let o = -0.6 + 0.2. Which is greater: o or k?
k
Let u be (6 - 4 - -2) + 6. Suppose 4*s + 20 = -f, -f + 3*s - s = -u. Is f < 1/3?
True
Let o = -26 + 26.03. Is 1 smaller than o?
False
Suppose 0 = 6*m - 2*m - 92. Suppose -4*l = -3*h - 2*h + m, 10 = -5*l. Let n(q) = -q + 2. Let u be n(h). Which is greater: -3 or u?
u
Let c be 6*(-2)/27*-3. Are 0 and c equal?
False
Suppose -4*k - 10 = -2*l, 10 = 2*l + 2*k - k. Which is smaller: 10 or l?
l
Let g be (0/(-1) - -5)/1. Let o(z) = z**3 - 8*z**2 - 10*z + 5. Let u be o(9). Let v = 0 - u. Are g and v nonequal?
True
Suppose 5*k = -5*b - 30, -16 = -22*k + 26*k. Let h = -1 - 3. Which is bigger: h or b?
b
Let a = -28 + 29. Are -3 and a equal?
False
Let y(l) = -l**3 - 6*l**2 - 6*l - 2. Let b be y(-7). Let a = 535/6 - b. Which is smaller: 2 or a?
a
Suppose 3*x = 0, f + 4*x - 7*x = 2. Suppose 3*w - f*w = 0. Let m be 1/(-2)*-1*w. Is m less than or equal to 0?
True
Suppose 0 = f + 4*f - 35. Let k be (-1)/(-5)*f/7. Is 1 less than or equal to k?
False
Suppose -3*u + 9 = -3*l, 5*u + 2*l - 1 = -0. Let o be u + -1 - (3 + -3). Is o < 0?
False
Let w(r) = r**2 - 29*r + 29. Let k be w(28). Is k less than or equal to 64?
True
Let l = 65/7 + -9. Let y = -2 - -2. Suppose 3*s - 2*s - 1 = y. Which is greater: s or l?
s
Suppose -16 = -8*y + 6*y. Which is greater: y or 2?
y
Suppose 4*j - 1 = 7. Suppose j*f + 4 = 12. Suppose -f*o = -r + 3*r + 10, 5*r = o - 3. Does r = -1?
True
Let a(s) = s**3 + 3*s**2 - 1. Suppose 6*p = p - 15. Let c be a(p). Let u = -2.0204 + 0.0204. Which is smaller: u or c?
u
Let b = -0.46 - -0.06. Let u = b - -0.4. Is 1 not equal to u?
True
Let q = 114 + -108. Which is smaller: q or -2/17?
-2/17
Let b = 0.51 + 0.09. Let v = b + -0.9. Which is greater: v or 2/5?
2/5
Let j = 15 - 15. Suppose j*x - 4*x = 0. Is x not equal to 2/15?
True
Let l be 52/(-96) + 2/12. Which is smaller: l or 0?
l
Let d be (-5*(-2)/40)/(-1). Let p be (-3 + 9)/(1 + -3). Which is greater: p or d?
d
Let p = 8.2 - 1.2. Let t = p + -8. Which is greater: -0.05 or t?
-0.05
Suppose 29 = -5*h - 4*t, -2*h - 3*h - 5*t - 25 = 0. Which is smaller: h or -8?
h
Let l(x) = -9*x**2 - 23*x - 9. Let b(c) = 5*c**2 + 12*c + 5. Let t(z) = -11*b(z) - 6*l(z). Let i be t(5). Let q = i - 5. Are -1 and q nonequal?
False
Suppose -6 = -2*f - 0*f. Suppose 0 = -m + 5*i + 26, 4*m + 6 = 3*m - f*i. Let y = -12 + m. Is y > -6?
False
Let n be 3/1 + 17/(-4). Let k = -17/20 - n. Which is smaller: 0 or k?
0
Let s be (5/(-15))/((-3)/18). Suppose -s - 8 = u. Let x = 6 + u. Does -4 = x?
True
Suppose 0*p - 3*p + y = -6, 8 = 2*p - 2*y. Let g(v) = v**2 + v - 4. Let f be g(-3). Which is bigger: f or p?
f
Let g(n) = n + 2. Let o be g(1). Let y(i) = -i - 4. Let f be y(-5). Is o != f?
True
Let s be ((-2224)/168)/((-16)/(-3)). Let c = s - -21/8. Is c bigger than 1/4?
False
Let z(a) = -2*a**2. Let s(x) = x. Let k(f) = -s(f) + z(f). Let d be k(0). Which is smaller: d or -5/7?
-5/7
Let a = 1.8 + -1.9. Which is smaller: -5.5 or a?
-5.5
Let m(y) = -y**3 - 6*y**2 - y - 8. Let j(t) = -t**2 + 5*t - 6. Let d be j(5). Let k be m(d). Let q be ((-2)/k)/(-2*1). Is 1 bigger than q?
True
Let v = 2/55 + 214/165. Let b = 4 + -1. Suppose 0*u + b*m + 4 = 5*u, 4*u + 5*m = 18. Which is smaller: u or v?
v
Let r = 11 + -12. Suppose 4*f = 4*s + 32, s - 3*s = 5*f - 12. Let y be (3/6)/((-7)/s). Is y <= r?
False
Let f be -3 - (60/(-10) + 2 + -1). Is f > -0.01?
True
Let b(n) = 0*n + 1 - 2*n + 5*n + 0*n. Let r be b(3). Which is greater: 0 or r?
r
Let p be 2/3 + 25/(-15). Let o(t) = -6*t + 1. Let a be o(p). Let w = -8 + a. Which is smaller: 1/9 or w?
w
Let b be (0 - (-1)/(-4))/(1/2). Which is smaller: b or 0.5?
b
Let j be (-10)/(-1)*42/(-135). Which is smaller: -4 or j?
-4
Suppose 9 = 5*v - 2*v. Suppose 8 = 5*p + v. Let g be ((-1 + 0)*1)/4. Is g < p?
True
Let d = 84 - 86. Do 0.4 and d have the same value?
False
Let i = -1 - -1. Let w = 5 - 4.96. Which is smaller: w or i?
i
Let n = -3140 - -511818/163. Which is greater: 0 or n?
0
Let n = -5 + 5. Is 0 <= n?
True
Suppose 3*f + f - 13 = -c, -c + 2*f - 5 = 0. Let v be 0*(c + -5)/8. Is 1 >= v?
True
Let i be 3 + (0 - (12 - 0)). Which is bigger: -7 or i?
-7
Let a(x) = -2*x + 17. Let y be a(7). Are y and 2 non-equal?
True
Let o = 14 - 10. Suppose n - o = 3*n. Is n >= -2?
True
Let p = -21 - -21. Which is smaller: p or -4?
-4
Let g be (-741)/1185 - 3/(-5). Let h be ((-1)/(-3))/(((-30)/(-9))/10). Which is smaller: g or h?
g
Let t be (-1 - (-12)/4)/(51/(-1)). Which is greater: -1 or t?
t
Suppose 3*d - 9 = 6. Suppose -2*l = -d*z - 3, 5*z - 2*l - 25 = -7*l. Let x be (-4)/(-6) + (-10)/18. Which is smaller: z or x?
x
Let d be 2/50*(8 + -4). Which is smaller: d or 1?
d
Let o be (11/5)/((-2)/(-10)). Suppose z + 2 = o. Is z smaller than 10?
True
Let q = 28 + -28. Is q > -14?
True
Let g(k) = -k**2 - 10*k - 10. Let p be g(-8). Let z(x) = x**3 - 7*x**2 + 6*x + 1. Let v be z(p). Let c be (6/9)/((-7)/(-6)). Which is smaller: v or c?
c
Let k = 121.16 - 117. Let m = 4 - k. Let r = m + -0.04. Is -1/3 != r?
True
Let d be -3*(46/15)/(8/(-40)). Which is greater: 47 or d?
47
Let l(t) = 2*t + 8. Let x be l(-6). Let a be (-10)/4*x/(-20). Let z = 0.03 - -0.07. Is a at least as big as z?
False
Let l = 4.9 + 0.1. Let k = 7 - l. Let p = 11 + -8. Which is greater: k or p?
p
Let m = 53/2 - 267/10. Which is greater: -1 or m?
m
Suppose 2*p - 4*x - 32 = 5*p, x = -2*p - 28. Let a = 15 + p. Is a < -1/26?
True
Let k be 6/(-21) - 66/14. Let h(i) = i + 4. Let r be h(k). Is r at most -2?
False
Let x = 3.44 + -0.44. Which is smaller: x or -3?
-3
Let n be 2*(2 - (-5)/(-2)). Which is smaller: n or -3?
-3
Let z be (-2)/10 - 232/40. Let l = z - -7. Is l greater than -1/5?
True
Let t be -2 - 0 - 6/2. Let k be (2 + t - -1)*-2. Let x be (-3)/(-4)*(3 - -1). Which is smaller: k or x?
x
Let a = -1 + -15. Let y = 7/6 + -3/2. Is y at least as big as a?
True
Let w = 10 + -7. Suppose -2*h + h + 16 = -w*o, -h - 14 = 3*o. Let x = h - 2. Which is bigger: x or 0?
0
Let c = 15 + -25. Let m(v) = v**2 + 10*v + 2. Let o be m(c). Suppose -5*y + 4 = 3*n, 5*y - n - 16 = 2*n. Are o and y equal?
True
Suppose 8*p = 20*p + 12. Is p smaller than 2/89?
True
Suppose -8 = -2*h - y - 3, -4*h = -2*y + 10. Let p be h/(-1 - 2/1). Which is smaller: -1 or p?
-1
Suppose 0*r = 4*r - 4. Let p = 136 + -547/4. Let t = p + r. Which is smaller: 1 or t?
t
Suppose 8 = c - 5*c. Suppose -10 = l - 6*l. Suppose -3*t = 8 - l. Is c greater than or equal to t?
True
Suppose 3*w - 4*f = 50, 3*f = -3*w - 0*f + 36. Is w > 14?
False
Let b(l) = -l**3 - 3*l**2 - 8*l**2 - 12*l - l**2 - 11. Let c be b(-11). 