). Which is smaller: o or -5?
-5
Let g be (4 - -1)*(-8)/10. Let w be 4/g - 10/(-6). Which is greater: -1 or w?
w
Suppose 0*h - 4*h + 1012 = 0. Let c = 598160/9 + -66209. Let f = c - h. Which is bigger: 0 or f?
f
Let t be ((-23)/(-391))/(1 + 0). Which is greater: 0 or t?
t
Let s(k) = k**2 + 3*k - 4. Let j be s(-6). Let i be (-4)/(-6) + j/6. Which is bigger: 2 or i?
i
Let o be ((-5)/(-25))/(6/(-10)). Let d be 2/(-2 - 0 - -11). Which is smaller: o or d?
o
Suppose -4*a - a - 25 = 0. Which is greater: a or -7?
a
Let n = 2 - 2.1. Let q = -0.22 - -0.52. Let w = q - 1.3. Is n < w?
False
Let b = -9819/23 + 427. Which is bigger: b or 2?
2
Let k be -2*(-1)/((-6)/(-15)). Suppose -30 = -5*q + k*o, 3 = q + 2*o - 0. Suppose 0 = s - q*s + 5*l - 4, 0 = -3*s + l - 3. Is 1/4 less than or equal to s?
False
Suppose 15 = 4*u + u. Let n be 21/28 - 9/(-12). Which is smaller: u or n?
n
Let s = -7 + 10. Let a = -3 + s. Let r be (1 - 1) + a/(-2). Is 1/4 greater than or equal to r?
True
Let p = -97 + 682/7. Let z be (4/(-4))/((-3)/(6/2)). Which is smaller: p or z?
p
Suppose -328 + 24 = 8*s. Is -37 at least s?
True
Suppose -4*c + 177 = -3*n + 57, -4*n - 30 = -c. Which is smaller: 31 or c?
c
Let z = 569/330 + -35/22. Which is smaller: 16 or z?
z
Let d = 105339/5 + -20996. Let x = d + -72. Which is smaller: 2 or x?
x
Let i = -2.969 + -0.031. Which is greater: i or 1/17?
1/17
Let i(a) = -a - 4. Let j be i(-8). Suppose -1 = j*w - 5. Is w > 1/2?
True
Let p be 0*(-2)/(-4) - -3. Suppose -p*q - 16 - 2 = 0. Is -6 not equal to q?
False
Let x = -50 - -51. Is -14 equal to x?
False
Suppose 0 = -6*q - 176 + 182. Let y = 403 + -6854/17. Is q not equal to y?
True
Let j(w) = -w + 15. Let s be j(14). Which is bigger: -0.15 or s?
s
Let s(v) = 5*v**2 - 4*v + 2. Let t be s(2). Let u = -20 + t. Let i be (u/8)/(-2 - -5). Which is greater: i or -1?
i
Let n = -9.8 + 10. Which is bigger: -4 or n?
n
Suppose 0*n + 2 = -2*n. Suppose -4*f + f = -6. Let s be ((-3)/(-4))/(f/(-8)). Is s > n?
False
Let h be ((-1)/118)/(12/(-144)). Let t be 1 - (-1)/((-1534)/1454). Let r = t + h. Which is bigger: r or 0?
r
Suppose -4*o + 2 = -3*o. Let w be (-3 + -2)*(-1 + 0). Which is smaller: o or w?
o
Let v(w) = -4*w**3 - 10*w**2 + 10*w. Let b(f) = f**2 - f. Let a(c) = 20*b(c) + 2*v(c). Let k be a(-1). Which is bigger: 7 or k?
k
Suppose 0*y = -2*y + 2. Suppose 31 = 5*h - 2*b, -h - 1 - 9 = 5*b. Suppose h*q = 9*q. Which is greater: q or y?
y
Suppose 3*s + 30 = -6. Let i = 11 + s. Which is greater: i or 4?
4
Let r be (12/(-10))/(133/(-19)). Which is smaller: 1 or r?
r
Suppose c = 4*w - 25, -4*c + 8 + 4 = 0. Let h be ((-2)/w)/(2/(-14)). Let i be 4/(-16) + h/8. Which is greater: i or 0.1?
0.1
Let c be (2 + (-14)/6)*-6. Let a = -8 + c. Which is bigger: -5 or a?
-5
Let k(b) = 5*b - 2. Let p be k(4). Suppose -2*q = -w + 2*w - 2, 3*w + 3*q - p = 0. Let g be (-2)/4 - 35/w. Is -3 less than g?
False
Let j = 0.89 + -0.09. Let q = j + -0.3. Which is greater: -1 or q?
q
Let a = -1 - -3. Let h = a + -1. Let k = h + -1.1. Is k greater than 1?
False
Let z be ((-55)/5)/((-1)/2). Suppose f - 3*c = 2*f - z, 2*f - 12 = 2*c. Is f <= 10?
True
Suppose 0*h = 3*h + 6. Let k be h + (2 - 4/(-10)). Which is bigger: k or 1?
1
Suppose -5*c = k, k = -3*c + 2*c. Let n = k - 3. Let x = n + 4. Which is greater: x or 0?
x
Let v = 3.97 + -4. Let d = -31 - -33. Which is smaller: d or v?
v
Let x(g) = g**3 - 5*g**2 + 3*g + 5. Let l be -1 - ((-2)/(-1) - 7). Let z be x(l). Suppose -2*t + 5 - z = 0. Is t at most as big as 2?
True
Suppose -60 = 11*h - 5. Let d be 14/8 + (-1)/(-4). Suppose -d*q = 2*q. Is h equal to q?
False
Let f(h) be the third derivative of h**5/60 - 7*h**4/24 - 3*h**2. Let l be f(6). Which is bigger: -0.2 or l?
-0.2
Let c(z) = -z**3 + 7*z**2 - 6*z + 4. Let a be c(6). Suppose a*v = 2*u - 26, 25 = -0*v - 5*v. Suppose -5*i + u*j = 9, -2*j + 12 = 2*j. Which is smaller: i or -2?
-2
Let z = 120 - 959/8. Let i(r) = -2*r + 3. Let m be i(2). Which is bigger: m or z?
z
Let a = -4 + 5. Let o be 5 + (1 - 1) + a. Let b be 4/9*o/4. Is 2 bigger than b?
True
Let q = 2 + 6. Let d = q - 7.94. Let l = 0.04 + d. Is l >= 1/3?
False
Let g be (-1)/(-3) - 34/(-6). Suppose 0 = -g*y + y - 75. Let b be (3 - 1) + 35/y. Which is greater: b or 2/7?
2/7
Let d(h) = 2*h - 2. Let b be d(-4). Let f = b + 6. Is -4 smaller than f?
False
Let p(m) = m**2 + 2*m - 18. Let u be p(-6). Let w be (-2)/9 + 56/9. Is w less than u?
False
Let m(w) = -2*w + 21. Let b be m(9). Is 2 > b?
False
Suppose -2*p = -p + 4*h + 9, 5*h = 5*p - 55. Which is smaller: 9 or p?
p
Let k = -162 - -157.96. Let h = k - -0.04. Which is smaller: -0.1 or h?
h
Let v = -37 + 37. Let j = -130 + 912/7. Is j at most as big as v?
False
Suppose -j - 6 = 2*j. Which is bigger: -3 or j?
j
Suppose 13*p + 0 = 26. Which is greater: p or 3?
3
Suppose 0 = 5*d - 8 + 23. Suppose 3 - 4 = r. Which is greater: r or d?
r
Let z = -199/4 - -50. Which is greater: z or 2/13?
z
Let u(j) = -j**2 - 7*j - 1. Let o be u(-8). Let p be o/12*(0 + -3). Suppose 5*q - 13 = 4*g, 0*g = 4*q - 2*g - 8. Does q = p?
False
Suppose -6*u = -u - 35. Suppose -14 = 2*z - 0*a - 3*a, -a = -3*z - u. Are z and 2/5 non-equal?
True
Let m = -2 + -3. Let y be (m/(-3 - -2))/1. Let n(z) = -z + 5. Let i be n(y). Which is smaller: -2/19 or i?
-2/19
Let q = 1.2 + -1. Suppose -4*r + 1 = -5*r. Which is smaller: q or r?
r
Suppose 0*o = o + 8. Let n be (o/6)/((-1)/(-3)). Is -5 at least n?
False
Let t(a) = a**3 - 3*a**2 + 2. Let f be t(2). Let m be (-6)/(-21) - (-161)/(-49). Is m at most f?
True
Suppose -7*h = -3*h - 120. Suppose 0*y + 3*y = -h. Which is bigger: y or -11?
y
Let p(z) = z**2 - 4*z - 1. Let m = 4 + -4. Let h = 4 + m. Let r be p(h). Do r and -2 have the same value?
False
Let n(x) = -2*x**3 + x**2 + x + 1. Let a be n(-1). Let r be (0 - 1)*(-3)/a. Let l be (2 - r) + 5*-1. Which is bigger: l or -3?
-3
Suppose 0 = 8*r + 11 - 3. Is r at least -2/3?
False
Let l = 15 + -13. Let g = 1/6018 + 965887/12036. Let k = g - 79. Which is bigger: l or k?
l
Let y(j) = -j + 3. Let m(p) = p + 4. Let h(n) = -n. Let u be h(0). Let a be m(u). Let z be y(a). Is -3/2 less than or equal to z?
True
Suppose 4*c = -8, 5*x = 2*x - c + 10. Suppose 0 + 4 = x*o - i, 0 = -3*o + 3*i + 12. Let s = 211/11 + -19. Is o >= s?
False
Let g be -12*4/90*9. Is g less than -5?
False
Suppose j + j = 52. Let c be 6*(j/(-9) - -3). Which is bigger: c or 3?
3
Suppose 24 = -2*h + 80. Suppose -5*j - 3*s + 19 = 0, 2*s = 3*j + 5*s - 9. Suppose 4*x + h = 5*k, -2*k + j*x + 2 = -4*k. Is k less than or equal to 4?
True
Let k = 167 + -2337/14. Let r be (-1 - 0)*(8 + -9). Does k = r?
False
Let a be ((-84)/232)/((-45)/(-48)). Let l = a + -2/145. Is -0.3 != l?
True
Let l = -40 - -50. Is 0.4 at least l?
False
Let g = 12377/23 + -538. Which is smaller: -1 or g?
-1
Suppose -h = h - 2, 5*h = -4*o + 25. Suppose -r + 1 = -o. Which is bigger: 5 or r?
r
Suppose -b = 5 - 3. Let p = 3 + b. Let d = 1388/8853 + -2/681. Which is smaller: d or p?
d
Let p = 1 - 61. Let i be ((-18)/p)/(6/16). Let j be 2/(-2) - (-5 + 2). Which is greater: i or j?
j
Let m = 93 + -92. Is m smaller than -1/12?
False
Let j = 328 + -218. Let b be (561/j)/(6/4). Which is greater: b or 3?
b
Let h(k) = k**3 - k**2 - 3*k**2 + k + 2 + 2. Let z be h(3). Which is greater: z or 0?
0
Let i be (1/(-4)*2)/(7/14). Which is bigger: 1 or i?
1
Let h = 4 + -1. Let b(a) be the second derivative of -a**3/6 - 2*a. Let w be b(-2). Is h greater than w?
True
Suppose 2 = -x - 2*i - 3, -x + 9 = -5*i. Let q be x*5*(-10)/275. Which is greater: -1 or q?
q
Let m(q) = q**2 + q - 1. Let r be (-4)/(-2) + 0/(-2). Suppose c = r*c. Let j be m(c). Which is bigger: -2 or j?
j
Let f = -19 - -18. Is -1/7 smaller than f?
False
Let g = -7 + 1. Which is smaller: -5 or g?
g
Let i = 2.028 + -0.028. Which is bigger: i or 4?
4
Suppose -3*i + i = -4. Which is bigger: 1 or i?
i
Let c(v) = -v + 2. Let q be c(2). Let i be 0 - (q - (2 - 0)). Is i < 2/3?
False
Suppose 0 = 2*u - 10 + 20. Is -5 at least as big as u?
True
Let u = 15 + 13. Is 26 >= u?
False
Let h = 0.42 - -1.58. Is h greater than or equal to 0.06?
True
Let r be -1 - 140/(1 - 6). Which is smaller: -0.2 or r?
-0.2
Let r = 0.19 + 2.91. Let w = r + -3. Let d = 0.7 - 0.8. Which is smaller: w or d?
d
Suppose 0 = 3*z + 5 + 16. Suppose 0 = h - 3*i + 14, i - 1 =