 z be (-17)/(-5) + 8/(-20). Let s be 3/6 + z/(-8). Let d be (2/(-3))/(4/6). Does d = s?
False
Let f = -43.037 - -0.037. Let n = f - -42.9. Which is bigger: -6 or n?
n
Suppose 8*h - 6353 = -6977. Which is smaller: h or -79?
-79
Let t = 1343779/196 + -6856. Which is smaller: t or 1?
t
Let k = -401 + 376. Let j be (8/3 + -2)*-36. Which is smaller: k or j?
k
Let z be (-16)/(-1 + -4 + 3). Let x = 3 - z. Let l = -382 - -1130/3. Which is smaller: x or l?
l
Let s = -90 - -77. Let z = -14 - s. Is z less than 84?
True
Let k be ((-37)/(-27))/((-2)/6). Which is smaller: k or -4?
k
Let q be 11/(-5) - 6/(-15). Let g(s) = s**3 - 3*s**2 + 5*s - 18. Let m be g(3). Is q greater than or equal to m?
True
Let w = -23 + 82. Suppose -3*h + 78 = -4*t, -3*h + 5*t + w = -h. Which is smaller: 23 or h?
h
Suppose -2*r = 2*c + 22, r + 8*c = 4*c - 23. Let p(k) be the third derivative of k**4/24 - k**3/2 + k**2. Let u be p(-5). Which is smaller: r or u?
u
Let t(z) = -38*z - 135. Let j be t(-4). Is -11/5 >= j?
False
Let d be (-51)/17 - (-291)/(-6). Do d and -51 have the same value?
False
Let s = 29 - 26. Suppose 3*q - 4*q = 2*a - s, 5*q + 2*a - 23 = 0. Is q equal to 3?
False
Let d = 935 - 936. Which is greater: d or -1/121?
-1/121
Let l(j) = 6*j + 137. Let m be l(-23). Which is smaller: -4/85 or m?
m
Let m(i) = i**2 + 9*i + 49. Let g be m(-6). Is g smaller than 27?
False
Let r = 34.3 - 34.4. Is 90 at least r?
True
Let w(i) = i**3 - 10*i**2 + 22*i - 45. Let o be w(8). Let a be 98/(-8) + (-3)/(-12). Which is bigger: o or a?
o
Let s = 12 + -10. Suppose 3 = y - s, 4*y = 5*t + 15. Suppose -u - t = 2. Which is bigger: 1 or u?
1
Let n = 24 - 21. Let o be (-67)/(-3) - 1/n. Suppose j + j = o. Do 12 and j have the same value?
False
Let f be (-17)/(-15) - (-86)/(-645). Let o = 48 - 625/13. Is o greater than or equal to f?
False
Let u = 1414969/428 + -3306. Is u != -1?
True
Let k = 606 - 602.91. Let v = -106 - -106.09. Let z = v - k. Is z at least 0.2?
False
Suppose -4*t + z - 11 = 0, t - 2 = 4*t - 2*z. Let c be (7 - 5)*(-38)/t. Let r(u) = 88*u - 70. Let l be r(1). Is c at most l?
False
Let s be (-183)/3*(-379)/23. Let w = 1005 - s. Is -1 at most as big as w?
True
Let t be 3 + 3 + (-2 - -1). Suppose t*d = -4*g - 12, 5*g - 2*d + 6*d = -6. Suppose 5*n - 5 = -5*q, -n - 3*q + 3 = -g. Is -9/7 > n?
False
Suppose 0 = -19*p - 0*p + 2*p + 221. Let f = 17 - 5. Is p less than or equal to f?
False
Let v(t) = -146*t + 1. Suppose 0 = -5*h + p - 0*p, 5*h + 5*p - 30 = 0. Let x be v(h). Let i be 19/x - 3/(-15). Is i >= 0?
True
Let m(q) = 2*q - 10. Let z be m(8). Suppose 2 = -4*d + z. Let h be -2 - d/((-3)/18). Is h less than or equal to 1/2?
False
Let z(r) = -r**3 - 13*r**2 + r + 9. Let w be z(-13). Let y be w/6 - (-120)/(-9). Let k(l) = l**3 + 14*l**2 + l + 14. Let t be k(y). Which is smaller: -1/2 or t?
-1/2
Suppose -3*x = -l - 0*l + 59, -5*x = -3*l + 105. Let t be (-33)/x*(1 - 3). Which is smaller: t or -4?
-4
Let s = -2599 + 643. Let h = -21498/11 - s. Does 3 = h?
False
Let u = 211/70 - -2/7. Is u at most as big as 3?
False
Let w = -50 + 70. Let r be 1/(-4 + 84/w). Let j(p) = -3*p. Let b be j(-2). Is r greater than b?
False
Let u(r) = -2*r**3 + 6*r**2 + 5*r - 3. Let o(v) = -v**3 + v**2 + v. Let n(z) = -3*o(z) + u(z). Let a be n(-2). Does 0 = a?
False
Let u(c) = -2*c**2 - 50*c + 7. Let p be u(-25). Suppose 5*h - 2*d + 3 = 0, -h + d + d - p = 0. Are 16/13 and h equal?
False
Let x(u) = -u**3 - 19*u**2 - 34*u + 6. Let g be x(-17). Let o = 8 + -4. Let f = 6 - o. Which is bigger: g or f?
g
Let f = -1 + 1. Let y be (-3)/(-9)*45/795. Which is bigger: f or y?
y
Suppose 8*o = -0*o + 56. Let w be (-4)/18 + (1640/252 - o). Which is smaller: 0 or w?
w
Let j = 19223 + -37311842/1941. Let l = 3937/106755 - j. Is 0 >= l?
False
Let d = 0.15 - 0.25. Let h = -0.95 + -0.05. Let w = h + 1.1. Which is smaller: w or d?
d
Let j be (-16)/21 - (-1)/3. Let z be -7*(-7)/49*15. Does z = j?
False
Suppose 21*q + 9221 - 821 = 0. Which is smaller: q or -401?
-401
Suppose -4*a = -5*p - 28 + 17, 5*a - 1 = 2*p. Is a < -5/284?
True
Suppose 12 = -2*z + 5*z. Let c be (-1*z)/(-2)*1. Suppose -6 = -0*a - c*a. Is a at least 4?
False
Suppose -4*n + 64 = -4*l, 0 = n + 3*l - 15 - 21. Let q = n + -18. Suppose -q*a - 12 = -7*a. Is a at least as big as 1?
True
Suppose -3*d + 138 = 3*d. Let c = d - 23. Which is smaller: c or -6/5?
-6/5
Let z = 1057/2 - 546. Which is smaller: 1 or z?
z
Let k = 467 - 655. Let h be k/(-28) - (-2)/7. Let q = -0.7 + 0.8. Is h at least q?
True
Let b = 0.045 + -1.845. Let l = b + -2.2. Are -2/3 and l equal?
False
Let q = -40 + 40. Let f be 0 + (10/(-4) + 3)*q. Which is smaller: 3/5 or f?
f
Let z(u) = -u**2 - 6*u - 3. Let l be z(-5). Suppose -3 - l = -5*m. Let a be 1 - ((-40)/18 + 3). Are a and m nonequal?
True
Let m be 4 + -1 + -5 + (3 - 2). Suppose 0*z = -2*z + 30. Let v be 4/(-10) - (-6)/z. Is v at least m?
True
Suppose -96 = -4*s + 2*c, 3*s + 3*c = -c + 72. Suppose -2 = 2*v + 2*u + 4, 0 = 4*v - 5*u - s. Which is smaller: v or -10/31?
-10/31
Let l = 74 - 75. Which is smaller: 6/149 or l?
l
Let o = 14 - 19.8. Let d = 18 + -12. Let w = d + o. Are -2/5 and w unequal?
True
Let n(h) be the first derivative of 1/2*h**4 + h**2 - h + 3 - 1/3*h**3. Let m be n(1). Which is smaller: 1 or m?
1
Let l = -10 + 7. Let n = l - -3. Let t(o) = o**3 + 41*o**2 + 40*o - 2. Let c be t(-40). Is c bigger than n?
False
Let a = -1506.8 - -1506. Are 0.2 and a equal?
False
Let l(g) = -38*g + 259. Let m be l(12). Is -989/5 >= m?
False
Let y = 41 - 100. Let p = y + 58.6. Which is smaller: -0.6 or p?
-0.6
Let f = 2 + 2. Let j(g) = -g**3 + 2*g**2 + 7*g - 5. Let w be j(f). Let a be 1*(-7 - 0) - 1. Is w at least as big as a?
False
Let m = -19925 + 23730677/1191. Which is bigger: 0 or m?
m
Let l be ((-12)/9)/(2/(-96)). Let r = 63 - l. Which is smaller: r or 5/14?
r
Let z be 6/(-8)*(-1)/(-6). Suppose -3*d - 4*d - 7 = 0. Let g be d/(((-15)/(-10))/(3/2)). Is z at most as big as g?
False
Suppose -2*y + 2 = 2*r, -2*y + 32 = -5*y + 4*r. Let w be (y - 70/(-18))*8. Let j = -3 + 2. Is w bigger than j?
True
Suppose y - 1 = -0*w - 5*w, 5*y = -2*w + 5. Which is greater: -4/45 or w?
w
Let k be 4/(-3 + 5) + 1. Suppose 4*w + 33 + k = 0. Let n be 280/441 + (-2)/w. Which is bigger: n or 2?
2
Suppose 8*w - 6*w = 0. Which is greater: 2/2125 or w?
2/2125
Let k be 536/80*(0 - -8). Is 53 greater than k?
False
Let u be ((-3)/4)/(48/(-64))*1. Which is greater: -29/66 or u?
u
Let z = 3624818/802935 - 4/22941. Let f = -1/969 + -23251/4845. Let d = f + z. Which is greater: d or 1?
1
Let y = 13 - 10. Suppose 2*m + o = -4 - 3, 5 = 2*m - y*o. Let f be (-3)/2 + 0/6. Is m < f?
True
Let a be (-15)/12 - 176/64. Is a > -21/5?
True
Let k = 0.12 + -6.26. Let i = k + 0.14. Let g = i + 5.9. Which is greater: -0.2 or g?
g
Let x be (-2)/(-6)*(-3)/2. Let w be 38/(-8) - (-16)/(-64). Let y(i) = -i - 6. Let u be y(w). Is u bigger than x?
False
Let l = 177 + -155. Is 67/3 bigger than l?
True
Suppose -c - 4*c + 3*r = 105, -c - 34 = 2*r. Let g = c + 145/6. Which is greater: g or 0?
g
Let v = 17/2 + -7. Which is greater: v or 0.45?
v
Let a be -1 + 1 - (-27)/24. Let n = -13/8 + a. Is n > 34?
False
Suppose 2*d + 5*r = 2*r + 42, 0 = -4*d + 4*r + 124. Is d less than 27?
False
Let b be 4/(-2)*(14/(-4))/7. Let n be (-5)/15*(b - 1). Which is greater: n or -1/113?
n
Let i = 565 + -564.79. Which is greater: i or -1?
i
Let s = 8/101 + 627/1010. Is -2/17 > s?
False
Let u(j) = -6*j - 21. Let s be u(-7). Suppose s = -4*o - 15. Let d = -2 - 7. Are d and o equal?
True
Let l = 5 + -5. Let n = -9543/40 - -477/2. Let c = n + -87/40. Is l smaller than c?
False
Let o(c) be the first derivative of -c**3/3 + 7*c**2/2 - 6*c + 1. Let z be o(6). Let u be ((-182)/13 - -8) + (-92)/(-14). Is z at most as big as u?
True
Let u be ((5 + -5)*2/4)/(-3). Suppose -g + 2 = 2*c - u*c, -2*g + 4 = -5*c. Which is smaller: g or 1?
1
Let f = -1 - -1. Let p be 9/6 + -3 + f. Let t(j) = -4*j**2 + j. Let h be t(1). Which is greater: p or h?
p
Let t = 0.03 + 0.37. Let b = 0.3 - t. Let f = -0.59325 - 0.40675. Which is smaller: b or f?
f
Let u = 89 - 67.7. Let c = -20.687 - 0.313. Let z = c + u. Which is smaller: z or 3?
z
Suppose 12*w + 14*w = 26. Which is smaller: w or -7?
-7
Let d be ((-89)/(-178))/((-77)/20 + -1). Which is smaller: d or 1?
d
S