+ -10/23. Let k be (-24)/21 + (-3)/(-21). Let c be k/(-4)*(-20)/15. Which is bigger: z or c?
z
Let x be 0/(2 + -4 - -1). Let f(j) = -5 + x*j - j + 4. Let c be f(-4). Which is greater: c or 2?
c
Suppose 3*t = -5*x - 8, 4*x = -x + 4*t - 1. Let w be -3 + x + (3 - 1). Are -2 and w equal?
True
Suppose -3*d + 4*w = -5*d + 4, -4*d = -w + 10. Is -1 at least as big as d?
True
Suppose 4*q = 4*c + 4, 0 = -5*q + 3*c + 3 + 6. Suppose 0 = j - q*j. Let l be (j*(1 - 2))/2. Is l at least as big as 1?
False
Let n = -44 + 45. Let o(f) = -f - 2. Let d be o(0). Let h be (-1 - d)*(-2)/(-8). Which is smaller: h or n?
h
Suppose -10*s + 7*s - 6 = 0. Are s and -12/5 unequal?
True
Suppose -b - 3*b + 11 = -f, -4 = 4*f + 4*b. Let p = f - -2. Suppose -g - 25 = 3*k + 4*g, 0 = -4*k + g + 5. Is p bigger than k?
False
Suppose -3*g + 3 = -3*a, 2*g + 0*a = -a - 4. Let w = 9465/1924 + -133/26. Let i = w + -2/37. Which is greater: i or g?
i
Suppose -2*m - 4 = -3*m. Let y(j) = j + 6. Let d be y(-4). Which is bigger: d or m?
m
Let r = -751 + 385. Let u = 4022/11 + r. Are u and 1 non-equal?
True
Let n = -87/10 - -3577/410. Which is smaller: n or 0?
0
Let y = 0.02 + 6.98. Let g = -7.1 + y. Let s = 29 - 86/3. Is g less than s?
True
Let b be 1/(10/16) + -2. Let j = -4.7 - -5. Let n = j + -0.1. Is n < b?
False
Let z(i) = -i + 1. Let y be z(-3). Suppose 2*f = -j - 1, -3*j - f - 4 = y*f. Which is smaller: j or -5?
-5
Let a = 17 + -12. Which is smaller: 1 or a?
1
Let l be ((-404)/(-104) - (-1 - -4)) + -1. Which is bigger: 0 or l?
0
Let h = 21 - 20. Are h and 2 unequal?
True
Let y be 30/8 - 6/(-24). Suppose -y = x + 1. Which is smaller: 0 or x?
x
Let c(s) = s**3 + 6*s**2 - 6*s - 1. Let r be c(-7). Let y = 6 + r. Which is smaller: -4 or y?
-4
Let r(z) = 14*z**2 + 2*z + 3. Let s be r(-3). Let a = 3917/32 - -31/160. Let v = a - s. Which is greater: v or 0?
0
Let r(o) = o + 2. Let k be r(-3). Let u = k - 1. Which is greater: u or -1?
-1
Let w = -109 - -109. Let x be (2/(-1146))/((-3)/(-3)). Let o = x + -1133/7449. Are o and w non-equal?
True
Let u be (1 - -1)*(-21)/(-14). Suppose -4*m - u = -5*m. Is m greater than or equal to 3?
True
Let z(v) = v - 4. Let i be z(-8). Let s = i - -17. Suppose 0 = -5*u + 5*m - 10*m - 5, -u = s*m + 9. Is 2/15 smaller than u?
True
Let c(d) = -d**3 - 5*d**2 + 10*d + 11. Let q be c(-6). Suppose 5*w + 1 + 59 = 0. Which is smaller: q or w?
q
Let k be 1/((-180)/8 + 1). Which is smaller: -1 or k?
-1
Let o(v) = -v**2 + 3*v + 5. Let i(a) = a**2 - 5*a + 4. Let k be i(5). Let c be o(k). Which is bigger: c or -0.4?
c
Let y = 10.07 + -0.07. Let o = -15 + y. Which is smaller: -1/2 or o?
o
Suppose 4 = 4*l - 4. Suppose 0 = -2*k + l - 0, -5*k = -x - 3. Which is greater: x or 20/7?
20/7
Let m = -16 + 26. Let l be 434/m + (-2)/(-5). Let u = l - 44. Is u less than -1?
False
Let v be 3/4 + (-70)/72. Is -0.22 <= v?
False
Let r(b) = 9*b - 47. Let s be r(6). Suppose -i + 7 = -0*i - g, -7 = -i - 3*g. Is s greater than or equal to i?
True
Let y(f) = -5*f + 26. Let i be y(9). Is i != -21?
True
Let n = 1 - 3. Let a = -35 + 36.7. Let t = n + a. Which is smaller: t or 0?
t
Let h(i) = 2*i - 6. Let x be h(4). Suppose -4 = g - 0*g. Let f = g - -6. Is x greater than or equal to f?
True
Suppose x - 3*q + 2 = -13, -x = q - 5. Suppose 2*y - 5*u = -29, -4*y - 5*u - 6 = -23. Let f be (y/(-1))/(6 + -2). Which is bigger: x or f?
f
Let o be ((-7)/(28/8))/1. Suppose 0 = -0*d - 5*d - 10. Let h be 1/o - 5/d. Which is smaller: 1 or h?
1
Let p = 1.7 - -0.3. Is p bigger than -0.2?
True
Let p = -20 - -30. Let z = 10 - p. Let h(i) = i - 2. Let u be h(3). Is u > z?
True
Let r be (-9)/6 + 3/(-6). Let h(b) be the first derivative of -b**4/4 - 7*b**3/3 + b**2/2 + 5*b + 1. Let w be h(-7). Do r and w have the same value?
True
Suppose -5*t = -4*a + 2, 3*t - 1 = 4*a - 7. Let h(o) = -4*o - 3. Let k be h(-2). Suppose -3 = 4*v + k, -8 = 4*x + t*v. Is 1 bigger than x?
True
Let t be 1/(-2)*0/(-2). Let l = 2 - 12/5. Does t = l?
False
Let s(z) = z**3 - 3*z**2 + 2*z - 1. Let j be s(1). Let p be (-8)/20*5/(-11). Which is greater: j or p?
p
Let a = 1.89 + -2.09. Let i = -74 + 519/7. Is a >= i?
False
Let r = -5 - -9/2. Let h = -0.16 - 0.04. Which is smaller: r or h?
r
Suppose -4*d + 6 = -34. Suppose -k + 2*k = 5*v + 19, -2*v = 2*k + d. Suppose -7*i + 6 = -13*i. Is k less than or equal to i?
True
Suppose 2*s = -4*r + 23 + 1, -23 = -4*s - 3*r. Let q = 3 - s. Suppose -l + 0*l - 4*z = -19, 0 = -2*l - 5*z + 23. Is l bigger than q?
False
Suppose -40 = -9*d + 4*d. Which is greater: d or 11?
11
Suppose 0*j - 4 = -2*s - 4*j, 3*j + 8 = 4*s. Suppose 0 = 4*t - 2*t - s. Let p = -45 + 313/7. Which is smaller: t or p?
p
Let t(d) = -d + 2*d + 0*d - 12 + d. Let l be t(8). Let z be 3 + ((-6)/(-3) - l). Is z smaller than 3/2?
True
Let h = 15 - 10. Let r(n) = n**2 + n - 1. Let w be r(0). Which is smaller: h or w?
w
Let h(b) = b**2 + 4. Let m be h(0). Let t be m/(-6) - 52/(-60). Is -3 < t?
True
Suppose 3*d = 2*d - 1. Let t be d/(-3) - 13/57. Is 1 at most as big as t?
False
Let c be -8*((-10)/84 + (-4)/(-14)). Which is smaller: 0.06 or c?
c
Let w = -1144 - -16025/14. Is 1 less than or equal to w?
False
Let k = 0.3 + -0.32. Let q = 0.18 - k. Which is greater: q or 0?
q
Suppose 17 = -t - 0*t. Let o = 18 + t. Is -2 smaller than o?
True
Let p = -1.31 + 1.3. Let n = 0.21 + p. Which is smaller: 7 or n?
n
Let d(q) = -q**2 - q + 9. Let g be d(4). Which is smaller: g or -1?
g
Let c(h) = -12*h**2 - 3*h + 1. Let i be c(1). Suppose 0*t + 70 = -5*t. Is t != i?
False
Suppose 0 = -p - p + 2. Is p at least -2/137?
True
Let i(b) = -b**2 + 3*b + 4. Let w be i(3). Let q = w - 3. Which is smaller: q or 2/9?
2/9
Let k = 689/20178 + 1/1062. Is k greater than or equal to -1?
True
Let o be (-3)/(-6) - (-5)/(-6). Let g be 7/(112/12) - 1. Is o greater than or equal to g?
False
Suppose 0*k + 4*k = 0. Let t(m) = m**2 - 3*m - 8. Let b be t(5). Which is bigger: k or b?
b
Suppose 0 - 6 = -3*l. Let y be (2/1)/(l/1). Suppose -9 = -5*g + 2*h, g + 2*h + 1 = -2*g. Is y not equal to g?
False
Let l = 10.67 + -0.77. Let i = l + -10. Which is smaller: -1 or i?
-1
Suppose 4*v = 2*w + 4, -4*w + 2*v + 1 = -9. Suppose 0 = w*n + n. Let i be n + 2 + 36/(-21). Is i smaller than 0?
False
Let m(p) = -p**2 + 2*p - 1. Suppose h + 11 = r + 4*h, 5*r + h - 13 = 0. Let a be m(r). Let w be a/3*(-2 + -1). Which is smaller: w or -2/13?
-2/13
Let z = -208/5 + 42. Suppose -2*b - 8 = -c, b - 9 = -13. Which is smaller: z or c?
c
Let z be 2/(-4)*(-6)/(-4). Let l(x) = -x - 3. Let n be l(-3). Which is bigger: n or z?
n
Let b be (4/(-10))/((-169)/65). Do 1 and b have different values?
True
Let p(v) = v. Let f be p(-1). Which is smaller: -1/17 or f?
f
Let s be (-2 - (-3 - 0)) + 2. Which is smaller: s or -2/7?
-2/7
Let q be (-2)/(-3) - 68/12. Let l = q - -3. Which is smaller: -5/7 or l?
l
Let p(n) be the third derivative of n**5/60 + 7*n**4/24 + n**3/2 - 3*n**2. Let q be p(-6). Let y = q - -11. Is y <= 7?
False
Let z be 8/(-75)*19 + 2. Is z at least as big as 0?
False
Let b(s) = -s - 1. Let c(k) = -9 - 3*k + k - k. Let j(a) = 2*b(a) - c(a). Let n be j(-5). Is 3 greater than n?
True
Let i(w) = w**3 + w + 20. Let f be i(0). Let t be (-1)/3 - f/(-55). Which is greater: 0 or t?
t
Suppose -4*k = -2*f - 10, 2*k = -f + 5*k - 7. Let u be (-4)/(-2) - (0 + f). Let j(q) = q**3 - 2*q**2 + 2*q - 2. Let i be j(2). Which is smaller: i or u?
i
Suppose 2*t + 2*t = 8. Let j be 1 + (3 - 2 - t). Let d = 28 + -85/3. Which is greater: j or d?
j
Suppose -f = -0*f, -4*o = 5*f - 12. Let z = -11 - -14. Is z at least o?
True
Let r be (2/6)/(1/18). Do r and 3 have the same value?
False
Let i(f) = -3*f**2 - f - 2. Let p be i(-1). Is -8 greater than p?
False
Let r be (15/20)/((-81)/48) - 0. Suppose 2*v + v + 3 = 0. Which is bigger: r or v?
r
Let u(a) = a**3 + 3*a**2 + a. Let i be u(-3). Let o = 3 + i. Suppose o*b = -2*b + 2. Which is bigger: b or 2/5?
b
Let f be (-6)/12 + (-15)/2. Let i be (f/(-96))/(5/(-8)). Which is smaller: i or -1?
-1
Let f = -5 + 0. Are f and -2 equal?
False
Let j = -24 + 95/4. Which is greater: j or 2?
2
Let s(v) = -v**2 - 1 - 7 - v**3 + 0. Suppose 2*r = 5*r. Let a be s(r). Is a at most as big as -8?
True
Let k(b) = b**3 - 5*b**2 + 6*b. Let m be k(3). Which is smaller: m or -4/31?
-4/31
Let n = 29 + -27.1. Let h = -1.1 - n