9*a + 4643*a - 1844, -2 = -a. Which is smaller: -1838 or m?
-1838
Let h = -4 - -3. Suppose w + m + 544 = 0, w - m = 4*w + 1622. Let n = -15629/29 - w. Which is smaller: h or n?
h
Let v = 899845/651 - 9675/7. Which is bigger: 3 or v?
3
Let c = 550 + -553.177. Which is smaller: 1 or c?
c
Let j = 1 - -48. Let p be 68/213*j/112. Let v = p + -4/71. Is 0 less than v?
True
Let j be 60/25 + -3 - (-543054)/(-435). Are -1240 and j equal?
False
Let l be 5*(-12)/15*3/(4 + -1). Let s(u) = -2 + 5*u + 6*u**2 - u**2 - 4*u**2. Let w be s(-5). Which is greater: l or w?
w
Suppose 6*i + 32*i - 950 + 1292 = 0. Is i >= -25?
True
Let t(n) = n**2 + 10*n - 3. Suppose 0 = 3*l + 4*v + 30, 0*v = -l + 2*v - 10. Let a be t(l). Let b be a*1/(-63)*1. Which is smaller: 3 or b?
b
Let p(l) = 4*l**3 + 57*l**2 + 7*l + 4. Let c be p(-14). Which is greater: c or 103?
103
Suppose 3*k + 3*h = 3, 4*k = 3*k + 2*h + 10. Suppose 0 = k*m - 4, 2*s + 3*m = -5 - 18. Is 2 less than s?
False
Let s = 44641/80 + -558. Which is smaller: 16 or s?
s
Let b(a) = a**3 + 5*a**2. Let c be b(-5). Suppose 7*z = 2*z, c = -2*g + z - 18. Which is bigger: 0 or g?
0
Suppose 3*r - 2*q = 254, 2*q - 73 - 377 = -5*r. Suppose -2*m + 4*j + r = 0, 2*m + 5*j + 26 = 114. Is 306/7 at least as big as m?
False
Let d = -7/24419 - -19122989/10158304. Let x = -11/32 + d. Which is bigger: 1 or x?
x
Let h = 1597.985 - 1600. Let n = 0.815 - 0.8. Let l = h + n. Is -4/3 bigger than l?
True
Let i be (-1 + 19)/(15/10). Let h be (1122/i)/(6/(-12)). Does h = -185?
False
Let t(q) = -q**3 + 10*q**2 - 18*q + 12. Let i be t(8). Let d be (i/(-6))/(22/(-33)). Which is smaller: 1/11 or d?
d
Suppose -628*h + 632*h = 2*f + 8, 3*f + 4*h = 8. Is 4/1075 at most f?
False
Let g be -1*0/(-12)*1/1. Is g less than -8/87?
False
Let w = -2904181 - -579369588597/199495. Let q = w + -175356137/3191920. Let f = q - -55. Which is smaller: 0 or f?
0
Let t = 45596/40457 + 6/1759. Let x = -2424 + 2425. Which is smaller: t or x?
x
Let x(f) = 5*f**2 + 7*f + 1060. Let i be x(0). Which is smaller: i or 3182/3?
i
Let h be ((8 - 64)/2)/((-1)/(-9)). Suppose s = -2*b + 2*s - 505, -b + 5*s - 248 = 0. Which is smaller: b or h?
b
Let m be 0 - (2 + (-96)/46). Suppose 4*p = -5*p + 513. Suppose -p*z + 25*z = -32. Is z at most m?
False
Let q be 65/5 + 3962/(-98). Suppose 0 = -c - 38 + 10. Which is greater: q or c?
q
Let q be 37/7 - 6/21. Suppose -62 = -2*l - 5*h, 5*l = -q*h + 45 + 80. Let m be 26/(-7) + 4 + (-6)/l. Is -1 at most m?
True
Let q be (264/1138720)/((-9)/(-8)). Which is smaller: q or 1?
q
Let b be 22/(-341) + 20092/62. Which is smaller: 323 or b?
323
Let x(a) = -40*a**3 + 8*a**2 - 21*a + 9. Let b be x(2). Which is greater: -1598/5 or b?
-1598/5
Let z be (-3 - -2)/(723*8/(-48) + 9). Is -0.03 bigger than z?
False
Suppose 73 = -8*v - 7. Let j be (-488)/80 - (v - -3). Suppose k - 5 = -4*k. Is j smaller than k?
True
Let o = 77.96 - -1.04. Let c = 78 - o. Let a = -3 - -3.3. Which is smaller: c or a?
c
Let m = 3 - 4. Let a = -91/40 + 15/8. Let i = 3/10 + a. Which is bigger: i or m?
i
Let a = -67 + -21. Let m be 1/7 + a/77. Which is smaller: 2/43 or m?
m
Suppose f = 2, -3*f = -3*b + 2*f - 22. Let d be 12/66 + b/22. Let w = -762 + 11444/15. Do w and d have different values?
True
Let u(z) = -3*z**2 + 138*z + 218. Let a be u(47). Which is smaller: 79 or a?
a
Let v(t) = -11*t + 12*t + 6 - 6*t. Let i be v(-3). Let y = i + -13. Which is bigger: 7 or y?
y
Let d be 75 + -102 + 31 + (-10)/26*10. Let r(i) = -i - 5. Let v be r(-4). Which is smaller: d or v?
v
Let g = -255 - -251. Let j(r) = 2*r**3 + 5*r**2 - 5*r - 7. Let h be j(g). Which is greater: h or -36?
h
Let v be ((-18)/(-27) + (-132)/171)*8. Suppose 15 = 8*i - 3*i. Let m = i - 4. Which is bigger: m or v?
v
Let m(i) = -i**3 - 9*i**2 + i + 7. Let y be m(-9). Let v be (1/(-52))/(y/4). Let c(t) = -t + 8. Let b be c(7). Is v smaller than b?
True
Let w = 39.22 + 1195.78. Is 2 >= w?
False
Let r = -55 - -55. Suppose -14*f + 121 + 159 = r. Which is greater: 9 or f?
f
Suppose 2*l - 6*l + 2*c = 3872, 2 = -c. Let v be l/918 + -1 + 7/6. Is 0 smaller than v?
False
Let b = -64 + 69. Suppose l - 19 = 5*l - b*m, -5*l + 4 = 3*m. Is l > -5/19?
False
Let p = 8747 + -8745. Are -47.6 and p nonequal?
True
Suppose -74*i + 9*i - 4335 = 20*i. Which is smaller: -57 or i?
-57
Let z be (-4)/(-6) + (-10)/6. Let a be 3/(-1380)*10*6. Is a at least as big as z?
True
Let v be (10/5 - 2) + (-2 - -2). Suppose 1 = q - 0*q, 3*i + 3*q + 171 = v. Are -57 and i non-equal?
True
Let a(y) be the first derivative of -3*y**2/2 + 31*y + 6. Let n be a(11). Let p be (n - (4 - 5) - 1) + -4. Which is greater: 10 or p?
10
Let a be -1*(5654/330 - (-4)/120*-4). Which is smaller: a or -184/11?
a
Suppose m + 37 = y, -4*y + 2*m + 96 = -52. Let g(c) = 5*c**2 - c - 4. Let s be g(3). Is y <= s?
True
Suppose 5*w = -4*q + 37, 7*q - 2*q + 3*w = 30. Let l(n) = 3*n - 4. Let x be l(q). Let z be 4/6 - x/12. Does z = -1?
False
Suppose 582 = 8*v + 598. Which is smaller: -290 or v?
-290
Suppose -u + 19 + 1 = 0. Suppose -20*k - u = -0*k. Suppose 0 = -5*w + 5*l, 0*w + 4*l + 2 = 3*w. Which is greater: w or k?
k
Suppose 3*p = 4*p - 2, -2*l - p = -40. Suppose 2 = -l*b + 2. Which is smaller: b or -2/429?
-2/429
Suppose -311*s = -345*s - 170. Is s at least -184/33?
True
Let m = 114 + -105. Let w be -4*((m/(-66))/(-3))/(-9). Suppose 2*o - 5 = p + 4, 4*p + 5*o = 29. Which is bigger: p or w?
p
Let g = 327 + -322. Suppose -2*l + g*r - 21 = 0, -4*l + l - r - 6 = 0. Which is greater: -20/9 or l?
-20/9
Let n(b) = b**3 + 8*b**2 - 232*b + 33. Let j be n(16). Is -0.3 equal to j?
False
Let r = 2417.12 - 2417. Which is smaller: r or 4?
r
Let x(d) be the third derivative of d**6/360 + 29*d**5/120 + 5*d**4/24 + 13*d**2. Let z(b) be the second derivative of x(b). Let h be z(-9). Is 8 > h?
False
Let i(d) = -d - 16. Suppose 0 = p + 4*g - 9, 4*p - 8 = -2*g - 0. Let x(h) = -16*h**2 - 3*h + 2. Let c be x(p). Let l be i(c). Is l bigger than 1/79?
True
Let f(y) = -8*y + 13. Let o(i) = -4*i - 2. Let w(a) = a + 1. Let q(t) = o(t) + 3*w(t). Let z(h) = -f(h) + 5*q(h). Let s be z(0). Is -5 smaller than s?
False
Let g = -80.56568 + 0.19568. Let w = 80 + g. Let l = 0.47 + w. Which is smaller: 1/7 or l?
l
Suppose u = -3*u - 628. Let y = -171700 + 171699. Are u and y unequal?
True
Let b be 51/1 - 4/(-1). Let q(s) = 4*s**3 - 8*s**2 + 7*s - 2. Let z be q(1). Which is smaller: b or z?
z
Let y = 189028/5 - 2780412872/73545. Which is smaller: 1 or y?
y
Suppose -24*m + 17 = -41*m. Is m < -8/149?
True
Let t = -212.5 - -232.5. Let p = -230 - -210.05. Let n = p + t. Is n < -0.08?
False
Let p = -117 - -115. Let x be -3 + (2 - (-3 - (16 + p))). Is 4 at most x?
True
Let r(n) = 9*n + 10. Let z be r(1). Let j be z/(570/(-792)) + 2/5. Is j less than or equal to -24?
True
Let x be 4/(-26) + 246/78. Suppose 4*m - 12 = -x*b, -2*b + 7 = -m - 1. Let s be 8/31*4/8. Is s smaller than m?
False
Suppose 4*i - 5*g - 684 = 0, 3*i + g = -2*g + 540. Let s = -7 - -97. Suppose -s = -i*j + 171*j. Is 2/5 less than or equal to j?
True
Let c(w) = -w**3 - 7*w**2 - 9*w + 11. Let m be (7/21)/((-3)/36). Let r be c(m). Which is bigger: r or 10/37?
10/37
Let o = -28 + 57. Let g be (o + -139)/(0 + 2). Are g and -54 equal?
False
Let y = -161.956 + 162. Let z = -3.044 + y. Let h be (6/(-8))/((-6)/4). Is h less than or equal to z?
False
Let j = -137380 + 137377. Let i = 0.3 - 3.3. Let h = 2.95 + i. Which is smaller: h or j?
j
Let x be (3/69*-1)/(15 + (-1273)/152). Are 1 and x equal?
False
Suppose 0 = 1091*v - 1106*v + 30. Let t be ((-1955)/1980)/(-1) - (-4)/(-22). Are t and v equal?
False
Let v be (-4)/(-8)*8/(-102). Which is greater: v or -61?
v
Suppose 3*a - 267 = -3*z, -178 = -2*z - 4*a + 8. Suppose 6*d = -z + 73. Is -137/3 greater than d?
False
Let h(s) = 12*s + 2 - 3 + 1 - 3. Let c be h(-1). Let i be c/(-160)*((-75)/(-9))/(-5). Which is smaller: -1 or i?
-1
Suppose 78*v = 73*v + 120. Suppose 4 = 2*d, 3*d + v + 4 = -b. Does b = -32?
False
Let b = -454015776/5749 + 78973. Which is bigger: b or -3?
b
Let y be (-420)/(-16) + (-5)/4. Suppose -g = -3*l - 15, -12*l + 7*l + g - y = 0. Does l = -4?
False
Let n be 71296/120 + 12/(-90). Suppose 5*d + 2*o + 175 + 569 = 0, 0 = 4*d + o + n. Is d smaller than -148?
False
Suppose -8096*b + 8023*b = 0. Which is greater: 214/337 or