pose 5*o = -2*o + 14. Let m be (3 - (-75)/(-27)) + o/18. Let d = 2 + -4. Is d greater than m?
False
Let x be 3895/120 + (-30)/(-18). Is x <= 35?
True
Let n be 4 + 838/10 + 2. Let x = -89 + n. Which is bigger: 1 or x?
1
Let l be (-12)/((-148)/28 + 5). Suppose -l*m + 80 = -44*m. Which is greater: m or -41?
m
Suppose -5*h + 7*v + 32 = 9*v, -2*h + 32 = -4*v. Suppose 3*y - 73 = h. Which is greater: 26 or y?
y
Let o = -2949 - -20585/7. Let z = o + 123/14. Let p be 4/10 - (-58)/(-70). Is z at most as big as p?
False
Let q = 921 - 2719/3. Let m = q + -15. Suppose 0 = l + 2, -4*x + 6*x + 3*l + 14 = 0. Which is bigger: x or m?
m
Let l(z) = -z**2 + 3*z - 5. Suppose 5*b + 3*h = -28, 2*h + 0*h = -4*b - 24. Let j be l(b). Is -93 at most as big as j?
True
Let d(n) = n**3 + 3*n**2 - 2*n. Let i be d(-3). Suppose -9 = -2*m - 15. Let v(b) = -3*b - 4. Let k be v(m). Is k at most i?
True
Let w = -495 + 32176/65. Is 1 at least w?
True
Let o = -1362 + 962. Which is bigger: -399 or o?
-399
Let j be (2301/765 + -3)/(11/66). Is 1 bigger than j?
True
Let m be -3*(3 - 78/6). Does 30 = m?
True
Suppose k - 1 = -0*k. Let q = 68 - 133. Let w be -1*1 + (-91)/q. Which is greater: w or k?
k
Let l = -8 - -14. Let b be l - 6*(-1)/(-2) - -12. Which is bigger: 16 or b?
16
Let r = -10 - -16. Let a be 0*(15/r - 2). Suppose a = -2*h - 27 + 9. Is -8 > h?
True
Let k be (45/(-30))/(1131/570 - 2). Is k at least -4?
True
Let x = -0.0478 + 0.0878. Which is smaller: x or -34?
-34
Suppose -2*n - z = -3*n + 1, 4*n = z - 2. Which is smaller: n or -13/44?
n
Let a = 344 - 344. Is 1/57 <= a?
False
Suppose 27*v - 1802 + 10658 = 0. Are v and -328 nonequal?
False
Let p = 53/80 + -1/16. Let l(w) = w - 5. Let b be l(8). Suppose -4*r - x + 8 = 0, -b*r + 2*x + 4 + 2 = 0. Is p < r?
True
Let d(o) = -o**2 + 2*o + 6. Let j(k) = -k**2 + 2*k + 5. Let u(p) = 5*d(p) - 6*j(p). Let h be u(2). Let t = -5 - h. Which is smaller: 0.1 or t?
t
Let b be 1/(-33) + (1 - 1). Let t be 0 + 1 - (-21)/(-33). Let q = t + b. Is 0.5 at most q?
False
Let y(s) = 3*s**2 + 13*s. Let b be y(-4). Is b at most as big as -58/17?
True
Let d(u) = u**3 - 6*u**2 - 9*u + 10. Let c be d(7). Let i be 11/5 - c/(-20). Is 4/7 < i?
True
Let r = 186 - 316. Is r at least -130?
True
Let f(w) = -4*w - 2. Let i(m) = -m**2 + 4*m - 2. Let u be i(4). Let q be f(u). Let y be (12/(-18))/(8/q). Which is bigger: -3 or y?
y
Let p(z) = z + 294. Let q be p(-26). Which is smaller: q or 272?
q
Let q = 15/2 - 183/26. Suppose 2*a - 5*u = -2*a + 9, 21 = 2*a + 3*u. Let m be 0/(-6*(-2)/a). Which is smaller: q or m?
m
Let f be 2 + (-18)/10 + (-10164)/(-55). Which is greater: f or -1/4?
f
Let l = 13121 - 2611073/199. Is 1 at most as big as l?
False
Let r(o) = o**3 - 6*o**2 - 12*o + 38. Let c be r(7). Let z(m) = 3*m**2 - m**3 - m**2 + 4 + 2*m + 0*m**3. Let u be z(c). Which is smaller: u or 4/5?
4/5
Let y = -7.2 - -7.3. Which is smaller: y or -1/95?
-1/95
Let u(p) = -2*p**3 + 81*p**2 - 117*p + 1. Let w be u(39). Which is bigger: w or 6/5?
6/5
Suppose 0 = -h + 2*a - 4 + 6, 4*h = -5*a - 5. Is 8/159 greater than or equal to h?
True
Let g(k) = -2*k + 12. Let x be g(6). Suppose x = 4*p + 2 - 18. Let b be (2/p)/((-14)/4). Is b less than -1?
False
Let f = 0.2 + 56.8. Let t = -42.1 + f. Let j = -15 + t. Which is greater: j or -1/3?
j
Suppose 4*l + 96 = -2*o, 0*o = 2*l - o + 52. Is l at least as big as -26?
True
Let x = -40 - -24. Let r = x - -16. Let k = -0.5 + -0.5. Which is greater: k or r?
r
Suppose 2*x = 5*z - 31, -2*x + 14 = 5*z - 25. Let a be z + (-1 - -1) + -3. Let j = -32 - -31.9. Is a greater than j?
True
Suppose 14*k - c - 2 = 12*k, -k = -c - 3. Which is smaller: k or 5?
k
Suppose -8*r - 71 - 81 = 0. Let i be (-44)/2 - (-4 + 1). Is r smaller than i?
False
Let u be ((-16)/(-28))/(-2) + 19/(-7). Let f be 2 + u/990*658. Is f smaller than 1?
True
Let m = -10 + 7. Let w be m/4 + 3*1/(-12). Let u = -10.89 - -11. Which is bigger: u or w?
u
Suppose 2*x + 16 = 3*x. Suppose f - 2*q = 5*f - x, 3*f = 3*q - 6. Is -19 at most as big as f?
True
Let c be (1/2)/(1/70). Suppose 9*o - 89*o + 2640 = 0. Which is bigger: o or c?
c
Let n be (3 + -4 - 1) + (-20)/(-11). Let f = -0.04 - 0.01. Let t = 2.05 + f. Is n at most as big as t?
True
Let x = 176/371 + -10/53. Let l = -62/21 - -382/105. Let c = l - x. Is c less than -1?
False
Let u = -2130 + 2129.75. Which is bigger: -1.1 or u?
u
Let m = -3965.047 + 3962. Let k = m - -0.047. Which is greater: -0.3 or k?
-0.3
Let r be -2 - -8 - -1*1. Let k(l) be the second derivative of l**4/12 - l**3 - 3*l**2 - 87*l. Let h be k(r). Are h and 0.3 equal?
False
Suppose 11*v - 10*v - 2*c = 47, 5*v - 2*c = 243. Let u be (-14)/4*(-7)/v. Which is smaller: u or -38?
-38
Let s be ((-100)/(-16))/(5/8). Is s greater than or equal to 100/9?
False
Let z = 1718.627 + -1719. Which is smaller: z or 2/3?
z
Suppose 2*t = -4*w + 276 + 64, 5*w - 845 = -5*t. Is 167 at most as big as t?
True
Suppose -2*q - 3*d - 43 = -q, -5*q - 5*d - 165 = 0. Let c = -22 - q. Suppose k = -0*k - 4*s + c, -5*k + 4*s - 18 = 0. Does k = 3?
False
Suppose 0 = 3*j - 5*t + t + 5017, 4*j = -t - 6721. Let k = j + 102421/61. Is k at least as big as 0?
True
Suppose -q + 0*q = -5*d - 5, 0 = 5*q - 25. Let h be 50/(-150)*(-2)/(-74). Which is smaller: h or d?
h
Let f(x) = 9*x**2 - 5*x - 8. Let r be f(9). Is r bigger than 676?
False
Let b be ((-6)/(-2))/3 - -6. Suppose -80 = 2*k - 94. Is b equal to k?
True
Let y = -32 + 31.74. Let l = -0.39 - y. Is 1 greater than or equal to l?
True
Let d be 0 - (-1)/6*1. Let s be 60/45*6/4. Let q be 6/s - (-5)/(10/(-8)). Which is greater: q or d?
d
Let x = 46.08 + -1.08. Let y = x + -42. Let t(c) = -c**2 - 1. Let i be t(0). Is i > y?
False
Let d = 607 - 607.04. Which is bigger: 0 or d?
0
Suppose 3*c = 4*p - 3, -5*p + 3 = -4*c - 1. Let v(u) = -u**2 + u - 20. Let y be v(p). Let r = y - -17. Which is bigger: r or -7?
r
Suppose 3*i = 6*g - g, i = 4*g. Suppose 306 = -26*x - 76*x. Is g bigger than x?
True
Suppose 2*u - 5*i + 13 - 33 = 0, 0 = -u + 4*i + 13. Suppose 7 = p - 2*m, -m + 60 = p + 62. Which is smaller: u or p?
p
Let i = 859/2 + -346. Is 85 <= i?
False
Let d be 29/(-110) + (-14)/(-35). Which is smaller: d or 0?
0
Let f = 34 + -71/2. Let p = 5/3 + f. Is p at most as big as 16?
True
Let z = -0.018 - -0.348. Let k = z + -0.13. Do -28 and k have the same value?
False
Let l = 310 - 910/3. Suppose -f = -2*t - 5, 0*t = f + t - 2. Let q be f/(6/8) - -4. Is q >= l?
True
Let h = 0.21 + 1.09. Let k = h + -0.9. Let t = k - -5.6. Which is greater: t or -1?
t
Let u = -67 - -33. Let t = u - -33.5. Is t != 1/2?
True
Let w(c) = -7*c**3 + 16*c**2 - 21*c - 12. Let x(y) = 20*y**3 - 48*y**2 + 64*y + 37. Let i(b) = 17*w(b) + 6*x(b). Let o be i(14). Are 11 and o equal?
False
Let v = -3 - -2. Let a = v + 1.5. Let f = 165 + -165.1. Which is smaller: f or a?
f
Suppose 0*q = 3*q + c - 379, 0 = q + 4*c - 141. Let g = q - 85. Suppose -37 = -7*y + g. Which is smaller: y or 1/3?
1/3
Let x = -596/123165 + -2/7245. Which is bigger: 1 or x?
1
Let s = -1.2 + -2. Let g = -3.01 - s. Let r = g + -0.29. Which is bigger: 0.3 or r?
0.3
Let i be ((-4)/(-14))/((-5)/(-35)). Let j = -0.05 - 0.15. Which is smaller: j or i?
j
Suppose -3*a - 4*o = -29, -2*o = 4*a - 3*a - 13. Let s = -10 + 12. Suppose 0 = -0*r + s*r - 6. Are a and r unequal?
False
Let q(i) = i + 3. Let k(p) = -p - 9. Let x be k(-9). Let a be q(x). Let g be (-1 - (-6 + 2)) + -2. Is a != g?
True
Let g = -327/25172 + 1/124. Which is smaller: 0 or g?
g
Let a be (-1 + 0)/(7 - 1). Let q be (-7)/2*3/14. Which is smaller: q or a?
q
Let w(d) = 5*d**2 + 3*d + 1. Let a(r) = r. Let q(z) = 6*a(z) - w(z). Let k be q(1). Which is smaller: k or -4?
-4
Suppose 6*f = f + 25. Suppose 5*x - 2*x + 5 = 4*d, -4*d + 13 = f*x. Suppose 0 = 5*w - x - 4. Which is bigger: -1/4 or w?
w
Let t be ((-60)/(-250)*5)/((-26)/(-5)). Let f be (-1)/2*2/(-1). Let u = f + -2. Which is greater: u or t?
t
Let w(t) = -2*t**3 + t**2 - 1. Let p be w(-1). Suppose -16 + 4 = -p*d. Suppose d*n = n. Are 0 and n equal?
True
Let t = 25059/7 - 3595. Which is greater: t or -15?
-15
Suppose -56*a = -42*a + 14. Which is bigger: a or -5/87?
-5/87
Let y be (14 - 7 - -5) + -1. Is -0.13 smaller than y?
True
Let f = 627 - 627. Let q be 4/(3/(-12)*-2). Let s = q - 3. Which is bigger: f or s?
s
Let x be 90/(-30) - (-