Let i(m) = -8*m - 81. Let x be i(-10). Let f be (-1)/(x/(-92)*2). Is -45 bigger than f?
True
Let v = -5521 + 5510.084. Let m = -0.084 + v. Is 6 not equal to m?
True
Let t = 2450.09 - -20.91. Is t greater than 1?
True
Let r = -9119 - -9046. Which is greater: -0.98 or r?
-0.98
Let k be 552/(-14628) + 37802/996135. Which is greater: 1 or k?
1
Suppose t - 4 = -4*j, -t - 8 = -3*t. Suppose -2*v + 210 + 106 = j. Suppose -2*f - v = -4*o, -6*f + 3*f = -4*o + 161. Is 38 at least as big as o?
True
Let a(b) = 11*b**2 - 140*b - 24. Let j be a(23). Let n be 4/(-50) + 206/j. Which is greater: 14/11 or n?
14/11
Let z be ((-2)/4)/(1/(-2)). Let v be 4 + (z - 3/(-3)). Suppose 4*r - 189*o + 191*o + 6 = 0, 2*r + 3*o + 5 = 0. Is r != v?
True
Suppose 3*b - 2*p - 21 = p, -2*p = b + 8. Let m be ((7 + -5)*-4)/((-2)/b). Suppose -m*n - 2*n = -280. Which is bigger: 30 or n?
30
Let m = 15570 + -90321573/5801. Which is greater: -1 or m?
m
Let j be ((-1)/4)/(6*(-8)/384). Let y be 1210/385 + j/(-14). Which is greater: 3/28 or y?
y
Let x = -43100682/2065 + 20872. Suppose 4*v = 2*w - 8, -5*v - 16 = w - 13. Which is smaller: v or x?
v
Let v = -2.146 + -41.854. Which is bigger: v or 4?
4
Let o = 1285.31 - 29.31. Which is smaller: o or 0.1?
0.1
Let a be 186098/(-363)*15/10. Is a > -766?
False
Let i = -6/155 - -116/11005. Let q(r) = -113*r + 7798. Let t be q(69). Is i > t?
False
Let n = -11.5 - 53.5. Let d = -67 - n. Let b = 36 - d. Which is greater: 0.1 or b?
b
Suppose -202 = -o - 5*i - 198, -4*o - 4*i = 0. Is -1.0292 at least as big as o?
False
Suppose -5*f + 7*b - 4*b = 42, 0 = -3*f - 5*b + 2. Let o be 4/f - (-224)/18. Is -1 not equal to o?
True
Suppose 28*h = 27*h + 5*n + 1059, -2*n = 2*h - 2058. Is h >= 1037?
False
Suppose 5*t = 2*t + 2*b + 762, b = -2*t + 501. Suppose 3*f + 3*c - 229 = -61, -t = -4*f + 3*c. Are 60 and f unequal?
False
Let n be (-6)/(-12)*(-2 + 26). Let b(c) = -2*c + 1. Let r be b(n). Let a(j) = -8*j**2 - 9*j - 8. Let h be a(-2). Which is smaller: h or r?
r
Let z = -152 - -151.8. Suppose 6*l + 11 = 5*l. Let w be 10/35 - l/(-14). Is z less than or equal to w?
False
Let g be 2/(3/(27/(-21)) + 3). Suppose -r - g = -4. Which is smaller: r or 3/34?
3/34
Let n = -416 - -418. Let q = n - -30. Which is greater: q or -0.6?
q
Suppose -2*w - 2*h + 45 = -7*h, 0 = 3*h - 9. Suppose w*m - 18 = 28*m. Suppose m*x - 5*x = 28. Are x and 7 non-equal?
False
Let b be (-18)/30*-10 + 2 + 57 - 6. Which is bigger: b or 67?
67
Suppose 0 = 26*l - 34*l + 1232. Let p be (-4)/22 - -1*(-16)/l. Let h(c) = c**3 + 8*c**2 + 2*c - 4. Let m be h(-8). Do p and m have different values?
True
Let t be (-1)/(-2) - 17/2. Suppose s + 35 = -9*u, 0 = -8*s + 4*s - 4*u - 12. Which is bigger: t or s?
s
Let x(p) be the first derivative of -p**4/4 - 5*p**3/3 + 6*p**2 + 37*p + 51. Let s be x(-6). Which is smaller: 2/59 or s?
2/59
Let n = 33159/62905447 - 5/6743. Which is greater: 1 or n?
1
Let o(q) = q**2 - 9*q - 1. Let h be o(5). Let x = -21 - h. Suppose 2*a + 2 = 4. Is a < x?
False
Let v(x) = -43*x - 25. Let a be v(7). Let b be a*(-2)/(-60) + (-18)/135. Which is bigger: b or -16?
b
Let u(x) = x + 16. Let a be -14 + ((-1)/2)/((-8)/32). Let w be u(a). Let r be 3/((-201)/(-48) - w). Which is smaller: 18 or r?
r
Let a be 6/(-33) - (-528147)/11880. Let r = -177/4 + a. Suppose -5*f + 5*u - 15 = 0, 9 = -5*f + 2*u + u. Are f and r unequal?
True
Let b = -34431/5 - -6887. Which is bigger: b or 1/17?
b
Let n = 27158 - 26812. Which is bigger: n or 345?
n
Let m be (-3162)/(-14) - 6/(-42). Let w = m - 267. Is w greater than or equal to -3?
False
Let h = -3359 - -3365. Which is smaller: 12 or h?
h
Let s(b) = -2*b**2 - 79*b - 116. Let j be s(-38). Let y(m) = -1. Let c(t) = -2*t**2 - 2*t + 3. Let q(k) = -c(k) - 4*y(k). Let z be q(j). Is 14/3 > z?
False
Let y = -38273485 - -525686316199/13735. Let c = y + -2/205. Let n(r) = 24*r - 600. Let g be n(25). Is c < g?
True
Let g = 45 - 45. Let w = -0.26 + g. Let o = -0.04 + w. Are o and -9 equal?
False
Let i be (-4)/(-21)*(765/15606)/((-10)/18). Let l = 0 - -6. Suppose -4*c + 5*w + 15 = 0, c - w - 3 = l*c. Is c > i?
True
Let s = 14908 - 14908. Which is smaller: s or 0.5241?
s
Let q(h) = 22*h - 718. Let t be q(16). Which is smaller: t or -363?
t
Let s be 8/((-80)/(-3))*((-114)/18 - -6). Is -1311 <= s?
True
Let k be 160/(-12) - 2/(-6). Let c = -285894 + 285881. Is c equal to k?
True
Suppose x = -k + 163, 2*x - 2*k - 346 = -0*k. Let d = 184 - x. Which is bigger: 46/3 or d?
d
Suppose -16*z - 312 = -3*z. Suppose 3*k = 7*k. Suppose c - 2*c - 25 = k. Is c smaller than z?
True
Let l = -0.381 + -88.619. Let j = l + 87. Which is bigger: 206 or j?
206
Let f(g) = 2*g + 1. Let s(i) = -i - 1. Let o(h) = 3*f(h) + 5*s(h). Let u = -187 + 190. Let x be o(u). Which is greater: -6/43 or x?
x
Let j = -270084 + 54557079/202. Let r = 5/101 - j. Do -10 and r have different values?
True
Suppose -234 = 5*s - 279. Let t be 7/s - 18/(-81). Is t less than or equal to -4/23?
False
Let w = -3569 + 3568. Is w at most 1/2507?
True
Let r = 76 + -76. Let o be (-40)/(-390)*(-9)/(-10). Let t = o - 149/910. Is t > r?
False
Let b = -0.59 - -0.86. Let s = 4.57 - b. Which is smaller: s or 0.2?
0.2
Suppose 3*z = z + 4. Let u be 6/4 + 6*8/(-32). Let x be (0 + u + z)/(-21). Is x greater than 1?
False
Let s = 73/816 + -11/144. Suppose -3*w + 2*m - 7 = 6*m, 3*w - 5 = -m. Suppose 0 = 2*g + r - 1, -w = g - r + 1. Is g greater than s?
False
Let b be 3/12 - (-838)/(-88). Suppose -4*c + g + 3295 = 0, -2*c - g + 1644 = -5*g. Let l = 814 - c. Which is greater: l or b?
b
Suppose -35 = -2*b + 5*c, -4*c + 5*c + 99 = 5*b. Let x be -4 - 0 - (-81)/b. Let l = 2735 - 2736. Is l <= x?
True
Suppose -13*r - 30 = -30. Suppose -15 = 3*x, r = -3*h + 5*x + 33 + 76. Suppose -42*z + h = -46*z. Is -38/5 at most as big as z?
True
Let u be 1 - 1 - 42/(-2313). Let h = 10375/514 - u. Are 20 and h nonequal?
True
Let u be 4/6*21/1. Suppose 43*d = 40*d + 42. Is u at most as big as d?
True
Let l = 0.87 - -77.13. Let n = -134 + l. Let o = 53 + n. Which is bigger: o or 16?
16
Let h = -1085/22 + 537/11. Let x = -11.4 - 36.6. Which is smaller: x or h?
x
Let z(a) = a**2 - 3*a - 1. Let o be z(-1). Suppose 0*q + 3*t + 96 = o*q, q - 36 = 3*t. Suppose -4*c + 24 = -4*x, 2*x + q = -4*c + 8*c. Is c not equal to 7?
True
Suppose -2*u - g = -7, 0 = -u + 5*u - 5*g + 7. Let p(o) = 32*o + u + 8 - 34*o - 3. Let x be p(4). Is 2/19 less than x?
False
Let r = 8390 - 8139. Which is greater: r or 262?
262
Let r = 0.1 - 0.2. Let m = 8529 + -8326. Which is smaller: m or r?
r
Suppose 217*s = 29 + 188. Which is bigger: 72/83 or s?
s
Let b be ((-285)/(-20))/((-20)/(-10)). Which is smaller: b or 82?
b
Suppose 0 = -3*z + 2*j + 16, 16 = 10*j - 6*j. Suppose z*i = -208 + 608. Let l = i + -61. Which is bigger: l or -10?
-10
Suppose -h + 42*p = 37*p - 449, 5*h + 5*p - 2155 = 0. Which is bigger: 432 or h?
h
Let i(f) = 2*f**2 - 75*f - 378. Let s be i(42). Are s and 8/159 nonequal?
True
Let v = -1.3 + 0.66. Let n = 15.36 - v. Let r be 30/(-42)*4/(-10). Is n >= r?
True
Let a(y) = y - 1. Let p(q) = -9*q - 12. Let d(m) = -5*a(m) + p(m). Let v be d(1). Let z = 11 + v. Are z and -10 unequal?
False
Let v(c) = 5*c - c**3 - 3*c - 4 - 24*c - 9*c**2 + 1 - 5. Let b be v(-8). Does b = 104?
True
Let n = -7600304/181 - -41992. Do 2 and n have different values?
True
Let t = -1751.95 - -1752. Is 81 greater than t?
True
Let n be 159/(-105) + 3 + -2. Let f(v) = -v**3 - 62*v**2 - 114*v + 360. Let d be f(-60). Which is bigger: n or d?
d
Let t(w) = -w**2 - 2*w - 3. Let k be t(-3). Suppose -o - 2*u = -u - 19, -59 = -5*o + 4*u. Let j = k + o. Is j at most 2?
False
Let g = -961 - -548. Is g <= -419?
False
Let i(y) = 2*y + 328. Let u be i(7). Let p = u + -8883/26. Which is smaller: p or -1?
-1
Let s be (((-21)/6)/7)/(9/(-54)). Suppose -4*h - 4*i - 176 = 0, -s*h - 122 = -i - 10. Is -38 smaller than h?
False
Let o = 222 - 233. Let s(q) = -q**3 + 5*q**2 - 4*q + 5. Let z be s(4). Which is smaller: z or o?
o
Suppose -2118 = 1845*m - 1839*m. Which is greater: m or -348?
-348
Let t be 2/1 - (-97897)/(-2676). Is -36 at least t?
False
Let q(h) = -74*h + 19 + 35*h + 37*h. Let d be q(8). Suppose 3*v = -4*g + d, -3*g + 4 = 3*v + 1. Which is smaller: v or 8/7?
v
Suppose 0 = 2*h - 97 + 95, 4*h = -3*w + 1. Let u be (-25 + -7 + 1)*w. S