 - 4*q - 6 = 0. Let z be (-12)/r*(-5)/(-2). Let p be (1 - z) + (2 - 4). Which is smaller: p or -1/7?
-1/7
Let p be ((-435)/85 - -4) + (-1 - 0). Which is bigger: p or -1?
-1
Let g = 3 + -2.9. Suppose 14 - 6 = 4*v. Suppose -4*i + 10 = v*r, -5*i - 5*r + 33 = 8. Which is smaller: g or i?
i
Let l = -32 - -32. Is 9 at most as big as l?
False
Let j = -8.13 - -0.13. Let l = j - -8.07. Let c = l + 0.03. Which is smaller: c or 2?
c
Let m = 35 - 25. Let z be (-1 - 0)*m/2. Let q = z - -5. Which is smaller: -1/8 or q?
-1/8
Let a(u) = -u + 3. Let z be a(1). Which is smaller: 9/4 or z?
z
Suppose 0 = 4*h - 150 - 178. Let z = -248/3 + h. Let d = -11 + 12. Is d less than z?
False
Let d = -17 + 17. Let l = 448/3 - 148. Do d and l have different values?
True
Let w = 4 + -2. Suppose 2*u + 3*o = 4, -5*u - w*o - 6 = -16. Let l = -4 + 3. Which is greater: l or u?
u
Suppose 4*u - 23 + 7 = 0. Suppose 4*k + 3*q - 7*q = 24, -22 = -4*k + 3*q. Are u and k non-equal?
False
Let a be (10/(-12))/((-2)/6). Let x(g) = 4*g + 3 + g - 4*g + g**2. Let o be x(0). Is a smaller than o?
True
Suppose 12 = 6*g - 3*g. Suppose -u = 2 - g. Let z = -3 + u. Which is smaller: z or 2/9?
z
Let w = -6 + 6. Suppose x = -w*x - 1. Which is smaller: x or -5/4?
-5/4
Suppose 110 - 10 = -5*a. Which is bigger: a or -21?
a
Let n(p) = -22*p. Let o be n(1). Is -22 at least o?
True
Suppose 4*k - 20 = 16. Are k and 8 unequal?
True
Let s = -12 + 17. Let o be 3 + -1 + 5*1. Let x = o - s. Is x at most as big as 2?
True
Let z(v) = v - 1. Let b be z(-3). Let u be 5*-1*6/(-105). Does b = u?
False
Let t = -2 - -26. Is 25 greater than t?
True
Suppose -10*h - 34 = -8*h. Is h greater than or equal to -15?
False
Let b = -0.2 + 2.2. Is 4 greater than b?
True
Let c = -7.5 + 3.9. Let m = 0.6 + c. Let s = -3 - m. Is -1/4 smaller than s?
True
Let z be -7 - (1 + -2 - 1). Let o(t) = t**2 + 6*t. Let l be o(z). Let g be (1/l)/((-1)/5). Which is greater: g or -2/17?
g
Let f = 5 + -7. Let j = 0.08 + -3.08. Let m = -3 - j. Do m and f have the same value?
False
Let k = 5.06 - 0.06. Let v = 0.6 - k. Let t = 4 + v. Is t < -1?
False
Let p be 1/1*(1 + -1). Let b(c) = c**2 + 7*c - 2. Let k be b(-7). Let r be (2 + 0/k)*-1. Which is smaller: p or r?
r
Let i = 1/66 - 37/66. Let f = 14 - 20. Let l be f*-3*(-4)/36. Which is greater: l or i?
i
Let c be (0 - 7)*24/28. Is c > -2?
False
Let o = -66 + 110. Which is bigger: o or 43?
o
Suppose -9*c + 13*c - 44 = 0. Which is bigger: c or 7?
c
Let s be (1*(-5)/5)/((-2)/(-2)). Let g = -6 + 4. Which is greater: g or s?
s
Let k = 40/9 - 409/90. Suppose -w = 3 - 5. Suppose w*x - 8 = -2*d, -x - d - 11 = -3*d. Is x smaller than k?
True
Suppose j = -3*b + 6, -b = b - 6. Which is smaller: j or -5?
-5
Let t = -173/819 - 1/91. Which is bigger: 0 or t?
0
Let p(f) = -f**2 - 5*f - 3. Let h be p(-4). Let x be 0/1*(3 + -2). Suppose 0 = 3*v - 2 - 1, m - v = x. Is m >= h?
True
Suppose 11*k - 3*u = 6*k - 12, -u = 3*k - 4. Let m be (3/(-2))/(18/14). Which is greater: k or m?
k
Let x(k) = 1. Let w(m) = 4. Let u(v) = -w(v) + 5*x(v). Let q(i) = -i + 4. Let p(z) = -q(z) - 5*u(z). Let j be p(5). Are -2 and j equal?
False
Let p(i) = -i**2 - 6*i + 8. Let n be p(-7). Let y be (2/6)/(2/(-3)). Which is smaller: y or n?
y
Let a(y) = -y**2 + y + 1. Let o(x) = -2*x**2 - 7*x + 1. Let v(r) = -a(r) + o(r). Let m be v(-8). Which is bigger: 1/6 or m?
1/6
Suppose 0*z = -5*z. Is z not equal to -10/7?
True
Let p(y) = -4*y**3 + y + 1. Let f be p(-1). Suppose 6 = 3*i - 0. Suppose -2*b = -i*k + 14, -k + 6*k = -4*b - 1. Which is smaller: k or f?
k
Suppose 4*o - o - j - 13 = 0, 5*o - 35 = -j. Let d be -1*o/45*-20. Which is bigger: d or 4?
4
Let u be (-3 - 0)*(-8)/6. Suppose 0 = -3*b + u*b - 1. Let l be -1 + 34/45 - (-1)/(-5). Is b at most as big as l?
False
Let a = 172/135 + -32/27. Is -1 >= a?
False
Let r = -16/65 - -9/26. Suppose -5*b + 45 = 5*h, -2*b + 6*h = h - 53. Let g be (-14)/49 + (-10)/b. Is g <= r?
True
Let v be -1*-1*(-2)/(-4). Let s be 0 + 5/((-5)/4). Let p be 3/9*6/s. Is p at least v?
False
Suppose 4*x = x + 24. Is 8 at most x?
True
Let l = -749/1746 - 3/194. Let i = -2 + 1. Which is bigger: i or l?
l
Let r = -0.4 - -0.2. Suppose 0 = 3*d + y - 4*y - 21, -d + 19 = -4*y. Suppose 5*k - 3*u = d*k - 12, -k + u - 5 = 0. Which is greater: k or r?
r
Let k be (-16)/(-2)*(-3)/(-6). Suppose -x - 3 = -k*x. Let t = 1 + x. Which is bigger: t or 0?
t
Let m(y) be the second derivative of -y**5/20 - y**4/3 + 5*y**3/6 - y**2/2 + 2*y. Let z be m(-5). Let s be (-183)/63 + (1 - -2). Which is smaller: z or s?
z
Let x be (-47)/(-9) + (-6)/27. Suppose -5*y = x, -5*m = 4*y - 1 - 35. Let l = -6 + m. Is 4/7 < l?
True
Let v = 3501 + -1876. Let j = v + -8032/5. Let k = j - 19. Which is greater: 0 or k?
0
Suppose 0 = 3*w - w + 14. Let r = -5 - w. Suppose 0 = -5*p + 5. Is p at least r?
False
Let t(c) = -c**2 + c - 1. Let a be t(1). Let q = -1 - a. Let d be ((-42)/(-12) + -5)*(-4)/(-6). Which is smaller: d or q?
d
Let d be (1 - -3)*12/(-40). Is 1 at least d?
True
Let c = 1 - 1. Let q = 15 + -14. Which is smaller: q or c?
c
Let m be (1/2)/((-2)/24). Let b(c) = 2*c + 8. Let v be b(m). Which is smaller: v or -5?
-5
Suppose -4*m + 2*r = -14, 2*m + r = 3*m - 4. Let z(q) = -m*q + 0 + 4*q + 2 - q**2. Let g be z(0). Is 2/9 smaller than g?
True
Suppose 5*j + 6 = 3*q, -2*j = -5*j. Let g = 1 - 0. Is g at least as big as q?
False
Let o(h) be the first derivative of -3*h**2/2 + 7*h - 2. Let p be o(5). Let n be p/(-5) + 1*-2. Is -1 greater than n?
False
Let b be 0*(-3 - (-10)/4). Is 0 at most b?
True
Let v = 17.8 - 16. Let p = 1.7 - v. Which is greater: p or 0?
0
Let u be (-5 - (2 + -2))*1. Let k(z) = -z**3 - 5*z**2 + z + 6. Let f be k(u). Is f less than 2?
True
Let c = -1 + 2. Let g = -19 + 17. Let p be g/(-4)*(-40)/70. Is c < p?
False
Suppose 8*b = 3*b + 15. Let t = 0 + b. Suppose 15 = -t*v + 3*y, 5*v + 0*y - 5 = -y. Is v at most -1?
False
Let g = -77 + 76.9. Which is smaller: -2 or g?
-2
Let w = 4 - 3. Suppose 39 = 2*f - 3*k, f - 4*k + 9*k = 0. Let d be (-9)/f + 2/(-5). Is d at most as big as w?
True
Let g = -25 + 26. Is g < -2/39?
False
Suppose 7*r + 19 = -c + 2*r, 5*r = -5. Let w be (-2 + 6)*(-14)/4. Does w = c?
True
Let p(r) = r**3 - 4*r**2 - 6*r + 3. Let i be p(5). Let v be (i - 26/(-6)) + -2. Let n = -3.9 - -4. Is n >= v?
False
Let y = 14 - 15. Let b be 3/((-6)/(-4)) + y. Do -1/4 and b have different values?
True
Let v be (-1 - -1) + 2/(-4). Let h = 9 - 8. Let z = h - 3. Which is smaller: v or z?
z
Let o = -0.5 - -2.5. Let j = 0.7 - -0.1. Let l = j - 1. Is l smaller than o?
True
Let o = -3.9 - -0.9. Which is smaller: 4 or o?
o
Let x be (4/(-14))/((-15)/(-70)). Which is greater: 2/17 or x?
2/17
Suppose -12 = -c - 2*c. Suppose 4*x = 2*x + 8. Suppose -2*a = -c*a - x. Do -3 and a have different values?
True
Suppose 0 = -14*y - 28 - 14. Is -12 greater than y?
False
Suppose 5*k + 3*t + 13 = 0, -3*k + 0*t - 2*t = 8. Let f be k/7 + (-37)/(-7). Suppose 2*n = -5*q - 3, f*n - 1 = 4. Which is smaller: q or -2?
-2
Suppose 2 = 5*s - 4*u, s - 3*s = -2*u. Suppose -4*w = -s*w. Suppose 2*y + 2 = 0, 2*x + 4*y = 5*x - 4. Is x smaller than w?
False
Let y = 54/7 - 8. Is y at most as big as 0.2?
True
Let t = -0.3 - 0. Let c = 0.9 + 0. Let v = c - -0.1. Which is smaller: t or v?
t
Let j = 300 + -2714/9. Which is bigger: j or -1?
-1
Let j(l) = l**3 + l**2 + 5. Let b be j(0). Suppose -s + b*s = -36. Is s <= -9?
True
Let j be -1 + 8/(-18)*-3. Suppose 2*g = 3*b - 4, 5*g - 7 - 8 = -5*b. Suppose c - b = -c. Is c not equal to j?
True
Suppose -s + 14 = -5*f, 0 = 3*f + 3 + 6. Is s less than 0.08?
True
Suppose 3*p = 2*p + 5. Suppose 3*i + 6 = -3*n, -2*n - p*i + 2*i = 0. Which is smaller: n or -5?
n
Let g = 7 + -6.9. Let b = -5 - -3. Is b not equal to g?
True
Let u = -8 - -6. Let j(w) = 5*w. Let g be j(1). Let o be 1/2 - g/10. Which is smaller: o or u?
u
Let a be -2 + (-8)/(-48)*(-654)/(-56). Which is bigger: a or -1?
a
Suppose 8*y - 4*y - 20 = 0. Let m be y - ((-1)/(-1) + -1). Let v be m/4 + 5/(-20). Does 0 = v?
False
Let q be 1 + (-3 - (0 + -1)). Suppose -3*v = -160 - 1595. Let n be ((-18)/v)/((-2)/(-10)). Is n != q?
True
Let c(a) = -a + 7. Let d be c(7). Is d < 0.19?
True
Let q(m) = m**2 - 10*m + 9. Let v(l) = -l**3 - 4*l**2 - 2*l. Let w be v(-3). Let h be (w/(-2))/((-1)/(-6)). Let g be q(h). Is 0