. Is v bigger than 44?
False
Let z be -6 - 3 - (2 - 27). Let s(c) = 2*c**3 - 33*c**2 + 14*c + 32. Let y be s(z). Which is smaller: y or -20/41?
-20/41
Let j = 66 + -71. Let c(k) = -k - 5. Let v be c(j). Suppose 4*x + v = -2*t + 2, 5*x + 8 = t. Which is smaller: x or 1.7?
x
Let f = 16202 - 16332. Which is bigger: f or -1423/11?
-1423/11
Let g = 678.7 - 726.7. Are -37 and g non-equal?
True
Let d be (-2132)/(-4) + 5*(-2)/2. Suppose -3*n = -3*o - d, -3*n + 702 = 5*o + 174. Is n at most as big as 177?
True
Let x(s) = 12*s**2 - 2*s - 14. Let l be x(-2). Is 38 != l?
False
Let v be ((-22)/33)/(12/(-18)) - 2. Which is bigger: 0.00457 or v?
0.00457
Let r = -0.022 + -0.041. Let q = r - 0.937. Suppose -4*j - 70 = 4*k - 2*k, 3*k + 2*j = -85. Does q = k?
False
Let u = 8351 + -8331. Which is smaller: u or 334/17?
334/17
Let w = -289.598 + 290. Let n = w + 0.298. Is 1/10 less than or equal to n?
True
Let l = 3981 + -24001/6. Let u(y) = 12*y**2 - 410*y + 442. Let a be u(33). Is a greater than l?
False
Let h(w) = -w - 4. Let p be h(-5). Suppose -5*a + 3*r = -20, 4*r = 2*a + p - 9. Suppose a*u = 4*f - 2*f + 70, 25 = u + 2*f. Are u and 20 nonequal?
True
Suppose 8*i + 7696 = -66*i. Which is bigger: 0.07 or i?
0.07
Let w = -73 + 75. Suppose w*c + 3*c - 95 = 0. Suppose -5*v + 5*t = -36 - 24, 39 = 2*v + t. Which is smaller: c or v?
v
Suppose 93 = 43*h + 50. Which is bigger: 4/1933 or h?
h
Let l = -2501 + 2500. Is -1.721 greater than l?
False
Let d(m) = -m**2 + 12*m + 12. Let a be d(10). Let z be 6/(-11) + (-1041)/(-33). Is a bigger than z?
True
Let p = -10303 - -50677/5. Which is smaller: -167 or p?
p
Let a be ((-54)/(-2))/((-6)/(-115)*(-560)/(-896)). Which is smaller: a or 829?
a
Suppose 4*j = -3*j. Suppose -r + j*r = 0. Let v = 3049/142870 - -1/1570. Which is smaller: v or r?
r
Let u = -109.93 + 110. Let j = 2.17 + u. Let a = j + 0.76. Which is greater: a or -14?
a
Let s = -21055/22 + 957. Suppose 0 = 4*q + 2*h - 54, -4*q = -h + 2*h - 49. Let d = q + -11. Which is smaller: d or s?
s
Let b(v) = 27*v**2 + 24*v + 1. Let s be b(2). Let r(p) = p**3 - 13*p**2 - 17*p - 39. Let g be r(15). Is g <= s?
True
Suppose 0 = 162*t + 277*t - 4415901. Which is greater: t or 10060?
10060
Let m(a) = -2*a + 10 + a - 2 + 10 + 2*a. Suppose -3*l = -2*w - 43, 3*w + l = 2*w - 14. Let g be m(w). Which is smaller: 1/7 or g?
1/7
Let b = 26.963 - -0.037. Let o = b + -48. Let a = o + 20.8. Which is bigger: a or 18?
18
Let d(c) = -c**3 - 4*c**2 + 6*c + 6. Let w be d(-5). Let l = w + -2. Suppose -x + 1715 - 1718 = 0. Is x less than l?
True
Suppose -r - 1 = -2*o, 4*r = o + 2*r - 8. Let p(b) = -3*b - 44. Let f be p(-4). Let k = f - -311/10. Which is bigger: o or k?
k
Suppose -7*l = 992 - 250. Let j = 106 + l. Is j less than 5/29?
True
Suppose t + 16*m = 21*m + 1021, -4*t + 3900 = 3*m. Is t greater than or equal to 986?
False
Suppose 0 = 4*y + 3*g + 1614 - 1603, -3*y - 4*g - 17 = 0. Is y bigger than -1/1041?
True
Suppose 10*f - 33*f - 14*f - 37 = 0. Is 1/3054 != f?
True
Let j = -3512/285 + 37/3. Let n = -731 - -515. Let p be n/96 + -1 + (-27)/(-12). Is p != j?
True
Suppose 46*l = -2567 - 1849. Suppose 150 = -3*x - 5*m - 164, -4*x - 408 = 4*m. Is x at least as big as l?
False
Let m(d) be the first derivative of -d**4/2 + 2*d**3 + 4*d**2 + 5*d - 84. Let g be m(7). Is g smaller than -331?
False
Suppose -2292 = -2*m + 1480. Is m at least 1887?
False
Let n be 25015/(-11)*(0 - 7/(-7)). Let h = 2276 + n. Is 3 < h?
False
Let m = 0.26 + -2.26. Let c(h) = -4*h - 34. Let f be c(-18). Let k = f + -62. Which is bigger: k or m?
m
Suppose 3*d + 2*j + 288 = 0, 8*j = -d + 5*j - 103. Which is greater: -107 or d?
d
Let b = -3 - -4.4. Suppose -10 = -5*h + 5*s, -4*s + s - 20 = -5*h. Suppose -4*v = -h*v. Which is smaller: b or v?
v
Let d = 102 - 109. Let y be (-15)/(-35) - (1 + 3/(-21)). Which is greater: d or y?
y
Let u = -2109 - -1991.06. Let n = 118 + u. Does 1/3 = n?
False
Suppose -d + 3 = 7863*s - 7858*s, 0 = -5*s + 5*d - 45. Let c = -6617/35 - -189. Does c = s?
False
Suppose -372*f + 374*f + 42 = -8*c, -4*f = 5*c + 7. Is -92 not equal to c?
True
Let m = -958.7 + 958.934. Which is greater: m or -11/6?
m
Let k = -13313 - -13259. Which is greater: -104 or k?
k
Suppose -4*p + 5*l - 523 = 672, 2*p + 587 = l. Do p and -1451/5 have the same value?
False
Let g = 34552 - 34548.018. Is 0.2 smaller than g?
True
Let c = -2 - 6. Let h(a) = -3*a**3 + 29*a**2 + 51*a - 1. Let f(n) = -n**3 + 11*n**2 + 17*n. Let y(w) = -11*f(w) + 4*h(w). Let x be y(c). Is x >= 50?
True
Suppose 2*y + 4*l = 7*y - 12, -2*y - l = 3. Suppose -5*d + 6*d + 95 = y. Let k = 79 + d. Is -15 greater than or equal to k?
True
Suppose 77 = 5*j - 2*h, 2*h - 93 = -12*j + 7*j. Is -19 smaller than j?
True
Suppose 2*m + 6*v - 7*v = 1696, -11*m - 3*v = -9328. Which is smaller: m or -1/3?
-1/3
Let x(m) = 3*m**3 - 54*m**2 - 74*m + 24. Let f be x(19). Which is greater: -1/2 or f?
-1/2
Let s = -123251 + 123332.201. Let a = s + -0.201. Let l = -80 + a. Is l at least as big as 1?
True
Let a = -433 + 432.9625. Let b = a - -0.1375. Which is smaller: 1.29 or b?
b
Suppose 0 = 2*t, -5*d - 165 = -3*t + 4*t. Suppose 2*o + 5*n - 3*n + 66 = 0, -2*o - 5*n - 69 = 0. Let f = d - o. Which is smaller: f or 1/3?
f
Suppose -618*o + 5595 = -621*o. Which is smaller: -0.2 or o?
o
Suppose -2*h - 3861 = h. Let j be (-880)/h - 3/(-27)*-2. Is 0 >= j?
False
Suppose 3683 = 17*z - 4834. Let s = -502 + z. Is 2/2577 at least s?
True
Let o(q) = -631*q**2 + 4*q - 8. Let g be o(1). Is 13 < g?
False
Let w = 2/4891 - 49008/239659. Let l = 66179 + -66178. Which is smaller: w or l?
w
Let f(r) = 5*r**2 + 70*r. Let j be f(-14). Is -2/1077 < j?
True
Let y(x) = -13*x + 160. Let m be y(12). Let i be 2106/108*m/162. Which is smaller: i or 0?
0
Let d(s) = -2*s**3 - 21*s**2 + 25*s**2 + s + s**3 - 12. Let a be d(3). Let n = -0.022 + -0.022. Which is smaller: a or n?
n
Let z(m) = 2*m**3 - 3*m**2 - 2 - m**3 + 22*m**2 + 26 + m. Let h be z(-19). Suppose h*y = -3*o - 29, 5*o + 0*o = -4*y - 31. Which is greater: y or -3?
-3
Let p = 3286161/52096 - 2334/37. Is p <= -1?
False
Suppose 4*a + 9*s - 5*s = 56, -4*a - s = -41. Let z be a/3*24/(-18) + 5. Which is greater: 4/37 or z?
z
Let f = -161 + 801/5. Let r(j) = j + 15. Suppose -9*h - 176 = 2*h. Let l be r(h). Which is smaller: l or f?
l
Let w(r) = 429*r - 7500. Let c be w(17). Are c and -204 non-equal?
True
Suppose 455 = -12*i - 421. Let z = -70 - i. Let b(s) = 3*s + 58. Let n be b(-17). Is n less than z?
False
Let m(y) = 18*y**2 - 53*y - 63. Let z be m(12). Is z less than 1891?
False
Let d = -118 + 123. Suppose -3*g + 8*q - 3*q = -23, 18 = -2*g - d*q. Let l = 9704/21 + -462. Is g equal to l?
False
Let z be (-3 - 2953)*1/(-6). Let s(r) = -281*r - 7358. Let w be s(-28). Let m = z - w. Which is smaller: m or -18?
-18
Let w = -0.3 - -1.3. Let o be 64/(-896) - 15/(-70). Which is greater: w or o?
w
Let i(m) be the first derivative of -3*m**4/2 + 4*m**3/3 + 3*m**2 + 2*m - 41. Let r be i(-2). Is 56 at most as big as r?
False
Let m(l) = -6*l**2 + 106*l + 106. Let h be m(14). Which is smaller: h or 416?
h
Let v be 3/(-7) - ((-14348)/(-119) + 17). Which is bigger: v or -13?
-13
Let c = 1331/741 - 41/57. Is c bigger than 14?
False
Suppose 8 = -2*q + 14. Let l(i) = -i**2 + 4*i + 2. Let j be l(q). Suppose 4*g - 4*d - 1 = j*g, 0 = 3*g - 5*d - 31. Which is smaller: g or 8?
g
Let w = 185.0282 + -185. Let z = w - -111.1718. Let c = 35.8 + z. Is 0.1 less than or equal to c?
True
Let g be (-9)/(-3) + -2*303/3. Let i = -2377/12 - g. Which is smaller: i or 1?
i
Suppose 0*f - 18*f = 1224. Let i be 1734/f*28/(-6). Which is bigger: 120 or i?
120
Let p be -5 + 4 + -6 + -67. Which is smaller: p or -58?
p
Let m be 4356624/(-311168) + 14*1. Which is smaller: 1 or m?
m
Let q = 22 + -20. Suppose -4*t - 5*r + 10 = 0, -4*r = q + 6. Suppose -t - 3 = 8*c. Which is smaller: 3/34 or c?
c
Let r(z) = -z**2 + 33*z + 56. Let j be r(14). Let y = 323 - j. Let q = 1022479/309 + -3309. Is y <= q?
False
Suppose -7*d + 36 = -5*q, 6*d = 2*d + 2*q + 18. Is 160/51 at least d?
True
Let g(i) = i**2 + 145*i + 108. Let l be g(-8). Which is greater: -987 or l?
-987
Suppose 0 = 2*o + 3*f - 31, -f + 7 = -2*o + 18. Suppose 3*k = o*k - 90. Suppose -12*p = -k*p - 66. Which is smaller: p or -9?
p
Let m(l) = -9*l**2 - 1210*l + 8667. 