- 5. Let q be d(-4). Let h be 1 + (-2)/q + -2. Is 1/9 >= h?
True
Suppose 0 = 2*m + 10*m - 84. Let r = 17 + -10. Suppose 0 = m*v + r. Which is bigger: -14/3 or v?
v
Let k(q) = -q**2 - 8*q - 7. Suppose o = -2, -2*a + 4*o = a + 1. Let w be k(a). Suppose 4*y - 4 + w = 0. Is y smaller than 1?
True
Suppose -3*u - a - 1 = 0, 7 = -4*a - 9. Which is smaller: 5/44 or u?
5/44
Let z = -2523 + 2524. Is z less than or equal to -1/1073?
False
Let x be -7*((-16)/(-42) - (-8)/(-12)). Which is bigger: x or 169?
169
Let k be (-9676600)/(-2548)*1182/12. Let f = k - 374076. Let b = 3/49 + f. Is b at most 2/3?
True
Let f be (-4)/6*(-6 - 0). Let m be 9/6 - f/2. Suppose 0 = -5*k + 3*b - 4*b - 16, -5*b + 28 = -2*k. Which is bigger: m or k?
m
Let b = -31.9 - -32. Which is smaller: -1/6 or b?
-1/6
Suppose g + 0*x - 1 = -x, 2*g = 5*x + 30. Suppose 13 = -2*u + g*f, -47 = 3*u - 0*u - 2*f. Is u != -18?
True
Let f be (1 - 1)/((-3)/3). Suppose 0 = -2*s - 3*s, 4*b - 3*s - 8 = f. Which is smaller: 0 or b?
0
Suppose -2*o = -4*m + 5 + 5, m + 5*o - 19 = 0. Let t be 2/(-6)*m*456/(-16). Which is smaller: 39 or t?
t
Let l(i) = i**3 - 10*i**2 - 12*i + 2. Let k be l(11). Let v be (3/k)/((-15)/18). Suppose -2*w - 5*q - 8 = 0, 4*w - 1 = w - q. Which is greater: v or w?
w
Let o(d) = d**2 + 3*d + 3. Let v be o(-3). Let i = 0 + v. Suppose i*b - 6 + 47 = 2*f, -14 = -f - 5*b. Which is greater: 0.1 or f?
f
Let k = -445 - -427.2. Are 0 and k non-equal?
True
Let i be 6 + 3*255/(-125). Is 1 >= i?
True
Suppose 0 = -7*s + 11*s. Let r be (s - -1)*(-1 - -10). Does r = 9?
True
Let n be (-25)/(-20)*(-4)/((-64)/(-20)). Is -1 greater than or equal to n?
True
Let v be 10/2 - 230/40. Is v <= -2/7?
True
Let v = 1613/3609 - 1/401. Suppose 0 = 3*j - 26 - 58. Let d = j + -27. Which is smaller: d or v?
v
Let v(f) = 3*f**2 - 7*f - 1. Let j be v(3). Let b be (18 + -18)/(j + -1). Which is bigger: b or -1/11?
b
Let i = -205 + 204. Is i less than or equal to -345?
False
Let i = -2.2 - -0.2. Let q = i - 7.15. Let u = -0.15 - q. Is -1 > u?
False
Let x = 223/5 + -45. Let z = -1 + -2. Let h = 4 + z. Which is smaller: h or x?
x
Let j = -87 + 89. Suppose 3*v - 4*d = -23, -4*v - 43 = v - j*d. Is v >= -9?
True
Let v = -1802/9 - -200. Let m be ((-2)/5)/((-1)/10). Suppose -5 = -4*a + f, a - f - 25 = m*f. Is a greater than v?
True
Let h be ((-9)/6)/((-2)/4). Suppose 2*f - 59 = 5*c, -3*f - 39 = h*c + 9. Is c <= -11?
True
Suppose -2*p - 63 = -3*m + 45, p + 139 = 4*m. Is 36 at most as big as m?
False
Let w = -2.9 - -3. Let q = -4.2 - -0.2. Let u = q - -2. Is u at least as big as w?
False
Let m be 5/2*6/(-3). Let y(n) = -2*n**3 - 7*n**2 + 16. Let g be y(m). Is g at most as big as 91?
True
Let u(d) = -2*d - 18. Let v be u(-12). Suppose -v*w + 4*w = 0. Let x be (w - 1)/((-8)/(-16)). Is -2 smaller than x?
False
Let i = -1081.05 + 1081. Are i and -99 equal?
False
Let s = 0.2493 + 0.0507. Which is greater: -135 or s?
s
Let o(u) = u**2 - 4*u + 2. Let l(d) = d**2 - d. Let n(i) = -6*l(i) + o(i). Let m be n(-1). Is m equal to -5?
True
Let n = -0.078 + -8.922. Which is smaller: 1/4 or n?
n
Suppose 4*t + 24 = 2*t. Let m = -711 + 699. Is m less than or equal to t?
True
Let f = -1737 - -1937. Is 203 not equal to f?
True
Let d(i) = 7 + 2*i + 2*i - 3*i. Let h be d(-5). Suppose -h*p = 3*p. Are 2/9 and p non-equal?
True
Let t be 34/6 + -7 + 74/48. Which is bigger: 1 or t?
1
Suppose 10*d = 31*d + 294. Is -10 greater than d?
True
Let h = 38 + -35. Let l be (h/42)/((-2)/24). Which is greater: 0 or l?
0
Let g(r) = -r**3 - 6*r**2 - 3*r + 4. Let p be g(-5). Let z = -10 - p. Let u be 5/(-5) + 4 + -6 + 0. Which is smaller: u or z?
z
Suppose 823*x + 24 = 835*x. Suppose 86 = 5*l - 69. Suppose -4*j = -9 - l. Which is smaller: x or j?
x
Let c be -1 - (2 - -2)*(-18)/12. Which is bigger: c or 2?
c
Suppose 2*v + 4 = 6, i = 3*v - 5. Let d be (-18)/10*i/12. Let o = -1117 + 1117.1. Is d at most as big as o?
False
Let a = -50.43 - -3.43. Are a and 0.05 equal?
False
Suppose 0 = -74*u + 7290 + 3588. Which is smaller: u or -1/9?
-1/9
Let w be 8/(-6)*(22 - 19). Let g be (1 - 1)*(-4)/w. Is 1 greater than g?
True
Let a = 14/47 - 303/1175. Let v = 104 + -103.9. Is a <= v?
True
Let c be (-3)/(78/4) - 1998/26. Is -77 smaller than c?
False
Suppose -4*x = 3*y - 608, 0*x - x + y = -159. Is 155 less than or equal to x?
True
Let n be (-15)/(-12) - (-1)/(-4). Let j = 19 + -24. Let q be j/(-2)*4/6. Is q less than or equal to n?
False
Suppose -2*s + 5*v + 13 = -0*s, -3*s - 5*v - 18 = 0. Let y be (s + 3)/(3/6). Suppose 0 = -3*z + y*i - 56, 0 = -5*z + 4*z + 2*i - 18. Which is greater: z or -19?
-19
Suppose -141*u = -136*u - 150. Suppose -3*w + 4*r = 6 - 79, w + r - 36 = 0. Is u <= w?
True
Suppose -11 = 13*x - 24. Which is greater: 1/338 or x?
x
Let d = -12 - -15. Suppose -3*u + 2*s = -s - 48, d*s = u - 6. Which is bigger: 43/2 or u?
43/2
Let l = 576 + -847. Which is smaller: l or -267?
l
Suppose 0 = q - 3, r - 7 = 6*r - 4*q. Which is greater: -1/1287 or r?
r
Let k = 318071/212 - 5995/4. Is k at most 1?
False
Suppose -10*v = 5*s - 6*v - 843, 3*s - v - 499 = 0. Is s > 168?
False
Let a = -902 - -901. Is a greater than or equal to -2/1817?
False
Let r(u) = 4*u**2 + 19*u - 81. Let p be r(5). Is 117 greater than p?
True
Let d = -8.23 - -0.23. Which is smaller: d or -9?
-9
Let j be (-34)/85 - (-1 + 1). Let n be (-3)/(-9)*-1 + 22/(-6). Which is bigger: n or j?
j
Suppose 0 = -113*h - 44320 - 85517. Is h less than -1147?
True
Let j = -30 - -64. Which is greater: 39 or j?
39
Let i = -20 + 32. Let d = -13 + 13. Suppose d = -4*r - 5*q + 10, -r - r = 5*q - 10. Which is bigger: r or i?
i
Suppose -8*g = -3*g - 440. Let t be -2 + g/43 - 0. Which is smaller: t or 1?
t
Let x = -19.967 - -0.067. Let f = x + 3.9. Let c = -18 - f. Which is greater: c or 3?
3
Let j(i) = 5*i - 64. Let n be j(9). Is n > 9?
False
Suppose -6*u - 81*u + 10527 = 0. Is u smaller than 113?
False
Let q be (-1)/(15/(-1269)) - (-8)/20. Suppose -2*c = -u + q, -5*u - 134 = -0*c + 3*c. Which is smaller: c or -42?
c
Let y be 2 - ((-324)/16)/9. Let h = y + -9/2. Are 0 and h equal?
False
Let s(h) be the first derivative of -h**2/2 + 6*h + 4. Let c be s(4). Which is smaller: 18/7 or c?
c
Suppose 27*s - 1060 = 7*s. Is s <= 51?
False
Suppose 25 = -w - 4*w, 0 = 2*v - 5*w - 183. Let f = -89 + v. Does f = -10?
True
Let a be 0/(-1 - 3*-1). Let v = 728 + -197290/271. Is a < v?
False
Let c(h) = h**2 - h + 0*h**3 - 10 + h**3 - 4*h**2 + 2*h**2. Suppose -2*w + 8 = z, -4*z - 1 = -2*w + 7. Let s be c(z). Which is bigger: s or 1?
1
Let o = -0.43 - 8.27. Is -2 != o?
True
Let o = -3.64 + 40.03. Let l = -0.61 - o. Let c = l - -19. Is 2/3 less than c?
False
Let g be (8 + -11)/(2/10). Let l = -19 - g. Let d be -13 + (-3 - l) + 1. Which is greater: 0 or d?
0
Let r = -2 + 2. Let i = r - 0. Let c be ((-9)/(-1548))/(-5 - -6 - 3/4). Is i > c?
False
Let d = 53461/66 + -810. Let l = d - -5/33. Which is smaller: 1 or l?
l
Let p(o) = -43*o**2 + 2*o + 14. Let k be p(3). Which is bigger: k or 1?
1
Suppose 0 = -3*w - k + 20, 4*w - 3*k = -8*k + 34. Suppose 0 = 5*n + u + 195, -3*n = -w*n - 3*u - 105. Let c = n - -32. Is c less than -8?
False
Suppose -h - 5*m - 13 = h, 5*h - 11 = 2*m. Let o = -83/3 + 28. Which is smaller: o or h?
o
Let l = -7617/10 + 770. Are 2 and l non-equal?
True
Suppose -56*d - 10 = -58*d. Suppose -177 = 3*b + 3*w, -3*w = -0*b - d*b - 287. Which is bigger: b or -57?
-57
Let m = 5 + -3. Let c = 105.2 - 118. Let l = c + 13. Which is greater: m or l?
m
Let o = 3 - 6. Suppose -9 = d - z, 5*d + 16 + 8 = -2*z. Is d > o?
False
Suppose 4*w = 10*w - 96. Let n be (-58)/w + (5 + -6 - -5). Let p = 0 + 0. Which is bigger: p or n?
n
Let h = 0.0278 + 75.9722. Which is bigger: h or 0.2?
h
Let v = -13 + 19. Let n(m) = -m**3 + m + 1. Let i be n(2). Let c be ((-5)/i)/(14/4). Is v at least as big as c?
True
Let b be (-127)/3 - 250/25. Which is bigger: b or -52?
-52
Let w = -27 + 37. Suppose 7*x - w = -31. Let o = x - 11. Which is smaller: -12 or o?
o
Let v be ((-1)/2*1)/(43/86). Which is greater: -4/511 or v?
-4/511
Suppose -2*t - 4*u + 12 = 0, 0 = t - 4*t + 3*u. Suppose 0 = t*l + 2*j - 7*j - 25, -5*l = -3*j - 15. Suppose 0*c - 3*c = l. Which is bigger: -2 or c?
c
Suppose 6*k - 227 = 169. Suppose 3*p + 3*v = -0*v - k, 0 = -2*p + 5*v - 44. Is -21 at least as big as p?
T