Suppose p = -5*l + 71, 0 = -3*p + 3*l + 136 + 59. Let y = p - 329/5. Which is bigger: -2 or y?
y
Let x = 66141260289/802400 - -260829/13600. Let h = 82449 - x. Let m = h - 2/59. Is m less than 2/13?
False
Suppose 3 = j + p, 0*j + 5*p = -j + 15. Is j smaller than 3/17?
True
Let i = 3.8 + -0.8. Let y = i - 2.97. Is y >= -0.1?
True
Let f = 0.05 - 0.15. Let p = f + 0.05. Let o = p - -0.25. Is o <= 2/3?
True
Let k(o) = 2*o + 11. Let a be k(-8). Let p be -2 - a - 70/24. Which is smaller: 0 or p?
0
Let t be (5 + -4)*(5 - 0). Suppose -6*n = -3*n - 15. Are t and n non-equal?
False
Suppose b - 4*b - 210 = 0. Let d be b/(-25) + 2/10. Suppose 5*a + d = -2*l - 10, 4*a - 5*l = 16. Are a and -2/13 non-equal?
True
Let y be 12/9*(-2)/(-4). Let m = -9 + 10. Which is smaller: m or y?
y
Let n(w) = w**3 + 15*w**2 + 14*w - 1. Let b be n(-14). Let x = 1 + b. Let z = 3 - 2. Are z and x non-equal?
True
Let h = 0.38 - 0.49. Which is bigger: 0 or h?
0
Let d = -5 - -7. Let j = 1/103143 - -3884992/6291723. Let l = -3/61 - j. Which is bigger: d or l?
d
Let l = -12 + -15. Let m = -25 - l. Is 4 greater than m?
True
Let n = 143/2 + -73. Let z(o) = -o - 1. Let j be z(0). Which is bigger: n or j?
j
Let b be (8/(-3))/(-4)*3. Suppose 0 = 2*k + b*k + 8. Suppose 1 = 3*z + 4. Is k at most as big as z?
True
Let n be -3 - -3 - (72/38 + -2). Are n and 4 non-equal?
True
Suppose 5*b + 5*d - 15 = 0, 2*b + 0*d = 4*d. Let y(p) = -p + 7. Let n be y(7). Which is smaller: n or b?
n
Suppose -4*b + 5 = 1. Which is smaller: b or -1/3?
-1/3
Let l = -12.9 - 2.1. Let s = l + 14. Let m = 0.2 + -0.2. Which is smaller: m or s?
s
Let s = -3 + 1. Are s and 2/5 non-equal?
True
Suppose -2*i + 2 = 3*a, -2 = 5*a + 4*i - 6. Let d be 2/(-3) + 4 + -4. Which is bigger: a or d?
a
Let v = 565/3 - 7363/39. Does v = -1?
False
Let w = -0.17 - 0.05. Let b = -2.82 - -2.9. Let x = w - b. Is 0.1 greater than or equal to x?
True
Let s be (5/4)/(-3 - (-35)/12). Is -15 <= s?
True
Let c = 3 + -1. Let s be ((-26)/6 + 3)*-3. Let u = 7 - s. Which is smaller: c or u?
c
Let o(w) = -w**3 + 7*w**2 - 9*w + 5. Let f be o(6). Let j = -417/4 - -104. Is j at least as big as f?
True
Let x(w) = w**3 + 4*w**2 - 3*w - 2. Let r(q) = 4*q + 1. Let y be r(-1). Let d be x(y). Suppose 2*u + 2*u = -4*k + d, 5*u + 2*k = 11. Which is bigger: 3 or u?
3
Let z = -2092/7 - -302. Let l = -117/35 + z. Suppose 3*v - 2*y - y + 3 = 0, v - 2*y + 2 = 0. Is l at most v?
True
Let w(c) = c**2 - 2*c + 2. Let h be w(3). Suppose l = -h*v - 22, 0*l = -3*l + 5*v + 34. Which is smaller: l or 2?
2
Let z = 0.191 - 0.291. Is z >= -0.6?
True
Suppose 3*c = -2*m + 4, -2*c - 5 = -m + 4. Let u be 3/6*c*9. Let b be 4/u + 16/(-72). Which is smaller: -1 or b?
-1
Suppose 5*h - 6*h = 3*j + 4, -1 = -j + 2*h. Which is smaller: -1/35 or j?
j
Let q = -1 + 5. Suppose -3 = 7*g - q*g. Which is smaller: 2/25 or g?
g
Let w be (-1)/3 - 2/(-3). Let f be (-12)/4 + -1 + 2. Let q be (2 - 0) + f - -1. Which is greater: q or w?
q
Let r be 0 + (1 - 3) - (-3 - -5). Do r and -4 have the same value?
True
Let w be ((-1)/3)/(3/(-9)). Which is bigger: w or 8/9?
w
Let r be (6 + -5)/(1 + 0). Let s = -903141/8 - -112684. Let k = s + 209. Is k >= r?
False
Suppose -5*t = 4*q + 8 + 2, -3*q = 3*t + 6. Suppose q = 4*l - 0*l. Let w be ((-2)/(-6))/((-33)/18). Which is bigger: w or l?
l
Suppose 0 = 3*i - 5*i + 4. Let t be (1 - 3)/(-1 - 1). Let a be t*i/2*0. Is 2/13 >= a?
True
Let o = -8 - -8. Is o greater than 2?
False
Suppose 4*q + 5*h + 0*h - 30 = 0, 5*q - 5*h - 15 = 0. Let o be 0/(q/(10/(-4))). Let x = 23/12 - 5/3. Which is smaller: x or o?
o
Let d = 2.94 - -0.06. Let j = d + -3.2. Let k(x) = x**2 + 21*x + 16. Let u be k(-20). Which is smaller: j or u?
u
Let g = -21/8 + 89/40. Which is greater: g or 1?
1
Suppose 0 = -f + 9 + 61. Is f smaller than 70?
False
Let j = -6 - -7. Are j and -1 non-equal?
True
Suppose 24 = -3*c + 21. Which is bigger: -3 or c?
c
Let b = -120 + 69. Let k = b - -203/4. Which is bigger: 0 or k?
0
Let u = -200 + 4998/25. Is u less than or equal to 1?
True
Let g be ((-2)/6)/(6/234). Which is smaller: g or -12?
g
Let s = 290/7 - 41. Which is smaller: s or 1?
s
Let c = 7.1 + -7. Let f = c + -0.1. Which is smaller: 2/5 or f?
f
Let h = 33 - 172. Let j = h - -140.07. Let d = 0.07 - j. Is d less than -1?
False
Let x = 1.9 - 2. Is 1/30 greater than or equal to x?
True
Let a = -10 - -26. Let s = -311 + 328. Is a < s?
True
Suppose 2*u - n + 21 = -4*n, -4*u - 27 = 3*n. Let q be 1/(-2)*(1 + -3). Let j be (u - -1)*q - -5. Is 4 smaller than j?
False
Let p(m) = m**2 + m - 3. Let v be p(-4). Suppose -4*l + 7 = -v. Suppose l*x - 4 = 0, f + 3*f + 9 = 5*x. Is -2 greater than f?
False
Let c = -634 + 14584/23. Which is smaller: -1 or c?
-1
Let r(n) = 2*n. Let z be r(2). Let y = z + -5. Is y bigger than 2/7?
False
Let d(w) = -w**3 - 5*w**2 - 4*w + 1. Let a be 30/3*4/(-10). Let p be d(a). Let m be (p - 69/21) + 2. Which is bigger: 0 or m?
0
Let j be (-4)/(-2) - 0 - (-6 + -9). Do j and 19 have the same value?
False
Suppose -3*z = -5*z + z. Which is smaller: z or 3?
z
Suppose 0 = f - 2*f - 3*w + 8, 0 = f - 2*w + 2. Suppose p + 3 - f = 0. Let r(h) = -h**3 + 8*h**2 - 8*h + 6. Let v be r(7). Is p greater than v?
False
Let c be 0/2 + (-4)/4. Let l = -1 - c. Which is bigger: l or 3/4?
3/4
Let s(o) = o**2 + 5*o - 4. Let x be s(-5). Let h be (0 + 0)/(-2 - x). Suppose q + 1 = -h*q. Are q and -1 nonequal?
False
Let g(l) = 3*l**2 - 2. Let a be g(-2). Suppose 0 = 3*f - 5*c + 4, 2*f + 3*c + c + a = 0. Is -4 at most f?
True
Let z = 12.1 + -10.1. Which is bigger: z or -51?
z
Let i(s) = 12*s - 9*s + 2*s**2 - s**3 + 5 + s**2. Let g be i(4). Is g less than or equal to 1?
True
Let w(y) = -y**3 - y**2 + y. Let o be w(0). Let k = -10 + 16. Let f be 8/(-20)*3/k. Which is bigger: o or f?
o
Suppose -86 = -8*t + 18. Which is bigger: t or 15?
15
Let u = -0.66 - 8.34. Is u greater than or equal to -5?
False
Let g be (2 - 17)*(-2)/(-5). Let j be ((-4)/5)/(g/45). Suppose -6 = -3*u + j*u. Which is greater: -8/7 or u?
-8/7
Suppose 9 + 3 = -3*n. Let a be (2/n)/(10/12). Suppose 0 = -4*t - 0 - 8. Which is bigger: t or a?
a
Let m(a) = 12*a - 7*a + 6 + a**2 + 3*a. Let q be m(-5). Which is smaller: -6 or q?
q
Let z = 180 + -179.03. Let c = z + 0.03. Which is smaller: -1 or c?
-1
Let t = 10 - 7. Suppose 0 = -2*r + t*u + 7, r + 2*u = -0*u. Is r smaller than -9?
False
Let d = -5 + 9. Suppose 20 = k - d*q, -3*k + 0*k - q = -21. Let l be k/70 - (-4)/(-10). Which is bigger: l or -1?
l
Let a = -4 + 5. Is -1 less than a?
True
Let s be 12/8 - (-6)/(-4). Suppose 0*z + n = -2*z, s = -2*z + 2*n - 6. Is -3/4 smaller than z?
False
Suppose 22 = 3*p - 8. Let t(n) = -n + 6. Let j be t(-6). Are j and p non-equal?
True
Suppose -2*l + 4 = 3*j, 2*l - 1 - 3 = 5*j. Which is greater: j or 2/111?
2/111
Let c be 0/((-4)/(-26) + 30/(-26)). Let d(l) = l + 9. Let z be d(-8). Suppose -k = -0 - z. Is k > c?
True
Let z = -17 - -9. Which is bigger: z or -10?
z
Let z = -289/15 + 59/3. Is 5.1 not equal to z?
True
Let q(z) = z - 2. Let i be q(5). Suppose -2*b + i*w + 16 = 0, 2*b = w + 3*w + 20. Which is bigger: b or 4?
4
Let h be 2 - (-8*1 + 2). Let j = -1 - h. Let f = j + 12. Do f and 3 have different values?
False
Let i(s) = s**2 - 5*s + 6. Let r be i(4). Let d be (-4388)/(-44)*(-5 + r). Let a = d - -299. Is -1 smaller than a?
True
Let b = -1/29 + -19/290. Is 1 greater than or equal to b?
True
Suppose 3*c + 2*c - 3*p - 16 = 0, -2*p = -2*c + 4. Let i be (-5)/c + 29/60. Let b = i + 4/15. Is b not equal to -1?
True
Suppose -4*r = -3*r - x - 1, 4*x + 20 = 0. Which is bigger: 1 or r?
1
Let a be 46/(-6) - (-4)/6. Let t(j) = -j**3 - 7*j**2 - 4*j + 6. Let f be t(-6). Do a and f have the same value?
False
Let d be 1/2*58 + 0. Let n = -28 + d. Is n at least as big as 2?
False
Suppose -9 - 18 = 3*w + h, 0 = -3*w - 2*h - 30. Let b be (-2)/(-5) - w/(-20). Is b != 0?
False
Suppose -5*z + 3*k = -10, 0 = 3*z + 3*k - 8 + 2. Suppose -z*l - 8 = -4*c, -2*c - 2*l - 3*l - 8 = 0. Which is smaller: c or 2?
c
Let n be 27/44*(-40)/(-15). Which is bigger: n or 3?
3
Suppose -5*r + 20 = -0*v + v, -4*v + 3*r - 12 = 0. Is v > -17?
True
Let t = 0.051 + 0.239. Let b = t - -11.71. Let s = -8 + b. Is 0 equal to s?
False
Let r be ((-2)/4)/(-2 + 161/35). Which is smaller: 0 or r?
r
Suppose 2*s - 16 = 6*s, i - 3*s = 4