22. Let a = v - 89. Which is smaller: -26 or a?
-26
Let m be (5/(-10))/((-10)/(-4)). Let c = 140 - 139. Which is smaller: m or c?
m
Suppose -f = 4*f. Suppose -4*a - 11 = -3*c, 3*c - c + 1 = a. Which is smaller: f or a?
a
Let v = 0.08 + 5.92. Let d = v - 6.02. Let w = d - -0.12. Which is bigger: -0.02 or w?
w
Suppose -35 = 3*q - 2*a, 0 = 4*q - 0*a + 4*a + 40. Let d = -11 - -19. Let h be (6/d)/(4/(-48)). Is h != q?
True
Let s(c) = c**2 + 6*c - 3. Let w be s(-7). Suppose 20 = -2*v + 2*y, y + 15 = w*y. Let f(z) = 2*z + 39. Let p be f(-23). Which is smaller: v or p?
p
Let k(g) = g**2 - 3*g - 3. Let i be k(4). Let p be (3/(-6) - i)*6. Let y be (2 - -1)/(-4 - p). Is y < 1?
True
Let g = 45 - 76. Let d = g + 12. Let n = -20 - d. Are 4 and n non-equal?
True
Let c be (3 + (-8 - -9))/(-6 - -4). Is c != -22/31?
True
Let r = -4205 - -634958/151. Let n = r - 483/1510. Which is greater: -1 or n?
n
Let l(i) = -i**2 - 28*i - 81. Let q be l(-19). Which is smaller: 93 or q?
q
Let s be (-9 - -4) + (-3 - 72/(-10)). Let v(q) = -q - 2. Let j be v(-1). Which is smaller: s or j?
j
Let a = -0.067 - 57.933. Which is greater: -3 or a?
-3
Suppose 0 = 4*u, 3*d + 6*u - 30 = 10*u. Which is smaller: 136/13 or d?
d
Suppose -2573 + 10013 = -24*m. Which is smaller: m or -309?
m
Let n be ((-1)/(-4))/((-17)/4). Suppose -14*m + 7*m + 7 = 0. Which is smaller: m or n?
n
Let v be 22/33*(6468/(-8))/7. Is -76 not equal to v?
True
Suppose 3*l = -2*p - 1 - 0, 0 = l - 2*p + 3. Let f be -2 + (3 - 0)*l. Do f and -3 have different values?
True
Let w = 0.8 + 0.2. Let x = 72/11 + -277/44. Do w and x have the same value?
False
Let y = -5 + 11. Let o = 9 - y. Suppose -5*g + o*g = -12. Which is smaller: g or 20/3?
g
Let t(y) = 4*y - 2. Let o be t(1). Suppose 3 - 10 = k + 2*q, 2*k - 2*q = 16. Which is bigger: o or k?
k
Suppose 3*c = c. Let j = 1145 + -356097/311. Which is smaller: j or c?
j
Let l(b) = b**2 + 9*b - 40. Let m be l(-10). Which is greater: m or -33?
m
Let g = 19 - 9. Suppose g*y - 60 = 5*y. Let m = 18 - y. Is m greater than 5?
True
Let a = 307.6 - 308. Which is smaller: a or -0.46?
-0.46
Let a = -8.8 + 8.723. Let k = a + -0.253. Which is smaller: 2/7 or k?
k
Let f be 2 + (-4)/1 - 7857/(-6). Let z = 23683/18 - f. Is 9 not equal to z?
True
Let g = 46 + -21. Let m be (-10)/g + (-124)/(-10). Let q = -63/5 + m. Which is smaller: -2 or q?
-2
Let l = 234 - 2572/11. Let o = 191 + -176. Which is smaller: o or l?
l
Let a = -101 - -38. Let c = a - -51. Which is greater: -14 or c?
c
Let o be 1/(-4) + (-33)/(-4). Let r = 10 - o. Let x be 3/(-6)*r/1. Which is bigger: -1/17 or x?
-1/17
Let w be (-4 - -8)*-2*(-9)/24. Does w = 9/4?
False
Let s = 11 + 14. Let d = 20 - s. Is d < -1?
True
Let g be ((-2)/3)/((-3)/27). Let s be (-21)/g - 3/(-6). Which is greater: -20/11 or s?
-20/11
Let w = 1/43 - 65/946. Let p = -103 - -109. Suppose -l = -p + 7. Is w bigger than l?
True
Let i = -692 + 687. Which is smaller: i or -0.07?
i
Suppose 3*w + 5 = 5*l + 15, l = w - 2. Which is smaller: 3/124 or w?
w
Let m be -2 + 5 + -1 + 1. Let w be (-2)/5*(33 - m). Let u be w/(-48) - 5/(-28). Is 0 at least u?
False
Let i = 0.8 - -7.2. Let d = 1 + i. Which is smaller: d or -1/3?
-1/3
Let v(x) = -x**2 + 13*x - 23. Let o be v(11). Let g be 0 + (-6)/(-1 - 0). Let z be 1/(2*(-7)/g). Which is smaller: o or z?
o
Let b be 3*(3 + 384/(-42) - -6). Which is greater: b or 1?
1
Suppose 3*c = -v - 5 + 39, 5*v + 2*c = 209. Are 298/7 and v non-equal?
True
Suppose -19*m - 7888 = -3*m. Does m = -493?
True
Let k = -945.9 - -946. Let z = 0.04 - -0.96. Is k > z?
False
Let j = -1386.95 - -1382. Are j and -1 nonequal?
True
Let q = -806 - -8059/10. Let v = 0.2 + -0.3. Are q and v equal?
True
Let k = -0.48 + 0.28. Let i = 23 - 12. Which is smaller: k or i?
k
Let f be (206 - 214) + -2*1 + -1. Which is smaller: f or -1.6?
f
Suppose 102 = -3*l - 2*w - w, w = -4*l - 124. Let z(n) = -n**3 - 9*n**2 + 4*n + 6. Let f be z(-9). Is l >= f?
True
Let f be ((-67)/12 - 3/4)*-3. Suppose 17*a + f - 563 = 0. Are a and 33 equal?
False
Let g be 0 + (-5 - 0) + 225/47. Is 1 equal to g?
False
Let m = 22 + -20. Let k be 4 + (-1235)/140 + m/8. Which is smaller: -6 or k?
-6
Let o = -207 - -185. Which is bigger: -26 or o?
o
Let n = 2.68 - 2.68. Which is smaller: n or 2/29?
n
Let x = -30 + 33. Let f = x + -12. Which is smaller: -10 or f?
-10
Let x be (-40)/(-11) + 6*(-2)/(-3). Which is smaller: 9 or x?
x
Let x = 24531/25 + -981. Suppose 0 = -5*k + 255 + 165. Let r be -3*(-5 - k/(-18)). Which is greater: r or x?
r
Let c = 294 + -294. Which is bigger: c or -110?
c
Let z be (-126)/15 - (-6)/15. Let q be 3 - (-1 - z/4). Which is greater: 5 or q?
5
Suppose 0 = -27*t + 32 - 275. Is -6 equal to t?
False
Suppose -4*x - 4*v + 0*v = 0, 5*x + 8 = 3*v. Let i be (12/3)/(x/1). Let t(a) = -a + 6. Let h be t(10). Is h at most i?
True
Let x = -1112861 - -15536071/14. Let d = x - -3143. Let o = -159/112 + d. Are 1 and o unequal?
True
Let p(c) = -c**2 + 9*c - 12. Let m be p(9). Let l be (-5)/m - (-1)/4. Let k(s) = -s**3 + 14*s**2 - 14*s + 14. Let v be k(13). Is v at least l?
True
Let c = 4.4 + 20.6. Which is greater: c or -3?
c
Let u be (-78)/(-153) + 24/(-48). Are u and -2/9 equal?
False
Let h = -35/1404 + 2/351. Suppose -4*n + 5 = 5*b + 16, 0 = -3*b - 9. Are n and h equal?
False
Let g = -3.3 + -28.7. Let d = -55703/9 + 6189. Which is smaller: g or d?
g
Let p = -1866/17 + 61034/561. Which is smaller: 0 or p?
p
Suppose 275 = -2*m + 195. Let d(w) = -4*w**2 - w. Let f be d(3). Which is greater: f or m?
f
Let q be (-38 - -2) + (-2)/10*-5. Are q and -40 equal?
False
Suppose b = -2*b. Let q be (-3)/(-3 + b) + -3. Let z be (q/12)/(3/(-18)). Is 1 bigger than z?
False
Suppose -2*d = 3*d - 130. Suppose 2*s + 5*p = d, -p + 5 = 3. Suppose 4*z - g = -z + s, 5*z = 2*g + 11. Which is bigger: 8 or z?
8
Let r = 14 - 8. Let s be (1 + -3)*1/r. Let x be (-2)/(-6)*(-26 - -29). Do s and x have different values?
True
Let m be ((-4)/6)/(8/12). Let k be (1/m)/((-2)/16). Let x be (-4)/14 + 51/7. Which is bigger: k or x?
k
Let t be (-69)/(-12) + (-2)/(-8). Let l be 3 - 4/t*3. Let b be (-6)/12*(-1)/l. Which is smaller: 5 or b?
b
Let r = 63 + -69. Let g(d) = d**3 + 7*d**2 + 3*d + 1. Let p be g(r). Which is bigger: 17 or p?
p
Let o = -109 - -103. Let q be (-2 - -6) + (o - (-1656)/834). Is -1 at most q?
True
Suppose -3*r - 39 = -0*r. Let a be 7/(-2)*(-78)/r. Let q = 24 + a. Is 4 at most as big as q?
False
Let y be 1*-1*(-28)/12. Suppose 0 = -i + 5*i - 12. Suppose -5*m + i + 2 = 0. Is m at least y?
False
Let v = -31309/1409880 - -28/1137. Which is bigger: v or 0?
v
Let m(z) = -z + 3. Let b be m(-3). Suppose 3*g + b = -c, -5*c - 2 - 4 = 3*g. Suppose 0 = 5*f - 3*f - 18. Which is greater: c or f?
f
Let x = 0.0784 + -3.0784. Which is smaller: 53 or x?
x
Let l = -395 - -307. Is l at most -88?
True
Let v = -0.2 + 0.1. Let f = 1.7 - v. Let j = -2.3 + f. Which is greater: 2 or j?
2
Suppose 5*o = 4*j + 21, 56*o - 53*o = 4*j + 19. Are 53 and o nonequal?
True
Let z = 36 + -18. Let q = z + -9. Is q < 23/3?
False
Suppose 4*p - 967 + 331 = 4*r, 0 = -r - 3*p - 155. Which is bigger: r or 1?
1
Let r = -132 - -79. Let l = r - -55. Is 1/2 not equal to l?
True
Let u(f) = 8*f**2 - 5*f + 10. Let p be u(3). Is 67 != p?
False
Suppose 48*d = -2*d + 5*d. Is d < 1/5?
True
Let g be ((-923)/(-494))/((-10)/16) - -3. Is -1 less than or equal to g?
True
Suppose 185 = 5*i - 5*t, i - t - 3*t = 52. Suppose -2*k - 3*m + 0*m + i = 0, 4*k - m - 36 = 0. Which is smaller: k or 9?
9
Let l(k) = k**2 + 9*k + 21. Let d be l(-6). Let y be (5 + -4)*(3 - d). Let h be (y - 3)/(-1 - 9). Which is smaller: h or -1?
-1
Suppose 4 = b - 0*b. Suppose 3*t + b*c - 4 - 2 = 0, -2*t - 16 = -4*c. Let j be ((-1)/t)/((-2)/4). Which is smaller: j or 4?
j
Suppose 11 = 3*y - 2*f + 5, -3*f = 4*y - 8. Suppose -2*o = -o - 5. Suppose 0*b - 20 = o*b + 3*c, 22 = -y*b - 4*c. Does -3 = b?
False
Let q = -31.35 - -32. Let g = q + -0.25. Which is bigger: g or 2?
2
Let i(j) = 5*j - 11. Suppose 4*v + 68 = -4*l, 2*l - 2*v + 20 = l. Let t = -14 - l. Let f be i(t). Is 9 greater than f?
False
Let m(p) = p**3 - 7*p**2 - 8*p + 4. Let r be m(8). Suppose 4*y + 4*o = -48, -r*o + 36 = -5*y - o. Which is smaller: -5 or y?
y
Let f(r) = -30*r - 183. Let x be f(-6). Which is bigger: -3/17 or x?
-3/17
Let y be 7 + 2/(