0 - 13*b**4/12 + 4*b**3 + 45*b**2. Let r be g(-9). Which is bigger: -148 or r?
r
Suppose 39438 - 9819 = 27*k. Is k at most 4387/4?
False
Suppose 0 = -17*u + 13*u - 32, -5*z + 3*u + 50509 = 0. Is 10097 at least z?
True
Let z = -4.16 + -546.84. Let i = -550.97 - z. Which is bigger: -39 or i?
i
Let y = -9211943/149988 + 15/12499. Are y and -61 non-equal?
True
Let a be (7095/45)/(-11) - -14. Which is smaller: a or -831?
-831
Let o = 5997 + -5980. Which is bigger: o or -18?
o
Let j = 209 + -196. Suppose 3 - j = -10*r. Do -1/12 and r have the same value?
False
Suppose -4*d + 5 = c + 53, 2*c + 8 = 0. Let a(v) = -v**2 - 10*v - 30. Let o be a(-8). Are d and o unequal?
True
Suppose 5496 + 5669 + 1885 = -9*x. Is x > -1450?
False
Suppose -5*y + 15 = 40, -w + y = -126. Suppose s + 4*x + 0*x = w, x + 569 = 4*s. Which is bigger: s or 139?
s
Let u be (8/2 - (4 + 1))/1. Let j(r) = r**2 - 3*r - 4. Let s be j(u). Which is bigger: s or -2/103?
s
Suppose -3*q + 54 = 4*s - s, -5*q - 2*s + 87 = 0. Let l be q/(-4) - 4/(-16). Let b be ((-7)/14 + -1)*4/6. Which is smaller: b or l?
l
Let j(m) = m**3 - 62*m**2 - 130*m + 176. Let l be j(64). Suppose 5*i - 12 = b, 4*i - b - 21 = -4*b. Is i > l?
False
Suppose -40*a - 354 = r - 37*a, -10 = -5*a. Is r smaller than -358?
True
Let h(t) = t**3 - 17*t**2 - 28*t - 27. Let q be h(19). Suppose 52*m - 8*m = 7172. Is m != q?
False
Suppose 0 = 4*b - 567 - 6025. Which is smaller: 1646 or b?
1646
Let g = -1 + 1. Let l = 4 - g. Suppose 330*q + 12 = 979 + 23. Which is greater: q or l?
l
Let i(k) = -120*k**3 + k**2 - 3*k - 4. Let r be i(-1). Let n be 2/(-8)*2*(-88)/r. Which is smaller: -1 or n?
-1
Suppose 513844 + 527120 = 305*f - 1856841. Is f bigger than 9501?
False
Suppose 97*l = -3*c + 99*l - 26, 4*c - 13 = -l. Let i = -2061/688 + 39/16. Is c != i?
True
Let z(j) = 4*j**2 - 10*j + 6. Let h be z(4). Let l be 5/(-2) + 765/h. Which is smaller: 25 or l?
l
Let z = -315 + 436. Suppose 127 - z = 6*c. Which is bigger: -68 or c?
c
Suppose -5*y + 13 = 48. Suppose 4*u - 2*b = 22, -3*b - 14 = -5*u + 12. Suppose 0 = -5*j + 10, 5*j = 6*o - u*o + 8. Are o and y unequal?
True
Let t be 0/(-1)*19/76. Let j(z) = 17*z - 9. Let l be j(6). Let d be -1*((-84)/l + 1). Is d greater than or equal to t?
False
Let t(h) = 234*h**3 - 7*h**2 + 9*h - 3. Let j be t(1). Let d = j + -233. Which is greater: d or 3/319?
3/319
Let q = -26443 + 31744. Is q smaller than 5299?
False
Let c = 20.81 + -21. Let b = -7.19 - c. Let v = 19 + b. Do v and 0 have different values?
True
Let f = 1.255 + 0.745. Is f <= -152?
False
Let q be ((-24)/9 - -2)/(8/1236). Suppose -y = -2, -y - 598 = -7*x + 2*x. Let u = x + q. Are u and 14 non-equal?
True
Suppose 2*o = 10*p + 6270, -5*o - 3105 = -74*p + 79*p. Is -621 greater than or equal to p?
True
Let o(q) = q**3 + 11*q**2 - 3*q - 27. Let j = 163 - 174. Let m be o(j). Is m < 5?
False
Let p be ((-624)/45 - 225/125)*151. Which is bigger: p or -2367?
p
Let w be (-2)/(-12)*14 - 3. Let f(x) = -x**3 + 24*x**2 + 35*x - 61. Let n be f(25). Are w and n equal?
False
Let a = 324 - 318. Suppose -92 = 2*w - a*w. Suppose -5*x + 3*x + 108 = 4*f, -4 = -x. Is f < w?
False
Let y(d) = -24*d - 120. Let a be y(-5). Suppose a = -63*o + 54*o + 36. Is o less than or equal to 84/25?
False
Let h = -0.01 - 0.09. Let n = 35.1 + h. Let b = -42 + n. Is -2 >= b?
True
Let w(g) be the second derivative of -g**5/20 - 7*g**4/12 + g**3/6 - 5*g**2 - 238*g. Let c be w(-8). Which is bigger: 50 or c?
50
Let l = 17319/14 + -1235. Let x = -473/7 + 66. Let k = x + l. Is -53 < k?
True
Let y = -17233 + 17233.72. Is 0.02 > y?
False
Let f = 24357 + -170784/7. Is f less than or equal to -2/19?
True
Let v = -809 - -1205. Let l be (-1408)/v*6/88. Which is smaller: l or 0?
l
Suppose 5*i + 184 = 1964. Let m = i + -416. Is m greater than -61?
True
Let i be (-42 - -47) + -2*71/2. Let n be ((-3)/45)/((-11)/i). Which is smaller: -622 or n?
-622
Let v = 1593 - 1592.3. Let j(m) = 2*m**2 + 14*m - 29. Let y be j(-9). Is y greater than or equal to v?
True
Suppose 52*b + 4138 = -11*b - 1091. Which is smaller: -84 or b?
-84
Suppose -40*f = -32*f - 40. Suppose -4*l + 20 = -4*o, f*o + 19 = -4*l + 7*l. Which is bigger: o or 7?
7
Let y(o) = -o + 1. Let f be ((378/(-35))/9)/((-3)/10). Let h be y(f). Let c be -3 + -4*h/(-6). Which is greater: c or -3?
-3
Let k = 5640 + -14547. Do -8907 and k have different values?
False
Suppose -7*u = 7*u + 728. Let w be (18/(-48))/((-33)/u). Is w at most as big as -1?
False
Let t be (6 + 0)/(-6) + 1. Suppose 3*p - 3*n + t*n = -102, -2*n + 38 = -p. Which is greater: -245/8 or p?
p
Let n = -0.028641 - -1.028641. Suppose 2*r + 2*r = -448. Is n bigger than r?
True
Suppose -2*k - 55 = -51. Let q be -4 + 7 + k/2. Suppose 0 = -q*m + 12 - 6. Which is smaller: m or 28/9?
m
Let j(n) = -9*n + 4. Let h be j(1). Let s(d) = d + 15. Let g be s(h). Let u be (1*g)/(48/27) - 3. Is u at least 4?
False
Let g be (33/22)/(1/(-6)). Let z = 10 + g. Let f = -222 + 2888/13. Is f greater than z?
False
Suppose -50*n = 11*n + 132*n + 1353895. Which is smaller: -7014 or n?
n
Let v(x) = -11*x - 68. Let j be v(-12). Suppose -j = -5*l + 2*w, -2 = -w + 1. Let c be (-55)/(-4) - 1/(-4). Is l at least as big as c?
True
Let j(k) = -18*k - k**2 - 35*k + 37 - 14*k + 25*k. Let p be j(-43). Do 0 and p have different values?
True
Suppose u + 2*u + 15 = 0, -5*u - 21 = 2*h. Suppose 380 = -p - 3*s, 1105 = -p - h*p - 2*s. Let j be (-3)/2 - (p/(-10) + 4). Which is smaller: j or -43?
-43
Let w(j) = 9*j - 82. Let b be w(-7). Let z = -152 - b. Which is bigger: z or -10?
z
Let k = 22.4 - 47. Let c = -24.7 - k. Is c less than or equal to 67?
True
Suppose -d = -4*a - 7, 0 = 5*a - 5*d + 2*d + 7. Let h be 246/(-35)*(-30)/(-66). Let i = 21/11 + h. Is a at least as big as i?
False
Let x(m) = -4*m**3 + 2*m + 1. Let a be x(-1). Suppose -a*k + p - 123 = -k, -k + p - 63 = 0. Let j = k + 57. Which is bigger: j or -11/6?
-11/6
Let x be (3 + (-21)/(-12))/(-10) + (-6)/15. Suppose 0 = -5*y - 0*y. Are y and x nonequal?
True
Let u = 2 - -2. Let p be 11769/48 - u - -2. Let d = p + -243. Is -1 bigger than d?
False
Suppose -4*p + 16 = 4*z, -3*p = 3*z + 2*z - 10. Let o be (2 + (3 - z))/(2/83). Which is smaller: 1/3 or o?
1/3
Let v(l) = 9*l**3 - 19*l**2 + 5. Let n be v(2). Which is bigger: n or -8/1603?
n
Let w = -0.19 + 1.39. Let o(d) = -8*d + 30. Let r be (-2)/(-4) - 7/(-2). Let p be o(r). Do w and p have the same value?
False
Let o = -0.0048 + -0.0062. Let j = 0.171 + 0.118. Let b = o - j. Which is greater: b or 3?
3
Suppose -19740 = 5*t + 7*t. Let o be (-1 - 0)/(47/t). Which is smaller: o or 242/7?
242/7
Suppose 5*m - 20 = 40. Let f be 4/m*-11 + 3. Let d = 12.6 - 12.3. Is d greater than or equal to f?
True
Let f(g) = -71*g**3 - 2*g**2 + 2*g - 2. Let r be f(2). Let j = r - -23532/41. Suppose -7 = 364*m - 352*m + 5. Do j and m have different values?
True
Let r(n) = 2*n + 1. Let g(o) = 1. Let t(q) = 6*g(q) + r(q). Let b be t(-3). Let a be (-6)/21 + (-3 - (-111)/21). Is b at most a?
True
Suppose 646 = 10*y - 114. Let v be (-148)/y - 1 - -3. Is -1 at most as big as v?
True
Let w be (-4)/(-26) + 2688/273. Let h be (w/35)/((-10)/14). Which is smaller: h or 1/44?
h
Let j be 2/25 + 438/150. Suppose 0 = -k + 5, 0 = -4*f + 6*f + j*k - 375. Which is smaller: 181 or f?
f
Let w(y) be the third derivative of -y**6/120 - y**5/4 + 17*y**4/24 + 8*y**3/3 + y**2 + 59. Let u be w(-16). Is 9/19 less than or equal to u?
False
Let z = -18187/2692 - -4/673. Which is bigger: z or -6?
-6
Suppose -2*c - 4*d + 5 = 17, 0 = -5*d - 15. Suppose 0*l = l + 4*m + 7, -m = 2. Let f be (l - 6)/(-530)*2. Which is smaller: f or c?
c
Let a = 299318/5896165 - 90/1817. Which is smaller: a or -1?
-1
Let r be (14*40/2800)/(-1*(-1)/(-5)). Let w = 262 + -42178/161. Which is smaller: r or w?
r
Let d be 24/(-2)*3/(-4). Suppose -d*w = -7*w - 60. Suppose 10 = -5*o + 2*s - 14, 5*o + w = 5*s. Is o at least as big as -3?
False
Let b = 333 - 310. Is b bigger than -0.7?
True
Let u be (126180/(-54))/(-5)*27/6. Which is bigger: u or 2104?
2104
Let w = 696561/19822 - 773/22. Which is greater: -1 or w?
w
Let t = 7 - 7.1. Let u = -4107/2 + 2051. Is t >= u?
True
Let s = -551 + 488. Let c = s + 20. Is -39 < c?
False
Suppose -c + 7 = -m, -3*c - 2*m + 1 = -0*m. Suppose -31*l - c = -32*l. Let f be (18/(-21))/(