= -o - 0*x + 28. Let p(u) = -6*u - 2 + 0 + 7*u. Let b be p(14). Is o > b?
False
Let t be (361/(-90) - -3) + 1/(-10). Which is smaller: t or 3?
t
Let z = -146 - -143. Is z at most 26?
True
Let j(v) = 5 + 0 - 3*v**3 + 2*v**3 + 2*v**2 - 3 - 2*v. Let t be j(2). Let y be (2 - (-15 - t)) + -1. Is 14 at most y?
True
Suppose 8*z + 3*l = 4*z + 29, 0 = -4*z - l + 23. Suppose -4*s - 4*a - 4 = 0, 3*a - z = -14. Suppose 5*k - 3*b - 6 = 0, k - b = -s*b - 2. Is k <= 2?
True
Suppose -6*p - 2*d = -8*p + 102, -2*p - 5*d + 137 = 0. Which is smaller: 57 or p?
p
Suppose -5394*g = -5386*g - 80. Are g and 1 equal?
False
Suppose -2*j = -i + 124, j + i + 0*i = -62. Do j and -2/5 have the same value?
False
Let x(a) = -2*a + 3. Let l be x(-5). Let g = -19 - -30. Which is bigger: g or l?
l
Let m = -2461 - -410990/167. Is 1 at least m?
True
Let s(y) = 5*y**3 + 3*y**2 + 21*y - 196. Let b be s(6). Which is smaller: b or 1119?
b
Suppose 2*o - 77 = -5. Let l = o + -143/4. Which is bigger: 3 or l?
3
Suppose 6*i + 4*k = 3*i + 21, 5*i - 4*k - 3 = 0. Suppose 2*n + 6 = 0, -i*n + 141 = a - 3*a. Let z be (-2)/8 - a/140. Is z >= 1?
False
Suppose 0 = c - 2*c + 2. Let y be 6/9 + c/6. Let u(g) = g**2 + 2*g - 26. Let r be u(-6). Which is smaller: y or r?
r
Let x = -63658/83 + 767. Is 0.04 smaller than x?
False
Let v = 4 - 7. Let m(n) = n**2 - 34*n - 4. Let j be m(34). Is v at most as big as j?
False
Suppose 0 = 2*p + 4*r + 20, 4*r + 27 = -3*p + 7. Is -1/198 at least as big as p?
False
Let l be (-463)/552 + 490/588. Is -2 bigger than l?
False
Suppose -54 - 18 = 3*y. Let c be ((-8)/y)/((-2)/(-24)). Let h be (-18)/c - (-9 + 5). Is 0.1 at least h?
True
Let d = 755 + -769.94. Let f = 0.06 - d. Let q = -13 + f. Which is smaller: q or 0.1?
0.1
Let y be (-7)/(-21) - (-867)/99. Which is smaller: y or 8?
8
Let u(a) = -a**2 - 2*a + 48. Let q be u(6). Which is smaller: 1/55 or q?
q
Let o(v) = -9*v + 167. Let c be o(21). Which is greater: c or -24?
c
Let x be -5 + 4 + -2 - (-14 - -11). Are x and -28/109 equal?
False
Let c = 23701 - 307741/13. Which is greater: c or 28?
c
Let z be 38/32 + 1*-1. Suppose 16 = 3*v + 13. Is v at least z?
True
Let y be (69/9 - 2) + (-56)/(-42). Do y and 47/8 have different values?
True
Let y be (-1)/(136/552) + (1 - -3). Is y at least 1/6?
False
Suppose -75*i = -77*i - 44. Which is smaller: i or -19?
i
Let q(t) = 14*t - 111. Let g be q(15). Are g and 98 nonequal?
True
Let x = -11 + 11. Suppose d - 2*g = -x*g + 37, -5*d - 3*g + 185 = 0. Let k = d - 23. Is k < 14?
False
Let h = -70 + 64.4. Let o = h - -6. Which is smaller: -0.4 or o?
-0.4
Suppose 1 = -3*b + 4*b. Let g(z) = z**3 + 9*z**2 - z - 7. Let t be g(-9). Let f be 2/t*8/12. Is b >= f?
True
Let h be -7 + 2 - (54/(-30) - 4). Let f = -8 + 20. Suppose 0 = 3*t + 5*y - 20, -4*t + 4*y - 4 = f. Which is smaller: h or t?
t
Let x = -49 + 22. Let f = x + 16. Let q = f - -9. Which is smaller: q or 1/4?
q
Let s be ((-1)/18)/((-1)/8). Let v = -4954 - -4954. Is v at least as big as s?
False
Let y = -85 + 81. Which is bigger: 15 or y?
15
Suppose -11 = -3*j + 16. Suppose 3*f + 12 = -j*f. Which is bigger: -3/8 or f?
-3/8
Suppose -3*m = 64 - 76. Let l = 1 - m. Which is bigger: -5/2 or l?
-5/2
Let n be (-6 - -7) + (-2)/(-2). Suppose n = 2*k - 4*l, 5*l - 15 = -4*k + 15. Suppose 0 = k*m - 3*m - 28. Is m > 14?
False
Suppose -d + 3*d + 10 = 0, -3*n - 3*d = 9. Let q be 2/(-9) - n/(-9). Suppose 2*b - b + 3 = q. Are -4 and b unequal?
True
Let j be (-1)/(-2)*(-68)/(-102). Which is smaller: 8/35 or j?
8/35
Suppose -c = c - 2. Let o = 6 + 0. Let p = o + -304/51. Which is smaller: c or p?
p
Suppose 37 - 169 = 11*p. Which is bigger: -9 or p?
-9
Let q = 5 - 5.9. Let d = q - -1. Let z be 106*8/(-80) + 11. Which is smaller: d or z?
d
Let l be (-72)/27*9/(-6). Suppose 5*a - 2*f = 4 - 6, -l*a - 16 = 2*f. Which is bigger: a or -20?
a
Let t be ((-6)/9)/(2/(-147)). Let j = 41 - t. Is -7 >= j?
True
Let c = -0.13 - -0.04. Let r = c - -0.22. Is r greater than or equal to 1?
False
Let s(f) = f**3 + 76*f**2 + 159*f + 812. Let n be s(-74). Let x(p) = 2*p - 4. Let j be x(-5). Let g be j/18 - 0/1. Are g and n equal?
False
Let t = -419 - -427. Which is greater: 110/13 or t?
110/13
Let w = -11181/13 - -859. Let l be 0*(-19)/(-399)*(-2)/(-10). Which is smaller: l or w?
w
Suppose 0 = -29*s - 2349 - 11861. Is s at least -491?
True
Let a be 12/42 + (-128)/7. Let t be ((-4)/5)/(6/135). Is t greater than a?
False
Let y be -10*(140/(-25))/7. Let m = y + -11. Which is greater: -11/5 or m?
-11/5
Let h = -987 - -965. Is 2 less than h?
False
Let d = -2/15 + -1/15. Let f = 0.042 - -0.017. Let q = 5.059 - f. Is d at most q?
True
Let n = 1031/70742 - 1/434. Let x be (-26)/22 - (-2)/11. Which is smaller: n or x?
x
Let z = 60 - 67. Let i be (63/z)/((-3)/4). Is i at most 10?
False
Let f(g) = 25*g**2 - 8*g**2 + 3*g + 11*g**2 - 2*g. Let r be f(-1). Do r and 27 have different values?
False
Let g be 4/(72/213) - 2/(-12). Suppose 0 = -2*f - 2*f - g. Does -5 = f?
False
Let n = 312.18 + -23.18. Is n != -3?
True
Let u(g) = g**3 - 32*g**2 + 62*g - 59. Let l be u(30). Is l at least as big as -2/1453?
True
Suppose -7*z - 3*d + 37 = -3*z, 0 = 4*d - 12. Let u(f) = -f + 3. Let x be u(z). Let a be (-2)/76*1*x. Which is smaller: 1 or a?
a
Suppose -4*v - 2*m + 128 = 0, -2 = -v + 5*m + 19. Let c = 141/5 + 23/10. Is c > v?
False
Let s = 759 + -44025/58. Which is smaller: s or 1/3?
s
Suppose 34*b = 29*b. Suppose -4*p + 2 = c - 4, 5*c - 3*p + 16 = b. Let u(t) = -3*t - 5. Let v be u(c). Are v and 0.1 non-equal?
True
Let c(o) be the first derivative of -13*o**4/2 - o - 20. Let k be c(1). Is k less than -27?
False
Let i(x) = 6*x - 4. Let d be i(2). Let m(p) = -p**3 + 7*p**2 - 4*p - 8. Let v be m(6). Suppose 0*a + d = -v*a. Is a less than -2?
False
Let j(r) = -1 + 3*r + r + 2 - 5*r. Let x be j(2). Let d be 1 - x - (-3 + 3). Is d equal to 4?
False
Let j = 350 + 407. Which is bigger: j or 0?
j
Let s = -103.06 + 103. Which is greater: s or 0.3?
0.3
Let a be 5 + (-1)/3*(-19 - -38). Let i be (-5)/(-10) + 4/(-6). Does a = i?
False
Let n = 692 - 593. Which is bigger: 100 or n?
100
Suppose -1 = 2*k + 15. Let z(d) = -d - 19. Let q be z(k). Let j = q - -5. Do j and 1 have the same value?
False
Let k be (4/10)/((-2)/(-10)). Let x be (k/4)/((-6)/4). Let u = 3532/19 + -186. Which is smaller: u or x?
x
Let z = -460/1561 + 2/223. Let c = 11 - 8. Let v = c - 3.08. Which is greater: v or z?
v
Let h = 10 + -4. Let f(k) = -4 - 4*k - 3*k + h*k. Let d be f(-4). Which is bigger: 7/5 or d?
7/5
Let u = -892.42 + 893. Is u >= 0.1?
True
Let l(i) = -2*i + 4. Let r(k) = k**3 - 18*k**2 + 19*k - 17. Let h be r(17). Let y = 19 - h. Let t be l(y). Are t and 1/9 equal?
False
Let n = 11301114/1195 + -9457. Is n less than or equal to -1?
False
Suppose 4*v + 29*n = 28*n + 9, -3*v = -n + 2. Is 1/130 less than or equal to v?
True
Let p = -92 - -93. Suppose 36*g = 37*g + p. Let h = -6/5 + 43/40. Which is smaller: g or h?
g
Let x = -38 - -59. Let o = x - 20. Is 1/6 < o?
True
Let d(b) = b**2 - 7*b + 16. Suppose 9*r + 4*r - 130 = 0. Let h be d(r). Is h bigger than 47?
False
Let a(k) = -k**3 - 11*k**2 + 2*k - 6. Let l = 27 - 38. Let h be a(l). Let x be ((-104)/h + -4)*-1. Is 0 bigger than x?
False
Let v(w) = 4*w + 9. Let l be v(2). Let s = l + -18. Is s > -1/6?
False
Let m(h) be the first derivative of 1/3*h**3 - 14*h - 13/2*h**2 - 5. Let c be m(15). Is c < 15?
False
Suppose 14*j + 25*j = 15*j. Let f = -989 + 10872/11. Do f and j have the same value?
False
Suppose 5*l = l. Let z = l + 0. Let t be (z + -2)/((-14)/(-4)). Is 0 at most as big as t?
False
Let d be (-53)/(-3)*(-9 + 3). Let w be (2 - d/2) + 1. Suppose -5*t + 20 = 0, 4*t = 4*p + 7*t - w. Which is bigger: 13 or p?
13
Let g be 318/27 - (-10)/45. Suppose -g*h + 30 = -6*h. Is h smaller than 7?
True
Suppose 2*i + v + 4*v = 94, 4*v - 218 = -5*i. Let l be 74/(-112) + 12/i. Let g(q) = -q**2 + 2*q - 1. Let c be g(1). Which is greater: c or l?
c
Let o = -0.34 + 1.74. Let d = o + -1.52. Are d and 0 unequal?
True
Let x be -1 + -3 - -2 - 16. Suppose -3*m = m + 324. Let h be (-4)/x + 585/m. Which is bigger: h or 2/5?
2/5
Let t be 2 - (2 + -1) - 0. Let f be (3/(-2))/(578/(-288) + 2). Let k = f + -2810/13. Which is greater: k or t?
t
Let u(a) = a**2 + 6*a + 1. Let q be u(-6). Let f = 19659/26 + -756. Is