Suppose 3*b - o + 4 = 0, -2*o - 12 = -5*o. Is b < 7?
True
Suppose -25 = -3*s - 2*s. Suppose 2*h = m - 3*h - 27, -m - 4*h - 18 = 0. Let q be 2 - (2 - (6 - m)). Which is smaller: s or q?
q
Suppose 5*o = -y - 10, 6 = -2*o - o. Let u = -6 + 8. Suppose -z = u*z. Is z at least y?
True
Suppose 0 = -0*m - 4*m - 4. Is 2 less than m?
False
Let t be ((-2)/6)/(20/(-15)). Is t equal to 0?
False
Let z(f) be the second derivative of -f**3/6 - 2*f**2 + f. Let h be z(-6). Let j(s) = -3*s + 22. Let q be j(7). Which is smaller: h or q?
q
Let c(a) = a**3 + a**2 - a + 1. Let b be c(2). Let i = -17 + b. Do -5 and i have different values?
True
Let k = -3.8 - -4.8. Is k at least 1.4?
False
Let m = 23 - 10. Let i = m + -12.3. Let g be 15/28 - (-1)/(-4). Is i bigger than g?
True
Suppose -4*a - 10 = 6. Let m be 1/3 - (-8)/3. Let q = a + m. Which is smaller: -2 or q?
-2
Let a be (-2 - (-2174)/1086)*3. Is 1 > a?
True
Let g = 26 - 18. Suppose q = 3*q + 4*y + g, 4*y = -5*q - 8. Let l = q + -1. Is l at most as big as -1?
True
Let i(p) be the second derivative of p**3/2 + p**2 - p. Let t be i(2). Let g be 12/9*(-2)/t. Are 1 and g equal?
False
Let k = 1/233 + 457/2097. Let m = -0.83 + -0.27. Let d = m - 0.9. Which is smaller: d or k?
d
Let l = -25 - -44. Let b = -5 - -24. Are b and l unequal?
False
Let y be 1351/210 + (-4)/(-6). Let i = 7 - y. Which is greater: 1 or i?
1
Suppose -4 - 2 = -2*g. Is 0 less than or equal to g?
True
Let q = 19 - 39/2. Which is smaller: q or 0.1?
q
Let g(c) = -c**2 - 2*c + 17. Let r be -1 + 12/(6/(-2)). Let v be g(r). Is -0.2 at most as big as v?
True
Let l be (-6 + (0 - 0))/(-2). Suppose 0 = -l*b - 3*f + 12, b + 5*f - 2 = 6. Let o be b - -34*(-1)/10. Which is smaller: 0 or o?
o
Let y(k) = -k**2 - 15*k + 5. Let m be y(-15). Is m greater than 29/5?
False
Suppose -5*m = -m - 4. Which is smaller: 10/7 or m?
m
Let s = -36.02 + 36. Do s and 4 have the same value?
False
Let j(z) = -z. Let d be j(-7). Let g = 4.8 - 5. Which is smaller: g or d?
g
Suppose 4*o = -v + 24, 3*v - o - 1 = 19. Which is smaller: v or 0.3?
0.3
Suppose -4*f - g + 4*g - 22 = 0, -5*f + g = 22. Let t = 6 + f. Which is smaller: t or 3/2?
3/2
Suppose 0 = -4*o + 3*o. Let j = 14/85 + -13/17. Is j != o?
True
Let k = 1 - -3. Suppose -3*j + 2 = -k. Are 0 and j equal?
False
Let a = -1.7 - -4.7. Let s = -37 + 109/3. Is a <= s?
False
Suppose 4*i - 16 = 0, d + 4*i - 16 = -0*d. Are 12/19 and d non-equal?
True
Let x be (-8)/(-4) - 4/2. Suppose x*r = -4*r - 8. Let f = -3/4 - -5/4. Which is smaller: f or r?
r
Suppose -5*u = w + 10, 0*u + 2 = u + w. Which is smaller: u or 1?
u
Let b(u) = 2*u**2 - 4*u + 2. Let t be b(2). Suppose 0 = -t*s - s. Which is bigger: 1/8 or s?
1/8
Suppose 4*s = 3*k - 125, -4*k - 115 = 3*s - 2*k. Is -37 smaller than s?
True
Let h = 3 - 2. Let s be 5 - (1 - -2 - h). Suppose -12 = -2*g - 8. Does s = g?
False
Let d = 49 + -50. Let k = 3.1 - 3. Is k > d?
True
Let f be (-249)/(-777) + (-9)/21. Is f less than or equal to 0?
True
Let s(z) = 11*z - 11. Let g be s(4). Which is smaller: g or 34?
g
Let z be -2*(2/(-1))/734. Let x = -1117/2936 + z. Let b be 5 + -3 - (-24)/(-10). Which is smaller: b or x?
b
Suppose 4*r + 12 = -2*a, 6*r = -2*a + r - 14. Let d = -2 - a. Let m = -28 - -27. Which is smaller: d or m?
m
Let k = 265/2 + -2933/22. Which is bigger: k or 0?
0
Let k(l) = l**2 - 6*l + 4. Let v be k(4). Is -4 at most as big as v?
True
Let a = 8/17 + -70/221. Suppose 0 = p + 5*q + 19, 3*p = 5*q + 32 - 9. Is p smaller than a?
False
Let m = 0.12 - 2.12. Let v be 16/42*(-3)/(-4). Is v greater than m?
True
Let o = 16 - 14. Is 10 at least as big as o?
True
Let w(o) = -o**2 - 4*o. Let m be (4 + -6)/(1/2). Let i be w(m). Is i greater than 0?
False
Let i = -2/179 - 1064/895. Let k = i + 29/20. Is -1 at most k?
True
Suppose -4*s - 64 = -4*q - 0*q, -3*q - s = -32. Let o be q/(-8)*(-8)/42. Let z = 3 + -9. Is z at least o?
False
Suppose -3*f + 9 = 2*t, 3*t + 2 = -4*f + 15. Let q be ((-2)/(-7))/(1/7). Suppose 5*v + i = -t*i + 22, -q*i = -3*v + 22. Does 5 = v?
False
Suppose 0 = -n + 5*g - 21, 3*g = -3*n + 5*g + 2. Suppose 2*b + 0*b - n = 0. Is 0 != b?
True
Let b be 329/(-55) + (7 - (-525)/(-77)). Which is smaller: -6 or b?
-6
Let r = -25 - -14. Let u = 10.9 + r. Is -15 > u?
False
Suppose 14*q - 7*q - 224 = 0. Which is smaller: q or 31?
31
Let j = -47.1 - -47. Which is smaller: -6/5 or j?
-6/5
Let z = 68/55 - 18/11. Is z < -1.5?
False
Let b = -21 + 20.8. Let u = 1.2 + b. Is 0.7 > u?
False
Suppose 0 = -4*s + 632 - 660. Suppose h + 2*h + 24 = 0. Which is smaller: s or h?
h
Let i be (-2)/7 - 73/(-231). Are 1 and i nonequal?
True
Let v = -0.266 - 1.624. Let c = -0.11 + v. Which is smaller: -3/2 or c?
c
Let f = 288 - 2299/8. Are 1 and f unequal?
True
Let m(j) be the second derivative of j**5/20 - 5*j**4/12 + j**3/3 - j**2/2 - 5*j. Let l be m(5). Is 9 at least as big as l?
True
Let o(w) = w**2 + 5*w - 3. Let b be o(-5). Let g be b/(-12) + 19/4. Suppose 0*t - 5 = g*t. Is t equal to 0?
False
Let b be 16/(12/3) - -1. Is b at most as big as 5?
True
Let v = -9 - -3. Let h be 3/2 - (-9)/v. Which is greater: 2 or h?
2
Let o(i) be the third derivative of -i**6/120 - i**5/12 + i**4/24 - i**3/2 - 2*i**2. Let y be o(-5). Let j = y - -6. Is j at most as big as -4?
False
Let x(r) = -r + 5. Let h be x(-4). Which is smaller: h or 10?
h
Suppose 4 + 2 = 2*f. Suppose -m - f*g + 9 = 2*m, 2*g - 16 = 3*m. Suppose 2*i = -0*i - 6. Is i equal to m?
False
Let i be (-6)/(-8)*(-30)/(-9). Do i and -1 have different values?
True
Let i be (-2)/(-8) + (-3)/6. Let h = 0.016 + -0.046. Is h smaller than i?
False
Let g = 5 + -2. Let o = g + -1. Let b be (-4)/3 - -2 - 0. Which is greater: b or o?
o
Suppose x + 10 = 3*r - x, r + 4*x = 22. Let g be ((-2)/r)/(2/18). Is -4 less than or equal to g?
True
Let y = -9.6 + 10. Let h(m) = -m**3 + m**2 + 2*m + 1. Let l be h(-1). Let k be 4/((-24)/9) + l. Which is bigger: y or k?
y
Let q = 9 - 8.88. Let k = -0.06 - q. Which is smaller: k or 2/3?
k
Let r be ((-1)/(-2)*2)/1. Let g be (-1 - 0) + (-12)/(-4). Does g = r?
False
Let d be 45*(-4 + 2 + -1). Let n be (-4)/10 + d/(-25). Suppose -2 = -2*x - 2*o - 0, -4*o = -n*x - 22. Is x greater than or equal to -2?
True
Suppose 2*a + 14 = 5*h, -2*a - 4 = -0*a. Suppose -3*x - h*s = -20, 0 = -2*x - 5*s - 0*s - 5. Let u be -2 + 6*x/33. Is 1 greater than u?
True
Let r(q) = 197*q**2 - q. Let a be r(6). Let f be (-2)/(-4)*a/21. Let x = 169 - f. Which is smaller: x or -1?
-1
Suppose 4*z = 0, -4*y = 3*z + 2*z + 80. Let w be (-8)/y + 4/(-10). Let m be (-12)/(-153)*6/(-4). Is w smaller than m?
False
Let l be (27/(-8))/(54/36). Let g(j) = -j**2 + 2*j - 2. Let z be g(2). Are l and z equal?
False
Let n = -3963/11 + 360. Is 0 less than or equal to n?
False
Let j = -7.03 - -7. Let c = -0.17 + j. Let s = -0.8 + c. Which is smaller: s or 0?
s
Let r be 3/(-9) - 1/(-3). Suppose 0 - 4 = -2*l. Is l not equal to r?
True
Let p be ((-251533)/(-21))/(6/(-18)). Let b = 35744 + p. Let g = b + 189. Is g at most -2/5?
False
Suppose 2 = -2*m + 4. Let i = -2 + m. Let t be i + 2/(-6)*-3. Are 1/4 and t equal?
False
Let k = 2/67 - 77/335. Let o(f) = -5*f**2 + 2 - 1 + 3*f**2. Let l be o(-1). Do k and l have different values?
True
Let d be 20/(-9)*12/(-10). Let s(l) = l - 6. Let z be s(8). Which is smaller: z or d?
z
Let o = 5 + -2. Suppose d = -0*d + o. Let j be -2 + 2 + d + -3. Is j at least as big as -2/7?
True
Let l be 3*(-1)/(-3)*-2. Let j = 15 - 11. Suppose -j*d = -d. Is d at least as big as l?
True
Let k be 1 + (72/21)/(-4). Let l(s) = s**3 + s**2 - s. Let g be l(-1). Let y = g - 1. Is y bigger than k?
False
Suppose -a - l = l + 8, 0 = -3*a + 5*l + 31. Suppose a*f = -0 + 8. Let i = 4 - f. Which is smaller: 1 or i?
i
Let y = -62/19 + 2041/608. Is y at most 0?
False
Let y = -0.04 + 0.06. Let a = y + -0.32. Which is bigger: 2/3 or a?
2/3
Let o(x) = -x**3 + 7*x**2 - 8*x. Let h be o(6). Let y = 14 + h. Do 3 and y have different values?
True
Suppose 2*g - 4*g = -8. Let x(f) be the second derivative of f**4/12 + f. Let z be x(1). Which is smaller: g or z?
z
Let j = -4 + 5. Which is smaller: j or -1/5?
-1/5
Suppose -5*v - 3 = 2. Let d be 6/(-16)*29*4. Let g = 42 + d. Which is smaller: g or v?
g
Let j = -2 - -5. Let s = 22.7 + -23. Which is smaller: s or j?
s
Let w be 3/(31/(-14) + 2). Is -14 not eq