t = z + 73. Let n(d) = d**3 - 16*d**2 + 16*d - 18. Let b be n(t). Is b > -22/5?
True
Let c = -45.14 + 41.14. Which is greater: c or -17?
c
Let c(v) = 55*v + 437. Let l be c(-8). Let s(y) = -y**2 - 8*y - 9. Let u be s(-6). Let j be (-10)/((-1)/(u/l)). Does j = -8?
False
Suppose -10*s + 153 = -9*s. Let m = s + -111. Is 41 at most as big as m?
True
Suppose 0 = -15*l - 64 + 38 + 41. Which is smaller: 10/8507 or l?
10/8507
Let u = 24 + -24.15. Let o = 0.15 + u. Let b = 0.72 - 0.71. Which is bigger: o or b?
b
Let x(g) = 135*g + 1081. Let n be x(-8). Which is smaller: 14 or n?
n
Suppose -c = -2*c - 11. Let m be 7259364/(-715596) + 9 + 1. Let v = m - -2/1217. Is c < v?
True
Suppose 4*b + 2*p - 7 = 3*b, -5*p = 5*b - 10. Let o(x) = x + 12. Let v be o(b). Suppose -5*m - 4 = -2*u, 4*m = -4*u + v - 1. Which is bigger: m or 7/8?
7/8
Let t be ((-24)/14298)/(76/133). Is -1 <= t?
True
Let x be (-62818)/(-294)*79/(-365). Let b = x + 10/219. Is b > -47?
True
Let k(o) = 1226*o - 1380. Let u be k(1). Which is smaller: u or -11?
u
Let k(b) = 406*b + 750. Let m be k(-11). Is -3717 less than m?
True
Let v(s) = -43*s + 2654. Let k be v(66). Is -914/5 <= k?
False
Let s(x) = -x**2 + 6*x + 8. Let i = 63 - 54. Let c be s(i). Let l(p) = p**3 + 7*p**2 + 9*p. Let w be l(-6). Is w < c?
False
Suppose 48*t + 9818 = -13030. Which is smaller: -3 or t?
t
Let o(f) = -27*f - 675. Let m be o(-25). Is m less than or equal to -1/3194?
False
Let r be 3/((-2)/(8656/12)). Let l be ((-2)/(-1))/(168/r). Let c = l + 79/6. Which is greater: c or -0.01?
c
Let t be 1/3 + (-34)/138. Let a = -1266 + 1793. Let b = -526.8 + a. Is b at most as big as t?
False
Let j = -0.2332 - -0.4332. Does 1443 = j?
False
Let m = 1080749627/63 + -17154333. Let c = 423 - m. Let i(f) = -f**3 + 6*f**2 - 6*f + 4. Let b be i(5). Which is smaller: b or c?
b
Let u = -19559 - -19557. Which is smaller: 999 or u?
u
Let n = -110 + 106. Let g be n/10 - 812/70. Let u be g/(-4) - -446*(-4)/600. Is u >= 0?
True
Let y be ((-5690)/(-75))/(8/12). Let u(m) = 6*m**2 - 10*m - 87. Let k be u(-5). Which is smaller: k or y?
k
Suppose -3*p + 21 = -5*r, 4 = 40*p - 38*p. Which is smaller: 6225 or r?
r
Let r = -852/139 - -837382/137749. Which is bigger: r or 0?
0
Suppose -17 = 10*v - 197. Suppose -v*k + 11*k = -7. Let o = 24 - 87/4. Is o < k?
False
Let q = -3267466/880647 - -2/12763. Which is greater: -4 or q?
q
Let n be ((-198)/176 - (-2)/16)/((-1)/(-22)). Which is smaller: n or -41?
-41
Let s = -894 + 893. Which is smaller: s or -10379?
-10379
Suppose v + 5*f = -32 - 18, 0 = 4*v - 2*f + 134. Does v = -33?
False
Suppose 6*c + 25 = 2*c + 3*k, 0 = -4*c + 2*k - 30. Let w be 0 + (16/c - 8/20). Let t be ((-14)/(-12) - 1)/(15/w). Which is smaller: t or 1?
t
Let n = -684 + 243. Let k be 63/n - 370/7. Is k <= -56?
False
Let g = 39 - 38. Let l be (-198)/16*(10 - 280/30). Is l greater than or equal to g?
False
Suppose 301*q + 111*q - 1367093 = 1989471. Which is bigger: 8148 or q?
8148
Let k be 0/((-2 + 8)/(-6)). Let n be ((-34)/850)/((0 - -2)/(-2)). Which is smaller: k or n?
k
Let v(k) = 12 + k + 0*k - 13*k**2 + 12*k**2. Suppose a + 5*w = -23, 5*w = -a + 2*a - 17. Let u be v(a). Does -3/2 = u?
False
Let i = 11314 - 16547. Which is smaller: -5232 or i?
i
Suppose 2*u + 289 = -465. Let w = -1879/5 - u. Which is smaller: w or 2?
w
Let t = 0.16 - 15.16. Which is smaller: 0.5 or t?
t
Suppose 5*c = -2*n - 2*n + 32, -5*c = -5*n - 5. Suppose -r - d + 38 = -6, -r = -n*d - 44. Let t = r + -32. Which is bigger: 13 or t?
13
Let f be 2/2 + -1 + 7. Let u = 1 + f. Let j(h) = 2305*h + 9. Let c be j(0). Is c at most u?
False
Suppose f + 3*f = -2*q - 34, -f = 2*q + 22. Let d be ((-212)/(-14))/(q/(-63)). Which is greater: d or 107?
107
Suppose 11*m + 67400 + 25770 = 0. Is -8468 != m?
True
Let m = 952.6 - 957. Let u = 11.6 + -13. Let v = u - m. Is v < -8?
False
Let i = 3 + -1. Let o(c) = -c**3 - 18*c**2 - 24*c - 115. Let h be o(-17). Suppose -h*y + i*y - 14 = 0. Which is bigger: -10 or y?
y
Let i(q) = q**3 - 6*q**2 + 17*q - 17. Let l be i(2). Which is smaller: -8299 or l?
-8299
Let p = -225 + 228. Suppose w - 2*w - 4*h + 34 = 0, 4*w - 41 = p*h. Which is greater: w or 2?
w
Let b be (-30)/(-70) + (-720)/(-84). Which is bigger: b or 53/7?
b
Let g(y) = 6*y**3 + 3*y**2 + 4*y + 2. Let s be g(-2). Let r = s + 43. Are 5/11 and r unequal?
True
Let c = -32 - -32.4. Let u = c - 0.07. Let h = 0.23 - u. Which is smaller: h or -0.11?
-0.11
Let u(r) = -5*r - 129 - 2*r**2 - 122 + 194. Let j be u(-5). Is j <= -81?
True
Let w = 501 - -2506. Which is smaller: 3006 or w?
3006
Suppose 5*m = 4*f + 55, -2034 = -3*m + 5*f - 1962. Let o be (0 + -2)*-1 + 1. Suppose -o*r = 3*j, 16 = 6*r - 9*r + 5*j. Is r greater than m?
False
Let t = 6/299 - -7451/1196. Suppose 4*q = 20, -12*b + 7*b - 2*q + 35 = 0. Is t smaller than b?
False
Let z be 1/56*35/(-161). Let l = -2237/78568 - z. Is -1 greater than l?
False
Let q be (-4)/5 - ((-192984)/7205 - -26). Let y = -4 + 3. Is q >= y?
True
Let p(w) = 2*w**2 + 60*w - 702. Let t be p(-39). Let i = -23/288 + 3481/41184. Are t and i unequal?
True
Let g = 1615 + -1618. Is g bigger than -117/29?
True
Suppose 0 = -22*q + 9675 + 3327. Which is smaller: 4136/7 or q?
4136/7
Let r = 16 + 48. Suppose 4*q + 8*i = 4*i - 120, -2*q = i + r. Which is smaller: q or -31?
q
Suppose -q = -14*k + 13*k + 134, k = -3*q - 402. Let v = -70 + -63. Which is greater: q or v?
v
Suppose -f + 47 - 48 = 0. Let y be ((-36)/9)/1112*f*2. Is y less than or equal to 0?
False
Let w = 26 + -17. Let a(u) be the third derivative of u**5/60 - 3*u**4/8 + 8*u**3/3 - 11*u**2. Let h be a(8). Which is bigger: w or h?
w
Let j = 2273199 - 25029533/11. Let b = -2216 - j. Is -2 greater than b?
True
Suppose -v + 12 + 0 = -4*i, 2*i = -3*v + 8. Let m = -36 - 11. Let p = m - -46. Which is smaller: p or v?
p
Suppose 0*n + n = -2*j + 42, -4*j + 56 = -5*n. Suppose 20*m = j*m - 69. Which is bigger: -68 or m?
-68
Suppose 3*n + 23 = 5*p + 8, 4*n = 3*p - 9. Let c be 4/472*2/7. Which is smaller: n or c?
n
Let m be (88/14)/((176/56)/11). Let u be 4853/(-26634) - (m/12 - 2). Is -1 >= u?
False
Let s be (-4 + 73)*-5*(-3)/9. Let t = 79 + 36. Is t < s?
False
Let q be (-1)/4 + 7 + 14189/(-28). Let r be -79*(-10)/q + 6/4. Let x be (2*3/6)/1. Do x and r have the same value?
False
Let s = -7995 - -8007. Suppose x - 4*x = -2*i - 24, -5*x = 4*i - 62. Is x greater than s?
False
Suppose -s = 2*w - 43, w = -4*w - 2*s + 105. Suppose -w*n = 265 + 1749. Which is smaller: -107 or n?
-107
Let x = 62.15792 + -0.15792. Are x and -249 unequal?
True
Suppose -2*i + 30 = 2*y, 0 = -3*i - 20*y + 21*y + 25. Does i = 76/7?
False
Let b be 2/(-8) - (989/(-196))/23. Suppose -v + 0*v + 3*m + 36 = 0, 64 = 3*v + 2*m. Let z be ((-6)/(-4))/(v/16). Is z greater than b?
True
Let f be (4/10 - 52*-1)*(-5880)/(-882). Which is smaller: 348 or f?
348
Let c = 2940 - 2842. Suppose 4*x - 5 = -5*n, -5*n + 2*x + 0*x + 5 = 0. Which is bigger: n or c?
c
Suppose -5*v = 3*i - 9293 + 2536, 3*i - 2*v = 6785. Do 2260 and i have different values?
True
Let n(d) = d**3 + 17*d**2 + 11*d - 87. Let w be n(-16). Suppose 7*r - 51 = 4*r. Let m = r + -24. Is m not equal to w?
False
Let g = 196 - -7. Let q = -232 + g. Is q less than or equal to -29?
True
Let x = -86 - -55. Is -606/19 greater than x?
False
Let w be 474/(-948)*(1 + 1). Which is greater: -92/399 or w?
-92/399
Let q = 13 + -13. Let r = -1948097/275 - -7084. Do q and r have different values?
True
Let p = -5227 + 4980. Are p and -247 unequal?
False
Let x be 1 - (4 + -4) - -507. Let d = -6091/12 + x. Suppose 2*u = -3*u. Which is smaller: u or d?
u
Suppose -26 = 3*z + 5*m, -2*z - 2*m - 12 = -4*m. Let l(a) = 13*a - 9*a - 11*a + 10*a + 10*a - 15. Let w be l(z). Does -106 = w?
True
Let v = -216 + 430. Let c = 214 - v. Let p = -12 + 13.8. Is c greater than or equal to p?
False
Suppose 22 = -14*y + 25*y. Let l(n) = 12*n**2 - n - 3. Let s be l(y). Are s and 47 equal?
False
Let z be 6845/(-40) - (-10)/(2 + 78). Let n(r) = -5*r**3 - 4*r**2 + r - 3. Let x be n(3). Is z < x?
False
Let v be 204/15 - (-2)/5. Suppose 5*u - 293 = 13*o - 10*o, -o = u - 57. Let k = u - v. Do k and 46 have different values?
True
Let y = -557 - -17269/31. Let k be (0/1)/((-8)/(-4)). Is k at least y?
False
Let u = 4 + -38. Let r = 22.9 - -11.1. Let d = u + r. Is 8 