 - 2, 4*q = c + 5. Suppose 2 = 2*a + 3*l, -5*a + l = 6*l. Let g be (q/a)/(23/92). Which is smaller: -19/8 or g?
-19/8
Let o = -3930 - -3933.0704. Let v = -0.0704 + o. Which is greater: -34/15 or v?
v
Let b = -1/1948 + -7785/13636. Suppose h = -5*t - 9, -3*t = 2*t + 4*h + 21. Which is greater: b or t?
b
Let j be (-346)/(-10) - 12/(-30). Let t = j - 83. Are -48 and t unequal?
False
Let h = -0.3 - 2.9. Let o = h + -0.8. Let f = -282 - -281.1. Which is bigger: o or f?
f
Suppose 0 = 24*m - 356 + 356. Which is smaller: -2/45 or m?
-2/45
Let i = -998 - -999.7. Are 10/9 and i equal?
False
Let s = -778.9 + 272.9. Is s at most 15?
True
Suppose -25*j = -4*j + 924. Let x = j - -46. Let o = 237/5 + -47. Which is smaller: o or x?
o
Let u(h) = -5*h**2 - 53*h + 6. Let l be u(-10). Let w(k) = 4*k - 131. Let i be w(l). Suppose 8 = g - 3*r, -4*g - 24 = -6*g + 2*r. Which is smaller: g or i?
i
Suppose -13*x = -9*x - 12. Suppose 0 = n - 5*l + 29, -2*n - 22 = -x*l + 22. Which is bigger: -24 or n?
n
Suppose -6*l = 20 + 22. Let j(p) = p**2 - 10*p - 10. Let i(h) = -3*h**2 + 21*h + 21. Let b(g) = -2*i(g) - 5*j(g). Let s be b(l). Which is smaller: s or 0?
0
Suppose -11 = -2*s - f, -1 = 2*s - 12*f + 9*f. Suppose -4*t + 2*u - 9 + 1 = 0, -2 = -s*t - 3*u. Which is bigger: 1/361 or t?
1/361
Let j be (-2)/8 - 63/(-60)*5. Let y(p) = p**3 - 4*p**2 - 19*p + 82. Let x be y(j). Which is bigger: 5 or x?
x
Let l = 36 - 24. Let a = l + -90. Let f = -78 - a. Is 0.1 at most as big as f?
False
Suppose 588 + 508 = -3*k - 2. Is -364 bigger than k?
True
Let j(z) = 3*z - 9. Let d(q) = -5*q - 69. Let g be d(-14). Let h be j(g). Let p(l) = l**2 - l - 4. Let m be p(3). Which is bigger: h or m?
m
Let r = 0.7081 - 0.6081. Is -3846 at most r?
True
Let v = -1797/10 - -367/2. Let m(p) = -p**2 + 9*p + 2. Let n be m(9). Suppose a - 1 = n*y + 2*y, 27 = 5*a + 2*y. Is v bigger than a?
False
Let k = -1.1 - -1. Let l(m) = m**2 + m + 1. Let y be l(1). Let z be (7137/1578)/y + (-6)/4. Which is greater: k or z?
z
Let f = -0.692 - 0.108. Let x = -1 - f. Is x greater than or equal to -0.24?
True
Let x(t) = 2*t**2 - 9*t - 8. Let q(j) = 5*j**2 - 18*j - 16. Let i(a) = -4*q(a) + 9*x(a). Let s be i(-4). Let z be (-174)/(-168) + 3/s. Is z > 1/25?
True
Let r(t) = -166*t + 4192. Let g be r(27). Which is smaller: -3 or g?
g
Let t(k) = -29*k - 151. Let p be t(-6). Let o be p + 1/(25/20 + -1). Is o at least 109/4?
False
Let y = -47 - -131. Let f be 9/54 + 82/y. Which is greater: 4 or f?
4
Let i(d) = 4*d**2 + 9*d + 6. Let m be ((9/4)/1)/((-33)/(-44)). Let h be i(m). Are 70 and h equal?
False
Suppose 0 = -128*c + 10590 + 33084 + 15334. Is c at most as big as 460?
False
Let j = 968/247 + -130/19. Let b = -10488 - -10485. Are j and b nonequal?
True
Suppose -5592089 = -247*x + 3582929 - 2300020. Which is smaller: 27833 or x?
27833
Let m(r) = -2*r - 5. Let f be m(5). Let z be ((-4)/126*33)/((-3)/(-45)). Which is smaller: z or f?
z
Suppose 19536 + 7624 = 40*c. Which is bigger: 681 or c?
681
Suppose 2*f + 0*f = 380. Let h be 4/((-8)/f) + 4. Let c = h + 90. Which is smaller: -10/13 or c?
c
Let g(u) = -4*u + 161. Let k be g(40). Is 74/85 bigger than k?
False
Let b = 46 - 202. Let k be (1 + (-5)/2)/(117/b). Let s be ((-10)/((-160)/(-792)))/(k/4). Is s equal to -98?
False
Let m = -0.005 + 0.004. Let l = 0.025 + m. Let j = -4.024 + l. Is j <= 1?
True
Let t be 206/(-4 - (-22)/5). Let z = 2577/5 - t. Suppose l - 2 = 134. Is l greater than or equal to z?
True
Suppose -1655432 = n + 1269739. Let k be (-2)/(-63)*n/42. Let z = -2211 - k. Which is bigger: -1 or z?
z
Let w(m) = m**2 - 2*m. Let h be w(3). Let j(u) = -u**3 + u**2 + u + 3. Let r be j(h). Suppose 4 = -i, i - 6*i - 20 = -3*g. Which is smaller: g or r?
r
Let j(d) = 2*d**3 - 37*d + 1. Let z be j(-5). Let o be ((-11)/(-44))/(124/z). Suppose 0*v + v - 1 = 0. Which is smaller: o or v?
o
Suppose y - 21*r + 23*r = -22, -3*y = 4*r + 56. Let q = 0.03 - -7.97. Let c = q + -13. Which is smaller: c or y?
y
Let d = -174 + 1220/7. Let g(x) = x**3 - 2*x**2 - 7*x - 8. Let l(r) = r**2 - 17*r + 19. Let b be l(16). Let q be g(b). Is d bigger than q?
True
Let b be 567/(-84)*8/(-24). Are -3 and b non-equal?
True
Let v(d) = -d**3 + 29*d**2 + 5*d - 4. Let y be v(13). Let x be -1 - -4 - y/5. Let a be 60/160 - x/(-16). Which is greater: a or -33?
-33
Let r = 3.16 - 77.68. Let d = 5.52 + r. Is d > 1?
False
Suppose -28*x + 3396 = -1807 + 21303. Let d(s) = -144*s**2 + 2*s - 3. Let v be d(2). Is v >= x?
True
Let b be (-1)/((-1)/1) + 932 + -1358. Is -443 at most as big as b?
True
Suppose 0 = -2*n + 5*r - 14, -39 = -4*n + 3*r - 53. Let t(f) = -f**3 + 7*f + 10. Let d be t(n). Let h be 1/(-1 + 3/2). Which is bigger: h or d?
d
Let u be (-1 - 10)/((-7583917)/5126). Let m = 5 + -11. Let k be m/(-9)*(-6)/(-4). Which is smaller: k or u?
u
Suppose o + 357 = -4*l, 5*o - 229 - 211 = 5*l. Let h = 101 + l. Suppose -5*c + 18 = -h. Which is greater: 13/2 or c?
13/2
Let g be (0/2)/((-2)/(-2)). Let q be (-92995)/(-294)*(-12)/15. Let w = q - -253. Are g and w nonequal?
True
Let o be 3/5 + (12753/(-47520) - (-7)/(-21)). Is o smaller than 0.1?
True
Let f(j) = -j**2 - 2*j - 3. Let x = 3 + -5. Let q be f(x). Let t(o) = -26*o**3 + 156*o**2 - 37*o + 216. Let v be t(6). Is q at most as big as v?
False
Let k = -113480/462753 + -44/2349. Let t = 21101/79194 + k. Is t greater than or equal to 0?
True
Let h(g) = -55*g + 4. Let w(q) = 28*q - 2. Let n(x) = -3*h(x) - 5*w(x). Let i be n(-2). Let l = 158/3 + i. Which is smaller: -0.1 or l?
-0.1
Let h = -36 + 36. Are 26/181 and h unequal?
True
Let s(d) = d - 28. Let y be s(-7). Let k be y - -29 - 1*-25. Are k and 20 equal?
False
Let n = 2.7 + 1.7. Let q = n - 7.8. Let j = q - -3.2. Which is bigger: j or -12?
j
Suppose 32*a - 138 = 26*a. Suppose 0 = b - 2*t - 3 - a, -4*t = -5*b + 124. Suppose 4*p + 40 = -b. Which is bigger: p or -15?
-15
Let c = 103715/7 - 14816. Which is bigger: c or 1587?
1587
Let r = -14 + 2. Let t = 5.4 + -18.4. Let z = r - t. Which is bigger: 10 or z?
10
Let t(s) = -58*s**3 - 3*s**2 - s. Let w be t(-1). Suppose -29*g = -21*g + w. Let x(b) = b**3 + b**2 - 9. Let j be x(0). Do j and g have different values?
True
Let j be 8*(0 - 13/(-4)*-2). Let k = -45 - j. Suppose -2*g + 3*i - 7*i = -6, -2*g + 2*i + 18 = 0. Is g bigger than k?
False
Let r(h) = -h**3 - 58*h**2 + 46*h - 287. Let o be r(-59). Is o > 482?
False
Suppose 5*x = 4*v + 4*x - 12, v + 4*x - 3 = 0. Suppose 0 = -4*z + 5*b + 5 + 9, -2*z = b. Let m be ((-10)/20)/(z/(-6)). Is m at least as big as v?
True
Let c = -7176 + 6975. Which is greater: 0.02 or c?
0.02
Let x be (-1)/(1/(-11)) - 9/(-3). Let z(b) = -2*b**2 + 29*b - 22. Let j be z(x). Let u be (2 - (-20)/j)/((-1)/2). Is 0.05 at most u?
True
Let f(w) = 2*w**2 + 88*w - 14. Let o be f(-44). Is o at least -14?
True
Let x = 26815706/191 - 140396. Which is smaller: x or 1?
x
Let m(s) = -s**3 + 18*s**2 - 2*s - 4. Let g be m(18). Let b be (-2684)/g + 2/5. Let a = b + -68. Which is smaller: a or -51?
-51
Let u(n) = -n**2 + 17*n - 7. Let m be u(13). Let l be -12*(m/(-10) + 0). Suppose 0 = -5*p + 11 + l. Is p less than 25/2?
False
Let w = -65 - -617. Let i = w + -494. Which is greater: i or -0.3?
i
Let g(b) = b**2 + b. Let p be g(-4). Let a = -294 - 7. Let i = a - -311. Which is greater: p or i?
p
Let g = 3558665/7928 + -3591/8. Which is smaller: 1 or g?
g
Suppose 4*j - 25 + 15 = 2*z, 2*j + 4*z = -10. Is 9/17 equal to j?
False
Let a = -68 + 93. Let m = a - 103. Let u = -76.7 - m. Are u and 2/9 non-equal?
True
Let d be -2 - 4/(-2) - 212. Suppose -2*y = -5*r - 1051, 5*r - 9*y = -13*y - 1063. Is r not equal to d?
True
Let y = -1.1954 - 13.5046. Is y at least as big as -2.6?
False
Suppose -5*o - 252 = -57. Let v be 1 + 45/o + 4386/(-52). Do -85 and v have different values?
True
Let d = -36913 + 36917. Let w = -4 - -2. Let t be (-1)/w*-2*-6. Which is smaller: t or d?
d
Let y = 51 + -496. Let s = -445.1 - y. Is s at most -34?
False
Suppose -15*r = -39*r - 24. Let j be r/3*(-21 - -126). Which is bigger: j or -2?
-2
Let w be (396/(-15))/((-282)/(-1880)). Is w at most -179?
False
Suppose -22*d + 570 = -7*d. Let v be (1 - 1)/(-41 + d). Is 127 smaller than v?
False
Let r = -323 + 544. Let o = -221 + r. Which is bigger: o or -1/21?
o
Suppose -2*i - 5*c = -0 + 9 + 69, -c = 12. Let v be (-