22) - 3*(-40)/(-55). Let t = -8 - -13. Suppose 0 = -2*c - 1 + t. Which is bigger: c or r?
c
Let h = 17 + -16. Let u be (44/10)/((-14)/(-20)). Let b = u + -97/21. Which is bigger: b or h?
b
Suppose -3*c - 3*x = -2*c + 13, 0 = c + 2*x + 10. Let f(a) = -a**3 - 14*a**2 - a - 18. Let t be f(-14). Is t >= c?
True
Let c = -3 + 4. Let u be ((-1)/(-37))/(3/(-6)). Are c and u equal?
False
Suppose 0 = -2*s - 0*s - 2. Let z(k) = -2*k. Let f be z(s). Suppose f*m + m - 6 = 0. Are m and 1 equal?
False
Let y = -1 - -1. Let k be 0/2 + 0 - y. Do -2/9 and k have the same value?
False
Suppose 21 + 12 = 3*v. Suppose -3 = 2*b - v. Is b equal to 4?
True
Let p = -3.6 + 4. Let h = p + 0.6. Which is greater: 3 or h?
3
Let r(c) = 5*c**2 + 9*c - 5. Let b(d) = d**2. Let x(z) = 4*b(z) - r(z). Let l be x(-9). Let k be (1 + 2)*8/6. Is l equal to k?
False
Suppose 4*v = 107 - 55. Is 13 >= v?
True
Let r be -1 + -3 + 4 - (-8)/(-32). Let u = -1.51 - -0.11. Which is bigger: u or r?
r
Let h(r) = -r - 3. Let w be h(-4). Let l(u) = 4 - u - 3 + w. Let o be l(2). Is 1 != o?
True
Let t(i) be the first derivative of -i**4/4 + i**3/3 + i**2/2 + 9. Let c be t(-2). Which is greater: 9 or c?
c
Let n = 4 - 10. Let p = -4 - n. Which is greater: 1 or p?
p
Let q(y) = y - 9. Let n be q(5). Is -3 < n?
False
Let m = 127 - 39. Do 89 and m have different values?
True
Let l = -0.7 - 0.3. Let r = -1 - -4. Which is smaller: l or r?
l
Let s(d) = -4*d + 14. Let g be s(6). Which is smaller: -9 or g?
g
Let l = 289 + -9247/32. Which is bigger: -1 or l?
l
Suppose -5*n = 3*x + 8 + 7, 0 = n + x + 5. Suppose 3*q + 2 + 1 = 0. Is n >= q?
True
Let g(k) = 7*k - 51. Let m be g(8). Let h be 1/(-2) - 11/(-2). Is h bigger than m?
False
Let j = -36 + 60. Let k be (2/4)/(3/j). Let q be (2/(-8))/(3/k). Are q and -1 unequal?
True
Let i be (-28)/(-6) + 2/(-3). Let y be 10/(-15)*-3*2. Suppose 0*w - 3*w = -u + 7, y*w + 4 = -i*u. Is -1/3 less than or equal to u?
True
Let h(i) = i + 4. Let k be h(-2). Suppose -k*s + 15 = 4*f - 5, 4*f = 3*s. Suppose 14 = 4*l - 5*d, -l = 4*l - f*d - 11. Which is smaller: l or 0?
0
Let q be (1 + -5)*6/(-8). Suppose 5*a - 26 + 2 = k, q*k = a - 2. Let b = -0.03 + 0.33. Which is smaller: k or b?
b
Let a(u) = -6*u**3 + 5*u**2 + 5*u - 3. Suppose 1 = -g - 3. Let n be a(g). Let t be 2/9 - (-28)/n. Is t less than or equal to 0?
False
Suppose 5*d = -3*j - 2*j + 90, -5*j = 15. Which is bigger: d or 22?
22
Let l(f) = -5*f**3 - f**2 - f - 1. Let v(p) = -p**3. Let n(h) = l(h) - 6*v(h). Let q be ((-6)/9)/(1/(-3)). Let u be n(q). Is u <= -3/11?
False
Suppose s - 10 = -s. Suppose -6 - 4 = -4*m - 2*y, -y = -5*m - s. Let p = 2 - 3. Is m at least p?
True
Let a(g) = g**3 + 7*g**2 + 4*g - 7. Let k be a(-6). Let y = k - 4. Let r be 3*(2 + 64/(-33)). Do r and y have different values?
True
Let y = 11.81 - -0.19. Is y less than -0.2?
False
Suppose 5*h = h - 152. Is h at least -3?
False
Suppose -2*p = 2, 4*l - 11 = -2*p + 3. Let r(n) = n**2 + 9*n + 26. Let c be r(-4). Do c and l have different values?
True
Let f = 0 + 2. Suppose -f*b + 5*b - 6 = 0. Are b and 1 nonequal?
True
Suppose 0*o = 2*o + 2. Is -4/31 at least as big as o?
True
Let f = 71 - 72. Is -4/21 at most as big as f?
False
Let v = 3 + -6. Let z be 2 - (-6)/v - -24. Suppose 5*i - z = 2*j, 3*i - 3*j + 14 = 8*i. Which is greater: 3 or i?
i
Let c(r) = r + 9. Let p be c(-7). Suppose -p*o + 10 = -0*o. Let b be -2 + 1 - (-10)/o. Which is smaller: b or -2/7?
-2/7
Let j be 3/(-1 - 0) + 8. Let x = j + -1. Suppose -x = 4*q - 6*q. Is 2 equal to q?
True
Suppose -28 = 25*s - 29*s. Let a(c) = 8*c**3 - c. Let v be a(1). Is s less than v?
False
Let o(h) = -h - 12. Let c be o(-13). Let b = 8/93 - 290/1209. Which is smaller: c or b?
b
Suppose -2*i = 2*c, 0 = -3*c - 0*c + 5*i - 8. Suppose -5 = -2*g + 11. Let m be (-3)/2*g/12. Is m at most c?
True
Let k(h) = -h**3 + 5*h**2 - 4*h + 2. Let j be k(4). Suppose 3*b = -9, 2*b = -3*x + j*x - 3. Suppose -2*m = x*m. Do -2 and m have the same value?
False
Let u be ((-6)/8)/(-3*(-4)/328). Which is bigger: u or 2/7?
2/7
Let j = -3 - -6. Suppose j*a - 12 = -4*k + k, 5*a = 2*k - 8. Let n = 125 + -1124/9. Which is smaller: n or a?
a
Let q = 1.9 + 0.1. Let p = 2.1 - q. Does 0.3 = p?
False
Let v = -758/89 + 3/178. Is v smaller than -9?
False
Let v = 214/63 + -28/9. Is 5/9 at least as big as v?
True
Let x = -24 - -11. Which is smaller: 0 or x?
x
Let o = -0.2 + -0.1. Let p = o + 0.2. Which is smaller: -0.2 or p?
-0.2
Let l be 4/3 - 1393/21. Which is greater: -66 or l?
l
Let p(v) = -v + 19. Let u be p(15). Let c be (-2)/u*4/(-2). Which is bigger: c or 1/3?
c
Suppose 2*h = -3*h + 15. Suppose -7*g = -2*g + 15. Which is smaller: g or h?
g
Let m = 4 - -1. Suppose -5*q - 24 = 2*h, 0 = -5*q + m*h - 35 - 10. Let c = -4 - q. Which is smaller: c or 1?
1
Suppose -2*v - 5*a - 14 = 29, -3*v - 37 = 2*a. Let l = v - -10. Does l = 2?
False
Suppose -t + 1 = -x + 4, -t = -5*x + 7. Let y(q) = -q**2 - q. Let j be y(x). Let s be 0 - ((1 - 1) + 1). Which is smaller: j or s?
j
Let g = 18632/27 + -690. Which is smaller: -1 or g?
-1
Suppose -2*l = -5*s - 4*l - 74, -25 = s - 3*l. Is s less than or equal to -17?
False
Suppose -3*a - 3 + 12 = 0. Let u be -11*2/(-7) - a. Which is smaller: u or 1?
u
Suppose -1 = 2*w + 3. Let u be (-1)/(2/3)*2. Which is greater: u or w?
w
Let i be (12/(-9))/((-130)/(-1857)). Let z = -96/5 - i. Is z >= 0.2?
False
Suppose 4*d - 2*v - 18 = -10, 5*d - 12 = 3*v. Which is smaller: d or 12?
d
Let s = -7.2 - -0.2. Let a = -6.4 - s. Let t = 0.4 + a. Which is bigger: t or 0.2?
t
Suppose 2*r + 42 = -r. Let h = -82 + r. Let u be (-2)/7 - h/238. Is u at least -1?
True
Suppose 201*j - 102 = 203*j. Which is smaller: -52 or j?
-52
Suppose -l - 2*l = -2814. Let q = l + -44088/47. Which is smaller: 1 or q?
q
Let r(x) = -3*x**2 + 11*x - 7. Let c be r(4). Suppose 41 = -4*t - 3. Is c greater than or equal to t?
True
Let m = -7/8 - -75/104. Let l = -5/52 + m. Which is greater: l or -1?
l
Suppose 0 = -d - 3*c - 7, 5*d - 20 = 3*c + 17. Is d greater than 4?
True
Let o = -7 + 4. Let j = -4 - o. Are j and 4 equal?
False
Suppose 0*n + 4*n + 2*m = 10, -5*m + 13 = 4*n. Let h be n/1 + 60/(-25). Which is smaller: 3 or h?
h
Let m(l) = -2*l - 4. Let n be m(-4). Let b(j) = j**3 - 5*j**2 - 13*j - 9. Let x be b(7). Let t be 2 - 0/(3 + x). Which is smaller: t or n?
t
Let a(h) = -h**3 - h**2. Let t be a(-2). Suppose 2*z - 2*n = 3*z + 14, t*z - n = -20. Which is bigger: z or -5?
-5
Let f = -0.2 - 0. Is 1.1 at least as big as f?
True
Let y = 3 + -3.1. Let p = 1.3 - 0.3. Which is bigger: y or p?
p
Suppose 12 = -2*o + 6*o. Let c = -2 - -7. Suppose -5*p + 5*l = -15, -3*l + 16 = -o*p - c*l. Is -1 not equal to p?
True
Let g(z) = -4*z. Let o be g(2). Is -5 at least o?
True
Let o = -0.108 - -0.288. Which is smaller: -0.2 or o?
-0.2
Let q be 30/75 + 24/(-85). Which is smaller: 0 or q?
0
Let w = 19 + -47. Is -28 <= w?
True
Let p(n) = -n**3 - 6*n**2 - 4*n + 1. Let k be p(-5). Let o(g) = 4*g**2 - 14*g + 15*g + 0*g**3 + g**3 + 0*g**2 + 2. Let t be o(-4). Is t >= k?
True
Suppose 0 = -2*i - 0*i + 6. Suppose 4*s = 8, 5*w + s - 5 = -13. Let f be i/(6/w) - -4. Which is smaller: 2 or f?
2
Suppose 4*t = w + 24, 2 + 5 = -t - 3*w. Is 5 not equal to t?
False
Let k be 14/(-21) - 2/(-3). Let f = -54/13 - -307/52. Is k at least f?
False
Let o = 0.1 - 6.1. Let g = 164/255 - -2/85. Which is smaller: o or g?
o
Let g = -3 + 3. Let r = -8 + 6. Let k = r - -2. Is k != g?
False
Let s be 3/(-9)*2 + 0. Let v = -305/99 - -31/9. Let w = -49/44 + v. Which is smaller: s or w?
w
Suppose -3*g = -t - 72, 4*g + 0*t - 4*t - 88 = 0. Which is smaller: g or 26?
g
Suppose 11*w = 6*w. Which is smaller: w or -7?
-7
Let d be (-2)/(((-3)/2)/3). Let f be (d/(-12))/((-2)/(-18)). Which is bigger: f or 0?
0
Let l = 3/2443 - 153924/12215. Which is bigger: -13 or l?
l
Suppose -q = s - 3, -3*s + 5*q - 15 = 2*s. Let r = 9 + -14. Let l = r - -5.1. Does l = s?
False
Suppose 0*l - 4*l = -4. Let n = 25 + -40. Let c be (-1)/(n/(-4) + -1). Which is smaller: l or c?
c
Let l = 6356/17 - 374. Let n be (1 + 0)/((-3)/3). Is n less than or equal to l?
True
Let t = -33 + 33.1. Let j = 0.9 + t. Let g be (1/(-5))/(1 + 0). Which is smaller: j or g?
g
Suppose -5*y = s - 23, -6*s = y - 2*s - 16. Let u be 2 - 0 - 10/y. Let c = -0.23 - -1.23. Which is smaller: 