+ 6*o + 22. Let b be (-22)/(-77) - o/(-28). Is b equal to -29?
False
Let m be 1/((-2 - 1) + 6 + -4). Let g be m - 40/(-18)*-3. Is -9 bigger than g?
False
Let o(k) = k**3 + 23*k**2 + k + 27. Let g be o(-23). Let x be (-36 - -36)/(-1*(-1 + g)). Which is smaller: 1/13 or x?
x
Let i(k) = k**3 - 10*k**2 + 8*k + 12. Let j be i(9). Let m = 360378/101 - 3568. Let d = 2292/707 - m. Is j less than d?
True
Let d be ((-64)/(-12))/4*315/2. Is d less than or equal to 210?
True
Let s(k) = -k**2 + 13*k - 2. Let l be s(11). Suppose -2*d + 4*h + h = -l, 4*d - 16 = 4*h. Let r = -405 - -5263/13. Which is smaller: d or r?
r
Let s = -80197243/474696 + -1/52744. Let c = 169 + s. Which is bigger: c or 0?
c
Let p = 25 + -29. Let w be (1*p)/(-7 + -39). Is 1 at least w?
True
Let v = -34/359 - 571/12924. Let d be (1*(-2 - -2))/2. Is d less than or equal to v?
False
Let n be (-8)/((-64)/(-12))*-80. Is n smaller than 119?
False
Let g = -4.8498 - -4.83. Which is greater: g or 2?
2
Let s be (-111)/30*-22 - (-24)/(-60). Let y = 82 - s. Suppose 0 = 4*c - 2*c. Is y >= c?
True
Suppose -4*l + 3*q - 7*q = 52, -3*l = -3*q + 15. Let p be 4/18 - 7/l. Let m be 15/10*p*-6. Which is smaller: m or -10?
-10
Let c(k) = -2*k**2 - 9*k + 114. Let w be c(16). Is w < -543?
False
Let r = 7.06 - 0.06. Let p = -10 + r. Let v = -6.9 + 8.9. Which is greater: v or p?
v
Let j be (6/6)/(2/6) - 2. Are -6/125 and j equal?
False
Let u = -39 - -10.96. Let b = -0.04 - u. Let j = 27.8 - b. Which is smaller: j or 0.12?
j
Let d be (22/(-165))/((-2)/(-3)). Which is greater: d or -21?
d
Let t be ((-32)/(-10))/(-2)*(-1)/(-20). Do 36 and t have the same value?
False
Suppose 0 = 5*h - 3*g + 5, 4*h + g = -6 + 2. Let s = -2 - h. Let l be -2 - 33/(-6) - s. Is l bigger than 5?
False
Let x = -8 - -4. Let d = 0.101 - -2.899. Let k = d + x. Which is greater: k or 1?
1
Let p = -1/14 - 3/7. Let y = 0.034 + -81.034. Let d = 85 + y. Which is smaller: p or d?
p
Let b be (-16)/(-40) - 324/(-15). Suppose -u + 3*v = b, 5*u - v + 10 = -30. Which is smaller: -3 or u?
u
Let d = 645.0245 - 645. Is 1 at most as big as d?
False
Let l = -1094 + 1094. Is 25/32 < l?
False
Let p(a) = -a - 5. Suppose 0 = 2*r - r + 5. Let x be p(r). Let u be 0 + -3 + -1 + (-75)/(-18). Are x and u equal?
False
Suppose -4*x = -3*o + 1, -3*x + 2*x + 2 = -3*o. Is -1/4 greater than x?
True
Let m = -3.8 + 3.823. Let s = 2.277 + m. Is s > 0?
True
Let d = -121 - -120. Which is smaller: d or -1/191?
d
Let l be ((-15)/(-35))/(2/791). Let y = 167 - l. Let h be 1 + (-3)/1*1. Is h at most as big as y?
False
Let r be 21/(-28) - (-213)/12. Suppose 0 = -3*n + 5 - r. Let f be (-54)/n - 1/2. Do f and 12 have the same value?
False
Let z = -703 + 637. Do z and -66 have the same value?
True
Suppose -2*w - 774 = 78. Which is smaller: w or -427?
-427
Suppose 0 - 2 = -a. Suppose -5*u + b - 464 = 0, -a*b + 352 = -4*u - 6*b. Let x = 1014/11 + u. Is 1 < x?
False
Suppose -5*g - 40 = -4*h, -4*h + 15 + 17 = -3*g. Let l = 13 - h. Which is smaller: l or 4?
4
Let b = -65 + 65. Suppose -3*i + 9 = o - b*o, -3*o + 5*i - 15 = 0. Which is smaller: -7/6 or o?
-7/6
Let j = -55 + 29. Suppose 7*m = 5*m - 50. Are m and j non-equal?
True
Let r be (-3)/(5 + 446/(-4)). Which is smaller: r or -1?
-1
Let c = 397/6 + -9943/150. Which is smaller: c or -0.2?
-0.2
Let u be 3 - (0 - (0 + 3)). Let k be u/(-9) + (-110)/15. Is -9 greater than or equal to k?
False
Suppose 0 = -2*i - 4*m + 98, m - 46 = -i - 0*m. Which is bigger: 42 or i?
i
Let l = -326 - -326. Let t = 4/79 + -897/553. Is t at most as big as l?
True
Let k be (-2)/2 + (4 - 15/4). Is 1 greater than or equal to k?
True
Let r(x) be the second derivative of x**4/6 + 3*x**3 + 25*x**2/2 + 22*x. Let q be r(-10). Which is smaller: 0 or q?
0
Let c = -1 - -4. Suppose 5*t + 3*v = -v + 146, -2*t + 32 = -5*v. Let y = -22 + t. Which is smaller: c or y?
c
Let p = 9 + -6. Suppose -p*a - 1 = -7. Let b be a/(-42) + (-2)/(-6). Which is smaller: b or 0?
0
Let p be 147/245 - (-1574)/10. Which is bigger: p or 159?
159
Let k be (-6 - -7)/(-1 + 2). Let x be (-4)/(-3)*(-4)/(9824/12). Which is greater: k or x?
k
Let m(c) = c**3 + 5*c**2 + 3*c - 6. Let i be m(-5). Is i at least as big as -11?
False
Let b(k) = k**2 + k - 2. Suppose 5*s = 2*s. Let j be b(s). Suppose -31*z + 3 = -32*z. Which is bigger: z or j?
j
Suppose 53 - 257 = -4*j. Let v be (-1)/(-1 - 2)*j. Let t = 28 - v. Is t > 11?
False
Suppose 3*g - 6463 = 8*g - 2*k, 4*k = -5*g - 6439. Does g = -1290?
False
Let z = 168 - 159. Let h = 0 + 9. Is h greater than or equal to z?
True
Let v = 28492/23 + -1239. Is v greater than or equal to 1?
False
Suppose -12 = -4*d + 5*v, -2*d - 2*v = 2*d + 16. Is d bigger than -0.3?
False
Let i = 76/15 + -5. Which is bigger: -0.04 or i?
i
Let w be (-21540)/70 + -8 - 8/28. Which is smaller: -0.1 or w?
w
Let z(o) = 32*o + 16. Let x be z(5). Which is greater: 177 or x?
177
Suppose -3*g + 3*i + 39 = -0*i, -3*g + 35 = -i. Suppose 2*u = -3*u - k - 31, 2*k - 28 = 5*u. Let w = u + g. Do w and -1 have different values?
True
Let j = -34843/218460 - -2/4965. Is 1 >= j?
True
Let q = -22.35 - -24.35. Are 11/23 and q equal?
False
Let d(y) = -11*y + 12. Let c = -31 - -21. Let n be d(c). Let i be (-4)/(-2) + (-240)/n. Which is greater: i or -1?
i
Let h(i) = 7*i**2. Let s be h(-1). Let a be (-12)/22*-15 + (-22)/121. Is a at most as big as s?
False
Let j be 76/(-123) + 2/3. Let t be 370/45 + 2/(-9). Let u = -9 + t. Is u less than or equal to j?
True
Let z = 96.5 - 58.5. Is z not equal to 1/2?
True
Let b = 129 - 126. Is b smaller than 25/12?
False
Let w = -159 + 159.11. Which is greater: 8/5 or w?
8/5
Let u = -14.17 - -0.17. Let b = -13 - u. Let z = -2 - -3. Is b > z?
False
Let q be 6/8*(5 - 9). Suppose 3*g - 8 = 7*g. Is g equal to q?
False
Let l = 109/2 - 53. Which is smaller: l or -4.5?
-4.5
Suppose -4*n - 4 - 8 = 4*t, -19 = n - 3*t. Suppose -74 - 29 + 13 = 10*a. Is n equal to a?
False
Let y = 2/1353 - -1291/41943. Which is bigger: 10/11 or y?
10/11
Let k = -24 + 24. Let f(j) = 2*j + 4. Let g be f(k). Suppose -29 = -d - m - 4*m, 4*d = -2*m + 26. Do d and g have the same value?
True
Let g be 1*2*4/(-8). Let o be (-2)/20*-14 + g. Let p = -0.6501 - -0.6401. Which is smaller: p or o?
p
Let i = -30 - -75. Let g be (-1)/5*i/(-24). Suppose -d = -2*p + 4, -2*p + 5 = 3*d + 17. Is p equal to g?
False
Let q(l) = 118*l**2 - 8*l + 3. Let z be q(1). Which is smaller: z or 1236/11?
1236/11
Let s = -123 + 359. Let j be s/304 + 12/(-16). Is -1 not equal to j?
True
Let y = -140165563/83504505 - 472/68955. Let r = y - 5/173. Are r and -1 nonequal?
True
Let p = -48 - -14. Let w = 29.7 + p. Is w greater than 1?
False
Let c = -32 - 22. Let h = -50 - c. Which is smaller: h or 1?
1
Let m be (-99)/5 + 2/(-10). Let w be 16728/(-20) - 8/m. Let y = -40966/49 - w. Which is greater: y or 0?
0
Let j(g) = -g**2 + 7*g + 7. Let o(x) = 1. Let b(k) = -k**2 + 10*k + 10. Let n(y) = b(y) - 2*o(y). Let p be n(10). Let t be j(p). Which is bigger: t or 3/8?
3/8
Let j = -11 - -12. Let c be (-663)/(j + -4) + -2. Let l = -1104/5 + c. Which is bigger: l or -1?
-1
Let f = -0.259 - -0.459. Which is smaller: f or -131?
-131
Let l be 4*((-90)/8 - -2). Which is smaller: -38 or l?
-38
Let v(a) = 2*a**2 - a + 6. Let j be v(-3). Let t = -26 + j. Which is bigger: 1/13 or t?
t
Let l = -69 + 70. Let n be l/(273/(-108) - -3). Which is greater: n or 1?
n
Let p be (1 - 2)/(2/(-6)). Suppose m = -5, -6*s = -7*s - 4*m - 13. Suppose -s*c = -4*c - 6. Is p greater than or equal to c?
True
Suppose 187*i + 117 = 190*i. Suppose 0*k + 13 = k - 5*l, 2*l + i = 3*k. Is k less than or equal to 13?
True
Suppose 0 = -2*l - 4, 0*z - 5*l = 4*z + 154. Let w = z + 54. Let s = 5 - 5.2. Which is smaller: w or s?
s
Let l = -1755 - -1500. Is l bigger than -0.1?
False
Let j = -2.04 + 2. Let a = -668 + 472. Let z = 196.1 + a. Which is smaller: j or z?
j
Suppose 2*z - 12 = -2*w, 0 = -z + 2*z + 5*w + 14. Let x = z - 41/4. Is x equal to 0.5?
False
Let f be (0/8)/((-1)/(-1)) + 20. Let l be (-6)/f - (-8)/16. Which is greater: -3/7 or l?
l
Suppose 0*q = q + 4, 11 = 3*z + q. Let u be (8/(-5))/((-12)/780). Suppose z*v = -u + 14. Is -19 < v?
True
Suppose -2*t + 4*h = -0*h + 12, 0 = 2*t + h + 7. Let r(p) be the first derivative of p**2/2 + 5*p - 1. Let v be r(t). Is 6/17 bigger than v?
False
Let r