0 = 5*r - 5, -4*f = f + 3*r + 227. Let s be 1 - 3 - 96/f. Is 1 not equal to s?
True
Let a(s) = s**3 - 30*s**2 - 3*s + 47. Let u be a(30). Is -42 at least u?
True
Let n = -884 + 887. Is 3/14 greater than or equal to n?
False
Let c(t) = -t**3 - 5*t**2 + t. Let k be c(-3). Let n = 41/2 + k. Let w be (-3)/(-1 - (-5)/2). Which is smaller: n or w?
w
Let f = -229 + 229.1. Which is smaller: 87 or f?
f
Let t(b) = b**3 - 23*b**2 - 28*b + 71. Let f be t(24). Is -19 less than f?
False
Let l(k) be the second derivative of k**5/20 - k**4/2 + k**2 - 4*k. Let b be l(6). Suppose -b*t - t - 12 = 0. Is -3 bigger than t?
True
Let k = -306 - -3368/11. Let p = 30 + -27. Suppose 0*d = -3*d - p. Is d < k?
True
Let c(p) = p**3 - 3*p**2 + 2*p - 3. Let q be c(3). Suppose -7*s + 0*s - 84 = 0. Let d be 3 + (-2 - 8/s). Which is smaller: q or d?
d
Let y = -0.045 - 6.955. Suppose 5*l + 5 + 0 = 0. Which is greater: l or y?
l
Let o = 215 - 223. Is -10 bigger than o?
False
Suppose -35*b + 19 = -51. Suppose -4*x = 3*r + 3, -3*x + 2 = -2*r + x. Let z be r + (1*6 - 2). Is b at least as big as z?
False
Suppose 5*b - 28 = 2*p, 4*b - 3 - 20 = p. Which is smaller: 4 or b?
4
Suppose -3*g - 3 = -0*g, 0 = 2*a - 5*g + 141. Let n = -74 - a. Suppose 4*l + 3*t = -7, 4*l + 6 = -2*t - 4. Are n and l equal?
False
Let g = 5180 - 347066/67. Which is smaller: -1 or g?
-1
Let y(n) = -34*n + 557. Let r be y(25). Is -290 at most r?
False
Let f be ((-6192)/20)/6 + (-3)/(-5). Let t = f + 155/3. Which is smaller: 34 or t?
t
Let s = -33.7 + 39.7. Which is bigger: s or -4?
s
Let c be 5/3 - 238/42. Let p = 5.29 - 0.29. Which is smaller: c or p?
c
Let a = -0.21 - -16.21. Let m = 1.9 + 13.1. Let k = m - a. Is 6 < k?
False
Let q be (-5)/(1 + (-4)/6). Let m = q + 28. Suppose -2 = -k, -n + 54*k - 56*k = -17. Is m greater than or equal to n?
True
Let c = 300113/417 - 2159/3. Which is greater: c or -1?
c
Let c = -531 + 535. Is c <= -8.5?
False
Let z = 256 - 288. Which is bigger: -31 or z?
-31
Let y = -446 + 457. Let l = 27 - 16. Let a = y - l. Is 2/35 greater than a?
True
Suppose v + 2*r = 6*v - 356, -5*r = -5*v + 350. Which is bigger: 73 or v?
73
Let h = -51 - -39. Let r be 3*(2/h)/(8/16). Is r at least as big as 23?
False
Let h = 637/4 + -158. Let k be (-2 - (-442)/224)*-36. Let j = k - h. Is j bigger than 1/4?
False
Suppose 0*x + 2*d = -5*x + 226, -x + 29 = -5*d. Suppose b + b = x. Which is smaller: 21 or b?
21
Suppose 6 = -71*s + 65*s. Is s smaller than 2/2765?
True
Let y be -8 - (-6)/(2 - -1). Let p = -214 + -44. Let g be 4*1 - p/(-30). Is g > y?
True
Suppose r + o = 40 + 16, -2*o = 4*r - 228. Which is bigger: r or 1/3?
r
Suppose 0 = 593*j - 600*j - 5159. Which is greater: j or 2/3?
2/3
Suppose 0 = -5*g + 2*f + 13, 7 = -5*g - 0*f - 3*f. Suppose x + g = -0. Is -9/7 greater than x?
False
Suppose -2429 = 18*m + 163. Is m >= -575/4?
False
Let i = 8069 - 12232. Let u = -29199/7 - i. Which is smaller: -9 or u?
-9
Let k = -265 - -160. Let j be 4963/k - (-2)/3. Let q = -47 - j. Which is smaller: 1 or q?
q
Suppose -5 = p + r, -4*p - r = -2*r - 5. Let l = 1 + 4. Suppose p = l*k - 2*k - 3. Which is smaller: k or 1/4?
1/4
Let y(z) = -z**3 - 2*z + 3. Let m(v) = 2*v**2 - 12*v - 3. Let x be m(6). Let t be y(x). Let s be (-6)/(-8) + t/(-48). Is s not equal to 1/6?
True
Let d be 1*(-24 + -7)*-7. Is 217 > d?
False
Let j be (26/(104/3))/(1/156). Is j at least as big as 349/3?
True
Let f(o) = o**3 - 21*o**2 - 20*o - 43. Let v be f(22). Is -6/17 >= v?
False
Let j be 2/((-144)/111) + -2. Let t = 1/8 - j. Suppose 4*d - 20 = -4*n, d - 18 = -5*n + 3*d. Which is smaller: n or t?
t
Let w = -90 + 43. Let f = w + 49. Which is smaller: -8 or f?
-8
Let h(n) = -n**3 - 6*n**2 - 5*n - 8. Let r be h(-8). Suppose 144 = 5*w - f, 5*f = 8*w - 3*w - r. Does w = 29?
False
Let l = -219/791 - 1/113. Let f be 1*15/(-10)*-2. Suppose -3*z = -a - 2, 0 = f*a - z - 3*z + 1. Which is bigger: l or a?
a
Let n(q) = -q**2 - 12*q - 12. Let x be n(-8). Suppose x*o - 18*o = -10. Suppose -5*t = -0 + 20. Which is smaller: t or o?
o
Let t(y) = y - 1. Let x be t(5). Let o be -1 - (-3 + x + -1). Is -1/35 > o?
True
Let w be 550/(-35) - 2/7. Let a = 17 + w. Suppose 3*m - 20 = a. Is 7 equal to m?
True
Let l = 983 - 961. Are l and 11 nonequal?
True
Let h be (-30)/(-21) + 4/7. Suppose -h*v = -v. Suppose 4*y = 4*k + 64, v*y + 24 = 3*y + 3*k. Which is smaller: 11 or y?
11
Suppose 4*o + 19 = 2*w + 7, 3*w + 2*o + 14 = 0. Let z be 0 + (-2)/w + 4. Which is bigger: 6 or z?
6
Suppose -11*s - 65 = 2*s. Do s and 5 have the same value?
False
Suppose -12*w = -16*w - 980. Which is bigger: -244 or w?
-244
Suppose 2 - 4 = r. Let s be r/(-8)*-2*(-18)/66. Which is bigger: 0 or s?
s
Let h(a) = -2*a**2 + 44*a - 241. Let b be h(16). Which is bigger: -43 or b?
-43
Suppose 3*x = 5*x - 8. Suppose x*n - 6*n = -14. Let q be n - (-1)/(2/(-8)). Is q smaller than 1?
False
Suppose -63 = -4*p - 3*p. Let n(m) = m**2 - 6*m + 6. Let o be n(p). Let h = o + -31. Which is greater: 4 or h?
4
Let i = -7.929 - -7.9. Which is smaller: -2/3 or i?
-2/3
Let l be 4/(-6) - (-23)/3. Suppose 2*c - c - 3*y = -5, c - 4*y + l = 0. Let f be (-4)/(-3) + (-120)/100. Which is greater: f or c?
c
Suppose 0 = 2*q - 480 - 720. Suppose -4*j - q = -0*j. Let f be (4/(-40))/(4/j). Which is bigger: f or 3?
f
Let t = 0 - -15. Let p be ((-524)/(-16))/(t/24). Let z = -52 + p. Which is greater: z or 7?
7
Suppose -4 = 2*l + s - 0*s, -4 = l + s. Let g(y) = y**2 - 2*y - 2. Let x be g(l). Is x greater than or equal to -1/2?
False
Suppose -15*f - 98 + 908 = 0. Which is smaller: 53 or f?
53
Let j = -747 - -759.98. Let v = j + -13. Let h = -1.02 - v. Which is bigger: h or -5?
h
Let d = 25 + -27. Let u be (128/(-60) - d)*3. Is u smaller than -0.1?
True
Let x be ((-2)/(-176))/((-3)/(-4)). Let y be 2/(-18)*-3*2/(-8)*-12. Which is smaller: x or y?
x
Let j = 69.03 - 69. Which is greater: 0.8 or j?
0.8
Let r = 3.9 - 3.7. Let b = r + 1.8. Let n = 513/7 - 73. Which is smaller: n or b?
n
Suppose -5*f + 31 = -4*q, q + 4 = -4*f + 12. Let b = 1 - -1. Suppose 5*o - b*o = 15. Which is bigger: o or f?
o
Let h(v) be the second derivative of v**4/12 - 2*v**3/3 + 2*v**2 - v. Let d be (-2 + 7/5)*-5. Let n be h(d). Is 2/15 greater than n?
False
Let n = 472 + -1889/4. Which is greater: 32/3 or n?
32/3
Let w be -2*1 - (-28 + 17). Suppose -2*s = 2*i + 8, -4*i + 4*s + w + 7 = 0. Is i <= -2/5?
False
Let u be -1*8 + 30 + -20. Which is smaller: u or 24/19?
24/19
Suppose 8*s = 4*s - t - 35, 0 = s - 2*t + 20. Let q be (19/(456/36))/(2/(-8)). Is q less than or equal to s?
False
Let o = 0.17 + 0.23. Let x = o + -0.3. Which is smaller: x or 0.23?
x
Let b(s) = 3*s + 42. Let g be b(-23). Suppose 84 = 2*i - 5*i. Is i at least g?
False
Let f(b) = b**2 - 15*b + 25. Let z be f(13). Let s be 1*(z - 1) - -2. Are -2/73 and s unequal?
True
Let m be (-56)/(-16)*12/(-21). Let t be (315/119 + -3)*1/m. Is t greater than or equal to 1?
False
Let l = -2.02 + 0.02. Let c = 1.969 + 0.031. Let f = c + 3. Which is bigger: l or f?
f
Let i = -51 + 323. Does i = 272?
True
Suppose 26 = 5*n - 74. Suppose -n*l = -23*l. Does l = -2/95?
False
Let r = -8.97 - -9. Let u = r + -1.03. Which is bigger: u or -2/7?
-2/7
Suppose -9*u + 1190 = -43*u. Is 2/27 >= u?
True
Let c be (-14)/(-56) + (-15)/(-4). Let k be (c - 5)*4/(-4). Let m be 16/(-20)*10/k. Which is greater: -10 or m?
m
Suppose 5*z - 2*h - 11 = 8*z, 2*z = 4*h - 2. Let a be z*(1 + 3)/12. Which is bigger: 2/125 or a?
2/125
Let o = -185 + 100. Let q = o - -64. Let p be (-25 - -2) + (3 - 2). Is q >= p?
True
Let h = -123 + 75. Let y = h - -71. Let q = y - 25. Is q > -1/7?
False
Let d(h) = h - 13. Let k(j) = -j + 6. Let g(u) = -3*d(u) - 5*k(u). Let o be g(-5). Do o and -2/47 have the same value?
False
Let x = -278 + 277. Is 4/59 != x?
True
Let d = -929.81 + 925. Are d and -2/5 nonequal?
True
Let v = -500 - -6503/13. Suppose 3*m - 10*m - 8*m = 0. Is m less than v?
True
Let d be -442*7/((-14)/(-1)). Which is greater: 1/3 or d?
1/3
Let b be (357/56 - 5) + -4. Which is smaller: b or -4?
-4
Suppose 0 = -2*z - 25 - 13. Let b(i) = -i**2 - 18*i + 11. Let l be b(z). Which is bigger: -10 or l?
l
Let l(c) = 9*c + 0 + 0. Let x be l(1). Suppose 4*t - 5*b - 35 = -4*b, 3*t - 36 = 4*b. Which is bigger: t or x?
x
Let i be (2/(-3))/(8/(-12)). Let c(o) = -5*o + 1. Let w be