ppose 2*m - k*m - 5*v = 6, -4*v - 7 = 3*m. Which is bigger: w or m?
w
Let r = -34 - -35. Let g = 0 - 1. Let n be (-2)/(2 - -2 - g). Which is greater: n or r?
r
Suppose -2 = -3*g - 11. Suppose -6 = -2*m - 2. Suppose -4*n = 2*d + 14, 4*n + m = 5*d - 5. Is g < n?
False
Let d = 5.7 - 6. Let u = -0.02 + -0.38. Let b = d - u. Is -2/5 < b?
True
Let h = 7 - 8. Let b = 0.9 - -0.1. Let w = b + h. Which is greater: w or -1?
w
Suppose -5*i = -0*i - 25. Suppose w = -5*m - 26, 3*m + 15 = i*w - m. Which is smaller: 0 or w?
w
Let r = 24 + -25. Which is smaller: r or -3/62?
r
Let k(m) = -m**3 + 6*m**2 + m - 7. Let c be 6 + 4/2 + -2. Let s be k(c). Which is greater: s or 1/4?
1/4
Suppose 8 = -y + 5*y. Suppose 4*g + 22 = -5*j + 5, 7 = -y*g - j. Let d(u) = -u**2 - 3*u + 2. Let l be d(g). Which is smaller: l or 4/5?
4/5
Let w = 25 - 27. Which is bigger: -1/12 or w?
-1/12
Suppose 2*o + 4*n + 0*n - 50 = 0, 5*n = 3*o - 119. Is 33 less than or equal to o?
True
Let s = 0 - 1. Let m = -87 - -88. Is m smaller than s?
False
Let a(o) be the third derivative of -o**5/60 - o**4/8 + o**3/3 - 2*o**2. Let b be a(-4). Let m(q) = -2*q - 2. Let d be m(b). Do 1/2 and d have different values?
True
Suppose l - 3*o = -3, -5*l - 5*o - 6 = 9. Let t = 1073/3 + -361. Which is smaller: l or t?
t
Let a be (-1)/9 + (-14)/(-42). Is -4 bigger than a?
False
Suppose 4*o = -0*o + 24. Let s be (1808/(-60))/((-4)/o). Let y = s + -45. Which is smaller: y or 0?
0
Let f be -1 - (-2 + 10)/4. Does 1 = f?
False
Let c(l) = l**3 + 4*l**2 - 4*l + 6. Let p be c(-5). Let r be (9/(-72))/(p/(-2)). Is 0 at most r?
True
Let y be 2/(-6) - 2/(-6). Let b be (3 - (-6 + 4)) + -1. Suppose b*u + 7 + 9 = y. Do u and -3 have the same value?
False
Let l = 119 + -116. Which is bigger: l or 7/4?
l
Let b be (6/4)/3*4. Is 1/2 bigger than b?
False
Let h be (18/(-2))/((-6)/6). Let d = -12 + h. Are -7/3 and d non-equal?
True
Let m(g) = -1 + 3*g - 2 - 1. Let y be m(4). Suppose -2*t = -4*w + y, 0*t + 5*t = -3*w + 6. Is t < 0?
False
Let d be 57*(2/(-12))/(1/(-2)). Which is smaller: d or 17?
17
Let d = -2/593 + 1787/2372. Are 2 and d nonequal?
True
Let r = -2 - -5. Which is smaller: 1 or r?
1
Let g be (0 - 4/10)*-20. Suppose -1 = 3*m - 2*f - g, 0 = -m + 5*f - 15. Suppose w - m*w + 12 = 0. Are 4 and w unequal?
True
Suppose 0 = -2*f + f - 3. Let u = 5 - 1. Suppose 2*g - u*g = 8. Which is bigger: f or g?
f
Let c = 4 - 8. Let m(u) = -u**2 - 2*u + 4. Let v be m(c). Suppose -7 - 3 = 5*g. Are v and g unequal?
True
Let b = 7 - 0. Let o be 4/(-26) + (-364)/(-169). Which is smaller: o or b?
o
Let r(w) = -w**3 - w - 4. Let f be r(0). Let m(a) = -a**2 + 6*a - 3. Let q be m(5). Suppose -q*p - 8 - 2 = 0. Which is smaller: f or p?
p
Suppose -4*i = -3*k + 90, k - 3*i = -0*i + 30. Let f be (5 + -2)*82/(-8). Let y = k + f. Is 0 > y?
True
Suppose -t + 2*t = 5*r - 4, -3*t = -3*r. Which is smaller: r or -3?
-3
Let l(o) = -29*o - 2. Let p be l(-2). Let q be ((-2)/6)/(p/144). Is -2 less than q?
True
Let f be ((-329)/(-63) - 5) + 109/(-18). Which is smaller: -5 or f?
f
Let p be 802/((-7)/(28/8)). Let k = -4414/11 - p. Which is smaller: 0 or k?
k
Let j = -3 - -8. Suppose 0 = -4*v + a - 9, -4*a + j = -v - 16. Let z be 1 + (1 - (0 + v)). Which is smaller: 5 or z?
z
Let a = 29 + -30. Are 1/3 and a non-equal?
True
Let f(u) = 13*u**2 + 5*u + 5. Let d(r) = -6*r**2 - 2*r - 2. Let q(x) = -9*d(x) - 4*f(x). Let l be q(-1). Which is greater: 7 or l?
7
Let v be 6 + (-1 + 1 - 1). Is 0.6 smaller than v?
True
Let k be ((-4)/(-2))/(-2) - -1. Suppose n = -2*q - 3, -5 = 2*q - k*n - n. Suppose 2*o = -3 - 1. Is q > o?
False
Suppose -1 = -5*u - 21, g + 5*u = 71. Which is smaller: 92 or g?
g
Suppose 5*w - 2*w + 3 = 0. Is w at least as big as -1/27?
False
Let l = 4 + -3.8. Let h = l + -7.2. Let k = 8 + h. Which is greater: k or -1?
k
Let h(p) = -p**3 - 2*p**2 + 1. Suppose r - 5*u = -u - 19, -u + 2 = -3*r. Let m be h(r). Suppose -3*b - 4*x = -7*b, 2*b - 5*x = 3. Is m at most b?
True
Suppose 60 = -a - 4*a. Let d be (4/(-8))/(3/84). Which is greater: a or d?
a
Let c be (-3)/((-2)/((-12)/(-9))). Suppose -4*l + 4 = -c*l. Suppose -l + 12 = -5*i. Is 0.2 greater than i?
True
Let b be ((-13)/(-546))/(2/111). Let j = b + -11/56. Is j != 1?
True
Let t = -12758/11151 - -2/1593. Suppose -u - 2 = u. Is t > u?
False
Suppose -7 = -2*k + d, -2 - 1 = -d. Which is smaller: k or 2/3?
2/3
Suppose -k - k - 42 = -2*a, -4*k = 8. Let l = a - 45. Let g be (-4)/(-6)*6/l. Which is greater: g or 0?
0
Let m = 24 + -10. Let n = -12 + m. Is 0.05 greater than or equal to n?
False
Suppose -219 = 13*k + 223. Is -33 smaller than k?
False
Let s = -1/1386 - 2416/13167. Let v = s - -1/418. Let q be (-14)/8 + 9/12. Is v greater than or equal to q?
True
Let d be 196/(-99) + (-30)/(-15). Which is smaller: d or -1?
-1
Let u be 5/15 - (-8)/3. Let x be (1/(-3))/(4/u). Is 1 at least x?
True
Let y = 5.8 - -1.2. Let b = 7 - y. Let a = 150 + -1052/7. Which is smaller: b or a?
a
Suppose -64 = -5*o + 3*u - 6*u, o - 5*u + 4 = 0. Which is smaller: 12 or o?
o
Let l be (-1)/(-3) + (-55)/363. Is 0 < l?
True
Suppose 4*w + 4*x + 8 = 0, 3*x - 5 - 1 = w. Which is smaller: w or -2?
w
Suppose 0 = -5*g + 3*q + 9 - 73, -3*q + 20 = -g. Let c = g + 13. Is c greater than 2?
False
Let u = -38 + 53. Is -2 greater than u?
False
Let k = 2.9 + 0.1. Which is smaller: 0 or k?
0
Suppose -1 - 11 = 3*j. Let l = 5 + j. Is 3/11 at most l?
True
Let n be (-304)/(-704) - (-1)/(-4). Let u be -5 + (2 - (2 - 1)). Let k be 2*(-2)/(u + 0). Is n greater than k?
False
Let i be (4/5)/(((-5820)/25)/(-6)). Which is smaller: 0 or i?
0
Let v = 0.022 - 4.822. Let n = -5 + 0. Let x = v - n. Which is bigger: x or 0?
x
Let k be (-52)/(-8)*1*-2. Is -12 equal to k?
False
Let m = -31 + 33. Let i be (-14)/(-6) + (-2)/(-3). Which is smaller: m or i?
m
Let a be 1 - 23*2 - -1. Let u be 26/a*2 - -1. Is u > -1?
True
Let i = 77 - 77.05. Which is smaller: i or 2?
i
Let m be -1 + 1 + 4 + 0. Suppose -m*c + 1 = -11. Which is smaller: -2/5 or c?
-2/5
Let v(u) be the third derivative of u**5/60 - u**4/8 - 7*u**3/6 - u**2. Let x be v(5). Which is bigger: x or -1/4?
x
Let i(y) = -y**2 - y + 5. Let r be i(0). Let p = r - 1. Suppose -5*l + p = -l. Is 1 not equal to l?
False
Let c(a) = -3*a - 4. Let m be c(-3). Are 4 and m equal?
False
Suppose 0*h = -5*h + a, 4*h = 3*a - 11. Let j = h - 4. Let i be 8*(-1 - (-1)/2). Is i at most j?
True
Let a(y) = 5*y**2 + 2*y + 1. Let j be a(-1). Suppose 0*h - 3*h - 3 = -3*i, j*h + 2*i - 2 = 0. Suppose x - 2*t = 2, 3*t = -0*x - 2*x + 4. Is x not equal to h?
True
Let s = -679 - -680. Let d be 1/3 - 40/138. Are s and d nonequal?
True
Let k = 6 + -3. Let m = 1 + k. Let u = m + -4.1. Which is smaller: u or 2?
u
Suppose 4*w - 15 = -3*f, -w = 4*f - 3*w + 2. Let z be -3*f + (1 - -3). Which is smaller: 0 or z?
0
Let g = -1 + -7. Let o be ((-14)/28)/(54/(-28) - -2). Which is smaller: o or g?
g
Suppose -116 = 3*c + 94. Is c not equal to -68?
True
Suppose 5*d + 15 = -4*c, -2*d + 3*d = -3*c - 14. Which is smaller: d or 2?
d
Let p(k) = -5*k - 4. Let r(y) = y + 1. Let g(v) = -p(v) - 3*r(v). Let f be g(1). Which is bigger: f or 2?
f
Suppose 0*j - j = -3*f, 0 = -f + 4*j + 11. Let r = -2 - f. Is r <= -2?
False
Let v = 29 + -42. Let s = 14.2 + v. Let t = -0.2 + s. Is -2 at most t?
True
Let p be (86/6)/(1/(-2)). Let b = p + 29. Is b less than or equal to 1/15?
False
Let z(m) = -3*m + m**3 - m**2 + 1 + 3*m - 3*m. Let r be z(2). Are r and -2/73 non-equal?
True
Suppose -11*a + 7*a = 0. Let w be (-4)/6*3/2. Is a at least as big as w?
True
Suppose -4*x - 2*j = -6*j + 20, -3*j = -x - 11. Suppose -3*g = 0, 0 = -4*t + 2*g - 3*g - 24. Let a be t/x*10/15. Which is bigger: -0.1 or a?
a
Let y be (13/(-2))/((-42)/(-84)). Is 0 <= y?
False
Let c(z) = -z**3 + z - 1. Suppose 3 = 2*o + 7, 2*a = o - 4. Let u = a - -3. Let v be c(u). Which is smaller: 3 or v?
v
Let i = 8.3 - 8. Let h = -0.4 + i. Let u = h + -0.9. Which is smaller: u or -1/2?
u
Let n = -4 + 2. Let o = n + 2. Let s = o + 0.1. Which is greater: s or 0.2?
0.2
Let c = -15 - -25. Which is bigger: 1 or c?
c
Let l = -0.1 - -12.1. Let x = 7 - l. Which is smaller: x or -1?
x
Let s(a) = a + 2. Suppose -2*f - 3*h = -9, -3*h - 2*h = 4*f - 13. Let i be s(f). Suppose 2*l + 2*c = -2, 3*l - 4*c = -6 - 4. Which is bigger: l or i?
i
Let g be (-2)/(-