 47. Let j be w(z). Which is bigger: j or 1/3?
1/3
Suppose -3*x + 20 - 5 = 0. Suppose -5 = s - 3*i, -4*s + 0*i + 14 = x*i. Let l = 634/7 + -90. Which is greater: s or l?
s
Let w(r) = r**3 - 5*r**2 + 4*r. Let d be w(4). Suppose 2*l - 4*m - 33 = -l, 5*l - 2*m - 41 = d. Let c(y) = -4*y. Let o be c(-1). Which is smaller: o or l?
o
Let y be (-76)/(-18) + 1 + -3. Let r(l) = -l**3 + 8*l**2 - 8*l + 10. Let g be r(7). Is y != g?
True
Let q = -929/228 - -60/19. Let r = 1/4 + q. Suppose 2*d + 39*z - 6 = 40*z, -d - 5*z = -14. Which is greater: d or r?
d
Let j(k) = -20*k - 1067. Let m be j(-55). Is 17 at least as big as m?
False
Let g(n) = -n**3 + 6*n**2 + 7*n - 1. Let w be g(7). Let s = -1/152 + -291/1976. Is w less than or equal to s?
True
Let q = 581 + -853. Is -274 > q?
False
Let p(m) = -1 - 4*m**3 - 4*m + 0*m**3 + 5*m**3 + 3*m**2 + 2. Let g be p(-4). Which is smaller: g or 1/27?
1/27
Let y = 169 - 259. Let a = 61 + y. Is a bigger than 0?
False
Let o(a) = -2*a**2 + 23*a - 56. Let u be o(8). Which is smaller: u or 1/472?
u
Let j = 0 + 4. Suppose 11*t = j*t + 7. Is 8/11 smaller than t?
True
Let j = 50 + 103. Suppose 16*f = 7*f + j. Are 17 and f non-equal?
False
Let l(s) = s**3 + 5*s**2 - 6*s - 7. Let n be l(-7). Let m = n + 25. Is -37 < m?
False
Let w = -11298/113 + 100. Let q(s) be the first derivative of -s**4/2 - 4*s**3/3 + s**2 + 3*s + 42. Let k be q(-2). Is k greater than or equal to w?
False
Let v be 54/(-45)*(1 + 4). Let o be ((-2)/(-4))/((-8)/48). Which is bigger: o or v?
o
Let u = 53 - 75. Let d = u - -22.2. Is d at least -1/6?
True
Let l be 4/12 - 136/3. Let d = l - -44. Is 4/19 less than d?
False
Suppose -5 = 5*l + 4*s - s, -4*l - 3*s - 7 = 0. Let i be 44/8 - (-1)/l. Let p(k) = k**3 - 5*k**2 - 7*k + 6. Let x be p(i). Are x and -1/11 unequal?
True
Let w(g) = g - 5. Suppose 5*a + 20 = 5*h, 0 = -5*h - 2*a + 28 - 1. Let t be w(h). Is -0.02 greater than t?
False
Suppose 3*n + 4 = 1. Let u be (-8)/(-2) - ((-82400)/(-245))/(-8). Let b = u - 46. Which is greater: n or b?
b
Suppose -g + 5*s = 3*g - 255, -2*g + 129 = -3*s. Let v be (g/45)/((-4)/(-54)). Suppose 7*r - r = -v. Is -1 at most as big as r?
False
Let j = -587 + 587.6. Are -19 and j unequal?
True
Let p = 5 - 7. Let c be p + 222/51 + -2. Is c greater than -1?
True
Let s = -25.2 + 25.205. Are -0.04 and s equal?
False
Let h(s) = -s**2 + 10*s - 4. Let l be h(6). Let t = -35 + 69. Let d = t - 15. Which is smaller: l or d?
d
Let o(q) = q**3 - 2*q**2 - 4*q. Let i be o(3). Let t = 18 + -16. Let u be 162/36*t/(-3). Is u at least as big as i?
True
Let p = -1533/8723 - -12/61. Is p < 0?
False
Let s(m) = -m**2 - 5*m - 1. Suppose 9*r + 44 = -1. Let n be s(r). Is n != -1/29?
True
Let v = 64941797/2860 - 249786/11. Let r = -21/20 - v. Let x = 0 - -0.1. Which is greater: x or r?
x
Let h = -0.5 + 1.1. Let m = 0.4 + h. Let c = -115 - -115.1. Which is bigger: c or m?
m
Let d(j) = -j - 260. Let t be d(-52). Is t less than or equal to -208?
True
Suppose 0 - 1 = 4*s + 5*u, u + 1 = 0. Let v be (15/(-45))/(s/(-3)). Which is bigger: 1/21 or v?
v
Let r = 7 + -7. Suppose -m = 4*p - 29, 20 = 5*p - 2*m - r*m. Let c = -0.3 + 1.3. Which is smaller: c or p?
c
Let h = 1/22 - -41/66. Let g = -96/5 - -844/45. Which is bigger: h or g?
h
Let u be 2/4 - 1/2. Let i = u - 0. Let o(w) = w**2 - w + 1. Let h be o(i). Which is greater: 1/2 or h?
h
Let r(v) = 5*v + 6. Let i be r(-33). Is i less than or equal to -161?
False
Let j = 46 - 18. Let a be (24/j)/(3/21). Which is smaller: 5 or a?
5
Suppose 1583 = -13*a + 1505. Which is smaller: 10 or a?
a
Let c = -15 + 12. Let t = 954/7 - 136. Which is smaller: t or c?
c
Suppose -35 = -5*y - 0*y. Suppose -3 - y = -2*d. Let k(b) = -b**3 + 5*b. Let q be k(0). Which is bigger: d or q?
d
Let z = 0.13 - 4.53. Let n = z + 2.7. Let s = 5.7 + n. Which is smaller: s or -1?
-1
Let g = 5/2 - 93/37. Are g and 0 equal?
False
Let t = -160 + 163. Suppose -t*n + 455 = 182. Which is smaller: -0.1 or n?
-0.1
Let q be 45/6*4/6. Suppose -v + q*o = 20 - 3, -5*v + 31 = 4*o. Suppose -v*m = 2*m - 5. Which is greater: m or -3?
m
Let c be 2/15 - (-42)/(-315). Which is bigger: c or -6/269?
c
Let h = 16 - 15. Let p = -446909 - -291385159/652. Let f = p + -1/326. Is h greater than f?
True
Let d = -0.058 + -19.942. Let c = 0.5 + 3.5. Let k = d - c. Do k and 1 have the same value?
False
Suppose 3*p - 10 = 5. Let h be 3/(12/p) - 1. Let t be 2/8*(-1 + 5). Is t at least as big as h?
True
Let v be 1/(-3) + 13/3. Suppose v*z = z + 9. Let r be (10/(-5))/(z*1). Is 0 <= r?
False
Let c be (-10)/(-5) - ((-180)/(-186) - -1). Is 1 at most c?
False
Let q = 187 + -89. Which is smaller: 100 or q?
q
Suppose 55*g - 80 = 15*g. Is g less than 45/14?
True
Let j = -111 + 107. Suppose -140 - 590 = 5*m. Let r be m/(-8) - 3/j. Which is bigger: r or 18?
r
Let f(p) = -p**3 + 15*p**2 + 12*p + 19. Let o be f(15). Which is smaller: 200 or o?
o
Let n be (-1)/3 + 0*(-10)/(-30). Which is greater: -393 or n?
n
Let n = 58298/19 + -3069. Let d = n - -172/57. Let l = 23 - 20. Are l and d nonequal?
True
Let o = -130 + 1425/11. Is o < -1/7?
True
Let d(l) = -l**2 + 32*l - 134. Let b be d(5). Which is bigger: 6/215 or b?
b
Suppose 0*n + 3 = -n, 2*c - 5*n + 3 = 0. Which is bigger: -150/19 or c?
-150/19
Let z = -59/18 - 2/9. Suppose -4 = -4*n, -f + 4*n - 2*n - 6 = 0. Which is smaller: f or z?
f
Suppose -10*p = -6 + 86. Let s be (-4 - 2*-1) + 12. Let j = s + p. Is j greater than or equal to 8/11?
True
Let f = -5.95 + 5.7. Let k = 4 + -4.05. Let x = k + f. Which is bigger: 0.3 or x?
0.3
Let b be 52/(-21)*(-1421)/87. Which is smaller: b or 39?
39
Let o be ((-5)/12)/(350/(-560)). Suppose 2*v - 40 = -4*m, 3*m + m + v - 38 = 0. Let b be 2/m - (-4)/(-18). Which is greater: b or o?
o
Let o(h) = 3*h + 100. Let w be o(-33). Is w > -27/7?
True
Let i = -30779/15 + 2053. Let v = i - 82/105. Let p be (-2)/6 - (-2)/(-30). Which is bigger: v or p?
v
Let x = -15.6 + 0.6. Let d = x - -17. Is 2 at least as big as d?
True
Let f = -6651.1 - -6651. Let p = -2 - -1.9. Is f at most p?
True
Let s(x) = -x - 1. Let k(l) = -l**3 + 5*l**2 - l + 2. Let b be k(5). Let v be 5*b/(3 + -6). Let o be s(v). Which is smaller: -5 or o?
o
Let l = 10/51 - 44/51. Which is smaller: l or 0.023?
l
Let m = 14669/838 + -35/2. Is m less than or equal to 1?
True
Let k be -3 - 1288/(-20) - 3/(-5). Let l = k - 63. Which is smaller: 2/17 or l?
l
Let x(m) = 4*m + 15. Let p be x(-4). Which is greater: 2/17 or p?
2/17
Suppose -20 = 20*y - 25*y. Suppose 0 = 5*i - s + 4, -y*i + 5*s - 1 = 19. Let k = 1 - 6. Is i at least k?
True
Let y be (-10)/(-12)*(-84 + 83). Which is smaller: y or 10/9?
y
Suppose -5*z - 2*z + 49 = 0. Suppose 0*b = 2*b - 16. Is b greater than z?
True
Suppose 0 = -5*b + 2*b + 219. Suppose 0 = -5*d + 5*f - 55, -f - b = 2*d + 3*d. Let r = 19 + d. Is r greater than 5?
False
Let g(j) = j**3 - 11*j**2 - 44*j + 7. Let h be g(14). Is h equal to -12?
False
Let n = -18/863 - 1346/100971. Which is greater: 0 or n?
0
Let t be 35 - 1*(0 + 1). Let f = -8043 - -8077. Is f <= t?
True
Suppose -96 = -2*n + 12. Let f be (-124)/9 + -2*6/n. Is -13 at most as big as f?
False
Let b = -90 + 95. Let l = 8/79 + 1943/316. Are b and l equal?
False
Let w = -6.15 - 0.85. Is 2/3 >= w?
True
Suppose -p + 5*h = -4, 5*p + 3*h + 8 = -0. Let t = 1225/4 - 308. Which is smaller: t or p?
t
Let v = -120 + 229. Let a = v + -115. Is a <= 0.3?
True
Let s(l) = -43*l**2 - 5*l. Let m be s(-1). Let y = 192/5 + m. Which is smaller: y or 0.1?
0.1
Let o be (-38)/(-475) - (-136635)/(-125). Which is smaller: -1094 or o?
-1094
Let q = -382 + 342. Which is bigger: q or -41?
q
Let h = 1.8 + -2. Let c = 0.2 + h. Suppose 7*k = -6*k - 104. Is c smaller than k?
False
Let u = -21 - 15.36. Let v = u - -36. Let g = v - 1.64. Which is bigger: g or -4?
g
Let y(b) = -16 - 10*b - 13 + b**2 + 23. Let t be y(12). Let h = t + -92/5. Which is bigger: h or -10/3?
h
Let y = -0.5 - -0.51. Let a = 2.01 - y. Let b = 44 - 41. Which is smaller: b or a?
a
Let q = 12.07 - 12. Let u = 150 - 88. Let w = -61.9 + u. Is q smaller than w?
True
Let r = -89.4 + 89. Which is smaller: r or 2/7?
r
Let q(z) = -z + 54. Let w be q(24). Is 27 >= w?
False
Suppose -3*n - 243 = -12*n. Let q = 22 - n. Is q greater than -4?
False
Let i(a) = -5 - 1 + a + 2 + 5. Let k be i(-1). Suppose 8*j = -t + 4*j 