t r(l) = -l**3 - 11*l**2 + 23*l - 36. Let t be r(-13). Suppose -4*o + t*n - 10 = -0*n, 4*o + 3*n - 2 = 0. Is o < -185?
False
Let j = 3 + -2. Suppose 2*q - 192 = 3*s, -36*s - 285 = -3*q - 33*s. Let w be 60/(-28)*(-217)/q. Which is bigger: w or j?
w
Let r(y) = -2*y + 11. Let p be r(8). Suppose -6*x = -x - 2*g + 432, -427 = 5*x + 3*g. Let h = -96 - x. Is h not equal to p?
True
Suppose 326 = 34*k + 88. Are -7.2 and k unequal?
True
Let r(u) = u**2 + 4*u - 5. Let p(f) = 64*f - 33*f - 25 - 32*f. Let m be p(-20). Let c be r(m). Which is smaller: c or -2/223?
-2/223
Let w = -13402 - -12726. Is w at most -686?
False
Let j = 42.057 + -0.057. Let a = 32 - j. Let x = 0 + a. Which is bigger: x or 0?
0
Let o = -784 + 274. Let v = o + 509.97. Which is greater: -25/3 or v?
v
Let u = 7841 - 8053. Which is bigger: u or -1?
-1
Let h be 1/(-2) + 0 + (-35)/(-14). Suppose 0 = -3*p - 2*l + 51, h*l + 3 = l. Let m = -23 + p. Which is greater: m or -9?
m
Let o be 194/14 - (162/42 + -4). Suppose 4*q = 3*k - 49, -33 - 58 = -5*k + 2*q. Is o bigger than k?
False
Let n = 1492.3 - 1493.6. Which is smaller: 1/174 or n?
n
Let k(w) = w**3 - w**2 - 2*w + 4. Let a be k(3). Let l(y) = -11*y + 5. Suppose 5*s - 25 = 0, 0 = 4*c - 3*c + 5*s - 24. Let n be l(c). Is a equal to n?
True
Suppose 0*j - j = 3, 3*j = -2*q - 57. Let z be (2 - q/(-9))*(-8 - 7). Suppose 4*t = -5*v - 3 + 26, -29 = -2*t + v. Is t at most z?
False
Let w(s) = -24*s + 409. Let n(j) = -5*j**2 + 47*j - 1. Let c be n(9). Let a be w(c). Which is smaller: -21 or a?
-21
Let l be (144/340)/(8/(-20)). Suppose 4 = -3*j - 2. Is l smaller than j?
False
Let q be 441/252*456/4676. Which is bigger: 0 or q?
q
Suppose 0 = -4*h - 2*y + 64, 4*h - 2*y + 5*y - 64 = 0. Let g be (-45)/6*h/(-12). Let f be (-8)/8 + 6/g. Which is smaller: 37 or f?
f
Let o be (-608)/(-5776) - 53/(-38). Is o > -199?
True
Suppose -3*m = s + 460, 8*m = 10*m - 5*s + 284. Which is bigger: m or -1213/8?
-1213/8
Suppose 4*s = 9*s - 25. Let i = 4/4215 - -210698/54795. Is i at least as big as s?
False
Let n(t) = 69*t**2 + 1 - 147*t**2 - 2*t + 79*t**2. Let c be n(3). Suppose 3*v + 2*a + 75 = 8*v, 105 = 5*v + c*a. Is v bigger than 79/5?
True
Let x = -0.05163 - 6176.94837. Is -0.1 smaller than x?
False
Let i(z) = -2*z**3 - 14*z**2 - 11*z - 4. Let o be i(-6). Let g be ((-14)/(-49))/(o/14). Is -17/8 less than g?
True
Let m = 193.292 - 350.601. Let d = m - -0.309. Is d >= 1?
False
Let n = 1155 - -180. Let v be 7 - 2 - n/265. Is v greater than or equal to -1?
True
Let l = 33952/14355 - 2/1305. Suppose 3*m - 27 = -3*w, w = -4*m + 6*m + 6. Which is smaller: l or m?
m
Suppose 25*t = 32*t - 21. Let b be 1/t*(-102)/(-170). Which is smaller: b or -20?
-20
Let s = 15622 - 15623. Is -1085 bigger than s?
False
Let x be 4 - (16/(-12))/(2/6). Suppose -3*v = n - x, -5*v = 7*n - 3*n - 11. Let z = -0.1 + 0.09. Which is greater: n or z?
z
Let z be 1362/(-54) + (-4)/(-18). Let r be z/(-70) - (-2)/(-7). Suppose 0 = -5*x - 4*c - c + 20, -x - 2*c + 8 = 0. Is x <= r?
True
Let z be ((-4839)/5 - -1)*(-105)/2072. Let b = -49 + z. Is -1 greater than b?
False
Let p = 0.113 - 79.113. Let u = p - -192. Which is greater: 1 or u?
u
Suppose -627 = -2*v - 623, -5*z + 77 = 6*v. Which is smaller: 348 or z?
z
Suppose -5*i + 3*j = 97, 0 = -2*i + 8*j - 3*j - 54. Let d be (-20)/(100/10) + 4. Suppose p - 23 = -32*u + 33*u, -49 = 3*u + d*p. Is u < i?
True
Let r = 735.42 - 729. Let w = r + -8.1. Let x = 1.7 + w. Is 0.4 > x?
True
Let h = -8141 + 8142. Which is bigger: 111 or h?
111
Let u = 2975 + -2974.9. Is u bigger than -0.15?
True
Let t = -162034.36 - -162032. Let n be 4/(-6) + 2/3. Which is smaller: n or t?
t
Let j be 4 + (-363)/((-9)/(-3)). Let b = -50 - j. Suppose -23 = 4*i - b. Is 11 at most as big as i?
True
Suppose 0 = 4*q - q + 69. Let i = 23449 - 23446. Which is smaller: q or i?
q
Suppose v + 4*s = -208, 0 = 3*v - 2*s + 216 + 338. Let p = -205 - v. Which is smaller: -19 or p?
-19
Suppose 0 = -19*f + 14*f - 5*c - 955, 4*c = -3*f - 568. Let h = f + 129. Which is smaller: -65 or h?
h
Suppose 80 = f - 6*f. Let c(k) = k**2 + 17*k + 24. Let h be c(f). Suppose -2 = -4*p + 18, -5*p = 3*o - 52. Are o and h non-equal?
True
Suppose 0 = 3*z - 2 + 5. Let n be z - (-1 - 0) - -3. Suppose 0 = -m - 5*h + 53 - 10, -3*m - 5*h = -79. Which is smaller: m or n?
n
Let s = 12893.9 - 12901. Which is greater: -0.01 or s?
-0.01
Let o = -56 + 62. Let p(i) = -i**2 + 13*i - 29. Let x be p(o). Suppose -17*h + 100 = -x*h. Are h and 25 non-equal?
False
Let l = -41 + 43. Let q be ((-3)/l)/(10 + -6). Let j be -4 + (0/(-2))/(-7). Which is smaller: q or j?
j
Let x(t) be the third derivative of t**6/60 - 29*t**5/60 + 3*t**4/4 + t**3/2 + 2*t**2 + 14. Let s be x(14). Is s greater than 59?
False
Let t(a) = 30 + a**2 - 3*a**2 + 3*a**2 - 2*a**2 - 8*a. Let z be t(-11). Let l(j) = j**2 - j - 1. Let k be l(1). Is k at least z?
True
Let x be 1*(1 + 2 + -1). Let p = -45094/3 + 2209604/147. Are x and p non-equal?
True
Suppose -6*y + 375 = 9*y. Suppose 2*u - 5 = -d, u = -d + 6*d - y. Suppose -g + 5*s + 3 = -0, -5*g - 4*s + 15 = u. Is g greater than -0.6?
True
Suppose -4*b - 4*w - 5 = 3, 2*b - 2*w - 8 = 0. Let r be 145/(-116) + b/4*1. Which is greater: r or 4/9?
4/9
Let l be (-6)/(-30)*-95 + 1433. Which is smaller: 1418 or l?
l
Suppose 35*z - 13*z + 45 - 1 = 0. Let a = -4 - -7. Which is bigger: a or z?
a
Let d = 1.85 - 142.85. Let q = d - -140. Which is smaller: q or 7.3?
q
Suppose 5*r + 5 = 2*c, -2*r + 2 = c + 4. Let q be (-2)/(-2) - c/((-2)/2). Let x be (-95)/(-60)*(1 + q). Are 4 and x unequal?
True
Suppose r + 2*p + 3714 = 0, 27*p - 3 = 24*p. Which is smaller: -3715 or r?
r
Let x = -7543 - -263923/35. Is x at least as big as -3?
True
Let u(t) = -24*t**2 + 29*t + 58. Let j(x) = 121*x**2 - 146*x - 292. Let r(i) = 2*j(i) + 11*u(i). Let k be r(-2). Is k bigger than -89?
True
Let w be (-2)/(1/((-1)/3)) - (-1394)/(-21). Is -66 greater than w?
False
Let o = 22094 + -22096. Is -4873 less than o?
True
Suppose 17 - 21 = -2*r. Suppose j = r*j. Let x be (-5 - -2) + (-820)/(-272). Which is greater: x or j?
x
Let a(s) = s + 2. Suppose 5*u + 30 = -0*u. Let l be a(u). Let g be (l/(-6))/((-4)/60). Which is greater: g or -12?
g
Let q = 949 + -515. Let n = q + -433. Which is smaller: -1/93 or n?
-1/93
Let t(h) = -22*h - 12. Let p be t(5). Let w = p - -87. Let x = -26 - 11. Are w and x nonequal?
True
Let f = 61/40 + -857/680. Suppose 2*h = -2*h. Which is smaller: h or f?
h
Let p = -302 - -303. Let g be (-230)/(-92)*(-1 - p). Which is smaller: g or -68/13?
-68/13
Let k = 17 + -10. Let m = -27 - k. Let s(v) = 6*v**3 - 45*v**2 - 96*v + 2. Let j be s(-2). Is m less than or equal to j?
True
Let y = -29190 + 29201. Which is greater: 39/7 or y?
y
Let k(b) = 6*b + 34. Let y(o) = 19*o + 95. Let w(v) = 7*k(v) - 2*y(v). Suppose -2*c - 3*c = 55. Let h be w(c). Which is greater: -1 or h?
h
Suppose -11*z = 62 - 194. Suppose -13*n = -z*n + 27. Is n less than or equal to 0.3?
True
Let u = 2/91697 - 3484832/15863581. Which is bigger: u or 1?
1
Suppose 2*f - 5*w = -5 + 2, 2*w - 5 = -3*f. Suppose 45*a + 96 = 49*a. Let t be ((-18)/a)/((-5)/4). Which is bigger: f or t?
f
Let j be (-1 - 5) + (1 - -13). Suppose 0 = 2*b - 0*v - 4*v + 76, -j = -2*v. Is b bigger than -30?
False
Suppose 36*o = 14*o + 198. Suppose 17*x + 112 = o*x. Which is greater: x or -16?
x
Let o(k) = -56*k**2 - 13*k + 56. Let z be o(-4). Do z and -788 have different values?
False
Let g = 202.437 - 0.437. Let m = -5524 + 27622/5. Is m at most as big as g?
True
Let l(q) = 2*q**2 + 2*q - 2. Let o be l(-3). Suppose -b + 24 = o. Suppose 0 = b*w - 15*w + 1. Which is smaller: w or -1/4?
-1/4
Let i(w) = -w**3 - 40*w - 16579. Let q be i(0). Is q bigger than 0?
False
Let t(k) = -2*k**2 - k + 1. Let i be t(-1). Let l be 35/28 + ((-1214626)/59976 - -19). Is l greater than i?
False
Let c be ((-90)/(-10) - 13)/(738/349). Let q = -32/41 - c. Which is greater: 2 or q?
2
Let w be (-2420)/(-25)*40/16. Let n = w + -276. Suppose 175 = d - 6*d. Is d less than n?
True
Let v be (-13)/(52/(-24)) - 4 - -226. Let s = -193 + v. Which is greater: s or 31?
s
Suppose -3*w = 2*o + 3*o - 20, 3*w - 4*o - 11 = 0. Let l be (-1)/(-1)*w/(-15). Let g = 3.881 - -0.019. Is l equal to g?
False
Let j be 14/(-175)*5 + 246/(-10). Let l be 29 + j + (-62)/(-4). Do 21 