 5. Let s = -14 + 18. Let f be d(s). Let i be (-9)/(-30)*(-4)/(-6). Which is smaller: i or f?
f
Suppose -y - 107 = -87. Suppose 7*k - 5*m = 8*k + 40, 3*k = 5*m - 40. Does k = y?
True
Let i be -6 - (-800)/136 - 938/(-8262). Is 0 > i?
True
Let b be -4*1*(11 + -10). Are b and -8 equal?
False
Let p = 181 - 76. Which is greater: p or 0.1?
p
Suppose 4*l + 4*o - 172 = 0, -3*l + 0*o = 4*o - 126. Let i = -30 + l. Is 16 at most as big as i?
True
Let j be 71/(-2) - (7 - (1 + 0)). Which is smaller: j or -41?
j
Let m = 1.2 + -0.86. Let s = -0.14 + m. Suppose 3*n + j + 3*j = 14, 4 = -2*n + 4*j. Which is bigger: n or s?
n
Let g(f) = 7*f + 40. Let y be g(-3). Which is greater: y or -0.9?
y
Let f(m) = m**3 + 41*m**2 - 85*m + 43. Let i be f(-43). Is i less than or equal to -1/22?
False
Suppose j + 5*i - 5 = 0, 0 = -j - 4*i - 0 + 1. Is 1 at least j?
True
Let j(m) = 3*m + 57. Let c be j(-19). Suppose -4 = -5*t - y, 12 = -c*t - 4*t + 3*y. Are -9/7 and t non-equal?
True
Let d = 4 - -1. Suppose 5*g = -d*h + 35, 4*g - 3*g - 2*h - 4 = 0. Let s(i) = -2*i**2 + i + 2. Let b be s(-1). Is g less than or equal to b?
False
Let p = 0.32 + -1.62. Let c = p + 3.3. Let r = -1 - c. Which is greater: r or 2?
2
Suppose -98*h + 106*h = 136. Is -4/7 at most as big as h?
True
Let s be 48/(-4536)*(-14)/(-9). Which is smaller: -1 or s?
-1
Let z(w) = -w**2 - w + 5. Let m be z(0). Let y = 2.23 + -2.2. Which is smaller: m or y?
y
Let q = -521 - -15107/29. Let b = -44.2 + 44. Which is smaller: b or q?
b
Let o be (-136)/32*(1 - 5*5). Let s = o - 106. Which is smaller: s or -2?
s
Let v = 482 - 613. Is v at least -4?
False
Suppose 5*v + 5*k + 139 + 46 = 0, -190 = 5*v + 4*k. Which is smaller: -47 or v?
-47
Let h = -2461 - -39355/16. Does 0.04 = h?
False
Let y(i) = i**2 + 17*i - 32. Let x be y(-19). Is x bigger than 8?
False
Let v = -12/97 + -158/291. Is v at least as big as 0.058?
False
Let h = -109 + 112. Suppose 129 - 225 = h*l. Is -31 < l?
False
Let k be ((-13)/(780/(-8)))/((-1)/3). Is k at most as big as 27?
True
Suppose 0 = 2*j - 4*v - 42, -5*j - 11 = 2*v - 56. Let q be -13*1 - (95 + -118). Is q < j?
True
Suppose 53 = -49*y + 4. Is -16/35 smaller than y?
False
Suppose 4*t + h = 85 + 14, 15 = 5*h. Let d = -446 - -422. Let x = t + d. Is 6/13 bigger than x?
True
Let g be (-69)/(-46)*284/3. Let v = g - 153. Let c be 1/2*2 - 12. Is v >= c?
True
Let v = -959/2 + 448. Let z = v - -31. Let q = 0.05 + 0.02. Is q smaller than z?
False
Let t(b) = -b**3 + 8*b**2 - 8*b + 4. Let i be t(6). Suppose 0 = -4*m - 4, -m + 3 - 44 = 4*j. Let u be i/j + (-11)/(-11). Are -1 and u non-equal?
True
Suppose 38*f = 36*f - 4*n - 6, 0 = -5*n - 10. Is f greater than or equal to 1/277?
True
Let m be 332/12 + 0/1. Let y = m - 1583/57. Let l = 261 + -260. Which is smaller: l or y?
y
Suppose 5*s + 3*l = 63, 3*s + 4*l - 42 + 2 = 0. Let d = 18 - 19. Let h be (-1)/((d + -1)/24). Is s bigger than h?
False
Let f(o) = o. Let g be f(-1). Let q = g - -1. Suppose -3*t - d + 0 + 7 = q, -3*d - 6 = 0. Which is smaller: 4 or t?
t
Suppose 138 - 34 = q. Let g be (-2)/q*20/(-3). Let k = g - -209/195. Is 1 at least k?
False
Suppose 3*c - 6*c = -54. Let f(n) = -4*n - 34. Let u(z) = -2*z - 17. Let q(m) = -4*f(m) + 7*u(m). Let s be q(0). Is c bigger than s?
True
Suppose 10*j = 5*j + 155. Suppose -6*z - j = 5. Which is smaller: z or -3?
z
Let y(p) be the third derivative of 5/6*p**3 + 0 + 0*p + 14*p**2 - 1/8*p**4 - 1/60*p**5. Let l be y(-4). Is l bigger than 4/3?
False
Suppose -3*q = -f + 25 - 7, 0 = -2*f - 4*q + 36. Let s = 370 - 369. Is s greater than or equal to f?
False
Let u = 737 + -521. Is u smaller than 217?
True
Let m = 21322/23967 + -2/2663. Suppose -1 = -g - 0*g. Which is bigger: g or m?
g
Let u = -17.1 + 18. Let o = u - -0.1. Let r = -2 - -1.73. Does o = r?
False
Suppose 2*b + 10 = -4*f, -f = -4*f + 5*b + 25. Suppose f*g - 40 = -8*g. Which is bigger: 32/5 or g?
32/5
Let f(w) = 2*w - 6. Suppose -19 = -5*o + 66. Let l = o - 13. Let i be f(l). Is 0 > i?
False
Suppose b = 3*q + 17, -b = b + q + 1. Suppose -4 = -4*o + 3*w, -4*o = -w - w - 8. Is o > b?
True
Let h(i) = i**3 - 4*i**2 - 4*i + 17. Let s = 57 + -52. Let m be h(s). Which is bigger: 24 or m?
24
Let k be -22*((-8)/(-1))/(-4). Let l be (-2 - -4)*((-315)/14)/(-1). Which is bigger: k or l?
l
Let l = -3273 + 3290. Let z = -18 + 36. Is z <= l?
False
Suppose -9 = u + 2*f, -2*u + u + 3 = -4*f. Let r be (u - -1)*15/6. Let l(a) = a**3 + 11*a**2 + 11*a + 9. Let d be l(r). Is d equal to 1/27?
False
Suppose h - 6*j + 4*j - 93 = 0, -3*j = -2*h + 182. Suppose -3*v + 63 = -3*a, -6*a - h = -a - v. Is -15 <= a?
False
Let x(i) = -10*i - 91. Let a be x(-9). Is a < 1/8?
True
Suppose -4*d + 4*w = 12, 4*d - 5*w + 1 = -7. Suppose 3*k + 15 = -0*q - 2*q, -q + k - 10 = 0. Let f be 2/(-4) + q/6. Which is smaller: f or d?
d
Let l = 21/5 - 4. Let x = 21 - 21. Suppose 4*b + x*b = 0. Is l smaller than b?
False
Let w = 5.92 + -6. Let b = 104 + -105. Is w greater than b?
True
Suppose -346 = -2*g - 350. Let u = 184 + -926/5. Which is greater: g or u?
u
Let b be (566/(-6))/((-620)/(-465)). Which is bigger: -72 or b?
b
Suppose -f + 82 - 117 = 0. Let u = 16 + f. Suppose 51 = -3*q - 3. Which is bigger: u or q?
q
Suppose -c - 6 = -4*c. Let f be 14/(-4)*(-14)/49. Let s = f + c. Is 2 greater than or equal to s?
False
Let z = -0.022 - 0.608. Which is greater: -0.1 or z?
-0.1
Let v(j) = j**2 + 74*j - 575. Let m be v(-78). Which is greater: -262 or m?
-262
Let v = 0.373 + -0.373. Which is greater: -5 or v?
v
Let z = -95.91 + 96. Which is bigger: -0.1 or z?
z
Let v = 216 + -246. Is -27 at most as big as v?
False
Let c = 15 - 15.2. Let i = 0.1 + c. Which is greater: -25 or i?
i
Let l be 4/(0 - (-1 + 3)). Let p be l*1 + 16/16. Is p at least as big as -2?
True
Let c(o) = 3*o**2 + 15*o - 6. Let d be c(-6). Let h be 6/(-3*d/8)*3. Which is greater: h or -2?
-2
Let s = 19 + -17. Let v = 30 + -18. Suppose 2*c + v = -4*f, 6*f - 4*f = -4*c + 6. Which is bigger: s or c?
c
Suppose -4 = 4*m + 3*s, -14*m = -10*m + 5*s + 4. Which is smaller: -7/213 or m?
m
Suppose -3*x + 5*x = 4. Suppose x*d + c + 7 = -18, -d - 7 = -5*c. Which is smaller: -23/2 or d?
d
Let b = -41 - -73. Let i be (61 - 1)/2 + 2. Is b >= i?
True
Let u(p) = -p**3 + 29*p**2 - 27*p - 28. Let i be u(28). Which is bigger: i or 3/59?
3/59
Let c be (-3)/(0 - -1) - -12. Suppose 5*x + 0*h - h = c, x = 2*h. Suppose 4*r = 2*r - x. Is -9/5 <= r?
True
Let w(y) = 3*y**3 - 10 - 6*y**3 + 4*y**3 + 0*y**3 - 10*y**2 + 10*y. Let c be w(9). Let h be c + 27/(-3 - 0). Is -9 smaller than h?
False
Let x = 912 - 749. Is 162 greater than x?
False
Suppose 270 = 7*z + 3*z. Suppose 0 = -4*c + 149 + z. Is 45 < c?
False
Let d = 2/77 - 83/231. Let k = 191/60 - 43/12. Which is smaller: k or d?
k
Suppose -56*u + 58*u + 2*x + 288 = 0, -5*x + 15 = 0. Which is smaller: u or -145?
u
Suppose -t - 3 = 2*s - 5*s, 0 = t. Let a be -1 + (-7)/s + 3. Is -22/5 less than a?
False
Suppose 14*z = 6*z + 184. Is z bigger than 119/5?
False
Let l be ((-1)/(-22))/(6/(13 + 5)). Let z be 3 - (0 + 3)*3. Let b = 5 + z. Are b and l equal?
False
Suppose -3*c + 27*x = 24*x - 3, 3*c + 3*x + 9 = 0. Which is greater: -4/369 or c?
-4/369
Let v = 5.17 + -5.087. Is v less than or equal to -1/2?
False
Let j(u) = 2*u**2 + 15*u + 17. Let w be j(-6). Suppose 5*d + 107 = -n, -4*n - 4 = -2*n. Let i be (3 - 1)/(6/d). Which is bigger: i or w?
w
Let p(n) = 2*n**2 + 5*n - 13. Let s be p(-7). Let o = 33 - s. Which is smaller: o or -16?
o
Let c(v) = -v**3 - 12*v**2 - 10*v + 13. Let h be c(-11). Let m = -6 + 9. Suppose m*i - 6 - 3 = 0. Which is greater: i or h?
i
Let g = -1181/12 - -92795/948. Which is greater: -1 or g?
g
Let y(m) = m**3 + 3*m**2 + 2. Let q be 4*(-12)/(-32)*-2. Let s be y(q). Suppose b - 5 = -s. Which is smaller: b or 5?
b
Let m = 131.3 - 137. Let o = 5.5 + m. Is o at most -12?
False
Let m(y) = -y + 3. Let f be m(0). Let o be f + 4/(-4) + -2. Let a be 3*(2 + 8/(-3)). Which is greater: a or o?
o
Let n be (6 - 156/20)*(-5)/62. Is -1 <= n?
True
Let b = -73/123004 + -1272998417/1230040. Let a be 15/((14/(-56))/(138/8)). Let m = b - a. Which is smaller: 1 or m?
m
Let q = -1.5 - -14.5. Let v = 17 - q. Let s = 5 - v. Is -0.13 bigger than s?
False
Let l = -1.4 - -4.8. Let h = 6145 - 6146. Which is bigger: l or h?
l
Suppose 0 = -2*a + 30 + 6