 29/5 + 5/(26 - 1). Let s be (0 - (-9)/v)*20/15. Is s less than or equal to 4?
True
Let n(i) = -i**2 - 16*i + 6. Let v be n(-16). Let g be 7 + 12/(-4) - v. Is -1 <= g?
False
Let r = -8.6 - -7.8. Let w = -0.194 - 0.006. Is r at most w?
True
Let l = 12 - 9. Suppose 129 = -4*o - l*b, 6*o + 127 = 2*o - 5*b. Let p = -100/3 - o. Is p greater than or equal to -6?
True
Let h = 845810 - 15228827/18. Let q = -50 + -186. Let k = h - q. Which is bigger: k or 1?
1
Let k(o) = o**3 - 5*o**2 + 3*o + 4. Let l = 20 - 16. Let z = l + 0. Let d be k(z). Which is smaller: -1/11 or d?
-1/11
Let k = 69 - 33. Suppose 2*t + k = 4. Is -16 at least t?
True
Let o(a) = -3*a. Suppose 4*u + 5*y - 1 = -4, 0 = 2*u + 2*y + 4. Let h = -8 - u. Let z be o(h). Which is smaller: z or 2?
2
Let m(x) = -8*x + 159. Let b be m(20). Let a be (-219)/315 + (-10)/(-15). Which is greater: a or b?
a
Let m(g) = -3*g - 12. Let f(s) = s**3 + 2*s**2 + 1. Let y = -18 - -15. Let z be f(y). Let h be m(z). Do 12 and h have the same value?
True
Let l(q) = 25*q + 129. Let s be l(-15). Is 0.1 at most s?
False
Let g = 46 - 39. Suppose -x + 6 = -g*x. Do -3/20 and x have different values?
True
Suppose 4*d + 4 - 16 = 0. Suppose 4*f = d + 13. Suppose y - 8 = -y + f*x, -y + 3*x = -6. Is -2/9 at most y?
True
Let n = -45.6 + 45.7. Which is bigger: 142 or n?
142
Let k(l) = -l**3 + 9*l**2 - 6*l + 26. Let b be k(10). Which is smaller: b or -132?
b
Let m = -17 - -17.36. Let i = m - 0.26. Let j = 7.6 + -8. Which is smaller: i or j?
j
Let n = 14 + -1. Let x = n + -10. Suppose x*d = -2*d. Which is smaller: 1/3 or d?
d
Let d = 1/1524 + 48763/7620. Which is greater: d or -1/2?
d
Let x = 32 - 28. Suppose -5*p = x*a + a + 155, 3*a = 0. Is p at least as big as -31?
True
Let k = -4513/1449 + 72/23. Which is smaller: -1 or k?
-1
Suppose 0 = 7*d - 4*d + 3*l - 6, 0 = d + 3*l + 2. Let h be 24/(-27)*(39/(-12) + d). Is 0.7 greater than or equal to h?
True
Let t = -354501/47 + 7543. Is 1 at least t?
True
Let v = 16/1207 - 19266/1635485. Which is bigger: v or 0?
v
Let m(c) = -c**3 + 5*c**2 + c - 2. Suppose -2*b = -0*b - 10. Let o be m(b). Let s be (-1)/o + (-6)/9. Is s greater than or equal to -1?
True
Let g = 1/4309 + -86191/47399. Which is smaller: g or -3?
-3
Let b be 48/(-32) - (-1)/2. Do b and -9/32 have different values?
True
Let g = -15 - -16. Is -10/3 > g?
False
Let v be (3/6)/(8*(-9)/144). Is 1/163 >= v?
True
Suppose 4*w - 3 = 1. Let b = 1569 - 43927/28. Let o = 39/140 - b. Is w greater than or equal to o?
True
Let r = 60 - 42. Suppose 2*l + 6 - r = -4*o, 5*o + 4*l = 18. Let m be o/(-8) + 6/24. Which is smaller: 1 or m?
m
Let f be (-48)/(-18) - 2/3. Suppose 36 = f*m - 3*d, -2*m + d = -0*m - 32. Let w be (1 - -8)*5/m. Is w smaller than 8?
True
Let a = -96.9857 + -0.0143. Which is greater: 1 or a?
1
Let w(t) = t - 3. Let a be w(7). Let l(x) = -4 + 2 + 8 - a*x - x**2 + 2*x**2. Let b be l(5). Is 11 equal to b?
True
Let l be (4/116)/((-20)/15 + 1). Which is greater: l or 0?
0
Let d be 91/13 + 160*1/(-23). Which is greater: -1 or d?
d
Let y be ((-2976)/(-21))/(-8) + 7. Is -11 less than or equal to y?
True
Let v be 80*(-5 - 28/(-8)). Is -118 less than or equal to v?
False
Suppose 4*i - 16 = 4*u, -3*u + 9*u + 24 = -5*i. Is i greater than -1/1807?
True
Let j be (-6)/812*216/81. Do j and -1 have different values?
True
Let q = 1.08 - 2.08. Let x be ((-6)/4)/((-18)/48). Let r = x + -6. Are q and r non-equal?
True
Let x(t) = 71*t + 719. Let g be x(-7). Are g and 222 nonequal?
False
Let n = 1303/9 + -145. Suppose -39 - 21 = -2*m. Let y be m/(-18)*2/10. Which is smaller: y or n?
y
Let h = -27/38 - -4/19. Let f be 1462/748 - (-10)/(-4). Which is smaller: h or f?
f
Let a(c) = -c**2 + 13*c - 32. Let n be a(15). Let l = n + 60. Let z be (0 - 0)*(-2)/4. Which is smaller: l or z?
l
Suppose 5*x + 193 = -3*g, 3*x - 3*g - g + 139 = 0. Let n = -218 - -276. Let k = x + n. Which is smaller: k or -1/2?
-1/2
Let n be 1144/1001 + (-159)/133. Are -55 and n equal?
False
Let f = 0.016 - -5.384. Let x = 3.5 - f. Let p = 1.98 + x. Which is smaller: p or 1?
p
Suppose -4*o + 1 + 3 = 0. Suppose 11*l - 2*l - 36 = 0. Which is bigger: l or o?
l
Let h = -2 - 23. Let x = h - -13. Suppose 2*w = 3 - 29. Which is smaller: w or x?
w
Let i = -46 - -78. Let h be (-1)/(0 + (-1)/i). Let t be (-14)/72 + (-8)/h. Is 0 <= t?
False
Let f = 561 + -555.07. Let z = -0.07 - f. Suppose 521*t + 554*t - 1113*t + 76 = 0. Are z and t equal?
False
Let i(f) = 39*f + 517. Let u be i(-13). Let r = 8 + 9. Is u > r?
False
Let h = 1789 - 1778. Is h bigger than 34?
False
Let z be ((-2)/2)/((-2)/6). Let g = -1 + z. Let j(u) = -u. Let n be j(g). Which is smaller: -1 or n?
n
Let a = -6.3 - 27.7. Let u = a + 31. Let f be (6/(-10))/((-10)/(-25)). Is u at least as big as f?
False
Let t(a) = a - 6. Suppose -4*d - 12 = -l - 3*l, -19 = -3*l - 2*d. Let u be t(l). Let f = 0.57 - -0.03. Are u and f non-equal?
True
Suppose 0 = 3*c + 2*c + 2*l - 60, -25 = -5*l. Let n = c - 6. Suppose 3*s + s + 28 = 4*m, -n*s = 5*m - 35. Is 8 != m?
True
Let i = 635 + -703. Is i at most as big as -65?
True
Let g = 1.8 - 7.3. Let c = -47.4 - g. Let z = -40 - c. Which is smaller: z or 1?
1
Let z = -57 - -77. Suppose 19 - 6 = 2*u + 5*w, -5*u + 5*w - z = 0. Is -1/36 > u?
True
Let d(v) = -v**3 + 9*v**2 - 18*v. Let o(a) = a**3 - 9*a**2 + 19*a. Let n(t) = 5*d(t) + 4*o(t). Let i be n(7). Which is bigger: i or -6/5?
i
Let s(h) = 2*h**2 + 8*h - 7. Let b(x) = -7*x**2 - 32*x + 29. Let z(k) = -6*b(k) - 22*s(k). Let o be z(6). Is 5 at least o?
True
Let n = 90 - 136. Which is smaller: -42 or n?
n
Let s(h) = h**3 - 6*h**2 + 2*h - 9. Let n be s(6). Suppose 4*g - 11 = -3. Suppose -g*a + f - n*f = 6, a = 2*f. Which is smaller: a or -5/3?
a
Suppose 2*i - 7*i = 5, -2*i - 47 = -5*h. Let j be h/(-27) + (-34)/6. Let u be (4/j)/((-10)/60). Which is bigger: 0.2 or u?
u
Suppose q + q - 4*f - 30 = 0, 4*q = 2*f + 42. Suppose 0 = i - 0*y - 3*y - 7, 5*i - q = 2*y. Let l = 11 + -8. Are i and l unequal?
True
Let g = 0.9 + -0.4. Let f = 2.5 + g. Let j = 2.8 - f. Which is smaller: -0.8 or j?
-0.8
Let n(l) = 2*l - 24. Let f be n(-11). Let i = 28 - 74. Is f greater than or equal to i?
True
Let z = 9 + -11. Let n be 1*-3 - (-4 - -2). Let x = z - n. Is 3/10 at most x?
False
Suppose -4*n + 45 = 5*n. Suppose 4*h - 3*h - 2 = 0. Suppose -h*u - 2*i + 6 = 0, 3*i - 16 = n*u + 1. Which is smaller: -1/2 or u?
u
Let o be 121/17 + (-4 - 3) + -24. Which is bigger: -23 or o?
-23
Let m(g) = -g**3 - 2*g**2 - 3*g - 26. Let n be m(-13). Is n less than 1873?
True
Let t be -1 - (-6 - 0/2). Let x(q) be the second derivative of q**5/20 + 5*q**4/6 + q**3 - 21*q**2/2 + 8*q. Let a be x(-9). Which is smaller: t or a?
t
Let x = 6 - 1. Suppose 0 = x*h - 2 - 3. Let r be 3/(-6) + 1/h. Which is smaller: r or -2?
-2
Suppose 4*g - 58 - 206 = 0. Suppose -7*f - 200 = g. Which is greater: -37 or f?
-37
Let m = 1.797 + -0.097. Let g = 5.2 + -7. Let z = m + g. Is 1.4 bigger than z?
True
Let n be (30/35)/(4/(-3)). Is n at most as big as 2/3?
True
Let l = -203/170 - -22/17. Is 4 at most as big as l?
False
Let t = -93 - -93. Are t and -74 equal?
False
Let s = -1434 - -1439. Is s >= 51/13?
True
Let t(w) = -w**3 + 5*w**2 - 3*w - 2. Let p be t(4). Suppose 7*d = p*d + 25. Suppose -d*u = -u - 16. Which is bigger: 3 or u?
u
Suppose 0 = -5*t + 3 + 2, -2*t = 3*f + 2239. Is f bigger than 1?
False
Suppose 5*z = 2*z - 24. Let k(u) = -u - 6. Let w be k(z). Is -7 greater than w?
False
Suppose 22 = 4*r + 14. Let f be (1/16)/(r*2/24). Suppose 2*q = -0*q. Which is bigger: q or f?
f
Let h = -1042/32775 - -4/1425. Let u(a) = a**2 - 1. Let q be u(-2). Suppose -q*k - 6*z + 25 = -z, -5*k - z + 5 = 0. Which is smaller: k or h?
h
Let r = 90.44 + -92. Let f = r + 0.36. Which is smaller: f or -0.1?
f
Let o = -18 - -26. Let t = 5 - o. Let y be (-2 - t)/(0 - -5). Is y smaller than 0.2?
False
Let h be (6/4)/(2/4). Suppose 0 = -7*s + h*s + 28. Let x be (4 - 14)*(-3 - (-25)/10). Which is smaller: s or x?
x
Let c = -0.02 - -0.72. Let z = -274.2 - -274. Let g = 1.8 - z. Do g and c have the same value?
False
Let z(x) = 7*x**3 + 68*x**2 - x - 8. Let c be z(-10). Does c = -200?
False
Let m be ((-84)/(-20) + -3)/(20/(-1550)). Is -94 at most m?
True
Suppose 3*g - 6 = -0*i + i, -g + 2 = 2*i. Let n be (-120)/(-16)*-2*20/12. Is i not equal