) = 7*f**2 - 3*f - 8. Let j be g(o). Is 1 <= j?
True
Suppose -2*q - 10 = -4*q. Suppose 0*x - 9 = 3*d + 2*x, -q*d = x + 8. Let u = 5/194 - -621/6014. Are u and d unequal?
True
Let s = 328 - 1127. Does s = -801?
False
Let j = -0.1649 - -0.0649. Are -7251 and j non-equal?
True
Let y = 0.69 + -1.19. Let a = -0.56 + y. Let j = a - -11.06. Is -4/3 bigger than j?
False
Let q = -63 + 45. Let m be 258/q + 3/9. Let b be 38/133 - ((-396)/m + 1). Is b greater than or equal to -30?
True
Let p = -133 + 171. Let m = 7 + -7. Suppose 4*w - 27 - 125 = m. Is w at least p?
True
Let c = -13992 - -24209. Which is bigger: 10218 or c?
10218
Let h(d) = 24*d**2 + 20*d**2 - 64*d**2 + 1 + 24*d**2 - 8*d. Let m be h(2). Let c = 8383/270 + -309/10. Which is smaller: m or c?
c
Suppose -92*x + 95*x = 8*k - 91160, -3*k = 3*x - 34218. Which is smaller: 11397 or k?
11397
Let t = 22391 + -22385. Which is bigger: -7/38 or t?
t
Let q = -389 + 392. Suppose -5*i + 27 = -2*h, 2*i = -h + 6 + 3. Let v be (20/(-18) - (4 - 2))/h. Is q at least v?
False
Suppose -84*a + 36*a = -144. Suppose -3*h + 6*h = 9. Suppose h*v - 1 = 5. Which is smaller: v or a?
v
Let f = 0 - 1. Suppose -3*i - y = 22, y - 10 - 3 = 2*i. Let k be ((-6)/12)/(-5 - i). Is f greater than k?
False
Let y = -887 - -868. Suppose -5*r = 5, 4*d + 4*r - r + 83 = 0. Which is greater: y or d?
y
Suppose 18917 - 18912 = 5*g. Which is smaller: 2/1011 or g?
2/1011
Let y be (-12)/48 - 283/(-12). Let n = -21 + y. Let g be 32/(-18) - 4/18. Which is greater: g or n?
n
Let l(s) be the first derivative of -8*s**2 - 1. Let z be l(-1). Let x(f) = 390*f - 30793. Let m be x(79). Which is bigger: m or z?
m
Let z be ((-18)/(-4))/((-3132)/72). Is 1 less than or equal to z?
False
Let k = 31824 - 43932. Which is bigger: -2 or k?
-2
Let s = -0.08055 - 39.91945. Let o = -124 + 87. Let x = s - o. Are x and 3 nonequal?
True
Let y(x) = -3*x**2 - 6*x. Let f be y(-6). Let j(m) = 253*m + 26. Let o be j(-2). Let t = o - -409. Are t and f nonequal?
True
Let d = -26053/7287 - -4/1041. Let z(l) = -l - 20. Let y = 67 + -83. Let m be z(y). Are m and d non-equal?
True
Let w(j) be the second derivative of -j**4/4 + 11*j**3/6 + 6*j**2 - 5*j - 6. Let o be w(5). Which is bigger: o or -13?
o
Let b = -4222 + 4260. Which is bigger: 0.27 or b?
b
Let r = 153164/34335 + -467/105. Is 0 bigger than r?
False
Let w = 9959 + -10568. Let f = -813 - -205. Which is smaller: w or f?
w
Let s(j) = j + 5. Let t be s(-4). Let r be -2 - 320/(-150) - 28/185. Which is smaller: r or t?
r
Let v be 10658/(-5152) + 1*12/8. Let c = v + 15/112. Which is bigger: c or -1?
c
Let t be (-17)/((-255)/21)*5. Suppose -3*m + 17 + 4 = 0. Is m bigger than t?
False
Let z = -239 + 238. Is -21/82 bigger than z?
True
Let p(d) = d**2 - 2*d + 5. Let j be p(3). Suppose j = -n + 20. Let h = 10 - n. Is -3/4 greater than h?
True
Suppose -1540 = -5*q - 45. Let z(c) = -300*c**3 - c**2 + 1 - 3*c**2 - 3*c + q*c**3. Let f be z(-3). Is 6 < f?
False
Let n be (-3)/(8/6 - (29 - 3718/132)). Is 182 <= n?
False
Let o = 3 + 2. Suppose -2*r + 15 = 5*u, 3*u = 7*r - 11*r - 5. Suppose 125 = -u*h - o*p, -4*p + 63 = -5*h - 107. Which is smaller: h or -1?
h
Let v(n) = 4*n + 39. Suppose 12*h = -6 + 42. Suppose -w = -h, -z - 41 = 4*z + 3*w. Let p be v(z). Is -4/7 < p?
False
Suppose 6 + 7 = 13*g. Let a(f) = -f**3 + f**2 - f - 530. Let r be a(0). Let o = 24908/47 + r. Which is greater: g or o?
g
Let q = -16 - -16.07. Let s = 48018/7 + -6673. Let k = 187 - s. Is k >= q?
True
Let a = -22011/5 + 1520089/345. Let g be -1 - (2 - 140/92). Let i = a - g. Which is greater: 4 or i?
i
Let l = -18 + 12. Let m(o) = 4*o**2 + 12*o - 6. Let x be m(l). Let w = -30 + x. Which is bigger: 35 or w?
w
Suppose 0 = 6099*f - 6102*f - 9. Let z be (11 - 12) + 1992/(-10). Let p = z - -198. Is p greater than f?
True
Let l = -95 - -277. Suppose 3*p = 4*q - 15 - 163, 0 = 4*q - 5*p - l. Which is greater: 2 or q?
q
Let r = 4.1 - 4. Let d = 54.859 + 0.141. Let j = d + -54.79. Is j bigger than r?
True
Let k(z) = 6*z - 38. Let m be k(6). Let a be (m - 14/(-4))*16/(-96). Is 34/3 > a?
True
Suppose 20 = -4*x, 2*w = -2*w + 5*x + 45. Suppose b = 2*a + 9, 2*a + 17 = -a + w*b. Let k be 126/(-48) - 1/2. Which is greater: a or k?
k
Let t = 58 + -82. Let c(a) = -2*a**2 - 47*a + 24. Let z be c(t). Suppose -o = -3*k + 5*k - 18, 5*o - k - 101 = z. Which is greater: 21 or o?
21
Let a = -23190 - -23747. Is 583 > a?
True
Let o be (45/(-195))/(6/(-502)). Let x = o - 3799/52. Are -55 and x non-equal?
True
Let c = 1248431/11 + -113386. Let b = c - 9274/77. Is b at least as big as -12?
False
Let v be (37/16)/(4/24). Let o(y) = -506*y + 9121. Let r be o(18). Which is greater: v or r?
v
Let w(v) be the second derivative of v**3/2 - 5*v**2/2 + 11*v. Let j be w(-4). Suppose -8*y - 2*a + 62 = -12*y, 2*y + 5*a + 25 = 0. Are y and j nonequal?
True
Let l = 0.28 + -0.02. Let x = l - 26.26. Let i = 198.9 - 199. Which is smaller: x or i?
x
Let u = -4686 - -6929. Let i = u + -4366. Let l = 486165/229 + i. Is l <= 0?
True
Suppose w + 3*w = 432. Let n(b) = b**2 + 23*b - 103. Let s be n(-30). Which is greater: w or s?
w
Let n = 153 + -77. Let l = -194 - -195. Let c be 1/1*l - -75. Is c != n?
False
Suppose 0*l + 2*p + 30 = -5*l, 4*l = 5*p - 57. Let k be l/(64/(-24)) + 277/(-89). Is 0 greater than k?
True
Let x(u) be the first derivative of -4*u**3/3 - 3*u**2/2 - 14*u - 10. Let y(h) be the first derivative of x(h). Let l be y(1). Which is smaller: -13 or l?
-13
Let g = 7 + -7.004. Let a = g + 0.204. Is a < 3.2?
True
Let h be 2 + -1 + 1*-1. Let p be (2 + (-168)/51)*(-12)/(-11 - 13). Is p != h?
True
Let c be 9/24 + 74/16. Suppose -9*q + c*q = 2*q. Which is bigger: -1/11 or q?
q
Let z = -54 - -74. Let o = z - 20. Let r = o + 0. Which is smaller: -0.04 or r?
-0.04
Let b(h) = 45*h + 227. Let p(x) = -22*x - 115. Let g(z) = 6*b(z) + 10*p(z). Let q be g(-5). Which is smaller: -33 or q?
q
Let q = 1393/2 - 739. Let j be (-2)/((28/(-264))/(98/(-42))). Which is smaller: q or j?
j
Let g(v) = v**3 + 7*v**2 + 7*v + 5. Let h be g(-6). Suppose f - 38 = -203. Let a = 1816/11 + f. Is h not equal to a?
True
Let t = -3799/69 - -167/3. Suppose 8*w = 2*d + 24, 0 = -54*d + 53*d - 8. Which is greater: w or t?
w
Suppose -23*v + 30 - 16 = 14. Which is bigger: 150/197 or v?
150/197
Let d = 5846 - 5846. Is -621 smaller than d?
True
Let l(g) = 3*g**3 - 3*g**2 + 4*g - 1. Let h be l(1). Is 27/16 not equal to h?
True
Suppose -8*d = 2*d - 30. Suppose d*y + 40 = 43. Is y smaller than 15/19?
False
Let v be 30/35 + (-18891)/2268 + -3. Let t = 4779/4 + -1205. Let j = v - t. Which is greater: j or -1/5?
-1/5
Suppose 52*g - 8774 = -26194. Is g < -334?
True
Let c = -1376/5 + 5023781/18255. Are c and 1 nonequal?
True
Suppose 5*t = -1487 - 4208. Is -7978/7 <= t?
True
Let x = -197.68 - -12.08. Let i = x - -185. Which is bigger: i or 1?
1
Let p(g) = 6*g + 82. Let h be p(-13). Let x be (-48)/(-20) + (-4)/10. Suppose 4*z + x = -5*i, -3*i - 10 = h*z - 6*z. Is i < -4/5?
True
Let t = 0.0802 + 1.0198. Let n = t - -45.9. Which is greater: -1/16 or n?
n
Let z = -5 + 198. Let x = z + -22. Is x less than 170?
False
Let a = -1431 + 1431. Which is smaller: a or 2377.3?
a
Let j = -2868 - -11473/4. Let d = 10/77 - 706/693. Are j and d equal?
False
Let f(s) = 2*s**2 + 22*s - 29. Let a be f(-13). Suppose 27 = a*c + 73. Is 18 > c?
True
Let a(h) = 47*h - 1602. Let w be a(31). Which is greater: -162 or w?
w
Let d be ((-72)/(-90))/((-4)/(-10)). Suppose -3*c + d*i = -114, -12 = 2*c - i - 89. Which is greater: c or 41?
41
Let u = -445.923138 - 0.106862. Let r = 446 + u. Is -0.26 less than or equal to r?
True
Suppose 2*c - 3*s - 3 = 0, 3*c - s = -5*s - 4. Let l be 1 - 1*c/(-1). Let p = -342 + 341. Is p smaller than l?
True
Suppose n + 3*y = -y + 10, 5*y = -n + 11. Let j be (15/n)/(2/(-4)). Let u(v) = -3*v - 5. Let s be u(j). Which is bigger: 3/4 or s?
s
Let n(v) = 7*v**3 - 11*v**2 + 14*v + 13. Let p(o) = -5*o**3 + 11*o**2 - 15*o - 12. Let j(r) = -2*n(r) - 3*p(r). Let w be j(9). Which is greater: 0.088 or w?
w
Suppose g + 7*o - 296 = 2*o, -5*o = 4*g - 1154. Let b = -284 + g. Which is greater: b or 0?
b
Let l = -75269 - -662569/9. Let g = -1645 - l. Is 5 bigger than g?
False
Let a be 150/(-8)*(-9 - 423/(-27)). Which is bigger: -2122/17 or a?
-2122/17
Suppose 23*n - 10*n = -4