 = v**3 + 20*v**2 - v - 20. Let z be d(-20). Suppose z = -5*w + 71 + 179. Is w smaller than 51?
True
Let k = 5 + -6. Let v = -1096 + 208. Let d be 96/v*1/2. Is k greater than or equal to d?
False
Let k = 37 + -183/5. Let o = 0 + 6. Let h(u) = u**2 - 6*u - 1. Let p be h(o). Which is bigger: k or p?
k
Let b = -23 + 209/9. Is b > -0.16?
True
Suppose 2*c + 16 = -2*c. Let u be ((-3)/(-18))/(89/(-1335)). Do u and c have different values?
True
Let s = -6 + 5. Let j = -223/2501 - -5/41. Let u = j + -132/305. Is s greater than or equal to u?
False
Suppose v + 115 = 5*v + 5*k, 3*k - 34 = -v. Let a be (-32)/(-20)*v/(-10). Is a at least as big as -6?
True
Let s = -2082 + 1182. Is -899 greater than s?
True
Let z be -32*(1 - (1 + 1)). Let n = -13 + z. Suppose 3*o = 5*q - n, 2*q - 3*q = 3*o + 7. Is q greater than 2?
False
Let c be (-2)/18 - (140000/126)/(-16). Is 70 at most c?
False
Let k = 0.1 - 0.1. Let t = -0.1069 - 3.8931. Is k greater than t?
True
Let r = -18236 + 18239. Let m = 1.2 - -4.8. Let w = m + -2. Which is bigger: r or w?
w
Let c = 10737755/12090221 - 2/84547. Let n = c + -8/13. Let u = -8 - -7. Which is greater: n or u?
n
Let n = -176 - -173. Let t = 28 + n. Is 25 at most as big as t?
True
Let a = -415 - -416. Suppose 4*w = 3*w + 5*c + 38, -3*c = w + 2. Let v be (-3 - (0 - -1))/w. Is v less than or equal to a?
True
Let p be 17 + 2 - (-2 + 1). Suppose -4*a = 3*h + 16, -a - 4*h = 4*a + p. Let y(l) = -2*l - 8. Let x be y(a). Which is smaller: x or -3/13?
-3/13
Suppose 11 = 2*q + 3*l, 3*q + 4*l - 10 = 5*q. Which is bigger: q or 10/41?
q
Suppose 4*p - 149 = 5*g, 3*p - 2*g - 3 = 107. Let m = 37 - p. Which is greater: 15/11 or m?
15/11
Let x = -17 + 15. Let d = 41 - 38. Which is smaller: x or d?
x
Let x = -760 - -958. Is x bigger than -0.3?
True
Let r = 169 - 166. Is r smaller than 8/3?
False
Let y = 6.04 - -2. Let b = y - 8. Is -1/4 <= b?
True
Let b = -8933 - -178853/20. Let r = b + -47/5. Is 2 equal to r?
False
Let j(w) = -5*w + 1. Let m(s) = s + 5. Let f be m(-7). Let r be j(f). Let z be (-11)/r + (-24)/2. Which is bigger: z or -15?
z
Let w = 1237 + -1238. Which is smaller: w or -1/999?
w
Let y(l) = 30*l**3 + 3*l**2 + 5*l + 1. Let t be y(-1). Let k be (-33 - t)*2/(-4). Which is smaller: k or 4/11?
4/11
Let v be (6/54*3)/(53/15). Which is bigger: v or 1?
1
Let o = 1496 - 1495. Is 5/303 at least o?
False
Let u = -40 - -40. Suppose 0*y = -3*y + 48. Let t be 57/19*y/66. Is u at most t?
True
Suppose 6*h - 5*u - 23 = 5*h, 15 = 5*h - 5*u. Let v be (-4 + 3)*(-21)/3. Let g = 7 - v. Is g at least h?
True
Let i = 1476 + -1476. Is 648 less than i?
False
Let w = 505.9 + -475. Let h = 24 + -55. Let k = w + h. Which is smaller: -6 or k?
-6
Suppose 15*c = 10*c. Let m = 3 - 10. Does m = c?
False
Let v(l) = -l**3 + 19*l**2 + 20*l - 56. Let y be v(20). Is -56 bigger than y?
False
Let m = 386 - 365.92. Let x = -0.08 + m. Let g = x - 20. Are 0.2 and g unequal?
True
Suppose -6*l = -0*l - 114. Let d = 20 - l. Which is bigger: 2 or d?
2
Suppose 5*g - 17 = -5*s - 22, -g - 4 = 0. Are 1 and s equal?
False
Let v(h) = -h**2 + 3*h - 1. Let w be v(5). Suppose 60 = -2*o - 3*o. Which is bigger: w or o?
w
Let n(y) be the first derivative of -2*y**3/3 - 8*y**2 - 4*y - 3. Let r be n(-8). Let g be r - 189/(-39) - 1. Are g and 0 equal?
False
Let b(l) = 0 + l**2 - 3*l + l**2 + 1 + 0*l**2. Let r be b(2). Are -0.05 and r non-equal?
True
Let f = -944 - -910. Is 2 > f?
True
Suppose 0 = 206*u - 193*u + 429. Which is greater: u or -8?
-8
Let u be -15*5993/(-65)*(-1)/15. Is u at least as big as -91?
False
Let b = -836 - -770. Which is smaller: -0.2 or b?
b
Let i = 48 + -48. Suppose w - 7 + 6 = i. Let y = -2 + 2. Is w < y?
False
Let l = -1401.8 + 1402. Suppose 5*m - 6 = -2*n, 3*n - 4 = -0*m - 5*m. Which is smaller: n or l?
n
Let i be ((-4)/12)/((-5)/45). Let l be 39/35 - i/(45/6). Suppose 0 = -k + 4*k. Which is smaller: k or l?
k
Let w = -286 + 278. Which is bigger: w or -14?
w
Suppose -3*j - 135 = 2*j. Let a = 21 + j. Let v be 6/a - (-14)/6. Which is greater: v or 0?
v
Let s = -0.16 + 0.07. Let g = -58 + 292/5. Let a = 3/20 - g. Which is greater: s or a?
s
Suppose 10 = 181*m - 183*m. Is m < -2?
True
Let g(i) = -119*i**3 - 3*i + 10. Let f be g(2). Which is bigger: f or -946?
-946
Suppose -z + 10 = 6. Suppose z = -o + 8. Is o >= 0?
True
Let n be (-1278)/12*(-16)/30. Let v = 57 - n. Is v less than or equal to -8?
False
Let s = 8 - -1.1. Let o = -4 - -13. Let n = s - o. Is 4/5 at least n?
True
Let z = -260 + 221. Is -37 > z?
True
Let n = -72.88 + 90. Is n greater than 0?
True
Let x be ((-8)/(-50))/((-36)/(-30)). Let z = 14 - 12. Let y be 4/24*(-3)/z. Is x bigger than y?
True
Let p(a) = 5*a**2 - 55*a + 16. Let h be p(10). Is h at least as big as -33?
False
Let j = -389261/27 - -14411. Which is smaller: j or -6?
j
Let p be (3/(0 - 3))/(3/1). Let j = 21 + -19. Let i be (-2)/(j - (5 - 1)). Is i less than or equal to p?
False
Let a be 36/9 + 1*4. Suppose 11*y = a*y. Are -2/3 and y non-equal?
True
Let r(k) = 44*k + 103. Let d be r(-2). Which is greater: 19 or d?
19
Let q = -774 - -6964/9. Let o = 0 + 0. Which is smaller: o or q?
q
Suppose 23 = -5*j - 2. Let t be 0 + -8 - (-2 + 1 + -3). Is j at most as big as t?
True
Let m = 2/15549 - -13771/13823061. Which is smaller: m or -1?
-1
Let o = 2/777 - -2843/2331. Let q = -28/45 + o. Let i = q + -11/10. Is 4/5 bigger than i?
True
Let q = -0.022 + 1.022. Are q and -2/317 equal?
False
Suppose -3*l = -l - 2. Let g be (-12 - -8)*(-1)/2. Suppose 4*m - 7 = 3*c, -1 = -c + 2*m - g. Which is bigger: l or c?
l
Let x = -1404/20801 + 2/671. Suppose 2*i = -2*u, -6*u = 3*i - 4*u. Which is smaller: i or x?
x
Let v be (39159/19596 - 2)/((-1)/166). Let w = -15/142 + v. Do w and 1 have different values?
True
Let g be ((-24)/(-15))/((-2)/(-15)). Suppose -2*o - g - 12 = 0. Is -12 less than o?
False
Let d = 1.81 + -0.01. Let q = -2.19 + 0.09. Let l = d + q. Which is bigger: l or 0?
0
Suppose -4*j - 4 = 0, 3*p = j - 3 + 1. Let a = 2355/16 + -147. Is a smaller than p?
False
Let x = -18.9 - -0.9. Let c = 17.9 + x. Let h = -18 + 13. Which is smaller: h or c?
h
Suppose 5*c - 15 = 5*o, -5*o - 3 = -0*c - 3*c. Let g be (3/(-12))/((24/10)/c). Suppose 2*b = 4*b. Does b = g?
False
Suppose 0 = -5*i + 2*p + 3 + 3, 0 = -2*i + 4*p - 4. Suppose -1 = -u + i. Which is smaller: 8/3 or u?
8/3
Let h(v) = -v. Let j be h(5). Let q be 2/(-5) + 48/j. Let n = 6 + q. Is n bigger than -1?
False
Let t(z) = -z**3 + z**2 - 2*z - 1. Let j be t(-2). Let n be 6/j + (-8)/20. Let d(b) = b + 6. Let l be d(-5). Which is greater: l or n?
l
Suppose 4*u = 2*i + 30, 2*u + 0*u + 2*i = 12. Let p(g) = 6*g**3 - g + 1. Let s be p(1). Does u = s?
False
Suppose 12*j - 109 = 35. Let s be -3 - ((-33)/12 + (-3)/j). Which is smaller: -2/63 or s?
-2/63
Let i = -561 - -474. Is i <= -87?
True
Suppose 3*r = 4*r. Suppose n + 4*n - 10 = r. Suppose -n*j = -6*j + 8. Is j less than 2?
False
Suppose -2*t = -3*t - 35. Suppose 0 = -2*m - 2*m - 140. Is t at least as big as m?
True
Suppose -h - 37 - 149 = 0. Is h greater than -188?
True
Let y be (-6)/10 + 90/25. Let m(o) = -3*o - 1. Let w be m(-3). Let d = 10 - w. Which is smaller: d or y?
d
Suppose 125 = 3*y + 2*y. Let f be y/10*(-4)/55. Is f greater than or equal to -8?
True
Suppose 9*f = 11*f - 24. Suppose -f*x = -13*x. Which is smaller: x or -2/13?
-2/13
Suppose 23 = 2*d - 4*q - q, d + 3*q - 17 = 0. Let g be 64/d + -1 + -1. Which is smaller: g or 4?
g
Let z = 21.8 - 21. Let w = z + -1.8. Which is smaller: w or -3?
-3
Suppose -s = 3*w - 16, 0 = -3*w - 2 + 17. Let a = 1288/15 + -517/6. Are a and s non-equal?
True
Let c = 6 - 0. Let n(p) = -p**3 - p + 7. Let j be (-1 - 7/(-7))/(2*2). Let l be n(j). Is l greater than or equal to c?
True
Let m(g) = 4*g - 9 + 10 - 9. Let k be m(6). Let t be (-15 + 3)*(-6)/k. Which is smaller: t or 4?
4
Let f be -4*((-1)/(-2) - 2). Suppose -f*w + w - 26 = 2*h, w = 4*h + 8. Is h greater than or equal to -5/2?
False
Suppose 217*d - 204*d = -78. Let f = -7 - -2. Is d at most f?
True
Suppose 0 = -s - 4*s - 10. Let m be 2 + (4/s - 0). Suppose 6 + m = 2*t. Is t != 14/9?
True
Let x = 11 + -5. Suppose 0*s = -s + x. Suppose -2*m = 3*g + s + 7, -2*m + 2*g + 12 = 0. Are 12/5 and m non-equal?
True
Let g be 1*-1*3/3. Let s be 130/(-25) - 84/(-21). Which is greater: s or g?