 be (-12*(-42)/49)/((-2)/(-21)). Let m = 114 - q. Suppose -3*u - 4*g = -3*g + m, u + 16 = -5*g. Are -1/39 and u equal?
False
Let y = 207 + -243.9. Let j = y + 37.9. Which is bigger: j or 270?
270
Suppose -9*h + 202 = c, 22*h - 19*h + 2*c = 74. Suppose 2*d - 29 = 3*p, 12 = 2*d + 4*p + 4. Suppose -2*u + 52 = d. Are h and u nonequal?
True
Suppose 2*m + 2 = -0, 4*m + 180 = -4*i. Suppose 172 + 58 = -5*t. Which is greater: i or t?
i
Suppose 0 = 26*l - 1530 - 10430. Is 459 less than l?
True
Suppose -15*q - 19 = -5*c - 13*q, -2*c - 5*q = 4. Suppose -5*z = -4*k + 5*k - 28, c*k - 29 = -4*z. Is 7 greater than or equal to z?
True
Let h be 8*(2/8)/1. Let v be (-1)/((-4)/18 + (-119)/153). Which is bigger: v or h?
h
Let t = 41.6 - -462.4. Are t and 1 equal?
False
Let a be -23 + -1 + 2 - (-3 - -1). Let r(b) = b**3 + 20*b**2 - 3*b - 30. Let y be r(a). Let t = y - 15. Are 15 and t unequal?
False
Let j = 11512 - 11505. Is j smaller than -19?
False
Let c(k) = k**3 + 5*k**2 - 1. Let v be c(-5). Let f = 756 - 588. Suppose -36*r - f = 192. Is r smaller than v?
True
Suppose 20*c + 4185 - 9885 = 0. Let m = -0.1 + 0.2. Is m >= c?
False
Let l = -63147 - -290286758/4597. Is l bigger than -1?
True
Let w = 2738272/31923 - -4/10641. Which is smaller: w or -1?
-1
Let f = -11613 + 11612.9. Suppose 0 = 3*x - 96 - 111. Let b = x + -179. Which is bigger: b or f?
f
Let h = -4183 + 3227. Is h greater than -956?
False
Let b(i) be the third derivative of 3*i**4/8 - 4*i**3/3 + 5*i**2. Let z be b(8). Let h be 6/(-2) - (-2 - z)/6. Is 10 at least h?
True
Let b = -8779 + 8863. Is b bigger than 87?
False
Suppose -2*k - 3320 = 5*n, 2*n + 1339 = -6*k + 3*k. Let g = n + 662. Is 2/1751 equal to g?
False
Let h = -1422268144 + 36400108577102/25593. Let w = -2/1347 + h. Suppose -3*b + 4*b = 0. Which is bigger: w or b?
b
Let r = -123 + 108. Let d be -3*5/r + 44. Which is greater: d or 2/9?
d
Let l = -22 - -20. Let i(d) = 3*d**2 + 3*d + 3. Let a be i(l). Let g be (82 + -85)/((-3)/11). Is a at least g?
False
Let c = 198572 + -279445. Let r = c + 80941.989. Let s = 69 - r. Which is greater: s or 1/4?
1/4
Let t = 118 + -118.81. Let w = -36.9 - -36.29. Let p = w - t. Is p equal to -6?
False
Let b be 0 + (-1)/(-2) - (-756)/(-1224). Suppose 0 = 5*n + 4*v - 34 - 17, 2*v + 27 = 5*n. Suppose n*c + 0 + 7 = 0. Is c less than or equal to b?
True
Suppose 3*f = -0*f. Let l = 731844 + -9520100/13. Let c = -471 - l. Which is bigger: c or f?
c
Let q = 102.10406 - 0.10406. Is q <= -3?
False
Let t = 235.27 + -240. Let r = -3.9 - t. Let k = -0.83 + r. Is 1.4 at least k?
True
Let j = -48 - -51. Let a be -1 - 112/(-26) - j. Let s be (-3)/(-4) + 5/((-20)/7). Which is greater: a or s?
a
Let l(x) = -x + 4. Let m(t) = 2*t - 8. Let i(n) = 9*l(n) + 4*m(n). Let w be i(-1). Suppose -2*v - 22 = -2*u, -4*u - u - 35 = w*v. Is v at least 2?
False
Suppose -4*f + 1 = -p, 3*p + 2 = 2*f - 1. Let w be ((-140)/27734*(-4)/20)/(84/98). Is f at most as big as w?
True
Let i be (20 - 178)*(1 + 626/(-504)). Let q = -344/9 + i. Are 4 and q nonequal?
True
Let g be (1 - 0)/(23/(-2)). Suppose -r = 17*r - 324. Let f be (-3)/(-2)*(7 + (-114)/r). Is f less than or equal to g?
False
Let f = 59.01 + -60. Let a = -0.19 - f. Let v = -4.2 - a. Which is smaller: 3/4 or v?
v
Let z = -259 + 264. Suppose t = -5*j + 6*j + 11, 2*j - z*t + 7 = 0. Is j at least -19?
True
Suppose -6 = 2*x - 216. Suppose 113 = 4*b + x. Suppose -3*r + 5*k = r - 69, -4*r + b*k + 66 = 0. Which is smaller: r or 49/3?
r
Let i be (6 - 2) + (-3)/1. Suppose -5*b = 3*s - 67, 30 + 12 = 2*b + 5*s. Let j be (63/(-14) + 4)/(b/(-2)). Are j and i non-equal?
True
Let q = -8978.9 - -8979. Is 36 > q?
True
Suppose 178 + 12 = 5*i. Suppose -i = -4*j - 54. Let u = -11 + 7. Is u > j?
False
Let n = -0.0577 - -0.4177. Is n > 1.17?
False
Let n = 2.42 + 44.58. Let i = -14.7 + -64.3. Let o = i + n. Is -1 at least o?
True
Let g be -10 + (-2)/(4 - (-18)/(-5)). Let t be (12 - 5) + g - -404. Is 395 > t?
False
Let x be (2 + 0 - 42062)*(-21)/(-252)*-6. Is 21030 > x?
False
Let b(y) = 628*y + 9. Let f be b(1). Suppose -4*k - 622 = -a + f, -2*k = a + 625. Is -314 > k?
False
Suppose -g + 6*g - 3*m = 52, -2*g + 2*m + 20 = 0. Suppose -12*z + g*z = 3. Let o be 116/(12/z) + -3. Is o less than -32?
False
Let y = 3 - 4. Let z = 0.0654 - 0.6914. Let m = -0.646 - z. Which is greater: m or y?
m
Let h = -39.101 - -39.6. Let w = h + -0.099. Is 2/19 <= w?
True
Let r = 162028761245 - 167699742936797/1035. Let y = 24108 - r. Does -1 = y?
False
Let u = 8946 + -8945. Which is smaller: 2902 or u?
u
Let a be 1/(-3) + (-3)/((-45)/1130). Let p(o) = -2*o**2 - 282 + 282 + o + a*o**3. Let i be p(1). Is 75 at most as big as i?
False
Suppose -11*u - 90 = 97. Let m(z) = z**2 + 11*z - 8. Suppose -5*s = -0*s + n + 51, 0 = -3*s - n - 31. Let d be m(s). Which is greater: u or d?
u
Let h = -2383 + 1279. Let a = h + 2295. Suppose -a = 12*l + 129. Which is smaller: -109 or l?
l
Let y be 2/(-12)*(-2)/3. Let n be ((-20)/(-15) + -1)/((-3)/(-27)). Let g be (14 - 14)/(n/((-9)/(-6))). Does y = g?
False
Let k be 3/(-12)*-2*(-8272)/22. Let z = k + 2441/13. Is 0.4 bigger than z?
True
Suppose -290 = -9*o - 74. Let a be (42/(-8))/(o/(-128)). Is 25 greater than or equal to a?
False
Let b be -1*(1 + (2 - (5 - 4))). Suppose -2 = -3*t - 0*a - 2*a, -2*t - 12 = -2*a. Let u be b*(-2)/(-1) + t. Are 1 and u nonequal?
True
Let r = 631.1 - 601. Let l = r - 29.9. Is 18 equal to l?
False
Let d = -0.038 + -268.962. Let x = -269.3 - d. Which is bigger: x or 61?
61
Let g = 352 - 353. Let l be (74/(-111) - (1 + g)) + 2. Which is smaller: 2 or l?
l
Let r(v) = 27*v + 78. Let m be r(-3). Let p be (m/48)/(5 + (-4436)/888). Which is bigger: p or 1?
1
Let s = 47 - 37. Suppose 0 = -r + 5*j + s, 10*r - 15*r - j = 2. Which is bigger: r or 2/1009?
2/1009
Let g(h) = -h**2 - 10*h + 9. Let f be (300/(-9))/((-10)/15). Suppose -4*y + 28 = -q + 3*q, 5*q - f = -5*y. Let t be g(q). Which is smaller: t or -86?
t
Let p(x) = x**3 - 4*x**2 + x + 5. Let v be p(5). Let g = -20 + v. Suppose 0 = -106*w + 183*w - 1463. Is g at least w?
False
Let b = 0.032 + -0.232. Let d = 3.2 - 15.2. Let c = d - -24. Is c bigger than b?
True
Suppose 5*n - 3*g + 1040 = -8*g, 3*g - 1056 = 5*n. Which is smaller: -34 or n?
n
Let y(s) = s**2 + 27*s + 48. Let w be y(-25). Let z be 16/28 - 1*w/(-7). Let h = -41 - -49. Are z and h equal?
False
Let y = 852 + -543. Let q = -125.59 - -124.59. Which is smaller: y or q?
q
Suppose -k = 86*k - 696. Let x be (5/(-15))/(8/(-162)). Is x >= k?
False
Let m(r) = 111*r**2 + 20*r - 13. Let u be m(8). Is u at most as big as 7251?
True
Let d = -0.10117 + -57.26883. Which is greater: d or 0.1?
0.1
Let v = -3 + 30. Let s = v - 28. Let u = s - -1.1. Are -3 and u nonequal?
True
Let b = 3851 + -3297. Which is smaller: b or -2/3?
-2/3
Let l be (-51)/(-7) - 2 - -2. Let z = 17164 - 17158. Which is greater: z or l?
l
Let v(y) = 578*y - 35832. Let l be v(62). Suppose -g + 45 = 4*g - s, 0 = -3*g + 5*s + 27. Which is bigger: l or g?
g
Suppose -5*t - 9 = -2*t. Let s be (18/8)/t + (-38)/(-40). Is s >= 57?
False
Let b be 2/((-4)/6) + 49/(16856/1024). Suppose 14 = -5*z + 4. Let f be -1*(-3)/(z - 1). Which is smaller: f or b?
f
Let i = -68 + 72. Let t be -1 - ((-6)/16)/((-42)/(-168)). Which is greater: i or t?
i
Let i = -12 - -18. Suppose -4*d + f = -57, 5*d + f - 84 + i = 0. Let u = -209 + 223. Which is smaller: d or u?
u
Let w = 7.74 + 1.26. Let l = 9.1 - w. Which is greater: -47 or l?
l
Let c(x) = x**3 + 24*x**2 - 11*x - 13. Let k be c(-25). Which is smaller: -367 or k?
-367
Let a(d) = -10*d + 102. Suppose 7*m = -m + 56. Let i be a(m). Is i less than or equal to 36?
True
Let m be 5 - 16/(-12)*(-30)/10. Which is bigger: 29/23 or m?
29/23
Suppose -4*r - 62 + 322 = -4*a, 3*r - 2*a - 200 = 0. Let s = 54 - r. Which is smaller: -17 or s?
-17
Let k(x) = 9*x + 11. Let h be k(2). Let u = -19134/7 + 2761. Does u = h?
False
Suppose -1195*y + 5 = -1190*y. Is 1/785 <= y?
True
Suppose -15 = 5*b, 4*y - 7 + 4 = 5*b. Let q be (225/30)/(y/4). Let u be (-104)/53 + q/(-5). Which is bigger: u or -1?
u
Let t be 46/8 + 21/(-28). Let m(a) = -515*a + 20. Let b be m(t). Let x be b/95 - (-2)/(-19). Is x smaller than -27?
False
Let h = 160839163/767 + -209699. Which is greater: h or -1?
h
Let j = 348/322465 - 467102486141/2257255.