= 3*b - 3*h, b + 3*h + 6 = 0. Suppose m + b*m = 0. Is m at least 1?
False
Suppose -6 = -2*g + 4*g. Let f be (g/(-2))/(6/16). Suppose 0 = 2*l - v - 0 + 3, f*v = 4. Which is greater: l or -1/6?
-1/6
Suppose 0 = 2*i - 8, -4*y + 260 = i - 2*i. Let d be ((-6)/20)/(y/(-65)). Let a = 6/11 - d. Is a at least as big as 0?
True
Let s = -1/106 + 37/1113. Which is smaller: 0 or s?
0
Let r = -128.1 - -110. Let d = -14 - r. Let l = d - 4. Do 0 and l have the same value?
False
Suppose 0 = 4*o - 3*o - 9. Is 9 at most as big as o?
True
Let i be (-2)/4*(-24)/3. Suppose -2*j = -i*v + 8, 0 = 4*v - 2*v - 4. Let h = -1/5 - 7/15. Which is smaller: j or h?
h
Let n = 7 - 7. Are -2/97 and n equal?
False
Suppose -y - 3*t + 2 = -3*y, 4*t = 5*y + 19. Which is smaller: y or 11?
y
Let s = -85/6 - -33/2. Which is smaller: s or 2?
2
Let q(o) = o**2. Let d be q(2). Suppose 2*h - 12 = -h - d*v, 4*v = 2*h - 8. Let b = h - 4. Which is smaller: b or -3/5?
-3/5
Let y(c) be the second derivative of -c**5/20 + 2*c**4/3 - 6*c. Let s be y(8). Let f = -7/2 + 17/6. Is s less than f?
False
Suppose -364*m + 66 = -362*m. Is m < 32?
False
Let p(l) = l**2 + 7*l + 2. Let w = 8 - 15. Let h be p(w). Let t be (-8)/(-4)*h/4. Which is smaller: t or -1/5?
-1/5
Let b be -2*16/154 + -3. Let t = -40/11 - b. Is t greater than -1?
True
Let o be 1/2*0/3. Is -2 at least as big as o?
False
Let b = 0.07 + 0.03. Which is smaller: b or 0.11?
b
Let g = -2.2 + 1.5. Let s = g - -0.6. Which is greater: -4 or s?
s
Suppose -13*s + 8*s = 20. Is -2 bigger than s?
True
Let o = -2/135 - -56/135. Let y be (7/(-2))/(1/2). Let q be (-2)/y - 4/14. Is o greater than q?
True
Let j(x) = -x**3 + 3*x**2 + 3*x + 2. Let c be j(4). Let o = 3 + c. Which is smaller: 1/3 or o?
1/3
Let g(j) = -j**2 + j + 1. Suppose 0 = -5*u + 2*u + 2*f, -f - 9 = 3*u. Let t = 2 + u. Let l be g(t). Is 0 <= l?
True
Let b be ((-56)/(-35))/((-1)/(-25)). Suppose -b + 2 = a. Let n = -153/4 - a. Is n less than -2?
False
Suppose 0 = -9*z + 8*z + 4. Let t be 2 + (0 - (2 + -1)). Does t = z?
False
Let m be -2 - (-3 + 6)*-1. Let u(c) = 2*c - 3. Let r be u(2). Is m at least as big as r?
True
Suppose 0*d - d = 0. Suppose d = u - 5. Suppose -u*v + 2*v = 0. Is -1/13 greater than v?
False
Suppose -22 = -5*j - 47. Is j greater than or equal to -4?
False
Let s = 4 - 3. Let w = 0.2 + -0.3. Is s at most w?
False
Suppose -5*c + 5 = 0, f + f - c - 3 = 0. Suppose 0 = 8*g - 3*g + f*r - 11, 0 = g - 4*r + 11. Is -1/16 at most as big as g?
True
Let o = -49 + 49. Which is bigger: o or -2/67?
o
Suppose 4*r + 10 = d, 2 = d + 5*r + 28. Is d less than -20/3?
False
Suppose -2*r + 5*r = -b - 3, 4*r + 5*b + 15 = 0. Suppose r = s - 5 - 0. Is 4 at least s?
False
Let w = -0.15 - 0.03. Let s = 0.12 - w. Which is smaller: s or -3?
-3
Let k = 0 + 0.1. Which is smaller: k or 1?
k
Suppose 2*t = 6*t - 4. Suppose 0 = -8*h - 4*h. Which is smaller: h or t?
h
Let j = 163/2 - 80. Suppose -4*k - 2*p + 244 = 0, -2*k = -0*k - 4*p - 112. Let s = k + -178/3. Is j less than or equal to s?
False
Let f = 5752937/125 - 46023. Let u = 698/2625 + f. Let l = -55/63 + u. Which is smaller: -1 or l?
-1
Let h be 1 + 3 + 0 + -14. Let r = -24 - -13. Which is bigger: r or h?
h
Suppose -2*n - 3*n = 20, a - 3 = n. Let t be 8/12*(a - 8). Is -6 != t?
False
Let v = 22 - 22.1. Which is smaller: v or -2/7?
-2/7
Let q be -1*2*1*-2. Let z = q + -3. Let d be 2/(z/(-1))*-1. Is 1 greater than d?
False
Let y be (-1 + -1 + 2)*-1. Let g = 12 + -7. Let s = g + -2. Which is greater: s or y?
s
Suppose -2*k = -5*k + 6. Let l = 4 - 4. Which is greater: k or l?
k
Let g(t) = t**2 + t. Let k(i) = -5*i**2 - 2*i - 1. Let w(d) = 6*g(d) + k(d). Let l be w(-4). Which is greater: 0 or l?
0
Suppose 0*l - 3*l + 6 = 0. Suppose s = -b - 2*b + 24, -b = 3*s. Suppose 3*p = -l*w + 15, -3*w + b = 2*p - 6. Does w = 5/2?
False
Suppose 7*v - 5 = 2*v. Let i = -2582/21 + 123. Which is smaller: i or v?
i
Suppose i = 3*h + 26, -h + 22 = 3*i - 6. Let s = 11 - i. Is s at least 2?
False
Let r(w) be the second derivative of -w**4/12 - w**3/6 - w**2/2 - 3*w. Let a be r(-2). Let h(g) = -g - 3. Let v be h(-2). Is a at most v?
True
Let t = -19/2 + 28/3. Is t > 0.18?
False
Let z = 35 + -383/11. Let k be (15/9)/((-1)/(-3)). Suppose -q + 6*q + k = 0. Which is smaller: z or q?
q
Let q = -0.04 - 0.03. Let m = 0.23 - q. Let o = m - 0.5. Is 0 at least as big as o?
True
Suppose 5*u = -4*x - 61, 0 = -5*u - 5*x - 0*x - 65. Is u at least as big as -49/6?
False
Let w be (-20)/3*36/15. Let c(q) = -4*q + 41. Let k be c(14). Is w smaller than k?
True
Let f be 5/(((-2)/(-4))/((-24)/16)). Is -49/3 >= f?
False
Suppose -5*y + 96 = -3*y. Let r be 2/(-3) + (-52)/y. Is r less than -2?
False
Let d = -13 + 16. Let p = 6 + -1. Let i = p - d. Which is smaller: i or 0.1?
0.1
Let v = 692/5 - 138. Let h(s) = s + 10. Let q be h(-7). Suppose -3*o = -0*o - q. Which is bigger: o or v?
o
Let z = -18.5 + 2.5. Let f = 16 + z. Let g = 0.3 + 0.7. Is f > g?
False
Let c = 31/12 - 11/4. Let p(i) = i**2 + 10*i + 1. Let n be p(-10). Is n greater than or equal to c?
True
Let p = -17/3 - -19/3. Let t be 1*(-18)/(-3) - 3. Suppose t*o = 3*q + 6, 0 = -o + 2. Is p > q?
True
Let h = -4 + 4.2. Which is bigger: h or -3?
h
Suppose -4*u = -u - 6. Which is greater: u or 3?
3
Let n = 27.12 + -34. Let m = -13 - -13.12. Let x = n - m. Is x >= 0?
False
Let c be (-3 + 3)*1/1. Which is smaller: 5 or c?
c
Let r(s) = -s - 7. Let f be r(-9). Let a(g) = -2*g - 6. Let w be a(-4). Let z be 3/(-1)*1 + w. Which is smaller: f or z?
z
Let l = -11 + 24. Let b = 10 - l. Let m = 2 - 2.1. Which is bigger: b or m?
m
Suppose -8*l - 24 = -4*l. Is -8 != l?
True
Let v = 38 + -36. Let t = -1 - -1. Let i = v + t. Which is bigger: i or 1?
i
Let m(x) = 130*x**2 - x. Let o be m(-1). Let u = 919/7 - o. Do -1/2 and u have the same value?
False
Let n(x) = x**3 + 2*x**2 - 4*x - 2. Let t be n(-3). Suppose 2*h + t = -3. Which is smaller: h or -2/5?
h
Suppose 5*p - 19 = 6. Is p < 23/4?
True
Suppose -3*x - 1 = 2*i, -7 + 1 = 5*i + 4*x. Let y = 84 + -171/2. Which is greater: y or i?
y
Let r be ((-8)/40)/(8/70). Are r and -1 non-equal?
True
Let l = 0.2 + 0.8. Suppose -3 - 1 = -4*r. Let o be (-4)/10*r/2. Are o and l unequal?
True
Let c(q) = -3*q**3 + q. Let f be c(-1). Suppose -f*o - 3 = -1. Suppose 4*s + 4*b = -24, -b = 4*b + 25. Are o and s unequal?
False
Suppose -z + 15 = 4*z. Let i be (-1)/z - 20/12. Let b be (-6)/4*16/12. Is b at least i?
True
Let v = 3.5 - -0.5. Let o = -4.25 + 0.15. Let u = o + v. Which is smaller: u or 6?
u
Let f = -54717 - -7660293/140. Let b = f + 1/20. Suppose 2*p = -5*m + p - 10, 2*m - 5*p = -4. Which is smaller: b or m?
m
Let q be -2 + (4 - (-6)/2). Suppose -4*b = 3*m - 0*m - 19, 2*b - q*m = -23. Do -1/11 and b have different values?
True
Let r = -66984203/171 + 391719. Let i = -24/19 - r. Which is smaller: i or 1/3?
i
Suppose r - 1 = 4*n, -3*r + 3 = -0*n - n. Let d = -108 + 1295/12. Is r not equal to d?
True
Let n = 298/3 - 3859/39. Is -1 at most n?
True
Suppose 2*g = -2*o + 4, -2*o + 2*g + 11 = -5. Suppose -3*x - 8 = -x. Let a = x + o. Is a != 6/5?
True
Let r be (-5 - -3) + 0 + -9. Let p = -9 - r. Suppose -6*f = -p*f - 4. Which is greater: f or -0.2?
f
Let n = -2.9 + 3. Let c = -34 + 45. Are c and n non-equal?
True
Let d = 41 + -23. Which is bigger: 17 or d?
d
Let x(b) = b**2 + 6*b + 1. Let h be x(-4). Let l = 3 + h. Do l and -4 have the same value?
True
Let u(c) = -9*c + 3. Let q(w) = -5*w + 2. Let y(d) = -7*q(d) + 4*u(d). Let m be y(-3). Is m <= -1?
False
Let q be (-1 - 0) + (2 - -7). Let g be ((-9)/(-4))/((-2)/q). Let y be 1/4 - g/12. Is -1 bigger than y?
False
Let v = 0 + -1. Let x be (-171)/(-21)*8/(-3). Let n = -149/7 - x. Is v bigger than n?
False
Let r(g) = -g**3 + 8*g**2 + g - 9. Suppose 3 = -5*p + 43. Let i be r(p). Let t be i - (-2 - (-1 - 0)). Is 1 equal to t?
False
Suppose 0 = 5*f + 7 - 2, 3*l - 3*f - 9 = 0. Suppose -1 = 2*c + 2*b + 1, 0 = 4*c + 5*b + 7. Let r be l*c/6*3. Which is bigger: r or -1?
r
Let w = 1 + 4. Suppose 0*i - 5 = w*i. Do -3 and i have the same value?
False
Let n be -3 + 1 - (3 - 1). Let d be (-1)/(-1 + (-6)/n). Let i be 2/(0 - d)*-1. Is -4 > i?
False
Suppose -2*i = -4*z + 50, 2*z - 4*z - 3*i = -5. Let b be 52/(-80) - (-4)/z. Is 0 smaller than b?
False
Let y(j) = j**2 - 2*j + 1. Let r be y(0). Which i