 is bigger: -1 or o?
o
Suppose -2*l - 3*l + b + 3 = 0, -5*l + 6 = -2*b. Is l != -3/47?
True
Let c be 4 + ((-58)/7)/2. Let g = -1 + 0. Do c and g have the same value?
False
Let z be (-4)/(-6) + 0/4. Is z equal to 0.1?
False
Suppose -5*m + 6 = 1. Suppose 2*u = 1 + m. Let q be (1 - 0)*(-2 - -4). Which is smaller: u or q?
u
Suppose -63*v + 69*v = -48. Are v and 0.03 nonequal?
True
Let c(q) = q**3 - q**2 + 2*q - 1. Let p be c(1). Let z = 69 - 66. Are p and z unequal?
True
Let h(v) = 5*v**3 + v**2 - v. Let r be h(1). Suppose 0 = r*u + 10. Let x be (1*u)/(7*-2). Is x < 0?
False
Let l(p) = -p**2 - 7*p - 8. Let k be l(-6). Let d = 3 + k. Let i = -1.24 - -0.24. Is d greater than or equal to i?
True
Let z = 0.4 - 0.2. Let o = 0.3 + 2.7. Is o < z?
False
Let x(d) = d**3 + d - 126. Let u be x(0). Let y be 10/u + 1/(-7). Let c = -5/18 + y. Which is bigger: 1/5 or c?
1/5
Let d = -1.73 + 0.73. Which is greater: 25 or d?
25
Let f = 1 - -3. Let h = f - 1. Let k = 3 - h. Do -1/3 and k have different values?
True
Let m = 0.4 + 1.6. Is m at least as big as -7?
True
Let g(k) = k**2 + 3*k + 1. Let y be g(-2). Let l be (-1 + y + 0)/(-6). Let o = -17 + 16. Which is greater: l or o?
l
Let k = -1 - 3. Which is bigger: k or -5?
k
Suppose -3*d + 2*d = -1. Let s be -3 - (-67)/23*1. Which is bigger: d or s?
d
Let g = 0.7 - 1.7. Let f = 1.4 + -0.5. Let w = g + f. Which is bigger: w or 1?
1
Let b = 2.6 + 2.4. Let d = 1.7 - 6.8. Let r = b + d. Which is smaller: 6 or r?
r
Suppose 8 = 5*n - 7. Suppose 4 = -u + n. Is u <= -1/3?
True
Let r(v) = -v**2 + 3*v - 2. Let h be r(2). Let m = h + 4. Suppose -3 = -y - w, m = -y + 5*w - 5. Which is smaller: y or -1/5?
-1/5
Let w = -0.01 + 18.01. Let x = 19 - w. Which is smaller: -2/25 or x?
-2/25
Suppose 3*g + 24 = -0*g. Let a be (-2)/3*(-6)/g. Is a at least as big as 1/2?
False
Let s be (57/76)/(6/16). Are s and 4/3 non-equal?
True
Let c = 10 + -8. Suppose 5*v - 4*r + 38 = -7*r, c*v + 5*r = 0. Let i be v/(-5)*2/(-4). Which is smaller: i or -3?
-3
Let y = 0.8 + -0.7. Is y less than or equal to -1/5?
False
Suppose -3*z = 12, -m + 27 = -5*z + 182. Let c be (36778/(-30))/(-7) - 0. Let s = c + m. Does 0 = s?
False
Let y = 23 + -23.02. Which is smaller: -1/5 or y?
-1/5
Let y = -0.03 + 5.03. Let o = -3 + y. Let q = 2 - o. Are q and -1/3 unequal?
True
Suppose -z - 2*z + r = 5, -15 = 5*z + 5*r. Suppose 4*p = -11 - 5. Which is smaller: z or p?
p
Let c(q) = -q**3 + q + 11. Let f be c(0). Let r = 23/2 - f. Is r bigger than 2?
False
Let p = 832/5 + -167. Suppose 3*l = -a + 2*a + 2, -11 = -4*l + 3*a. Let n = -1 + l. Which is smaller: n or p?
n
Suppose -75 = -11*z + 6*z. Does z = 15?
True
Let k(o) = o**2 - 11*o + 17. Let u be k(9). Let p = 71/7 + -795/77. Is p < u?
False
Let d(n) = -14*n - 1. Suppose v + 3 = 2*a + 4, 2*a = -2. Let i be d(v). Is i less than 14?
True
Let i be 28/8*(-6)/3. Let d = 5 + i. Are d and 0 non-equal?
True
Suppose 5*z = 40 + 15. Which is greater: z or 12?
12
Let r = -326/9 - -36. Which is smaller: r or 0.1?
r
Let z = 97/77 + -17/11. Let a = 0 - -0.2. Let w = 0.2 - a. Is z < w?
True
Let b be (8/(-20))/(2/30). Let h = b - -4. Which is greater: -3 or h?
h
Suppose 1 - 7 = -2*u. Suppose 2 = u*z - z. Which is smaller: 4/9 or z?
4/9
Let h be (-1 + 12/8)*0. Is h smaller than 1/12?
True
Suppose -5*l + 5 = -45. Let q = 6 - l. Let b = 3 + q. Which is greater: 2/5 or b?
2/5
Let a(n) = 2*n**3 - 3*n**2 + 3*n - 11. Let i be a(2). Let z = 27/196 + 3/245. Which is smaller: i or z?
i
Let w = -51 - -51.4. Which is smaller: 7 or w?
w
Suppose 5*l = 24 + 71. Let x = 19 - l. Which is smaller: -6/5 or x?
-6/5
Suppose 2*n = -3*w + 26 + 14, -4*w - 2*n = -54. Which is smaller: 13 or w?
13
Let b = 9.4 - 12. Let t = b - -0.6. Let j = 0.89 + 0.11. Which is bigger: j or t?
j
Let t = -2/11 - -17/33. Suppose -4*v + 2*v - 3*q + 3 = 0, 2*q = 2. Suppose -2 = -4*u - 5*p - 7, v = -u - 5*p - 5. Is u <= t?
True
Let q(o) = 26*o**2 - 3*o + 2. Let w be q(1). Let p = w + -20. Which is smaller: 11/2 or p?
p
Let k = 0 + 0.04. Let x = -2.96 - k. Let v = x + 1. Which is bigger: v or 0?
0
Let d = 1.4 + -0.6. Let l = 0.3 - d. Let m = 32.9 + -33. Which is smaller: m or l?
l
Suppose 5*c + 8*j - 4*j = -17, -3*c + 3*j + 6 = 0. Let m be -1*c*(-1 + 1). Let s = 94 - 652/7. Which is bigger: s or m?
s
Suppose -5*p + 23 = -2. Suppose -2*g - o = p, 0*g = -5*g - o - 8. Suppose -5*k + 12 - 2 = 0. Is k < g?
False
Let a = 1.4 - 1.5. Suppose -3*c - 1 = 2. Let w be 0/c - 2/3. Do w and a have the same value?
False
Let f = 778 - 46679/60. Is 1 > f?
True
Suppose -5*k - 1165 = 2*h, -4*h = -2*k + h - 437. Let n be (-143)/k - (-1)/(-3). Which is greater: n or -1?
n
Let a = 1.3 + -0.3. Let o = -0.32 + -0.18. Which is smaller: a or o?
o
Let u be (2/(-4))/(21/(-60)). Which is bigger: 1 or u?
u
Let h be -1*(0 + -2)*-3. Let o be (-1 - 0)/((-12)/(-84)). Do o and h have the same value?
False
Let g(m) = -m**3 - 6*m**2 + 5*m - 5. Let j be g(-7). Let v be 3/j - 62/6. Let r be 4/v - 16/(-140). Which is smaller: 1 or r?
r
Suppose 5 - 8 = 3*y. Which is bigger: 1/10 or y?
1/10
Let z be (8 - -12) + -2*1. Which is smaller: 17 or z?
17
Let j be (2/(-2))/(-1 + 0). Let n be -2 - j/(-1 - 0). Let m be (-1*2 - -2)/(-1). Does n = m?
False
Suppose -k + 2*k + 4 = 5*w, -3*w - 1 = -4*k. Let r = -6 - -8. Suppose -r*m + 5 = 3. Is k greater than or equal to m?
True
Suppose -5*x + 2*j + 3*j - 20 = 0, 19 = -x - 4*j. Which is greater: -3 or x?
-3
Let k = -9 + 11. Suppose -w = -k*w - 3. Is w >= -1?
False
Let w = 13.91 - 0.01. Let s = 14 - w. Which is bigger: s or 0.5?
0.5
Let l = 0 - -2. Suppose 0 = -4*h + l + 14. Let m be (1 + (-2)/h)/(-1). Is -2 at most as big as m?
True
Let r = -3.8 - -5. Let a = -0.5 - 0.5. Let m = a + r. Which is greater: m or -1?
m
Let l be 20*((-12)/10 - -2). Suppose -g + 13 = -4*q, g + 5*q + 1 = -13. Are g and l unequal?
True
Let f = 35.6 + -36. Let o = 2 - 1.6. Let r = f + o. Which is smaller: r or 2/3?
r
Let q = -10 + 1. Which is smaller: -11 or q?
-11
Let u(z) = z**3 + 5*z**2 - 6*z + 2. Suppose -2*l = 6 + 6. Let q be u(l). Which is greater: 4/7 or q?
q
Let n = -166 - -312. Let w be 1/(35/n) - 2. Let s = -18/7 + w. Which is bigger: 1 or s?
1
Suppose -6 - 5 = -p. Which is smaller: 8 or p?
8
Let t = -0.7 - -0.65. Is 1/2 at least t?
True
Let m be (231/(-57) - -4)*6/(-69). Are 0 and m equal?
False
Let w be (2/1 - 0) + -1. Which is smaller: w or 1/6?
1/6
Let o be (-6)/(-4)*-1 + 3/6. Are o and -4/39 equal?
False
Let t(g) = g**2 - 7*g + 6. Let a be t(5). Let i(l) = 0*l**2 - 4*l - 2*l**2 - l**3 - 1 - 3*l**2. Let w be i(a). Which is greater: w or 1/5?
1/5
Let w = -3 - -3. Suppose w*z - z + 1 = 0. Let g = 2 - 5. Which is greater: z or g?
z
Let r = -1 - -0.9. Is -34 smaller than r?
True
Suppose 0 = -9*y + 72 - 9. Which is bigger: 11 or y?
11
Let u = -67.3 - -68. Which is bigger: -0.1 or u?
u
Suppose -3*k = -15 - 3. Let r = 81 - 76. Is k > r?
True
Let d(y) = 3*y**2 - 23*y + 23. Let h(n) = 3*n**2 - 7*n**2 - 12 + 12*n + 2*n**2. Let v(a) = 3*d(a) + 5*h(a). Let j be v(-10). Is -1 at most as big as j?
True
Let j = -69 + 41. Let x = 57/2 + j. Let p = 4 + -2. Which is smaller: p or x?
x
Let h = -15 - -15. Suppose 0*c + 1 = -c. Which is smaller: c or h?
c
Let a = 81 + -81. Which is greater: a or 25?
25
Suppose 0 = -2*l - 8, 4*h - 3*l - 18 = 6. Suppose h*b + p + 0*p + 4 = 0, 5*b + 35 = 4*p. Let a be (-9)/4*b/(-18). Is a <= 1?
True
Let k = 1/170 - 257/340. Let c(t) = -t**3 - 6*t**2 - 5*t. Let g be c(-5). Which is smaller: k or g?
k
Suppose -j - 58 = -2*j. Let s = j + -289/5. Suppose 2*d + 4 = i, -4*d - 2*i = -0*i. Which is smaller: d or s?
d
Suppose 0 = 2*t + 3 + 1. Let m be t*((-86)/42 + 2). Which is greater: -1 or m?
m
Let k(t) = -t**3 - 11*t**2 - t + 1. Let g be k(-11). Suppose -3*b + 4*y - g = 2*b, -2*y - 16 = 3*b. Is b > -2?
False
Suppose h + 1 - 7 = -y, -6 = -2*y. Let r be 0*((-6)/(-4))/h. Let f = 3/34 - 10/17. Which is greater: f or r?
r
Let u = 1051/6 - 175. Which is smaller: u or 1/4?
u
Let p be 0/((-1 - 0)/1). Suppose -u + 4*u = p. Is -1 greater than u?
False
Let g = 0.16 - 0.18. Which is greater: -1 or g?
g
Let z(d) = -2*d**3 - 5*d**2 + 3*d + 6. Let a be z(-4). Let b be (-33)/a - 2/(-4). Let o = 2 - 1. Which is bigger: b or o?
o
Let d = 16039433/990 - 284933/18. Let m = d - 4506/11. Let r = 38 + m. Are 0 and r equal?
