6). Let j(w) = w**3 - 23*w**2 - w + 24. Let b be j(23). Which is smaller: t or b?
t
Let i(y) = -2 - y**2 + 7 + 3 + 6*y. Let j be i(7). Let w be (-2)/8 + (-1)/(-4). Is j smaller than w?
False
Suppose 954 = -23*w - 702. Is -77 != w?
True
Let g be (-14)/16 + 40/(-320). Is g less than 5/121?
True
Let x be 712/6*(-39)/(-13). Is x smaller than 357?
True
Let x(b) = b**3 - 4*b**3 + b**3 + b**3 - b**2 + 10. Let j be x(0). Suppose -5 = 5*v, -2*v = -o + 10 + 1. Which is bigger: o or j?
j
Let u(x) = -x - 13. Suppose -v + 5*s = v + 39, 3*v = -3*s - 27. Let w be u(v). Does w = -2/5?
False
Suppose s + 6 = 4*s. Let o(m) = 5*m**2 + m - 2. Let q be o(s). Are q and 19 nonequal?
True
Let k(v) = -21*v + 170. Let g be k(-14). Which is bigger: g or 465?
465
Let m = 31 - 38. Let x be m/63 - (-20)/18. Which is bigger: 6/19 or x?
x
Suppose -3*y + 6 = 0, 4*y = -2*x - x + 2198. Is x less than or equal to 0.1?
False
Suppose -2*x = -p - 3, 0*p + 3*p - 21 = -4*x. Are x and 23/12 nonequal?
True
Let d be (6 - -2)/40 + (-161)/5. Let a = -58 - d. Which is smaller: -27 or a?
-27
Let s be -4 + (-2139)/54*-3. Which is smaller: s or 114?
114
Let a(x) = x**2 + x - 12. Let b = 18 + -12. Let p be a(b). Let m be (-16)/(-120) + 8/p. Which is smaller: m or 2?
m
Suppose 4*d - 32 = s - 5*s, -20 = 4*d. Suppose m - 16 = 5*f, 3*m + 3 = -0*m - 2*f. Let j be (-2)/m - -1*16. Which is smaller: j or s?
s
Let u be 1 + -1 + 6/75. Suppose -5*l + 13 + 2 = 0. Let j(a) = a**3 - 4*a**2 + 3*a. Let v be j(l). Which is greater: v or u?
u
Let k = -7 + 11. Let l(a) = 9*a - 4. Let v be l(k). Is 31 <= v?
True
Let m be ((-4)/(-52)*-1)/(11/22). Let x be (-4)/(-3)*45/10. Do x and m have the same value?
False
Suppose -4*y + 2 = 4*v - 34, -4*y - 2*v + 26 = 0. Let d(s) = s**2 + 1. Let a be d(-1). Suppose y*o = 6*o - a. Is o < 1?
False
Let h = -27.96 + 28. Let x = -9 - -8.91. Let p = x + -0.01. Which is smaller: p or h?
p
Let q = -22/21 - -10/21. Let n be 0/((-5 + 3)/(-1)). Is n less than q?
False
Let o = 0.74 - -0.06. Let t = -1.7 + 2.5. Let s = t - o. Is -7 not equal to s?
True
Let c = 1032 - 1270. Is -0.1 equal to c?
False
Let l = 21 - 14. Let s(d) = d - 4. Let v be s(l). Suppose -4*t + 20 = 4. Is t bigger than v?
True
Suppose -17 = 4*x - 3*s + 42, -5*x - 69 = s. Let c be (x/6)/((-7)/42). Let i = -9 + c. Is -1 greater than i?
False
Let l(h) = -h - 4. Suppose 0 = -4*y - t - 47, 0 = -3*y - 3*t - 6 - 18. Let p be l(y). Is p at least 7?
True
Let r = 6/17 - -24/221. Let c = -27.8 + 27.7. Is c greater than or equal to r?
False
Let o(c) = -3*c**2 - 6*c + 1. Let j(p) = 7*p**2 + 11*p - 2. Let f(u) = 6*j(u) + 11*o(u). Let d be f(-1). Which is bigger: d or 7?
d
Suppose 0*q = 2*l - q - 9, 5*l - 24 = 4*q. Suppose -4*x + 55 = -5*w, -3*w - 7*x = -2*x - l. Is w greater than -5?
False
Suppose 3*a - 400 = 5*a. Let f = a + 595/3. Suppose -2*u - 4 = 2*u. Is u > f?
True
Let i(k) = -2*k + 53. Let p be i(8). Is 38 greater than p?
True
Let g be (-1134)/(-10) + 135/(-25) + 5. Suppose -3*f - 105 = p, -4*f - 3*p - 27 - g = 0. Is -35 >= f?
True
Let v be -2 + (-5)/(20/(-24)). Let r = 8 - v. Let p be ((-4)/16)/(r/(-24)). Which is smaller: -3 or p?
-3
Let k(g) = g**3 - 9*g**2 + g + 7. Let m be k(9). Let f = m + -3. Let t(z) = -z**2 + 13*z + 6. Let j be t(f). Do j and 6 have different values?
False
Let i = 2 + 3. Suppose 2*r + h + 4*h + 60 = 0, 76 = -3*r - 4*h. Let p be r/130 + (-2)/(-13). Which is greater: i or p?
i
Let d be 6 + (-96)/40 - 3/5. Is 33/13 <= d?
True
Let p(u) = -38*u - 563. Let s be p(-13). Is -79 >= s?
False
Let y = -6 - -31. Suppose y = 5*o - 4*v, -2*o + 0*o - 8 = 2*v. Let a = 185/141 + -2969/1833. Is o at least as big as a?
True
Let z = 116.808 + 10.252. Let n = z + -126. Let r = n + -1. Which is bigger: r or 1?
1
Let p be (16/(-32))/((-1)/24). Is 15 equal to p?
False
Let n = -3 - -3.1. Let m = 1497.2 + -1497. Do n and m have different values?
True
Let j(o) = -o**2 - o - 1. Let u be j(2). Let x = 15 - 36. Let n be 4/14 - (-146)/x. Which is smaller: u or n?
u
Suppose 4*m = -4*s + 341 - 2481, 0 = -4*s + 5*m - 2122. Is s greater than or equal to -533?
True
Let w = -23/1062 - 2/59. Is 1 not equal to w?
True
Let h be 1 + 12 + -1 - 3. Let y be 3/(-1) + (-1 - -80). Let a be y/10 + 6/15. Do h and a have different values?
True
Let l = -35 - -349/10. Let w(x) = -2 + 1 - x + 0 + 0*x. Let k be w(-2). Which is greater: l or k?
k
Let x = -14867/35 - -3154/7. Let y = 26 - x. Which is bigger: -3/8 or y?
y
Let a be 14*((-3)/(-6) - -3). Let b = -84 - -92. Suppose -b*v = -v + a. Is v smaller than 0?
True
Let a = 5755/4 + -1438. Which is smaller: -28 or a?
-28
Let g be 27/(-12)*(-16)/6. Which is smaller: g or 10?
g
Let h(n) = 71*n - 405. Let r be h(6). Which is greater: 0.03 or r?
r
Let t = 29 - 109. Which is smaller: t or 0.1?
t
Let x be (10/(-2))/(2/16). Let u be 3110/x - (-6)/8. Is u greater than -76?
False
Let t = 17 + -17.17. Let b = t - 1.43. Let k = b - -1.57. Which is greater: -2/5 or k?
k
Suppose -5*j = 5*d - 465, j - 5*d - 109 = -10*d. Which is smaller: j or 87?
87
Suppose 4*w + 4 = -0. Which is smaller: w or -0.08?
w
Let q = 6 + 0. Let j be (-3)/q + 50/52. Let s = 136/351 - j. Is 1 at least s?
True
Let c = -0.0314 - 0.0886. Which is smaller: -15 or c?
-15
Let h(z) = 96*z - 239. Let b be h(2). Is -47 > b?
False
Let h = -192237/44 + 4372. Let t = h + -30/11. Which is smaller: 7 or t?
t
Let a = -0.99 + 1.2. Let h = a - 0.49. Let v = h - 0.22. Which is greater: v or 0.1?
0.1
Suppose -3*l + 122 = -5*f, -1 - 3 = -l. Let u be (339/(-60))/((15/(-3))/(-20)). Is u > f?
False
Let i be 6072/(-21105) + 28/98. Which is bigger: i or -1?
i
Let p = 192206/210729 - -2/11091. Let q = p + -1256/627. Let v = -5 - -4. Which is smaller: q or v?
q
Suppose 5*d - 2*n = -20, 8*n - 3*n = 5*d + 35. Let r be (9/(-126))/(d/(-72)). Which is smaller: r or -4?
-4
Let g(c) = -62*c + 767. Let l be g(23). Which is greater: -660 or l?
l
Let z = 1120 - 1121. Which is bigger: z or 8?
8
Suppose 0 = -10*d + 11*d - 3*a + 5, 5*a - 14 = -4*d. Is 88 != d?
True
Suppose -5*d - 437 = -r + 5*r, -2*r = 6. Let j = d - -84. Which is bigger: -1/96 or j?
-1/96
Let t be -173*((-76)/8 + 6). Is t less than 607?
True
Let z(g) = g**3 - 13*g**2 + 39*g - 28. Let b be z(9). Which is bigger: b or -55/54?
b
Suppose 0*u + 8 = -i + 4*u, -i - 40 = 4*u. Let h be (i/(-14))/((-8)/(-28)). Are h and -2/3 equal?
False
Let j = 6335177/199359 + 1/22151. Which is smaller: j or 33?
j
Let n be -2 + -5 + (-27)/3. Let s = 14 + -30. Is n smaller than s?
False
Let z be 44/(-6) + 1/3. Suppose a - 5 = 13. Let u = 19 - a. Which is greater: z or u?
u
Let r = 5 + 7. Suppose 6*x = 4*x - r. Suppose -3*h = 113 - 86. Which is smaller: x or h?
h
Let s be (7/140*6)/(6/115). Is 7 at most s?
False
Suppose -u = 3*u + 3*i + 345, -2*u - 3*i - 177 = 0. Which is bigger: -81 or u?
-81
Let t be (165/3)/(((-4)/(-8))/(-1)). Which is smaller: -328/3 or t?
t
Suppose -v - 2 - 34 = 0. Let q = 50 + v. Let h be 7/q + 2/(-2). Is 1/2 not equal to h?
True
Let y = 67/532 + -5/28. Is 0 bigger than y?
True
Let s = 232.2 + -232. Is 41 != s?
True
Suppose 0 = -4*t - 5 + 13. Let w = -4 + t. Suppose 4 = 2*m, -2*v + v + 4*m - 9 = 0. Is w <= v?
True
Let w = 604.7 - 605. Is 1/4 at least as big as w?
True
Suppose 43 = 3*o - 377. Suppose -4*c + 3*t = o, -3*c - 3*t - 105 = -0*c. Is c >= -35?
True
Suppose 6*q - 45 = 3*q. Let u be (-14)/(-12) - (-10)/q. Is 2 less than u?
False
Let v = 860.9 - 861. Is v < 1/596?
True
Let i(h) = -h**2 - 11*h + 4. Let p be i(-11). Suppose 2 = 3*l - p. Suppose 0 = -2*u + 4*u - l. Which is smaller: 2/33 or u?
2/33
Suppose -3*z - z = -l - 5, 0 = -2*l - 4*z + 2. Let u = 1 - l. Suppose u*j = -2*j - 4. Is j < -2/9?
True
Let n = 3/112 + 179/1680. Is n not equal to -141/4?
True
Suppose 84 = 7*j - 5*j. Suppose 7*x = -j - 84. Which is smaller: x or -19?
-19
Suppose 0 = 4*t - 9*t - 300. Let q be 2/5 - 1044/t. Let x = -18 + q. Which is smaller: x or 9?
x
Let t = 288 + -288. Is t smaller than 2/3?
True
Let h = 8 + -7. Let z be 3 + (1 - (3 - 5)). Let u be (z/8)/(-5 + 8). Which is greater: u or h?
h
Suppose 4*v = -v - 30. Let m(b) = -8*b - 301. Let h be m(-37). Which is greater: v or h?
h
Suppose -5*t + 130 = j + 35, 0 = 5*t - 2*j - 80. Let b be ((-6)/t)/(2/42). Let y be (7/2)/b*0. Which is smaller: y or 1?
y
Let j = -69 - -18. Let q be 2/(-3) 