1/6). Is k <= m?
True
Let b be (-132)/8 + (2 - -2). Is b bigger than -13?
True
Let b be (4/(-10))/(3/30). Let y be b/(-6)*81/6. Let s be (-1)/3 + 21/y. Which is smaller: s or 1?
1
Suppose -16*j + 28 = -18*j. Which is smaller: j or -15?
-15
Let b = -0.61 + 0.11. Let r = b - -0.6. Which is smaller: r or 0.2?
r
Suppose 5*p = 2*y - 0 + 18, -4*y - p + 8 = 0. Let t(r) = -r**3 - 7*r**2 + r + 4. Let c be t(-7). Let l be ((-2 + 2)/2)/c. Which is smaller: y or l?
l
Let b be (-3 - 10/(-3))*-3. Let a = 2992/13 + -230. Which is smaller: b or a?
b
Let z = 26 + -180/7. Let r = 4.99 - 5. Is z smaller than r?
False
Let y = 11.95 + -12. Is 0 >= y?
True
Suppose 0 = 3*d - 2*d - 1. Let j be 62/(-72) - (-42)/56. Is j > d?
False
Suppose 5*v = 4*w - 3, v + 3*w - 7 + 0 = 0. Let m = 1145/7 - 163. Do m and v have the same value?
False
Let m be (0 + 1)*(2 + 4). Let p = m - 7. Is p not equal to -3?
True
Suppose -4 + 1 = 3*h. Let x = -13 - -8. Is h < x?
False
Let o = 0.17 - 1.97. Let f = -2 - o. Does -5 = f?
False
Let r = -1.31 - -0.31. Which is bigger: r or -2/5?
-2/5
Let s(b) = -b + 8. Let p be s(4). Suppose 0 = 3*j - 3*n - 15, 0 = -p*j + 2*j + n + 6. Which is smaller: 2 or j?
j
Let r = 10 + -8. Are r and 4 non-equal?
True
Suppose -34*s + 60 = -40*s. Which is greater: s or -13?
s
Let g = 5 - 8. Let l be (g/2)/(2/(-20)). Suppose 5*h - l + 5 = 0. Is 2 smaller than h?
False
Suppose -v - 3 - 3 = 0. Which is smaller: -4 or v?
v
Let t be 1 - 0/2 - 13/6. Which is smaller: t or 0?
t
Let s be ((-14)/(-9))/(-7) + 0 - 0. Which is bigger: -4/9 or s?
s
Let o = 9 - 12. Let b = 17.9 + -17. Let m = b - 1. Do o and m have different values?
True
Let m be (-2)/8 + (-30)/8. Let j be (4 - (-2 - m))/(-2). Suppose l - 3*l = -2. Which is bigger: l or j?
l
Let r(n) = n + 4. Let s(o) = -3*o**2 + o + 2. Let g be s(2). Let m(q) = q**2 + 8*q - 5. Let p be m(g). Let a be r(p). Is -2 > a?
False
Let c(u) = -u**3 - 7*u**2 + 11*u - 6. Let p be c(-8). Are p and -30 equal?
True
Let n(q) be the second derivative of -q**4/12 - q**3/6 - 3*q**2/2 - 6*q. Let d be n(0). Which is smaller: d or 4?
d
Let i(b) = -b - 4. Let f be i(-5). Let j be (-2)/f + 13/7. Which is bigger: j or 0.1?
0.1
Let k = -0.6 - -0.5. Let d = 0.7 - -0.3. Which is smaller: k or d?
k
Let l(y) = y**3 - 3*y**2 - 2*y - 5. Let h be l(4). Let i be 3 + (h/(-1))/3. Suppose -5*s + 3*f = 9, 3*s = -s + i*f - 6. Is 2 greater than or equal to s?
True
Let p be 6/18 - 7/12. Let y = -0.04 - -3.04. Let b = y + -4. Which is smaller: b or p?
b
Let k = 11 - 16. Let w = -5.1 - k. Is w not equal to -3?
True
Let c be 6/8*-4 + (-11)/(-4). Which is smaller: c or 3/13?
c
Let i = 2.07 - 0.07. Let b = i - 3. Let h be 4 - 2 - (-24)/(-14). Is b at least h?
False
Let l = 15 + -15.2. Which is smaller: l or 12?
l
Let g = -15 - 4. Is g less than or equal to -2/3?
True
Let x = -2342268373/2475 + 946371. Let i = x - 2/99. Which is smaller: -1 or i?
-1
Let v be 1/((-1)/(-9)*3). Let j be (-8)/v - 1/3. Let u be (-2)/j*(-15)/10. Which is greater: 4 or u?
4
Suppose 4*t = 2*b + 8, -3*t + 8*t + 3 = -4*b. Does 1/8 = b?
False
Suppose -2*f + 18 = -3*i + i, -3*i + 9 = 3*f. Suppose 30*d = 27*d + 6. Which is greater: d or f?
f
Suppose 17 = -2*c + 25. Which is bigger: c or -3?
c
Let l = 72 + -76. Is 10 at most as big as l?
False
Let o = -4 - -1. Let g(w) = w + 4. Let q be g(o). Let r be (-1 + q + -1)*-1. Is r at most -1/6?
False
Let p be (-2)/6 + 2956/(-60). Let d = p + 569/15. Let b = 248/21 + d. Which is bigger: b or 1?
1
Let d(l) = l**2 + 7*l + 8. Let c = -11 - -5. Let w be d(c). Suppose -5*y - 3*v = -v + 3, -4*v = w*y + 14. Is 2 greater than y?
True
Let f be (0/(-2) - -1)*-1. Let d be (5/(-10))/((-1)/(-4)). Which is smaller: f or d?
d
Suppose 3*z + 6 = z. Suppose 3*r - 9 - 4 = -2*i, -2*r = -4*i + 18. Let m = i + -8. Are m and z unequal?
False
Let n = -0.1 + 0.14. Let a = -5.36 - -7.4. Let p = a - n. Is -0.2 at least as big as p?
False
Let w = -0.15 + 0.05. Are -1 and w equal?
False
Let v be 578/187 - (-1 + 4). Do 1 and v have different values?
True
Let h = -0.34 - 0.06. Let a = 1 + h. Let p = -0.4 - a. Which is bigger: p or 1?
1
Let v = 9 - 7. Let d = 2.3 - v. Which is bigger: d or -1?
d
Let o = 15.76 + -16. Let a = -5.06 + 5. Let s = o + a. Which is greater: -1/3 or s?
s
Let f = 8 - 8.5. Which is smaller: f or -0.1?
f
Let q = -0.46 - 0.54. Which is smaller: q or 7?
q
Let b = -0.06 + 2.06. Let y = -13/12 + 7/4. Is y at most as big as b?
True
Let c = 6 + -5. Let b = c - -2. Is 2 less than b?
True
Let m be ((-2)/(-34))/((-2)/4). Are m and -1 nonequal?
True
Let q be 1/4 + (-1)/4. Suppose -120 = 2*w - w. Let r = w - -602/5. Which is greater: r or q?
r
Let p = 0.043 + -2.043. Let y be 1*(-4)/(-14) - 0. Is p at least y?
False
Let a = 39 + -39. Suppose -4*k = 2*u + 20, 2*k - 15 = -2*u + 5*k. Are u and a nonequal?
False
Let x = 5.98 + -6. Let g = x + 3.02. Let t = g - 5. Which is smaller: t or 1?
t
Let b = 16 + -4. Suppose 3*v + 7 = 2*m - 5, m - 3*v - b = 0. Is m bigger than 1?
False
Suppose -3*u = 1 - 31. Suppose -3*x = 5*q + u, 3*q = -4*x - q. Is 3 bigger than x?
False
Let h = 45 + -136/3. Let m be 80/(-12)*3/(-1). Let k be ((-6)/m)/((-18)/(-15)). Which is greater: h or k?
k
Let a = -8 - -15. Let u = -2 + a. Is u < 2/3?
False
Suppose 2*r - d = -2*d + 2, 5 = -5*r - 5*d. Let b be ((-15)/(-10))/(r/(-4)). Let o be (b/(-27))/(2/(-6)). Is o less than or equal to -1?
False
Let b = 26846707/15076 - 30/3769. Let u = 1766 - b. Let g = 15 + u. Is g < -1/4?
False
Let d = -0.17 - -0.12. Let g = d - 2.95. Is g less than 2?
True
Suppose -300 = -4*x + 72. Is x less than or equal to 94?
True
Let r(n) = -3*n + 2 + 2*n + 3. Suppose 5*m + 5*i = 60, 1 = i - 2. Let l be r(m). Which is greater: -2 or l?
-2
Let o be 1 + ((-2)/(-7) - 1). Suppose 0 = -2*y + 7*y - 10. Suppose -4 = 2*m - 3*i, -y = -m - 3*m + i. Is o >= m?
False
Suppose -2*v + 4*w - 48 = 0, 0 = 5*v - 8*v - w - 72. Is v less than -23?
True
Suppose 4*r - 2*d + 2 = -r, 3*r - d = -1. Suppose 0 + 2 = 4*q - 2*n, 2*q = 2*n. Suppose -w - x - q = -0*w, -5*x = 4*w + 6. Is r < w?
True
Let q be 2 + (0 - 1) + 1. Let k = 2 - q. Suppose k*l - l + 3 = 0. Is -1/2 less than or equal to l?
True
Let n = -2.04 - -2.64. Do -5 and n have the same value?
False
Let i = -1423/6 - -238. Is 2 > i?
True
Let k = 8 - 18. Let r be (-1)/4 + k/56. Is 1 at most r?
False
Let w = -1 + 3. Let h be 2*(-1)/(3 + w). Is 0.3 smaller than h?
False
Let r = -392 + 9019/23. Which is smaller: r or -1?
-1
Let x be ((-6)/(-9))/((-62)/6). Let j be 4 - (-3 + 4 - -2). Which is bigger: x or j?
j
Let x = -4 - -4. Let w be 11/(-35) + (-4)/14. Which is bigger: w or x?
x
Let w = -0.2 - -1.1. Let d be (4/22)/(10/22). Which is smaller: w or d?
d
Suppose -4*u + 40 = -3*c - 2*c, -u + 5*c + 25 = 0. Suppose -4*b + 18 = 5*t, -u*t + 11 = -0*b + 3*b. Which is smaller: b or 6?
6
Suppose -w + 0*w + 8 = 5*f, 2*f + 4*w = -4. Let c be 1/1 - (-4)/f. Suppose 0 = 3*s - 2 - 10. Is c > s?
False
Let z = 1.1 - 0.9. Let f = -0.33 + -0.07. Is z at most f?
False
Let h = 43/23 + -1023/92. Is h < -10?
False
Let t = -35 - -34.8. Which is greater: t or 2/5?
2/5
Suppose -3 = -3*a - 0*a. Let y be 105/(-300) + 3/5. Which is smaller: a or y?
y
Suppose 0 = -2*r - 3*g + 8 - 2, g = 5*r - 49. Let o be (-2)/(-3) - (-9 + r). Which is smaller: -1 or o?
-1
Let r = -0.2 + 0.1. Let z = 227/24 - 93/8. Let x = z - -17/6. Is r less than x?
True
Suppose -2*k + 169 = -3*t - 0*t, -10 = -2*k. Let n = -317/6 - t. Which is smaller: n or 1?
n
Let q = 76.81 - 77. Is q at least -2/3?
True
Let r be (-3)/5*(-9 + -1). Suppose r + 4 = p. Is p equal to 10?
True
Let x = 0.1 + -0.07. Let r = x + -2.03. Which is smaller: 1/3 or r?
r
Let i = 0.1 + -0.3. Let l = -0.03 - 0.27. Let y = i - l. Which is smaller: 0 or y?
0
Let y(w) = -2*w**2 - w + 2. Let s be y(-4). Let v = 35 + s. Is 9 less than v?
False
Suppose 7*u + 196 = 3*u. Is u <= -50?
False
Let w = -0.78 - -0.08. Let t be 5/105 - 4/(-14). Which is bigger: w or t?
t
Let w(x) = x**2 + x + 1. Let g be w(-2). Suppose 4*u = g*u. Which is smaller: 2/9 or u?
u
Let q = -12288 + 835605/68. Let x = 1/17 - q. Is x > -2/5?
True
Let n(v) = -v**2 + 6*v - 4. Let g be n(4). Let y be -3*2/(-21)*7. Suppose 0 = 2*x + y*x - 16. Does g = x?
True
Let y(g) = g**2 - 8*g + 2. Let o be y(8). Suppose 0*b - o*b = -8. Suppose 3*c = -2*h - 2 + b