most z?
False
Let y(b) be the first derivative of -b**4/4 + b**2/2 - 3. Let q be y(-2). Let v be q/9 - 62/30. Do v and -2 have the same value?
False
Let v = 125 + -126. Is -5/141 >= v?
True
Suppose 4*r + t = 27, 4*r - 2*t - 30 = -0*t. Let k(x) = -x**3 - 5*x**2 - 5*x + 4. Let v be k(-4). Is r at most as big as v?
True
Let i = 0.8 + 0.2. Let x = 9.7 + -10. Let c = 0.2 + x. Which is bigger: c or i?
i
Let z = 6 + -1. Let l be ((-9)/z)/((-9)/15). Let y be 26/20*-2 + l. Is y at most -0.16?
False
Let s be 8/(-16) - 609/6. Which is bigger: -108 or s?
s
Suppose 2*d = -i, 5*i = 3*d - 2*d - 22. Let x = 8 - d. Suppose 5*j + x + 19 = 0. Is j at most -3?
True
Let d(x) = -x**2 + 27*x - 73. Let p be d(3). Is 461 > p?
True
Let h be (-33)/(-6) + 3/6. Let k be (1 - -3) + (-27)/h. Let d = 0.2 + -5.2. Is d >= k?
False
Let u be (-460)/(-52) - -13 - (-2)/13. Which is bigger: u or 188/9?
u
Let y = 36 + -36. Suppose -5*v + 3*r + r - 4 = y, -4*v - 5*r + 5 = 0. Suppose 2*f + 5 = 3. Which is smaller: f or v?
f
Let v(n) be the second derivative of 13*n**3/6 + 2*n. Let s be v(-1). Let y = 13 + s. Is 1/17 bigger than y?
True
Let z(w) = 16*w + 4. Let a be z(1). Suppose 8*j = 10*j + a. Is -9 not equal to j?
True
Suppose -2*z + 2 = -0. Let s be 16068/(-115463) + (-2)/(-19). Which is smaller: z or s?
s
Let z be 2/(-14) - (-429)/1729. Is 1 bigger than z?
True
Suppose 45*c = 46*c. Suppose 4*f - 200 = -f. Let x be (-4)/(-10)*25/f. Is c less than x?
True
Let k = -2666 + 2666. Let z = -6.4 + 6. Which is bigger: k or z?
k
Let q = -6 - -8. Suppose 0*z = 3*z + h - 151, -4*h = -4*z + 180. Let u = z - 52. Do q and u have the same value?
False
Let o be -1*4/2*5. Let t(b) = -2*b - 14. Let q be t(o). Suppose g + q + 5 = -l, 21 = -3*l + g. Which is greater: l or -9?
l
Let m be 328/(-10) + 3 + -2. Suppose 2*i + 26 = -38. Let u = m - i. Is u greater than -1?
True
Let g(i) = -2*i**2 - 8*i + 3. Let t be g(-6). Let z be 5 + (-9)/3 + -4. Let a be (6/z - 74/4) + 2. Which is smaller: a or t?
t
Let b(w) = -w**2 - 6*w - 2. Let c be b(-6). Let y be (2 + 57/(-12))*c. Let u(m) = m**3 - 6*m**2 + 22*m - 78. Let t be u(5). Is t >= y?
True
Let w(r) = 4*r - 1. Let q be w(1). Let t be (q/45)/((-3)/(-10)). Let z(o) = -o**2 + 3*o - 1. Let m be z(3). Which is smaller: m or t?
m
Let a = -0.954 + 122.154. Let y = a + -133. Let n = -12 - y. Which is bigger: n or -0.1?
-0.1
Let u be (-2)/(-3)*-3*2. Suppose 4*q = 5*v + 1 + 14, -3*q + 15 = -5*v. Which is greater: v or u?
v
Let y = 85.161 + 1.839. Which is smaller: -1/10 or y?
-1/10
Let g = -352 - -374. Which is greater: g or 109/5?
g
Let b be (-40)/(-5) + 117/(-13). Which is smaller: -6 or b?
-6
Suppose -3*s - 2*v = -2*s + 2, 3*v - 25 = 2*s. Let k be (-2)/s*(-2 + 1). Let a = -8 - -7. Is a at least as big as k?
False
Let c = 35 + -65. Let f = c + 27. Do 3 and f have different values?
True
Let f = -269 - -449. Is 179 at least as big as f?
False
Let n = 45 + -41. Let w = n - -5. Is 8 <= w?
True
Let s = -12 - -11.89. Let a = -37.01 - -37. Let d = s - a. Which is smaller: -5 or d?
-5
Suppose 13*h - 16*h + 5*g - 142 = 0, 168 = -4*h - 4*g. Is h smaller than -43?
True
Let i = -47/30 - -1/6. Let y(o) be the first derivative of -o**3/3 + o**2 - 6. Let t be y(2). Which is greater: t or i?
t
Let j = -2330.01 - -2330. Let p be (-2)/(-140) - 4/(-14). Which is bigger: p or j?
p
Let c(s) = 12*s**2 - s. Let g(l) = -11*l**2. Let u(f) = 6*c(f) + 7*g(f). Let q be u(-6). Let z = q - -1582/11. Which is greater: z or 0?
0
Let z(u) = u - 1. Let f be z(3). Let w be ((-3)/(-6))/(f/(-6)). Let h(g) = 7*g - 17. Let q be h(3). Is w at least q?
False
Let b(y) = -y**3 + 17*y**2 - 39*y - 4. Let l be b(14). Which is smaller: 42 or l?
l
Suppose 0 = -n + 5*y - 20, 8*n = 4*n - 5*y + 20. Is n bigger than 1/2?
False
Let y be 15*(-1)/(-10)*12. Suppose -4*k = -q + y, 14 = -4*k - 2*q - 10. Which is greater: -4 or k?
-4
Let c be (8/10)/(4/40). Let w(p) = p**3 - 6*p**2 + 8*p - 9. Let q be w(5). Which is bigger: q or c?
c
Suppose -5*s = 4*n + 12 - 44, 0 = -s + 3*n - 5. Suppose s*m + 0*m - 8 = -4*w, -4*w + 8 = -5*m. Which is greater: 1/39 or m?
1/39
Suppose 1308 = -4*b + 5*s, b - s = 55 - 381. Are b and -321 nonequal?
True
Let j = -7 + 15. Suppose -a - 3*a = -j. Let q = 1.79 - 2.09. Which is bigger: q or a?
a
Suppose -105 = -3*a - 333. Which is bigger: a or -149/2?
-149/2
Suppose -36*q - 17 - 19 = 0. Which is bigger: q or -1/250?
-1/250
Suppose -37 = 2*p - w, 13*w = -5*p + 16*w - 95. Is p at least as big as -0.1?
False
Let n = -288 + 253. Is -31 equal to n?
False
Let u = -3/17 + 73/221. Is u at least 0?
True
Let c(a) = 18*a - 299. Let w be c(17). Which is smaller: w or 18?
w
Let u = 0.917 - 0.117. Is -0.6 less than u?
True
Let z(y) = y**3 - 39*y**2 + 38*y. Let g be z(38). Which is smaller: g or -13/11?
-13/11
Let v = 51449 + -51434. Suppose -n = -5 + 4, -2*t + 5*n = -81. Suppose 15 = z + h, -h + t = 3*z + 4*h. Which is bigger: z or v?
z
Let l = -147 - -99. Let g = l - -46. Let j be (-2 - (-5)/2)*2. Which is greater: g or j?
j
Let w = -19 + 22. Let n be (w/(-12))/((-3)/12). Let c be (-130)/(-132) + (-2)/(-11). Is n < c?
True
Suppose k + 3 - 5 = 0. Let w be (-764)/(-36) + 2/(-9). Suppose -k*v = v + w. Are v and -7 nonequal?
False
Suppose 4*z + 2*g = 0, 0 = 3*z + 3*g - 8*g - 26. Let d(w) = w**3 + 4*w**2 - 2*w - 5. Let r be d(-4). Which is bigger: r or z?
r
Let v(d) = -d. Let g(b) = -10*b + 1. Let a(l) = 2*g(l) - 14*v(l). Let q be a(3). Let s = q - -15. Which is bigger: s or 2?
2
Let l be ((-162)/(-63) + -3 + 1)*7. Let m be l/(-8) - (-26)/20. Which is greater: 2 or m?
2
Let m = 17 - 19. Let c be 15*(m/1 - (-148)/70). Which is greater: c or 3?
3
Let h(r) = -7*r**3 - 6*r**2 + 3*r + 17. Let x(d) = 8*d**3 + 6*d**2 - 4*d - 18. Let g(c) = 7*h(c) + 6*x(c). Let l be g(-5). Which is greater: l or -3/7?
l
Let t = 42 + -86. Let h be (-4408)/t + 2/(-11). Let a be (27/6)/(15/h). Does 30 = a?
True
Suppose 2*s - 3*s + 4 = 0. Suppose s*v - 21 = -h, -4*v + 19 = -h - 0*h. Is 10/7 > h?
True
Let i be (-90)/114 - 6/(-8). Do i and -1 have different values?
True
Suppose -5*k + 4*r = -16 - 15, -4*k + 3*r = -25. Suppose 9*j = k*j. Is j less than or equal to 2?
True
Suppose 6 = 2*n + 2. Suppose n*z + 3*z - 40 = 0. Is z >= 8?
True
Let m(c) be the first derivative of -13*c**4/4 - c - 4. Let k be m(-1). Let y = k - -6. Is -2 <= y?
True
Let c = -0.0845 + -94.8155. Let b = 95 + c. Is -38 <= b?
True
Let x(o) = o**3 - 4*o**2 - 6*o - 4. Suppose -4*j = 5*l - 29, 2*l = 5*j + 2 + 3. Let m be x(l). Which is smaller: -1 or m?
m
Let b be (12/474)/((-2)/(-4)*-1). Which is greater: 0 or b?
0
Suppose 3 = -12*r + 3. Suppose -2*a = -6*a. Suppose a = -0*y - 3*y. Is y equal to r?
True
Let c = -0.913 - -10.913. Which is bigger: c or -1/20?
c
Suppose 0 = -490*f + 496*f - 6. Which is greater: 5 or f?
5
Let f = -0.1 - -0.9. Let c = f - 0.48. Let u = -0.12 + c. Which is bigger: 1 or u?
1
Let m be 87/5 - (-8)/(-20). Let a(h) = 3*h**2 + h + 2. Let g(l) = -l**2 - 15*l + 2. Let k be g(-15). Let b be a(k). Are b and m unequal?
True
Let f = 1 - -40. Let g = f + -41.1. Is 8 > g?
True
Let s = 27 + -30.23. Let h = s + 3.2. Is h greater than or equal to -4?
True
Let t be 14/77 - ((-1130)/(-528) - 2). Let f(z) = -7*z**2 + 5*z - 10. Let b(q) = q**2 + 1. Let r(k) = 6*b(k) + f(k). Let a be r(4). Which is greater: t or a?
t
Let c be (-1235)/234 + (-99)/(-18). Let z = -2.95 - -3. Which is smaller: c or z?
z
Let z(j) = -25*j - 4. Let t be z(-4). Let x be 8/t + 4/6. Which is greater: x or 0.2?
x
Let s = 225 - 64. Let n = s - 161. Is -1/23 greater than or equal to n?
False
Let r = -129/145 + 20/29. Is r <= 6?
True
Let m be (-1 - 2) + (-91 - 13). Let g = -113 - m. Which is bigger: g or -9?
g
Let z(g) = -4*g + 16. Let a be z(6). Let f = -16 + 12. Is a at most f?
True
Let k = 2.88 - 0.28. Let r = k - 0.6. Let y be 1/(2 - (-1 + 4)). Are y and r nonequal?
True
Suppose 0 = -2*a - 4. Let x = -6 - -6. Let n be (a + x)/(3/(-6)). Is n < 2?
False
Let h = 8913/6734 - 102/91. Let j = h - -1183/370. Which is bigger: j or 4?
4
Suppose 4*z = 4*q + 20, -z - q - 25 = -30. Which is greater: z or -13?
z
Let u = 0.1446 + -26.1446. Which is smaller: u or 13?
u
Let m = 473 - 3313/7. Which is smaller: m or -203?
-203
Let i = -344.7 + 345. Is 13 bigger than i?
True
Let v be (-32)/88 - 350/(-55). Which is sm