-v*l - l + t = 0. Is l less than -7?
False
Let s(c) = 2*c - 27. Let x be s(9). Are x and -104/11 unequal?
True
Let b = 25.6 + -27. Let d = b - -1.3. Let a = -6.89 + -0.11. Which is smaller: d or a?
a
Let v(n) = -n**3 - 3*n**2 + 8*n + 15. Let s be v(-3). Do -10 and s have the same value?
False
Suppose o = -4*j + j - 4, 2*j + 4 = 0. Is 36/17 smaller than o?
False
Let z = -54 + 51. Let p(d) = 2*d**2 + 6*d - 1. Let n be p(z). Which is smaller: n or 1/24?
n
Let u = -1.837 + 53.717. Let a = -51 + u. Let j = -0.02 - a. Which is bigger: j or 1?
1
Let d = 1207/3 + -399. Let u = 299 - 300. Which is greater: d or u?
d
Let o = 311 - 201. Is 110 at most o?
True
Let c = 562/299 - 25/13. Is 4 at most c?
False
Let w = 1450 - 1446. Which is bigger: 101 or w?
101
Let u = -25.2 + 25. Let b be ((-6)/(-3))/((-2)/(-4)). Let v be 4/(-4)*(1 - b). Which is smaller: v or u?
u
Let k be 10/(-15)*(-15)/(-10) + 0. Let t = -25177/84 - -2323/12. Let s = 106 + t. Which is smaller: k or s?
k
Suppose -75 = -x + 3*a, 4*x - 3*a - 291 = -0*a. Which is greater: x or 71?
x
Let s be (30/(-75))/(5/2450). Which is smaller: s or -1?
s
Let o = -1452 + 4018/3. Which is bigger: -114 or o?
o
Let d(a) = -4*a**3 + 2*a**2 + 11*a + 21. Let m be d(-3). Do m and 114 have the same value?
True
Let b = -3 + 5. Suppose -b*j + 45 = 9. Suppose -k + 0*k + j = -2*o, 2*o + 24 = 4*k. Which is bigger: -9 or o?
o
Let x be (2 - 4)*-1 + 19 + -21. Which is smaller: -3/10 or x?
-3/10
Let p be (-8)/36 - ((-426)/216 + 0). Let h be (3 - 1)/(2 + 0). Is h less than or equal to p?
True
Suppose -4*g + 5*g - 2 = 0. Suppose -5 = 5*f + 5*h, 2*h = g*f + h + 5. Is f less than or equal to -5/6?
True
Let q = -68 - -43. Let j = -33 - q. Is j equal to -8?
True
Let o be ((-6)/27)/(4/84)*24. Which is greater: o or -111?
-111
Let b be (8/48*-6)/((-1)/(-5)). Which is bigger: b or 0?
0
Let r(p) = 21*p. Let d be r(2). Let g = d - 40. Suppose g*u + 25 = 17. Does -22/7 = u?
False
Let b(h) = 8*h**2 + 6*h + 13. Let j(u) = 7 - 14*u + 20*u + 7*u**2 + 5. Let i(s) = -6*b(s) + 7*j(s). Let t be i(-6). Is 3 >= t?
False
Let p = -0.9 - -5.9. Let h be (-85)/(-68) - 1/4. Let c be -1*h/((-4)/(-24)*3). Which is greater: c or p?
p
Let n = 32 + -73. Which is smaller: n or 3?
n
Let u(l) = 8*l - 28. Let k be u(3). Let j = -4348188/349 - -12459. Let d = -4522/1745 - j. Is k less than or equal to d?
True
Let r(c) = -13*c - 4. Let u be r(-3). Suppose -10*s + u = -5*s. Suppose 3*d - 102 = -5*z, s*z + 2*d = 4*z + 62. Which is greater: 0 or z?
z
Let y = -21 - -25. Suppose 4*z + 4*r = 5*z + 12, 0 = 4*z + r - 3. Suppose 0*l - 11 = 2*l + 3*q, z = y*l + q + 17. Is 0.2 >= l?
True
Let z(y) = -y**3 - 44*y**2 + y + 35. Let a be z(-44). Let d be 65/(-7) - (-4)/14. Are d and a unequal?
False
Let d(n) = 220*n + 222. Let s be d(-1). Suppose -5*g + 12 = -g. Is s bigger than g?
False
Let y(b) = b**2 - 8*b + 4. Let h be y(8). Let j be h/(-8)*4*8. Which is smaller: j or 0?
j
Let u = -0.81 - 8.04. Let j = 0.15 - u. Let s = j - 10. Which is bigger: s or 5/4?
5/4
Let r = 3083/27895 - -3/797. Let c = 27812 + -3893661/140. Let m = c + r. Which is greater: 1 or m?
1
Let t = -36 + 27. Let r be -1 - t/(18/16). Is 7 greater than or equal to r?
True
Let r be 3/(-2)*(-10)/3. Let p = 47 + -42. Does p = r?
True
Let b(u) = 32*u**2 - 19*u - 18. Let s be b(-1). Which is smaller: 34 or s?
s
Let l = 105 - 108. Let w = -63/44 + -3/44. Which is greater: l or w?
w
Suppose 180 + 191 = 7*v. Which is smaller: 54 or v?
v
Let m(b) = b**3 + 3*b**2 - 6*b + 10. Let s be m(-5). Is s less than or equal to -2?
True
Let z = 24 + -23.92. Let l = z - 0.28. Which is smaller: l or 2/15?
l
Let d = -0.04 + 0.04. Let v = -73/858 + 3/22. Which is greater: d or v?
v
Suppose l - 5*l + 92 = 0. Let v = 16 - l. Which is smaller: v or -9?
-9
Suppose 81 = -v - j + 192, -2*j = -2*v + 202. Is 106 greater than v?
False
Let d(o) = o**3 - 7*o**2 + 5*o + 6. Let w be d(6). Let t = 78/437 - 2/437. Which is bigger: t or w?
t
Let s(a) = -a**3 + 2*a**2 + 2*a + 4. Let p = -2 + 5. Let l be s(p). Let n = -95 + 101. Is l < n?
True
Let a be 1 + (-12)/18*6. Which is smaller: a or -0.13?
a
Let m be (78 - 74)/((-8)/(-2 - 0)). Do -2/71 and m have the same value?
False
Let y = 46 + -26. Suppose -d + y = 4*d. Suppose 2*v + 22 = -5*o, -d*v + 8*v - 4*o - 12 = 0. Which is bigger: 1 or v?
1
Let z(k) = -k - 11. Suppose 0 = 5*d - 5*y + 65, -5*d + d = -5*y + 55. Let r be z(d). Let m be (-2)/57*12/2. Which is smaller: r or m?
r
Let o be 6/7*7/(-5). Let f = 7/10 + o. Is 1/2 greater than or equal to f?
True
Let w = 49.6 - 49.5. Which is smaller: w or 0.77?
w
Suppose -2*z = 2*f - 10, 4*f - 5*z = -f + 15. Suppose s + r + 17 = 0, 0*r + 12 = -f*r. Let l = -11 + -3. Is s bigger than l?
False
Let a(t) = -t**2 - 21*t - 6. Let r be a(-8). Suppose r = -3*g - 244. Let p be g/87 + 4/3. Is -1 at least p?
False
Suppose -4*z = -6*z + 10, -4*b - z - 203 = 0. Is b less than -56?
False
Let t be 3/(-12) - (-15)/12. Which is bigger: 17 or t?
17
Let k(j) = -j**2 - 5*j + 9. Let a be k(-6). Suppose -6*d + 33 = -a. Is 8 bigger than d?
True
Let b be ((-2)/(-12))/(170/68). Let h be (-4)/(-18) + 66/(-54). Is h equal to b?
False
Let s be (-8)/(-1)*5/(-210). Suppose 5*j - 5*w = -2*w - 1, -j = 2*w - 5. Which is bigger: s or j?
j
Suppose j = -3*j, 2*v - 4*j = 18. Suppose 0 = -3*q - v, q + 3*q - 8 = 5*f. Let l be (28/12)/(f/6). Is 0.1 equal to l?
False
Let q = -32.8188 + -0.0812. Let y = 33 + q. Which is smaller: 3 or y?
y
Let a = -2003/5715 - -5/127. Does -1 = a?
False
Let k = 2 + -6. Let t be k/10 + 42/30. Are t and 8 non-equal?
True
Suppose -4*l = l - 20. Suppose 0 = 5*z - z - l. Are 1/85 and z unequal?
True
Let o be (-6)/(-18) + 2/(-69). Let s = -209/69 - o. Suppose 0*u = 4*u + 16. Are u and s non-equal?
True
Let s = -10 + 9. Let c be 12/s*1/(-3). Which is smaller: 8/3 or c?
8/3
Let t be ((-108)/(-6))/(57/(-102) + 1). Which is greater: -2 or t?
t
Let z = -108 + 106. Which is smaller: 3 or z?
z
Let b be 1 + 7 - 2/1. Suppose b*o + 6 = -4*u + 3*o, o - 11 = 3*u. Let m(a) = a + 1. Let f be m(-4). Is f greater than u?
False
Let b = -48 - -22. Let g = 33 + b. Is 0.1 greater than g?
False
Suppose -8*u = -12*u, -16 = 4*r - 2*u - 0*u. Let i be 3 + 1 + -2 - 4. Which is bigger: r or i?
i
Let h(x) = 2*x**3 + 2*x**2 + 13*x + 22. Let c be h(-2). Let p = -35 + 23. Is c != p?
False
Let x be 3 + (-1)/2*12. Is x <= -38/9?
False
Let w be (0 + 2)*(-1 + 2823/(-6)). Is -943 at most w?
True
Let q = 0.57 + 151.43. Which is smaller: q or 0.1?
0.1
Suppose -t + 11 = -5*u - 6, 3*t + u - 19 = 0. Let i = 7 - 11. Let o be (i - (-3 - -2))/(-1). Is t at least o?
True
Suppose -2*s + 104 = 4*u, -28*u + 24*u = s - 54. Is 58 > s?
True
Let o = 3997 + -19881/5. Let q = o - 20. Let a be 0*(1 - (-3)/(-2)). Which is bigger: a or q?
q
Let s(d) = 36*d - 753. Let r be s(20). Which is bigger: 1/4 or r?
1/4
Let w(m) = 2*m**3 - 49*m**2 - 33*m + 21. Let g be w(25). Let v = g + 530/3. Which is smaller: v or -3?
-3
Let o = -221 + 218. Let a = -3 - -2. Let c = a - -1. Which is bigger: c or o?
c
Suppose -5*t - 60 = -2*h + h, -3*h + 4*t = -158. Let n = 94.1 + -94.2. Is h at least n?
True
Let j(y) = -y**3 + 13*y**2 + 2*y - 14. Let m be j(13). Let o be 31*(-3)/9 + m/(-18). Is -9 less than o?
False
Suppose -y - 4*s + 14 = -0*y, -4*y + 107 = -s. Let j(a) = -a**2 + 17*a - 45. Let q be j(8). Is q greater than or equal to y?
True
Let r = 301 - 261. Which is smaller: 38 or r?
38
Let u be -4 + 6*(-92)/(-8). Let l be (-190)/u - (-3 + 0). Is l at most as big as 1?
True
Let b = 9.5 + -8. Let z = 0.5 - 2.3. Let o = z + b. Which is smaller: o or -2?
-2
Let k(o) be the third derivative of -o**6/120 - 3*o**5/20 - o**4/24 - 11*o**3/3 - 17*o**2. Let j be k(-9). Is j <= -11?
True
Let l = 0 - -0.2. Suppose 5*d = -2*v + 11, 3*v + 0*v - 13 = -4*d. Let t = v - 4. Are l and t nonequal?
True
Suppose -r - 2*q + 12 - 4 = 0, 5*r + 4*q - 16 = 0. Which is bigger: r or 1/109?
1/109
Let r = -6.8 + 3.4. Let j = 1007 - 1005. Is r < j?
True
Let f be 20 + -17 + 16/(-7) + -1. Let d(m) = -m**3 - 4*m + 1. Let i be d(3). Let c = i - -151/4. Which is bigger: c or f?
c
Let t = 45.9 + 10.3. Let z = 56 - t. Is z at least 0.13?
False
Suppose -3*y + 53 - 89 = 0. Is 0.01 equal to y?
False
Suppose 3*d = -3*z - 1794, 0 = 5*d - 3 - 2. Which is bigger: -601 or z?
z
Let o = 1127/1