60*o**5 - 1/6*o**4 + 2/3*o**3. Let w be g(4). Which is greater: w or 5?
5
Let v be -224 + (4 - 11) + 8. Is v smaller than -223?
False
Let t be ((30/(-54)*-3)/(-2))/1. Which is bigger: 3/4 or t?
3/4
Suppose 41*u = 42*u - 48. Is u at most 3?
False
Let w be 4654/(-39) + 6/(-9). Is -120 <= w?
True
Suppose 4*u = -22 + 254. Suppose -2*x = 5*h - x - 286, 3*x = 2*h - 128. Is h at least as big as u?
True
Let c(u) = -u**3 - 6*u**2 - 5*u + 4. Let g be c(-4). Suppose -5*q = -2*q + 27. Which is smaller: g or q?
q
Let l be 1 - (2 + -29)/3. Let r be (-51)/15 + 4/l. Let u(w) = -w**3 + 93*w**2 + 6*w - 563. Let b be u(93). Which is smaller: b or r?
b
Let d = -169/3 + 57. Let x(y) = 2*y - 8. Let s be x(5). Suppose s*h - 7*h = 0. Is h bigger than d?
False
Let z be 2*24/(-32)*20/(-45). Let h = 0.1 + -1.1. Are h and z non-equal?
True
Let m be -9*((-42)/9 - -4). Let o = m + 10. Which is smaller: o or 14?
14
Let l(n) = 20*n**3 + 2*n**2 - 2*n. Let o be l(1). Suppose o = -r + 2*s, -r - 24 = r + 4*s. Are r and -16 non-equal?
False
Let g be (4*6/(-140))/((-408)/(-30)). Is g >= -1?
True
Let x = -3070 - -2042. Let q be (-1)/258*x - 4. Which is smaller: q or 0?
q
Let x = -986 - -987. Which is greater: x or 320?
320
Let j(a) = -a**2 - 6*a - 3. Let t be j(-3). Suppose 2*n = t + 12. Suppose 0*f = -3*f - n. Which is smaller: 0 or f?
f
Let p = -3036 + 3041. Which is greater: p or 12?
12
Suppose 4*x - 8 = 0, x - 1 = 4*o + 1. Let a = -14 - -41. Suppose p - 4*g + a - 6 = o, 5*p + 30 = 5*g. Is -4/7 at least as big as p?
True
Let d be 213/710 + (-39)/(-20). Which is bigger: d or 1?
d
Let t = 37 + -4. Let f = 80 + -48. Which is greater: t or f?
t
Let s be 4/4 + (-4 - -10). Do s and 23 have the same value?
False
Let c be (4/(-24))/((-9)/(-50874)). Let o = c + 941. Is o > -1?
False
Suppose -8 = 3*h + 28. Let r(t) be the first derivative of -t**3/3 - 13*t**2/2 - 12*t - 2. Let p be r(h). Which is greater: 2/15 or p?
2/15
Let k be 8*-59*(1 - (-1)/(-2)). Are k and -236 equal?
True
Let d = 0.0535 - -0.0265. Which is smaller: -8/5 or d?
-8/5
Let w = -1.87 + 81.87. Let y = -75 + w. Which is bigger: 10 or y?
10
Let w = -739 - -739. Is -7/37 smaller than w?
True
Let g = 0.0614 + -0.0014. Is g at most as big as 22?
True
Suppose 5*u + 4 = 2*q, -5*u = q + 81 - 53. Suppose -4*l + l = c + 20, -2*c = -4*l. Are c and q nonequal?
False
Let a = 1057 - 1061. Is 5/11 < a?
False
Let c(k) = k**3 - 6*k**2 - 3*k + 4. Let z be c(5). Let t be (1/3)/(12/z). Which is smaller: t or -4/17?
t
Let g = 11.9 + 0.1. Let z = 11.5 - g. Let h = 0.45 + z. Is 2/5 < h?
False
Suppose -3*v + 4*v = 12. Let s be 3/(v/(-16)) - -4. Let m be (-4 - s)/(-4) + -2. Which is greater: 2/31 or m?
2/31
Let z = -148 + 293/2. Which is smaller: -4 or z?
-4
Let r(f) = -f**3 + 15*f**2 - 10*f + 10. Let y be r(14). Let k = y + -100. Which is greater: -35 or k?
k
Let t = -21 - -114. Let c = t + -124. Is 0.1 less than or equal to c?
False
Let m(b) = -b**3 + 12*b**2 - 20*b - 8. Let y be m(10). Suppose -5*k + 2*k = 24. Does k = y?
True
Let y = -42 - -74. Suppose -y = 4*r + m, 5*m + 29 = -4*r - 3. Which is smaller: -6 or r?
r
Let t = -273.7 + 270. Is t not equal to 6?
True
Let n be 3*-9*28/105. Let z(t) = -2*t**3 + 10*t**2 - t - 2. Let j be z(5). Which is greater: n or j?
j
Let l = 7 - 7.5. Let c = -0.7 - l. Let d = 3 - 2.5. Which is bigger: d or c?
d
Let o be (-2)/((4/5)/(-4)). Let s be o/(-105) - 1/3. Which is smaller: s or 0?
s
Let j be ((-69)/(-24))/(2/8). Let o = -12 + j. Let g(i) = -23*i - 166. Let c be g(-7). Which is greater: c or o?
o
Let p(t) = 3*t - 28. Let j be p(10). Let g be ((-2)/6)/(j/6). Which is bigger: g or -4/7?
-4/7
Let l be ((-4)/(-26))/(12/15). Is 0 != l?
True
Let k(b) = 5*b - 3. Let m(j) = -9*j + 5. Let v(q) = -11*k(q) - 6*m(q). Let r be v(6). Let p = 118 - 117. Is p smaller than r?
False
Let b(p) = p**3 - 10*p**2 + 10*p - 10. Let g be b(9). Let f be (-11)/(-4)*-1 + g. Let t = f - -4. Is -2/141 bigger than t?
False
Let l be 954/12 + (-1)/(-2). Let s be (-4)/18 - l/(-36). Let b be (0 - s) + (-48)/(-21). Is 0.07 at most b?
True
Let j = 1437 + -1437.2. Is j > 5.2?
False
Let j be (0/2 + 4)*-1. Let t(c) = -c**2 - 4*c - 10. Let d be t(0). Let n = d + j. Is n bigger than -14?
False
Let r = 298 - 478. Let c = r - -131. Which is bigger: -50 or c?
c
Let f = -170 - -170. Which is greater: -2/25 or f?
f
Let u be -39 + (-28)/(-126) + 25/9. Is u greater than -30?
False
Suppose 3*h - 1 = 14, 0 = 4*c - h - 7. Which is smaller: c or -48?
-48
Let j = -0.301 - -23.301. Is 7 at least as big as j?
False
Let i = 833 - 814. Is 6 at least as big as i?
False
Suppose -5*z = -2 - 3. Let r be ((-4)/(-8))/((-10)/8). Is r > z?
False
Let c = 1252 - 1258. Which is bigger: c or 0.22?
0.22
Let s(p) = 2*p**2 - 12*p - 15. Let y be s(14). Suppose 6*f - 103 = y. Let h be 55/(-104) - (-8)/f. Do -1 and h have different values?
True
Suppose 7*y = 38 + 4. Let w be (-4)/y + (-21)/9 + 2. Is w bigger than 0?
False
Let o(y) = -y**2 + 15*y + 22. Let l be (-34)/6*(0 + (0 - 3)). Let h be o(l). Which is smaller: h or -15?
-15
Suppose -5*x = -4*l - 136, 136 = -4*l - 3*x - 0*x. Let q = -101/3 - l. Let h = -4.63 - -4.71. Is h at most as big as q?
True
Let f = -0.017 + 5.317. Let k = -5 + f. Let y = 199.9 - 200. Which is greater: k or y?
k
Let y = 22 + -6. Let w = -26 - -11. Let d = w + y. Is d < 12/5?
True
Suppose -d = x + 4, -8*x - 12 = -6*x + d. Which is bigger: -107/15 or x?
-107/15
Let t be (-25 - -30)/(2*(-3)/(-132)). Which is bigger: 107 or t?
t
Let m(n) = -n**2 - 3*n - 1. Let y = -20 - -18. Let h be m(y). Which is bigger: h or 3?
3
Suppose 3*v = 3*p + 64 - 526, 3*v + 306 = 2*p. Are 156 and p nonequal?
False
Let p = -145/6 + 24. Let k(u) = u**3 - 17*u**2 - u + 24. Let f be k(17). Let s(r) = -r**3 + 6*r**2 + 8*r - 3. Let o be s(f). Which is smaller: p or o?
p
Let x(g) be the first derivative of -g**3/3 - 2*g**2 + 13*g + 3. Let f be x(-6). Is f greater than 2?
False
Suppose 0 = -i - 30 + 28. Let x be 534/36 - i/12. Which is smaller: 16 or x?
x
Let w = -537 + 559. Are w and -3 non-equal?
True
Let d = -22/463 - -20040/441239. Let o = d + -73373/3812. Which is bigger: -19 or o?
-19
Suppose 0 = 9*o - 23*o + 1092. Which is smaller: 75 or o?
75
Suppose -a - 2*i + 8 = -0*i, 2 = 3*a - 5*i. Let x = -2 + a. Let t be -2*5/30*x. Is 0 > t?
True
Suppose 5*y + 10 + 3 = -2*w, -5*w = 4*y + 7. Is 1 at least w?
True
Let b be (-8)/(16/74) + -6. Which is bigger: -42 or b?
-42
Let g(t) = -2*t**3 - 99*t**2 - 51*t - 70. Let o be g(-49). Which is greater: o or 27?
o
Suppose 4*m - 2*a + 14 = m, 3*m + 5*a - 14 = 0. Let b be m/(-5) - (-159)/15. Let p = b - 10. Are p and -1 non-equal?
True
Suppose 3*g - 2*i = -17, -3*i = 163 - 175. Let n = 1 + -14. Which is smaller: n or g?
n
Let b be (35/21)/(2/18). Let n = b + -7. Do n and 8 have the same value?
True
Suppose 3*f = 4*f. Suppose 2*t + f*t = 0. Suppose -5*d - 3*c - 10 = 0, -3*d + 4*c + 15 = -8*d. Is d equal to t?
False
Suppose -71 = 6*j + 13. Is 2/43 >= j?
True
Suppose 7 = -2*v + r + 4*r, -2*v = -r - 5. Let a be 1/((-2)/v) - 0. Let j = 117.9 + -118. Is j > a?
True
Suppose -2*r = -4*f - 47 - 63, -5*f = 0. Let b = r + -33. Is 22 at most b?
True
Let c(v) = 14*v**2. Let w be c(1). Suppose -114*k + 1224 = -372. Is k greater than or equal to w?
True
Let a = -303 + 218. Which is smaller: -84 or a?
a
Let x(r) = -2*r**2 - 8*r - 4. Let d be x(-5). Suppose 0 = -3*m + 39 - 9. Let g = -25 + m. Which is smaller: g or d?
g
Let z = -218 - -217. Which is bigger: z or 112?
112
Let b = 627 + -626. Is -1/6 not equal to b?
True
Suppose -10*z + 5*z + 5*g + 5 = 0, 0 = -4*g. Let q be ((-3)/54)/((-5)/4). Is z > q?
True
Suppose 3*u + b - 45 - 46 = 0, 0 = -4*u + 5*b + 134. Let x = 8 - u. Is x at least -24?
True
Let r = 66 + -53. Which is greater: r or 15?
15
Suppose 0 = -16*f - 323 - 3421. Does f = -234?
True
Let o = 22/29 + -8/87. Is o greater than 725?
False
Suppose -694 = -w + 2*v, w - 241 = 5*v + 450. Let l = 8347/12 - w. Which is bigger: l or -1?
l
Suppose 0 = 4*k - 1 + 5. Let v be 0/(-6 + 4 + k). Let f(z) = z**2 - 4*z + 2. Let i be f(4). Is v bigger than i?
False
Suppose v - 13 = 29. Let b be (v/27)/7 + 364/(-18). Which is smaller: -18 or b?
b
Let c be (-20)/(-100) + (-48)/(-10). Suppose -i + 64 = -2*f - 0*f, c*i = 10. Is 1/4 bigger than f?
True
Let l(g) = -g**3 - 9*g**2 +