 is greater: 0 or i?
0
Let h = 9.9 - 10. Let f = 1.07 + 0.13. Let i = f + -0.2. Which is smaller: h or i?
h
Let c = -125 + 126. Which is greater: c or 3/31?
c
Let n = 1 + 0. Suppose -2 - n = -3*k. Suppose -k = 2*u - 3. Which is smaller: u or 4/7?
4/7
Suppose -9*o = -4*o - 5. Is o at least 6/11?
True
Let y(r) = r**2 - 12*r + 15. Let b be y(10). Let k = b - -4. Which is greater: k or -1/2?
-1/2
Let t(d) be the first derivative of -d**4 - d**3/3 + d**2/2 + 3. Let z be t(1). Is -3 greater than z?
True
Let u = -2197 - -15354/7. Which is greater: u or -4?
u
Let k be 17/5 - (-3 + 6). Suppose 2*c + 4 - 35 = -5*v, 2*v = -c + 13. Let t be (-3 + -3 + v)*0. Is k less than t?
False
Let m be 322/(-77) - (-3 + -1). Are 1 and m equal?
False
Let p(f) = -f**2 + 17*f - 15. Let a be p(16). Which is smaller: 1/4 or a?
1/4
Let k = -16 + 10. Let r be (-3)/6 - 7/k. Which is smaller: r or -7?
-7
Let x(d) = -d**3 - d**2 - d - 1. Let i(j) = -2*j**3 - 6*j**2 - 4*j. Let b(a) = i(a) - 3*x(a). Let u be b(3). Which is smaller: u or 6/7?
u
Let o be (-2 + 1)/(1/2). Let x be (-204)/22 - o - 2. Let t = x - -488/55. Which is smaller: 0 or t?
t
Let q = -4 + 14. Is 10 greater than q?
False
Let q be 3 + 160/(-55) + 1. Which is smaller: 2 or q?
q
Suppose -5 = -3*s + 5*p, 4*s - 17 = s - p. Suppose s*i + 4*f + 4 = -7, -3*i - 1 = f. Is i less than or equal to -2?
False
Let r = -26 - -53. Let p be r/360*(-2)/(-3). Which is smaller: 1/4 or p?
p
Let o be ((-16)/108)/((-2)/(-3)). Suppose -20 = -x - 3*x + 4*q, 0 = 2*x + 4*q + 20. Which is smaller: o or x?
o
Let o = 35/288 - -21/32. Is 2 not equal to o?
True
Let d be (-7 + (3 - 3))*1. Is d less than or equal to -10?
False
Let c be 7 + 2 + -2 + -4. Suppose c*a - 1 - 5 = 0. Is 3 greater than a?
True
Suppose j - 2 = 20. Which is bigger: j or -1/2?
j
Let s(x) = -x**3 - 9*x**2 + 10*x + 1. Let y be s(-10). Let b be 6/y - 3 - 2. Which is smaller: b or 1/2?
1/2
Let t be 3/(225/(-10))*-3. Let b be 2*(-2)/8 + 1. Which is bigger: b or t?
b
Let c = 90.9 + -91. Which is smaller: 1/62 or c?
c
Let c = -1.63 - -0.13. Let b = 1.6 + c. Which is smaller: b or 2?
b
Suppose -v = g + v + 7, 12 = -4*v. Which is smaller: g or 1/32?
g
Suppose -2*z + 0*z = 0. Suppose -5*w + z*w = -3*m - 26, m + 22 = 5*w. Let g = 37/55 - 14/11. Is g < m?
False
Suppose -4*m + 2*z = z + 17, 4*m - 2*z = -22. Let f = 4 - 8. Is m < f?
False
Let o(g) = -g**3 - 8*g**2 - 8*g - 7. Suppose 5*w = -0*i + 3*i + 23, -15 = -5*w + 5*i. Let p be -2 - (3 - 5) - w. Let f be o(p). Which is greater: f or -1/3?
f
Suppose 2*k + 0*k - 8 = 0. Suppose -3*d + 35 = 5*q, -k*q + 5*d + 44 = 16. Let m be 2 - (-2 + q - 2). Which is bigger: m or 3/8?
3/8
Suppose 0*c - 4*c = 0. Let x = -14 + 14. Is c less than or equal to x?
True
Let m = 14 + -15. Let z = 2/15 - 14/15. Which is greater: m or z?
z
Suppose 5*x - 4 = 4*r - 0*x, 4*r = -5*x - 4. Which is smaller: 1/3 or r?
r
Let a = -53 - -98. Let n = 52.4 - a. Let d = n - 7. Is 1/4 equal to d?
False
Let w = 6 - 2. Let z(y) = -y**3 - 6*y**2 - 6*y - 7. Let u be z(-5). Let g be -2*u/w + -1. Is -2/7 > g?
False
Let y = -1.25 + 1.4. Let p = y + -2.15. Let v be 8/45 + 2/(-5). Which is smaller: p or v?
p
Let q = 1597/11 - 145. Which is smaller: q or -1?
-1
Suppose 4*o - 3 - 5 = 0. Let n be -1*o/2 - -4. Let y = -10 - -14. Which is greater: n or y?
y
Suppose 6*t = 2*t + 92. Let m be (928 - 1)/(t/3). Let s = m + -121. Which is greater: -1 or s?
s
Suppose -p - 2*d - 6 = 0, -30 = 2*p + 3*p - 4*d. Let x(q) = q + 3. Let g be x(p). Which is smaller: g or -2?
g
Let j(p) = -p - 3. Let o be j(-3). Let l be (-3)/(-2) - 55/10. Let n = l - -4. Is n > o?
False
Let j be -2*(18/4)/9. Which is greater: 1/14 or j?
1/14
Let s = -2 + 6. Let u = 4 - s. Let h = -75/253 - -11/23. Which is greater: h or u?
h
Suppose -5*t + 8*t + 14 = 5*y, -12 = 4*t. Which is bigger: y or 14/9?
14/9
Let f(c) = c**3 - 4*c**2 - 5*c + 1. Let q be f(5). Is q less than or equal to -18?
False
Let o = -20 - -19.78. Let t = o + 1.22. Is t equal to -3?
False
Let s be (5/(-30))/((-14)/32). Which is bigger: s or 0.1?
s
Let n = -1.022 + 0.022. Which is bigger: 0 or n?
0
Suppose -6*h = -2*h + s, 2*s + 6 = -2*h. Let l be 2/h - 3/1. Which is smaller: l or -2?
-2
Suppose 3*t - 4*c + 14 = 5*t, -8 = -4*c. Which is greater: 4 or t?
4
Let w(t) = -t - 5. Let x be w(0). Suppose -6*k - 2*k - 32 = 0. Which is smaller: k or x?
x
Let s = 19 - 10. Let w = -8 + s. Does 0.2 = w?
False
Let b = -0.5 - 0.5. Suppose 0 = 5*z + 4 + 1. Is b < z?
False
Let p be -1 - -4 - (0 + 1). Let b be p/(-10) - (-6)/15. Do b and 1/4 have different values?
True
Suppose 6*k = x + k - 19, -2*k - 22 = -2*x. Let p be 1 - (6/x + 1). Suppose -8 = 2*g + 6. Is p greater than g?
True
Let z be (3/(-24))/((-1)/2). Let l be 6/((-2)/(-4)*4). Suppose 2*i = -4*h + 6, -6 = -l*h - i - 3. Which is smaller: z or h?
h
Let y be 2*(-1)/2*-3. Suppose 2*h = -3*d - y + 8, d - 7 = -2*h. Let a be h*3*3/90. Is a >= -1?
True
Let o(f) = -f**2 + 3*f - 3. Let n be o(2). Do 5/12 and n have different values?
True
Let l = 1 + 0. Let k = 1.1 + -0.8. Are k and l unequal?
True
Let b = 10 - 6. Suppose -2*q + 4*q - b*p - 18 = 0, -3*p = 15. Which is greater: q or 0?
0
Let m be (1/(-5))/(2/6). Let f = -67 - -65. Is m less than f?
False
Suppose -5*b = -i - 23, -4*b - i - 2*i = -26. Are b and 4 unequal?
True
Let a(s) = s**3 - 4*s**2 - 11*s - 5. Let g be a(6). Which is bigger: g or -2/77?
g
Let c = 8 + -8. Suppose c*q + 7 = -n - 3*q, -q - 39 = 4*n. Let g = n + 4. Which is greater: 0 or g?
0
Let d = 10.7 + -10.8. Which is greater: 3/31 or d?
3/31
Let m(c) = c**2 + 2*c. Let x be m(-2). Let u be 8/(-2)*3/3. Let y be 56/(-21)*(-2)/u. Which is smaller: y or x?
y
Let u be ((2 + -3)*1)/(-1). Which is bigger: u or -2/35?
u
Suppose -5*g - a - a - 11 = 0, -g = -4*a - 11. Is g less than 2/9?
True
Let a(g) = 3*g**2 + 4*g - 1. Let m be a(-3). Let z(b) = -13*b + 3. Let q be z(-3). Let h be (-12)/q + (-10)/m. Is 2/17 bigger than h?
True
Suppose -4*k + 10 = -0*k + 2*a, -3*a = 4*k - 11. Let w(q) = -6*q**3 - 2*q**2 - q. Let s be w(k). Let x = s - -170/3. Are x and -1 unequal?
True
Let y be 1 + 3 - (10 - 7). Let q be (1 + y - 4) + 1. Let z be -1 + 1 + -1 - 0. Are q and z non-equal?
False
Let s = 39690/451 - 88. Is s equal to 0?
False
Let v = 35 + -67. Which is smaller: v or -34?
-34
Let i(l) = -2*l**2 - 3*l. Let x be i(-2). Suppose -5*r + 6 = -4*z, 0*z + 4*r - 8 = 4*z. Which is bigger: z or x?
x
Let y = 236 + -2126/9. Does y = 0.2?
False
Suppose 0*f - 2 = -2*f. Let u be (4/(-9))/2 + 4/9. Which is bigger: u or f?
f
Let f = -5 - -5. Which is smaller: f or 2?
f
Let x = -23.025 + 0.025. Are x and -1 nonequal?
True
Suppose -i - 3*i - 24 = 0. Let a be 308/(-444) - i/9. Which is greater: a or -1?
a
Let q(v) = 4*v**2 + v. Let t be q(-1). Suppose -4*h + 16 = 0, -5*o + t*h - 17 = 70. Which is smaller: -14 or o?
o
Suppose -12 = 2*r + 4*j, 2*r - 3*j = 5 + 4. Let o(h) = h**3 + 7*h**2 - h - 7. Let s be o(-7). Is r smaller than s?
False
Let r = 0.19 + -0.17. Let i = r - -0.58. Which is bigger: i or 0?
i
Let o = -0.93 + -1.07. Let a = 0.5 - 0.47. Which is bigger: o or a?
a
Suppose -t + 18 = -12. Suppose -7*k = -2*k - t. Suppose 0*q + 3*q = -k. Which is greater: q or -1/6?
-1/6
Let d(t) = 4*t + 16. Let v be d(-5). Which is smaller: -36/7 or v?
-36/7
Suppose -3*x + 19 = 1. Let d be 7 - 2 - (-2)/(-1). Suppose -4*o + d = -5*o + 3*f, 2*o = 3*f + 3. Is x bigger than o?
False
Let n(r) = -r**3 - 6*r**2 - 6*r - 2. Let b be n(-5). Is 4 bigger than b?
True
Let a = 7 - 12. Is -7 < a?
True
Let z = -0.3 + -0.7. Let y = 0.7 + z. Let p be 2/(-3) + (-4)/(-6). Is y less than or equal to p?
True
Let h = 6 + -13. Let n = h - -11. Suppose n*i + 6 = 6*i. Is i not equal to 3?
False
Let b = -1 - 7. Let v = b - -4. Is 1 at least v?
True
Let w = -9/8 - -5/8. Let b = -0.24 + 8.24. Are b and w equal?
False
Let l(n) = 2*n**3 - 5*n**2 + n. Let j be l(2). Are j and -3 nonequal?
True
Suppose 20 = 2*h + 4*p, 2 + 4 = 3*p. Suppose 0 = u - 6 + 2. Which is smaller: h or u?
u
Suppose 9*l = 6*l + 12. Suppose b - 3 = -l. Is b <= -2/31?
True
Suppose 2*m + 21 = -3*f, m - 21 = 2*m + 5*f. Let r(x) = x**2 + 7*x + 7. Let b be r(m). Which is smaller: 2/3 or b?
2/3
Let w = 464/225 + -20/9. Which is bigger: w or 1?
1
Let y be -2*1 + 3 + 2. Suppose 3*i - y = -0*i. Suppose 0*n = n + i. Which is gr