73. Let z = 20 - v. Let d be (-8)/(-5) - z/(-40). Which is greater: d or -2/29?
d
Let k(g) = -2*g - 7. Suppose 30 = -3*c - 2*c. Let j be k(c). Suppose 4*h - 4*q = 0, -h + 3*q - j = -3*h. Which is smaller: h or 2?
h
Let l be 22/(-80) + (-2)/(-5). Suppose 6*g + 8 = -2*g. Which is bigger: g or l?
l
Let d = -3 - -2. Let x = 0.6 + d. Let t = -0.071 - 0.029. Which is smaller: x or t?
x
Let t = -6 + 10. Let u be 12/40*(-10)/t. Is u at least as big as -2?
True
Suppose -4*k = 13 + 7. Let a(n) = -6*n + 6*n + n**2 + 6*n + 5. Let y be a(k). Are -2/9 and y equal?
False
Let a = 19 - 18.9. Which is smaller: 13/3 or a?
a
Let g = -35 - -34. Is 22 bigger than g?
True
Let i = 31.6 - 33.186. Let z = i - 0.404. Let v = z - 0.01. Is 2/5 equal to v?
False
Suppose 2*j = 2*z + 3*j + 11, 20 = -5*z - j. Let t be (z + 237/81)*-3. Which is bigger: t or -2/7?
t
Let u(q) = -2*q - 37. Let a be u(-18). Which is smaller: -35 or a?
-35
Let t = 0.4 - -18.6. Let p = 18 - t. Is 0.3 less than p?
False
Let w = 2 + 1. Suppose -2*b + 22 = 3*p, -11 = p - 0*p - w*b. Let i be 2/((p - 3)*-2). Which is smaller: i or -2/11?
i
Suppose -16 = -4*d, -5*i + 7 = 4*d - 29. Let q be ((-2)/1 + 1)/(-1). Suppose g - q = 3. Is i != g?
False
Let g be (-6)/4*4/12. Let u = 0.3 - 0.8. Let w = -0.3 - u. Which is greater: g or w?
w
Let x(k) = -k**2 - 4*k - 7. Let u be x(-3). Suppose 4*v + 0*v + 16 = 0. Let i = v - u. Is 2/17 less than or equal to i?
False
Let a(p) = p**2 - 5*p + 4. Let m be a(3). Suppose 3*k = -0*k - 3. Are m and k unequal?
True
Let j = -3315/11 - -301. Do j and 1 have different values?
True
Let g = -1/107 - -437/963. Are g and 0.1 unequal?
True
Suppose 5*s - 77 = -4*f + 35, -3*f + 9 = 0. Is s <= 19?
False
Let n(h) = h - 1. Suppose r = -3*i + 1 + 4, 0 = 2*r + 2. Let x be n(i). Is x smaller than -0.2?
False
Let d = -143/2 + 1291/18. Let l = -3/44 - 73/220. Are d and l non-equal?
True
Let l be 70/(-3) + 2*-1. Suppose -2*c + 6*c = 100. Let v = c + l. Is v <= -1?
False
Suppose 4*r = -3*p + 51, r - 68 = -4*p + 3*r. Which is greater: 2/7 or p?
p
Let z = 0 + -6. Is -6 > z?
False
Let y = -2 + 7. Suppose -y*d = -d. Which is bigger: d or -1/2?
d
Let d = 7 - 10. Let r = 2.8 + d. Which is bigger: r or 2/9?
2/9
Let f = -1 + -1. Let h be 3 + (-1)/(-2) + (-7)/2. Which is greater: f or h?
h
Let l be -18*(6/(-39))/((-12)/3). Is -2 <= l?
True
Suppose -5*q + 5*v + 10 = 0, 0 = 5*q - 3*v + v - 22. Let j = q + -10. Let a be 7 + j + (-13)/6. Which is smaller: a or 0?
0
Let s = -14.6 + 14.7. Is s > 1/18?
True
Let s = 72 + -53. Is s less than or equal to 18?
False
Let x(z) = z**3 - 8*z**2 + 8*z - 5. Let t be x(7). Let l be (1/3)/(2/6). Suppose 2*n - 3 + l = 0. Which is smaller: n or t?
n
Let t(h) = h**3 - 8*h**2 + 10*h + 10. Let w be t(6). Is w at least -5?
True
Let h be 8 - (-324)/45 - 2/10. Is h bigger than 0.01?
True
Suppose -5*w + 17 = 2*s - 10, 5*s - 2*w = -5. Are 1 and s equal?
True
Let v(r) = -36*r**3. Let z be v(1). Let g be -1 - (z/(-15))/(-4). Is g > 1?
False
Suppose -4*t = 4*q + 10 - 50, 0 = -t + 2*q - 5. Is t bigger than 7?
False
Let v = -0.16 - -0.06. Which is greater: v or 1/3?
1/3
Suppose 2*g = -2*b + 2, 13 = g - 3*b + 4. Is g smaller than 3?
False
Let d = -254 + 253.6. Let y = -0.9 + 1. Is y bigger than d?
True
Let s be (-100)/6 - (-2)/3. Let f(a) = -a**3 + 12*a**2 - 17. Let m be f(12). Is m >= s?
False
Suppose 4*t - 100 = -t. Suppose -4*v - 120 = -5*m, 7*v = 2*m + 4*v - 55. Are t and m nonequal?
False
Let s be 1 + -1 + 0 + -2. Suppose 5*a - 8 = a. Let u be (-54)/30 - (-4)/a. Do s and u have different values?
True
Let f(c) = c + 14. Let r be f(-10). Suppose 3*h - 1 - 14 = 3*z, 0 = 2*z. Suppose -4*j = -2*p - 2, 5*p + 3*j - 29 = h. Is p at least as big as r?
True
Let b be 1 - -1*(0 + 1). Suppose 0 = -b*h + 4*n + 12, 2*n + 6 = -4*h - 10. Suppose 5 = 2*a - 3*w, 5*a - 3*w - 5 = 2*w. Is a equal to h?
True
Let y be (-4)/18 + (310/(-144) - -3). Is y <= 2?
True
Suppose w + 2 = -0. Let a be ((-1)/w)/(2/4). Is 10/7 equal to a?
False
Let v be -5*3/(-6)*-4. Let b be (10/(-25))/(2/v). Suppose c - 6 + 3 = 0. Does c = b?
False
Let v(t) be the third derivative of -t**4/24 - t**3/6 + 2*t**2. Let h be v(-1). Are h and 4/9 non-equal?
True
Suppose 0 = -k - 1. Let y = k + 3. Suppose x - 4*x = y*n + 6, -3*n = -4*x - 8. Is -1/2 equal to x?
False
Suppose -4*p - p = 2*a - 5, -5*p - a = -5. Suppose -11 - p = -4*u. Suppose 0 = v + u*c + 2, 0 = -3*v - 0*c + c - 6. Are -2 and v nonequal?
False
Let l(t) = 2*t**3 - t**2 - 5. Let y be l(0). Is -3 > y?
True
Let d = 7 + -5. Which is greater: 3 or d?
3
Suppose 0 = -4*y + h + 184, -y + 10 + 23 = 3*h. Let m = y - 67. Are -22 and m non-equal?
False
Let y = -123 - -122.3. Which is smaller: -3 or y?
-3
Suppose 3*q - u - u - 2 = 0, 0 = 5*q - u - 15. Suppose -4*w - 16 = q*m, -23 = 6*m - 2*m - 3*w. Let b = 3 + m. Is b less than -2?
False
Let k = -0.009 + -0.041. Let p = -67/2 + 33. Are p and k non-equal?
True
Suppose 0*u = z + 5*u + 52, 39 = -2*z + 3*u. Let s be ((-1)/z)/((-14)/12). Let y = 67/126 + s. Do 1 and y have the same value?
False
Suppose c - a = -9, 3*a + 54 = -5*c + 17. Let x = c + 7. Is 1/13 smaller than x?
False
Let r = 1.9 + -1.1. Let i = r - 0.3. Let q be 14/(-77) - 19/(-44). Is q >= i?
False
Suppose 5*x + 6 + 19 = 0. Suppose 11*l - 10*l = -6. Is l smaller than x?
True
Let y(m) = -m**3 - m**2 + 9*m + 10. Let l be y(-4). Which is smaller: 21 or l?
21
Let d(v) = -2*v**2 + 6*v + 8. Let h be d(4). Let b = 24 - 47/2. Which is smaller: b or h?
h
Let o(r) = -6*r - 3. Let y be o(6). Let a be (-2 - 76/y)*3. Which is bigger: 1 or a?
1
Let u = 1 + -1.1. Let o = 6.2 - 6.2. Which is smaller: o or u?
u
Let c(v) = -1 + 0*v**2 + 3*v + 5*v**2 - 4*v**2. Suppose 3*d - 2*z + 5 = 0, -2*d + 1 = -5*z - 3. Let t be c(d). Which is smaller: 1/7 or t?
t
Let l = 8/7 + -55/42. Is l != 1?
True
Let l be 4 + (8/2)/(-4). Let g be 250/90 - 2/(-9). Is l at least g?
True
Suppose 4 = 4*m - 0*m. Let s be 2 - (27/15)/m. Which is greater: -1 or s?
s
Let l be -1 + 2/48*39. Which is bigger: 1 or l?
1
Let n be 2 - ((-6)/(-18) - (-51)/36). Is n less than or equal to 2/101?
False
Let c = 2/7 + -1/28. Is c less than 1/4?
False
Let r be (-2)/(-10)*(0 + -3). Is 0 smaller than r?
False
Let k(w) = -w**3 - 9*w**2 - 3. Let y be k(-9). Let u be (y + 3 + 1)*0. Is -3 <= u?
True
Suppose -4*g + 9 = -11. Suppose -3*q + 8 = g. Suppose 4*f = -n - 3 - 9, -2*n = -5*f - 15. Which is smaller: n or q?
n
Let t(h) = h**2 - 6*h - 10. Suppose 0 = 3*z + 3*j - 12, 36 = 4*z - j. Let x be t(z). Is x greater than 7?
False
Let k = 2 - 2. Suppose -3*y = -y + q + 8, 2*q = k. Let v be ((-9)/(-30))/(y/10). Is v <= -2?
False
Suppose -8 + 26 = -2*z. Let u(a) = a**3 + 8*a**2 - 8*a + 12. Let o be u(z). Let t = -14 + 16. Is o at most t?
False
Let m = -17 + 21. Suppose m*s + 1 = l - 32, -4*l - s + 47 = 0. Is l at most 13?
True
Suppose 0 = -2*k - 2*d, 3*k + 4 = -k - 3*d. Let v be k/(-10) + (1 - 1). Let p = 0.1 - -0.1. Is v less than p?
False
Suppose 2*m + 31 = 5*a, 3*m = 4*a - 40 + 11. Which is greater: 4 or a?
a
Suppose -5*h + 0*h - 5*l - 20 = 0, -4*h + 2*l + 2 = 0. Which is smaller: h or -0.1?
h
Let p be (-24)/(-36) + (-2 - (-22)/(-15)). Which is bigger: p or -4?
p
Let q(g) be the first derivative of 5*g**3/3 + g + 2. Let c be q(-1). Let j be (-2 - c/(-2))*0. Which is greater: 1 or j?
1
Let k be (-2)/(-3)*-2*-3. Suppose k*l = -l - 5. Let w(n) = n**2 - 11*n + 18. Let a be w(9). Which is smaller: a or l?
l
Let l be ((-1)/7)/(((-300)/(-42))/(-5)). Are 1 and l nonequal?
True
Let k be (-3)/2*6/18. Is -24 >= k?
False
Suppose -r - 24 = -5*d, -4*d + 15 = -6*r + r. Let b be (-4 - (-70)/15)*(-9)/6. Are r and b non-equal?
True
Let x = 1 - -1. Let z be 4/6 - -2 - x. Are 0 and z non-equal?
True
Let q be (-16)/(-30) + 16/(-120). Is 1 less than q?
False
Let n(q) = 4*q - 3. Let m be n(6). Which is bigger: 22 or m?
22
Let b be (21/(-28))/((-3)/8). Suppose b*g - 4 = g. Is g less than 6?
True
Let h = -7057/9 + 785. Are h and 1 non-equal?
True
Suppose -14 + 5 = -3*f. Suppose 5*h + 8 = -f*l, -3*h - 2*h = -5*l. Which is smaller: l or -1/4?
l
Suppose q = 5*u - q + 8, 4 = -3*u + q. Suppose u*t - 5*t + 13 = 4*r, r = -4*t + 6. Let s = 1 - t. Is -1/6 greater than or equal to s?
False
Let d be 0 - (-3)/((-6)/4). Let a = 5 - 6. Let q = a + d. Is q at most as big as -3?
True
Let c = -6