 - (0 - (-18)/14). Let b be (-2)/8*2*2. Is b < a?
True
Let l = -4 + 5. Let u = l + -0.4. Let t = 0.6 - u. Which is smaller: -0.3 or t?
-0.3
Let r = 35 - 103/3. Let m(b) = -b**2 - 9*b - 6. Let z be m(-8). Which is bigger: r or z?
z
Suppose 2*c - 12 = -f + 7, 41 = 3*c + 4*f. Suppose -4*w = -5 - c. Suppose 0*h + w*h - 6 = 0. Is 2 >= h?
True
Suppose 3*o + 4*g = 2*o + 16, 4*o = -3*g + 12. Let q be (-16)/220*(-10)/4. Is o greater than q?
False
Suppose 0 = r - 5*a - 19, 3*r = -4*a - 15 - 4. Which is smaller: 4 or r?
r
Suppose 2*c + 4 = -3*w + 4*w, 3*w - 6 = 3*c. Is -2 <= c?
True
Suppose 3*i = -8 + 23. Is 4 at least i?
False
Suppose 6*f = -i + 10*f - 7, -14 = 4*i - 2*f. Let w be 4/8*(1 + i). Is -1/2 < w?
False
Let r(g) = 3*g - 9. Let a be r(6). Let c = -15 + a. Let z be c/(-15) + 14/(-10). Which is bigger: z or -5/4?
z
Let l = -414 + 412. Let r = -1 - -6. Is r < l?
False
Suppose 2*k - 12 = -3*f - k, -4*k + 17 = 3*f. Let l be 1 + (0 + 1 - 2). Is f bigger than l?
False
Let t(c) = -4*c**2 - 7*c - 4. Let y(d) = -d**2 - d. Let w(l) = -t(l) + 5*y(l). Let f(a) = a**3 + 5*a**2 - a - 2. Let u be f(-5). Let s be w(u). Is 0 > s?
False
Let k = 6 - 8. Let c = k - -9/5. Let l(s) = -s. Let t be l(2). Which is bigger: c or t?
c
Let d = -0.05 + 0.03. Let g = d + 0.32. Let k = 15 + -14.9. Which is bigger: k or g?
g
Suppose b - 3 = n, -b + 4*n + 3 + 0 = 0. Is b bigger than -2?
True
Let i(j) = -j - 5. Let b be i(-4). Let z(m) = m + 10. Let o be z(-6). Suppose o*v = 2*v + 2. Which is bigger: v or b?
v
Let d be (-2)/(-6) + (-2 - (-560)/(-6)). Which is smaller: d or -0.1?
d
Suppose -u + 2 = -2*u, u = -2*y + 6. Let q = y + -19/5. Let i = 6 + -6. Which is smaller: i or q?
i
Let p be ((-57)/(-38))/((-3)/(-4)). Are p and 1 nonequal?
True
Let t be (1 - (-6)/4) + -2. Let i = -0.02 + 0.02. Let n = 0 + i. Which is greater: n or t?
t
Let z(u) = -u**2 + 7*u + 10. Let m(t) = -3*t + 4. Let l be m(-9). Suppose -l = -5*n - 3*i, 4*i + 33 = 3*n + i. Let s be z(n). Is s greater than 3?
False
Suppose 0 = k + 4*k, 5*l - 5*k - 15 = 0. Suppose 3*j + 10 = -5*f, -4*j - l*f = -0*f + 6. Suppose 0 = -4*d - j*d - 12. Is -3/2 smaller than d?
False
Let v = -2.82 - 0.18. Let t = 44 - 133/3. Which is smaller: v or t?
v
Suppose -20 = -5*r - 0*r. Let n be (-1)/(((-8)/6)/r). Suppose 4*l + 3*v + 7 = 0, -n*l + 2 = -4*v + 1. Is -1/4 != l?
True
Let a be 1/(-4) + 50/(-6). Let v = a - -25/3. Which is smaller: -0.3 or v?
-0.3
Suppose a = 5*p + 6*a + 30, 0 = 3*a. Suppose -n + 0*n - 6 = 0. Is p at most as big as n?
True
Suppose 11*p = 16*p + 460. Is p at least as big as -92?
True
Let h = -193 - -93. Which is bigger: -0.1 or h?
-0.1
Let d = 2 + 6. Let o be 10/14 + d + -9. Which is smaller: 3 or o?
o
Let v = 16 + -12.5. Let a = v + -2.4. Let h = a + -1. Is h at most 0.2?
True
Suppose c = 1 + 17. Which is greater: c or 19?
19
Let i = -7.3 - -7. Let l = i - -0.4. Let q be 0/(6/(-3)*-1). Are q and l equal?
False
Suppose 5*q - 10 = -5*j, 5*j + 3*q - 12 = -0*q. Suppose -4*g - 1 = j. Is g less than or equal to -1?
True
Let p(u) = -2*u - 4. Let y be p(3). Let m = y - -5. Let w = -3 - m. Is -1 equal to w?
False
Suppose 0 = -f + 1 - 0. Which is smaller: 2/17 or f?
2/17
Let b(w) = 6*w + 15. Let q be b(-9). Is -40 < q?
True
Let i = -14.99 - 0.01. Let c = -15.02 - i. Is c at most as big as -2?
False
Let w be (-1)/(-2) + 10/4. Let y = -2 + w. Let n be (0 - 3)*(-2)/63. Which is greater: y or n?
y
Let y be (-18)/14 + 2/7. Let f = -55/133 + -3/19. Which is smaller: y or f?
y
Let h(c) be the first derivative of c**4/12 - 2*c**3/3 + 2*c**2 + 2*c - 1. Let u(x) be the first derivative of h(x). Let z be u(3). Which is smaller: 2 or z?
z
Let v be 135/(-18)*(-6)/(-5). Which is greater: v or 0.1?
0.1
Let k be 225/(-18)*8/10. Is k at most -10?
True
Let b(y) be the first derivative of y**4/4 + 5*y**3/3 + 5*y**2/2 + 5*y + 4. Let v be b(-4). Which is smaller: -1/10 or v?
-1/10
Let o = 23 + -45/2. Suppose -3*j = 2*f - 2, 4*j + 0*f - 4 = -2*f. Is o smaller than j?
True
Let t(p) = 3*p - 1. Let j be t(-2). Are j and -15 equal?
False
Let p(l) = -4*l**2 - l**2 - 3 - l**3 - 5*l - 3. Let f be p(-4). Let m be 1 + f + (-24)/(-20). Which is smaller: -1 or m?
-1
Let d(q) = -q**2 + 8*q + 2. Let o be d(8). Suppose 0 = o*x - 0*x + 2. Is 1/6 != x?
True
Let k = -358/5 + 72. Which is greater: -0.07 or k?
k
Suppose -8 = -p - p. Let m be (0 - -1)/(1 - p). Does -1 = m?
False
Suppose 4*t = -l + 125 + 13, 0 = -5*t + 2*l + 166. Which is greater: t or 35?
35
Let s be (-1 - -1)/(-2 - -3). Suppose s*g = 2*g. Is 3/4 at least g?
True
Let k be (-1 - -4) + 0/(-3). Suppose 2*h = -h - k. Let x be (-7)/9 - 2/9. Is h < x?
False
Suppose -4*b + 26 = -g - g, -24 = -3*b + 3*g. Suppose -b*w + 4 = -w. Do w and -1/3 have the same value?
False
Let c(h) = -h**3 + 3*h**2 + 2*h - 4. Let m be c(3). Let r = 9 + 0. Suppose -5*w - 2*x - 2*x = -21, 3*x = 3*w + r. Is m at most w?
False
Let l(s) = -s**3 + 4*s**2 - s + 3. Let g be l(4). Suppose -4*c - 1 = -3*c. Does g = c?
True
Let q(p) = p**3 - 3*p**2 - 5*p + 6. Let h be q(4). Let k(b) = -2*b. Let m be k(-2). Suppose -m*v = -2*v. Which is bigger: v or h?
h
Suppose -1 = -3*i + 4*i. Suppose 6 = -3*m + 9*m. Which is smaller: m or i?
i
Let a = 15/2 - 7. Suppose -23 = -5*m - 2*s, -12 = -5*m + 3*s + 16. Suppose -q = 2*w + 1, 0 = m*w + 3*q + 4. Is w at least a?
True
Let m = 35 - -21. Is m >= 54?
True
Let q(m) = m**3 + 12*m**2 + m + 10. Let g be q(-12). Are 1 and g unequal?
True
Suppose -16 = -2*w + 2*q, 9 = w - 3*q - 9. Are 5 and w non-equal?
True
Suppose -2*h - 3 = 4*s + 17, 2*h - 25 = 5*s. Let r(n) = n**3 + n + 10. Let t be r(h). Is 11 at least as big as t?
True
Let z = -5 - -8. Suppose 0 = w - z. Suppose r = 1 - w. Is -2 < r?
False
Suppose -5*w + 71 = 26. Let c be 5/(15/w) - 3. Do -1/3 and c have the same value?
False
Let d(u) = -u**2 - 4*u - 2. Let r be d(-3). Suppose -y + r = -0. Which is bigger: y or 4/5?
y
Let w be 4*(-2 + 4 - 1). Suppose -b + 0 - w = 0. Which is greater: b or -2?
-2
Suppose 3*h + 0*h = -585. Let j be (-2)/(-5) + 68/h. Which is greater: -1 or j?
j
Suppose -v - 3*u + 11 = -3*v, 4*u - 12 = 4*v. Which is greater: 3/2 or v?
v
Let k = 0 - 0. Let m(b) = 5*b - 19. Let r be m(5). Let v = r - k. Are v and 6 equal?
True
Let w = -15/8 + 61/24. Is w at most 0?
False
Let w be ((-6)/20)/((-8)/(-20)). Let q = w - -5/4. Which is greater: q or 2?
2
Let o be 1 + -1 + 2/(-6). Let y = 21 + -21.2. Is y greater than o?
True
Suppose 5*c - 4*o = 1, 3 = -c + 6*c - 2*o. Let h = 3 + -3. Which is smaller: h or c?
h
Let y(u) = -2*u + 2. Let a be y(1). Is -2/55 at most as big as a?
True
Let q = 198 + -1385/7. Let j = 0 + -1. Which is greater: q or j?
q
Let f(b) = -b + 8. Let i be f(7). Let w = -10/11 + 19/33. Which is smaller: w or i?
w
Let b = 0 + -59. Let l = b - -349/6. Is l at least as big as -1?
True
Let d(g) = g**3 - 10*g**2 + 9*g - 1. Let z be d(9). Let k(x) = x - 4. Let c be k(4). Which is greater: z or c?
c
Suppose 3*s + 8 = -s. Which is smaller: s or -1?
s
Suppose -2*y + 5*t - 4 - 1 = 0, 0 = -4*y + 2*t + 14. Let a = y - 0. Suppose -h = -5*x - 2, -10 = 3*x - 7*x - a*h. Which is bigger: x or -2/3?
x
Let m = 11 - 19. Let u be ((-2)/m)/(1/4). Is u at most as big as 3?
True
Let y(z) be the first derivative of -z**2/2 - z - 3. Let n be y(-5). Is n greater than 5?
False
Suppose 0 = -4*h + h + f + 5, -4 = -4*f. Let n be h/(-8) - 15/(-20). Which is greater: n or 1?
1
Let k be ((-21)/30)/(5/2). Let w = k - -2/25. Are w and 1 equal?
False
Let o = 2.9 + -3. Let s = o - -1.1. Let v = 0 - 0.1. Is v equal to s?
False
Let n = -8 + 8. Let v = n + -1. Which is smaller: -1/2 or v?
v
Let c be (2/3)/((-34)/51). Let l(f) = f**3 - 6*f**2 - 8*f + 5. Let u be l(7). Is c greater than u?
True
Suppose -1 = -j - 2. Is -1/4 smaller than j?
False
Let c = -11 + 26. Let r be 5/c - (-1 + 0). Let t be 1 + -1 + -1 + 1. Which is greater: r or t?
r
Let y(j) = -j**3 + 10*j**2 - 9*j - 8. Let h be y(9). Is -8 equal to h?
True
Suppose d - 2*d + 3 = x, 4*x + 6 = 5*d. Which is smaller: d or 1/2?
1/2
Let v be (-6)/9*9/(-33). Which is bigger: v or -0.1?
v
Let p be ((-182)/30 - -2) + 4. Is p > 1?
False
Let q = 7.5 - 10. Let i = q + 2. Let y = 1.5 + i. Which is smaller: y or 0.1?
0.1
Suppose -3*c = c - 20. Let b(d) = -d. Let s be b(-1). Suppose -3*p - 2*f + 4*f = -s, -3*f = -p + c. Do p and 0