bigger: -57 or k?
k
Let k = 164 + -161. Do k and -10 have the same value?
False
Let k(y) = -y**3 - 2*y**2 - 2*y - 1. Suppose -2 = -2*d + 4*d + 2*r, -r + 5 = -5*d. Let p be k(d). Let c = 142/63 - 15/7. Is c < p?
False
Let s be (-1)/(1/((-2)/(-13))). Let d be ((-12)/(-8))/((-1)/(-2) + 1). Does s = d?
False
Let v = -21 + 33. Which is smaller: -0.1 or v?
-0.1
Let g = -78 - -108. Is g bigger than 92/3?
False
Let h be 4/(-10) - 1680/50. Is h <= -34?
True
Let s be ((-6)/4)/(1/(-2)). Suppose s*b - 2*m + 17 = 0, -2*b + 3*m + 2*m = 26. Is -0.1 at least as big as b?
True
Suppose -11*y + 8*y + 24 = 0. Suppose -y = d + 2*x, 3*d + 0*x - 6 = 4*x. Is 3 smaller than d?
False
Let k be (-2 - 2/9)/(-2). Which is smaller: k or 0.1?
0.1
Suppose -2 = -2*m - 0. Which is smaller: 0 or m?
0
Let w = -0.1 + -4.9. Let c = 38 + -192/5. Which is greater: c or w?
c
Let j(t) = t**3 - 13*t**2 + 10*t + 26. Let c be j(12). Is -8 bigger than c?
False
Let a be (-19)/(57/(-2))*6/(-4). Suppose -1 + 3 = -2*s. Do a and s have the same value?
True
Let f = 74 + -24. Let j be f/48 - (-10)/(-15). Which is smaller: -1 or j?
-1
Let k = -0.49 + -0.51. Which is smaller: 39 or k?
k
Let r = -4.46 - 0.04. Let z = -5 - r. Let q = z - 0.5. Which is bigger: q or 1?
1
Suppose -4*n - 2 - 18 = 0. Let g = 35 - 39. Is g < n?
False
Suppose -14 = 7*j - 8*j. Are j and 15 unequal?
True
Let o = -59 - -55. Which is smaller: o or 3?
o
Let c = -4 - -2. Let t = -20.1 + 20. Let x = t - -0.2. Is x greater than c?
True
Suppose -16 = 4*m - 4*s, 5*s + 44 = 2*m - 5*m. Suppose 4*t - t = -27. Which is smaller: m or t?
t
Let d = -10 - -9. Let s = d - 0. Are s and -1/2 nonequal?
True
Let s = 1.5 + 0.3. Let q = 0.2 + 0. Let a = q + s. Are a and -2 unequal?
True
Let j(f) = -5*f**2 + 4*f - 1. Let i be j(1). Let y be 10/7 - (2 - 0). Is i != y?
True
Let q(y) be the first derivative of -y**4/24 - 2*y**3/3 - y**2/2 - 2. Let m(k) be the second derivative of q(k). Let n be m(-5). Is n at least -1/11?
True
Let z = -5 + -10. Let m = z - -15. Let d = 1 + -3. Is d > m?
False
Let s = 98/3 - 33. Suppose 2*q = -2*b - 8, 4*b - q - 4 = -0. Which is smaller: b or s?
s
Let i(l) = 2*l - 10. Let t be i(7). Suppose -t = -w + 1. Is w less than 6?
True
Let h = 18/7 + -62/35. Let g be 0/3 + (-1)/(-1). Which is smaller: h or g?
h
Let u = 0.1 - 0.1. Suppose 4*a = 3*a + 14. Let t be (4 + -11)*(-4)/a. Which is greater: t or u?
t
Let j be 2 + -2 + 4/(-18). Which is smaller: 0 or j?
j
Let p = -1413/7 + 204. Which is smaller: 1 or p?
1
Suppose -3*z + 12 = 4*s - 24, -4*s + 5*z = -4. Let t be (3/s)/((-3)/6). Let w be 0 + (-3)/7 - 0. Which is greater: t or w?
w
Let x = 1.1 - 0.1. Let o = 9 + -6. Let r = o + x. Which is smaller: r or -0.1?
-0.1
Let j = -14 + 16. Suppose 0 = -4*k + 4*s - 20, -k - 4*k - s = 19. Which is smaller: k or j?
k
Suppose 2*q + 1 - 5 = 0. Suppose q*b + 0*b - 6 = 0, 5*z - 5*b = -35. Let k = 9 + z. Is k <= 5?
True
Let f be -4*(-1 + 7/4). Let c = f - -4. Let b be -1 + (2 - c) + 0. Is b less than 2/3?
True
Let l = 108 + -94. Which is bigger: 13 or l?
l
Let j = 0.2 + -3.2. Let q = 2.9 + j. Let c = -145/3 - -49. Which is smaller: q or c?
q
Let l(r) = -r**3 + 3*r**2 - r + 1. Let d be l(2). Suppose 0 = 5*z - 3*s, -d*z - 5*s = -s. Suppose z*v - v = 0. Which is smaller: v or -3/8?
-3/8
Let q = 0.2 + 0.8. Let d(k) = k**2 + k - 3. Let s be d(-3). Let p be (8/(-36) - 0)*s. Is q at most p?
False
Let h(i) = i**2 + 11*i + 1. Let l be h(-11). Let z(x) be the first derivative of x**3/3 + 2*x + 2. Let j be z(0). Is j <= l?
False
Let f = -9.38 + 9.28. Let n = 38.79 - 39. Is n < f?
True
Let s = 25 + -8. Does s = 18?
False
Suppose -8 = -2*o - 2. Suppose -2*m = -2*k - 4*m + 6, 0 = -3*k - m + o. Let r = 1 + k. Which is smaller: 2 or r?
r
Let l = 3 + -2. Let j = 16 - 13. Is j at most l?
False
Let x be (81/(-15) + 5)/((-11)/(-5)). Is -4/21 less than x?
True
Let a be (4/(-6))/((-1)/6). Let u be (-35)/(-49) - 3/(-1). Let z = u - a. Is 0 bigger than z?
True
Let t(c) = 1 - 21*c - 5*c - 2*c. Let i be t(1). Let j be -2 + -1 + i/(-6). Which is smaller: j or 1?
1
Suppose q - 2*q = -9. Which is greater: 12 or q?
12
Let x = 195 - 194.9. Which is smaller: x or -8?
-8
Suppose -r - 5 = -2*l, 2*r = 2*l - 2*r - 2. Suppose -y + 2*o - 4 = -5*y, -8 = -5*y - o. Is y greater than or equal to l?
False
Let j = -0.7 + 0.9. Is 0.04 > j?
False
Let z = -729/7 - -104. Is 1 at least as big as z?
True
Let s be ((-72)/(-105))/((-10)/(-1775)). Let x = -122 + s. Which is smaller: x or 3/5?
x
Suppose -4*x + 0*x - 28 = 0. Let g = x - -12. Suppose 0 = 2*p - g*h - 10, p = -2*p - 5*h - 10. Is p at most 0?
True
Let k = -0.7 - -0.5. Let l = k + -1.8. Let w = 58 - 288/5. Which is smaller: l or w?
l
Let n = 14 + -13. Is n greater than or equal to -2/15?
True
Suppose 2 = -c + 1, -5*l - 4 = 4*c. Suppose -4*z + 12 = -l*z. Let k(n) = n + 9. Let q be k(-6). Is z >= q?
True
Suppose 2*m + 3*t + 2 = -t, -3 = -5*m - 2*t. Suppose -11 = 2*w - g, 2*g - 6 = -0. Let l be (1/6)/(2/w). Which is bigger: m or l?
m
Let p = -539/10 - -109/2. Which is bigger: -1.2 or p?
p
Let u(v) = 3*v**2 - 2*v - 1. Let q be u(-2). Suppose -21 = -5*d - 0*d - 2*w, -5*w + q = 0. Suppose -3*j = -0*j - 3. Which is bigger: d or j?
d
Let k(h) = -h**2 + 4*h + 63. Let c be k(10). Suppose -4*l + 22 = -3*s + 7, 16 = 5*l - s. Suppose 3*v = 2*v + l, 0 = 2*d - 5*v + 3. Which is smaller: c or d?
c
Suppose 7*u - 4*u + 42 = 0. Let c = 14 + u. Let q = -460/9 + 51. Are c and q equal?
False
Let u be (-4)/(-18) + (-129)/(-27). Suppose 3*r + s = 3*s + 21, u*r - 16 = -3*s. Let c be 1/(-3) + r/(-3). Which is greater: c or -3/4?
-3/4
Let l = 26 + -14. Let s be (-10)/(-15) - 23/l. Let p(u) = 2*u. Let o be p(-1). Which is smaller: s or o?
o
Let k be (8 + -8)*(-1 + 0). Is 1/3 less than k?
False
Let g be 932/4*(-2)/(-14). Let i = g - 33. Which is smaller: -1 or i?
-1
Let b = 8 + -6. Let w be b*(-83)/10 + -2. Let l = 18 + w. Which is bigger: 0.1 or l?
0.1
Let t = -7.08 - -7. Let z = t + -1.92. Is 1 less than or equal to z?
False
Suppose -15 = -3*j, 3*h + 2*j - j = 14. Is 2/25 at least h?
False
Let i be (4/(-55))/(4/(-10)). Suppose -3*c - 19 = -2*c - 5*t, 5*c + 4*t = 21. Are c and i equal?
False
Let u(q) = -q**3 - 4*q**2 + 8. Let y be u(-3). Which is bigger: y or -12?
y
Let m = -0.4 - -0.35. Let a = -0.05 - m. Is a less than or equal to 2/7?
True
Let m(w) = -w**2 + w + 12. Let u be m(5). Is -7 < u?
False
Let l = 11/34 + 3/17. Let s(h) = -h**2 + 3*h. Let k be s(8). Let x be (-6)/k - (-60)/100. Is x at least l?
True
Let r be (-2)/5 - -2*(-129)/(-420). Is 1 bigger than r?
True
Suppose 0 = 3*r - z - 2, -r + 5*z = 2*r + 14. Suppose r*b = 1 + 5. Suppose 0 = n - b*i + 19, -4*i = 3*n - 1 - 7. Which is smaller: -3 or n?
n
Let w be 1 + 5 + -13 + -1. Is -6 greater than w?
True
Let h be 38/12 - 2 - 1. Suppose -4*w = -0*w. Let k be w/((-6)/((-6)/(-2))). Which is bigger: h or k?
h
Let p = 29 - 28. Is p at least 3/5?
True
Suppose 32 = -0*v - 2*v. Are -15 and v equal?
False
Let q = -18.56 + 1.56. Do 2/11 and q have the same value?
False
Suppose 0*f = -3*f + 4*i - 8, 5*f - i - 15 = 0. Let q = 6 - f. Let n(v) = v**2 - 3*v + 3. Let s be n(q). Which is smaller: s or 0.1?
0.1
Let h = -26569/1914 - -152/11. Let g be ((-6)/(-10))/((-58)/(-10)). Let c = h - g. Are -1 and c non-equal?
True
Let u = -173/119 + 11/7. Which is bigger: 0 or u?
u
Suppose -28*w - 60 = -18*w. Which is bigger: w or 1/2?
1/2
Suppose -4*i + 4*r + 24 = 0, 5*r + 26 = 5*i + 4*r. Which is smaller: 6 or i?
i
Let c = 7 - 14. Which is bigger: -8 or c?
c
Let o = 1 - -1. Let s = -0.08 - 0.62. Let a = s - -0.6. Is a equal to o?
False
Suppose 0 = -5*a - 4*d + 1 - 2, 0 = 4*a - 2*d + 6. Suppose -3*s + s + 2 = 0. Let f be (s - (1 + a)) + -1. Does -1/3 = f?
False
Let a(f) = -f - 1. Let n be a(3). Let i be (-3)/n*16/(-27). Is -1 greater than i?
False
Let r = -73/308 - 1/77. Which is smaller: 0 or r?
r
Let c be -1*(0 + 5)*-1. Let q be (0 - 5)*(c - 6). Suppose q*i + k - 3 + 0 = 0, -5*i - 5*k - 5 = 0. Which is greater: i or 0?
i
Let l be 3/2*(-8)/(-12). Suppose -f + 1 = -2*t - l, 1 = -f - t. Let h be (-7)/(-3) + f/(-1). Which is bigger: 1 or h?
h
Let l = 5 + 1. Let y = 3 + -3. Let o = y - 1. Is l at most as big as o?
False
Let o = -1.4 + 1.5. Suppose -2*i - 10 = -4. Which is smaller: i or o?
i
Let l(c) = -c**3 - 10*c**2 + 3*c + 6. L