-13). Let o = w + -138. Which is greater: o or -1/2?
o
Let r = -37 + 29. Let w be 6/56 - 6/r. Is w smaller than 1?
True
Let r = 609 + -609.2. Which is bigger: -11.2 or r?
r
Let w = 50 - 48. Which is smaller: w or 5?
w
Suppose -2*k - 2 = -6. Let w = -53.15 - -52. Let c = -1.2 - w. Which is smaller: c or k?
c
Let g(n) = 8*n + 296. Let y be g(0). Are y and 297 unequal?
True
Let t(f) = f**3 + 8*f**2 + 9*f - 6. Let i be t(-7). Which is smaller: i or 1/3?
i
Let z(j) = 2*j**2 - 33*j - 201. Let l be z(-5). Are -2 and l equal?
False
Let t = -11.4 - -11.4. Is t < -864?
False
Suppose -157*g + 145*g + 492 = 0. Which is bigger: 6 or g?
g
Let r(l) be the third derivative of -l**5/60 - 5*l**4/24 - 4*l**3/3 + 43*l**2. Let o be r(-4). Is o less than -5?
False
Let d = 190 - 189.97. Let w = 1.9 + -2. Let n = w - 0.1. Is n > d?
False
Let u(p) = p - 2. Let w be u(-5). Let i(n) = -n**3 - 6*n**2 + 6*n - 4. Let l be i(w). Suppose -7 = l*j - 2*c, 3*j + 2*j + 11 = 4*c. Is j less than -3?
False
Let c(v) be the second derivative of -v**5/20 + 5*v**4/12 - 2*v**3/3 - v**2 - 11*v. Let k be c(3). Do k and -0.1 have the same value?
False
Suppose 3*v + 490 + 98 = 3*i, 2*i + 3*v - 387 = 0. Does i = 197?
False
Let h be -6*5/6*(-4)/5. Is h greater than 25?
False
Let w = 0.4 - 9.5. Let u = -1.9 + 10.9. Let c = w + u. Which is smaller: -0.04 or c?
c
Let h = -2/897 - 1756/17043. Which is smaller: h or -1/85?
h
Suppose x - 10 = -8. Suppose -5*c + x = -6*c. Are -2 and c equal?
True
Let y be (-24)/18*15/2. Let t be ((-12)/(-10))/((-3)/y). Let x = t - 7. Which is smaller: x or -4?
-4
Let t(s) = 26*s - 1. Let o be t(0). Which is bigger: o or -1/9?
-1/9
Let r(f) = -23*f + 6. Let l be r(2). Let s = -46 - l. Is -7 less than s?
True
Let z = 67 - 35. Suppose -3 = k + 2*a - 7, -z = -5*k - 4*a. Is 9 greater than k?
True
Let y = 1091/6 + -363/2. Let a = 3 + 0. Suppose -4 + 1 = 3*s + a*l, 2*l + 1 = -s. Which is greater: y or s?
y
Suppose 4*z + 4 = -0. Let f = z - -1. Suppose 2*k - 14 = -23*d + 27*d, -4*d - 24 = -4*k. Which is smaller: d or f?
d
Suppose 0*n = 2*n - 3*j - 8, 0 = -5*j. Suppose 2*b - 24 = n*b. Let f = b + 14. Is f less than 1?
False
Let c = -603/56 + 78/7. Let j = 6 + 0. Let o be (-3)/j*1*-2. Are c and o nonequal?
True
Suppose 100 = -0*g + 20*g. Which is smaller: -5/4 or g?
-5/4
Let p = -18355/22 - -834. Which is smaller: 1 or p?
p
Let s = 51 - 56.3. Let k = 5.7 + s. Which is bigger: k or 3/7?
3/7
Suppose -36*k = 9*k - 45. Which is bigger: -7/32 or k?
k
Let x(s) = -3*s**3 - 28*s**2 - s + 20. Let l be x(-9). Is -53 > l?
False
Let m be 2/(-8) - 1/(-4). Let q be (3 - (0 + -26)) + 1. Let c be (2 + -3)/(q/4). Is m smaller than c?
False
Suppose 7*v - 6 = 6*v. Suppose 145 = -c + v*c. Which is greater: 28 or c?
c
Let p = -1474/9 - -164. Is p at most -1?
False
Let n be 6 + (-15)/(120/(-1216)). Which is smaller: n or 160?
n
Let c be 30/(-100)*5/6. Let u = -26 + 9. Which is bigger: c or u?
c
Let j = 1632 + -1631. Which is smaller: -1/16 or j?
-1/16
Let h = -125327/12129 + -2/4043. Is -9 > h?
True
Suppose 2*j - 4*z = -22, 4*j + z - 1 = -0. Let x = 231463/59 - 3923. Which is smaller: j or x?
j
Let y = -331/42 + 49/6. Which is smaller: 0.001 or y?
0.001
Let h be (9 - 6)*(-12)/(-36). Let v be 1/3*9/(-29). Which is smaller: h or v?
v
Let t = -13231 + 6813962/515. Let m = -392/103 - t. Which is bigger: m or -5?
m
Let f(r) be the first derivative of 3*r**2/2 + 13*r - 1. Let c = 10 - 16. Let l be f(c). Which is greater: l or -7?
l
Let z(q) = -q**3 - 11*q**2 - 15*q - 37. Let t be z(-8). Is -109 < t?
False
Suppose -2004 = 82*u + 128. Suppose -5*v - 2*s = 132, -4 = 2*s - 2. Are u and v unequal?
False
Let c = 37 + -23.2. Let b = -14 + c. Let k = b + 0.2. Does k = 2?
False
Suppose 0 = -6*f - 9 - 201. Do -13 and f have the same value?
False
Let o be (-435)/(-10)*8/6. Suppose o = -3*y + 5*x, y - x = -0*x - 20. Let z = 20 + y. Are z and -2 nonequal?
True
Suppose 17 = n - 0*n. Let r = 10 - n. Let h(p) = -2*p - 15. Let b be h(r). Which is greater: -2/15 or b?
-2/15
Let p = 1 - 0. Let a(s) = 2*s**2 - 17*s + 19. Let r be a(17). Let z be 1/4 + (-119)/r. Is z greater than or equal to p?
False
Let l = -10 + 3. Let g(z) = -z**2 - 5*z - 4. Let n be g(l). Are -19 and n equal?
False
Let x(q) = 2*q**3 + 7*q**2 - 4*q + 4. Let b be x(-4). Which is greater: 11 or b?
11
Let x = -1099 + 1095. Which is bigger: x or -57?
x
Let l be -1 - ((-1)/10)/((-2)/(-12)). Which is bigger: -1 or l?
l
Let j = 4611101/30 + -153602. Let t = 233/30 - j. Let i = -94 - t. Which is smaller: -1 or i?
-1
Let a be (94084/105)/(44650/19). Let m = a - 2/5875. Which is smaller: 1 or m?
m
Let t(g) = 2*g - 2. Let c be t(-4). Suppose -25 = -5*i, i = -3*y + 5*y - 29. Let f = y - 28. Are c and f nonequal?
True
Let s = 1794 - 1791.9. Which is bigger: 68 or s?
68
Suppose 2*b - 11 = -5*w + 2*w, -w = b - 3. Let s(u) = -u - 12. Let o be s(-9). Which is smaller: o or b?
o
Let p(u) = u + 0*u + 1 - 4 + 4. Let q be p(-6). Let a be q/(-2)*36/45. Is a less than or equal to 0?
False
Let l = -391 + 80. Which is smaller: -310 or l?
l
Let u be 27/(-9) + (1 - 2/(-2)). Is u at most 1/616?
True
Let c(r) = 3*r**3 - 21*r**2 + 31*r + 3. Let s be c(8). Is 0 smaller than s?
True
Let i(b) = b**2 - 21*b + 70. Let u be i(5). Is -19 > u?
False
Let b be 9/6*3/(-9). Let x be 115*(-2)/(-2)*78/130. Is b greater than or equal to x?
False
Let o = -80 - -84. Let r = 18 - 3. Suppose o*i + i = r. Is 3 <= i?
True
Suppose 2*m - 9 = -3*i, -6*i - 7 = -4*m - i. Let p = 1 - -3. Suppose m*c = c + p. Is c <= 4?
True
Let f = -885709/5 - -176573. Let b = 567 + f. Is b greater than or equal to -2?
True
Let a = -11/30 + -457/30. Let g = -76/5 - a. Suppose 3*d + 1 = 2*o + 5, -8 = -2*o - 3*d. Is o equal to g?
False
Let p = -27 - -33. Suppose -54 - p = 5*d. Let q be (d/(-5))/((-8)/40). Which is bigger: q or -1?
-1
Let s be (11 - 10) + -1 + 1. Which is smaller: s or 280?
s
Suppose 2*x = 4*w + 98 + 96, 0 = 3*w + 2*x + 128. Suppose 9*f + 189 = -4*z + 6*f, 5*f = 3*z + 120. Which is smaller: w or z?
w
Let c = 0.927 - -8.073. Which is bigger: -108 or c?
c
Let r be (-3 - (-114)/40)/(204/(-10)). Which is bigger: -1 or r?
r
Let z = 237 + -242. Which is bigger: z or -9?
z
Let b = -2 - -2. Let f = -1146 + 5731/5. Which is greater: b or f?
f
Let n be 2/(-3) - (-56)/12. Let l = -4 + n. Suppose 3*r - r = l. Which is bigger: r or 5/7?
5/7
Let r be (-14)/91 - 288/(-13). Suppose -23*n - 3 = -r*n. Is -16 < n?
True
Suppose -4*p + 27 = -85. Suppose -17*h = -13*h - p. Suppose -l + h = -5. Is 11 greater than l?
False
Let o = -0.546 + 40.046. Which is bigger: 2 or o?
o
Suppose -2*x - o - 42 = -1931, 3*x - o - 2836 = 0. Is x at least as big as 946?
False
Let d = 3 + 1. Let a be (-1 + 0)*(d - 3). Let i = 548/323 - 30/19. Which is bigger: a or i?
i
Let y = 61 - 58. Let s = -2.5 - -2. Let p = s + 0.4. Is p at most y?
True
Let y(h) = -h**2 - 8*h + 5. Let d be y(-7). Suppose d = 4*t - 12. Let r(m) = m**2 - 6*m - 1. Let f be r(7). Is t less than or equal to f?
True
Let f = 1.7 - 1.97. Is f at least as big as 2?
False
Let t = 13595/23 - 591. Suppose -5*r - i = 0, -4*r - 4*i - 18 = -2*r. Let l be (3 + (r - 4))*-1. Which is bigger: t or l?
t
Let t(b) = -51*b + 2125. Let r be t(41). Suppose 5*p = 218 - 48. Is r bigger than p?
False
Suppose -2549*f + 2540*f = 9. Which is smaller: -9/29 or f?
f
Let l = 35 + -15. Suppose 2 = -2*n - l. Is n > -9?
False
Let u = 72 + -71.8. Is u bigger than -25/7?
True
Let b be (-66)/(-11)*81 + 3. Which is greater: b or 491?
491
Let t = -1439/11 - -131. Is 12 at least as big as t?
True
Let z = -13/4 + 3. Let o = 0.7 + 0.29. Let g = -0.49 + o. Is g bigger than z?
True
Let o be (-5 - 1)*(-6)/4. Which is bigger: o or -0.2?
o
Suppose -6*x + 8*x = -4*q - 608, -2*x - 603 = 3*q. Which is greater: x or -0.2?
-0.2
Suppose -3*d + 2 = -2*i, 6 = 3*d - 7*i + 4*i. Is d >= 5/6?
False
Suppose 5*u - 2*h + 40 = h, 4*h + 8 = -u. Let g be u - (0 - 5) - (-36)/14. Do g and -3 have the same value?
False
Suppose -3*k - 12 = 5*s - 2*s, -2*s + 3*k = -17. Suppose s = 5*c - 9. Let m be 9/6*c - 4. Which is smaller: m or -0.02?
m
Let g(v) = v**3 + 23*v**2 - 11*v + 69. Let b be g(-21). Which is smaller: b or 0?
0
Suppose -4*p - 5*s + 21 = 0, 2*p = 2*s - 7*s + 23. Let n be ((-36)/16 - p)*(-1)/(-5). Is -1.1 greater than n?
False
Let r = 1.42 