 Let p be r(-13). Which is smaller: 2 or p?
p
Let f be (-32)/24*(-3)/(-14). Is f < -11?
False
Suppose 4*f + 42 = -5*o, 0*f - 5*f = 3*o + 33. Which is smaller: o or -7?
-7
Let h be 284/18 + (-6)/(-27). Let o be ((-9)/(-4))/((-4)/h). Let b be (3/o)/(2/6). Which is bigger: 2/17 or b?
2/17
Let h = 2 - 1. Let o be (-4 + 6)*h/(-2). Let f(g) = -g + 3. Let x be f(5). Which is greater: o or x?
o
Suppose -4*s - 5 = 35. Is s != -9?
True
Let m(s) = s**2 + 7*s + 7. Let l be m(-6). Let x be -1*(l + (-4)/(-2)). Let w be (x + 0 - -1)/2. Which is greater: -2/9 or w?
-2/9
Suppose 20 = 3*s - 1. Suppose 2*t + s + 1 = 0. Let g be 1/t - (-3)/(-20). Are 3 and g equal?
False
Let s = 0.1 + 4.9. Let o = -5.07 + s. Is o >= 1/3?
False
Let b = -149 - -209. Let l = b + -301/5. Let x = -3 + 2. Is l < x?
False
Let y(h) = h**3 + h**2 - h. Let d(s) = -5*s**3 + 5*s + 1. Let b(j) = -d(j) - 3*y(j). Let f be b(3). Is f smaller than 20?
False
Let h = 6 + -4. Let z = 0.3 + -0.1. Let n = z + 0.8. Which is bigger: n or h?
h
Let o = -6.97 + -0.03. Let u = 0.3 + 6.7. Let t = o + u. Which is greater: t or -2?
t
Suppose -2*j + 4*j = 0. Let t = 1/77 + -13/154. Are j and t equal?
False
Let p = 1 + -1. Let u(z) = -z**2 - 10*z - 17. Let r be u(-8). Which is greater: r or p?
p
Let r(s) = -2*s + 1. Let j be r(2). Let g be j/1 - 73/(-24). Let x = g + 41/168. Which is smaller: 1 or x?
x
Let v(q) = q**3 - 7*q**2 - 4*q - 13. Let b be v(8). Is b at least as big as 19?
True
Let p(l) = l**3 + 3*l**2 + 3. Suppose 4*r = 3*r - 3. Let u be p(r). Do -1/2 and u have the same value?
False
Let q = 0 - 1. Let x = 2.8 + -3. Which is smaller: q or x?
q
Let h = -23 - -13. Let z(f) = -3*f**3 + 2*f**2 + f. Let n be z(-1). Let c be n/h - 20/(-175). Which is bigger: 1 or c?
1
Let j = -1 + 1.02. Let z = j - -0.08. Is z greater than -3?
True
Suppose 0 = 4*s + 4*b - 24, -s - 36 = -6*s + b. Suppose -q + 2 = -2*f, 2*f = -2*q - 3 + s. Let z = -6 - -17/3. Which is greater: z or f?
f
Let i(w) be the third derivative of -w**6/120 - w**5/60 - w**4/24 - w**3/6 - 2*w**2. Let y be i(-2). Is 5 < y?
False
Let r = 9.2 - 9.3. Is 0 greater than r?
True
Let r(k) = 21*k - 131. Let b be r(6). Suppose 0 = 2*d - 2*z + 8, 2*z + 0 = -4*d - 4. Is b greater than d?
False
Let p = -0.04 + -1.96. Let o = -2.2 - p. Is -1 >= o?
False
Let v be (-5)/2*16/(-10). Suppose -2*q = -0*q + v. Suppose 5*p - 3*b = 3*p + 7, -5*p + b - 15 = 0. Which is greater: p or q?
q
Let i be 5*1/5*3. Suppose u = i*u. Which is bigger: u or 1/5?
1/5
Let a be -4 - -2*(-20)/(-8). Suppose n + 0 = 1. Does a = n?
True
Let w(s) = 6*s + 14. Let z be w(-4). Let f(d) = d + 3. Let b be f(z). Which is smaller: b or -8?
-8
Let q be ((-112)/12)/((-3)/(27/6)). Is 19 less than or equal to q?
False
Suppose w + 15 = 2*f, -4*f + f - 75 = 5*w. Let d be w/(-2)*(-2)/3. Are d and -4 nonequal?
True
Let a = 157 + -157. Which is smaller: -29 or a?
-29
Let w be 40/12 + (-2)/6. Let b be (-82)/(-12) - (-11)/66. Suppose 4*n + 2*g - b = n, -19 = -w*n + g. Is n smaller than 4?
False
Let z be 0*(15/6 - 3). Suppose z = -3*u - 0*u + 15. Are u and 4 nonequal?
True
Let s = -59 - -294/5. Suppose -4*u = -4*l + 12, 2*l - 10 = 2*u - 2*l. Which is bigger: s or u?
s
Let t = -0.2 + 0.4. Let y = -0.5 + t. Let k = 0.3 + y. Is k <= 1?
True
Let c(k) = k**3 + 2*k**2 + 1. Let b be c(2). Which is smaller: 16 or b?
16
Let c(f) = -7*f - 4. Let b be c(-2). Which is bigger: b or 9?
b
Let a = -30 + 32. Let o be ((-19612)/8)/((-15)/(-2)). Let r = o + 327. Are r and a equal?
False
Let n(x) = -x + 1. Let u be n(3). Let j be (u/(-6) + 0)*-2. Let d be (2 - 2 - 0)/1. Are d and j equal?
False
Let j = -8001/335 + -48/67. Let p be 15638/(-21)*2/60. Let w = p - j. Is 1 equal to w?
False
Suppose 40 = 4*i + 3*u, -5*u - 85 = -4*i - i. Let t = i + -10. Is 2 > t?
False
Let s = 25 + -41. Is -17 at least as big as s?
False
Let u(n) = n**3 + n**2 + n + 6. Let r be u(0). Let x be (-2 - -11) + (-1 - 2)/1. Is x at most as big as r?
True
Suppose 2*f + 2 - 4 = 0. Let z be (f + (-2)/3)*6. Let v = z - 5. Which is bigger: v or -2?
-2
Let t = 0.5 + -1.5. Which is smaller: t or -0.9?
t
Suppose -a - 3 = -b, 2*b - 7*b + 2*a = 0. Let r(m) = 2*m - 1. Let y be r(-1). Is y >= b?
False
Let n = 4.62 - 0.62. Is n at most as big as 0.1?
False
Let d = -6734 - -26629/4. Let y = d + 76. Is y at most as big as 0.1?
True
Let w be (1/4)/((-1)/2). Suppose 5*j - j = -12. Let x be -3*(2/j)/(-2). Is w < x?
False
Let y = -0.25 - 0.05. Let m = 9 + -9. Let j = y - m. Are j and 1 unequal?
True
Let n be (-3)/9 + 4/(-6). Are -1/20 and n non-equal?
True
Let s = 4 + -3.9. Let q = 67/2 - 33. Is q at least s?
True
Let g = -5.16 + 0.16. Is g bigger than 1/13?
False
Suppose -16 = -z - 5. Which is greater: z or -2/9?
z
Suppose 0 = 2*q - 13 + 1. Let k be -9*(0 - (-1)/1). Let b = q + k. Is b != 1?
True
Let v = 12 + -6. Let p be ((-2)/((-12)/2))/(1/22). Is v at most as big as p?
True
Let d be (-3)/(-15) + 38/10. Suppose 3 = p + 6. Let g = p + d. Are -1 and g non-equal?
True
Let y be (-2470)/(-25) + 5/25. Which is smaller: 98 or y?
98
Let w = 0.1 + -0.08. Let y = w + -0.22. Is -3 greater than y?
False
Let u = -3.5 + 2. Which is smaller: -1 or u?
u
Let p = 5.87 - 5.6. Let t = p - 2.27. Which is smaller: 0.6 or t?
t
Let s(b) = 3*b + 41. Let u be s(-14). Is u at least 1/58?
False
Let p(v) = v**2 + 7*v - 10. Let z be p(-8). Which is smaller: z or -3/5?
z
Let l(w) = -w**2 + 1. Let n be l(-1). Suppose n = 3*k - 4 + 1. Is 1 greater than or equal to k?
True
Suppose 3*a - 33 = -2*m - 0*a, -3*a = -9. Which is bigger: m or 11?
m
Let t = -15 - -10. Let k be 2/t - (-2)/5. Which is smaller: k or 1/2?
k
Let k be -6*(15/(-9) + 3). Let i = -6 - k. Let w be ((-6)/(-1))/3 + 0. Is i equal to w?
True
Let l = -1097 + 25237/23. Is -1 bigger than l?
False
Let i be 14*(-4)/((-32)/(-12)). Let h = 10 + i. Is h at most -12?
False
Let h = -23 - -26. Are -4 and h equal?
False
Let p(a) = -4 - a + 1 + 1. Let q be p(-2). Let f = -31/7 - -265/63. Which is smaller: q or f?
f
Let k be (0 - 3) + 0 + 4. Let w(o) = 13*o**3 + k + o - 14*o**3 + 0*o. Let h be w(-1). Are h and 1 equal?
True
Let x be (12/(-14))/(48/(-42)). Let y(w) = 6*w**3 + w**2. Let d be y(1). Let l(q) = -q**3 + 7*q**2 + 1. Let b be l(d). Which is bigger: b or x?
b
Let r = 35 + -35. Is 1/43 greater than or equal to r?
True
Let p(b) = b**2 + 5*b + 5. Let y be p(-4). Let m be 11*-1 - (3 - 0). Let u be ((-2)/(-9))/(m/(-21)). Is y < u?
False
Suppose c = 4*c. Which is greater: -1 or c?
c
Suppose -13 = 2*f + 3*n + 12, 2*f = 2*n. Let m(c) be the third derivative of c**4/24 + c**3/3 - c**2. Let h be m(f). Which is greater: -2 or h?
-2
Let z = -463/18 + 51/2. Let w(k) = -k**2 + 7*k + 5. Let u be w(7). Suppose -o = -u*o. Are z and o non-equal?
True
Suppose 2*a + 5*p = -a, p = 3*a. Let q = 0 - a. Suppose -5*g + 3*l = 10, 4*l = -2*g + 34 - 12. Is g at most q?
False
Let o be (4/(-6))/((-18)/(-297)). Is -11 less than or equal to o?
True
Let m = 8 - 5. Suppose m*r = 9 - 0. Suppose -v = -r*v - 8. Is v bigger than -4?
False
Let k = 1735/7 - 247. Which is bigger: 0 or k?
k
Suppose -2*b = -0*b - 2. Is b at most as big as -3/8?
False
Let y = -7 + 4. Let c(w) = 2*w**2 - 3*w - 4. Let j be c(3). Let g = 3 - j. Does y = g?
False
Let v = -4367 + 22613/5. Let z = 155 - v. Let p be 1/1 - (-2 - -4). Is p greater than or equal to z?
False
Let d = 19 - 18.12. Let m = d - 0.08. Which is greater: m or -1?
m
Let o = 74 + -72.1. Is o smaller than -0.4?
False
Let d = -1 - -9. Let s(o) be the second derivative of o**3/6 - 3*o**2/2 + 3*o. Let k be s(d). Is 9/2 at least k?
False
Let y(g) = 4*g**3 - 7*g**2 - 5*g + 1. Let b be y(-1). Is b less than or equal to -4?
True
Let g be 8/(-6) - 3/9*-1. Are g and 3/34 nonequal?
True
Let s(m) = 0 + 2*m + 1 - 3*m. Suppose 0 = 2*o - 5 - 1. Let i be s(o). Is -2 greater than or equal to i?
True
Suppose -x - 4*x = q + 21, 0 = 2*x + 8. Let g be (3/(-4))/(1/(-4)). Let z be g/q + 2 + 1. Are 0 and z equal?
True
Suppose -2*y - 3*y = 0. Is 2/27 != y?
True
Let m be (2 - (-56)/(-6))/(4/6). Is m <= -9?
True
Let c = -395/6 - -2059/30. Is c bigger than 2?
True
Let w be (-408)/30 - (-2)/(-5). Let h = w + 27/2. Is -2 equal to h?
False
Suppose -15 = y + 4*y. Let t be 2/(-36) - y/6. Which is bigger: 1 or t?
1
Suppose -2*b - k = b + 38, 5*k = -b - 36. Is -10 != b?
True
Let x = 0 +