2 greater than b?
False
Let i = 2 - -2. Let d = i - 3. Suppose 2*a = 3*a + 1. Are d and a equal?
False
Suppose 2*m - 3*h = 1, h + 0 = -m + 8. Suppose -4 = -m*j + 1. Is -1/10 >= j?
False
Let v be 3 - (-568)/(-36) - (-4)/(-18). Which is smaller: v or -5?
v
Let x be 4/(-2) + (-6)/(-1). Let c be (-6)/x*(-8)/6. Let i = c - 1. Are i and 2/7 unequal?
True
Let w be 2 + (-3 - ((-6)/(-10))/(-3)). Let i be 16/(-42) - 4/14. Which is smaller: w or i?
w
Let q be (-29)/(-20) + (-2)/8. Suppose -s - 3*s = 0. Is q at most as big as s?
False
Let a(d) = -2*d - 2. Let v be a(-2). Suppose -w + 1 = -v*w. Does 2/9 = w?
False
Let t be ((-7)/14)/(2/(-24)). Is 2 less than t?
True
Suppose -5*d - 12 = -d. Let k = d + 7. Suppose 26 = 5*s - 2*r, -r - 17 = -5*s - 2*r. Are s and k nonequal?
False
Let r be (-88)/(-33) - 2/3. Which is bigger: r or 1.1?
r
Let q = -2/3 + 23/39. Suppose 0 = -i + 4 - 3. Is q < i?
True
Let j = -71 - -61. Which is greater: j or 0?
0
Suppose 0 = 3*w - 5*l - 30, l - 2*l = 3*w - 12. Suppose w = 2*i - i. Is i less than 4?
False
Suppose 5*m - 5*p - 20 = 0, p - 20 = 5*m + 6*p. Is -1/4 > m?
False
Suppose 0 = -v - 2, -4*v - 8 = w + 2*w. Suppose s + 0*s - 1 = w. Is s at most as big as 0?
False
Let h be (-20)/(-8)*(-42)/(-15). Is 7 equal to h?
True
Let c = -2/5 - 1/10. Let f = 3 - 2.99. Let z = -0.03 - f. Which is bigger: z or c?
z
Let d(h) = 2*h**2 + 3*h + 3. Let l be d(-2). Suppose l*v - 11 = 3*f + 6, -3*f = -2*v + 5. Which is bigger: 3 or v?
v
Let k be (5 - 5)/(6/(-2)). Is -1/6 >= k?
False
Suppose 2*p + r = 7 - 1, -3*r = -p + 10. Suppose p + 6 = -5*c. Which is bigger: 8 or c?
8
Let v = 3 - -2. Suppose 2*t = t + v. Are 2 and t nonequal?
True
Let t be (-8)/3 + 0 + 2. Let p = 6 - 8. Let l = -2.3 - p. Which is smaller: l or t?
t
Let b = 12037/21330 + 5/2133. Let c = b - 1/15. Which is bigger: c or 2?
2
Let u be -2*(-1)/(-2) - -51. Let b = u + -552/11. Suppose -3*x = 2*x - 2*p - 10, x = -2*p - 10. Is x < b?
False
Let g be (27/6 - 5)*-2. Let j be 64/(-126) + 2/9. Which is smaller: g or j?
j
Let w(z) = z**3 + z**2 + z - 1. Let j(o) = -3*o**3 + 6*o**2 - 15*o + 11. Let n(s) = j(s) + 4*w(s). Let x be n(-11). Which is bigger: -2/3 or x?
x
Suppose 16*l = 12*l + 4. Do l and -1/134 have the same value?
False
Let u(s) = s + 13. Let o = -10 + 4. Let k be u(o). Is 7 != k?
False
Let k be (4 + 0)*(-2 + 3)*-1. Which is smaller: k or -0.2?
k
Let l(w) be the second derivative of w**4/4 - w**2/2 + 5*w. Let s be l(1). Let b(k) = -k - 5. Let n be b(-6). Is s > n?
True
Suppose 0 = -v - 2, 4*l + 42 = -0*v - 3*v. Let j be (-69)/10 + l/15. Which is smaller: -8 or j?
-8
Let c be 124/285 - (-30)/(-75). Which is smaller: c or -1?
-1
Let k be 4 - 1 - (-12 - -17). Let t be k - 1/(-10)*26. Which is greater: 0 or t?
t
Let d(z) = 5*z + 10. Let j be d(4). Which is smaller: j or 28?
28
Let v = 0.4 + 6.6. Let g = 7.3 - v. Do -2 and g have different values?
True
Let p = 2.1 + 5.9. Let v = p - 9. Let i = -2 - v. Which is bigger: i or 1/2?
1/2
Let x be (-41)/13 + (-46)/(-299). Let c = -10 - -5. Let l = c - x. Is l less than or equal to -3?
False
Let y(x) = 4*x. Let q be y(1). Let h = -30 - -35.9. Let g = h - 6. Are g and q non-equal?
True
Let s be -1 - ((-3)/4)/1. Which is smaller: s or -1?
-1
Let r be 234/(-8) - (-48)/192. Are -28 and r unequal?
True
Let s = -14 - -6. Let w(h) = -h**2 - 19*h - 86. Let o be w(-6). Is s less than or equal to o?
True
Let z = -6.06 + 6. Let m = -3.06 - z. Let g = m + 4. Is g at most as big as 0?
False
Suppose -2*i + 63 + 47 = x, -4*i - 3*x = -222. Let y = -268/5 + i. Let j(k) = k**3 + 6*k**2. Let o be j(-6). Is y at least o?
True
Let i = 40 - 25. Suppose 0 = 2*m - 3*m + 15. Is m <= i?
True
Suppose -4 = 3*m + 5, y = -2*m - 5. Let x be -2 + 0 + 1930/1112. Let v = 2/139 + x. Is y at most as big as v?
False
Let p(s) = s**2 + 5*s - 1. Suppose -5*y + q - 23 = 2*q, 4 = 2*q. Let b be p(y). Let l be 6/(-16) - (-12)/32. Are l and b unequal?
True
Let t(n) = -15*n**2 - n. Let o be t(-2). Which is smaller: -57 or o?
o
Suppose -5*h - 67 = 18. Is h less than -17?
False
Let d be ((-1)/(-2))/((-49)/14). Let a(x) = -x - 2. Let s(h) = -h - 1. Let r(k) = -6*a(k) + 7*s(k). Let v be r(5). Which is greater: d or v?
v
Let v = -10 - -101/10. Is 1 bigger than v?
True
Suppose 0 = 2*k + k - 2*d - 59, -4 = d. Let y = -10 + k. Is 6 equal to y?
False
Suppose 15 = -6*l + 135. Do l and 18 have the same value?
False
Suppose 3*c - 37 = 5*d, -2*c + 3*d + 28 = -d. Suppose 3*g - 16 = -2*q, 4*q + 3*g - 17 = 9. Which is smaller: q or c?
c
Let p be (-43)/(-240) - (1 + 0). Let f = 1/48 + p. Which is smaller: f or -1?
-1
Suppose -3*d = 2*h - 13, 3*h - 8*d + 18 = -5*d. Let b = 221/3 + -75. Which is smaller: b or h?
b
Suppose -5*z + 29 = -21. Which is greater: 11 or z?
11
Let s = -37 + 22. Let r be s/25*5/(-1). Suppose 3*i + 3*d - 22 = 8, 4*i - r*d - 5 = 0. Which is bigger: 4 or i?
i
Suppose -3*z + 0*z = -3*t + 12, 2*t - 28 = -2*z. Suppose 5*a = 6 + t. Suppose -5*c + 5*n + 21 = a*n, 3*n = c + 1. Which is bigger: 4 or c?
c
Let l be (2/10)/((-4)/(-8)). Let v = 0 - -0.2. Let b = 0.2 - v. Which is greater: l or b?
l
Let v be ((-30)/(-20))/((-6)/40). Is -10 > v?
False
Let i = -24 - -24.2. Which is smaller: i or -0.01?
-0.01
Let x(y) = 2*y + 9. Let p be x(-5). Which is smaller: p or -2/19?
p
Let t = -1 + 1.3. Let h = 1.3 - t. Let j = -20 + 62/3. Is j > h?
False
Let c be (61/(-3))/(3/9). Let d = -93 - c. Let m = 131/4 + d. Which is greater: m or 1?
1
Suppose -2*y + 0*y + 6 = 0. Suppose -4*m - 17 = -y*b - 0*m, 9 = 5*b + 3*m. Does 2 = b?
False
Suppose -m + 2*m = -3*p, 5*m - 16 = p. Let i be (56/490)/(4/(-10)). Is p less than or equal to i?
True
Let f = 0.49 - 0.29. Let t = -1 + 0. Is t < f?
True
Let m(y) = y**3 - 2*y. Let a be m(2). Suppose 25 = -x - a*x. Is -4 bigger than x?
True
Let a be ((-16)/138)/((-6)/(-18)). Let w = a - 22/69. Is -2 equal to w?
False
Let q = 2 + -3. Let o = q + 1.1. Suppose v - 2*v = -1. Which is smaller: o or v?
o
Let b be (-1 - -7)*(-1)/(-3). Suppose b*p = -0*p + 8. Suppose k = -p*z - 12 + 29, -3*k - 3*z + 15 = 0. Is 1 greater than or equal to k?
True
Suppose -5*g - 1 = -a - 3, 4*g - a - 2 = 0. Suppose 0 = s - 0 + 1. Let i be 4/(-6)*s/(-2). Is g smaller than i?
False
Let q be ((-95)/15 - -6)*0. Let c = 31 + -94/3. Which is smaller: c or q?
c
Suppose 3*m = 2*a - 6, 4*a + 0*m = 2*m + 4. Let j = 10 + -9. Suppose -9 - j = 5*f. Which is smaller: a or f?
f
Let z be ((2/8)/(-1))/(2/(-8)). Which is bigger: -1/27 or z?
z
Let p be (-24)/21*35/(-10). Which is bigger: -1 or p?
p
Suppose -3*d + 3*f + 27 = -6, 0 = 3*d + 2*f - 33. Suppose 0 = 3*w + 2*u + 5, 3*w - d = -u + 3*u. Is 0 != w?
True
Let r(h) = -6*h**3 + 16*h**2 + 6*h + 15. Let v(s) = -s**3 + s**2 - s. Let w(c) = -r(c) + 5*v(c). Let o be w(12). Which is smaller: o or -1?
o
Let c = -10 + 6. Let d be c/4*(-10)/4. Are d and 2 equal?
False
Let v = -0.138 + 0.238. Let x = -8 - -3. Is x at least as big as v?
False
Let u = 16 - 16.3. Is u > 2?
False
Suppose -21*k = -13*k. Is 33 greater than or equal to k?
True
Let s be 1 + (-3)/6*-2. Let x = -4 + 5. Which is bigger: x or s?
s
Let q = 72/13 - 70/13. Let g = 66/23 - 2107/598. Let p = q + g. Is 0 bigger than p?
True
Let o = -0.5 + 0.45. Which is smaller: o or -1/8?
-1/8
Suppose -2*w - 4*z - 64 = 0, -3*z + z - 6 = 0. Does w = -29?
False
Suppose 0 = p + 6. Which is smaller: -7 or p?
-7
Suppose 4*f + 23 = 5*g - 1, 0 = -3*g + 5*f + 17. Which is bigger: 3 or g?
g
Suppose -3*b - 2*b = 25. Let l(u) = -u**2 - 3*u + 6. Let s be l(-5). Is b less than s?
True
Let r be (-2)/(-6) - 4/12. Suppose 11*z - 13*z = 2. Is z >= r?
False
Let m = 7 - 7. Let y = 0 + 0. Let f = y - m. Which is greater: 1 or f?
1
Let h be 130/465 + 4/10. Let r = h - 2/155. Which is smaller: r or 2?
r
Let a = -0.1 + 0.2. Let l = -0.11 - 0.09. Is a greater than or equal to l?
True
Let b be 46/14 - (-24)/(-84). Which is bigger: 0.05 or b?
b
Suppose -19 = g - 2*q, -43 = 3*g - q - 11. Let h be (-90)/(-48)*4/g. Let m be 0*(5/2 + -2). Which is greater: h or m?
m
Let x = -39 + 57. Which is greater: 56/3 or x?
56/3
Suppose 5*p - 5*g = 20, 5*p + 5*g + 3 = -17. Suppose 5*z + p*z + 15 = 0. Is -2 less than z?
False
Let a be (-413)/(-560) - 8/10. Are a and -1 nonequal?
True
Let m = -5 - -5.1. Is 0.3 < m?
False
Let y = -6 + 9. Suppose -1 = -y*r - 4. Are 0 and r no