hich is smaller: -0.1 or l?
-0.1
Let i(h) = 2*h**3 + 10*h**2 - 2*h - 10. Let s be i(-5). Let r be 2/(-2) - (-20)/22. Do s and r have the same value?
False
Let x = 1/4 - 13/20. Is x >= 25/6?
False
Suppose 12*v - 14*v - 20 = 0. Let p(q) = q**3 + 9*q**2 + q + 1. Let h be p(-9). Is v at least as big as h?
False
Let q be 198/(-15)*5/7. Is q at most -8?
True
Suppose 4*o + 3 = o, -5*k + 17 = -2*o. Let p = k - 2. Which is smaller: -2 or p?
-2
Suppose -20 + 3 = r - 4*d, -4*d = -16. Let c be 3*(108/(-28) + 4)*1. Which is smaller: c or r?
r
Suppose 2*j + 5 = h, 5*h + j + 3*j = 25. Is 17/4 not equal to h?
True
Let f(l) = -l**3 - 10*l**2 - 13*l - 22. Let h be f(-9). Which is smaller: 15 or h?
h
Let w = -7 + 4. Let d be (1 - w/(-1))*-1. Suppose -d = 4*v - 5*i - 0*i, 5*i = 5*v. Which is greater: v or 2/3?
v
Let i = -6.84 + 7. Let f = i + -0.06. Which is greater: f or -1/2?
f
Let y(h) = 5*h**2 + h. Let x be y(-1). Let n(g) = -18*g + 39. Let r be n(2). Which is smaller: x or r?
r
Let v = -116366/71 - -1639. Which is bigger: v or -1?
v
Let o be (-24)/9 - (-2)/(-6). Let r be 2/o + 29/3. Suppose 3 - r = -2*n. Which is bigger: 2 or n?
n
Let j be (14/(-6))/((-1)/6). Suppose 7 = 3*b - j. Let y = b + -10. Is y at least -4?
True
Let c = -0.19 - 0.01. Do c and -3 have different values?
True
Let u be (-3)/(-21) + (-50)/105. Let b = -0.7 + 0.6. Which is bigger: u or b?
b
Let k(t) = -159*t**3 + 2*t**2 - 1. Let x be k(1). Let q = x + 1103/7. Let d(y) = -y + 1. Let o be d(0). Is q not equal to o?
True
Let a be ((-8)/(-70))/(2/5). Let p(r) = -r**3 + 7*r**2 + 9*r - 7. Let t(v) = v**3 - 5*v**2 - 4*v - 4. Let s be t(6). Let k be p(s). Is k != a?
True
Let x = -0.6 + 0. Let k = -0.4 - x. Which is greater: k or -2/3?
k
Let h be ((-1)/3)/((-3)/1455). Let v = -163 + h. Let p = v - -1. Is 0 less than or equal to p?
False
Let y be (4/(-3))/(6/(-45)). Let m = -3 + y. Is m at most 6?
False
Let d = -82 + 93. Is 11 at most d?
True
Let a be 29/4 + (-1)/4. Let j(x) = -2*x + 3 - a + x. Let f be j(-4). Is 1 less than f?
False
Let t(p) = p**3 + 7*p**2 + 7*p + 9. Let c be t(-6). Let i be c*(-3 + (-4)/(-2)). Is -3 equal to i?
True
Suppose 0 = -r - 0*d + d + 15, 4*d = 3*r - 49. Suppose -5*x = 2*u + 19 + r, 5*u + x + 29 = 0. Let b be (3/6 + 0)*-8. Which is greater: u or b?
b
Let j = -3 + 1. Let d = 6 + -5.86. Let y = -0.14 + d. Are j and y unequal?
True
Let k = -16 - -15. Do k and -26 have the same value?
False
Let f = -1 - -4. Suppose 0 = 3*k - 5*o + 5, f*k = -2*k + 4*o - 4. Suppose k*y = y. Is y at least -3/5?
True
Let v(w) = w. Let t be v(4). Let g be 2/4 + t/8. Suppose 4*c = f, c - 2*f - 8 = -g. Which is smaller: -1/5 or c?
c
Suppose 4*h + 4*z - z + 28 = 0, -4*z + 16 = 0. Let p be (12/10)/(2/h). Let q be p/(-8) - (0 + 1). Which is bigger: q or 1?
1
Let f = 44 - 43. Which is bigger: f or 1/44?
f
Suppose -y + y = 2*y. Let t be (-13)/4 - 3/(-12). Let m be ((-1)/t)/((-3)/(-2)). Is m at least y?
True
Let b = 1 - -8. Let l = 9 - b. Which is bigger: -1/4 or l?
l
Let x be 2/6*-7 - -1. Let m(k) = -2*k**2 + 4*k - 2. Let i = 27 - 25. Let j be m(i). Which is smaller: x or j?
j
Let u = -17 - -24. Let k be (-14)/u + 2*1. Is 7/5 < k?
False
Let z be ((-1)/(-15))/((-6)/(-15)). Let q = 17 - 50/3. Is q <= z?
False
Let r(t) = 5*t + 13. Let c be r(-4). Which is bigger: c or -6?
-6
Suppose 3*g + 2*s = -45, 2*g + 5*s = -2*g - 67. Let c = -25 - g. Let f be 9/c*(-2)/3. Which is greater: 2 or f?
2
Suppose 2*a - 79 + 295 = 0. Are -107 and a unequal?
True
Let t = 44 - 48. Suppose 2*g = v + 4, 4*g - 3*g = 2. Let r be v/2 + (-10)/4. Which is smaller: r or t?
t
Let z = -80.93 - -80. Let n = 7.93 + -8. Let i = z + n. Which is smaller: 0.4 or i?
i
Suppose -2*p = -2 - 0. Suppose -9*f + 11*f = 0. Suppose 0*m + 2*m = f. Is p less than m?
False
Let o = 39 + -35. Let k(z) = -z - 5. Let l be k(-4). Which is greater: o or l?
o
Suppose -2*s - 3*s - 40 = 0. Which is smaller: s or -10?
-10
Suppose g + 0*g = -7. Let o = 21 - 15. Let w = o + g. Which is smaller: 1 or w?
w
Let k = -2446 - -102749/42. Let z = k + 2/21. Let j = -0.2 - -0.4. Is j less than or equal to z?
True
Let i(b) = 3*b**2 + 10*b - 9. Let r be i(-6). Is r at most as big as 37?
False
Let h be (-2)/(-8) - (-33)/(-4). Let m(u) = u**2 - 4*u - 6. Let p be m(5). Let o be 1/(-2)*h/p. Is o at least -4?
True
Let f = -64 - -255/4. Let a = 1041 - 3089/3. Let o = a + -12. Which is smaller: f or o?
o
Let q = 13 + -16. Is q less than or equal to -5?
False
Let i be (1 - (3 - 2))/(-1). Suppose 15 = -3*t, -3*t + 6*t = -2*q - 15. Is q greater than or equal to i?
True
Let r = -0.113 + 0.013. Do r and 3/11 have the same value?
False
Let a be -11 + (-3)/(-3 - -2). Are -7 and a unequal?
True
Let i = 46 + -45.948. Is i equal to -1/2?
False
Suppose -80 = 2*k + 88. Let u = 921/11 + k. Which is smaller: 0 or u?
u
Suppose -3*u - 120 = 2*u. Let y be (-16)/u - 14/3. Is -4 < y?
False
Let y be 3/(-4) - 1/(-4). Let o = -18 - -18. Which is smaller: o or y?
y
Suppose -2*o + 2*k = -8, o + 3*o - 7 = k. Is o < -1/29?
False
Suppose -2*a - 9 + 1 = 0. Let w be a - -3 - -1*5. Let d be (-4)/(-14) - (-19)/7. Which is greater: w or d?
w
Let q = 4.04 - 0.04. Are q and 0 nonequal?
True
Let p be (3/(-2))/((-6)/(-8)). Let d(u) = u**2 - 3*u - 6. Let b be d(5). Suppose b = -3*g - 8. Is g greater than p?
False
Let i = -11 + 45/4. Let r be (0 + 1 + 0)/1. Which is bigger: i or r?
r
Let j(z) be the second derivative of -z**4/12 + 3*z**3/2 + 11*z**2/2 - z. Let y be j(10). Let s be y - 6/45*6. Is -1 at least s?
False
Let q be (-477)/156 + (-9)/(-3). Let p = 35/156 + q. Is 0 bigger than p?
False
Let v(o) be the second derivative of o**4/12 - o**3/2 - 2*o**2 - 3*o. Let s be v(4). Suppose s = -0*k - k - 3. Which is smaller: 0 or k?
k
Suppose 99*f - 94*f = 5. Which is greater: f or -4?
f
Let g(p) = p - 1. Let f be g(0). Let u be 1*f*(-10)/2. Which is greater: u or 6?
6
Let x = 2/93 + -68/279. Is x greater than or equal to 0?
False
Let u(l) = l**3 + 14*l**2 + 2*l + 30. Let r be u(-14). Is r > -11?
True
Suppose -4*f + 3*h = -0*f + 415, -5*f + 2*h = 517. Does -102 = f?
False
Let k = 0 + 0.3. Let i = -0.3 + k. Suppose -2*n + 3*a = -15, 3*n + 0*n + 5*a + 25 = 0. Is n > i?
False
Suppose 0*m = -5*m + 3*h - 1, -3*h = -2*m + 5. Does -2 = m?
True
Let q = 180 - 170.9. Let w = 10 - q. Let f = w - -0.1. Is f > 1/4?
True
Let o be (-23)/60 + 1/4. Let q = -5 - -6. Which is bigger: q or o?
q
Let o = 0.26 + -0.2. Which is bigger: o or -2?
o
Suppose 4 = 3*i - 4*k - 0, 5*i + 2*k + 2 = 0. Let c be -4*-2*9/(-24). Which is smaller: i or c?
c
Let k(n) = -n**3 + 8*n**2 + n - 8. Let g be k(8). Let q = -48/23 + 674/345. Is g at most q?
False
Let r be 2 + (1 - 2) + 4. Let j = r + -3. Which is greater: j or 3?
3
Let w = -1 + 1.2. Let j(d) = 0*d - 4*d**2 + d + 10*d**2 + d**3 + 7. Let t be j(-6). Is w > t?
False
Let t = -0.05 + -0.03. Let h = 0.18 + t. Is h equal to 0?
False
Let f = 10 + -13. Let m be f + 3 - (-3)/(-2). Is -2 at most m?
True
Let y(g) = 25*g**2 + 5*g. Let h be y(-4). Let v be h/(-52)*(-2)/6. Let a = 10/13 - v. Is a bigger than -1?
False
Let a = 47 + -193/4. Which is greater: -2 or a?
a
Let h be 11/(-4 + (-2 - -5)). Which is smaller: h or -10?
h
Let o(d) = -d**2 + 7*d - 14. Let r be o(5). Which is bigger: r or -5?
r
Let h = -83 + 83.2. Which is smaller: h or -18/7?
-18/7
Let g = 78 + -79. Is 2/175 at most as big as g?
False
Let c be ((-44)/(-8) - 5)*(-2)/3. Which is smaller: 1.4 or c?
c
Let a be 1*5*(-9)/(-51). Is 1 >= a?
True
Let w(k) = k**3 + 5*k**2 - 1. Let d be w(-5). Let h = -413/2938 + -3/226. Which is bigger: d or h?
h
Let c(v) = v**2 + 22. Let r be c(0). Is 22 at most as big as r?
True
Let j = 2847/7 + -406. Which is smaller: j or 0?
0
Let l(t) = -5*t - 15. Let n be l(-3). Which is smaller: 2/9 or n?
n
Let k = 17.8 + -17.48. Do k and -0.3 have the same value?
False
Let p = 83 - 83. Which is smaller: 6 or p?
p
Let n(j) = -j**2 - 2*j + 7. Let c be n(-3). Let s = c - 16. Is -12 not equal to s?
False
Let j be -3 + 2 + (0 - -1). Suppose -3*r + j = -6. Let q(n) = -n**3 + 5*n**2 + 7*n - 3. Let l be q(6). Are l and r equal?
False
Let t = 253 - 253. Let r = 3/209 - -1/11. Which is smaller: r or t?
t
Let r = -21 + 22. Let c be (18/5 - r) + -3. Do c and 1 have the same value?
False
Let i(c) = 0*c**2 + 5*c + 5 + c**2 - 4. Let j be i(-5). Let f 