 22. Let z be v/2*(-9)/(-54)*78. Suppose 20 = -3*s + b, 0*s + 2*b = -s - 2. Which is smaller: z or s?
z
Let u be 48/84 - 158/7. Let s = 24 + u. Let o(f) = 7*f - 110. Let g be o(16). Are g and s equal?
True
Let g be (-23 + 4 + 0)*(25 - 24). Is g at least as big as -428/23?
False
Let y = -3567997/289 - -12346. Do -1 and y have different values?
True
Suppose 99 - 463 = 28*h. Let w = 12 + -20. Is w less than h?
False
Suppose 0 = 2*c - 7 - 51. Suppose -c = -5*i - 124. Which is smaller: i or 4/5?
i
Let r(f) = 4*f**3 - 87*f**2 - 16*f - 118. Let q be r(22). Do -1.8 and q have the same value?
False
Suppose 0 = -4*v - 41 - 35. Let s(x) = 3*x**2 - 76*x + 141. Let k be s(23). Let t = v - k. Which is greater: -8.2 or t?
t
Let l be (9 - 584/64) + (-372680)/(-64). Which is smaller: 5824 or l?
l
Let l = -109 - -98. Let x be (-1)/(-2)*(-1 - l). Suppose 3*a - 2*a - x*t + 6 = 0, -4*a - 9 = -5*t. Is a bigger than -8/15?
False
Suppose 3*d - 5*f = 0, -4*f = -f. Let k(y) = 2*y**2 + 8*y + 7. Let z be k(-3). Let i be (-2 - 35/18) + z + 3. Which is bigger: d or i?
i
Let i = -797 - -4187. Is 3389 bigger than i?
False
Let s be (20 - (63 - 33)) + (43 - -1). Which is smaller: s or -77?
-77
Suppose -4*r + 16 = -2*t, -2*r + 4 = -4*r - 5*t. Let b be r*((-52)/(-15) + -8 + 4). Which is smaller: b or 1/14?
b
Suppose -2*j + 14 = -3*j. Let w(f) = f**3 - 21*f**2 - 102*f + 36. Let g be w(25). Is j greater than g?
False
Let c = 104 - 103.777. Let k = c + -0.003. Let o = 2.9 + -3. Is o equal to k?
False
Let s(u) = -2*u**3 + u**2 + u. Let l be s(-1). Let k be (-11 - 8/(6240/(-7395))) + 3/(-13). Which is smaller: k or l?
k
Let h = 55 + -53. Let m be (2 + -2 + 4)*(-21)/h. Let y = m + 46. Is y > 2?
True
Let z = 203 - 473. Let v = -270.1 - z. Is -0.012 bigger than v?
True
Let k be 12684/(-40) - ((-1)/10 + 0/8). Is -313 > k?
True
Let a be 7/7 + (-141801)/141834. Do a and 1 have different values?
True
Let v = 5821 + -4573. Which is bigger: -0.2 or v?
v
Let m be (15/9 + -1)*-3. Let l(v) = -2*v**2 - 13*v + 3. Let k be l(-6). Let g = -7 + k. Which is bigger: g or m?
g
Let z be 1 - ((-26)/(-169) - 226634/455). Let a = z - 499. Let l = -109 - -108. Which is greater: a or l?
a
Let m(g) = -23*g**3 - g**2 - 3*g - 5. Let c be m(-2). Let r = 687 - 507. Which is bigger: r or c?
c
Suppose 2 = -4*v + 5*v. Let m be v*(-5 + 6 - (54 - 2)). Let r = m + 101. Which is smaller: r or -3?
-3
Suppose -27*g + 26*g = -3. Suppose 68 = -j + 3*t, 0*j = g*j - 3*t + 210. Which is greater: j or -72?
j
Let v be (-656)/(-1740) + -1 + 6/10. Suppose 55*u - 16 = 53*u. Suppose -u = 3*m - 5. Which is smaller: m or v?
m
Suppose -l - 69 = -9. Let h be l/210 - (-12)/(-7). Let d be (-3*12/45)/(h/10). Is 17 <= d?
False
Suppose -12194 = 24*r - 11*r. Let d be (-936)/r - ((-2)/2)/(-1). Which is smaller: 1 or d?
d
Suppose -50 = -4*x - 4*z + 90, -105 = -3*x - z. Let i = 546 + -302. Let m = -209 + i. Is x at least m?
True
Let w(g) = 1. Let a(t) = 33*t + 18. Let k(d) = 2*a(d) - 42*w(d). Let z be k(2). Let j be (z/30 - -5) + (-1)/5. Is j <= 7?
False
Let m = -9.5 + 4.8. Let w = 11260 + -11259.9. Is w at most as big as m?
False
Let i = 1.9 - 3.07. Let n = 14.83 - i. Does n = -0.04?
False
Let s be (-6)/(33/(-6) - -1). Let b(u) = -10*u - u - 4*u + 28 + 12*u. Let l be b(9). Which is bigger: s or l?
s
Let p be -2 - (-3)/((-9)/(-15)). Suppose -2*x - 3*x - 2 = p*n, 0 = 5*n - x + 50. Let h be ((-6)/16)/(n/(-4)). Is 2 > h?
True
Let x be (112/1956)/((-7940)/(-420) - 19). Do -1 and x have the same value?
False
Suppose 4*y - 2*y = -6. Let b = 65351 + -65394. Which is bigger: b or y?
y
Let d be (-168028)/4097 + 21 + 20. Which is bigger: 1/2 or d?
1/2
Let i = 1771 - 1748. Suppose -2*r + 5*g + 34 = 10, 48 = 2*r + g. Let v = i - r. Which is smaller: 2/15 or v?
2/15
Let m be -2 - 0 - (-493)/17. Let p(s) = 18 + 8*s**2 + s**2 - m*s - 7*s**2 - s**2. Let b be p(26). Is b less than -28/3?
False
Suppose 12*i - 16*i - 6 = 3*g, -12 = -2*i - 4*g. Which is bigger: i or -173?
i
Let v = -222 + 329. Let f = -1998 - -2106. Which is greater: f or v?
f
Let v = -94 + 140. Suppose -3*i = 5*a + 117, i = -2*a - 0*i - v. Let n = 4564 + -4586. Which is bigger: n or a?
a
Suppose 0 = 5*z - 15. Let t be (z/(-14))/(34/(-4)). Let v be 14 + 414/(-23) + 2*(-5)/20*-6. Is t at least v?
True
Let r be 27161/(-33) - 130/(-2145). Is r at least as big as -825?
True
Let k = 18872 - 19610. Is 21 at least k?
True
Let f(k) = k**3 - 6*k**2 + 3*k - 13. Let s be f(6). Suppose -3*a + 3*x + 5 - 2 = 0, 0 = 4*a - s*x - 4. Is a less than -5/19?
False
Let f = -0.11 - -0.11. Let n = 0 - f. Let a be -4 + (80/14 - 2). Which is bigger: n or a?
n
Let t be (16/192)/(5/(-105045)). Which is smaller: t or -1750?
t
Let a = -33695 - -24695. Is a >= -9001?
True
Let q be (-1)/5*(30 - 25). Let k be (q + 1)*(-2 + 12/8). Is k smaller than -1?
False
Suppose 3*k - 33001 = 5*x, 5*x = -31*k + 20003 + 321234. Is 11005 equal to k?
False
Let l be (-20)/(-1) + (-45)/9. Let v be (l + -3 - 0)*3/(-12). Let g = 0.6 - 13.6. Is g at most as big as v?
True
Let o = 1010 - 1010. Which is greater: 3/334 or o?
3/334
Let y = -24187 - -24180. Is 1/94 equal to y?
False
Let x = 1.2664 - 0.2664. Which is smaller: 177 or x?
x
Suppose -14645 = 5*o - 98*a + 101*a, 25 = -5*a. Which is bigger: o or -2924?
-2924
Let t = -182 - -99. Let s = t - -83. Let i be -1*(2 - 1) + (s - 0). Is 1/32 > i?
True
Let w be 4 + -5 + -1*(-2 + 2). Which is greater: w or 4/9279?
4/9279
Let s = -21244 - -7031771/331. Let p = 5191/4965 + s. Is p equal to 0?
False
Let b(v) = 29*v + 2. Let k be b(-2). Let d be ((-20)/(-6))/((-58)/957). Which is smaller: k or d?
k
Let v(w) = -w**3 + 8*w**2 + 3*w + 8. Let l be v(8). Suppose -9*o = -7 - 11. Suppose 99 = 5*q - o*q. Which is bigger: q or l?
q
Suppose 0 = 63*x - 87*x + 22752. Is x at least as big as 948?
True
Let f be 6/(-15) - (-1)/((-15)/24). Let y be 3*f/(-4)*4/51. Which is greater: y or 0.2?
0.2
Suppose 0*h - 2*k - 19 = -3*h, 3*h - 11 = -2*k. Suppose -5 - 312 = 2*c + a, -h*c + 2*a = 788. Which is bigger: -157 or c?
-157
Let q = -6.09 + 0.09. Let a = -468 - -478. Let o be 22/(-352) + a/32. Which is bigger: q or o?
o
Suppose 12*u + 2601 - 7065 = 0. Let k = 359 - u. Which is bigger: k or -7?
-7
Let p = -900 + 1119. Let t = 219 - p. Which is bigger: t or 0.069?
0.069
Let k be (-2)/(-14)*21/6. Let o be ((-27)/108)/((-1)/(-28)). Let r(l) = l + 3. Let m be r(o). Is m >= k?
False
Let h = -14142 + 14196.005. Let u = -54 + h. Let s = 16.005 - u. Which is smaller: s or -0.1?
-0.1
Let c = 333 - 7661/23. Let s be (104/(-115))/(18/15). Let h = s - c. Which is smaller: h or 47?
h
Let b be 10/3*((-9)/5 - -3). Let p = b - 0. Suppose p*x + 4 + 0 = 0. Which is smaller: x or 2/13?
x
Let h = 36 - 58.9. Let v = h + 22.95. Is -3 at most as big as v?
True
Let o be (-30)/(-36) - 2/6. Suppose -3*j - 384 = -0. Let l = -639/5 - j. Which is bigger: o or l?
o
Let j be (2 + (-9)/6)/(85/(-340)). Is j less than 1/38?
True
Let v(r) = r**3 - 9*r**2 + 4*r - 30. Let b be v(9). Suppose -2*n = -4*f - f + 591, 3*n = b. Which is greater: f or 121?
121
Suppose 1253*u - 145420 = 1233*u. Which is bigger: u or 7270?
u
Let n = 23.044 + -0.044. Let j = n + -17.7. Let y = 0.3 - j. Are y and -4 nonequal?
True
Let f = -113617/5 + 22806. Is f greater than 84?
False
Suppose 3*s = 4*s - n + 67, 5*n + 25 = 0. Let l be 2 + (9/6)/((-6)/s). Which is greater: l or 21?
21
Let n(h) = h**2 - 2*h + 5. Let l be n(10). Let g = -56 + l. Let y = g + -28. Is y < 15?
True
Let w be (-20)/30 + 7688307/(-1395). Let f = 5512 + w. Which is smaller: f or -1?
-1
Let p = 2021 - 632. Are 1389 and p nonequal?
False
Let y be 1*15*(-13)/(-195). Which is bigger: y or -1/66?
y
Let k(u) = u**2 - 5*u - 2. Let l be k(5). Let p = -10173 - -335684/33. Let h = p + -71/66. Is l <= h?
True
Let r = 110 + -112.51. Let u = 2.61 + r. Are u and -1/225 equal?
False
Let c be (-2 + (-2)/(-2))*((-3310)/(-70) + -47). Let i = 4 + -1. Let g = i + -2. Which is smaller: c or g?
c
Let j = -55777421/2442 - -68528/3. Let p = -29/74 - j. Is p smaller than -1?
True
Let j = 0.012 + -29.012. Let q = j - -29.9. Let r = 5.1 + q. Are -0.1 and r equal?
False
Suppose -s + 96 = 3*v, 9*s + 408 = 13*s + 4*v. Which is smaller: 1059/10 or s?
s
Let o(z) = -z**3 + z**2 + 18*z + 17. Let m be o(5). Let s be 284/2784 - m/56*1. Is s at least as big 