5. Let j = 48.4 - 46. Let c = j + -2.2. Which is bigger: c or l?
c
Suppose -2*p = 2*a - 4, a = -5*p + 9 + 1. Suppose p*k - 3 - 25 = 0. Let b be 2*2*13/4. Which is bigger: k or b?
k
Let g = -17 + 11. Let o be (-10)/(-30) + 50/g. Is o less than -7?
True
Let t be ((-94)/(-14) + -1)/(18/(-14)). Let i = t + 218/45. Let k = -2.82 + 3. Is k less than i?
True
Suppose -w = -5*u + 14 + 4, -5*w = 3*u - 50. Is w bigger than 5?
True
Let g be (-12 - -13)/(2/8). Let f be -11*(-6)/(15 + 3). Is g greater than f?
True
Let c = -5 + 1. Let g = -3 - c. Let z be (-8*1)/(10 - 12). Which is greater: g or z?
z
Let i be (-4)/(24/16 + 102/4). Which is bigger: 0 or i?
0
Let d = 13.61 + -9.62. Let o = 4 - d. Let l = 2.6 + -2.4. Are l and o equal?
False
Let r = -2.6 - 7.4. Let w = 3.592 - 3.492. Which is smaller: r or w?
r
Let h = 2 + -1. Let v(c) = 62*c + 21. Let x be v(-5). Let q = x + 9825/34. Is q bigger than h?
False
Let d(a) = a - 45 + 0*a + 36. Let q be d(8). Is q greater than 3/56?
False
Let l be (22670/1140)/(1/(-26)). Let a = 517 + l. Is 0 < a?
False
Suppose -5*f - 111 = -41. Suppose -4*k = y - 20, -4*k = -3*y - 26 + 6. Suppose 2*r + o + k + 23 = 0, -4*o = 3*r + 47. Which is bigger: f or r?
r
Let g = -3128 + 3127. Let x be (-6640)/14*(-2)/(-5). Let c = x - -189. Which is smaller: g or c?
g
Let d(m) = m**3 - 4*m**2 + 4*m. Let k be d(3). Suppose 0*z + k = z. Which is greater: 19/5 or z?
19/5
Suppose -m - 4*m + 9 = -g, 5*m = 5*g + 5. Suppose -h + o + 6 + m = 0, -5*h - o = -10. Suppose x = h*x. Is 1/21 > x?
True
Suppose 113*w - 7381 = -29755. Is w at most as big as -199?
False
Suppose -9*o - 146 = -137. Do 33 and o have different values?
True
Suppose -4*r + 2*l = -814, -3*l + 130 = -4*r + 943. Does r = 205?
False
Let v = 2 + 0.8. Let j = 1.8 - v. Which is bigger: 4 or j?
4
Let i be 3/(366/(-365)) + -8 + 11. Let b = i + 241/366. Let r = -0.57 + 0.5. Which is greater: r or b?
b
Let c = -113 - -249/2. Let l be (-6)/(185/40 + -5) + -4. Which is greater: c or l?
l
Let u = 38.4 + -34. Let h = u + -4.4. Which is greater: h or -1/2?
h
Suppose -3*b - 13 = z - 0*z, -z - 9 = 2*b. Let w = -661/3 - -1955/9. Are b and w nonequal?
True
Suppose 4*o + 8 = 4*z - 0*z, -2*o + 3*z - 6 = 0. Suppose 0 = -4*x + 20, -5*p + 4*x - 40 = -0*x. Is o at least as big as p?
True
Let t(w) = -w**2 - 2*w + 7. Let z be t(-4). Let i be 1079/(-5) + 2 + -2. Let y = i - -215. Which is smaller: y or z?
z
Let s = 42 - 32. Let v(p) = -3*p - 1. Let x be v(s). Is x less than or equal to -32?
False
Suppose -3*w - 3*m = 0, 4*m = 4*w - w. Let l be ((-5)/(-5))/(34/26086). Let a = -767 + l. Is w bigger than a?
False
Let a = 2220 - 481738/217. Are a and 0 non-equal?
True
Let i be 9 + 14*(-4)/(-42). Is 6 not equal to i?
True
Suppose -6 = -9*b + 3. Suppose -6 = -4*l - 2*a, -4*l + a + 2*a = -b. Suppose -3*i = 6, 0 = n - 4*i - 7. Which is smaller: l or n?
n
Let g = -117 + 123.15. Let i = 43 - 42.85. Let h = i - g. Is 0.2 bigger than h?
True
Let v = 6 - 29. Let y = v + 26. Do 2 and y have the same value?
False
Suppose -4*s - 7*s - 99 = 0. Which is smaller: -10 or s?
-10
Let c(l) = -5*l + 32. Let b be c(20). Which is greater: b or -69?
b
Let f = 0.11 + -3.31. Let j = f - -4. Is -0.2 less than or equal to j?
True
Let h be (-2)/4 + 0/(-2). Let m = -0.4 + -0.6. Which is smaller: h or m?
m
Suppose 8*s - 1 = 7*s. Let p be s/6 + (-111)/450. Suppose -l + 2*l + 1 = 0. Is l smaller than p?
True
Let y(m) = 12*m - 2. Let h be y(6). Let b be 48/h - (-2)/(-5). Let n = -78.97 - -79. Is b bigger than n?
True
Let t be (-6)/14 - 104/(-14). Suppose 2*w + 11 = l, t*w = 2*w + 5*l - 35. Is w at most as big as -36/13?
True
Let n = -129 - -130. Let y = -7781/11 - -709. Which is smaller: n or y?
n
Let h(o) be the first derivative of -2*o**2 - 3*o + 7. Let t be h(1). Which is smaller: t or -5?
t
Let u = -69 - -66. Is u at least -4?
True
Suppose 68 = -4*z - 4*x, 5*z + 35 + 10 = 5*x. Let c(a) = -63*a**3 + 2*a**2 + 2*a + 1. Let m be c(-1). Let h = -76 + m. Is h equal to z?
False
Suppose 8*m = 1130 + 558. Are 210 and m non-equal?
True
Let h be (-66)/(-10) + (-6)/(-15). Let y = 21 - 31. Let m = h + y. Is -5 at most as big as m?
True
Suppose -7*w = -10*w + 6. Suppose -w*y + 1 + 1 = 0. Is y at most 2/11?
False
Suppose -6 - 532 = -4*q - 3*s, -4*q - 5*s + 542 = 0. Which is smaller: 131 or q?
131
Let v(w) be the first derivative of -w**4/4 + 14*w**3/3 - w**2/2 + 15*w + 6. Let x be v(14). Are 3/11 and x non-equal?
True
Let h = 38 - 59. Let w be -3*2/h - 240/56. Is -22/7 less than or equal to w?
False
Let p = 6 + -4. Let f = 11 - 17. Let q be (f/(-45))/(p/6). Is q at least as big as -0.3?
True
Let f = 884/2235 + 2/447. Which is smaller: 6/5 or f?
f
Let i = -22 - -23. Suppose o + i + 7 = 0. Which is smaller: o or -10?
-10
Suppose 0 = -3*b + 3*c - 504, 0 = -4*b + 3*c - 0*c - 670. Is -166 at least b?
True
Suppose 0*k = k, 2*k - 10 = -5*u. Let c = u + 0. Let t be (-8)/(4/(-4) + -6). Is t < c?
True
Let k be -18 - ((-16)/(-24))/((-1)/6). Is -24 <= k?
True
Let f = -1507687/288 + 5235. Which is smaller: f or 1?
f
Let f be (-2 - -3)/(-1)*11. Let a = -20 - f. Is a greater than -8?
False
Let h be (-2)/2*3/(3 - 0). Which is smaller: h or 1/1190?
h
Let s = -380.9447 - 0.0553. Which is bigger: s or -1/3?
-1/3
Let k = 0 - 0. Suppose -58 = 29*f - 31*f. Let l be (-14)/(-49) + f/(-14) + 2. Does k = l?
False
Let w = 105 - 104.908. Is -0.2 >= w?
False
Suppose -5*n + 770 = -5*w, -3*w - 21 = -30. Which is greater: 1095/7 or n?
n
Let k be (6/(-220))/(5/25). Let z(i) = -i**2 - 3*i + 4. Let b be z(-4). Suppose b = c + 5*n + 5, -2*n - 5 + 3 = c. Which is greater: k or c?
c
Let i(v) = -1 - 1 + 2*v - 5 - 2. Let j be i(4). Which is greater: -9 or j?
j
Let c = 517 + -519. Which is smaller: -8/5 or c?
c
Suppose 0 = 2*o - 4*o - 5*v + 42, 4*o + 5*v - 74 = 0. Suppose 44 + o = -6*w. Does w = -7?
False
Let m be ((-136)/22 - -6)*186. Is -34 less than m?
True
Let y = 277 - 142.7. Let s = y + -135. Is s >= 1/2?
False
Let s(x) be the second derivative of x**5/20 - 3*x**4/4 - x**3/6 + x**2 - 11*x. Let n be s(9). Is -9 <= n?
True
Let n be 2 - (-4)/(8/262). Is 135 at least n?
True
Let s = 164 + -162. Is 28/27 equal to s?
False
Suppose -20 = 114*b - 134. Is b equal to 3/1123?
False
Suppose -389 = 3*l + 3*z + 127, l + 172 = -5*z. Let b = l + 4813/28. Let c = 2 - 2. Which is greater: c or b?
c
Suppose -4*a + 12 = -3*k, a - 12 = 4*k - 3*a. Let h be 1/(14/6 - 2). Let z = h + -4. Is k > z?
True
Let o = -90 + 89.59. Let l = o + 23.41. Which is smaller: l or 2/7?
2/7
Let d = 353 + -360. Which is smaller: -19/3 or d?
d
Let f = -15 - -20. Suppose 3*w + 4 = 4*a - 3, 0 = f*w - 3*a + 8. Let u be (-19)/w - (-2 + 3). Is 18 at most as big as u?
True
Let p = -403/2142 - 4/153. Let l(h) = -2*h - 21. Suppose -z + 55 = -6*z. Let c be l(z). Is c greater than or equal to p?
True
Let h = -83/2 + 1913/46. Let u(i) = i + 1. Let l be u(-4). Let f be -2*l/(-6)*0. Do h and f have the same value?
False
Let v = -12/29 + 125/232. Suppose 9 = 2*k - 11. Suppose 5 = -5*a + k. Which is smaller: v or a?
v
Let l(q) = q**2 - 13*q + 62. Let f be l(7). Is f bigger than -12?
True
Let u = -513.187 + 513. Which is smaller: -1/3 or u?
-1/3
Let l be 27950/(-9933) + (-6)/63 - 4/(-2). Let h be (-1)/2 + (-2)/4. Is l smaller than h?
False
Let n(w) = -2*w - 5. Let j be n(-5). Suppose a + 2*l = 6, 0*a + j*l - 15 = 5*a. Which is smaller: -2/51 or a?
-2/51
Let r be 48/(-40)*(-10)/4. Suppose r*b + 2*b = 0. Let n(l) = l**3 + 3*l**2 - 2*l - 4. Let s be n(-3). Do s and b have the same value?
False
Let f = -0.05 + 2.85. Let y = 2.8 - f. Let g = 4 + -11/2. Do g and y have the same value?
False
Let r(a) = -a**2 - a + 1. Let w(y) = y**3 - 4*y**2 - 5*y + 7. Let t(n) = 5*r(n) - w(n). Let i be t(-2). Let s be (-27)/(-6) - (-2)/4. Is i > s?
False
Let r = -7258 + 1640305/226. Is r greater than 1?
False
Suppose -11*t - 36 = -2*t. Let o be (t - (-6)/(-1)) + -4. Is o at most -13?
True
Let j be (-5)/30*(-18)/(-8). Let k = 2.2 - -8.8. Is j greater than k?
False
Let m = -4437/4 - -1110. Is m bigger than -1.09?
True
Let u be ((-26)/4)/((-30)/20). Let t be 12/(-10)*(0 - 15). Suppose -5*p + 7 = -t. Which is bigger: u or p?
p
Let d = -540 - -648. Is 3 bigger than d?
False
Let p = 83.93303 + 0.06697. Let i be (2/6)/(3/(-9)). Which is greater: i or p?
p
Let v be 5/(825/(-76