**2 + 2*t + 2. Let b be h(2). Which is greater: b or r?
r
Let t = -18 - -16. Suppose 15 = -0*l + 3*l. Suppose 4*b + 26 = -2*o, 2*o + 11 = -2*b - l. Is o at least t?
False
Suppose 5*g + 28 = -4*u, 5 = -3*g + u - 5. Is g greater than 1?
False
Let t = -10 + 15. Suppose -2*s + t*g - 5 = 2, 4*g - 28 = -4*s. Suppose -c = -s*c. Which is smaller: c or 1/2?
c
Let n = -10 - -21. Let i = n - 11.2. Which is smaller: i or -1?
-1
Let y(c) = -c**2 - 4*c + 7. Let j be y(-5). Suppose -j*k - 3 = k. Suppose 2*o + 0*o = 2*n + 8, 2*o = 3*n + 10. Is n at most as big as k?
True
Suppose -2*r - r + 6 = 2*g, -15 = r - 5*g. Let c = r + 1. Which is smaller: 0 or c?
0
Let i = 46 - 74. Let g = i + 27.87. Which is greater: 2/3 or g?
2/3
Let i = -0.07 - 0.23. Let f = i - -0.5. Let p = f - 0.16. Is p equal to 1?
False
Let v = -32 - -31. Which is smaller: v or -2/9?
v
Let d be 17362/40 - 2/8. Let f = 535738/1235 - d. Let s = -734/1729 + f. Are s and 1 nonequal?
True
Suppose -s + 343 = 2*l, 4*l + 841 = 4*s - 483. Let w = s + -5023/15. Which is smaller: w or 0.1?
0.1
Let s = -14 + 14. Let q = -31 - -30.7. Which is bigger: s or q?
s
Let p be (0 - -17) + 3 + -5. Let c be 6/(-9) + p/9. Is -1/3 bigger than c?
False
Suppose 4 = -0*u + 2*u. Suppose -12 = u*c + 4. Let y be (3 - 2 - 0)/c. Are y and 0 equal?
False
Let n(a) be the first derivative of 2*a**3/3 - 3*a**2/2 - 4*a - 1. Let o be n(3). Let j = -5 + o. Is 1 greater than or equal to j?
True
Let i(a) = -a**2 + 10*a + 9. Let r(h) = -2*h**2 + 11*h + 10. Let g(k) = 3*i(k) - 2*r(k). Let x be g(-7). Let o = -17/12 + 13/6. Which is greater: x or o?
o
Let m = -25 - -23.7. Let g = -0.3 - m. Let d = g - 1. Which is greater: d or -1?
d
Suppose -5*g + 4*m - 6 = -38, 34 = 4*g + m. Let l = g + -5. Which is bigger: l or 2?
l
Let t = 14 + -15. Let d = -1.3 + 0.3. Let h = -0.9 - d. Is h >= t?
True
Let w be (-8 - -7) + 0/2. Is -4/17 > w?
True
Let n(c) = c**2 + 4*c - 3. Let h be n(-5). Suppose f - 5*k + 3 = -1, -2*f - h*k = -4. Let s = -2 + f. Which is greater: s or -4/3?
s
Let u be 2 + 1*(1 + -3). Suppose 3*m + 0*m = u. Let f be -3 + 5 - 20/11. Which is smaller: m or f?
m
Let y = -1 - -3. Let g = 0.07 - -0.13. Let v = -0.5 + g. Which is smaller: v or y?
v
Let i = -63471792072/199 + 318952910. Let d = 819 + i. Let y = d - 593/796. Which is smaller: y or -2?
-2
Let i = 112 + -59. Is 52 != i?
True
Let i = -0.5 + 0.5. Let u = i + 1. Suppose 4*w - 3*w - 1 = 0. Is w at most as big as u?
True
Let n = 72.01 + -72. Is n less than or equal to -8?
False
Suppose 2*c = -10, -2*g = 8*c - 3*c + 45. Let v be (-7)/20 - (-4)/g. Is v <= -2?
False
Let a be 4/(-2)*(4 - -4). Let g be ((-6)/(-8))/((-15)/a). Let j be 3 - (-4)/(0 - 2). Which is smaller: g or j?
g
Let j be (2 + (2 - 5))/3. Which is smaller: j or -2/5?
-2/5
Let k be 4/((4 - 3)/(-1)). Let c be 0/(-1) + (k - -2). Which is smaller: c or -3?
-3
Let t = -8 - -17. Let o = t - 5. Suppose o*c = 6*c + 10, 2*b = -3*c - 11. Which is smaller: -2/9 or b?
-2/9
Let d = 1.1 - 0.8. Let b = d + 0. Let q = -0.2 + b. Which is smaller: q or 1?
q
Suppose 1 = 5*f - 9. Suppose 5*i - 13 - 7 = -5*s, 0 = f*s - 5*i + 27. Let b(p) = p + 11. Let r be b(-11). Are r and s equal?
False
Suppose 2*x + 107 = 5*o + 3*x, 2*x + 59 = 3*o. Suppose 5*v + g = -2 + o, 0 = -4*g + 16. Is v != 5?
True
Suppose -3*a + 5*c - 23 = 0, -5*a - c - 4 + 3 = 0. Let q be 2/(-8) + (-12)/16. Let v be ((-12)/(-9))/a - q. Which is smaller: 1 or v?
v
Let k = 77 + -80. Which is smaller: k or -2/17?
k
Suppose 0*r = 3*r - 3. Which is bigger: 3 or r?
3
Let f = 14 + -17. Let a be -3 + f + 6 - 3. Is -2 less than a?
False
Let n(c) = -c + 2. Let s be n(0). Let f = -603/5 - -121. Which is smaller: s or f?
f
Let x = -0.017 + 0.017. Which is smaller: -1.9 or x?
-1.9
Suppose 7*y - 6*y + 2*u = 7, -4*y = -u - 28. Is y > 6?
True
Let z(o) = -o + 8. Let h be z(8). Suppose -p - 3*p - 8 = h. Which is smaller: -2/3 or p?
p
Let t(r) = -r**2 - 3*r + 3. Let u be t(-3). Suppose 0 = 2*n + u*n. Which is bigger: 1 or n?
1
Let y = 0.19 + 1.31. Let i = y + -1.6. Which is bigger: i or -2/3?
i
Let s = -2.2 + 2. Let q = s + 0. Let r = 2 - 1.9. Which is smaller: r or q?
q
Let u = 166 + -156. Is u less than or equal to 10?
True
Suppose -3*d + 4*w + w = -22, -2*w = 4. Let h be d/18 + (-80)/(-45). Let i be 9/4 + 2/(-8). Are i and h nonequal?
False
Suppose 68 = 4*m + 4*r + 4, 0 = -2*m + 5*r + 4. Let t be (-1)/(-3) - m/9. Does -1 = t?
True
Suppose -13 = -2*x - 3. Suppose -t + 4*p - 21 = -p, 3*t = -2*p + x. Is t less than 1/2?
True
Let m(q) = q**2 - 3*q - 10. Let s be m(-2). Does s = 9/19?
False
Let s = 3.052 - -0.048. Let h = s + -2.93. Is h greater than or equal to -0.1?
True
Let d be 0 + 1 + -3 + -3 + -8. Is -14 >= d?
False
Let z = 92 + -95. Which is bigger: z or -1?
-1
Let q(t) = 4*t - 1. Let b be q(-1). Let w = b + 0. Is -5 less than w?
False
Let g = 14 + -13.54. Let r = g + -0.06. Let a = r + -0.4. Is 0 < a?
False
Let b(i) = -5*i - 9. Let h be b(-5). Suppose 3*j + 2*a = -h, 1 = -j - 5*a - 0. Which is bigger: j or -7?
j
Let q be 2*(-2)/(-4) + 1. Suppose -16 = -2*w - 4*d, q*d - d - 4 = 0. Is w greater than or equal to 6/7?
False
Let l be -6*-4*(-3)/(-54). Which is smaller: l or 1?
1
Let v(g) = g**3 + 3*g**2 - 5*g + 2. Let s be v(-4). Suppose i + 2*z - 18 = -4, -3*z + s = -i. Let y = i + -7. Is y bigger than -4/3?
True
Suppose -5*m + 120 = -5*n, -4*m + 6*m - 88 = 4*n. Let x be 7/n + (-2)/8. Let f be (-2)/(-7) - (-18)/(-14). Which is greater: f or x?
x
Let i be 3/(15/(-8))*-2. Let a = i - 316/105. Let m = a - 6/7. Which is smaller: m or 2?
m
Let v(f) = -3*f - 18. Let d be v(-15). Let b be 8/d*3/(-2). Is 0 at most b?
False
Suppose -g - 3 = 1, -3*h - 3*g + 66 = 0. Let p be 2/h*(-2)/1. Is 0 <= p?
False
Let f be -4 + 0 + (-24)/8 + 7. Let p be 7/10 + 1/(-2). Are p and f nonequal?
True
Suppose 0 = -2*z + 32 + 18. Let h(n) = -2*n + 18. Let r be h(-3). Is z at most r?
False
Let o be (-5 + 4 - 0) + 22. Which is greater: o or 20?
o
Let z be -3 + (3 - 4 - -3). Is -4/7 <= z?
False
Suppose -3*g = -3*v + 90, 0*g + 123 = 5*v + 4*g. Is v less than 28?
True
Let w be (1/2)/(21/(-28)). Let r = 2.2 - -5.1. Let d = -7 + r. Which is smaller: w or d?
w
Suppose -4*j = -5*l - 18, -8 = j + 7*l - 2*l. Suppose w + j*w = 0. Let q be 11/(-20) + 5/(-20). Is q >= w?
False
Let f = -2189/9 - -243. Let v = 12.99 - 13. Let c = v + 3.01. Which is smaller: c or f?
f
Suppose 7 = 4*w + 23. Which is smaller: w or -7?
-7
Let m(k) = -k**3 - 5*k**2 - 3*k + 4. Let f be m(-4). Which is bigger: 9/8 or f?
9/8
Let r = -26 - -27. Is 4/25 smaller than r?
True
Suppose p - 19 = -3*b, -4 = -2*p + 3*b - 2. Is 2/7 at least as big as p?
False
Suppose -4*j + 3*y - 1157 = 0, 4*y - 300 + 14 = j. Let u = -3187/11 - j. Suppose -5*l + 3 = 8. Which is greater: l or u?
u
Suppose 3*b = 2*b + 5*h + 83, -5*b = -4*h - 436. Let l be (b/(-12))/((-6)/9). Which is bigger: 0.1 or l?
l
Let i = -0.002 - -3.902. Let v = 0.1 + i. Let y = v + -3.9. Is y not equal to 1?
True
Let f(s) = -s**2 + s + 1. Let g be f(2). Let j be 3 + 3/(-2 + g). Suppose 18 = -5*r - 7, -3*w - 2 = -j*r. Which is smaller: w or 1?
w
Let m = 4 - -1. Suppose -4*l + m*n = l - 5, -3*l - n = -3. Let d be 20/(-9) - 4/(-2). Does d = l?
False
Let o(w) be the first derivative of -3*w**2/2 - 1. Let x be o(-2). Is 5 <= x?
True
Let v be (-3)/((3 - 3) + 1). Let y(l) = -l**2 + 6*l + 1. Let p be y(6). Is p at most v?
False
Let w(s) = -3*s + 203 + 2*s - 202 + s**2. Suppose t - 4*o - 4 = 4, 5*o + 10 = t. Let b be w(t). Is 1 equal to b?
True
Let j be (-64)/102 - 2/3. Which is smaller: j or -1?
j
Let h be -4 + (4 - (-4)/(-192)). Is h equal to 1?
False
Let f = 3.73 + 0.27. Are f and -2 equal?
False
Let x = -30 + 50. Which is greater: x or -2/5?
x
Let k(o) = o**3 - 3*o**2 + 2*o - 2. Let q = -4 + 7. Let v be k(q). Suppose -v*c - 3*g - 7 = 0, 4*c - g = -5 - 14. Are c and -5 equal?
False
Suppose 5*x - 3 = -5*u + 47, -2*x + 5*u - 1 = 0. Suppose 2*i + 25 = x*i. Are 2 and i equal?
False
Suppose 0 = l + l. Let s(g) = -g + 4. Let b be s(5). Let d be b/3 - 8/(-6). Is d >= l?
True
Let z = 36.22 + -36. Which is bigger: z or -2/3?
z
Let j = -122 - -1345/11. Which is smaller: j or 0?
0
Let x = 168 - 168. Is -9/20 less than x?
True
Let w(m) = m**3 + 3*m**2 - 2*m - 4. Let h = -2 + -1. Let k be w(h). Suppose -k*y - 1 = -3*s - 0*s, 0 = -3*y + 