. Which is smaller: l or -8?
-8
Let l = 36 + -35. Let z be 28/45 + 6/(-15). Is l at most z?
False
Suppose -8*m + 6*m = -4. Which is greater: 9/5 or m?
m
Let a(y) = -3*y**2 - 2*y - 1. Let z = -14 - -13. Let m be a(z). Which is smaller: m or -3/2?
m
Let i(k) = 2*k - 1. Let o be i(-3). Is o less than -8?
False
Let q = 0.1 + 0.2. Which is bigger: q or 10?
10
Let o = -79/380 + -1061/19. Let u = -56 - o. Which is greater: u or 0?
u
Let r = -59 + 59.09. Which is smaller: r or -1?
-1
Let d(n) = n**3 - 8*n**2 + 6*n + 7. Let p be d(7). Is p greater than 0?
False
Let t be (6 + -8)*3/(-2). Suppose 5*r - 21 = a + t, 2*a - 4*r = -18. Are a and 0.07 nonequal?
True
Suppose 0 = c + 5*h - 20, 0 = -3*c - 3*h + 7 + 5. Let b be (-1)/(-3)*48/(-14). Which is greater: c or b?
c
Let r = 1.07 - -0.23. Does r = 2/3?
False
Let s = 0.5 + -5.5. Let w = 54.1 + -54. Which is smaller: s or w?
s
Let k be ((-3)/(-9))/(100/6). Is -1 less than or equal to k?
True
Suppose -5*h - 12524 = 3*y, -2*y - 12500 = y - h. Let o = -375161/90 - y. Let i = o + 7/30. Which is greater: 1 or i?
1
Suppose 2*a - 16 = a. Is a > 17?
False
Let k = 44 + -44.3. Let i = 0.4 - 0. Let u = i + k. Is 1 < u?
False
Let m be (-4 - -6) + (-2)/1. Is m != 4?
True
Let q be (-14)/(-9)*(-12)/(-42). Let m = 47 - 139/3. Let a = q - m. Which is bigger: 0 or a?
0
Let m = -54 - -38. Let u be 1763/(-28) - 4/m. Let p = u + 63. Are 0 and p nonequal?
True
Let h = 1663148/189 - 222470/27. Let y(i) = -34*i**2 + 5*i + 4. Let b be y(-4). Let o = h + b. Which is smaller: 1 or o?
o
Let k be (2/3)/((-2)/(-3)). Let f = -28 + 83/3. Which is greater: k or f?
k
Let x = 3 + -3.05. Let j = x - -0.02. Is 2/3 not equal to j?
True
Let k = 25/8 - 601/200. Is k < -1?
False
Let k = 1.3 + -1.14. Let v = 0.96 - k. Is v bigger than -2/7?
True
Let l(v) = -2*v**2 - 15*v + 3. Let b be l(-7). Is b equal to 9?
False
Let n be (2/4)/(2/(-4)). Let u(x) = -x**3 + 3*x**2 - 4*x + 2. Let o be u(2). Let a = -4 - o. Which is smaller: n or a?
a
Let o = 7.7 + -0.7. Let h = 6 - o. Which is greater: h or -2/5?
-2/5
Let a(y) = y**2 - 5*y - 5. Let q be a(6). Let d be 0/4 + (-3)/q. Which is smaller: d or -1?
d
Let t = 20 - 21. Are t and 3/5 nonequal?
True
Let z = 19 - 11. Let f = z - 7.7. Which is smaller: f or 1?
f
Let w = 186878/87435 - 647/603. Let f = 17/15 - w. Suppose 3*p = -2*p. Is f < p?
False
Suppose 24 = -10*r - 166. Is r at least as big as -17?
False
Let f be -3 + -3 + (-276)/(-45). Which is smaller: f or -1?
-1
Let y = 39/10 - 4. Is -1 less than or equal to y?
True
Let q(z) = 2*z - 4. Let v be q(4). Suppose -6*r = -r - 25. Which is smaller: v or r?
v
Suppose 3*x = 4*j - 2*j + 1, 0 = 4*x + j - 5. Let s = -16 + 15. Does s = x?
False
Suppose 11 = -4*m - 5. Is m greater than -4?
False
Let v = 0.4 - 7.4. Let h = v + 6.97. Which is smaller: 0.1 or h?
h
Let o = 22 + -20. Let l be 1/(1 + 1 - 3). Is l less than or equal to o?
True
Let g = -0.12 - 11.88. Which is greater: g or -2/7?
-2/7
Suppose 0 = 5*l - 43 + 13. Suppose -3*v + 3 = n - 1, n = -5*v + l. Is -1/3 at most v?
True
Let v = -22 + 17. Is v less than or equal to -6?
False
Let o(b) be the third derivative of b**4/6 - b**3/3 + 2*b**2. Let r be o(2). Suppose -r - 4 = 5*z. Is -2 <= z?
True
Let b = -0.01 + 2.01. Let t = -0.03 - 1.97. Let u = t + b. Which is smaller: -0.1 or u?
-0.1
Let n = 31 + -46. Is 0 at least as big as n?
True
Let v be (141/(-9))/(2/18). Let n be 2/10*v/(-1). Let t = n + -28. Which is greater: 2/3 or t?
2/3
Let v be (0 - 2) + -1 + 2. Let a be v - 4 - -1*3. Which is greater: -1 or a?
-1
Let m be (-20)/3 - 4/(-6). Let r(v) be the first derivative of v**3/3 + 3*v**2 - 2*v - 2. Let n be r(m). Are -3 and n unequal?
True
Let a be 6/24 + 1002/(-8). Let s = -1376/11 - a. Suppose 0*f + 5 = 5*f. Which is smaller: s or f?
s
Let k = -25 + 18. Which is bigger: 1/3 or k?
1/3
Let r be (-2)/((-2)/(1 - 2)). Let j be r + 3 + (-2 - 0). Is j > -10?
True
Let c be (-2)/(-3) - 448/528. Which is bigger: c or 0?
0
Let d = -21 - -6. Which is greater: d or -1?
-1
Let j = -16 - -17. Is j bigger than 2/3?
True
Let a be 32/14 + (-2)/7. Suppose 0 = a*u + 3*u. Let v be -1 + (0 - 2) + 3. Is u <= v?
True
Let w be (-6)/8 + ((-33)/(-4))/11. Is -9/7 < w?
True
Let z(t) = -t**2 + 5*t + 5. Let h be z(6). Let s = -2047/4 - -512. Which is bigger: s or h?
s
Let l(u) = -u**3 + 4*u**2 - 5*u + 1. Let k be l(2). Which is bigger: 2/35 or k?
2/35
Let x = 15 + -11. Let f be (-4)/(-18) + 128/72. Which is bigger: x or f?
x
Let q = 4 + -8. Let a = 1 + q. Let t = a + 2.9. Is t greater than or equal to 0.5?
False
Let d(c) = -c**2 + 5*c + 4. Let n(u) = u**2 - 4*u - 3. Let s(p) = 2*d(p) + 3*n(p). Let x be s(2). Which is greater: x or 0?
0
Suppose -3*d - 4*h = 81, 0*d - 28 = d + h. Is d > -30?
False
Suppose -2*v = -4*v - 4. Let j be (-7)/(-28)*(6 + v). Which is smaller: j or -2/103?
-2/103
Let x = -2 - -2. Suppose 2*r = -3*d, 0 = 3*d + 5*r - 4*r. Let u = -1 + d. Which is smaller: x or u?
u
Let u = 16 - 5. Is u less than -1?
False
Let v be -1*(0 - 0 - 0). Let w = 2 + -2. Are v and w nonequal?
False
Suppose 4*r - 4*h + 0*h = -16, 1 = -4*r + h. Let b(o) = o - 2. Let u be b(3). Let c = -5/7 + u. Is c > r?
False
Let l = 5 - -1. Suppose -4*c - 11 = 5*h, c - h = l - 2. Is c greater than or equal to 1?
True
Let k be (-372)/16*4/(-6). Let h = -15 + k. Let u = -1 - -3. Is u less than or equal to h?
False
Let a be (-14)/18 + 6/(-27). Let t be ((-2)/6)/(8/18). Is a < t?
True
Let h be (3/(-2))/(12/(-8)). Which is smaller: -2/5 or h?
-2/5
Let w = 0 - -1. Suppose -t = -2 + w. Are 3 and t equal?
False
Let c = -60 - -58.89. Let a = c + 0.11. Let m = 4.97 + -5. Is m != a?
True
Let a(y) = -y**3 - y**2 + y + 1. Let v be a(0). Let d = 1 + -1. Let k = d + 0.1. Is k equal to v?
False
Let u(l) = -l**2 - l - 6. Let b be u(0). Suppose -12 = -5*a - 4*p - 0, -4*a - 4*p + 8 = 0. Let z = b + a. Which is smaller: z or 0?
z
Let d = 2 - 6. Let t(h) = 5*h - 21. Let a(m) = -m + 5. Let x(n) = -9*a(n) - 2*t(n). Let r be x(0). Is d less than r?
True
Let x(g) = 3*g + 7. Let z be x(6). Suppose -3*q - 5*c + z = -1, -4*q = -2*c - 52. Suppose 2 - q = 5*s. Is -3 <= s?
True
Let n = 2.8 - 2.8. Suppose -4*j - 257 = -1. Let i be j/110 - 2/(-5). Which is bigger: i or n?
n
Suppose -5*h = -3 - 2. Let t be (1/(-14))/(h/(-8)). Do t and -0.1 have different values?
True
Let h = 0.15 + -0.1. Let j = -0.3 + 0.4. Is h equal to j?
False
Suppose 4*p - 9 = 3*z + 11, 5*p - 25 = 3*z. Suppose z*c = -2*c. Is -2 equal to c?
False
Let z be (13/(260/(-32)))/(42/10). Which is smaller: z or -1?
-1
Let f be (10/14 - 0) + -3. Which is smaller: f or -1?
f
Let k = -3 - 4. Let h = k + 5. Is -0.1 > h?
True
Let v = -2 + 4. Let r = -2.1 + v. Let f = 0.2 - 0.2. Which is bigger: r or f?
f
Let x be ((-2)/8)/((-3)/(-4)). Let l be 1 - (-2 + 38) - 0. Let j be l/(-14) + 58/(-20). Does x = j?
False
Let x = -111189073 - -179236778031/1612. Let n = -3/403 + x. Is -5 > n?
False
Let s = 3 - 1. Suppose -d - 3 = -s. Which is greater: -2/3 or d?
-2/3
Suppose s = -1 + 4. Suppose 4*o + 3*b - 14 = 0, b + s*b = 5*o - 2. Suppose 0 = 2*u - u + o. Is u at least as big as -3/4?
False
Suppose -2*v = -4*v - 2. Let l = -632/9 + 70. Is v greater than or equal to l?
False
Let y = -9 - -8. Which is smaller: 16 or y?
y
Let f = 5.1 - 0.1. Let t = f - 5. Let z = t + 0. Is 3 >= z?
True
Let o = -1 - -0.4. Let l = o + -0.4. Let d = 0 - l. Is d at least 0.1?
True
Let b be 4 + -4 - 0/1. Suppose 2*y - 3 = -l, 3*y - l + 2*l - 4 = b. Which is greater: -2/9 or y?
y
Let x be (-4)/6 - (-40)/58. Let s be (79/(-10))/((-522)/15). Let w = s + x. Is w < -2/3?
False
Let s = -10 - -15. Let b be (0 - -1)/((-7)/(-70)). Suppose 3*o + o = s*n - 7, -3*o - b = n. Are -3 and o nonequal?
False
Suppose 0*v = v. Suppose 0*f - 2*f = v. Let i be (f - 1)*(-2)/(-6). Is i greater than 1?
False
Let y = -82 + 81. Is y greater than -16/5?
True
Suppose -7 = j - 0. Let d = 8 + j. Is d smaller than 0?
False
Suppose 0 = 3*s - s - 10. Suppose -2*p - 30 = -s*p. Let o be p*(-3)/((-45)/2). Is o at most -0.1?
False
Let f be (-6 + 6)*(-3)/3. Which is greater: f or -2/7?
f
Let s = -973/1164 + 1/388. Which is smaller: s or 0.1?
s
Suppose 5*v = n - 12, -38 = -3*n + 2*v - 2. Which is smaller: -1 or n?
-1
Let v = -470/3 - -160. Do v and -0.1 have the same value?
False
Suppose 4*f = f + 18. Let v be (