20. Is 0.14 at least a?
False
Let c(b) = -88*b - 5. Let j = -369 + 370. Let w be c(j). Which is bigger: w or -91?
-91
Let j = -184 - -189. Let o = -12.403 - 0.597. Is j < o?
False
Let m be 3*(318/(1 - 4))/(-111). Let o = m + -16149/5624. Is 1 != o?
True
Let n = 16502 + -16473. Which is bigger: -263 or n?
n
Let m be 6/(72/(-6))*106. Let u be (-1*18/(-15))/((-1)/85). Let d = 49 + u. Do m and d have the same value?
True
Let n(a) = 2*a**3 - 26*a**2 + 87*a - 55. Let f be n(8). Is f <= 5/112?
False
Let r = 273 - -832. Suppose 0*j - 4*b - 852 = 3*j, -4*j + 5*b - r = 0. Which is smaller: j or -281?
-281
Let q = 2/113 - 240/791. Suppose 191 = -56*h + 40 - 129. Is q < h?
False
Suppose -605*a + t = -608*a + 404, a - t = 140. Is a greater than or equal to 98?
True
Let j be 44904/(-9174)*(-2 + 115/60). Let g = 110063/20850 - 132/25. Let c = j - g. Which is bigger: 0 or c?
c
Let r = 27 + -14. Let s(q) = -1 + 15*q + 0*q**2 - r*q - 3*q**3 + 4*q**3 - q**2. Let g be s(1). Is g greater than or equal to -2/33?
True
Let r = 0.03792 - -0.96208. Is -2.767 at least r?
False
Let p = 2465096 + -707485015/287. Let b = 18/41 + p. Does -7 = b?
False
Suppose -4*u - 6*i + 3*i = 12, 4*i + 16 = 0. Suppose 5*j = -4*t + 2 + 1, u = -j + 2*t - 5. Let n(s) = -25*s + 1. Let r be n(j). Is r smaller than 28?
True
Suppose 183 = -k - 2*k. Let o = 198 + k. Suppose 86 = 3*f + 2*v, 4*v - 29 = 4*f - o. Is 27 less than f?
True
Let c = -3222 - -2961. Is -254 >= c?
True
Let m be 12/7 + 9/(-3). Let f = -0.6 + -0.59. Let u = -0.81 + f. Is u equal to m?
False
Let n = -2/3023 + 2923245/6046. Let l = n - 483. Is l bigger than 104/5?
False
Let t = -86.28 - -88. Let i = -19/492 - 26/123. Is i >= t?
False
Let l = 254 - 246. Suppose 5*x = -f + l, 5*x + 16 = 2*f - 5*f. Which is bigger: -0.04 or f?
-0.04
Let j = -8621.941 - -8622. Which is bigger: -1.12 or j?
j
Let v = -7.19659 - 0.00341. Which is bigger: -4 or v?
-4
Let c = 19915/1068 + 7/356. Which is greater: c or 19?
19
Let n(z) = -z**3 + 22*z**2 - 20*z - 25. Let v be n(21). Let f be -6 - -62 - (7 + v). Which is bigger: f or 55?
55
Let y = -65 - -109. Let c = 2.6607 + -6.6607. Is c <= y?
True
Let y(a) = -5*a**3 - 5*a**2 + 6*a - 6. Let x(k) = k**3 - k + 1. Let b(u) = -6*x(u) - y(u). Let n be b(5). Suppose n*s + 3*s + 111 = 0. Is s greater than -37?
False
Let t = -12096 - -12112. Suppose 5*u + 15 = -5*f, 2*f + 1 = 3*u + 3*f. Let n be 2 + 17 - u - 0. Is t != n?
True
Let t be 1 + 0 + 138/1. Let y be (-15538)/255*9/(-4) - 1/10. Which is smaller: y or t?
y
Let v be (-13)/(845/(-10)) - 1375/65. Let x(h) = -h**2 + 5*h + 3. Let w be x(-5). Let t = w - -26. Is v greater than or equal to t?
True
Let u = -284 + 280. Let n(q) = -6*q**2 - 19*q - 10. Let g be n(u). Which is greater: -28 or g?
-28
Let t be (-10)/3*(-5 + -1). Suppose 6 = m + 2*s, 5*m - 8*m - 3*s = -21. Suppose -2*z + 30 = -4*i, 7*z - 2*i = m*z - 27. Is t bigger than z?
False
Let g = -72 - -40. Let u = g - -57. Let d = 27 - u. Is d less than 3?
True
Let g = 4.2 - 4. Let f = 105.84 + -0.68. Let m = -105 + f. Which is bigger: g or m?
g
Let u = 487 - 375. Suppose -2*i = -u - 112. Which is smaller: i or 113?
i
Let c = -214.2 + 212. Let s = c + 4.6. Do s and 4 have different values?
True
Let t be 345800/(-300)*6/50. Is t at most as big as -137?
True
Suppose 203*o - 202*o = -4*j + 16274, -j + 4094 = 13*o. Is 4068 < j?
False
Let f = 4554076/379 - 12016. Are 5 and f equal?
False
Let o = -301 - -295. Let f be (3 + (o - -4))/((-4)/36). Which is bigger: f or -6?
-6
Suppose 4*l - 8 = -4*h - 36, h + 4*l + 7 = 0. Let d(b) = -b**3 - 8*b**2 - 8*b - 5. Let i be d(h). Suppose 3 + 5 = 4*z - i*y, 12 = -3*y. Is 3/11 at least z?
True
Suppose -q - 3*s = 1 + 3, -4*q - 5 = s. Let o be -7*((-1)/1)/q. Let f be (-240)/36 + ((-10)/(-15))/(-2). Is o at most as big as f?
True
Let q(n) = 69*n**3 + n**2 + 2*n - 2. Let c(f) = -9*f - 53. Let x be c(-6). Let z be q(x). Suppose 0 = -5*h - z + 195. Is h <= 23?
False
Let b(c) = -c**3 + 25*c**2 - 146*c + 117. Let u be b(19). Which is smaller: -487 or u?
u
Let u = 0.4107 - -3.0563. Does -1/3 = u?
False
Let y = 704 - 1726. Is -1022 greater than y?
False
Let s(k) = 651*k - 1004. Let r be s(15). Are 8762 and r nonequal?
True
Let m(w) = w**3 + 9*w**2 + 5*w + 6. Let j be m(-9). Let r = j + 41. Which is greater: r or -52?
r
Let g = 241.1 - 229. Let z = -12 + g. Let w = 0.03 - 3.13. Which is bigger: w or z?
z
Let d = -259 + 440. Let x = d + -312. Is -131 at least as big as x?
True
Let m = 37 - -42. Let t = -58 + m. Suppose -5*f - 4*z = -t, -3*z - 4 = 3*f - 19. Which is bigger: 4/61 or f?
f
Let s be (-6)/9*273/(-13221). Which is smaller: s or -1?
-1
Suppose 4*r + u = -r - 4380, -r - 3*u - 862 = 0. Which is smaller: -6144/7 or r?
-6144/7
Let i = -596 - -279. Let j = 324 + i. Which is greater: j or 15?
15
Suppose -l = 4*z + 3*l, 5*z + 2*l = 12. Let w be z/10*-1*(-18)/342. Are 0 and w non-equal?
True
Let g = 1207 - 1741. Is g smaller than -534?
False
Let a be 2/(-7) - (-53457892)/(-154). Let d = a + 347523. Let w = d - 395. Is w at most as big as -1?
True
Suppose 146*t - 27539 = 30569. Which is greater: t or -1?
t
Let y(r) = 379*r - 1502. Let j be y(4). Does 2/21 = j?
False
Let i(r) = -r**2 + 97*r. Let v be i(97). Is v <= 1/189?
True
Let l = -11187565 + 369131953/33. Let q = l + 1748. Does q = 1?
False
Let w be 3/(-18) + 697/4386. Let c be ((-8)/(-172))/((-24)/17282). Let b = w + c. Is b at most -33?
True
Let j = 0.69 + 0.21. Let d be -10 + ((-366)/88)/(9/(-24)). Which is smaller: j or d?
j
Let a = -12.914 + -1.226. Let f = a - -15. Let b = -0.14 - f. Is -1 at least b?
True
Let j be (-684)/(-144) + 1/4. Suppose 0 = j*g + q - 705, q + 311 = 4*g - 262. Which is smaller: g or 143?
g
Let v = -1.4306 - -1.41. Let o = 52.1206 + v. Which is smaller: -1 or o?
-1
Let x = 8450/7 + -1200. Let i = x + -878/119. Which is smaller: i or 1?
i
Let s = -1.7026 - -0.4426. Which is bigger: 1 or s?
1
Suppose -2*z + 328 = -3*d, 3*z + z = 2*d + 640. Let l = 317/2 - z. Which is bigger: l or -3/8?
l
Let v = -0.0341 - 0.0819. Let q = 518 + -519.884. Let d = v + q. Which is smaller: -3/5 or d?
d
Let x = 287849 - 2586805/9. Is x >= 426?
True
Let n be 3444/210*(4 + -3)*6/20. Which is bigger: 2 or n?
n
Let p be ((63/(-14))/(-9))/(30/12 + -3). Is p at least as big as -1/5958?
False
Let a(n) = n**2 - 13*n + 39. Let c be a(8). Let g be 3 + -9 + (-1164)/((-6)/c). Is g at most as big as -201?
False
Let o(x) = -45*x + 178. Let a be o(4). Which is smaller: -162/101 or a?
a
Suppose -31*i + 439 = -2*b + 1624, -4*b = 4*i - 2304. Which is smaller: b or -1?
-1
Let y(k) be the second derivative of 4*k**3/3 + 40*k**2 + 12*k + 6. Let n be y(-25). Is n > -122?
True
Suppose -s + 186 = -5*m - 368, -3*m = -4*s + 346. Let d = 94 + m. Suppose 0 = 3*o + 36 + 12. Is d bigger than o?
False
Let s(f) = f**3 - 81*f**2 - 12*f - 94. Let g be s(81). Are g and -1071 unequal?
True
Suppose 4*h + 1263 = -1245. Do h and -632 have different values?
True
Let u = 760/11 + -356418/5159. Let c = 420 - 421. Are c and u unequal?
True
Let h = 1.29 - 1.5. Let q = h + 0.21. Let z be ((-120)/35)/(15/42). Which is greater: z or q?
q
Suppose -10*p - 55 = -18 + 83. Is p less than or equal to 1?
True
Let j(n) = n**3 - 4*n**2 - 2. Let b be j(4). Suppose -65*d + 72 = -83*d. Let r be ((-54)/(-36))/(-3*(-1)/d). Is b bigger than r?
False
Let n = 24.66 + -24.56. Let f(l) = -2*l. Let x(o) = o. Let p(h) = -6*f(h) - 13*x(h). Let k be p(-1). Is n < k?
True
Let x be (-1 + -1)*210/630. Is x smaller than 4312?
True
Let i be 24/(-14) + 112/((-3325728)/(-630)). Which is bigger: -3 or i?
i
Let x = 21 - -47. Let m be -5 - ((-2115)/85 - 8/x). Let b = -0.06 - 2.94. Which is smaller: m or b?
b
Suppose -48*l - 3 = -51*l, -m - 5*l = -385. Are m and -1 equal?
False
Let i = -160405/4 + 39829. Let x = i + 264. Which is bigger: x or -8?
-8
Let p be (-26 - -24) + (-1292)/1168 + 3. Is p smaller than 1/4?
True
Let j = 5181.6512 - 3.6512. Is 0 >= j?
False
Let y(n) = -n**3 - 15*n**2 - 15*n - 2. Let r be y(-14). Let k be (-4)/r*(4 + -7). Let t be k/9*45/10. Which is smaller: -0.08 or t?
-0.08
Let o be 7 - 2 - (-2)/(0 - -1). Suppose 0 = 4*s - o*s. Which is bigger: s or -1/31?
s
Let h(i) = -2*i**2 + 10*i - 7. Let n be h(6). Let w(f) = -3*f**2 - 9*f - 20. Let a be w(-6). Let c be a/4 + (-10)/(-4) + -3. Are n 