5*l + 1 = 6. Which is smaller: l or 2?
l
Let r be (1/(-3))/((-1)/3). Let c be 3 - (-4)/(16/(-55)). Let i = c - -11. Which is smaller: i or r?
i
Suppose -2*t - 2*a - 24 = -6*a, 0 = 4*a + 4. Let z = t - -17. Is z bigger than 3?
False
Let d(o) = -o**2 - 3*o + 1. Let t be d(-3). Let p = 14 + t. Suppose -a + p = 2*a, 0 = -3*l - a + 8. Which is smaller: 1/6 or l?
1/6
Let y be (2 + -2)*(0 - 1). Suppose -4*f = 9 - 5. Let m = y - f. Is 0.4 at most as big as m?
True
Let d(i) = -28*i - 17. Let l be d(-4). Is 94 < l?
True
Let s(u) = 19*u + 5. Let h be s(5). Let y = -1597/16 + h. Let g = 23/48 + y. Is g != -2/5?
True
Let m be ((-4)/10)/((-18)/(-15)). Let u = 0.83 - 0.03. Is m greater than or equal to u?
False
Suppose 3*m = -5*w + 3, 3*w - 5*w + 2*m - 2 = 0. Suppose w = k + 1. Is k at least as big as -1?
True
Suppose 0 = -8*s + 21 + 19. Is -2 > s?
False
Let j be 1/(-2)*(-6)/(-33). Which is bigger: j or 1?
1
Let f be (-24)/10 + (-2)/(-5). Is -0.1 > f?
True
Let y(k) = -2*k + 10. Let j be y(8). Let d(m) = m + 6. Let w be d(j). Which is bigger: w or 2/7?
2/7
Let i = -8 + 25/3. Which is smaller: 1 or i?
i
Let a = -1/109 - -231/1417. Is a smaller than 1?
True
Let j be 46/(-110) - (-24)/40. Is j != -1?
True
Let w be (-136)/22 - (-6)/33. Is w at least -5?
False
Let o = -67/12 + 991/156. Which is smaller: 1 or o?
o
Let v be 52/(-14) - (-20)/(-70). Which is smaller: v or -6?
-6
Let y(u) = u**3 - 11*u**2 - 14*u + 25. Let j be y(12). Is 5 greater than j?
True
Let w(h) be the first derivative of -h**4/4 - 4*h**3/3 + 2*h**2 - 5*h + 4. Let a be w(-5). Let q be -1*4 + 0 + 1. Do a and q have the same value?
False
Suppose -76 = 2*f + 4*u, -3 = -f + 2*u - 29. Is -32 greater than or equal to f?
True
Let z = -23/2 + 11. Let f be ((-4)/2)/(5 + -3). Which is greater: f or z?
z
Suppose -5*u + 0*q + 37 = -q, 15 = 5*q. Suppose -4*h - u = 3*c - 5*c, 0 = -5*c + 5*h. Let i be (c/(-10))/((-1)/2). Which is greater: -1/4 or i?
-1/4
Let s = 6 + -6.1. Let m = 0 - s. Let t = m - 0.4. Which is smaller: t or -1/4?
t
Let y be 21/(-35) + 22/(-5). Is y greater than -3?
False
Suppose -5 = w + 2*f + 9, 0 = -5*w + 5*f - 25. Which is smaller: w or -4?
w
Let q = 1150634/167 - 6890. Let z = q - 4199/1002. Let k = z + 4. Which is smaller: k or 0?
k
Let h(a) = -17*a**3 + a**2 + 2*a + 1. Let i be h(-1). Let q = i + -33/2. Is 1 not equal to q?
True
Suppose 6*c - 8 - 4 = 0. Which is smaller: c or 12/11?
12/11
Let l = 23.1 + -20. Are l and 0.1 equal?
False
Let k = -30 - -29. Let a = 111 + -3223/29. Let u = 14/319 - a. Are u and k non-equal?
True
Let p = -1067/10 + 691/5. Let i = 32 - p. Which is smaller: i or -2?
-2
Let s(b) = -2*b - 33. Let y be s(-13). Is -9 less than or equal to y?
True
Let w = -36 - -109/3. Is w less than 1/3?
False
Let k = -0.2 - -0.1. Let a = -4 - -3. Let p = a + 2. Do k and p have different values?
True
Let n = 0.64 + 3.66. Let b = n - 4. Does b = 1/3?
False
Let h = 15.25 - 1.25. Is h at most -1/2?
False
Let p = -17 - -3. Let u = p + 20. Which is smaller: 7 or u?
u
Let b(o) = o**3 + 2*o - 4*o**2 + 1 - o - 6*o. Let f be b(5). Let h = -34/11 - -284/99. Which is smaller: f or h?
h
Let s be 2/(-11) + 13/11. Let y be (-4)/12*-3*s. Which is bigger: 0 or y?
y
Let c = -2 - 1. Suppose 4*d = -9 + 1. Is c greater than or equal to d?
False
Suppose 4*q - 4 = 0, 0*h - 1 = -3*h - 4*q. Let d be 31/(-11) - (-4 - h). Is 1 at most d?
False
Let q = -34.3 - -32. Let b = 0.4 + q. Let x = 2 + b. Is 0.1 less than x?
False
Suppose -41 = -3*z - 2*d, -2*z = -4*d + d - 23. Let a(b) = b - 12. Let y be a(z). Which is smaller: y or 0?
0
Suppose -2*u + 0 = 4. Is u less than -7/3?
False
Let m = 5/3 + -10/3. Suppose -y + 3*y + 2 = 0. Is m < y?
True
Let f = -225/13 + 2709/143. Is 2 > f?
True
Suppose -5*z + 21 + 4 = 0. Suppose s = -2*q + z, 17 = -s + 2*s - 4*q. Suppose -7 = 3*h + j - 39, 0 = 4*h + 4*j - 56. Is h smaller than s?
False
Let w = -16 + 17. Is w at most 2.6?
True
Suppose 5*k - 3*n + 4*n = 19, n = -3*k + 11. Suppose -k = o + d, -8 = -2*o + 2*d - 0. Which is bigger: 3/5 or o?
3/5
Let h = 6.96 - -0.04. Which is bigger: h or -1?
h
Let i = -1 + 4. Suppose -i*x = -0*x + 12. Which is bigger: -3 or x?
-3
Let b = -2/409 - 804/2863. Let j = 0 + -0.3. Do j and b have the same value?
False
Let d = -86469 + 1124850/13. Let r = d - 58. Which is greater: r or -1?
r
Let b(y) = -4*y + 34. Let o be b(9). Let s(t) = 2*t + 6. Let m be s(-4). Is m greater than o?
False
Let p = -3 - -8. Suppose -p*z = -r, -z = 3*z + 5*r + 29. Which is smaller: -2/27 or z?
z
Let g be (-1 - 1)*(-2)/(-7). Suppose 2*j - 4*j - 13 = -r, -5*r + 20 = 5*j. Suppose 3 = 2*m + r. Is g not equal to m?
True
Let y = 16 + -9. Let l = -9 + y. Which is smaller: -0.3 or l?
l
Let a(x) = x**3 + 10*x**2 - 12*x - 8. Let t be a(-11). Let g be -1 + 1 + t/21. Which is smaller: g or 1?
g
Suppose 0 = -0*q - 2*q. Suppose q*h + 2 = -h. Let r be (-10)/24 + 3/(-12). Is r < h?
False
Let q = 98 - 86. Let o(a) = a + 7. Let f be o(6). Does f = q?
False
Let i(n) = -n**3 - n**2 + 1. Let u be i(1). Let t be (0 + -2)/(3 - u). Is t bigger than -0.1?
False
Let b(t) = -t**3 + 7*t**2 - 3*t - 5. Let i be b(4). Is i greater than 31?
False
Let d = -3/193 - -2349/2123. Which is smaller: d or 3?
d
Let z be (2 - 4/(-1))*2. Suppose 0*p = -p - z. Let r be (-2)/8 + 21/p. Which is smaller: r or -1?
r
Let h(w) be the first derivative of w**2/2 + 3*w - 1. Suppose -j + 3*z + 4 = 0, -3*z - 34 = 5*j - 0*z. Let c be h(j). Which is smaller: -3 or c?
-3
Let a(o) = 2*o + 4. Let c be a(7). Which is greater: c or 2?
c
Let i = -594 - -282. Let v = 4651862/11 + -422584. Let m = i + v. Which is smaller: 0 or m?
0
Let g(t) = t**2 + 9*t + 10. Let k be g(-7). Let x be 0 - (k + 3/(-1)). Let p = x - 5. Which is smaller: -1/3 or p?
-1/3
Let x be (6/21)/((-3)/9*3). Which is smaller: -1 or x?
-1
Let l = -1 + 1.1. Let s = l - 0. Are s and 0 nonequal?
True
Let f(r) = r - 13. Let n be f(17). Let p be (-3)/(6/4) + n. Which is smaller: 5 or p?
p
Suppose 5*w - 25 = -0*w. Let m be 2 - (-4 + 2 + -1). Is m < w?
False
Let b be 1*-1*28/(-8). Is b greater than 4?
False
Let q be ((-6)/(-4))/(3/4). Let l be (q/(-10))/(4/5). Which is greater: -0.11 or l?
-0.11
Let h = -6 - -6. Let d = 7.6 - 0.6. Let g = -5 + d. Is g bigger than h?
True
Suppose -2*a = -7*a. Is a greater than or equal to -6/7?
True
Let g = 1 - -0.4. Let n = g - 0.4. Which is greater: n or -0.3?
n
Let l(a) = a**2 + 6*a + 3. Let v be l(-5). Is v > 0?
False
Suppose -3*x - 4*z = -68, -3*x + 84 + 20 = -5*z. Suppose 4*m = 4*u - 0*m + x, 4*u - 5*m = -29. Is -6 greater than u?
False
Let a = -20.4 + 20. Which is greater: -1/4 or a?
-1/4
Suppose -5*n = -10, -2*v + 5*n - 12 = -4. Let o be -3 - -9 - v - 2. Is o greater than 3?
False
Let l = 251/10 - 59/2. Which is greater: l or -4?
-4
Let z be (1 + 15/(-6))*-2. Suppose 9 = z*s - 0. Suppose s*u = -u. Is -1 < u?
True
Let t(f) = f**2 + 8*f + 7. Let c be t(-7). Suppose -k - k = c. Is k greater than or equal to -6?
True
Let h = -1.5 - -1.4. Which is bigger: h or 0.7?
0.7
Let z = 6474/25 + -259. Suppose x + 2*d + 10 = 0, 2*d = -8 - 2. Is z at least x?
False
Suppose -2*s - 3*s + 5*b = -20, 4*s = 5*b + 20. Suppose 3*h = -s*h - 3. Do 1 and h have different values?
True
Let o = 6.4 + -33.4. Does o = -0.1?
False
Let l(q) = -q**2 + 4*q + 6. Let r be l(5). Let m be 5/2 + (-8)/16. Which is smaller: m or r?
r
Let k be (-2 - -1)/(1/(-2)). Let b(m) = -m**3 - 4*m**2 - 5*m - 3. Let s be b(-3). Suppose l + 5*i = 4*l, i = s*l. Is k less than l?
False
Let f(x) = x + 8. Let z be f(-8). Let b(c) = -2*c + 20. Let m be b(z). Which is bigger: m or 21?
21
Let a = 1 + -0.8. Is 1/3 at least a?
True
Suppose 9 = a + 2*a. Let o = 6 - 8. Let g be (1 - 1 - o) + 0. Which is smaller: a or g?
g
Suppose -m - 1 = -0*a + 2*a, -5*a = m + 4. Suppose 3*w + k = 25, -w = 3*w + 3*k - 35. Is w less than or equal to m?
False
Let t be (-11)/3 - -2 - (-8)/(-6). Is 0.04 <= t?
False
Let v(o) = -25*o - 1. Let g be v(2). Let u = g - -73. Let q be 4/u - 18/(-264). Which is smaller: q or -4?
-4
Let w be (-3 + 3)/(1 - 0). Suppose w*m + 2 = -m. Which is smaller: m or 2/5?
m
Let j = -2 - -6. Suppose -t + 3*t - j = 0. Suppose t*r = -r. Which is smaller: r or -2/3?
-2/3
Let t = 6 + -8. Let u = 0 - t. Do u and 2 have the same value?
True
Let h be 3/(-2)*(-4)/2. Let y(n) = -n**2 - 4*n - 2. L