et j be -2 + 4 + (-1404)/(-1161). Is 4 at least as big as j?
True
Suppose -642*k - 20 = -639*k + x, 4*k + x + 27 = 0. Which is smaller: -22/45 or k?
k
Let x(u) = u**2 + 2*u - 7. Let z be x(-4). Let c(o) = o**3 + 8*o**2 - 13*o - 1. Let g be c(-9). Let t be (-1)/(1 + (-40)/g). Is z < t?
True
Suppose 0 = -4*w + 7*w + 6. Let p be (1 - 2) + (0 - w). Let u = 5623/5 - 1125. Is p not equal to u?
True
Let u(j) = 21*j + 135. Let f(s) = 9*s + 68. Let x(y) = 5*f(y) - 2*u(y). Let v be x(15). Do v and 114 have the same value?
False
Suppose 0 = 2*w + 142*w - 600 + 3048. Which is smaller: w or -30?
-30
Let r be ((-27)/(-3))/(7/((-28)/6)). Let x be (-1*20 - -2)/(r/(-39)). Let d = -233/2 - x. Is d < -0.1?
False
Suppose -2*m = 5*d - 48, 4*d + 5*m - 29 = 23. Let t(y) be the second derivative of -4*y**3/3 + 25*y**2/2 - 199*y. Let w be t(d). Is -39 >= w?
True
Let h be (-789)/15*(-5)/6. Let n = h + -44. Let j = 17041 + -17042. Is n <= j?
False
Let d(y) be the second derivative of y**6/360 + 3*y**5/40 - y**4/4 - 10*y. Let g(j) be the third derivative of d(j). Let r be g(3). Which is smaller: 17 or r?
r
Let z = 0.1007 - 15.1007. Is 182 at most as big as z?
False
Suppose -6 = -9*h + 3. Suppose -3*v + 5 = -h. Suppose -3*f - f = 4*o - 52, -v*f + 59 = 5*o. Which is greater: 5 or o?
o
Let d(y) = 18*y + 841. Let i be d(-44). Which is bigger: i or 334/7?
i
Let i = -387 + 388. Let z(b) = -2*b**3 + b**2 - 1. Let g = 7 - 8. Let l be z(g). Is i equal to l?
False
Let k = 22930.98959 + -22931. Is k bigger than -0.2?
True
Let s = -2540.1 - -2423. Let f = 117 + s. Which is bigger: f or -49/6?
f
Suppose 0 = -r + 4*g + 45, 0 = 24*g - 22*g + 10. Let h be 3/9*3*2. Let n be ((-18)/4 + h)*-10. Is r less than n?
False
Let i be 2/(95/300 + (-2)/8). Let r be 4*(-27)/i + 4. Which is greater: 59 or r?
59
Suppose 2*y - 3 = 13. Let x = -169 + 159. Let h be (-48)/x*((-14)/(-4) - 1). Which is smaller: y or h?
y
Let x be ((-3018)/14)/(-3)*(114 - 5). Let k = 7850 - x. Which is smaller: k or 17?
17
Let n = -7 + 26. Suppose -2*g - 4 = 0, -9*v + 11*v + 4*g = 288. Suppose 268 - v = 6*j. Which is smaller: n or j?
n
Let c = -25 + -15. Let m(s) = -s**3 - 18*s**2 + 25*s + 79. Let t be m(-19). Are c and t equal?
False
Let b = 11.38 - -0.02. Let l = -1728 - -1739.39. Let k = b - l. Which is bigger: k or 0.1?
0.1
Let y(d) = 8*d**3 - 29*d + 29*d**2 + 14*d**3 - 23*d**3 + 26. Let g be y(28). Let u be (-9 + 9)*g/4. Is u at least 1?
False
Suppose 0 = r - 6*y + 3*y - 15, -3*r + y = -53. Suppose -4*p - 456 = -540. Suppose 4*i - 51 = p. Is r smaller than i?
False
Let o be (-2 + 3)/((-2)/188). Let r be ((-280)/36)/((-38 + 23)/(-180)). Which is smaller: o or r?
o
Let t(a) = 475*a + 2696. Let s be t(-11). Which is smaller: s or -1/4?
s
Suppose -9*v - 1665 = -1629. Let u = -12 + v. Which is smaller: u or -29?
-29
Suppose -2*j = -0*y + 2*y - 8, 5*j = 3*y - 12. Suppose 5 = 5*t, j = u - t + 2*t. Let x be (-58)/(-18) - (-1 + 4). Which is smaller: x or u?
u
Let s = 1340.09001 - 1340.1. Are 1 and s equal?
False
Let l(m) = m - 3. Let x be l(7). Suppose -2*f + 3*f = -x. Suppose -77 = -279*z + 290*z. Which is greater: f or z?
f
Let x = 1.56 - -121.44. Let y = 121 - x. Let i = -1.23 + 1. Which is smaller: y or i?
y
Let u = 486.5 - -12.5. Let q = 498.9 - u. Which is greater: 10 or q?
10
Let o be (-8)/(40/(-15)) + 1. Suppose -4 = -o*v - 48. Which is bigger: v or -12?
v
Let s(b) = 40*b**3 - b**2 + 8*b + 7. Let k be s(-2). Let x be 2 - ((-48)/k)/(1/14). Is -1 greater than or equal to x?
False
Let k = -133.25 + 172.25. Suppose 5*j = -f + 9, -f + 4*j - 9 = -0. Let z be (-8)/6*f/(-2). Are z and k nonequal?
True
Let x(n) = n**3 + n**2 + 148. Let t be x(0). Suppose 2*d + t = -2*d. Suppose -z = -2*f + 3*z - 70, -3*f - 107 = -4*z. Is f less than d?
False
Let i = -39559 + 44470. Which is smaller: i or 4907?
4907
Suppose 0*i = -i + 57. Let l = -69455 + 69514. Which is bigger: l or i?
l
Let d = 222 + -231. Let m be 0 - (38/(-171) - 11/d). Which is greater: m or -8/11?
-8/11
Let h = -6075805.111 - -6066604. Let v = 9205 + h. Let i = -0.011 - v. Which is smaller: -1/2 or i?
i
Let x = -82683/1330 + 1144/19. Let n = x - 9/10. Is -2 at least as big as n?
True
Suppose 67*m - 129*m + 8437 = 81*m. Which is bigger: m or -24?
m
Let b = -383471 + 5760299/15. Let c = b + -548. Is c <= 2?
True
Let c = 10 - 13. Let m(x) = x**2 - 14*x + 39. Let n be m(12). Let j be (9*(-2)/n)/c. Is -13 at least as big as j?
False
Let w = 0.3125 - -1.1535. Which is smaller: 0.2 or w?
0.2
Let k be 35/(-70) - -1*(-36)/(-40). Which is smaller: 2/239 or k?
2/239
Let i = 511470 + -476178638/931. Is -1 bigger than i?
False
Let v = 309932/393459 - -2/11923. Let l be 3 + 244*26/(-2838). Let f = v - l. Is 0 at most f?
True
Let f = -116.8 + 101.8. Is -1/95 > f?
True
Let f = -80 - -85. Suppose -2*d = -f*h - 147, -2*d + 188 = d - h. Let b = d - 61. Is 2/131 not equal to b?
True
Let j = -13780 - -13790. Which is smaller: j or -25?
-25
Suppose w + 0*a = a - 24, -5*w - 104 = -a. Let f = w + 56/3. Which is greater: -1 or f?
-1
Suppose 0 = -4*k + f + 271, 2*k + 3*f - 193 = -40. Suppose -365 = -7*n + 146. Is k equal to n?
False
Let v = 201 - 146. Let c be 340/v - (5 + 0). Which is bigger: c or 2?
2
Suppose 31*y - 29*y + 3*v = 6, 5*v = -y + 10. Is y greater than or equal to -40/977?
True
Let f(r) = r**3 + 45*r**2 - 16*r + 174. Let d be f(-44). Which is bigger: 2815 or d?
2815
Let f(b) = b**3 - 4*b**2 - 101*b + 474. Let k be f(5). Which is greater: k or -1/400?
-1/400
Suppose 2 = -4*r - 5*p - 51, 4*p + 4 = 0. Let t be ((-1)/(-12))/(r/64). Let f be 0/((-39)/13 - 0/(7 - 2)). Which is smaller: t or f?
t
Suppose 39*r - 6 = 37*r. Suppose -p = 6*x - 2*x + 5, -2*x = -5*p - r. Let v be (-1)/2 - (-1 - x/2). Is -0.17 <= v?
True
Suppose -g + 27 = -5*o, -2*g + 17 = -2*o + 3. Let p(v) = 2*v**2 + 9*v**2 - v**3 + 1 + 15*v - g*v. Let u be p(12). Which is smaller: u or 82/7?
82/7
Let d = -89 + 71. Let r(s) = -s**2 - 23*s - 24. Let m be r(d). Let i = -64 + m. Which is bigger: 0 or i?
i
Let g be 1 + -1 - (-15 + 5). Suppose -9*r - 25 = -g*r - x, 5*x - 101 = -4*r. Is 18 smaller than r?
True
Suppose -6*x + 552 = 40*x. Let a be (x - 120)*2/3. Is -3 < a?
False
Suppose -3*i - 3*c = 2*i + 140, -21 = i + 2*c. Let x be (-3 - i) + 1*-2. Suppose -76*g = -97*g - 216 + 783. Which is bigger: x or g?
g
Let l be (-68)/(816/540) + 44. Let g = 755 + -32463/43. Which is bigger: l or g?
g
Let h = 40 + 130. Let b = h - 119. Let l = -72 + b. Is l < 0?
True
Suppose 9 = 6*q - 21. Suppose 0 = -3*m - q*z + 2, m - 10*z + 8*z - 8 = 0. Is m not equal to -2?
True
Suppose 5*u + 0*u - 10 = 0. Let y be (0/(u - 4))/(4 - 2). Is y >= 4?
False
Suppose 4*s + 38 = 4*m + 34, -5*s = 2*m - 2. Which is greater: m or -2/1453?
m
Let m = -1777 - -1775. Are m and -11/17 equal?
False
Suppose 6*k + 16 - 64 = 0. Let v = 8 + -8.18. Let h = v + 1.18. Which is bigger: h or k?
k
Let x = -1586 + 1550. Is x bigger than -36?
False
Let z = 594 + -645.8. Let j = z + 52. Which is greater: -5/23 or j?
j
Let h(w) = -3*w**2 - 4*w + 43. Let u(d) = -3*d**2 - 5*d + 44. Let c(s) = 3*h(s) - 2*u(s). Let y be c(5). Suppose 55 = -2*l - 33. Is l less than or equal to y?
True
Let p = 384 - 414. Let u(f) = -f**3 - 30*f**2 + f + 16. Let k be u(p). Are -144/11 and k equal?
False
Let c = 1578.616 + -784.502. Let l = c + -793. Let y = 0.014 - l. Which is bigger: y or -2/3?
-2/3
Let a be 16/28 + (-72)/(-21). Suppose 4*q - 5*k = 202, 0 = -2*q - k - a*k + 116. Is 49 at least as big as q?
False
Let z = -22744 - -22743. Let p be (12/(-26))/((-45)/(-12)). Do p and z have the same value?
False
Let z be (-147 - -147)/(4/(2/1)). Is -16/193 <= z?
True
Suppose 4*g + 196 = 2*r, -367 = 4*g + 5*r - 115. Which is smaller: 40 or g?
g
Let i = 5 + -5.03. Let f = -145 + 150. Let p = f - 4.9. Do p and i have the same value?
False
Let n = 0.42 + -51.42. Let c = n - -50.29. Let u = c - -0.41. Is -0.08 bigger than u?
True
Suppose 68*c + 8 = 64*c. Let p(f) = 17*f**2 - 3*f - 5. Let h be p(c). Which is greater: h or 70?
70
Let g = -10103 - -10103. Which is smaller: g or -1/6422?
-1/6422
Let n be ((-20)/(-80250))/1*-1. Is n less than 1?
True
Let v = -45 - -44. Let x = 52 + -22. Let p = x - 40. Is p <= v?
True
Let c(u) = -273*u + 140. Let t be c(1). Let q be ((495/81)/(-11))/(2/474). Does t = q?
False
Let w(g) = -7