 or equal to h?
True
Let o be 294/9 - 2/3. Let y = -143002/11 + 13032. Let h = y - o. Is -1 smaller than h?
True
Let i = 0 - -3. Let v = i - 33. Let y be ((-4)/10)/((-42)/v). Is y equal to -1?
False
Suppose -b - 2 = -0*b. Let t(i) = i**2 + i - 1. Let x be t(1). Let v = x + b. Which is bigger: v or 1?
1
Suppose -3*c + 2*c = -4*z + 13, -z - 8 = -4*c. Suppose -40 = -p - c*p. Is p greater than 10?
False
Suppose 2*n - 3*n + 4 = 0. Suppose -n*w - w = 5. Is -2 bigger than w?
False
Let y be 3/9 + (-62)/(-3). Suppose -o + 3*u = 5, 3*u = -6*o + 3*o + y. Which is bigger: o or 3?
o
Let u be -4*(-1 - (2 - 2)). Let k be u/18 - (-14)/18. Do k and 1 have the same value?
True
Let n = -4 - -6. Suppose -n*z - 8 = 2*z. Which is greater: -1 or z?
-1
Let h = -231 + 6701/29. Let y = -76/261 + h. Let t = -3 - -2. Which is smaller: y or t?
t
Let o = -0.1 + 0.1. Let x = o - -0.1. Let f be (1/(-3))/((-8)/(-6)). Is f < x?
True
Suppose -3*o - 80 = -14. Let z be 1/(-2) - o/(-4). Let u be (1/((-1)/z))/(-5). Which is smaller: 0.1 or u?
u
Let w = 20 - 16. Suppose 5*c = -5*r + 10, w*r - 1 = 2*c - 11. Is -6 at least r?
False
Suppose 4*b = -4, -3*l + 61 = -0*l + 5*b. Let z be 12/(-66) - 18/l. Which is smaller: -1/11 or z?
z
Suppose 2*o + 3*n + 12 = 0, 0*o + 8 = 4*o - 2*n. Is 1/72 at least o?
True
Suppose 4 = -n - 3*n. Which is bigger: n or -2/57?
-2/57
Let b = -0.17 - -1.37. Let v = b - 1.2. Which is smaller: -2 or v?
-2
Let w be 32/48 + (-8)/6. Is 1/5 < w?
False
Let r be ((-27)/9)/(6/4). Is r at least -4?
True
Let t = 0 - 2. Let x = t - -5. Which is smaller: x or -0.1?
-0.1
Let x = 20.3 + -20. Is 0.3 less than or equal to x?
True
Let h be ((-48)/(-198))/((-4)/6). Is h equal to 1?
False
Suppose -3*a = -a - 3*n + 4, 0 = -3*a + 4*n - 6. Let q be 3/2*a/3. Do 2/5 and q have the same value?
False
Suppose -5 = 5*r - 25. Let t(a) = 6*a + 4. Let z be t(0). Is r at most z?
True
Let p be (-7)/21*(-21)/1. Let z = p + -8. Is -2/23 greater than z?
True
Let u = 1.32 - -0.68. Does u = 0.055?
False
Suppose 164 = -2*t + 5*t - s, -6 = 3*s. Suppose -5*v + q = t, 3*v - q - 3*q = -29. Are -11 and v equal?
True
Suppose -2 = 4*b - 10. Suppose -2*c = 2*c - 4. Is c > b?
False
Let t(m) = 10*m - 3*m - m**2 - 4 + m. Let b be t(7). Suppose b*w - 17 = -8. Which is smaller: 4 or w?
w
Let s = 0 + -3. Let k = -3 - s. Let t = 1/47 + 43/188. Are k and t unequal?
True
Let k = -22 + 22. Which is greater: k or 2/15?
2/15
Let r = -3 - 2. Let p be r - ((-1 - 0) + -1). Is p != -3?
False
Let j be (5 + 419)*2/12. Let b = j + -72. Is -2 less than or equal to b?
True
Let i(k) be the second derivative of -k**5/20 + k**4/4 - k**3/6 - k**2 - 2*k. Let y be i(2). Is y smaller than 1?
True
Let w = 0.03 - -0.47. Let i = w - -0.5. Is -0.3 bigger than i?
False
Let m be (-2)/3 - 4/3. Which is smaller: m or -1?
m
Let z be (804/45)/(-4) + 2. Let l = -9/5 - z. Is l at least as big as 2?
False
Let q be (-1)/2 - 1/(-2). Let u = -72 + 145/2. Which is bigger: q or u?
u
Suppose 4 = -f - l + 5, 0 = -2*l - 6. Let h = -1.1 + 0.1. Which is bigger: f or h?
f
Let h = -0.11 - 13.89. Let r = h - -13. Which is smaller: r or -2/5?
r
Let t(c) = -2*c + 1. Let b be t(-3). Which is smaller: b or 8?
b
Let d = -21 + 36. Let g = -10 + d. Suppose 0 = -4*s + 1 - g. Is 1/3 <= s?
False
Let d(t) = t**2 + 5*t + 5. Let y be d(-4). Let v = 743 + -11889/16. Which is smaller: v or y?
v
Let z = -60 + 80. Is 20 not equal to z?
False
Suppose -2*h + 2*p - 10 = -0*p, 12 = 4*h + 4*p. Let t = 0 + h. Let o be (t/2)/(2/(-4)). Is o != 2/7?
True
Suppose -q + 3*z - 2 = -5*q, 0 = 2*q - 5*z - 14. Is 3/2 bigger than q?
False
Let d(y) = -y + 10. Let b be d(6). Let p = b - -3. Is p equal to 0?
False
Let g(b) be the third derivative of -b**4/24 - 3*b**3/2 - 2*b**2. Suppose -18 = 2*p - 0*p. Let x be g(p). Is -1 > x?
False
Suppose -3*t = -5*t + 14. Which is bigger: t or -0.3?
t
Let g(n) = -n**2 - 6*n + 6. Let y be (-3)/((-6)/14) + -2. Suppose 2*d - 10 = 0, -d - 45 = y*c - 3*d. Let p be g(c). Which is bigger: -2/3 or p?
-2/3
Let a be (-20)/8*6/(-5). Suppose o = 1 - a. Let w = -0.1 + -0.9. Which is smaller: o or w?
o
Suppose u = -2*a - 3, 5*a - 3*a + 7 = -5*u. Let b = -1 + 9. Let l be 2/b*(-32)/12. Which is greater: u or l?
l
Let p = -50165451319 + 3466783844230701/69107. Let o = p + -2/2383. Let u = -212/261 - o. Is -1 less than or equal to u?
True
Let c be ((-9)/(-12) - -1)/(24/32). Suppose 0 = -2*b - 3*b + 10. Which is bigger: b or c?
c
Let l be (-2*1)/((-3)/(-6)). Let t = 8 + l. Let c be (2/(-10))/(t/10). Are -2 and c equal?
False
Let y = -5 - -9. Suppose 0 = -3*p + 3*t - 14 - 1, -y*t + 20 = 5*p. Which is bigger: p or -3/8?
p
Let u = 79 - 80. Is u bigger than -2/609?
False
Let i be 4/14 - 40/42. Let h = 0.27 + -0.17. Is i less than or equal to h?
True
Let z = 60 - 24. Let t = z - 109/3. Which is smaller: t or -6?
-6
Let t = -1 - -4. Suppose 13 = 2*c + 2*q - t*q, 0 = 2*c + q - 3. Is 3 at least as big as c?
False
Let g = -130 - -908/7. Is g equal to 10?
False
Let y = -0.067 + -0.033. Which is bigger: y or -0.61?
y
Let r = 5 + -3. Suppose -r = 2*m + 4. Let h(o) = o**2 + 2*o - 3. Let s be h(m). Is s >= -1?
True
Let m = 11 - 18. Suppose -3*c - 2*g - 13 - 5 = 0, 0 = 4*g. Which is smaller: m or c?
m
Let x = 100 - 1302/13. Is x at least as big as 1?
False
Let c = 0 + 0. Let r be (-34)/6 + 3 + 3. Is c greater than or equal to r?
False
Let o(c) = 2*c**2 - 9*c - 2. Let m be o(5). Do m and 2 have the same value?
False
Let k be 11 - (18/(-3))/2. Let x be (4/k)/(9/(-7)). Do 0.2 and x have the same value?
False
Let w = 18 + -11. Let f = w - -8. Which is bigger: -0.1 or f?
f
Let i = 0.6 + -0.1. Which is smaller: 1/4 or i?
1/4
Let s = -4.3 + 4. Let m = 0.7 - s. Let p = -1.5 - 1.5. Which is smaller: p or m?
p
Suppose -2*k + p - 2 = 0, 4*p - 8 = 3*k - 4*k. Suppose k*q + q = 1. Let c = -693/5 + 139. Which is smaller: q or c?
c
Let n(a) = -3*a**3 + 8*a**2 + 3*a - 7. Let u(q) = -4*q**3 + 8*q**2 + 4*q - 8. Let x(p) = -3*n(p) + 2*u(p). Let w be x(8). Is w less than -3?
False
Let g be 21/6 + 1/(-2). Suppose -2*o - 2*o - 14 = 2*f, 3*f - g*o - 15 = 0. Suppose 8 = 5*c - c. Which is smaller: f or c?
f
Suppose g + 3*k + 14 = -0*g, 4*g + 3*k + 29 = 0. Are g and -3/2 nonequal?
True
Let h = -0.2 + 0.2. Let q = h - 0.2. Let o = -82 + 245/3. Which is greater: o or q?
q
Let a = 4 + -3. Let n = 7 - 6. Let l be (0 - (-6)/7)/n. Which is bigger: l or a?
a
Let g(m) = -4*m - 21. Let r be g(-5). Let k(q) = q**2 + q - 113. Let v be k(0). Let f = v + 563/5. Is r > f?
False
Let r(o) = -o + 1. Let v be r(-4). Let b = v - 7. Is 0 >= b?
True
Suppose -l = 4*l - 5, 0 = 3*k + 3*l - 15. Let c = 3 - k. Let v be ((-4)/8)/(c/(-2)). Is -2/13 at most v?
False
Suppose 5*m = -11 + 76. Let a = m + -8. Let g(q) = q**3 + 6*q**2 - 7*q + 5. Let p be g(-7). Is p greater than a?
False
Let s = -179/6 + 61/2. Is s at least as big as 4/27?
True
Let k(s) = -2*s + 4. Let t be k(4). Let y(g) = g**2 + 5*g. Let v be y(t). Let j(c) = -c**3 - 3*c**2 + 4*c - 3. Let h be j(v). Are h and -4 nonequal?
True
Let f(d) = -8*d + 13. Let n be f(-7). Is n less than or equal to 68?
False
Let d(w) = w**2 + 7*w - 1. Let f be d(-7). Let r be (12/(-60))/(f/(-2)). Let i = 91/12 - 29/4. Is r bigger than i?
False
Let y = -17 - -37. Let n = -21.1 + y. Let d = n + 0.1. Are d and -0.1 equal?
False
Let c be 4/27*36/(-24). Is 1 bigger than c?
True
Let n = -32.1 - -32. Which is smaller: n or -0.03?
n
Let t = 12 + -20.6. Let n = t - -8. Is n <= 0.1?
True
Let g(n) = -2*n + 0*n - 4*n. Let o be g(-3). Let r be (-12)/o + 1/(-3). Is r less than -1?
False
Let t be (-3)/(-1) - (-3 + 9). Let p(i) = -i + 7. Let u be p(6). Let k be (-2 + 1)/u - 1. Which is bigger: t or k?
k
Let w = -0.04 - 0.76. Let t = w - 1.2. Is t greater than -0.3?
False
Suppose -3*t + 2*w = 17, -3*w = 4*t - 0*w. Which is bigger: t or -4?
t
Let q be (-4)/(-72) + (1 + -2)/2. Is q > 0?
False
Suppose -5*z = -4*m + 19, 3*z - 7*z = 2*m + 10. Let y be (-1)/((-1)/(z/3)). Let o = 13 - 38/3. Is y at most as big as o?
True
Suppose o + 0*o - 4*z = 69, -2*z + 148 = 2*o. Which is bigger: o or 72?
o
Let k be (((-2)/(-13))/1)/1. Suppose -4*u + 16 = -5*x - 15, -6 = -3*u - 2*x. Suppose u*o = o. Which is smaller: o or k?
o
Let u be 0 - (14 + -2) - (-4 + 1). Which is bigger: -14 or u?
u
Let m = 4183/2 + -2007. Let v be 220/(-24)*(-323)/(-