= 0?
True
Let z = 6 + -6. Let n = 1 + z. Does n = 1?
True
Let r = -9 + 10. Let s = -0.5 + -2.5. Do r and s have different values?
True
Let c = 87 - 87. Let m = -7 + 11. Is c < m?
True
Let x be (-2)/(3*2/(-9)) - 5. Is -9/16 >= x?
True
Let v = -0.17 + 0.01. Let m = 11.16 + v. Is m less than 1?
False
Suppose 5*i - 42 = 3*i. Let y be 4/i + 2/(-6). Suppose 2 + 0 = -2*d. Is y != d?
True
Suppose l - 2*s = -s - 4, 5*l - 4*s + 25 = 0. Which is smaller: -7 or l?
l
Let p = 2 + 2. Let o be (-3 - p)*(-10 + -2). Let m = o + -250/3. Is m greater than or equal to 0?
True
Suppose v = -2*v. Suppose -k + 3*k - 2*x = v, -k + 2*x = 0. Is k at most as big as -2/57?
False
Let u be (((-10)/(-5))/88)/(3/3). Is 1 at most as big as u?
False
Let z = -149986/4017 - -6/1339. Let c be 1 - (-108 - 0)/3. Let x = z + c. Is 0 greater than x?
True
Let c(d) = d. Let m be c(-6). Let p(t) = 2*t - 10. Let v be p(7). Suppose a + v*w - 16 = -2, 3*a + 4*w - 2 = 0. Is m not equal to a?
False
Let a(p) = p**3 + 8*p**2 - 10*p - 10. Suppose 0 = m - 4 - 0. Let t be (9/m)/(2/(-8)). Let g be a(t). Is 2/5 at most as big as g?
False
Let z = -31 - -29.92. Let t = z + 0.08. Is -2/11 bigger than t?
True
Let w(k) = k**2 - 6*k + 1. Let r be w(7). Let q(m) = -4*m**2 - m. Let n be q(1). Let v = r + n. Are 2 and v equal?
False
Suppose h + 4 = 3. Suppose 3*t - 11 = 1. Let n be ((-5)/70)/(1/t). Is h < n?
True
Suppose 30*z - 35*z + 10 = 0. Let i = 1 - 10. Let l be (4/(-6))/(2/i). Which is greater: l or z?
l
Let v(l) = l**2 + l + 2. Let p be v(-2). Suppose p - 20 = -2*d. Suppose g - 4 = -2*y - g, -4*g + d = 0. Is 0 greater than or equal to y?
True
Suppose -q = -5*d - 60, -2*d - 11 + 0 = -3*q. Is -14 less than d?
True
Let v be 2/6 - 8/60. Is -0.4 at most v?
True
Suppose g = -0*g. Let z be 105/60*(-4)/14. Is g bigger than z?
True
Suppose -4*g + 3*m = -7*g - 42, -3*g = 5*m + 52. Let f = -52 - -42. Is g bigger than f?
True
Let v = 4 - 3. Suppose -v = 3*a + 5. Is a less than or equal to -2?
True
Let w = -0.01 + 0.11. Is 0.8 at most as big as w?
False
Suppose 0 = -3*r + 4*f + 3, -r + 1 = 4*f. Which is bigger: r or 2/23?
r
Let a = -3 + 0. Let m = a - -1. Is m smaller than -0.1?
True
Let b(w) = 1 - 1 + w. Let f(c) = c**3 - 2*c**2. Let l be f(2). Let o be b(l). Is -3/5 smaller than o?
True
Let i = -30163/145 - -540/29. Let g = i + 190. Which is bigger: 3 or g?
3
Suppose 0 = 5*v - 3*g + 19, 2*v - g = -3*g + 2. Let u be -1*(v + 3 - 1). Suppose -5*n - m - 23 = 0, u*n + m + 11 = -2*n. Is n > -3?
False
Let v be (-4)/16*(2 + 1). Is -2 greater than or equal to v?
False
Let n = 1201/2 - 588. Which is smaller: 12 or n?
12
Let n(x) = 4*x**3 - x**2 + x + 1. Let k be n(-1). Let z = -6 - k. Do z and -1/5 have the same value?
False
Let t = 0.07 - -0.43. Let h = -3.5 + t. Do -1/4 and h have the same value?
False
Let o(j) = -j**2 + 7*j - 4. Let a be o(7). Which is smaller: a or -8/3?
a
Let m(j) = -j - 10. Let a be m(-6). Which is smaller: a or -3?
a
Let d(z) = -3*z**3 + 4*z - z**3 + 6*z**2 - 7 + 5*z**3. Let s be d(-5). Suppose 6*f + 6 = 3*f. Is f at most s?
True
Let s(h) = -2*h**3 - h**2 + 10*h - 8. Let k(p) = 3*p**3 + p**2 - 15*p + 12. Let a(l) = 5*k(l) + 7*s(l). Let j be a(3). Which is bigger: -4 or j?
j
Let n(t) = t**2 - t - 1. Let y be n(0). Let z(c) be the third derivative of c**6/60 - c**4/24 - c**2. Let k be z(y). Is -2/5 bigger than k?
True
Let a be (-18)/(-14) + 6/(-21). Let z = a - 2. Suppose 25 = 5*n - 5*w, 5*n + 2*w = 3*w + 5. Which is smaller: n or z?
z
Let x be (-15)/4 + 4 + 0. Which is smaller: x or 0?
0
Let n = -5 - -2. Suppose 3*c - 3*v = 0, 5*c + 22 = -2*v - 13. Is c at least n?
False
Let s = -3.1 - 0.9. Let f = s + 3.4. Let z = f + 0.6. Which is bigger: z or 0.1?
0.1
Let x = -33 - -22. Let i = -8 - x. Suppose b + 1 - 4 = 0. Is b at most i?
True
Let k(a) = -a**3 + 7*a**2 - a - 14. Let n be k(7). Which is bigger: n or -20?
-20
Suppose -5*g + 2*g + 9 = 0. Let r = 8 - g. Suppose -x - 2 = -c, 0 = r*x + 5*c - 14 - 6. Which is smaller: x or -1?
-1
Let p(u) = u**3 - 3*u**2 - 5*u + 6. Let y be p(4). Let g be -5 + y + 6/3. Which is greater: -6/11 or g?
-6/11
Let u be (-10)/(-7)*21/27. Is 0 at least as big as u?
False
Let m be (1/2 + 1)*8. Suppose 2*o + 2*o + m = -4*h, -22 = -o + 4*h. Is o at most 1/2?
False
Let p be (-1*2)/((-4)/(-26)). Let f = 14 + p. Let w be (-3)/(-3) - (1 + -1). Are f and w unequal?
False
Let t(c) = 4*c**3 - c**2 + 9*c + 13. Let x(d) = d**3 + 3*d + 4. Let r(z) = 2*t(z) - 7*x(z). Let b be r(3). Are -2 and b non-equal?
False
Let x be 3 + 1*16 + 2. Suppose 0 = s - 5*i - x, 0 = -s - 4*s - i + 1. Let h be 20/11 + (-1 - s). Which is greater: 0 or h?
0
Let k be ((-28)/(-6))/((-4)/264). Let j be (-144)/k - 2/7. Which is smaller: -0.2 or j?
-0.2
Let g = -3 + 3. Let n(y) = -y. Let j be n(4). Let a be (-9)/6 - (-2)/j. Which is bigger: a or g?
g
Let a be (-3)/((-2)/(5 - 3)). Suppose -p = a*p. Which is smaller: p or 2/3?
p
Let d = -0.4 - -0.3. Let q(j) = -j**2 - 2*j + 3. Suppose -16*f = -21*f. Let x be q(f). Which is bigger: x or d?
x
Let n(t) = t - 7. Let x be n(7). Suppose x = -i + 6*i. Let b(g) = -2*g + 2. Let d be b(2). Which is smaller: i or d?
d
Let m be (-5)/2 + 2/4. Let d = 11 + -11. Let z be (30/36)/(-1 - d). Which is smaller: m or z?
m
Suppose 0 = -g - 0*g + 13. Which is bigger: 14 or g?
14
Let d(m) = -m**2 - 5*m - 1. Let t(o) = o**2 + 1. Let x(q) = -d(q) - 2*t(q). Let l be x(4). Let f(j) = -j - 6. Let b be f(-8). Is l at most b?
False
Let i(q) = q**2 + 3*q. Let a be i(-3). Let u(t) = 2*t**2 - 6*t + 3. Let l be u(6). Let p be 72/l + (-6)/3. Is p less than or equal to a?
True
Let d = 181/15 - 12. Which is smaller: d or 1?
d
Let n(s) = s**3 - 4*s**2 + 3. Let z be n(4). Which is bigger: z or 9?
9
Let w(x) = 22*x - 21*x + 6 + 4. Let r be w(-11). Which is greater: r or -1/6?
-1/6
Suppose -18 = -7*w - 4. Is w at most as big as 15?
True
Let w = 1 + 4. Suppose -w*l + 3 = -2. Let z = 4 - 3. Are l and z non-equal?
False
Let u be (-7)/(-21)*(-1 + 1 - 0). Is u greater than or equal to -2/11?
True
Suppose 0 = -0*l - 4*l. Which is greater: -1/76 or l?
l
Suppose 0 = 2*h - k - 7, 2*k + 2 = -3*h + k. Is h less than 1?
False
Let q(z) = -z - 19. Let p be q(-23). Is p greater than 0.3?
True
Let a = -1.08 - -6.08. Is 12/5 bigger than a?
False
Let g = 20 + -20.1. Is g greater than 15/7?
False
Let l = 13 + -11. Suppose 3*c + 5 + 6 = -2*y, -l*c = 3*y + 14. Let m be (-2)/(-5)*10/(-14). Which is smaller: c or m?
c
Let w(s) = s - 5. Let a be w(6). Let p be 1/((-129)/(-63) - 2). Let j be (-1)/(-4)*(-7)/p. Which is bigger: a or j?
a
Suppose -28 + 14 = -2*p. Is 6 >= p?
False
Let h(a) = a**3 - 6*a**2 + 3*a + 1. Let q be h(4). Which is bigger: q or -59/3?
q
Suppose 3*v - 2 = v. Suppose -5 + v = f. Let l(b) = b**2 - 4*b - 4. Let w be l(4). Is w at most f?
True
Let i = 8.1 - 8. Is -14 greater than i?
False
Let d = 22 + -22. Let g(b) be the second derivative of b**4/12 + b**3/6 + 2*b**2 - b. Let o be g(d). Which is smaller: o or 1?
1
Let o = -61 + 489/8. Is 2 equal to o?
False
Let p = 0.005 - 0.005. Suppose -2*q - w + 2 = 0, 0 = -q - 4*w + 3*w + 2. Is q != p?
False
Let g = 650777737/13968 - 745505/16. Let l = g + 54/97. Let r = -28/9 - l. Is r greater than or equal to -1?
True
Let m = -120 - -1562/13. Let g = 3/65 + m. Suppose 0*f = -5*o - 4*f - 1, o - 2 = -3*f. Which is bigger: g or o?
g
Let u(d) = -d**3 + 3*d**2 + 2*d - 2. Let t be u(3). Suppose 5*w = -5, 2*y + 5*w = t*y + 7. Let m = y + 5. Which is greater: 2/41 or m?
2/41
Suppose -5*l + 0*l + 4*p = 91, 5*l + 5*p = -55. Let a be 1/3*l/(-10). Let j = a - 0. Which is smaller: 2 or j?
j
Let l = 2/87 + 83/174. Let t(v) = -34*v**2 - 2*v - 1. Let d be t(-1). Let h = 67/2 + d. Is h != l?
False
Let g(l) = 46*l**3 - 2*l**2 + 3*l - 2. Let c be g(1). Is 46 at least c?
True
Let t = -92 + 646/7. Which is bigger: t or 3?
3
Suppose 4*s - 2*n - 11 = -n, 5*n = 25. Is s greater than 3?
True
Let n = 6 + -6. Suppose 2 = 2*t - n. Are -1/4 and t non-equal?
True
Let o(h) = -h**2 + 2*h + 2. Suppose 2*g - 3 = g. Let k be o(g). Is -1/4 equal to k?
False
Let i be 8*3*7/14. Suppose 0*m + i = 2*m + 2*c, 4*m - 30 = 2*c. Which is greater: m or 5?
m
Let a be 1484/(-1200) + (-3)/(-12). Let m = -8/25 - a. Which is greater: m or 2?
2
Let w = 0.2 - -0.36. Let x = w + -0.06. Which is smaller: x or 0.1?
0.1
Let x = 2.4