Let s = y + t. Is s <= 1?
True
Let a(y) = -y**3 - 2*y**2 + 4*y - 2. Let i be a(2). Let z = -11 - i. Is -3/13 > z?
True
Let h(y) be the third derivative of y**5/60 - y**4/4 + y**3/6 + y**2. Let f(d) = d**3 - d**2 + 6. Let a be f(0). Let m be h(a). Is m not equal to 0.1?
True
Let z(n) be the first derivative of 2*n**3/3 - n + 3. Let b be z(-1). Do b and -2/51 have the same value?
False
Let y = -28 - -28.1. Is -4/5 greater than or equal to y?
False
Let q(a) = -5*a - a + 5*a. Let o be q(-1). Let f be (1 - 1)/(-1 - 0). Is f != o?
True
Let q be ((-2)/4)/((-10)/(-4)). Let k(z) be the third derivative of z**5/60 - z**4/24 - z**3/6 - z**2. Let a be k(2). Which is smaller: a or q?
q
Let v = 166 - 62. Is v at least as big as 105?
False
Let j(q) = -q**3 + 3*q**2 + 2. Let n be j(4). Which is smaller: n or -13?
n
Suppose 0 = u + 5*c + 32, -4*c - 3 + 11 = -4*u. Let w be u/(21/(-6))*2. Is 2 smaller than w?
True
Let j(m) = -m**2 + 7*m - 2. Let t be j(8). Let u be ((-1)/t)/((-4)/24). Which is bigger: -2 or u?
u
Let k = 8 - 11. Let h = 2 + k. Which is smaller: h or 2/11?
h
Let l be 1/(1 - (-2)/(-3)). Suppose -32*y + 37*y - 10 = 0. Which is greater: y or l?
l
Let x = 58 + -407/7. Let k = 3 + -4. Which is smaller: x or k?
k
Suppose 4*w = -112 + 68. Let q = -30 - -18. Is w < q?
False
Let g be 2/((-24)/14 - -2). Suppose -g = 5*b + 3. Let o be ((-1)/(-4)*b)/(-1). Which is smaller: o or 0.2?
0.2
Suppose 0*u + 2 = u. Let c = u + -1. Suppose 3*x - 2*x - c = 0. Which is smaller: -1/7 or x?
-1/7
Let y = 111 + -110.5. Is y < 4?
True
Let n = 12 - 9. Let d = n - 3. Which is smaller: 3/5 or d?
d
Let t be (6/5)/(3/15). Let n = -6 + t. Let v be 1 - (-2)/(n + -4). Is 0.3 greater than v?
False
Let p be 1/(4 + -1 + -2). Suppose -4*c - 2*j = 30, -2*c - 15 = -3*c - 5*j. Let o be 1/(-10)*c/(-4). Is p less than o?
False
Let b be (-24 - -25)/(1/2). Do 2 and b have different values?
False
Let p = 66 + -87. Is -1/2 at least p?
True
Let t = 2 - 0.9. Is 0 smaller than t?
True
Let o(i) = -3*i - 1. Let m be o(-3). Let u be 0 - (6 - 8)*1. Let v be 3 + 3 + (u - m). Which is smaller: v or -3?
-3
Let w = 3 + -1. Let y be w/(3 - (-21)/(-6)). Let h = 5 + y. Is 3 < h?
False
Let p(b) = -b**3 + 11*b**2 + 14*b - 11. Let c be p(12). Which is bigger: c or 11?
c
Let k be 1*(-2 - -2) + -3. Let p be k/2*4/(-3). Suppose p = -2*q + 4. Which is greater: q or 1/13?
q
Let c = -68.3 + 65. Let f = c + 3.3. Let g = -7.06 - -7. Which is smaller: f or g?
g
Let i = -350/3 - -119. Suppose 0 = -3*n - 5*l + 21, n + 2*l - 10 = -n. Are n and i nonequal?
True
Suppose 0 = 2*o - q - 3*q, -18 = -3*o - 3*q. Suppose 46 = o*d - 18. Suppose -5*m - 3*p = -d, 0*m + 3*m - 4 = p. Which is smaller: 3/2 or m?
3/2
Let c = 2 + 1. Let r(g) = -2*g - 1. Let t be r(-1). Suppose 0 = -2*z + 3 + t. Which is smaller: z or c?
z
Suppose 17*i - 5 = 12. Let n = 0 + 0. Let j = -1 + n. Is j greater than i?
False
Let q = 8 - 8. Let w = -2 + 4. Let s = w + -4. Which is smaller: q or s?
s
Suppose -5*q = -3*q. Suppose -a = -q*a. Do a and 2/7 have different values?
True
Let t = -6 + 5.4. Let n = t + 0.4. Let o = 0.4 + n. Does o = -0.1?
False
Suppose 0*b - 5*b + 5 = 0. Let r be 54/(-18)*(-1)/(-3). Which is smaller: b or r?
r
Let w = -10.22 + 10. Let f = w + -0.88. Let q = 1 + f. Is -1 > q?
False
Let p = -13 + 18. Let s = -10.8 - -15.5. Let l = s - p. Does -1/3 = l?
False
Let b(i) be the third derivative of i**5/60 + i**4/6 - i**3/6 + 4*i**2. Let w be b(-5). Is 6 less than w?
False
Let c be 1/3 + (-4)/3. Suppose x = 2*x. Let d = x - 1. Is d at least c?
True
Let l be -2 + (-2)/12 + (-11)/6. Suppose 4*u = 2*u. Suppose 0 = 5*v - u*t - 2*t + 25, 20 = -5*v + t. Which is greater: v or l?
v
Suppose 0 = -w + 6*w. Suppose -r + w = 1. Which is smaller: r or -6/5?
-6/5
Let n = -331.8 + 332. Let v = -219 - -3287/15. Does n = v?
False
Suppose 5*i - 115 = -7*n + 12*n, -83 = 3*n + 4*i. Is -23 less than n?
False
Let t = -0.03 + 0.08. Let o = 1.05 - t. Is o at most as big as 0.3?
False
Suppose 7 = 4*q - 25. Suppose -4*o - s + 28 = 0, -o - 4*o + 20 = 5*s. Is o >= q?
True
Let u = -139.72 + 141. Is 0.1 at most u?
True
Suppose -2*j - 2*v - 12 = 0, -j - 8*v - 9 = -4*v. Suppose 4 = -s - 5*t + 3, -5*t - 13 = 3*s. Which is bigger: s or j?
j
Suppose 0 = -g + t - 5, -3*g - 4*t + 12 = -8. Which is smaller: 2/9 or g?
g
Suppose 15 = 3*i - 0*i. Suppose i = 5*a + 15. Let j = a - -2. Which is bigger: 3/7 or j?
3/7
Suppose -3*g - 11 = -38. Are 1 and g unequal?
True
Suppose 2*x - 2*r + 40 = 0, -7*r + 5 = -2*r. Is x bigger than -19?
False
Let v be 6/(-4)*(-30)/(-36). Does v = -2?
False
Let m = -2383/27 + 265/3. Is -1 at most as big as m?
True
Suppose 0 = -v - 2*v + 3. Suppose -4*g - 5*u - 16 = -3*g, 5*u = -2*g - 12. Suppose g = 2*w + 3*w + 2*q, -5*w + 4*q + 22 = 0. Is v less than w?
True
Let g be 2/(-3) - (-1 + -1). Let p(k) = 13*k - 24. Let j be p(2). Which is greater: j or g?
j
Let o = 8.05 + -8. Is 0.1 smaller than o?
False
Let o = 8 + -6. Suppose -b + o*b + 2 = 0. Which is bigger: 1 or b?
1
Suppose 3*b = 2 - 5. Which is bigger: b or -6/17?
-6/17
Suppose -5*m - 2*s + 4 = -0, -3*m + 18 = -4*s. Which is smaller: 13/5 or m?
m
Suppose -5*m + 17 = -8. Suppose -5 = -4*d + 19. Which is greater: d or m?
d
Let l(k) = k**3 + 3*k**2 + k. Suppose -h = 4*h - 120. Let v be (h/30)/((-2)/5). Let d be l(v). Is d not equal to 1?
True
Let o = 16/39 + 12/13. Let d = 0.7 + -0.8. Which is smaller: o or d?
d
Let c be (-17)/(-36) - (-7)/(-28). Suppose 0*x = 3*x. Is x at most as big as c?
True
Let x(t) = -t**2 + 7*t + 5. Let c be x(7). Which is smaller: 6 or c?
c
Let c = 26 - 29.2. Let r = c + 1.8. Let k = 0.4 + r. Is k < 0.1?
True
Let q = 1 - -3. Is q <= 5?
True
Let f be (-96)/(-20) - 4 - 2. Do -1 and f have different values?
True
Let m = 3 + -6. Let h be 2/(1 + (-3)/5). Suppose 0*d = -5*d + h*b - 20, 3*d = b - 12. Which is greater: m or d?
m
Suppose -j = -3*j - 2. Let p be (j/9)/((-3)/18). Is p less than 0?
False
Let i = 2.7 + -3. Let m = 249/506 - -2/253. Are m and i unequal?
True
Suppose 3*v + 7 = 4*s, -4 = -3*v + s + 1. Which is bigger: 26/7 or v?
26/7
Suppose -3*i - 2*t + 13 = 0, -4*t + 0*t + 23 = 3*i. Let o be 3/(-18)*12/(-47). Does i = o?
False
Let m = 0.9 - 0.7. Which is smaller: -3/8 or m?
-3/8
Let j = 853/23 + -37. Which is smaller: j or -1?
-1
Let j = -1 - -1. Let x = 214 + -212. Let m = j + x. Are m and 1/5 nonequal?
True
Suppose 0 = 2*l - 5*l - 24. Is -8 > l?
False
Let b = 83 - 81. Which is bigger: b or 25?
25
Let v(j) be the second derivative of 5*j**3/6 - 9*j**2/2 - 3*j. Let m be v(6). Let z be (-54)/m*(-1)/(-3). Is z > -2?
True
Suppose -5*v = 0, 5*k + 11 = -4*v + 1. Let c be (-3)/(4 - 5/3). Which is smaller: c or k?
k
Suppose -3*h + 6 + 18 = 0. Suppose 5*o = 3*n - h*n - 40, 0 = o - n + 12. Which is smaller: -2 or o?
o
Let n = 4.3 - 4.4. Is n less than -86?
False
Let f(j) = j**3 - 14*j**2 + 18*j - 14. Let s be f(13). Let x = -99/2 + s. Is x greater than or equal to 1?
True
Let h(a) = -a**3 + 3*a**2 + 5*a - 6. Let y(v) = v**2 - 2*v - 7. Let c be y(5). Suppose -c = 3*q - 5*q. Let p be h(q). Is p at most -3?
False
Let i(c) = -c**3 + 8*c**2 - 8*c - 6. Let x be i(6). Let s be (-4)/16*16/x. Which is smaller: 0 or s?
s
Let y(o) = -o + 6. Let j be y(5). Let w(g) = -2*g**3 + 2*g**2 - g - 1. Let n be w(j). Which is smaller: -6 or n?
-6
Let s be -2 - (-5)/((-50)/41082). Let r = s + 4096. Let k = -14 - r. Which is smaller: -1 or k?
-1
Let l = 23 - 22.5. Let v = -3 - -2.9. Which is bigger: l or v?
l
Let s = -3 + 1.2. Let k = s - -0.8. Let c = 0 + -0.1. Which is bigger: c or k?
c
Let a be ((-77)/(-35))/(4/43). Let z = 122/5 - a. Which is smaller: z or 0?
0
Let m(x) = -2*x**3 + 3*x**2 - 2*x + 2. Let u be m(2). Let r be (-5)/(-6) - (-2)/u. Suppose 5*z - 1 = 2*p, 4*z + 4*p - 11 - 1 = 0. Which is smaller: r or z?
r
Let f be (-1 + 0)*(-1 + -1). Suppose 3*v - 2 = 2*p + 3*p, -4*v + 22 = 3*p. Suppose 3*g = g + p. Is f >= g?
True
Let t(q) = q - 12. Let x be t(13). Which is greater: 0.2 or x?
x
Let r = -2.9 - -3. Suppose -5*v - 6*w - 3 = -3*w, 2*w - 8 = 0. Which is greater: v or r?
r
Let g be 6/(-3) + (-6)/(-5). Let n(s) = -s**2 + 2*s + 6. Let r be n(4). Which is smaller: g or r?
r
Let l be (-2)/6*(0 + 3). Let v be -5*(3 - 0)*l. Let d = 31/2 - v. Which is smaller: d or 0.2?
0.2
Suppose -w + 4 = 1. Suppose w*p + 36 = 3