). Let k = n + -8. Which is smaller: -3/5 or k?
k
Suppose -1 + 17 = 4*q. Suppose 4*z = -4*b, 0 = 3*b + b - 3*z - 28. Is b > q?
False
Suppose -5*y + 280 = 15. Is y at least 54?
False
Let u = 15 + -15.1. Is -7 at least as big as u?
False
Suppose 4*n + 0*n = 4. Which is greater: 2 or n?
2
Let o be (-2)/(-1)*(2 - 1). Suppose g + 8 = -3*u, o*g + 3 + 5 = -4*u. Is u at least 1?
False
Let f = -28/75 - -1/3. Is f equal to 0?
False
Let p = 1.38 + -0.38. Let r = 2.04 + -2. Is r less than p?
True
Suppose 0 = 2*s - 1 - 3. Suppose -s*y + 6 = -0*y. Let b(k) = k**3 + 3*k**2 + 2*k + 2. Let t be b(-2). Is t != y?
True
Let u = -4.1 + 9.1. Let d = 0.03 - 5.03. Let j = d + u. Are j and 1/2 non-equal?
True
Let g = -4 - 0. Is -4 less than or equal to g?
True
Let l(a) = -a**3 + 7*a**2 + 9*a - 5. Let m be l(8). Let u be 5 + (5 - m) + -1. Is 6 < u?
False
Let g(k) = -k**2 + 2. Let n be g(-2). Is n > -1/2?
False
Suppose 0 = -2*m + 3*a + 7, 0 + 3 = m - 2*a. Let k(z) = -z**3 + 4*z**2 + 5*z + 2. Let b be k(m). Let s = 4 - 2. Is b at most as big as s?
True
Let h = 7 - 9. Which is smaller: 1 or h?
h
Let t(l) = -31*l - 1. Let d be t(-1). Suppose -2*g = -7*g - 5*i - d, -2*g - 14 = 3*i. Which is bigger: g or -1/3?
-1/3
Let u = 0.9 - -0.1. Let k = 703/10736 - 2/671. Are u and k non-equal?
True
Let i(c) = c**3 + 4*c**2 - c - 1. Let y be i(-4). Let v = 10 - 1. Let l be y/2*5/v. Which is smaller: l or 0?
0
Let r be 2/(-5) - (-16)/40. Do r and -6/11 have the same value?
False
Let b = 1 - 4. Let k be -3 + (b + -7)/(-1). Suppose 0 = -k*v + 2*v. Which is bigger: 2/3 or v?
2/3
Let z(g) = g**3 + g**2 - 2*g. Let l be z(-2). Which is greater: 5/4 or l?
5/4
Let u = -123.96 - -124. Which is bigger: 0.16 or u?
0.16
Suppose -2*q + 2*d = -4, -2*q + 9 = 2*d + d. Let i = 7 - q. Suppose 0*x + i*x - 8 = 5*r, -3*x + 6 = r. Which is smaller: 1 or x?
1
Let a = 3 + -13/5. Which is smaller: a or 1?
a
Let q(i) = -i**3 + 10*i**2 + 11*i - 8. Let g be q(11). Let s be 1/(-4) + (-58)/g. Do s and 6 have the same value?
False
Let x = 12 - 19. Which is smaller: x or -52/9?
x
Let w = -5 + 7. Let o be -1 + (w - (-48)/(-50)). Which is smaller: -1 or o?
-1
Suppose 0 = 5*x - 4*u - 7, 3*x + 4*u - 3 = 6*u. Does -2/69 = x?
False
Let w = 0 - 0.1. Let g = 4 - 2. Let t = 2 - g. Does w = t?
False
Let c be 1 + (-1)/(1/1). Is c >= 1/25?
False
Let d = 839/8 + -105. Let l(a) = 2*a + 4. Let g be l(3). Suppose -5*x + 0*w + g = -5*w, -5 = -x + 4*w. Which is bigger: d or x?
x
Let n = 0.663 + -0.093. Is 1 <= n?
False
Suppose 3*o + 1 = 2*o + 2*d, -4*o = -3*d - 21. Let m be 4 + 3/(o/6). Suppose 5*x - 3*a = -2*a + 27, -a = x - 9. Is m < x?
False
Suppose -2*l = -5*h - 7*l, -3*h + 5*l + 40 = 0. Suppose -h*z - 5 = -15. Suppose -3*m - d + 4 = 0, -d - 16 = -4*m + 1. Which is smaller: z or m?
z
Let t = -7 - -8. Is t equal to -1/3?
False
Let u(j) = -j**3 + j**2 + j + 1. Let w be u(0). Let o be 3 - (w - (-3)/(-3)). Suppose -q - 3 + 11 = o*g, -3*q = 2*g - 17. Which is bigger: 0 or g?
g
Let n(w) = -2*w - 4. Let s be n(9). Let o be 70/s + 0 + 3. Is o smaller than -1?
False
Let y = 21 - 30. Let v = -2 - y. Let d = -10 + v. Do 0.1 and d have the same value?
False
Let k be 5/(-9) + 4/18. Let z(g) be the first derivative of -g**2/2 + 2*g - 2. Let c be z(1). Which is smaller: k or c?
k
Let j be 16/90 + (-4)/(-18). Is j > -0.5?
True
Let g(t) = t**3 - 8*t**2 + t + 3. Let k be g(8). Suppose -4*j = -12, 5*w + 4*j = 5*j + 57. Which is smaller: w or k?
k
Suppose -11 - 5 = 8*w. Is -7/3 less than or equal to w?
True
Let a(k) = 4*k + 3. Let i be a(-3). Let n = -1331 + 12059/9. Let t = n + i. Which is bigger: t or -0.1?
-0.1
Let u be (-12)/(-45)*20/56. Which is greater: -1 or u?
u
Suppose 3*z + 2 = -13. Let h = 1 + z. Let p = h + 3. Is p bigger than 1/10?
False
Let q = -9 - -8. Let w = 768/7 + -110. Is w less than or equal to q?
False
Suppose g - 6*r + r = -21, g - 9 = -r. Suppose 0 = -2*a + g*t, t = -4*a - t. Suppose 4*w - 1 = 7. Which is smaller: a or w?
a
Suppose 5*d - 7*g + 35 = -2*g, -d = 4*g - 18. Let l = -16 - -18. Suppose -l*a = -3*a. Is d less than a?
True
Let k(y) = -y**3 + y**2 - 3*y + 2. Let z be k(2). Let c be z/28 + (-69)/(-21). Is c < 1?
False
Suppose -90 = -4*w + 190. Suppose -4*d = -3*y - w, 4*y + 5*d = d - 140. Let l be (-12)/y - 4/10. Which is greater: l or -2?
l
Let k = 55 - 54. Which is bigger: k or 0.004?
k
Suppose -6*p + 3*p - 18 = 0. Let t(d) = d - 11. Let g be t(5). Is g bigger than p?
False
Let f = 63 + -22. Is 41 at least f?
True
Suppose 4*n = -2*m + 128, 0 = 2*n - 4*m - 14 - 30. Are 30 and n non-equal?
False
Suppose -3*j = 4*c - 20, 2*c + 22 = 3*c + 5*j. Suppose -o = -c*o. Let r(y) = -y**3 - 7. Let x be r(o). Which is smaller: -5 or x?
x
Let r(c) = c**2 + 11*c + 17. Let p be r(-9). Which is smaller: p or -2/21?
p
Suppose 8*h - 13*h + 275 = 0. Let z = h - 221/4. Let i = -1 - -1. Are i and z equal?
False
Let t = -14.8 + 15. Which is smaller: t or -4?
-4
Suppose -4 + 2 = -m, -q - 4*m = -8. Is q equal to -0.41?
False
Let t = 1 - 0.7. Let s = 18 + -18.2. Which is greater: s or t?
t
Let l(n) = 2*n - 1. Let h be l(3). Suppose -10 = -8*o + 4*o + 3*y, -h*o + 3 = y. Suppose -5*d + 4*d + 2*r + 3 = 0, 2*d + 3*r = -1. Is d >= o?
True
Let g be (-6)/2 - (-5 + -4). Let k be (-4)/(-6)*g/8. Which is greater: -2 or k?
k
Let x = -2 + 2.5. Let z = x - 0.54. Let k = 4.96 - z. Is 1 greater than or equal to k?
False
Let h(j) = j. Let a be h(-2). Let w be (2/3)/(a/15). Do w and -5 have the same value?
True
Let x = 10 + -19. Let f = 15 + x. Let j(i) = i**3 - 5*i**2 + 4*i + 5. Let w be j(4). Which is smaller: w or f?
w
Let g be (-1)/(-2) + 10/(-4). Let a(s) = s**2 - 5*s - 1. Let n be a(5). Is g greater than or equal to n?
False
Let x(j) = -2*j - 2. Let w be x(1). Is -2 greater than or equal to w?
True
Let z be (-4)/(-5)*(-11)/(-594). Do z and -1 have the same value?
False
Suppose -n - 4*n - x = -222, -186 = -4*n - 5*x. Is n at least as big as 44?
True
Let f(g) = g**2 - 3*g - 7. Let m be f(5). Suppose m*c + 6 = 3*k, -3*k + 8 = -c - 3*c. Which is bigger: k or -2/9?
k
Let b = -84 + 77.3. Let p = b - -6. Is 0.1 equal to p?
False
Let c = -17 - 5. Is -23 > c?
False
Suppose -3*c = 2 - 17. Let w be 4 + c + -3 + 0. Is 6 greater than w?
False
Let g = -2.04 + 0.04. Let i = g - -2.4. Let a = 0.2 - i. Is a greater than 1?
False
Let k(r) = 2*r**2 - 12*r + 5. Let u be k(5). Let d be 59/(-160) + (-2)/u. Is d bigger than 0?
True
Let n be ((-28)/16 + 2)/1. Which is smaller: n or 1?
n
Let v = -40/31 + 1068/155. Let j be (-107 - 0)/(2 + -22). Let t = v - j. Is t equal to 3?
False
Suppose 3*s + 12*r - 7*r = -11, 3*s - 5 = -r. Let v be (1/3)/(1/5). Is s < v?
False
Suppose 14 = 4*y - 2*i, -15 = -y + 5*i + 2. Let g be ((-216)/154)/(y/7). Let q = g - -292/55. Is q greater than -0.2?
True
Suppose -4*k = -3*j - 78, -5*k - 3*j = -k - 66. Suppose 5*d + 7 = -k, 5*u = 3*d. Let b = 1 - 6. Is u bigger than b?
True
Let a = 1801/5950 - 3/350. Let m = -6/17 + a. Is 1 at least m?
True
Let h = 6 + -2. Let m = h + -6. Let l = -77 - -75. Do m and l have different values?
False
Let n = 46 + -62. Which is smaller: -17 or n?
-17
Let l = 10 - 3. Let w = l + -6.4. Let d = -0.5 + w. Which is greater: -4 or d?
d
Let f = -0.06 - -0.36. Let g = 4/3 + 1/6. Is f smaller than g?
True
Let j be (-21)/45 + (-2)/(-3). Is j bigger than -2/3?
True
Let m(a) = a**3 + a**2 - 4*a - 3. Let n be m(-2). Let j = 29 - 21. Let w be ((-2)/j)/(3/2). Which is smaller: w or n?
w
Let t = -913185/17 - -53751. Let x = t - 20459/612. Let q = -5/9 + x. Does 3/5 = q?
False
Suppose -1 = -a - 0. Is -2/39 at most as big as a?
True
Let s = -1 + 1. Suppose 1 + s = -b. Let p be 0 + b + 12/20. Is p != 1?
True
Let l be 30/(-12)*(3 + -1). Suppose -3*r - 8 = 7. Do r and l have different values?
False
Suppose -7*l = -5*l. Let u(h) = 2*h**2 + 2*h - 2. Let y be u(-3). Suppose -5*o + 0*o - y = 0. Is l > o?
True
Suppose -2*z + f = 0, -f - 4*f + 20 = 0. Let t = -1 - -2. Let m be (t/z)/((-2)/4). Is 1/6 > m?
True
Let t(v) be the second derivative of -v**5/20 + v**4/3 - v**3/2 + 7*v**2/2 - 6*v. Let y be t(4). Suppose 15 = s - 4*s. Is s bigger than y?
False
Let j(s) = -s**2 - s + 1. Let a be j(-2). Let z = 1 + a. Suppose 2*q - 6*q = z. Is q at least -0.07?
True
Let h = 17 + -152/9. Suppose 0 = -3*u + 5*f + 12, 3*u + 2*f + 2*f + 15 = 0. Is u < h?
True
L