 Which is smaller: 6/5 or l?
l
Let d = 97 - 102.1. Let k = d + -0.9. Let g = k + 5. Which is smaller: -1/3 or g?
g
Let y(q) = 2*q - 13. Let v be y(10). Suppose 0 = 5*l - 4*l - v. Is -1 < l?
True
Let g be ((-6)/7)/(11/(-77)). Is 2 at least as big as g?
False
Let p = 0.508 + -0.008. Do p and 6/7 have the same value?
False
Let a = 2.3 + -2.2. Let p = 0.09 + -0.1. Is a at least p?
True
Let q = -74 + 37. Let m = 13 + q. Let y be m/(-45) + (-1)/5. Which is smaller: y or 0?
0
Let c be (-8)/(-12) - 5/12. Let d(r) = r**2 - 4*r + 1. Suppose -g + 6*g = -4*v + 28, 0 = 3*g + 4*v - 20. Let m be d(g). Is m < c?
False
Suppose -5*t + 90 + 0 = 0. Let g be (-2)/t + 14/(-63). Is g at least 1?
False
Let b(p) = p**2 + 5*p - 5. Let i be b(-6). Suppose 2*u = -0 + 8. Let o = u - 7/2. Which is smaller: i or o?
o
Let h be (-15)/33*(-2)/(-5). Is h less than 1?
True
Let w be (1 + -1 - -2) + 1. Let l be 0 + (-1 - 2)/w. Let g = -7/12 - -25/84. Is g equal to l?
False
Suppose 5 = 5*d - 5. Let l be d/(-4)*(5 - 3). Is -1/3 <= l?
False
Let b be 2/12 - 5/6. Is b at most as big as 0.9?
True
Let h(b) = -b**2 + 14*b - 14. Suppose 10 + 3 = i. Let r be h(i). Are 2/29 and r non-equal?
True
Let o be (1/2)/((-19)/722). Is o > -22?
True
Let t be 642/(-36) - 1/6. Is t >= -16?
False
Let j(z) = z**2 + 2*z + 2. Let b be j(-2). Let v(g) = g**2 - 1. Let s be v(1). Suppose b*q - 4*q - 4 = s. Which is bigger: -1 or q?
-1
Let f = -3 - -6. Suppose 26 = -l - 5*n, -5*l + 8 - 28 = f*n. Let h(b) = -b**3 + 20*b**2 + 22*b - 21. Let r be h(21). Is l smaller than r?
True
Let f be -1 + (-14)/(-10) - 494/1560. Which is smaller: -1 or f?
-1
Let h(o) = -o**3 + 6*o**2 + 9*o - 9. Suppose 3*u + 2*j = j + 22, -5*j + 33 = 4*u. Let f be h(u). Let n = 5 - f. Is n < 1/3?
True
Let p be -12 + (-3 - -8 - 2). Is -11 greater than or equal to p?
False
Let x be 3 + -11*(-4 - -3). Let r be 4/6 - x/12. Do -1 and r have the same value?
False
Suppose -c - 4 = 5*h + 2*c, -5*c + 18 = -4*h. Let j(a) = -2*a - 5. Let q be j(-5). Suppose 2*x - 5*p + 2 = 9, 3*x = q*p + 8. Is h > x?
False
Let i be 0 + 0 - (-3 + 5). Let m be i/12 + (-165)/(-18). Which is greater: 8 or m?
m
Let z = -0.14 - -0.34. Which is smaller: -1/3 or z?
-1/3
Let i = 3.3 + -0.3. Let g = i + -3.1. Does 0.04 = g?
False
Suppose -9*w + 5*w = 8. Are w and -8/5 nonequal?
True
Let n be 16/6 + (-2)/3. Let c(i) = -2 - 6*i + 5*i**2 - 2*i**2 - 2*i**n. Let g be c(6). Is -3 != g?
True
Let v = -146 - -245. Is 99 at least v?
True
Let s(z) = z**3 - z**2 + z + 1. Let j be s(0). Let c = 2 - j. Let h be ((-4)/2)/(c + 0). Is -2/5 smaller than h?
False
Let m = 3 - 2. Let s be 4 + (2 + m)/(-3). Is s greater than 2?
True
Let r be 0 - 3/81*2. Is r less than 0?
True
Suppose -2*l + 17 = 4*w + 3*l, -4*l + 20 = 0. Suppose -25 = 5*h - 3*u, -5*u + 8 = 3*h - 11. Do h and w have different values?
False
Let b(r) = 4*r**2 + 3*r - 3. Let w be b(1). Let d be 1 + ((-2)/(-2) - 0). Suppose -d*j = -w*j. Which is smaller: 2/5 or j?
j
Let h be -8 - (-2)/4*(-10 - -10). Is h less than -3?
True
Let l = 0.15 - 9.15. Let b = l - -8.7. Is b >= -1?
True
Suppose -6 = -2*p + 4. Let m = 10 - p. Let d = 8 - m. Are 3 and d unequal?
False
Let o = 0 + 0.1. Let k = -0.07 + 3.07. Let r = k + -2. Which is greater: r or o?
r
Let q = 1.1 + 0. Let n = 0.9 + q. Is n smaller than 0?
False
Let s(x) = -x + 1 - 3 - 4. Let d be s(-7). Let o be (2*d)/(15/(-6)). Is 0 greater than o?
True
Suppose 0 = q + q - 2. Suppose -2*a - p + 0 = -3, -p = a + 1. Let h = a - 4. Is q at least as big as h?
True
Let x be 0/(-5) + 3/11. Is -1 greater than x?
False
Let w = 925/13 - 71. Which is greater: 2/17 or w?
w
Let r be (6 + -3 + 3)/2. Suppose 2*g - r*f + 29 = 0, -5*g - 5*f + 4*f - 30 = 0. Let n be 1/((2/g)/2). Is -7 greater than n?
False
Let l = 0.02 + -8.08. Let f = l - -8. Which is smaller: 0.1 or f?
f
Let s = 7 - 16. Let c be (-6)/14*12/s. Which is greater: -0.3 or c?
c
Let r be -3 + 9/(333/110). Which is bigger: r or 1?
1
Let b be 1/(1/(-2 + 7)). Suppose -4*i + b*i = 1. Let z be (0 - (-5 - i)) + -1. Which is smaller: z or 6?
z
Suppose -u - 4*u = -15. Let h be 5 - (-4)/(-4)*2. Is u bigger than h?
False
Let s = 9 - -9. Suppose -w = 5, -3*m - 3*w - w + 34 = 0. Is s greater than m?
False
Let k = -22 + 23. Which is bigger: k or 16?
16
Let i = 7.4 - 8. Let l = -15 + 14.9. Which is smaller: i or l?
i
Let g = 10 + -7. Let a be (-1 - (1 - g))/(-1). Which is greater: 1/9 or a?
1/9
Let a = 7 - 5. Let p = 17 - 9. Suppose p - 20 = -3*d. Is d < a?
False
Let w be (-32)/(-20) - 4/(-10). Suppose z - w*z = 0. Which is bigger: z or -2/23?
z
Let o be (-1)/(2/(-4)) - -1. Suppose -o*g - 5 = -2*b - 1, -b + 4*g + 2 = 0. Which is bigger: b or 0?
b
Let v = -6 + 5. Let b be (5*(0 + -1))/v. Suppose -5*r = 5 + b. Is -2 > r?
False
Let s = -27 - -25. Let t(n) = -2*n**3 + 9*n**2 + 2*n + 2. Let f(w) = w**3 - w**2 + w. Let p(x) = -3*f(x) - t(x). Let d be p(-5). Is d smaller than s?
False
Let j = 2.6 - 3. Let q = 0.5 + j. Which is smaller: q or -0.1?
-0.1
Suppose 4*k + 25 - 5 = 0. Let v(m) = -m**2 - 3*m + 1. Let o be v(k). Let u = o + 3. Is u != -6?
False
Let u be (-60)/16 - -2 - -1. Let n = -15 - -13. Is u < n?
False
Let v be (4 - 3) + (-2)/4. Which is smaller: v or -1?
-1
Let a be (21/350)/(6/(-8)). Which is smaller: -1 or a?
-1
Let u = 0.2 - 0.3. Let b(n) = 4*n + 1. Let q be b(-1). Let i be q/4*2/6. Is u <= i?
False
Suppose -i + 8 = -w + 4*w, 0 = -5*i + 25. Let a be -4*(0 + w/(-3)). Suppose 9*g - 10 = 4*g. Which is bigger: a or g?
g
Suppose -8*h = -13*h - 15. Are -6 and h unequal?
True
Let b be (57/11 - 2) + -3. Is 0 not equal to b?
True
Let t = -0.909 + 55.609. Let z = -52 + t. Let k = z + 0.3. Is 1 at most as big as k?
True
Let s be (-1 - -2)*(-1 + 0). Which is bigger: 11 or s?
11
Let s be 3 - (136/(-28))/(-2). Which is bigger: s or 2?
2
Suppose -5*v - 31 = -m - 2, -3*v = -5*m + 13. Suppose -3*x - 2*d = -27, 2*d + d + 26 = 5*x. Let w = v + x. Which is greater: -1/16 or w?
w
Let j(f) = f**2 + 10*f. Let s be j(-10). Which is smaller: -2 or s?
-2
Let q = -11 + 10.5. Is q at most as big as -2/3?
False
Let a be ((-3)/18)/((-14)/50). Let g = -3/7 + a. Is g at least -1?
True
Let i = -49.87 - -50. Let g = -0.4 + 0.37. Let y = g + i. Which is bigger: y or -2?
y
Let m = -0.2 + -0.3. Which is bigger: m or -4?
m
Let u = -14 + 43/3. Suppose n - 1 = d, 2*n - 3*d - d = 10. Let m = n - -2. Which is smaller: m or u?
m
Let n be -5 - -2 - 0 - -1. Let k be -1 - -3 - (-11)/(-3). Which is smaller: k or n?
n
Let o(l) = 2*l - 12. Let p be o(8). Let c be ((-2)/p)/(7/(-14)). Which is smaller: c or 4/3?
c
Let c be (-1 + 1)/(4 - 6). Suppose -3*o = -3*s - 18, -o - 5*s + 4*s = c. Is o at least 3?
True
Let r = 2/83 + -103/830. Which is bigger: r or 0?
0
Let q = 4.143 - -14.967. Let k = -22.1 + q. Let r = k - 0.01. Is r at least -1?
False
Let i = -8 - -5. Let r = -5.7 - -6.7. Is i < r?
True
Suppose -2*c = -2 - 2, -u = 2*c - 3. Suppose -f + l + 3 = 0, -5*f + 8 = -l - 15. Let o be 3/7 + f/(-35). Which is bigger: u or o?
o
Let q = 2.7 + -4. Let s = -0.3 - q. Let d = s - 1.1. Is -3 less than or equal to d?
True
Let w = -3.95 + -0.05. Let f = -8 - -5. Let n = f - w. Which is smaller: -0.2 or n?
-0.2
Let a(m) = -m**3 - 8*m**2 + 8*m - 10. Let x be a(-9). Let f(b) = b**2 - 3. Let y be f(0). Which is bigger: x or y?
x
Suppose -4*r + 3 + 9 = 3*s, -4*r + 12 = -s. Which is smaller: s or -5/7?
-5/7
Let l(a) be the third derivative of a**4/24 - a**3 - 3*a**2. Let t be l(5). Is 2 equal to t?
False
Let g = -7 - 2. Let q be (-4)/18 - 11/g. Let r be ((-2)/(-15))/(24/(-15)). Are q and r non-equal?
True
Let g(q) = -q + 12. Let k be g(5). Is k > 7?
False
Suppose -4*z + 25 - 5 = 0, 2*d - 3*z = -5. Suppose d*a - 3*j + 10 = 2*j, -3*a = j + 2. Let f = a + -5. Which is greater: -7 or f?
f
Let s = -163 - -170.1. Let h = 7 - s. Is 0.3 not equal to h?
True
Let x(j) = j**3 - 8*j**2 - 2*j + 10. Let y be x(8). Let r(v) = v**3 + 7*v**2 + 6*v - 3. Let s be r(y). Is 0 <= s?
False
Let z = -26 + 27. Suppose 0 = -4*b - 193 - 747. Let l be b/(-45) - 2/9. Is z less than or equal to l?
True
Suppose 2*x - 9 = -0*x - w, 0 = -3*x - 4*w + 16. Suppose -3*j - 8*b = -3*b - x, 4*j + 5*b = 2. Which is smaller: j or 0.06?
j
Let b(d) = -22*d - 10. Let u be b(-1). Is 3 > u?
False
Let q be 2/((-4)/6) + 5. Let j be q + 3 + (-1)/1. Suppose -25 = -j*n + 3. I