h is smaller: f or g?
g
Suppose u - 2 = 3*u. Let g = 2 - u. Is g >= 5?
False
Let j be (3*(-2)/(-6))/(-1). Let h be (-6)/2 - (-699)/110. Let i = h + -38/11. Which is bigger: j or i?
i
Let q = -3.06 - -0.06. Let o = 7.3 - 4.1. Let c = o + q. Is c <= 0.2?
True
Let k = 10 - 15. Let r = k - -8. Is 0 at least as big as r?
False
Suppose -2*o = -p + 3, 7*p = 3*p - 20. Suppose 5*d + 4*b = -0*b - 25, d - 2*b + 5 = 0. Which is bigger: d or o?
o
Let y(a) = 5*a - 1. Let x be y(-3). Is -18 less than or equal to x?
True
Suppose -5*i + 32 + 28 = 0. Which is smaller: 13 or i?
i
Let i be ((-2)/(-12))/(1 - -3). Is i greater than 1?
False
Let s = 35 - 16. Suppose -2*q + 2*c + 7 = 3*q, -q = 4*c - s. Let m = -4 + 8. Is m <= q?
False
Suppose -4*c - c - 75 = 0. Which is smaller: -12 or c?
c
Let y be (-899)/(-31) + (1 - (1 - 1)). Which is smaller: 59/2 or y?
59/2
Let b = -168 + 167. Let s = 0.2 - 0.1. Which is greater: s or b?
s
Let b be (1 + -11)/((-35)/(-14) + -2). Is b > -22?
True
Let x = -6 + 8. Which is greater: x or 1/6?
x
Let x = 15 - 13. Is 1/2 smaller than x?
True
Let s(z) = -z**2 - 5*z - 1. Let t be s(-2). Suppose 19 + t = 4*d. Suppose 5*h + d = 1. Which is bigger: 0 or h?
0
Let l = -1 - 0. Let k = 56/255 - 6/17. Which is smaller: k or l?
l
Let q be 78/4 - 2/(-4). Let t be 1616/176 - 4/22. Suppose -o + 4*y = -q, -4*y = 11 + t. Which is bigger: o or -2/31?
o
Suppose 0*h + 56 = -h. Suppose -3*c - 2*a + 14 = -4*c, 56 = -4*c + 4*a. Let x be ((-48)/h)/((-2)/c). Is x smaller than 7?
True
Let x = 9 + -3. Suppose -x*l = -10*l + 20. Is 5 at most l?
True
Let y be 34/(-1445)*(-4 + -1). Let j be 26/(-8) - (-2)/8. Let h be ((j - -2) + 2)*1. Is h >= y?
True
Suppose -3*d = y - 0*y + 48, -90 = 5*d + 5*y. Are -17 and d nonequal?
True
Suppose 6*x - 5*b = x - 5, -5*x - 4*b - 5 = 0. Let o = x - 1. Let p be (-4)/2 - (-2)/(-1). Is p equal to o?
False
Let c be (-3)/(-4) - 37/(-4). Let w be ((-15)/c)/(27/4). Which is smaller: w or 0?
w
Let g = -18.9 - -19. Is g less than -1.5?
False
Let a = 4 - 11/3. Is a bigger than -5?
True
Let w(o) = 7*o**2 - 6*o - 6. Let i(k) = -6*k**2 + 6*k + 5. Let r(d) = -6*i(d) - 5*w(d). Let g be r(6). Suppose g*x - 3*x = 3. Which is smaller: x or 1/4?
x
Let d(b) = -b**2 + 4*b. Let z be d(3). Suppose z = -j + 2. Is j at least as big as -1?
True
Let r(b) = -2*b + 1. Let c be r(0). Which is smaller: 1/17 or c?
1/17
Suppose -36 = 2*q + 5*r + 19, -3*q + 4*r - 94 = 0. Which is smaller: -28 or q?
q
Let p(r) = -r - 10. Let b = -6 - -11. Suppose -25 = -6*m + m, b*m + 2 = -3*c. Let i be p(c). Which is bigger: -2 or i?
i
Let c(s) = -s**2 + 5*s. Let x be c(4). Suppose x*t = -t. Which is bigger: t or -1?
t
Let f(b) = b - 9. Let w be f(7). Let a be 28/(-45) - w/5. Are a and -1 unequal?
True
Let c = 4 - 4. Suppose x = 2*x - 4*b - 16, 3*b + 12 = c. Is x at most as big as -1/8?
False
Let u be -4*4*(-1)/(-16). Is u > 1.5?
False
Let q = -173 - -167. Which is greater: q or 1?
1
Suppose 0 = 4*x - 3*x - 2. Suppose -2*y = -4*y - x. Suppose j - 3*i + 2*i + 4 = 0, 2*j - 13 = -5*i. Is j at least as big as y?
True
Suppose -12 = z - 4*v, -2*v + 1 + 9 = -z. Let l be 6 + 1 + z/2. Let o(p) = 2*p - 6. Let a be o(5). Which is smaller: a or l?
l
Let q = -17 + 3. Let s = q + 21. Let n = s - 6.8. Is n > 1?
False
Suppose 2*p + 2*q - 10 = -p, -q - 22 = -3*p. Suppose -2*z - z = -p. Let j be 30/(-35)*(-6)/9. Which is greater: z or j?
z
Suppose 6*u = -9*u - 15. Are 2/163 and u unequal?
True
Let k be -7 + 8 + 5/2. Is -0.1 > k?
False
Let j be 5/24*(-12)/(-8). Let g = j + -61/144. Which is bigger: g or -1?
g
Let k be 4/22*(-4 + 8)*1. Is k equal to 0?
False
Suppose 2*q + 2*q = -96. Let x be ((-6)/q)/((-26)/4). Which is bigger: 1 or x?
1
Let d = 2 + -3. Let j(p) = 2*p**2 + 3*p + 1. Let h be j(-2). Let i be (h/(-15))/(1/2). Which is bigger: d or i?
i
Let v(k) = -2*k - 11. Let w be v(-6). Let g be w/(-12) - (-9)/27. Is -1 < g?
True
Let h = -7.351 + -0.049. Let o = -6 - h. Let j = -0.4 + o. Is 1/4 smaller than j?
True
Let x = 8 - 4. Let h = x + -2. Let l be (-2)/(1/(h/(-8))). Which is greater: l or 0?
l
Let r be 1 - 3 - 21/(-3). Let t = 4 - r. Which is bigger: t or -2/7?
-2/7
Suppose 1 + 4 = -5*o. Is -1 at most o?
True
Let s = -253 + 256.02. Let l = -3 + s. Let r = -2.02 + l. Which is greater: r or 0?
0
Let m = 11 - 7. Suppose 3*f - m*h = -13, 3*h + 2*h - 5 = 0. Which is bigger: f or -2?
-2
Let m be 6/15 + 484/(-10). Let w = 143/3 + m. Let h = 26 + -53/2. Are h and w non-equal?
True
Suppose k + 4*w - 13 = 0, 0*w = 2*k + 4*w - 14. Suppose -4*h = -3*h - k. Is -3 less than or equal to h?
True
Let i = 19 - 18. Is 2 bigger than i?
True
Let c = 120/17 - 1526/221. Suppose 4*z + 4 = 0, 0*z - 2 = 4*h - 2*z. Which is bigger: h or c?
c
Let m = 27 + -37. Is m < -2?
True
Suppose -4*p + 2 - 10 = 0. Let o = 4 - p. Is 6 at least o?
True
Let o be (1/6)/(5/30). Which is greater: o or 4/59?
o
Let a be (-2 - (0 + -1)) + -3. Let o(p) = -2*p**2 - 6*p - 4. Let h be o(a). Is h > -12?
False
Let j(t) = 2*t + 11. Let k = -18 + 12. Let a be j(k). Does a = -4?
False
Let n be (-1)/(-3)*(-13 + 1). Which is smaller: -2 or n?
n
Suppose -4*o + 0*o = -32. Let a(m) = m**2 - 3*m - 24. Let h be a(7). Suppose o = -0*s + h*s. Which is smaller: s or 1?
1
Let f = -395 + 5927/15. Let a(o) = -o - 10. Let v be a(-10). Which is smaller: f or v?
v
Suppose -5*p - 39 = -4*f, -4*p - 34 = p + f. Which is bigger: 1 or p?
1
Let u(s) = 8*s - 5. Let a(t) = -7*t + 4. Let l(i) = -7*a(i) - 6*u(i). Suppose x - 8 = -2*g + 3*g, -5*g = -3*x + 36. Let w be l(g). Is -5 greater than w?
False
Let x be 2 + -2 + (-3)/2. Suppose -32 = -5*d + d. Let g = 5 - d. Is x <= g?
False
Let t be (22/(-10) - 2)*(0 + 1). Which is bigger: t or -5?
t
Let y(a) = a**3 - 8*a**2 - 8*a - 5. Let x be y(9). Let n be (x/(-14))/(3/(-921)). Let r = n + -88. Is r smaller than -0.2?
True
Let k(i) = -2 - 5*i + 3*i + 6*i. Let y(v) = 5*v - 3. Let q(b) = 6*k(b) - 5*y(b). Let c be q(4). Is -2 smaller than c?
True
Let g = 18.5 + -18. Is 0 at most g?
True
Let h be (-1630)/80 - (-6)/16. Which is smaller: h or 2?
h
Let r be (328/66 - 1) + -4. Which is greater: r or -1?
r
Let s = -7 - -8. Suppose -2*x = -5*p - 6*x + 5, p = 2*x + s. Which is smaller: p or -1?
-1
Let b = -3565 + 495533/139. Let c = b + 165/1807. Is c greater than 0?
True
Let h be 4/3*(-3 - -6). Let i be (2/h)/((-26)/8). Let y = 39 + -40. Which is bigger: y or i?
i
Let k = -0.1 + 0. Let l be 241/10 + (-3 - -4). Let x = 51/2 - l. Which is greater: x or k?
x
Suppose 0 = -4*s + 4. Let p be 20/12 + (-2)/(-6). Which is smaller: p or s?
s
Let b = -1010/7 + 144. Is b < 4/5?
True
Let w(k) = k**2 - 4*k + 12. Let p(i) = -i - 1. Let g(z) = -4*p(z) - w(z). Let h be g(7). Let v = -2592/4631 - -6/421. Are h and v equal?
False
Let y(x) = -x**2 + 3*x + 1. Let p be y(2). Let t = -6 - -10. Which is smaller: p or t?
p
Suppose -3*z = -22 - 11. Suppose 0*j + 5*j = -4*b - z, -2*j = 5*b + 1. Is 1/2 at most b?
True
Let d be 25628/168 + (-2)/(-12). Let w = d + -153. Is 3 equal to w?
False
Suppose 7*r - 3 = 25. Which is smaller: r or 7?
r
Let r = -1/1457 + -30589/11656. Which is smaller: r or -3?
-3
Let k = 24 - 21. Suppose -3 = -k*t + 6*t. Which is greater: t or 1?
1
Let r = -7 + 8. Is -7/3 greater than or equal to r?
False
Let q(t) = -2 - 2 + 1 + t. Let m be q(4). Let b = m - 2. Which is bigger: b or 2/3?
2/3
Let v = 0 - -3. Let x = -2.7 + v. Is -0.2 smaller than x?
True
Let k = -175 + 174. Let u = -3 + 2. Is u <= k?
True
Let q = 5 - 15. Let y be ((-5)/q)/((-2)/(-4)). Which is greater: y or 2?
2
Let z be 8/20 - 7/5. Let j be (z + -1)/(2/4). Let l(x) = -2*x - 1. Let g be l(1). Is g < j?
False
Let z = -4 + 6. Suppose 3*l + 1 = -s + 16, z*l - 8 = 0. Let v = 4 - s. Is v at most 2/7?
False
Let u(p) = 3 - 3 + 3*p. Let f be u(-1). Let g be f/(-3) + -3 + 1. Which is greater: g or 2/19?
2/19
Suppose -t + 4 = 2. Let b be (2661/(-15))/((-2344)/10). Let y = b - 2/293. Are y and t nonequal?
True
Let d be (-10)/4 + (-19)/(-38). Let i = -558/5 + 112. Is i >= d?
True
Suppose -3*i = 2*i + 15. Let c = 20 - 22. Which is greater: i or c?
c
Suppose 10 - 3 = -7*p. Which is bigger: 1/20 or p?
1/20
Suppose -3*c = r - 3, -c - 4*c - 2 = 4*r. Suppose 4*j + 20 = 0, -4*q + c*q = j - 1. Let d = 3 - q. Is d at least as big as 2?
False
Let j be 1/2 - 297/18. Which is greater: -1/4 or j?
-1/4
Le