 0.2 + r. Which is greater: a or -1?
a
Let s = 0.8 + 4.1. Let d = 5 - s. Is d <= -1/4?
False
Suppose 0 = -2*s + 3 + 1. Which is smaller: 1/2 or s?
1/2
Let u(l) = 0 + l**3 - 6*l + 0*l + 3 + 2*l. Let h be u(2). Let t = h + 2. Which is greater: t or 2?
t
Let p = -4 - -6. Suppose 4 = 4*r - 4. Let a = r + -1. Which is smaller: p or a?
a
Let n(o) = 3*o - 21. Let d be n(7). Let v(k) = 2*k + 2. Let c be v(-2). Let m be (-2)/c*1 - 1. Is d bigger than m?
False
Let q be ((-6)/(-4))/((-6)/(-16)). Let j be 2/q + 8321/(-30). Let o = 277 + j. Is 1 not equal to o?
True
Let h = 13 + 0. Let o = 13.7 - h. Let b = o - -0.3. Is b bigger than 0.1?
True
Let r be (6/4)/(6/8). Let y be (-69)/21 - r/(-7). Let q(l) = -l**2 - 4*l - 3. Let z be q(y). Which is smaller: z or -2/9?
-2/9
Suppose -q = 3*w - 5*q - 5, -2*w - 5*q - 12 = 0. Which is bigger: -1/5 or w?
-1/5
Let q = 14 - 27/2. Which is smaller: q or 8?
q
Suppose -2*c - c + 6 = 3*b, 3*b - 4*c - 13 = 0. Suppose -4*f = -f - b. Is 1 <= f?
True
Let x = -0.42 - -0.52. Which is smaller: x or -1/30?
-1/30
Let d = 1 + 0. Let q = -54 - -47. Is q >= d?
False
Let m be -5*(-3)/((-39)/1). Which is smaller: -1 or m?
-1
Let b = -13 + 13. Which is smaller: 2/7 or b?
b
Suppose 13*f = 12*f - 10. Let z be (72/(-32))/((-1)/(-4)). Is f less than or equal to z?
True
Let s be -6 + 3 + (-3 - -6). Suppose -3*q + 1 + 2 = s. Is 1 at most as big as q?
True
Let i = -443/330 + 1/110. Let l = -20 - -18. Do l and i have the same value?
False
Let o(t) = t**3 - 15*t**2 + 15*t - 21. Let w be o(14). Is w at most as big as -4?
True
Let c = 3 - 6. Let a = c - -5. Which is smaller: 0 or a?
0
Suppose 50 = -2*p + p. Let w = -172 - -182. Let f be (-180)/p - (-4)/w. Is f at least 5?
False
Let j = -60 - -87. Which is bigger: j or 26?
j
Let f be 3*-24 - (-1 - -1). Let o be 0 + f/(-34) - 2. Which is smaller: 1 or o?
o
Let l(s) = -s**3 + 6*s**2 + 0*s**3 + 2*s**3 - 2 - 2. Let t be l(-6). Are t and -5 unequal?
True
Let u(a) = -13*a + 8*a + a**2 + 2 - 1. Let b(l) = l**3 - 8*l**2 + 8*l - 2. Let z be b(7). Let r be u(z). Which is smaller: r or 2/9?
2/9
Let w = -1 - -1. Let j = -51 + 56.2. Let c = -0.2 + j. Is w at least c?
False
Let r = -20 - -18.4. Suppose -2*p - c + 4 = 0, -p - 2*c + 7 = c. Is p at least r?
True
Let h = 2/29 - 33/58. Is -1 not equal to h?
True
Let g = 6 + -4. Suppose -24 = 4*j - 4*v - 0*v, 0 = 5*j - 2*v + 24. Let u be 1*(10/j)/(-5). Which is bigger: g or u?
g
Let z(u) = u**3 - 2*u**2 + 4*u - 3. Let g be z(2). Let k(r) = -8*r - 98. Let l be k(-12). Is g equal to l?
False
Suppose 0*a + 2*a - 8 = 0. Suppose a*h - 2*n + 3*n - 9 = 0, 5 = 2*h + n. Do 8/3 and h have the same value?
False
Let j = 8.5 + -7. Let m = j - -2.7. Let t = 4 - m. Which is greater: 1 or t?
1
Suppose 6*p + 6 = 4*p. Which is smaller: p or -13/4?
-13/4
Let r(p) be the second derivative of p**3/6 - 2*p**2 - 7*p. Let a be r(5). Which is bigger: 1/16 or a?
a
Let z(o) = o**2 + 19*o. Let i be z(-19). Which is smaller: i or -3/25?
-3/25
Let t = 19 + -18.95. Let f be (-3)/(9/2 + 0). Is t at most f?
False
Let t = 13 + -15. Let b be 11/(-3) - 1/3. Let o be 36/(-40) - b/10. Which is bigger: o or t?
o
Let r be (2 + 3 + -5)/(-2). Suppose x + 3 = -r. Let b be 3 - x - 2/2. Which is greater: b or 4?
b
Let n(i) = i**2 - 5*i - 1. Let b be n(6). Suppose 0 + b = 5*h. Suppose 0 = -5*y + 4*y. Which is greater: h or y?
h
Let t = 14096611 - 20933466434/1485. Let b = t - 2/297. Which is bigger: 4 or b?
4
Let b = -2.3 - 0.7. Which is greater: b or 0?
0
Let r = -1931/13140 + -2/657. Is -1 smaller than r?
True
Let w(s) = -4 - 2 - 3*s - 3*s - s**2. Let k be w(-6). Let m = -8 - k. Is m at most as big as -3/5?
True
Let a = 9 - 18. Is -10 != a?
True
Let i = 0.12 + -1.12. Is -1.6 bigger than i?
False
Let w = 34 + -33. Which is greater: 2/107 or w?
w
Let q be ((-8)/(-5))/((-1)/(-10)). Suppose 0 = -3*n + 5*n + q. Let w be ((-2)/n)/(1 - -1). Is w equal to -0.1?
False
Suppose -62 - 34 = -12*b. Is 10 greater than b?
True
Let h = -4 - -2. Is h smaller than -0.1?
True
Let q(s) = -s**3 + 6*s**2 - 7*s + 7. Let g = 6 + -1. Let b be q(g). Let w = -2 - b. Which is smaller: w or 0?
0
Let y(o) = -o**2 + 9*o - 8. Let x be y(8). Let u(n) be the third derivative of n**5/60 - n**4/24 - n**3/6 - 2*n**2. Let z be u(x). Is 1 != z?
True
Suppose 0 = 4*q - 3*q - 2. Let b = 3494/5 + -3892/5. Let h = -79 - b. Is q less than h?
False
Suppose -5*p + 20 = 0, 4*p - p - 12 = 3*h. Suppose -5 = m - h. Is -5 less than or equal to m?
True
Let h = 0.06 + 0.94. Let w = h + -1.4. Let d = w - -0.4. Are 1/4 and d unequal?
True
Let s be (-4)/(-14) - (-4)/(-14). Let q = s - 0. Let v be 3/((36/8)/(-3)). Is q > v?
True
Let m = 22 + -23. Which is smaller: -2/21 or m?
m
Let u = 9 - 9. Let y = -3 - -4. Which is bigger: y or u?
y
Let n = -2.4 + -7.6. Let u = -6 - n. Let g = -3.9 + u. Which is bigger: 2/9 or g?
2/9
Let p = 0 + 2. Let y = -10.8 + 15. Let m = -4 + y. Is m at least p?
False
Let j(o) = 2*o**3 - 10*o**2 + 8*o. Let u be j(4). Is 2/169 at least u?
True
Suppose 3*k - 8 = -5*x, 4*k + 4*x - 3 - 5 = 0. Let r be (k/(-5))/(12/15). Is r at least as big as 2?
False
Let r = -237/4 + 60. Is r at least -1/5?
True
Suppose -2*h = 3*s - 0*s - 9, h = 5*s - 2. Suppose -d = -h*d. Is d at least as big as 4/7?
False
Let v = -84 + 82. Which is smaller: v or -24?
-24
Let g = 59.1 + -58. Is -2/7 > g?
False
Let m be (15 - 19) + (80/(-6) - -2). Which is smaller: -15 or m?
m
Let l(n) = 2*n**2 - 12*n - 13. Let r be l(7). Is r less than 9/5?
True
Let i = 4.4 - 3.86. Let a = i + -0.6. Let g = -3.1 + 3. Which is smaller: a or g?
g
Suppose -4*z = -z. Is -4/3 at least z?
False
Let w = -265/3 - -87. Which is bigger: w or -1?
-1
Suppose 0 = -4*x + 9 - 1. Suppose -x*k = -4*k. Suppose k*r - 4 = 2*r. Which is greater: r or -4?
r
Let u be ((-21)/(-14))/((-6)/(-160)). Let b be (-5)/(-7)*32/u. Is -1 bigger than b?
False
Let y be 4825/140 + 2/7. Let i = y - 35. Let g = 29 - 85/3. Is i smaller than g?
True
Suppose -6 = -4*j + 2*z, -4*j + 9*j - 8 = 2*z. Suppose -2 - j = -4*d. Is 0.2 at least as big as d?
False
Let q = 39 - 28. Suppose -3*n + q - 2 = 0. Which is bigger: 2 or n?
n
Suppose m + 2 = 2*m. Suppose -m*y + 7 - 1 = 0. Is 2 at least y?
False
Let f = -929/7 - -133. Suppose -3*v - 26 = 3*k - 2*k, 2*v = -5*k - 104. Let o be 6/k*2/(-3). Which is smaller: f or o?
o
Let r be (-6)/(-4) - (2 - 2). Suppose -3*z + 14 = -5*z. Let y(f) = f + 8. Let a be y(z). Is r <= a?
False
Let l be (8/(-10))/((-4)/10). Which is smaller: l or -1/4?
-1/4
Let c(u) = u**3 - 3*u**2 - 3*u - 8. Let g be c(4). Is g > -3?
False
Let k = -5 - -7. Suppose -2*a + 4*z + 24 = 2*a, k*z - 4 = -2*a. Is a >= 8/3?
True
Let r(k) = -k**3 + 7*k**2 - 5*k. Let j be r(6). Suppose -j*s = -s. Is s less than -2/41?
False
Let o(j) = j - 3. Let h be o(4). Let k be 130/504 - ((-23)/(-7) + -3). Is k equal to h?
False
Suppose v - 316 = -v. Let i = -635/4 + v. Let k = i - 7/12. Is k less than 0?
True
Suppose -p - 3*p = 4. Which is greater: p or 1/16?
1/16
Suppose -v = 3*v + 4. Let z = v + 0. Let a be -2 + 4/((-4)/(-3)). Which is greater: a or z?
a
Suppose 0*q + 4*q = -3*v - 145, -q - 40 = -3*v. Which is smaller: q or -38?
-38
Let m = -0.5 + 0.6. Is -12 < m?
True
Let c = 5.1 + -5.1. Which is bigger: 56 or c?
56
Let c = 16 - 13. Which is smaller: c or 4?
c
Let g(w) = -w**3 - w**2 + 3*w + 2. Let m be g(-2). Suppose 3*v - 5*v + 2 = 2*j, 4*j - 5*v = -14. Which is bigger: m or j?
m
Let n be ((-6)/18)/((-2)/6). Let r be -2*3/(4 - n). Suppose 0 = 2*m - 5*k + 25 - 10, 2*k = -3*m + 6. Are r and m nonequal?
True
Let b(z) = -z + 30. Let n be b(28). Which is greater: -31 or n?
n
Let b = 0.94 - -0.06. Suppose 4*q + 3 = 11. Let w(o) = -o**2 + 2*o - 2. Let n be w(q). Which is smaller: b or n?
n
Let b = -0.2 + 2.2. Let y = 0.09 + 0.04. Let j = y + -0.23. Is b at least as big as j?
True
Let g be 93874/(-143) + 2/2. Let i = -655 - g. Is 2 != i?
True
Suppose -2*n - 4*s + 80 = -4*n, -116 = 3*n - 2*s. Let y be -6 + 9 + n/14. Which is smaller: y or 1?
y
Suppose 2*t - 3*t = -3. Let c(j) = j**3 - 2*j**2 - 2*j - 1. Let p be c(-1). Let l be 1/2 + t/p. Which is smaller: 2/7 or l?
l
Let y(i) = -i - 9. Let h be y(-11). Suppose -4*c + 3*s - 10 = 0, 5*c - 5*s = h*c - 13. Is c at least 1/8?
False
Let w = 6 - 4. Suppose -4 = -6*q + w*q. Which is smaller: q or -5?
-5
Suppose -2*n