or n?
h
Suppose -90*n + 475 = -95*n. Let h = -98 - n. Which is bigger: h or -20/7?
-20/7
Let d be (-2 - (-20)/15)/(2/468). Let a = 2966/19 + d. Is a >= -2?
True
Let n be -150 + 4/(-7 + (-55)/(-5)). Is n greater than -889/6?
False
Let z be 2/(-5) - (-14)/35. Suppose -s + 0*t - 3*t = 0, z = 4*s - 4*t. Let l = -53.138376 - -0.138376. Are s and l nonequal?
True
Let a(l) = l**2 + 27*l + 40. Let g(b) = b**2 + 28*b + 40. Let h(z) = -6*a(z) + 5*g(z). Let w be h(-20). Is w at most as big as -1/66?
False
Let u = -1597 + -857. Is -2457 bigger than u?
False
Let k = -4.8 - -4.7. Let h = k + 49.1. Let z = -42 + h. Is 1/5 greater than z?
False
Let j be (25 - 25 - 6765/2241) + 3. Is j smaller than 0?
True
Let b(s) = 49*s**2 - 53*s + 139. Let w be b(3). Which is bigger: w or 422?
422
Let k(z) = z**2 - 180*z - 1901. Let a be k(-10). Which is greater: -2/6619 or a?
-2/6619
Let n = 11036 - 11035. Is 8435 bigger than n?
True
Suppose -84 = -5*g + 5*p + 31, -4*g + 67 = p. Let a be 3*(-24)/18 - g/(-4). Which is smaller: 0.58 or a?
a
Let a be ((-307)/2 + -3)*(-6)/3. Let f = -192 + a. Is f bigger than 122?
False
Suppose -4*h + 792 = -4*s, -2*h + 2*s - 6*s + 408 = 0. Suppose -5*q - h = 15*q. Is q bigger than -10?
False
Let h be (-3)/21*-4*(-1998)/24. Do 4/3 and h have the same value?
False
Let u = 8071 - 4633. Is u at most 3437?
False
Suppose 2*g = -9*o + 7*o - 1294, -3*g - 639 = o. Let c = 651 + o. Is c > 23/33?
False
Let n(d) = -2*d**2 + 7*d + 18. Let f be n(-8). Let x be (806/(-4))/(136/112). Let z = x - f. Is z at most as big as 0?
False
Suppose 0 = 67*s + 74*s - 150*s. Let a = -54.73 + 54. Let f = a + 0.7. Which is smaller: f or s?
f
Let k(x) = x**3 - 5*x**2 + 6*x - 1. Let f(b) = -17*b**3 - 3*b**2 - 4*b + 4. Let s be f(-3). Let q be 1/7*11 + 192/s. Let r be k(q). Is -6/5 < r?
True
Let d = -2/87 - -11/58. Suppose 0 = 17*a - 43 - 8. Suppose n + 2*s + 9 = -0, 0 = a*n + 4*s + 19. Are n and d equal?
False
Let t be (-3)/((5/30)/((-4)/(-24))). Let f be (112/56)/((-2)/t). Suppose -3*s + 4*d = -14, 5*s - d = d. Which is greater: f or s?
f
Suppose -18*v = -17*v - 5, 0 = d + 4*v - 264. Suppose -p + 18*q - 22*q - 40 = 0, 2*q - d = 5*p. Which is bigger: -46 or p?
-46
Let u(y) = -5*y**2 - 9*y + 564. Let x be u(27). Is -3323 smaller than x?
False
Let f = 28 + -46. Suppose 30*b = 3154 - 514. Let w = b + -107. Which is smaller: w or f?
w
Let b = -0.577 + -0.043. Let i = 71.56 - 71.86. Which is smaller: i or b?
b
Let k(o) = o**2 - o - 2. Let l be k(-3). Suppose -1 = -3*x - l. Suppose 6 = -3*w - 9. Which is smaller: w or x?
w
Let f = -2914 + 2914.1. Which is smaller: 101/44 or f?
f
Let u = -398.8 - -399. Let j = -0.21 + u. Which is greater: 3/5 or j?
3/5
Suppose -114*z + t = -110*z + 17, 5*z - t = -22. Is z greater than 0.0655?
False
Suppose -5*s + 198 = 38. Let t(o) = -o**3 - 8*o**2 - 17*o - 19. Let h be t(-5). Let v be ((-42)/56)/(h/(-6)). Which is bigger: v or s?
s
Suppose 0 = 17*i + 3287 + 19459. Which is smaller: -1331 or i?
i
Suppose -7*m - 2857 = -3949. Suppose 2*x = 5*c - 90, 15*c = -4*x + 19*c - m. Which is smaller: -320/9 or x?
-320/9
Let j be ((-56)/(-504))/((-4)/103). Which is smaller: -3 or j?
-3
Suppose 65*m - 3128 = 73*m. Let g = m - -392. Is -7/31 <= g?
True
Let a be 6822/15 - 2/(-10). Let c = 640 - a. Let o = -100 + c. Which is smaller: 84 or o?
84
Let b be (-70)/173901*(-117)/(-65). Which is smaller: b or 1?
b
Let x be (-2)/(-6) + (-3)/(72/(-256)). Let u be x/(-22) - 420/(-8). Which is smaller: u or 48?
48
Let f(u) = -u**3 - 31*u**2 - 38*u + 523. Let w be f(-30). Is 763 smaller than w?
False
Suppose 2*p - 4*z - 3*z - 470 = 0, p + 4*z - 295 = 0. Let u = 0.97 + 0.03. Which is greater: p or u?
p
Let a = 499 - 480. Let g(f) = f**3 - 4*f**2 + 2*f - 3. Let r be g(4). Which is smaller: r or a?
r
Let l = -399.79 + 5.79. Let q = -395 - l. Is 20 >= q?
True
Let g = -5 + 5. Let y(p) = p**3 + 39*p**2 - 42*p - 84. Let b be y(-40). Let k be (-1479)/(-297) + -1 + b. Which is smaller: g or k?
k
Let o be ((-3)/(-6))/(231/(-44)). Which is bigger: 76/9 or o?
76/9
Let u be -1 + 24132/(-4828) + 6. Let n = -1679/284852 + u. Which is smaller: n or -1?
-1
Let f = 10/8097 + 256/1249637. Are -0.1 and f unequal?
True
Let b be 2/(28/1274*13) + 13865/(-1982). Is 1 smaller than b?
False
Let a(u) = -u - 7. Let r be a(-11). Suppose -3*h - 12 = 0, -2*g - g + r = -h. Which is greater: -2/301 or g?
g
Let y(h) = -5*h**2 - 103*h - 60. Let g be y(-20). Is 2/25583 bigger than g?
True
Let m = 137726 + -834481828/6059. Is m greater than 1?
False
Let c = 791 + -795. Is c > -1/31?
False
Let r be 5/2*4*(-36)/(-40). Suppose 5*a + r = -6. Suppose 2*y = 3*f + 1, -3*y - 3*f - 3 = 3. Which is smaller: a or y?
a
Let v(p) = 13*p - 113. Let o be v(9). Let s be (1 + -3 + o)/(-2). Which is smaller: -1/2 or s?
s
Suppose 36*c + 266 + 588 + 334 = 0. Which is smaller: c or -331/10?
-331/10
Let s be 2/(-8)*0*(-2 - -3). Let t be ((-3392)/(-470))/(2/5). Let r = t + -18. Which is bigger: s or r?
r
Let t = -9.1 + 56.1. Let g = -44.1 + t. Let s = g + -0.9. Which is smaller: -6 or s?
-6
Let p = 44.4 + -127.3. Let q = 83 + p. Let r = -14 - -4. Which is smaller: r or q?
r
Let a = -632/99 + -4282/99. Is a at most as big as -0.2?
True
Let m = -21.7511 + 21.985. Is 2/13 <= m?
True
Let i be (-32)/(-40)*(-16)/(-32512). Is i > -1?
True
Suppose 12*c + 91 = 13*c. Suppose 0 = -3*y + c + 146. Let j = y - 78. Which is bigger: 0 or j?
j
Let h be (-6)/(-9) + 0 + (-2422)/(-21). Let t be ((-6)/h)/(((-88)/(-48))/(-11)). Which is smaller: t or -1?
-1
Suppose -432 = 733*i - 787*i. Is 184/25 bigger than i?
False
Let f = -2471 + 2577. Which is smaller: f or 104?
104
Let m be 12/(-36) - (-16)/3. Suppose 0 = -l + 1, -b = b - m*l - 19. Let j(v) = 9*v - 104. Let w be j(13). Which is bigger: b or w?
w
Let d = -3616 - -3616.71. Which is bigger: -0.007 or d?
d
Let x = 2864.276 + -5.276. Is -2 > x?
False
Suppose -h = 2*h + 39. Let t = -53 - -57. Suppose 0 = -t*y + 33 - 85. Does y = h?
True
Let j(g) = 4*g**3 + 29*g**2 + 20*g - 171. Let d be j(7). Is 2762 >= d?
True
Let q = -0.0725 - -402.0725. Let d = 388.5 - q. Is d >= 0.1?
False
Suppose -a + 5*b + 13 = 0, 4*a - 2*a + 6 = 2*b. Let h = 14 - 25. Let g = h - -5. Which is smaller: g or a?
a
Let o = -418 + 75. Let d = 343.07 + o. Is -11 >= d?
False
Let y = 413.369 - 414. Is y <= 0.1?
True
Let d(j) = 10*j**2 - 54*j - 7. Let c be d(6). Let o be (-9)/(-12) - (-117)/4. Is o not equal to c?
True
Let j be 2/(-20)*1954 - (4 - 286/65). Which is greater: j or -198?
j
Let i(n) = -9*n**2 - 8*n + 27. Let h(t) = 19*t**2 + 15*t - 53. Let g(p) = -2*h(p) - 5*i(p). Let k be g(4). Let v = -82 + k. Which is smaller: v or 42?
v
Suppose 310 - 307 = 3*s. Let o = -608 + 6077/10. Which is smaller: s or o?
o
Let a be 7/(147/(-6)) - 12771/(-1505). Which is smaller: a or -1.3?
-1.3
Let g(t) = t**3 + 10*t**2. Let k be g(-10). Suppose 2*n + k*n = -42. Let l(c) = c - 88. Let r be l(67). Is r at most n?
True
Let h = -191 + 222. Let v = 31.04 - h. Which is smaller: v or -1?
-1
Suppose 0 = -6*b + 2607 - 51. Let x = b + -425. Which is greater: -2/929 or x?
x
Let f = 89 - -28. Let s be f/27 - 2/6 - 5. Which is greater: -7/16 or s?
-7/16
Suppose 1533*n + 104 = 1559*n. Which is bigger: 240/77 or n?
n
Let s = 25 + -47. Let h = 18.4 - -3.8. Let x = h + s. Is x at most as big as 2/49?
False
Let y be 120/205*(4 + 18/16*-4). Let u(i) = -i + 6. Let o be u(6). Are y and o nonequal?
True
Let d = -15068/9 + 1676. Let i = -18 - -19. Do d and i have the same value?
False
Let z(a) be the first derivative of 19*a**2/2 - 96*a - 21. Let h be z(5). Which is smaller: 4 or h?
h
Let b be (-26)/(-143) + (-86)/(-11). Let i be (536/(-64) + b)*-16. Suppose x + 8 = 3*x. Is i < x?
False
Suppose 4*z + b = 3*z - 54, 4*z + 5*b = -213. Let t be 4/(-1)*z/38. Suppose 3*v + 2*c - t = -27, 4*c = 3*v + 3. Is v smaller than -5?
False
Let o(v) = v + 25. Let p(u) = -u - 24. Let k(q) = 3*o(q) + 2*p(q). Let t be k(-15). Suppose -30*x = -29*x + t. Which is smaller: x or -11?
x
Let r(m) = -24*m**2 - 5*m + 15. Let d(p) = -p**3 - 13*p**2 + 13*p - 12. Let y be d(-14). Let x be r(y). Does x = -91?
True
Suppose 2*w - 8 = 3*p, p = -w - 0*p + 4. Let y be (w/7)/(-2*(-5)/70). Suppose b + y + 4 = 4*d, 0 = -2*b + d - 9. Is -4 greater than or equal to b?
True
Let f = 158526 + -158159. Let y(x) = 36