: k or s?
s
Let l(g) = -5*g + 19. Let z(a) = 2*a. Let i(m) = -5*l(m) - 15*z(m). Let d be i(-19). Which is bigger: -9/29 or d?
d
Let f(w) = -w**3 + 7*w**2 - 5*w. Let l be f(6). Suppose 4*c + l*i - i - 74 = 0, -3*i - 27 = -c. Let a = 20 - c. Which is greater: a or -2/277?
-2/277
Let b = -22 - -22.01. Let k = 0.09 + b. Let j = -0.0218 + -3.9782. Is j < k?
True
Let j = 2827 - 2826.7. Let d = -63 + 687/11. Which is smaller: j or d?
d
Let v = 318 + -313. Suppose 618 + 437 = v*g. Is 210 not equal to g?
True
Suppose 163*h - 161*h = 422. Suppose -d + 6*d - 1055 = 0. Does d = h?
True
Let t(k) = k**2 - 7*k - 44. Let u be t(-4). Is -3/901 >= u?
False
Let k = -163628/64135 - -258/101. Let s = k - -5046/10795. Let j be 16 - 11 - (2 - -3). Which is smaller: j or s?
j
Let l = -597.51 + 553.3608. Let d = l + -0.0508. Let t = d + 44. Are t and -0.41 unequal?
True
Let k = -348/257 - -51134/44975. Are 1 and k unequal?
True
Let h = -32611/2 + 12913951/792. Is h <= -1?
False
Suppose 4*r = -a + 36, -5*r + 30 - 10 = -5*a. Suppose -12*g = -r*g - 16. Suppose g*c - 4*z - 20 = 0, 0 = -3*c - 0*c - 2*z + 25. Is 7 < c?
False
Let s = -13979 + 14039. Which is smaller: s or -1/30?
-1/30
Let s = 221.438 - 8.438. Which is smaller: -1/6 or s?
-1/6
Let z = 14234 + -14236. Let v be (20/(-3))/(22/6). Which is greater: z or v?
v
Let c be -49 + 8*(-10 - -8). Is -66 greater than or equal to c?
False
Let q = 2414 + -2523. Is q less than or equal to 1/11?
True
Let j = -3/20 - -59/660. Let p = 19 + -17. Suppose 3*x + p*x + 5 = 0. Is x at most as big as j?
True
Let m = 8517.4 + -8511. Is 247 >= m?
True
Let l be 7/(13508/(-308) - -44). Suppose 0 = -a - 4*a + 235. Is l less than or equal to a?
False
Let h = -440 - -556. Which is bigger: h or 103?
h
Let h be ((-508)/(-280) + -3)/(-1). Let p = h - 9/10. Which is smaller: p or -159?
-159
Let z be -2 - (-1)/2 - -58. Let r be (-48)/(-70) + (-61)/(23058/108). Is r at least as big as z?
False
Suppose p - 4*b - 21 = -0*p, 0 = -p - 2*b + 27. Let d = p - 23. Let s be (9/(-15))/(3/d). Is s smaller than 0?
True
Let b be 16/(-40) - (-186)/(-10). Let p = b - -18. Let a = 0 + p. Which is smaller: a or -2/53?
a
Let f = 6356 - 6080. Are f and 276 unequal?
False
Let w = 419.9 + -420. Let v = -1.1 - w. Which is smaller: 1/147 or v?
v
Let b = 9.84 + -8.53. Is b less than -63/4?
False
Suppose -10*c + 12 = -8*c - 5*j, -3*c + j + 5 = 0. Let m be ((-92)/(-294))/((-9)/(-42)). Let t = m - 2/63. Which is greater: t or c?
t
Let h = -16 + 15.28. Let a = h - 0.08. Let r = a + -19.2. Which is smaller: -0.1 or r?
r
Let h = -25 - -20. Let i = 55 - 54.947. Let s = i + 0.017. Is s at most h?
False
Let s = -419 + 354.7. Let q = 64.28 + s. Let l = -1.3 - -1. Is l greater than or equal to q?
False
Let k = -20594 + 83121/4. Let p = k - 186. Do -162 and p have the same value?
False
Let k be 61/3*(-122 - -179). Is k bigger than 1157?
True
Let n = -24991/2569 + 5/367. Which is bigger: n or -1/4?
-1/4
Suppose -97*f - 323 = -78*f. Let p be (1/(-2))/(f/680). Is 2 greater than p?
False
Let q(s) be the second derivative of 5*s**3/3 - 71*s**2/2 + 59*s. Let g be q(3). Which is bigger: g or -43?
g
Let s = -183.842 - 0.158. Let b = 177 + s. Is 15 at least as big as b?
True
Suppose -31220 = 237*p - 14*p. Is p <= -110?
True
Let h be ((-2673)/45)/(-9)*-5. Let q be (7/3 + 11/h)/(-2). Let o = 4.2 + -23.2. Is q bigger than o?
True
Let x be -235*13/17290 - (-1)/6. Is -1 at least as big as x?
False
Let l = -1542 + 5124. Let d be 24/l*3/(-12). Which is smaller: 1 or d?
d
Let w = -57 - -40. Let o be (-24431)/(-99) - (1 + (-11)/9). Let v = 247 - o. Which is bigger: w or v?
v
Let f = -0.11 - -85.11. Let w = 0.078494 + -0.078494. Is f greater than w?
True
Let q = 14 - 14. Let m = 3906 - 3888.09. Let n = m + -18. Which is bigger: q or n?
q
Suppose -5*j - 3*g - 4518 = -18243, -5*g = 2*j - 5490. Is 5487/2 greater than j?
False
Let h be (-19)/((-152)/24) - (0 - (-6732)/2396). Is h > -1?
True
Let t(f) = 2*f**3 - 12*f**2 - 4*f - 79. Let j be t(0). Do j and -42 have different values?
True
Suppose 3*v - 243 = 3*j, 4*v - j - 145 = 161. Is 87 <= v?
False
Let t = 2710 - 2707. Which is bigger: -91 or t?
t
Let t = -3156 + 5552. Let s be -6 + -7 + 31156/t. Which is greater: 1 or s?
1
Let i = 1245 - 148153/119. Suppose 525*n - 4 = 524*n. Let o be 25/(-15) + n/6. Which is greater: o or i?
i
Let a be (-3)/(-6) + -1*123/(-2). Suppose -66*l + 16 = -a*l. Suppose 4*z - 3*t = -5, -l*z + 8 = -5*z + 3*t. Which is bigger: z or -1/82?
z
Let w be (-3)/2*(-12)/18*2. Suppose s + 5 = 6*s, q - s = 2. Suppose -5*k = 5*g - 190, -w*g = q*k - 4*k - 61. Which is greater: g or 32?
g
Let a = -43044 - -43044. Which is smaller: 57/130 or a?
a
Let y be ((-16)/6)/(8 - 242/33). Let w(s) be the second derivative of -s**4/12 + 2*s**3/3 + 2*s**2 - 9*s. Let x be w(5). Do y and x have the same value?
False
Suppose -2*p + 2*a - 8672 = 0, -3*p = 52*a - 48*a + 13043. Is p <= -4341?
True
Let i(g) = -g - 17. Let f be i(-22). Let q be (-66)/9*((-20)/f - -1). Suppose -92 = -q*m + 18*m. Which is greater: 22 or m?
m
Let w(m) = -11*m - 33. Let c(h) = 6*h + 16. Let b(j) = -7*c(j) - 3*w(j). Let f be b(-9). Suppose f = 11*l - 15*l. Is l not equal to -17?
False
Let t be (17 + -59)*1/2. Let s be (96/(-12))/(3/t). Which is smaller: -2 or s?
-2
Let f(r) = 2*r**3 - 29*r**2 + 34*r - 104. Let a be f(10). Which is bigger: a or -684?
a
Let r be 1530/272*28/(-777). Let t(i) = -i + 7. Let g be t(6). Which is bigger: g or r?
g
Let q be -1*(-2)/(-14) - 1. Let v be (-30)/(-63) + -1 + 6. Let i = q + v. Which is bigger: i or 5?
5
Let d = 2195 - 2303. Which is greater: d or -100?
-100
Let v be (-6)/5*(-400)/30. Let x = 232 - 215. Is x greater than v?
True
Let i = 1565 + -4696/3. Which is greater: -307 or i?
i
Suppose 1702*h - 23617 = 1493*h. Which is bigger: 97 or h?
h
Let a(g) be the first derivative of -g**3/3 - 21*g**2/2 - 17*g + 7. Let n be a(-20). Suppose -b - 10 = -n*m, -6 = 2*b - 2*m + 2. Which is bigger: 2/17 or b?
2/17
Let h(s) = s**2 + 90*s + 1608. Let b be h(-66). Let d = -22 + 42. Let w = d - b. Which is smaller: -13/3 or w?
-13/3
Let s = -3343 - -3343.1. Do s and 178.1 have different values?
True
Let i be (7/(-2))/((-6)/324). Suppose 7*h - i = -14*h. Is h smaller than 9?
False
Let b be 142/12 + 1/(-3). Let a = b - 77/6. Suppose -27*v - 6380 + 6326 = 0. Which is bigger: a or v?
a
Let l be ((-9)/(-6) - 1)*2 + 486/10. Is 51 smaller than l?
False
Let b(x) = -x**3 - 22*x**2 - 129*x + 11. Let h be b(-7). Is 179 greater than h?
False
Let s be 522/369663*4*7. Is 1 greater than or equal to s?
True
Suppose v = -2*n - 7, 7*v - 2*v - 40 = 5*n. Let w be ((-25)/(-40))/(v + -1). Is 1 bigger than w?
True
Suppose 3*g = -u + 69, 3*u = 36*g - 33*g - 45. Is -1.2 greater than g?
False
Let c = 364 + -366. Let j be 4321/5655 + c/10. Is 2 less than or equal to j?
False
Suppose 52336 = 270*g + 4276. Let h be (-4)/(-6) - 532/(-3). Are h and g equal?
True
Suppose -20 = 5*c, 4*l - 3*l + 9 = -3*c. Suppose l*j + 429 = 141. Let i be 18/(-8) + 2 - 28/j. Are -1 and i equal?
False
Let c be (181/(-543))/((-6)/8658). Let d(h) = 122*h**2 + 3*h. Let i be d(-2). Is i at least c?
True
Let g = 220 + -220.98. Let u = g - -1.18. Is 23 smaller than u?
False
Suppose 4*x + 3560 = -10*h, 2*x - 239*h + 1748 = -240*h. Is x greater than -869?
False
Let u(m) = m**3 - 10*m**2 + 20*m + 9. Let s be u(7). Let a = -668 + 1243. Let i = -7471/13 + a. Which is greater: i or s?
s
Let q = -15084 + 15141. Let w(v) = -v - 47. Let g be w(0). Let m = g + q. Which is smaller: m or 4?
4
Let x(d) = -11*d - 8. Let g be x(-1). Suppose 4*o + 4*k - 40 = 0, g*o + 61 = 7*o - 3*k. Which is greater: o or -3?
o
Let z(t) = -t**3 + 2*t**2 + 1. Let i be z(3). Let b = 12 - i. Let m = -20 + b. Is 0 less than m?
False
Let a = -57 + 27. Let p = a + 46. Suppose 7*l + r = 4*l + p, 0 = -2*l - 4*r + 4. Is l greater than 19/4?
True
Suppose l - 2*o - 5 = 12, l - 5*o - 29 = 0. Let i(w) = w**2 - 9*w + 10. Let m be i(l). Let y be (-2)/3 + 1/(m + -5). Is 1 at least y?
True
Let s = 222/31 + -635/93. Let l be 5/(-10) + 51/30. Are l and s equal?
False
Let v = 0.0952 - 0.1952. Is v at most as big as 20?
True
Let y be 2*(-1 - 1) + 14. Let j = -19 + 25. Let z(f) = -f + 13. Let q be z(j). Are q and y unequal?
True
Let c be (2563/(-22) - -13)*436/(-6). Is 7522 eq