8.889 + 579.889. Is 1 >= z?
False
Let m(p) be the third derivative of 13*p**4/24 - 14*p**3 + 36*p**2 - 2*p. Let a be m(11). Is a bigger than 58?
True
Let w be 36*(-2)/8*-9. Let o(r) = 5*r**2 + 503*r + 874. Let n be o(-99). Are w and n non-equal?
True
Let m = -8996.1 - -8990. Which is bigger: m or 3/20?
3/20
Suppose -9*f = -8*f + 4*y + 15, -2*f + 5*y + 22 = 0. Which is smaller: -2/1391 or f?
-2/1391
Suppose 448 = 3*w + 445, 5*k + 5*w = 9135. Is 1826 greater than or equal to k?
True
Let f = 25.095 - 25.095. Which is bigger: -1.251 or f?
f
Suppose -4*d = 5*w - 46, -2*w - 4*d = -w - 22. Let c(s) = 6*s + 2. Let o(r) = -11*r - 98. Let y be o(-9). Let z be c(y). Which is greater: z or w?
z
Suppose 4*w + 100 = 361*g - 365*g, -2*w - 55 = -3*g. Which is smaller: 69 or w?
w
Suppose -4*d + 3 = -3*z, -d - 4 = -5*z + 8. Let i be (-543)/(-1683) + d/(-9). Suppose 0 = 2*f - 5*c + 12, 9 + 0 = -f + 4*c. Which is smaller: i or f?
f
Let t be 3*(-5)/(-10)*(-38)/(-57). Does 41/65 = t?
False
Suppose 0 = r - 2*g - 1, 0 = 3*r - g - 27 + 4. Suppose 6*d - 42 = r*d. Let b = d + 37. Is 23 < b?
False
Let u(v) = -413*v + 1252. Let b be u(3). Which is greater: b or 125/9?
125/9
Let f be (-735)/490*8*94/(-148). Is 7 > f?
False
Suppose -4*x - 2*x = 12. Let m(i) = -3*i**2 + 9*i + 9. Let h be m(x). Let w be ((-9)/(-104))/(-4*h/(-112)). Which is greater: 0 or w?
0
Suppose 5*h + 466 = -2*c, 2*h - 2*c = -155 - 23. Let s = h + 153. Which is smaller: 0 or s?
0
Let o = 4/121 + -1222/363. Let j = o + 119/33. Which is greater: 1 or j?
1
Let s = 17882.747 + -13.747. Which is bigger: s or 0?
s
Let v = 124.8 - 155. Let b = -30.4 - v. Which is greater: b or 0.33?
0.33
Let o = 72.7843 - -0.1157. Let d = 148 - 218. Let p = d + o. Do -1 and p have the same value?
False
Suppose 45*t + 2881 + 2173 = 7*t. Which is greater: t or -125?
-125
Suppose -12*l = -5*o - 7*l + 3435, 3336 = 5*o + 6*l. Which is smaller: 7456/11 or o?
7456/11
Let o be ((-8)/24)/((-232)/(-33) - 7). Which is greater: o or -12?
o
Suppose -200 = -5*n - 5*x, 2*x - 12 = -4. Suppose n = 2*d + 2. Let s = -48 + d. Do -31 and s have different values?
False
Let w be (7 - 2)*2*1*(116 + -117). Let o(s) = s**3 - s**2 + s + 21. Let f be o(0). Let c be f/(-2) + (-3)/2. Which is greater: c or w?
w
Let z(b) = -7*b**2 + 14*b - 52. Let p(v) = -8*v**2 + 12*v - 54. Let r(h) = 4*p(h) - 5*z(h). Let t be r(6). Is 19 < t?
True
Let t be (105/45)/((-14)/(-12)). Suppose 4*f + t*s - 258 = 0, f + 3*s = 41 + 26. Which is greater: f or 66?
66
Let g be -1*(-25)/(7 + -2). Suppose v - 191 = -2*o, -g*v + 118 = o - 0*v. Do 93 and o have different values?
False
Let l = 0.742 - -46.718. Let s = -50 + l. Let w = 3 + s. Which is smaller: -0.1 or w?
-0.1
Suppose 165 = 3*n - v, 4*n + v = -0*n + 220. Suppose 0 = w - 5*l + 7, 8*w - 3*w = -5*l + n. Let i be 4/(-9) + w/18. Which is smaller: -1/198 or i?
-1/198
Let p = -9634 + 18714. Let q = 117946/13 - p. Is -7 equal to q?
False
Suppose 4172 = -9*z + 4163. Which is bigger: z or -1/475?
-1/475
Suppose -290*t + 466 = 176. Which is bigger: t or 4/18091?
t
Let u = -505 + 510. Suppose -u*i + 5*a - 110 = 0, 4*i - 7*a + 93 = -2*a. Are i and -13 unequal?
True
Let r(h) = -1688*h**3 - 1. Let a be r(-1). Suppose -a = -13*f + 133. Which is bigger: 141 or f?
141
Let a = -459 - -524. Let z = 66 - a. Which is bigger: z or 1/12?
z
Let g = -32 + 19. Let f = g + 14. Which is bigger: f or 7/12?
f
Suppose 0 = 12*a - 264 + 549 - 273. Is a at least -18/815?
False
Let q = 71 + -41. Let y = 566 + -536. Are q and y equal?
True
Suppose -3*c + 8 + 1 = 0. Let k(r) = 2*r**2 - 3*r + 8. Let t(v) = -8*v**2 + 11*v - 31. Let w(p) = -9*k(p) - 2*t(p). Let x be w(c). Which is bigger: x or -1?
-1
Let x(p) = p**3 + 6*p**2 - 31*p - 7. Let s be x(-10). Let y = s + 775/8. Suppose -3 = -3*i - 0. Which is smaller: i or y?
y
Let h(g) = -g**2 - 6*g + 17. Let w be h(-7). Let c be (-5)/w*(-2)/1. Which is bigger: c or 1/10?
c
Let i = 77.077 + -74.07. Let c = -0.007 + i. Is 78 > c?
True
Suppose -4*x + 12 = 0, -5*n + 17*x - 21*x - 1048 = 0. Let t be (n/(-10))/((-30)/(-75)). Is 50 less than t?
True
Let p(i) = -45*i**2 + 21*i + 32. Let r(d) = -16*d**2 + 7*d + 11. Let l(x) = -3*p(x) + 8*r(x). Let b be l(-1). Which is greater: 76/11 or b?
76/11
Let b = 671/5 - 1337/10. Is -238 <= b?
True
Let b be 1/(-9) + 146/18 + -4. Suppose -3*v = 5*y + 20 + 9, -3*y + b*v = 29. Let a be (-11 - -4)/y + (-89)/2. Is -43 less than a?
False
Let u = -0.03951 - 0.06049. Is u greater than 305?
False
Let d = 14 + 207. Let n = 220.8 - d. Is -56 less than n?
True
Let z be (4 + 5/(-10))/(126/216). Let q be 9/(-6)*(-228)/9. Are z and q nonequal?
True
Let o = 82 - 80.55. Let y = o + -1.65. Let j = 9 - -5. Is y less than or equal to j?
True
Let s be ((-1)/(-2))/((-1)/2). Let t be ((-408)/30)/34*2/8. Is t at most as big as s?
False
Let z = -1415.42 - -1420. Are z and 2/9 equal?
False
Let l = -1.1 + -27.9. Let g be 4/10 + 1330/(-3325). Which is greater: g or l?
g
Let s = 36.4 - 36.664. Let h = s + 0.164. Is h equal to -196?
False
Let x(y) = -8*y + 1. Suppose 3*n = 12 - 3. Suppose 0*f = n*f + 18. Let d be x(f). Which is greater: d or 48?
d
Let g = -17 + 7. Let h(w) = -4*w**3 - 15*w**2 + 2*w - 7. Let v be h(-4). Let n be (v/1 - -17)/(66/(-44)). Which is smaller: n or g?
n
Let z = 1397328/132181 + 2/18883. Let v = -0.86 - 0.14. Which is smaller: v or z?
v
Suppose -116 = 3461*a - 3345*a. Are 72/587 and a non-equal?
True
Let w = 60 - 59. Let c(x) = 3*x - 29. Let f be c(11). Suppose -3*a + 5 = -5*j - w, 18 = -f*j - 2*a. Which is bigger: j or -20/11?
-20/11
Let i be 86204/28727 + -11 + 4*2. Which is greater: i or 0?
i
Let h = -6400 - -6574. Which is smaller: 177 or h?
h
Suppose -3*v = -5*v - 462. Let p = 231 + v. Which is smaller: 1.04 or p?
p
Let b be ((-15)/(-60))/(146/144 - (-23)/207). Suppose -3*f + 0*f = -9, 11 = -5*l - 3*f. Which is smaller: b or l?
l
Let h be ((-789300)/(-2205))/(5 + (-99)/21). Do h and 1252 have the same value?
False
Let f = 108217 - 108223. Let n = 2112 - 10593/5. Which is greater: n or f?
f
Let u be (8/(-6))/((-2)/36) + -4. Let i be (-2 - (-36)/u)*(-15)/(-6). Which is smaller: i or -42?
-42
Let q be (1 + 1)/(-4 - 1). Let d be (-2)/25 + (-7356)/50. Let b = d - -148. Which is greater: q or b?
b
Let r(n) = 550*n + 8762. Let d be r(-16). Which is smaller: d or -1062/29?
d
Let g(t) = 4*t**3 + 6*t**2 + 4*t. Let s be g(-2). Which is greater: s or -6?
-6
Let v(h) = 5*h. Let q be v(0). Let b be q/5 + ((-41)/23 - -1). Is -1 bigger than b?
False
Suppose -159*w + 12971 + 12768 + 28957 = 0. Do 342 and w have the same value?
False
Let j = -0.88334 + -0.11666. Is 4150 not equal to j?
True
Let o = -641421 + 640847.371. Let i = o + 574. Is 0 equal to i?
False
Let s(u) = 6*u**2 + 15*u - 132. Let p be s(-6). Which is greater: -260/37 or p?
p
Let g = 172.8 + -132. Let q = -2.2 - g. Are 1/2 and q nonequal?
True
Let q = -104/15 + 33/5. Let d be (-5 + (-3944)/(-799))/((-42)/(-4)). Which is smaller: d or q?
q
Let k(j) = 56*j + 20. Let y be k(2). Suppose 3*x - 126 = -y. Which is bigger: x or -10?
x
Let r(m) = -15*m**3 - 6*m**2 + m - 7. Let i be r(4). Let v = i + 550. Which is smaller: v or -508?
v
Let v = -11 + 13. Suppose -z - 2 = 3*z - o, -5*z - v = -o. Let g = 285 + -284. Is g less than or equal to z?
False
Let h = -22581 + 22421. Is -3/10 at least h?
True
Suppose -2*u - 46 = -25*u. Suppose 0 = h - 4*q + 20, 0 = -11*h + 8*h - u*q + 10. Which is bigger: h or -2/65?
h
Let x(f) = -f**2 - 28*f + 17. Let h be x(-15). Let r be h/20 + (-12)/20. Let i be (-171)/5 + (-8)/r. Is i smaller than -36?
False
Suppose 30*n = -1947 - 2253. Let y be (47/(-2))/((-14)/n). Is -234 <= y?
False
Let x be (2/6)/((-4)/(-240)). Let o be (685/x + -2)*(-8)/(-3). Which is greater: 173/2 or o?
173/2
Suppose 0 = -3*r - 5*n - 31, n + 4*n + 29 = -2*r. Let v be (-1)/(r + 19/9). Which is greater: -13 or v?
v
Let r(w) = -w**3 + 5*w**2 + 9*w - 14. Let c be r(6). Suppose -c*k = -6 - 10. Let p be (4 - 0) + 3 - k. Which is smaller: p or 28/9?
p
Let m be -2 - (-1 - 32/4). Suppose -m*c = -14*c - 7. Let d be (28/(-35))/((-30)/1). Which is bigger: c or d?
d
Let c = 122 - 123.16. Let a = -15.64 + c. Is a bigger than -2/9?
False
Let q be 2 + 0 + 1 - 1235/475. Which is greater: -1325 or q?
q
Suppose -101*x + 2186 = -1652. Which is smaller: 20 or x?
20
Le