*d, 0 = 4*l + 4*d - 6 - 26. Suppose -l*y = -4*m, 0 = 5*m - 0*m - 5*y. Which is greater: -2/19 or m?
m
Let h = -21/8 + 769/296. Which is bigger: 0 or h?
0
Let b be 16/834*36/(-48). Is b at most 0?
True
Suppose 10 + 15 = 5*p. Suppose -2*d = 3*d + p. Is 1/10 less than d?
False
Suppose -10 = -2*h - 0, 2*w + 25 = 5*h. Suppose -r - 2*m = -w + 12, -2*m - 10 = 0. Which is greater: -7/3 or r?
r
Let n be (2/4)/((-14)/20363). Let v = n + 731. Are 4 and v unequal?
True
Suppose -5*u + 33 = -47. Suppose 5*s - 3*g + 11 + 27 = 0, -u = 4*g. Which is greater: -7 or s?
-7
Let l = -215/6 + 71/2. Which is greater: 0.06 or l?
0.06
Let m be (-52)/28 - 0 - -2. Let n be -2 + 1 + 3 + -1. Is n less than or equal to m?
False
Suppose 1 = 3*q - 4*y - 12, 7 = -3*q - y. Suppose -2 = 2*d + 2. Is d not equal to q?
True
Let b(n) = -3*n**2 + n - 1. Let f be b(1). Let c = 9 + 4. Let l = 9 - c. Is l greater than or equal to f?
False
Let d be (-57)/(-4) - (-1)/(-4). Suppose 4 = -5*c + d. Suppose c + 1 = u. Is 4 smaller than u?
False
Let t be -5 - 4*3/(-6). Let r = -1 + 3. Suppose 3*y + 3*l + 18 = 0, -2*y + l - 1 = r. Is t at most as big as y?
True
Let y = -5.8 - -5.9. Is 13 >= y?
True
Let b = -2.9 - -3. Let f be (-2 - -5)/((-3)/(-2)). Suppose -4*n = -2*v, 0 = 2*n - v - f*v + 4. Is b bigger than n?
False
Suppose p - 2 = -2*q, 3*p + 2*q = -1 - 1. Which is smaller: 2/9 or p?
p
Let p be ((-1)/39)/(6/((-36)/10)). Which is greater: p or -1?
p
Let s(p) = p + 6. Let i be s(-6). Suppose 2 = -4*m + 18. Suppose -8*f = -m*f - 4. Which is smaller: i or f?
i
Let t(i) = -i**2 - 10*i - 18. Let m be t(-8). Is 2/3 greater than m?
True
Let u(k) = k**2 + 7*k + 9. Let i be u(-6). Suppose 4*b = i*w + 4 - 5, -2*w = 2*b + 18. Do -3 and b have the same value?
False
Suppose 0 = 2*k + 1 - 5. Suppose -k*u = u. Let a = -17/69 + -2/23. Is u less than or equal to a?
False
Let y be ((3 + -5)*-1)/4. Which is smaller: 0 or y?
0
Let b = 5 - 14. Which is bigger: 0.1 or b?
0.1
Suppose 0*r - 330 = -5*r + 5*b, 2*r + 3*b = 107. Which is greater: r or 60?
r
Let m = 25 - 18. Suppose m = -3*k + 1. Let c be 1 + k - (4 - 1). Is -5 > c?
False
Let g(y) = y - 2. Let l be g(4). Let n be 0 + l*10/(-4). Let j be 3*-2 + (-10)/n. Is -4 at most as big as j?
True
Let g be 5 - (6/3 - -1). Suppose -g = 3*o + 4. Let d be o/(-11) - (-230)/(-55). Is d at least as big as -4?
True
Let t(m) = -5*m**3 - 5*m**2 - 2*m - 7. Let a(h) = -6*h**3 - 6*h**2 - 2*h - 8. Let n(z) = 6*a(z) - 7*t(z). Let o be n(-2). Is 2 <= o?
False
Suppose 0 = -3*h - 1 + 4. Are 10 and h nonequal?
True
Let n = -8 + 6. Let h be (n/(-3))/((-8)/12). Which is smaller: -2 or h?
-2
Let g = 0 - -8. Let d be g*(-3 + (-20)/(-8)). Is -0.1 at most d?
False
Let t be ((-12)/(-424))/(6/(-8)). Let p = 144/1007 + t. Are p and -1 nonequal?
True
Let j be 57/(-4) - (-1)/4. Let q = j + 20. Suppose q*y = y + 10. Is 2 <= y?
True
Suppose 7 = 5*f - 18. Is 3 > f?
False
Let m = 1 - 1. Suppose -5*u + m - 15 = 0. Suppose -3*w + 2*d - 5 = 0, -4*w + 1 - 5 = -4*d. Is w not equal to u?
False
Let m be 1/(-2*3/30). Let i be -2 - m/1 - 3. Suppose 2*r - 6 = 5*l, 3*r - 9 = -2*l - 0. Is i less than or equal to l?
True
Let h(s) be the first derivative of s**4/4 - 5*s**3/3 + s**2/2 - 2*s + 2. Let y be h(5). Suppose -d + y = 4. Is d at least as big as -2?
True
Let a be (-48)/(-70) + 8/(-84)*3. Is 4 at least as big as a?
True
Suppose -d - d - 2 = 5*k, 0 = -k + 4*d - 18. Let a = 0 - k. Suppose 4*x - 3*j - 7 - 3 = 0, -7 = -5*x + j. Which is greater: x or a?
a
Let d(c) = c**3 + c**2 - c - 196. Let y be d(0). Let n = -1760/9 - y. Are n and -1 equal?
False
Let t = 2.6 + -0.6. Let s = 0.12 + 2.38. Let d = t - s. Is d at most as big as 1?
True
Suppose 3*k - l - 14 = -2, -4*k = -4*l - 8. Suppose -66 = k*m - 8*m. Which is smaller: m or 23?
m
Let t be (-5)/7*(-12)/(-15). Suppose -2*i + 2 = -4*i. Which is greater: i or t?
t
Suppose 3 = -z - 2. Let f = z - -8. Let o(v) = -v**3 + 4*v**2 - 3*v + 1. Let k be o(f). Are 3/7 and k unequal?
True
Let g be ((-31)/5 - -2)*5. Let c be (-36)/g*(-14)/(-4). Suppose -5*x = -0*x. Which is greater: c or x?
c
Let f = 6/53 + 4/901. Which is bigger: f or 0?
f
Let i be 1*2/6*3/63. Which is smaller: 1 or i?
i
Suppose -4*c = 3*h + 18, 0*h + 4*h + 10 = -3*c. Let w be -1 + c/(-3) + -1. Which is smaller: 2/11 or w?
w
Let h = 3 - 3. Is h greater than 6/11?
False
Let d(g) = 2*g + 1. Let q be d(2). Suppose -q*j = 6 - 16. Which is greater: j or -1?
j
Suppose 0 = -4*l - 5*l + 36. Suppose -18 = -4*n - 6. Let g = 2 - n. Which is smaller: l or g?
g
Let j(o) be the third derivative of o**4/24 - 5*o**3/6 - 2*o**2. Let u be j(6). Let m be 12/(-8)*(-8)/6. Which is smaller: u or m?
u
Let b = -2/249 - -1010/1743. Is 0.3 at least b?
False
Let y be 0 - (-2 + (-69)/(-33)). Which is smaller: y or 0?
y
Let g = 13 - 12.5. Let t = -6 - -6.4. Let u = t - g. Is u less than 1/5?
True
Let c = -16 + 18. Suppose -8 = 2*k + c*j - 0*j, 2*k + 13 = -3*j. Is -14 greater than or equal to k?
False
Suppose 5*p = -5*h - 115, 4*p + 91 + 16 = -h. Which is greater: -26 or p?
-26
Let q = 3 - 4. Which is smaller: -0.3 or q?
q
Suppose t - 5*b = 25, 5*t = -3*b - 12 - 3. Suppose -2*l = -t*l. Let c be 2/(-4) - (-26)/44. Which is smaller: l or c?
l
Let s(u) = -u**3 + 6*u**2 - 6*u + 5. Let b be s(5). Suppose b = -4*c + 3 + 5. Suppose 5*f - 28 = c*f + 5*m, 0 = -4*f - 3*m - 11. Do 0 and f have the same value?
False
Let p be ((-16)/9)/(1/3). Let m = -5 - p. Is -1 less than or equal to m?
True
Let i = 101/40 + -17/8. Let p(k) = -k**3 + 5*k + 3. Let u be p(-3). Suppose 3*c - 11 + 2 = 5*y, 4*y + 5*c - u = 0. Is i >= y?
True
Let w = 19 - 9. Let x = -31/3 + w. Is x <= -1?
False
Let x = -220/3 - -74. Suppose -q - 5 = w, -2*q - 18 = 4*w - 4. Let o(g) = g + 2. Let i be o(w). Is i less than or equal to x?
True
Let n = -7 - -22. Which is bigger: n or 72/5?
n
Suppose 4*m = -m + 10. Suppose m = i + i. Let a = -17 - -50/3. Which is smaller: i or a?
a
Let o = 104 + -89. Is 1/2 at least o?
False
Let d = 6.9 - 7. Let s = d + 0. Which is smaller: s or 0.1?
s
Let h be 5/12*(-4)/(-10). Suppose 0 = -5*n - 0*n. Is h > n?
True
Suppose -l + 3*y = 5*y - 1, 4*l + 2*y = 4. Let d = 1.1 + -1. Which is smaller: l or d?
d
Suppose 3*k = -2*k. Which is bigger: 3/8 or k?
3/8
Let v = -18 + 17.95. Is 0 less than or equal to v?
False
Let k be (2*(-57)/(-12) - 2) + -4. Is k at most as big as 1?
False
Let r(m) = m**2 + 4*m - 1. Let s be r(-5). Suppose -2*y + s*n + 18 = 0, -4*y - n - 11 = -2. Let u be -3*(4/(-6) - y). Which is greater: u or 1?
1
Suppose -1 = -5*n - a, 5*n = -0*a + 3*a + 17. Let h = 7 + -2. Let q = -4.9 + h. Do n and q have different values?
True
Let x be (-19)/(-20) - 6/8. Let v(a) = 0*a**3 - 1 - a**3 - 2*a**2 + 0 + 3*a**2. Let s be v(1). Does x = s?
False
Let n(u) = u**3 + 6*u**2 + 2*u + 11. Let k be n(-6). Let h be 358/(-3)*12/32. Let b = h + 45. Is k at least b?
False
Let j(f) = f + 6. Let h be j(-6). Let s = -3 + h. Is s != -2?
True
Let b = -24 + 26. Which is smaller: 0 or b?
0
Let x be ((-171)/(-33) + -5)*-1. Which is greater: x or 0?
0
Suppose 2*m - j = 0, 2*j - 2 = 3*m - 3. Let c be 2/(-12)*(0 - m). Let r be 2 - (2 - (0 - -1)). Is r < c?
False
Let a be (1 - (-153)/7) + -1. Let f = a - 148/7. Is 0 at most as big as f?
True
Let g(k) = -k**3 + 11*k**2 + 13*k - 9. Let l = 3 - -9. Let o be g(l). Which is smaller: 1 or o?
1
Suppose 10*c - 15*c = -10. Is c equal to 2?
True
Let p = -19 + 58/3. Let h be -1 - -1*(2 + 6). Suppose 4*r + 3*v = 3*r - 5, 0 = r + 4*v + h. Are p and r equal?
False
Let x(r) be the first derivative of -r**2/2 + 5*r + 4. Let g be x(8). Is -1/4 smaller than g?
False
Let j(o) = o. Let c be j(-1). Let d(z) = 3*z. Let h be d(c). Let i(a) = a**3 + 3*a**2 + a + 3. Let u be i(h). Which is greater: u or 2?
2
Suppose 5*m = 4*k - 62, 4*m + 0*m + 2*k + 34 = 0. Let q be (9/405)/((-4)/m). Suppose -2*u - 2 = -0. Is q less than u?
False
Suppose 7*m = 12*m + 5. Let y = 137/5 - 28. Is m >= y?
False
Let r be 1 + -1 - 33/18 - -1. Which is bigger: 5 or r?
5
Let h = -0.6 - -0.31. Is h greater than -2?
True
Let b be 792/(-4293) - (-4)/18. Which is bigger: -1 or b?
b
Suppose 2*v + 4*h = v + 20, 0 = 5*v + 4*h - 20. Which is greater: v or 2?
2
Let o(j) = -2*j + 4. Let a be o(-6). Suppose -2*q = 2*q - a. Suppose -2*c + 4 = 4*r + 2, -26 = -2*r + 4*c. Which is bigger: q or r?