*l + 1. Which is smaller: 5 or c?
5
Let w(b) = -b**2 - 4*b + 1. Let c be w(-4). Let y = -23 + 30. Let g = y + -6.7. Which is greater: g or c?
c
Let w = 82 - 1. Let y be (-407)/(-2)*(-2)/(-5). Let h = w - y. Is 1 smaller than h?
False
Let l = 32/3 + -230/21. Let r(v) be the first derivative of -v**3/3 + v**2/2 + 2*v + 2. Let y be r(2). Which is smaller: l or y?
l
Let w = -14 + 27. Suppose -5*f = 10, 2*f + w = 5*b - 26. Let v be 62/10 - (-2)/(-10). Which is smaller: b or v?
v
Let t = 0.03 - -0.27. Suppose -4*l + 12 = 2*i, i + 0*i = 0. Let w be (-8)/6*l/(-2). Which is greater: w or t?
w
Let p = 1009/364 + -2/91. Is 2 >= p?
False
Suppose -4*h - v = 4, 6*h - 5*v = h + 20. Suppose h*a + 12 = 4*a. Suppose a*g + 4 = -2. Is -2 < g?
False
Let m = 0.01 + 0.09. Let x = m - -0.9. Is x greater than or equal to -2/23?
True
Let h = -5 + 3. Let q be (h/(-4))/(5/(-10)). Is q greater than -0.01?
False
Suppose -w - 2*g - 5 = 0, -2*g = -0*g + 6. Which is bigger: w or 1/11?
w
Suppose 3*p + 7 = -4*l, -3*p - 2*l - 22 = -l. Which is greater: -10 or p?
p
Let l be (-9 - -8)/((-1)/(-21)). Does l = -21?
True
Let y = -443 - -303. Let l be (3 - -2)*(-8)/y. Which is bigger: -0.2 or l?
l
Let g(q) be the first derivative of q**2 + 2*q - 7. Let w be g(0). Which is smaller: 3 or w?
w
Let d = 7 + 0. Let v = -3 + d. Which is smaller: v or 3?
3
Let m(u) = -u**2 - 7*u + 5. Let q be m(-7). Suppose 4*z - 1 = -q. Let g be 1/7*1/1. Which is bigger: z or g?
g
Let g(y) = -8*y + 5. Let b be g(1). Is b equal to -4?
False
Suppose 3*c - 5*x = 0, -5*c = x + 16 - 44. Let a(v) = v**3 + 11*v**2 + 12*v + 25. Let d be a(-10). Suppose -c*r = 4*l, l + d*r = 5*l + 40. Is -6 < l?
True
Suppose 0 = -3*n + 1600 + 668. Suppose -7*y - n = -10*y. Let g = 2517/10 - y. Which is smaller: 0 or g?
g
Let u = -4 - -1. Let v = u + 2. Which is bigger: -2/7 or v?
-2/7
Let f = -150 + 77. Let s = f - -801/11. Is s > -1?
True
Let l = -14.9 + 17. Let w = -0.1 + l. Is w != -1?
True
Let z = 4 + 0. Let n be -4 + z + (-2)/(-5). Which is smaller: n or 0?
0
Let n(s) be the third derivative of s**5/60 - s**3/3 + 3*s**2. Let a be n(2). Let j be 2*(-1)/(-2) - a. Which is greater: -2/11 or j?
-2/11
Let b = 34 - 23. Is b less than 12?
True
Let w be (9*(-2)/(-60))/(-1). Which is smaller: w or 0?
w
Let s = 12323/28 + -440. Which is bigger: s or 1?
1
Let l = 23/114 + -7/19. Is l greater than 1?
False
Let l = -336105 + 98142429/292. Let g = l - -3/73. Let m = -10 + 8. Are g and m equal?
False
Suppose 0*h + 6 = 3*p + 2*h, -4*h - 4 = -2*p. Suppose 4*k = p*g + 14, -5*g + 9*k - 4*k - 35 = 0. Which is smaller: g or -8?
-8
Let k(d) = -d**2 - d + 5. Let l be k(-3). Which is bigger: -7/6 or l?
l
Let h be ((-2)/3)/((-4)/6). Let p = -55 + 386/7. Are h and p nonequal?
True
Let s = 3613396382887/12987 + -278231800. Let f = 5/481 - s. Let p = f + -109/459. Is p not equal to -1?
True
Let y = 0 + 2. Which is bigger: 0 or y?
y
Let f = -12 + 16. Is f != 4?
False
Suppose 11 + 9 = -2*c. Let i be (-75)/7 - 2/7. Which is smaller: c or i?
i
Let k = -40114747997/1469 + 27307522. Let p = 1/113 - k. Let v = -14/13 - p. Which is bigger: 1 or v?
1
Let o be 6/(-12) + 102/(-4). Are -26 and o equal?
True
Let u(p) be the third derivative of -p**5/60 - 11*p**4/24 + p**3 + 2*p**2. Let i be u(-12). Is -5 not equal to i?
True
Let m = 56.1 + -56. Which is smaller: -16 or m?
-16
Let o(d) = -2*d**2 - 11*d - 8. Let t be o(-6). Which is greater: t or -15?
t
Let z(i) = i**3 - 2*i**2 - 4*i + 4. Let d be z(3). Let l = -11/1084 - 1224073/83468. Let y = l - -174/11. Is d bigger than y?
False
Let b = -0.2 - 0.8. Which is smaller: b or 9?
b
Let a = -1.57 - -1.5. Let d = a + 1.07. Let h = 2.9 - 3. Is d >= h?
True
Let m = -0.051 + 0.051. Let k = 9.86 + 0.14. Which is smaller: m or k?
m
Let v(i) = 2*i**3 - 4*i**2 + i - 7. Let w(p) = -p**3 + 4*p**2 - 2*p + 6. Let r(k) = 2*v(k) + 3*w(k). Let q be r(-5). Let l = 637/8 + -80. Are q and l unequal?
True
Let r = -8 + 13. Let a = -19 - -17. Let w = r + a. Do 0.1 and w have the same value?
False
Let x = -1 - 0. Let r be 0 + 2*(-6)/(-28). Which is bigger: x or r?
r
Suppose 3*v = 9*k - 4*k - 44, -5*v = -5*k + 40. Let q = -17 + k. Which is greater: -6 or q?
-6
Let b be (-2)/(-4)*(-2 - 0). Let k be 8/2*(-2 - b). Which is greater: -3 or k?
-3
Let h = 0.1 - 0.2. Suppose -5*d = -3*d + 2*s - 12, 2*s = 4*d. Let j be 2 - d/((-4)/(-2)). Which is smaller: h or j?
h
Suppose n + 7 = 4*f, -17 = 2*n + 5*f + 62. Which is bigger: -29 or n?
n
Let k = -209 + 1883/9. Let f = -77/18 - k. Which is bigger: -4 or f?
-4
Let r = -1 + 0. Let h be ((-4)/12)/((-2)/(-6)). Let z = h - r. Which is greater: 2/13 or z?
2/13
Let h be 2/6 + (-151)/435. Is -1 at least h?
False
Let o = 40478/7 - 5668. Suppose 3*s = -294 - 51. Let r = o + s. Which is greater: 0 or r?
0
Let u be (0 + 1)/((-3)/9). Let p be 6/u + 1 + 1. Let z = -323/4 + 80. Which is bigger: z or p?
p
Let f(c) be the first derivative of 1/3*c**3 - 4*c - 2*c**2 + 3. Let i be f(5). Is i not equal to 0?
True
Suppose -2 = 5*u + 13, -b - 3*u = 12. Let n(x) = x**2 + 4*x + 2. Let p be n(b). Let y be 2/6 + 2/(-12). Are p and y unequal?
True
Suppose 0*o + o - 19 = 5*z, 5*o + z - 17 = 0. Suppose m = -m - o. Is m > -3?
True
Suppose 0 = 5*s - 8*s. Let g be 5/(-90) + 2/4. Which is smaller: g or s?
s
Let g = 0 - -1. Let y = -20 + 20.1. Are y and g equal?
False
Suppose -4*k - 17 = -109. Let l = -12 + k. Is l at least as big as 11?
True
Let z = 51/7 - 925/126. Let a be ((-11)/(-2))/((-108)/(-6)). Let x = a + z. Is -2/9 at most as big as x?
True
Let g = -6.264 - -0.064. Let u = g - -6. Which is smaller: u or -3?
-3
Let g(n) = n**2 - 6*n - 10. Let l be g(7). Let s = 4 + -1. Let u(o) = o**3 - 3*o**2 - 1. Let b be u(s). Which is smaller: l or b?
l
Let k be (2/4)/(4 - 44/8). Do k and 1 have the same value?
False
Let l(c) = c**2 - 3*c + 1. Let k be l(1). Is 2/47 at least k?
True
Suppose 0 = q - 4*q, -a - 1 = 3*q. Let p(w) be the second derivative of -w**4/6 - w**3/3 - w**2/2 - 7*w. Let z be p(a). Is -1 at most z?
True
Let x(b) = -b**3 + 9*b**2 - 9*b + 7. Let z be x(8). Which is smaller: -2/15 or z?
z
Let d(r) = -r**2 - 2*r - 3. Let t be d(3). Let w be (-2)/(-9) + 4/t. Let n = -88 - -353/4. Which is smaller: w or n?
w
Let g be 2/2*5/(-15). Let i = -2.7 + 0.7. Is i < g?
True
Let n be (-4)/(-2) + -2 + -4. Suppose 0 = 5*o + 5*w - 30, 0 = w - 0*w. Let a = o + -10. Is n less than or equal to a?
True
Suppose 0 = 3*j + 4*m + 20, -j - 5*m - 25 = -0*j. Let n = 2036 + -56961/28. Let h = n - 5/4. Which is bigger: j or h?
h
Let z be (-6)/(-40) + 1/4. Let m = -41 + 43. Which is smaller: m or z?
z
Let n = -1/26 - -87/910. Let w be 0/(2 + -3) + -1. Which is smaller: n or w?
w
Let g = -84 + 101. Is g greater than or equal to 2?
True
Let o(a) = -a**3 + 10*a**2 - 10*a - 34. Let x be o(8). Suppose z + 3*g - 2 = 4, -2*z - g + 27 = 0. Which is bigger: z or x?
z
Let i = 3 - 4. Let o = -2303/10 + 230. Which is smaller: i or o?
i
Let r = 151/193 - 35297/23160. Let i be 795/5400 - 1/18*4. Let z = i - r. Is 1/4 >= z?
False
Suppose 4*q - 11 = 3*q. Is q at least 11?
True
Let m = 16804/7 - 2396. Are m and 4 unequal?
True
Let s = -15 - -29. Let r be (2/s)/(-4 - -3). Which is smaller: r or 1?
r
Let t = 23.1 - 23. Let a = 2.9 + 0.1. Let c = a + -3. Which is smaller: t or c?
c
Let p = 5 + -11. Let l = -1 - 35. Let n be (-7)/p - (-6)/l. Which is bigger: 2 or n?
2
Suppose 30 = f - 29. Do 59 and f have different values?
False
Let m = 542177/34 - 15952. Let a = m + 11/2. Let d(i) = i**2 - 4*i + 3. Let n be d(3). Which is smaller: n or a?
a
Let u = -0.2 + 0.5. Let p = 4.1 + -4. Let d = p + -0.2. Is d != u?
True
Let o be 3 - ((2 - 0) + -3). Suppose 0 = 3*d - 2 - o. Suppose -2*a = -3*j + 6, -5*j + d*j - 2*a + 6 = 0. Is j greater than 1?
True
Let t be (3/(-2))/(2/24). Let g be 1/2 + t/(-4). Suppose -g*m = -0*p - 4*p + 11, 0 = -4*m + p. Is m > -5?
True
Let t = -2353/35 - -324/5. Which is smaller: -2 or t?
t
Suppose -54 = -5*p + 2*y - 3, 2*p = 5*y + 33. Let r(l) = l + 11. Let m be r(p). Suppose -4*u + 25 = 5*o + u, 5*o = 4*u - m. Which is greater: 2/7 or o?
2/7
Let u = 10 + -14. Let x = 6 + u. Let i = -391/20 + 75/4. Is i equal to x?
False
Let r be (1 - (-51)/33) + (0 - 2). Which is smaller: r or 0.07?
0.07
Suppose -2*q - 5*i - 11 = -q, 2*i + 6 = -2*q. Which is greater: 5 or q?
5
