 - (3 + 1 + -1). Let w be 7*-3*z/(-7). Let l be d(w). Is 1/4 at most l?
False
Let v(p) = -p - 11. Suppose a - 3 = -2*a, 2*b + 5*a = -9. Let f be v(b). Which is smaller: -14/5 or f?
f
Suppose -3 = 8*y + 5. Let f be 1/(39/(-162)) + (-28)/(-7). Which is smaller: f or y?
y
Let v(k) = -k**2 + 2*k - 2. Let q be (-3)/2*(-30)/45. Let g be v(q). Which is smaller: 4 or g?
g
Let z = 26 - 32. Let a = z + 8. Let k(m) = -m - 3. Let l be k(-5). Are a and l non-equal?
False
Let q = 172 + -141. Is q at least 31?
True
Let j be 6/(-70)*(-60)/108. Which is smaller: 1 or j?
j
Suppose -5*p = 15 - 20, 5*d + 2*p + 303 = 0. Is d less than -61?
False
Let q = -0.316 + 0.3. Let p = q + 55.016. Is -1 smaller than p?
True
Let v be 2/3 - 28/(-12). Suppose -v*o = -4 + 1. Let u be 2*(o - 3/6). Do u and -1 have the same value?
False
Let l(y) = -y**2 + y + 1. Let i be l(1). Let c be (1/573)/(i/2). Let n = 1172/7449 - c. Is 0 greater than n?
False
Let j = 26 - 28. Let i = 2575/52 - -1186/13. Let t = 140 - i. Which is smaller: t or j?
j
Suppose s - 4*r - 1 = r, r = 2*s - 11. Suppose 0 = -5*k + s*k - 1. Is 1/4 less than or equal to k?
True
Let l be 2/(-3) - 354/(-18). Let v = 67 - 48. Is v smaller than l?
False
Let o(s) = 2*s**3 - 8*s + 4. Let u be o(-4). Which is smaller: -97 or u?
-97
Suppose 0 = -132*h - 39288 - 35292. Which is smaller: h or -567?
-567
Let g be 12 - 34 - 0/(-2). Let t be (-10 - -13) + (0 - 0) + g. Is t less than -19?
False
Let w be 10/3*24/(-20) + 202. Suppose -w = 4*l + 70. Which is smaller: -68 or l?
-68
Let h(z) = z + 5. Let u = 20 + -26. Let q be h(u). Which is greater: -1/2 or q?
-1/2
Let n = -41 + 39. Are n and -109 equal?
False
Let h be (3 - 2) + 1 + -1. Let u(b) = b**2 - 6*b + 5. Let w be u(5). Let g be (-1)/h*-1*w. Which is greater: g or 0.1?
0.1
Let z be 140/21*(-18)/(-4). Let p = 89/3 - z. Is p greater than or equal to -20?
True
Let t = 19 + -4. Suppose 0*n + 3*n = -t. Let v be (9/6)/(-2 - n). Is 0 bigger than v?
False
Let y be (1/(-2) + -2)*-4. Suppose -38 = -4*f - 4*w - y, -3*w - 29 = -2*f. Suppose -2*d = -7*d - f. Is d smaller than -10/13?
True
Let f be ((-115)/(-69))/((-1)/(-33)). Which is greater: f or 56?
56
Let g = 43.8 + -43. Let b be (-7 + 8)*-5 + (-194)/(-38). Which is smaller: g or b?
b
Let f = 1922 + -1970. Let v be (-6)/4*4/(-21). Is v at least f?
True
Suppose -5*x + 0*s - 1394 = -2*s, 0 = 5*s + 15. Is x < -279?
True
Let f = 19 + -22. Let k be f/(-5) - 174/15. Which is bigger: k or -3?
-3
Let s = 55 - 29. Let v = -26.19 + s. Which is smaller: v or -0.2?
-0.2
Let u(d) = 244*d - 20. Let a be u(-1). Is a greater than -264?
False
Let f = 109 + -101. Let v(y) = 4*y - 10. Let l be v(7). Let s be ((-15)/6 + 3)*l. Is f greater than s?
False
Suppose 5*o + 28 = 23. Let l be (-2 - o)/(2 - 1). Let k be -1 + -1 - (-42)/22. Which is greater: l or k?
k
Suppose 5*k - 315 = 3*x, -5*x + 3*k - 4*k - 525 = 0. Is x != -105?
False
Suppose -3*b = -1425 + 453. Let i be ((-6)/9)/(6/b). Let a = -26 - i. Is 11 bigger than a?
True
Let b = 8 + -4. Suppose 15 = 6*o - 9. Suppose 3*u = l + 2, 3*u + 3*l + o = l. Is b >= u?
True
Suppose -12*g - 1446 - 270 = 0. Is g smaller than -143?
False
Let x be (56/(-6) + -3)*-3. Let b = -32 + x. Which is bigger: b or 7?
7
Suppose 2388 = -2*p + 826. Which is bigger: -782 or p?
p
Let j(c) = 2*c + 13. Let m(w) = -w**2 - 13*w + 23. Let f = 22 + -37. Let l be m(f). Let u be j(l). Which is greater: 2/11 or u?
2/11
Let f(q) be the third derivative of -q**4/24 + q**3/2 + 6*q**2. Let b be f(3). Let i be -2 + (b - (-36)/17). Is i greater than 1?
False
Let w(s) = -2*s - 8. Let y be w(-6). Let j = y + -5. Let k = 1139/7 - 163. Which is greater: k or j?
k
Let r = -227 - -248. Which is greater: 288/13 or r?
288/13
Let a(x) = x**2 - 40. Suppose -2*h + 7 = -4*n - 21, -5*n - 35 = 4*h. Let q be a(n). Which is smaller: 10 or q?
q
Let n(w) = -w + 8. Let p be n(7). Let u = -3497/124920 + 3/13880. Is p <= u?
False
Let x be -1 - (6390/(-312))/(-5) - -5. Is -1 <= x?
True
Let t(q) = q**3 + 37*q**2 + 128*q + 2. Let z be t(-33). Is 135 >= z?
True
Let c(l) = l**2 - 3*l + 2. Let f be c(3). Let w(h) = -8*h**3 + 3*h**2 + 2*h - 2. Let g be w(-1). Suppose f*z = g*z + 15. Which is greater: z or -7/4?
-7/4
Suppose 2*n = 3*r - 2, 2*r - 4*n - 12 = -0*r. Let u be (-12)/(-4) + (-1 - 1). Let z = u - r. Is z < 5/2?
False
Let z = -0.3 - -0.642. Let u = -0.002 + z. Is 0 > u?
False
Let b = -0.38 + 0.08. Let s = -0.69 - -12.19. Let x = s + -11.4. Which is smaller: b or x?
b
Suppose -4*r = 2*w - 12, 0*w - 2*w = -4*r - 12. Let j be (-43)/(-147) + w/(-18). Which is greater: j or 1?
1
Let j = -227/5 + 45. Let a(z) = z**3 + 3*z**2 - 6*z + 21. Let h be a(-5). Which is greater: j or h?
h
Let d = -4/53 - 38/901. Let l = 7 - 8. Which is smaller: l or d?
l
Let b(w) = -14*w - 11. Let o be b(6). Which is smaller: -93 or o?
o
Suppose 0 = 6*t - 349 - 233. Is t >= 292/3?
False
Let s be -2*15/(-6)*2/(-10). Which is smaller: s or -1/73?
s
Let a = -10 + 40. Let o = a + -49. Let j = o + 18. Are 3/7 and j unequal?
True
Let z = -611 - -38491/63. Let s be 4108/(-572) - (-1 - 6). Which is greater: s or z?
z
Let v be -3 + 3 - -1 - (-16 + 2). Let h be v/9 - (28/(-12) + 2). Which is smaller: 39 or h?
h
Let j(d) = d**3 + 11*d**2 - 4*d - 44. Let i be j(-11). Which is greater: -1/271 or i?
i
Let z = -0.109 - -0.009. Is 240 not equal to z?
True
Let j = -0.677 - 65.323. Is -0.1 not equal to j?
True
Let i = -19.96 + 18. Let k = i - 0.04. Let f = -7 + 10. Which is greater: f or k?
f
Let g be 6/(-118)*(-112)/24. Let a = g + -527/1475. Which is bigger: -1 or a?
a
Let u = 4 - -1.8. Let d = 4.4 - u. Which is bigger: d or 1?
1
Suppose 0 = 5*m - 8 - 17. Let f = -3 + m. Suppose -5*h + f*h = -15. Is h smaller than 5?
False
Let v = -19 + 18.8. Let y = 2.8 + -1.7. Let r = 1.11 - y. Which is smaller: r or v?
v
Let w = -1347 - -1121. Is -225 bigger than w?
True
Let a = -9 + 9. Let l be (2 + -4)*(-3 + a). Suppose 3*w + s = 4*w, 3*s = -3*w + l. Which is smaller: w or 2/11?
2/11
Suppose 0 = 3*a - 6, -2*l - 9 = -3*a + 5. Is l < -0.84?
True
Let o be 2/6 + -1 + 1. Let d = 3/2978 + -38819/104230. Let g = 8/35 - d. Which is smaller: g or o?
o
Suppose 5*d = -4*q + 5, q + 2*q + 3*d - 6 = 0. Suppose q*y - 6 = 2*y. Suppose y*h - 7 + 17 = 0. Which is smaller: -6 or h?
-6
Let f = -15 + 13.9. Let w = 2.4 + -5.3. Let y = w + 3. Is y bigger than f?
True
Let k = 28/173 - 60905/375237. Are 1 and k nonequal?
True
Let r = 364 - 916. Let u = r + 1147/2. Which is bigger: u or 21?
u
Let b = -1847/3 - -627. Is 11 < b?
True
Suppose -420 - 148 = 8*u. Which is bigger: u or -73?
u
Suppose 41*s - 43*s = -5*k + 44, -5*s = -5*k + 80. Which is greater: s or -116/11?
-116/11
Suppose z + 4*v - 6 = -0, -53 = -5*z + 3*v. Let c be (5/z)/((-2)/(-36)). Suppose -5*x - 5*t + 0*t = -25, 0 = 5*x + t - c. Is 2/9 smaller than x?
True
Let g(f) = -2*f - 17. Let s be g(-10). Suppose -4*w + 4*h = 20, -s*w + h - 9 = -0*h. Let z be (-8)/(-224) - w/(-7). Which is smaller: 1 or z?
z
Let d(i) = -i - 4. Let o be d(-4). Suppose 8*k = 4*k - 48. Let v be o/(-1)*(-6)/k. Is -2 not equal to v?
True
Let z(c) = -c**3 + 5*c**2 - 23*c + 81. Let u be z(4). Is u smaller than 0.05?
False
Let o be 424/(-480)*(1 + -5). Let d = 16/5 - o. Let u = -1/6 + d. Does 0 = u?
False
Let i = -2428 + 12022/5. Let h = i - -2468/105. Which is smaller: h or 0?
h
Let r = 3430/33 + -104. Let a = -76/165 - r. Which is greater: a or 6?
6
Let r be (-600)/(-3393) + -7 + 712/104. Suppose b - 3*u = -3 + 36, -2*b - 5*u = -11. Let o be 11/9 + (-4)/b. Which is greater: r or o?
o
Let t = -10 + 11. Suppose 0 = 3*s - 4*s. Is t not equal to s?
True
Let t = -50 + 49.9. Suppose -2*d = -139 - 39. Let m = 2401/27 - d. Are m and t unequal?
True
Let g(n) = 7*n**2 + 5*n - 3. Let v be g(3). Suppose -v - 40 = -5*q. Let b = -8 + q. Which is smaller: 16 or b?
b
Let l = 5.02 - 8.92. Is -0.01 not equal to l?
True
Let u(f) = f**2 - 4*f - 3. Let r be u(5). Let a(b) be the first derivative of -b**3/3 + b**2/2 + 7*b - 11. Let z be a(3). Which is bigger: r or z?
r
Let l = -6 - -5.99. Let j = -2.84 - 1.17. Let t = j - l. Is t bigger than 2?
False
Let u be ((-3)/(-126))/((-120)/(-420)). Let h(j) = -j**2 - 5*j + 4. Let d be h(-5). Which is greater: d or u?
d
Let z = 22 + -2. Suppose 4*m - z = -3*q, 5*q + 0*q - 20 = -4*m. Let x = 2 - m. 