uppose 0*n + 4*n - 16 = 0. Let s = 31 + -15. Suppose -3*x - s = v - 6*v, -3*v = -4*x - 14. Which is greater: v or n?
n
Suppose -5*t + 42 - 107 = 0. Is t smaller than 1?
True
Let q = -47/14 + 11/14. Is q <= 0?
True
Let d(o) = o**2 - 3*o - 4. Let f be d(3). Let x(c) = -c**3 - 5*c**2 - 4*c - 1. Let v be x(f). Let l = 26 - 27. Is l at least as big as v?
True
Suppose -2*y = -5*w - 3, w + 19 = 6*y - y. Suppose 0 = 2*n + d - 9, 24 = 2*n - 4*d - 0*d. Is n at least y?
True
Let c = 0.4 - 0.2. Let l = -5/24 - 1/24. Is l at most as big as c?
True
Let n(r) be the second derivative of -r**4/12 - r**3/2 + 7*r**2/2 + 6*r. Let u be n(-5). Which is smaller: -0.1 or u?
u
Let y = -3.5 + -11.5. Is 1 less than or equal to y?
False
Suppose -10*m = -5*m. Let w = -70 - -628/9. Which is smaller: m or w?
w
Let c be 10/25 + 34/(-35). Which is bigger: c or -1?
c
Suppose 0*l - 5 = -2*z + 3*l, -5*z - 5*l = 0. Is -1/5 equal to z?
False
Suppose 0*l = l - 2. Let z be (-10)/6*(-2)/l. Which is smaller: z or 2?
z
Let l be ((-6)/4)/(12/16). Let r = -4 - l. Does r = -2?
True
Let w = -89/9 + 43/3. Are w and 5 unequal?
True
Let k(b) = -b**3 - 19*b**2 - 17*b + 11. Let c be k(-18). Is c != -1?
True
Let v be ((-3118)/36)/((-1)/2). Let d = v - 173. Let n(g) = -g**3 - 5*g**2 + 1. Let c be n(-5). Is d at most as big as c?
True
Let y = -94 + 110. Which is smaller: 17 or y?
y
Let t(m) = -2*m + 15. Let x be t(6). Suppose 0 = 2*k - 0*k - 10. Does x = k?
False
Suppose -2*z = 3*k - 0 - 4, -4*k - 3*z + 6 = 0. Suppose k = v + 1 - 3. Suppose 3*i + 15 = 5*f, -5 = -i + v*i - 2*f. Which is bigger: -3 or i?
-3
Let b be (-6 + 1)*(-6)/10. Suppose -l = b*c - 3, l - c = 3*l + 14. Which is smaller: l or -10?
-10
Let t = 200 + -1607/8. Which is greater: 0 or t?
0
Let z be 3 + 1*-4 + 7. Let w be (z/(-27))/(2/6). Which is greater: w or 0?
0
Let a = -18 - -16. Let n be 0/2 + (0 - 1). Let z = -2 + n. Which is smaller: z or a?
z
Let d = 0.4 + -0.5. Let p = -0.7 - d. Is -1 greater than or equal to p?
False
Let g = -0.16 + 0.16. Is g greater than or equal to -3?
True
Let s be 3/(45/6)*-5. Let o be 3/(-1 - 1*s). Which is smaller: o or 1/3?
1/3
Let k(y) = -y - 3. Let r be k(6). Is r not equal to -10?
True
Let o(m) = -m**2 + 5*m - 1. Let z be o(5). Let l = 4 + -5. Let r be -2 - 1 - (l + z). Which is greater: r or 1/4?
1/4
Let x be (14 - 13) + 4 + -1. Is 3 greater than or equal to x?
False
Let w = 1 - 4. Let h be (-2)/(-12) + w/(-36). Is h equal to 1?
False
Suppose -u - 4*u = 300. Let p be (-39)/u + (-3)/12. Does -3 = p?
False
Let n = 4/11 + -1/33. Suppose 4 = 5*x - 1. Let t = x - 0. Which is smaller: n or t?
n
Let j = 7 + -10. Let a(g) be the first derivative of -g**3/3 - 13*g**2/2 + 12*g - 2. Let f be a(-14). Is j at most as big as f?
True
Suppose 0 = -4*t + 4*o + 24, 2*t + 3*o - 1 = 1. Suppose -j + 8 = -4*m, -3*m + 0*j - 6 = -t*j. Let q = m - -5. Are 3 and q non-equal?
False
Suppose 3*z = -z + 4. Which is greater: z or -3/7?
z
Let s be (-5)/(-3) + (-4)/6. Let y be s/(((-4)/(-10))/2). Suppose t - 3*j = y*t - 6, -5*j + 10 = -t. Is 0 at most as big as t?
True
Let g be -1 - -12 - (2 - 1). Suppose -z + 1 = m, -3*z + z = -m + g. Which is smaller: z or -2?
z
Suppose f + 3*w - 6 = 34, 3*f + 4*w = 100. Suppose 0 = -u + 3*u - f. Let o be (-1)/u*-26 + -2. Which is greater: o or -0.1?
-0.1
Let h be 20/8*12/10. Suppose -2*g - 2 = 4*y - 16, -h = -y. Let i be (15 + -12)*(-2)/(-4). Is i > g?
True
Let s = 34 - 203/6. Does -1/2 = s?
False
Suppose 4 + 2 = g. Suppose -4*b = -g*b + 2. Let p = 3 - 6. Which is bigger: p or b?
b
Let j = -1 + 0. Let k(i) = -2*i + i - 17 + 6 + 0*i. Let g be k(-10). Is j equal to g?
True
Let v = -116/15 - -39/5. Let k = v - -11/60. Which is smaller: 0 or k?
0
Let s be (10/(-4))/(8/(-16)). Suppose 2*i + 2*r - 3 = 3*r, -2*i + 23 = -s*r. Is i >= -1?
True
Suppose -4*v - v = -n - 38, 3*v = 5*n + 36. Let s be 58/6 + 3/9. Let u = s - v. Is u at least as big as 3?
True
Let x be 37/7 + 2/(-7). Suppose 3 + 12 = x*i. Is 2 less than or equal to i?
True
Let h = -12 - -48. Which is bigger: 37 or h?
37
Let y = -1.4 - -1.06. Which is smaller: -2 or y?
-2
Let h = 268 + -2954/11. Which is smaller: h or 1?
h
Let i(u) be the first derivative of u**4/2 + u**2/2 - 5. Let w be i(-1). Is -3/2 > w?
True
Suppose -t = 4*t + 5, -4*t - 72 = -4*w. Let q be (-1 - -2)*w/1. Which is smaller: q or -2/3?
-2/3
Let d be 2359/(-56)*(-4)/14. Let m = 47/4 - d. Which is greater: m or -1/8?
-1/8
Let w = -2.5 + 2. Let q = -0.3 - w. Let n = 1.8 + q. Is n at most 0.2?
False
Let j = -4.41 + -0.69. Let x = 5 + j. Let o = 6 + -8. Are x and o non-equal?
True
Suppose 4*k + 19 - 51 = 0. Let a(v) = v**2 - 10*v + 11. Let f be a(k). Let g be ((-2)/(-25))/((-4)/f). Is g less than 1?
True
Let u = 21 + -19. Are -4/19 and u equal?
False
Let i = 13 + -12. Is i at most as big as -7?
False
Let q = -2.7 - -2.6. Is -2/5 less than q?
True
Let r be (-4)/14 - 3614/(-7). Let g be (-2)/(-3) + r/(-1034). Let i = g + 2/141. Is i bigger than -1/2?
True
Suppose 10*v - 8 + 18 = 0. Which is smaller: -1/48 or v?
v
Suppose -3*u - 4*o - 43 = 0, -4*u - 4*o - 23 - 29 = 0. Let w(n) = -n - 7. Let x be w(u). Which is smaller: -1 or x?
-1
Suppose -3*t + 0 = -3. Which is greater: t or 2/19?
t
Suppose 3*f + 41 - 23 = 0. Are 2 and f unequal?
True
Suppose -30 = k - 7. Which is smaller: -21 or k?
k
Let a be (2/(-4))/(2/(-96)). Suppose x + 3 = z + 4*x, a = 3*z + 4*x. Let c be z/(-10)*(-5)/2. Which is smaller: c or 2?
2
Let z = -5 - -6. Which is greater: z or 5/6?
z
Let r be (-2 - 1) + 238/84. Let x(u) = -u**3 - 6*u**2 - u - 6. Let w be x(-6). Which is smaller: w or r?
r
Suppose 2*g + 10 = 0, 2*g - 5 = -p + g. Let y(z) = z**2 - 10*z + 3. Let l be y(p). Suppose l*j - 10 = -2*j. Is 3 at least as big as j?
True
Suppose 0 + 2 = v. Let a be v/((-21)/(-9)*3). Suppose 2*k = -3*g + 4, 0*k + 2*k = 4. Is g bigger than a?
False
Let w be ((-1)/(-3))/1*-1. Let n be 4 + (-27)/(-3) + -1. Let s = n + -35/3. Is s bigger than w?
True
Let g = 1764/11 + -160. Which is bigger: g or 1?
1
Let n(u) = -u + 5. Let z be n(3). Let w = -15 - -27. Let x(a) = a - 11. Let j be x(w). Are z and j non-equal?
True
Let b = 4 + -6. Let l(f) = 2*f + 4*f + 3 - 4*f. Let q be l(b). Is -2/15 >= q?
True
Let h(a) = 4*a - 1. Let i be h(-1). Suppose 0 = -3*y + 2*v - 106, -3*y + 2*v = 6*v + 94. Let c = y + 29. Is i at least c?
True
Let h = 7 - 3. Let z(d) = -3*d - 3. Let y be z(-12). Suppose 5*a - y = 4*j, a + 4*j - 2 = -a. Does h = a?
False
Let a = -25 - -25. Is a at least as big as 3/8?
False
Let m = 752/7 - 108. Is 0 less than or equal to m?
False
Let k(p) be the first derivative of -p**3/3 - 7*p**2/2 - 8*p + 1. Let y be k(-6). Let s = 1 - 1. Does y = s?
False
Suppose 16 = -0*l + 2*l. Is l at most 6?
False
Let a be 5/(-15) + (-73)/(-30). Let j = 107/70 - a. Suppose 4*t + 16 = 2*o, 0*t + 16 = -2*o - 4*t. Is j at least as big as o?
False
Suppose -3*b - 4 = -16. Suppose -b*t - 21 = -t. Let s(u) = -3*u + 1. Let a be s(3). Is t bigger than a?
True
Let i = 2 + -2. Let d be 2/((-10)/(-5)) - 4. Let a be i*-2*d/6. Which is smaller: a or 1?
a
Let n(h) = -h - 7. Let i be n(-4). Let u be ((-1)/(-1))/(1/i). Which is bigger: -4 or u?
u
Let l be (1 - 3)/((-18)/(-8)). Is 0 greater than or equal to l?
True
Suppose 2*n - 11 = 4*n + 3*b, -3*n + b = 0. Let p be (-2)/3*3/(-2). Is p less than or equal to n?
False
Let r = -15 - -21. Let w be (-3)/(153/r) - 0. Which is greater: 0 or w?
0
Suppose 0*s - 2*s = -12. Suppose 2*b = s*b. Suppose 3*w + 3*p - 15 = 0, 4*w + 3*p - 15 = -b*w. Which is smaller: -2/7 or w?
-2/7
Let g be 1*(12/168 + (-2)/7). Which is bigger: 0 or g?
0
Let r = -2/37 + -52/407. Let o be (0 - -1) + (-3 - 1). Let y(h) = h**2 + 2*h - 3. Let k be y(o). Is k at least as big as r?
True
Let n = -92.1 - -92. Let l = -0.3 - -0.1. Do l and n have the same value?
False
Let g(d) = 4*d + 30. Let h be g(-10). Suppose 4*x = 47 + 13. Let n = x + h. Which is bigger: -1 or n?
n
Suppose -50 = -4*t - 5*y, 5*t + y = -2*y + 56. Suppose -2*r = 3*r + t. Let a be (-70)/52 + (-4)/26. Does a = r?
False
Let u be (-1 + -39)*(-2)/5. Let s = u - 49/3. Let o(k) = k - 7. Let p be o(6). Which is bigger: p or s?
s
Let m(x) = 2*x**2 + 3*x + 2. Let l(o) = -o**2 + 4*o + 3. Let c be l(5). Let y be m(c). Which is greater: y or 6?
6
Let s(g) be the third derivative of -g**6/120 - g**