5*l - 3*h - 22 = -2, -l + s*h + 16 = 0. Is l greater than or equal to 0.09?
True
Let d be 2/4 - 50/(-4). Is d bigger than 0?
True
Let y(f) = -2*f - 1. Let w be y(0). Are 2/25 and w non-equal?
True
Let q be 1/(27/60) - 2. Let r = 0 + -2. Let l be 32/18 + r/(-9). Is q bigger than l?
False
Let w(o) = o**3 + 6*o**2 - 4*o - 4. Let b be w(-7). Let p be (-4)/26 + b/260. Do -0.4 and p have the same value?
False
Let p(m) = -m**3 + 11*m**2 + 14*m - 23. Let x be p(12). Is 2/81 less than or equal to x?
True
Let j = 27/11 - 221/99. Which is smaller: j or 1?
j
Let t be (-2)/(-10) + 6/(-5). Which is greater: -8 or t?
t
Let u = -8 + -2. Is u less than or equal to -1/2?
True
Let r = -223.2 - -175. Let y = r - -53. Let b = 5 - y. Is 0 at most as big as b?
True
Let h = 225/4 - 56. Which is smaller: h or 0.6?
h
Let i be 99/(-174) + (-1)/(-2). Is 1 smaller than i?
False
Suppose 4*d = -43 - 1. Let y = d - 2. Is -13 smaller than y?
False
Suppose 3*f - 33 = 6*f. Let c = -6 - f. Let q = c + -5. Is 1/12 < q?
False
Let n = 3 + -3.3. Let d = -9.3 - -10. Let x = d - n. Which is smaller: 0 or x?
0
Suppose -98 = -5*p - 18. Let b be (6/20)/(60/p). Let c = b - -3/25. Which is greater: 1 or c?
1
Let q = -9605/12 - -801. Let j = -1/3 + q. Is j at most as big as -1?
False
Let s be 1/5 - 27/(-15). Suppose 7*f - 15 = s*f. Which is smaller: 1 or f?
1
Let f = -1 - -6. Suppose -5 = 5*x + f. Is -3 >= x?
False
Suppose 0 = -3*y + 4*u + 3 - 0, 2*y = 3*u + 2. Is y >= 1?
True
Let d(t) = 2*t. Let k be d(-2). Let u be (-30)/(-8)*(-4)/6. Is k at most as big as u?
True
Let l(u) = u**3 - 8*u**2 - u + 8. Suppose -3*o + 7 = 4*c, 23 = 5*c - o - 0*o. Suppose c*q - 24 = q. Let n be l(q). Which is smaller: -1 or n?
-1
Let l = 53/112 - 3/16. Let f = 1170 + -73714/63. Let v = f + l. Which is smaller: 1 or v?
v
Let r = -12 - 224. Let n = 238.06 + r. Let l = -0.06 + n. Is -3 smaller than l?
True
Suppose -3*n + 4 + 1 = 5*q, 5*n = 2*q - 2. Which is bigger: n or 1/9?
1/9
Let i = -7.9 - -8. Let s = -1 + 0. Which is smaller: s or i?
s
Let h(n) be the first derivative of n**2/2 - 4*n + 2. Let m be h(0). Let i = m - -4. Which is bigger: i or -1?
i
Suppose 5*x = -2*m, -11*x + 6*x - 4*m = 0. Which is smaller: x or -3/14?
-3/14
Let b = 7 - -1. Let z = 6.85 + 1.05. Let x = b - z. Are -1/3 and x nonequal?
True
Let m = 1/1122 - 413/5610. Which is greater: m or -1?
m
Let z(b) = b + 2. Let y be z(0). Suppose 3*l - u - 5 = -y*l, 5*u - 19 = 3*l. Let d be l/6*(-12)/(-8). Which is bigger: 2 or d?
2
Let i = 13 + -9. Let p be (-51)/15 - i/(-10). Let s be -1 + 1/p*-3. Are 0 and s non-equal?
False
Let q = -11 + 8. Let z = q - -1. Is z >= -1?
False
Let a = -1.7 - -2. Let i = -0.2 - a. Let h = -0.067 + -0.933. Is i at least h?
True
Let k be ((-28)/35)/(1/(-90)). Let j be 285/k - (8 + -4). Which is smaller: j or 1?
j
Let b(a) = -3*a - 14. Let k be b(3). Which is greater: k or -25?
k
Suppose 0*v - 3*q = 4*v + 32, -4*v - q = 24. Let w = 7 + v. Suppose w = 3*p + 5. Which is bigger: 2 or p?
2
Let w = -15.01 - -15. Let r = w - -5.01. Which is smaller: 0.1 or r?
0.1
Let l be 3*1/5 + -1. Let x = -0.01 - -0.01. Which is bigger: l or x?
x
Let o = -1 - -0.5. Let p = -35 + 34. Which is bigger: o or p?
o
Let j = 0.03 + 0.06. Let u = j - 0.39. Which is smaller: u or 2?
u
Let m = 2 - -4. Suppose -m*o = -o. Is 0 at least o?
True
Suppose -m - 54 = 2*m. Suppose 0 = -4*r + 4*i + 52, 0 = 4*r - r - 5*i - 33. Let n be ((-2)/r)/((-3)/m). Which is greater: -1 or n?
n
Let a be 8*(159/54 - 3). Is 0 at most as big as a?
False
Let y = -11/3 - -71/21. Let r(j) be the second derivative of j**5/20 + 7*j**4/12 - j**3/6 - 3*j**2 - 3*j. Let i be r(-7). Which is smaller: y or i?
y
Let k = -0.11 - 0.09. Which is smaller: 2/7 or k?
k
Suppose 11*b + 11 = -0*b. Let k = 41 - 532/13. Is b not equal to k?
True
Let d be (8/5)/(-2 + 3). Is d at most as big as 1?
False
Suppose 4*n + 24 = 4. Let b(i) = i - 12. Let t be b(6). Which is smaller: n or t?
t
Let z be ((-2)/(-4))/((-3)/4). Let j(x) = -x - 12. Let g be j(-11). Which is smaller: z or g?
g
Let v = -70 - -1189/17. Let r(l) = -l**2 + 4*l + 1. Let x(c) = -4*c**3 + c**2 + c. Let d be x(-1). Let q be r(d). Is v smaller than q?
True
Let r = 0.45 - 19.45. Let j = -18 - r. Let n = 3 + 1. Are n and j non-equal?
True
Let o(f) = -f + 10. Let i be o(7). Let q be i/2*2 - -5. Is q >= -2/7?
True
Let m be (-2)/(-5) + (-111)/15. Let t = m - -8. Let z(f) = 3*f. Let r be z(t). Which is bigger: 5/3 or r?
r
Let s(u) = 3*u**2 - 3*u - 3. Let c(d) = -d**2 + d + 1. Let r(n) = 2*c(n) + s(n). Let g be r(0). Let m(z) = 3*z**2. Let b be m(g). Which is smaller: b or 1?
1
Let g = -28/5 - -6. Which is smaller: 0 or g?
0
Suppose -l + 3 = -3. Let v be (-6)/(-4) + (-3)/l. Let d(c) = -c**2 + c - 2. Let m be d(0). Which is greater: m or v?
v
Let j = -2 - -4. Let k be (j/20)/((-3)/6). Which is greater: 0 or k?
0
Let f(d) = -d**2 - d - 1. Let o be f(0). Let i = o + 5. Let z be i/(-10) - (-24)/(-15). Which is greater: z or -1?
-1
Let g = -0.07 - -0.13. Let k = 0.14 + g. Which is bigger: -0.1 or k?
k
Let s = -15 - -25. Suppose 4*c = t + t - s, t + 2 = -5*c. Is 0.2 < c?
False
Suppose 2*p + 13 = 5*v, -5*p + 0*p - 4*v = 16. Let z be 0 + 3/(-30)*p. Which is greater: -1 or z?
z
Let s be 290/(-120)*(-6)/(-2). Is s greater than 0.1?
False
Let g be -4 - -1*1/1. Let a be ((-4)/6)/((-2)/6). Suppose 7*q = -t + 3*q + 10, -t - a*q = -4. Do t and g have different values?
True
Let p be (2/6)/((-2)/6). Suppose -3*h + 9 = -15. Let f be (-3)/(-12)*h/13. Is p at least f?
False
Suppose d = 2*d - 16. Suppose d = -5*h - 2*k, 2*k = -3*h + k - 9. Which is bigger: h or -3?
h
Let g be ((-9)/(-204))/(45/(-40)). Which is bigger: g or 0?
0
Let r = 41 + -40.9. Is 1/9 less than r?
False
Let b be (-178)/(-14) - 6/(-21). Suppose 3 = -q + b. Are 9 and q unequal?
True
Let y(s) = s**2 + 6*s + 1. Let l be y(-5). Is l <= 2/9?
True
Suppose 3*b - 15 = -b + t, -t = 3*b - 6. Let x = 4 + -2. Suppose -a + 20 = 6*m - m, -x*m + 8 = 5*a. Do b and m have the same value?
False
Let u(i) = 6*i**2 - i - 1. Let b be u(-1). Let h = b - 5. Which is greater: h or 2?
2
Let q = -1 + -2. Let x be (q*5/(-9))/(-1). Is -1 > x?
True
Let k be (-73364)/182 + 0 - -2. Let v = k - -4932/13. Let c = 22 + v. Is -2/5 smaller than c?
True
Suppose -5*l + 7 = -3. Suppose 0*x + 2 = -x. Let v be 6*-1*1/x. Do l and v have the same value?
False
Let z = 82 + -99. Which is smaller: z or 2/7?
z
Let a be (-107)/154 + (-6)/(-21). Let q = -3/154 + a. Let c(f) = -f**3 - 2*f**2 + 2*f - 4. Let t be c(-3). Is q at most t?
False
Suppose -6*x - 84 + 72 = 0. Let c(r) = -3*r + 1. Let h be c(2). Which is greater: h or x?
x
Let r = 50.7 - 51. Which is bigger: -16 or r?
r
Let o be (-150)/(-54) + (-2)/(-9). Suppose q + 13 = -o*x, -q = -5*q - 4*x - 36. Which is smaller: q or 1/4?
q
Let y = 2 - 3.8. Let u = y - 0.2. Let c = -0.02 - -0.12. Is c greater than or equal to u?
True
Let k = -9 - -8. Suppose 2*o + 13 = 3*r - 1, 2*o + 18 = 4*r. Let u be (-2)/(o + 1 + 1). Which is bigger: k or u?
k
Let b = -5 + 2. Let f = -36.9 + 34. Let v = b - f. Which is greater: -2 or v?
v
Suppose -2*b = 5*h - 33 + 4, -3*b + h + 1 = 0. Suppose -b*c - 2 + 0 = 0. Let z = -1 - -1. Is c less than or equal to z?
True
Let x(b) = -b**2 - 8*b - 8. Let m be x(-6). Let z be 3 - 67*m/92. Is -1 >= z?
False
Suppose 0 = 5*h - 4*q - 3, -2*q = -h + 3. Let y = 17 - 17. Which is bigger: y or h?
y
Let r be 0/(8/(-12) + (-4)/3). Suppose 3*l = 2*q - 2*l + 16, 0 = -5*q + 4*l - 6. Let v = q + r. Which is smaller: 3/2 or v?
3/2
Suppose 24 = 11*s - 14*s. Which is smaller: s or -5?
s
Suppose 2*r = 3*r + 7. Let p = r - -4. Let t be 1/4 - (p + 3). Which is smaller: t or -2?
-2
Let k(u) = -4 + 1 - 3 - u + 1. Let l be k(-4). Which is smaller: l or 0?
l
Suppose -4*t + 2*m + 10 = 0, 0*t + 8 = 4*t - 4*m. Suppose 0*d = -3*d - 15, -5*c - 10 = -t*d. Is 0 smaller than c?
False
Let o = 266688487/605 + -440807. Let a = 2/121 - o. Is 0 equal to a?
False
Let f = 83/8 + -3561/344. Which is smaller: -1 or f?
-1
Suppose y - 6 = -7. Let n = -2 - -2. Which is smaller: y or n?
y
Let i = 10 + -10. Which is smaller: i or 2/25?
i
Let m = -105 - -123. Is m not equal to 17?
True
Suppose -4 = 2*h, 18 = 3*o + 3*h - 51. Let x be ((o/2)/1)/2. Let a = x - 199/28. Which is smaller: a or -1?
-1
Suppose 4*c - 3*r + 18 + 10 = 0, 0