s bigger: d or -58/7?
d
Suppose 0 = 5*f - 7 - 13. Suppose 4*d + r = 115, -d + 25 = 135*r - 134*r. Suppose -m = f*m + d. Which is greater: m or -19?
m
Let r be (-65608)/(-40) + -1*5 + 48/10. Which is bigger: 1641 or r?
1641
Let v = 74 - 5. Let s = v - 148. Let b = -79.1 - s. Which is smaller: 54 or b?
b
Suppose 0 = 2*j - 3*p - 111, 10*j - 7*j + 4*p - 192 = 0. Suppose 0 = 2*k - 3*w + j, -k - 4*k = w + 116. Which is greater: k or -7?
-7
Suppose 0 = -3*l - 6*t + 11 - 32, -5*l - 20 = 5*t. Which is bigger: l or 4/1489?
4/1489
Suppose -4*x = 7*m - 9*m - 42, 5*x - 3*m - 52 = 0. Let a be (-8687)/(-798) + (-4)/(-24). Is x smaller than a?
True
Let k(a) = -2*a**3 - 12*a**2 + 11*a + 8. Let l be k(-7). Let s = l + -25. Let x be 166/(-20) + s/(-20). Which is greater: x or -8?
-8
Let z = 1745 - 1673. Suppose -5*y = -4*j - 88, -y + 59 = -4*j - 45. Let k = z + j. Which is bigger: k or 46?
46
Let n be (46/(-48))/(113/17854). Is n >= -150?
False
Let y = 83433/5 + -16350. Is y at least as big as 338?
False
Let r = -0.16 + 59.46. Let g = r - -10.7. Let a = 69.91 - g. Which is bigger: a or 1/4?
1/4
Let n = -1577813/66856 - -1440/61. Does -1 = n?
False
Let p = -35 - -46. Let k(u) = 63 + p*u - 6*u + 2*u. Let s be k(-12). Which is bigger: -41/2 or s?
-41/2
Let n be (21518/609)/(2/(-6)). Is 21 > n?
True
Let k = -61 + 59. Let b be (-6 - k) + (1 + 47 - -2). Let l = b + -412/9. Is -0.15 equal to l?
False
Let d = -17575 + 720465/41. Which is greater: d or -3?
d
Let i = 137568 - 243357785/1769. Is i >= 1?
False
Let c(q) = q**3 + q - 7. Let f be c(3). Suppose -5*g = -2*n - 90, -5*g = -6*n + 7*n - 90. Suppose -f*r = -g*r - 10. Which is greater: 4 or r?
4
Let f be (-17 - -2) + 1430/20. Let y(c) = -c**2 - c + 58. Let k be y(0). Which is smaller: k or f?
f
Let p = 247411/3 + -83264. Let a = p - -783. Suppose 4*g = -f - 15, 6*f + 27 = -g - 40. Which is smaller: f or a?
f
Let p be (-6)/15 - (366/(-15) + 4). Suppose 3*g = -15, p = o - 0*g - g. Let u be -1*(3 - (-5)/(o/(-12))). Is u at least as big as 1/6?
True
Let v be ((-1)/57)/((-7)/(-4)*(-1340)/(-14)). Are 1 and v equal?
False
Let p = 73.66 + -73.6704. Which is smaller: p or 15/2?
p
Let a(t) = -2*t**3 + 32*t**2 - 36*t - 153. Let n be a(15). Is -243 equal to n?
True
Let m(p) = 3 + p**3 + 5*p + 40*p**2 - 33*p**2 + 2*p. Let n be m(-5). Suppose 0 = 18*j - 21*j + n. Is 5 greater than or equal to j?
False
Let k = 288 - 662. Let f = k - -462. Which is greater: f or 85?
f
Let z(o) = -37*o**2 + 6*o - 29. Let q be z(7). Which is bigger: -1799 or q?
-1799
Let z(u) = -60*u - 7515. Let m be z(-141). Is m greater than or equal to 941?
True
Let w = 26 - 25. Let k = w + 1. Suppose 0 = 2*s - s - k*y + 2, 0 = 5*y - 15. Which is greater: s or 9/2?
9/2
Suppose c = -c + 10, 2*c - 18 = -2*f. Let j(s) be the second derivative of -s**3/6 + 3*s**2/2 - 1735*s. Let b be j(f). Which is smaller: 1/17 or b?
b
Let u be 4142/18 + (-76)/684. Let l = -281 + 512. Which is smaller: u or l?
u
Let g be 72/(-14) - 16*23/(-2576). Which is bigger: g or 1173?
1173
Let t be 4/(-8) + 50/(-20). Let m be t*4/60*5. Which is smaller: m or 1/56?
m
Suppose -x + 5*x + 3*k - 17 = 0, -4*x + 4*k + 24 = 0. Let t be x/(-15)*-3 - (-126)/(-134). Which is smaller: 1 or t?
t
Let w(y) = -8*y + 103. Let j(o) = -9*o + 107. Let g(t) = -4*j(t) + 3*w(t). Let b be g(10). Which is bigger: 2/869 or b?
b
Let c = 18243095354121/4355 - 4189000003. Let p = -1018/13 + c. Is p bigger than 0?
True
Let f = -72 - -76. Suppose 5 = -f*i + 37. Suppose i*t - 3*j = 3*t + 2, 0 = 5*t + j - 6. Which is bigger: t or 6/19?
t
Let l(n) = -89*n**2 + 15*n + 39. Let b be l(-2). Let k = 426 + -773. Is b > k?
False
Let n(l) = -l**3 - 15*l**2 - 8*l - 13. Let p be n(-14). Let t be 2/5 + p/5. Let r = t + 15. Which is greater: r or -1?
-1
Let d = 2.966 + 116.934. Let a = d - -12.1. Which is smaller: 1 or a?
1
Let d be ((10/15)/(8/24))/(-2). Is 1/3972 at least as big as d?
True
Let z = 3/14347 - -85233/4060201. Which is smaller: -3 or z?
-3
Suppose -27*f = 6*f - 33. Is -20/1853 >= f?
False
Let d = 31 + -11. Suppose 17 = i + c, -21*i = -16*i - 4*c - 67. Suppose i*p - 1475 = -d. Are p and 97 unequal?
False
Let t(s) = -s**2 - 11*s + 8. Let b be t(-12). Let c be b/(-10) + 0 + 806/(-40). Is -20 != c?
True
Suppose -13*j + 26421 = -43649. Which is greater: 5391 or j?
5391
Let a(b) = 9 - 5 + 4 + 2*b. Let y be a(0). Which is greater: 3 or y?
y
Let v(f) = 14*f - 7. Let h be v(3). Suppose 33*x = h*x - 32. Let l = 21 - 5. Is l < x?
False
Let t = 621324 + -621289. Let l = -14 - -51. Is l at least as big as t?
True
Suppose -27*u - 19 = 8. Let m = 110701119 + -12287665703/111. Let r = m - 1428. Which is greater: u or r?
r
Suppose -65*u - 17 = -17. Which is bigger: u or 10?
10
Let w = -664 + 782. Is 588/5 bigger than w?
False
Let j = -184.6 - -184.7. Let w = 0.4 - 0.2. Which is smaller: w or j?
j
Let s = 7790 - 10812519/1388. Which is smaller: s or -0.5?
-0.5
Let h = 5410 + -5413. Which is smaller: h or -6/19?
h
Suppose 4*m - 5 = -m. Suppose 16*c - 7*c - 567 = 0. Let i be (5/m)/(c/54). Which is bigger: 3 or i?
i
Let u(o) = o**2 - 4*o - 3632. Let j be u(62). Which is greater: 32/3 or j?
32/3
Let n = -404 + 2819/7. Let d be 88/(-5) - 6*3/45. Let x = -18 - d. Which is smaller: n or x?
n
Let m = -231 + 324. Let a = m - 467/5. Let l = 0.051 - -11.949. Are l and a unequal?
True
Let m be (15*(8 - 9))/137. Is 1 >= m?
True
Suppose -y + 3*m + 5022 - 570 = 0, 4*y = -m + 17756. Which is bigger: y or 0.1?
y
Suppose -9*y = -14*y - 22*y. Suppose 2*g + 4*w = 430, -3*w + y*w = g - 216. Which is bigger: 212 or g?
g
Let n be 7/((-1701)/72)*12/(-16). Is n != -385?
True
Let k = 72 + -78. Let i be (-135)/k*3*4. Which is bigger: i or 271?
271
Suppose 38*d - 63 = 31*d. Suppose -43 = -q + 2*a, -4*q + d*q = -4*a + 285. Is q less than or equal to 54?
True
Let d = 24683/39 + -8232/13. Are d and 63/73 equal?
False
Let u = -27301 - -27233. Suppose 2*m + 350 = -3*m. Which is smaller: u or m?
m
Let y(r) = -3*r - 76. Let o be y(-24). Let u be -1 + o + 6 - 1. Which is smaller: -1/278 or u?
-1/278
Let s = 1179 - 941. Let j(d) = -27*d - 5. Let p be j(-9). Is p != s?
False
Suppose -4*d + m = 8, 17 = -0*d - 3*d - 2*m. Let v be (6/8)/(4/(-16)). Let t be v/(d/(-4)) + 22. Which is smaller: -1/2 or t?
-1/2
Let a be (-798)/24 + (-1)/(-4). Let b(l) = -6*l + 64. Let g be b(5). Let p = -67 + g. Is a at most as big as p?
True
Let m = 1479532 + -57695585/39. Let f = m - 158. Let s be (-3 + 2)*(2 - 2). Which is bigger: f or s?
f
Suppose 2*r - 2 = 0, -9*m - 2*r = -11*m + 6240. Let h = m - 18781/6. Is -9 > h?
True
Let y = -37726 + 37728. Let j = 208 - 292. Which is smaller: y or j?
j
Let a = -1235 - -35803/29. Let q(h) = 2*h**2 + 6*h - 19. Let j be q(-5). Which is bigger: j or a?
j
Let o(c) = -3*c + 13*c + 3 - 7*c - 2. Let j be o(1). Is -3/10 >= j?
False
Let g = -296 + 304. Suppose -2*c - 2*n = 2*n + g, c - 5*n = -32. Which is smaller: c or 5?
c
Let j = 283 + -514. Let m = -122 - j. Which is smaller: m or 0?
0
Let w(v) = -v**3 + v**2 + 4*v - 22. Let m be w(0). Let l = m + 36. Let y = -25 + l. Which is greater: y or -8?
-8
Let k = 19 - 9. Let g be (212 - 1) + k/(-40)*0. Is g less than 210?
False
Suppose 0 = -2*t - 4*x + 76, -t + 5*x + 37 + 22 = 0. Let q = 82 + -79. Let r = q + t. Is r at least as big as 47?
True
Let a be (2/(-6) - 0)/((-47)/10293). Let s be (a - 70)/((-3)/(-5)*1). Which is smaller: 39/7 or s?
s
Let v = -62.2 - -69. Let z = v - -62.2. Let f = -69.1 + z. Which is bigger: -0.2 or f?
f
Suppose 24*p = 38*p + 1190. Let x be ((-75)/(-10))/(2/20). Let y = p + x. Which is greater: -5 or y?
-5
Let i = 1279.86 + -1086.9. Let b = i - 193. Is -0.01 equal to b?
False
Suppose 2*l = 5*x + 151, 5*x + 9 = 5*l - 136. Which is smaller: -61 or x?
-61
Suppose 5*b + 28 = 118. Let k(c) = -9*c + 2*c + c**2 - 3*c + b. Let y be k(10). Which is bigger: y or 20?
20
Let n = -31.6573 + -0.0427. Let d = 23.5 + n. Which is smaller: 0 or d?
d
Let v be 82/(-26) + (-9 - 595/(-65)). Let t be (-474)/1580*1/v*-7. Which is greater: -2 or t?
t
Suppose 0 = 3*v + 3*v + 48. Let m be -6*(v/3 + 2). Suppose -13*x + 9*x = -m. Is x != 1/4?
True
Let i = -8086 - -8078. Let c(y) = 0*y + 2*y**2 - y**2 - 2*y**2 - 5*y - 5. Let d be c(-6). Is i at most d?
False
Let s(h) = 28*h - 9*h - 5 - 3 + 16*h**2 - 20*h**2. Let u(p) = 2*p**