Let h(y) = -y**3 + 2*y**2 + 2*y + 3. Let i be h(3). Let n be 0/(i + 2 - 1). Which is smaller: -4/5 or n?
-4/5
Let y(l) = l**3 + 3*l**2 - l - 3. Let w be y(-3). Suppose -i - 2*i = w. Suppose 0 = -3*u - i*u. Is u at most 0?
True
Let b be (-8)/(-6) + 2/3. Suppose 20 = -5*r, -w + 2*r + 9 = -2*w. Let t = w + b. Is t <= 1/2?
False
Let u = -2 + 4. Suppose -12 = 4*h - u*c, 4*h + 3*c + 12 = -0*c. Which is bigger: h or -2?
-2
Suppose 7 = 2*x - 1. Suppose 4*m + 11 = 2*c - c, -4*c + 20 = -x*m. Is m > 2?
False
Let r = -86 + 177/2. Let h(v) = v**3 + 2*v**2 - 4*v - 1. Let s be h(-3). Which is smaller: r or s?
s
Let k = 3.3 - -0.7. Let h = 13/14 - 3/7. Is k at least h?
True
Let l = 0.1 - 0.4. Let m = l + 0.23. Let d = m - -0.06. Which is smaller: -1 or d?
-1
Let h(l) = l**3 + 12*l**2 + 15. Let c be h(-12). Suppose 5*a + 0*a = -c. Is a < -5?
False
Suppose -8 = 2*s + 3*q, s - 3*q - 16 = 5*s. Which is bigger: -15 or s?
s
Let l(b) = 7*b**3 - 2*b + 1. Let j be l(1). Let u = -4 + j. Let t(y) = -2*y**2 + 36*y - 63. Let v be t(16). Is v equal to u?
False
Suppose 4*v + 35 = 5*q, 6*q - 15 = 2*v + 3*q. Let g = v + -27. Let f be (3/g + 0)*4. Which is bigger: f or 0?
0
Suppose -7 - 8 = -5*q. Suppose -5*a + 37 = 5*s - 23, 2*s + 60 = 4*a. Suppose 5*w + 30 = 5*d, -7*w = 3*d - 2*w + a. Which is bigger: d or q?
q
Let x(s) = 3*s**2 - s. Let g be x(-1). Suppose -8 = -c - 6. Let b be 54/13 + c/(-13). Is g > b?
False
Suppose 4 = 5*j - 1. Is j less than or equal to 1?
True
Suppose 24 + 4 = 4*y - 4*w, 5*w + 17 = -4*y. Let g be y/7 - 132/21. Let h(x) = -x - 5. Let r be h(g). Which is bigger: 0.1 or r?
r
Let w(d) = d - 4. Let v be ((-4)/(-5))/((-2)/(-15)). Let k be w(v). Suppose -m + 3 = k*m. Which is smaller: 2 or m?
m
Let c be (-1)/(-2)*3*(-24)/(-80). Is c at most -1?
False
Suppose 5*l - 4*k + 30 = 0, 2*l = 7*l - 2*k + 20. Suppose -4*f + 2 = -2*f. Suppose f + 2 = -3*b. Which is greater: b or l?
b
Let c = -2 + -4. Let y = -2 - c. Suppose -y + 3 = n. Which is smaller: n or -3?
-3
Suppose 3*f = 3*m + m + 11, m - 3 = -5*f. Suppose -6*l = -2*l. Is f equal to l?
False
Suppose 3*t = t. Let g be (t + 3 - 2)/1. Let v be (g + 0)*(1 + 0). Are v and 3/2 non-equal?
True
Let i = 16/9 + -361/198. Is i at least 0?
False
Let w be (-847)/105 - 3/5. Which is smaller: -10 or w?
-10
Let k = -1 - -0.8. Let q = -0.3 - k. Let m = 1 + -0.9. Is m bigger than q?
True
Let y(t) = 4*t**2 + t**2 - 4*t**2 + 1. Let a(d) = d**3 + 5*d**2 + 4*d + 5. Let j(r) = a(r) - 2*y(r). Let z be j(-2). Are -2/7 and z equal?
False
Let m = -1.1 + 1. Let u = m + 0.1. Let g = -0.082 - 0.018. Which is bigger: u or g?
u
Let z = 4174/511 - -92/73. Which is greater: z or 10?
10
Suppose p - 4*p + 63 = 0. Let q = p - 32. Which is bigger: q or -10?
-10
Suppose 0 = -4*w + 2*w + 44. Let n be (1/(w/(-8)))/(-2). Is n greater than -1?
True
Let c be (24/(-20))/(2/(-5)). Let d be (-3)/(-6)*c*2. Which is smaller: 2 or d?
2
Let y(q) = -q**2 + 9*q + 4. Let z be y(5). Let u be z/(-14) - (-2)/(-7). Let c be (-1)/u - 1/(-6). Which is smaller: 1 or c?
c
Let h = -22 + 21. Do -1/4 and h have the same value?
False
Let b(t) = -t + 6. Let v be b(3). Suppose 5*n - 2*n + v = 0. Is n less than -1/4?
True
Suppose 7 - 163 = 4*q. Is -40 bigger than q?
False
Suppose 0 = f - 17 - 5. Let v = -65/3 + f. Which is bigger: v or 1?
1
Let u = -2 - -3. Is 16 greater than u?
True
Let n = 0.8 + -0.71. Let m = 0.01 + n. Let q = -89/3 - -29. Which is smaller: m or q?
q
Suppose -9 = 4*a + 5*n, -3 + 1 = a + n. Which is bigger: a or -4/17?
-4/17
Let o be (3 + -1 + 80/(-5))/2. Which is smaller: o or -36/5?
-36/5
Suppose y - 4 = -3*y. Let k be (-2)/(-16)*-1*1. Which is bigger: y or k?
y
Let c = 14 - 15. Is c at least 0?
False
Suppose 2*i - 4 = -2*i, 6 = -2*v - 2*i. Let s be 14/4 - (-2)/v. Suppose s*h + 13 = -4*m + 36, 3*h - 25 = -5*m. Which is greater: 2 or h?
h
Let t(h) be the third derivative of -h**4/24 - h**3/6 - h**2. Let q be t(-4). Suppose q = -4*u + 11. Is -2 > u?
False
Let w = 0.18 + -0.1. Let x = w - 5.08. Let n = 4.6 + x. Is n at least -0.1?
False
Let g be ((-2)/11 - 0) + 135/(-165). Which is smaller: g or 28?
g
Suppose 5*a = -5*p + 15, -4*p = a + 2*a - 8. Let l(m) = m**3 - 5*m**2 + 5*m - 2. Let t be l(a). Let i be ((-16)/(-9))/(-1) + t. Is i less than -1?
False
Let z = 179.02 + -179. Which is smaller: 0 or z?
0
Let w = -129/10 + 27/2. Are 0 and w equal?
False
Suppose 3*g + 8 = 4*g. Let h = -5 + g. Which is greater: h or 2?
h
Suppose -2*m + 22 = -5*z, m + 4*z = 4*m - 19. Let r be (7/(-3)*-3)/m. Let o(i) = -i**3 + 8*i**2 - 6*i - 8. Let j be o(r). Which is smaller: j or 1/5?
j
Let g be 1 + -4*1 - 2. Let i = g - -2. Is i less than 2/3?
True
Let d(u) = 2*u - 9. Let n(b) = b - 3. Suppose w + 0 = -3. Let t(g) = w*d(g) + 8*n(g). Let q be t(-2). Is q less than or equal to -2?
False
Suppose 2*b = -b - 12. Is 0 at most as big as b?
False
Let w(j) = 11*j + 3. Let x(g) = 5*g + 1. Let z(o) = -4*w(o) + 9*x(o). Let u be (-1)/(0 + 2/(-10)). Let m be z(u). Is 2 smaller than m?
False
Suppose -2*q + 20 = 4*u, 0*u + 5*q + 16 = u. Is u at most as big as -6?
False
Let j(q) = 11*q - 4. Let n be j(4). Is n greater than 41?
False
Let w be 2/6 + 428/(-6). Let o = w - -139/2. Let c = 0.51 - -0.49. Is o != c?
True
Suppose -13*x + 44*x - 93 = 0. Suppose 0 = 5*q - 4*y - 25, -2*q - 2*y + 22 = -6*y. Which is bigger: q or x?
x
Suppose 4*o - 32 = 4*m, 4*m = 2*o - 6*o + 8. Suppose -3*u + u - 10 = 0, t + 2 = -u. Suppose -4*f - 3*x + 12 = -7, 3*f + t*x - 15 = 0. Which is smaller: o or f?
f
Let b = -221/4 - -55. Which is smaller: -0.01 or b?
b
Let n = 0.06 + -0.96. Let y = n - -0.9. Let w = 0.2 + y. Which is bigger: 1/4 or w?
1/4
Let b be (2/(-4))/(-4 + 220/56). Which is bigger: b or 5?
b
Let m be 1 - (-7)/(-5) - (-365)/(-25). Which is bigger: m or -20?
m
Let s = 337/123 - 3/41. Is s <= 2?
False
Let q be ((-14)/(-4) - 3)/((-2)/(-28)). Is 8 at most as big as q?
False
Let v be (-3)/12 - 86/(-152). Which is greater: -1 or v?
v
Let j = 21 + -9. Let s = 18 - j. Let h = -8 + s. Which is smaller: h or -1?
h
Let j(i) = i**2 - 5*i + 2. Let t be j(5). Let l = 2 + t. Suppose b + l*b = 0. Which is smaller: b or -1/6?
-1/6
Let a = 0.46 + 0.04. Which is smaller: 2 or a?
a
Let x be (20/25)/(2/(-5)). Which is smaller: 1 or x?
x
Let r = 3.1 - 3. Let p = 3 - 2. Is r at least p?
False
Let b(j) = 4*j + 1. Let n be b(-8). Is n equal to -31?
True
Let t = 0.11 + -0.21. Which is smaller: t or -8?
-8
Let d(x) = x**3 - 5*x**2 + 3*x - 3. Let p be d(3). Suppose -3*j + j = 22. Which is bigger: p or j?
j
Let m be (-15 - -23)*3/(-76). Which is smaller: 1 or m?
m
Let r = 0.19 + -0.26. Let i = -0.03 + r. Which is bigger: i or -0.06?
-0.06
Let f be (-6)/(-9) + 8/(-12). Suppose 3*r - 17 + 2 = f. Is r <= 2/3?
False
Let g(q) = q**3 + 3*q**2 + q + 4. Let d be g(-3). Suppose -3*z = -z + 12. Let x be z/21 - (-10)/7. Is d >= x?
False
Suppose a - 26 = -3*r, -6*r + 24 = -2*r - 4*a. Which is smaller: r or 10?
r
Let c(v) = 10*v**3 + v**2 - 2*v + 1. Let g be c(1). Let y = g - 5. Which is smaller: y or 4?
4
Let n be ((-50)/(-15))/((-937)/(-3)). Let y = 148096/4685 - n. Let d = -32 + y. Are 1 and d unequal?
True
Let a be 4/(-6) - 5/(-3). Let k(j) = 0*j**2 - 3*j**3 + 3*j**2 - 2*j**2 - a. Let r be k(-1). Which is bigger: r or 4?
4
Let f = 0.07 + 3.93. Let s = f + -4.1. Which is smaller: s or -2?
-2
Let l = -135 + 410/3. Suppose 0 = -5*f - 2 + 7. Do f and l have different values?
True
Let h(s) = s**3 - 8*s**2 + 2*s - 11. Let p be h(8). Is 36/7 <= p?
False
Let u = 27.91 + -28. Is 1/7 greater than or equal to u?
True
Let w(r) = -6*r + 6. Let a be w(-6). Suppose -f = -0*f - 2*y - a, 5*y = f - 42. Let b be 6/(-4)*(-8)/f. Which is smaller: 1 or b?
b
Let a(z) = -4*z - 51. Let r be a(-13). Which is smaller: 2/207 or r?
2/207
Let k(i) be the third derivative of -i**4/8 + 5*i**3/6 + 8*i**2. Let h be k(2). Which is greater: -9/4 or h?
h
Suppose -4*q = 37 - 17. Which is greater: -7 or q?
q
Suppose 0*y = -4*y + 12. Suppose -3 = y*m - 9. Let i be (m/(-20))/(1/(-6)). Which is greater: 2 or i?
2
Let b = 0.01 - 3.01. Suppose r = -2*l, -5*l = -2*r - 2*r. Which is bigger: r or b?
r
Let d be (-1 - 3) + 7 + 1. Let u = -9 + 14. Suppose 9*q - d*q = 4*j + 1, -u*q + 3 = -2*j. Is q greater than or equal to -1/5?
True
Let i(l) = 3*l - 14. Let h be i(6). Suppose -8*o - 34 = h*x - 3