reater: k or 2?
2
Let h = 7 + -5. Suppose 2*w + 6 = h*c + 2*c, -c - 9 = -4*w. Let p be w/(-63) + 2/6. Which is bigger: p or 3?
3
Suppose 3*u - 4 = u. Let o be (-3 + u)/((-3)/6). Do o and 3 have the same value?
False
Let g = 26 - 27. Which is bigger: 1/9 or g?
1/9
Suppose -3*v + 4 = -d + 21, -2*d + v + 9 = 0. Suppose -5*c + c = 2*a + 16, c - 14 = 4*a. Let u be d + a - (-5)/3. Which is smaller: u or 1?
u
Suppose 5*h = 192 - 2327. Let u = h - -8111/19. Is 0 > u?
True
Let c(g) = -2*g - 3. Let s be c(-2). Let v be (1 - s)/(4/2). Let z = -2 - -1. Is z != v?
True
Let b be 38/39*(-12)/8 - -1. Which is smaller: 2/3 or b?
b
Suppose -2*r = -15 - 39. Suppose -3*w - h - 6 = 6, 5*w + r = -4*h. Which is bigger: w or 1?
1
Suppose 4*j - 3 = -7. Is 1 smaller than j?
False
Let q = 2473407/11 + -224680. Let c = -175 + q. Is 1 < c?
False
Let p = -58 + 84. Is p greater than or equal to 25?
True
Let c = -25/72 + 733/936. Let f = c - 4/39. Are 1 and f equal?
False
Let t(k) = -k**3 + 3*k**2. Let l be (4/(-6))/(4/(-18)). Let d be t(l). Suppose 5*n = -d*j + 3*j + 13, 4*n - 8 = 0. Is -1 smaller than j?
False
Let u(k) = -k**2 - 3*k + 10. Let q(o) = 6*o**3 + 2*o**2 - 1. Let z be q(-1). Let d be u(z). Which is greater: 2/13 or d?
2/13
Suppose 0 = r - 3*r. Is r at least 0.03?
False
Let y = 0.8 + -0.75. Which is smaller: -2/3 or y?
-2/3
Let x = -3 + -1. Let y be (1 - 0)*x/2. Let w be y/(-7) + (-32)/14. Which is smaller: -1 or w?
w
Let y be ((-10)/4)/((-1)/2). Let f be ((-189)/35)/((-1)/y). Let m be (-60)/f + (-4)/(-18). Is -1 at least m?
True
Let s = 23 + -27. Is s at least as big as -14/3?
True
Let p be 3 + (-3)/((-18)/(-21)). Let b be ((-6)/5)/((-2)/10). Let y(m) = -m**3 + 7*m**2 - 6*m - 2. Let u be y(b). Is u at least p?
False
Let d be 25/7 - (-16)/(-28). Let y be (1 - d)*4/8. Suppose -r + 14 = -3*v, 0 = 5*v - 0*r + r + 10. Which is bigger: y or v?
y
Let m = 0.5 + 5.5. Let k = -7 + m. Is k greater than -2?
True
Let b(c) = -c**2 + 6*c - 5. Let g be b(6). Let z be -1 + 6/1 + 4. Let i be 3/15 - z/g. Do i and -0.1 have the same value?
False
Let t = 72350/71 + -1019. Which is smaller: t or -1?
-1
Suppose o - 4 + 3 = 0, -5*i = -3*o - 92. Is 20 at least as big as i?
True
Suppose -6*s + 5*s = -1. Suppose 5*t = k + 4*t - 1, 5*k + t + 19 = 0. Are s and k equal?
False
Let w = 405 + -37663/93. Let s = w - 35/186. Which is smaller: 0 or s?
s
Let f = 0.64 + 0.11. Let s = 0.05 - f. Which is smaller: s or -0.2?
s
Let u = 0.2 + -0.3. Let n = -0.4 - -0.38. Let r = 0.18 - n. Which is smaller: r or u?
u
Let i = -2 - -2. Let l be 1/(-2*1/(-6)). Which is smaller: l or i?
i
Let q(w) = 6*w**2 + 2*w - 1. Let u be q(1). Is 6 <= u?
True
Suppose -20 = -5*s - 4*x, 3*s = -x + 3 + 2. Suppose s = 3*y + 4*i - 26, -3 - 1 = -2*i. Which is greater: 7 or y?
7
Let f(u) = -11*u. Let m(h) = -5*h. Let n(w) = 6*f(w) - 13*m(w). Let j be n(-1). Let r = 6/11 - 19/55. Are r and j unequal?
True
Suppose -4*l - 6 = -2*a + a, 0 = l. Suppose a*b - 52 = 2*b. Suppose 3*x - 2*d = -x + 10, -b = -x + 4*d. Are -1 and x nonequal?
True
Suppose -2*v - o = 0, -3 = 3*v + 4*o - o. Let r be 2/9*9/(-6). Which is bigger: r or v?
v
Let n = 5 - 0. Which is bigger: 22/5 or n?
n
Let m = -3.06 - -3. Does -2/5 = m?
False
Let w(o) = 6*o**3 + 5*o**2 - 7*o - 1. Let f = 0 + -6. Let s(m) = 7*m**3 + 6*m**2 - 8*m - 1. Let p(u) = f*w(u) + 5*s(u). Let z be p(-1). Does 1/4 = z?
False
Suppose 8*j + 17 + 7 = 0. Is -3/2 at least as big as j?
True
Let q be (-7)/(3 - 51/18). Let k(g) = -g**3 + 3*g**2 + 2*g. Let w be k(4). Let d be (w + 2)*(-4)/q. Which is smaller: d or -1?
-1
Let r = -2 - -1.9. Let o(k) = k**2 + 10*k + 4. Let m = -17 + 7. Let v be o(m). Which is bigger: r or v?
v
Let m = -34 + 48. Which is bigger: m or -0.1?
m
Suppose 4*y = -y + 45. Which is smaller: y or 8?
8
Suppose -31*u + 4 = -30*u. Which is bigger: 8 or u?
8
Suppose 0 = -2*r - 3*i + 15, 0 = -r - r + i - 5. Which is bigger: r or 2/5?
2/5
Let d be 0/(-2) + (-4)/(-2). Let l(c) = -2*c**2 + 4. Let h be l(d). Does -5 = h?
False
Let a(o) = -5*o**2 - 2*o + 1. Let k be a(-2). Is -13 bigger than k?
True
Suppose b = 4*b + 2*r + 65, -72 = 4*b - r. Which is greater: b or -21?
b
Let t be (-1 - -1) + -1 + 6. Suppose 0 = -t*n + 6*n - 50. Let c be 0 - (-2 - n/(-24)). Is c < -1?
False
Let k = -0.271 + 0.171. Which is smaller: k or 3.6?
k
Let c = 0 - -4. Let l(b) = -b**3 + 5*b**2 - 3*b - 4. Let t be l(c). Let s = -340/519 - 2/173. Which is greater: t or s?
t
Let n = 0.85 + -0.8. Let t be 2/9 - 132/108. Which is bigger: t or n?
n
Let p(n) = -n - 1. Let t be p(-4). Let d = -2 + t. Is d >= 0?
True
Let d(u) = -u**3 + 8*u**2 - u + 9. Let n be d(8). Is n less than or equal to 17?
True
Let z(n) = n**2 + n + 1. Let r be z(-5). Suppose -5*y - 6 = -r. Do 4 and y have the same value?
False
Suppose -2*t = 3*t + 5. Let m be (1/(-2))/((-2)/32). Let r = m - 8. Do r and t have the same value?
False
Let m = 1 + -2. Let o be (0/(-1))/(2 - 4). Which is smaller: m or o?
m
Suppose -f - 19 + 57 = 2*c, 5*f = 20. Which is smaller: 88/5 or c?
c
Let h = -381791/164 - -2328. Is 1 bigger than h?
True
Let d be (3 + 51/(-18))*(1 - -1). Which is greater: d or 30?
30
Let x = 34 + -302/9. Is 0 less than or equal to x?
True
Let s = 8 - 3. Suppose -v + 0*v = -s. Suppose -7 = v*n + 3. Is -2 smaller than n?
False
Let p = -72 + 74. Is p != 0?
True
Let u be 3 + (8/(-76) - 3). Let s = 0 + 1. Is u > s?
False
Let x = -10.6 + 9. Let d = 2 + x. Suppose m + 3 = 4*m. Which is smaller: m or d?
d
Suppose -4*j - 5*d + 4 = 0, 3*d = j - 4*j + 6. Is 3 less than or equal to j?
True
Let v = -7 - -6.6. Is 4 less than or equal to v?
False
Suppose 44 = -13*l + 148. Which is smaller: 6 or l?
6
Suppose 3*z = -z + 56. Suppose 5*v = x + z, 3*x = x - 2*v + 8. Let d be (-3)/(-5) - (-2)/(-5). Is d >= x?
False
Let q(s) = -s**3 + s**2 + 2*s. Let c be q(2). Let p(t) = t**3 + 4*t**2 + 4*t + 2. Let l be p(-2). Let z = l - 1. Which is smaller: c or z?
c
Suppose 7*k - 179 + 53 = 0. Which is smaller: k or 19?
k
Let c be ((-36)/(-16) - 3)*8/(-3). Are c and -1 equal?
False
Let v = 19.4 - 18. Let g = 3.4 - v. Is -7 at least g?
False
Let n = 51 + -50.9. Are n and -21 non-equal?
True
Let h be (1/(-2))/((-9)/18). Let d be (1 + (-9)/15)*-5. Let s = 2 - d. Which is smaller: s or h?
h
Let i be (2/(-13))/(15/(-66)). Let d = i + -1/13. Suppose -5*j + 12 - 2 = 0. Which is greater: j or d?
j
Let x be 0*(2 + 0 + -1). Which is smaller: 11/2 or x?
x
Let q be (-408)/52 - (-4)/(-26). Is q <= -8?
True
Let w = -7 + 7.11. Let d = -3.89 - w. Let u = d + -1. Which is bigger: 1/2 or u?
1/2
Let s = 29 - 22. Suppose 2*c + 10 = 3*w - 3*c, -2*c - 4 = -w. Which is bigger: s or w?
s
Let i = 56 + -506/9. Suppose 4*o = -0*o. Let d be 3/(-1 + o) - -4. Is i greater than d?
False
Let o = -0.1 - 1.9. Which is smaller: -1.6 or o?
o
Suppose 5*y = 2*v + 13 - 0, -10 = -3*y - v. Suppose 2*u - y*u - 10 = 0. Is -11 > u?
False
Suppose -o + 4*q - 16 = 0, 8*q = -o + 3*q - 7. Let m = o - -1. Is m bigger than -10?
False
Suppose 6*j - 4*j = 276. Let i be (-2 + 6)/(j/7). Let d = i - -3/23. Is d not equal to -3?
True
Let x(m) be the third derivative of -m**7/2520 - m**6/720 + m**4/24 - m**2. Let r(t) be the second derivative of x(t). Let s be r(0). Which is smaller: s or 1?
s
Suppose -a + 5*a = w - 28, -4*a - w - 36 = 0. Is -7 at most a?
False
Let p(a) = a - 1. Let f be p(3). Suppose -f*o + 4 = -4*l - 20, -24 = 4*l + 4*o. Let w = l - -5. Is w >= -1?
True
Suppose -4*d - 5*w + 3 = -0, -1 = d + 3*w. Suppose d*r - 12 = 6*r. Which is greater: -5 or r?
r
Let u = -14 - -12. Is -2 bigger than u?
False
Let o be (1/1)/(-1)*-1. Let b = -2 - -3. Is o smaller than b?
False
Suppose -5*z + 3*z + n = -100, 3*z - 155 = -n. Is 50 > z?
False
Let c be (-3 + 14/6)*-3. Suppose 0 = -3*w + 2*d + 3, 3*w + c = 5*d + 14. Is 0 greater than w?
True
Let v = 4/11 - 1/33. Which is greater: v or 0?
v
Let y = 11726 - 81884/7. Let p = -204/7 + y. Which is greater: p or -1?
p
Let j be 3/2*16/2532. Let p = -436/1477 + j. Are 0 and p equal?
False
Let l(w) = w**2 - 6*w - 3. Let q be l(7). Suppose -2*x = -q*x. Is x bigger than -3/7?
True
Let x(m) = -m**3 + 3*m**2 - 2*m. Let l be x(2). Let o = 12 + -9. Suppose o*y - 2*t - 8 = y, 15 = -5*y - 2*t. Which is smaller: y or l?
y
Suppose -6*l + 24 = -2*l. Let p be 0 + 5 + (l - 3). Which is bigger: 9 or p?
9
Let t be (