 = 1 - 4. Which is bigger: o or b?
o
Let u = -583 - -2931/5. Let t be (9/(-12))/(90/404). Let q = t + u. Which is smaller: q or -1?
-1
Let o = -577/8 - -72. Is 0 >= o?
True
Let f be 6/(-4)*2/(-3). Let j = 3 + -4. Which is smaller: f or j?
j
Suppose -20 = r - 6*r. Suppose 6*s = r*s. Is -5/4 > s?
False
Let q be ((-24)/9)/(3/9). Let f = q + 10. Let i be ((-3)/f)/((-1)/(-2)). Which is smaller: -2 or i?
i
Let h be (-2)/8 - 2/(-8). Let p be h - (-1 - 268/(-10)). Let z = 26 + p. Is 0 equal to z?
False
Let p = -27 + 18. Let u(i) = -i**3 + 7*i**2 - 9*i + 9. Let f = 8 + -2. Let y be u(f). Is y greater than p?
False
Let x be ((-4)/(-6))/((-12)/54). Which is greater: -7 or x?
x
Let f = 1736854809/58265 + 307/11653. Let s = 29967 - f. Let d = s + -158. Is 0 < d?
False
Let m be 0/2 - (13 - 0). Let a be (m/(-4))/(10/(-40)). Is a < -13?
False
Let z be (-141)/(-21) - (-6)/21. Suppose 5*u = z*k - 2*k + 15, 0 = -u. Which is greater: k or -1?
-1
Suppose -4*x = -9*x + 5. Let i be 502/4*x/(-2). Let g = 63 + i. Which is bigger: g or 2/3?
2/3
Let h = 9.06 - 0.06. Is -2 greater than h?
False
Let b be (-4040)/13 + (-2 - 1). Let j = b + 314. Is -1 at most as big as j?
True
Let b(d) = -d**2 + 13*d + 1. Let l be b(13). Let w be l + -2 + (-2 - -3). Which is smaller: w or -2/29?
-2/29
Let t be 2/2*(-6)/2. Let i(r) = 7*r - 1. Let g be i(5). Let h = g - 71/2. Is t <= h?
True
Suppose 0 = 3*t + 2*t - 10. Let w = t + -3. Let k be -1*w/(2 - 1). Is k >= 0?
True
Suppose -s - 28 = 4*s + w, 5*s + 40 = 5*w. Let j be (-2)/(-3) - 146/s. Suppose -j = 4*a - 0*a + 5*y, 21 = -4*a - y. Is -4 bigger than a?
True
Let q = -0.058 + 1.058. Let k = -5 + 1. Let c be (-28)/45 + k/(-18). Is q at most c?
False
Let p be (6/15)/(2/(-10)). Let y be p/(-1)*(-225)/(-6). Let z = -221/3 + y. Which is smaller: 1 or z?
1
Suppose -r = -i + 2*i + 16, i = 5*r - 46. Let t = 20 + i. Which is smaller: t or 1/5?
t
Let t(w) = 39*w + 9. Let g be t(1). Is 48 less than g?
False
Let p = -128 - -190. Which is bigger: p or 1?
p
Suppose 3*w - 5 = 10. Which is bigger: 4 or w?
w
Let w be (-6)/(-13)*(-3)/9. Let p = -9/26 + w. Suppose -4*f - 8 = 4*c, 4*c + 3 = -19*f + 20*f. Which is smaller: f or p?
f
Let c be (((-12)/9)/2)/(-7). Which is greater: c or -1?
c
Let d be ((-2)/(-6))/((-6)/18). Let b(k) = -k. Let n(u) = -7*u. Let f(i) = -5*b(i) + n(i). Let g be f(d). Is 2 greater than g?
False
Let s be 4 + 0*(-2)/6. Let q(w) = -6*w**2 + 1 - 7*w - 4 + w**3 + s. Let d be q(7). Which is smaller: d or -2/5?
-2/5
Let d = 24 + -23.8. Do d and -4 have the same value?
False
Let b(z) = -z**3 + 2*z**2 + 4*z. Let y be b(3). Suppose -10 = 2*q + 3*q. Let c(l) = -l**2 - 3*l + 1. Let m be c(q). Is m >= y?
True
Let d = -6937 - -118061/17. Let z = -305/68 - d. Let x = 12 + z. Is -1/2 less than x?
True
Let q(i) = -19 - i - i + 20 - 9*i**2. Let z be q(1). Let w be (-1)/6*z/(-15). Is 1 less than w?
False
Suppose 8 = -h + 7. Which is smaller: h or 93?
h
Let j(z) = -z**2 + 7*z - 4. Suppose 3*q - 13 = -5*t, 2*t = 2*q + 7*t - 7. Let p be j(q). Suppose 6*i - p*i = 0. Which is greater: 1 or i?
1
Let h be 10/(-12)*2/(-15). Suppose 4*y + 16 - 6 = -2*l, 3*y + 25 = -5*l. Suppose -5*t + 4*o - 17 = y, t + 2*o = -2*o + 11. Is t >= h?
False
Let q = 7.5 + -0.5. Let n = q + -6.9. Which is greater: 0 or n?
n
Let f be -1 + (-2)/(-1) + -1. Suppose -r + 2*t - 5 = f, -4 - 14 = -2*r - 3*t. Is r at least as big as 3?
True
Let g = -38/43 + 2921/3354. Which is smaller: g or 0?
g
Let h = 0.32 + -0.3. Let k = -2.98 - h. Let o = -5 - -4. Is o < k?
False
Suppose -5*j + j + 16 = 0. Let d be ((-10)/(-2))/(3 - j). Let x be (5 - 2) + 40/d. Is x >= 1?
False
Let y be 0*(5 - 2)/(-3). Which is bigger: y or -3?
y
Let r = -0.02 - -0.12. Which is bigger: -1 or r?
r
Let g = 86 + -91.7. Let v = -0.3 + g. Do -1 and v have the same value?
False
Let d = 1.7 + -1.4. Suppose 5*q - 8 = -3. Which is smaller: d or q?
d
Suppose i - 21 = -2*i + 3*z, -4*i + z = -22. Suppose -84 = -l + i*l - 4*p, 4*l + 48 = -5*p. Is l at most -17?
True
Let z be -2 + (-7 - 4)*-1. Is z smaller than 9?
False
Let a = -25/39 - 1/39. Let x = 5 + -3. Let n = x - 3. Is n greater than or equal to a?
False
Let g be 223/(-45) + (-4)/(-18). Let j = g + 29/6. Suppose 4*q = 2*q - 3*p - 15, 3*q - 5 = p. Is q >= j?
False
Let q = -0.21 - -3.21. Let b = q - 4. Is 0 not equal to b?
True
Suppose -s + 5*v + 6 = 0, -2*s + v = s - 4. Let y = -3 + 10. Let c(a) = a**2 - 7*a. Let l be c(y). Which is smaller: s or l?
l
Let m = -76330/9 + 8518. Let g = m + -37. Suppose -2*z + z = -5*d - 5, -5*z + 25 = 3*d. Is g > d?
False
Let m = -0.5 - -0.36. Is m at most 0?
True
Let h = 49.7 - 48. Is h greater than -1?
True
Let x = -32 - -12. Suppose 3*u + 0*r = -2*r - 62, -4*r - 84 = 4*u. Is x bigger than u?
False
Let b(k) be the third derivative of -k**5/60 - k**4/24 + k**3/3 - 2*k**2. Let d = 5 + -3. Let s be b(d). Is s less than or equal to -3?
True
Let l = -7 - -12. Let i(x) = 44*x - 1. Let y be i(-1). Let q be (-11)/35 + (-27)/y. Which is smaller: q or l?
q
Let s = -17 - -8. Let z = -6 - s. Is z less than or equal to 1?
False
Let m = 10 - 17. Do m and -7 have the same value?
True
Let d = 103 + -109. Which is bigger: 0.5 or d?
0.5
Let x = -64 - -60. Which is greater: -3 or x?
-3
Let b = -27 + 27. Is 1/4 at most b?
False
Let w = 2 + -2.2. Let u = 0.03 + 0.97. Is w at least as big as u?
False
Suppose 0 = -2*t - 4*q + 2, 3*t - 4*q + 2*q - 11 = 0. Let p = -240/29 - -2260/203. Which is bigger: p or t?
t
Let s be (2 - 13 - -1)*-1. Suppose a + 5*f - 19 = 0, 4*a - f = f + s. Is 2 > a?
False
Let p be (-1)/1*4 + -4. Are p and -8 non-equal?
False
Suppose u = -2*u. Let a = -20/27 - -302/189. Which is bigger: u or a?
a
Let r be 3 + 4*3/6. Suppose 2*d = -s - r - 1, 0 = 4*s - d - 3. Suppose 0 = 5*m - s - 10. Which is smaller: m or 3/2?
3/2
Let a = 639/28 - 113/14. Are 14 and a equal?
False
Let l be (-230)/(-55) - (-4)/(-22). Suppose -5*h + 57 = -r, -l*h + h + 43 = -5*r. Let p(n) = n**3 - 12*n**2 + 10*n + 8. Let s be p(h). Are -2/5 and s unequal?
True
Let n = 0.7 + -0.73. Let w = n + -0.07. Let r be (3/(18/(-3)))/(-3). Which is greater: r or w?
r
Let v = 12 - 6. Let h be (v/(-147))/(1/(-7)). Let j(x) = -x - 1. Let l be j(-2). Is h smaller than l?
True
Let q be 6 + (-1*6 - -3). Suppose 8 = -5*m + q. Is 1 != m?
True
Let i(j) = -2*j + 11. Let b be i(5). Which is smaller: b or -3/7?
-3/7
Let y = 0.23 + -0.2. Let o be 1/2 + (-21)/98. Which is greater: y or o?
o
Let r = 14 - 72/5. Is r > -1?
True
Let y(o) = -8*o + 2. Let f be y(2). Is -14 not equal to f?
False
Let y = 1333.23 + -1339. Let z = -0.23 + y. Is 0 at most as big as z?
False
Let b = -11 + 13. Which is bigger: -3/7 or b?
b
Let x = -1.6 - -3.6. Let j = x - 2.2. Which is greater: j or 1?
1
Let w = 13 + -13.3. Let l = -3.6 - -4. Let b = l + w. Are b and 1/5 equal?
False
Let f = -0.001 - 3.999. Which is greater: f or -1?
-1
Suppose -36 = 4*c - 8*c. Suppose -2*q + 4*q = 20. Is q smaller than c?
False
Suppose -15 = -0*w - 3*w. Is 3 <= w?
True
Let b = 2/173 - 181/692. Which is greater: 25 or b?
25
Let c be 3 + 42/9 + 1. Let x = -43/6 + c. Is 2 smaller than x?
False
Suppose -4 - 1 = 5*t. Is t greater than 1/5?
False
Let w be 5/((-20)/(-36)) + 1. Which is greater: 9 or w?
w
Suppose -5*g = -2*q + 34, -5*g + q = 6*q + 55. Is g less than -2?
True
Let t = 224/9 + -25. Which is smaller: 1 or t?
t
Let k(w) be the second derivative of 1/2*w**2 + 0 - w + 1/12*w**4 + 1/3*w**3. Let o be k(-2). Is 1/3 >= o?
False
Let c(d) = -5*d + 9. Let u be c(2). Let s(t) = -t**3 + 3*t**2 - 2*t + 2. Let p be s(2). Which is smaller: u or p?
u
Let o = 10 - 8. Suppose -11 = 4*w - j, -o*w - j - 4 = -3. Is w < -4/3?
True
Let r be (-960)/(-21) + (-2)/(-7). Let m = r + -26. Let x be 8/m*2/2. Which is greater: x or 0?
x
Let r be ((-12)/(-40))/(2/(-5)). Suppose u = 2 - 4. Is u equal to r?
False
Let x be (-2)/1*6/(-4). Suppose 0 = g - x*g + 10. Suppose -4*v + 3 = -z, -4*v + 2*v + g*z + 15 = 0. Which is smaller: v or -2/5?
-2/5
Let t be ((-36)/(-24))/((6/8)/1). Which is greater: t or 57?
57
Let b = 50 + -33/2. Let c = b + -33. Which is smaller: 2 or c?
c
Let z = 0.15 + 0.05. Let v be (-5)/(-3) - (-3)/9. Which is greater: v or z?
v
Let y = 5 + 1. Suppose 6*u = 4*u - y. Suppose -5*f + 4 = 5*a - 2*f, -2*f = -2*a - 8. Is a less than u?
False
Let c = -0.83 - -0.83. Ar