ose 2*n = b + 33, 0 = 5*b - 3*n - n + 171. Let g be 7/b*-6*1. Which is smaller: 1 or g?
1
Suppose 3 + 0 = 3*o, 10 = -5*d + 5*o. Let w be 2/4*-3 + 10/(-60). Is w less than or equal to d?
True
Let r be (6/9)/2*-2. Suppose 0 = 2*k - 2*z - 28, -k - 5*z = 4*k - 20. Suppose k*t = 4*t. Is r <= t?
True
Let r = -69 - -49. Let l = -20 - r. Suppose -4*m + f = 2, 2*m - 11 = 5*f - 3. Is l <= m?
False
Let k = 64 + -69. Which is smaller: k or -4?
k
Suppose 3*w - 2*w = 5. Suppose -5*f = -5*g - 5, -2*f + 10*g = 5*g + 7. Suppose -2*q - 4*r - 14 = 0, -w*q + f*r = -7 - 14. Which is smaller: 2 or q?
q
Suppose -5*f = -2 + 7. Is -10/9 < f?
True
Let d = 44 - 37. Let a(w) = w**2 + 2. Let k be a(2). Which is smaller: k or d?
k
Let v(r) = r**3 - r**2 + r - 1. Let k(p) = 5*p**2 + p - 1. Let b(s) = k(s) + v(s). Let n be b(-2). Suppose -n + 14 = 3*f. Is f not equal to 0.1?
True
Let g = -104 + 507/5. Is g at most -3?
False
Suppose -s - 2*z = -2*s - 3, 40 = 5*s + z. Suppose w + s = 8. Is w bigger than -3/10?
True
Let l be (-6)/(-9) + 40/3. Suppose 5*f - 21 = -1. Suppose 0 = 4*o + 4*i + 8, -5*o + 5*i + l = f. Is -1 at least o?
False
Let f(p) = -p - 4. Let g be f(-7). Suppose -2 - 4 = g*z. Let o be (-1 - -2)/(1/z). Is o at least as big as -3?
True
Suppose 0 - 22 = 2*l. Let h = l + -3. Let y be (3 - h/(-4))*0. Is -3 > y?
False
Suppose -2 = -l - q, -2 = 3*l - 2*q + 2. Is l < -15/14?
False
Let v = -9 + 7. Let b be (-27)/(-21) - 4/14. Let o be v/(0 + 2) - b. Is -2 equal to o?
True
Let a = -96.7 + 97. Is 8/3 != a?
True
Suppose -6 - 2 = 2*g, 2*g - 7 = 3*t. Which is greater: t or -6?
t
Let a(h) = 2*h - 5. Let w be a(6). Are w and 7 equal?
True
Let s be (42/35)/((-14)/100). Let q = s + 367/42. Which is greater: q or -1?
q
Suppose -12*y = -7*y. Which is greater: y or -1?
y
Suppose 6*g = 2*g - 28. Let p = -34 - -26. Let r = p - g. Which is bigger: r or 0?
0
Let v(m) = m**3 + 9*m**2 - 4. Let d be v(-9). Let b be 6/(-3) - d/2. Suppose b = -g + 3*g + 5*x - 2, -2*x = 0. Is g smaller than -0.2?
False
Let k = 0.23 + -1.64. Let l = -0.19 + k. Let a = l + -0.4. Which is smaller: -1 or a?
a
Let x = 5 - 2. Let v = x + -3. Is v at most as big as -5?
False
Let b = 217/4 + -55. Let v be (2/6)/(2/(-42)). Let l = 6 + v. Which is smaller: l or b?
l
Suppose -4*x - 10 + 2 = 0. Let r(h) = -3*h - 35. Let b be r(-11). Is x smaller than b?
False
Suppose 2*c - 4 - 2 = 0. Suppose -3*l + 3*t = c, 4*l = -2*t + 4*t + 6. Suppose -2*o = -k + 9, 8 = 2*k - 0*k + o. Which is bigger: l or k?
k
Let f be 1*(3 + -1 - 3). Is -1 equal to f?
True
Let k(a) = -a. Let o be k(-4). Suppose 4*x + 4*b - 2*b - 10 = 0, -o*x = -4*b + 8. Is 0 at most x?
True
Let h = -192 - -120. Is h less than -72?
False
Suppose 0 = -8*o + 5*o + 3. Let d(p) = p + 12. Let l be d(-8). Suppose l*f - 6 = -2. Is f smaller than o?
False
Let r(l) = -l - 2. Let o be r(-1). Which is smaller: o or 0?
o
Let y(s) = 12*s + 5. Let l be y(-5). Is l less than or equal to -54?
True
Suppose m + m = -2*l - 6, l + 19 = -5*m. Let g be ((-3)/(-18))/(l/6). Which is smaller: g or 11/6?
g
Let m = 2/151 - 163/906. Let z be 0 - (-2 + 5/3). Let b = m - z. Is 1/2 bigger than b?
True
Let j(a) = -a**3 + 15*a**2 - 14*a - 1. Let n be j(14). Which is smaller: -1/7 or n?
n
Suppose 3*s - 24 = -s. Let k be (8/(-14))/(s/28). Suppose 20 = -34*c + 24*c. Which is greater: k or c?
c
Suppose 6*k - 3*k = 12. Suppose 12 = -5*s - q, -5*q = -s - k*q. Let z(x) = -x**3 - 5*x**2 + 6*x - 1. Let c be z(-6). Is s not equal to c?
True
Suppose 3*q - 37 = -5*v, -5*q = -2*q + 3*v - 33. Let c = -8 + q. Let s = -2 - -3. Is s bigger than c?
False
Let m = -165 - -295. Suppose 2*j = -3*j - m. Let y be (-4)/16 - j/8. Is 2 greater than y?
False
Let x = -36741/110 - -334. Which is greater: x or 0?
0
Let m be (-1)/(-2)*(-1)/(-4). Let q = -3 - -4. Which is greater: q or m?
q
Let t = -3 - -9. Let l be 1/t*3/(-2). Which is smaller: l or -0.1?
l
Suppose -u = -4*q + 8 - 23, -4*u - 5*q = 3. Suppose u*b = 2*v - 2, -b = 2*b. Which is smaller: 2 or v?
v
Suppose -3*g = -2*g. Suppose -3*n = -g*n. Is n < 2/7?
True
Let m = 7.8 + -7.8. Let s = -0.3 - -0.6. Let l = 0.2 - s. Which is greater: l or m?
m
Let r(l) be the second derivative of l**4/12 - l**3/2 - 7*l**2/2 + 2*l. Let x be r(5). Is x greater than 4?
False
Let o be 8/48 - (-74)/(-12). Let l be ((-4)/o)/((-3)/18). Is l >= -4?
True
Let n(x) = x**3 + 4*x**2 - 8*x - 5. Let i be n(-5). Suppose 0 = 5*q + i, -k + 3*k + 10 = 2*q. Which is greater: k or -6?
-6
Let x(o) = -4*o + 2*o - 2 - o + o**3. Let r be x(-2). Let b be 3 + 0 + 1*r. Is -9/5 < b?
True
Suppose 4*u - 7*u + 12 = 0. Are u and 2 non-equal?
True
Suppose 4*j - j - 30 = 0. Let m be j/12 + 1/(-2). Is 1 less than or equal to m?
False
Let v = -5 - -8. Let i = 5 - 5. Is i greater than v?
False
Let o(h) = 10*h - 142. Let a be o(14). Suppose 3*n + i = -7, -6 = 3*n - 2*n + 4*i. Is a < n?
False
Let n(y) = y**3 + 2*y**2 - 3*y. Let h be n(-3). Suppose h = -a + 3*x - x + 1, 2*a = -5*x + 11. Suppose a = 2*g - k, -3*g + k + 1 = -6. Are g and 3 unequal?
True
Let x = 19.89 + -20. Let m = 5.89 - x. Let w = -5 + m. Is w > -1?
True
Let k = -1.85 - -1.8. Let s = 5.05 + k. Which is bigger: 1/4 or s?
s
Let d(k) = -3*k + 2. Let y be d(2). Let b be ((-2)/y)/((-146)/8). Which is smaller: 1 or b?
b
Let d be -3 + -2 + 2 + 2. Let n be d + -1 - 1/(-1). Which is bigger: n or 1/8?
1/8
Let p = 1 + -2. Let d = -1549480/63 + 24596. Let h = d - 6/7. Does p = h?
False
Let m(j) = j**2 - 10*j + 19. Let y be m(7). Are y and 2 unequal?
True
Let f(y) = 2*y + 5. Let p be f(-3). Which is bigger: 7/16 or p?
7/16
Let o(y) = -y**3 + 10*y**2 - y + 10. Let j be o(10). Let g be (-2)/(-4)*1*4. Suppose -6 = -4*q - g. Is j less than q?
True
Let o = 10.05 + -0.05. Let w = 11 - o. Which is smaller: w or -1?
-1
Let i(j) = -2 + 2*j + j - 3. Let x be i(5). Is x smaller than 10?
False
Suppose -16 = y + 4*b, -b = 5*y - 2*b - 4. Which is bigger: 5 or y?
5
Let o(r) = -r**2 + 4*r + 3. Let x be o(4). Suppose -x*c - 2 = -c. Is c greater than or equal to 1/5?
False
Suppose 3*q + 13 - 58 = 0. Which is bigger: q or 16?
16
Let y(x) = 3*x. Let i be y(-2). Let f = -0.8 + -16.1. Let m = -17 - f. Do i and m have different values?
True
Let z = -4/15 - -3/5. Let h = 21.9 - 10.9. Is z smaller than h?
True
Suppose 0 = 5*n - 5*l + 10, 2*l - 3*l = 0. Let w be ((-2)/n - -2) + -2. Let u be (5 - (3 + -1))/w. Which is smaller: u or 1?
1
Let z = 11 + -11. Which is bigger: -1 or z?
z
Let w = -150 - -2246/15. Is 0 less than or equal to w?
False
Let w be 5/(-3)*(-1 - (-12)/9). Which is smaller: w or -1?
-1
Let m be 1*-3*(-4)/(-174). Is m at most 1?
True
Let g be ((-15)/20)/((-153)/8). Is -1 bigger than g?
False
Let t be 7 - 4/(0 - -2). Let q = t - 6. Let p be ((-3)/(-6)*-1)/q. Do p and -0.4 have different values?
True
Let u be (-29)/(-35) + (-2 - -1). Let y = 4/7 + u. Which is smaller: 0 or y?
0
Let b be -1*(-1 - 8/(-10)). Suppose 6 = 3*y - 0*y. Let k = y + -3. Which is bigger: k or b?
b
Let x = -32 - -32.21. Let h = x + -0.01. Let m = 1.2 - 0.2. Which is smaller: m or h?
h
Let m be (-6)/1*(-2)/(-2). Let o = 5 + m. Which is bigger: o or -1/3?
-1/3
Let t = 2.8 - 2.63. Let y = 0.13 + t. Is -4 <= y?
True
Let m = 5.98 + 0.02. Let p be 4/(-6)*1/2. Is p != m?
True
Let f be (-164)/104 - (3 - 5). Let o = f + -12/13. Do -0.06 and o have different values?
True
Suppose 0 = -4*a + 96 + 84. Suppose 4*h + 34 = 5*q, h - 1 = -3*q + 33. Let t be (-2)/(-9) - q/a. Is 0 at least as big as t?
True
Let u = 1/115 + -14/23. Suppose 20 = -5*z - 5*z. Is u greater than z?
True
Let a(k) = -k + 33. Let r be a(-11). Which is greater: 45 or r?
45
Let h be (169420/12)/((-4)/3). Let d = -10487 - h. Let f = d - 101. Which is smaller: f or 0?
0
Let t(l) = -9*l - 99. Let f be t(-11). Let g = -5/11 + 43/143. Which is smaller: f or g?
g
Let j be 12/5 - 4/10. Suppose -2*i - 3*t - 71 = 0, -4*i - 224 = t - 67. Let p be (-14)/i - (-6)/(-10). Is j less than or equal to p?
False
Let r = -15.6 + -1.4. Let s = -37 - -12. Let w = r - s. Is -0.1 >= w?
False
Suppose -17 = -d + 4*x + 4, -5*d + x + 29 = 0. Which is greater: 8 or d?
8
Let s(g) = g**2 + 9*g - 11. Let i be s(-11). Let u(m) = m**2 - 12*m + 12. Let z be u(i). Which is greater: z or 1/4?
z
Suppose -5*o = -p + 5, 4*o - 1 + 5 = -2*p. Which is smaller: -3/82 or o?
o
Let k be ((-93)/(-18))/((-30