+ 70, -f - 3*f - 5*k - 108 = 0. Let o be (-1)/(-9)*(-27)/(-6)*f. Let q = 1/410 + -14353/1230. Which is smaller: q or o?
q
Suppose 0 = 3*a + 5*w - 61, a - 39 = -a - 3*w. Let c be (13 - 172/a)/(4/(-9)). Which is greater: 74 or c?
74
Let o(f) be the first derivative of f**4/4 - 7*f**3 - 17*f**2/2 - 11*f - 23. Let h be o(22). Let c = -45 + h. Which is smaller: c or 55?
c
Let a = 2299 - 20735/9. Suppose 0 = -13*f + 667 + 360. Suppose -f = -7*r - 107. Is r at most a?
False
Let j be 4840/(-3630) + 10/6. Let g = 0.08 + 5.12. Which is bigger: j or g?
g
Let f be ((-6)/(-531))/(61/(-552)). Let b = f + 7/59. Suppose v = -3*s + 11, 3*v + 4*s - 16 + 3 = 0. Is b at least v?
True
Let z be 37/((-481)/(-1131))*-2. Which is smaller: -111 or z?
z
Suppose -w = 3*j - 6*w - 4, -3*w - 3 = -2*j. Suppose -4*m = -4*q - 96, -5*q - 116 = -j*m + 8. Is 6 at least as big as q?
True
Let k = 46 - 55. Let f be k/15 - 9/(-15). Suppose 0*u + 2*u + 4 = f. Are 1 and u nonequal?
True
Suppose 3*s = -4*u + 11, 0 = -u - 4*u + 5*s + 40. Let v(j) = j**2 - 12*j + 36. Let b be v(u). Suppose -g + 3*n + 4 = 9, -5*n + 9 = -g. Is g greater than b?
False
Suppose -4*c = 2*w + 42, -c - 68 = 4*w + 3*c. Let n be -1 + (8905/(-690))/w. Which is greater: 1 or n?
1
Let u = 246600.997 + -246402. Let i = -199 + u. Which is smaller: -5 or i?
-5
Let p be (23 - 19) + (2 - (-133)/(-22)). Let c be -1 + 4 + -1 - 1. Which is smaller: p or c?
p
Let w be (-16)/(-10)*(-2205)/(-98). Let s be 2088/w*9/5. Does 105 = s?
False
Let c be 436/(-12)*-3 + 5. Suppose 337*j = 343*j + c. Is -22 < j?
True
Let j be 52/13 + 2/(8/(-12)) + 6. Is 198 bigger than j?
True
Let w be 12/234*(-3)/4. Let q = 23/78 - w. Let y = 684 + -683.94. Is q < y?
False
Suppose -48 = -h - 7*h. Suppose m - 363 = 5*k - k, k - 2*m = -82. Let t be 2/((-72)/k) + 3. Which is smaller: t or h?
t
Let v(a) = -a**3 - 12*a**2 + a + 6. Let r = 24 - -20. Let f = r - 56. Let k be v(f). Which is bigger: k or -2?
-2
Suppose 0 = p - 0*k + 2*k - 245, 3*p + 4*k = 745. Let a be (p/(-75))/(4/25). Let o = -21 - a. Which is greater: o or -3?
o
Let j = 5537 + -4877. Which is smaller: j or 657?
657
Let s = -1901 + 1916. Suppose -54 = 5*n - 139. Is n less than or equal to s?
False
Suppose 0 = 3*k - 15, 2*d + 9 = 161*k - 158*k. Suppose 5*r = 4*b - 1779, -4*b - 1064 = 3*r - d*b. Which is bigger: -356 or r?
r
Let d = 72/257 + 15532/6939. Let f = d - 26071/10341. Is f at least 1?
False
Let v = 570 + -634. Let n be ((-592)/v)/((-1)/28). Is n smaller than -258?
True
Let l = -94 - -184. Let w be 8/l*(-100)/40. Which is smaller: w or 1?
w
Let r = -179968/16455 + 4/1097. Which is greater: -12 or r?
r
Let k = 11.6 - 5.28. Let m = -0.32 + k. Let y = -5.6 - -4.6. Is y greater than m?
False
Suppose 0 = 2*v + 6, -2*r + 8 = 5*v + 45. Let k(i) be the third derivative of -i**5/60 + i**4/12 - 5*i**3/6 + 15*i**2. Let l be k(4). Is l greater than r?
False
Let h = 16 - 105. Let a = 94 + h. Suppose 2*z + s = z, 12 = -a*z - s. Which is greater: -6 or z?
z
Suppose 0 = 5*m + 25, -376*c = -378*c - 2*m + 236. Is c at least as big as 132?
False
Suppose -5*s - 15 + 5 = -5*j, -2*s = 0. Let n(a) = -a**2 - 3*a. Let t be n(-2). Suppose -j*h + 3*d = -6*h - 51, t*h + 5*d = -43. Which is greater: -39/4 or h?
h
Let o = 14 - 42. Let b = 25.9 + o. Let x be (900/(-540))/(65/(-117)). Which is bigger: x or b?
x
Let u = 21445/56 - 2678/7. Which is smaller: u or 39?
u
Let i be 629/2512 - (-5)/(-20). Which is smaller: i or 0?
0
Let q = -711151409/1780422 - 1/254346. Are -400 and q equal?
False
Let j = -0.04 + -2.26. Suppose -528*h - 5250 = 222*h. Does h = j?
False
Let m(o) = o**2 - 17*o - 14. Let n be m(18). Suppose 5*z + 5*u = -125, 4*z - n*u + 72 = -u. Which is smaller: -17 or z?
z
Let l = -15401 - -46006/3. Which is bigger: l or 0.09?
0.09
Let x = 88.144 + -0.144. Let r = -93 + x. Is 1/3 less than or equal to r?
False
Let z(c) = c**3 - c**2 - 1. Let r be z(0). Let s = -1060504/75 - -14140. Which is greater: r or s?
s
Let w(z) = z**2 - 35*z - 29. Let k be w(32). Let o = k + 126. Is 6/647 > o?
False
Let a = 189303/7 - 27043. Is -7833 < a?
True
Let o be ((-6)/(-2))/(-1) - (2 - -25). Let k be 3 + (o/18 - (-1714)/(-1290)). Which is smaller: k or 0?
0
Suppose 0 = h + 5*t - 7, -4*h - 5*t + 2*t + 28 = 0. Let y(g) = g - 4. Suppose -8 = 2*z - 4*z. Let l be y(z). Do h and l have the same value?
False
Let b = 818 - 2480/3. Suppose 2*k + 5*l + 3 = 0, 28*k - 33*k - 36 = 3*l. Which is bigger: b or k?
b
Let x = -11361 - -11386. Is 5/117 at least x?
False
Suppose -3*u - 5 = 2*f, 0*f + 5*f = 3*u + 19. Let q be (-6)/(-9) + (-20)/27. Is q at most u?
False
Suppose 17*h - 10 + 8 = -2. Let b be (-6)/(-3) - (-676)/(-340). Which is smaller: h or b?
h
Let z = -27123 + 1979935/73. Which is greater: z or -2?
z
Suppose 3*y - 3*i + 7*i + 87 = 0, -5*i = 4*y + 115. Let o be ((-10)/y)/((-8)/(-20)). Which is smaller: o or 1/90?
1/90
Let s = -50 - -44. Let q be -1 + 14998/(-280) - s/(-15). Let z = q + 55. Is z >= 1?
False
Suppose -7*l + w = -2*l - 63, 0 = 5*l + 5*w - 75. Let v = -1449 - -1438. Do v and l have different values?
True
Let g(d) = -80*d + 1281. Let y be g(16). Do 93/53 and y have the same value?
False
Let w = 46179892/633 - 72954. Is 0 at most as big as w?
True
Suppose 0 = 17*w - 9 - 76. Suppose -9*b + 10*b + 9 = 2*j, -b - 2*j - w = 0. Is b at most as big as -8?
False
Suppose -2555 = 5*q - 5*o, 0 = -4*q - 77*o + 76*o - 2054. Which is bigger: -508 or q?
-508
Let o(q) = -q**2 + 1491. Let a be o(35). Is a smaller than 266?
False
Let i(z) be the second derivative of -z**5/20 - z**4/6 - 7*z**3/2 - 3*z**2/2 + 125*z. Let c be i(-4). Is c less than 113?
False
Suppose 37633 = -9*d + 37633. Is -17/185 greater than d?
False
Let b be 3/(36/16) - 731/(-3). Which is smaller: 0.4 or b?
0.4
Suppose -33 + 19 = -t. Suppose 31*s + 320 = 909. Are t and s unequal?
True
Let n = -136 - -639. Let s = n + -502. Is s less than -353?
False
Let k be (505 + -58)*(-4)/(-6). Is 1193/4 greater than or equal to k?
True
Suppose -2*p - 2092 = -5540. Is 1/3 at least as big as p?
False
Let b = -87/2 - -429/10. Are b and -16/147 equal?
False
Let g = 10.41 + 2.03. Let t = g - 14. Let b = 1.7 + t. Is b < -2/3?
False
Let a = 574 + -573. Let y = -13 - -18. Suppose y*b - a = 9. Is 1 at least as big as b?
False
Suppose 0 = 4*y - y + 23*y - 4680. Do 185 and y have the same value?
False
Let x be 2240/(-380) - (-5 - -2). Which is smaller: -2 or x?
x
Let a(q) = -q**2 + 42*q - 216. Let t be a(9). Suppose -4*l + 3*l = -51. Let v = l - t. Is -29 less than or equal to v?
False
Suppose 293 = 2*w - 71. Suppose -7*g + w = 189. Which is smaller: -2/763 or g?
g
Let f = 16083 - 16088. Which is smaller: f or 0.7?
f
Suppose -9*y - 35 = 190. Let l be -2 - (-15)/y*-4. Which is smaller: -20/9 or l?
-20/9
Let n be 6/((-192)/422) + 11 + -1. Let h = -6/23 - -41/69. Which is smaller: h or n?
n
Let f = 18.6 - 18.5. Which is smaller: f or 2920?
f
Let v be 3 + 23325/55 - 6/66. Is 428 > v?
True
Let t be ((-86)/12)/((-2)/(-4)). Let f be ((10/4)/(2055/(-1644)))/(-2). Is t at least as big as f?
False
Let l = -0.023 + 8.023. Let u = l - -6. Let r = u - 13.8. Which is greater: r or -5/2?
r
Let o(t) = -80*t + 1276. Let u be o(16). Let i(q) = -q**3 + 7*q**2 + 8*q - 6. Let f be i(8). Is u >= f?
True
Let t(k) = k**3 - 24*k**2 - 28*k + 32. Let n be t(25). Let r = -14 - n. Which is bigger: 31 or r?
31
Let c = 9164/12125 - 64/97. Let a = 1276/2875 - c. Which is smaller: a or 0?
0
Let u be (1 - 13)*(-10 - (-1141)/112). Suppose 0 = 4*s + 4*r + r - 12, -r = 3*s + 2. Which is greater: s or u?
s
Let l = -95 + 110. Suppose 0 = -l*j - 2*j + 34. Let m(p) = -p**2 + 2*p + 3. Let b be m(3). Which is smaller: j or b?
b
Let n(p) = p**2 - 2*p + 205. Let z be n(-29). Which is smaller: z or -2/25?
-2/25
Let c = -67.39 + 66. Let i = c + 2.39. Is i less than 17?
True
Suppose -22 = -3*y + 4*y + 4*l, -4*y + 5*l = 4. Let m be (y/18)/((-5)/(-3)). Which is greater: m or 9?
9
Let y(a) = 5895*a**3 - 2*a**2 + 2*a - 1. Let j be y(1). Is 5894 smaller than j?
False
Let q = -2830 - -2831. Is -11/574 greater than or equal to q?
False
Suppose 0 = f + 2*l + l - 21, -5*f + 5*l + 25 = 0. Suppose -f*i = -925 + 97. Let a = i + -93. Is a < 0?
True
Let n(p) = 237*p**3 + 2*p**2 - 17*p - 18. Let v be n(-3). Is v smaller than -6348?
False
Let i = -2574 + 2575.