). Which is smaller: -7/5 or z?
-7/5
Let l(c) = c**3 - 5*c**2 - 22*c + 13. Let t be l(7). Is t smaller than -44?
False
Let b be 2 - (-52)/(-36)*1. Which is smaller: 2 or b?
b
Let r = 4/27 + 5/27. Which is greater: 5 or r?
5
Let u(h) = 5*h + 55. Let a be u(-11). Let w be (-12)/27 + (-4)/(-6). Is a > w?
False
Let l = 2.6 + -1.6. Let k be (-141)/6*2/1. Let f = k + 187/4. Is f greater than or equal to l?
False
Suppose -4*j + 8 = 2*s + s, -4*j + 8 = -s. Is j at most -2?
False
Let d = 2 - 1. Let f = 12 - 59/5. Is d > f?
True
Let w = 1.47 + -1.4. Let l = 2.07 - w. Which is greater: l or -3?
l
Let k(n) = -n**3 + 4*n**2 + 4*n + 5. Let i be k(5). Suppose 0 = 2*v - i*v. Is 1/3 at most v?
False
Let t(b) = -9*b**3 - b. Let v be t(-1). Suppose -v = -2*u + 8. Let a be -2 + (-2 - (-38)/u). Which is greater: -1 or a?
a
Let q = -3 + -15. Which is smaller: -22 or q?
-22
Let f = -20 + 18. Let a(i) = -i**2 + 8*i - 7. Let v be a(7). Suppose v = -5*y - 4*w + 2*w - 25, 0 = -4*w. Are y and f unequal?
True
Let l(t) = -t + 9. Let m be l(6). Suppose 5*k = -2*c + 5, c = -2*k - m*c - 14. Is 4 equal to k?
False
Let d be -3*(1 - (2 - 0)). Suppose -2 - 4 = d*k. Suppose 5*i + 0*i = 0. Which is greater: i or k?
i
Let k(d) = -d**2 - 2*d + 4. Let x be k(2). Let z = 0 + x. Which is smaller: -5 or z?
-5
Let m be 5 - (1 - 1) - 2. Suppose 9 = -3*w - m*n, 0 = -3*w - n - 3*n - 14. Which is bigger: w or 0?
w
Let f = 7.7 - 8. Let o = 155 + -153. Which is greater: f or o?
o
Suppose -5 - 1 = -2*k. Suppose 3*w = -3*h + 39, -w + 81 = h + 4*h. Suppose -2*g - u = -7, 3*g - h = 3*u - 2. Which is smaller: k or g?
k
Let i be (-8)/(-180)*10*3. Let f be (-1)/(-2) + 2/(-2). Is i less than f?
False
Let d = 3 - 1. Let t = d + 1. Let q(a) = -a - 6. Let g be q(-6). Which is bigger: g or t?
t
Suppose 0*r + 6 = -3*r. Let q = 15 + -10. Let l = q - 6. Do l and r have the same value?
False
Suppose -4*a + 4*j - 36 = -j, -5*j = -2*a - 28. Suppose -3*y - 3*r = -0*r + 27, -4*y = -2*r + 18. Is y < a?
True
Let j(m) = m**2 + 4*m - 6. Let w be j(-5). Which is smaller: w or -62?
-62
Suppose 0*n = 5*x + n - 64, 0 = -3*x + 3*n + 24. Let b be 24/(-27)*9/x. Is b greater than or equal to 5?
False
Let r be (-2)/(-3) - (-2)/(-3). Let z = 159 + -799/5. Is r greater than z?
True
Let s be (16/66)/((-32)/(-16)). Is s greater than 0?
True
Suppose -2*m = 2*m. Suppose -3*b + 4*s + m*s - 355 = 0, -125 = b + 2*s. Let u = -845/7 - b. Which is greater: 0 or u?
u
Suppose -3*u - 125 + 125 = 0. Which is greater: u or 1?
1
Let c = 5.1 - 5. Let u = -0.01 + -8.79. Let j = -9 - u. Are c and j non-equal?
True
Let g be (-3 - -5)*-1 - -2. Do 8 and g have different values?
True
Suppose 0 = -44*y + 47*y - 24. Let j = 0 - 1. Which is smaller: y or j?
j
Suppose m - 4*m + 36 = 0. Let o be 6/9 + 2/m. Are 1 and o equal?
False
Let r = -6.5 - -1.5. Is r smaller than -3?
True
Suppose 3*j + 7 = 4. Is 2/23 < j?
False
Let i = 8 - 2. Suppose -5*j + 175 = -0*j. Suppose -2*b - j = -7*b. Do i and b have the same value?
False
Let q(i) = i**2 + 5*i - 6. Let g be q(-5). Let n be 3/(-2)*(-8)/(-6). Let k be (-4)/g*(-3)/n. Is -1/9 greater than k?
False
Let p = -2.9 - -3. Let u(l) = -l**2 - 4*l. Let h be u(-4). Suppose h = 3*r + 3 - 0. Are p and r equal?
False
Let p = -27 + 13. Let d be -2 + 2 + (-58)/(-4). Let c = p + d. Is 0 at most c?
True
Let n = 2.1 - 2. Let t = -0.3 + n. Let p = 0.026 + -1.026. Which is smaller: t or p?
p
Suppose 5*p = 5, p = -2*a - 0 - 3. Let b be 16 - (0 + -2) - a. Let l be (-8)/b - (-34)/60. Are l and 0 non-equal?
True
Let h(r) = r - 3. Let m be h(4). Let i(b) be the second derivative of -b**4/12 + b**3/6 - b**2/2 - 31*b. Let q be i(m). Is q less than or equal to -2/23?
True
Let q(n) = n**2 + 4*n - 6. Let t be q(-5). Which is smaller: t or -2/5?
t
Suppose -5 + 7 = -2*t. Suppose 5*g = -0*g + 45. Let v be (-3)/(-5)*3/g. Is v at least t?
True
Suppose 3*x - 4 + 46 = 0. Let z = x + 14. Let j be 106/(-72) + (-4)/(-18). Which is greater: z or j?
z
Let i = 157 + -1405/9. Is i smaller than 0?
False
Suppose 4*j = 2*b + 6, 0 = b - 2*b - j + 12. Let r be (147/72)/b*3. Let t = r + -43/40. Which is smaller: 0 or t?
t
Let w(x) = 2*x**3 + 18*x**2 - x + 11. Let q be w(-9). Do 13 and q have the same value?
False
Suppose 4*k + 6 = 5*g - 19, g = k + 5. Which is smaller: 12/13 or k?
k
Let j = 5 - 6. Suppose -4*l - 2*y + y = -11, 2*l + 4*y = 2. Let o be 2/(30/(-1 + l)). Which is smaller: j or o?
j
Let n = -4 + 7. Let b = -14 + 12. Let h be 2 + 4/b + n. Do h and 4 have the same value?
False
Let k = -106 + 181. Which is greater: 76 or k?
76
Suppose j + 0*j = -4*m - 321, -4*m - 319 = -j. Are m and -80 equal?
True
Let x = -2.6 - -2. Let d = x + 0.3. Let f be (-1 + 5/4)*-1. Is d > f?
False
Let t(x) be the third derivative of -x**6/120 + x**5/30 + x**4/6 - x**3/2 - 2*x**2. Let q be t(2). Suppose q*p - p = 0. Which is smaller: p or -1?
-1
Let u be (-70)/(-7)*2/5. Suppose s - u = 2. Is s != 6?
False
Let i(f) = -f**3 - 3*f**2 - 2*f. Let v be i(-2). Let s = 24 - 24. Is s at least as big as v?
True
Let u(d) be the first derivative of -d**2 - 5*d - 2. Let c be u(-5). Suppose -c*r = -s - 3*s, -3*s = r. Is r greater than or equal to -3/5?
True
Let p be 2/(-12)*6/(-3). Suppose -j - 4*j = 10. Let t be -2 - -1*j/(-2). Which is smaller: t or p?
t
Let j = 2/7 + -66/35. Which is bigger: j or -2?
j
Let h = -440 + 440. Let r be (-14)/99 - (-2)/(-9). Is h != r?
True
Let g = -1 + 1.08. Let i = g - -3.92. Let o = 5 - i. Are o and 2 nonequal?
True
Let q = 1 + -2. Let n = -213 - -1919/9. Which is smaller: n or q?
q
Suppose -d + 1 = 5, t + 3*d + 28 = 0. Is -15 >= t?
True
Let v = 122 + -128. Which is smaller: v or 0?
v
Let t = -3 - -6. Let q be ((1 + -1)/(-1))/2. Suppose 4*h = -q*h + 4. Which is bigger: h or t?
t
Let n(o) = -o**3 - 2*o**2 + o. Let m be n(-3). Suppose -3*b - 3 = 3*z, -4*z = -b - 15 - m. Let t = b + 9. Which is bigger: t or 3?
t
Let m(j) = -4*j - 32. Let c be m(-8). Which is smaller: c or 10/9?
c
Suppose 0*h + h - 2*z - 7 = 0, 0 = h - 5*z - 13. Suppose 3 = -h*a, -k + 5 = -3*k - 3*a. Which is bigger: 3/17 or k?
3/17
Suppose 3*g + 125 = -73. Which is bigger: g or -67?
g
Let p = -1.28 + 0.31. Let u = 0.03 - p. Which is greater: 1/2 or u?
u
Let r = -1/94 - 181/658. Let k = 4 + -9. Let q = k + 5. Which is smaller: r or q?
r
Let v = 59 + -50. Which is smaller: 31/4 or v?
31/4
Let o = 2 + -1. Let n be 159/1 + (o - 1). Let a = -473/3 + n. Is a equal to 1?
False
Let j = 55/186 + -4/31. Let d = -20 + 17. Is j smaller than d?
False
Let i = -404 - -14142/35. Does 0 = i?
False
Let o = 0 + -0.1. Let n be (-6)/9 - 248/(-279). Which is smaller: n or o?
o
Let t be ((-3)/3)/(66/18). Which is smaller: 0 or t?
t
Let g = 2/85 + 77/340. Is g equal to 0?
False
Let h = -14 - -14. Which is smaller: -0.3 or h?
-0.3
Let z = 3 - 5. Let u be 277/(-10) + z/(-10). Let x = u - -27. Which is smaller: x or -2?
-2
Let w be (0 - -2)/(1/(-3)). Let u = -8 + 3. Which is bigger: w or u?
u
Let i(a) = -a**2 - 8*a - 8. Let d = -3 - 4. Let m be i(d). Which is smaller: m or -5?
-5
Let c be 4/(-6) + (-172)/(-6). Let f = 14 - c. Let z be (-1)/f*(1 + -5). Does 0 = z?
False
Suppose 0 = 3*g - 5*j - 64 + 234, 3*g = -j - 164. Let i be g/(-70) - 1/2. Let b = -0.12 + 0.02. Is i at least b?
True
Let i be 0/(-4 - (4 + -6)). Let u = 684/8395 - -2/365. Which is bigger: u or i?
u
Let a = -407 - -9353/23. Are a and -1 nonequal?
True
Suppose 2*f - 4*l + 4 = 28, 5*l + 40 = 5*f. Suppose -4*i + 5*a = -113, -f*i + 2*a + 116 = -2*a. Suppose 0*c + i = -4*c. Is -8 bigger than c?
False
Let n = -5.3 - 0.7. Let o = -5 - n. Suppose 4 = -2*b - 0*b. Which is smaller: b or o?
b
Let y = 0.46 - 0.36. Which is greater: 7 or y?
7
Suppose -a - 4*a + 5 = 0. Suppose 3*f + a = -b, 7*b - 3*b - 4*f = 12. Suppose -b*q + 0*q + 2 = 0. Which is smaller: -1/4 or q?
-1/4
Let t = 3 - 3. Suppose t*u + u = 1. Let r be -2 + u/(-2)*-2. Which is smaller: 1/4 or r?
r
Let g be (34/(-5))/((-864)/255) + -2. Is g smaller than 0?
False
Let g be -6*1*(-1)/2. Suppose -2*s = -3*t - 5*s + 9, 4*s + 24 = 5*t. Suppose 4*v - h = t*h + 17, -5*h - 5 = 0. Are v and g non-equal?
False
Let m = -10 - -8. Which is smaller: m or -1?
m
Suppose 2*m - 4 = 2*v, -5*m = -2*m - 6. Which is smaller: -2/183 or v?
-2/183
Let a = -4/91 - 66/2639. Let g be -2 + 3 + (6 - 6). Which is greater: a or g?
g