 - 2.9. Let b = 1457 + -1451.36. Let p = -5.73 + b. Is z at least p?
True
Let s = -1 - -0.9. Let u = 15.6 - -40. Let h = u + -55.45. Which is bigger: s or h?
h
Let l = 7523 + -7389. Let m be (0 + 1)*1882/14. Let y = m - l. Does 0 = y?
False
Let n = 18 + -17. Let f = 173 - 176. Let h be f/((-750)/20)*(-3)/(-2). Is n bigger than h?
True
Suppose -l - 28*j + 25*j + 2160 = 0, 2*l - 2*j = 4368. Is 2178 < l?
False
Let a = 0.376 + 3397.624. Which is smaller: a or 2?
2
Let h = 222 - 223.6. Let o = 1.39 + h. Which is smaller: o or -8?
-8
Let q = 260 - 260. Suppose -21*h + 36*h + 15 = q. Is h equal to -3?
False
Let g = 20291/10 - 2029. Let f be (2 + -2 - -1) + 10/(-20). Is f <= g?
False
Let g(u) = -12*u**2 + 32*u + 223. Let h be g(-8). Which is smaller: -800 or h?
h
Let a = -263 + 262.9. Which is greater: 37.63 or a?
37.63
Let x = -88229/18 - -35347/6. Which is greater: x or 989?
x
Let f = -724/3 + 863/3. Let u be 2 - 20/5 - 1*-49. Is f at least u?
False
Suppose 5 = 3*i - 1, 3*i = -2*d + 138. Let m = -65 + d. Let g be (-21)/14 - (489/6 + m). Which is smaller: g or -85?
-85
Let f be (36/9)/((-5)/(-15)*-21). Let y be ((-15)/6)/(-5)*-4. Which is smaller: f or y?
y
Suppose 15 = -35*s + 40*s. Suppose s*o + 6 + 0 = 0. Let y be (o + 6 + -4)/1. Is y bigger than -4?
True
Suppose -21*j - 5 = -5. Suppose 4*k + 5*r + 1014 = j, 0 = -k - 4*r - 142 - 117. Is -251 < k?
False
Let b(u) be the first derivative of 9*u + 10 + 6*u**2 + 2/3*u**3. Let i be b(-5). Is 46 less than or equal to i?
False
Let w be ((-14)/203 - 939485/(-435)) + (-2)/(-6). Which is greater: w or 2161?
2161
Let w = -7591 - -789489/104. Which is smaller: 1 or w?
w
Let s(a) = -56*a**2 - 616*a. Let q be s(-11). Are 2/803 and q nonequal?
True
Let x = 9 - 7. Suppose 4*r - 7 = -3*k, 4*k - x*r - 6 = -4*r. Let g be (k/2*1)/(35/(-20)). Which is smaller: -0.03 or g?
g
Let d = 53 + -88. Let f = -0.729 + 0.729. Is f > d?
True
Let l be -1 + 11/8 - (-14735)/(-3368). Which is smaller: -34/7 or l?
-34/7
Let p(w) be the second derivative of 3*w**5/20 + 2*w**4/3 + 2*w**3/3 - 4*w. Let m be p(-3). Let z be m/(-2)*(-5 - 0 - -3). Are -22 and z non-equal?
True
Suppose -25*r - 2368 = 7*r. Suppose 0 = 2*f + 2*d + d + 203, 2*f - d = -215. Let w = f - r. Which is bigger: w or -31?
-31
Suppose -8886 = 11*z + 1828. Let l = z + 6872/7. Which is smaller: l or 9?
l
Let q(d) = 9*d + 3. Let s(a) = 2*a**2 - 10*a - 13. Let n be s(6). Let y be q(n). Let b be 494/(-65) + y/(-10). Which is smaller: -8 or b?
-8
Let n = -11.952 - -12. Let m = 7.052 + n. Let w = m - 6.4. Which is smaller: w or -1?
-1
Let x = 15 - 0. Let t be 65834/(-58) + 6/87. Let p = t - -1151. Is x greater than p?
False
Let n = -8336 + 8300.31. Let x = -3.89 - n. Let o = 32 - x. Is o less than or equal to 10?
True
Suppose 11*v - 13*v - 4*r = 4, v + 3*r - 5 = 0. Let u = -5419/354 + -3/118. Which is smaller: v or u?
v
Let z be (64/96)/((52/12657)/2). Let p = -325 + z. Is 1 at least p?
True
Let m(n) = -3*n**2 - 50*n - 30. Let i be m(-16). Suppose -4*q - 16 = y - q, -y + i*q + 9 = 0. Which is smaller: y or -10/11?
y
Let g be 10*(-4)/(-8) + (-1016)/156 + 1. Which is smaller: 7 or g?
g
Let x(k) = -k**2 - 82*k + 169. Let z be x(2). Is z > -20/909?
True
Let h = -0.73636 - -0.03336. Is -1 at least as big as h?
False
Let u = 14/103 - -322053/206. Let z = u - 1611. Let o = 48 + z. Which is smaller: -0.01 or o?
-0.01
Let s = 17573 + -17564. Is s equal to 345/34?
False
Let h = -6.43 - -6.18. Let o be 1/(4/(-288)*-3). Let y = 118/5 - o. Is h equal to y?
False
Suppose -a = -q + 64, -2*a - 68 = -a - 3*q. Let k = -47 - a. Suppose k = y + 3*g + g, y + 3*g - 12 = 0. Is y at most 18/5?
True
Let s = 3044.1779 + 0.8221. Is 0 greater than or equal to s?
False
Let v be 312/60 + -5 + 104/20*194. Which is greater: 1011 or v?
1011
Let z(h) = 2*h**2 - 3*h + 23. Let v be z(-4). Suppose -v - 19 = -i. Is 86 > i?
False
Let s(y) = 10*y + 50. Let n be s(-6). Let d be (-4)/(-10)*5*5/n. Is d bigger than 308?
False
Suppose -18 = 59*m - 18. Which is smaller: m or 2/869?
m
Let x(m) = 74*m + 6473. Let v be x(-73). Which is smaller: v or 1068?
1068
Let j(u) = 2*u**3 - 13*u**2 + 11*u - 204. Let n be j(10). Is 609 less than or equal to n?
False
Let g(i) = i**3 + 19*i**2 - 332*i - 53. Let r be g(-30). Let m = 3427/4 + -850. Is m at most as big as r?
True
Let z = -64834/299 + 3314/13. Is 38 greater than or equal to z?
False
Let s = -14 - -19. Let j be 9/4 - s/20. Suppose 0 = -j*v + 10 - 10. Are 9 and v equal?
False
Suppose x - 5*x + 6*c = -738, 0 = -5*x + 4*c + 947. Is x less than or equal to 6?
False
Suppose -2*x = -4*t - 73750, t - 5*x + 12987 = -5428. Is t at least as big as -18440?
True
Suppose -9147 = 3*y - s, -5913 = -5*y + 2*s - 21160. Is -3052 > y?
False
Let m = -95 + 100. Suppose -3*j = m*z + 5 - 87, -18 = -z - j. Which is smaller: z or -4?
-4
Suppose b + 24 = 23. Let r = 30 - b. Is r at least 31?
True
Let g = 31269511/70374 - -1/23458. Which is smaller: 443 or g?
443
Let i be ((-709)/1)/((-3)/(3/1)). Let k = -29071/41 + i. Is -0.1 not equal to k?
True
Let f = 1806 - 2553. Is 2/7 at least f?
True
Suppose -2*l - 22 = h, 2*l - 2*h + 46 = 3*h. Let f = 5202 - 4284.1. Let i = -918 + f. Which is smaller: i or l?
l
Let l = -30649.98 - -30650. Is l less than -506?
False
Suppose 0 - 6 = 6*x. Let s be (x - (-6)/5)/((-9)/45). Let w be 376/(-1200) + (-2)/(-6). Which is bigger: w or s?
w
Let s be ((-15668)/(-20) + 2)/(215/(-25) + 7). Which is greater: -492 or s?
s
Suppose 0 = -3*j + j. Let c be 63/54 + 1200/(-1035). Is c bigger than j?
True
Let c be 37355/(-18685) + -6 + 5 + (-9)/(-3). Which is greater: c or -1?
c
Let h = 282 + -125. Suppose h = -6*n - 167. Is -164/3 greater than n?
False
Let z = -7306 - -7321. Is -6 at most z?
True
Let w(k) = -k**3 + 36*k**2 - 59*k + 829. Let l be w(35). Let x(a) = a**3 - a + 6. Let j be x(0). Let f be (-2)/(-3) - 64/j. Is f >= l?
True
Let y(l) = 0*l - 6*l**2 - 2 + l - l**3 + 9. Let x be y(-6). Let c = 5/1312 - -1207/27552. Is x not equal to c?
True
Suppose 74*b - 15000 = -126*b. Which is greater: 1416/19 or b?
b
Suppose 25*u - 42 + 220 - 78 = 0. Is u at most -432/91?
False
Let x be (-8)/(-44) - (96432/(-77))/(-2). Which is smaller: x or -620?
x
Let b(k) = k**3 - 2*k**2 - 7*k - 6. Let c(t) = t**3 - 2*t**2 - 9*t - 6. Let l(g) = -4*b(g) + 3*c(g). Let z be l(3). Which is greater: z or -14/13?
z
Let w = -38 + 42. Suppose 2*t + w*t + 24 = 0. Let x = 7 - 11. Is t at most as big as x?
True
Let p be 15 + -19 + (-343)/(-55). Let s = -16671/440 - p. Which is smaller: s or -40?
s
Let r be (-30)/(380/30 + -12). Is r > -11?
False
Let u(z) = -z**2 - 11*z - 8. Let t be u(-9). Let n be ((-4 - 2) + 3)*t. Let x = -28 - n. Does 5/6 = x?
False
Let f(c) be the second derivative of 3*c**5/20 + 2*c**4/3 - c**3/2 - 3*c**2 + 2*c. Let l be f(-3). Let a = 8 - 4. Which is greater: l or a?
a
Let l be (18/4 + -4)/((-1)/(-2)). Do -7/634 and l have the same value?
False
Suppose -5*c - 3*h = -0*c - 15, -4*c = 5*h - 12. Suppose -2*b + r = 4, c*b + b = -2*r - 24. Let w be 3/((-60)/(-25)) + (-3)/b. Which is smaller: w or -3?
-3
Let x = -98.3 + 106. Let a = -0.8912 - -0.8912. Is x at most as big as a?
False
Suppose 2*h + o - 29 = 0, 116 = 5*h + 3*o + 38. Let c(m) = -2*m + 4*m + 6*m - 5 - m**2. Let d be c(5). Which is smaller: d or h?
h
Let h be 115*27*(-5)/(-675). Which is greater: h or 435?
435
Suppose -4*h = -2 - 18. Let j be 1 - (-6)/12*(-346)/h. Are -35 and j unequal?
True
Suppose 4*d = -j - 6061, 51*d - 52*d = j + 1510. Is -2/17 not equal to d?
True
Let q(h) = h**3 - 6*h**2 - 20*h + 56. Let r be q(2). Which is smaller: r or 3?
r
Let i = -0.351 + -17.549. Let h = -18.12 - i. Are h and -1 equal?
False
Let t = -2626/3667 - 4/193. Suppose -3*q = -u - 0*u - 2, -8 = -5*q + 4*u. Is q at least t?
True
Let o be 3/6*(-36)/335. Let v = 129481898 - 10106709543526/78055. Let c = o + v. Which is bigger: c or -1?
c
Let n(t) = -t**3 + 16*t**2 - 2*t - 7. Let c be n(18). Is c < -691?
False
Let r = 8271 + -8270. Let j be (65*2 + 3)*1. Is j at least as big as r?
True
Let s be 0 + 6/4 - (1725/46 - 27). Which is greater: -238/29 or s?
-238/29
Let i = -47.98 - -48. Let y = 0.35 + i. Let x = y + -0.47. Is -6 greater than x?
False
Let n be (-32)/(-4) + -3 - 868449/23004. Let a = 4/1917 + n. Which is smaller: -32 or a?
a
Let t = 7 - 20. Sup