 greater: b or t?
b
Let d(v) = -v - 3. Let g be d(-6). Suppose -9 = -g*b, -4*q + q = 3*b - 21. Let t = -3 + q. Which is smaller: 5/3 or t?
t
Let f = 7 + -2. Let j = f + -5.2. Let y = j - -0.1. Which is greater: y or 0.06?
0.06
Suppose 2 = 2*c, -5*i - 7*c + 2*c = -45. Suppose 0*m = -2*m + i. Let x(d) = -2*d - 8. Let o be x(-6). Is m equal to o?
True
Suppose 5*w + 0*w = -40. Let r(f) = -f**2 - 8*f + 2. Let x be r(w). Let g = -2 + x. Is g >= 0?
True
Let x(h) = -h - 1. Let p be x(-2). Let i be (-14)/18 - 0 - -1. Which is smaller: i or p?
i
Let c(o) = -o + 5. Suppose 2*i = 6*i - 20. Let y be c(i). Let k = -193 + 2511/13. Which is smaller: k or y?
y
Let z be 8*((-78)/(-44) - 3). Let k = -573/55 - z. Suppose 3*o + 4 = -o. Which is smaller: k or o?
o
Suppose 3*x - x = 0. Let a be 44/45 - (-2)/9. Which is smaller: a or x?
x
Suppose -3*i - 5 = -2*m, m - 25 = 6*m + 5*i. Suppose 3*x - 22 = 2*c, -3*x + 11 = x + c. Suppose x*b + 3*n = -15, -5*n = -2*b + b + 2. Which is bigger: m or b?
m
Suppose -r = r. Suppose -2*o = o + 3. Let x = r + o. Are x and 0 non-equal?
True
Let i be 1/(((-182)/(-12))/(-7)). Is -1 at most as big as i?
True
Let s = -89/136 + 9/17. Let d be (-2 - (-1)/2)/(-6). Which is bigger: s or d?
d
Let a(l) = -l + 1. Let d be a(1). Is d less than or equal to -1/12?
False
Let d(s) = -s**3 - 9*s**2 + 2*s + 18. Let l be d(-9). Are l and 3/23 non-equal?
True
Let b(v) = v**3 + 4*v**2 - 4*v + 5. Let d be b(-5). Let w be 0 + (-2)/(1 + d). Let y be (0 + (w - -2))/2. Is y > 0?
False
Let n = -13.13 + 0.13. Let q = n + 12.9. Which is smaller: q or 4?
q
Let n(j) = -j**2 + j. Let t(m) = -5*m**2 + 4*m. Let i(w) = 6*n(w) - t(w). Let h be i(1). Is -1/2 bigger than h?
False
Let u = -0.2 - 0. Let z = -0.05 - 0.13. Let h = z + 4.18. Which is bigger: h or u?
h
Let n be (-15)/10*(-4)/(-6). Let l be ((-6)/2 - n)/(-1). Let k be l/(-8)*(-24)/(-21). Which is smaller: 0.1 or k?
k
Let s = -63 - -65. Let m = 18/55 - 8/11. Which is greater: s or m?
s
Suppose -10 = 6*i - i. Which is bigger: i or 0?
0
Let l be (-10)/3 - (14 + -17). Which is smaller: 2 or l?
l
Let h = -3 + 2.99. Let n = h - -8.01. Let t = 6 - n. Are t and -0.1 unequal?
True
Let g be 4/(-2) - 97/7. Let p = g - -257/14. Which is smaller: p or 2?
2
Let o = 124 - 130. Which is smaller: o or 0?
o
Let q(x) = x + 8. Let d be q(-8). Let a = 1 + d. Is 4 at most as big as a?
False
Let y = 268 + -2147/8. Which is greater: y or -2/3?
y
Let s = -17/2 - -157/18. Does s = -1?
False
Let h = 1 - 4. Let t(g) = -2*g - 1. Let f be t(h). Is 4 at most f?
True
Let d be (20/(-325))/((-2)/(-5)). Let k = 43/26 + d. Are -2 and k equal?
False
Let w(l) = -l**3 - 10*l**2 - 11*l + 4. Let f = -13 + 4. Let k be w(f). Let x be ((-12)/9)/(k/(-3)). Is x at most as big as -1?
False
Suppose 3*j + 14 = 5*m, 4*j - m = j + 2. Let h = -2 + j. Let i = 4 - 3. Are i and h unequal?
True
Suppose -4 = 11*g - 7*g. Is g < -4/13?
True
Let l(q) = -q**3 - 3*q**2 - 2*q + 1. Let z be l(-2). Let m = 3/5 - 4/15. Which is smaller: z or m?
m
Suppose p = 5*p - 28. Let v be -2 - (-2 - (-523)/p). Let l = 75 + v. Are l and -1 unequal?
True
Let f = -0.4 + 2.3. Let i = 2 - f. Which is greater: -2/5 or i?
i
Let y be (7 - 6)*-1*1. Is y at most as big as -1/16?
True
Let v = 13 - 8. Let r = v + -5.1. Let u be -1 + (-2)/(-1) - 1. Is r > u?
False
Let f(g) = g**2 + 1. Suppose -2*t = -2*y - y + 12, 3*t + 8 = 2*y. Let u be f(t). Is 3 > u?
True
Suppose 2*r + 6 = 4*u, u - 2*r + 0 + 3 = 0. Suppose 0 + u = 3*h. Let g be 2/(-8)*h/(-1). Which is smaller: g or 0.2?
0.2
Let n = -49 - -54. Suppose 2*c - 6 = 0, -9 + 0 = -z - c. Which is smaller: n or z?
n
Let g be (-24)/16*20/(-6). Suppose 32 - 12 = g*j. Which is bigger: 6 or j?
6
Let y = -31 - -32. Does -1/57 = y?
False
Let x be 1*(1 - (-1 + 1)). Let p(z) = -10*z. Let w be p(-1). Do x and w have the same value?
False
Suppose 3*v = 5*n - 0*n + 39, -n - 21 = -5*v. Let f be n/4*3/9. Is -1 > f?
False
Let x be ((-27)/6 + 3)/(-9). Suppose -4*z = 3*h - 19, 9*z = 4*z - h + 10. Is x < z?
True
Suppose 15 = -0*g + 3*g, -3*n - 14 = -4*g. Suppose -3*s + 24 = -0*s. Suppose 6*l - s*l + 2 = 0. Which is smaller: l or n?
l
Suppose s = -b - 4*b + 12, 2*b - 4 = 0. Let h(v) = -8*v + 5*v**3 + 2*v**3 + 1 - 8*v**3 - 9*v**2. Let a be h(-8). Does a = s?
False
Let s be (2/4)/(2/(-4)). Let t be s/(-3) - 2/6. Is 1/10 smaller than t?
False
Let g(c) = 9*c + 1. Let h be g(1). Let n be (-6)/h + 13/5. Suppose 3*i - 5*k = -n, -2*k = 5*i + 3*k - 10. Which is bigger: i or 3/2?
3/2
Let c(m) = m**2 + 17*m - 39. Let s be c(-19). Which is smaller: 1 or s?
s
Let l be (6/20)/(21/(-28)). Suppose 0 = -3*k + 2*k + 2. Suppose -w - k*w = 0. Which is greater: l or w?
w
Let x = 6 + -17. Let k(l) = -l**2 - 11*l + 1. Let v be k(x). Is -2/5 less than v?
True
Let q = 27 - 25.2. Do 4 and q have different values?
True
Let f = 0.03 + -0.33. Let d = -0.5 - f. Let o = -549/10 - -109/2. Which is bigger: o or d?
d
Let s = 20 - 17. Suppose y - m - 16 = s*m, -m = 2*y + 4. Is 1/3 equal to y?
False
Let d = -1 - -2. Let y = -7448/13 + 28024/221. Let i = 446 + y. Which is smaller: d or i?
i
Suppose 4 = 4*r - 16. Suppose 4*z + z + r*d - 40 = 0, 2*d = 2*z - 20. Let u be (-4)/z*(-3)/2. Is 0 at least u?
False
Let p be ((-6)/(-15))/((-2)/10). Let q = p + 3. Let k be (-1 + 3)/(q - -1). Which is smaller: -2/7 or k?
-2/7
Let i = -18 + 36. Let h = -16 + i. Is 1 less than h?
True
Let b = -16 + 20. Suppose b*z + 2*g = 6, -2*z - 9 = z - 3*g. Which is smaller: z or -5/4?
-5/4
Let n(d) = d + 1. Let g be n(0). Let x be g/2*(5 + -3). Which is greater: x or 2/13?
x
Let q(p) = -p**2 + 11*p + 13. Let t be q(12). Which is smaller: -2 or t?
-2
Let o = -8 + 12. Let l = 0 - o. Let q be (3/2)/(2/l). Which is smaller: -4 or q?
-4
Let d = 235/4 - 59. Which is bigger: 8 or d?
8
Let a be 34/(-8) - 1/(-4). Let g(f) be the first derivative of f**4/4 + 5*f**3/3 + 5*f**2/2 + 4*f - 15. Let q be g(a). Which is smaller: q or -1?
-1
Let q = 15 - 16. Are -0.2 and q unequal?
True
Let u = 0.6 - 2.7. Let c = -22.1 - -22. Let s = c - u. Is s smaller than 0?
False
Suppose -m + 4 = -2*m - 4*g, 39 = -5*m - g. Is -10 greater than m?
False
Let o = 12/107 + -217/2889. Which is smaller: 0 or o?
0
Let u = -717/5 - -145. Do 2 and u have different values?
True
Let g(x) = x**3 - 8*x**2 + 12*x. Let o be g(6). Which is bigger: 5/6 or o?
5/6
Let j = 17.5 - -62.7. Let c = j - 74. Let x = c - 6. Is x > -1/4?
True
Let o = -1.874 - 0.126. Is o < -78?
False
Let p = -2 + 2. Let s(i) = i. Let l be s(p). Let u be (1/(-4))/(3/(-10)). Which is smaller: l or u?
l
Let z(c) = -c**3 - 10*c**2 - 7*c + 7. Let y be z(-7). Let d = 177/2 + y. Is d greater than or equal to -4?
True
Let n = 43 - 44. Which is greater: 1 or n?
1
Suppose -12 = -2*i - 3*b, 5*i - 3*i + 4*b = 16. Let q(d) = 21*d + 6. Let p be q(-6). Let a be p/(-126) - (-2)/(-7). Which is smaller: a or i?
i
Suppose -4*y + 1 = 13. Suppose -27 = -3*h - 0*h. Suppose -4*o - h = -o. Is y bigger than o?
False
Let l = 2/3 + -61/15. Let z(o) = o**3 - 8*o**2 - 9*o - 4. Let a be z(9). Which is greater: a or l?
l
Let d = -7793751773105599/885 - -8806497679698. Let s = d + 1498953. Let a = s - 1/177. Which is smaller: a or 0?
0
Let y = 5 - 1. Suppose 3*k + 3*z = 2*z - 2, 4*k - y*z = -8. Which is bigger: k or 8?
8
Let x be 8/(416/180) - 3. Which is smaller: 1 or x?
x
Let g(t) = -t**2 - 6*t + 9. Suppose 0 = -2*w + 2*p - 19 - 5, -4*p = 2*w + 12. Let v = 3 + w. Let q be g(v). Which is smaller: 0.1 or q?
0.1
Suppose 0*c - 7 = 7*c. Which is smaller: c or 5?
c
Let i be (-8730)/8*(1 - -3). Let d be ((-1)/5)/((-12)/i). Let p = -72 - d. Is p at least 1?
False
Suppose 0 = -d + 3*d + 2*w, -3*d = 2*w - 5. Suppose -2*c - h + 5 = 1, -d*h + 10 = 0. Is c at most as big as 8/5?
True
Let n = -12 + 18. Let r(c) = 5 - 6*c**2 - 1 + c**3 - 5. Let q be r(n). Is 1 bigger than q?
True
Let r = -0.62 + 0.02. Let c = r + 0.5. Which is smaller: -0.3 or c?
-0.3
Let a be (-3)/7 + 9/21. Let h be (3 - a)*4/(-12). Let b = -3 + 0. Which is greater: h or b?
h
Let p be (-4)/(-12) + 11444/(-25602). Let f = p + -1/251. Is 0 greater than or equal to f?
True
Suppose -2*v - 24 = 4*w, -3*v - w = 3*w + 26. Let m = -6 + 10. Let h be 15/(-3)*m/10. Are v and h non-equal?
False
Let r(g) be the second derivative of g**4/12 - g**3/3 - g. Let v be r(5). Suppose -p + 4*j = -v, 5*p