 22. Let s = 198/17 - 481/34. Which is smaller: s or r?
s
Suppose -8 = -4*l + 8. Let u be (-1)/(l/(-24)*-9). Is u <= 2/3?
True
Let x = -4596 + 2440474/531. Are 1 and x equal?
False
Let z be (-3 - -6) + 36 + 4. Suppose 0 = 5*i - 3*l + 48, 0 = -3*i - 2*l - 1 - z. Are -10 and i equal?
False
Let l be (-3)/12 + 21/36. Let y = -33 + 32.7. Let t = y - -0.3. Which is smaller: l or t?
t
Suppose -4*y - 6*v + v - 712 = 0, 2*v = 0. Which is smaller: y or -177?
y
Let f = 32.3 + -33. Let h = 0.73 + f. Let d = h + 0.07. Which is smaller: -7 or d?
-7
Let p be 3/((-12)/(-7)) + -1. Let v = 694.9 + -738. Let t = v + 43. Are p and t non-equal?
True
Let f = 2/137 - -526/1507. Let b be 4/40*36 + (-8)/(-20). Suppose -b*t - 3*m = -7 + 8, 0 = t + 5*m - 4. Which is greater: t or f?
f
Suppose 0 = 5*p - 4*d + 42, 2*p + 27 = 6*d - d. Is -15 > p?
False
Let w = 4 - 2. Let t be 7 - (12/(-20))/((-4)/20). Let h be t + 132/(-30) - 58/(-20). Is h equal to w?
False
Let p = -461 - -480. Which is greater: p or 3?
p
Let q be 11/(-3) + 1 - -1. Let o be ((-5)/(-2))/((-1)/(-4)). Let i be o/(-20)*2*2. Which is smaller: q or i?
i
Let q(d) = d**2 - d + 2. Let s be q(0). Let g = s + 3. Let p be (-36)/(-15) - (-2)/(-5). Are g and p equal?
False
Let q = 0 - -4. Let i = 52 - 73. Let n be (-41)/i + q/(-14). Is 2 equal to n?
False
Suppose 27*y = 2*t + 22*y + 18, t - 17 = -4*y. Which is bigger: t or 1/810?
t
Suppose 17*p + p = 3*p. Is p > 1?
False
Suppose 410 = l + 4*z, -2*l - 21*z = -18*z - 840. Does l = 425?
False
Let v = 58/43 + -1252/1247. Let g = 0 + 1. Which is bigger: v or g?
g
Let c = 12 + -72. Let r = 67 + c. Are -2 and r unequal?
True
Let z = -158 - -157. Let g(v) = 4*v**2 + 1. Let d be g(-3). Which is greater: d or z?
d
Suppose 4*j - 24 = 24. Let n = -6 - j. Which is greater: n or -17?
-17
Suppose -u = -3*v - 3*u - 12, 0 = 2*u - 6. Let g(t) = 53*t**3 - 2*t + 1. Let k be g(1). Let o be k/(-16) - (3 + v). Which is smaller: -4/7 or o?
-4/7
Let d(f) = f**2 - 5*f + 4*f + 4*f - f. Let s be d(-2). Let m = -928/1155 - -26/35. Are m and s non-equal?
True
Let a be 375/(-13) - 14/182*2. Is -33 less than or equal to a?
True
Let m be 30/(-70) - 7/((-2009)/144). Do 0 and m have different values?
True
Let s(a) = a - 8. Let z be s(5). Let w = 14 - 12. Suppose -3*q - 4*y + w = 14, 4*q + 2*y + 16 = 0. Is q less than or equal to z?
True
Suppose 0*y + y = f - 3, 0 = -f + 2*y + 2. Let q(x) be the first derivative of x**4/4 - 5*x**3/3 + 5*x + 2. Let n be q(5). Is n greater than f?
True
Suppose -2 = 2*n - 12. Suppose 4*d + 5 = -2*r + 31, n*r = -d + 29. Let f be (-11)/r + (0 - -2). Is f <= -1?
False
Suppose -2*z + 14 = -3*k + 2*k, 0 = -k - z - 11. Let c be (10 + k)*(1 - (-6)/(-4)). Let o = -1.1 + 0.7. Do o and c have the same value?
False
Let g(b) = -b + 1. Suppose -4 - 10 = -7*j. Let q be g(j). Let s be 12/(-34)*(-2)/6. Is q greater than s?
False
Suppose 3*y + 4 = 1. Let i = 11.79 - 1.79. Which is bigger: i or y?
i
Let h = 16/921 + 623437/4605. Let a = 135 - h. Which is smaller: 1/4 or a?
a
Suppose 0 = -k + x - 4, 12*k - 3*x + 12 = 11*k. Which is bigger: 10/7 or k?
10/7
Let j = 985 - 867. Is j less than 4?
False
Suppose 0 = 3*z + 2*z - 100. Suppose 4*h = z, h - 10 = 4*v - 29. Let o be (-7)/21 - (-50)/v. Are o and -1 equal?
False
Suppose 0 = -2*s + y - 777, 5*y + 1185 = -3*s - 0*s. Let k be (-4 - -7)*(-4)/s. Which is smaller: k or 0?
0
Let n(g) = -13*g**2 - 2. Let c be n(4). Let i be (c/(-6))/7 - (-4)/2. Is i less than -2?
False
Suppose 9 = -3*d + 6. Let w(v) = -4*v - 1. Let p be w(d). Suppose -3*m = -2*m + p. Is m > -3?
False
Let y = -3451/5 - -700. Which is smaller: 10 or y?
y
Suppose 0 = -2*o + 3 - 1. Let u = o + -1. Let r = u - 4. Is -9/2 bigger than r?
False
Let b be (-27)/(-21) + (-4)/14. Let r be (2/10)/(144/560). Is b less than or equal to r?
False
Suppose -3*l + 22 = -2*w + 6*w, 5*l = 2*w + 2. Let n be l/4 + 55/(-90). Let y = 3 - 2. Is n less than y?
True
Let u be (1968/(-455) + 5)/(12/(-15)). Let q = u - -21/26. Suppose -3*j + 6 - 2 = -5*z, -4*z + 1 = -j. Are q and z unequal?
True
Suppose 0*r - 84 = 4*r. Let c = r + 25. Suppose 0*m = -c*m. Is m greater than or equal to 1?
False
Let s = -39 + 41. Suppose -k + 0*k + 14 = s*l, 11 = 3*l + 4*k. Let r = 12 - l. Which is smaller: 7 or r?
r
Let l(d) = d**2 + 34*d + 34. Let i be l(-26). Which is bigger: i or -172?
-172
Let a(q) = 4*q**2 - 9 + 10*q - 23 - 5*q**2 + 10*q. Let b be a(19). Is b less than -10?
True
Let t = 0.7 - 0.2. Let z = 0.045 - -3.655. Let k = z + -3.7. Which is smaller: k or t?
k
Let p = -1131 + 1033. Which is greater: p or -97?
-97
Suppose 4*y + 202 = -4*x + 6*y, -47 = x - 4*y. Is -50 greater than x?
True
Let g(f) = -f**3 + 4*f**2 - 2*f - 1. Let n be g(3). Let t be n*3*1/6. Let k be (-7)/(-6) - (-12)/(-18). Which is bigger: k or t?
t
Let u be (-3 + 169/55)/((-8)/160). Which is greater: -1 or u?
-1
Let b = -155/2 + 1121/14. Is b at least 3?
False
Let u(d) = -4*d - 1. Let p be u(-1). Let z be (-2)/13 - 14/(-91). Suppose z = 3*c - 0*c. Which is smaller: c or p?
c
Let a be (-1 + -5)/(-3 - (-2 + -720)). Which is greater: a or -1?
a
Let r(t) = -t**3 + 6*t**2 - 6*t - 7. Let m be r(5). Let a = -10 - m. Let q be (-4)/(-10)*(-6)/(-4). Which is smaller: a or q?
q
Let v(s) = -s**3 + 5*s**2 - s - 4. Let y be v(4). Suppose 1 = a - o - y, -3*o = 4*a - 1. Suppose -5*i - 9 = 2*g, -2*i = -3*g + a*g + 5. Is -5 less than g?
False
Let b be 14/(840/(-18)) - (-258)/1010. Are b and -1 non-equal?
True
Let j = 0.13 - 5.13. Let a = -0.9 - 26.1. Let q = 29 + a. Is j >= q?
False
Let s(x) = -2*x**2 - 44*x + 51. Let j be s(-23). Which is bigger: j or 7?
7
Suppose -2*g = 5*v + 10, -v - 7*g = -12*g - 25. Is 2/269 less than v?
False
Let w = -27823/102141 - -1/1261. Let j = w - -4/81. Let x = -1 + 1. Is x <= j?
False
Let m(s) = 4*s. Let v(t) = 8*t. Let z(u) = -13*m(u) + 6*v(u). Let q be z(1). Let a(p) = -p + 3. Let k be a(9). Is q bigger than k?
True
Let z = 2/597 + -11351/2388. Let y(k) = -7*k + 1. Let w be y(1). Is w less than or equal to z?
True
Let f = -1485/4 - -4175/12. Let d = -24 - f. Let v = -3.0414 + 0.0414. Which is smaller: d or v?
v
Suppose -5*j - 9 = -2*j. Let k(g) = 98*g**3 - g**2 + 3*g - 1. Let c be k(1). Let r = 96 - c. Do j and r have different values?
False
Let b be (0 + (-28)/49)/((-18)/(-441)). Suppose -3*v + 6*v = 0. Which is greater: b or v?
v
Let l be 176/(-18) + 3 + 290/(-90). Is l greater than -5?
False
Let j be ((-6)/(-8))/(10/40). Suppose -4*g + 67 = 5*w, w - 18 - 2 = -j*g. Suppose 2*y + w = -5. Is y smaller than -7?
True
Let r = -2/751 + -2510/185497. Do r and 1 have the same value?
False
Let j = -0.015 + -9.985. Which is greater: j or -14?
j
Let q(t) = 5*t + 20. Let i be q(0). Is i at most as big as 79/4?
False
Suppose -9*u + 12*u - 9 = 0. Suppose -u*w + 180 = -5*w. Let l be (-1)/6*w/20. Is l > -1?
True
Suppose -2*a = -5*a + 6. Suppose 0 = -2*w + o + 11 - 2, 4*w - 14 = -2*o. Which is smaller: a or w?
a
Suppose -2*t + 4*s = 390, -17*t + 13*t = 2*s + 820. Is -202 smaller than t?
False
Let h be 114/152*(-24)/27. Suppose -26 = -4*x + 14. Suppose 0 = f - 3*f + x. Is f at most as big as h?
False
Let v be -6 + 7 + (-2 + 1 - -3). Suppose -3*y = -3*c + 2*y + 11, -v*y - 12 = 0. Let w = 2 - 4. Is w at most c?
False
Let p = 81.6 - 345.6. Is p at most as big as -1?
True
Suppose -376 + 320 = 7*o. Which is bigger: o or -72/11?
-72/11
Let o = -1799 + 1817. Suppose 71 = 4*k + s, k - 5*s = -4*k + 70. Is o != k?
True
Let h = 43.037 + -43. Let m = -7.037 + h. Which is greater: -0.1 or m?
-0.1
Let n = 394 - 386. Is 12 at least n?
True
Let f be (0 - -2)*(-151 - -149). Suppose 4 = 5*y - y. Let t be (1 - 0)/(y/(-5)). Which is greater: f or t?
f
Let z = 111 - 99. Which is greater: z or 23/2?
z
Let u = 13/19 + -369/95. Let s(z) = -z**2 - 3*z. Let i be s(-4). Which is smaller: u or i?
i
Suppose w = 4*w + t - 327, -3*w + 339 = -3*t. Is w at most as big as 109?
False
Let f = 3 - 2.8. Let t = -0.0945 + 0.0945. Is f smaller than t?
False
Suppose 2*u - 8*h = -3*h - 29, -2*h - 28 = u. Let j(m) = m**3 + 23*m**2 + 22*m - 1. Let x be j(u). Which is greater: x or 1/49?
1/49
Let v = -308 + 292. Let z be (-81)/(-6)*(-2)/(-3). Let i be v*z/((-36)/(-8)). Is -33 less than i?
True
Let r(n) = -n**3 - n - 77. Let i be r(0). Let o = i - -1079/14. Which is smaller: o or -1?
-1
Suppose 