 5*u. Let z(w) = -w**3 - w**2 - w. Let x(g) = s(g) - 6*z(g). Let d be x(-1). Are d and y equal?
False
Suppose t + 7 = -n, t + 2*t = -4*n - 26. Is n less than or equal to -22/5?
True
Let v = 10.7 - -18.1. Let g = -29 + v. Which is greater: 5 or g?
5
Suppose 0 = 4*s - 2*s - 2. Suppose 3 = q, -2*l - 2*q - 92 = 46. Let v be ((-12)/l)/(14/12). Is s equal to v?
False
Let v be 3 + 0 - 4*3/(-6). Suppose -5*k + d = -44, v = 4*k - d - 30. Is k less than 8?
False
Let n be ((-84)/20)/(2/(-10)). Let z be (0 - 38/(-4))*(-73 - -71). Let p = z + n. Is 6/11 less than or equal to p?
True
Let u(n) = 2*n**3 - 15*n**2 - n + 16. Let a(m) = 3*m**3 - 22*m**2 - m + 24. Let j(s) = 5*a(s) - 7*u(s). Let o be j(4). Which is greater: 1/13 or o?
1/13
Let o = -90.758 + 90.7. Which is smaller: o or 10?
o
Let y be -2*3/21 + (-3264)/(-12600). Which is smaller: 0 or y?
y
Let x be -1 - 0 - -1 - (170 - 171). Is x < -2/2949?
False
Let c = -0.053 + -41.947. Let a = -42.09 - c. Let m = -5/7 - -3/14. Which is smaller: m or a?
m
Let j be -4 + 7/(35/22). Let m = 3.4 - 2.28. Let f = m - 1.3. Is f bigger than j?
False
Suppose 14*w - 14 = -0. Which is greater: 2 or w?
2
Let r be 1*6/(-15) - 4/(-35). Is 6.44 at most as big as r?
False
Let q = 78 + -2. Suppose -q*d = -71*d + 35. Is -6 less than d?
False
Let v be (605/(-25) - -5)/(3/10). Which is greater: v or -47?
-47
Let a = 456.1 + -481. Let k = -0.9 + 25.9. Let o = k + a. Which is smaller: -11 or o?
-11
Let i = -10 + 11. Let x = -3178/15 + 212. Is x < i?
True
Let w = 55.025 - 55. Let y = w + 0.275. Let j = 0.01 - 2.01. Which is greater: j or y?
y
Let g(f) = 1. Let y(x) = -x + 3. Let j(l) = -11*g(l) + 4*y(l). Let t be j(10). Which is greater: -38 or t?
-38
Let z(k) = k - 76. Let v be z(29). Which is smaller: v or -46?
v
Suppose -3*f + 4*w = -28, 3*f + 5*w = 2*f - 16. Let g(o) = o**2 + 12*o - 10. Let s be g(f). Is 56 equal to s?
False
Suppose -x - 1 = d - 3, d + 3*x - 12 = 0. Let l be ((-4)/16)/(d/12). Let y(h) = 2*h + 2. Let v be y(l). Is 3 bigger than v?
False
Let q(z) = -z**3 - 9*z**2 + 5*z - 12. Let l be q(-10). Let j = l - 303/8. Is 0 at least j?
False
Let z = -10/37 - 431/185. Which is smaller: -3 or z?
-3
Let y(d) = -d**3 - 10*d**2 + d + 6. Let h be y(-10). Let n be 1/h + 38/24. Let r = 131/74 - 84/37. Is r < n?
True
Let f = 0.277 - -0.033. Let s = f - -0.69. Is 4 <= s?
False
Let z(m) = -m**2 - 3*m + 1. Let l be z(-4). Let k be (1/l)/((-5)/45). Suppose d + 3*d - 8 = 0. Which is greater: d or k?
k
Let h = 0.4718 + 0.0282. Is h at least as big as 26?
False
Let h = -20 - -19. Let p be (2 + 0)/(1*-2). Let v be (h - (p - 1))*3. Which is greater: 2 or v?
v
Let v = -142 + 67. Which is bigger: 1/4 or v?
1/4
Suppose 0 = -d + 4*p - 2, -2*d + 0*p + 14 = -2*p. Let b(u) = -u**3 + 9*u**2 + 11*u - 8. Let x be b(d). Which is bigger: 5 or x?
5
Let t = -1.1632 - 0.0368. Which is smaller: -16 or t?
-16
Let c be -4 - 424*(0 - 1). Suppose -c = -12*n + 8*n. Let a be (-423)/n + (-3)/(-5). Which is bigger: -4 or a?
a
Let x = 325.16 - 326. Is x smaller than -2?
False
Let r(j) = j**3 + 5*j**2 + 5*j - 4. Let d be r(-5). Let i = -17 - d. Suppose -62 = 10*q - i*q. Is 31 at least as big as q?
True
Let c = 0 - 0.5. Let x = -246/5 + 254/5. Do c and x have the same value?
False
Let k be 276/23*(-26)/6. Is -50 at least k?
True
Let m(b) = b**3 + 6*b**2 - b - 5. Let u be m(-6). Let y(x) = -x**3 + 21*x**2 + 23*x - 20. Let c be y(22). Is u smaller than c?
True
Let w = 206 - 213. Do w and -6 have the same value?
False
Let a = 50.6 - 51. Let s = -2.8 + 3. Let r = -0.4 + s. Is r not equal to a?
True
Let j = 100 + -57. Let s = j - 60. Let k = -16 - s. Which is bigger: 10 or k?
10
Let z = 52 - 96. Let y = z - -43.97. Which is bigger: y or -0.3?
y
Let z(w) = 2*w**3 - 23*w**2 + 8*w + 24. Let y be z(11). Let g(v) = 2 + v - 7 - 2*v. Let b be g(y). Which is smaller: b or 5?
b
Let o = 256.85 - 257. Let c = 3 - 3. Which is smaller: c or o?
o
Let w(s) = s**3 - 30*s**2 + 56*s - 6. Let c be w(28). Let m be 4/18 + 42/54. Which is smaller: c or m?
c
Let d = -1184 + 1902. Let p = d + -7886/11. Which is smaller: 2 or p?
p
Let s = -621.8 + 575. Let f = s - -47. Are f and -1 non-equal?
True
Let u be (-130)/39 + 2/6. Let d be 14*(-1 - (u - -1)). Which is smaller: d or 15?
d
Let c = 0 + 4/3. Let j(y) = -y**2 + 4*y + 3. Let v be j(2). Suppose 3*i + 18 = -2*g + v*i, 0 = 4*g + 4*i - 24. Which is smaller: c or g?
g
Let a(c) = 7*c + 115. Let v be a(19). Do 247 and v have different values?
True
Let f(w) = -125*w**3 - 2*w**2 - 6*w - 3. Let q be f(-1). Do q and 0.4 have different values?
True
Let y(h) = 165*h + 209. Let s be y(-8). Which is greater: s or -1112?
s
Suppose -12 = t + 4*r, 2*r + 2 = 3*t - 4. Let n be 2 + 0 - (-2 - t). Suppose 0 = n*k - 2*i - 0*i + 12, -3*k + i = 7. Is k greater than -7/4?
True
Let y be 3*1*(-10)/3. Suppose -4*j + 16 = -3*l - l, -3*l - 6 = -5*j. Let h be (-216)/28 + 2/l. Which is bigger: y or h?
h
Let l be (-8 + 240/36)*(0 - 18). Suppose -3*s = 4*y - 40, -7*y + 16 = -3*y. Suppose s + l = 4*v. Is v >= 7?
True
Let g = -140 + 143. Suppose -2*b - 10 = 3*a, g*b = -9 - 6. Is 16 less than a?
False
Suppose 185*d - 14994 = 219*d. Is -442 > d?
False
Let d = 27 - 21. Let r be (-84)/(-135) - d/9. Is -0.1 at most as big as r?
True
Let q be (66/12 - 5)*0. Let x = 964/52143 + 2/573. Which is greater: x or q?
x
Let a = -133 + 56. Let m = 79 + a. Is -0.3 bigger than m?
False
Let g be 5 + 8*(-19)/10. Let t be 6*(-1)/2 - 6. Which is smaller: t or g?
g
Let p(k) = -68*k + 231. Let d be p(8). Is d at least as big as -314?
True
Suppose 0 = -65*d + 62*d. Let c be (5 - 4)/(13/9). Is d at least c?
False
Let r(v) = v + 1. Let g be r(-11). Let y be (-122)/(4 + 36/g). Let u = y + 4577/15. Is u not equal to -1?
True
Let r = 110 + -170. Which is bigger: r or -61?
r
Let t(r) = -2*r - 52. Let x be t(2). Is x less than -59?
False
Suppose -10 + 5 = -q. Suppose 2*o + 23 = -q. Let s be ((-20)/(-2))/(8/(-12)). Which is smaller: o or s?
s
Let v be ((-24)/(-18))/((-3)/81). Let d be (-56)/(-165) - v/(-90). Let f = 2 - 1. Which is smaller: d or f?
d
Let u = -27 + 23. Let j be (-18)/(-8) + u - -4. Let l = 4 + -1. Which is smaller: l or j?
j
Let j = 47 + -48. Let o be j/(3/12) + 5. Which is smaller: 13 or o?
o
Suppose 2*h = -o - 7 + 3, -4*h = 16. Suppose 7 = 5*p - d, -3*p + 4*d + 7 = -o*p. Let r = 422/979 - 6/89. Which is smaller: p or r?
r
Suppose 0 = 2*n + 2*j - 68 - 30, -n = 3*j - 55. Do 48 and n have the same value?
False
Suppose g + 3 - 11 = 0. Let h(p) = p**2 + 3*p - 14. Let c be h(-5). Let v be (2/g)/(c/30). Is -1 equal to v?
False
Let k = 30411.071 - 30431. Let l = k + -0.071. Which is greater: 0 or l?
0
Let u(y) = y**2 + 3*y + 47. Let q be u(9). Which is smaller: 153 or q?
153
Let v be ((-18)/(-8))/(-3)*-56. Let h be (0 - v/(-4))*6. Let i be (-8)/54*h/6. Which is smaller: -3 or i?
-3
Let q = 38.2 - 35. Let i = -3 + q. Let u be 2/(1 + (1 - -1)). Which is smaller: i or u?
i
Let s = 289 - 290. Which is bigger: s or -2/7?
-2/7
Let n be (2/3)/(4/24). Suppose -n*y - 16 + 4 = 0. Let l = 830 - 834. Do l and y have the same value?
False
Suppose 6*t = 3*t - 1248. Is -416 at least t?
True
Suppose -110 - 270 = -2*f. Let u be (f/40)/((-2)/8). Which is smaller: u or -20?
-20
Suppose 76*n + 223 + 157 = 0. Suppose -2*w = -7*w - 20. Which is bigger: n or w?
w
Let q = -11 + 7. Let g = 9 + q. Suppose -m + 12 = 5*c, -c + m + 18 = -4*m. Is c at most g?
True
Suppose 4*s - s - 3 = 0. Suppose -3*v + s = -2. Let k be ((-1)/(-10))/(v/(-6)). Is k smaller than 0?
True
Suppose 92*l + 1071 = 25*l - 86*l. Let i = -6 + 4. Is i equal to l?
False
Let h be (-66)/(-4)*(-410)/123. Which is smaller: -57 or h?
-57
Let r(t) = -2*t + 19. Let x be r(4). Suppose 1 + 59 = 5*s. Let m = x - s. Which is greater: -1/6 or m?
-1/6
Suppose 191 = 2*j + w, -w - 4*w = -5. Is 97 greater than or equal to j?
True
Let f = 32 + -29. Suppose 4*y + q + 28 = 0, -q = -y + f*y + 12. Which is smaller: y or -10?
-10
Let k(g) = g**2 - 15*g + 5. Let x be k(6). Let f = x + 62. Is 11 >= f?
False
Let z(h) = -18*h - 1. Let p be z(1). Let t = -216 + 433/2. Which is smaller: t or p?
p
Let y = 0.339 + -0.039. Let m be 2*1*((-106)/21 - -5). Which is greater: m or y?
y
Suppose 0 = 5*o - 5*k + 900, 33*k + 3 = 30*k. Which is greater: o or -179?
-179
Suppose 2*n + 3 - 1 = 0. Let t