2. Is y smaller than z?
False
Let s = -216 + 372. Let m be 2/12 - 16978/s. Are -110 and m equal?
False
Let c(w) = -5*w**2 - 83*w + 42. Let t be c(-17). Suppose -t*q - 3*q = -726. Is q greater than -1?
True
Let a = -16.453 - 0.627. Let r = a - -17. Let l = -2.32 + r. Are l and -0.1 non-equal?
True
Let u(j) = 2*j**3 + 13*j**2 + 2*j - 4. Let l be u(-5). Suppose -51*z - 10 = -l*z. Which is greater: -4/87 or z?
z
Let h(w) = 48*w - 694. Let n be h(10). Are -641/3 and n equal?
False
Let a = 24464.22 + -24464. Which is smaller: -4.2 or a?
-4.2
Let v = -364.9265 - -365. Let l = -0.0265 - v. Is l equal to 147?
False
Let m = 77.7 + -71. Let f = 36.3 + m. Let b = f + -71. Is b less than -0.2?
True
Suppose 0 = -9*h + 13*h - 56. Suppose y = -4*a + 19, 3*a = -a - 2*y + h. Suppose -2*l = -a*l - 160. Which is smaller: l or -41?
-41
Suppose 4*h = 3*g + 86, 0 = -4*g - 5 - 3. Suppose -35*b = -36*b + h. Which is smaller: b or 17?
17
Let b(x) = -2*x**3 - 66*x**2 - 120*x + 123. Let l be b(-31). Which is greater: -1237 or l?
l
Let m(c) = 29*c + 4. Let f(d) = -d**2 - 17*d - 15. Let n be f(-16). Let x be m(n). Suppose 3 = -3*i + x. Which is greater: i or 8?
i
Let i be (4200/45)/20*(-4)/(-42). Is 84 smaller than i?
False
Let q = -11912 + 10334. Is -1581 < q?
True
Suppose -3*f - 2 = -5*f. Let m be 1*8 + f - 1. Let c = -4063279/4 - -1015820. Which is smaller: m or c?
c
Let g(o) = o**2 - 1. Let j(w) = -w**3 + 36*w**2 - 29*w - 10. Let m(a) = 4*g(a) - j(a). Let r be m(31). Which is bigger: r or -54?
-54
Let j be (-4 + 55)/(9/207). Let i be 24/(-204) - (-87)/j. Which is smaller: -1 or i?
-1
Suppose -12*q - 2*w = -10*q - 176, 5*q - 485 = 4*w. Is q at least 93?
True
Suppose 8*x + 675 = -7*x. Let a = -74 - x. Which is smaller: -30 or a?
-30
Suppose 0 = -13*w - 70 + 70. Which is smaller: 128.3 or w?
w
Let i = -109 + 161. Let m = 243 - 187. Let r = m - i. Which is greater: 5 or r?
5
Let o(y) = y**3 + 26*y**2 - 26*y + 25. Let w be o(-27). Let v be w/7 + (-76)/126. Is -1 < v?
True
Let s = -13 + 27. Let a be 9/63 + (-2)/s. Let u be (-56)/26 - (-1 - 1). Which is greater: a or u?
a
Let z = -735/23 + 32. Let q be -2*((4 - 6) + 1). Suppose -3*p + q = -5*p. Is p at most as big as z?
True
Let a = -48159/2365 + -1/2365. Is a at least -20?
False
Let l be 130420/(-175) - (-112)/(-70). Let u = 1389 - 640. Let b = u + l. Which is smaller: 2 or b?
2
Suppose -u + 3*a - 62 = 0, 5*a = 3*u - 116 + 294. Let v = u + 61. Let b be (-2)/(((-20)/64)/v). Which is greater: b or 31?
b
Let m = -5311 - -4805. Is -507 smaller than m?
True
Let h(y) = 8*y**2 + 182*y - 82. Let v be h(-24). Which is bigger: 169 or v?
169
Suppose -3*i = 2*d + 574, -3*i - 525 - 44 = d. Let g = i - -9. Is -179 greater than g?
False
Let d = -6.291 + 6.691. Is d bigger than -4/55?
True
Suppose 5*q = 20, 4*t - 1155 + 47 = 5*q. Suppose -294*u + 24 = -t*u. Suppose 0 = -2*v + p + 4, 2*p + 2 - 18 = -4*v. Which is bigger: u or v?
v
Let w = 29 + -39.9. Let k = -20504 + 20493. Let o = k - w. Is 3.8 >= o?
True
Suppose -2*l = -3*w + 11, 0 = 3*l + 6*w - w - 12. Let d be l + (-7 - -2)/5. Is d > 23?
False
Let z be (-2 + (-5)/(-3))/(5453/247). Is z equal to 1?
False
Let b be (-5 + -2)/((-9)/(-189)). Is b <= -146?
True
Let a(x) = -3*x + 7. Let f be a(-4). Let v = 15 - f. Suppose 0 = -3*n + w - 0*w - 3, 5*n + 15 = 5*w. Does n = v?
False
Let x = 913 - 903.5. Let k = 3.5 + 5.7. Let d = x - k. Is -7 > d?
False
Let p be (-35)/(-7) - (-1 + -5). Let t be (-3)/(0 - 3) - 5. Which is smaller: t or p?
t
Let o(y) = -485*y - 1028. Let s be o(-6). Which is smaller: 0.1 or s?
0.1
Let b = -0.0975 - 715.9025. Let d = b - -703. Is 19 > d?
True
Let j = 0.4 - -2.6. Let y be 3 + -6 + 4 + (-2 - 0). Let a be (-212)/40 - y - -4. Which is bigger: j or a?
j
Let j = 3038 + -3036. Let m be ((-12)/144)/((-1)/(-2)). Which is smaller: j or m?
m
Let z be 386/(-2)*(0 - -2). Let v = z - -2712/7. Suppose 2*b - 34 = 3*l, 2*l - 100 = 4*b - 128. Is b bigger than v?
True
Suppose -4*f = -8, -2*l + 22*f - 96 = 21*f. Let i = -32 - 17. Does l = i?
False
Let v = 78 - 81. Let x be ((-2)/4)/((-18387)/(-324)). Is x smaller than v?
False
Let m(z) = 347*z + 1305. Let w be m(-4). Is -56 < w?
False
Let d = 5316100/29 - 183292. Which is smaller: 23 or d?
d
Suppose -3*x - 7*p + 23 = -3*p, -5*x + 3*p - 10 = 0. Let o = x + -4. Let a = -81 - -85. Is o greater than a?
False
Let k = 22876/11 + -2079. Let f be ((-14)/(-5))/(4/10). Suppose f = b + 5. Is b > k?
True
Let b be (-12)/(-8)*7476/(-357). Is -30 >= b?
True
Let m(r) = -r**3 - 61*r**2 - 342*r - 659. Let w be m(-55). Are w and 2/55037 unequal?
True
Let t = 207.17 + -207. Let q = -0.3 - -0.46. Let u = t - q. Is u at most -2/3?
False
Let k(v) = -2*v - 4. Let r be k(5). Let j = -243 + 245. Suppose 9*f - 10*f = j*d + 17, 3*f + d + 46 = 0. Which is greater: r or f?
r
Let o = -27.0294 - 0.0206. Let v = 26.8 + o. Is v greater than or equal to -0.5?
True
Let f = -382 - -351. Is -392/13 greater than or equal to f?
True
Let v be 54/3*(4 - 5). Let i be ((-9)/(-1170))/((-2)/(-4)). Let s = -3637/195 - i. Which is greater: v or s?
v
Let q(m) = m**3 - 34*m**2 - 20*m + 169. Let y be q(34). Which is smaller: -519 or y?
-519
Let v be (-3)/(-9) + 4191/9. Suppose -5*f - 411 = -v. Which is smaller: 3 or f?
3
Let l = 171.994 + -168.994. Let i = 86 - 86.043. Which is smaller: l or i?
i
Let v = -5785/211792 + 3/112. Is v bigger than -1?
True
Suppose -2*t = 11*t + 78. Let q(f) = f**2 - f + 8. Let j be q(4). Let i = j - 29. Is t < i?
False
Let b(t) = -t**2 - 25*t + 24. Let y be b(-19). Suppose 0 = 2*u - 6*u + 556. Is y >= u?
False
Let v(h) = -h**3 + 45*h**2 - 50*h - 1680. Let q be v(43). Which is bigger: q or -5?
-5
Let z = 6612233/37335 + -8/37335. Let o = 177 - z. Does -1 = o?
False
Suppose 5*a + 376 = -4*z, -6*a + 5*a = -z + 77. Let c be a/(-42) - (0 - -2). Let f(u) = -u**2 - 310*u - 4145. Let m be f(-14). Which is bigger: c or m?
c
Let v(l) = -103*l - 3. Let k be v(1). Let z = 141 - 248. Is z less than k?
True
Let t = -566942/7 + 80314. Let s = -678 - t. Is s at least 0.17?
False
Let z = -165 - -192. Let k be (-66)/(-20)*9/z. Are 1 and k non-equal?
True
Let t(x) = 86*x + 2. Let w be t(4). Let u = -178180 + 178524. Is u greater than w?
False
Suppose -2*x - 3*x - 5*w = -35, 0 = 5*x - 2*w. Let a be -1*x*(100/(-15) - -7). Let z = -0.04 - 0.007. Is a at least as big as z?
False
Let m = -0.01 - 4.99. Let q = -15.1 - -3.1. Let h = q + 13. Does m = h?
False
Let b = 255/23 + -40591/3657. Let a(k) = -k**3 + 19*k**2 - 30*k - 41. Let y be a(17). Suppose y*f = 26*f. Is f > b?
True
Suppose 0 = -11*z + 380 + 291. Let q = z + -61. Which is smaller: q or -72?
-72
Suppose j = -32 + 39, -3*g = 4*j + 185. Is -60 less than g?
False
Let k be -3 - -1 - (3 - 6). Let s = -9 + 6. Let y be (s + 4)*(-15)/85. Is y greater than k?
False
Suppose 41 = 12*u + 281. Let l be (-6)/15 - 1648/u. Is 83 less than l?
False
Let b = 2931 + -2870. Which is smaller: 2/7 or b?
2/7
Let g = -44 - -50. Suppose 0 = 5*f - 3*f - g. Suppose -f = -5*a + 4*a. Which is bigger: 14/5 or a?
a
Suppose 6753 = 17*s + 871. Let d = s - 164. Which is greater: d or 181?
d
Let m = -0.142 + -6.858. Let w = 10 - 9.42. Let s = 0.18 - w. Is m greater than or equal to s?
False
Let b = -148867627/232144 + 7054/11. Which is bigger: -1 or b?
b
Suppose -2*p - 192 = -5*p. Let x be 3/8*(p/12)/8. Is x less than -0.01?
False
Suppose 14*q - 72293 - 47966 = 53971. Is 12447 != q?
True
Let u be 0/(4 - 30/6). Suppose u = 17*t - 44 - 432. Which is greater: t or 23?
t
Let p be ((-1088)/(-3 - -1))/(325/3250). Is 5440 greater than p?
False
Let p = -4014 - -4004. Which is greater: 188 or p?
188
Suppose -p = -2, -3*p + 6*p + 18 = -2*w. Let c be (28/(-8))/(2/w). Let d be 3/((-1)/6*36/(-40)). Is c greater than d?
True
Let z(k) = -k**3 + 28*k**2 - 96*k + 254. Let i be z(24). Which is smaller: i or 259?
i
Let w be (8/6 - (-2)/(-3))/(10048364/11754). Which is bigger: w or 1?
1
Suppose -2*u + 3*a = 15, -a - 9 = 4*u + 14. Let z be ((-411)/u)/(-3 - -2). Let j = -697/10 - z. Which is smaller: j or -2?
-2
Suppose 14*b - 27*b + 65 = 0. Suppose -4*d + 3*o + 56 = 0, 4*o + 77 = b*d + 2*o. Which is smaller: -5 or d?
-5
Suppose -3*x = 2*g + 1651, 54*g = -3*x + 49*g - 1666. Which is smaller: -549 or x?
-549
Suppose 12*p - 11*p = 690. Suppose -544 = -4*s - m, 4*m + p - 126 = 4*