 + 1). Is l greater than or equal to 0?
True
Let x be (2 - (-7)/(-4))*-4. Let j = x - 0. Which is smaller: j or 1/8?
j
Suppose 0 = 5*y - y + 8. Let i = -2 + -1. Let w be (-7)/(-5) - (y - i). Which is smaller: w or 0?
0
Suppose 0 = 3*l - 5*a - 22, -5*l - 3*a + 4*a = 0. Let t(i) = 5*i**3 + i + 1. Let p be t(l). Is -4 at least p?
True
Let z = -67.95 - -68. Let b be (-14)/8 - (-3)/(-12). Is z bigger than b?
True
Let z(p) = 17*p**2 + 1. Let c be z(-1). Which is bigger: c or 17?
c
Suppose 5*r + 19 = -4*k - 6, -3*k - 21 = 3*r. Is k greater than -13?
True
Let t(d) = d - 6. Let a be t(5). Are a and 1/20 unequal?
True
Let d be (4 + -8)*(-1)/2. Let v be (-7 - -1)/((-6)/4). Let w be d/v - (-9)/(-6). Is -2 smaller than w?
True
Let p(k) = 0*k**3 - 7*k**2 + 4*k**3 + 9*k**2 - 3*k**3 + 2*k. Let q be p(-2). Is q > -2?
False
Suppose -2*d + 6 + 22 = 0. Let g be 94/d + (-2)/(-7). Is 7 equal to g?
True
Let r be (2/6)/((1/(-273))/(-1)). Which is smaller: r or 92?
r
Let x = 0.5 - 0. Let k = 0.06 + -0.66. Let q = x + k. Which is bigger: 0.2 or q?
0.2
Let o be (-16)/572 + (-2)/13. Let c(f) = f - 1. Let u be c(1). Is o at most as big as u?
True
Let o(d) = d**3 + 33*d**2 - d - 34. Let l be o(-33). Is -2/279 > l?
True
Let w(y) = 6*y**2 - 1. Let p be w(-1). Suppose -p*g + 3 = -17. Suppose 0 = 2*l - z - 9, 5*z - 10 = -5*l + 20. Is g != l?
True
Suppose -5*d + 14 = 4, 4*j - 3*d = -2. Let g be j + 2 - 3 - 0. Which is smaller: g or 1?
g
Suppose -2*g + 2*k - 7 = -7*g, -3*k - 12 = 0. Which is bigger: 1 or g?
g
Let u be (3/5)/((-10)/50). Let a be (-8)/82*u/6. Is -1 < a?
True
Let u = 49/9 + -70/9. Is u smaller than 1?
True
Suppose 0 = 3*a + 7 - 43. Let k be (-6)/(-4)*64/a. Let u = 13 - k. Is u equal to 4?
False
Suppose -8 = -5*q + 12. Suppose 4 = 3*i - b - q, -2*i + 22 = -4*b. Is 11/5 at most as big as i?
False
Suppose 3*x + 6 = -b, -2*b + 4*x - 3 = -11. Which is bigger: -1/3 or b?
b
Let g(k) = 3*k**2 - 3*k. Let y be g(3). Is 19 > y?
True
Let o = -10.9 + 11. Is 2/17 > o?
True
Let z = 85 + -84. Is z != -1/82?
True
Let q = -20 - -13. Let n = 9 + q. Let c = -2.1 + 2. Is n bigger than c?
True
Let v be (-6)/2 - 133/(-49). Is 1/3 less than v?
False
Let d = 20 - 16. Do d and -1 have the same value?
False
Let u = 11 - 8. Let d be u/(0 - 30/4). Is 2 >= d?
True
Let w(d) = d**3 - 22*d**2 + 20*d + 21. Let j be w(21). Let l = -0.4 + 0.3. Which is bigger: l or j?
j
Let b = -1029 - -84377/82. Is b smaller than -1?
False
Let t be (-6 + 0)*-4 - 0. Let m = t + -13. Suppose 3*c - m = 3*f - 2*c, 6 = -f + 4*c. Which is smaller: f or -1?
f
Let w = 133 - 167. Is -2 at least w?
True
Let b = 0.02 - 0.52. Let f = -2.5 - b. Let j = 1.3 - 0.3. Is j less than f?
False
Suppose 2*l - 10 = 7*l. Is l >= -2?
True
Suppose -3*t = -4*t. Let y be t - (1 - 16/18). Which is greater: y or 1?
1
Let t = 55 + -54. Is t != 36?
True
Let b be 69/348 + 4/(-16). Which is smaller: 1 or b?
b
Suppose 2*d = -5*u, -2*u = -0*d + d + 1. Do 7/12 and u have the same value?
False
Let o = -11 + 14. Let c be -2*(1 - o/2). Is -1/4 > c?
False
Let q be 3/(-30)*(1 + -2). Suppose -4*d + 5*a = -d - 16, -5*a = 2*d - 19. Let z be 10/(-14) + (-2)/d. Which is smaller: q or z?
z
Let l be -3 - (25 - (-2 + 1)). Which is smaller: l or 0.1?
l
Let z be (-33)/2*28/63 + 3. Is -4 smaller than z?
False
Let q be 40/6*(-3)/(-2). Is q smaller than 10?
False
Suppose 2*y + 3*j - 6 = 0, -5*y + 2*j = -0*y - 34. Let s be 1594/2190 + (-2)/y. Let w = 2/365 + s. Are w and 2/3 unequal?
True
Suppose -2*x = 4*c - 2*c - 8, 0 = -3*x - 4*c + 16. Is x greater than -3/89?
True
Suppose 24 = 4*h + 4*f, -5*h + 3*f = 2*f - 42. Let c be h/20*(-10)/(-4). Which is bigger: c or -2/11?
c
Let l = 4 + -1. Let b = 5 - l. Let f = b - 2. Does f = 0?
True
Suppose 3*t + 4 = -2*b + 3*b, -5*t + 5*b = 10. Suppose -22 = 3*n + 32. Let u be (-1 + (-16)/n)/1. Which is smaller: t or u?
t
Suppose -5*z + 4 + 1 = 0. Suppose -5*x + 4*x + z = 0, -18 = -g - 4*x. Suppose 3*m - u = 3*u - g, -4 = -2*u. Is m less than or equal to -1/2?
True
Let u be 24/(-1) + (-9)/3. Let l be ((-1)/6)/((-45)/u). Which is smaller: 0 or l?
l
Let s be (-18)/(-4) - 2/4. Suppose -3*o + s*z - 7 = 0, o + 13 = -o + z. Let b be (-16)/(-30) + 3/o. Which is smaller: -1 or b?
-1
Let w = 235 + -4933/21. Which is greater: w or 0?
w
Let r = 2.09 + -0.09. Let w = 0.3 + -0.5. Which is smaller: r or w?
w
Let g(k) = k**2 - k + 1. Let o(q) = 3*q**2 - 8*q + 9. Let b(f) = 4*g(f) - o(f). Let h be b(-5). Which is bigger: h or -1/7?
h
Let w be ((-6)/(-405)*10)/(-38). Which is smaller: 0 or w?
w
Suppose -5*g = -0*g - 30. Let j = -6 + g. Suppose 4*s + 6 + 2 = j. Which is smaller: s or 0?
s
Let s be ((15 - 3)/4)/1. Let b be 5/(-15) - (-4)/s. Is -1/3 less than b?
True
Let b(u) = -u - 5. Suppose 3*m + 2*y = -12, 21 = -m + y + 4*y. Let h be b(m). Let g = h - 2. Is -1 > g?
False
Suppose -556 = -4*q - 8. Which is smaller: 136 or q?
136
Let l(k) = -2*k**2 + 4*k + 8. Let f be l(-7). Is f smaller than -118?
False
Suppose -4*i - 5 = j, 4*j - 2*j + 3*i = -5. Which is bigger: 1/19 or j?
1/19
Let j = -5056/1219 + 98/23. Which is smaller: j or 1?
j
Let g be 0*(0 + -4 + 3). Suppose q + q - 44 = g. Let a = q - 43/2. Is a >= 2?
False
Let m be -6*(10/3 + -3). Is 25 less than or equal to m?
False
Let i = 1 + 3. Suppose 2*s + i = 16. Which is smaller: s or 5?
5
Let u be (-1)/(-2)*(9 - 3). Suppose -15 = 3*a - 4*g, -4 - u = -2*a - 3*g. Let l be (2 + 0)/36*-4. Are a and l equal?
False
Let o = 53 + -211/4. Let a = 5 - 2. Suppose -a*b + 1 = -4*b. Which is greater: o or b?
o
Let f be 1/(-28) + (-2)/(-7). Suppose v - t + 3 = 0, -2*t = -5*v - 4*t + 6. Suppose v = -6*k + 9*k. Are k and f equal?
False
Suppose 8 = 5*y - 12. Let a be 6 + -2 - (-2 + 2). Is y less than a?
False
Let o = -0.1 + -0.1. Let f = o - 0.8. Let z = 0.2 + 0. Which is smaller: f or z?
f
Let c be (-16)/4 - 117/(-29). Which is smaller: 0 or c?
0
Suppose -2*l - 5*m = -6*l - 45, 2*l = 3*m - 25. Let v = 4 + l. Is 1 >= v?
True
Let i = 1480/7 - 211. Suppose 4*v + 0*v = 0. Which is bigger: v or i?
i
Let z(o) = 20*o - 12. Let a(r) = 7*r - 4. Let c(m) = -17*a(m) + 6*z(m). Let h(p) = p - 4. Let u(x) = -5*c(x) + 4*h(x). Let y be u(4). Is 0 less than y?
False
Let b = 59/5 - 202/15. Let h be ((-1)/3)/(5/15). Which is bigger: b or h?
h
Let y be 11/(2*1/(-2)). Let g be -2 - (-3 - y/6). Is -2 at least as big as g?
False
Suppose -4*w = 5*m - 0*w - 4, 2*w = -8. Let k be -2 + 0 + m + -2. Let n be -1 + -1 + k - 0. Are -3 and n equal?
False
Let s = 11 - 15. Let g = 1 + s. Let k(f) = f**2 - 12*f - 17. Let w be k(13). Which is greater: w or g?
g
Let i(z) = -z**2 - 3*z - 3. Let w(b) = -b**2 - 3*b - 2. Let d(g) = -2*i(g) + 3*w(g). Let o be d(-3). Suppose 4*y = 2*y. Are o and y equal?
True
Suppose 8*c - 4*c + 16 = 0. Let l be 6/2 - (c - -8). Let x = -3 + 2. Is x greater than l?
False
Let c = 81 + -92. Let h = -26 + 16. Is h greater than or equal to c?
True
Let c = 3 + 0. Let j = 2 + c. Let x = 4.9 - j. Which is smaller: x or -2/5?
-2/5
Let j be 0 - -3 - (-6)/(-3). Let t be (53/(-26) - (0 - 0)) + 2. Are j and t nonequal?
True
Let z = -25/2 + 12. Which is smaller: -1.6 or z?
-1.6
Let s = -2.8 + 3. Let n = 19 + -20.7. Let h = n - -2. Is s != h?
True
Let v = 22 + -12. Let d = -3 + v. Suppose -5*j - 1 = 2*n, -d = 3*j - 7*j + n. Is j smaller than 1/3?
False
Let m be 1 - 6/(-4)*2. Is 4 != m?
False
Let j = -8 - -11. Suppose 7 - 32 = 2*b - 5*h, j*h = -3*b - 6. Is b > -5?
False
Suppose -26 = 2*i - 5*m, -28 = i + 3*m + 2*m. Let a be 3*(-4)/i*-3. Let o be a/1*3/39. Which is greater: o or -1?
o
Let c = -141165983/100 + 1411615. Let j = 179/4 + c. Which is smaller: j or 0?
j
Let t be 7/4 + 1 + -3. Which is bigger: 0 or t?
0
Let l = 1/60 - -7/30. Is 0.8 greater than l?
True
Suppose 6*q = 4*q - 4. Does -6 = q?
False
Let m = 5 + 0. Let d(g) = -2*g**2 + 5 - 3 - 3*g**2 + g**3. Let n be d(m). Is 1 greater than n?
False
Let b = 1/53 + -59/318. Which is smaller: b or -1?
-1
Let v = 6.8 + -6. Let q = -0.2 + v. Let d = q + -0.5. Which is greater: 1 or d?
1
Let w(k) = -k**3 - 3*k**2 - 5*k - 5. Let r be w(-2). Which is bigger: 0 or r?
r
Let d be 0 - 1/2 - (-5)/(-10). Let o(n) = n**2 + 6*n + 5. Let y be o(-5). Which is greater: y or d?
y
Let s be 2/5 - (-7)/(-30). Suppose 0 = -3*m + 4*m. Is s > m?
True
Let y be 9/45 + (-26)/30. Let l = 1 + -0.9. Which is smaller: l