). Which is smaller: k or 0?
k
Let l = 2 + 2. Let c(m) = -m + 3. Let h be c(0). Is l greater than h?
True
Let z be (-2 + 0 + 2)*1. Let i = -2 - -4. Suppose -2*r + 4*x = -10, 3*x + z*x = -4*r - i. Which is smaller: 3/5 or r?
3/5
Suppose 6 - 18 = -3*z. Suppose 3*i = 4*c + 2, -i - z*c - c + 7 = 0. Let x = -2/29 - -64/87. Which is smaller: i or x?
x
Let g = 7 + -12. Let j = g - -4.9. Do 1 and j have the same value?
False
Let d be (-5)/(50/(-16))*-1. Which is smaller: d or -3?
-3
Let u = -0.31 - -0.21. Is u bigger than -6?
True
Let x = -172 - -160. Is x <= -0.2?
True
Let r be 27/12*((-4)/6 - -2). Is r < 20?
True
Let k be ((-2)/(-1) - 2)/(-1). Let y = -0.2 - -0.3. Is k at most y?
True
Let f(l) = -l**3 + 6*l**2 + 8*l - 6. Let d be f(7). Let o be (1 + d)*(-2)/26. Let c = 19/39 + o. Is 0 at least c?
False
Let x(z) = -z**3 + 2*z - 51. Let s be x(0). Is s smaller than -51?
False
Let o = -8.8 + 10. Let g = -1.2 + o. Suppose -3*v - 6 + 16 = -4*m, -2*m = -2*v + 6. Which is smaller: m or g?
m
Let u be 6/(-6) + 11*1. Suppose -8 - 36 = -4*j. Which is greater: j or u?
j
Let t(h) = h - 3. Let j be t(3). Let l(q) = 4*q**3 - q**2 + 2. Let b be l(-1). Which is bigger: b or j?
j
Suppose -223*h + 6 = -226*h. Suppose -t - 1745 = 4*t. Let s = t - -2089/6. Which is bigger: s or h?
s
Let i(t) = t**2 - 5*t + 3. Let k be i(4). Let o be k/(-2*(-1)/(-2)). Which is bigger: 2/5 or o?
o
Let c = -1 + -1. Let r be 2*(2/(-4) + c). Let z = -1 + -1. Which is smaller: r or z?
r
Let w(y) = -y + 7. Let m be w(4). Let z(a) = -3*a - 23. Let s(n) = -n - 11. Let u(f) = -5*s(f) + 2*z(f). Let i be u(8). Which is bigger: i or m?
m
Suppose -4*s + 3*s = -3. Suppose -b = 2*b + s. Is b != -2/9?
True
Let q = 3.1 + 3.4. Let x = q + -8. Let t = x - -0.5. Is -0.5 less than t?
False
Suppose 306 = -2*r - 124. Let q = -304209/1414 + 115/202. Let v = q - r. Is 0 at most v?
True
Let z be (3*-1)/3 + 2. Let f be 1*(-3 + -2)/z. Let i = f + 6. Is 1/3 bigger than i?
False
Let s be 1/(-2)*6 - -2. Let b be (-1 - s)/(-2 + 1). Which is smaller: -2 or b?
-2
Let p = -0.1 - -0.1. Let o = p - -1. Is -1/4 at least as big as o?
False
Let d = -5 - -5. Let y = d - -0.06. Let m = -0.11 + -0.89. Which is greater: y or m?
y
Let c = -0.29 - -0.69. Is c < -2?
False
Let w be (-1 - -15)*(-1 + 0). Let y = w - -43/3. Which is smaller: y or -1?
-1
Let p(i) = i**3 - 6*i**2 - 6*i - 2. Let x be p(7). Is 6 less than x?
False
Suppose -4*p + 18 = -3*u, -3*u - 4*p - 3 = 39. Let r be (-18)/(-15) - (-2)/u. Is r at least as big as 1/6?
True
Suppose -5*r + 136 = -104. Which is smaller: 47 or r?
47
Let r = 84 - 83.5. Which is greater: -0.04 or r?
r
Let h = -2 - -2. Let b = 1 + h. Let l = -13 + 13. Which is bigger: l or b?
b
Let l(p) = -p**2 + 9*p - 14. Let s be l(7). Suppose s = 3*g + 3*k - 36, 0*k = -4*g - 3*k + 47. Is 10 > g?
False
Let p = -42 + 40. Which is greater: -0.1 or p?
-0.1
Suppose -2*v = 4*d + 11 - 39, 34 = 5*v - 2*d. Suppose -l - l + 16 = 0. Is l not equal to v?
False
Let j be (1 + (-126)/128)/(27/(-36)). Is 0 less than j?
False
Let g = -82 + 72. Which is smaller: g or 0?
g
Let g(t) = -t**3 - 2*t**2 + 3*t + 2. Let v be g(-3). Let i be ((10/v)/(-1))/(-1). Suppose 4*w = i*w. Is w equal to 0?
True
Let a be (3/(-6))/((-2)/12). Suppose -2*t - a*t = -20. Is 4 not equal to t?
False
Let z be (8/78)/((-12)/(-18)). Let o = 4 + -3. Is o bigger than z?
True
Let w(l) = l**3 + 6*l**2 - 8*l - 6. Let k be w(-7). Which is smaller: k or 0?
0
Let y = 0.2 - 0.24. Let n = -5.96 + 7. Let p = n + y. Is p < -2?
False
Let m be 8/24 - (-24)/9. Suppose -3*k - 4*s = -23, -3*k + 24 = k + 2*s. Which is bigger: k or m?
k
Let v be 4/(-14) - 38/14. Let t be (v/28)/((-5)/(-20)). Is 1 greater than t?
True
Suppose 13 - 4 = 3*x + 4*i, 5*i = 3*x - 9. Let m be (3 + x)/((-3)/(-4)). Let s = m + -4. Which is smaller: 3 or s?
3
Let i be 1/(2 - (-15)/(-9)). Suppose -2*m + 0*y = -i*y + 11, 0 = -2*m - 5*y + 13. Let c(b) = -b - 8. Let f be c(-6). Do m and f have the same value?
False
Let y = -1399/804 - 2/201. Is -1 equal to y?
False
Suppose -i - 45 = -36. Are -1 and i equal?
False
Suppose 208 + 1577 = -3*z. Let a = -13683/23 - z. Is 0 at least a?
False
Suppose -4*x - 6*x = 140. Which is greater: x or -13?
-13
Let s = 53 - 46. Suppose -z + 30 = 4*z. Do s and z have different values?
True
Let s = -153 - -153.1. Is s smaller than 176?
True
Let j = 130 - 265/2. Suppose -5*b - 4*i - 23 = 0, 2*b - 2*i = -i - 4. Is b at least j?
False
Let p be 8/(4 - 2) + -2. Suppose 0 = p*y + 2 - 4. Let d be (-1)/((2 - 1)*y). Is d at least as big as 2/9?
False
Let q = 0.26 + -0.17. Which is smaller: q or -2?
-2
Let p = 38.73 + -39. Do p and -2/5 have different values?
True
Let r(m) = -m**2 - 8*m - 8. Let k be r(-7). Let v be (2*-1)/k - -3. Which is smaller: v or 6?
v
Let n(s) = s - 1. Let j be n(1). Suppose 0 = 4*k - 2*k - 2. Suppose -2*b + 3 = k. Which is greater: b or j?
b
Suppose x = 2*m + 12, -2*m - 2*m - 24 = 4*x. Let s be (m/8)/(11/(-8)). Is s equal to 0?
False
Let x be ((-25)/(-30))/(-1)*(-6)/20. Is x greater than or equal to -5/8?
True
Suppose 0 = 4*j + 5*f - 5, -j + 5*j + 3 = 3*f. Let n = -59 + 293/5. Which is bigger: n or j?
j
Let o = -0.06 + 11.06. Let g = -16 + 9. Let j = o + g. Does -2/3 = j?
False
Suppose -4*d - 9 = -41. Let h = -25 + d. Which is smaller: -16 or h?
h
Let j = 3.4 + -1.4. Is 2 greater than or equal to j?
True
Let p = 3.5 + -0.5. Let b = -260 - -176. Let c be ((b/8)/7)/6. Which is greater: c or p?
p
Let n = 5211603/23 + -226398. Let a = n + -687939/3565. Let z = 2/31 - a. Are 0 and z equal?
False
Suppose 4*g = 3*w + 34, 2*w + 2*g = -3*g + 8. Let n(j) = j**2 + 6*j - 5. Let o be n(w). Is -1 greater than or equal to o?
True
Suppose c = -5*u + 16 - 4, 0 = -4*u - 4*c. Suppose -11 = -4*x - u. Suppose 0 = -3*m - 4*l + x*l + 4, 4*m + 3*l - 7 = 0. Which is bigger: m or 0.1?
0.1
Let d = -149 - -81. Which is smaller: d or 0.1?
d
Let m(o) = -o**3 - 6*o**2 - 5*o + 2. Let g be m(-5). Suppose g*h - 4*h = -12. Suppose -v = -h*v. Which is bigger: v or 1/7?
1/7
Let w = 0.7 + -0.4. Is w <= -0.1?
False
Let m be (1/(-3))/((-3)/27*-2). Suppose 4*t - 7 = -3*n, 5*n - 3*t + 31 - 4 = 0. Is n at most m?
True
Let i be (-1)/(-20) + (-2)/(-8). Let d be ((-1)/(-5) - 1) + 1. Let s = i + d. Are s and 1 unequal?
True
Suppose 4*d + 8 + 1 = -5*f, 0 = -2*d - f - 3. Is -2 bigger than d?
False
Suppose -3*u = -2*u - 4. Suppose 0 = -u*w + 6 - 18. Let x be 3 + w/((-18)/(-17)). Which is smaller: 0 or x?
0
Suppose 3*j - 4 = 5*w, 0*w - 2*w = -5*j + 13. Let l be (6/3 - 0)/(-1). Let q = l - -3. Is q smaller than w?
False
Let l be (-120)/(-64)*2/5. Let w = -1739/9 + 193. Which is greater: w or l?
l
Let q = -5 - -13. Which is greater: 7 or q?
q
Let t be -2*(-1 - -2) - -2. Let k be -2 + (-39)/(-24) + t. Which is bigger: 0 or k?
0
Let v be (3/67)/((-21)/(-14)). Is 1 != v?
True
Let x = 244/5 - 49. Let u = -0.07 - 0.33. Let l = u + 0.5. Which is greater: l or x?
l
Let u = 18903/25 - 756. Which is smaller: u or 1?
u
Let k be (16/24)/(1/(6/4)). Let f(s) = -s**2 - s + 9. Let h be f(7). Let b = h - -140/3. Which is bigger: b or k?
k
Let p = 3 - 3. Suppose -4*k + 0*k + 8 = p. Suppose -k*z + 1 = -5. Which is bigger: z or -1/3?
z
Let j be (3/(-15))/(2/(-10)). Is j != 0?
True
Let x = 3 + -10. Let s be 2*-5 + 0/6. Let m = x - s. Is m greater than 2?
True
Let d = 0.31 + -0.31. Let p = -43/63 + 4/7. Is d greater than or equal to p?
True
Suppose -2*n + 11 - 1 = 0. Suppose y + 14 = -5*i, -n*y - 5*i = 9 + 1. Let r be 2/(2/(-2 + 4)). Is y > r?
False
Let b(m) = 3*m - 6. Let t be b(4). Which is smaller: t or 5?
5
Let s(z) = -z**2 + 10*z + 10. Let t be s(9). Suppose 2*v + 4*b - t = b, -23 = -4*v - 3*b. Is v != 5/7?
True
Let f(z) = z**2 + 8*z - 5. Let m be f(-8). Do m and 1 have the same value?
False
Let x = 12 + -9. Suppose 0 = -x*f + 3 + 12. Which is bigger: 4 or f?
f
Let q be (1 - 2) + (1 - 0). Is -7/6 <= q?
True
Let b = -56 + 57. Let x be 2/(-5) + 128/370. Let o = x + -31/111. Which is bigger: o or b?
b
Suppose -2*h = 13 + 3. Let p be ((-12)/h)/((-30)/(-8)). Is -1 not equal to p?
True
Let p = -19 + 17. Let h be 1 + ((-11)/10 - 1). Let q = h - -3/5. Which is bigger: q or p?
q
Let h = 263 + -159. Suppose 3*j - y = -h - 122, 2*y - 2 = 0. Let v = -217/3 - j. Which is smaller: 4 or v?
v
Suppose 0 = -5*j + 15, 2 = 4*a + 2*j + 16. Let z = 