 + v. Is -1 at least n?
False
Let u be ((-9)/(-4))/(15/(-180)). Is u less than or equal to -27?
True
Let k = 39 - 30. Is k >= 0?
True
Let x = -0.25 + 6.25. Are 0 and x nonequal?
True
Let u = -1 - -1. Let q(m) = -m**3 + 3*m**2 + 5*m - 6. Let h be q(4). Let z be (-8)/h*2/4. Which is greater: z or u?
z
Let z be -1 - 1 - (2 + 0). Suppose -4*y + 6 = -2*y. Suppose 9*w + 5 = -5*d + 4*w, -y*d = -2*w + 18. Is z greater than or equal to d?
True
Suppose -3*l = 3*z + 9, -2*z - 2 - 8 = 4*l. Is -1 <= z?
True
Suppose -8*q + 10 = -13*q. Is q bigger than -3?
True
Let m = -7.7 - -3.9. Let j = 1.2 - m. Let q = -55.9 + 56. Which is bigger: q or j?
j
Let a = 12 - 24. Let g be 6/4*8/a. Which is smaller: -2/21 or g?
g
Let q = -1.62 - -0.32. Let y = q + 0.3. Let f = -33.6 + 34. Which is greater: f or y?
f
Let y(p) = -3*p**2 + 24*p + 7. Let q be y(9). Is q < -19?
True
Let d = -18 + 23. Which is smaller: d or 8?
d
Let v be 126/8*(-12)/(-9). Is v <= 22?
True
Suppose -3*m + u = -0*u - 29, -2*m + u = -19. Is m at least 8?
True
Let f = 4 + 0. Let l = 5 - f. Which is greater: -3/20 or l?
l
Let u = 15 + -10. Let p = 4 - u. Is 1 > p?
True
Let r(w) = 7*w + 9. Let p(b) = 3*b + 5. Let u(a) = -5*p(a) + 2*r(a). Let v be u(-8). Let k be 5/v - (0 - -2). Do k and 1 have the same value?
False
Suppose -2*q + 5*q - 12 = -3*l, -5*l = 2*q - 14. Suppose 0 = 4*t - q*u + 2, -t - u - 5 = -0*t. Which is smaller: -5/2 or t?
-5/2
Let w = 4 + 0. Let y = 4 - w. Does y = -2/25?
False
Let i(s) = -3*s + 5. Let c be i(5). Let k = -13 - c. Let h = -6 - -2. Is h greater than or equal to k?
False
Let x = 0.1 + 0.9. Let k = -0.1 + 0.2. Let i = 0.2 - k. Is i < x?
True
Suppose -h = 0, 0 = -2*l - h + 5 + 5. Is l > 34/7?
True
Let x(i) = i. Let v be x(2). Suppose -v*k = -j - 5, -j - 1 = -2*k - 2*k. Which is bigger: -10 or j?
j
Let c = -11.1 - -11. Which is smaller: c or -17?
-17
Suppose 4*v - 25 = -5*x - 2, 0 = 4*v + x - 11. Suppose -m - 9 = 3*a, -2*m - v + 0 = -2*a. Is -3/2 greater than or equal to m?
True
Let f be 14 + -1 + 0/2. Let x be ((-99)/(-12) + -2)*-2. Let y = f + x. Which is greater: 1 or y?
1
Let r(d) = -5*d**3 - d**2 - 2*d - 2. Let g be r(-1). Suppose y = 4*w - 11, 5*y + 17 = 6*w - 5*w. Suppose -6*p = -w*p + g. Is 1 less than or equal to p?
False
Let x = -120 - -60. Let f = -359/6 - x. Let a be 2/4 + 3/(-2). Are a and f nonequal?
True
Let i(r) be the second derivative of -r**5/20 - r**4/6 + 3*r**2/2 - r. Let a be i(-3). Suppose -g - 3*g - a = -4*h, -2*g = 6. Which is greater: h or 1?
1
Let a be (((-55)/20)/(-11))/(3/(-4)). Is -41 greater than or equal to a?
False
Let y = -1 + 2. Let j be 6*1/((-1)/y). Suppose 0 = -20*h + 25*h + 25. Is j smaller than h?
True
Let b be -1 - 3*16/(-3). Let k be ((-18)/b)/(8/20). Let i = 3 - 5. Which is smaller: k or i?
k
Let t = -10 - -5. Let o be (-8)/t + 6/15. Is 2 > o?
False
Let s = 94 + -472/5. Are 7/2 and s equal?
False
Let h = 1.62 - 0.02. Let k = h - -4.4. Let z = k - 6.4. Which is greater: 0 or z?
0
Let g(v) = -7*v - 14. Let x be g(2). Which is smaller: x or -30?
-30
Suppose i + a = 2*a - 5, 5*i + 19 = -a. Suppose 3 = -7*f + 10*f. Let b = -1 - f. Which is smaller: b or i?
i
Let r be -4 - (-15 + 5) - 2. Is 11/4 equal to r?
False
Let y be (8 + -3)*6/(-5). Let p = y - -6. Is p greater than 2/13?
False
Suppose k + 5*z - 2 = -15, z + 9 = 3*k. Let p(f) = -f - 1. Let a be p(-3). Do a and k have different values?
False
Suppose -4*l - 9 + 1 = 0. Let n be (11/(-22))/((-1)/l). Is -2/33 <= n?
False
Let r = 38.97 + -39. Which is bigger: -2/15 or r?
r
Suppose -4*h - h - 5 = 0. Let r(p) = -p**3 - 10*p**2 - 8*p - 10. Let s be r(-9). Let z = -77/4 - s. Is z less than h?
False
Let p(x) = x**2 - 8*x - 1. Let i be p(4). Is -17 less than i?
False
Let r = -364 + 364.5. Let d(u) = -u**2 - 7*u - 8. Let c be d(-6). Let f be ((-2)/(-9))/(c/(-3)). Which is smaller: f or r?
f
Let o(p) = 5*p**3 - 2*p**2 - p. Let x be o(-1). Is -3 at least x?
True
Let z be (-10*(-1)/3)/((-32)/18). Which is greater: z or -2?
z
Let t = -383/258 - 2/129. Is -3 >= t?
False
Let c = -4954 + 15100/3. Let l = c + -76. Which is bigger: l or 2?
l
Let k be -2*(3 - 2) - -3. Is 1/25 > k?
False
Let n(k) = 2*k**2 + 5*k - 9. Let u be n(2). Is 0 equal to u?
False
Suppose 2*j - 1 = 3*a + 4*j, 0 = -3*a - 5*j - 7. Which is smaller: a or 3/46?
3/46
Suppose 5*z - 2*z = 2*o + 55, 0 = -2*o - 10. Which is greater: z or 12?
z
Let r = 0 + -0.04. Let p = 0 - -1. Which is bigger: r or p?
p
Let v = -50 + 349/7. Is 2 equal to v?
False
Let b = 5 + -7. Let l = 0 - b. Let v be ((-1)/2)/(3/l). Which is bigger: v or -1?
v
Let y be (-78)/35*(-10)/(-135). Let a = 1/45 + y. Is a at most as big as 0?
True
Suppose 4*r - 10 = -2. Suppose -1 + 5 = -2*p. Let b = r + p. Which is smaller: -1/6 or b?
-1/6
Let l be -2 - -34*2/32. Which is bigger: -1 or l?
l
Suppose 29 + 3 = -4*o. Let b = o - -7. Which is greater: -3/8 or b?
-3/8
Let g = -0.03 + -0.08. Do -5 and g have the same value?
False
Let p = 3122937/203 - 15384. Let h = -5/107 + -69/3103. Let l = p + h. Which is bigger: l or -1?
l
Let g be (-10)/(-14) + (-24)/(-84). Let u be (-4)/(-20)*(6 + g). Is u > 2?
False
Let l = 21/76 + -1/38. Which is smaller: l or 3?
l
Let t = -62 + 44. Is -15 less than or equal to t?
False
Let a = 1 - -2. Let q be (2/(-10))/((-3)/a). Let w be 2*1*(-3)/(-6). Which is smaller: w or q?
q
Let q = -8 + 32. Let w = q + -19. Is w >= 4?
True
Let u = 63 - 95. Is -32 less than u?
False
Let n(q) = -q**2 - 8*q - 6. Let z be n(-7). Suppose 3*h + z = 4*h. Is 1 greater than or equal to h?
True
Suppose -3*v - x + 3 = -4, 5*v - 3*x - 21 = 0. Suppose 0 = -3*h - v*w - 9, 20 = 3*w - 7*w. Which is smaller: h or -2/9?
-2/9
Let x = 4 - 3.7. Let z = 18 + -45. Let b = z + 133/5. Is x at most b?
False
Let a be -1 + (-8)/(4 + -8). Is a smaller than 2/13?
False
Let c(w) = w + 9. Let f be c(-6). Let v be (-6)/(-9) + 14/42. Are f and v nonequal?
True
Suppose -3*q - y + 9 = -8, 13 = 2*q - y. Suppose 5*b - 4 = q. Which is bigger: -1 or b?
b
Let r be (-6)/(-16)*(-224)/216. Is r < 0?
True
Suppose -9*l = -l + 8. Let z(p) = 4*p**2 + 1. Let m be z(-1). Suppose -t = -2*g + 2, 25 = -g - 4*g - m*t. Are l and g equal?
True
Suppose -20 = -24*d + 28. Let g be 23/42 + 4/14. Is d bigger than g?
True
Let u(t) be the first derivative of -t**4/4 + t**3 + t**2/2 + 3*t + 2. Let s be u(3). Suppose 2*j = s*j. Which is greater: 0.1 or j?
0.1
Suppose -4 = -j - 2*t - 32, -5*j - 4*t = 152. Let r be (-3)/(-4) + (-8)/j. Which is bigger: 3 or r?
3
Let o(z) = -z**2 + 4*z + 3. Let k be o(5). Which is greater: 4 or k?
4
Let c = -37/52 + 6/13. Which is greater: 1 or c?
1
Let r = 0.14 - -0.86. Is r not equal to 19?
True
Suppose -4 = -9*w + 5*w. Let x(c) = 3*c**2 - 2*c + 1. Let f be x(1). Is w bigger than f?
False
Let l = 15 + -14.4. Let n = l + -0.62. Which is smaller: n or -2/5?
-2/5
Let t be (1/4)/((-9)/(-8)). Let a(r) = -r**2 - 4*r - 2. Let h be a(-3). Suppose 0*y + 2*v = 3*y + h, 0 = 2*y - 3*v - 1. Which is bigger: t or y?
t
Let b be 4 + (-4 - 0)/1. Is b at most 2/85?
True
Let r(c) = -c**3 + 3*c**2 + 5*c - 5. Let l be r(4). Let y(a) = -a**3 + 5*a**2 + 2. Let g be y(5). Let d be (-12)/(-105) + g/7. Is d smaller than l?
False
Let j(k) = -k**3 + k**2 + k. Let q be j(0). Suppose -s - 4*s = q. Are -1 and s non-equal?
True
Let l be 15/9 + (-2)/(-6). Let a be ((-2)/1)/(6/(-45)). Let f be (2/a)/((-2)/(-10)). Which is smaller: f or l?
f
Let w = -9 + 9.01. Which is smaller: -2 or w?
-2
Let s(c) = -c**3 + 7*c**2 - 5*c - 3. Let n be s(6). Suppose -n*g + 17 = 2, i - g = -3. Suppose -20 = 7*j - 2*j + i*p, 4*j - 2*p = 2. Is -3 bigger than j?
False
Let b be (0 - 1)/(3/6). Suppose 0 = 2*a + 2*j - 6*j + 12, -4*a + 9 = 3*j. Which is greater: a or b?
a
Suppose 0 = 4*s - 2*z - 110, 4*s + 5*z = 3*s. Is -1 <= s?
True
Let l be (-4)/10 + (-360)/(-1025). Is l at most 0?
True
Let x = 31 + -36. Let t be (2 + 1/(-1))*-4. Which is smaller: x or t?
x
Let k = 0.01 + -2.01. Let u = -3 - k. Let v(g) = -g + 8. Let x be v(8). Which is smaller: x or u?
u
Suppose 3*h - 9*m + 4*m = -14, h - 3*m = -6. Do h and -30/11 have the same value?
False
Let j(g) = 3*g**3 + 2*g**2 - g. Let n be j(1). Let l be -3 - (-1 + n + -5). Let c be (-9)/36*2/(-11). Which is bigger: c or l?
c
Let a(q) = -q**3 + 5*q**2 + q - 4. Let z be a(5). Let j(v) = -3*v + 1. Let b be j(z). Which is b