 g be (6128/b - (-3)/(-7))*-2. Which is smaller: 87 or g?
87
Let w be (-2*2)/(64/(-48)). Suppose -8*g + 3*g + 15 = 0, -u - w*g + 9 = 0. Let y = -24 + 19. Is u at least as big as y?
True
Let f = -1591 - -1449. Is -147 at most f?
True
Let f be 2 - -1 - (-7296)/480. Which is greater: f or 17?
f
Let k be -34 - (10 + 5/(-1)). Let z = k - -35. Is -19/7 at most z?
False
Let w = 20477/325 - 609/13. Which is smaller: w or 16?
16
Let n = 14.161 - 13.671. Which is greater: -3/85 or n?
n
Let p = 123 + -243. Suppose 4013*f + 2562 = 3992*f. Which is smaller: p or f?
f
Let k = -28/55 + 609/440. Let x = 55.989 + -59.989. Which is bigger: x or k?
k
Suppose 5*m + 75 = -5*w + 15, 3*w - 6 = 4*m. Let g be 15/2*(-15)/18. Is g <= m?
True
Suppose -27*p + 14*p + 65 = 0. Let y be (-624)/40 + p/1. Is y >= -11?
True
Let d(h) = -24*h - 5. Let q(z) = 5*z + 1. Let t(r) = -2*d(r) - 11*q(r). Let y be t(-1). Suppose -7*g + y*g - 41 = 0. Is g at most as big as -41?
True
Let l be (1 - -4)*(-8 - (-132)/15). Let s be (l/5)/((-23961)/(-4795) - 5). Which is smaller: -273 or s?
s
Let x = -81 + 8.1. Let k = x - -63.9. Is k at least 1/4?
False
Let j = 65911379 + -2834010579/43. Let p = -4156 + j. Does p = 0?
False
Let q(y) = -114*y**3 - 1. Suppose -2*m - 2*m - 10 = 3*b, -5*m + 5*b + 5 = 0. Let g be q(m). Is 113 at least as big as g?
True
Let a = 854 + -855. Is 4/367 greater than a?
True
Let b(i) = -818*i + 3306. Let p be b(5). Do -8630/11 and p have the same value?
False
Suppose p - 28 = 16. Suppose -5*i - 5*z + 125 = -70, 0 = 2*i - 5*z - 113. Is p >= i?
True
Let g(u) = -7*u**2 + 95*u - 251. Let y be g(10). Which is greater: -105/88 or y?
y
Let d(h) = -h**3 + 10*h**2 - 23*h + 12. Let a be d(6). Let l(x) = x**3 - 15*x**2 + 26*x + 16. Let g be l(13). Is a at most as big as g?
False
Suppose 28 = 6*y + 8*y. Let x be -19 + 19 + (-43)/y + -1. Is x less than -23?
False
Let b be ((-101)/39)/(1 - 2614/2628). Let u = b - -3334/7. Let d = u + 3161/325. Is -1 != d?
True
Let g be (-53)/(-6) + 19 + (-5 - 12). Let z be 175/15 - 4/6. Which is smaller: z or g?
g
Let i be (-175)/(-49) - (-5 - -3). Which is bigger: 1 or i?
i
Suppose -5134 = -3*l - 4*i, 4*l + 1713 = 5*l + 3*i. Which is smaller: l or 1714?
l
Let p = -1861 - -1610. Are p and -251 equal?
True
Suppose 0 = -6*l + 62 - 68. Let m = -60 + 58. Is m != l?
True
Let u(l) = 588*l**3 + 3*l + 4. Let y be u(-1). Is -586 < y?
False
Let d = -63.8 + 353. Let u = d + 67.8. Do 2 and u have the same value?
False
Let n = 45837 - 228177/5. Let y = n - 201. Let t be ((-89)/13 - (-476)/(-3094)) + -1 + 8. Which is smaller: y or t?
t
Suppose -i - 2*b - 17 = 0, i - 760*b + 41 = -765*b. Is -4/13687 != i?
True
Suppose 17*u + 4*o - 60 = 15*u, 0 = -3*u + o + 83. Suppose -u*k = -33*k + 4*j + 880, k - 162 = -2*j. Which is smaller: 174 or k?
k
Let f(n) = -n**3 + 4*n**2 + 12*n - 1. Let j be f(6). Let l be (-66)/4 + (j - -2). Suppose -z - z - 78 = 4*a, 2*a + 49 = -3*z. Is a at most as big as l?
True
Let v(f) be the second derivative of f**5/10 - 7*f**4/6 + f**3 - 31*f**2/2 - 22*f. Let p be v(8). Is 146 <= p?
False
Let o = 9384 + -9415. Is o bigger than -122?
True
Suppose 0 = 2*h - 22*h + 2860. Let v = h - 142. Does 4/67 = v?
False
Let z(q) = -9*q**2 + 4*q + 1. Let g = -2 - -10. Let v(s) = 14*s**2 - 6*s - 2. Let w(u) = g*z(u) + 5*v(u). Let p be w(2). Is p at least -6?
True
Let y(n) = -9*n**2 + 3*n + 4. Let x = 5 - 2. Let r be 1/x - 63/27. Let i be y(r). Which is bigger: i or -40?
i
Suppose -6*x = 8*x + 540 - 1310. Suppose 2*b + b - 162 = 0. Which is bigger: x or b?
x
Let r = 0.07453 + -480.07453. Do r and -18 have the same value?
False
Suppose -10*p + 1 = -49. Suppose 5*d - 5*z - p = 0, 5*d - 12 - 7 = -2*z. Let i(c) = c**3 - 4*c**2 + 6*c - 7. Let k be i(d). Is k > 2?
False
Let u = -28234 + 28225. Which is greater: -96/7 or u?
u
Let y(u) = 2*u**3 - 33*u**2 - 16*u - 11. Let p be y(17). Let j be (93 + -2)*(-5 + p). Which is smaller: j or 0?
0
Suppose -3*j - 1 = -1. Let m(l) = 9*l**2 - 188*l + 193*l + l**3 + j*l**3 - 23. Let h be m(-8). Is 1/54 at least h?
False
Let a = 13123.02476 - 13123. Is a greater than or equal to 0?
True
Let n be 2/(-2270)*(12/(-14))/((-276)/(-966)). Is -1 bigger than n?
False
Let b be (-83)/33 - -3*(-1)/(-9). Let m = b - -587/264. Which is greater: -1 or m?
m
Let h be (0 - -3) + (-1491)/387. Let s = h - -8/43. Is -98 >= s?
False
Let d be (-3)/(-1)*12200/30 + 4. Is d equal to 1223?
False
Let c = 19/2047 - 292783/227217. Is c greater than 0?
False
Suppose -b + 31 = 4*t + 5, -3*b + 2*t + 92 = 0. Suppose b*d - 214 = -64. Are d and -4 equal?
False
Let l be 280/(-2380) - 7714/34. Which is greater: -2050/9 or l?
l
Let j be 320 + -321 - (1 + 0 + -1). Which is smaller: j or 3/277?
j
Let t be (28/(-3084))/(-7)*-3849 - -5. Let v = -10697353/7494634 - -2343/4166. Let x = v + t. Which is greater: x or -1?
x
Let q(f) = f**2 + 6*f + 10. Let a be q(-5). Suppose -3*s - t + 23 = 0, -a*s + 4*t + 33 = -11. Let x = s + -17. Which is greater: x or -7?
-7
Let f = -481 + 2213. Which is bigger: 1731 or f?
f
Let v(z) = -z**3 + 14*z**2 - 51*z + 279. Let y be v(11). Do y and 70 have different values?
True
Suppose 2*b = -4 + 12. Let d be (-2 + 10/b)*16. Let u be ((-110)/(-105))/(d/(-12)). Which is greater: u or -1?
-1
Let z(i) = 3*i**3 - 9*i**2 + 22*i - 1. Let r be z(4). Let u be 60/r + (-390)/27. Which is bigger: -83/6 or u?
-83/6
Let o(s) = 9*s**3 - 31*s + 0*s**3 - s**2 + 31*s. Let j be o(1). Let u = 11 - 3. Is u >= j?
True
Suppose 1059 = 5*g + 834. Which is bigger: g or -204?
g
Suppose 6*c + 8*c = -126. Let r(j) = -j**2 - 8*j + 11. Let x be r(c). Suppose 15*g + 91 = x*g. Which is smaller: g or -42/5?
-42/5
Let z(l) = -l**3 + 25*l**2 + 14*l - 354. Let c be z(25). Is -472/91 greater than c?
False
Suppose 179 = w + 31*k - 34*k, -876 = -5*w - 4*k. Is 176 less than or equal to w?
True
Let s = 72 + -1009/14. Let y be (14/(-4) - -2)*(-64)/24. Suppose 0 = 5*o + 4*a - 1 - 0, 8 = y*o - 4*a. Is s less than or equal to o?
True
Let o be (6/12)/((-2)/4). Let q be -1*((o - 18) + 2). Let z be (-3360)/(-208) - (-4)/(-26). Which is smaller: q or z?
z
Let d be (-1)/(285/(-108)) + -1. Let l = -3/38 + d. Suppose 5 = -0*o - 5*o. Is l at most as big as o?
False
Let k = 7919 + -7776. Does 151 = k?
False
Let x(q) = -q**3 + 7*q**2 + 10*q - 1. Suppose 52 = 4*k - 4*z, 5*k + 2 = 4*k - 2*z. Let p be x(k). Suppose -158 = -31*r + 245. Which is greater: r or p?
p
Suppose 15*z - 11*z - 1760 = 0. Suppose 5 = -w, z = 4*u + u + 2*w. Let m be ((-7)/(-21))/((-88)/u - -1). Is m at least 15?
True
Suppose 36*i = -25*i + 23*i + 3078. Is i <= 87?
True
Suppose 46*j - 23*j - 22*j = 0. Suppose -q - 3*q - 4*b - 180 = j, 4*q + b = -177. Is q != -49?
True
Let f(o) = -354*o - 1079. Let p be f(-5). Are 691 and p unequal?
False
Let c be (1 + -1 - 355)*1. Let l = -1441631 - -1441277. Is c at most l?
True
Suppose 3*s = -4 - 2. Let q be (-12)/(-32)*s/(-3). Let x = 3536.1 + -3536. Are q and x equal?
False
Let l(c) = c**3 + 65*c**2 - 71*c - 226. Let j be l(-66). Let q(g) = 105*g**2 - g + 1. Let v be q(1). Which is smaller: v or j?
j
Let o = -2990408/25 - -115507. Let n = 4111 + o. Does 3 = n?
False
Let q(k) = k**2 - 106*k. Let m be q(106). Suppose 13 = -c - 5*b, b - 4 = -6. Let g be (-33)/(-54) + 1/c. Are g and m non-equal?
True
Suppose -3*r + 3 + 3 = 0. Let a = 1050 - 1043. Let f be (-48)/168 + (-19)/a. Which is greater: r or f?
r
Suppose y + 296 = -2*f, 10*f - 602 = 14*f - 3*y. Which is greater: -46 or f?
-46
Let b = -0.741 + -1.259. Let j = -57 + 62. Which is bigger: j or b?
j
Let y be ((-3)/15)/((-4)/110). Let s(j) = 5*j. Let q be ((6 - 1) + -1)/(1 - -3). Let d be s(q). Which is bigger: y or d?
y
Let k be (73/20 + 1)*(-24)/180. Are k and -2 unequal?
True
Let t = -37769 - -76104533/2015. Which is greater: t or 0?
0
Let b = -0.0299 + -146.9701. Let i = -145 - b. Is -1.68 >= i?
False
Let p be (-4)/(((-3)/(-531))/((-4)/12)). Let j = p + -82. Is j at most as big as 154?
True
Let g = 658.9 + -690. Let y = -32.1 - g. Which is bigger: y or -188?
y
Let n = 2.01032 + -0.01032. Which is bigger: -10 or n?
n
Let x = -55 + 56. Suppose 4*k - s = -677, k - 2*s - 176 = 2*k. Let w be 1 - (4/k + x). Which is smaller: 0 or w?
0
Suppose -43*n + 41*n - 494 = -o, -4*n + 512 = o. Is o not equal to 500?
False
Let d = 938 - 574. Let c = d + -364.07. Is 37