5458 = -25*s. Is 3571 < s?
False
Suppose -227*c + 226*c - 62 = -3*n, -2*c - n = 131. Which is smaller: c or -54?
c
Let o(u) = -5*u + 6*u + 7 - 8. Let q be o(-6). Let d be (-2)/((16/52)/2). Is d smaller than q?
True
Let w = -17.9 - -35. Let n = w - 18.1. Is 0.35 smaller than n?
False
Let j(d) = -d - 1. Let z(m) = m**2 - 8*m - 5. Let p(v) = -4*j(v) + z(v). Let f be p(5). Suppose 3*g - b = 28, 0 = -5702*b + 5703*b + 1. Which is bigger: f or g?
g
Let b(d) = -93*d**3 - 5*d**2 + 1. Let r(t) = 279*t**3 + 14*t**2 + t - 2. Let m(f) = -8*b(f) - 3*r(f). Let j be m(-1). Which is bigger: j or 93?
93
Let u(r) = 15*r - 136. Let b be u(9). Is b at least as big as 91?
False
Let x = 10265/111 + -67/37. Let w(m) = 13*m**3 - 4*m**2 + 3*m - 2. Let v be w(2). Which is smaller: v or x?
x
Let b be (-1026)/(-1080) - (-3)/(-4). Let f be 10*(1 - 28/20). Let m be (1/f)/((-216)/(-64)). Which is smaller: b or m?
m
Suppose 25 = 5*u, 3*x - 7*u - 21 = -10*u. Let o be 250/100*(66/(-5) - x). Is -35 at most as big as o?
False
Let f = -1904 + 1827. Is 5/3 at most as big as f?
False
Let b = -9503 - -9545. Let w(g) = -g**3 + 16*g**2 - 16*g + 21. Let a be w(15). Is b at most a?
False
Suppose -w = 5*x + 4*w - 30, -5*x + w = -24. Let z be 214/(-6) + 13/(-3) + x. Let f = -57 - z. Is -24 > f?
False
Let x = 29 - 47. Let r = -56 - x. Let u = r + 47. Which is smaller: u or 3?
3
Let u be 8/28 + 15/21 - 175. Let g = u + 1221/7. Suppose -3*q - 4 = -2*x, -2*x + 6 = -3*q + x. Which is bigger: q or g?
g
Let q be (14130/(-285))/(-2)*(-2)/(-6). Which is bigger: 8 or q?
q
Suppose 2*j - 24 = j + 5*s, -3*j + 5*s + 22 = 0. Let x(h) = -6*h**2 - 16*h - 16. Let b be x(j). Let q = 6937/5 + -1394. Which is bigger: q or b?
b
Let d(s) = -s**3 - 6*s**2 - 2*s + 6. Let m be d(-6). Let i be (5/10)/(20/m). Which is smaller: i or 1?
i
Let r = 380.67 - 379. Let f = 2.67 - r. Let t = -0.02 + -0.05. Which is greater: t or f?
f
Let z be 9/39 - 441/(-117). Let q be (-54)/42 - (-2)/7. Let d be (-1 + z)*q*6/(-99). Are 0.1 and d nonequal?
True
Let p = 8 - -16. Let g be (-1 - -2)/((-2)/p*-1). Let r be g/(-21) - (-64)/14. Is -8/5 greater than r?
False
Suppose -j - 10*l + 25 = -8*l, 3*j - 3*l = 120. Suppose 5*c - j + 110 = 0. Which is greater: c or -78/5?
c
Suppose -5*r + 80 = -50*q + 45*q, 0 = -q + 5*r + 4. Is q at most -508/23?
False
Suppose -5*u + 4*u = 12. Suppose -3 = -2*a + 3, 7 = k + 5*a. Let s be 2/(k/6 - (-4 + 3)). Is u less than s?
True
Suppose 5*m + 133 = -t, -3*m = -6*m + 18. Is -129 greater than t?
True
Let b = -46 - -311/7. Let w be 25/2*48/(-364). Let d = b - w. Which is smaller: 0 or d?
0
Let v = -423.1 - -423. Let l = -17.9 + 18.2. Which is smaller: v or l?
v
Suppose v - 2 + 1 = 0. Let t = 586 - 587. Let a be ((-24)/8)/(-255)*t. Is v equal to a?
False
Let u = 35422/423 + 994/47. Which is bigger: u or 105?
105
Suppose 196*o - 199 + 45 = 218*o. Is o < 1058?
True
Let g be (-8)/(-4)*(-851 - 2). Which is greater: -1704 or g?
-1704
Suppose 2*c - 20 = 3*i, 3*c - 24 = 3*i - 3. Let v = 66 - 165. Is c < v?
False
Suppose -j - 3*j + 88 = 0. Suppose 0 = -3*m + 3*u - 21, 3*m + m + j = 2*u. Let z(l) = l**3 - 11*l**2 + 12*l - 23. Let p be z(10). Is m > p?
False
Let j be (-58)/667 - 3584/46. Let s = -256 - j. Is s bigger than -177?
False
Let j be 1805*(-33)/51700 - (-6)/5. Is j < 1?
True
Let f(h) = -h**3 + 6*h**2 + 9*h - 9. Let q be f(7). Let k(n) = -q*n - 6 + 1 + 4 - 2. Let p be k(6). Does p = -33?
True
Let a = 11146.7 + -11143. Do a and 19.8 have the same value?
False
Let o = -981 + 537. Let f = 31022264/319 - 1064850/11. Let w = f + o. Is -1 greater than w?
False
Suppose -a + 7*a - 72 = 0. Let z be (a + -7 + -7)*(-54)/4. Which is greater: 1 or z?
z
Let u(p) = p**3 + 14*p**2 + 38*p - 66. Let o be u(-21). Let m be 1 - 0 - (-10 - 43488/o). Which is bigger: 0 or m?
0
Let p = -226 - -6101/27. Which is smaller: -7 or p?
-7
Let a = -680.4 + -36.6. Let r = 760.1 + a. Let i = -43 + r. Which is smaller: 28 or i?
i
Suppose 4*y - 775 = 5*r, -991 = 5*r + 4*y - 176. Let p = r - -112. Is -47 < p?
False
Let l = -2 - -1. Suppose -5*d - 2820 = 5*j, -d - 5508 + 5516 = 0. Are j and l equal?
False
Let r(s) = -s + 14. Let c be r(9). Let d be (5 - (0 - -2)) + (c - 3). Suppose d = 3*m - 1. Is m < 0.26?
False
Let s be 1/8 + 58671/65928. Which is smaller: 2 or s?
s
Let a = 3639 + -3637. Let z be (2/(-3))/((-8)/6). Is z bigger than a?
False
Let j = 1008.3 - 910. Let w = 94.3 - j. Which is smaller: w or 2.1?
w
Let m be ((-5)/(-1785)*12)/((-26)/91). Which is greater: m or 49?
49
Let g = -0.088 - -0.0392. Let u = -0.1488 - g. Which is bigger: -16.1 or u?
u
Let r = -227.042 - -227. Is r equal to 1?
False
Let w = 683 + -828. Let q be (16/10)/((-1)/90). Is w >= q?
False
Let i = -0.4 + 8.3. Let u = 5244 + -5236. Let b = i - u. Which is greater: b or -37?
b
Let l(q) = q**2 + 27*q + 106. Let c be l(-21). Let m = -6766/347 + -1/694. Which is smaller: c or m?
c
Suppose 11 - 32 = -a. Suppose -a*k - 106 - 125 = 0. Which is greater: -13 or k?
k
Let o be (-259996)/114 - 2/(-3). Let q be o/(-675) - (-4)/10. Which is smaller: q or 5?
q
Let o = -31/4 - -33/4. Let g = -80.6 - -98. Which is smaller: o or g?
o
Let c = -0.49966 + 0.19966. Which is smaller: c or -2432?
-2432
Let d(g) = g**2 + 16*g + 74. Let l be d(-9). Let k be (77/l - 9)/(37/(-12)). Are 2 and k non-equal?
True
Let s = -31790 + 31792. Is s <= 101/72?
False
Let u(d) = 71*d. Let l be u(-1). Let m = -2609 - -2542. Which is greater: m or l?
m
Let c = -2 - 15. Let q = -174 - c. Which is bigger: q or 1?
1
Let a(f) be the third derivative of 23*f**4/24 - 17*f**3/3 + 2*f**2 - 1. Let o be a(1). Which is smaller: -72/7 or o?
o
Suppose 63*r = -32*r - 78*r. Which is greater: r or 69/110?
69/110
Let i(v) = v**3 + 12*v**2 - 9*v - 129. Let m be i(-12). Are 119 and m equal?
False
Let v = -8713 - -8709. Is -194/3 at least as big as v?
False
Let v be -8 + (-8772)/(-1751) - (0 + -3). Let o be 4/(-10) - (-118)/1545. Let a = o - v. Is a <= -1?
False
Let q = 8640.9 - 8641. Is 0.0016 bigger than q?
True
Let u = -468 - -357. Let p(z) = -20*z - 11. Let c be p(5). Is u > c?
False
Let h = 166.7 - 163. Let y = -4.7 + 4. Let g = h + y. Is g at most 4?
True
Let a(w) = 35*w + 92. Let d be a(11). Let r = d - 402. Is r < 75?
False
Let y be 16/32*-10 + -2 + (-222)/14. Let g(k) = -6*k**2. Let s be g(2). Is s at least as big as y?
False
Let w = 13201 - 13199. Is 270 > w?
True
Let g = 19.9 + -27.1. Let s = g - -7.14. Which is smaller: 1 or s?
s
Let i be ((-123)/82)/(1 - 26/32). Let w be -1083*(-7)/(-34 + i). Is w less than -182?
False
Let n be 2*42/10 - (-56)/(-140). Let x = -28 + 30. Suppose -n*t + x = -6. Which is smaller: t or 0.4?
0.4
Let k = -37 + 48. Suppose -k*f + 12 = -7*f. Suppose t = -f*d + 8 - 4, -3*d - 92 = -5*t. Which is greater: 17 or t?
17
Suppose 6*a = 4*k + 3*a, 0 = -5*k - a. Which is smaller: -2/30741 or k?
-2/30741
Let w = 36795 - 36798. Which is greater: w or -143/64?
-143/64
Let k be 1/4 - (-98)/56. Let h be 66/22*k/6. Which is smaller: -65 or h?
-65
Suppose -418*s - 6396 = -431*s. Is 492 bigger than s?
False
Let c = -1461215 + 5816781/4. Let w = 7073 + c. Let y = 54 - w. Are -3 and y non-equal?
True
Let k = 64.41 - -2.59. Let o = k + -66.8. Is o greater than or equal to -0.008?
True
Let h be ((-3)/(-2))/((-17)/(-68)). Suppose 196 = -h*u - 158. Let m = 0.175 - 1.175. Which is smaller: m or u?
u
Suppose -5 = -4*w + 99. Let h = w - 4. Is 22 at least as big as h?
True
Let n = -105 - -66.5. Let o = n + 0. Let q = o - -39. Which is bigger: q or 1/3?
q
Let u be (3/(-2))/(1080/(-368) - -3). Let q = 26 + -51. Which is smaller: q or u?
q
Let l = -35019.956 - -34730. Let k = 289 + l. Let x = k - 0.044. Is x at most as big as 7?
True
Let j be (100/14)/((351/(-84))/13). Let p = j + 3797/171. Is p bigger than 0?
False
Let r = 2/17473 + -69906/122311. Which is greater: r or 51/4?
51/4
Let f = -6.2 - -5. Let z = 0.26307 - -388.74693. Let j = z - 389. Is j not equal to f?
True
Let m = -11 - -10. Let z = 49554 - 23835472/481. Which is greater: z or m?
z
Suppose 2*m = -0*r + 3*r - 11108, -5*r + 4*m = -18514. Is r smaller than 3702?
False
Let z be (60/(-30))/(6/3). Let m = 9363 + -2593548/277. Is m less than or equal to z?
False
Suppose 0 = 13*f - 14*f - 2*s + 184, 0 = s - 2. Which is bigger: 196 or f?
196
Let c(f) be the first deriv