hich is smaller: w or u?
w
Let c be (-4)/26 - (-333168)/(-312). Let k be ((-592)/182)/((-3)/c). Let n = -1158 - k. Which is greater: -1 or n?
n
Suppose -489 = -5*x - 3*c - c, 0 = -5*x + c + 484. Which is smaller: 1.5 or x?
1.5
Let r(u) = -u**3 - 14*u**2 + 2*u + 26. Suppose -5*g - 54 = v + 3*v, -3*v - 58 = 5*g. Let b be r(g). Is b smaller than 0?
True
Let i = 6515 + -7629. Is -1111 at least as big as i?
True
Let y = -6626 + 6626.1. Is y < 1/10546?
False
Let u = -4 - -6. Suppose 15*z + 108 + 297 = 0. Let p be z/84 + 63/(-147). Which is bigger: p or u?
u
Let i be 3 + ((-18334)/(-6) - (110/30 - 3)). Which is greater: i or 3060?
3060
Let h = 213.26 - 15.26. Is -2/15 bigger than h?
False
Let r = -16217/5 - -3238. Are -1.57 and r non-equal?
True
Suppose -2*t = -0 - 10. Suppose -t = 9*v - 4*v. Suppose 5*s = 2*a + s - 12, -3*s - 35 = 5*a. Which is smaller: v or a?
a
Let u(d) = -34*d**2 - 7*d - 13. Suppose 4 = 5*s - 4*y - 1, 0 = -s - 3*y - 18. Let b be u(s). Let w = b - -14601/49. Which is smaller: w or -1?
-1
Let j(l) = -3*l + 118. Let m be j(27). Let c = -155 + m. Is c less than -117?
True
Let w be 2 - (-3456)/(-759) - -1. Let t = -62441/23 - -2713. Let c = t - w. Is c < -1?
False
Let u = 0.88 - 0.38. Let j = 0.2716 - 0.2116. Is u <= j?
False
Let x = 166 - 100. Suppose -4*v + x = -238. Let y be 1310/327 - v/19. Which is bigger: 0 or y?
y
Let d(w) = w**2 + 94*w + 1838. Let i be d(-25). Which is smaller: 1479/13 or i?
i
Let i(x) be the second derivative of -x**4/4 + x**3/3 + x**2/2 + 2*x. Let z be i(-1). Let p = -60/73 - 1014/365. Which is bigger: z or p?
p
Let c be -3*(-15)/60 + 1/4. Which is smaller: c or -54/601?
-54/601
Let y(n) = -101*n + 32. Let c be y(1). Let b be ((12 - -2) + -6)/c. Is -1 at least b?
False
Let l = -42.23 + 3.23. Let t = 339 - 377.7. Let o = t - l. Does -0.2 = o?
False
Suppose -3*o = -8*b + 3*b + 13, 12 = 4*b - 2*o. Let m be (1/(-2))/(b - (-236)/(-48)). Let z be (-80)/96*m/(-20). Is -8 > z?
False
Let s(c) = 15*c**3 - 451*c**2 + 37*c - 7. Let n be s(30). Which is smaller: -13 or n?
-13
Let w be -1*(0 - (-2)/(-8)). Let i = -750 - -769. Suppose -2*z = -3*f - 33, i*f - 20*f = 5. Is z <= w?
False
Let u(n) = -8*n**3 + 13*n**2 - 5*n - 4. Let x be u(2). Is x at most -13?
True
Let l be (-25)/5 - 0*(-2)/4. Let f be (1183/(-260))/(-7) - (-2)/l. Is f < -53?
False
Let r = 198.96 + -46.27. Let k = -152 + r. Is 2 < k?
False
Let z(l) = -l**3 + 30*l**2 - 49*l - 34. Let b be z(28). Let s be b/(-153)*-2 + -2. Which is bigger: s or -21?
s
Let q = 266.38 - 266.18. Which is smaller: q or -129.1?
-129.1
Let l(b) = -216*b**3 - 12*b**2 - 12*b + 9. Let z be l(-2). Which is greater: 6851/4 or z?
z
Let p = -21 + 20. Let k = p + -34. Let o be 164/k + 4 + 4/14. Which is smaller: o or 1?
o
Let x be (11/33)/((-6)/69 + 187/(-759)). Is -62/245 less than or equal to x?
False
Let a = 750 + -750. Let q = -1 - 3. Let c be q/(-3)*(a - (-36)/(-10)). Which is bigger: c or -6?
c
Suppose -5*n - 76 - 3 = 2*b, -2*b = -5*n - 91. Is -378/23 smaller than n?
False
Let a be 1122/(-14) - (-5 - 7 - -21). Is -88 >= a?
True
Let z be (48 + -43)*(-3 - 1). Is z >= -20?
True
Let v(z) = 2*z**3 + 59*z**2 + 63*z + 350. Let o be v(-29). Is -1904/3 at most as big as o?
False
Let s = 1588.8 - 1588.77906. Is s <= 1?
True
Let f = 116383/3 + -39273. Is f equal to -480?
False
Let k be (-45 + -494)/(3*2/4*-3). Which is greater: k or -4?
k
Suppose 2*h = 3*b - 590, 8*h - 3*h + 1465 = 5*b. Let z = h + 1418/5. Is z bigger than -5?
False
Let a = -17640 + 17386. Which is smaller: -2294/9 or a?
-2294/9
Let i(b) = -49*b - 92. Let c be i(-2). Is c at least 455/82?
True
Let i(d) = -d**3 + 5*d**2 + 12*d - 1. Let a be i(6). Let y(h) = -275*h - 8. Let g be y(-1). Suppose 264*f - g*f = -99. Is f smaller than a?
True
Let p = -5838 + 5844. Are 32 and p equal?
False
Let a = -200562/110297 + 2/10027. Suppose -z + 5*z + 8 = 0. Is z != a?
True
Suppose r = 31 - 14. Let o = r + 16. Suppose -30 = 3*w - o. Is 1/43 > w?
False
Let n(b) = 137*b - 5596. Let l be n(51). Is 1394 bigger than l?
True
Let o(x) = 5*x - 24. Let n(c) = -c**2 - 7*c - 1. Let t be n(-6). Let h be o(t). Is -1/15 >= h?
False
Let u = -338 - -355. Suppose 0 = -u*v + 40 + 28. Which is greater: 13 or v?
13
Let v = -424 - -424.0581. Let t = v - -0.0419. Is t at most 46?
True
Let o be ((-5)/5 + 4 + 0 - -2) + -6. Is o >= 2/3147?
False
Let y(q) = q**3 - 45*q**2 + 89*q - 119. Let c be y(43). Suppose m - 23 = -3*m + 5*b, 2*b + c = 2*m. Let a = 0.16 + -2.06. Which is smaller: m or a?
a
Let v(w) be the second derivative of -w**4/6 + 37*w**3/6 - 19*w**2/2 - w - 28. Suppose t - 5*t = -16, 0 = 4*h + 4*t - 88. Let a be v(h). Is 2/73 at least a?
True
Let r be (-2)/4 - -2*142/(-8). Let s = 109/3 + r. Let h be (-1)/(-30)*-2*(-1)/(-2). Which is greater: h or s?
s
Suppose -3 = f - 4*f. Let y be (-6)/(-14) + (-6)/378*-71. Which is smaller: f or y?
f
Let x(c) be the first derivative of -11*c**4/2 - 7*c**3/3 + c**2 + 6*c + 74. Let r be x(-2). Do r and 150 have the same value?
True
Let j(r) = 109*r**2 + 60*r + 104. Let p be j(-4). Is p smaller than 1609?
True
Let t(a) = 2*a + 4. Let z be t(-5). Suppose -56*y = -63*y + 1960. Let n be (-9)/15 - (1617/y - 0). Which is greater: z or n?
z
Let i = -13 + -614. Let m = 607 + i. Is m greater than or equal to -26?
True
Let m = 763 + -474. Let s = 288 - m. Are s and -1/84 unequal?
True
Suppose 3*d = 4*g + 11, -4 = 5*g - 3*g. Let k be ((-2)/438)/(35 + 4424/(-126)). Which is greater: k or d?
d
Let k be -1 + 153/204 + 1607/6424. Are 1 and k nonequal?
True
Let u = 25667 + -25668. Are u and 21/584 equal?
False
Let i = 2323.9 + -2325.9. Which is bigger: 3096 or i?
3096
Suppose 17*w - 360 = 5*w. Let l = w + -53. Let i(d) = -11*d - 2. Let m be i(2). Is l at least m?
True
Suppose -8*p + 308 = -4. Let z = p - 56. Let w(i) = -i**3 + 3*i**2 + 8*i - 7. Let n be w(5). Is n > z?
False
Let r = 330 - 327. Suppose 3*f - 713 = -5*o - 267, 5*f = r*o - 254. Is 0.1 greater than o?
False
Let a = -9497 + 9499. Is 7619 not equal to a?
True
Suppose 0 = 12*d - 14*d + 24. Let h be (2 - -1 - 3)*(-11 + d). Which is bigger: 7/8 or h?
7/8
Suppose -4*v - 14 = -0*w + 2*w, -v = w + 4. Let m = -487 - -481. Let o be (-2)/42*-9 + 0/m. Is o at most as big as w?
False
Suppose -9*o = 14146 + 11828. Is -2886 at least as big as o?
True
Let k be 136/2723264*-8*(-3)/6. Which is smaller: k or 0?
0
Suppose 113*t + 25935 = -9434. Which is bigger: 1 or t?
1
Suppose -1175 = -10*q + 6385. Let x = -2957/4 + q. Is 18 <= x?
False
Let n be (-28)/(-6 - -2) + -3. Let o be (-343)/(-21) - (28/(-6) + n). Which is greater: o or 4?
o
Let l = -663980012/62205159 + 38786/3621. Let t = l + -145871051/1030740. Let i = t - -424/3. Which is bigger: i or -0.1?
-0.1
Let u(x) = -2*x**3 - 3*x - 2. Let d be u(3). Suppose 526 = -15*o - 464. Is o > d?
False
Let q = -954.8 + 335.8. Which is bigger: q or -3?
-3
Let g be 64/(-6)*21138/104. Is g less than -2169?
False
Let k be 279/(-372)*(-16)/6. Is 170/211 < k?
True
Let f = -362/415 - -6/83. Let p = -780.8 + 767. Let g = 15.8 + p. Which is smaller: g or f?
f
Let i = 3.08 + -0.08. Let u = 4/5833 - -11135169/40831. Let k = 273 - u. Which is bigger: i or k?
i
Let c(b) = b**3 - 9*b**2 + 3*b + 5. Let u be c(9). Is u <= 804/25?
True
Let n = 17 + 18. Suppose 5*f - 60 = n. Suppose 0 = -4*c + 10 + 70. Do c and f have the same value?
False
Suppose -182 = -2*b - 4*z, 3*b + 17*z - 297 = 19*z. Suppose -b = h - 2*x, -300 - 140 = 5*h + 5*x. Which is smaller: -90 or h?
h
Let t be -4*(37290/(-36))/(-11). Let g = t + 377. Which is greater: g or 15.8?
15.8
Let v(d) = 3735*d + 7005. Let m be v(-2). Is m less than or equal to -447?
True
Let s = -7644 + 11202. Which is smaller: s or -0.1?
-0.1
Let f(d) = 2*d**3 + 127*d**2 - 71*d - 150. Let a be f(-64). Is 300 equal to a?
False
Let n = 1340947/44 + -30474. Let m = n - 1/4. Which is greater: m or 3?
3
Let p = -1408.9 - -358.5. Which is greater: p or 0?
0
Let b be (-314)/1370 + (-73)/(-365). Let z = -98 - -97. Which is smaller: z or b?
z
Let c be -4*((-27)/(-12) - 3). Let s(a) = a**3 - 2*a**2 - 3*a - 2. Let x be s(4). Let o = x + -14. Is o greater than c?
True
Let l(k) = -40*k**2 - k + 1. Let f be l(3). Let o = 1096/3 + f. Let p(i) = -3*i**3 + 46*i**2 + 88*i - 48. Let n be p(17). Which is greater: o or n?
o
Suppose 4*s = 3*z - 5*z - 10