 l be c(-6). Let y = -6 - -11. Suppose -y*b + 3 + 17 = 0. Is l greater than or equal to b?
False
Let q be 3 - 5 - 9/(-12). Are q and -2 equal?
False
Let k(w) = -w**2 + 7*w - 6. Let t be k(6). Let q(b) = b**2 - b. Let y be q(t). Suppose 4*z + 0*z = -3*o + 1, -o - 5*z + 4 = 0. Is y != o?
True
Suppose 2*k + 3*s - 1 = -3*k, -4*s = -5*k + 22. Let a be k/(-5) - 6/(-15). Let t = 1 - a. Which is bigger: 1/6 or t?
t
Let r = -0.09 + -0.91. Is 2 less than or equal to r?
False
Let k = 0 + 0.15. Let f = 0.05 + k. Which is greater: 2/3 or f?
2/3
Suppose 0 = -n + 4 - 3. Which is smaller: n or -2.1?
-2.1
Let a = 3 + 5. Let w = -15 + a. Let b = 8 + w. Is b smaller than 0?
False
Let r = 29 - 26.6. Is r >= 2?
True
Suppose 21*w - 95 = -11. Suppose -4*l + 3*i + 5 = -11, 3*i = -2*l + 8. Suppose l*b - 3*b + 5 = 4*x, -b - 1 = -2*x. Which is greater: b or w?
w
Let y = -92272526/808571 + 18/47563. Let l = y + 114. Let u(h) = -h**2 - 2*h + 4. Let x be u(-3). Is x greater than or equal to l?
True
Suppose -y - 3*y - y = 0. Is y > 1/10?
False
Suppose -2*w + 15 = 3*w. Suppose y = 3*v - 6, 4*y - 21 = -6*v + 3*v. Are v and w equal?
True
Let n(p) = -p**2 + 5*p + 5. Let r be n(6). Let o = -49.37 - -49. Let c = 0.07 + o. Is r > c?
False
Suppose 2*v = 3*v + 3*v. Is 0 greater than or equal to v?
True
Let k = -5 + 5. Suppose k*g + 2*g = -2. Is g < 0?
True
Let z be -99*1/(12/(-8)). Which is smaller: 65 or z?
65
Let g = -0.6 - -0.5. Let l = -6.04 + 6. Is g > l?
False
Let c(s) = -2*s - 1. Let g be c(-1). Is g at most as big as 1/33?
False
Let b = 4 + -3.7. Let u = b + -0.2. Suppose 5*g = -0*g - 5. Are u and g equal?
False
Let q = -1/276 - 535/4692. Let z be (-6)/(-15) - (-64)/(-10). Let f = 7 + z. Which is smaller: f or q?
q
Let s = -0.011 + -1.289. Is s <= -2?
False
Suppose -u - 2*s = -7, -3*u - 2*s + 5 + 0 = 0. Let p be 11/15 - 1/3. Which is smaller: p or u?
u
Let p be -197*5*(-4)/10. Let i be (p/12)/(1/(-4)). Let h = i - -130. Which is bigger: h or 0?
0
Let s(c) = -c**3 + 9*c**2 - 8*c + 4. Let y be s(8). Suppose -5*p - y = -p. Let q be 5/4 - -1 - 2. Is p less than q?
True
Let r be 5/(-3) - 4/(-6). Which is greater: 2/13 or r?
2/13
Let i(n) = n**3 - 2*n**2 + 3*n - 2. Let j be i(2). Let f = 21 - 17. Is j bigger than f?
False
Suppose 3*v + v = 12. Suppose 4*z - 20 = -c, -4*z + v*z = -4. Let b = c - 5. Is b > -1/17?
False
Let w = 128299/101265 - 2/6751. Let i = 6/5 - w. Which is smaller: i or 0?
i
Let f = -1/793 - -2395/12688. Is 0.1 greater than f?
False
Let k = 8.246 - 0.046. Let z = k + -8. Is z greater than or equal to -0.3?
True
Suppose -8 = -3*m + 1. Suppose 0*h + m*h - 5*s + 4 = 0, -2*s + 4 = -2*h. Is h equal to -3?
True
Suppose -4*s = 5*z - 185, -s + 28 + 7 = -z. Are s and 40 nonequal?
False
Let d(r) = -r**2 + 3*r + 4. Let m(p) = -4*p**2 + 12*p + 16. Let k(y) = 9*d(y) - 2*m(y). Let a be k(4). Which is smaller: a or -2?
-2
Suppose 0 = 3*f + 2*t + 297, 394 = 2*f - 6*f - 2*t. Let y = f + 487/5. Is -1 less than y?
True
Let m be 4/(-10)*(-5)/8. Which is bigger: m or 0?
m
Let d be ((-7)/(-14))/((-1)/2). Do -1 and d have different values?
False
Let h = 0.24 - -0.76. Which is smaller: h or -2?
-2
Suppose 0 = -w - 3*a + 4, -5*a = 2*w - 7 - 1. Is 4 > w?
False
Let i be (1/5 + 403/(-65))/(-58). Is 0 greater than i?
False
Let m be -3 - 1/(1/(-2)). Is -2/113 bigger than m?
True
Let d = -16 + 23. Let s = 6 - d. Is -1 at least s?
True
Let j = 11 - 9. Suppose 0 = j*l - 7*l + 35. Let x be ((10/4)/5)/1. Is l at least as big as x?
True
Let q = -8.4 + 4.4. Let c = 0.2 + -3.2. Let m = q - c. Is m smaller than -1?
False
Let r = -14.8 - -15. Which is smaller: r or -1.9?
-1.9
Suppose 0 = -5*m + 2 - 22. Let u(i) = -7*i**3 - 2*i**2 + 1. Let g be u(-1). Let a be (m/16)/(g/8). Which is bigger: 0 or a?
0
Suppose -3*i + 3 = 4*z, i - 3 + 2 = -5*z. Is -1/24 at most as big as i?
True
Let r = -0.1 + 0.2. Let h = -0.04 + 0.09. Which is smaller: h or r?
h
Let v = 5 + -3. Suppose -x + 5*w - 2 = -1, -5*x - 4*w = -24. Let n be (-3)/(-4) - (-1)/x. Is v bigger than n?
True
Let r be ((-20)/(-4))/(1 - 0). Suppose 4*b + 12 = 0, 4*n - r*b - 50 + 19 = 0. Suppose -30 = -n*l - 6. Which is greater: 7 or l?
7
Let r(b) = b**3 + 2*b**2 - 4*b - 1. Let m be r(-3). Suppose 2 = i + t, 19 = m*i - 2*t - t. Suppose 4*q + 21 = i*y, 3*q = -y - 0*y + 8. Are 1/4 and q nonequal?
True
Let n be (-2)/4*(1 + -23). Which is smaller: n or 10?
10
Let l = 1 - 1. Let y be (-4)/3*9/(-6). Let b be y/18*2*1. Which is smaller: b or l?
l
Let s = 9 + -13. Let h = s - -4.3. Let f = h - 0.2. Which is bigger: 3 or f?
3
Let z = 39 - 53. Which is bigger: 0 or z?
0
Let y(p) = -5*p**2 - 5*p + 1. Let x(v) = -6*v**2 - 4*v + 1. Let s(m) = 6*x(m) - 7*y(m). Let k be s(11). Is k > -0.2?
False
Suppose 4*j - 30 = -s - 5, 0 = 3*j - 4*s - 14. Let g = -6 - -12. Let a = g - -1. Is a equal to j?
False
Suppose 8*k - q + 511 = 3*k, -424 = 4*k + 3*q. Is -104 greater than or equal to k?
False
Let i(o) = -o**3 + 4*o**2 - 2. Let w be i(4). Let p be (-24)/w*1/22. Is p < 0?
False
Suppose -8*z = -3*z - 165. Let c = 295/9 - z. Is c >= -1?
True
Let k be ((-2)/(-4))/((-25)/50). Suppose -5 = 3*q - 17. Are k and q non-equal?
True
Let q(d) = d**3 + 5*d**2 - 5*d - 8. Let l(m) = -m**2 + 1. Let w = 9 - 8. Let n(o) = w*q(o) + 4*l(o). Let z be n(-3). Which is bigger: z or 0.1?
0.1
Let x be (-3)/(-9) - 2/6. Suppose 3*b + 3 + x = 0. Let t be 8/(-12) + b/(-6). Is t at most as big as -2?
False
Let y be 166/(-200) - (-6)/8. Does -1 = y?
False
Let y = -8 - -10. Suppose -5*s = -5*v + 10, y*v + 3 = s + 2. Which is smaller: -1 or v?
v
Let b be 22/(-10) + (2 - 0). Let x(i) = i**2 + 5*i - 6. Let h be x(-6). Let c = h + -1. Is b smaller than c?
False
Let v = -64 + 65. Suppose u - 10 + 3 = 0. Is u not equal to v?
True
Let f be (-10)/((-9)/(-2) - -4). Which is bigger: f or 0?
0
Let s(p) = 15*p**2 - 2*p - 10. Let i be s(-3). Is i equal to 2/7?
False
Let q = -10 - -9. Let n(p) = -p**3 - 2*p**2 + p + 1. Let m be n(q). Is m less than or equal to 1/14?
True
Let s = -0.3 + 0.5. Let d = 5 - 4.7. Let f = d + -0.2. Which is bigger: s or f?
s
Let l be 4/10 - (2 - 39/15). Let k = 17 + -12. Is k > l?
True
Let h = 0.3 - 0.31. Which is smaller: h or -0.3?
-0.3
Suppose m = 4*i - 21, -5*m + 5*i - 105 = -0*m. Is m at most -21?
True
Let p = -22 - -23. Suppose 0 = 4*j + 8, 0 = -2*t + 4*j + 7 - p. Are 4/9 and t non-equal?
True
Let h = 18 - 19.9. Is 1 greater than h?
True
Let w = -17 - -11. Which is greater: -50/7 or w?
w
Let f = 5 - 3. Suppose 3*g + f*g = 25. Which is bigger: g or 6?
6
Let r = -739/520 - -23/40. Let h = -51/91 - r. Is h greater than or equal to -1?
True
Let n(z) = -z + 13. Let k be n(9). Let r = 5 - k. Which is greater: -1/9 or r?
r
Suppose 5*s = s. Suppose -2*o + 5*v - v = 0, 3*o + 2*v = -8. Does s = o?
False
Let y = 23 + 5. Which is greater: y or 29?
29
Let x be ((-15)/10)/(3/2). Which is bigger: 3 or x?
3
Let l be ((-6)/5)/(4/(-10)). Let q(r) = -r**2 - 4*r + 2. Let c be q(-4). Which is bigger: c or l?
l
Let j be (1 - 1)/(-11 - -10). Suppose 0*n - 2 = -n. Let y be n/(-4)*(-1 + 3). Which is smaller: y or j?
y
Let p be (-11 - -7 - (-232)/118) + 2. Which is smaller: -1/3 or p?
-1/3
Let o(n) = -3*n**2 - 2*n - 1. Let s be o(-1). Let b = 10 - 1. Let g be ((-21)/b - s)*-1. Is g less than -2?
False
Suppose -2 = 2*l - 8. Let c be ((-20)/168)/((-2)/l). Let h = c - 191/756. Is h equal to -1?
False
Let q(a) = -3*a - 1. Let t be q(-3). Is t less than or equal to 8?
True
Let a = 4.1 + -3.1. Is a < -0.09?
False
Let c(x) = x**3 - 7*x**2 + 6*x - 6. Let q be c(6). Let v = q - -9. Suppose y = -v*y. Is y < -1?
False
Let v be (-9)/(4 - 380/8). Is v greater than 0?
True
Let d = -2/7 + 76/21. Which is smaller: d or 2?
2
Let g(z) = -4*z**3 - 2*z**2 - z. Let o be g(-1). Suppose -o*x - 2*l = 2 - 9, l = 4*x + 9. Let y = 63 - 314/5. Which is smaller: x or y?
x
Let p(b) = -2*b**3 - 2*b**2 + b - 1. Let y be p(-2). Suppose -3 = 4*t + 3*q, q = -4*t + y*q + 4. Let l be (1 - 3)/(-5*1). Is t less than l?
True
Let w = -3 - -5. Suppose 0 = 5*v - c + 3*c - 24, 5*c = -w*v - 3. Suppose -5*a + 1 = v. Is a < 0?
True
Suppose m = 5, -3*l - 2*m = -5*m - 27. Suppose 2*d = 4*u + l, 7*d = 3*d + 2*u - 2. Let a be (-3)/6*d*-2. Is a greater than or equal to -4?
True
Suppose -3*n = 1 + 8. Let s(g) = -g - 2. Let f be s(n). Do -2/13 and f have the same value