57.6. Let g = -866 - -795. Let s = g + z. Is 7/10 <= s?
False
Suppose -15 = -5*n, 3*n + 2*n = 3*p - 6. Let z = 56 - 74. Let t be 5*-1*(z + 16). Is p bigger than t?
False
Let w = -6.339 - 0.061. Let f = 1.08674 - 0.98674. Which is greater: f or w?
f
Let h = -20 + 53. Suppose -5*o + h = -d, -4*o + 7*d + 20 = 3*d. Let a(u) = u**3 - 7*u**2 + 2*u - 14. Let s be a(o). Is s bigger than 2/13?
False
Suppose -4*i - 60 = 4*v, -5*v + v = 3*i + 53. Is v smaller than -137/15?
False
Let m(r) = -r**3 + 4*r**2 + 2*r + 4. Let a(k) = 12*k**2 - 5*k - 2. Let w be a(-2). Let p = -51 + w. Let o be m(p). Is o at most as big as -10?
True
Let r be 6 + (-35483)/(-42) + 0 + -4 + -6. Which is smaller: r or 842?
r
Suppose -4*x - 4 = 2*j, 0 = -3*j - 2*j - 5*x. Suppose j*y + g + 521 = 0, -5*y = 5*g - 563 + 1858. Does -261 = y?
False
Suppose -5*x + 44*x + 28*x = -3752. Is -56 < x?
False
Let p be -1 - 3/((-3)/13). Suppose 27*l - 25 + 52 = 0. Let b be (l/(-2))/((-6)/p). Is b greater than or equal to -1/78?
False
Let g be 1/((-122)/40 + 3). Let t(o) = -o**2 - 16*o - 35. Let i(k) = 12*k - 3. Let m be i(-1). Let w be t(m). Are w and g equal?
True
Let m(z) be the second derivative of z**5/20 + 7*z**4/12 - z**3/6 - 7*z**2/2 + z. Let g be m(-7). Suppose 0 = -3*r - w + 9, -3*w + g = -4*r - 1. Is 7 != r?
True
Let g = 11592 - 31169/3. Is 1203 equal to g?
False
Let o = 10248 + -18566. Is o at least 1?
False
Let s be (-4)/12*((-610)/85 - -7). Is s less than -3/5?
False
Let r = -180 + 181. Let i be ((-6)/8)/(-1) - (-790)/(-40). Which is greater: i or r?
r
Let v be 6/(-36) - (21/(-3))/42. Which is bigger: 2/7363 or v?
2/7363
Let p = -4 + 2. Let b(s) = -s**2 + 9*s - 11. Let v be b(7). Let t(j) = -2*j**2 + 7. Let f be t(v). Is f > p?
False
Let m = 226 + -224. Let q(u) be the first derivative of u**2/2 - 8*u - 1. Let v be q(6). Is m <= v?
False
Suppose -10*c + 9*c = -2*k + 2177, -6520 = 3*c + 5*k. Is -2174 greater than or equal to c?
True
Let j(g) = -5*g + 15. Let w be 1*(-4 - -3) - -3 - -1. Suppose 14 = w*o - 5*z, z = 5*o - 0*z - 16. Let t be j(o). Which is smaller: -3/49 or t?
-3/49
Let q = -220 + 216.7. Let j = q + 0.3. Is 0.051 at most j?
False
Let b = -4898.2366 + -1.7634. Which is greater: b or 0?
0
Let u = -0.8636 + 0.5636. Is u < 1971?
True
Let k be (-99)/22*1536/(-112). Is k at most as big as 2/11?
False
Let z = -28 + 27.95. Let c = 0.45 + 10.15. Let l = 5.6 - c. Are l and z equal?
False
Let a(h) = -11*h - 15. Let f be a(-4). Suppose 0*n + 3*o = -2*n - 9, o = -5*n - f. Let s = 190 - 196. Is n equal to s?
True
Let z = -803 - -811. Which is smaller: z or 7.87?
7.87
Suppose -11*l = -2*b - 13*l + 22, -2*b = 4*l - 32. Let r be (-2)/(12/9) - -6. Is b at most r?
False
Let h = 23.59 + -23.329. Is h smaller than 1?
True
Let p = 136 + -137. Let w = -0.102 + -0.308. Which is smaller: p or w?
p
Suppose 42*q + 62*q = 0. Which is greater: q or -5/1781?
q
Let c = 258921 + -3362361/13. Which is smaller: c or 279?
c
Let q = -1.19 - -0.09. Let z = -0.453 + 5.553. Let n = q + z. Are n and 1/3 non-equal?
True
Let b be (-1 - -1)/(36 + -34). Suppose a - 2*a - 3*a = b. Is a <= 11/17?
True
Suppose x + 4*k = 20, -7*x - 2*k = -2*x - 28. Let q be 2310/4268 - 2/x. Which is smaller: q or 0?
0
Let v = 3905.925 + -3845. Let b = 61 - v. Let x = b + -13.075. Which is greater: 2/7 or x?
2/7
Let y = -0.0191 - 120.9809. Let r = y + 118.7. Which is smaller: r or -1/2?
r
Let z be ((-1)/2)/(-24*(-165)/21600). Is z at most 32/13?
True
Let s(i) = -i**2 + 3*i - 32. Let o be s(7). Let z = 60 + o. Suppose p = -p + 2. Which is greater: p or z?
p
Suppose 0 = -5*l - 1907 + 2422. Is 104 not equal to l?
True
Let z(h) = 6*h**3 + 3*h**2 + 42*h - 130. Let u be z(3). Is u less than or equal to 922/5?
False
Let d(m) = m**3 + 25*m**2 - m - 23. Let w be d(-25). Let z be (w + -1)/(4 + 214/(-54)). Suppose -h = -z + 25. Is 1 != h?
True
Let b = 1310063/392 - 3342. Which is smaller: -2/7 or b?
-2/7
Suppose -6*h - 7*h + h = 2*h. Which is smaller: h or 3591?
h
Let l = -1221/221125 + 1/5307. Suppose v - 13 + 11 = -k, -2 = v - k. Which is greater: v or l?
v
Let l(r) = 8 - 7 - 3 - 3*r + r**2. Let n be l(4). Let u be -2 + (-30)/(-1 + -5). Are n and u equal?
False
Let d = 23 - 21. Let k(y) = y + 4. Let i be k(d). Let u be (6/(-2))/i*-2. Which is bigger: u or 12/5?
12/5
Let t be 6/(-55)*5/(-3). Suppose 39 = -4*s + 5*d, -5*s + 5*d = -26 + 71. Let v be 3/(-6) - s/(-60). Which is smaller: v or t?
v
Suppose -2*z - 4 = -192. Let l be 16/40 - z/10. Let d = 23 + -29. Is d less than l?
False
Suppose 0*g + 2*g + 3*m = -4, -3*m + 12 = 0. Let k be (-2)/g*(-6 - 176/(-40)). Is 32 not equal to k?
True
Let b be ((-14)/4 + 3)*4 + 14. Suppose 2*z + b = -z. Let p be ((-42)/(-3) + 0)*(z - -2). Is -28 equal to p?
True
Let w be 18/(-21)*(-14)/10. Suppose -2*y + 24 + 10 = -2*z, -5*y + z + 97 = 0. Suppose -27*m = -y*m. Which is greater: m or w?
w
Let n = -208 - -234. Let q be -4 - 6/(-12)*n. Which is smaller: q or 2?
2
Let g = 1550911/8 - 194462. Which is bigger: g or -597?
-597
Let s(b) = -240*b + 5449. Let y be s(29). Is y > -1513?
True
Let k = -324 + 420. Suppose 0 = -8*m - k - 8. Do m and -13 have the same value?
True
Let r be 1/(18/(-93)) - (-10)/240*4. Are r and -516 equal?
False
Let i = -236/9 - -9721/369. Let x be (-3 + 3)*(1 + -2). Which is smaller: x or i?
x
Let c = 80.015 - 80. Let q = c + -3.015. Let r be (-8)/20*10/(-54). Is q greater than r?
False
Suppose 3*y = 6*y - 9. Let w be (-1)/(5/y) + 110/(-25). Which is bigger: w or -6?
w
Let s be (-23 - -2) + 7 - -177. Which is bigger: 168 or s?
168
Let m(j) = -4*j - 21. Let x be m(-6). Suppose 0 = x*g - 3*d, -9 = -5*d + 1. Suppose g*f - 3 + 9 = 0. Is -1 smaller than f?
False
Let p = 34.261 - 32.266. Which is smaller: 0.1 or p?
0.1
Suppose 10*t - 38*t + 84 = 0. Let i = 0.15 + -0.55. Let g = 0.6 - i. Is t at most g?
False
Let g(m) be the second derivative of m**4/6 - 2*m**3 - m**2 + 64*m. Let n(a) = 7*a**2 - 2*a + 1. Let c be n(1). Let j be g(c). Does 4 = j?
False
Suppose 46*z - 30 = 52*z. Let j be (-18 + 17)*(-1)/z. Is 14 > j?
True
Let h(x) = x**2 - 25*x - 11. Suppose -q - 6*q + 161 = 0. Let r be h(q). Is r not equal to -58?
True
Let c = 2/7027 - 6823225/28108. Which is greater: -243 or c?
c
Suppose -4 = -48*u + 47*u, -5*w - 3 = -2*u. Which is smaller: w or -2/41621?
-2/41621
Suppose c + 1 = -13*g + 9*g, -2*g - 11 = -3*c. Suppose -3*u = -9*w + 13*w - 308, 86 = w + c*u. Does w = 74?
True
Let n(c) = c**3 + 2*c**2 - 11*c + 4. Let a be n(-4). Let y be (-8)/36 + a/(-90). Which is greater: y or -1/7?
-1/7
Let z = -144.9 + 144.8. Let d(y) be the second derivative of -y**3/6 - y**2 - 3*y. Let b be d(12). Which is smaller: z or b?
b
Let w be (-14)/(-2814) - (16/(-10) + 2). Let n = -1/201 + w. Which is smaller: n or -146?
-146
Let y be (1 + 3561/84)*12. Let t = 522 - y. Suppose 0 = 4*s - 24 + 24. Which is smaller: t or s?
s
Suppose -56*o = 109*o + 129030. Which is greater: o or -779?
-779
Suppose 2*k - 5*k + 192 = 0. Suppose -2*w - k = -6*w. Let s = -6723 - -6726. Is w not equal to s?
True
Let l be (-1285)/24 - (-2)/(-16). Let g = l + 54. Let a be ((-1)/2)/(3 - (-21)/(-6)). Is g greater than a?
False
Let v = -5019 + 5020. Which is smaller: 2/4357 or v?
2/4357
Let k = 899 - 407. Which is greater: k or 496?
496
Let m(j) = -j**2 - 155*j - 3069. Let i be m(-24). Which is smaller: 1215/16 or i?
i
Suppose -2*u - 146 - 656 = -4*g, 3*g = 2*u + 604. Suppose -5*t - 5 = 0, 7 = 2*s - s - t. Let x be 8/s*(-27)/g. Is -9 at most as big as x?
True
Suppose -k - 411 = -2*w, 5*w - 19*k - 1003 = -20*k. Is w equal to 1829/9?
False
Let n be (8/((-96)/906))/(2/(-4)). Let a = 387 - n. Is 236 >= a?
True
Let p = 8.75 - 20.75. Is p not equal to 0?
True
Let s = 909 + -914.77. Let z = -1.23 + s. Which is greater: z or -1/17?
-1/17
Suppose 0*r - l - 1275 = -5*r, 4*l = -2*r + 532. Let o be (r/8 - -5) + (6 - 2). Which is greater: 37 or o?
o
Suppose -3*b = 5*u + 35, -u = b + 10 - 1. Is -173/28 > b?
False
Let n = -17 + 9. Let i = -12 - n. Let d be 7/(-15) + i/20. Which is greater: 3/5 or d?
3/5
Let h be (-34)/(-4) - 9 - 4391/2. Are -2198 and h nonequal?
True
Let o = -16465 + 48894. Is 32429 greater than o?
False
Suppose -1953 = -k + 9*u - 10*u, 1 = -u. Is k greater than -1?
True
Let o(p) be the first derivative of -3*p**2/2 + 40*p + 17. Let q be o(14). Is -