2 - -5.8. Let i = 27 - r. Let c = i - 2.7. Which is bigger: c or -6/7?
c
Let l(b) = -2*b + 12. Let w(d) = -d + 1. Let o(q) = -l(q) + 4*w(q). Let z be o(-5). Suppose 0 = -3*i - i - 2*r, -z*i - 5*r + 8 = 0. Which is bigger: i or 6/7?
6/7
Let q = -3.16 - -2.77. Let s = q - -0.29. Which is greater: s or 238?
238
Let f = 7 + -5. Let a be (-5 - (-4 - 4))*1. Suppose -6 = k + 3*q, 0*k = f*k - a*q - 6. Are k and 0 equal?
True
Suppose 5*z = 3*d - 1 - 9, 3*z = -6. Suppose -64 = -d*g - 4*g. Let l be 6/12*g/14. Which is bigger: 2 or l?
2
Suppose -27 = 2*x - 39. Let p be ((-111)/x)/(-3*2/24). Let q = p + -79. Do -7 and q have different values?
True
Suppose -5*i - 7 = -12. Let y = 11 + -9. Suppose 4*h = 5*r - 19, -y*r - 4*h + 1 = -1. Which is smaller: i or r?
i
Let j(f) = -f**3 + 7*f**2 + f + 16. Let u be j(7). Suppose k - u = 1. Let p = k + -15. Which is smaller: 1/4 or p?
1/4
Let j be 3*(1 + (2 - (-4)/(-3))). Let u be 12/(-30) - (j - 3510/25). Which is smaller: u or 136?
u
Let l = 87.1 + 6.9. Let t = 93 - l. Let x = 0.56 - 5.56. Which is smaller: t or x?
x
Let a = -17236 - -844523/49. Is -2 < a?
True
Suppose -7*p = -0*p - 98. Suppose p*t - 193 = 465. Let s be (-2 + 16/7)*-1. Is s at most as big as t?
True
Suppose 60 = 28*r - 8*r. Let w be (-3 - -1) + (r - 46). Is w equal to -48?
False
Let b = 3494 + -3494. Which is smaller: 13/14 or b?
b
Let j = 9 + 1. Let z = j + -6. Let l be 580/(-3190) - ((-57)/(-11))/(2 - 3). Which is smaller: z or l?
z
Suppose 4*o = 2*q + 22, 22 = 20*o - 12*o - 2*q. Let p be ((-1074)/26)/(153/6). Let n = 18/13 + p. Is n != o?
True
Let v = -9/454 + -18723/227. Let d = -235 + 152. Is v > d?
True
Let b(p) be the third derivative of p**6/120 - 4*p**5/15 + p**3/3 - 2*p**2. Let u be b(16). Let s be ((-1)/u*0)/4. Is s < -2/49?
False
Let n be ((-2)/7)/((-8)/7 + 1). Suppose -3*r = -n*r + k - 18, -2*r - 3*k + 38 = 0. Suppose -2*h = -46 + 16. Is r not equal to h?
True
Suppose -10*q - y = -15*q + 7, 2*q - 10 = 4*y. Are q and -2.579 nonequal?
True
Let r = -97/20 - -91/10. Is r < 0?
False
Let j = -10 - -21. Suppose j*b = 10*b. Suppose b = -x + 4 - 0. Are -0.08 and x non-equal?
True
Let t = 32453/5070 + -1/1014. Suppose 13*h - 14 + 47 = -g, 3*g - 4*h - 30 = 0. Are t and g unequal?
True
Let g be (4/(-14))/((-6)/42). Suppose a - g = -1, 31 = 3*j + a. Which is smaller: j or 9?
9
Let m(a) = -a**2. Let o(h) = -2*h + 18. Let j be o(7). Let p be m(j). Let i be p/12 - 1/(-3). Which is bigger: 3/22 or i?
3/22
Let n = -2426 + 2295. Which is bigger: 1/4 or n?
1/4
Let k = -2918 - -2917. Are 3/326 and k non-equal?
True
Let g be (4 - 1) + 7 + -7. Let r(s) = -s**3 + 4*s**2 - 4*s + 3. Let a be r(g). Let j = 1132 - 7921/7. Is j < a?
False
Suppose -69*l + 84*l + 243*l = -102*l. Let f be ((-15)/(-250))/((-3)/(-2)). Which is bigger: f or l?
f
Let x = -1 + 1. Suppose 9 = -n + 3*z - 3, 0 = -2*z - 2. Let c be 3/(-8)*(-10)/n. Which is bigger: x or c?
x
Let g = 15 + 10. Suppose 4*x + 80 = 5*n + 78, 2*x = 4*n - 22. Which is smaller: x or g?
x
Let h = 14.5 - -2.5. Let t = -22 + h. Which is smaller: t or 0.05?
t
Let i be (-945)/1960 + 1/(-7) - 3/8. Which is greater: -3/7364 or i?
-3/7364
Let v be (-2)/34*54/90. Which is smaller: v or -1?
-1
Let p = -5 + -3. Let a be (4/(-13))/(p/20). Let d(c) = -c**2 - 14*c + 15. Let o be d(-15). Which is smaller: o or a?
o
Let j = 199 - -320. Let l = -315672 + 1578362/5. Is l less than j?
True
Suppose 0 = -5*g - c - 4*c - 5, -3*g = c - 5. Suppose 3*t - 143 = 5*q, g*q = 3*t - q - 142. Suppose 5*z = z - 3*p + 171, -2*p = -5*z + 231. Are z and t equal?
False
Let k be (-80)/40*-13*(-2 + 3). Suppose k*n = 18*n + 296. Which is smaller: 2 or n?
2
Let w(j) = j - 5. Let i be w(17). Suppose 4*y = -i + 4, a + y + 2 = 0. Suppose -14 = -3*d + d. Which is smaller: d or a?
a
Let f = -0.157 - -43.157. Let u = -43 + f. Is 0.026 bigger than u?
True
Let o(n) = -n**3 - 16*n**2 - 59*n - 1253. Let z be o(-20). Which is smaller: z or 1528?
z
Suppose 45*s = 15140 - 4700. Let z(j) = 115*j + 2. Let x be z(2). Are x and s equal?
True
Let z = 1 - 1. Let a = -220 - -190. Let l be 36/(-42)*28/a. Which is bigger: z or l?
l
Let z = 29 + -29. Suppose z = -9*g + 4*g - 155. Let x be g/4*-4 + 1. Is x equal to 32?
True
Suppose -k - 20 = -u, 2*u + 6*k - 2*k = 10. Suppose -u*d - 64 = 71. Is d smaller than -13?
False
Suppose -112*i = -26705 + 67 - 22082. Is 441 equal to i?
False
Let m(s) = -4*s + 22. Let l be m(6). Let c be ((-17)/(-34))/((-1)/l). Suppose -2*g - c = 3. Is g at most as big as -1/2?
True
Let g(r) = r**2 - 3*r - 31. Let p be g(-11). Let n = -124 + p. Is -11/5 greater than n?
False
Suppose 2*f = -274 + 264. Let h be (-4)/21*(25/(-4) - f). Is 1 equal to h?
False
Let m(j) = j**2 + 14*j + 25. Let g be m(-13). Suppose t = 3*y + 283, 7*t = g*t + y - 1399. Is t bigger than 279?
True
Let c = 0 - -0.2. Let u = 116903 - 3857803/33. Is c not equal to u?
True
Let v = -217 - -219. Suppose -2*l + 3*l + 2*z + 143 = 0, -5*l - 679 = -v*z. Is l >= -137?
True
Let l be 4/34 - 687368/(-1819). Is 379 smaller than l?
False
Let b = 0.275 - 0.109. Let r = b + -4.666. Are r and -0.2 nonequal?
True
Suppose 62*q - 23*q = 546. Which is greater: q or 74?
74
Suppose -43*o - 797 = 622. Is o < 18?
True
Let p be 30/(-4)*8/(-5). Let j be -1 - 3 - -5 - (-1 + 21). Let g = j - -33. Is p > g?
False
Suppose -2*i + 2*y - 17212 = -y, 2*i + 17198 = -4*y. Let k = i + 8301893/965. Which is bigger: -1 or k?
k
Let i = 652 - 4632/7. Let t = i - -228/35. Let q(w) = w**2 - 8*w + 8. Let s be q(6). Is s <= t?
True
Suppose -156 = -2*i - b + 5*b, 5*b = -5*i + 330. Let g(x) = 8*x**3 + 4*x**2 - 5*x. Let s(l) = l**3 - 3*l**2 - 2*l - 6. Let w be s(4). Let z be g(w). Does z = i?
True
Let s = -18.6977 - -2.5787. Let q = s + -0.081. Which is bigger: 0.1 or q?
0.1
Let n(h) = 26*h + 70. Let f be n(-31). Let b be f/9 + 18/(-81). Which is smaller: -80 or b?
b
Let c be 6342/(-45) + ((-55)/15 - -3). Let a = c - -142. Let v = -206 - -817/4. Are v and a non-equal?
True
Let f(c) = c**3 + 14*c**2 - 16*c - 9. Let u be f(-15). Suppose -4*b + u*b = 4. Let j be (b/4)/((-33)/(-6) + -5). Which is greater: j or 1/21?
j
Suppose -3*j - 4*q = 36, 4*q - 27 = 2*j - 3. Let h(c) = 2*c**3 + 22*c**2 - 11*c - 3. Let o be h(j). Is -315/2 at most as big as o?
False
Let q(s) = -27*s**2 - 7*s - 9. Let k be ((-15)/(-10))/(-3) - (-6)/(-4). Let y be q(k). Is y >= -105?
True
Suppose 0 = -2*a + 2*o + 7 + 15, -2*a - o = -34. Let w be a/(1425/130) + -2. Are 0 and w equal?
False
Let n = 3195 + -3195. Do -39/68 and n have different values?
True
Let p(l) = -2*l**2 + 48*l + 2. Let z be p(24). Suppose 224 + 26 = -z*v. Which is smaller: v or -126?
-126
Let a = 1324 + -1324. Which is greater: a or 2/10217?
2/10217
Let p = 25 - 15. Suppose d + 4*d = p. Let b be (2/68)/(2/(-32)*56/(-126)). Which is greater: b or d?
d
Suppose -5*f + 8785 = -3*r, 0 = -4*f + 38*r - 42*r + 7060. Which is smaller: 1759 or f?
1759
Let u be (-58)/725 + 81/75. Is -602 bigger than u?
False
Let f be (5717/(-4) + 5)*4. Which is greater: f or -1?
-1
Let i be (1026/2223)/((-2)/(-4) + -2). Let u(l) = 2*l**2 + 9*l - 6. Let q be u(-5). Which is smaller: i or q?
q
Let b = -127 + 155. Suppose -10*o + b = -12*o. Let d be (o/21)/(4/330). Which is bigger: -54 or d?
-54
Let m = -101 - -109. Let g be (-6)/m*(-16)/(-62). Let d = 418/403 - g. Is 2 < d?
False
Let g be 133/(-38)*(-192)/21. Let v be ((-118)/(-8))/(2/8). Suppose -2*q + s = -v, 2*q - 2*s = -q + 87. Is q > g?
False
Let g = 571 - 2299/4. Let v(q) = q**3 - 82*q**2 + 310*q + 151. Let f be v(78). Is f greater than or equal to g?
False
Let h = -5 - -8. Suppose -658 = -2*d + 4*p + 566, -h*d + 3*p = -1830. Suppose -10*g + 2*g = d. Is g smaller than -77?
False
Suppose 8*f - 14*f - 216 = 0. Let l = 46 + f. Let z be (-2 - (-12)/10)/(2/l). Which is greater: z or 1/3?
1/3
Let g = -73.9 + 73.8932. Let z = g - -0.0068. Which is smaller: -21 or z?
-21
Let v(w) be the second derivative of -w**5/20 - w**4/4 - 5*w**3/6 - w**2 - 6*w. Let s be v(-2). Suppose 4*d + s*d = -120. Are d and -14 equal?
False
Let l(a) = -a**2 - 11*a - 18. Let s be l(-8). Let f be (0 + -33)/(s/4*-2). Which is bigger: 104/9 or f?
104/9
Suppose 4*f = 2*t + f + 16, -4*t + 12 = 5*f. Suppose 42*z + 32 = -10. Are z and t unequal?
True
Let b = 1843.8 - 1737.537. Let l = b + -0.263. Is l less than -1?