= -4*u - 2*b - 231. Is u greater than or equal to -101?
True
Suppose -5*a - 40 = 5*g, -7*a = -3*a + g + 17. Let v be ((-2)/a)/(6/(-9)). Which is smaller: 0 or v?
v
Let x(g) = g - 5. Let n be x(4). Let w be 5/(-12)*(-21)/(-70). Do n and w have the same value?
False
Let d be 4*5*2/40. Let h(r) = r**2. Let a be h(-1). Let i be 3 + -1 + a/3. Which is smaller: i or d?
d
Let g(z) = -z - 5. Let b(y) = -y**3 + 5*y**2 - 2*y + 5. Let f be b(5). Let u be g(f). Does 2/7 = u?
False
Let b = -5 - -7. Let l(i) = i + 2. Let j be l(0). Suppose 6 = -0*g - 2*g, b*c + 6 = -j*g. Is c equal to -1?
False
Let x = -3 + 2.98. Is x at most -4?
False
Let o(l) = 2*l**2 - 33*l - 8. Let s be o(16). Is s at most as big as -24?
True
Let w = 112.2 + -112. Is w bigger than 38?
False
Let x(m) = -m**3 - 6*m**2 - 5*m - 2. Let j be x(-4). Let a be 1 + 2 + j/4. Which is smaller: a or -2?
-2
Let a be 0/((-100)/(-45) + 4/(-18)). Is a at least 1/61?
False
Let o = -5.9 + 3.9. Which is greater: o or -10?
o
Let t = -151/44 + 24/11. Let c(w) = w**2 + 5*w - 8. Let y be c(-6). Let a = -4 - y. Which is smaller: a or t?
a
Suppose -3*g = 3*n + 15, 2*g - 14 = -0*n + 4*n. Let p be ((-2)/n)/(126/8). Let y = 16/63 + p. Is -4 at least y?
False
Let o(w) = -w**3 + 5*w**2 + 6. Let k be o(6). Let m = 23 + k. Is -8 not equal to m?
True
Suppose 2*c = 5*w + 24, 3*c - 5*w = -0*w + 26. Let d be (2 + -6)/c + 2. Let r = -235/4 - -59. Which is smaller: d or r?
d
Let x be -1 + 38/(-1 + -1). Let b be (-3 - 52/x)/2. Is b smaller than -1?
False
Suppose 5*l + v = 54, 0 = -5*l + 3*l + 2*v + 24. Let h = -10 + 19. Let g = l - h. Does 3 = g?
False
Let y be (234/(-45))/(4/(-10)). Suppose -4*n + 9 = y. Which is greater: -3/7 or n?
-3/7
Let w be 2 + 0 + (-3 - 0). Which is bigger: -2/35 or w?
-2/35
Suppose 4*q + 65 = 25. Let d(k) = k**2 + 11*k + 9. Let a be d(q). Which is bigger: 2/11 or a?
2/11
Suppose -2*b = b + 9. Let c be 80/15 - 2/b. Let v be c/10 + (-196)/35. Which is smaller: v or -1?
v
Let j be 2/(-20)*625/50. Which is smaller: -0.9 or j?
j
Let s = -3 + 1. Let v = -1.9 + 2.3. Let k = v + 0.6. Which is smaller: k or s?
s
Let q be (1/(-1) + 0)*-1. Let u be q + -1 + 3 - 3. Which is smaller: u or -1?
-1
Let o be (-1 - (-158)/7) + (-24)/(-56). Is o at most 21?
False
Let v = 3 - -39. Let a be (-259)/v - (-1)/6. Which is smaller: a or -7?
-7
Let o be (-177)/1278 - (-2)/12. Is -1 <= o?
True
Let j be (0 - 1) + 0 + -11. Which is bigger: j or -13?
j
Let f(g) = -6*g - 31. Let i be f(-5). Which is smaller: -1/130 or i?
i
Let u(b) = 3*b**2 - 9*b**2 - 6*b**2 - 7 - 12*b - b**3 + 0*b**2. Let r be u(-11). Which is bigger: 5 or r?
5
Let c = -1.3 + 0.3. Let x = 1 + c. Suppose 2 = -168*w + 170*w. Is x >= w?
False
Let u(r) = 4*r - 5*r + 7 - 5. Let l be u(1). Let y be l/((11/4)/1). Is 1 bigger than y?
True
Let x = -1.4 - -1.5. Is 1 greater than x?
True
Let z = -2 + 5/3. Let o = -545 + 546. Is o greater than or equal to z?
True
Let u(w) = -w**2 - 7*w - 9. Let t be u(-7). Is t > -11?
True
Suppose d - 4*d + 10 = -2*c, 5*c + 15 = 5*d. Let u = -23 - -22. Is d >= u?
True
Let z = 1.12 + -4.12. Let i be 0 - 3/(21/2). Are z and i nonequal?
True
Let v = -13 + 11. Let i = -5 - -7. Let r = v + i. Which is bigger: r or -0.2?
r
Let i be ((-88)/(-10))/(4 + (-57)/15). Which is greater: i or 45?
45
Suppose 2*z = -4*x + x + 7, -4 = -2*z. Suppose -5*q = -2*r - 13, -2*q + 5*q = -2*r + 11. Suppose -x = m - q. Is m > 3?
False
Let u be (5 + -9)*2/4. Which is greater: -2/3 or u?
-2/3
Let r be 1/((-91)/(-93)) + -1. Is 0 < r?
True
Suppose 3*i = 4*i. Let u = 1 - 1. Let p = u + 1. Is i at most p?
True
Let m(o) = 9*o + 36. Let y be m(-5). Which is bigger: y or -10?
y
Suppose -3*d - 2*p = -d - 8, 3*p = -4*d + 21. Suppose 2*b - d = i, -b + 16 = -2*i + b. Let l(g) = -g**2 - 6*g + 4. Let u be l(i). Which is smaller: -2 or u?
u
Let c = 4/53 - 203/583. Let k = 3 - 3. Which is smaller: k or c?
c
Let v = 20 - 14. Suppose -2*l + v*l + 8 = 0. Do -2 and l have different values?
False
Suppose 3*q - 4 - 2 = 0. Suppose -5*p - 22 = -q. Let g be (-8)/(-12) - p/(-6). Do g and 2/9 have different values?
True
Let b(f) = -3*f + 1. Let s be b(3). Let j be (1 + -2)*(-2)/s. Suppose 0 = 5*k + 26 - 11, -2*k = -4*n + 6. Which is smaller: j or n?
j
Let a = 6 + -5. Is -4 less than or equal to a?
True
Let w be ((-4)/(-6))/(24/36). Let d be 0/(3/(w - 2)). Let u = -0.7 + 1.3. Which is bigger: d or u?
u
Suppose 2*d + 8 = -0*d. Let o be d - -2 - (-16)/6. Which is greater: 2 or o?
2
Let l = 1/203 + 144/203. Which is smaller: l or 0?
0
Let i = -46 - -40. Which is smaller: -5 or i?
i
Suppose 4*d - r = -2*r + 14, 2*r + 20 = 4*d. Let b(g) = g**2 - 4*g. Let w be b(d). Is w bigger than 0?
False
Let a(i) = -i + 11. Let y be a(11). Let c(k) = k**2 + 7*k + 8. Let f be c(-6). Suppose 3*m + f - 5 = y. Which is smaller: m or -2?
-2
Let j = 2 - 4. Let m be (-9)/4 - j/8. Is -5 at most m?
True
Let u be 15/(-9)*6/4. Let h be 1/(-1)*15/(-3). Let l(c) = c - 7. Let z be l(h). Which is bigger: z or u?
z
Let z(w) = w**2 - 18*w - 21. Let g be z(19). Do g and -11 have the same value?
False
Let k = -127.1 + 122. Let j = k - -5. Let v = j - -1.1. Are 0 and v unequal?
True
Let q(k) be the third derivative of k**6/120 + k**5/15 - k**4/24 - k**3/2 - 2*k**2. Let s be q(-4). Let d = 2/45 - 4/15. Which is bigger: s or d?
s
Let k(y) = -y**3 - 7*y**2 + 8*y. Let x be k(-8). Let q = -0.09 + 4.09. Which is bigger: x or q?
q
Suppose -40 + 62 = -j. Is j less than -21?
True
Let i = -0.2 - -0.4. Let s = 0.38 + 0.02. Let l = s - i. Which is smaller: -1 or l?
-1
Let m = 5/739 - 8953/12563. Is m > -1?
True
Suppose 0 = -2*n + 3*h + 19, -3*n - 2*h + 1 = 5. Let z be n/((-39)/(-15) - 3). Suppose 3*y + 19 = 1. Is z smaller than y?
False
Let o be (14 - 13) + 0 + 0. Is 1 at least o?
True
Let m = -0.06 - -0.06. Let y = 0.1 - m. Which is smaller: y or 3?
y
Let t = 14 + -5. Which is smaller: 11 or t?
t
Let i = -3/22 + 17/44. Let h be (-3)/(-15) - (-18)/(-40). Is h equal to i?
False
Suppose -17 = -3*s - s + o, -4*o = 20. Suppose 3*w - 18 = 3*q, -q - 2*q = -w + 8. Suppose -w*g = -6*g + 2*i - 10, -3*g - 4*i + 20 = 0. Is g smaller than s?
True
Let i = -8/7 - -25/28. Let m be 1 + (-2)/(-2) + 0. Suppose -3*j - 2*o = m + 1, o - 1 = -4*j. Is i < j?
True
Let g = 0.23 + -0.13. Which is bigger: g or 2/7?
2/7
Suppose 4*t = 2*c - 28, 2*t - 4*t - 2 = c. Let g be c/(-4) + (-1 - -2). Let z be 0 - (-2 + 2)/1. Is z at least g?
True
Let l(o) = -o - 14. Let k be l(-14). Let a be 30/(-42) - (0 + k). Which is bigger: a or 0?
0
Let t be (5*-2)/((-2)/11) + 2. Is t equal to 58?
False
Let m = 22 + -43/2. Suppose 15*w + 7 = 3*p + 13*w, 5*p - 4*w - 15 = 0. Is m less than or equal to p?
False
Let w(a) = -1 - a**2 + 5*a - 9*a + 2*a**2 + 3*a. Let k be w(0). Is 2/5 >= k?
True
Let k be (2 + (-34)/16)*-2. Let t = -7 - -7.1. Is k at most as big as t?
False
Let l = -0.1 - -1.1. Let o = 5 - l. Let i = o - 8. Which is smaller: -0.1 or i?
i
Suppose 4 = -3*p + 7*p. Is p greater than or equal to -5/19?
True
Suppose 0*y - 5*q - 28 = -3*y, 0 = y + q + 4. Let c = 0 + y. Is c at least 1/5?
True
Let r = 4.7 + -0.7. Let f = 0.1 - -6. Let k = f + -6. Which is greater: k or r?
r
Suppose -4*h + 0*h = -3*t + 1, 4*h + 2*t = 14. Suppose l - h*l - 3 = 0. Let d be (6/4)/((-6)/16). Which is smaller: d or l?
d
Let n = -4 - -11. Let w(b) = -8*b - 5*b**3 + 3*b**3 + 4*b**3 + n*b**2 - b**3. Let k be w(-8). Which is smaller: k or 2/15?
k
Suppose 2*p + 8 = 2*y + 6*p, 4*y = 5*p + 81. Suppose 0*b = 4*b + 3*h - 14, 3*b = -4*h + y. Which is smaller: b or 3?
b
Suppose 12 = -4*l + l, -3*l - 9 = -3*b. Are -24/11 and b non-equal?
True
Let q(r) = -r**2 + 6*r - 4. Let m be q(8). Let g be m/(-16) - (-3)/12. Is 3 < g?
False
Suppose a - 2 = 5*j, a - j = 2*j. Let s(b) = 2*b + 2. Let k be s(a). Which is smaller: 0 or k?
k
Let r be -2 - -2*3/6. Let h be 4 + (-4)/52*51. Which is smaller: h or r?
r
Let p be 0/(-3 + (1 - -1)). Let d = -3.4 + -0.6. Is p smaller than d?
False
Let g = -5/108 + 547/2484. Is g at least 0?
True
Let k = 0.8 + -0.3. Let s = -12.6 + 12. Let c = k + s. Is 2 equal to c?
False
Let g = -5 - -5. Let h be 3 + -2 + 3 + g. Is h less than or equal to 4?
True
Let l be (-1 + 1)/((-2)/(-2)). Suppose -10 + 4 = -2*i. Suppose -i*d - 5 = -8. Is l bigger than d?
False
Let i(y) be the first derivative of y**4/4 + 5*y**3/3