 s**2 - 6*s - 4. Let l be z(6). Let t = -1801927/3360093 - -2/48697. Let h = -20/23 - t. Which is smaller: l or h?
l
Let y(q) = -q**2 - 9*q. Let t be y(-9). Let p be -16 - (1 + t) - (1 - 1). Is -18 not equal to p?
True
Let r be 42/(-4)*2/3. Let u be r/28 + (-9)/(-4). Is u smaller than -3?
False
Suppose 3*h = 2*k + 9, 0 = 17*k - 12*k + 2*h - 6. Is -2/1229 less than k?
True
Let t = 190103/1764 + -8/441. Let c(z) = 23*z - 5. Let q be c(5). Let i = t - q. Is i >= -2?
False
Let u = 41 - 31. Let y(h) = -h**2 + 9*h + 11. Let g be y(u). Are -1/21 and g nonequal?
True
Let g(r) = -2*r**2 + 23*r - 77. Let d be g(14). Which is smaller: -2 or d?
d
Let w = 31 + -48. Is -17 > w?
False
Let m = 79 - 75. Suppose -5*j - 10 = -q + m*q, -2*j = 4. Which is bigger: q or -2?
q
Let v = -2367 - -2366. Is -814 at least as big as v?
False
Let r = 893 + -916. Are -25 and r equal?
False
Let d = -17 - -166. Suppose 23 = q + 4*p - 0, -3*p = -4*q + d. Which is smaller: q or 37?
q
Suppose 11853 = -29*v + 746. Is -385 smaller than v?
True
Let p = 291 + -396. Is p at least as big as 3?
False
Let g be ((-68)/16)/(2/(-8)). Let i = 25 - g. Is i at least 6?
True
Let o = 179/12 - 15. Let z be ((-1)/(-9))/((-4)/6). Let k = z + o. Which is greater: -0.02 or k?
-0.02
Let h be (-17)/(-6 + (-34)/(-6)). Let q = 93 - 43. Which is greater: q or h?
h
Let k = 354 + -342. Which is smaller: 94/7 or k?
k
Let v be 1/(-5) - 3/(2850/(-1690)). Which is smaller: v or 3?
v
Let w(d) = -d**2 - 10*d - 5. Let k be w(-9). Let p = k + -5. Let t = 157/92 - 7/4. Which is greater: p or t?
t
Suppose 3*o = 2*k - 48, -4*k + 127 = -2*o + 31. Suppose -4*l + k = -8. Let q = -6 + 14. Is l != q?
False
Let a be 15/(-145)*(-4)/186. Let w = 13499/6293 - a. Which is smaller: w or 2?
2
Let q = 6229 - 56255/9. Does q = -21?
False
Let o = -0.1 - -0.2. Suppose -7*y + 10*y + 27 = 0. Let r = -3 - y. Which is smaller: o or r?
o
Let i = 488.1 + -482. Is i not equal to 1?
True
Let i(g) = -4*g**2 + g - 3. Let c be i(0). Is c < -3?
False
Let j(t) = -t**3 + 4*t**2 - 2*t - 1. Let m be j(2). Suppose -w = m*w - 4. Let d = -7 + 10. Are w and d nonequal?
True
Let m be 7/28 - (-9)/(-4). Let w be (-19)/(-38)*(m + 29/4). Which is bigger: w or 1?
w
Let b be (7 - 5)*(-2 - -4). Suppose -5*a = -2*n + 4*n - 27, 0 = -2*a - n + 11. Suppose -b*g - a*c - 17 = 0, 0 = -2*g + 2*c - 6 + 20. Which is greater: -1 or g?
g
Let m be (-7)/3*-1 + 2/(-6). Suppose 0*u - m*u - 6 = 0. Which is bigger: u or -5/2?
-5/2
Suppose 3*z - 9 = 6*z - 2*w, 0 = 4*z - 2*w + 12. Let p be (-15 + -3)*6/66. Is z greater than p?
False
Let t = -10 + 18. Suppose n - 3*q - 15 = q, 5*q = -10. Let k = t - n. Are k and -2/21 equal?
False
Let f be 4/(-8) + 399/(-6). Let k = -574 + 508. Which is bigger: k or f?
k
Let r be 1310/(-100) - -12 - 1/(-10). Let f be (-4)/(-6) + 26/(-33). Which is smaller: f or r?
r
Suppose 6*a + 3 = -3. Let r be (-4)/(-10) + (-31)/15. Is a >= r?
True
Let c = 15559/1550 + -318/31. Is 0 less than c?
False
Let b = -56 - -97. Let s be (-1 - 2) + (736/2)/8 + -1. Does b = s?
False
Suppose 33 = 17*j + 390. Is j >= 13/6?
False
Let y = -34989/8 - -4379. Is y greater than 6?
False
Let x = -11581959/50779 - -80/2987. Let q = 279 - 507. Let i = x - q. Which is greater: 1 or i?
1
Let w be (-1 - 21/3)*-70. Let g = w + -332. Let t be 64/g + 2/(-6). Is 1 at least t?
True
Let n = 27657 + -27634.038. Let u = 0.038 + n. Which is smaller: 0.1 or u?
0.1
Suppose -3*n = n. Suppose -3*h + n*i - 4*i = -28, 13 = h + 5*i. Which is greater: h or 9?
9
Let l(z) = 132*z - 54. Let o be l(0). Is -56 bigger than o?
False
Let n be (1272/9)/((-9)/(-27) - 1). Is -215 equal to n?
False
Let r(y) = 10*y - 90. Let t be r(9). Let b be ((-26)/6)/(2/18). Let p be t - (3 + b/12). Are -5 and p unequal?
True
Let b = 1.308 + -0.008. Let y = -0.04 + -0.26. Let j = y + b. Do j and 3 have different values?
True
Suppose 0 = z - 5. Let n be 1/(-2*1/(-26)). Suppose 4*b - 3*b = 5*w - 10, w = -2*b + n. Is z bigger than b?
False
Let i = -327567/2 - -10248209/62. Let c = -1511 + i. Let m = 430/341 + c. Is 1 > m?
True
Let u be (((-189)/(-18))/21)/((-4)/(-50)). Which is smaller: u or 5?
5
Let l(z) = z**3 + 5*z + 4. Let i be l(0). Let c be (-2)/(((-4)/(-5))/(-2)). Suppose 0 = 7*h - 4*h - 4*j + i, c*h + 18 = j. Is -3 at least h?
True
Let g(u) = 3*u**2 + 29*u + 23. Let z be g(-8). Let b be 32/(-2) + (1 - 3). Which is smaller: b or z?
b
Let x(b) = -18*b**2 - 13*b - 6. Let g be x(-4). Is -243 < g?
True
Let i = 4 + -4. Let z be 6/24*24/(-174). Is z > i?
False
Let r = -84 - -87. Suppose -g + r*o - 8 = 2, 10 = -g + o. Is g greater than -12?
True
Let f be 12/16*4/(-6). Suppose -3*b = 4*w + 23, 0*w + 3*w = 3*b - 12. Let d be 1 + ((-2)/b - 5). Which is greater: d or f?
f
Let u = 46 + -46. Is u < -1/12?
False
Let q(w) = w**2 + 33*w - 109. Let y be q(-36). Are y and -18/113 equal?
False
Let r = -24 - -29. Let v be (r/(-2))/((-2)/4). Let u(i) = i**3 + 2*i**2 - 3*i - 1. Let g be u(-2). Does v = g?
True
Let i be (5 + -501)*(-1)/2. Let c be (-20)/110 + i/(-330). Are c and 0 equal?
False
Let t = -1314 - -1346. Let f = 61 + -25. Let v = f - t. Do v and 1 have different values?
True
Suppose 4*s - 52 = -2*y, -3*y - 5*s + 39 = -34. Which is bigger: y or 19?
19
Let m be 364/(-520)*128/(-28). Suppose 4*i = -4*c + 7*i + 24, -5*i - 20 = 0. Is m not equal to c?
True
Let s(p) = -p**2 - 77*p + 878. Let y be s(10). Is 57 <= y?
False
Let d = -36.9 + 37.9. Is d less than or equal to -13?
False
Suppose 6*n - 5 - 97 = 0. Let g = 59 + n. Which is bigger: 75 or g?
g
Suppose 2*h + 3*k - 9 = 0, 0 = 5*h + 8*k - 3*k - 25. Let f be (-74)/4*(-4 + 2). Suppose -3*c = 2*m - 20, 5*c + 4*m + 3 = f. Is h at most c?
True
Let l(j) = -6*j + 37. Let a be l(-6). Is a not equal to 74?
True
Suppose 2*g - 5 = g. Let y(z) = -3*z**2 - 16. Let x(a) = a**2 + 4. Let o(b) = 9*x(b) + 2*y(b). Let w be o(0). Which is bigger: g or w?
g
Suppose -2*z = -7*z + 70. Let f = z + -8. Suppose 0 = u + f - 5. Which is smaller: u or -3/8?
u
Let v = 81 - 138. Let d = v + 55. Suppose 4 = -x + 2. Is x >= d?
True
Let w = 69 + -65. Suppose 47 = 5*b + 2*m, w*b + 0*m - 32 = -3*m. Which is greater: b or 7?
b
Let p be 28/(-35) - (-5)/((-50)/42). Suppose 2*r = 19 - 7. Let l = r + p. Which is smaller: 1/20 or l?
1/20
Suppose -3*z + 950 = -9*u + 13*u, 3*z - 2*u - 938 = 0. Which is smaller: 315 or z?
z
Suppose 101*c = 105*c. Let m be 4/2 - 39/12. Which is smaller: m or c?
m
Let o = -141 - -140. Is o greater than or equal to -1/554?
False
Let u = -418 - -417.98. Let w = 0.18 + -0.06. Let m = u + w. Which is smaller: m or -1?
-1
Let s(d) = 2*d**2 - 57*d + 248. Let p be s(5). Is 13 smaller than p?
False
Let t be (-963)/(-99) + -8 - 1. Which is smaller: 1/2 or t?
1/2
Let b = 174 + -45. Let o = 237 - b. Is o bigger than 0.1?
True
Suppose 3*t + 4*j + 8 + 8 = 0, t - 8 = 2*j. Let b = -19 - -24. Suppose -2 = -b*i - 7. Are i and t equal?
False
Suppose 0*t = 5*t + 15, 0 = 4*h - 2*t - 1018. Which is smaller: h or 254?
h
Let l be 127/(-3) - 4/6. Suppose 45*a - 47*a - 91 = t, 3*a + 147 = -5*t. Which is smaller: l or a?
a
Let z(j) = -j**3 + 3*j**2 + 2*j. Let h be z(4). Let m = -11 - h. Let q = -2 - m. Which is greater: q or 1/7?
q
Let d(x) = -x - 24. Let l be (1 - 2)*3 - 8. Let j be d(l). Let y = j + 13. Is 2/3 greater than or equal to y?
True
Let l = 14 - 14.04. Let b = l - 0.06. Let a be (1/(-2))/(22/8). Which is bigger: b or a?
b
Let j be 6/(-8) - 621/(-252)*-7. Is -88/5 at least j?
True
Let p = -1 + 4. Suppose -5*x - 5 = p*j, 2*j + 37 = 7*j - 3*x. Let b be (-2 - -14) + -2 + j. Is 15 less than b?
False
Let h = 0.029 + 0. Let s = h - 0.029. Which is greater: s or 0.61?
0.61
Let j be 4 + 52/(-8)*2. Let y(s) = s**2 + 10*s + 11. Let w be y(j). Let z be ((-3)/1 + w)*11. Is z less than -11?
False
Let k = 0.17 - 0.27. Do k and -174 have the same value?
False
Let w = 2.8 - 0.8. Suppose -v = 26 + 35. Let a = -428/7 - v. Does a = w?
False
Let k(b) = 30*b - 55. Let q be k(2). Which is bigger: q or -14?
q
Let d(l) = -2*l - 11. Let r be d(-8). Suppose x - r*x = 28. Which is smaller: -5 or x?
x
Let b(t) = -t**3 + 16*t**2 - 19*t - 20. Let x be b(15). Let z be (-8)/(-44) + x/319. Which is smaller: z or -1?
-1
Let t(i) = -i**3 + 5*i**2 + i - 1. Let k be t(5). Let p = -9649/15 - -645. Let q = p - 197/105. Which is smaller: q or k?
q
Let