+ h. Is g greater than or equal to -2?
False
Let s = -11 + 34/3. Suppose -2 = -2*a - 0*a. Let t(z) = -z**2 + 2*z - 1. Let k be t(a). Is k greater than s?
False
Suppose 20 = 4*n + 4*l, -5*n + 0*l = 4*l - 20. Let h = -3 - -1. Let r be h - 1 - 140/(-48). Which is smaller: r or n?
r
Let m = 0.13 - 0.13. Which is bigger: m or -5?
m
Suppose 11*i - 108 = 2*i. Does i = -0.04?
False
Let l = 96/19 - 1592/285. Is l at least as big as 0?
False
Let p = -7 - -5. Let s = p + 1. Which is smaller: -2/5 or s?
s
Let s be -1*3/24*2. Which is smaller: 2/5 or s?
s
Let v = 45/2 + -23. Is -2 less than or equal to v?
True
Let i be (-58)/8 + -2 - -1. Let z = i + 103/12. Are z and -2 non-equal?
True
Let v be (42/15 + -2)/((-6)/(-45)). Do 4 and v have the same value?
False
Let a = -0.08 + -6.92. Let q = -7 - a. Which is bigger: -0.07 or q?
q
Let u = 2/13 - -9/26. Let o = -1.6 + -4.4. Let i = 5 + o. Is u at most i?
False
Let b be (-10)/(-8) + 14/7. Let y = -31/12 + b. Let n be ((-1)/3)/((-1)/(-3)). Which is greater: n or y?
y
Suppose 0*j + 16 = 4*j. Which is bigger: 6 or j?
6
Let u = -46/85 + -1/17. Suppose 2*b + 5*l = -2*b - 33, -4*l = 5*b + 39. Let r = 6 + b. Which is smaller: r or u?
r
Let b = -16 - -4. Suppose 4*d = 7*d + 6. Let m be b/5*d/(-8). Which is smaller: -2 or m?
-2
Let x = 2/9 + -445/18. Suppose 4*l - 3*a - 96 = 0, 138 = 5*l + 2*a + 18. Let w = x + l. Which is greater: w or -0.1?
-0.1
Suppose 5*x - 14 = -2*c, -5*c = -0*c - 10. Suppose -11 + 1 = 5*p. Let s be (-1)/(-2)*(-4)/p. Is s at least as big as x?
False
Let m(r) be the second derivative of r**5/20 - r**4/2 + 5*r**3/6 + r**2 + r. Suppose 0 = -5*w + 2*o + 27, 4*w - 3*o - 34 = -11. Let b be m(w). Is 2/5 <= b?
True
Let o(b) be the second derivative of b**4/12 - 5*b**3/6 - 4*b**2 - b. Let q be o(6). Which is smaller: q or -3?
-3
Suppose 11*t + 3 - 36 = 0. Let f be (-7)/(-2)*(-6)/(-14). Is f > t?
False
Suppose 0 = 16*m - 14*m + 2. Is m less than or equal to -4/13?
True
Let z = -0.22 - 1.78. Which is smaller: 3 or z?
z
Let b be -1 - (33/18 + -2). Are b and -1 nonequal?
True
Let c(p) = -p**2 - 9*p - 6. Let u be c(-10). Which is smaller: -15 or u?
u
Let a(s) = s**3 - 11*s**2 + 12*s - 15. Let d be a(10). Which is bigger: 38/9 or d?
d
Suppose -5*z = 16 - 61. Which is bigger: z or 7?
z
Let z(u) = -u**2 - u + 5. Let v be z(0). Let x = 0 + v. Suppose -x*g + 0 + 5 = 0. Is g at most -4/7?
False
Let k be 12/(-18)*(1 - 3). Is k at most as big as -16?
False
Let l(x) = -x - 2. Let z be l(-10). Let q be (-2)/z + (-15)/(-12). Which is greater: q or 0?
q
Let h = -230 - -216. Is h less than -15?
False
Let t be 42/10 + 8/(-40). Let g = -8 + t. Let c be 1*(-1 + 2)*-2. Which is smaller: c or g?
g
Let z = 0.09 + -0.39. Let v = -0.1 + z. Let q = 0.3 + v. Is 0.07 > q?
True
Let f be 10/15 + 10/(-24). Let c = 0 + -2. Let d = c - -3. Which is bigger: d or f?
d
Let h be 4/(-65)*10/12. Let i = -149327/78 - -1915. Let o = h + i. Which is bigger: o or 0?
o
Let x be (-1 + -1)/(-2 + 1). Suppose -x*u = 2*u. Suppose -4*i + u*i = 0. Is i equal to 2/3?
False
Let g(p) = p - 4. Let u be g(3). Let n(c) = -c**2 - c - 1. Let m be n(u). Let x = 70 + -212/3. Is x greater than or equal to m?
True
Suppose -6*l - 14 = -2. Which is bigger: -41/5 or l?
l
Let i = 2.3 - 0.3. Let c be (-24)/(-63) + (-4)/6. Which is bigger: i or c?
i
Suppose -3*j - 26 = 4*q, 7*j + 5*q + 45 = 2*j. Is -10 bigger than j?
False
Let m = -20 - -30. Suppose -3*s + s = -m. Suppose -4*n - 4 = v, 2*n + 1 + 1 = s*v. Is -1 < v?
True
Suppose 3*v - 20 = -5*c, 5*v - 15 = 2*v. Let s be 7/(-15) + c/(-5). Which is greater: s or 1?
1
Let n = -66 - -65. Which is smaller: n or -4/3?
-4/3
Suppose -5*t - 15 = -5*f, -2*t = f + f - 14. Is t != 14?
True
Let w(f) = f**3 - 6*f**2 - 6*f - 3. Let u be w(7). Suppose y - u*y = 0. Suppose 0 = -2*n + n. Is n <= y?
True
Let x be (-3 - -2 - -7)/(30/8). Let n = -3 - -2. Is n at most x?
True
Let d = -25 + 39. Let p be (-3)/(-12) - d/(-8). Let f(b) = b**3 - 3*b**2 - 5*b + 4. Let g be f(4). Which is smaller: p or g?
g
Suppose 2*u - 7 = 15. Suppose -u*f = -13*f + 10. Let a = -5 - -3. Which is smaller: a or f?
a
Let y = -54 - -70. Is 18 <= y?
False
Let q(s) = s**3 - 2*s**2 + 1. Let n be q(1). Suppose l = -2*l - 3*g, n = -3*l - 2*g + 2. Let y be 2 - (-2 + 3)*l. Is y at least -3/4?
True
Let f(x) = -x**3 - 3*x**2 + 2*x - 5. Let o be f(-4). Let g = 15 - o. Suppose -3*d + 4 - g = -5*n, 5*d = -n - 4. Is 2 <= n?
False
Suppose 0 = -3*j + 7*j. Let s be j + (0 - 0) + -3. Which is bigger: 1 or s?
1
Let a(j) = -j**3 - 6*j**2 + 8*j + 10. Let u be a(-7). Suppose -l = 1 - u. Let c be l/5 + 504/(-585). Is c greater than or equal to 1?
False
Let o = 267 + -2399/9. Is o at least -1?
True
Let r be ((-4)/5)/(5/25). Let d be 0/(-2*(-2)/r). Is d > 0?
False
Let y be ((-35)/56)/((-2)/24). Which is smaller: y or 9?
y
Let z(j) = -j + 5. Let p be z(0). Let b = -1 + p. Let r be (-1 - -1)/(b/2). Which is bigger: 2/5 or r?
2/5
Let a = 0.115 - -0.885. Which is smaller: a or -2?
-2
Let f(c) = -c**2 - 6*c + 12 - 2*c - c + c. Let k be f(-9). Is 4 > k?
True
Let g = -0.4 + -3.6. Let m = g - -3.98. Let o = m + 1.02. Which is bigger: 4 or o?
4
Let y(x) = -x**2 + 3*x + 4. Let d be y(4). Suppose -2*r - 2 = 4*z, 3*z - 3*r = -6*r. Is z at most as big as d?
True
Let i = -94 - -467/5. Suppose 2*z = -o + 2, -4*o + 8 = 3*z - 0*o. Which is greater: z or i?
z
Let x be 1/(1*(0 - 2)). Is x at least 3?
False
Let i(w) = -w**3 - w**2 - w - 1. Let z(s) = 4*s**3 + s**2 - s + 7. Let d(n) = 3*i(n) + z(n). Let a = 6 - 3. Let y be d(a). Is y at most as big as -1?
False
Suppose 3*h = -2*h - 5. Let a = h + 2. Suppose 5*d + 4 = -a. Which is greater: d or -1/10?
-1/10
Suppose x - 7 - 7 = 0. Suppose -48 = -3*c - 3*l, -43 = -2*c + 2*l - 15. Which is smaller: x or c?
x
Let u = 78 - 69. Which is bigger: u or 17/2?
u
Let d(f) = f**2 + 3*f - 5. Let r = -10 - -6. Let m be d(r). Is m greater than or equal to -1?
True
Let d = 2.3 - 2.4. Let h = 0.2 + -0.24. Which is smaller: d or h?
d
Suppose 4*q + 2*x + 6 = 0, -9 = q - 3*q + 3*x. Let p = -18 + 6. Let v be ((-6)/(-16))/((-18)/p). Is q at most v?
True
Let p = -15 - -6. Let f be (-4)/7 + 10 + p. Let a = -1/14 - f. Which is smaller: a or 0?
a
Let i be (6/5)/((-2)/(-10)). Let y = -21 + 26. Is y smaller than i?
True
Let b = 18 + -17. Which is greater: b or 0.03?
b
Suppose 200 = 4*b + 6*b. Is 21 > b?
True
Suppose -5*n = 3*r + 3, 0 = 3*n - 4*r + 2*r - 2. Suppose n = -0*h + 5*h. Let a = -1 + 0. Which is smaller: a or h?
a
Suppose 3*f + 0*f + 18 = 0. Let r be (0 + (-4)/f)/(-2). Let o = 40 - 39. Is o smaller than r?
False
Let p = -66089/53 + 1247. Is p at most 0?
False
Let h = 6 - 4. Suppose 3*k + h = 14. Suppose -k*j + 4*a - 16 = a, 0 = j - 4*a + 17. Which is bigger: j or 1/4?
1/4
Suppose 3*b - 22 + 32 = 4*i, 0 = 2*b + 4. Let d = -3 + 2. Is i > d?
True
Let y be (-2)/7 + (-20)/(-70). Let a be (-9)/(-2) - 2/(-4). Suppose -w - 2 = -a. Which is bigger: y or w?
w
Suppose 0 = -3*b - 11 + 5. Is b bigger than 1/3?
False
Suppose -33 = -2*z - 5*p + 19, -2*z = -5*p - 32. Is 20 bigger than z?
False
Suppose 2*n - 4 - 16 = 0. Let t be 2 - 54/n - -3. Which is bigger: -1 or t?
t
Let p = 121347539/517 + -234715. Let g = 2/47 + p. Which is smaller: 0 or g?
g
Let k = 0.05 - 0.05. Which is bigger: k or 2?
2
Let f(z) be the first derivative of -z**3/3 + 7*z**2/2 - z + 1. Let w be f(4). Do 12 and w have different values?
True
Let q be 2 - -5 - (-2 + 4). Let u(j) = -7*j**2 + 2*j. Let s be u(q). Let h be (-36)/s - 2/(-11). Is h smaller than -2?
False
Let q be -11 + (-3)/2*2. Let k be 74/q + 2 + 3. Which is smaller: 0 or k?
k
Let r = 45.01 + -45. Which is smaller: r or -1/4?
-1/4
Let c = -17 + 21. Which is greater: c or 25/6?
25/6
Let m be ((-14)/6 - -2) + 0. Let l(f) = -f**2 + 4*f + 7. Let u be l(5). Suppose 3*d + u*d = 0. Is d at least m?
True
Let f = -90 - -86.3. Which is smaller: f or -1?
f
Let v(j) = -j**3 - j**2 + 2*j. Let t be v(-2). Let o be (-2 - t)/((-3)/(-3)). Is -4/3 greater than or equal to o?
True
Suppose -3*b = -b. Suppose 5*n = -b*n. Is -1/3 >= n?
False
Let g = -2.5 - 0.5. Let c = -5 - g. Which is greater: 3/4 or c?
3/4
Let o(i) = 6*i. Let m be o(-1). Let w be 1 + -22*(-3)/m. Let a = 29/3 + w. Is a != -1/3?
False
Let o = -15 + 1. Which is greater: o or -15?
o
Suppose 2*d + 2 = -5*i, 3*d + 3*i + 4 = -d.