 be 117/(-6) - 1/(-2). Which is smaller: s or -18?
s
Let s be 12/10 + 3/(-15). Suppose g + s = o, g + 1 = 2*o - 3*o. Let u = -19/10 - -7/5. Is o greater than u?
True
Let f = -0.85 - 0.15. Which is smaller: f or 0.1?
f
Let v = 2.4 - 1.3. Let q = -1 + v. Is -0.5 at least as big as q?
False
Let q be (-4)/10 - 34/(-10). Let b(r) = r**2 - 8*r + 4. Let i be b(8). Suppose 5*m = m - 5*t + 27, -3 = i*m - 5*t. Is m greater than q?
False
Suppose -3*l = 2*f + 4, -4*f - 5 = 4*l + 3. Let g = 6 - 3. Let k = g + -6. Are k and f non-equal?
True
Let f(m) = -4*m + 1. Let s be f(-1). Let u = 4 + -9. Let k = 11 + u. Is s at most k?
True
Let r(j) = j**2 + 9*j - 6. Let t be r(-9). Which is smaller: t or -1/3?
t
Suppose -4*p = -3*d + 4, -5*d = 2*p + 2*p + 4. Let t = -80 - -479/6. Which is smaller: t or p?
p
Let i = -92 - -87. Which is smaller: -19/4 or i?
i
Let z(c) = c**3 - 8*c**2 + 7*c. Let f be z(7). Let q be (-3 - -2 - f)/1. Is q greater than or equal to -1?
True
Let g(x) = 14*x + 3. Let q be g(3). Let r = 3 - 1. Let u be r - 1 - 55/q. Is u equal to -1?
False
Let y be ((-4)/(-6))/((-10)/6). Suppose -1 = d - 2. Which is greater: y or d?
d
Let t(b) = b**2 - 7*b - 1. Let q be t(7). Is q > -2/59?
False
Let z = -1 + 2. Let u(r) = 7*r. Let c be u(z). Which is greater: c or 6?
c
Let j(m) = -m - 9. Let n be j(-14). Are -2 and n equal?
False
Let r(z) = z**3 - 2*z**2 - 2*z - 4. Let g be r(3). Let o be ((-6 - -2)/(-4))/g. Which is bigger: o or -0.2?
-0.2
Suppose 2 = -3*x + 2*x. Let m be ((-2)/10)/(x/(-5)). Is 0 at least m?
True
Suppose 3*g = -5 + 11. Suppose g*j = 5*h + 8 + 2, 4*h + 16 = 0. Which is smaller: j or -4?
j
Let l(s) = 7*s - s + s**3 - 5*s**2 - 3*s**2. Let g be l(7). Let c = 9 + g. Which is smaller: 3 or c?
c
Let h be 8/6 - (-6)/9. Suppose 0 = h*m - 0*m. Is m at most as big as 2/19?
True
Suppose 0 = -5*k - 2*v + 112 - 373, -2*v + 4 = 0. Is -54 > k?
False
Let d be (-10 - -7)/(-3)*(1 - -1). Let a be 18/(-14) + (-1)/(-1). Is d > a?
True
Suppose h - 5 = -4. Are h and -2/99 unequal?
True
Suppose -h + 3*h - 8 = 0. Suppose 3*z = h*z. Let w be 0 - (1 - z)*1. Which is greater: 1 or w?
1
Let k be 1*3*(1 - 0). Let a = k + -2. Let n = a + -2. Which is bigger: -3/5 or n?
-3/5
Let v = 1/619 + -1307/42711. Which is greater: v or 0?
0
Let i = -2554/11 + 232. Let z be (1 - 0) + 2/(-1). Is i > z?
True
Let p be (-2)/(-9)*(-1 - 2). Let i = 2.4 - -5.6. Are i and p nonequal?
True
Suppose 8*a - 13*a = -25. Which is bigger: 4 or a?
a
Suppose -l = -2*l + 22. Suppose 3*k - 4*f = -32 - l, -2*k - 16 = 4*f. Let i be 4/k - 6/(-70). Is i at most -2?
False
Let x = -0.2 - -0.7. Let w = 1.5 - x. Let c = -5.3 - -5. Is c bigger than w?
False
Let d = 11 + -13. Is d at least -2?
True
Let j(b) be the first derivative of -3*b**2/2 + 4*b + 1. Let n be j(4). Let l = -7 - n. Is l != 2?
True
Suppose -2*p = -10, 2*l - 5*p - 42 = -3*p. Which is greater: 0.1 or l?
l
Suppose 2*v + 42 = 8*v. Which is smaller: v or 5?
5
Let x = -3 + -1. Let l = 5 + x. Let v = 0.3 + -1.3. Which is greater: l or v?
l
Let n = -161 + 187. Which is smaller: n or 1?
1
Suppose -5*g - 2*l - 1 = -l, 2*l + 2 = -3*g. Suppose 33 = 4*b - 5*z, -4*z - 3 - 21 = -2*b. Which is smaller: g or b?
g
Let q = 1038/7 + -148. Is 0.05 greater than or equal to q?
False
Let s = 3 - 5. Let g be s/(-3)*15/10. Let h = g + -2. Is h less than -2/23?
True
Let w = 13 - 12. Which is bigger: w or -1/10?
w
Let b(d) = d**3 + 2*d**2 - 2*d + 4. Let w be b(-3). Suppose -34*y + 26*y = -8. Is w less than y?
False
Let x(j) = j + 4. Let u = -7 + 2. Let t be x(u). Which is smaller: t or -4?
-4
Let n be (18/15)/(2/(-10)). Let l = -68/11 - n. Which is smaller: -1 or l?
-1
Let a = 2/35 - 43/140. Are a and 0.27 non-equal?
True
Let i(z) = -z**3 + 5*z**2 + 2*z - 7. Let d be i(5). Suppose -3*p = -0*p - d. Is 0 at least p?
False
Let s = 0.2 - 0.1. Suppose -4*v - 14 = 3*y, -5*v - 2*y = -2 + 16. Is v >= s?
False
Let r = 1.2 + -0.2. Suppose 4*y - 34 = -3*p, 3*p + 4*y - y - 33 = 0. Suppose 0 = -4*h + 9*h + p. Which is smaller: h or r?
h
Suppose -29*z + 26*z = -18. Let x = -3.9 - -4. Are x and z unequal?
True
Let m = 2 + -3. Let w be 34/44 + (-5)/10. Let b = w + -17/22. Is b >= m?
True
Let v = -47 - -47. Which is smaller: 3/16 or v?
v
Let c(u) = -u**2 + 5*u + 4. Let k be c(5). Suppose 0*x - x - k = 0. Is x greater than -4?
False
Suppose 5*d - 5*n - 35 = -10*n, -2 = 2*d - 2*n. Let c = -2.35 - -2.35. Which is smaller: c or d?
c
Let v = 12 + -8. Suppose -1 = 2*l + 9, -4*r - v*l - 16 = 0. Is r != 4/5?
True
Let i be 1*0/(-2) - 2. Let c = 1 - -3. Suppose -r = c*l + 8, -4*r + 8 = -4*l - 0. Is i smaller than l?
False
Let m(t) be the second derivative of t**4/12 - t**3 + 7*t**2/2 + t. Let d be m(5). Let s = -1 + d. Is s at least 1/7?
True
Let l = 27 + -5. Is l smaller than 22?
False
Let n = 4/39 + 284/273. Is n less than or equal to 2?
True
Suppose -7 = 2*y + 11. Let n = 10 + y. Let s = 4 + -3. Is s greater than n?
False
Suppose -4*n = -5*p - 1, 0 = p - 0*n - n + 1. Let t be (1 - 6/p)*-3. Suppose -t*l + 13 = -5*k + 40, l - 2 = -2*k. Is 1 equal to k?
False
Let u = -76 - -149/2. Suppose -2 = n - 0*n. Which is greater: n or u?
u
Let m = -4 - -6. Suppose -8 = -2*p + 2*b, -4*b = 4*p - m*p + 4. Which is smaller: 1 or p?
1
Let o be (-42)/8 + 3 - -2. Let f = 13/8 + -1/8. Which is greater: o or f?
f
Let s(y) = -2*y**2 - 2*y + 2. Let k be s(0). Let x(p) = -2*p + 1. Let r be x(1). Let z be (0 - r)*(1 + -1). Are k and z unequal?
True
Let v(l) be the second derivative of -l**5/20 + 13*l**4/12 - 13*l**3/6 + 7*l**2 - 2*l. Let q be v(12). Suppose 3*b = 5*b + q. Is -2/11 bigger than b?
True
Let u = 0.07 - 1.07. Which is smaller: u or 4?
u
Let c = -0.1 + 0.1. Let v = -28 - -41. Let s = 13.1 - v. Are c and s unequal?
True
Let s = -250/3 + 84. Suppose 0 = 3*a + a - 20. Suppose 2*f - 16 = -a*o - 2*f, -5*f = -20. Which is bigger: o or s?
s
Suppose l = -0*l + 6. Let m = 293/66 - -2/33. Which is bigger: l or m?
l
Let m be ((-9)/(-6))/(4/(-24)). Is m equal to -9?
True
Let r = 9.6 + -5.9. Let u = r + -4. Which is smaller: 0.2 or u?
u
Let f be ((-6)/4)/((-3)/4). Suppose f = -2*p - 14. Let r = 15/2 + p. Are r and 3 nonequal?
True
Let r = -0.11 - -0.46. Let c = r + -0.05. Is c >= 1?
False
Let w(l) = l**2 - 4*l - 1. Let g be w(4). Is g <= -7/5?
False
Let n = 10 - 9. Which is greater: -2/17 or n?
n
Let h = 1174 - 22291/19. Let s = h - 37/95. Which is smaller: -1 or s?
-1
Let o be 9/9 + -4 + -1. Let z = o + 8. Which is bigger: 3 or z?
z
Let i = -0.14 - 7.86. Let s = i - -8.6. Is 0 greater than or equal to s?
False
Suppose -2*b + 54 - 56 = 0. Which is smaller: b or -10/9?
-10/9
Let t = 0.29 - -0.71. Let u be (-18)/16*6/(-9). Which is smaller: t or u?
u
Let h be 9/(-75)*(-6 - -1). Let a(d) = -d**3 - 6*d**2 - d - 4. Let i be a(-6). Do h and i have the same value?
False
Let q be 6/(-2)*(7 + -8). Suppose -p - 8 = -q*f + 1, p - 3 = -3*f. Let b be (p + -3)*(-2)/(-4). Is -3 < b?
False
Suppose -2*o - x - 4 = 6, 5*x + 5 = -o. Let q = o - -6. Suppose -f + 0 = q. Which is smaller: -0.3 or f?
f
Let x = -26.5 + 15.7. Is x equal to -1/4?
False
Let b = 3 - 8. Let l = b - -2. Let q be (-5)/(-2) + (-5 - l). Which is smaller: q or -6?
-6
Let o be (-3)/(-9) - 53/(-3). Suppose z = 3*z - o. Is z at least 9?
True
Let c be 4/10*(11 + -10)*-5. Suppose 0 = -z - 2*v - 3, -5*z = -2*v + v - 18. Suppose a = z*a. Are a and c non-equal?
True
Suppose -d + 2*a = -8, d + 5*a + 2 = -4. Let i be (d/6 - 0)*-3. Let t = -25 - -49/2. Is t smaller than i?
False
Let h = 13.8 - 15. Let o = h + 1. Suppose -3*b - 3*z = -4*z - 1, b = 4*z + 15. Which is greater: b or o?
o
Let s(v) = 2*v**3 + 2*v**2 - v. Let f be s(2). Let o = -13 + f. Is o less than 8?
False
Suppose 7*b - 17 = 8*b - 4*l, 4 = -2*b - 2*l. Do -5 and b have the same value?
True
Let l = -0.136 - -0.036. Are l and -1/3 non-equal?
True
Let p = 0.41 - -5.59. Is 5 greater than p?
False
Let f = 1 - 2. Let a be (2 - (f - -3))/1. Suppose 2*q + q = a. Which is bigger: -1/4 or q?
q
Let s be 5/4 - (-210)/(-104). Is 0 >= s?
True
Suppose 20 + 16 = 3*b. Is b at most 11?
False
Let q = 0.62 + 0.08. Let h = q + 0.2. Let p = 0.1 + h. Which is smaller: p or 3?
p
Let v(o) = o**3 - 2. Let j be v(-3). Let z = -41 - j. Let m be -5*(z/(-5) - 2). Which is smaller: m or -1?
m
Let s = 1/13 - -35/52. Suppose 0 = -5*x - z - 29, 0*z = 5