l. Is d greater than or equal to l?
True
Let z = 33 + 7. Let x be 52/z + (-2 - -1). Are x and 1 equal?
False
Let s = 1 - 0. Let r = -801 - -63281/79. Which is bigger: s or r?
s
Let f = -37.8 - -38. Let r be (-26)/(-10) + (-6)/(-15). Which is smaller: r or f?
f
Let i be (-68)/(-4) + -3 + 5. Which is greater: i or 3?
i
Let k be (-4)/16 - (-9)/(-12). Let y be (-2)/(-36)*2*-1. Which is bigger: y or k?
y
Let r(w) = -w**2 + w. Suppose -5*y = -17 + 2. Suppose 2*m + 2 = 4*g, 2*g = m + y*m - 2. Let t be r(g). Which is greater: t or 2/5?
2/5
Let s be (-82)/(-24) - (-1 + 3). Let n be 1 + 0 + 33/(-12). Let g = s + n. Which is smaller: 1 or g?
g
Let v = 2/235 + 92/235. Let d(l) = l**2 + 6*l. Let a be d(-6). Which is greater: a or v?
v
Let h(i) = -i**2 + 6*i + 7. Let m be h(10). Which is smaller: -34 or m?
-34
Let w = 17 - 13. Suppose -b + d + 6 = 0, 6*d = w*b + d - 29. Is b < -1/6?
False
Let c = -134 - -135. Which is bigger: c or 7/12?
c
Suppose -9 = -5*z + 1. Suppose z*v = v. Which is bigger: 2/7 or v?
2/7
Let j be (1/(-2))/(1/(-2)). Let l be ((-2)/30)/(8/16). Which is bigger: j or l?
j
Let v(d) = -d**3 - 5*d**2 + 7*d + 6. Let x be v(-6). Let w = -3/19 + -10/57. Is x at least as big as w?
True
Let o(y) = -2*y**3. Suppose 4*t = -3*l - 13, 2*t + l = 5*t. Let u be o(t). Which is bigger: u or 2/3?
u
Suppose -3 = 3*r - 12. Suppose 2*i = 7*h - 3*h - 8, -2*h = -r*i - 8. Suppose 4*m + 8 = 4*t, 0*t = -t + 5*m + 6. Do h and t have the same value?
True
Suppose 5*f = 5*j + 45, 2*f + 7 - 30 = 3*j. Let m(z) be the third derivative of z**5/60 - 3*z**4/8 + 5*z**3/6 + z**2. Let l be m(8). Are j and l nonequal?
True
Let z = 13/12 - 3/4. Let m = -39 - -39. Which is greater: m or z?
z
Suppose -2*c + 74 = 6. Let b be 2 - 1*c/18. Which is smaller: 1 or b?
b
Suppose 10*g + 7 = 9*g. Is -0.2 less than or equal to g?
False
Let x = 0.4 - 1.4. Let h = 13 - 8. Let f = h + -2. Is x not equal to f?
True
Let q = -6 - -4. Let p be (q/4)/(1/2). Is -1 at least as big as p?
True
Let x = 17 - 38. Let o = x + 23. Suppose 0 = -4*w + w. Do w and o have different values?
True
Let f = 129 + -131. Which is smaller: 6 or f?
f
Suppose -4*w - 5*k - 69 = -326, 4*w = -k + 237. Is 58 less than w?
False
Suppose 0 = 5*a + 5 + 5. Are a and -2/3 nonequal?
True
Suppose -5*w + 390 = -5*x, -2*x - 5*w = -w + 126. Is x greater than or equal to -73?
True
Suppose -2*j + 6 + 2 = 0. Let s = 11 - 11. Which is smaller: s or j?
s
Let z = 4 + -4. Suppose 4*q - 4 = 3*j, 2*q = 4*j + 3 - 1. Is j smaller than z?
False
Let p(t) = t**2 + 5*t + 8. Let j be p(-6). Suppose 0 = -5*a + j - 4. Suppose a - 5 = 3*f. Which is bigger: f or 2?
2
Suppose -5*q = -10 - 25. Is 1 < q?
True
Let u = 22 - 18. Suppose -8 = 2*v + 5*y, 4*v - 5*v + 9 = -u*y. Is v greater than 2/7?
True
Let m(j) = j**2 - j - 3. Let d be m(2). Is -3 less than d?
True
Let q(l) = -l**2 + 7*l + 4. Let u be q(7). Suppose u + 0 = -m. Which is bigger: m or -3?
-3
Let y be (2/18*-3)/((-5)/(-6)). Let i(g) = g**2 - 5*g + 3. Let o be i(4). Which is smaller: o or y?
o
Let y = -161 + 38. Which is greater: -124 or y?
y
Suppose 26*t - 30 = 32*t. Which is smaller: t or -4?
t
Suppose -2*h - 12 = -0*h - 4*k, -5*k = 2*h - 6. Suppose 0 = -m - t - 3 + 9, -m + 2*t = -3. Is h < m?
True
Let n(i) = -5*i**3 + i**2 + 2*i - 2. Let p be n(1). Let g(f) = f**2 + 5*f + 6. Let z be g(p). Let u = 154 + -767/5. Is u at most z?
True
Suppose -p + 2*r - 5*r = 1, 18 = -4*p + 2*r. Let a be (-4)/(-16) + 1/p. Let k be -3 - (-34)/6 - 2. Which is bigger: a or k?
k
Let x = 19 - 16. Suppose -4*w - 24 = -4*t, -x*w = -3*t + 2*w + 28. Which is greater: t or 2?
2
Suppose -4*w - 6 = 6. Suppose 5*q - 5*f - 50 = 0, -4*f + 4 + 0 = 0. Suppose 5*b + 0 + 10 = s, 0 = -2*b - s - q. Is w at least as big as b?
True
Suppose -13*a + 26 = -15*a. Which is bigger: a or -12?
-12
Let i be (-16)/(-12)*(-3)/(-2). Let z be 4/(-8)*i - 0. Which is smaller: z or -1/8?
z
Let z = -5 + 8. Let c(r) = 3*r**2 + 7*r + 5. Let k be c(-4). Suppose 0 = -5*h - 4*v + k, 3*v - 7 = 3*h + 5. Which is smaller: h or z?
h
Let x = -557/66 + 102/11. Which is smaller: -0.2 or x?
-0.2
Suppose -g = -0*g + 4, -4*g - 17 = -r. Which is smaller: r or -1/20?
-1/20
Suppose -c = 2*c - 2*y - 6, 3*c + 3*y = 6. Are c and 0 nonequal?
True
Suppose 2*d + 284 = 122. Which is smaller: -82 or d?
-82
Let q = -10 + 13. Let p be 7*1/q + -1. Which is smaller: p or 1?
1
Suppose -5*p - 3*l = -3*p + 8, 4*p = 2*l. Let o be 1 + (-46)/12 + 2. Is p less than o?
True
Let t = -0.3 - -0.5. Let m = t + -0.1. Let o = -15 + 12. Is m less than o?
False
Suppose 4*v = 3*o + 19, 12*v + 16 = 15*v - 4*o. Which is smaller: v or 3?
3
Suppose 0 = -4*d + 10 + 10. Suppose -2*l = -3*x - 37, -d*l + 67 + 18 = -5*x. Suppose -5 - l = z - 4*y, -2*z - 13 = -3*y. Do 2 and z have different values?
True
Let g = 40695 - 283841/7. Let o = -146 + g. Let z = 169/3 + -57. Which is smaller: o or z?
z
Let j(r) = r**2 - 10*r - 4. Let w be j(10). Let t = 6 + w. Suppose -4*v = -t*v. Is 1/2 greater than v?
True
Let w be (4 - 13/3)*3. Which is smaller: -1/29 or w?
w
Suppose 9*u - 7*u = -44. Let w = -21 - u. Is w >= 7/6?
False
Let g(c) = c**2 - 10*c + 1. Let x be g(6). Is -23 >= x?
True
Let m(n) = -n**2 + 8*n - 11. Let l be m(6). Let o be ((-1)/l)/((-3)/6). Are 4 and o nonequal?
True
Let t = 0.07 - 12.07. Let o = 8 + t. Let u = 3.9 + o. Is u smaller than -2/7?
False
Suppose 0*d = 2*d. Is 3/11 < d?
False
Let o(w) = -w**2 + 12*w - 9. Let b be o(11). Which is greater: 5 or b?
5
Let r = 78 + -233/3. Is -1 > r?
False
Suppose 0 = 2*q - x, 4*q = q + 4*x. Is q >= -1/17?
True
Let r be 12/(-18)*27/(-6). Which is bigger: 8/3 or r?
r
Let t = 0.3 + -0.3. Is t not equal to -8?
True
Suppose 7 - 4 = k. Which is bigger: k or 2?
k
Let n = 3 - 3. Let p = 2 + n. Is 1 less than p?
True
Let l(i) = 1 - i - 2 + 2*i - 1. Let j be l(5). Let a = -2/43 + -37/129. Does j = a?
False
Let l = 11 + -2. Suppose 4*w = l*w - 5. Is -2/19 at least w?
False
Let l = 0.02 + -0.12. Let g = 1.63 - 1.7. Let o = g + -2.93. Is l < o?
False
Let n = -13 - -29. Are 17 and n nonequal?
True
Let s(b) = -b**3 - 5*b**2 + 5*b - 6. Let y be (-3 - -4)*2*1. Suppose -7 = y*t + 5. Let w be s(t). Is w smaller than 1/4?
True
Let x = -0.14 - -0.07. Suppose 12*u - 20 - 4 = 0. Are u and x unequal?
True
Let h = 0.387 - 0.087. Let y = -0.5 + 0.3. Let f = y + h. Does f = -0.1?
False
Let t(s) = s + 3. Let v be t(-3). Which is smaller: -1/96 or v?
-1/96
Let p(r) be the third derivative of r**4/24 + r**3/6 - 4*r**2. Let b(f) = -f**3 + 3*f**2 + 3*f + 3. Let h be b(4). Let s be p(h). Which is smaller: s or -1/2?
-1/2
Let w = -2/1235 + 2572/62985. Let b = w + -12/17. Is b less than 0?
True
Let x be 4 + 35*(-2 + (-20)/(-8)). Which is smaller: x or 22?
x
Let u be 5 + (-3)/3 + 1. Suppose -10 = -2*w + 5*w + 5*r, w + u*r = -20. Is w greater than 5?
False
Let i(x) = -5*x**2 + x. Suppose -2*r + 3*b + b + 10 = 0, -5*r + 4*b = -13. Let g be i(r). Is 2/5 > g?
True
Let v = -138 - -692/5. Let y be 0/(-4) - (-2)/1. Is v <= y?
True
Let q be 518/24 - 5/20. Let c = q - 21. Which is greater: 0 or c?
c
Let r be ((-10)/(-4))/(4 + -6). Is r equal to -1?
False
Let s(y) = y**2 - 6*y + 4. Let f be s(6). Let o = 1 - f. Is o bigger than -3?
False
Let v = 12 + 5. Let n = -8 + v. Which is greater: 11 or n?
11
Let y = 9 - 8. Is y at most as big as -8?
False
Let d = -2 - -5. Let j be (2/1)/((-6)/d). Which is greater: -0.2 or j?
-0.2
Suppose -5*r + 67 = -2*r - 5*q, -r + 34 = -4*q. Let j = -9 + r. Suppose 0 = 5*g - j - 0. Is 1/5 < g?
True
Let z be 0 - (-44)/(-12)*-3. Suppose 27 = 3*s - 9. Which is greater: s or z?
s
Let d(u) = 4*u + 21. Let x be d(-5). Is 4 at most as big as x?
False
Let c = -2 + 31. Which is smaller: 30 or c?
c
Let i be 1 + -1 - (-1 + 1). Let m = 47/22 - 18/11. Are m and i unequal?
True
Let h = 4 - 0. Which is greater: 2/5 or h?
h
Suppose -2*d = -37 + 7. Suppose 5*q + 0*q + d = 0. Let z(i) = 2*i**3 + i**2 + 2*i + 1. Let a be z(-1). Which is smaller: q or a?
q
Let d(u) = 4*u**2 - 1. Let v be d(1). Let t be (-16)/6 - 1/v. Let b(j) = -j**2 - 4*j - 4. Let y be b(-4). Is y smaller than t?
True
Let u(d) = -3*d + 1. Let o be u(0). Which is greater: -1 or o?
o
Suppose -a = 5*h + 60, -5*h - 2*a - 50 = -3*a. Which is greater: h or -14?
h
Suppose 0 = 3*t - 3 + 6. Let v be (-35)/5 - (t + 3). Are v and -9 equal?
True
Sup