e y + y = 5*r + 58, -2*y - 3*r + 42 = 0. Suppose 5*k + 6 = 3*h + y, -4*k + 13 = -h. Is k smaller than 3?
False
Suppose -4*g - 6 = -w, -1 = 3*w + g + 7. Let u(d) = -d**2 + 3. Let v be u(w). Which is smaller: v or -2?
-2
Suppose v = 3*v. Let m = 1 + v. Which is smaller: 1/9 or m?
1/9
Let w = -26 - -17. Let z(i) = i**2 + 10*i + 10. Let n be z(w). Is 2/9 >= n?
False
Suppose 0 = 4*s - 3*m + 11, 2*m + 3*m - 25 = 0. Is 1/71 at most s?
True
Let r = 0.32 + -0.07. Let y = -0.05 + r. Let l = -45/8 + 6. Which is smaller: l or y?
y
Let w be (1 + 0)*(4 - 6). Which is smaller: -14/5 or w?
-14/5
Let b = 2 + -8. Let a = b - -4. Let l = a + 1. Which is bigger: 1/3 or l?
1/3
Let u = 26 + -14. Is u greater than or equal to 11?
True
Let v be (-24)/16*8/(-3). Let w(a) = a - 1. Let l be w(v). Suppose l*o = -2*o - 5. Is -2/5 less than o?
False
Let z(y) = -y + 6. Let d be z(10). Is 1/4 >= d?
True
Let h(g) be the second derivative of g**4/12 - 2*g**3/3 + g**2 - 3*g. Let r be h(3). Which is smaller: r or 0?
r
Let v be 15/72 - 2 - (-4 + 2). Is v > -1?
True
Let m = 0.3 - 2.3. Let w = -29/39 + 14/13. Which is greater: m or w?
w
Let y(a) = -a**3 + 10*a**2 - 9*a - 7. Let q be y(9). Do q and -4 have the same value?
False
Let j be (16/10)/((-6)/(-15)). Let i be (-4*(-1029)/(-678))/j. Let m = i + 2/113. Is -1 != m?
True
Let v be (1/(-3))/((-4)/36). Suppose 6*z - v*z = -9. Is z less than or equal to -2?
True
Let r(w) = 1 - 4*w**2 + w**2 + 2*w**2. Let c be r(1). Suppose -5*f = -c*f + 5. Which is greater: f or -0.1?
-0.1
Let q(i) = -i**3 + 8*i**2 + 9*i + 1. Let l be q(9). Let b be 2 + l*(-2 - 0). Which is smaller: 10/7 or b?
b
Let y = 103/4 + -207/8. Suppose -3*q - 2*q + 12 = -2*t, -5*q + t = -16. Suppose -6*l + q*l = 0. Are l and y equal?
False
Suppose -5*m + 80 = i, -3*m + 2*i = -31 - 17. Let l = -24 + m. Let t be l/28 + (-16)/(-105). Which is smaller: 1 or t?
t
Let t = -24/41 + 261/656. Which is smaller: 0 or t?
t
Let m = -269/2 - -611/4. Which is greater: m or 18?
m
Let s = 15.185 - -141.785. Let i = s - 159. Let g = -0.03 - i. Which is smaller: 0 or g?
0
Let u = -681/1222 + 9/94. Which is smaller: -1 or u?
-1
Let n = 75 - 297/4. Let y(r) = -r + 4. Let m be y(3). Suppose 5*z = 11 - m. Is n at least as big as z?
False
Let g(h) = h**3 - h**2 - h. Let v(y) = -3*y**3 + 9*y - 4. Let d(j) = -4*g(j) - v(j). Let t be d(3). Let i be (t/(-38))/(3/6). Is 0 equal to i?
False
Suppose -4*t + 3*g = g - 12, 0 = 2*t - 5*g - 14. Let h(j) = -8 + j + t + 0 + j**2 - 2*j. Let d be h(0). Is -6 < d?
False
Suppose -4*s + 0 = -4. Which is smaller: 3/11 or s?
3/11
Let u be ((-2)/(-6)*-2)/2. Suppose -r + 0*r = 3. Let s = 2 + r. Is u at least as big as s?
True
Let p(i) = 2*i**2 - 4*i - 8. Let j be p(4). Which is smaller: 10 or j?
j
Let m be (-6)/(-9) - (-4)/(-15). Suppose -6*b = -b. Let c = 2 - b. Is c <= m?
False
Let o(s) = -4*s + 1. Let i be o(1). Let r(z) = z**3 + 3*z**2 + 2. Let v be r(i). Do 4/3 and v have the same value?
False
Suppose 5*m - 34 = -6*s + 3*s, 3*m - s - 12 = 0. Suppose -m*i = 3*g + 1, -4*i = -3*g - 8 - 2. Which is smaller: 1/3 or g?
g
Suppose 0 = 2*f - 6*f + 40. Let m = -17 + f. Is -6 > m?
True
Let j = 1 + -6. Let k(l) = l + 4. Let g be k(j). Let o be (0 - 1)/(g/2). Is o at most 2?
True
Let m = 5 + -10. Let u = m - -2. Is -2 less than u?
False
Suppose -k = -0*k - 3*k. Is -1/125 at most k?
True
Let t be (4/40*-4)/(-2). Is t < 0?
False
Let u = -0.13 + -0.15. Let k = -0.08 - u. Let h(w) = 2*w + 6. Let v be h(-4). Which is bigger: k or v?
k
Let o = 6/31 - 128/341. Let f(r) = 2*r**2 + 18*r + 25. Let k be f(-7). Which is smaller: k or o?
k
Let h = 1.72 - 1.7. Which is bigger: h or -1.2?
h
Let o = 25 - 32. Is o at most -8?
False
Let h = 1032/5 - 60898/295. Which is smaller: 0.1 or h?
h
Let q = 4 - 3.8. Let c(x) = -x**3 - 10*x**2 - 8*x + 12. Let u be c(-9). Suppose 0 = -6*w + u*w. Which is bigger: w or q?
q
Let d = 5/46 + -327/2162. Is d equal to 1?
False
Suppose 12 - 4 = 4*s. Suppose -2*c - s*t = 0, 2*c + 0*c + 8 = 2*t. Does 0 = c?
False
Let g be 1/(-4) + (-24)/(-32). Which is smaller: -0.2 or g?
-0.2
Let d = 11 - 11. Is -2/3 smaller than d?
True
Let j = -10 - -12. Suppose o - 5*h + 19 = j*o, -o = -4*h + 17. Are 5 and o non-equal?
True
Let w = -0.58 - -0.28. Which is greater: -8 or w?
w
Suppose h - 2 = -3. Let a be (-58)/22 - (-2 + h). Are 0 and a non-equal?
True
Let a(t) = -t - 4. Let g be a(-6). Is g at least as big as 28/9?
False
Let v = 18 + -9. Let q = 2.1 + -1.1. Which is smaller: q or v?
q
Let u be (-6)/9 + ((-8)/(-12) - -1). Let b = 1.7 + 0.3. Let s = 1.8 - b. Which is bigger: s or u?
u
Suppose -5*q - 25 = -4*s, 5*q - 3*s + 18 = 2*q. Let b be 4 - 116*q/(-26). Which is greater: -1 or b?
b
Suppose 0 = u - 3*r - 15, -r = -u + 5*u - 21. Suppose -u*a + 2*a + 12 = 0. Let n = 6 - a. Are n and 3 nonequal?
False
Let p = 6 + -1. Let s be (0 + 1)/(0 - -1). Let d(k) = 5*k - 1. Let g be d(s). Which is smaller: g or p?
g
Let j = 0.07 + -2.27. Let k = j - 0.8. Let u = 27 + -29. Which is smaller: u or k?
k
Suppose f + 2 = 0, 0 = -2*v + v + 3*f + 11. Suppose v*x + 15 - 5 = 0. Suppose -6*q = 2*q. Which is smaller: q or x?
x
Let c(t) = -t - 2. Let q be c(-8). Is q greater than or equal to 8?
False
Let r(n) be the third derivative of 2*n**2 + 1/15*n**5 + 0*n - 1/120*n**6 + 1/4*n**4 - 2/3*n**3 + 0. Let c be r(5). Are 1 and c equal?
True
Let c = -26 - -440/17. Let r(f) = -f**3 - 5*f**2 + 5*f - 5. Let m be r(-6). Is m at most as big as c?
False
Suppose -5*n + 13*n = -304. Do -38 and n have the same value?
True
Let z = 9.08 - 9. Let f = z + 1.92. Is -2/7 at most as big as f?
True
Let j = 31 + -16. Let o = 15.7 - j. Let v = -0.4 + o. Which is bigger: v or -0.1?
v
Let x = -14.09 - -14. Is x equal to 2?
False
Let h = -42 - -87/2. Let b be 2/9 - (-120)/(-54). Let v = 0 - b. Is v at most as big as h?
False
Let z = -5.2 - -0.2. Let l = z + 7. Which is smaller: 0 or l?
0
Suppose -1 = 3*u + p, 4*u + 2*p + 1 + 1 = 0. Which is smaller: u or 4?
u
Let v = 0 + 13. Let t = -11 + v. Which is bigger: t or 9/7?
t
Let t = -15.2 + 15. Is t smaller than 3?
True
Suppose 2*w = -w. Is w < 1/16?
True
Let f(h) = -h**2 - 9*h - 4. Let w be f(-8). Let g(q) = -q + 8. Let l be g(w). Let z(a) = a - 2. Let d be z(6). Is d equal to l?
True
Suppose -19 = -3*a + 44. Let i be a/14*(-2)/3. Which is smaller: -1/5 or i?
i
Suppose -3*w - w - 38 = 3*g, 4*g = -3*w - 32. Let b be 3 + -1 - (-310)/w. Let c = b + 36. Which is smaller: c or 2/7?
c
Suppose -4*i + 28 - 12 = 0. Let j = -1 + 1. Is j less than i?
True
Let x = -1 + 3. Let w(a) = -x*a + 8 - 3 + a**2 - 3*a. Let u be w(5). Which is bigger: 2 or u?
u
Let k = -0.04 + -3.96. Let c = 39 - 35. Let d = c + k. Which is greater: d or 0.5?
0.5
Suppose -2 = 3*k - 5. Which is greater: -2/17 or k?
k
Suppose -4*m + 18 = -38. Suppose -2*v + 16 = i, -5*i + 4*v = -4*i + m. Which is smaller: 2 or i?
2
Let y = -0.61 + -0.29. Which is greater: y or -2?
y
Let q(w) be the first derivative of -5/3*w**3 - 1/4*w**4 - 6*w - 5/2*w**2 - 4. Let i be q(-4). Do i and -4 have the same value?
False
Suppose t - 3 = 0, -8 = 3*f - t - 2. Which is greater: -3/4 or f?
-3/4
Let m(g) = -g**2 + 16*g + 8. Let z be m(8). Let a = z - 218/3. Is a <= 0?
True
Suppose -11 = -5*p + 4*p. Let n be 364/(-78)*(-3)/2. Let g = p - n. Which is smaller: 3 or g?
3
Let s = 1.6 + -0.9. Let k = s + -1. Let q be (-16)/(-4)*(-1)/(-18). Is k smaller than q?
True
Let z = 1.8 + -14.8. Let x = -4 - z. Let b = x + -9. Which is smaller: b or 1/4?
b
Let c = -13 + 7. Let l(m) = -m - 3. Let s be l(c). Is s != 4?
True
Let z = -1833/7 - -264. Is z < 2/9?
False
Let y = -65 + 119. Which is greater: y or 1?
y
Let s = 0.06 + -0.1. Is 0.1 at least s?
True
Suppose 0 = 4*b, 5*i - b + 20 = -3*b. Let n(r) = 3*r**2 - 4. Let j be n(3). Suppose 5*o - y - 9 = -j, y = -1. Is o at least as big as i?
True
Let q(p) = 6*p**3 - p + 1. Let w be q(1). Let o(l) = -2*l + l**2 - 2*l - l - 2*l**2 + 2. Let r be o(-4). Is w >= r?
True
Suppose 8*p + 5 = 3*p. Are -0.08 and p non-equal?
True
Let t = -7.3 + 7. Let f = t - -0.5. Let q = f - -3.8. Are -2/3 and q non-equal?
True
Suppose -7*f - 52 - 53 = 0. Do f and -14 have the same value?
False
Let a = -19 + 22. Let p(r) = -r**3 + 3*r**2 - 3*r - 1. Let b be p(a). Is b equal to -10?
True
Suppose 24 = -0*l - 3*l. Let y = l - -10. Which is greater: