5. Suppose 0*l - 2*l + 36 = -4*y, -42 = 2*y + h*l. Which is smaller: -12 or y?
-12
Suppose -4*y + 7 = -73. Is 21 bigger than y?
True
Suppose -29*l + 34*l - 90 = 0. Is 19 bigger than l?
True
Suppose 3*q + 4*o = 14, -3*q + 0 + 10 = 2*o. Suppose 0 = -4*b + q - 10. Is b not equal to -5?
True
Suppose 3*m - 2*f + 2 = 0, 2*f - 8 = 4*m - 2*f. Let q(y) = -2*y**m + 1 - y + 2*y**2 + y**2. Let r be q(2). Which is greater: r or 2?
r
Let p be -4 + 0 + 21/5. Let d = 8 + -25/3. Which is greater: p or d?
p
Suppose 2*c + 5*f = 14, 0 = -f - 0 + 2. Suppose 0 = -4*g + c*g. Which is greater: -2/13 or g?
g
Let g = 0.089 + -0.069. Which is smaller: -6/11 or g?
-6/11
Let h be 2/3 + 22370/114. Let c = -476 - -673. Let q = h - c. Which is smaller: -1 or q?
-1
Let d be (-2)/8 - (-3)/12. Suppose n = 0, -3*g - 2*n + 6 + d = 0. Is g at least as big as 2?
True
Let i = 201 - 199. Let k = -38/13 - -179/39. Which is greater: i or k?
i
Let d be (-15)/130*(-32)/54. Let t = d - -1598/585. Let g = t - 108/35. Which is greater: g or 0?
0
Let q = 380 - 22419/59. Do q and 1 have different values?
True
Let y = 0.16 + -0.27. Let r = -2.11 - y. Is r at most as big as 2/5?
True
Let o = 0 - -1. Let y = 7.6 + -10. Let s = 0.4 + y. Which is smaller: s or o?
s
Let h(m) be the second derivative of -m**4/12 - 3*m**3/2 - 7*m**2/2 - 2*m. Let l be h(-8). Let x be (2 - l) + -3 + -3. Are -6 and x nonequal?
True
Suppose -5*u = r - 25, -r - r = -4*u + 34. Let h(c) = -5 - 1 + c - 2. Let f be h(u). Which is greater: -3 or f?
f
Let l be 50/8 - 1/4. Let q(z) = -4*z + 3*z + 10 + 3 - 3. Let j be q(5). Which is smaller: l or j?
j
Suppose 0 = -13*y + 8*y. Which is bigger: 3/4 or y?
3/4
Suppose 3 = 2*y + y. Suppose 4 = -s + y. Let m = 139 + -141. Which is greater: s or m?
m
Let l = -0.027 + -0.143. Which is greater: l or -2/5?
l
Let d = -28 - -38. Is d at most 10?
True
Let a be 0 + 1 - (-2)/(-1). Let c be a/(1 + (-3)/6). Let z = -3 - 0. Do z and c have different values?
True
Let m = -118/5 + 394/15. Let w(f) = -f**3 + f**2 - f + 1. Let q be w(1). Suppose 4*n + 7 - 23 = q. Is n >= m?
True
Suppose -u = 2*u - 45. Suppose -u = -h - 2*h. Suppose -6*f + f = -h. Which is greater: f or -1/3?
f
Suppose 0 = 5*r - b - 2, 0*r + 3*b = r + 8. Which is bigger: r or -1/10?
r
Let w = -0.55 + -2.45. Let u = -1.7 + 2.8. Let v = u + -1. Is v at least as big as w?
True
Let d = -5 - -3. Let y = -1.5 + 0.3. Let a = 1 + y. Is a at least as big as d?
True
Let v = -34 - -18. Which is greater: -15 or v?
-15
Suppose 0 = -22*z + 13*z - 360. Let i be (3 + 1)*(-3)/(-2). Let h be (12/z)/(i/5). Is h <= 1?
True
Let h = -25 + 73/3. Let t(f) = f + 3. Let a be t(-5). Is a at most h?
True
Let l = 21.94 - 22. Which is greater: l or 3?
3
Let p = 7/23 + 2/69. Let x = -10 + 12. Let c = 0 - x. Is c greater than or equal to p?
False
Suppose -h - 11 = 2*h + 2*z, 3*h + 3*z = -15. Let t(w) = 3*w - 4. Let m be t(4). Suppose -m = -5*v + 2*y, 2*y + 6 = 4*v - 2. Which is greater: h or v?
v
Let h = -1.33 + -1.67. Which is smaller: h or -4?
-4
Suppose 0*y + y - 3*j = -13, 15 = y + 4*j. Is 1/18 less than y?
False
Suppose -t - 2*y - 8 = 0, y = 3*t + 25 + 6. Suppose 2*g + 5 = -17. Is t not equal to g?
True
Let j(q) be the first derivative of q**2/2 - q - 3. Let y be j(5). Suppose 12 = 2*d + y*p, d + 5*p - 17 = -2. Which is greater: d or -1?
d
Let y(t) = t**2 - 2*t + 1. Let n be y(0). Let l be 5/3 - (-4)/(-6). Let x be 1*2*l/(-2). Are n and x non-equal?
True
Let i be (10/(-50))/((-2)/4). Let a be (-2)/4*(3 + -1). Which is bigger: i or a?
i
Let n = 21 + -12. Let x = 4 - n. Which is bigger: -1/2 or x?
-1/2
Let x(u) = -u + 8. Let z be x(-9). Is z greater than 18?
False
Let q(p) = -p**3 + 9*p**2 + p - 8. Suppose -3*c + 1 = -26. Let k be q(c). Let d be -1 + (-2)/((-2)/3). Is k >= d?
False
Let z = -3 + 5. Suppose -1 = z*p - 11. Suppose 4*y - 3*s = -s, p*s = y. Is -2/9 greater than y?
False
Let a = -0.4 + 0.3. Let i = -0.9 - -2.8. Let j = i + -2. Are j and a nonequal?
False
Suppose 0 = 5*j + 4*x - 60, -2*j - 2*j - 3*x + 48 = 0. Let o = 134/11 - j. Which is smaller: o or 0?
0
Suppose 5*l - 39 = -4. Is l greater than or equal to 9?
False
Let v = -107/4 + 27. Is 1/3 greater than v?
True
Let x = 19.99 - -0.01. Let a = 19 - x. Which is smaller: a or -3/2?
-3/2
Let s(n) = -n**3 + 5*n**2 + 6*n + 4. Let h be s(6). Suppose 5*i - i = 12. Is h less than or equal to i?
False
Let y(t) = 5*t + 3. Let z be y(-2). Suppose -4*x + l - 28 = 0, 0 = -5*x + l + 2 - 38. Which is smaller: z or x?
x
Let q = 31 - 22. Let j = q - 25. Which is smaller: -0.1 or j?
j
Let j = -18 - -18.2. Is 0.1 >= j?
False
Suppose -f + 2 + 5 = 0. Let x = f - 4. Suppose -x*d = d - 4. Which is smaller: 2/9 or d?
2/9
Suppose 4*a + 16 = 0, 4*n = -0*n + 2*a + 16. Suppose 5*u - 2*o = -6, 2*o + 1 = -n*u + 7. Is 0 smaller than u?
False
Let d(w) = w**2 + 9*w - 19. Let h be d(-11). Let f(i) = i**3 - 4*i**2 - 3*i - 6. Let u be f(5). Let x(c) = -c**2 + 5*c - 3. Let k be x(u). Is h >= k?
True
Let q be (-1 + 0)*1 + 15. Let o = 18 - q. Which is bigger: 7 or o?
7
Let d = 8.7 + -8. Let l = 0 + 0.3. Let o = d + l. Which is smaller: o or 0.1?
0.1
Let i be 1 - (1 - 0)/(-1). Suppose -22 = -4*u + 3*h, 4*u - 18 = 3*h - i*h. Suppose -2*v = 2*v + u. Which is smaller: -2/7 or v?
v
Let m(q) = q**2 + 4*q + 3. Suppose 2*s + 14 = -4*v, -3*s + s = 5*v + 18. Let z be m(v). Suppose -z*a - 4*o = -3*o, -4*a = -4*o. Is a > 4/9?
False
Let u = -146 + 159. Which is smaller: u or -2?
-2
Let h = 5 + -4. Let l be 2/(((-2)/1)/h). Is l at least as big as 1/4?
False
Let c = 46/133 - 12/19. Is 1 greater than or equal to c?
True
Suppose -16 = -3*u + 7*u. Is u greater than or equal to -4?
True
Let u(o) = 2*o + 1. Let d be u(-2). Let x = 5 + d. Which is smaller: x or 2/3?
2/3
Let c = -0.49 + 0.92. Let z = c + 0.07. Which is smaller: 0.2 or z?
0.2
Let f = -936 - -895.1. Let a = f + 46. Let p = a - 5. Which is smaller: p or 5?
p
Let y = -14 + 11.7. Let t = -0.3 - y. Let c = -1.9 + t. Is c equal to 0.1?
True
Suppose -2*v = 3*v. Let l be (10/(-50))/(2/12). Is v >= l?
True
Let n = -7 - -18. Let u = 3 - -2. Suppose c = u*z - 2*z - 9, -n = -4*z + c. Does z = -1?
False
Let z be (0 - (-3)/6)*-1*12. Which is bigger: -22/3 or z?
z
Let g be (2/6)/(36/(-27)). Which is smaller: g or -6?
-6
Suppose 2*w + 27 = 5*o, 11 = 3*o + w + 3*w. Let m be (0 + 12)*(-1)/(-2). Which is bigger: m or o?
m
Let a be 0 + ((-10)/(-2) - -1). Suppose a*q = q + 10. Suppose -q*y = -5*y - 6. Which is bigger: y or -1?
-1
Let s = -8 - -8. Which is bigger: s or 4/11?
4/11
Suppose 3*b - 15 = 0, -12 - 28 = -5*j - 5*b. Which is greater: j or -9?
j
Suppose r = -2*r. Suppose r = -o - 0 - 3. Which is smaller: o or -2?
o
Let m(p) = p**2 + 4*p - 6. Let f be (-2 + 7)*6/(-5). Let t be m(f). Suppose z - t*z - 5 = 0. Is -2 bigger than z?
False
Let c(y) = y**3 - 4*y**2 - 6*y + 3. Let f be c(5). Let x(m) be the second derivative of -m**3/6 + m**2/2 + m. Let b be x(4). Are f and b non-equal?
True
Let z be (2 + 1)*(-5)/(-5). Suppose -z*h - 2 = 16. Which is greater: h or -0.1?
-0.1
Let q(f) = -f + 13. Suppose 3*u - 8 - 16 = 0. Let k be q(u). Are 3 and k equal?
False
Let s(y) = y + 2. Let k be s(-1). Is k < 8/5?
True
Let j(x) = x**2 - 5*x - 4. Let d be j(6). Let v(k) = 5*k**2 + 1. Let t be v(-1). Which is bigger: d or t?
t
Let o = -28 - -21. Is o bigger than -5?
False
Let c = 85.9 - 86. Which is bigger: -54 or c?
c
Let q = 3769/1305 + -96/29. Let k = q - -2/9. Which is bigger: 1 or k?
1
Let f = -8/9 + 10/9. Let o(v) = v**3 + 6*v**2 - 4. Let w be o(-6). Is f at most as big as w?
False
Let o(n) = -2*n**2 + n + 2. Let k be o(2). Let i = k - -4. Suppose 0 = -u + 2*u - 5*j + 21, -2*u - 3*j = -10. Does u = i?
False
Suppose -2*v + 16 = 2*v, 2*g = 2*v - 8. Which is smaller: g or -1/2?
-1/2
Suppose 7 = 5*r - 13. Suppose 0 = -0*q + 4*q + r. Let u be (-66)/60 - 1/(-2). Is u at least q?
True
Suppose 2*u + 5*o + 12 = 4*u, -30 = -5*u + 3*o. Which is greater: -2 or u?
u
Let z = -2.2 - -1.84. Let s = -0.06 - z. Let y = s - 0.4. Which is bigger: y or 1?
1
Let r be 10/(-50) + (-22)/(-35). Which is bigger: -1 or r?
r
Suppose 6*b - 2*b = 0. Let m be (-2 + 1)/((-7)/(-4)). Are b and m unequal?
True
Let t be (-2 - 1)*-3 + 0. Suppose 2*l = o - t, 3*o + 3 = 2*l - 2*o. Let x be l/(-2)*8/(-36). Is 0 greater than x?
True
Let h be 27/21 + 6/(-21). Let