81. Let b = r + -0.04. Let n = -0.14 + b. Is 1/5 bigger than n?
True
Let s = 3961 - 3962.98. Which is bigger: s or 4/3?
4/3
Let m(w) = 5*w**2 - 1. Let y be m(-2). Suppose r + 0*r - y = 4*q, -3*r - 7 = 4*q. Let s be (22/33)/((-2)/r). Which is bigger: s or 6/25?
6/25
Suppose -2*o + 4 + 20 = 0. Suppose 4*c + o = 3*x + 32, -20 = 4*x - 4*c. Let d = 3442/13 + -58553/221. Which is smaller: x or d?
d
Suppose 440 = 17*n - 12*n. Suppose -2*b - 76 = 5*h, -5*h - 2*b - n = -6*b. Let v be (57/(-38))/((-30)/h). Do -1 and v have the same value?
False
Suppose 355 - 507 = 76*q. Which is smaller: q or -55/49?
q
Let q = -0.12 + 64.12. Let f = q + -56.8. Is -0.1 not equal to f?
True
Suppose -3*k - k = -12. Suppose 0*h = k*h - 5*r - 268, -3*h + 258 = -3*r. Let n be (-18)/h - (-4)/(-63). Is n bigger than 1?
False
Suppose 19*k - 45*k = -52. Let y be 3 - (490/18 - k/9). Which is greater: -28 or y?
y
Let k be -3 - (-40)/15 - (-35109)/27. Which is smaller: k or 1302?
k
Let b be 52731/(-5642) + 10 + -1. Let o = -6 + 5. Which is bigger: o or b?
b
Let n = 264.82 + -123.854. Let y = n + -141. Is y less than or equal to -2/7?
False
Let z = -0.945 + 0.145. Are 0.08 and z equal?
False
Suppose 16*o - 2*k - 1866 = 14*o, 2*o + k = 1854. Which is bigger: 4648/5 or o?
4648/5
Let z(r) = r**2 - 52*r + 278. Let n be z(6). Let k be n/(-156)*(9/6 + 0). Which is smaller: k or 0?
k
Let o = 26 + -111. Let y = o - 39. Is y > -124?
False
Let t = 10.1 - 8.1. Let k = 29.2 + -29. Let w = -0.8 - k. Which is smaller: t or w?
w
Suppose 3*x + 14*g - 10*g = 195, -2*g + 6 = 0. Let c = 60 - x. Which is bigger: c or 11/24?
11/24
Let w(x) = -x**3 + 5*x**2 + 2*x - 8. Let f be w(5). Suppose -8*p - 440 = f*p. Let i = -41 - p. Is 6 at most as big as i?
False
Suppose 0 = -126*k + 115*k - 77. Let g be (-35)/(-10)*6/k. Is g >= 20?
False
Let n be (196/343)/(12/42). Is 41/62 at least as big as n?
False
Let v be 84/(-60) - 5841/(-4215). Is 0 less than v?
False
Let d(p) be the first derivative of -15*p**2/2 - 11*p + 95. Let q = -2 - 2. Let f be d(q). Are f and 49 equal?
True
Let x(k) be the third derivative of -5*k**4/12 - 23*k**3/2 + k**2 - 34*k. Let w be x(-4). Which is smaller: -28 or w?
w
Let s be 12/(-99)*-7*(-2)/56. Is -0.1 bigger than s?
False
Let z = -15815 - -2229905/141. Is 0 greater than or equal to z?
True
Let v(l) = -l - 1585. Let y be v(0). Let b = -44/857 - 4110040/2571. Let a = y - b. Which is greater: a or 13?
a
Suppose -9*r = -355 - 2768. Let h = r + -346. Which is greater: h or -6/143?
h
Let w(z) = -z**2 + 52*z - 234. Let h be w(47). Are h and 6958 equal?
False
Let q(c) = -c**3 - 12*c**2 + 15*c - 329. Let u be q(-19). Which is smaller: 1912 or u?
1912
Let i(h) = -5*h - 23. Let r be i(-5). Let o be (r/4)/((-36)/1656). Which is smaller: o or -21?
o
Suppose 800 = 2*x - s, -5*x = -8*x - 3*s + 1200. Let k = x + -396. Is k greater than 3?
True
Let p be 3/(21/10)*13*90/1638. Which is smaller: 5 or p?
p
Suppose -2*i = -3*k - 7*i + 28, -4*i - 48 = -2*k. Suppose k*g = 14*g + 3*s + 30, -5*g - 2*s + 56 = 0. Which is greater: 11 or g?
g
Suppose -35*a = 225 + 685. Let s = a - 155. Is s at least as big as -181?
True
Suppose 20 = -2*j - 5*m - 5, 2*j = -m - 5. Suppose j = -d - 4*r - 3 + 20, d + 3*r = 13. Let h = 18/157 - -345/1099. Is h >= d?
False
Suppose -10647*x = -10637*x + 10. Which is greater: x or 3/601?
3/601
Suppose 2666 - 830 = -97*s - 2432. Which is bigger: 45 or s?
45
Let a = -53 - -72. Let h = 18.91 - a. Let r = h - -4.09. Is r not equal to 1/3?
True
Let p = -22192 + 22190. Let q be 4/6 + (-38)/21. Which is bigger: p or q?
q
Let d(z) = -7 + 14 - 6 + 2*z**2 - 3*z**2 + 5*z. Let h be d(0). Is -9/19 < h?
True
Let c = -573 - -573. Suppose 0 = 4*s - 5*p - 27, s + p - 5*p - 4 = c. Which is greater: 16 or s?
16
Let p(v) be the second derivative of v**4/12 - v**3/3 + 17*v**2/2 + 11*v. Let j be p(0). Suppose 3 = -j*f + 14*f. Which is smaller: f or -16/15?
-16/15
Let m(d) = -5 - d**2 - d + 20 + 17. Let s be m(0). Suppose -s = -o - 0*o. Is -1 bigger than o?
False
Let i be (-5)/20 - 50/72. Suppose -9*c - 37 = -28. Is c not equal to i?
True
Let z(c) = 7*c + 50. Let j(d) = -2*d - 2. Let h(q) = -4*j(q) + z(q). Let t be h(-11). Which is bigger: -105 or t?
-105
Let c be ((-5 - -10)/(-5))/((-2941)/(-68)). Is 0 <= c?
False
Let f(x) be the second derivative of -7*x**3/6 + 45*x**2/2 + 47*x - 1. Let b be f(7). Which is bigger: b or -3?
-3
Let r be ((-54)/(-9))/((-2)/(4/(-6))). Suppose -g - r*g = 2*l - 8, -3*l + 3*g - 3 = 0. Let h(y) = 3*y + 14. Let o be h(13). Which is smaller: o or l?
l
Let b be 1 - (-5 + 2) - 0. Suppose -b*y = 4*t - 8, 0*t + 3*y - 4 = -2*t. Suppose 7*v - 2*v - 5 = 0. Are v and t equal?
False
Suppose -5*r = -2*n - 1157, -7*r + 946 = -5*n - 676. Is 213 at most r?
True
Let q(p) = 124*p + 3385. Let r be q(-9). Is r less than -0.06?
False
Suppose 0 = 2*c - 3*l - 2, 2*c + 4*l - 927 = -939. Let i be ((-1)/(-2))/(5/(-4)). Is c at most i?
True
Suppose -2*k - 6 = s - 6*s, 4*k - 2*s - 4 = 0. Suppose 3*i - 16 = k*x, -3*x + 8 = -x + 3*i. Let c be 0*-1*x/(-4). Which is smaller: -3/46 or c?
-3/46
Let p be -1 + 0*4/12. Let k(s) = 3*s**2 - 44*s - 2. Let c be k(17). Let h = c - 118. Are h and p unequal?
False
Let w be (-3)/(108/207) - (-12)/2. Let t(b) = b**3 - 3*b**2 + 3*b + 7. Let i be t(6). Which is greater: w or i?
i
Suppose 3*x - 3*w + 5*w = 0, w = 5*x - 13. Suppose -23 = 4*b + 2*s + 17, -5*b - 52 = 2*s. Let h be (-47)/b + 15/(-5). Is x less than h?
False
Let o = -174.763 + -0.237. Let y = 161 + o. Is y less than or equal to 0?
True
Let i be (-3 + 18)/((-1 - -3) + 1)*-13. Is -47 greater than i?
True
Let v = 1717/291 - -42/97. Do v and -4 have the same value?
False
Let h = 261 - 265. Let k be (-6 - -4) + 3 + -1. Let j(s) = -s - 7. Let x be j(k). Which is greater: h or x?
h
Let v = 35 + -49. Let s = v + 8. Let a be (18/27)/(4/s). Which is bigger: -1/4 or a?
-1/4
Let f be 1772/20 - 4/(-10). Let s = f - 61. Is 28 bigger than s?
False
Suppose 0 = 28*o + 8*o - 606096. Is 16837 not equal to o?
True
Let v = 36 - 20. Let n be v*(21/9 - 2). Let s = n + -113/15. Which is smaller: -2/7 or s?
s
Let f = 32.4 - -280.6. Let u = f - 312. Which is greater: -32 or u?
u
Let o = 86458 + -86394. Suppose 4*p - 9 = h + 232, 2*p = h + 121. Which is smaller: p or o?
p
Let d be 1 + (-4428)/(-81) + (-5)/3. Are 25 and d equal?
False
Let q(l) = -l**3 - 10*l**2 + 11*l + 59. Let t be q(-17). Is 5684/3 smaller than t?
True
Let w = 6433 + -6433. Is -13/54 greater than w?
False
Let t be (8/(-20))/((-8)/(-1415)). Suppose 0 = -z - 5, -z + 121 + 154 = -4*i. Is t greater than or equal to i?
False
Let p = -14966.2 + 14966. Let r = -2.97 + -0.03. Let h = r + 10. Is p at least as big as h?
False
Let i = 1183 + -1535. Is i >= -1756/5?
False
Let l = 480 - 342. Let x be (((-66)/18)/(-11))/(2/l). Is 23 less than x?
False
Let v = -1666 + 952. Let x be (-6)/8 - v/56. Suppose 0 = -8*a + 11*a - x. Is a bigger than 1?
True
Let p(k) = k + 39. Suppose -6*z + 4*z - 58 = -4*l, -8 = -4*l. Let n be p(z). Which is smaller: 57/4 or n?
n
Let j be (-4)/136*((-2)/1 - -12)*1. Let v(d) = d**2 + 8*d - 8. Let n be v(-8). Let m be 2/n*(-32)/(-12). Is j not equal to m?
True
Let y(o) = -o**3 - 22*o**2 - 106*o + 45. Let t be y(-19). Is t <= 976?
True
Let g be 50/13 + -4 + (-335)/(-65). Suppose 4*j - 2*j = -4*x - 946, g*x - 4*j = -1215. Is -238 smaller than x?
False
Let y = 19.9 - 132.9. Let a = 589071/4 - 147268. Which is smaller: y or a?
y
Let q = -40 + 40.87. Which is smaller: -9/17 or q?
-9/17
Let c be (-47)/(-2)*(100 + -194 + 96). Suppose -4*b = -8*b + 172. Is b less than c?
True
Suppose 4 = 139*i - 134*i - p, -5*p - 20 = 3*i. Does i = -87/95?
False
Suppose -401*l - 4*w = -396*l - 6589, 3*l - 3946 = 5*w. Is l greater than -1/4?
True
Suppose 6*h + 35*h - 153634 = 3*h. Is h != 4046?
True
Let v = 21001 - 21000.7. Which is smaller: v or 594?
v
Let p = -14038 - -12684. Does p = -1354?
True
Let t = 64 + -34. Let f be (t + -2)*-3 - -3. Let v be (-6)/(-3) - f/(-42). Which is smaller: v or -1?
-1
Let b = 22/15 + -4/5. Let o(f) = -f**3 + 5*f**2 - 2*f - 5. Let l be o(4). Suppose 1 - 4 = -l*q. Which is smaller: b or q?
b
Suppose -13*v + 3126 + 14308 = 10*v. Are 756 and v equal?
False
Suppose 0 = -2*h - t - 2*t + 10, -h + t = 0. Let j be (-2 - h)*2/4. Let v be (-3 + 141/49)*(-3 - j). Whic