uppose -4 = -5*r + 6. Let j be r/(-8) + 6/(-8). Is j < b?
True
Let l(d) = -d**2 - 4*d + 5. Let n be l(-5). Suppose n = -p - 0*p. Suppose 3*w - 7 = 3*v + w, -4*v - 2*w + 14 = p. Which is smaller: -1/4 or v?
-1/4
Let d be (0 - -3)*-1 - -4. Let y be 2 + -4 - 27/(-14). Is d bigger than y?
True
Let a be (-1)/4*(-2 + 6). Is 3/14 >= a?
True
Suppose -2*y - 2*k + k - 126 = 0, 3*y = -4*k - 189. Let x = y - -187/3. Is x >= -2?
True
Let f(c) be the second derivative of c**7/840 + c**6/180 + c**5/60 + c**4/24 + c**3/6 - c. Let h(i) be the second derivative of f(i). Let y be h(-1). Is y > 1?
False
Let c(t) = t**2 - 7*t - 18. Let k be c(9). Which is smaller: -1/2 or k?
-1/2
Let l be 91 + ((-5)/1 - 28/(-14)). Which is bigger: l or 87?
l
Let j be 2/(((-20)/(-6))/5). Let v be 5 - (0/1)/j. Suppose 4*x - 3 - 13 = u, -4*u - 22 = v*x. Which is greater: u or -9?
u
Suppose -o = -5*o + 44. Suppose 20 = 5*z, 17*l = 12*l - 3*z + 67. Is l greater than or equal to o?
True
Let g = -404/7 - -58. Let j = 0.2 - 0.24. Let l = j + -0.96. Which is greater: l or g?
g
Let y = -5 + 5. Suppose -w - w + 16 = y. Let i be 6/w*-2*2. Which is smaller: i or -4?
-4
Let n(o) = -o - 2. Suppose 5*z + 40 = -0*z. Let i be n(z). Is i at least as big as -1/2?
True
Let x be (2/4)/((-2)/4). Suppose 0 = d + 2*d + 3. Is x at least as big as d?
True
Let x be 1/(-4) - 5/(-4). Is x at least as big as 0?
True
Let b = -7 + 22. Let x be (6/b)/(1/5). Suppose -5*q = -4*g - 30, x*q - g = -0*q + 9. Is q at most as big as 1?
False
Let w = -14/11 - -277/88. Is 2 less than or equal to w?
False
Suppose 0*j = -2*j - 2. Let i = 1 + j. Let a be i/1 + 2/2. Are a and 0 nonequal?
True
Let o be 4/(-2) - (-2 - -2). Is -2 != o?
False
Suppose -3 = -3*b, 0 = -3*y - y + b - 17. Let v be y/(-24)*4/(-11). Which is smaller: v or 0?
v
Let d(q) = -2*q - 23. Let f be d(-11). Is -29 at most as big as f?
True
Let o(d) = d**2 - 2*d - 2. Let k be o(3). Let i be (k + 2 + -1)*-1. Let h = 14 - 14. Which is greater: h or i?
h
Let q = -13 + 16. Suppose 0 = -q*n - 4*k + 20, 20 = -n - 3*n + 4*k. Is n greater than -1/22?
True
Suppose -17 = -4*q - 1. Let t = 6 - q. Suppose t*o - 3 = 5*o. Are o and -1/7 unequal?
True
Suppose 8*k - 104 = 16. Is 1/3 at most k?
True
Let w = -23 - -164/7. Let r be 10/35 + (-5)/(-7). Is r less than w?
False
Let x = 14 + -9. Suppose x*w + 0*h - 4*h = 25, 8 = 3*w - h. Do 5/4 and w have the same value?
False
Let t = 9.8 - 10. Let l = t + 1.2. Is 0.04 at least as big as l?
False
Let i be -1*(1 + 1) - -7. Let b be i/((-10)/(-4)) + -3. Suppose -5*p + 0 = -5. Which is smaller: b or p?
b
Let l = 0.6 - 0.7. Let z = 0.1 + l. Let t = -0.2 - 0.3. Which is smaller: t or z?
t
Let z = 1 - -8. Let u = z + -11. Is u greater than or equal to -3/4?
False
Let y = 1.6 + -1.3. Let c = 0.39 - -0.01. Let a = y - c. Which is smaller: 0.1 or a?
a
Suppose -15 = -5*m - 0. Suppose -a + 2 = y, y - m*y = 4*a - 8. Is y less than or equal to -1?
False
Suppose 0 = 3*r - 5*i + 187, 2*r - i + 86 = -41. Is r bigger than -64?
False
Suppose 4*v = 5*v - 1. Let k = 3 - -2. Let a be (4/k)/((-22)/(-55)). Which is smaller: v or a?
v
Let x be 68/60*15/(-10). Which is smaller: -3 or x?
-3
Let u be 0 - 4 - 1482/(-366). Which is smaller: -1 or u?
-1
Suppose 3*f = 3 - 15. Are -4 and f equal?
True
Let q be (-2)/(-5) - (-42)/(-30). Let h(n) = -n**2 + 3*n - 2. Let u be h(3). Let x be 1/(12/((-4)/u)). Is x >= q?
True
Let a be (39/(-15))/(6/10). Which is bigger: a or -5?
a
Suppose 2*z - 7 = 3*t + 1, 3*z = -t + 23. Suppose 0 = -x + 5*w, z*w = -2*x + 2*w. Let g = -19/22 - -15/11. Is g greater than x?
True
Let q(v) = v**3 - 10*v**2 + 11*v + 11. Let j be q(9). Let d = j - 59/2. Which is smaller: d or 4?
d
Suppose -a + 9 = -5*p, 0 = -4*a - p + 25 - 10. Let v be (-3)/2*(-32)/12. Suppose -8 = -4*r - 4*k, -5 = v*k - 1. Which is smaller: a or r?
r
Let h be (-6)/(-10) + (-4218)/30. Let j be 4/(-16) + (-1007)/h. Let m = -50/7 + j. Is m at least as big as -1?
True
Let q = -44 - -28. Let d be (1/(-2))/(2/q). Suppose 0 = d*m + 3*l - 4, 2*m + m - 3*l = 3. Is m less than 4/5?
False
Let x(j) = j. Let v be x(0). Let g(h) = -2*h + 5. Let n be g(4). Let w(a) = a**2 + 3*a + 1. Let u be w(n). Is u less than v?
False
Let h = -5 + 8. Let w = -4 + h. Let q be -3*(w + (-10)/(-6)). Which is smaller: -4/5 or q?
q
Suppose -5 = l - 9. Let d = l + -4. Suppose -h - 4*h = d. Is h smaller than 1?
True
Suppose 2 + 1 = -c. Which is smaller: c or -22/7?
-22/7
Let s(p) = p + 4. Suppose -a - 2 = 4*f + 18, 0 = 3*f - 5*a - 8. Let i be s(f). Which is bigger: -1/18 or i?
i
Let a = -17.06 - -17. Is a bigger than 0.2?
False
Suppose -u = -3*s + 15, 0 = -5*u - s - s - 58. Let q = -9 - u. Is q >= 1?
True
Let h(w) = 2*w**2 - 2*w. Let z be h(3). Let u be 7*(48/28 + 0). Is u smaller than z?
False
Let u be -12 - -10 - -2*1. Which is greater: u or -1/19?
u
Let l = -2.01 + 0.01. Let z = l + 2.4. Let f = 0.3 - z. Are -4 and f unequal?
True
Let i = 157/3 - 56. Is i > -4?
True
Let j be (-4)/71*4/(-8). Which is greater: j or -1?
j
Let z be (2/185)/(24/(-626)). Let s = 2/111 - z. Is s <= -1?
False
Let w(z) = z**3 + 6*z**2 + 5*z + 2. Let v be w(-5). Suppose o = -5*c - 9, v*c - 5*c = -3*o + 9. Let l be (-85)/(-180) - o/4. Is l < 0?
False
Let u = -1.7 + 1.5. Suppose 0 = k + 2, -2*c + 5*k = -8. Is u at most as big as c?
False
Let f = -7 - -4. Suppose z - y = -5*y + 15, 3*z - 2*y - 3 = 0. Suppose 4*j = z*c + 2, -c - 4*c + 5*j = 10. Is c greater than or equal to f?
False
Let i = 22 - 23. Let n be ((-1)/(-6))/(10/(-615)). Let c = n + 10. Is c >= i?
True
Let n be 2/(-4) + 188/448. Let v = -15/16 - n. Let d be (1/(-2))/(2/4). Which is bigger: d or v?
v
Let p(w) = -w**2 - 16*w. Let f be p(-16). Let l be 1 + 1 + (-26)/10. Is f greater than or equal to l?
True
Suppose -4*d + 9*d - 5*w = 20, -5*w = -4*d + 21. Let q = 9 + -12. Let s be q/d + 60/(-16). Which is smaller: -2 or s?
-2
Let h = 1 + -7. Let j = h - -2. Which is smaller: j or -2/3?
j
Let q be 2*(-228)/56*1. Which is smaller: -9 or q?
-9
Let j(y) = y**3 + y**2 + y + 4. Let k be j(0). Suppose 0 = 5*h - k*h. Is h smaller than -2?
False
Let w be (-9 - -5)/((-4)/(-6)). Let f = -2 - w. Suppose -p - p = f*i - 4, -5*i = 5*p - 15. Is -3 less than i?
True
Let y(s) = 3*s + 4*s + 2*s**2 - s**2 - 9. Let a be y(-8). Suppose 4*i - 22 = -5*l + 3, i - 20 = -4*l. Which is smaller: a or i?
a
Let k(g) = g**2 + 11*g - 41. Let o be k(-16). Is 39 <= o?
True
Let u = -128 - -129. Which is smaller: u or 1/29?
1/29
Suppose -b = 1 + 4. Let p(u) = -u**3 - 8*u**2 - 6*u + 10. Let g be p(-7). Suppose g*l + 4*y = -2 - 5, -23 = 5*l + y. Is b < l?
False
Let i = 1/114 + -235/798. Which is bigger: -6/29 or i?
-6/29
Suppose q + 4*s = -14, -3*s - 15 = 4*q - q. Is q <= -2?
True
Let v = 68 - 72. Which is smaller: 2 or v?
v
Let x be 0 - ((-2)/(-10) - 0). Let p be (5 + -7)*(-2)/(-12)*-1. Do p and x have the same value?
False
Let d = -27 + 20. Which is smaller: d or 2?
d
Let r = -539/5 - -107. Suppose -2*l + 6 = -0*l. Let s = 2 - l. Which is greater: s or r?
r
Let q = -1 + 7. Let w = -2 + q. Let d = -6 + w. Is -4 greater than or equal to d?
False
Let o(m) = m - 2. Let a(i) = i - 1. Let w(t) = -t**2 - 4*t + 2. Let n be w(-5). Let y(s) = n*a(s) + 2*o(s). Let f be y(-2). Which is bigger: -2/7 or f?
f
Let j be 2/1 + -1 - -1. Let u(t) = -t + 2. Let p be u(0). Suppose -4 = p*h - 2*r, -2*h + 20 = r + 3*r. Is h bigger than j?
False
Let l = -15583 + 1589489/102. Let r = -1/17 + l. Let o(t) = -t**3 - 4*t**2 - t - 5. Let p be o(-4). Which is bigger: r or p?
r
Let n = -0.3 + 0.2. Let u = -4708/15 + 314. Which is smaller: n or u?
n
Let d be (-10)/(-8)*(-2 + -2). Let b be 1/(-4)*-4*-3. Let t = b - d. Which is greater: t or 1?
t
Let w(x) = -13*x + 3. Let s(d) = 3*d - 1. Let r be (-43)/(-5) + (-6)/(-15). Let n(q) = r*s(q) + 2*w(q). Let o be n(4). Which is greater: o or 0?
o
Let k(w) = -w + 4. Let s be k(3). Let a(o) be the third derivative of -o**6/120 + o**5/60 + o**3/6 + o**2. Let n be a(s). Is n >= 1?
True
Let z = -3 + 5. Let p be 1/z*(1 + -1). Let l be 3/(-5)*(-2)/(-6). Is p less than or equal to l?
False
Let y be (-3)/((9/(-1))/3). Let z be (0*(-1)/(-3))/y. Let q = 1 + 0. Is q at most as big as z?
False
Let y(t) = t**3 - 3*t**2 + 2*t. Let q be y(3). Suppose -4 = -2*u + q. Suppose 0 = -4*g + u*g. Which is greater: g or -1/4?
g
Let r