 + 4. Let b(p) = -13*w(p) + 6*x(p). Let j = -1 + 0. Let r be b(j). Is r less than -3?
False
Let s = 153 - 167. Let d = -1.65 - 0.05. Let k = -0.7 - d. Which is smaller: s or k?
s
Let d = 1212.7847 + 0.2153. Is 0 less than or equal to d?
True
Suppose -5*m - 5*x + 8*x = 50, -2*x + 24 = -2*m. Let c = m - -19. Which is bigger: 11 or c?
c
Suppose -2*h = -1 + 3, 0 = 3*i + 5*h - 1. Let s be (-3)/(-8) + (0 - 216/64). Is s greater than i?
False
Let f = 106 - 105.47. Let h = f + -0.63. Which is smaller: h or 25/2?
h
Let t = -1173083596/57 + 20581150. Let r be 5/1 - (-11696)/16. Let a = t - r. Are a and 1 non-equal?
True
Let w = 1374 + -1362. Do 3 and w have different values?
True
Let l be (0 - -5) + (0 - 0). Suppose 0 = -3*z + 2*c - l, 2*z - 4 - 11 = 5*c. Are z and -4 equal?
False
Suppose -5*l = -l + 3*f - 31, 0 = -4*l - f + 37. Let m = l - -3. Suppose 3*j + 55 = 52, 3*j = 4*c - 51. Which is greater: m or c?
m
Let q(o) = -11*o + 396. Let c be q(37). Does c = -2?
False
Let u = 4 - 2. Suppose -12 = -u*y - 2*y. Suppose -z = -5*n + 3*z + 20, 5*n - y*z - 15 = 0. Which is bigger: 3/13 or n?
3/13
Let o(y) = y**2 + 10*y - 9. Let x be o(-11). Let l be 0 + (-3 - -3) - x. Let p be -4 + (l + 5)*1. Which is greater: -8/7 or p?
p
Let i(n) = 11*n - 22*n**2 + 21*n**2 - 9*n. Let m be i(2). Which is greater: m or -5?
m
Suppose -5*j - 55 = 95. Let i = 7.2 + -31.2. Let m = 24 + i. Is j bigger than m?
False
Suppose 29*a = 32*a + 2*r + 10, 0 = 3*a + r + 11. Is 1.8 <= a?
False
Let g be (-6)/10 - 24/60. Let w be (-8)/12*g/((-4)/6). Are w and 0 non-equal?
True
Suppose 3*h = 4*t - 21 + 12, 0 = 3*t - 9. Let n be (87/(-2))/((-323)/(-4)). Let d = n - -8/19. Is h <= d?
False
Suppose 0*u + 3*u + 4*u = 0. Which is greater: -6/23 or u?
u
Let q = 0.0265 - 0.0265. Let s(t) be the third derivative of 3*t**6/20 - t**5/60 - t**4/24 - t**3/6 - 2*t**2. Let f be s(-1). Are q and f non-equal?
True
Suppose 0 = 3*l - 0 - 15, -17 = -4*n - l. Suppose -y = -2*r + 6, 3*r - 16 = -r + n*y. Which is greater: 0.6 or r?
r
Let x(o) = 18*o**2 - 8*o + 10. Let c be x(6). Let s be (-16)/(-40) - 264/c. Which is smaller: s or 0?
s
Let g be ((-474)/(-126) + -3)*-15. Is g < -11?
True
Let q = -0.08 + -0.75. Let n = -1.23 - q. Which is smaller: -0.05 or n?
n
Let n = 201.2 + -201. Which is smaller: 301 or n?
n
Suppose 0 = 2*f + 4, 2 = -2*r + 5*r - f. Which is bigger: 12/31 or r?
12/31
Let g(i) = i**2 - 1. Let t be g(-1). Let y(b) = -b**3 - 3*b**2 + 16*b + 41. Let r be y(-4). Is r less than t?
True
Suppose -5*k = 4 - 9. Let w be 1 - 1*(-3 + k). Which is greater: 4 or w?
4
Suppose 4*p - 8 - 48 = 0. Let t(k) = 3*k - 35. Let v be t(p). Let f = 0.03 - 0.13. Which is greater: f or v?
v
Let d = -1919/44354 + -1/662. Are 1 and d non-equal?
True
Let p = 310 - 190. Let l = 118 - p. Which is smaller: -20 or l?
-20
Suppose -15 + 53 = -2*l. Which is smaller: l or -252/13?
-252/13
Let p be (-3*2/(-198))/((-7)/(-12)). Is 1 < p?
False
Let q = 85/582 - -2/97. Which is smaller: -114 or q?
-114
Suppose 0 = -23*s - 206 + 873. Which is bigger: s or 22?
s
Let p = -31.5 - -40. Let u = -31.5 - p. Let k = -40 - u. Which is greater: -1/5 or k?
k
Let h = 106 + -90. Let p be 7/(-9) + -1 + h/(-72). Is 1 < p?
False
Suppose 5*b + 2*x = 21 + 4, b - 5 = 2*x. Suppose -5*g + i = 6*i - 90, -3*g = b*i - 60. Is 3/4 < g?
True
Let q = 27 + -49. Let l = q + 24. Do l and 0.2 have different values?
True
Let w = 2.23 - 6.23. Is w at least -1/3?
False
Let l be (-87060)/360*(0 - -2). Is l at least as big as -485?
True
Let m(t) = -4*t + 36. Let z be m(9). Which is smaller: 1/11 or z?
z
Suppose 3 = 5*x - 2. Let i be 2/24*3 - 2/8. Suppose -r + i = x. Which is smaller: 2/9 or r?
r
Let w = -883.3 - -883. Which is smaller: w or 0.0113?
w
Suppose -13 = -m + 3. Let s be m/(-12) + 4/(-6). Let q be (6/(-81))/(s/3). Which is greater: q or -1?
q
Let i be ((-125)/(-175))/((-5)/(-35)). Do i and -59 have different values?
True
Let t be ((-2)/6)/(-10*19/(-570)). Does t = -14/149?
False
Let l = -479/718 + 1/2154. Is 1.453 bigger than l?
True
Let z be -6*6/27*-6. Let n(t) = -t**2 - 6*t + 5. Let k be n(-6). Is k less than z?
True
Let s be (-530)/8*13/5. Which is smaller: -173 or s?
-173
Let b(w) = -w**2 - 4*w + 26. Let o be b(-7). Suppose 5*d = 3*a - 51, o*a + 3*d - 5*d - 66 = 0. Is 4/5 <= a?
True
Let d be ((-30)/(-27) - -3)*-3. Is -12 equal to d?
False
Suppose 0 = 11*g - 1 - 87. Which is smaller: 4 or g?
4
Let y be 4 - (7 + -2 - 23). Let n(u) = u**2 - 24*u + 40. Let k be n(y). Which is smaller: k or -13?
-13
Let r = 0.04 + 39.96. Let c = -39 + r. Which is smaller: c or -1/2?
-1/2
Let v(q) = 5*q - 6. Let h be v(1). Let b be 1 + (357/50)/(-7). Do h and b have the same value?
False
Let d = 12 - 7. Suppose 0 = -4*s + 4*q + 4, -d*s + 2*q + 1 = -1. Let v = 62 + -184/3. Which is smaller: s or v?
s
Let k = 50811/49 - 1037. Let w be 1434/2646*-3 - -2. Let g = k + w. Is 0.1 <= g?
True
Let v be (-4)/(-8) + (-18)/(-4). Let x be -4 + 6 - -2 - v. Let g = 296 - 3850/13. Which is smaller: x or g?
x
Suppose 0 = -3*z + z + 8. Suppose 4*j - 24 = -4*t, z*j + 0*j = 2*t + 18. Which is smaller: 0 or t?
0
Let h(b) = -4*b**2 + b + 10. Let v be h(3). Let w = -23 - v. Is -8/21 equal to w?
False
Let r be (-2 + (-122)/(-7))/(517/(-1974)). Which is smaller: r or -59?
-59
Let w(d) = d**3 + 4*d**2 - 53*d - 64. Let p be w(-9). Let x = -1/154 - -578/77. Is p greater than x?
True
Suppose -16 + 34 = -18*t. Let p be (-600)/(-299) - (-6)/(-3). Are t and p non-equal?
True
Suppose 5*l + 25 = 0, q - l = -4*q. Let u be (-18)/40 - (-1)/5. Which is greater: u or q?
u
Let a(b) = b + 3. Let r be a(-3). Let i be 1/4 - (4 + 2230/(-8)). Let t be (-2)/(-10) - ((-195)/i + 2). Is r >= t?
True
Let j be 4/(-20) - (-81)/5. Let r be (3 - 9 - -3) + j. Suppose -4*z - r = -1, 4*z = h - 4. Is -8 < h?
False
Let s be 6*1/5*(-22)/4. Let k = -7 - s. Which is greater: k or -1?
k
Let c be ((-1)/2 + -4)*-2. Let n = -0.37 - 3.73. Let t = n - -4. Is c greater than t?
True
Let j be 688/144 - (-4)/18. Suppose j*z - 21 = -2*z. Suppose -1 = z*h + 2*i + 2, i + 3 = 0. Which is greater: h or -2/7?
h
Let y = -10.82 + -3.18. Let x = -1 + 3. Let b = x + -2. Do y and b have the same value?
False
Let x(c) = 19*c**3 + 2*c - 2. Let a be x(1). Which is greater: a or 1?
a
Suppose x = -12 + 2. Let g = x - -12. Let m(a) = a**3 - 3*a**2 + 2*a. Let l be m(g). Is -2/15 < l?
True
Let s(i) = i**3 - 19*i**2 - i + 26. Let k be s(19). Let r be (-1)/((35/(-20))/k). Is r equal to 6?
False
Let n be 3 - -3*(-8)/12. Suppose -11 = -t + n. Let s be 1*-2*(-24)/t. Which is smaller: 3 or s?
3
Let m = -1/574005 - 18391120163/21238185. Let l = m + 866. Suppose d - 2*v + 4*v = 18, -2*d - 3*v = -27. Which is bigger: d or l?
l
Suppose -6*k = -4*k - 10. Suppose -8 = 4*f - k*f. Let o(w) = w - 7. Let a be o(f). Do a and 1/8 have the same value?
False
Suppose 10*i - 7*i - 2*z - 336 = 0, 3*z = -5*i + 579. Which is smaller: i or 113?
113
Suppose 6137 = -2*t + 531. Let s = t - -25199/9. Is s at least as big as 1?
False
Suppose -5*f = -3*f - 16. Let z be f/(-36) - 276/(-270). Is z < 0?
False
Let p = -28 - -27. Let r = 4 - p. Which is bigger: -0.1 or r?
r
Let p be (-4)/(-26) - 1030/(-65). Suppose -107 = 3*g - s, -4*s + 185 - 72 = -3*g. Let d = g + p. Do -20 and d have the same value?
False
Let i = -5.08 - -29.18. Let s = i + -4.1. Let a = 20.06 - s. Is a < -2/11?
False
Suppose 0 = -h + 1, -4*j + 36 = -2*h + 22. Is 4 not equal to j?
False
Let w(y) = -y**3 + 6*y**2 - y + 3. Let q be w(6). Let g(j) be the third derivative of j**4/24 - j**3/2 - j**2. Let c be g(q). Which is smaller: c or -4?
c
Let z(j) = j**2 + 20*j + 89. Let r be z(-13). Is -39/5 < r?
True
Suppose 114*u + 342 = -3*i + 117*u, 3*i - 5*u + 342 = 0. Which is bigger: i or -2?
-2
Let q be (-177)/45 - (-6)/45. Let o = q + 143/35. Is 0 < o?
True
Suppose 4*i - 7 = -35. Let p(t) = -t**2 - 4*t + 2. Let l be p(i). Which is smaller: l or -20?
-20
Let f = -453 + 453. Which is bigger: f or -874?
f
Let h be (-4)/18 + (-264022)/738. Let z = 358 + h. Which is greater: z or 0?
z
Let d be (-2*(-47)/(-1))/(-40 - -6). Let g = 134/153 - d. Which is smaller: -2 or g?
-2
Let r be 7/7*-3 - -6. Let q(c) = -c**3 + 7*c**2 - 6*c + 3. Suppose 2*a - 8 = 4*s, 5*a - 16 = -4*s + 18. Let v be q(a). Is r smaller than v?
False
Let y be (0 + -1)*1*-37. Let a = 426/1