 Let x = 24/79 - k. Is u != x?
True
Let q = 14.1 + -37.1. Let h = -3 - 20. Let u = q - h. Which is bigger: u or -5/3?
u
Let g(i) = -24*i - 528. Let k be g(-22). Let r be (-1)/2 + (-33)/102. Is k > r?
True
Let t(n) = n**3 + 17*n**2 - 12*n + 2947. Let c be t(0). Which is greater: c or -1?
c
Let p = 14838 + -14837. Is p != 5/214?
True
Suppose -4*j + 155 = 4*b + 555, -3*j + 9 = 0. Let r = b + 114. Suppose 2*g = -9*u + r*u + 12, 0 = -g - 3*u - 14. Which is smaller: -3/95 or g?
-3/95
Suppose 3*a + 27 = 0, 20*j = 17*j + 4*a + 54. Which is bigger: j or -472?
j
Suppose -n = 3*q - 6395, -2*n - 3*n - 3*q = -32011. Which is bigger: 6405 or n?
6405
Suppose -m - 20 = -17. Let i(f) = 3*f**2 + 8*f. Let h be i(m). Which is bigger: h or -2/7?
h
Let g = 174 + -161. Suppose g*i - 61*i = 2160. Which is bigger: i or -185/4?
i
Let k be (2 - (-14)/(-4))*(-216)/(-2916). Which is smaller: -0.011 or k?
k
Let c = -190 - -259. Let h be c/23*(17/9 + -2). Which is smaller: h or 0.08?
h
Suppose 56*l + 53*l - 101442 = 43*l. Which is smaller: 1536 or l?
1536
Let l(g) = -14*g**3 + 2*g**2 + 9*g + 7. Suppose -68*v - 82 = 14*v. Let j be l(v). Suppose -7*r + 5*f = -2*r - 50, 3*f - 30 = -r. Is r >= j?
True
Let n(o) = -3*o**2 - 3*o - 47. Let k(h) = -2*h**2 - h - 24. Let b(r) = 5*k(r) - 3*n(r). Let m be b(-3). Which is smaller: -185 or m?
-185
Suppose 0 = -2*d, 0 = 42*y - 39*y + 3*d + 6. Let k be (y - -2 - 3)/((-26)/(-1222)). Is k at most as big as -142?
False
Let m(p) = -113*p**2 - 19*p - 15. Let z be m(-2). Is -431 at most z?
True
Let a = -59200.8 + 59211. Let u be (-3)/4 - 1/(-1). Which is bigger: u or a?
a
Let a be 4 + 1/3 + 20/(-60). Let d(m) = -m**2 + 3. Let j be d(-3). Let t be 1*2/a*(4 + j). Is -1/3 > t?
True
Let f = -227 + 12257/54. Let w = -2.185 - -0.185. Which is bigger: w or f?
f
Let d = -1/4739 - -151677/137431. Is d < 2?
True
Let t = 141 - 165. Let r(a) = -10*a. Let i be r(-2). Let o be (i/6)/(4/t). Does o = -19?
False
Let k = -5 - -1. Let v be k - 26 - (1 - 0). Let d be (-4)/24*4 - 273/9. Is d at most v?
True
Let v = -4743 - -4743.1. Which is smaller: 0.3605 or v?
v
Let g be (1/2)/(17/(-2)). Let u(x) = -11*x**2 + 10*x - 1. Let r be u(0). Which is smaller: g or r?
r
Let b(d) be the third derivative of -d**6/120 + 31*d**5/60 - 11*d**4/8 + 89*d**3/6 + 44*d**2. Let j be b(30). Are 152 and j equal?
False
Let u be (-3 - 3*-2) + 0. Let p(w) = 3*w + 1 - 4*w + 21*w**2 - 21*w**2 - w**u. Let o be p(0). Which is smaller: o or -56?
-56
Let k be ((-6)/5)/((-7)/(-5)). Suppose 0 = 5*d - 4*g + 20, 205*d = 210*d + 5*g - 25. Is k less than d?
True
Let i(y) = 3*y**2 + 2*y + 1. Let z be i(-2). Suppose -3*c = z + 15. Are c and -1 nonequal?
True
Let d = 1.65 - 4.58. Let w = d - 36.07. Is -0.1 at most as big as w?
False
Suppose 0 = 2*d + b + 3, b - 1 = d - 4. Suppose d = 4*w + 140 + 112. Which is smaller: w or -193/3?
-193/3
Let i = -126 - 4. Let l be ((-5)/3)/(i/30). Is l equal to 1?
False
Let w(n) = -n**3 - 10*n**2 - 11*n + 18. Let l be w(-9). Suppose -151 = -2*z - 3*a, -7*z + 3*z = 2*a - 282. Suppose -l*k = -32*k - z. Which is bigger: 16 or k?
k
Let q = -0.19097 - -0.04477. Is q smaller than -1/5?
False
Let n be 4 + (-2049855)/431540 + 6/8. Is -1 greater than n?
False
Let g = 37 + -37. Let j(n) = -n**2 + 10*n - 16. Let b = -10 - -18. Let f be j(b). Is f != g?
False
Suppose 0 = -g + 3*q + 83, 4*g - q = 141 + 246. Suppose n - 2*d - 44 = -n, 0 = -5*n + d + g. Let m be 43 - -28 - 16432/312. Are m and n equal?
False
Let y = 30 - 18. Let a = -69 + 71. Let z be 7/49 - (a/14 + 1). Is y bigger than z?
True
Let f(k) be the third derivative of 53*k**6/120 + k**5/20 - k**4/6 + 2*k**3/3 - 25*k**2. Let l be f(2). Let n be 2/12 - -4*(-42)/l. Which is greater: n or -2/5?
n
Let r = -562 - -191. Let f = r - -378. Is f greater than or equal to 27/4?
True
Let m(i) = -2*i**2 + 46*i - 1. Let p be m(23). Let v = 5034 - 276867/55. Are p and v equal?
False
Let o = -3616 + 4092. Is -2 at least as big as o?
False
Let p be 29/(232/16) + (-534)/61. Which is smaller: p or -8?
-8
Let g = 822 + -752. Let z be 2*(1 - g/60). Which is smaller: z or 392?
z
Let u(c) = -2 + 11*c - 30*c + 4 + c**2. Let s be u(19). Let l be ((-3)/s)/((-130)/(-20)). Which is smaller: 2/5 or l?
l
Let u = 284.918 + -3.518. Are 0.1 and u non-equal?
True
Let l be 45/((-5728275)/(-2))*10/(-2). Is 0 less than l?
False
Let g = 137 + -88. Let v = -1173 + 1124.2. Let n = g + v. Are 5 and n non-equal?
True
Let w = 0.38 - 0.18. Let x = w + -4.2. Suppose -122*q = -132*q. Which is bigger: q or x?
q
Suppose -63*w + 128 = -65*w. Let n = 36 + w. Let q be (-82)/n - 3/(2 - -4). Which is smaller: 1 or q?
1
Let g be (-6)/(-6) + (-30)/22. Let r = g - 8/99. Is -1 greater than r?
False
Let k = 10944 + -10964.5. Is k smaller than 1?
True
Let k(i) = 2*i**2 - 6. Let s be k(-2). Let w be (11 - (s + -1))*(2 - 6). Let j be (-41)/(-1*(0 + -1)). Which is bigger: j or w?
w
Let a = -17152 - -16804. Is a < -347?
True
Let x = 2721 - 1911. Suppose -5*f + x = -5*p, 4*p - 472 = -3*f - 0*f. Is 161 <= f?
False
Let v = -97913 - -97905. Let z = -33 - -16. Is v greater than z?
True
Let d = -989 + 948. Suppose 0*k + 615 = -5*k. Let t = k + 82. Is t greater than d?
False
Let o be 31 + -3 - 0 - 0. Let c be ((-56031)/27512)/((-9)/o). Let t = 1/362 - c. Which is bigger: t or -7?
t
Suppose -6*r + 72 = -36. Suppose -16*k - 8 = -r*k. Suppose -a + 8 - k = 0. Is a less than 3?
False
Suppose 5*v = 934*d - 936*d - 6541, 3*v + 3926 = -d. Is v less than or equal to -1312?
False
Let u = 53604.9 + -53605. Let m = 4 + -6. Which is smaller: m or u?
m
Let m = 123.17 + -124. Let d = m + 1.43. Which is greater: -5 or d?
d
Suppose 0 = 4*t + 2*n - 12, 3*t + 2*n - 15 = -2*t. Suppose 2*c + 0*h = t*h + 295, -147 = -c + 2*h. Is c >= 149?
True
Let q = -552 + 567. Let c be (-5 - (-95)/q)*(-54)/(-4). Let i = 45 - 27. Are c and i equal?
True
Let n = 373 - 4850/13. Let z be -10*6/((-24)/(-10)). Let s = z + 24. Is s less than n?
True
Let t = -0.97 - -0.57. Let b = 75.898 - 76. Is b equal to t?
False
Suppose -3*o + 0*x - 5*x + 46 = 0, 5*o - x = 86. Let z be 136 - (2 + -6 + -5). Suppose -70 = 5*u - z. Which is bigger: o or u?
o
Let z = -1789 + 1792. Let o be (-27)/(-45) - (-121)/65. Which is bigger: z or o?
z
Let q be (1/2)/(-16 + 94893/5931)*-2. Is 1980 < q?
False
Let v = -120 - -11. Let g = v + 111. Suppose -t - 2*i = g*t + 12, 9 = 3*t - 5*i. Which is smaller: 0 or t?
t
Let n(s) = 4*s**3 - 8*s**2 + 5*s + 71. Let m be n(-3). Which is smaller: -35 or m?
m
Suppose 0 = -13*b + b + 240. Suppose -11*j = -2*n - 16*j - 21, 5*n - 2*j - b = 0. Is n equal to 132/5?
False
Let q(z) = z**3 + 16*z**2 - 17*z + 2. Let s be q(-15). Let c = s + -482. Which is smaller: c or 5?
c
Let u = 61 + -90. Let s = -15 - u. Do -2 and s have the same value?
False
Let r = -2742569/31449 - -2878/33. Is 1 smaller than r?
False
Let z be 3/9 + (-31)/3. Let q(w) = -5*w**3 - 117*w**2 + 72*w - 15. Let a be q(-24). Let k be ((-2268)/z)/(-7) + (-6)/a. Is k less than -31?
True
Let k = -706 + 494. Let m = -214 - k. Are m and 11 unequal?
True
Let f(u) = 152*u - u**2 - 1 - 9 - 154*u. Let o be f(-3). Let z be o + (4 - 2) - -1. Does z = -52/5?
False
Let q be (0 + (-2 - -1))*(-46)/(-1219). Let o be (1/106)/(28/960). Let p = q + o. Which is smaller: p or -1?
-1
Let q be -2 - 1 - (6/(-4))/(138/184). Is -1/702 bigger than q?
True
Let o be (133/(-380) + (-4)/10)/(6/(-88)). Let p(b) = -3*b + 0 - b + 0. Let l be p(-3). Which is smaller: o or l?
o
Let l = 16952 - 16952. Which is bigger: 1560 or l?
1560
Let n(b) = -8*b - 36. Let q(z) = z - 1. Let j(f) = n(f) + 6*q(f). Let w = -275 - -252. Let i be j(w). Which is smaller: i or 5?
i
Suppose 0 = 2*t + 12. Let f = -3/174518 - 158724079/2443252. Let k = f + 237/4. Which is smaller: k or t?
t
Let i be 149836/110450 + (-2)/25. Which is bigger: i or 2?
2
Let l = 0.33 + -0.13. Let y = -68 - -67.3. Is l <= y?
False
Let n = 1693 + -1683. Is n bigger than 8?
True
Let s(x) be the first derivative of -19*x**3/3 + 2*x**2 - 5*x + 49. Let q be s(-4). Is q < -324?
True
Let s be (-4289)/7 - (408/(-42) - -10). Let t = s - -3069/5. Which is bigger: 1 or t?
1
Let z(j) = -846*j + 10240. Let k be z(13). Is -759 at most as big as k?
True
Suppose -19*n + 12*n - 798 = 0. Let z be n/18 - (-3)/9. Is z > -8?
True
Let y = -3422.21 - -3416. Which is sma