-217)/14 + ((-35)/10 - -3). Let l be (v + 14)*2/(-5). Suppose 3*n + 3*z - 8 = -2*z, -n + 3*z - 2 = 0. Is n equal to l?
False
Let z(p) = -p**3 + p**2 - 3*p - 1. Let i be z(-3). Let h be 1/(-2)*(i + 0). Let b be (-50)/7 - (h - -20). Are -5 and b nonequal?
True
Let k = -4439.93 + 4440. Let v = 10 + -9.2. Let a = v - 3.8. Which is smaller: a or k?
a
Let m(l) = -6*l + 21 - l**2 + 25*l + 54 + 28. Let b be m(25). Is -42 greater than b?
True
Suppose z = -2*r - 3450, r = 3*z + 3114 + 7187. Which is smaller: z or -3437?
-3437
Let r = 1097 - 1097.633. Let w = r - -0.733. Is w <= 93?
True
Let z(i) = -i + 6. Let o be z(7). Let g(b) = -b**3 - 14*b**2 - 2*b - 30. Let a be g(-14). Let t be ((-13)/(-286))/((-1)/a). Which is bigger: o or t?
t
Let k = 0.446 - 0.245. Let q = 76249 - 76249.2. Is k at least q?
True
Suppose 5*f - 4*c = 337, 3*f - 5*c - 136 - 61 = 0. Let v = 20720 + -103598/5. Which is smaller: v or f?
v
Let k = -26/15 - -16/45. Which is smaller: -2 or k?
-2
Let b be ((-988)/400)/(-19) - (-1)/(-5). Let z = b - -389/200. Which is greater: z or 1?
z
Let p be (-5)/(-2)*(-60)/(-25). Suppose -p*y + 485 = -25. Are y and 83 equal?
False
Let i(v) = -3*v + 83. Let a be i(29). Let m be 1 + a + (-4 + 4 - -91). Is 88 less than m?
False
Let a be (4 + ((-2)/(-1))/2)/(8/(-8)). Is a at most as big as -0.126?
True
Let y be ((7 - 0) + (-4 - -2))/1. Suppose -3*h + 9 = y*v, v - 3*h + 12 = h. Which is greater: -2/377 or v?
v
Let y be 14 + (-798770)/61446 + -1. Which is bigger: y or 1?
1
Let r = -4697 - -4714. Which is bigger: r or 28?
28
Suppose 0 = 182*o - 173*o - 3294. Let f = -359 + o. Which is smaller: f or 6?
6
Let f = -865 + 1241. Suppose -k = -5*r - f, 30 = 3*r - 3*k + 246. Which is bigger: r or -75?
-75
Let k be ((-1)/8)/(9/(-24))*543. Let z = k + -729/4. Suppose -t = -3*t - 2. Is z >= t?
False
Let v = -10245.6 - -10245. Which is smaller: 1.063 or v?
v
Let c = -36990 + 4401874/119. Is c < 1?
True
Let j = -61574/7 - -8796. Is j < 8342?
True
Suppose -27*j - 537 - 246 = 0. Which is smaller: j or -37?
-37
Let r(j) = -j**2 + 35*j - 142. Suppose -19*q = -17*q - 66. Let h be r(q). Is -77 greater than h?
False
Let l(t) be the first derivative of t**2 - 13*t - 55. Let x be l(4). Are -3 and x unequal?
True
Let r(s) = 3*s**2 + 79*s - 55. Let z be r(-27). Which is greater: 28/93 or z?
28/93
Let p = -132 - -142. Suppose -4*n + p - 22 = 0. Which is smaller: n or -0.2?
n
Let o be (-5*9/(-2))/((-30)/(-40)). Suppose 2*x - 57*q - 64 = -56*q, -5*x + 4*q = -160. Does o = x?
False
Let s be -2 + (-1 - (-54)/14). Let b = -2.4507 + 2.3607. Which is smaller: b or s?
b
Let s(i) = -22*i - 153. Let m(n) = n**3 + 4*n**2 + 2*n + 1. Let r be m(-4). Let w be s(r). Is 2/503 <= w?
True
Let v be (2/2)/(1 + -4). Let d = 74 + -134. Let s be ((-24)/15)/(48/d). Which is greater: s or v?
s
Let y = -11334 - -12305. Which is greater: y or 979?
979
Let h be (-2435)/(-1948) + (-106)/24. Do -18 and h have different values?
True
Let g = -65/14 + 1443/350. Let n(m) = m**3 - 70*m**2 + 1032*m - 149. Let j be n(49). Do g and j have the same value?
False
Let v = 0.016 - -2.884. Let d = v - -3.1. Let l = -4.24 + 4.29. Are d and l unequal?
True
Let m be (-3)/(15/(-2))*10. Let f = m + -27. Let p(l) = -27*l**2 + 4222*l - 1584. Let w be p(156). Does f = w?
False
Let n = 2390 + -2385.44. Which is greater: n or -0.2?
n
Suppose n - 4*a = -7, -3*n - 3*a + 18 = -6. Suppose -428 = -4*h - 0*h - 4*g, n*g + 361 = 3*h. Which is greater: 111 or h?
h
Let o be 159064/1770 + 2/(-3). Is 88 less than o?
True
Let c = -196600/2844293 - 4/16441. Which is bigger: c or -1?
c
Let r(c) = -c**3 - 9*c**2 - 18*c - 22. Let w be r(-7). Let l(a) = a**3 - 9*a**2 - 8*a + 9. Let f be l(10). Let b = -24 + f. Which is bigger: w or b?
w
Let w = 12.91 + -1.91. Let z = -17 + 18. Is z < w?
True
Suppose 5*h - 140*l = -139*l - 95, 5*l = -h - 45. Let m be (1/(-1) - 18)*-1. Let j = m + h. Does j = -2?
False
Let d = 22.016 - 22. Let i = 1/17 + -37/51. Which is smaller: d or i?
i
Suppose 7173 = 5*v + 2*h, 5*v - 10*v - 3*h = -7172. Let y be -1*(4 - 1) + v/49. Is 25 greater than y?
False
Let z(g) = 3*g**2 + 12*g - 1. Let a be z(-5). Let h be 886/6 + (-28)/a. Let o = 144 - h. Is -2 at most as big as o?
True
Let r be 2 + (-3)/(-15) - (-2 - -4). Let l = -18/5 - -136/35. Which is bigger: l or r?
l
Let c = -5.037 + 4.037. Is 108/37 > c?
True
Let z = 13028 + -12177. Which is bigger: 5/2 or z?
z
Let k be (24246/12 - 18/12)*8/12. Which is smaller: k or 1347?
k
Suppose -3*k + 90 + 48 = -3*s, -k - 40 = s. Let g = 303 + -101. Let z = g + -202.1. Which is bigger: z or s?
z
Suppose -j = -7*j - 138. Let n = j + 19. Let m be (4/3)/(428/(-2) + n). Is 0 at least as big as m?
True
Suppose 0 = 2*h + 4, 356 = -5*k - 2*h - h. Suppose -8*b + 536 = 257 - 281. Let l = b + k. Do l and -1/55 have different values?
True
Let g(f) = 4 + 6 - 21*f**2 - 6*f**2 - 1 - 9*f - 5*f**3 + 10*f**3. Let h be g(6). Which is greater: 64 or h?
64
Let q = 40.6 - 25. Let n = 15.7 - q. Is 100 smaller than n?
False
Suppose 3*s + 14088509 = 2*r, -4*r + 9*s - 4*s = -28177017. Let b = r - 387452007/55. Let t = b - -329. Is t != 1?
True
Let p(d) = d**3 + 8*d**2 + 16. Let k be p(-8). Suppose -2*g + 20 = k. Suppose s - j + 6 = 6*s, g*j = -5*s + 7. Does -2 = s?
False
Let n be 2/(-6)*(-1575)/21. Is 37 >= n?
True
Let d = -445889 + 16925011/38. Suppose -q - y + 504 = y, -1956 = -4*q + 4*y. Let o = q + d. Which is smaller: 0 or o?
0
Let h(s) = 2*s + 5. Let n be h(-3). Let z(r) = r**2 - 4*r - 2. Let b be z(4). Let k be (n - 4/b) + 106/(-110). Which is smaller: k or -1?
-1
Let x = -3/284 - -6005/57652. Let c = x - 3641/43239. Which is greater: c or 0?
c
Let c(g) = g**3 - 87*g**2 - 90*g + 160. Let f be c(88). Which is smaller: f or 5/2?
f
Let z(w) = w**2 - 8*w + 13. Let n be z(6). Suppose 18 = 4*b + 3*s - n, 5*b + s = 21. Suppose -b*a - 120 = -0*a. Which is smaller: a or -29?
a
Suppose -5*p + 11*p = 78. Let d(o) = 39*o - 30. Let s be d(p). Let f be (4/(-18) - -1) + 106/s. Is 2/13 >= f?
False
Suppose -5*h + 22 = -6*h. Suppose b + b = 14. Suppose b*w - 32 = -193. Is h bigger than w?
True
Let d be -1 - ((-116)/10 + (-178)/445). Let c(b) = b**3 - 8*b**2 + 8. Let s be c(8). Which is smaller: s or d?
s
Suppose -m - 3*l - 710 = -5*m, -3*m - l = -526. Suppose a - m = 5*w, 0 = -4*w - 6*a + a - 135. Let h = w - -803/23. Which is greater: 3 or h?
3
Suppose -2*z = -4*v + 10, -11*v + 14*v - z = 5. Let u = 12 - -11. Is v < u?
True
Suppose -2*g + g = -12. Let i = g - 8. Let a be ((i + -4)/(-5))/2. Is a >= -3/29?
True
Let s(h) = -h**2 - 93*h - 817. Let r be s(-82). Let o be 5/(10/172) - -1. Which is greater: r or o?
o
Let m(g) = g**3 + 9*g**2 + 10*g + 15. Let s be m(-8). Let l be ((-6)/(-2))/(25 - -82). Is s > l?
False
Suppose k + 45 = 4*r, 3*k + 30 + 116 = r. Let o = -55 - k. Is o at least -6?
True
Let k(p) = -2*p**3 + 68*p**2 - 65*p - 34. Let q be k(33). Is q at least 1/896?
False
Let j = -457/3 + 151. Let x = -109 - 295. Let z = -404 - x. Which is smaller: j or z?
j
Let s = -391 - -392. Let l be (s - 3)*506/44. Which is smaller: l or -25?
-25
Suppose -4*p - 54 = -42, 5*p = 3*h - 1953. Is h > 644?
True
Let c be 2/7 - (144/14 - -4). Let y be (6/(-8))/(c/56). Suppose -j + 2*g + 9 = -2*g, -3*j = -g - 5. Which is smaller: j or y?
j
Let v be (-1059)/(-30) + (-17)/(850/15). Which is smaller: -9 or v?
-9
Let r(u) be the first derivative of 16*u**2 - 77*u + 110. Let a be r(6). Do a and 113 have different values?
True
Let h = -10266 - -10123. Which is smaller: -146 or h?
-146
Suppose -3*d = -2*y + 430, 2*y + 739*d - 740*d = 414. Is y not equal to 809/4?
True
Let k = -3569 - -3569.1. Which is bigger: k or -0.0063?
k
Let w = 85 + -80. Suppose 5*s + 8 = -h, 3*h - 2*s = 2*s - w. Let f(l) = -4*l**2. Let x be f(2). Is h smaller than x?
False
Let p = 34249002/17 + -2015248. Let o = -601 - p. Is o greater than -1?
True
Suppose 2*q = -6, 3*d - 2418 = -q + 150. Let r = 9425/11 - d. Let b = 127/360 - -1/45. Are r and b nonequal?
True
Let b be 1*((-8)/(-2) - 4). Suppose 128 = 4*z + z - h, -4*h - 12 = b. Let r = z - 1227/49. Which is bigger: -1 or r?
r
Suppose 440*l - 430*l + 20 = 0. Do l and 3.71 have the same value?
False
Let v be 6/(-10) + (-6849)/(-11190). Let i = 237327/8206 - v. Is i less than 28?
False
Let i = -124 - -235. Let l = 108.8582 + 0.1418