e 0 = k - 2*k + 4*l, 0 = 3*l + 3. Suppose -15*z + 7*z = 16. Is k at most as big as z?
True
Suppose -5*o + 3*o - 5*n = 25, -20 = -o + 4*n. Let x = o + 2. Suppose -3*u + k = 3*k - 2, -2*u + x*k - 2 = 0. Which is greater: u or 1?
1
Let l = -0.12 - 7.88. Let u = 2 - l. Let k = u - 7. Which is greater: -2/5 or k?
k
Let w = -0.04 + 0.14. Is -2 <= w?
True
Let q = -12.91 - -13. Let l = 132.91 - 133. Let m = l + q. Which is smaller: -1 or m?
-1
Suppose 0 = 3*a + r + 9, -5*a - 25 = 6*r - r. Let g = 21 + -16. Suppose g*t = 8*t - 6. Which is smaller: t or a?
a
Let r = -20 + 17. Let m = 0 + r. Which is smaller: -0.1 or m?
m
Let l(k) = -k**2 + k + 1. Let x(t) = -t**2 - 6*t + 10. Let q(r) = -2*l(r) + x(r). Let z be q(7). Which is smaller: -2/5 or z?
-2/5
Suppose 3*v + 4 = 4*c, 0*v = -4*v. Which is smaller: c or -1?
-1
Let g = -0.63 - -0.63. Let q = 0.02 - 0.12. Which is greater: g or q?
g
Suppose 4*n = 3*n + 5*s - 21, -3 = -s. Let r be (-20)/n*15/10. Is r < 2?
False
Let g(q) = -q**3 - 8*q**2 - q - 11. Let y be g(-8). Let x be (y/(-21))/(1/(-2)). Which is greater: x or 1?
1
Let b = 37.42 + -37. Is -0.2 less than b?
True
Let z = 8 + -14. Let o = z - -8. Suppose 3*c = c - o. Is c <= -1/4?
True
Suppose -3*x + 8*x = -10. Let j be 12*(x - (-8)/3). Suppose -5*b + b = -j. Is 1 bigger than b?
False
Let g be -1*(-1 + 3) - -3. Which is greater: g or -1?
g
Let u(c) = c**3 + 8*c**2 - 4*c. Let q be u(-9). Which is bigger: -46 or q?
q
Let j(n) = -2*n**2 - 13*n - 4. Let s be j(-6). Let v be s*(-2)/66*3. Is 1 less than v?
False
Let z = 0 + 1. Let q = -28563/238 + 389/34. Let m = q - -109. Is m smaller than z?
True
Let z be 5/(-5) - 1/(-1). Let y(g) = g - 1. Let s be y(z). Let m be (-1)/1 + (-2)/(-2). Are m and s non-equal?
True
Let x = -9 + 7. Let q(p) = -4*p + 3. Let z be q(x). Is z at least 10?
True
Let b = -5 - -8. Let j be (-5)/(-8)*b*6. Let v = 503/44 - j. Are 0 and v non-equal?
True
Suppose 17*i = 13*i - 4. Is i smaller than -3/10?
True
Let g be (1 - 2) + 1*4. Suppose -7 = 4*k + p + 5, g*k + 2 = p. Is 0 > k?
True
Suppose 0 = r - 4*r + 3. Let u = 4 - r. Are u and 5 unequal?
True
Suppose z + 2 = 10. Let p(f) = f**2 - 8*f + 2. Let b be p(z). Let t be b + -3 + 9/12. Which is smaller: 2/5 or t?
t
Let y = 14 - 17. Which is bigger: -3/2 or y?
-3/2
Let d(s) = s**2 + 6*s + 4. Let q be d(-4). Let o = 8 + q. Let g(b) = -b**3 - 2*b**2 + 4*b + 5. Let r be g(-3). Is o at least r?
True
Let y = -0.07 - -0.2. Let i = 0.06 - y. Let x be (-3)/(5 + -2) - -1. Is i greater than or equal to x?
False
Let z be (12/8)/(0 - 3/(-4)). Is -2 less than z?
True
Let a = -0.2 + 0.6. Let m = -0.03 + 1.63. Let p = m + a. Which is bigger: 0.1 or p?
p
Let k(r) = 2*r**2 + 6. Let b be k(-6). Suppose -b + 23 = -5*d. Is d bigger than 11?
False
Let p be 12/24 + (1 - (-1)/(-2)). Which is smaller: p or 2.3?
p
Let y = 2.9 - 3. Is -1 > y?
False
Let w = 1.5 + 4.5. Let r = -6.5 + w. Let g = r - -0.3. Which is smaller: g or -1/4?
-1/4
Suppose 4*a = -3*r - 43 - 59, -114 = 5*a - 3*r. Let j = a - -24. Which is bigger: j or 1/2?
1/2
Let i(o) = o - 1. Let v be i(3). Suppose x + 8 = 2*t, 3*t + v*x = -t. Let j be (2 + 1)/(3/t). Which is smaller: j or 1?
1
Let h = 60 + -241/4. Let z(v) = v**3 - 5*v - 2. Let y be z(-3). Let d be 4/14 + 4/y. Which is smaller: d or h?
h
Let m = 3073/15 + -205. Let a(d) = -d**3 + 3*d**2 - 3*d + 3. Let n be a(2). Is n bigger than m?
True
Suppose 2*j + 0*j = 42. Let v be 7*9/j*2. Let g be ((-15)/12)/(v/8). Which is bigger: g or -3?
g
Let k = 2.8 + -1.4. Let s = k - 1.1. Which is smaller: s or 0?
0
Let y = -0.3 + -0.3. Let i = 7 - 6.3. Let w = y + i. Is w greater than 0.1?
False
Let b be (-708506)/3060 - 6/(-27). Let i = b - -694/3. Let h = i + 24/85. Is 0 less than or equal to h?
True
Let a be -3*2 - 2/4. Suppose 4*v - 17 = -i + 2*v, -5*i + 4*v + 15 = 0. Let c = a + i. Is c smaller than 1?
True
Let c = 3 + -1. Let k = 0 - c. Is 4 != k?
True
Suppose 3*t + 3*j = 6, 0 = 2*t + 2*t + 2*j - 8. Let r be ((-36)/20 + t)/1. Is 0 < r?
True
Let p = -4/33 - 7/33. Suppose -4 = 4*n + 2*w + 50, -3*w = -4*n - 39. Let i = n - -12. Is i at least p?
True
Let k = -50 + 53. Which is smaller: -0.07 or k?
-0.07
Let h(j) = j - 4. Let v be h(2). Let f(n) = -3*n - 6. Let z be f(-4). Suppose 2*l = -l - z. Is l > v?
False
Let l = 9/7 + -43/28. Are 5 and l unequal?
True
Suppose 4*c + 4 = 3*z + 2*c, 3*c = 4*z - 7. Suppose 3*m = m - 158. Let a = m - -235/3. Are a and z unequal?
True
Suppose 0*n - 3*n + 2*k + 224 = 0, -2*n + 2*k = -152. Let l be 1*-2*3/n. Which is bigger: l or -1?
l
Suppose -8 = 4*h + 2*t, -3*h - 2*h - 4*t - 16 = 0. Which is bigger: h or -1/3?
h
Let y(w) = -2*w**2 + 19*w + 9. Let p be y(10). Is p at most -5/11?
True
Suppose 4*f = 3*f + 12. Let r = f + 6. Let x be (-1 - r/(-8)) + -1. Which is smaller: x or 1?
x
Let t be ((39/(-18))/13)/((-1)/15). Let g(k) = -k**3 + 2*k**2 + 3*k + 3. Let n be g(3). Which is bigger: n or t?
n
Let s(d) = 0 + 2*d - 8 - d - 1. Let c be s(11). Is -1 greater than c?
False
Let n = -104 + 110. Is 0.1 greater than or equal to n?
False
Let f(q) = q**2 + 8*q + 5. Let l be f(-7). Let m = 563/3 - 190. Which is greater: l or m?
l
Let g = 1.92 + 3.02. Let d = -0.06 - g. Let b = d + 5. Are 0.3 and b nonequal?
True
Suppose 6 = -3*b + 24. Suppose h = b*h - 15. Is h at least 4?
False
Let n = 46 - 95/2. Let m(x) = x + 18. Let d be m(-14). Suppose -3*r - 9 - 3 = d*j, 3*j - 2*r + 9 = 0. Which is greater: n or j?
n
Suppose 0 = -g + 4*g - 5*k - 22, 5*g + k + 10 = 0. Let n be 161/(-255) + 8/12. Let v = 149/595 + n. Is g greater than or equal to v?
False
Let p be ((-56)/(-35))/((-2)/5). Which is smaller: -2 or p?
p
Suppose 12 = 2*q + 2*n, 0 = -2*q + q - 5*n + 22. Which is bigger: q or 14/17?
q
Suppose 8*d - 4*d - 59 = 5*y, -4*d - 7 = y. Which is smaller: -10 or y?
y
Let k be (4 - 4)*(-1 + 2). Suppose k = 3*b - b - 4. Which is bigger: 4/5 or b?
b
Let t be (-7)/(6/(-3) + 1). Suppose -2*u + 23 = t. Is u >= 8?
True
Suppose 3*i = y - 3, -6*y = -y + 3*i - 69. Is y greater than 2?
True
Let w(h) = 11*h + 26. Let z be w(-3). Which is bigger: 4 or z?
4
Let o = 2 + 3. Suppose 3*r = -2*w - 4, 3*w + o = -0*r - 4*r. Let d be 0 + 0 - r/5. Which is smaller: d or 0?
0
Let a(r) = 3*r - 1. Let d = 7 - 6. Let t be a(d). Is 1 at most as big as t?
True
Let c = 0.49 + -0.29. Which is greater: c or -0.4?
c
Let l = -11 - -9. Is l less than -3?
False
Let m = -45/8 - -389/72. Suppose 1 - 13 = -3*b + 3*g, 0 = -3*b - 5*g - 28. Which is smaller: b or m?
b
Suppose -3*f = 3*m - 2*m - 8, -13 = -3*m + 2*f. Suppose m*d + 0*d + 15 = 0. Which is smaller: d or -2?
d
Suppose 0 = -5*i + 5, 3*i = 2*n + 6*i - 1. Let o be (0/n - 167) + 0. Let z = o + 496/3. Which is bigger: -3 or z?
z
Let z(v) = -9*v + 12. Let h be z(4). Suppose -y = -3 + 5. Let m be 0 - (-2)/h*y. Are 1 and m unequal?
True
Let j = 2.47 + -1.04. Let g = 0.47 + j. Let x = g - 2. Is 0 smaller than x?
False
Suppose 5*i + 1 = 2*u - 10, -u = 3*i. Suppose -r + 4 = -5*r. Is i less than r?
False
Let t = 138 + -139. Is t smaller than -18?
False
Suppose 0 = -3*a + a + 10. Suppose 3*z + a*h - 3 + 5 = 0, 0 = 2*z + 2*h. Which is bigger: z or 2/9?
z
Let y(o) = 9*o + 3. Let b be y(-7). Let g = -436201/7238 + -21/1034. Let c = g - b. Which is greater: c or 1?
1
Suppose -4*b - 16 = 0, 5*w - 4*b - 4 = -3*b. Suppose -4*h = -w*h - 8. Which is smaller: 3 or h?
h
Let z(w) = -w**2 + 1 - 4 + 3 - w - 3. Let l be z(0). Which is smaller: l or -2?
l
Suppose -v = 3*v + 4. Let f = 0.05 - -5.95. Let n = f - 10. Is n < v?
True
Let a be 13 - (-1 + 1 + 1). Suppose 2*u = -2*m + 8, m - 5*m = a. Do 8 and u have the same value?
False
Let u = 78 - 86.1. Let f = 2.9 - u. Is 2/7 smaller than f?
True
Let j = -7 + 6.5. Let o = 0.1 + j. Which is smaller: 0 or o?
o
Let t = -24 + 59. Suppose 2*i = 7*i - t. Is i less than or equal to -1?
False
Let v = 22 + -11. Let s = 12 - v. Which is smaller: -2 or s?
-2
Suppose -2*h + 5 = -49. Let n = 17 - h. Is -9 bigger than n?
True
Let o = 1.9 + -2. Let l = -0.2 - o. Let h be -3 + (-2 - 39/(-9)). Is l bigger than h?
True
Let i = 6 - 5. Let g be -4 + 3/(2 + i). Which is smaller: -7/4 or g?
g
Let c(w) = -w**2 + 3*w - 1. Let q be c(1). Let g be -2*(-3)/(2*-3) - -2. Are q and g nonequal?
False
Let h be (2 + -1)*(-13)/(-1). Suppose -h = -4*w + m, -2*m = -7*m - 25. Suppose -3*o + 4*a = -5*o -