 = -33.3 + 111.3. Let p = v - 79. Let q(z) = -z - 6. Let n be q(-6). Is n greater than or equal to p?
True
Let r = 0.19361 - 3358.19361. Is -4 != r?
True
Let g = 106106 - 106129. Suppose 58 = 2*k - 2*n, 0 = -4*k + 3*n + 165 - 54. Suppose b - k = 2*b. Which is greater: b or g?
g
Suppose -9*b + 50*b = 2050. Let h(f) = -f**3 - 3*f**2 + 5*f - 2. Let u be h(-4). Let m = b + u. Is 43 at most as big as m?
True
Let x be ((-48)/(-20))/(-2)*78/13221. Which is bigger: 0 or x?
0
Suppose 8*u = -3*u - 29*u - 720. Is -630/37 at most as big as u?
False
Suppose -3*p = y - 70, -12 + 76 = 2*p + 5*y. Suppose 3 = 5*z - p, 5*i + 4*z - 30 = 0. Let n be 38/12 + 2/(-3). Is i bigger than n?
False
Suppose 4 = -2*h, m + 3*h - 308 - 12 = 0. Which is smaller: 2 or m?
2
Suppose 26*u + 21840 = -9*u. Let k = -600 - u. Which is smaller: k or 21?
21
Let s = 4188757/1346 + -3112. Is 0 <= s?
True
Let d = 0.043 + 3.032. Let y = -4.725 + 4.8. Let r = y - d. Are -20 and r non-equal?
True
Let f(b) = 2837*b**3 + 2*b**2 + b - 2. Let c be f(2). Let h be c/(-38640) + (12/10)/2. Which is bigger: h or 0?
h
Let d be (-5 + -5)*(-2)/4. Suppose -3*r = -d*t - 73 - 184, 4*r + 131 = -3*t. Is t greater than -47?
False
Suppose -q + 7444 + 13500 = 10*q. Is q bigger than 1901?
True
Let n(h) = -21*h**2 - 317*h - 31. Let c be n(-15). Is 14/3097 at most c?
False
Let z be (-2004)/(-3) - (-16)/12*3. Suppose -16*o = -9*o + z. Let t = -95 - o. Is t greater than -1/44?
True
Let b = 127873/351260 - -1/16212. Let q = b - 2/65. Is q at least -218?
True
Suppose -104 = -3*v - 0*v + 2*t, -5*v + t = -185. Let z = v - 17. Let l be 9/(-12)*(0 - z/27). Are l and 2 nonequal?
True
Suppose 0 = -l + 1, 0 = 2*t - 4*l - 0*l + 90. Let f be (5 + (-232)/(-48))/(77/(-63) - -1). Which is greater: t or f?
t
Let q be (-34)/153 - 8790/(-28620). Is -1 at least as big as q?
False
Suppose -t - 4*p - 903 = 0, 0 = -2*t - 2*p - 1007 - 757. Which is bigger: t or -874?
-874
Let o(c) = -10*c - 4. Let m(w) = -21*w - 9. Let q(k) = 2*m(k) - 5*o(k). Let p be q(1). Let s be 12/8 + (-9)/p. Which is bigger: s or 1?
1
Let r be (-2)/88*(-72 - 2). Let g(t) = 2*t**2 + 86*t + 166. Let i be g(-41). Is r < i?
True
Let t = -43/132 + 8/33. Let p = -0.0889 + 0.0689. Do t and p have the same value?
False
Let v be (14 + -2)/((-34)/(-20) + -2). Let b be 10/v - 38/8. Let f = -161152/25067 + 1/3581. Is f less than b?
True
Let t = -141 - -143. Let d be 39/t*((-115)/(-15) + -7). Suppose d*b - 18 = 19*b. Which is smaller: -15 or b?
-15
Let y = -1.2 - -1.55. Are 2/7 and y non-equal?
True
Let i be (4/18)/(5/15*24). Let f = -1.2 - -0.9. Let u = -0.4 - f. Is u >= i?
False
Let p = 1348 - 1258. Let w(f) = -9*f - 37. Let n be w(-14). Is n at least p?
False
Let s = -44.562 + 45.3. Let i = s - -0.012. Let h = 0.55 - i. Is 0.02 > h?
True
Suppose -12*g = 9*g + 273. Let p be 4494/312 - 1/(g/(-2)). Is 15 equal to p?
False
Let r be (-1)/((13806/1104 - 12) + 6/(-12)). Suppose -2*q - 2*q - 740 = 0. Is r bigger than q?
True
Suppose -83*w + 8601 = 24413 + 25356. Which is greater: -491 or w?
-491
Let o(y) be the third derivative of -y**5/60 - 7*y**4/24 + 7*y**3/6 - 2*y**2. Let w be o(-7). Let k be 0/(25/(25/5)) - -8. Is k less than w?
False
Suppose y - 2 = 2*y. Let o(l) = l**3 + 4*l**2 + 3*l - 3. Let w be o(y). Is w < -1/6?
True
Let a = -73128 + 19452075/266. Which is smaller: a or 2/3?
a
Let a(w) = -w**3 + 42*w**2 - 78*w - 80. Let t be (3 + -1)*(-60)/((-45)/15). Let j be a(t). Are j and -6/95 nonequal?
True
Suppose -65*a - 91400 = 62715. Which is smaller: a or -9481/4?
a
Let u(h) = -2*h + 16. Let c be u(8). Suppose c = -0*t + t. Suppose d - 4 = 0, 136 = 5*l - t*d - d. Is 0 > l?
False
Let x be 6/(-5) + 16/(-1360)*-17. Is 6/91 equal to x?
False
Suppose 5955 = 16*l + 5939. Do 3/128 and l have the same value?
False
Let y = -81705 + 81652. Let t(h) = 5*h - 8. Let a be t(-10). Which is greater: y or a?
y
Let y(p) = -p**3 + 10*p**2 + 4*p - 10. Let r be 0*1/(-2) + 10. Let d be y(r). Let x be (17*4)/2 - (-5 + 10). Is x >= d?
False
Let g(r) be the third derivative of -r**2 + 0*r + 13/24*r**4 + 1/60*r**5 + 5*r**3 + 0. Let c be g(-9). Is -4 != c?
True
Let y = -0.256 + 1.333. Let x = 0.002 - y. Let r = -0.075 - x. Does r = 0?
False
Let d = 6194 + -5377. Is d > 815?
True
Let m(y) = y**2 + 5*y - 31. Let a be m(6). Let v = 41 - a. Suppose c + v = -22. Is -27 >= c?
True
Let o = -9472 + 9411. Which is smaller: -28 or o?
o
Let q(s) = s**2 - 27*s + 4. Suppose -3*g + 3*c + 93 = 0, 2*c + 0*c + 2 = 0. Let o be q(g). Is 93 at least as big as o?
False
Let o(q) = 7*q**2 - 31*q + 85. Let d(t) = 3*t**2 - 16*t + 42. Let c(b) = 5*d(b) - 2*o(b). Let g be c(11). Is g smaller than -38?
False
Let v = -2193/20 - -629/10. Is v < -48?
False
Suppose 179 = -m + 15*y - 12*y, m - y + 173 = 0. Which is bigger: m or -164?
-164
Let c = -41 - -68. Let l be (-1 + 3/9)/((-3)/c). Let q(v) = -2*v**2 + 9*v + 11. Let o be q(l). Do -7 and o have the same value?
True
Let a(m) = -m**3 + 8*m**2 + 2*m + 12. Let d be a(8). Let r = d + -24. Suppose 4*j = -2*o - 6, -4*j = -0*j + r*o + 16. Is j >= -1/9?
True
Let h = 27633 - 28324. Which is bigger: 2/13 or h?
2/13
Let j be (-6559)/(-1638) - 1 - 3. Let g(u) = -6*u + 17. Let n be g(3). Are n and j equal?
False
Let c = -17806 - -16878. Which is smaller: c or -927?
c
Let b = -1258 + 1232. Which is smaller: b or 37?
b
Let n = -335 - -342. Suppose -b - 5*l = -26, -2*b + n*l - 23 = 2*l. Is b <= 2/83?
False
Let o be ((-30)/(-2056))/(84/(-224)). Is 1 greater than or equal to o?
True
Let j = 40 + -312. Let q = j + 113. Is -159 less than q?
False
Let t(w) = 9*w**3 + 95*w**2 + 47*w + 55. Let s be t(-10). Let i = 245 + -160. Is s > i?
False
Suppose -3*h + 260*l - 264*l + 87 = 0, -3*h + 4*l + 135 = 0. Which is greater: 32 or h?
h
Let r = -12.78 - -13. Let l = -5.2 + 12.2. Let c = l + -7.2. Which is bigger: c or r?
r
Suppose -2*p + 16 = 3*w, 39*w = 34*w + 10. Is p less than or equal to 79/16?
False
Let j = -2833.8 + 2822. Which is greater: -6 or j?
-6
Let s(f) = f**3 - 9*f**2 + 13*f - 2. Let x be s(7). Let w = -46/117 - -35/78. Is x greater than w?
False
Let f be (-3)/2*20/(-27). Let l = -104201 + 416805/4. Is l bigger than f?
False
Let r = 49 - 50. Let l be (27/(-12) + 1)*(-5 - r). Suppose -31 - 24 = l*y. Which is bigger: -13 or y?
y
Let f = -20162 - -15636. Is f smaller than -4525?
True
Let v = 274/1755 - 2810731/1755. Let w = v - -1594. Which is bigger: w or -2?
-2
Let u = -602 - -1097. Let b = 494 - u. Which is greater: 14 or b?
14
Suppose -87604 = 182*y - 61*y. Is -721 smaller than y?
False
Let g(c) = -3 + 108*c**2 - 102*c**2 - 10 - 11*c + 56*c. Let i be g(-7). Is i >= -33?
False
Let g = 25815975/3619 - 78468/11. Which is smaller: 1 or g?
g
Let h be 4/(-6) - (-1)/(-3). Let c = 109036793313/305 - 357496801. Let s = -882 + c. Do s and h have the same value?
False
Suppose -3*f - 793 + 262 = 0. Let p = f - -178. Which is smaller: p or 22/19?
p
Let l be (-1964)/13797 - 121/(-847). Which is bigger: l or 0?
l
Let y = 426.047 - 427. Let g = 4.937 - y. Let q = g - -0.11. Which is bigger: 0.1 or q?
q
Suppose -2747*x - 76 = -2709*x. Which is smaller: x or -49/25?
x
Suppose -16 = -5*f - x, -2*f + 3*f - 5*x = 24. Suppose 0*v - 8*v = -144. Suppose -v = f*i + 34. Which is smaller: i or -12?
i
Let x(l) = -20*l + 454. Let a be x(27). Which is bigger: -5 or a?
-5
Let t(z) = -5*z - 8. Let l(p) = -p + 1. Let h(u) = -2*l(u) - t(u). Let y be h(-7). Is -42 not equal to y?
True
Let z be 7*((-15)/(-21) + -1). Let g(c) = -6*c + 7. Let m be g(z). Let j = m + -24. Is 3 at least j?
True
Suppose 2*z - 16 = 4*l, 2*z - 7 = -2*z + 3*l. Let t be ((-1)/z)/(1/(-2)). Which is smaller: t or -6/169?
t
Let y be (6/1533)/((96/(-28))/8). Is y less than 1?
True
Let v = 226 + -105. Suppose -v - 5 = 3*y. Let m be (-270)/9 - 12 - (-1 - -2). Which is greater: y or m?
y
Let v(p) be the third derivative of -p**6/60 - 21*p**5/20 + 11*p**4/8 + 49*p**3/6 - 54*p**2. Let g be v(-32). Is -6 at most as big as g?
True
Let b = 130 - 130. Do 3/652 and b have different values?
True
Let w(l) = -8*l**2 + 0*l - 2*l + 318*l**3 - 317*l**3 - 32. Let g be w(7). Which is smaller: g or -468/5?
g
Suppose 5*k - k = 0. Suppose 5*r = 3*z + 12, -3*r = -2*z - z - 6. Suppose -r*a = -2*a - 4*l + 2, 0 = 2*a + 4*l - 8. Are a and k equal?
False
Let s = 2 - -3. Let t(u) = u**3