). Which is smaller: t or b?
b
Let j(w) be the third derivative of w**5/60 + 3*w**4/8 - 5*w**3/3 - 3*w**2. Let u be j(-10). Let i = 192 - 2502/13. Which is smaller: i or u?
i
Let t(x) = x + 18. Let a be t(-14). Let n be -1*(a - 5 - 15). Is 16 less than n?
False
Let g = 2.15 - 2.2. Let b be (-1 + 4)/(1 + -2). Let j be (-4)/b + 5/(-15). Which is smaller: j or g?
g
Let n = 18 - 12. Suppose 2*f = -y + 12, -3*f + 29 = 3*y - 19. Suppose 0*x + 4*x = y. Is x bigger than n?
False
Let u = -2559 - -632067/247. Let d = -327596257376/8645 + 37894304. Let y = u + d. Is 1 != y?
True
Let a = 10 - 11. Let c = -2812/6273 - 1/369. Let n = -2/17 - c. Which is smaller: a or n?
a
Let q = 499/12 - 115/3. Let v = 6 + -4. Suppose 7 = v*m + 1. Which is smaller: m or q?
m
Let n = 63 + -63. Suppose -2*c - 5*k + 5 = n, k + 2 = -3*c + 3. Do c and 4 have the same value?
False
Let v = 3.9 - -81.1. Let w = -84.8 + v. Is -6 != w?
True
Let p = -22 + 36. Let g = -251 - -236.8. Let b = g + p. Are 0.2 and b nonequal?
True
Let y = -13 - -11. Let u be 1/y*(-12)/(-6). Let g = -5 - u. Which is smaller: g or -7?
-7
Let y = -10 + 13. Suppose -2*a + l = -2, y*l + 16 = 7*l. Suppose -4*o - 5*j - 26 = 0, a*j = 2*j - 2. Is -14/5 smaller than o?
False
Let l = 661.7 - 662. Is l less than -138?
False
Suppose 0 + 18 = -y. Let f = y + 20. Suppose -2*u = f*u. Which is greater: u or -5/4?
u
Let b be (-48)/(-744) - 412/5425. Let r be (-1)/(0 + 2/(-2)). Which is smaller: r or b?
b
Let s(b) be the second derivative of b**4/12 + 7*b**3/3 + 6*b**2 + 7*b. Let h = -22 - -8. Let u be s(h). Do 11 and u have the same value?
False
Let s(f) = -15*f**2 - 5*f - 3. Let x be s(2). Is x <= -73?
True
Let t(s) = -s**3 + 14*s**2 + 16*s - 16. Let w be t(15). Let k be (-1 + 2)*w/(-2). Let x = 59/2 - 30. Which is smaller: x or k?
x
Let g be -15*2/(-5) - (3 - -1). Which is smaller: -34 or g?
-34
Let q be (-1 + 0)*4 - (35 + -36). Let s be 5/(-3)*q*(-1)/(-6). Let a be 40/18 + (-2)/9. Which is bigger: s or a?
a
Let a be (-3)/2*4 - -2. Let n be (-4 - a)/(2 - 5 - -1). Is 4 at most as big as n?
False
Let n be (0 + -456)/((-2 - -1)*1). Suppose 7*j = -n + 148. Is j < -44?
False
Let d = -10/373 + 1831/110035. Do d and 0.1 have the same value?
False
Let a(p) = 2*p + 233. Let z be a(-34). Is 165 at least z?
True
Let z = -9.8163 - -0.0163. Is z at most 2?
True
Let u = 8536713/577 - 14795. Is 1 at least as big as u?
True
Let v be (-1 - -7)*1*(-12)/(-18). Let i be 8/490*(-3 + 22/v). Let s(d) = d**3 - 2*d**2. Let n be s(2). Which is smaller: i or n?
n
Let g = 120 - 120. Which is smaller: -1/37 or g?
-1/37
Let o = 1968878/171 - 11514. Which is bigger: o or -1?
o
Let l = -51 + 18. Let y = l - -30. Which is smaller: y or -4?
-4
Let h be (-12)/(-42)*(16 - 2). Suppose h*f + 23 = 3*l, 4*f + 14 = 2*l - 4. Suppose n = 5*s - 21, l*n - s + 1 = -2*s. Which is smaller: -1/5 or n?
n
Let j = 7 + -3. Suppose 2 = j*k + 3*v, 2*v + 12 = 3*k + k. Which is smaller: k or -0.1?
-0.1
Suppose -20*i - 6 = -19*i. Do -19/4 and i have the same value?
False
Let z = -2373 - -3169. Are 1 and z unequal?
True
Suppose -3*z = -0*z - 18. Suppose 6*k - 35 = -17. Suppose -z = -i + k*i. Is -1 greater than or equal to i?
True
Suppose -34*z = -44*z - 30. Let x = 4 + -3. Are x and z nonequal?
True
Let v = 2.3 + -2.8. Let x(l) = l**3 - 2*l**2 + 2*l - 1. Let j be x(1). Which is bigger: j or v?
j
Suppose 0 = -3*t - 5*i - 3, -4*i = -5*t + 7*t + 2. Let j = 7/1362561 - -51920386534/72215733. Let l = j + -719. Is l smaller than t?
False
Suppose w + 3*t = -252, 2*t = -3*w - t - 774. Which is smaller: -784/3 or w?
-784/3
Let i = 4008 - 56113/14. Suppose 3*s - 2*s + 2 = 0. Is s greater than i?
False
Suppose -l - 5*f = -8 - 28, -4*l + 4*f + 96 = 0. Is 27 < l?
False
Let f = -154 - -154. Is f != -11?
True
Let s be (510/(-24))/(5/20). Let v = s - -87. Which is greater: -1/12 or v?
v
Let o(l) = l**2 - 13*l - 18. Let s(y) = 4*y + 5. Let z be s(2). Let r be o(z). Which is greater: -19 or r?
r
Suppose 2*c = c - 1. Let u = 267/10 - 519/20. Which is smaller: u or c?
c
Let y = -2 - 1. Let w = 36.2 - 36. Are y and w equal?
False
Let q = 115/28 + -17/4. Let z(b) = b**3 + 7*b**2 + 8*b + 13. Let v be z(-6). Is q > v?
False
Suppose -22*d = -60 + 214. Is -14 at most as big as d?
True
Suppose 0*a = 3*a + 45. Let h be ((-2)/6)/(21 + a). Which is smaller: -1 or h?
-1
Let o be -82 + 84 + 1/(478/(-960)). Is o < 1?
True
Let c = -82 - -164. Let t = 817/10 - c. Does 0 = t?
False
Suppose a + 15*a + 64 = 0. Let x = -3 + 2. Is x <= a?
False
Let q(v) = v**2 - 5*v - 1. Let l be q(7). Suppose -y - l - 14 = -3*b, -5*y - 4*b - 40 = 0. Is y less than -13?
False
Let v be (1/(-1))/((-6)/(-120)). Let h = -51 - -32. Let y = v - h. Which is bigger: y or -1/2?
-1/2
Let i = -79 + 89. Suppose 17*x - i = 7*x. Which is greater: 2/85 or x?
x
Suppose 414*p - 11 = 425*p. Which is bigger: -4/421 or p?
-4/421
Let n = -115 - -809/7. Let i be 19/7 + 4/14. Suppose i*t = 4*t. Which is smaller: n or t?
t
Suppose 0 = -4*g - 51 + 119. Let f = g - 17. Is f at most as big as 2/31?
True
Let j = -247 - -1231/5. Suppose 2 = 3*h - 7. Suppose -2*o + 15 = -3*o - 4*q, -h*o + 11 = -2*q. Is o < j?
False
Let z = -7 - -5. Let w = 2 + z. Let b = 2/13 + 29/65. Which is smaller: b or w?
w
Let w be ((-15)/(-9))/(35/21). Which is smaller: 4/31 or w?
4/31
Let r = 0.138 - -29.862. Is 1 smaller than r?
True
Let z = 18 - 20.1. Let q = -1.4 - z. Let b = -2 + 1.8. Which is greater: q or b?
q
Let g be (-75)/(-6)*(-1)/(15/84). Let r = g - -69. Is r less than -2/5?
True
Let u = 0.1 - 0.1. Let m = -1240/3 + 415. Is u less than m?
True
Let r = 121 + -80. Let g = -41.17 + r. Let a = -0.12 - g. Which is greater: a or 1?
1
Let j be -3*3/(-27) - 111/9. Is j >= 0.02?
False
Suppose -4 + 19 = -3*j. Let g = j + 6. Suppose 0 = w - 3 - g. Are 6 and w nonequal?
True
Let b(p) = -p**3 + 10*p**2 - 15*p - 7. Let w be b(8). Which is greater: 4/23 or w?
w
Let b = -0.76 - -123.76. Let d = 122 - b. Which is greater: -5/7 or d?
-5/7
Let w(v) = v**3 - 2*v**2 - v - 4. Let y be w(3). Let x be (-1)/y + (-10)/(-12). Let l = 1343/6 + -14749/66. Is l > x?
True
Let v be (-166)/21 + 6 + 2. Which is smaller: v or 2/11?
v
Let x = 0.45 + 0.35. Let r = x + -3.8. Which is bigger: r or 0.2?
0.2
Suppose 5 = 5*r - 10. Let u be 10*r/(-18)*-3. Is u > 7?
False
Let g be ((-90)/(-24))/((-3)/8). Let s = -15 + 4. Are s and g equal?
False
Let u be 200/(-14) - 6/(-21). Let h(b) = -13*b**3 + b**2 - 2*b + 1. Let n be h(1). Is n <= u?
False
Suppose 9*h - 4*h = 0. Let s = -70029/35 - -2001. Is h at most s?
True
Let x = 22 + -33.4. Let m = x + 3.4. Which is greater: m or -2?
-2
Let c = 1140 + -1201. Are c and -60 non-equal?
True
Suppose 3*m + 11585 + 5191 = 0. Let t be m/1396 + (5 - (4 + -3)). Is 1 <= t?
False
Suppose 0 = -5*y + 7 + 23. Let v be y/21 - 66/(-14). Suppose p + 3 = -v*n, 2*p = -6*n + n - 6. Which is bigger: n or 1?
1
Let h(d) = d**3 - 3*d**2 - 6*d + 7. Let n be h(5). Suppose 2*s - j - 8 = 0, 0 = 2*s + 3*j - n + 11. Suppose -z - 7 = -s*z - g, 4*g - 8 = 4*z. Does z = -2/9?
False
Let s = -19.56 + 19.66. Is 15 bigger than s?
True
Let z(g) = g**3 - 2*g**2 - 7*g + 6. Let h be z(4). Suppose 9 = -3*n + 5*p, 3*n - n - h = -2*p. Is 4 at least n?
True
Let x = 2.7 + -4.7. Let g = 1.6 + x. Which is smaller: g or 2/5?
g
Let n = -5 - -9. Let q be n - 7/((-14)/(-4)). Let i be (36/78)/((-22)/(-8) - 2). Which is bigger: q or i?
q
Let p be (-3 - (-284)/72) + (-6)/4. Let y be 1/(-3) - (-18)/(-27). Is y greater than or equal to p?
False
Let u be 6/4*2/(-1). Let s be ((-1)/u)/((-9)/81). Does -3 = s?
True
Let f be (-56)/(-6) - (-10)/15. Let r(d) = d**3 + 8*d**2 + 16*d + 11. Let w be r(-4). Do w and f have different values?
True
Suppose 4*t - 182 + 108 = -2*z, -3*z - 36 = -t. Which is smaller: -15 or t?
-15
Let n = 2/8461 - 67862/736107. Which is greater: 1 or n?
1
Suppose 4*z - 112 - 16 = 0. Let q = 32 - z. Which is smaller: q or -2/3?
-2/3
Let b = 404 - 1210/3. Is b at most -14/3?
False
Let c(v) = 11*v - 4. Let d be c(-4). Let g be (d/(-10))/(-3) - -1. Let u = 2 + -2. Which is smaller: u or g?
g
Suppose 2*x + 10 = 4*x + 3*d, 5*x = -5*d + 15. Is -6 smaller than x?
True
Let m = -2132 - -1450. Is -2/5 < m?
False
Suppose -8 = 2*m - 4. Let z be (-72)/(-56) - (m - -2 - -1). Which is bigger: z or 0?
z
Let k(v) = -v**2 + 5. Let q be