 12 = -0*b - b, 0 = b - k - 6. Is 13 less than or equal to b?
False
Let v be (19 + -14)*(-22)/(-5). Let c(k) = -k**3 + 10*k**2 + 12*k - 8. Let l be c(11). Suppose -w = 4*s - 4*w - 69, -l*w + 36 = s. Is s != v?
True
Let k(j) = -j**3 + 5*j**2 - 17*j + 29. Let z be k(3). Which is greater: z or 0.115?
0.115
Let f = -6.18 + 6.193. Is f not equal to 3?
True
Let u(l) = l**3 + 4*l**2 - 6*l + 3. Let t be u(-5). Suppose r + 3 - t = 0. Let o be (-1)/r + (-42)/(-35). Is 0 smaller than o?
True
Let o be 32/80 + 1948/5. Is o greater than 390?
False
Suppose 0 = 4*f - 3*d - 372 - 2778, -5*f + 3934 = -2*d. Which is smaller: f or 2356/3?
2356/3
Let u = 0.018 - -4.982. Let o = u - 5.1. Let h = -0.14 - 5.86. Which is greater: h or o?
o
Suppose -2*m + q - 283 = 0, 3*m - 3*q + 9 = -408. Is -1 < m?
False
Let l = -4.014 - -2.407. Which is smaller: 0.1 or l?
l
Let y = 38 - 36. Suppose 3*w - 468 = -w. Let n be (-1)/(w/(-6))*-3. Which is smaller: y or n?
n
Let n = 176 + -187. Do n and 5 have different values?
True
Let n be -18 + 9/(5 + -2). Let l = n + 6. Let f be (1 - 6) + (-9)/((-9)/(-4)). Is f not equal to l?
False
Let m = -0.5 - 4.5. Let b = -172.921 + 173. Let x = b + -1.079. Is x < m?
False
Suppose 9 = o + 3. Let y be (-45)/(-27) + (-4)/o. Which is bigger: 2/189 or y?
y
Suppose -h = -2*k - 8 + 19, 6*h - 2*k + 46 = 0. Which is greater: h or -8?
h
Suppose 5*b = -m - 31, -5*b + b = 3*m + 71. Let d = m + 67/3. Which is smaller: 1 or d?
1
Let z = -1/14436 + 101249/2843892. Is -1 smaller than z?
True
Let t = 5.8 + 53.2. Let f = t + -58.98. Are f and -0.02 unequal?
True
Let r(i) = -2*i**3 + 5*i**2 + 12*i - 24. Let y be r(3). Which is smaller: 42/13 or y?
y
Let p = 806/11 + -73. Is 1 smaller than p?
False
Let k = -108 + 108. Let u be (-334)/(-1272) - 5/20. Let q = 481/318 - u. Is k at most q?
True
Let n be ((-5837)/(-1911) + -3)*6/(-248). Which is smaller: 0 or n?
n
Let k = -147 - -147. Let c be (-83)/217 + 2/7. Which is greater: c or k?
k
Let t = -935/2 - -323. Which is bigger: t or -145?
t
Let n be 30/(-2) + -3 + 2. Let w be (748/(-66))/((-2)/(-3)). Which is smaller: n or w?
w
Let r be (-2)/17 + 10/85. Suppose l + 8 - 19 = r. Are 8 and l nonequal?
True
Let x(l) = l**2 - 86*l + 187. Let o be x(49). Is o at most as big as -1626?
True
Let u be (3 - 0) + 8 + -9. Suppose 41 = u*j - 19. Suppose 5*f - 4*f = 2, 0 = 4*g - f - j. Which is smaller: 4 or g?
4
Let r be ((-170)/3)/((-6)/189). Let u be r/(-460)*(-2)/(-311). Let j = u - -1/311. Which is smaller: j or -1?
-1
Let b = -465.2 - -465. Is b > 158?
False
Let v be 26/(-117)*41/50. Let w = 1/25 - v. Are w and 0 equal?
False
Let v = 3.6 + 14.4. Let k = v + -15. Which is smaller: -2/9 or k?
-2/9
Let i be ((-45)/42)/((-185)/730). Let h = i - 19/37. Is h bigger than 5?
False
Suppose -8 = 4*s - 4*u, 40 - 5 = 5*s + 4*u. Is -6 != s?
True
Let a be (-12)/4 + (-20783)/(-6930). Is a at least 1?
False
Let x = -10 + 2. Let c(q) = -q**2 + 15*q - 11. Let w be c(15). Is w at most as big as x?
True
Let a = -275/4 + 139/2. Let l be 3 - 3 - (-6)/4. Which is smaller: l or a?
a
Let o = -15.91 + 16. Suppose 2*g - g + 2*d = -4, g - d - 5 = 0. Which is greater: o or g?
g
Suppose 6*l = 2*l - 3*n + 420, n = 4*l - 404. Let c = l - 102. Which is smaller: -2/13 or c?
-2/13
Suppose -2*j + 653 = 2*n - 3, 4*j - 3*n - 1277 = 0. Are 321 and j equal?
False
Suppose h + 2*h = -t + 2, 60 = -4*t + 5*h. Let m be ((-4)/(-8))/(3/(-66)). Which is smaller: m or t?
m
Let z = -20.26 - -0.26. Let y = -18 - z. Are 1/4 and y nonequal?
True
Suppose 2*q + 3*q - 66 = -4*u, -2*q + 3*u + 31 = 0. Let w be (-13)/(-2) + (q/4 - 3). Suppose y + 0*r + 4 = 5*r, 0 = -y + r. Are w and y unequal?
True
Let s be -4 - 4 - (4 - 13). Suppose -5*o - 10 - 6 = -l, 4*l + 2*o = -24. Let g = -4 - l. Which is greater: g or s?
s
Let z = 710 + -2096/3. Suppose 15 = 3*t - m - 18, -t = 3*m - 1. Is z at most as big as t?
False
Suppose -10*m = -12*m + 8. Let c be 15/12 - -3 - m. Which is smaller: 1.9 or c?
c
Suppose 17*g - 16*g = 8. Suppose 4 = 3*a + 2*v + 52, -1 = -a + 5*v. Let p = g + a. Which is smaller: p or -4?
p
Suppose 386*w = 395*w + 27. Are w and -117/28 equal?
False
Let c = -5 + 19. Is c != 2/7?
True
Suppose 849 = -7*r - 1153. Which is smaller: r or -285?
r
Let t = 0.089 - 1.089. Is 21 at least t?
True
Let b = 0.97 + -0.27. Let r = -18.7 + b. Let s = -11 - r. Which is bigger: s or -0.2?
s
Let n be (-6)/(-4) - 15/10. Suppose 8*b - 13*b = n. Suppose -p + b = s - 4, -3*p + 16 = 4*s. Is p equal to 0?
True
Let k(d) = -7*d**3 - 5*d**2 - 13*d - 2. Let x(r) = 3*r**3 + 3*r**2 + 6*r + 1. Let y(h) = 2*k(h) + 5*x(h). Let s be y(-4). Is s >= 1/39?
True
Let t = 1.1 + -0.7. Let c = t - 0.4. Is 0 bigger than c?
False
Let c = 1925 + -1728. Is 989/5 < c?
False
Let b = 0.084 - 18.084. Is b >= 2?
False
Let h = 15/19 + -16763/21185. Which is smaller: -1 or h?
-1
Let r be (33/(-22))/((-6)/(183*4)). Is 181 greater than or equal to r?
False
Let m(a) = a**3 + 6*a**2 + 5*a. Let n be m(-4). Let r be (-1)/(-2 + 1 - n). Let c(w) = w**2 - 4*w + 3. Let f be c(3). Which is greater: r or f?
r
Let z(p) = p**2 + 2*p. Let o be z(-2). Let f(d) = -7*d - 3. Let i be f(8). Let g = 355/6 + i. Which is smaller: g or o?
o
Let p = 5 + -6. Let v = p - -2. Let b be -3 + ((-225)/(-12))/5. Which is greater: v or b?
v
Let r = 520 - 518. Let u = 6 + -11. Let d = u + r. Is d < -0.1?
True
Let h = -193.53 + 195. Let r = -0.87 + h. Which is smaller: 5 or r?
r
Suppose -3*g = 12, -5*g + 4*g = m + 8. Is 12 smaller than m?
False
Suppose -u - 9*u - 860 = 0. Let d be (3/3)/((8/(-4))/u). Are 43 and d non-equal?
False
Let u = 41.76 + -41. Let a = u - 0.9. Let i = 1.14 + a. Do i and 1/12 have the same value?
False
Let d = 60 - 109. Let x be (-7)/(d/25) + -2. Which is bigger: x or 1?
x
Suppose i = 4*a - 3*i + 76, 3*a = -3*i - 33. Let z be -7 - -3*(-10)/a. Which is bigger: z or -7/2?
-7/2
Let k = 24 - 10. Suppose -3*q = -13 - k. Let x be (-66)/q - (-3)/9. Which is greater: -5 or x?
-5
Let s = -7/2 - -4. Let c = 17 - 17. Is s at least c?
True
Let a be 1/(2/(-6)) + (3 - -1). Let t = -3823/70 + 751/14. Let v = t - -11/7. Which is smaller: a or v?
v
Let j(o) = -31*o - 1. Let n be j(-3). Suppose 0*g + 4*g - n = 0. Which is smaller: g or 22?
22
Let n be 4 + 0 - 663*4/20. Let x = n + 129. Which is smaller: x or 146?
x
Let p = 2701 - 2774. Which is bigger: -74 or p?
p
Let r = -232 - -242. Is 35/4 equal to r?
False
Suppose 33*t = -80*t - 6328. Let l = 24 - 79. Is l bigger than t?
True
Let t be -6 + 11 + -1*4. Let y be 2*t + (14 - 13). Let j = 3 - 2. Is j equal to y?
False
Let i = 4.8 - 5. Let b be (4/(-8))/(11/77). Which is smaller: i or b?
b
Suppose 5*p + 73 + 107 = 0. Let j be (4/16)/(p/(-64)). Is 1 <= j?
False
Let u(i) be the third derivative of -i**5/60 - 5*i**4/24 - 11*i**3/6 + 3*i**2. Let z be u(-2). Is -3/4 less than or equal to z?
False
Let j be 7/(-14)*-2*0. Are 0 and j unequal?
False
Let c = 51 - 50. Suppose -c - 29 = 5*d. Let m = 112/3 - 43. Which is smaller: d or m?
d
Let a = -76.7 + 74.2. Is -1 greater than a?
True
Let i(z) = 3*z**3 - 3*z**2 + 5*z - 15. Let b be i(6). Let t be b/150 - (-1 + 5). Is t >= 0?
False
Let z be (-1 - -1) + (-48)/(-2). Let r = -304/5037 - -7/69. Let f = 67/146 + r. Is z at least f?
True
Let w = -29.8 - -32. Let l = -1.9 + w. Which is bigger: 2/11 or l?
l
Suppose 3 - 13 = -j + 5*l, -2*l - 44 = -2*j. Which is greater: 23 or j?
j
Let r = -407/2 - -208. Let w = -276 + 280. Is w less than r?
True
Suppose 25 = -19*i + 17*i - 5*l, 0 = -l - 5. Is -2/1691 greater than i?
False
Let f = -474 + 475. Which is bigger: 3/620 or f?
f
Let m(s) = 5*s**3 - 5*s**2 + 9*s + 5. Let n(o) = o**3 + o + 1. Let q(h) = -m(h) + 4*n(h). Let i be q(4). Which is smaller: i or -6?
-6
Let z be (-2)/9 - 6220/36. Is -172 greater than or equal to z?
True
Suppose 5*d + 2*f = -3*f - 70, -f - 41 = 4*d. Let b(l) = l + 8. Let k(r) = -r**2 - 20*r - 16. Let q be k(-20). Let t be b(q). Which is bigger: t or d?
t
Let h be 66/(-297) + 40/18. Which is greater: -1 or h?
h
Let c = -1/3774 - -152219/3774. Which is bigger: 39 or c?
c
Let m = -36/17 + 2810/1343. Are 9 and m non-equal?
True
Suppose -1896 = -285*m + 281*m. Is 472 > m?
False
Let g = -44 - 2. Let h = 79 + g. Are 34 and h non-equal?
True
Let u = 17.981 - -0.019. Which is bigger: 2 or u?
u
Let w(t) = t**2 - 16*t + 19. Let