Let b(l) = 7*l**2 - 4*l + 4. Let p(y) = i*w(y) - b(y). Let h be p(4). Which is bigger: -1 or h?
h
Let c = -13 - -25. Let b = c - 8. Which is smaller: b or 5?
b
Let b(t) = -t**3 + 3*t**2 + 2*t + 3. Suppose 0 = 7*m - 2*m - 20. Let r be b(m). Is -3 at least as big as r?
True
Let o = 0.7 + -0.1. Let v = 101.8 + -102. Is v <= o?
True
Let x = -2501 - -147527/59. Let s = -3545/118 - x. Let n = 29 + s. Is n at least 0?
False
Suppose -2*z - 4 = 2. Suppose 24 = -n + 4*f, -n - 4*f - 10 = -26. Which is smaller: n or z?
n
Let k = -12 - -18. Let y be k/1 - (0 + 1). Suppose 8 = -5*o + 3*l, 0 = y*l - 6 + 1. Are o and -1 equal?
True
Let f(g) = -2*g + 29. Let u be f(15). Is 10/31 less than u?
False
Let y = 0.082 - 0.082. Is 5 at most y?
False
Let l be (-4)/14 + (-30)/(-7). Let z = l + 0. Suppose 0*r - z*p = -r - 8, r + p = 2. Is 1 greater than or equal to r?
True
Let x(j) = j**2 + 4*j + 5. Let k be x(-2). Which is smaller: k or 2/61?
2/61
Let k = 76 + -49. Let c = k - 18. Let a = c - 9. Is a less than or equal to -1?
False
Let l be -7*(1 - -1)/2. Let h be (-2)/(-8) + l/(-4). Let w be h/7 + (-72)/154. Is 0 at most w?
False
Suppose -a = 2*a + 6. Suppose -5*x = 12 + 3. Let u be (-1)/a*18/x. Is -4 >= u?
False
Let q = 12 - 9. Suppose b - q = -2. Suppose p + 12 = 5*p + 4*i, 0 = -p + i + b. Is 1 bigger than p?
False
Suppose 0*n = 5*n + 130. Is -25 equal to n?
False
Let h be (8/(-2))/(-8)*8. Suppose 4*m = 4, -2*r + 2*m = h*m - 6. Is r greater than or equal to 0?
True
Let s be -1 - -2*2/24. Are -3/4 and s non-equal?
True
Let j = 7.3 + -5.3. Does 5 = j?
False
Let z = 23 - 29. Is -5 bigger than z?
True
Let h = 21.83 - 22. Let f = h - -0.25. Is -0.1 > f?
False
Let g = -10 - -14. Let y = g + -5. Let i = 2/43 + -96/215. Is y != i?
True
Let r(o) = -o**2 - 8*o. Let v be r(-8). Is 3/28 > v?
True
Let h(y) be the second derivative of y**5/10 + y**4/4 + y**3/6 + y**2/2 + 4*y. Let m be h(-2). Is m <= -3?
True
Let y(j) = 5*j + 1. Let p be y(-2). Let z = -3 - p. Suppose -5 = -g - z. Which is smaller: g or 2/5?
g
Let h = 2 - -2. Suppose -b + 0 = -h. Suppose 0 = b*x - 3*x - 2*v, -2*v = -5*x. Which is bigger: x or -1/3?
x
Suppose -5*d + 3*n + 11 = 0, -d - 4*d = -n - 7. Let b be (d - -2)*(-6)/3. Do -7 and b have the same value?
False
Let a = -247/1620 + 1/405. Does a = -1?
False
Let b(w) = w**2 - 10*w + 15. Let f be b(13). Which is bigger: f or 53?
f
Let n = -0.6 + 0.4. Let b = n - -0.1. Let v be (2/20)/(1/(-6)). Is v < b?
True
Suppose 0*a - 15 = 5*a - 4*p, 3*a + 9 = 4*p. Let x be a/12 - (-42)/8. Let b(v) = 2*v**2 - v - 2. Let l be b(2). Is x bigger than l?
True
Let d = 9 + -8. Which is smaller: d or 3/28?
3/28
Suppose -4*l - 13 = -3*u - 49, -u - 28 = -4*l. Suppose 4*j = 11 + 13. Is j at least l?
True
Let h be ((-9)/18)/((-1)/8). Suppose q - 112 = -0*q - 5*r, -h*q - 3*r = -414. Let c = -512/5 + q. Is 0 less than c?
False
Let a = -53 - -54.2. Are a and -0.2 unequal?
True
Suppose -2*v = 3*v - 20. Which is greater: 3 or v?
v
Let k(q) = -8*q**3 + 2*q**2 + q. Let u be k(-1). Suppose u = 2*y - 5*y. Let b = y + 2. Is b at least 0?
False
Let v = -37 - -36.89. Which is greater: v or -0.1?
-0.1
Let f = -4 - -8. Let u = -17.3 - -17.2. Which is greater: f or u?
f
Let d = 99 - 498/5. Is -0.14 at least d?
True
Let i = -2316/19 + 122. Is -1 smaller than i?
True
Let v = 20 + -7. Let k be (1 - 6) + 3 + 15. Is k at least v?
True
Let x be (4/5)/((-4)/(-10)). Suppose 4 = -3*u - 2*g, 5*u + x*g = -6 + 2. Is 2/5 equal to u?
False
Let r = 41.69 - 42. Let o = -17.69 + r. Let m = 25 + o. Is -2/3 greater than m?
False
Let v be -3 + (-4)/(-12)*6. Is 1/17 bigger than v?
True
Suppose -4*o = 2*p, o - 24 = -5*p + 3*o. Let g be (-14)/49 - p/(-14). Which is greater: g or -3?
g
Suppose z - 11 = 5*k - 29, -2*z = -k + 9. Let b be (-3)/(-33)*-1*k. Is 0 > b?
True
Suppose 5*a - 4*a = f + 33, 4*f - 3*a = -132. Is 2 >= f?
True
Suppose 8*y = -2*y. Let q be (2/185)/((-2)/(-10)). Which is smaller: q or y?
y
Let s be (-66)/(-14) + (-2)/(-7). Suppose -2*k + 5*m - 10 = 0, 2*k - s*m + 2*m = -6. Is 0 greater than k?
False
Let p be ((-18)/20)/(-1) + 0. Let r = p + -13/20. Suppose 0*l - 3*l = -3*x + 3, 4*x - 8 = 0. Which is smaller: r or l?
r
Let p = -0.5 - -1.33. Let t = p + 0.07. Let v = 3.1 + t. Which is bigger: v or -0.1?
v
Let v = 7 - -8. Is 14 at most as big as v?
True
Let h(t) = t - 4. Let x be h(6). Suppose -x*f + m = 1, 4*m - 3*m = f - 1. Is f equal to 1?
False
Let w = -2 + 4. Suppose 5*t + 8 = -w. Let v(f) = -f**2 - f. Let c be v(t). Are c and -1/3 nonequal?
True
Let g = -0.2 - 0.4. Let t = 19.4 - 17.4. Which is greater: g or t?
t
Let k(a) = a**2. Let j be k(0). Let u = -4 + 6. Let m be 1 - (-2 + (u - -1)). Is j >= m?
True
Suppose 3*k - 34 = 8. Suppose -22 = -6*a + 4*a + 4*s, a = -3*s - k. Is 1 less than or equal to a?
True
Let j(o) be the third derivative of -o**6/120 - o**5/15 - o**4/6 - 2*o**3/3 - 7*o**2. Let a be j(-3). Let b be (0 + 2/38)*-2. Is a >= b?
False
Suppose 4*f = -f + 75. Let u be (6/f)/((-14)/(-73)). Let b = -9/5 + u. Is b less than -1?
False
Let t = -14 - -10. Is -2 at least as big as t?
True
Let m be 52/3*(-6)/(-44). Let i = m - 316/143. Is 1 not equal to i?
True
Let y = -5 + 4. Suppose -5*c = -4*c - 1. Suppose -c = -2*u + 1. Which is greater: u or y?
u
Let n be (-1 - -1)*(-1)/(-2). Which is greater: n or -2/15?
n
Let g = -1 + 18. Let x = -10 + g. Is x greater than 1?
True
Let s(c) = 2*c + 6. Let o be s(-2). Suppose -5*z = o + 3. Is 16 bigger than z?
True
Let b = -13 + 18. Suppose -3*v = -b*y + y + 41, 2*v = y - 19. Are -7 and v unequal?
False
Let j be (240/(-115))/1 + 2. Is j > 0.5?
False
Suppose u = -3*u + 5*w + 15, u = -4*w + 30. Are 0 and u non-equal?
True
Suppose 20 = 5*r + 5*y, -3*r = 4*y - 0 - 8. Let h = 7 - r. Which is smaller: 3/7 or h?
h
Let w(g) = -7*g + 44. Let v be w(6). Is 15 at least v?
True
Suppose -3*y + 38 = -4*r - 7, 5*r - 5*y + 60 = 0. Is -10 >= r?
False
Suppose 3*j = j - 16. Let x = -15/2 - j. Is 1 at least x?
True
Let t(z) = z**3 + 6*z**2 - 5*z + 10. Let f be t(-7). Let p be f/3*6/(-4). Suppose y = 3, -5*x + 12 = -p*x + 3*y. Which is bigger: 2/11 or x?
x
Let v = 5 + -4.92. Let o = -0.92 - v. Is o at least as big as -1?
True
Let w(t) = -8*t + 3. Let z(m) = -7*m + 2. Let k(f) = -6*w(f) + 7*z(f). Let n be k(-4). Is -1/8 smaller than n?
True
Let a = 0.39 + -0.29. Let l = 41 + -37.8. Let w = l - 3. Which is greater: a or w?
w
Suppose -69 = -w - 2*w. Suppose 8 - w = 5*x. Which is greater: x or -1?
-1
Suppose 5*i = 3*o + 45, 10*o - 5*o + 49 = 4*i. Let p be (16 - 6)/(1*i). Let u = 8 - 5. Is u != p?
True
Suppose -j - j - 2 = 4*i, 0 = 2*i - 4*j - 4. Suppose -1 = 2*y - 65. Let x be (-2 - 0) + y/14. Which is greater: x or i?
x
Let a be 3*6/(-9) - 2. Let o be (-3)/a + (-5)/(-4). Suppose v = o*v + 4. Is v != -4?
False
Let x = 42 - 41. Which is greater: -40 or x?
x
Let q(a) = a**2 + 5*a + 5. Let o be q(-4). Let l(k) = -k**3 + k**2 - k + 1. Let x be l(o). Is x at least -3?
True
Let l(m) = m + 3*m - 2*m**2 - 4 + 5 - m**3. Let b be l(-3). Let d be -2 + 0/(-2 - 1). Are d and b equal?
True
Suppose -3*d + 0 - 3 = 0. Let u(x) = -x**2 - 7*x - 6. Let b be u(-6). Is b at most as big as d?
False
Let j be ((-7)/(-14))/(3 - 1). Is 2/7 > j?
True
Let t = -0.2 + 0.3. Let r = -24.06 - -24. Let h = 0.24 - r. Do t and h have the same value?
False
Let g = 0.13 - 2.13. Let z = -15 - -15. Is z smaller than g?
False
Suppose 0 = -4*l - l - 220. Let u = l - -263/6. Suppose -2 + 5 = -3*k. Is k at most as big as u?
True
Suppose 26 = 4*b - 54. Let v = 97 + -77. Is v greater than b?
False
Let w be (1/2)/(2/4). Let y be (-6)/(-4)*(-8)/(-3). Let l be (-4)/(-16) + w/y. Are l and 1 unequal?
True
Let g = -337/5 + 68. Which is greater: 2 or g?
2
Let m = -0.7 - -6.7. Which is greater: m or 2/9?
m
Let d = 24 + -19. Is d < 0?
False
Let i be 1/2*(-4)/2. Let w be -1 + ((-6)/(-10) - 0). Which is smaller: w or i?
i
Let j = 8.27 - 8.7. Let b = -23 - -23.07. Let t = j - b. Which is bigger: t or 0?
0
Let z be (-4)/(-6) - (-84)/9. Let o = z - 17/2. Suppose -4*q + 7 = -5*a - q, -8 = 4*a - 3*q. Is a less than o?
True
Let b = -838 + 562. Let j be 15148/(-55) + (-4)/10. Let s = j - b. Which is smaller: s or -1?
-1
Let b = -127 + 208. Which is greater: 82 or b?
82
Let b be -2*1*(-4)/2. Let r be ((-6)/(-4))/(b/(-8)). Let q = 3 + r. Is q at least -3/7