False
Suppose 0 = 4*b - b + 12. Suppose -x - 12*s + 17*s - 15 = 0, -5*s = 4*x - 15. Suppose x = 3*l - 6*l + 2*l. Which is bigger: b or l?
l
Let l be (-6 + 0)/(2/(-2)). Suppose -475*y = -488*y. Suppose -l*r - 5*r = y. Is -6/23 greater than r?
False
Let s = -4.3 + 4.4. Let b(h) = -11*h**2 - 194*h - 34. Let f be b(-18). Is s greater than f?
True
Let r(n) = -13*n - 96. Let f be r(-7). Let y be 3/f - (1 + 2108/(-1380)). Is 1 > y?
True
Suppose 2*o - 4 = -2*s, -3*o + 3*s = s - 6. Suppose o*n - 3 = 3. Let m be -3*1*18/(-27). Which is greater: m or n?
n
Let s = 76 + -70. Let w be (-2*10/s)/(4/42). Is w greater than or equal to 0?
False
Suppose 0 = 2*t + 16, -12*n - 13099 = -13*n + 4*t. Is 13067 less than or equal to n?
True
Suppose -5*l = 3*i + 4650, 5*l - 26 + 4676 = 3*i. Are -946 and l unequal?
True
Let u(b) = -3*b + 10. Let j be u(2). Suppose 1 = -j*a + 5*x - 0, -a + 2*x - 4 = 0. Do a and 3 have different values?
True
Let k = -111 - 77. Let j = -189 - k. Let o = 38/3 - 506/39. Which is bigger: j or o?
o
Let p(h) = -h**2 - 14*h - 5. Let q = 22 + -39. Let t be p(q). Let y be t/(-48)*2/7. Is -34 >= y?
False
Let x = -152.807 - -153. Let s = x + -1.493. Are s and 14 non-equal?
True
Let l = -9777 + 9539. Is l bigger than -235?
False
Let p = -89830847/187460 - -3/37492. Let c be 2/9 - ((-39591)/81 - -7). Let t = c + p. Is 4 smaller than t?
False
Let o be (1 - -5 - 5)/(-1). Which is greater: o or 10077?
10077
Suppose 0 = 3*t - 178 - 11. Let w be 4 + 2/(6/t). Suppose 45 - w = 4*n. Is 4 less than n?
True
Let r = -17.61 + -1.96. Let j = r + 19.4. Is j less than or equal to -1?
False
Suppose 2*p + 127 = 5*m - p, 0 = -3*m - 2*p + 61. Suppose -2*f + m + 27 = 0. Let q = 22 - f. Is -3 greater than or equal to q?
True
Let i(f) be the second derivative of -f**3/3 - f**2/2 + 10*f. Let j be i(1). Let m be 20*-3*(-2)/j. Which is smaller: m or -1?
m
Suppose 3*d - p + 178 + 43 = 0, -2*p = 4*d + 278. Which is bigger: -54 or d?
-54
Let g = -279973389 - -38916037109/139. Let u = g - -1899. Are u and 1 unequal?
True
Let k = 7.81589 + 0.18411. Which is smaller: 46 or k?
k
Let c = -0.2652 - 0.7128. Do -2 and c have the same value?
False
Let d = -72.913 + 1223.523. Let y = -1156 + d. Let k = y + -0.61. Are k and 2 nonequal?
True
Suppose -g - 2*p = -3, 6 = 2*g + p - 15. Suppose -g*h = 189 + 32. Is -17 greater than h?
False
Let u = 39117583497/152 - 257350426. Let m = u + -2097. Do 0 and m have different values?
True
Suppose 915*g - 917*g - 1885 = 3*h, -h - 4680 = 5*g. Which is smaller: g or -937?
-937
Let k = -6768.9828 + 8.0728. Let y = -6790 - k. Let z = y - -29. Is -2/3 less than z?
True
Let b = -206.5 - -169. Let h = b + 38. Let n = -4.2 - -6.2. Which is bigger: n or h?
n
Let v be (2/(-3))/((-160)/9186). Let p = -4924728/135295 - 2/27059. Let h = p + v. Which is bigger: h or 0?
h
Suppose 4*f + 2*a - 12 = 0, 5*f + 3*a - 2 = 14. Let y be 70/15 + f/(-3). Let o be (-21)/(-14)*y/(-15). Do 3 and o have the same value?
False
Suppose -l + 2*l - 530 = -s, 4*s + 3*l - 2120 = 0. Let i = -2119/4 + s. Is i <= 100?
True
Let l = 1.782 - -0.258. Let i = 2.96 + l. Are 0.2 and i non-equal?
True
Let o(i) = -i**2 + 8*i - 1. Let f be o(8). Suppose -8*h - 40 = -13*h. Let v be (3 - (-1 - -2))*h/(-14). Which is smaller: v or f?
v
Let h = 1 - 4. Let s be (h/(-6))/(1/2). Let x be (30/(-270))/((-198)/(-36) - 2*2). Is s at least x?
True
Suppose -887 + 3308 = -37*l - 1353. Is l > -117?
True
Let p = -260.1 + 247. Let n = p - -13. Is n greater than -9?
True
Suppose 0 = 83*k - 79*k + 4*i + 1316, 3*i - 357 = k. Which is smaller: k or -0.03?
k
Let x = -0.23 + 8.08. Let n = 0.11 - -0.74. Let w = n - x. Which is smaller: -2/5 or w?
w
Let c(d) = -4*d**2 + 274*d - 1583. Let v be c(6). Which is smaller: v or -54?
v
Let v(d) = 30*d**3 + 5*d**2 - 7*d + 2. Let m be v(2). Let n = -247 + m. Let g = 1/396 - -9/308. Which is smaller: n or g?
g
Let d = -8 + 1. Let r(w) = 5*w - 13. Let x(m) = -21*m + 50. Let v(y) = -9*r(y) - 2*x(y). Let u be v(8). Is u > d?
False
Let x(p) = 44*p**2 + 91*p + 2. Let f be x(-4). Which is smaller: 354 or f?
f
Let c = -1072 + -10212. Is -11284 >= c?
True
Let o = -25521.94419 + 25522. Which is smaller: -1 or o?
-1
Let j = 14889.124 + -3.124. Which is smaller: 1/4 or j?
1/4
Suppose 4*m = j - 149, -j - m = -50 - 99. Let a = -142 + j. Which is bigger: a or 11?
11
Let b be (4/84)/(4/(-6)*(-140)/(-56)). Let f be (-1 + 1)/((-1)/(-1)). Are f and b unequal?
True
Let s = 387.9467 - -0.0533. Let y = 387 - s. Let z = 0.25 - -0.05. Do z and y have different values?
True
Let j = -22606 - -67858/3. Do 12 and j have the same value?
False
Let d = -296 - -300. Suppose -17*k = -d*k + 975. Which is smaller: -73 or k?
k
Suppose -41*v - 390598 - 342266 = 3*v. Is -16656 <= v?
True
Let k = -0.17 + 0.37. Let q = -3.67 + -20.03. Let r = 33.7 + q. Which is smaller: r or k?
k
Let u be (3 + -1)/(1*2). Suppose 0 = -39*j + 1422 + 333. Suppose 5*o + 5*m = -j, -4*m + 0 = o + 24. Which is greater: o or u?
u
Let i = -43.32 + 44.32. Is i greater than or equal to -157?
True
Let g(h) = -h**3 - 6*h**2 - 7*h + 5. Let q = 0 + -4. Let t be g(q). Let l = 17/2 - 69/8. Is t equal to l?
False
Let o be 17/(25296/1456) + -1. Which is smaller: -19/9 or o?
-19/9
Let m = 67006 - 66704.41. Let x = 302 - m. Which is greater: x or -1/16?
x
Let y be (-4137)/60 + 112/(-2240). Which is smaller: -701/10 or y?
-701/10
Let z(t) = t**3 + 30*t**2 + 110*t + 148. Let v be z(-26). Let c be ((-2)/(-3))/(2/6). Which is greater: c or v?
c
Let p(l) = -l + 2. Let u be p(5). Let m be 14/(-30) + u/15. Suppose 4*y = 2*z - 8, y - 47 + 49 = 5*z. Are m and z nonequal?
True
Let o = -14571 - -13669. Does -904 = o?
False
Let a(f) = -3*f**2 - 20*f + 8. Let z be a(-7). Let n be (z + 61/(-62))*4. Is n smaller than 0?
False
Let k be (-5)/(-8)*316/395*0. Do 1/255 and k have the same value?
False
Suppose -3*n + 10 - 3 = 2*b, -n - 5*b + 11 = 0. Let d be 2/1*(-737)/(-22)*n. Is 65 smaller than d?
True
Suppose 34 = -3*r - 86. Let a = r - -41. Let z be (-6 + 4)*a/(-59). Which is bigger: 0 or z?
z
Suppose 5*q + 7 = -c + 3*q, -3*c + 2*q = -19. Suppose 6*p - c*p = 15. Suppose p*s = 2*u - 1 - 13, 10 = 2*u - 4*s. Is -4 less than or equal to u?
True
Let c be (-2 - 1)/(-13 - 7008*52/(-28041)). Let s be -1 + (1 - (-6491)/9). Let u = s - c. Is u at most as big as 1?
False
Suppose 0 = -4*w - 3*r, -3*w - 15 = -5*r + 14. Is 20 smaller than w?
False
Let u be (111/48)/(((-57)/(-2204))/3). Is u at most as big as 269?
True
Suppose -3*p = -8*p + 5. Let g(r) = -5*r**2 + r - 18. Let i be g(-6). Let b be ((-17)/i)/((-2)/4). Do b and p have different values?
True
Let v = -175/2 - -2265/26. Let s = 69/91 - v. Let t(w) = -w**2 + 4*w - 3. Let a be t(2). Which is bigger: a or s?
s
Let w(b) = 593*b - 582. Let l be w(11). Which is bigger: 17824/3 or l?
17824/3
Let k(n) = n**3 + 7*n**2 - n - 8. Let s be k(-7). Let o be (32/(-40))/(2/(-30)). Let a = o - 22. Which is smaller: a or s?
a
Let f = -2066 + 2067. Is f greater than -6/2011?
True
Suppose 14 = 10*b + 4*b. Let c be (b + -18)/1*(-39 + 44). Which is smaller: -84 or c?
c
Suppose 3*m - 180 = -30. Suppose 12*y = m + 10. Suppose s - 4 = 2*l, -y*l + 2*s - 2 = 6. Is -0.96 less than l?
True
Suppose 3376 = 5*q - 2*d, 3*q + 5*d - 693 = 1314. Which is bigger: q or 677?
677
Let f = 32.4 + -21.1. Let k = f + -11.4. Which is smaller: k or -0.5?
-0.5
Let i be ((-8)/(-10))/((-4)/(-50)). Let w = -21/7316 + 1024513/95108. Is i at least as big as w?
False
Let m = 7 + -5. Suppose -5*w + 5 = 0, -m*o + 5*w = 3*w + 4. Suppose c - 24 = -5*u, 4*u = -c + 18 + 1. Is c <= o?
True
Let z(l) = l + 4. Let b be z(-12). Let x be ((97920/(-624))/(-34))/((-2)/3). Which is greater: x or b?
x
Let o(u) = -u**2 - 3*u - 11. Let r(l) = -l + 1. Let a(f) = o(f) + 4*r(f). Let s be a(-6). Let q = 40852 - 2328563/57. Which is bigger: q or s?
q
Let h = -103/17010 + -2/243. Let w be (147/(-24) - -4) + 1/8. Is h at least as big as w?
True
Let u(m) be the second derivative of -m**4/12 - m**3/2 + 7*m**2/2 - 74*m. Let w be u(5). Is w at least 0.1?
False
Let h be ((-5)/((-70)/651))/((-3)/(-8)). Suppose 2*w + 376 = -6*s + 9*s, w + 503 = 4*s. Which is smaller: h or s?
h
Suppose -3*c + 9 = -2*b, -b = 3*c + 2*b - 9. Suppose 2*n - 2 = -c*g, -4*g + 5*n = -2 + 7. Is -11/13 greater than g?
False
Let d = 42.086 +