 = -86.4 + 85.4. Which is smaller: s or 2/141?
s
Let j = 7 + -6.94. Let l = -2/7691 + 1407467/53837. Let f = 26 - l. Which is smaller: f or j?
f
Let g(m) = m + 2. Let u be g(-3). Let y(v) = v**2 - 9*v + 16. Let r be y(7). Let i be ((-5)/1)/(u + r). Which is smaller: i or 0?
i
Let z = -1.3 - -1.365. Let l = z + 3.075. Let w = l + -0.14. Which is greater: 2/7 or w?
w
Let b be 465/5*1/(-3). Let m = 75 + b. Is m equal to 44?
True
Let p be -9*13 + (13 - 11). Which is bigger: p or -114?
-114
Let u be 2/(-9) - (-1308)/54. Suppose -y + 0*y - 4*i + 18 = 0, 4*y = -4*i + u. Let h be (40/(-18) - -2)*(-36)/24. Which is bigger: y or h?
y
Suppose -5*w = 11*r - 6*r - 335, -3*r + 2*w + 211 = 0. Is r less than 69?
False
Let v(w) = -w**3 - 4*w**2 - 1. Let l be 20/8*(-3 - -1). Let r be v(l). Is r at least 24?
True
Suppose 0 = -55*r - 2934 + 349. Which is greater: r or -338/7?
r
Let w be 2624/(-120) + 10/(-75). Which is smaller: 0.3 or w?
w
Suppose 3*j + 5045 = -8*f + 3*f, -2*f - 3*j = 2009. Is -1012 bigger than f?
False
Let w = -9 + 6. Let g be (-2)/(-4)*1*w. Suppose -6*u = -u - 2*m + 5, 5 = -5*u + m. Is u <= g?
False
Suppose 2*m - 10 = -4*p, -7*m + 6*m = 5*p - 14. Which is smaller: m or 2/325?
m
Let r = -711 + 580. Is -3/2 < r?
False
Let l = 2800216/5505 - 1526/3. Which is bigger: -1 or l?
l
Suppose 0 = 3*n, 0 = -5*c + c - 4*n - 8. Let t be ((-1 - 4) + 2)*-4. Suppose t = 2*i + i. Is i bigger than c?
True
Let c be -219 - -1 - -1*4. Do c and -214 have different values?
False
Let y be ((-45)/(-2))/((10/(-4))/(-5)). Is y > 45?
False
Suppose 2*y - 5*y = -27. Suppose 5*z - 16 = 3*z. Which is smaller: z or y?
z
Let f be (-20)/(-5)*1494/8. Suppose -3*j - 3*k = -f, -2*k - 971 = -3*j - 224. Let z = -1740/7 + j. Which is smaller: 0 or z?
0
Let h(k) = -5*k - 12. Let r be h(5). Which is bigger: r or -29?
-29
Let t = -1454 + 1454. Is t at least as big as 2/201?
False
Let o = 10.387 - 1.287. Is o greater than 5?
True
Let m = 237 - 76. Let r be (-1)/(-3)*(-46)/m. Which is bigger: r or 0?
0
Let j(g) = g. Suppose 3*c - 6 = 3*n, -5*n + 0*c - 9 = -4*c. Let p be j(n). Is p at most -1/49?
True
Suppose -1 = h - 6. Let j = -4 + h. Let l be 1/5*(-140)/(-15) + -2. Which is smaller: l or j?
l
Let t be 6 - (-248)/(-40) - (-7)/40. Let z(s) = -s**2 + 4*s. Let r be z(4). Is r > t?
True
Suppose 0 = 2*p + 5*q - 5, p + 0*q = 4*q - 4. Let w be p + -2 + 213/105. Which is smaller: 0 or w?
0
Let l be 0/1 - (-2 - -2). Let g be (-3 + (-252)/(-54))/((-8)/6). Is g at most as big as l?
True
Suppose 4*c + 3 = 5*c. Suppose 2*i - c*v = v + 32, -v + 25 = 5*i. Is i at most as big as 5?
False
Suppose -4*z + 57 = 5*r, r = -r - 2*z + 24. Let b = r - 3. Let j = 19 + -11. Is j > b?
True
Let i be ((-1872)/(-56))/3 + 2. Is 14 at most i?
False
Let w be (1280/(-100))/((-6)/(-15)) - -5. Which is smaller: w or -40?
-40
Let w = 47 - 43. Suppose 150*j - 154*j + w = 0. Let a be 0 - 0 - (-1)/(-11). Is a greater than j?
False
Let y be (-26)/(-54)*(7 + 40/(-5)). Is y < -1?
False
Let c = -88 - -97. Let m = 8 - c. Is -1 >= m?
True
Let i(n) = -3*n - 7. Let w be i(-4). Suppose -c + 16 = u, 45 + 43 = w*c + 3*u. Let d(r) = r**3 - 20*r**2 - r + 13. Let z be d(c). Is -5 equal to z?
False
Let a be (3/(-27))/(2/(-8)). Let v be ((-24)/15)/((-4)/20). Let i be -2*(-2)/(v/2). Which is greater: i or a?
i
Let a = 428 - 393. Let x = 57 + -23. Let b = x - a. Is -0.11 <= b?
False
Suppose 4*o = -2*o + 24. Let b be (-14)/77 - o/(-22). Suppose 4*w + f = -6 + 2, -4*w + 8 = -2*f. Is w greater than b?
False
Suppose -7*x = 10 + 11. Suppose 6*s = 2*s - 20. Does s = x?
False
Suppose -133 = -q - 2*g, g + 95 = 2*q - 176. Suppose -20*v + 15*v = q. Which is bigger: v or -26?
-26
Let n = 214.1 - 214. Which is smaller: n or 5/2?
n
Let k = -66 - -38. Let v = k + 34. Suppose a = 5*i + v*a + 15, a = 2*i + 12. Is -7 at least as big as i?
False
Suppose 0 = -2*n - 444 + 334. Which is greater: n or -1?
-1
Let t be (-4)/16*(-4064)/(-3654). Let c = -11/483 + 635/42021. Let j = t + c. Which is bigger: j or 5?
5
Let d = 45 + -68. Let p = -19.1 + -3.9. Let h = d - p. Which is bigger: h or 2?
2
Let q = -25/22 + 118/99. Which is smaller: q or 3?
q
Let o = 112 - 111.68. Which is bigger: -4 or o?
o
Suppose 0 = d + d. Let t be (-4)/(-3)*42/728. Which is smaller: d or t?
d
Suppose 5*z - 36 = -3*r + 6*r, -5*r + 5*z - 60 = 0. Let h be 0*(-3)/r - 4. Let b be h*(-2)/8 + -9. Which is smaller: b or -9?
-9
Suppose -13*d + 2*d + 1122 = 0. Which is greater: d or -4?
d
Suppose -6*z + 5*z = 83. Let q be z/(-217) + (-2)/7. Is 0.1 at least as big as q?
True
Suppose 943 - 946 = -3*m. Is 2/405 smaller than m?
True
Suppose 73 = 8*a + 65. Which is smaller: a or 1/656?
1/656
Suppose -j - 2*x = -5*x + 3, -j = 2*x + 3. Let s be 1 + j + (-116)/(-4). Let v be -3 + (s/(-4))/(-3). Is -2 <= v?
True
Suppose 78*d - 80*d = 0. Is d greater than -2/3?
True
Let j(l) = 3*l + 7. Let n(y) = -y - 4. Let f(p) = -3*j(p) - 7*n(p). Let m be f(5). Which is greater: -7/4 or m?
-7/4
Let r = -39 + 47. Let u = 46 + -45.7. Which is bigger: r or u?
r
Let t be 2/(-6)*(-66)/(-880). Which is smaller: 0.3 or t?
t
Let u = 148 + -869/6. Which is smaller: u or 4?
u
Let p be 6696/(-63) - (1 + 0). Let f = -107 - p. Let n be 0 + -2*(-1)/(-18). Is n < f?
True
Let m = 42 + -47. Let r = -0.5 + 4.5. Let j = r - 2. Which is greater: j or m?
j
Let p = -4/101 + 103/5151. Which is bigger: p or 1?
1
Suppose 4*u - 6 = 2. Let r = -1426/297 - -164/27. Is u bigger than r?
True
Let r = -242 - -243. Suppose 2 = 5*m + 3*b, -5*m - 2*b = -3*m - 4. Let d be m - ((-11)/5)/1. Which is greater: r or d?
r
Suppose 3*v - 6 = -9. Suppose -18*q + 21*q = -255. Let j be 335/q - (-6 + 2). Which is greater: v or j?
j
Let a = 1 - -1. Suppose a*o + 58 - 136 = 0. Which is smaller: 40 or o?
o
Let c = 0.1 - 1. Let i(n) = n**3 - 6*n**2 + 3*n + 7. Let h be i(5). Let y = h + 4. Do c and y have different values?
True
Let l = 142.3 + -125.8. Are l and -2 nonequal?
True
Let z = -1 + 0.9. Suppose -5*l + 4*l - 115 = -2*t, -3*t - 405 = 4*l. Let p = l + 104. Which is greater: p or z?
z
Let i(b) be the first derivative of -3*b**2/2 - 3*b - 3. Let a be i(-7). Let y be 31/a - 3/2. Which is greater: -5 or y?
y
Let c(v) = -5*v - 1. Let d be c(-1). Suppose h + 0*k = -d*k - 6, 0 = 4*h + 2*k - 4. Is h at least 7/3?
False
Let s = 1.9 + -1.6. Let p = 0.3 - s. Which is greater: 14 or p?
14
Let q(m) = 4*m - 28. Let v be q(6). Let u(c) = -6*c + 3. Let a be u(2). Let g = -15 - a. Which is greater: g or v?
v
Let t(w) = 12*w**2 + 26*w**3 + 3 + 3*w + 9*w - 25*w**3. Let h be t(-11). Let l(g) = -g**2 - 7*g + 7. Let r be l(h). Which is smaller: -2/11 or r?
r
Let i = -37 + 26. Let m(p) = p**3 + 10*p**2 - 11*p - 4. Let g be m(i). Is -5 equal to g?
False
Let h = -286 - -330. Is 43 at most as big as h?
True
Suppose -x = 3*t + 445, -4*t - 4*x - 267 = 313. Is t <= -149?
True
Suppose 0 = -15*n - 662 - 2533. Which is smaller: n or -214?
-214
Let i = 47 + -26. Let j(d) = -27*d + 4. Let b be j(-2). Let l = b + -36. Which is smaller: l or i?
i
Let b = 0.9 - -0.2. Let f = 6.1 - b. Is -1 > f?
False
Suppose 0 = a + 4 + 3. Let b = 11 + a. Suppose -6 = -3*z - h, b = 4*z + 5*h - 4. Are 1 and z non-equal?
True
Let j(f) = f**3 - 10*f**2 + 3*f + 27. Let i be j(6). Which is smaller: -97 or i?
i
Let s(j) = 16*j**3 + 6*j**2 - 6*j - 36. Let y(b) = -3*b**3 - b**2 + b + 7. Let d(m) = 2*s(m) + 11*y(m). Let k be d(0). Let l = 931 + -929. Does k = l?
False
Let b(y) = y**3 + y. Let q(g) = g - 10. Let a be q(6). Let p be -4*2/a - 3. Let c be b(p). Which is smaller: -4/5 or c?
c
Let k(q) = 29*q + 494. Let i be k(-41). Is i at most as big as -695?
True
Let y = -681.5 - -682. Is 0.022 >= y?
False
Suppose -6*p + p - 2*f = -16, 4*f = -3*p + 18. Let u be ((-10)/p)/((-5)/4*2). Which is greater: 11/4 or u?
11/4
Let n = 207 + -111. Suppose -4*c - n = -10*c. Let v be (-164)/(-10) + 4/(-10). Are v and c non-equal?
False
Suppose 299*z = 293*z - 720. Which is smaller: z or -1308/11?
z
Let f be 10/(-4) - (-2)/(-4). Let c(a) = -a**2 + 3*a + 10. Let p be c(3). Suppose -k - 3*k = 3*b + 15, -2*b = 2*k + p. Is k at most as big as f?
False
Suppose 5*a = -0*a. Suppose -13*p + 10*p + 15 = 0. Suppose 0 = 3*q - m - 3, 4*q - 5*m + 4*m = p. Which is greater: a or q?
q
Suppose 4*w - 25 = 5*i, 10 = 5*i - 7*i - w. Let v be (-3)/5 - 38/i. Is v at leas