(140/y) + 1. Which is smaller: -4 or p?
-4
Let v = 783 + -16463/21. Let g = v - 113/21. Is g less than or equal to -7?
False
Suppose 0 = 10*l - 11*l + 86. Let m be (-2 + l)*11/33. Is m equal to 28?
True
Let a(w) be the third derivative of w**5/30 - 17*w**4/24 + 7*w**3/6 + 5*w**2. Let l be a(8). Let m be 161/(-49) + 4 + l. Are 0.05 and m nonequal?
True
Suppose -2*z + 54 = -2*u, 6*z + u = 8*z - 58. Are z and -3 equal?
False
Let s(r) = -r**2 - 5*r + 1. Let h be s(-3). Let d = h - 4. Is d <= 6?
True
Let m = -105 + -6. Let b = -17/2687 + 2093292/18809. Let a = b + m. Is a at most -2/5?
False
Let w be (-3)/(-4) + (-250)/(-40). Let x be (-4 + (-81)/(-21))/w. Do x and -1 have the same value?
False
Suppose 0 = 2*c - 3*c. Suppose 14*h - 4 = -214. Which is smaller: h or c?
h
Let a be (6/8)/(1/4). Suppose 5*f + a*b = -14, 1 = -4*f - b + 2*b. Let p be (2/2)/((4/28)/((-22)/(-3619))). Which is greater: p or f?
p
Let b(q) = q**2 - 39*q + 75. Let z be b(37). Which is greater: z or 56/31?
56/31
Let s(b) = -33*b**2 - 9*b + 8. Let f be s(6). Let n be f/(-42) + 8/28. Let z = n + -28. Is z equal to 2?
False
Suppose w + 29 = 5. Let z(f) = -18*f + 352. Let c be z(21). Which is bigger: w or c?
w
Let w = -20.1 - -20.3. Which is greater: w or 24?
24
Let h = -175 + 1221/7. Let c(r) = r**2 - 9*r + 12. Suppose 0 = -l + 4*k - 1, 6*k - k = -2*l + 24. Let w be c(l). Which is greater: h or w?
h
Let i = -34/39 - -7/13. Is i < 0?
True
Suppose -l = 4*v - 19, 2*l + 5 = 3. Let h(f) = -f**3 + 5*f**2 + 2. Let a be h(v). Suppose a*t + 0*t + 13 = 3*w, 0 = -5*t - 25. Are -2/11 and w unequal?
True
Let m be (-75)/(-91) + 2/(-7). Let o be (10/(-260))/(15/(-414)). Let z = m + o. Which is smaller: z or 1?
1
Let f = -7 + 22/3. Let q = -12 - 62. Let g = -74 - q. Which is bigger: g or f?
f
Let a(j) = -j**3 + 4*j**2 - 3*j + 1. Let h be a(0). Which is smaller: h or -4/177?
-4/177
Let a be (-2)/(2*3/(-3)). Suppose -a = 2*s - s. Let o be 2/1*(-1)/(-22). Which is bigger: o or s?
o
Let b = -15 - -23. Let g = 149.1 + -157. Let m = b + g. Is -1 less than m?
True
Let f = -16229/102 + 479/3. Is f not equal to 0?
True
Let p be (7 + -4)*(-4)/18. Let i(b) = b + 6. Let z be i(-3). Suppose -o = 3*o + k + 14, -o + z = -3*k. Is p > o?
True
Let t(i) = -25*i + 340. Let j be t(0). Which is smaller: j or 341?
j
Let n be 84/(-63) - 370/(-291). Which is bigger: 0 or n?
0
Let a(r) = -r**3 - 45*r**2 - 86*r + 11. Let k be a(-43). Is 11 greater than k?
False
Suppose -c + 5*z = -23, 9*z - 8*z = 5*c - 115. Let j be 1 - -21 - (-1)/1. Is j greater than c?
False
Let g be (-2)/(-16) + (-222)/1392. Let y = g - -61/87. Which is greater: 28 or y?
28
Let o be 304/209*1*(-1)/36. Is 0 greater than or equal to o?
True
Let o be 250/8 - 24/(-32). Suppose -o = -5*d + 143. Let y = 37 - d. Is y smaller than 2?
False
Suppose -8*i + 8 = -4*i. Let q be (16 - 14)/((-2)/7) + -3. Which is smaller: q or i?
q
Suppose -3*i + 3*d = -30, -2*i - 5*d + 50 = 3*i. Suppose -4*u = -8*u + 232. Suppose -u = -2*v - 3*v + 3*p, 2*v - 5*p - 27 = 0. Is i not equal to v?
True
Let q = 55 - 33. Let c be 92/(-2)*(114/12)/(-19). Which is smaller: q or c?
q
Let a = 0.247 + 5.703. Let t = 0.05 + a. Let y = t - 2. Which is smaller: y or 1/4?
1/4
Suppose 71*q + 25185 = -2*q. Which is bigger: -346 or q?
q
Let j = -36.9 + 39.88. Let x = 3 - j. Let z = x + 0.08. Which is greater: z or -1?
z
Let i = -33289/41 - -812. Is 0 smaller than i?
True
Let z = -533 - -1142. Suppose z = 7*g + 147. Which is smaller: 67 or g?
g
Suppose 3*g + 20 = 5. Let a = 11 + g. Let y be (4 + -1)*(-10)/(-6). Is y >= a?
False
Let k be ((-9)/4 - -3)/(-269 + 14). Is k <= 1?
True
Let n(a) = -a**3 - 7*a**2 - 2*a + 7. Let y be n(-7). Let r(j) = 3*j**2 + j + 2. Let x be r(-3). Let g = x - y. Which is bigger: g or 4?
g
Suppose 30 = 5*b - 85. Suppose 19*y = b*y - 188. Is 49 at least y?
True
Let h be 7/(-7) + 19 + 2. Let m = h + -19. Let a = 162/7 + -2085/91. Is m bigger than a?
True
Let f = -130 - -161. Which is smaller: f or 17?
17
Let l be 0/4 + 2*(-2 - -1). Which is bigger: l or 1?
1
Let c be (-1302)/36 + -1*(-1)/6. Which is greater: -33 or c?
-33
Let j(s) = 2*s**2 + 20*s + 95. Let w be j(-11). Which is smaller: 119 or w?
w
Let z = -3 - -2.7. Let h = z - 1.7. Let s = -22 - h. Is -1 smaller than s?
False
Let p = 0.0793 + -4.0793. Which is smaller: 2.1 or p?
p
Let l = 2424009/8 + -303755. Let u = l + 752. Do -2 and u have the same value?
False
Let a be (-1 + -3)*(632/88 + -9). Is a bigger than 6?
True
Let y(x) = 4*x**2 - 4*x + 3. Let p be y(3). Let r be (1/(-3))/(3/p). Let i = 1 - r. Are i and 4 equal?
True
Let o(r) = -3*r**3 + 34*r**2 - 39*r + 19. Let f(m) = -5*m**3 + 51*m**2 - 59*m + 28. Let b(s) = 5*f(s) - 8*o(s). Let y be b(-18). Which is smaller: y or 7?
y
Let q(v) = -v**3 + 11*v**2 - 10*v + 4. Let a be q(10). Suppose a*w - 3*y - 6 = 0, -8*y + 13 = w - 3*y. Let d be -1*(w + -2) - -3. Is 3 <= d?
False
Let p be 44*-1*(-3)/6. Let g = 594 + -573. Which is smaller: g or p?
g
Let l(j) = -j**3 + 8*j**2 - 7*j + 1. Let y be l(7). Let u = -61 + 443/7. Is u greater than or equal to y?
True
Let s = -0.5 + 0.3. Let x = -181 - -190. Which is bigger: x or s?
x
Let x(r) be the first derivative of -1/2*r**2 - 14*r + 3. Let y be x(-6). Is -8 < y?
False
Let c = -257 + 177. Let x = -94 - c. Which is smaller: -0.2 or x?
x
Let m be (-134)/56883*(-4 + (0 - -1)). Which is bigger: 0 or m?
m
Let l = 6.23 + -6.24. Which is smaller: -7 or l?
-7
Let q(g) be the second derivative of g**4/12 + 5*g**3/2 + 15*g**2/2 - g. Let f be q(-14). Let n = f - 5. Which is smaller: n or -3?
n
Let j(z) = 2*z**2 - 5*z + 2. Let x be (-2)/2 + 9 + -5. Let m be j(x). Suppose h + 4*t - 4 = -h, -5*h = 5*t - m. Which is bigger: 1/11 or h?
1/11
Suppose -d - 22 = -2*d. Suppose s - 4 = 0, 4*w + 4*s + 22 = -d. Which is greater: w or -14?
-14
Let m(p) = -p**3 - 5*p**2 - 7*p + 2. Let j be m(-4). Let k be 816/140 - (6/j)/1. Is k not equal to 1?
True
Let b = -2916/5 + 590. Let v = b + -112/15. Do v and 0 have the same value?
False
Let o = -21 - -9. Let r be (-16)/(40/o + 4). Let h = r + 37. Which is smaller: 14 or h?
h
Let g = -103.87 + 106. Let t = -0.13 + g. Which is smaller: 20/7 or t?
t
Suppose u = 5*l + 148, 4*u - 10 = 2*l + 42. Let q be (-16)/65 - 12/l. Let c be 6/(-3) - (3 - 3). Is c less than q?
True
Let j be -6*4/8 - 6/(-4). Let l = -0.09 - -7.09. Let v = l - 1. Which is bigger: j or v?
v
Let p = 268 - 882. Is -613 at least as big as p?
True
Suppose -k - 4*k = 4*p - 7, -5*p + k - 13 = 0. Suppose -20 = -2*a - 68. Let l be (4/a)/(1/p). Is l less than -1?
False
Let j be (-40)/16 - 1/2. Which is greater: j or -19/11?
-19/11
Let r = 158/7 + -13128/581. Let h = 4 + 0. Suppose 0 = -3*i - i - h. Which is smaller: i or r?
i
Let l = -261 + 3396/13. Suppose -3*x = -4*k - 3, -5*k + 0 = -3*x + 3. Which is smaller: l or x?
l
Let z be (-16)/(-12)*(-1722)/112. Is -20 smaller than z?
False
Let h = 239 + -345. Let s = h + 105.8. Is s at most -7/3?
False
Let x = 55 + -41. Let w be (-1717)/(-4760) + (-4)/x. Is -1 less than w?
True
Let n = 60 + -54. Suppose n*b = 15 - 3. Is b != 2?
False
Let h(t) = -t - 9. Let i = -11 + 0. Let r be h(i). Suppose -1 = g + 2*k + 8, -r*g - 23 = 5*k. Is g < -1/13?
False
Let x(y) = -y**3 - y**2 + 9*y + 83. Let l be x(0). Is 7 equal to l?
False
Let p be (7 - 16/2)*317. Is -318 equal to p?
False
Suppose -3*d + 2*o - 3*o = 0, -4*d = 3*o - 5. Let v be (4 - -1)/15*(-6)/(-71). Which is greater: v or d?
v
Suppose 0 = -2*y + b - 2*b - 8831176, -2*y = 3*b + 8831176. Let k = y - -4481822216/1015. Let o = -2/203 - k. Which is smaller: o or 9/7?
o
Suppose 3*r = -4*d - 19, 2*r + 12 = -d + 1. Is 1/40 greater than d?
True
Let d(q) = -q**3 - 6*q**2 - 7*q + 3. Let o be d(-4). Let m be o*(-3)/(-33)*8. Is -2 > m?
False
Let p be 2 - (2 - (-274)/6). Let f = -45 - p. Suppose -5*b = -4*b + 5*u - 25, 2*u - 10 = -2*b. Which is smaller: b or f?
b
Let o = -21/5 + 43/15. Which is smaller: -0.1 or o?
o
Let p(y) = -y**2 - y - 3. Let z = -9 + 9. Let x be p(z). Suppose 7*g + 15 = 2*g. Is g at least as big as x?
True
Let d(z) = 2*z**3 - 28*z**2 + 3*z + 11. Let j be d(13). Is j less than -289?
False
Suppose 2*g + q = 5*g - 171, 3*g - 5*q = 183. Suppose p + k = -p + 37, 4*p - 4*k - g = 0. Is p at most 16?
False
Let t = 6270 + -6324. Let k(b) = 6*b**3 - b**2 + 2*b + 1. Let s be 