uppose -8 = s + 4*f, 0 = s - 5*f - 8 - 2. Which is smaller: c or s?
c
Let y be (-230)/(-1817)*2/(-35). Is -1 at most as big as y?
True
Suppose 3*s = 5*j + 30, j + 0 = -3. Is 19/3 smaller than s?
False
Let t = 14 - 16. Let w = -0.196 + 0.156. Which is smaller: t or w?
t
Suppose 0 = 4*a - 9*a. Let w be 198/(-8)*(-8)/3. Let g be w/126 - (-6)/(-9). Which is greater: g or a?
a
Let z = -16.422 - 1.578. Is z >= -43?
True
Let g = 16 - 12. Suppose 2*b - 20 = -2*s, 3*s = -g*b + 9 + 18. Let p = s + -13. Is p >= 2/39?
False
Suppose 8*u - 7*u = 4*d + 8, -4*u + 2*d - 10 = 0. Is -11 >= u?
False
Let i be 780 + -9 + (-16 - -4). Is i not equal to 758?
True
Let p be 74/(-26) - (-130)/(-845). Which is greater: p or -6?
p
Let g be (-610)/133*7/624. Let d = g - -9/104. Suppose -10 = -2*h + 2*l, 2*h + 0*h + l = -2. Which is bigger: h or d?
h
Let c = 20 + -25. Let i be (-4 - (2 + c))*-5. Let a be (0 + 4/(-5))*-5. Which is smaller: i or a?
a
Let t = -971817/53 - -18337. Which is bigger: t or 0?
t
Let c(l) = l - 35. Let x be c(35). Is -138 at least x?
False
Suppose -12 + 4 = -4*p. Suppose 3*j - p*j = 1. Which is smaller: -0.3 or j?
-0.3
Let k = -433/35 - -81/7. Suppose -3*c + 15 = 3. Suppose -c*s = -s. Is k > s?
False
Let n = -217/4 - -60. Which is bigger: 0.3 or n?
n
Let y = -8/183 + -349/4575. Let l(h) = 2*h**2 - 13*h + 14. Let u be l(5). Which is bigger: u or y?
y
Let l = -26/9 - -95/36. Suppose 61 = -8*s + 61. Is s at most l?
False
Suppose 21*k - 366 = 2007. Is k != 113?
False
Suppose -3*f + 3 = 3*q + 15, 2*f = 5*q + 13. Let k = -67943/4 + 17070. Let z = k + -85. Which is greater: z or f?
z
Suppose 0*a + 3*a = q - 2, 2*a + 5*q = 27. Let f(s) = 5*s - 1. Let c be f(1). Suppose 0 = -x - 5*j + 4*j + 5, -c*j + 14 = -2*x. Is x smaller than a?
False
Let n(c) = -c**3 - 11*c**2 - 9*c - 3. Let x be n(-6). Let y = 128 + x. Is y smaller than 10/21?
True
Let p = -22.67 - 0.33. Is p at least as big as 2?
False
Let d be (-15)/35 + 684/714. Which is greater: 1 or d?
1
Suppose -3*w = 4*o - 11 + 5, -o = 4*w + 5. Let s be 2 - 7*w/(-10). Suppose 194*q - 227*q + 66 = 0. Which is greater: q or s?
q
Let r = -1922 + 1958. Is r != 404/11?
True
Let l = -3682.78 - -3714. Let z = 31 - l. Which is smaller: z or -0.1?
z
Let h be 37/7 + 13/((-104)/32). Which is bigger: 0.07 or h?
h
Suppose 0 = -6*v + 7*v. Suppose -n = -0*n, 2*l - 124 = -2*n. Let u be 8/12*6/l. Which is smaller: u or v?
v
Let c = 0.4 + 3.1. Let n = c + -3.62. Which is smaller: 1 or n?
n
Let c(l) = -l**3 + 4*l**2 - 6*l + 107. Let f be c(6). Do f and 26/67 have different values?
True
Let y = 398 - 398.18. Which is greater: 1 or y?
1
Let h(d) = -36*d + 99. Let s be h(2). Is s equal to 13?
False
Let j(x) = 3*x + 2. Let a be j(2). Suppose 0 = -2*d - 3*d - 20, 2*d = -5*w + 37. Which is bigger: w or a?
w
Let y = -33 + 30. Let g be 2/(4/6) + y/1. Suppose 2*t = -4*d + 2, 5*d + 0*d - 5 = 0. Is g smaller than t?
False
Let b = -12 - -9. Let j = -180 - -171. Is j <= b?
True
Let x = -4 + -26. Let w = 21 + x. Let y(s) = s + 10. Let n be y(w). Does n = -2/15?
False
Suppose 3*q - m + 10 = 0, -5*m + 11 = -11*q + 9*q. Which is greater: q or -40/9?
q
Let x(n) = 5*n - 27. Let i(f) = -3*f + 14. Let v(d) = -7*i(d) - 4*x(d). Let u = -7 + -2. Let g be v(u). Is 3/22 equal to g?
False
Let h = 1.95 - -0.05. Let i = h + -1.8. Let d = -0.1 + i. Do d and -0.2 have different values?
True
Let a = -409/5 + 15941/195. Is -0.2 at most as big as a?
True
Let o = 3 - 3.1. Let c = 0.101 - -39.899. Let q = 52 - c. Is q at least as big as o?
True
Let l be (-21)/147 + 30/(-35). Which is greater: -3/190 or l?
-3/190
Let i(b) = b**2 - 2*b - 4. Let z be i(3). Let n be (-72)/(-16) + z/(-2). Suppose 3*t - 30 = 3*u, t - n = -0*t. Is u < -9?
False
Let o = -899 + 742. Are -0.3 and o equal?
False
Suppose -58*l + 53*l = -1250. Is l greater than or equal to 251?
False
Let c = 0.09 - 0.19. Let b = c + 0. Let l = b + -6.9. Which is greater: -1/2 or l?
-1/2
Suppose -24*a - 700 = -4516. Which is smaller: a or 160?
a
Let w = 170 + -128. Suppose -4 = -s - w. Which is smaller: -37 or s?
s
Suppose 2*g = -0*g - 5*v + 27, 9 = 3*v. Let x = 0.08 + -2.08. Is g smaller than x?
False
Suppose -36 = 3*b - 7*b. Let g be 4 + (2 - 1 - (-20 - -17)). Does b = g?
False
Let s = -39.4 + 41. Let i = -0.08 - 0.02. Which is smaller: i or s?
i
Let h be 84/(-105) - 9/(-5). Which is bigger: -3/88 or h?
h
Let r be 4/(-38) - (-1 + 1). Let u(w) = 3*w - 4. Let z be u(0). Let x(m) = -m**3 - 6*m**2 - 9*m - 4. Let f be x(z). Is r less than or equal to f?
True
Let c = 3.34 - 3.7. Let w = -0.64 + c. Is -2 != w?
True
Let p be (18/15)/(6/(-20)). Let n be 6 + (p - 11)/5. Is n smaller than 5?
True
Let r be (-2)/3 - 12784/(-16638). Which is smaller: -1 or r?
-1
Let b = 4592 + -353592/77. Which is greater: b or 1?
1
Let f be -2*52/(-48) + (-3)/18. Which is bigger: f or 12?
12
Let v be 33*28/63 - 1*3. Is v < 2/3?
False
Let h = 37.3 - 35. Let s = -30 + 29.7. Let y = s + h. Which is smaller: y or 0.07?
0.07
Suppose -120*g + 157*g + 15614 = 0. Is g less than or equal to -423?
False
Suppose -y + 3*q = -23, -2*y = 3*q - 1 - 9. Suppose -48 = 3*j - a, -2*a + 5*a = 4*j + 69. Let t = 15 + j. Which is bigger: t or y?
y
Let r = -5399/56304 + 13/207. Which is greater: 1 or r?
1
Let j be 2/(-3) - 2/6. Let u = -30207 - -30219. Is j < u?
True
Let v = 0.003 - -1.997. Is v at most as big as -56?
False
Let b be 2/(-4) - 1/2*-1. Suppose 301 = -7*t - b*t. Is t greater than -43?
False
Suppose z - 12 = -16. Let v be -3 + 3 + z/6. Which is smaller: v or -14?
-14
Let n(w) = -w**3 - w**2 + w. Let z be n(0). Let g be ((-3)/(-2))/(345/(-30)). Is g smaller than z?
True
Let l(r) = -r**2 + 12*r + 3. Suppose -6*o + 3*o + 31 = -4*z, -5*z + 31 = 4*o. Let j be l(o). Which is smaller: 29 or j?
29
Let i(b) = -2*b - 6. Let d be i(-4). Let m = 19.1 - -1.9. Let l = m - 20.7. Is l greater than d?
False
Suppose -8 = j - 2*b, 3*b - 5*b + 72 = -5*j. Let f = j - -9. Let w = -58 - -52. Is w bigger than f?
True
Let o = 0.23 - -9.77. Let y be (-1)/(-3)*(-1 - -19). Let b be (6/30)/(y/(-10)). Which is bigger: o or b?
o
Let p = -721 - -732. Let t(u) be the second derivative of u**5/20 - u**4/2 + u**3/2 - 7*u**2/2 + u. Let d be t(6). Is p less than d?
False
Suppose -278 - 106 = -6*x. Is x at most 62?
False
Let z = -6 - -8. Suppose 0 = z*x - 17 + 25. Is -6 less than or equal to x?
True
Let j = -0.103 - 10.697. Let u = -0.2 + j. Let v = u - -10.93. Is v at most -2/9?
False
Suppose 5*b = -3*k - 2*k + 35, 2*b = 3*k - 6. Let x = 0.814 + -0.804. Is b >= x?
True
Let j(r) = -2*r + 13. Let s(t) = -t + 13. Let z(y) = 6*j(y) - 7*s(y). Let v be z(-9). Is 31 at most v?
True
Let d = -0.0473 + 0.0073. Which is smaller: 12 or d?
d
Let w(o) = -o**3 - o**2 + o + 1. Let y be w(2). Let h = y + 9. Suppose -2*a - 4 + 0 = h. Which is smaller: -16/7 or a?
-16/7
Suppose 57*u = 56*u - 5. Which is bigger: -63 or u?
u
Let m = -1.416 - -1.516. Which is bigger: m or 500?
500
Let j(u) = 5 - 1 - 21*u + 26*u. Let t be j(3). Let b = 18 - t. Which is bigger: b or 1?
1
Let m(l) = -l**2 + 14*l - 7. Let f be 7 + 8 - (2 + 0). Let q be m(f). Suppose 0 = -11*w + q*w. Which is bigger: w or 1?
1
Let r be (-10807)/6 - (-6)/36. Let v = r + 36011/20. Which is greater: v or 1?
1
Suppose -817*g + 821*g = -92. Which is smaller: -31 or g?
-31
Let q be ((45/42)/5)/((-144)/(-168)). Which is smaller: -6/11 or q?
-6/11
Suppose 2*s - 22 = -2. Let w = 962 - 955. Is s less than w?
False
Let i be (3 - 1)/((-4)/(-12) + 0). Which is smaller: i or 5?
5
Suppose -p - 12 = -2*q, -7*q - 5*p = -6*q + 16. Which is greater: 44/9 or q?
44/9
Let k be -28 + 35 - 1*3. Let s = -4 + 10. Does s = k?
False
Let r be 150*-3*-2*(-1)/4. Let p = r - -321. Is p bigger than 96?
False
Let t(l) = l**2 - 2*l - 2. Suppose 2*f = -3*o + 3, 2*o + 2*o - 11 = -5*f. Suppose -f*z = -r + 12, -5*z + 1 - 13 = r. Let c be t(z). Which is smaller: 11 or c?
11
Let u be 3*(-106)/(-6)*-1. Let k = -541 - -487. Which is bigger: k or u?
u
Suppose p + 3*n - 19 = 6, p - 43 = 3*n. Let k = -24 + p. Let s be 6/k*15/21. Which is greater: s or -1?
s
Let g be -2 - (-1 + 17 - 3). Let n = g + 18. Suppose n*q + 2 = 8. Which is bigger: q or -3/5?
q
Suppose -5*c - 12 = 3*u + 16, 0 = 5*u - 5*c - 20. Is u > -87?
True
Let u = 1559 - 54571/35. Let n = 21 + -22. Are u and n nonequal?
True
Let d 