8 - z. Which is smaller: -1 or m?
-1
Let o be ((-6)/(-8))/(4/(-96)). Let n(d) = d**3 + 16*d**2 - 30*d + 7. Let r be n(o). Let f = -105 - r. Which is smaller: -9 or f?
-9
Let a = -152 + 305. Suppose -22*b = -5*k - 25*b - 204, a = -4*k + b. Do -34 and k have different values?
True
Let d be (867/(-5))/(141/(-5170)). Is 6358 greater than or equal to d?
True
Suppose 13 - 31 = -o. Let i be (o + -1 - -2)*3*1. Let z = -54 + i. Which is smaller: -1 or z?
-1
Suppose 26*b - 877 + 2047 = 0. Which is bigger: b or -0.3?
-0.3
Let m(z) = 5*z - 20. Let l be m(9). Let h = -3427 - -3454. Is l at most h?
True
Suppose 0 = 4*o - 2*b - 202, 4*o = -6*b + b + 209. Suppose -9*p - o = 111. Let v be ((-14)/(-21))/((-4)/p). Is -2 bigger than v?
False
Suppose -29*k + 27*k = 42. Let h be k*(1 - (-2)/(-6)). Suppose 0*x - 4*x = 56. Does h = x?
True
Let x = -26 - -24. Suppose 2*z = -2, 3*z - 18 = -2*y + 7*z. Let l be (9/y - (-12)/(-42))*-9. Is x smaller than l?
False
Let f(y) = y**3 + 10*y**2 - 42*y. Let b(r) = -r + 26. Let x be b(23). Let a be f(x). Is -9 not equal to a?
False
Suppose 3*r - r - 9 = -5*t, t - 3 = -r. Suppose p = -2*z - r*p + 41, -37 = -2*z + p. Suppose 130*v - 1845 = 7*v. Is z at most v?
False
Let o(l) = 2*l**2 + 48*l + 253. Let v be o(-13). Suppose 5*s + 97 = -63. Let i = v - s. Which is bigger: i or 1/11?
1/11
Suppose 8*w - 3167 = -3167. Let a = 1/4 + -41/196. Which is smaller: w or a?
w
Suppose -5*m + 2*g = -25, -2 - 8 = -2*m - 3*g. Let l = m + 5. Let h = 18.5046 + -18.8046. Is l at least as big as h?
True
Let v = -14196 - -14194. Let y be (1 + -6)*64/(-20). Suppose 3*n + y + 0 = -2*r, 5*n + 22 = -r. Which is greater: n or v?
v
Let a = 187 + -566. Let w = -373 - a. Which is smaller: w or 21/4?
21/4
Let s = 64.2298 + 59.8416. Let m = s - 0.0714. Which is smaller: m or 0.1?
0.1
Let c(q) = q**3 - 2*q**2 + 2*q - 2. Let w be c(2). Let g = -601 + 597. Let k = g + w. Is k >= 6/5?
False
Let g = -51893636065/44111 - -1176433. Which is smaller: -1 or g?
-1
Suppose 2172 = 2*d + 4*d - 276. Which is smaller: d or 399?
399
Let t = 367 + -366.827. Let x = t + -0.173. Which is smaller: 2/57 or x?
x
Suppose -17*k + 20*k = -12, 1928 = -4*r + 3*k. Let y = -547 - r. Do y and -63 have the same value?
False
Suppose -2*i - 672 = -p, 3*p + 356 - 2339 = -5*i. Let h = p - 666. Is h less than or equal to -12/61?
False
Let t(b) = -b**2 + 164*b - 4425. Let g be t(71). Do g and 2179 have different values?
True
Let b = 219.48 - 218.48. Which is greater: 31/77 or b?
b
Suppose -5*h - 4*t = t - 1835, h - 342 = 4*t. Let x = 5.11 - 4.11. Does h = x?
False
Let g = -48 - -50. Let t(i) = 2*i + 15. Let z be t(-6). Suppose -z*r = 4*x + 25, -g*r + 3 = -3*x - 3. Is -16/7 smaller than r?
False
Let w be (-21)/(-14)*1184/24. Suppose -101 + w = -3*o. Is o != 5?
True
Let w = 321 - 655. Let n = 221 + w. Is n >= -113?
True
Suppose 263 = -387*b + 124*b. Let p = 240559/1778 - 947/7. Do b and p have the same value?
False
Let b = 54 - 17. Let i be 0 - 2 - ((0 - 7) + 1). Suppose -5*y + 3*t + 176 = 0, 0 = -2*y + i*t + 24 + 38. Are b and y unequal?
False
Suppose -25506 = 61*o - 87*o. Is o greater than or equal to -12?
True
Let q = 1434 + -7293. Is q greater than or equal to -5860?
True
Let x = -96.9 + 1.9. Let b = x - -88. Are 6 and b unequal?
True
Suppose 22593 = -9*b + 110*b + 120866. Which is greater: -982 or b?
b
Let t = -0.067 + -18.933. Let v = 1 - t. Let h = v - 45. Which is greater: 1 or h?
1
Let m = 383.9309 + 0.0691. Let w = m + -384.443. Let k = -0.057 + w. Which is bigger: -1 or k?
k
Suppose -45 = -4*j + 5*w, -3*w = -3*j - 6*w. Suppose j*v + v = 18. Which is smaller: 10 or v?
v
Let d(y) = -3*y**3 - 4*y**2 - y + 14. Let h be d(-3). Which is smaller: h or 55?
55
Let a = -288 - -290. Let t be (-1)/(-2)*(0 + a) + 111. Which is smaller: 110 or t?
110
Let m = -168.938 - -0.938. Let j = m + 71. Which is smaller: j or -3?
j
Let q = 15408 - 25438. Let d be (-5)/(-2)*(-136)/q. Suppose 0 = -4*u + 3*z - 5*z, 6 = 3*z. Which is smaller: u or d?
u
Let s = -64.8 + 13.4. Let p = -46 - s. Let g = 5.4 - p. Is g less than -45?
False
Let n(z) = -z**2 + z. Let k(m) = -m**3 + 11*m**2 + m - 11. Let w(f) = -k(f) - n(f). Let p be w(10). Let d be (8/12)/(3/p*2). Which is smaller: d or 1/8?
d
Suppose -54 = 3*c - 162. Suppose 0 = -5*g + 91 - c. Suppose m + 530 = g*m. Is 53 at most as big as m?
True
Let r = 2369828273/11945 - 198395. Do 1 and r have different values?
True
Let f = -1655 - -1563. Suppose 0*m = 5*m + 460. Is f < m?
False
Let y = 10 + 4. Suppose -h + 30 = 5*w, h = -0*h + 3*w + y. Suppose 4*g + 4*k = h - 4, 7 = g + 2*k. Which is greater: -1/4 or g?
g
Let s = -8526 - -8263. Which is smaller: s or -0.9?
s
Let a = -4419 - -4267. Is a at least as big as -12?
False
Suppose -83 = -3*k + 67. Let n be 40/k + 27/(-15). Is n equal to 3/124?
False
Let i be ((-18)/24 + (-2)/8)*-3. Suppose -2*f + f + 5*c - 45 = 0, 0 = 2*f - i*c + 104. Is f at least -56?
True
Let g(a) = -3*a + 15. Let l be g(4). Let r(q) = 3*q - 4*q - q**3 - 12*q**2 + q**l + 13 + q**3. Let w be r(12). Is 1/148 at least w?
False
Let k be (-25)/5*(2 - 66/15). Let p be (85/(-25))/(k/(-10)). Is 0.2 < p?
True
Let f(a) = -189*a - 258. Let i be f(-20). Suppose -7*l = 624 - i. Is l equal to 415?
False
Let a = 6/1343 - -1061/63121. Let n be (-4)/6 + (-4)/3. Let b = -3 - n. Which is bigger: a or b?
a
Suppose -4*g + 1428 + 132 = 0. Suppose g = -5*p - 2*k, -5*k + k = -2*p - 156. Let d = p + 80. Is 29 at most d?
False
Let i be (-14)/35 + 936/15. Let c = 28 - i. Let k = -84 - -49. Is k >= c?
False
Suppose -3818*s = -3886*s + 68. Is s at least as big as -6/8557?
True
Let z(s) = 39*s + 218. Suppose 269*d - 60 = 279*d. Let c be z(d). Is c at least as big as -15?
False
Suppose 1206*h - 1190*h = 1360. Is h less than or equal to 98?
True
Suppose 28*c - 6101 + 501 = 0. Is 214 at least as big as c?
True
Let l(d) = d - 21. Let m be l(24). Suppose -f + m*q + 9 = 0, -8 = -2*f + 4*q + 6. Suppose 15*p + 72 = f*p. Is -6 less than p?
False
Let j = 7 - 16. Let p be (-94 - -39)/((-1)/(-1)). Let s be (-66)/p*40/(-42). Which is bigger: j or s?
s
Suppose -4*k - 20 = 0, 100*j + 2290 = 95*j - 3*k. Which is greater: j or -458?
j
Let p = 472 - 449. Let n = -22.808 + p. Which is bigger: 0 or n?
n
Let y(l) = -l**2 + 19*l + 28. Let d be y(-18). Are -1273/2 and d non-equal?
True
Let l be (-3 - (-25)/8)*6*-4. Let f be ((-10)/(-6))/(l/9). Let o be (78/4)/(-1 - 7 - f). Do -6 and o have the same value?
False
Let g = -1610038805/8666 + 185788. Is g smaller than 1?
True
Let o = 88 - -208. Is 295 at most as big as o?
True
Let g(s) = -s**3 - 6*s**2 + 17*s + 14. Suppose 9*k - 418 = -481. Let n be g(k). Suppose -2*a + 5*u - 70 = 25, 0 = 5*a + 4*u + 287. Is a at most n?
False
Let t = -3 + 403. Let c be (1 + (-14)/6)*(-2250)/t. Is 8 <= c?
False
Let x = -1.4 - 0.6. Let y = 2.01 - 0.56. Let t = 6.55 + y. Which is greater: x or t?
t
Suppose 3*h - 4 = -2*k, 4*k - 31 + 9 = h. Let f be ((-9)/k)/(27/135). Let z = -13 + 2. Which is greater: f or z?
f
Let r be 1247/(-4) + (-6)/(-8). Suppose -12*z + 54693 = -110*z - 79*z. Are z and r equal?
False
Let b = -181 + -380. Let q = -562 - b. Let a be ((-1)/((-1)/1))/(-48). Is q smaller than a?
True
Let z = -75909/7852 - 15/604. Suppose -2*u + 0*u = 20. Is z < u?
False
Let v be 185/(-36) + 1/4. Suppose -3 = 6*g - 39. Suppose -83*i + 84*i + g = 0. Are i and v non-equal?
True
Let x be (-155)/15 - 154/(-28). Which is greater: 6 or x?
6
Suppose 12*x - 8*x - 416 = 0. Suppose l - x = -l. Suppose d + 3*r = 47, 4*r - 204 = -37*d + 33*d. Which is smaller: d or l?
l
Let r = -3826 - -3825.8. Is -0.0157 != r?
True
Suppose -5*v + 12*v = -112. Let y be -78 - -79 - (-6)/4. Are v and y nonequal?
True
Let m = 2.037 - -0.065. Which is greater: m or 1?
m
Let d be (-5 - 66/(-11))*-27. Suppose 0*a - 5*a = -2*t - 50, 0 = 5*t + 4*a + 125. Is t less than or equal to d?
False
Let z = 45 + -42. Let d be 54/(-225)*(z/2 - 1). Let u = -37/100 - d. Which is greater: 1 or u?
1
Let n = 101808/29 + -3510. Let y = n - 193/638. Let b = -12339 + 12339. Which is greater: b or y?
y
Let c = 813 - 1031. Is c smaller than -214?
True
Let s be (1*(-3)/30)/((-31)/6 - -5). Which is bigger: s or 19?
19
Let u be ((5 - -3)/2*(-5)/20)/1. Are u and 3/12653 equal?
False
Let g(c) = -3*c - 5. Let w be g(-5). Let h be (-4 - 1)/((-5)/w