- 2/((-6)/(-881)). Is -291 smaller than h?
False
Let x be 952/136 + (-1060)/332. Which is smaller: 4 or x?
x
Let v = -528.7 + 71.7. Let b = v - -655. Is b at least as big as 0.1?
True
Let v be (-2)/12 + 1576118/732. Is v not equal to 0?
True
Let m = 50.58 + -50.59. Is 1/78 >= m?
True
Suppose -54*u - 4064096 = -4064150. Let f be (-209)/868 - 3/(-12). Is u at least as big as f?
True
Let k = 18 - 283. Let q = k - -207. Is q less than or equal to 1?
True
Suppose -2*z = -14*o + 12*o + 760, 3*z = -o - 1152. Let g = 273 + z. Do g and -111 have different values?
True
Let h = 50 + -151. Let l = h - -99.941. Let y = 0.059 + l. Is y less than -14/3?
False
Let i be 702/(-9)*75/190. Which is smaller: i or -30?
i
Let u be (1/3)/(29/3741). Let i = 13 - -27. Which is bigger: i or u?
u
Let c = 32283 + -34792. Is -2509 at least as big as c?
True
Suppose -5*u + 3*x = -15, 4*u = 2*u - 5*x + 37. Suppose u*g - 4*t = 2*g - 320, -g = -3*t + 90. Which is bigger: g or -76?
g
Let u = 0.511 - 0.5209. Let z = -0.1099 - u. Is 361 smaller than z?
False
Let v(r) = -3*r**2 - 275*r - 1189. Let j be v(-83). Which is smaller: j or 967?
967
Let u = -105.079 - 2.191. Let o = u - -106. Let i = o + -0.73. Is i >= -0.07?
False
Let k be (-1)/(-5) + 43/(-215). Let q be (1 - 33)/(6/(-9)). Suppose -3*z + 7*z + q = k. Which is smaller: z or -11?
z
Let z = 667 + -1148. Let y = 481.289 + z. Which is smaller: y or 0?
0
Let p = 65 + -51. Let k(m) = m**3 - 13*m**2 - 29*m - 11. Let o be k(15). Is p != o?
True
Suppose -3*y = 5*t, 2*y + 2*t - 19 = -3*y. Let b be (3/5)/(1/y). Let x = b - 7. Is -14/3 less than or equal to x?
True
Let r(j) = -360*j - 2161. Let f be r(-6). Which is smaller: 36/73 or f?
f
Let g be 1*3 - 0/(-13). Suppose 38*a = 7*a + 598 - 71. Is g >= a?
False
Let v = -18687.3 + 18687. Is v < -410?
False
Let r be -3 + 1 - (-16)/9. Let p = -27.159 - -27.2. Let h = p - 1.041. Is h at most as big as r?
True
Let w(b) = -b**2 + 27*b - 177. Let o be w(13). Suppose -3*i - o*u = 82, -u = 3*i - 2*u + 70. Which is smaller: 0.01 or i?
i
Suppose -4*q - 2*d - 2 + 34 = 0, 4*d + 26 = 2*q. Suppose 0 = 18*a - q*a + 18. Which is smaller: 1/17 or a?
a
Let t be (4*9/48)/(2/(-48)). Is t equal to 0.218?
False
Let s be -2 + 3 - 27529638/2802. Let u = s - -9824. Which is smaller: 0 or u?
0
Let w = -8377.8 - -8380.2. Let t be (-6)/10 - (-2)/(-5). Which is greater: t or w?
w
Let j = -25126 - -25369. Which is smaller: j or 80?
80
Let s = 466061183 - 87818976591339/188428. Let w = s + -1/652. Is -1 equal to w?
False
Let n(d) = -2*d**3 + d**2 - 8*d - 1. Let b be n(0). Let a = 72347/122 - 593. Are b and a nonequal?
True
Suppose 2*x + 378*p - 382*p = 23442, -4*x + 2*p + 46908 = 0. Is 11729 at least x?
True
Suppose 16 = 4*q + 4. Let k be 6/108*-3*(-9)/(-15). Which is greater: q or k?
q
Let k = -1831/11129 - 22/359. Does k = 1/5?
False
Suppose -8895 = -44*b - 7122 - 30857. Is -662 not equal to b?
True
Let y = -19609 - -19608. Which is bigger: 6/1259 or y?
6/1259
Let j = 1770 - 1807. Which is bigger: -1/10 or j?
-1/10
Let p = 33/94 + -181/470. Let j = p + -3/188. Let a be 0*(6 - 3)/(-3). Which is smaller: a or j?
j
Let v be (1/((-6)/(-12)))/(-10). Let p(j) = j**3 - 6*j**2 - 5. Let f be p(6). Let c = -4 - f. Which is smaller: c or v?
v
Suppose -141 = 3*w + m - 4*m, -4*w - 5*m - 233 = 0. Let i = -93211 - -93157. Is i > w?
False
Let m = -72 - -73. Let a be 3 + (3 - m) - (3 + 2). Which is bigger: 2/639 or a?
2/639
Let n(f) be the second derivative of 5*f**4/12 + 8*f**3/3 + 3*f**2/2 + 27*f. Let y be n(-8). Suppose k = 3*m - y, k + 34 = m - 31. Are 64 and m equal?
False
Suppose 12 + 22 = 5*x - r, -33 = -5*x + 2*r. Let m(w) = -w**2 + 6*w + 11. Let y be m(x). Suppose -j - 2*a - y = 0, 6*j = 9*j - 2*a - 12. Are j and 2 nonequal?
False
Let v = -136 - -160. Let x be -1*(v/8)/(9/(-6)). Let c = -32.26 - -32. Which is smaller: c or x?
c
Let t(m) = m**3 + 5*m**2 - 808*m - 61. Let l be t(-31). Which is smaller: -13/121 or l?
-13/121
Let n = 0.16857 + -0.02857. Is n != 91?
True
Let s(z) = 7*z + 7. Let j = 54 + -32. Let k = 17 - j. Let v be s(k). Is v greater than -27?
False
Let n be 15*((-18)/5 - (2 + 2)/(-1)). Which is bigger: n or 404?
404
Let b = 7126519/98868 + 18/8239. Let q = b + -72. Let x(g) = -g. Let l be x(1). Is l less than q?
True
Let h(x) = x**3 - 10*x**2 - 8*x + 22. Let q be h(8). Let r = q + 143. Is -28 > r?
False
Let w(g) = -g - 3. Let k be w(-4). Let s = k - 0. Let a = -347615/3 + 115872. Which is smaller: s or a?
a
Suppose 2*f - 500 = -2*f. Let g(p) = 3*p**3 + 148*p**2 + 37*p - 464. Let i be g(-49). Which is bigger: f or i?
f
Let b be (-8778)/(-882) + (-240)/36. Is b smaller than -3/25?
False
Let t be 140470/(-773916) - 2/(-11). Is 0 <= t?
True
Let n = 29 - 40. Let w be (-66)/n*4/(-6). Let q be 5/10 - (-2 - w). Is q at least as big as 2?
False
Let g(h) = 19*h**2 + 201*h - 1478. Let u be g(7). Are 860 and u unequal?
False
Let a = 2703 + -2725.84. Is 0.2 greater than or equal to a?
True
Suppose 9 = -2*v + 15. Let x(q) = -3*q - 1 - v*q - 7*q - 1. Let w be x(-2). Is w < 23?
False
Suppose 4*h - 2500 = -3*b, -b - 3296 = -5*b + 4*h. Is 819 >= b?
False
Let t(l) = -2*l**3 + 16*l**2 + 19*l - 5. Let c be t(9). Suppose 4*i - 5*i + y = -c, 0 = -3*y + 3. Let r(p) = -p + 30. Let h be r(i). Which is smaller: h or 26?
h
Let n(m) = -m**3 - 16*m**2 - 16*m - 14. Let b be (-300)/2*(-2)/5. Suppose 0 = 4*h - 4*s + b, -h + 5*s - 10 - 5 = 0. Let j be n(h). Which is smaller: -1/16 or j?
-1/16
Let c be -35 + 68514/1506 + (-10)/1. Are -1 and c unequal?
True
Let a be ((15/(-20))/((-9)/(-8)))/1. Let s = 11/15 - a. Is 1 > s?
False
Suppose -29*g = -24*g + 5*v - 40, 2*g + v = 9. Let d = 727/57330 - 1/637. Which is smaller: d or g?
d
Let r(h) = -2*h**3 + 10*h**2 - 8*h + 2. Let n be r(4). Suppose 4*w - 3*x - 48 = 0, 0 = -5*w - 5*x + 49 + 46. Which is bigger: w or n?
w
Let v be ((-164)/36 + 3)/(2/(-18)). Let z be 1230/v + (-51)/(-357). Which is bigger: 87 or z?
z
Let s be -112 + (0 - 2) + 26 + -24. Is -112 bigger than s?
False
Let x be (-13)/(975/(-52560))*5/(-3)*-2. Is x bigger than 2337?
False
Let z be 1/(8/(-6))*208/(-5538). Let v(d) = d**3 - 5*d**2 - d - 1. Let m be v(5). Let w be ((-1)/3)/((-2)/m). Is z < w?
False
Suppose -g - 48 = -2*m, -3*g - 51 = -4*m + 45. Let h be 4/m*6 + (59 - 0). Is h less than 60?
False
Let g be 1/10 - (-656)/(-410). Let w = 3.34 - -0.66. Which is greater: w or g?
w
Let l be 3/(-2)*(-10)/3. Suppose -5*u - l*i - 1 = 79, -3*u + 3*i = 66. Is u at most -8?
True
Let g(c) = 18*c**3 + 12*c**2 + 25*c + 73. Let r(k) = 6*k**3 + 4*k**2 + 9*k + 24. Let y(v) = 2*g(v) - 7*r(v). Let t be y(-2). Is 36 equal to t?
True
Let g = -0.144 + 1.144. Let f = -1073 - -1071.27. Which is smaller: f or g?
f
Let q(n) = -5*n**3 + n**2 + n - 1. Let j be q(-1). Suppose g + j*d + 2 = -12, -5*d = -5*g + 5. Let v be (g/(-5))/((-40)/(-50))*-72. Which is bigger: v or -34?
-34
Let y = -24884 - -17344118/697. Do y and 1 have the same value?
False
Let l = 362 - 332. Let c be (6/4)/(l/800). Which is bigger: 4 or c?
c
Suppose g - 137 + 107 = 0. Suppose 10 = 20*p + g. Which is greater: p or 1/283?
1/283
Let w = 0.3168 - 0.6168. Suppose 141 = -3*y - 5*t, 3*y - 64 = 5*t - 235. Is w at most y?
False
Let a = 5640 - 11571/2. Let h = 76 + a. Is -71 greater than h?
False
Let k = -194 - -110. Suppose 137*r - 161*r = -1776. Let m = r + k. Is m <= -6?
True
Let x = 11.92 + -24.92. Let a = -179 + 171. Which is smaller: a or x?
x
Suppose -11*v - 22*v = 25*v + 9*v. Is 3/64 <= v?
False
Let h = -6231.2 + 6231. Which is bigger: h or 1068?
1068
Let z be (-4353)/18 - (-15 - (1 - 12)). Is -238 < z?
True
Suppose 68*z - 82*z + 974 + 230 = 0. Which is smaller: 175 or z?
z
Suppose -5*r = 4*x - 4537, -3*r + 2283 + 463 = -x. Is r > 919?
False
Suppose -2*i + 7*i = 95. Let a = -8 + -11. Let n = i + a. Which is smaller: n or -6/13?
-6/13
Let x = 4.098912 - 0.098912. Let q = 0 + 0.1. Is x >= q?
True
Let s = -2596 + 2827. Which is smaller: 3 or s?
3
Let d(c) = 5*c - 44. Let v be d(11). Let m be ((-2)/(-12))/(v/330). Let t be (5 - m)/(4/(-2)). Which is smaller: t or 5/8?
t
Let y = 0.05806 - 113.11806. Let w = 113 + y. Is w != -0.7?
True
Let m = -9362 + 38039/4. Let z = m + -151. Which is greater: -2 or z?
-2
Let m = -4937 + 4693.88. Let x = 243 + m. Are x and 2 equal?
False
Let c = -146 - -169