. Let w be 3 + 0 + (2 - 7). Which is greater: w or l?
w
Let k = 2069 + -490355/237. Is 0 less than k?
False
Let m = -7 - -34. Let w = 27.16 - m. Which is greater: 2/3 or w?
2/3
Let j be (-35)/28 - 2*(-524)/736. Is j greater than -0.3?
True
Suppose 0 = -3*q - 3*w + 5*w - 4, 3*w = -2*q + 6. Let t be 69/9*(10 + (q - 1)). Is 70 > t?
True
Let o be (36/48 - (-134)/(-8))*-4. Is 578/9 bigger than o?
True
Suppose 5*u - 25 + 10 = 0. Let j be (-7)/(-42) + (-2)/u. Do -1 and j have different values?
True
Let t be (-108)/(-14) - 14/(-49). Let d be t*(9/(-44))/(-3). Which is smaller: d or 1?
d
Let y = -411 - -440. Which is smaller: y or -4?
-4
Let w be -2 + -3*136/(-168). Is 57 != w?
True
Let v(w) = -3*w + 12. Let o be v(4). Let j be 1 - 18/(-14)*(-10)/15. Which is bigger: j or o?
j
Let b = 2837 + -14141/5. Is 10 > b?
True
Let y(s) = -s**3 + 7*s**2 - 6*s - 1. Let d be y(6). Let a be 54/12*4*d/(-3). Which is smaller: 2/7 or a?
2/7
Let u = -1 - -3. Let l be (-6)/9*(-1)/u. Let v = 13.99 + -14. Which is greater: v or l?
l
Let l = 17921 - 448172/25. Is -7 not equal to l?
True
Suppose 4*n = -3*q + 31, q = 2*n - 0*q - 13. Suppose u = v + 5, -n = 3*u - 2*v - 27. Which is greater: u or 8?
u
Let s(c) = c**3 - 4*c**2 + 3*c + 4. Suppose 5*h - 57 = -4*a + 5*a, a + 45 = 4*h. Suppose -5*o + o + h = 0. Let u be s(o). Which is bigger: u or 1?
u
Let x = -1147 + 1146. Is 1/300 at least x?
True
Suppose 0 = -3*v - 4*a - 2, 3*v + 5*a + 116 = 118. Is -80/11 greater than or equal to v?
False
Let q = -716/5 + -1862/15. Let f = 274 + q. Which is greater: f or 8?
8
Suppose -2*t - 5 = 11. Which is bigger: t or 9?
9
Suppose 0 = 3*m + 3*n + 60, -n + 70 = -68*m + 63*m. Let p(v) = 4*v + 4. Let f be p(-5). Is m >= f?
True
Let c(y) be the first derivative of y**3/3 + 7*y**2/2 + 4. Let u be c(-4). Let p be (u/216)/(1/4). Is p < -6?
False
Suppose 0 = -7*d + 2*d. Suppose -7*f - 2*h + 16 = 0, f + 4*h + 0 - 6 = 0. Is d less than f?
True
Let a(y) = -15*y - 76. Let v be a(-15). Let g = 182 - v. Is g at least 33?
True
Let v be (-56)/(-21) + 4/(-6). Let r = -18.9 - -0.9. Let f = 17.1 + r. Which is greater: v or f?
v
Let j = 12915/8 + -1618. Which is smaller: -4 or j?
-4
Suppose 0 = -a - 8 - 34. Is -45 at most as big as a?
True
Suppose 12 = 2*c + 3*b, -4*c - b - b + 8 = 0. Is 7/39 less than c?
False
Suppose -10 = -b - 2. Suppose -r - 5 + b = 0. Suppose -3*q - r*g + 8 + 1 = 0, 5*q - 8 = 2*g. Is 3 less than or equal to q?
False
Let j be (((-18)/8)/3)/(-3). Let c = -30.03 + 0.03. Let l = c + 30. Is l > j?
False
Let g = 23 + 13. Which is bigger: 38 or g?
38
Let f(i) = i**3 - 5*i**2 + 5*i - 3. Let r be f(4). Let x be (-3 + (-342)/(-120))*72/(-45). Do r and x have the same value?
False
Let i = 82/95 - 5/19. Is i greater than 2/21?
True
Let b = 0.82 - -0.08. Let t = b + -2.2. Let d = t - -8.3. Is 0.1 greater than or equal to d?
False
Let m = 0.057 - 0.157. Let d(p) = 26*p**3 - 5*p**2 - 2*p - 1. Let x be d(-3). Let w = 8168/11 + x. Do m and w have different values?
True
Let y = -38 - -36. Suppose 0*t + 2 = 2*t. Let j = -1 + t. Which is bigger: j or y?
j
Suppose f = 6*f - 180. Let n = f - 50. Let x = 41/3 + n. Is -1 greater than or equal to x?
False
Suppose -22*s + 84*s - 682 = 0. Which is smaller: -11 or s?
-11
Let x(r) = 2*r**3 - 2*r**2 + 6*r - 2. Let a be x(4). Let b = a - 122. Let j be ((-2)/2)/((-2)/(-6)). Is j less than or equal to b?
False
Let f = -0.39 - -59.39. Let y = f - 58.6. Which is smaller: -6 or y?
-6
Let d(x) = -3*x**2 - 57*x + 397. Let c be d(7). Which is greater: -148 or c?
-148
Let i(j) = -j - 22. Let w be i(-22). Which is smaller: -6/67 or w?
-6/67
Let u = 683 - 682. Which is greater: u or 1/650?
u
Let a be (8/(-20))/(1/(-15)). Let h(v) = -11*v + 28. Let r(m) = -5*m + 14. Let s(w) = 3*h(w) - 7*r(w). Let p be s(a). Is p smaller than -1/2?
True
Let l(s) = s**2 - 8*s + 8. Let r be -2 - (13 + (-4 - -1)). Let c = -5 - r. Let u be l(c). Is 1/10 at least u?
False
Let i = 1642.9 + -1645. Is 0.1 at most i?
False
Let k(a) be the second derivative of 1/12*a**4 + 0 - 4*a - 2*a**2 - 1/2*a**3. Let w be k(4). Is w less than 2?
True
Let q = 379 + -379.1. Which is smaller: q or 0.0981?
q
Let f = -8.58 - -0.69. Is f at most -2?
True
Let p be 28/(-49)*(-14)/4 - 18. Let b be (-14 + 0)*(3 + -2). Is b smaller than p?
False
Suppose 82 = -5*d + v, d + 4*v + 46 = -d. Let k = 17 + d. Let x be (k - 3)/(9/(-15)). Is -2 < x?
True
Let b be -1*2*188/8. Is b equal to -45?
False
Suppose 4*r + j = -3, r - 3*r = -4*j + 24. Let p = -0.34 - -0.42. Which is greater: r or p?
p
Let z = 1169 + -5874/5. Suppose -12 = 4*r + 5*q + 11, 2*q + 33 = -5*r. Are r and z nonequal?
True
Let z = -0.036 - 0.064. Let c be (-192)/540 - (-4)/18. Is c greater than z?
False
Let s be 6/(-63)*(1 + (-5 - 3)). Is 203 at least s?
True
Let g(a) = a + 4. Let s be g(-5). Let p be ((-13)/91)/((-24)/42). Which is greater: s or p?
p
Let x be (42/(-10))/((40/(-75))/(-8)). Which is bigger: x or -68?
x
Let u = 8 + -12. Let p be (-7)/(-70)*30/u. Is -1 not equal to p?
True
Let t be -2 + 0 + (3/1 - 1). Let u be 21/49 + (-10105)/(-56). Let j = u + -180. Which is smaller: j or t?
t
Let k = 328102013/935391 + 8/55023. Let y = k - 351. Which is smaller: y or -1?
-1
Let r = 37.08 + -36. Let w = r - 0.18. Is 2/5 at most w?
True
Let h(q) = 9*q - 188. Let u be h(22). Which is bigger: u or -0.8?
u
Let k = 0.12 - 20.12. Let u = k - -19. Which is bigger: 0 or u?
0
Suppose n - 4*s - 60 = -3*n, -5*s + 96 = 4*n. Let o = n + -24. Let f(d) = -2*d + 1. Let g be f(o). Are g and 12 equal?
False
Suppose -13*q = -9*q - 5*r - 86, -5*r = 5*q - 130. Which is bigger: q or -13?
q
Let f be (-24)/735*(-14)/(-12). Which is smaller: f or -1?
-1
Let z(m) = -7*m**2 - 10*m - 9. Let f be z(-8). Let o = -1871/5 - f. Which is greater: 2 or o?
o
Let p = -2435 + 28847/12. Let y = p + 103/4. Which is greater: -4 or y?
-4
Suppose 0 = -4*r + 6934 + 18662. Let v = -1964495/307 + r. Let f = v - -3999/1228. Which is bigger: f or 4?
4
Let k be -41 - ((1 - 3) + 1). Let h be k/(-12) + (-1 - 0). Let x be 2/10 + (-9)/(-5). Is h <= x?
False
Suppose v + 3 = -2*v. Let f = 2 - -10. Suppose 0*o = 4*o + f. Is v bigger than o?
True
Suppose -3*s = -2*s - 8. Suppose -5*v - s = -7*v. Let c be (-30)/(-24) - (-7)/v. Are c and -5 equal?
False
Suppose 0 = j + 4*j - 10. Suppose -6 = -2*y - 2*d, 3*y + j*d + 2*d = 10. Suppose -1 + 13 = 4*g. Which is greater: g or y?
g
Let i(h) = h**2 - 10*h + 13. Let v be i(9). Let u(s) = s**2 + 8*s - 20. Let y be u(2). Is y at most v?
True
Suppose 331 = -3*v + y, -3*y = v + 3*v + 450. Which is smaller: v or -110?
v
Let k be 2/14 - 1624/49. Let p = -32 - k. Is 3 less than p?
False
Let l be 1/(-2) - 20/(-32). Which is bigger: -6 or l?
l
Let p = 0.66 - 0.36. Is 1/26 <= p?
True
Let g = -22.82 - 0.18. Let u = -11 - g. Let d = u + -12.2. Which is bigger: d or 0.2?
0.2
Suppose -11*b + 737 = -1045. Is b at least 163?
False
Let d be (-6)/4*56/(-21). Suppose d*c = c. Suppose 3*s = -c*s. Which is smaller: s or -6/11?
-6/11
Suppose 4*x - 4*t = 10 + 18, 0 = -4*x + 2*t + 32. Which is smaller: x or 2?
2
Let t = -216/25 - -2781/25. Which is smaller: t or 102?
102
Let j be (-1406)/(-57) + (-4)/6. Let z be 16/j - (4/6)/(-2). Let t = -3 - -2. Is t less than z?
True
Let c be 9 + -7 + (-46)/14. Let j = 162/77 + c. Does 2 = j?
False
Let m(o) = o**3 - 14*o**2 - 12*o - 41. Let s be m(15). Suppose 2*k - 4*g - 47 = 57, 2*g + 190 = s*k. Is k bigger than 48?
False
Suppose -s + 25 = 4*s. Let o be (-29)/s + 8/10. Which is bigger: o or 0?
0
Let a = 1300 - 422498/325. Which is smaller: -1 or a?
-1
Let w = -23.2 + 23.41. Let v = 0.611 + 3.599. Let j = v - w. Is j at most as big as -1/6?
False
Let v = 735 - 734. Is 35 greater than or equal to v?
True
Let q(w) = -w**2 + w + 31. Let u be q(6). Does u = 2/439?
False
Let u = -529.07 + 996.9. Let c = u + -470. Let x = 0.17 + c. Is x greater than or equal to 0.7?
False
Let v(r) = 5*r - 1. Let z be v(-3). Let i = 42 + z. Let k = 26 - i. Is k != 5/7?
True
Let w(h) = -h**2 - 3*h + 1. Let c = -13 - -9. Let y be w(c). Which is smaller: y or -16/7?
y
Suppose 0 = 5*h + 5*y + 33 - 23, 4*h - 16 = 4*y. Is -2/817 less than or equal to h?
True
Let o = -0.169 + 0.149. Let x = 67 + -69.9. Let m = -3 - x. Is o less than m?
False
Let k(a) = a**2 - 7*a + 15. Let n be k(11). Which is smaller: n or