. Which is greater: l or -2?
l
Let y = 1.8 + -1.9. Which is greater: y or -3/7?
y
Suppose 4*z - 9 - 7 = 0. Suppose -z*f + 7 + 2 = -n, -27 = -5*n - 4*f. Suppose 2*w + 0*p = 4*p + 16, 4 = n*w - p. Does -2/13 = w?
False
Suppose 0 = -2*i + 4*i. Let g be (-69)/(-80) - 36/45. Are i and g non-equal?
True
Let t(z) = -z**2 + 8*z - 11. Let c(o) = -o**3 - o**2 + o + 6. Let q be c(0). Let v be t(q). Is 3/2 at least as big as v?
True
Let i = 0.045 - -0.055. Which is smaller: i or -49?
-49
Let z = -72 - -141/2. Let b = 2/35 + 44/455. Which is smaller: z or b?
z
Suppose -y + 4*i = -5 + 2, 0 = y + 3*i + 32. Is -16 at most as big as y?
False
Suppose 0*c - 4*c = 0. Let r(i) = -3*i - 5. Let j(k) = -4*k - 8. Let g(x) = -5*j(x) + 7*r(x). Let w be g(4). Is w at most as big as c?
False
Let k = -1.9 + 2. Let i = -5 - -1. Let w be ((-2)/16)/(2/i). Is w greater than k?
True
Let c be (-4)/14 - 254/(-7). Suppose 4*l + c = 8. Is -7 at most as big as l?
True
Let l = -5 + 4. Let f be (-1)/2*(7 - 5). Is f equal to l?
True
Suppose -i + f = 9, 0 = 2*i + f + f + 34. Which is greater: -2 or i?
-2
Let u = 0.03 + 0.07. Suppose 2*y - 6 = -5*j, 2*y + 3*j + 1 - 3 = 0. Which is smaller: y or u?
y
Let b be 2/3 - 16/(-12). Let p be (-1 - b)*15/9. Let f = p - -5. Does -4/5 = f?
False
Let d = 10 - -4. Does d = -1/3?
False
Let c be (-15)/35 + (-36)/(-35). Let i = 10 - 7. Let t be 2/i*3/2. Which is bigger: t or c?
t
Let x = 0.22 + -0.2. Let q = -0.08 - x. Is q greater than -0.05?
False
Let p = 0 - 0. Let z(s) = s - 7. Let c be z(8). Which is greater: p or c?
c
Let b = -141/494 - -25/78. Is b > 0?
True
Suppose -5*l - 6 = 4. Suppose o - 1 + 4 = 0. Which is smaller: o or l?
o
Let k be (-28)/80 - (-4)/(-16). Which is bigger: -2 or k?
k
Let d = 28 - 4. Suppose 0 = -5*y + 4*z + 1 - d, -8 = 2*y - z. Suppose -4*v + 35 = -5*i + 10, -8 = -2*i - 2*v. Which is greater: y or i?
i
Let i be (-117)/217 + (-2)/(-2). Let l = i + -3/7. Which is greater: -1 or l?
l
Let w(t) = -t**2 + 7*t + 11. Let b be w(8). Let k be 21/7*2/3. Which is greater: b or k?
b
Suppose 0 = 4*v - 2*a + 5*a - 21, v = -3*a + 12. Let z be v + -1 + 2 + -2. Which is smaller: z or -2/3?
-2/3
Let b = -4 + 4. Let u = b - 5. Let t = u - -4. Which is smaller: t or -4?
-4
Suppose -5*t - 5*u = -15, t = -2*u + 2 + 3. Let h = t - 6. Let n be 2/4 + (-33)/6. Is n greater than or equal to h?
True
Let p = -2 + -2. Suppose 0 = 2*c - 4*c - 4. Which is greater: c or p?
c
Let f be ((-2)/4)/(5/(-199)). Let i = f - 39/2. Which is bigger: -2/3 or i?
i
Let l = 0.123 - 0.172. Is l not equal to -1?
True
Suppose 2*y = 4*j - 3*j - 6, 0 = 5*y + j + 8. Let o = 2 + y. Is 0 greater than or equal to o?
True
Suppose -n + 9 + 13 = 0. Suppose -2 = w - 2*u, 2*w - 6*w = -u + n. Is w at least as big as 1?
False
Let c be -1 + 8 + (-119)/17. Let x be 1/((-6)/2)*-3. Is c equal to x?
False
Let y = 1 + 4. Suppose -2*i - 9 = 3*i - 2*h, 5 = 5*i + y*h. Let d be (4 - (i + 3)) + 0. Which is greater: d or 1?
d
Let s be (0 - 0 - -1) + 0. Let a = 17 + -12. Which is greater: s or a?
a
Let o = 2 + -7. Let b(r) = -r - 6. Let x be b(o). Which is bigger: 0 or x?
0
Let j(h) = -h**2 - 18*h - 17. Let q be j(-6). Which is bigger: 56 or q?
56
Suppose 0 = v + 3*v - 16. Is v != 3?
True
Let i = -6.1 - -8.4. Is i < -0.1?
False
Let s = 637/11 - 58. Let o be (-3)/5 + (-2)/(-20)*6. Is o bigger than s?
True
Let j(c) = -c**3 + 5*c**2 + 8*c - 16. Let z be j(6). Let l = 0.2 + 0. Which is bigger: z or l?
l
Let t = -15 + 15.1. Which is greater: t or -7/2?
t
Let z = 9 + 4. Suppose -l + z = 23. Is -11 >= l?
False
Let h = 10 - 5. Which is greater: 1.8 or h?
h
Suppose 2*f - f - 4*o = -8, f - 2*o = -4. Let c be (27/(-12) + 2)*-1. Which is greater: c or f?
c
Let w = -5.7 + 6. Let a = w - -0.1. Let g = a - 1.4. Is 1 at most as big as g?
False
Let r be (-6)/(-10)*20/134. Let q = -416601711/737 + 565267. Let f = r + q. Which is bigger: f or 1?
1
Suppose 3*v + 64 + 44 = 0. Let o be (6/(-4))/(189/v). Is -1 at least as big as o?
False
Let k(f) = f**3 - 11*f**2 + 11*f - 6. Let b be k(10). Let a be ((-24)/20)/(b/(-10)). Let o be (-14)/(-6) + (-3)/9. Is o greater than or equal to a?
False
Let b = -14 - -14. Which is smaller: 2/17 or b?
b
Let p = -104537/8 + 12945. Let m be 3/(-6) + (-729)/6. Let t = p - m. Which is smaller: -1 or t?
-1
Let r(j) = -3*j + 3. Suppose -5*u = -10*u + 15. Let l be r(u). Is l at most as big as -7?
False
Let z = 8 - 4. Suppose -z*s + s = 15. Let k = s + 3. Which is smaller: -3 or k?
-3
Suppose 0*q - q = -4. Suppose -b + 9 = -2*s, s + s + q*b - 16 = 0. Is s greater than -2?
False
Suppose -4*f + 3*t - 10 = 0, f = -5*t - 0 + 9. Which is smaller: f or 1/20?
f
Let h(s) = -s + 1. Let j be (-6)/((-4)/(-2)) - 1. Let n be h(j). Suppose n*a + 3 = 2*a. Which is smaller: a or -5?
-5
Let b be 2/5 - (-21)/35. Which is bigger: b or 0?
b
Let z be (6 - 5)/(1 + 2 - 4). Let c be 1 - (4 - (1 + 0)). Is c greater than z?
False
Let d(f) = -3*f + 1. Let c be d(5). Let z be 2/(c/10 - -1). Let k(x) = x**2 + 5*x + 3. Let q be k(z). Which is smaller: q or 1?
1
Suppose 0 = -6*a + 7*a + 12. Which is smaller: a or 0?
a
Let w(u) = -u**3 + 4*u**2 + u - 4. Let s be w(4). Let k(o) = o. Let r be k(s). Let b(x) = 4*x**2 - 2*x + 1. Let y be b(1). Is r smaller than y?
True
Suppose 1 = s - 1. Is s >= -0.18?
True
Let x be (-3)/5 - 17/5. Let o be x/(-10) - 117/(-45). Is o at most as big as 8/3?
False
Let m = -0.3 - -3.3. Is -0.04 equal to m?
False
Let a = 95 - 947/10. Which is smaller: a or 1?
a
Let g = 0.2 + -0.3. Let x = -0.2 + g. Which is smaller: x or 0?
x
Let p be 421/(4/((-12)/(-27))). Let t = 47 - p. Is t equal to 1?
False
Let j = -29 + 30. Which is smaller: j or 4/19?
4/19
Suppose -3*u + 2 = 4*l, -2*u + 4*l - 16 = 2*u. Let p be (-2 - -1)/(u/20). Is p not equal to 9?
True
Let c = 176 - 299. Let o = c + 124.02. Let y = o - 0.02. Which is greater: y or 4?
4
Let y = -0.1 + 1.1. Let n be (3/9)/((-55)/(-33) - 2). Is y bigger than n?
True
Let w(v) = v**3 - 1. Let f be w(-1). Let q = f + -2. Which is bigger: q or -5?
q
Suppose b + 3*b = 2*t - 10, 0 = -4*t + 20. Suppose 4*v + 13 = -b*s - 3*s, 5*v = 4*s + 7. Are s and -3 non-equal?
False
Let t be (-3358)/(-360) + (-8)/(-36). Let q = -39/4 + t. Is q greater than or equal to 0?
False
Let t = -11/53 - -4943/24327. Let i = 904/3213 - t. Is -5/3 less than or equal to i?
True
Let z = -7 + 29/4. Which is bigger: z or 8.9?
8.9
Let m be ((-6)/9)/(280/(-21)). Which is smaller: 0 or m?
0
Let l = 3 + 2. Suppose -5*n + 8 = 3*a, l - 2 = 3*a. Which is smaller: 2 or n?
n
Let v be -1 + 2 - (-1 - -5). Let n be v/6*(-2 - -4). Which is bigger: -2 or n?
n
Let l(u) = u**2 + 7*u + 1. Let a(p) = 8*p + 1. Let h be a(-1). Let g be l(h). Which is greater: -2/9 or g?
g
Let o = -26 + 48. Let h = o - 21.64. Let m = -0.06 + h. Which is greater: -0.1 or m?
m
Let j = 24 - 29. Which is bigger: j or -1/4?
-1/4
Let a(r) = r**2 - 8*r + 14. Let m be a(4). Let x(f) = 5*f - 7. Let u(l) = 3*l - 4. Let b(v) = 7*u(v) - 4*x(v). Let n be b(-2). Is n bigger than m?
False
Let y = -683/8 + 88. Is 0 at least y?
False
Suppose 6*k + 41 = -25. Which is bigger: k or -58/5?
k
Let l(j) = -2*j**2 + j + 1. Let b be l(0). Let x be (-4 + b)/((-27)/12). Which is bigger: x or 0?
x
Let h = 3 + 3. Suppose -u - 12 = -5*z, -u = -4*u - h. Is -0.3 > z?
False
Let z be 2/((0 - 5) + 0). Let b = -1 - -1. Which is smaller: b or z?
z
Let u be (-3)/((-1 + 4)*1/(-8)). Is 0.1 less than or equal to u?
True
Suppose 4*y - 5*t = 20, -y + 3*y + 4 = -t. Let k be ((-6)/40)/((-81)/72). Is k >= y?
True
Suppose 0 = 4*z - 5*z + 2. Suppose z*a + 5 = -3*a. Let g be 10/(-4)*4/25. Is a smaller than g?
True
Suppose -5*g + 35 = r, 2*g + 2*r - 1 = 5. Let z = g - 17. Does z = -9?
True
Suppose 10*m = 7*m. Which is greater: m or 1?
1
Suppose 5*y = 2*a - 0*a + 36, -3*a + 5*y - 44 = 0. Let r = a - -17. Is r not equal to 10?
True
Let x be (-16 - 2)/(3/(-2)). Suppose 3*n - 4*c - 4 = 0, 2*n = -0*n - 2*c + x. Suppose -5*l - n*r - 15 = 0, 2*l + 23 = -3*r - 2*r. Which is greater: 0 or l?
l
Let v be 12/(-3) - (2 + (-235)/(-20)). Is v smaller than -18?
False
Suppose -2*c - 11 = -4*a + 3, 0 = 2*a - 6. Let f = c + -2. Is -3/2 at most as big as f?
False
Let m = 13 - 13. Is m >= -1/149?
True
Suppose s - 30 = -s. Suppose 2*o + c = -24, -o - 5*c + 3*c - s = 0. Let r(f) = f + 11. Let k be r(o). Whic