4*f**2 - 2*f + 6. Let y be d(-4). Suppose 3 = -x + a, -4*x - a - y = -6*a. Does x = w?
True
Suppose 2*n = -0*n. Let z = -1410/143 + 9584/1001. Are n and z nonequal?
True
Let t = 46 + -49. Let z be 36/(-4)*t*(2 - 4). Let d = 19 + z. Which is smaller: -34 or d?
d
Let z = -131207/30 - -8741/2. Let x be (-6 - -4)/(2/3). Which is bigger: z or x?
x
Let w be 0 + 6/18 + 445/15. Suppose g - 3*r - 2*r = w, g = -r. Is 11 smaller than g?
False
Let z = 3 - 5. Let k be (1 - 5)/((-7)/(6664/(-16))). Let u = -238 - k. Which is bigger: u or z?
u
Suppose 6*c = c - 10. Let w be c + -1 - (-436 - -94). Is w < 339?
False
Let a = 324 + -245. Is -21 greater than or equal to a?
False
Let o be (34/(-2))/((-24)/(-168)). Let v = o - -143. Let z be ((-4)/6)/(v/36). Which is smaller: z or 1/26?
z
Let w = -85 + 87. Suppose f - 5*m + 18 = -w*f, 2*m = -2*f + 4. Let r = 31 - 63/2. Is r bigger than f?
True
Let r(y) be the third derivative of -y**4/8 + 37*y**3/6 - 8*y**2. Let j(p) = 14*p**2 - 2. Let s be j(1). Let k be r(s). Which is bigger: 4/39 or k?
k
Suppose -4*j = -3*y + 13, -3*y + 11 = 2*y + 4*j. Suppose -4*m = y*m. Let g be m/(4 - (4 + 4)). Is 1 at most as big as g?
False
Let c = -99 + 92. Let y be (-1 - 24/(-21))*(-4 - c). Are y and 0 unequal?
True
Let w be 5250/375*(4425/6)/(-5). Is -2064 at most w?
False
Let x = -9881 - -9978. Let g = -1 - -1. Which is greater: x or g?
x
Suppose -5*u - 22338 = x, -3710 = 2*u - 5*x + 5209. Which is greater: -4466 or u?
-4466
Suppose 9*y = -u + 7*y + 9, -5 = -y. Let q be 25/(-195)*(0 + 2). Is u != q?
True
Let r(a) = -6*a - 21. Suppose l = 2*d + 5, 0 = 5*d + 2*l - 7*l + 5. Let q be r(d). Is q at least as big as 0?
True
Let d be ((-13)/(-39))/(6/(-2232)). Does d = -121?
False
Let i = -2/4573 + -4561/27438. Is 162 less than i?
False
Let i be -1 + (489861/29877)/1. Let m = i - 354/23. Let a = m + 393/8660. Which is smaller: a or 1?
a
Let n(d) = -d**2 + d - 8. Let v be n(6). Suppose 11*y + 7 = -345. Let f = v - y. Which is smaller: f or 2/3?
f
Let s be -48 + 43 + -1 + 6. Which is bigger: 1/435 or s?
1/435
Let f(s) = -5*s + 83. Let k be f(16). Let a = -1/4 - -37/20. Is k at most as big as a?
False
Let u = 38 + -64. Let t be 13 - ((-12075)/14)/(-23). Which is bigger: t or u?
t
Let c = -8 + 14. Let i be 5 + 2 + 1 - 3. Suppose 2*a - i*g = -7, 4*a + 2*g - 20 = 2. Are c and a nonequal?
True
Let i be -1 + 3*(-1)/5. Let b be 0/((-3 + 2)*(-32 + 34)). Do i and b have different values?
True
Let a be (176/220)/(111/285). Which is bigger: 1 or a?
a
Let s(v) = 31*v + 3. Let c be s(6). Suppose 3*z = -z + 16, -z + 191 = k. Which is greater: c or k?
c
Let u = 842 - 1540. Let m = -4817/7 - u. Which is smaller: 9 or m?
9
Let f(p) = -16*p - 8. Let n be f(-6). Let g = 278/3 - n. Is g >= 5?
False
Let c = 543 - 530. Suppose -c = -43*t + 30*t. Which is smaller: t or 8/83?
8/83
Let a be (-5 - -1)*1 - (-5 + 0). Let g be a - (-3 + (12 - 6)). Which is smaller: g or -1?
g
Let m = -863 + 950. Suppose 13*d - 95 - m = 0. Let j be (-110)/(-7) - 4/(-14). Which is smaller: d or j?
d
Let l = 7750 - 11893. Which is greater: -4145 or l?
l
Let h = -1 - 0. Let s be 0*8/(-16) + -1180. Let i = s - -134519/114. Is h < i?
True
Let y = 40 + -63. Let u = 13201 + -12559.9. Let r = -641 + u. Which is smaller: y or r?
y
Suppose -20*v + 250 = 651 + 599. Is v greater than or equal to -148?
True
Let k be 5 - 160/30 - (-436)/1506. Let d = 24794/1255 - k. Is d at least as big as 20?
False
Let p = -3093979/5256 + 185/657. Which is bigger: -587 or p?
-587
Let v be (-2)/(-3)*(-9)/(-6)*-11. Let u be 152/(4 + -2)*v/(-22). Suppose 0 = 4*o - 226 - u. Which is bigger: o or 65?
o
Let l be (15/(-2))/(3/(-8)). Let u(a) = -a**3 + 22*a**2 - 42*a - 26. Let c be u(20). Let w be c/(-72)*21 + (-2)/8. Is l less than w?
False
Let d be -9 - ((-154)/616 + 5350/(-328)). Which is greater: d or 9?
9
Suppose -555*k = -j - 559*k - 5095, k - 25391 = 5*j. Are j and -5079 unequal?
False
Let z(k) = -5*k**2 - 10*k + 10. Let s(x) = -2*x + 23. Let p be s(14). Let b be z(p). Let h be ((-4)/b)/(12/(-30)). Which is smaller: 0 or h?
h
Let w = -15 + 30. Suppose -10*p + w*p = 0. Let r be ((-3)/2 - -1)/((-3)/(-2)). Is r greater than or equal to p?
False
Suppose -1383*r = -1393*r. Let y be 4 + -4 + (-1)/1. Let o be (y/(-6))/(1/8). Is o != r?
True
Let c be (4 - 0)/((-4)/(-30)). Let k be 4/(-14)*-7*(-43)/2. Let r = c + k. Which is bigger: r or -15?
r
Let t = 10921 + -10920. Which is greater: t or -36/443?
t
Let q be (-1 - 1)*-1 + (-106029)/53028. Is q greater than or equal to 0?
True
Let f = 0.40032 + 280.68968. Let k = f - 4.09. Is k at most -0.1?
False
Let x = -7203 - -7523.9. Let t = -321 + x. Which is smaller: 152 or t?
t
Suppose 0 = 5*f - 4*b - 50, 76 = 4*f - 0*b + 4*b. Let l be 7/f + (-4)/8. Which is smaller: -1/196 or l?
-1/196
Let m be 4/(-2) + 16286/912. Let z be (2286/(-48))/(9 + -12). Let n = z - m. Is n at most as big as 0?
False
Let w = -89699/37403774 - 1/30311. Is 0 at least as big as w?
True
Let r(b) = -b - 11. Let z(h) = 4*h + 36. Let k(s) = -3*r(s) - z(s). Let x(g) = g**3 - 7*g**2 + 6*g + 1. Let f be x(6). Let n be k(f). Is n > -6?
True
Let g be (-2)/8*4/9. Let t(x) = -3*x + 3*x + x**2 + 6*x - 6. Let u be t(1). Is g at least as big as u?
False
Suppose -12*x + 13*x + 12 = 0. Let u(c) = -6*c**2 - 74*c - 16. Let o be u(x). Suppose 23 = 5*t - 22. Is o at least as big as t?
False
Let y be 10/(-24) + (-1)/4. Let v be 432/(-810) + (-80)/(-105). Is v > y?
True
Let k(n) = -n**3 - 9*n**2 + 12*n + 20. Let y be k(-10). Let p be (-2 + -2)*(y - 6/24). Is p > -2/975?
True
Suppose s - 44 = -3*c + 6*s, 2*s - 37 = -3*c. Let h be (c/(-5))/(44/(-20) - -2). Is 19 >= h?
True
Let w be (7/(-6) - -1) + 37 + (-807426)/21924. Is -3 bigger than w?
False
Let r be 10332/288 + 6*(-3)/2. Is 28 less than or equal to r?
False
Let n = 14381/282277 + -21/439. Is n equal to -1?
False
Let q = 19 + -17/2. Let k be (5 - (-304)/44) + (-4)/(-44). Which is bigger: k or q?
k
Let k(r) = 78*r + 1051. Let s be k(-19). Which is bigger: s or -1719/4?
-1719/4
Suppose 7*u - 2*u - 325 = 0. Let x = -69 - -140. Let z = x + -5. Is z greater than or equal to u?
True
Let c = -3.5198 - -2.5198. Which is smaller: c or 100.2?
c
Let q = -20 - -16.6. Let z be (24/10 + (3 - (-120)/(-50)))/2. Which is greater: z or q?
z
Suppose -3*z + 3 = 5*c, 90*z = 4*c + 95*z + 8. Suppose 6 = 3*w - 9. Which is bigger: c or w?
w
Suppose 2*i + 3*t - 1164 = 701, 0 = 4*i + t - 3765. Are 943 and i non-equal?
False
Let o = -19073/15 - -1272. Suppose -5*h + 0*h - 4*k = 0, 0 = -h - 5*k - 21. Suppose -3*c - 8 = g, 5*c - 13 = h*g + 2. Which is bigger: o or c?
o
Let t(a) = a**2 + 16*a - 6. Let d be t(-15). Let b be (-4)/(-14) - 1149/d. Let r be 3/15 + (-31)/b. Which is smaller: 0 or r?
r
Let n = -1869443327854/6565 - -284759074. Let g = 14/13 + n. Is g at most -1?
False
Let s(q) = q**3 + 7*q**2 - 7*q + 15. Let n be s(-8). Let g be 2/n + (-5490)/(-189). Which is greater: g or 28?
g
Let v(w) = -w**3 - 9*w**2 + 11*w + 15. Let a be v(-10). Suppose a*y - 154 = 91. Suppose 238 = 5*o + 4*q - 3, -5*o + q + 246 = 0. Is y > o?
False
Let m(w) = -59846*w - 119481. Let b be m(-2). Let r be 1/(2/418) + 1. Are r and b equal?
False
Suppose 5*l = 1 + 4. Let t = 138628/143 + -12222/13. Let u = t - 4852/165. Which is bigger: u or l?
l
Let j(b) = 284*b**2 + 12*b - 16. Let d be j(-3). Which is bigger: d or 2506?
2506
Let k be ((-2)/(-6))/(6/(-72)). Suppose 2*x + 85 = -3*x + 3*b, 3*x - b = -55. Let t be ((-2)/k)/(x/24). Is 0.5 >= t?
True
Let x = -7801 - -7865. Which is smaller: x or 0.17?
0.17
Let i = -21 - 9. Let f = -47 - i. Suppose -5*m - 16 = 2*k, 5*k + m + 42 = -44. Which is smaller: f or k?
k
Let y = -32 + 41. Suppose 0 = -4*i + y*i - 120. Let b = i - -16. Does 39 = b?
False
Let h be (((-10)/15)/2)/((-4)/12). Is h != 1/2289?
True
Suppose -9*s = -18*s + 31401. Let f = s + -17289/5. Which is smaller: 31 or f?
31
Suppose 79 = 9*f - 146. Suppose -27 - f = -13*n. Is 36/7 <= n?
False
Suppose -46*p + 87*p - 52*p = -4917. Which is bigger: p or 450?
450
Let q = 18 - 18.21. Let w = 0.07794 - 0.06794. Let y = w + q. Which is smaller: 2/7 or y?
y
Let c = -4605073798215/210239 - -64677727/2533. Let v = 21878177 + c. Let i = 283 + v. Which is smaller: 0 or i?
0
Let n(g) = g**2 - 5*g + 8. Let c be n(7). Let q be 15/10*2 + -33. Let s b