be (-1 - -2)*(-4)/(-20). Is 0 smaller than t?
True
Let y(x) = x**2 + 7*x + 7. Let n be y(-6). Suppose 7*j - 2*j = 15. Suppose -2*b = -j*b + n. Is 0 at most as big as b?
True
Let u be (-276)/(-24) + (-6)/(-4). Is u >= 14?
False
Let v = 113 + -82. Are 31 and v equal?
True
Let z = -0.001 - 0.099. Let d = 10 + -1. Is d > z?
True
Suppose 3*h - 8 = -h. Let r be (21/(-56))/(h/(-8)). Do r and 2/5 have the same value?
False
Let n(q) = q**3 + 3*q**2 + 2*q + 3. Let b = -8 + 6. Let f be n(b). Suppose f + 2 = -5*j. Which is smaller: j or -2?
-2
Let g(i) = i**2 + 5*i - 7. Let l be g(-6). Let x = 4 + l. Which is smaller: 1 or x?
1
Let f = 2 + -1. Let i be (-1)/f - 0/(-1). Is 1 < i?
False
Let s be (-11)/3 + (-1)/3. Let l(a) = a**2 - 2*a - 4. Let i be l(4). Suppose 5*v + 0 = 2*x + i, 5*v = 0. Is x bigger than s?
True
Suppose 0 = 3*r + 4*a + 65, -r + 0*a - 5*a - 40 = 0. Is -0.1 <= r?
False
Let f(g) = 9*g. Let x be f(-5). Let d be 48/x + (-2)/(-5). Suppose 0 = 5*v + 4 + 1. Is d greater than or equal to v?
True
Let s = 12 + -10. Which is smaller: -0.3 or s?
-0.3
Let u = -19 + 26. Which is bigger: 8 or u?
8
Let w = -0.024 - -0.524. Let h = 8 + -8.6. Let r = h + w. Which is smaller: -1/2 or r?
-1/2
Let k = -0.6 + 0.5. Is -8 bigger than k?
False
Let x be 46/6 + 10/(-15). Is 7 at least as big as x?
True
Let g = 6 + -4. Let a be 11/5 + (-4)/(-5). Let m be (7/6)/(3/a). Is g at most m?
False
Suppose z + 17 = -4*j, 3*j = z - 1 + 4. Let t be ((-26)/(-6))/((-3)/z). Suppose 2 + t = 5*b. Is 0.2 equal to b?
False
Let l = 73/5 - 541/35. Which is smaller: 0 or l?
l
Let n be 5/10*(-1 - -1). Let w = 1 - 1. Let r = -0.2 - w. Do r and n have different values?
True
Suppose y = 2*s + 10, 3*y = -4*s - 12 - 8. Let v be s + 2 + 5 - 2. Do 1/13 and v have the same value?
False
Let c = 3 - 2.9. Let n be (258/(-42))/((-48)/14). Let u = n - 9/8. Which is greater: u or c?
u
Suppose -2*i = -5*m - 44, 2 + 9 = i + 3*m. Are 15 and i non-equal?
True
Let s be 80/12*(-12)/(-10). Is s not equal to 8?
False
Suppose -3*o + 9*g + 12 = 5*g, -5*o - 12 = 4*g. Let f(j) = -j**2 + j + 13. Let d be f(0). Which is smaller: o or d?
o
Let c = 1 + 5. Suppose -m - c = m. Suppose -3 = -v - 3*l, 5*v + 2*l = l - 13. Is v at least m?
True
Let t = -35 + 15. Which is bigger: 0 or t?
0
Let j(i) = i**2 - 9*i. Let b be j(10). Suppose -4*c + b = c. Let h be (-2)/(-5) - (-6)/(-40). Which is smaller: h or c?
h
Let w = 46024/69 + -667. Is w at most as big as 1?
True
Let c = 34 + -34.04. Which is greater: c or -2?
c
Suppose -3*k + 3 = 9. Let x = 5 + -5.01. Let l = x + 0.01. Which is greater: k or l?
l
Let j be 2/(-2 + 7/1). Suppose 3*b = -0*b - 18. Let i = b + 5. Is i equal to j?
False
Suppose 0 = -4*c + 4*s - 72, 21 = 3*c - s + 65. Let z = 18 + c. Are z and 7 non-equal?
True
Let d = -106 + 222. Suppose b = 3*b + d. Let q = b + 289/5. Which is smaller: q or 1?
q
Let k = -0.04 + -5.96. Let o = k + 6.4. Let s = 13/2 - 7. Is o at least as big as s?
True
Let b = 33/14 - 20/7. Let p = -4 + 2. Let w = p - -1. Which is smaller: w or b?
w
Let f = -5 - -10. Which is smaller: f or 6?
f
Let f(u) = -3*u**2 + 7*u - 1. Let v be f(2). Let a = 8 - -3. Which is smaller: a or v?
v
Suppose 3*d + 3 = -4*n, 2*d + 1 + 6 = -n. Let y(b) = -b**3 - 5*b**2 + 1. Let a be y(d). Let l be (2/(-28))/((39/(-24))/13). Do l and a have the same value?
False
Let n be (-4)/18 + 206/9. Let g = n - 23. Let k = -0.8 - -1. Which is greater: k or g?
k
Let k(f) = -3 + 4 - 4*f + f + 4*f. Let b be k(-3). Let c be (-1 - -1)/(3 + b). Are 2/23 and c nonequal?
True
Let c(q) = -q**3 - 2*q**2 + 1. Let w be c(-1). Suppose n + 15 = 2*n. Suppose -3*a = -5*j + 2*a + n, -13 = 5*j + 2*a. Which is bigger: j or w?
w
Let k be (-6)/6*(-1 + 1)/2. Which is greater: k or -3/29?
k
Suppose 3*a - 7 - 14 = -4*b, 0 = 4*b - 4*a. Let d = b + 3. Let p be 2/d*2/(-10). Is -0.1 less than or equal to p?
True
Let j(s) = -9*s + s**2 + 7*s + 3*s. Suppose -2 = -v, 3 = y - 6*y + 4*v. Let t be j(y). Is 2 less than t?
False
Suppose -4*b - 14 = 2*q - 4*q, -b - 5*q - 31 = 0. Let t(y) = -5*y - 12. Let v be t(-8). Suppose 14*j - 18*j = v. Is j less than or equal to b?
True
Let j be (-18)/(-12)*(-12)/(-9). Is 0 at least j?
False
Suppose 18*f = 16*f - 2. Which is bigger: 2/159 or f?
2/159
Suppose -n + 3*n = 0. Let f(w) = 1 - w + 2 - 2 + 0*w. Let l be f(n). Which is smaller: 2/9 or l?
2/9
Let u = -1 - -1.06. Let m = -20 - -18. Are u and m unequal?
True
Suppose -4*v = -114 + 18. Let l be (3/9)/(2/v). Let d be (4/6)/(2 - l). Is 0 less than or equal to d?
False
Let p = -1 + 1.4. Let u = -0.15 - 1.85. Is u smaller than p?
True
Let c be (1/2)/(5/(-60)). Is -6 at most as big as c?
True
Suppose 8 + 6 = -2*p. Which is smaller: -0.4 or p?
p
Let u be 1 - (-5)/((-5)/(-3)). Let s be u/16 + (-1)/(-1). Which is smaller: s or 0?
0
Let y be 2/8 + (-33)/(-12). Suppose -14 + 2 = 4*a, -y*t - 3*a = 24. Is -3 greater than t?
True
Let m = -0.35 - 1.15. Is -1 > m?
True
Let p be (-242)/(-15) + (-11)/((-990)/(-12)). Is 18 < p?
False
Let m be (-17)/4 - 9/(-3). Which is bigger: m or -1?
-1
Suppose 5*m - m + 8 = 0. Let k be (3/(-798))/((-1)/m). Let i = k + 401/266. Which is bigger: 3 or i?
3
Suppose 4 = -x + 2*v, -3*v + 2 + 1 = -3*x. Let p be x - ((-38)/(-6) + -3). Is -1 <= p?
False
Let g be 3/5 + 186/(-510). Is g smaller than 0?
False
Let t = -4 + 8. Suppose -4*n - 12 = -d + n, -d + n = -t. Is d greater than 2?
False
Suppose -4*n = n. Suppose n = 3*f + 2*f - 5. Let v = -0.2 + 0.1. Which is smaller: f or v?
v
Suppose -5 = 2*o - 7. Let n be 2 + 12*o/(-7). Do n and 1 have the same value?
False
Let y be 7 + -3 + 0/2. Suppose -y*l + 3*j - 9 = 4*j, -2 = -l + 4*j. Let k(w) = w**3 + w**2 + 2*w + 1. Let d be k(l). Is -6 less than d?
False
Let x be (1 - -1)*8/(-2 - 0). Which is greater: x or -6?
-6
Let b = 7 + -1. Suppose 3*z = b - 0. Which is smaller: 0 or z?
0
Let u be 1/6*-2*(-42)/(-28). Which is smaller: u or -2/51?
u
Suppose 0 = -2*m - 0*m - 2*t + 2, 5*m - 5*t = -35. Let l = -4 - m. Let c be (-8)/(-9)*(-12)/8. Which is greater: l or c?
l
Let t = -39 + 39. Is 4.4 less than or equal to t?
False
Let a be 1 - ((-4)/1)/(-2). Suppose -3*v = -0*v - 9. Let l = -4 + v. Is a not equal to l?
False
Suppose -3*l - 13 = 8. Let t = -3 - l. Is 6 bigger than t?
True
Let f(k) = 3*k**2 - 6*k**2 - 6 + k**2 - k**3 + 5*k**2 + 7*k. Let g be f(4). Is g < 6?
False
Let x = -23 - -13. Let w be x/(-4) + (-4)/8. Let r be w/((2 + 24)/2). Which is bigger: 0 or r?
r
Suppose -2*f = 2 - 4. Is -2/47 > f?
False
Suppose 3*z = -h + 5*z + 5, 3*z + 4 = -2*h. Which is smaller: 2/3 or h?
2/3
Suppose -3*i = 4*c, 5*i + 12 + 2 = -2*c. Let y = -1 + -3. Is y > i?
False
Let n = -7.8 - -5.86. Let u = -0.06 + n. Let c = -0.2 + 1.2. Is u bigger than c?
False
Let b(m) = m**3 + m**2 - 2*m - 4. Let f(c) = c**2 - 5*c + 4. Let d be f(4). Let y be b(d). Are -2 and y non-equal?
True
Suppose 2*c + 19 = 2*m + 45, -2*m = -c + 12. Suppose c = 2*z + 4. Suppose 0 = 7*r - 2*r + z. Which is smaller: 1/3 or r?
r
Let t = 86 + -141. Is t < -55?
False
Let b(v) = -v + 2. Suppose m - 2*k = 3, 2*k = 3*m - 9 - 12. Suppose m = -5*o + 29. Let t be b(o). Which is bigger: t or 0?
0
Let r be 2/7 + 2/(-7). Let m be (-2)/4 - (-1)/(-6). Which is bigger: m or r?
r
Suppose 8 = 2*q - 6*q. Let u(d) = 2*d**3 + 4*d**2 + 3*d. Let t be u(q). Is t bigger than -6?
False
Suppose -4*x = -2*w - 14, 2*w + 1 = -2*x - 1. Suppose v - x = -v + 4*a, -4*v - 2*a = -14. Let g = v - 19/7. Do -0.1 and g have the same value?
False
Let v = 32.8 - 33. Which is smaller: 3 or v?
v
Let k(a) = a**3 - a**2 - 7*a + 2. Let s be k(3). Which is smaller: 2/73 or s?
s
Let i = 15 - 63/4. Is -6 >= i?
False
Suppose 2*l = -3*l + 5. Suppose 4*r = l + 3. Suppose 5*t - 2*m = 5, -4*t + r = -2*m + m. Is t > -2/19?
False
Let k = -0.6 + 2.6. Let a = -0.2 + 18.2. Let z = a + -18.2. Which is smaller: z or k?
z
Let n = -24.19 - -24. Let k = 0.01 - n. Is k less than or equal to 0.06?
False
Let j = 2 + -1. Let z be (-2)/(-6)*159/(-2). Let l = z + 26. Is l at least j?
False
Let o = -11 + 17. Let a = -3 - 1. Let p = a + o. Is p greater than or equal to 0?
True
Let k(h) = -8*h**3 - 2*h - 1. Let j be k(-1). Let l = 10 - j. Are l and -2/7 non-equal?
True
Suppose i + 8 = 4*c, -3*i + 6*i + 7 = -5*c. Is 3/8 greater than or equal to c?
False
Suppose 3*c = 2*c + 6. Let b = 6 - 0. Is c !=