)/74*(-712)/12. Is z > h?
False
Suppose 17*m - 98 = -381 - 227. Which is bigger: -316/11 or m?
-316/11
Let b = 31.71 - 30.71. Is b >= 25?
False
Let q = -0.0868 - 34.8132. Let g = 35 + q. Which is smaller: g or -6.6?
-6.6
Let d be ((-64)/24)/((-14)/(-357)). Let i = d - 151. Is i > -219?
False
Let o(v) = -4*v + 23*v + 114 - 110. Let n be o(2). Suppose 5*c + n = 17. Is c < -5?
False
Let p = -88 + 82. Let g be ((-11)/(55/(-18)))/(p/(-45)). Suppose 31*a - g*a = 80. Does a = 23?
False
Suppose -14*p = 15*p - 25*p - 25832. Is p at most 6458?
True
Let i be (-24)/(-156) - 1712/(-26). Suppose 2*g + 0*p = -4*p + i, 2*g - 3*p - 38 = 0. Let s be ((-29)/87)/((-2)/144). Which is smaller: g or s?
s
Let p(t) = 2*t**3 - 18*t**2 + 9*t + 18. Let v be p(9). Suppose -v = 2*u + 5*d, 4*u + 200 - 57 = d. Suppose -9 = 3*o + 99. Are o and u unequal?
True
Let o be (-1)/(-4) - (-5 - (-636)/112). Suppose -4*a - 26 = -6, 5*w - 2*a - 1155 = 0. Let g = 3437/15 - w. Do g and o have the same value?
False
Let h = -79.0015686 + 0.0015686. Let y = 29/195 + 2/39. Which is bigger: h or y?
y
Let b = 34898 + -42127. Is -7230 != b?
True
Let d be 5/(-10) + (-68)/(-8). Suppose -d*q + 2*j - 2 = -6*q, 5*q = 2*j - 14. Let w be ((-11)/4)/(-1) - 1/q. Is 26/9 less than or equal to w?
True
Let u = -6002 - -6001.6403. Are -0.1 and u non-equal?
True
Suppose -5*l = -0*z + 2*z + 134, 3*l - 4*z + 96 = 0. Let u = -3 - l. Let r = -1015 + 1039. Is u at least as big as r?
True
Let b = -300 + 300. Suppose b = -10*n - 3*n - 52. Which is smaller: -50/11 or n?
-50/11
Let q = 28767/30305 - 3/1595. Let w be (2/(-2))/((-980)/(-90) + -11). Suppose y = -f + 3, 5*f - 8*f + w = -3*y. Which is bigger: q or y?
q
Suppose 0 = 3*z + z - 0*z. Suppose z = g + 3*g + 312. Let u be (-2050)/(-26) + (-4)/g*3. Do 80 and u have the same value?
False
Let q = 1.0049 + -0.0049. Let y = 14 + -16.2. Let b = q + y. Is b bigger than -1?
False
Suppose -4*j = -2*c - 40, 2*j + 3*j + 2*c - 59 = 0. Suppose j*x - 40 = 15*x. Let p be (-13)/2*x/(-25)*5. Which is smaller: p or -15?
-15
Let a = 884.7 + -886. Let p = -509 - -485. Which is smaller: p or a?
p
Let i(h) = -h**2 + 11*h + 31. Let n be i(13). Suppose -o = n - 4. Let m = -53/190 + 3/38. Which is bigger: m or o?
m
Let u = -3931 - -727236/185. Is u != -1?
True
Let j = -49 + 48.73. Let h = j + 0.14. Let v = h + 12.13. Is 1 >= v?
False
Let o be ((-10)/(-3))/((-1530)/(-72063)). Do 78 and o have the same value?
False
Let p(m) = 495*m + 2009. Let s be p(-4). Does s = 5?
False
Let n be (-5282561)/12322611 - (-6)/14. Is n > 1?
False
Suppose -3*x + 2*g = -16, -3*g - 7 = x + 3*x. Let z be 352/(-44) + 62/6. Is x <= z?
True
Let i be -5 - ((-20247320668066)/(-33005) - 0). Let c = i + 613462228. Let x = c - 14/205. Which is greater: 0 or x?
0
Let l(k) = -k - 18. Let p be l(-22). Suppose -p*d - 14 = 2*b, -3 - 1 = -4*b. Let r(w) = -17*w**2 + 185*w + 20. Let v be r(11). Is v at least d?
True
Let j = 1509 - 1490. Let x be 40/(-6)*3/2. Let r = x + j. Which is smaller: r or 6?
6
Let x be (-5)/(-45) - 149429/(-630). Is x smaller than 237?
False
Suppose 2*n + 3*r + 120 = -8, 0 = -n + 2*r - 50. Suppose -112*l = -113*l + 2*f - 57, 3*l - f + 176 = 0. Is n >= l?
True
Let b be 1492659/(-684) + 10/8. Which is smaller: b or -2187?
-2187
Let x be -8 + (62 - (-4)/1). Suppose 1072 = 5*r - x. Is r > 227?
False
Let g = -2224 - -2026. Which is bigger: -791/4 or g?
-791/4
Suppose 0 = 4*m + d + 5, -m = 4*m - 2*d + 16. Let f be 3*(m/(-3))/(-2). Let j be 4*2 + 494/(-52). Are f and j nonequal?
True
Suppose -a = -b - 174, -4*a - 3*b + 344 = -380. Is 188 < a?
False
Let f(n) = 20*n + 27 - 21962*n**2 + 21964*n**2 + 5. Let w be f(-8). Which is smaller: w or -3?
-3
Let t = -928440 + 51518207162/55489. Are -1 and t nonequal?
True
Suppose 6*q = 2*y + 303 + 867, 0 = -4*q + 5*y + 802. Is q >= 204?
False
Let d be ((-18)/(-36))/(2*7/(-4)). Let o = -142/55 + 24/11. Which is greater: d or o?
d
Let t = 27360 + -27360. Which is bigger: t or -20650/3?
t
Let l(q) = -244*q + 239*q + 0 - 6 + 240*q**2. Let n be l(-1). Is n equal to 239?
True
Let a = -474.0408 - -474. Let z = -0.1408 - a. Are z and 365 non-equal?
True
Let u = 401.9 + -401.9. Is 3603 greater than or equal to u?
True
Let l(b) = b + 46. Let x(d) = 4*d + 137. Let s(p) = 8*l(p) - 3*x(p). Let u be s(-20). Let v = u + -45. Which is bigger: v or -15/2?
-15/2
Suppose -4*y + 10 = -5*l, -2*y = -0*y. Let f be (192/(-63) - l)*(-36)/(-16). Let r = f - 8/7. Which is smaller: -3 or r?
r
Let o = 6.9 - 7. Let l = 354.7 - 119.7. Is o <= l?
True
Let s(o) = 23*o**2 + 14*o - 119. Let n be s(2). Which is smaller: n or -20/363?
-20/363
Let a(p) = 6*p**2 - 249*p - 993. Let c be a(-4). Is 110 at most as big as c?
False
Let g = 89349113/286 + -312410. Let d = 2/143 + g. Is d smaller than 12/37?
True
Let d(i) = -i**3 - 3*i**2 - 35. Let y be d(-4). Let n be ((-3)/801)/(y/(-114)). Which is smaller: n or 0.3?
n
Suppose -625 = 115*w - 148 + 213. Which is smaller: w or -236/39?
-236/39
Let i be (1656/(-690))/(21/(-20)). Which is smaller: i or 66?
i
Let u = -31/92 - -2/23. Let j = -4.2 - -38.2. Let w = -15 + j. Is u >= w?
False
Suppose -165*n + 167*n = 0. Which is bigger: 5/4 or n?
5/4
Suppose 3*a - 4*a = 5*a. Suppose 6*y - 142 - 98 = a. Which is smaller: y or 0.2?
0.2
Let w = 447 - 447.4512. Let i = -0.0512 - w. Which is smaller: -56 or i?
-56
Let r(j) = -2*j**3 + 3*j**2 + 100*j + 46. Let a be r(8). Is a > 316/21?
False
Let u(g) = 24*g + 100. Let h be u(-4). Let s be (-2 - h) + -40 + 7. Which is greater: -35 or s?
-35
Let a be 30/(7 - 4 - 6/6). Suppose 3*h = -a, 10*q = 6*q + 3*h - 85. Are -25 and q equal?
True
Let n = -118 + 122. Let l be (1*n*-3)/(3 - 4). Is l greater than or equal to 48?
False
Suppose -18 = -9*i, 47*i = -x + 43*i + 442. Is x smaller than -2?
False
Let z(d) = d**3 + 8*d**2 - 11*d - 13. Let v = 17 - 26. Let b be z(v). Suppose 31 = -b*o + 6*o. Is 31 bigger than o?
False
Let v = 1325 - 6598/5. Let z be (3/5)/(54/(-36)). Is z > v?
False
Let v = -166 - -339. Let z = -4151/24 + v. Is z at least 0?
True
Suppose 0 = 8*c + 118 + 50. Let g be 0 - (3/12 - c/12). Let l be 5/(-3) - g - 14/(-21). Which is greater: -2/23 or l?
l
Let r = 0.12 - -0.04. Let j = -0.414 - -28.514. Let y = j + -28. Which is greater: r or y?
r
Let y be ((-9)/(-5))/(24/120)*(-2)/(-2). Is -17 less than y?
True
Let g = 73.7 - 73.981. Let n = g + 0.081. Is n at most -139?
False
Let r(o) = o**2 - o + 76. Let l be r(0). Suppose -11*n = -10*n + 36. Let d = n - -112. Is d smaller than l?
False
Let t = -3044509246/483 + 6303350. Let y = 128/7 - t. Which is smaller: -1 or y?
-1
Let f(v) = v**3 + 9*v**2 - 12*v - 18. Let w be f(-10). Suppose 4 = w*i - 3*i, 2*h = 4*i - 192. Let z = -33 - h. Is 71 equal to z?
True
Let v = 3 + -1. Let j = -1 - v. Let d be (71040/(-140))/74 - (-12)/14. Is j less than or equal to d?
False
Let j be 28*6/(-72) + 2 + 0/3. Which is bigger: -2430 or j?
j
Suppose 4*u - 170 = -b + u, 4*u = 5*b - 755. Let y(x) = x**2 - 3*x - 24. Let w be y(-12). Which is greater: b or w?
w
Let u(i) = 2*i - 184. Let z be u(17). Let r = z - -299/2. Which is bigger: r or -1/7?
-1/7
Let w(q) = -5*q**2 + 58*q - 330. Let f be w(6). Is f greater than -141?
False
Suppose k + 4 = -98. Let q = 590124 - 590224. Are q and k non-equal?
True
Let l = -308 + 307.847. Let y = l + 1.153. Which is smaller: 9/22 or y?
9/22
Let z = 97.433 + -96.6. Let o = 7.167 + z. Let n be ((-6)/10)/((-3)/(-2)). Which is bigger: n or o?
o
Let p be (20244/(-567))/(-1 - 60/(-63)). Let u = -750 + p. Is 22/9 smaller than u?
False
Let o(r) = -r + 6. Let k be o(3). Suppose k*t - 6 = 0, 7*d = 11*d + 2*t - 12. Which is greater: 13/10 or d?
d
Let n(l) = -2*l + 31. Let v(h) = h - 15. Let y(q) = 2*n(q) + 5*v(q). Let p be y(17). Let c be 1*-1 - (-132)/p. Which is greater: 1 or c?
c
Suppose 0 = -3*u - 2*q + 9, 2*u - 2*q - 22 = -6. Let g be (-2 + (-45)/25)*u. Which is greater: -17 or g?
-17
Let n = -1 - -1. Suppose 2*h = 4*k + 386, -2*h - 3*k + 73 = -306. Let y = h + -8785/46. Which is smaller: y or n?
n
Let j(m) be the third derivative of m**5/30 + m**4/12 - 25*m**3/6 + 161*m**2. Let y be j(-4). Does -2/115 = y?
False
Let n = 4141/9 - 1668919/3627. Do -1 and n have different values?
True
Let x = -94 - -132. Let w = 27 + x. Suppose -w*o = -62*o. Are -1 and o equal?
False
Let x be 101352/