+ 2. Let s be r(1). Which is smaller: s or t?
t
Let m = -196 + 1766/9. Suppose -2*g + t = 16, -70 = 5*g + 6*t - t. Let k(l) = -l**3 - 11*l**2 - 11*l - 9. Let r be k(g). Are r and m non-equal?
True
Let c be (-30)/(-8)*24/9. Is c <= 10?
True
Let t be (-24 + 1)/(-6 - -9). Let m = t + 7. Which is smaller: m or 2?
m
Suppose -2*o + 1 = -w, -3*o + 6*w - w = 9. Let v(c) = -3*c + 3*c**3 - o*c**3 + 0*c**3 + 2*c**2. Let a be v(-3). Which is smaller: a or 1/2?
a
Let k = -2.4 + 3.4. Let w be 2 - 2/(4/5). Which is smaller: k or w?
w
Let j(b) = 2*b**3 + 2*b**2 - 1. Let r be j(-1). Is -2/9 < r?
False
Let b be -1 + 14/4 + -2. Let k be 2/(-6)*-2*3. Suppose 10 = -2*s - k*s + 5*j, -5*j + 10 = s. Is s > b?
False
Suppose 2*t = -3*h - t - 18, 0 = -3*h - 2*t - 13. Let p = h + 3. Are p and 1 nonequal?
True
Let g = -9 - -8.8. Let f = 0.1 - 0.3. Let b = f - 0.8. Which is smaller: b or g?
b
Let g = 2558/5 + -510. Which is greater: 2 or g?
2
Let n = 8 - -2. Let z be ((-14)/9*11)/n. Let c = z - -10/9. Is -2 <= c?
True
Let k = 101/2 - 231/4. Which is greater: -6 or k?
-6
Let i = -4.08 - -0.08. Let u = i - -3. Which is greater: u or 1?
1
Let c = -1657/4 - -410. Which is smaller: c or -4?
c
Let g(b) = b**3 + 5*b**2 - 13*b + 4. Let t be g(-7). Is -60/17 < t?
True
Let b = 9 + 0. Let r be (-2)/8 + b + -8. Which is smaller: 0 or r?
0
Let p be (-3 + -2)*(-6)/5. Suppose -5*k + 0*o + 4*o + 70 = 0, 2*k + 5*o = -5. Suppose p*a = a - k. Which is smaller: a or -3?
-3
Let x(k) = -k**3 + 3*k**2 - 2*k + 3. Let w be x(2). Suppose w*r + 21 = -0*r. Is r at most -8?
False
Let p(j) = j**2 - 5*j. Let i(v) = 5*v**3 - v + 1. Let r be i(1). Let t be p(r). Which is bigger: 2/7 or t?
2/7
Let p = 923 + -8251/9. Is p at most as big as 6?
False
Let w = 44 - 43. Which is bigger: w or -2/57?
w
Suppose m - 52 = -3*m. Which is greater: m or 14?
14
Let w = -1 + 0.9. Let h = w - -0.1. Let t = 21.9 + -22. Which is smaller: h or t?
t
Let n be (-6)/(-10) - 4/(-10). Let q be (-2)/(-2)*(-2)/12. Is n >= q?
True
Let b = 7 + -3. Suppose r = -4 - b. Which is smaller: -9 or r?
-9
Let w = -8 - -33. Suppose 2*q = -3*q - w. Which is greater: -6 or q?
q
Let f = -50 + 112. Which is smaller: 63 or f?
f
Let i = 0.048 + -34.048. Which is greater: 0.2 or i?
0.2
Let p = -0.005 - -0.305. Is p < 0?
False
Let m(p) = -p**3 - 5*p**2 + 6*p - 2. Let z be m(-6). Which is smaller: z or 1?
z
Let a = 454/3 - 151. Which is smaller: -2/7 or a?
-2/7
Let r(g) = g**2 - 3*g. Let m be r(3). Suppose -3*v = -5*c + 1 - 7, 5*v - 10 = 5*c. Suppose 3*s = -v*s. Is m bigger than s?
False
Let w = 38.02 + -38. Let t be 8/(-3)*(-2)/8. Which is bigger: w or t?
t
Let d(l) = -l - 12. Let h be d(-6). Let y be 3*-1 + 12/h. Is -7 equal to y?
False
Suppose 0 = -u - u + 8. Which is smaller: -1 or u?
-1
Let y = 3 - -8. Let b = 5 - y. Let q = b + 9. Is 1 >= q?
False
Let r(x) = x**2 - 4*x - 8. Let a be r(6). Suppose 0 = n - a*n. Which is bigger: n or -1/10?
n
Let g = -1/292 + -221/20732. Which is greater: g or 0?
0
Suppose -5*x + 3*u + 13 = -4*x, 4*u = 2*x - 16. Let c be (x/4)/(3/6). Let g be (-15)/(-5) + (-22)/8. Is c less than g?
True
Suppose 4*b = b. Let p be 8/(-3)*3/(-6). Is b smaller than p?
True
Suppose 3 - 7 = -4*u, -5*u - 10 = 5*y. Let j = 13 + -10. Suppose -6 = -o - j*z, -o - 3*o - 4*z = 0. Is y smaller than o?
False
Suppose -3*k + 5*m + 8 = -k, 0 = 3*k + 4*m + 11. Suppose -2*w = 1 + 5. Let l be (-2)/((-30)/w)*1. Is k <= l?
True
Suppose 5*u - 12 = 58. Let o = 18 - u. Which is greater: 0 or o?
o
Let j = -50876 - -306611/6. Let g = -225 + j. Let p(x) = -x - 6. Let l be p(-8). Do l and g have the same value?
False
Let u(x) = -2 - x + 5 + 2 + 2. Let k be u(7). Is 0 at most as big as k?
True
Let b be ((-2)/3)/((940/12)/(-5)). Which is bigger: 0 or b?
b
Let k = 1888/5 - 379. Is k greater than or equal to -1?
False
Let c(d) = d**2 + 4*d + 3. Let x be c(-4). Which is smaller: 2 or x?
2
Let f = -3.97 - 0.03. Let p = -4 - f. Which is greater: p or -2/3?
p
Suppose -3*t - 2*t = -x - 6, -4*t + 57 = 5*x. Let f be (x/6)/((-18)/8). Is -1 < f?
True
Let u = 6.07 - 0.07. Let f = -8 + u. Is f greater than or equal to 1/7?
False
Let q be 5/(-91) - 2/(-7). Which is smaller: q or 0?
0
Suppose -2*k + 4 = 12. Is k equal to -3?
False
Let i be ((-4)/(-10))/((-3)/(-15)). Let g(k) = -2*k**2 + k + 3. Let l be g(i). Is -2 smaller than l?
False
Let v = -3 - -2. Which is smaller: v or 2/51?
v
Let z(i) = -2*i**3 - i**2 + 6. Let p be z(0). Let y(m) = m**2 - 5*m - 5. Let j be y(p). Is 2/91 not equal to j?
True
Let l = -1 + 1. Suppose 3*j + 6 = j + 2*f, 0 = -j - 4*f + 7. Do j and l have the same value?
False
Let a(p) = p - 4. Let u be a(5). Let s be (-10 - -9)*2/17. Which is bigger: u or s?
u
Let s = 20 + -22. Which is smaller: s or -5/2?
-5/2
Let m = -667/388 - 3/97. Let t = 1 + m. Which is bigger: -2 or t?
t
Suppose -10 = -2*h - 3*x + 4, -h + 3*x = 2. Suppose -2*i + i = 0, -4*u + h = 5*i. Suppose -7*f + 14*f - 21 = 0. Which is smaller: f or u?
u
Suppose -4*a = 4*t, 6*t - t + 32 = 3*a. Let u be (-11)/a + (-2)/8. Which is greater: -4 or u?
u
Let q = -1 - -5. Suppose -13 = r - 4*v, 2*v - v = r + 1. Which is greater: q or r?
q
Suppose -x = 5*u + 4*x, -4*u = x - 3. Which is smaller: u or -26?
-26
Let c = 75 - 74. Is 4 at most c?
False
Let u = -848/5 + 169. Are u and -0.1 equal?
False
Let t(f) = -f - 11. Let c be t(-13). Suppose -c = 3*n - 5*n. Which is greater: 3 or n?
3
Let f = 1 + -1. Which is bigger: f or 1/23?
1/23
Let x = -372 + 372. Let b be (-4)/(-6) - (-52)/(-42). Which is bigger: x or b?
x
Let a(s) = -s**2 + s + 1. Let g be a(0). Let q(m) = g - 2*m - 2*m - 4 + 2*m. Let r be q(-2). Which is smaller: r or 2?
r
Let t(l) = l**3 + l**2 - 2*l + 3. Let g be t(0). Suppose -o - 3*o - 8 = -5*c, 5*c - o = 17. Which is greater: c or g?
c
Let g = -7 + 1. Let k be -2 - (g + 3 - -1). Which is greater: k or -3/14?
k
Suppose -8 = -3*p + 7. Let i(g) be the third derivative of -g**6/120 + g**5/12 + g**2. Let l be i(p). Which is bigger: l or 2/7?
2/7
Let t = 16 + -15. Let h = 3 - 3. Which is bigger: t or h?
t
Let t(c) = 4*c**2 + c. Let b = 3 - -3. Let q be (-4)/3 + 2/b. Let d be t(q). Which is smaller: 1 or d?
1
Suppose -11 = -2*c + 3*i, -6 - 3 = -2*c + 5*i. Are 4 and c equal?
False
Let v be (-4)/3*54/(-4). Let j be 0 - ((-6)/(-3) + -5). Let h be j/v - (-46)/12. Which is smaller: h or 3?
3
Let d be ((-84)/15)/((-4)/30). Let o be 2/7 + (-36)/d. Which is greater: o or -2?
o
Let r be 10/(-4) - (-69)/26. Which is smaller: r or -5?
-5
Let o be -1*(1 - -2) - -8. Let c = 1 - o. Let z be 3 - (2 - c)/(-1). Is 10 less than z?
False
Let h = -76 - -75.7. Does h = 5?
False
Let b = -23.18 - -22. Let h = b - -0.18. Let m = 0.2 + -0.2. Is h greater than or equal to m?
False
Let a be (32/(-40))/(14/(-10)). Let x(u) = -u**3 + u**2 + u + 1. Let l be x(0). Which is greater: l or a?
l
Let c = 9 + -8.71. Let m = 0.39 - c. Which is smaller: -0.12 or m?
-0.12
Let o = -137/3 - -46. Let p be (6/(-5))/((-8)/20). Let c be (4 - p)*1/(-3). Which is smaller: c or o?
c
Let h = 0.008 + 0.992. Do h and 0.1 have different values?
True
Let m(s) = -s**2 - 5*s - 5. Let x be m(-3). Which is bigger: -3/13 or x?
x
Let n = 39 - 194/5. Suppose -6*h + 3*h + 6 = 0. Suppose 0 = -u + h*u. Is n < u?
False
Let r = 0.97 + -4.97. Does -2/7 = r?
False
Let z(q) = q**2 - 8*q - 1. Suppose -4*o + 41 - 9 = 0. Let f be z(o). Let w be 3/(-3 + f + -1). Which is bigger: -0.1 or w?
-0.1
Let h be 5/(50/(-15))*2/(-3). Which is greater: -4/31 or h?
h
Let t = -9 + 9. Let a = -10 - -14. Let p = a - 4.1. Which is greater: t or p?
t
Suppose -2 + 7 = -r. Let w be 1/r - 5/(-25). Let c = 4 + w. Which is greater: c or 2?
c
Let u(n) = n**3 - 17*n**2 + 16*n + 1. Let c be u(16). Are 6 and c equal?
False
Let r = -0.4 - -0.5. Let h = -1.16 + 0.16. Is h smaller than r?
True
Let s be (-532)/58*246/(-4). Let g = -564 + s. Let b = g + 17/116. Are b and 0.1 equal?
False
Suppose 4*g = 5*g - u + 3, 2*g - 29 = -5*u. Which is smaller: 0.1 or g?
0.1
Let u be 1320/918 + (-2)/(-17). Which is bigger: 3 or u?
3
Let t = 2 + -3. Let l = 12 + -14. Let r = t - l. Is 1 <= r?
True
Let k = 2/1201 + -8427/12010. Let y = k - -3/2. Which is smaller: 0 or y?
0
Suppose 0 = 2*v - 8 + 10. Which is greater: v or 3/127?
3/127
Let z = -5 + 10. Let q = z - 5.2. Let f = q + 0.1. Is f at least 0.2?
False
Let s = 