= -10 - -28/3. Which is greater: g or b?
b
Let m(h) = -h**2 + 8*h + 13. Let b be m(9). Suppose -3*w - a + 15 = 0, -5*w - 4*a - 2 + 27 = 0. Suppose -5*k + 20 = -w. Which is smaller: b or k?
b
Suppose c + 1 = 2. Let u = -27 + 198/7. Which is bigger: c or u?
u
Let u be (4 + (-22)/6)*27. Suppose -u = -4*a - 5. Let m be 3*(2/33 + 0). Which is smaller: m or a?
m
Let f be (5/3)/((-2)/(-6)). Suppose -3*v - 6 = -f*v. Which is smaller: v or 5?
v
Suppose -60*c - 1 = -61*c. Which is smaller: c or 6?
c
Suppose -3*w + 1 = q, -5*w = 5*q + 6 - 1. Are 1/8 and w equal?
False
Let l = -12.6 + 19.6. Is 32 less than l?
False
Let g be 1/2*2*(-41 + 1). Let i = g - -39. Which is greater: i or 0?
0
Let f = -4 - -2. Let t = 91 - 87. Is f smaller than t?
True
Let a = 1.5 - 8.5. Let u = 9.2 - 8.95. Let d = u + -0.45. Which is greater: a or d?
d
Let f(j) be the third derivative of -j**6/120 + j**5/60 + j**4/8 - j**3/2 + 23*j**2. Let z be f(2). Is 14/9 less than z?
False
Suppose -3*n = -n - 28. Suppose 0 = -15*a - 179 + n. Is -2 > a?
True
Let v(m) = m - 12. Let u be v(13). Let x = -2 - -3. Let b be -1 + x + u/3. Which is greater: b or -0.04?
b
Let f be 3 + 3*3/(-9). Let s be 2917/18 + (f - -1). Let o = -165 + s. Which is smaller: o or 1?
o
Suppose 0 = -5*u - 3*s - 0*s - 5945, -2*u + 3*s = 2378. Let a = -5969/5 - u. Which is smaller: a or -5?
-5
Let m be ((-2)/6)/((-1)/(-3)). Let i = 168 - 164. Let r be (i/3 - 0) + (-76)/21. Is r bigger than m?
False
Suppose -2*k = -2*f, -f + k - 3 = -3*k. Let l be -1*(-2 + (-295)/(-149)). Let p = 1320/1043 + l. Which is smaller: f or p?
f
Let a(d) = -d**2 + 62*d - 378. Let n be a(53). Which is smaller: n or 95?
95
Let v = 12/7 - 2. Let l = 0.08221 - -14.91779. Which is bigger: v or l?
l
Let n(g) = 5*g**3 + 14*g**2 + 7*g + 3. Let a be n(-3). Is a less than -27?
False
Let u = -1 + 1. Suppose -c + 3 + 1 = u. Suppose -c*q + 2*z + 16 = 0, 3*q - 4 - 8 = z. Is q at most as big as 5?
True
Let o be 39*(-26)/13*1/3. Let p = 22 - 47. Does o = p?
False
Let s = -12 + 16. Let t be (300/42 - 7)/(2/s). Which is greater: 28 or t?
28
Let g be 10*32/24*18/15. Let a(v) = -v - 6. Let s be a(-9). Suppose 3*f = 5*n + 30, -s*n + n + 66 = 4*f. Which is smaller: g or f?
f
Let b(r) = -r**2 - 41*r + 444. Let x be b(10). Suppose 0 = -4*n - 0 - 268. Which is greater: n or x?
x
Let c = 1280.791 + -1281. Which is smaller: c or -3?
-3
Suppose 3*n = n + 6. Let w = n + -1. Let r be (24/57*(-4)/(-16))/1. Are w and r non-equal?
True
Let o = -19 + 31. Let q = o + -13. Is q at most as big as -5?
False
Let s be (-6)/27 - (-4)/45. Suppose -3*b = -2*a - 5, 4*b + 5*a = 10*a + 9. Which is greater: b or s?
b
Let f(m) = 11*m - 5. Let x(o) = -o + 1. Let w(y) = -2*f(y) - 2*x(y). Let a be w(-4). Let p = 179/2 - a. Are p and 2 equal?
False
Let d = 6 + -29/5. Let b(l) = -3*l - 59. Let a be b(-21). Suppose -5*f = 3*s + 2, 3*s = a*s + f. Which is smaller: s or d?
d
Let o = 3 - -5. Let n = 3762 - 33796/9. Which is smaller: n or o?
n
Let c = -42617745/26 - -1639369. Let i = -225 + c. Is -1 > i?
False
Let u be (26/(-4))/(29/174). Which is greater: u or -194/5?
-194/5
Let r = 0.184 - -13.816. Let h = 3.04 - 0.04. Which is greater: h or r?
r
Suppose -2*k = 2*k + 92. Suppose 3*l + 28 = -y, -11*y + 9*y + l = 49. Are k and y unequal?
True
Suppose -2*j + 0*t - 167 = -3*t, 0 = 2*j + t + 155. Let o = 79 + j. Is -1/41 >= o?
False
Let r = 6 - -7. Let i = 3 - r. Let p = 39.4 + -39.3. Which is smaller: i or p?
i
Let r = -382 + 383. Which is greater: -6/103 or r?
r
Let h = -353.4 - -340. Let n = 17 - 4. Let i = n + h. Is i bigger than 0.1?
False
Let n be 5 - 24/3 - (-2 + -1). Is n > -1?
True
Let g(y) = -y**3 - y**2 + 13*y + 12. Let i be g(0). Which is bigger: i or 16?
16
Suppose 44*f - 48*f = 248. Let a = f + 38. Which is smaller: a or -23?
a
Let n = -35 + 37. Let l = 53 + -103/2. Which is smaller: l or n?
l
Let s be 3/(-6)*(-8 + -60). Suppose 5*x - p = 5, 0 = -2*x + 5*p + s - 9. Which is bigger: 1/4 or x?
1/4
Let b = 2472 - 36914/15. Which is smaller: 12 or b?
b
Let y be (-1)/(-1) + (-5)/1. Let v = 36 - 34. Suppose -2*z = -a + z + 13, -v*z = -2*a + 6. Do a and y have different values?
True
Let i = 40.48 + -42. Is i < 0?
True
Let g(m) = -12*m**2 - 2*m - 3. Suppose 4*u - 1 = 5*u. Let c be g(u). Suppose n + 17 = 3. Which is greater: n or c?
c
Suppose 2*m + j - 6 + 1 = 0, 2*m - 2*j - 14 = 0. Suppose -2*b + p = -45 + m, 5*b - 5*p - 105 = 0. Which is smaller: b or -0.1?
-0.1
Suppose -4*n + 3*x = -51 + 12, 0 = -n - 2*x + 18. Let h = n + -13. Which is smaller: h or -2/243?
h
Let f(k) = -2*k**2 + k + 1. Let y be f(2). Let i be (5/(-2))/(-5)*-20. Let w be 5/i + 18/(-4). Is w at most y?
True
Let v be (2/(-15))/(204/(-85)). Which is greater: v or -0.6?
v
Let h(y) = -3*y**3 + y. Let w(u) = 10*u**3 - u**2 - 4*u - 1. Let j(o) = 7*h(o) + 2*w(o). Let f be j(-2). Suppose f = 3*x + 4 - 13. Which is greater: 4 or x?
4
Suppose -2*h = q + 8, -5*q + 7 = -3*h - 5. Let p = 0 + q. Let r(n) = 3*n - 14. Let f be r(4). Which is bigger: f or p?
p
Suppose -y + 7 + 2 = 0. Suppose -u = 2*r + r + 54, -u = -3*r - 54. Let z = r + y. Is -9 >= z?
True
Let g = -13 - -27. Suppose i + c = 5*c + 60, 2*i - 5*c = 114. Suppose -2*y = 2*y - i. Is y at most g?
True
Let l(b) = -8*b**2 + 57*b + 114. Let d be l(-2). Is d at least -31?
False
Let p = -4/207 - 1019/828. Let o be (-2 + 4)/(2/4). Suppose -o*d = -2*x - 2 - 0, -2*x - 5*d - 2 = 0. Is x < p?
False
Let p = 40.9 + 0.1. Let m = -43.7 + p. Does 1 = m?
False
Let b = -1675890/49 - -34200. Is -3 > b?
False
Let g = 4.2 + -4. Let b = g + 13.8. Let c = b + -15. Which is smaller: c or 3/5?
c
Let j = 760 - 759. Is j <= 7/72?
False
Let k = 1184/117 - 120/13. Suppose 91*x - 10 = 86*x. Which is greater: x or k?
x
Let k be 78/(-468) - (235/(-6))/(-5). Let c be 2/(-2) + 10/k + 1. Let u = -5 - -8. Is u smaller than c?
False
Let l = 0.03 - 0.63. Let r = -2.6 - l. Let c be 3 - ((-376)/(-30))/4. Which is smaller: r or c?
r
Let m(z) = -2*z**3 - 3*z - 3. Let o be m(-1). Which is smaller: o or -1/6?
-1/6
Let a be 12/(-18) + 8300/3. Let h = 33151/12 - a. Let m = h - -15/4. Which is greater: m or -3?
m
Let a = 885.9 + -886. Does -79 = a?
False
Suppose -39 = -2*d + 5*d. Let x be (24/(-33))/4 + (-46)/(-11). Suppose x*b = 2*b + 6, -3*t - 33 = 2*b. Is t > d?
False
Suppose -2*s - 173 + 121 = 0. Is s bigger than -25?
False
Let j(o) = -o**3 + 0*o**3 - 9*o**2 - 2*o + 4 - 5 - 6*o. Let y be j(-8). Let z be 15/6*4/(-205). Which is smaller: y or z?
y
Let u = 29.17 + -3.17. Is u greater than 10?
True
Suppose 4*i - 6*i - 10 = 0. Let n be -1*(6 - 1)/i. Which is bigger: 0 or n?
n
Let d = 0.7 - 57.7. Let u = d - -49.2. Let r = u + -2.2. Is r bigger than 1/3?
False
Suppose -14 - 36 = 2*s. Let v = s + 32. Let o(l) = -2*l - 7. Let y be o(-6). Which is smaller: y or v?
y
Suppose s + 4*t + 2 = -1, t + 34 = -5*s. Let g(i) = 3*i + 1. Let x be g(s). Let z = x + 14. Which is smaller: z or -4?
z
Let z = 4.3 - 106.3. Which is greater: z or 0.1?
0.1
Suppose -4*i - 346 + 1110 = 0. Is 191 greater than i?
False
Let t be ((-9558)/1905)/(-18) + (-1)/5. Which is bigger: -1 or t?
t
Suppose -2*j - 88 = -6*j. Suppose -4*r - 3*z = j, -4*z = -2*z - 4. Let y = -4 - 2. Is y less than r?
False
Let t = 3.006 - 2.54. Let u = t + -0.076. Is u >= 0?
True
Suppose u = -6*v + v, -5*u = 3*v. Which is smaller: u or 1/32?
u
Let n = 78 + -77. Let g be ((-3)/(-2) - n/2) + -13. Is g at most -12?
True
Let k = -16 + 43. Let q be -2*(0 + 1) - k. Which is smaller: q or -30?
-30
Let o(t) be the second derivative of t**5/20 + t**4/12 - t**3/6 - 9*t. Let k be o(0). Let j be (-15)/12*1/20. Is k <= j?
False
Let z be 462/(-1422) - 1/(-3). Is -1 at least z?
False
Let v(y) = -2*y**2 + 15*y. Let r be v(8). Let b be -4 - 1/r*35. Which is smaller: b or -1/3?
-1/3
Let f be 5/(20/(-8)) - 186010. Let p = f + 2234353/12. Let j = p + -184. Is j not equal to -1?
True
Suppose -164 = 5*y + 3*l, 0*y + 112 = -3*y + 5*l. Let d = -31 - y. Is d bigger than 0?
True
Let i = -33 - -12. Which is bigger: i or -23?
i
Let n = -2/9629 - 38430/414047. Let a = -1 + 0. Is a at most n?
True
Let q = -17/26 + 2/13. Suppose 3*l + 4*n + 245 - 51 = 0, -l + 2*n = 48. Is q smaller than l?
False
Let m(h) = 4*h**2 - 4*h - 1803. Let v be m(0). Do v and -1803 have the same value?
True
Let i = 100/29 + -6983/116. Is -57 at m