= -f. Is z <= f?
False
Let n(a) = -2*a - 44. Let w be n(-23). Suppose w*s = -m - 0*s - 2, m + 5*s = -5. Let o = -7 - -5. Is m not equal to o?
True
Suppose 5*j = -i - 899, 0 = -5*i - 0*i - j - 4495. Let b = 6283/7 + i. Let r be 1/2 - 11/14. Is r > b?
True
Let w(d) = d**3 + d**2 - 2*d. Let s be w(-2). Suppose -5*c + 5*u = -c - 40, -2*u - 20 = -2*c. Let k be c/26 + 43/(-43). Is s smaller than k?
False
Let z = -55 - -55. Suppose z = -5*k + 5. Which is bigger: 6/29 or k?
k
Let b be -5*(-5)/(14500/8). Let u = 2894/435 + b. Which is bigger: u or 1?
u
Let k be (-6 + -4)*(-3 - -4). Let l = k + 11. Let o = -242/423 + 6/47. Which is bigger: o or l?
l
Let j(g) = g**3 + g - 1. Let k be j(1). Suppose -k = 3*w - 5*x - 18, -2*x = w - 13. Let h = -7 + w. Is 17/5 at least as big as h?
True
Let p = 0.066 - -0.013. Is -1 at most as big as p?
True
Let k = -12 + 8. Let v be (-4)/(-2 + 4) - k. Suppose z = -v*z - 3*q, -2*z - 7 = -5*q. Is -2 > z?
False
Let a = -183 - -203. Which is smaller: a or 23?
a
Let i = -13.5 - -15.5. Are -0.714 and i non-equal?
True
Let q(l) = -2*l**2 - 13*l - 5. Let i be q(-5). Is 18 < i?
False
Let q = 0.09 - 0.05. Is -2/15 greater than q?
False
Let l be 6/(-4)*(14 - 0). Suppose 141 = 5*v - 2*h, -4*v - 35 + 157 = 3*h. Let n = l + v. Which is bigger: n or 7?
n
Let x(i) = 38*i**2 + 8*i - 4. Let l be x(-8). Let s = l - 47269/20. Let u = s - 4/5. Which is smaller: -0.2 or u?
u
Let k(c) = -c**3 - 3*c**2 + c - 2. Let f be k(-4). Let x(z) = -z**2 + 9*z + 7. Let j be x(f). Do j and -5 have different values?
True
Let b(j) = j**2 + 3*j + 17. Suppose 0 = -3*r + r - 16. Let t be b(r). Let a = t + -511/9. Which is smaller: a or 0?
0
Let y = 5 - 5. Suppose l - 3*l = y. Suppose 3*c - 6*c = -3. Which is bigger: l or c?
c
Let n be -3 + 5 + (-2)/2. Let u(m) = -m + 1. Let k be u(n). Let y be (k - -3)*56/24. Which is bigger: 5 or y?
y
Suppose p + v + 339 = 0, p + 0*p = 2*v - 342. Which is smaller: -341 or p?
-341
Let h(s) = -s - 5. Suppose -b + 7 = 4*w - 6, 0 = -3*w - b + 11. Let x be h(w). Let p = -8 - x. Which is bigger: p or -4?
p
Let j be 2 + 3 + (8 - 8) + -4. Do j and 1/703 have the same value?
False
Let p be -2*(-21)/(-12)*-2. Suppose -4*r - 3*r = p. Let y be (r - -3)*33/(-6). Is y at least as big as -11?
True
Let n be (-2)/3*171/323. Suppose f + 2*v - 7 = 0, -3*f - 15 = -4*v + 14. Let d = f + 2. Which is bigger: d or n?
n
Let x = -0.17 + 0.45. Let d = -4 - -4.28. Let f = x - d. Which is greater: 1 or f?
1
Let f = 218890 - 74203487/339. Let z be 1 - (-1 - (-450)/226). Let i = z + f. Which is bigger: -10 or i?
i
Let x(p) = -13*p + 8 - 3*p**3 + 20*p**2 - 6*p**2 + 2*p**3. Suppose 0 = -14*n + 113 + 69. Let k be x(n). Which is smaller: 6 or k?
6
Let w = 326 - 145. Which is smaller: -5 or w?
-5
Let o(y) = -3*y + 4*y - 60 + 59. Let k be o(-8). Let p(n) = n**2 - 9*n - 2. Let z be p(8). Which is smaller: z or k?
z
Let u(k) = 6*k**2 - 50*k + 236. Let j be u(4). Which is smaller: j or 657/5?
657/5
Let g = 1855 + -1854.3. Are 3 and g equal?
False
Let y = -76 - -44. Let r = y - -45. Which is bigger: r or -3?
r
Let z be (-26)/(-36) + (-1)/2. Let r be (-6)/(-10) - (-332)/(-550). Let a = r + 557/1925. Which is smaller: a or z?
z
Suppose 5*s - 7*s + 4*b = -4, -s - 2*b - 10 = 0. Let j be 46/(-32)*s*1. Which is smaller: 6 or j?
j
Let z = 2 - 5. Let i = z - -3.01. Let n = -0.09 - i. Is n less than or equal to 4?
True
Suppose 4*f = -5*b + 36, 0 = 6*f - 5*f + 2*b - 12. Suppose 0 = -3*r - 3, r + 19 = f*l + 6*r. Which is greater: l or -2?
l
Let j(f) be the third derivative of f**4/6 - 4*f**3/3 + 11*f**2. Let l be j(2). Which is smaller: -2/243 or l?
-2/243
Let o(k) = -k**3 + 19*k**2 - 15*k - 55. Let l be o(18). Which is greater: l or 3/85?
3/85
Let k = 3883/8 - 485. Is k greater than -1/7?
True
Let u = 85 - 85. Let v be 3/(-12) - 14/(-24). Is v > u?
True
Suppose -19 = -2*q - 9. Suppose -5*g = o - 7*g - 5, q*o = -4*g - 31. Is -1 at least o?
True
Let a = 1101 + -775. Which is smaller: a or 328?
a
Let z(o) = -o**3 + 6*o**2 + 4. Let t be z(6). Suppose 5*s = -t*v, -v + 0*v = -4*s. Let i = -8699/44 + 793/4. Which is greater: s or i?
i
Suppose 0 = -d - 2*g + 8, 4*d + 4*g - 11 = 9. Suppose -10 = -3*h + d*t, -h + t = 5*t + 6. Let y be (-12)/4 + 2*h. Is -1/3 bigger than y?
False
Let x = -946 + 948. Let a(c) = 2*c**2 + 5*c + 2. Let p be a(-3). Suppose 5*v - p = 5. Does x = v?
True
Let i(m) = -45*m**2 + 7*m - 38*m**2 + 76*m**2 - 6 - m**3. Let t be i(-8). Let o be 80/45 - (-6)/27. Does o = t?
True
Let v = -1 - -1.4. Let j be 6 + 46/8*-1. Is v at most j?
False
Suppose 2*b + f = -0*f + 10, 15 = 3*b + 2*f. Suppose -2*r + 2*v = -4, v = -4*r - v + 32. Which is smaller: r or b?
b
Let z be 2/2*10/2. Suppose 3*x = 7*x - 2*q + 8, -3*x + 4*q - 16 = 0. Are z and x equal?
False
Suppose 0*l + 3*l = -2*b + 8, -2*b + 8 = -2*l. Let r(d) = -d + 76. Let x be r(l). Which is bigger: 75 or x?
x
Suppose 278*t - 292*t = 1806. Which is bigger: t or -7?
-7
Let d be (-4 + 0)*(-1)/(-2). Let u(b) = -b**3 - 21*b**2 + 11*b - 10. Let c be u(-22). Let h = c + -237. Is d at least as big as h?
True
Let h = -822 + 694. Is -127 less than h?
False
Let p(d) = -d**3 - 15*d**2 + 11*d + 21. Let g be p(-16). Suppose -9*b = -g - 61. Which is smaller: b or 16?
16
Let c(q) = 2*q**2 + 80*q - 48. Let f be c(-41). Is f <= -8?
False
Let l = -677 - -576. Is l greater than -0.2?
False
Let x be (-4)/(-14)*8 + 24/(-84). Is x greater than or equal to 1?
True
Let q = 9/1876 + 61363/1876. Is q greater than 33?
False
Let d(y) = y + 2. Let r = 34 + -30. Let i be d(r). Let o = -8 - -14. Do o and i have the same value?
True
Let x = -5 - -4.8. Let o = 882 - 884. Are x and o nonequal?
True
Let c = 457 + -461. Which is greater: -140 or c?
c
Let b(d) be the first derivative of d**4/4 + d**3/3 - d**2/2 - 10*d - 15. Let i be b(0). Is -11 <= i?
True
Let k = -1379 - -1379.4. Does -454 = k?
False
Let g be (-25 - -21) + 5 + 1. Which is smaller: 28/25 or g?
28/25
Suppose -8*b = -3*b + 20, -f - 42 = -2*b. Let l be ((-4)/f)/(9/360). Which is smaller: l or 3?
3
Let u = -6.6 + 8.6. Which is smaller: 2/59 or u?
2/59
Suppose -18*x = -17*x. Suppose x = 3*g - 2 - 7. Which is greater: g or -3?
g
Let s = -3182/6135 - 6/409. Let c(k) = k**3 - k**2 - k - 2. Let t be c(0). Which is smaller: s or t?
t
Suppose -45*m - 45885 = 70*m. Which is greater: -398 or m?
-398
Let f be 1/3 - (-62)/(-6). Let m be 3/f*2/(-6). Let c(h) = -3*h**3 + 47*h**2 - 29*h - 16. Let o be c(15). Is m <= o?
False
Suppose 3*b + i + 169 = 0, 4*b - 2*i + 4*i + 226 = 0. Is -56 > b?
False
Let z be -3 + 2/(128/200). Which is bigger: 3/13 or z?
3/13
Let q = 14 + -13. Let l be ((-5)/(-15))/(q/12). Suppose 7 - 3 = -l*w. Which is bigger: -2 or w?
w
Let r = 52 + -48. Suppose 10 = w - 6*w, f = -3*w - r. Let g = -0.3 + 0.38. Which is smaller: g or f?
g
Let y = 19 - 19. Suppose y*k - 2*k + 10 = 2*v, -4*v + 4*k + 4 = 0. Suppose -4*o = v*u + 19, -u - 2*o - 9 = -0*o. Is u < -1/53?
True
Let o be 2/((-3)/6*2/(-4)). Let k = o + 7. Is k != 12?
True
Let n be (-7)/(147/(-6)) - 766/(-112). Is n at least 7?
True
Suppose 2*j + 3*c = -75, 4*j + 4*c + 205 = -j. Let a = j + 36. Is a < -10?
False
Let o = -441.9 + 442. Let v = -0.2 - 0.8. Let q = v + 7. Which is smaller: q or o?
o
Let m = -1.1 + 1.09. Let l = m + -0.02. Let y = l + 0.13. Which is smaller: y or -14?
-14
Let u = 393 - 394. Is u less than -1/9?
True
Suppose 2*l + 2*l - 4 = 0. Let d be (0 - 0)/(l + -2). Which is smaller: d or 4/7?
d
Let j be (((-6)/(-28))/(-3))/(108/96). Which is greater: 1 or j?
1
Let j = 11 + -6. Suppose 8*f - j*f = 339. Let s = -1583/14 + f. Is s greater than -1?
True
Let b be 7 - (0 + (-1612)/(-232)). Which is greater: 1 or b?
1
Let u be -2 + (-5)/65 - (5 + -7). Which is smaller: u or 1?
u
Let y = 182 + -182.37. Is y at least as big as -2/5?
True
Suppose 7*w - 2*w = 3*c + 16, -2*c + 2*w - 4 = 0. Suppose -25 = 5*p - d, 4*p + 9 = c*p + d. Let f = -4 + -2. Which is bigger: f or p?
p
Let f be 5/(-50) - 622/(-60). Is 10 at least f?
False
Let h be (-3)/(-9)*-1 - 1144/(-120). Are 9 and h equal?
False
Let t(m) = m + 18. Let z be t(-16). Let x be ((-3)/(-6))/(-1 + 2). Which is smaller: x or z?
x
Let c = 17.2 - 16.8. Let d = 2.95 - -0.05. Which is smaller: d or c?
c
Let c = 611/2244 + 1/2244. Which is smaller: c or 4/17?
4/17
Let a = -0.0345 + 2.3345. Is -1