Let p = 2.6 + -0.6. Let b = -0.3 + 0.24. Let s = -0.16 - b. Is s greater than or equal to p?
False
Let g = 20 - 13. Let d = g + -7. Which is smaller: 4 or d?
d
Let c = -2.03 + 2.43. Is c greater than 1.2?
False
Let i = 3 - 4. Let m be -8*(57/14 + -4). Is i less than or equal to m?
True
Suppose 2*a = 5*a - 222. Which is bigger: a or 75?
75
Let s = 21 + -17. Let z be 2*32/4 - s. Which is greater: z or 1?
z
Let r = -318055 - -166024835/522. Let i = r + -1/58. Which is greater: 1 or i?
1
Let d be 3/14*-2 + 0. Is 1 >= d?
True
Suppose 2*j - 1 - 3 = 0. Suppose 0 = j*f - 3*f - 3. Is f bigger than -4?
True
Let t = -127 + 513/4. Let g = -13/20 + t. Suppose -5*r = 5*f + 15, -5*f - 17 = 8. Which is smaller: g or r?
g
Let a = 76/407 + -2/407. Which is smaller: 1 or a?
a
Suppose -b + 5 - 19 = -3*d, -4*d + 22 = -2*b. Suppose 13 - d = 5*p. Which is smaller: p or -2?
-2
Let p be (5 - 2) + 1*-3. Which is smaller: -2/17 or p?
-2/17
Let l = -8 + 9. Suppose 5 - l = 4*k. Which is smaller: k or -2/19?
-2/19
Let w(x) = -x**2 + 14*x - 13. Let f be w(13). Is 1/11 at least f?
True
Let b be (-276)/(-270) - 8/10. Suppose 5*v = v. Is v <= b?
True
Suppose -5*h = -18 - 7. Suppose 2*p = 3*j + h, 2*j + 9*p - 4*p - 3 = 0. Let y = 2378/9 - 264. Is j at most y?
True
Suppose 2*j + j = -69. Is j greater than -23?
False
Let j be ((-1)/4)/((-1)/4). Are j and -1/146 equal?
False
Let w = -2 + 3. Are -6/17 and w equal?
False
Let c = -6 - -10. Suppose -c*g - 1 = -3*g. Is 0 less than g?
False
Let u(z) = -z**3 + 10*z**2 + 10*z + 11. Let w be u(11). Which is bigger: w or -2/193?
w
Suppose 0 + 4 = 4*k. Are k and -1 non-equal?
True
Let t(g) = -5*g + 3. Suppose s - 12 = -2*s - 3*z, s - 2*z = -2. Let a be t(s). Let y(m) = m**3 - 4*m**2 - 6*m - 1. Let x be y(5). Does a = x?
False
Let a = -10 + 10. Is 1/18 not equal to a?
True
Let q be 4*((-2)/2)/2. Let h be (q + 2 + -3)/1. Suppose 0 = -5*y - 0*y - 10. Which is smaller: h or y?
h
Suppose 5*d + 8 + 22 = 0. Let i be ((-9)/d)/(3/4). Which is smaller: i or 3?
i
Suppose -4*x - 2*i = 0, -2*x - 2*i = -6*x + 8. Let m = -66/5 - -15. Which is bigger: m or x?
m
Let g(j) = j**2 - 6*j - 11. Let d be g(9). Let a be ((-3)/20)/(d/40). Are a and -1 nonequal?
True
Let z = 15725 + -47576/3. Suppose 3*g = -4*h + g - 544, -403 = 3*h - g. Let d = h - z. Does d = -1?
False
Let v be ((-8)/10)/(26/195). Suppose 2 - 6 = 4*q. Let z be (q/1)/(4/v). Is z at most as big as 2?
True
Let f = 10 - 8. Let c be (-2)/f + (4 - -15). Which is smaller: c or 19?
c
Suppose -5*l - 184 = 3471. Let f = l - -2213/3. Let r = -22/3 + f. Is 0.2 smaller than r?
False
Let t be (6/4)/(16/(-16)). Do -3 and t have the same value?
False
Let x be 1/(1 + 2/(-3)). Suppose -x = o - 0*o. Let v = -0.5 + 0.6. Which is smaller: v or o?
o
Suppose 0 = n - 4, -2*n - 2*n + 61 = -5*d. Suppose 9 = -x - 0. Do x and d have different values?
False
Let p(a) = 0 - a + 4 - 4. Let s be p(7). Suppose -4*n - 12 - 4 = -2*u, 44 = -4*n - 5*u. Are s and n unequal?
True
Let c = 1.82 - 1.7. Let o = 0.08 + c. Which is smaller: o or -1?
-1
Suppose 3 = -4*u + 7. Suppose 0 = s + u - 3. Let l be (-2)/20*6 + s. Which is bigger: l or 0?
l
Suppose 0 = 3*a - a - l, 4*a + 3*l = 20. Suppose -a*y + 0 = -2. Suppose 0 = -5*i - 4 - y. Is 2/5 equal to i?
False
Suppose -3*g - 5*t = 16, -4*g + 6*g = 3*t + 2. Which is smaller: -5 or g?
-5
Suppose 2*c + 2*q = q - 2, 0 = -5*c - 5*q. Let a be -2*(1 + 15/(-12)). Is c >= a?
False
Let b = -4091/14 - -292. Is 1 bigger than b?
True
Let n be -2 + 1/(-2)*-2. Let z be 26 + (-2)/(-1)*n. Let u = -73/3 + z. Is u less than 2/3?
True
Let l(r) = -30*r**2 + 2*r + 7. Let f(w) = -15*w**2 + w + 4. Let n(h) = -7*f(h) + 4*l(h). Let o be n(1). Is -14 at most as big as o?
True
Suppose 3*l + 3*c + 6 = -2*l, 5*l = 5*c - 30. Let a = 0 + l. Let q = -12 - -13. Which is smaller: q or a?
a
Let p be (-6 + 4)/(8/6). Which is smaller: -2 or p?
-2
Let f be (8/(-6) + 2)*12. Let h = f - 9. Is -2/7 equal to h?
False
Let g be -2 - (-6 - (-1 + 0)). Suppose 2*a = 2*c + 14, -5*a + 20 = -g*c - 7. Are -2 and a unequal?
True
Let t be 2*2/(-1 + 2). Suppose 4*g = 4*f + 24, t*f - 12 = 2*f - 4*g. Which is greater: f or -10/3?
f
Let p(d) be the second derivative of 0 + 1/6*d**3 - 2*d + 3*d**2. Let u be p(-5). Are 2/5 and u equal?
False
Let h = 6.9 - -0.1. Let k = h + -7. Which is smaller: 0.4 or k?
k
Let x be ((-15)/20)/((-1)/(-24)). Let w be (4/x)/((-8)/(-6884)). Let j = w + 191. Is j < -0.1?
True
Let c(q) = q**2 - 4*q - 3. Let f be c(-2). Which is smaller: f or 10?
f
Let f(t) = 4*t. Let g be f(2). Is 9 greater than or equal to g?
True
Let k(q) = -q**3 + q - 2. Let d be k(-2). Let a(h) = -4*h - 6. Let x be a(-3). Let g be x/d*(-12)/(-6). Is g <= 4?
True
Let x(v) = 8*v + 65. Let w be x(-7). Which is greater: w or 5?
w
Suppose 0*p = -p + 1. Suppose -o - p = 3. Is -4 < o?
False
Let o(t) = t - 1. Let a be o(4). Suppose -a*m + 8 = 23. Is -6 at most as big as m?
True
Let a = 18 - 10. Which is smaller: a or 6?
6
Let w(q) be the first derivative of -q**2/2 + 3*q - 5. Let o be w(6). Which is smaller: o or -8/3?
o
Suppose -22*w + 4 = -24*w. Let f(s) = s**3 + 2*s**2 + s. Let q be f(-1). Is q greater than w?
True
Let r(s) = 2*s - 6. Let t be r(4). Suppose 16 = 3*q - 0*q - 4*d, 2*q - 3*d - 11 = 0. Suppose 0 = -2*b - q*o + 26, -b + 4*o = 3*o + 2. Which is smaller: b or t?
t
Let g = 0.28 + -0.08. Let r = -1.8 - -1. Let j = -1 - r. Which is greater: j or g?
g
Let w be (-644)/20*10/(-198). Let a = w + -13/11. Which is smaller: -1 or a?
-1
Let a = 2565/7 + -367. Is -2 > a?
False
Let g = 56 - -55. Let w = 113.04 - g. Let f = w + -0.04. Is -0.3 at most as big as f?
True
Let f = 8 - 5. Let c = 4 - 2. Let x = 2 - c. Which is greater: x or f?
f
Let j = -35 + 69/2. Which is smaller: j or 0?
j
Let l = 3 + -1. Suppose -x = -l*x - 2. Let g = -2 - x. Which is greater: -2/7 or g?
g
Let w be (-36)/(-2)*3/6. Do -1 and w have different values?
True
Let v(r) = -r**3 - 8*r**2 + 3. Let g be v(-8). Suppose -4*l - 8 = 5*s + 3, -8 = 4*s + g*l. Let k(d) = d**2 + 2*d - 4. Let h be k(-3). Is s > h?
True
Let p be (((-28)/5)/(-1))/((-4)/50). Is p at least as big as -70?
True
Let v = 1 + -5. Let o be 14/4*v/(-7). Which is greater: o or 1/2?
o
Suppose -2*y + 1 = -9. Let r = -109 + 112. Which is bigger: r or y?
y
Let z(m) = 3*m**3 - 10*m**2 - 7*m. Let w(q) = -2*q**3 + 7*q**2 + 5*q. Let r(v) = -7*w(v) - 5*z(v). Let u be r(2). Let i be (-5 - 0)*u/10. Is i >= 2?
True
Let n = -5/7 + 3/7. Let t = 0.186 - -0.814. Which is smaller: n or t?
n
Let f be 15/(-75)*(-5)/(-8). Does f = 2/23?
False
Let s(k) = 2*k + 13. Let h = -28 - -19. Let p be s(h). Let f(m) = -2*m + 2. Let u be f(4). Which is bigger: u or p?
p
Let u = 22 + -29. Is u at least -6?
False
Let d be -1*(1 + -4)/(-3). Let p be (33/3 - 1)/d. Let z be 72/(-130) - 4/p. Is z < -1?
False
Let p(a) = a**3 - 5*a**2 + a + 4. Let z be p(5). Let s(o) = -o + 8. Let w be s(z). Which is bigger: w or -0.08?
-0.08
Let z = -4 + -4. Let x be 1/(-2*4/z). Does x = -2/9?
False
Let p = 10 + -5. Let f = p + -4. Which is smaller: 0 or f?
0
Suppose 4*u + w = -2, 0 = -5*u + 2*u - 4*w - 8. Suppose 0 = -u*r - 5*r + 5. Which is smaller: r or 2?
r
Suppose 5*z = -0*z. Let p(j) = j**2 + 2*j - 1. Let b be p(-3). Suppose b*l = 7*l. Are l and z non-equal?
False
Let s = 5 + -12. Let y = s + 8. Let w = 632/7 - 90. Is y at least as big as w?
True
Suppose 4 = -3*o - o. Suppose -4*t = -3*t + 5*z + 1, 4*z = -2*t - 2. Are t and o equal?
True
Let i = -25 + 126/5. Which is smaller: 0 or i?
0
Suppose 3*u + 3 = 0, -3*f + 2*u = 5 - 7. Let s = -1/42 + -37/210. Are f and s non-equal?
True
Let d = 2 + -2.02. Let i = 59 + -59.1. Is i less than d?
True
Let z(d) = -d - 4. Let u be z(-3). Let y be -2 + u + (-159)/(-51). Which is smaller: 1 or y?
y
Suppose 0 = -7*g - 0 - 7. Which is smaller: 0 or g?
g
Let w = -119 - -1069/9. Is -1 smaller than w?
True
Let c(k) = -k**3 - 2*k**2 - 3*k + 1. Let n be c(-3). Which is greater: n or 20?
20
Suppose 0 = -4*l + 13 + 91. Let n = l + -16. Is n less than or equal to 10?
True
Let i(m) = 6*m**2 + m - 1. Let p be i(1). Suppose 15 = p*h - 3*h. Which is smaller: h or 6?
h
Let r be (8/(-12))/((-1)/6). Suppose -r*m = -3*d + 2, d + 5*m = 4 - 35. Which is bigger: 0 or d?
0
Let g(l) = -l - 2. Let r be g(-1). Which is smaller: -2 or r?
-2
Let n = 3/3352 - -871511/1