9124/17. Is h less than or equal to -10?
False
Let j = 89 + -89.06. Let t be 3 - (2169/(-7) + 0 - -2). Let f = 310 - t. Is f < j?
True
Let t = 108.1 + -230.2. Let z = -122 - t. Is z >= -167?
True
Let k be (-1)/4 + (-6)/(-24) + 3. Suppose -k*o = -3*f + 87, 4*f - 2*f + 86 = -4*o. Let i be (-213)/9 - -1*(-4)/(-6). Which is greater: o or i?
i
Let u(f) = 832*f + 16660. Let z be u(-20). Which is smaller: 271/14 or z?
271/14
Let m be (-4)/((-504)/(-134)) + 1. Suppose 39*p + 194*p + 233 = 0. Which is smaller: p or m?
p
Let y(k) = -3*k**3 + 24*k**2 - 22*k + 55. Let g(s) = -s**3 + 8*s**2 - 7*s + 18. Let w(v) = -8*g(v) + 3*y(v). Let z be w(7). Is 4/87 at most z?
False
Let r = -0.118 - 0.382. Let w = 20 - 8. Let t = 10 - w. Is r at least t?
True
Suppose -11*p + 14*p = -4*a + 3, -5*p = -5. Let n = -4429715/514344 - 8380/2217. Let b = -99/8 - n. Which is bigger: b or a?
b
Let l be (-745)/7 - (3 - 153/63). Let d = l + 88. Is -19 greater than d?
False
Let f = 254 - 252. Let p = -407 + 502. Is f >= p?
False
Let n be 2*8/(-4) + (-1420)/(-380). Is n > 89/4?
False
Suppose -27*s + 103*s + 60800 = 0. Does s = -800?
True
Let p = 9025 - 9836. Is -803 smaller than p?
False
Let d(v) = -v - 10. Let y be d(-11). Let s be ((-84)/(-12054))/((42/(-98))/((-6)/(-40))). Is y less than or equal to s?
False
Suppose 0 = -5*i + 5 + 20. Suppose 0 = -4*h + 9*p - i*p + 12, 0 = 4*h - 3*p - 14. Let f be (-1 + h/8)/((-30)/72). Do 1 and f have the same value?
False
Let m = -24843 - -11533. Let p be (-24 - -16) + m/(-1664). Is -1 < p?
True
Let c be 5985/207 - (-2)/23. Suppose c*n = 28*n + 57. Is n bigger than 56?
True
Suppose -5*c = -2*r - 27, -32*r + 7 = -34*r + c. Let f be (16 - r)*(-2 + 3/2). Let o(x) = x - 10. Let n be o(0). Is n at most f?
True
Suppose -563*s - 11679 = -2108. Suppose 46 = -5*t - 34. Is s greater than t?
False
Let h(l) = -30*l**2 - 8*l + 4. Let y(m) = 60*m**2 + 12*m - 7. Let s(x) = 5*h(x) + 3*y(x). Let p be s(2). Which is smaller: 110 or p?
110
Let g be (3 - -21)*(-310)/9021. Which is greater: g or -2?
g
Let g = 4/75 - -29/300. Let z be (1 + (-3)/3)/(16 - 19). Which is smaller: z or g?
z
Let v = -98 - -97.055. Let c = -0.745 - v. Is c greater than 0.8?
False
Let b(x) = -28*x**3 + 2*x**2 - 2*x + 1. Let s be b(1). Let m be 30/25*3*(-15)/s. Suppose -m*o + 27 = 31. Which is greater: -11/7 or o?
-11/7
Let u = -4650 + 841652/181. Let q = u + -372/905. Which is bigger: -39 or q?
q
Let q = 0.2783 - 0.2483. Which is smaller: q or -3520?
-3520
Let h be 14 - ((-12)/2070*23 - 1883/(-135)). Suppose -z + 1 + 0 = 0. Which is smaller: h or z?
h
Let p be (370/(-364) + 1)*(-604)/(-34881). Is -1 <= p?
True
Let w = -1511.2 + 762.2. Which is greater: -4/3 or w?
-4/3
Let k(a) = -a**3 + 4*a**2 - 3*a + 4. Suppose 2*w - 5*l - 33 = 0, 0*l - 3*l = 9. Let b be ((-6)/4)/(w/(-24)). Let d be k(b). Which is bigger: -25/3 or d?
d
Let u(a) = -a - 8. Let r be u(-6). Let w = 1893 - 922. Let d = -973 + w. Are d and r non-equal?
False
Suppose 8*j - 2*u + 8 = 11*j, 5*j - 13 = -3*u. Let y(z) = 5*z - 1. Let h be y(2). Which is bigger: j or h?
h
Let x(q) = 5*q - 30. Let f be x(6). Suppose -3*r = 5*y - 15, -5*r + 6*r + 4*y - 12 = f. Which is bigger: 1 or r?
1
Let s be ((-278)/3377283)/(1/3). Is 1 > s?
True
Let i(s) = -626*s - 65. Let b be i(0). Is b equal to -59?
False
Let v(y) = -y**3 + y + 4. Let o be v(0). Suppose o*z + 4 = 16. Suppose 13 = -w + j, 4*w - z*j = -5*j - 22. Is w <= -7?
True
Let j = -391 + 480. Is 101 at least as big as j?
True
Suppose -4*r + g = 556, 3*r + g = 5*r + 276. Let u = r - -139. Is -7/9 smaller than u?
False
Let d = -11779708/785 + 15006. Let u be 6/(-9) - (-4)/6. Is u <= d?
True
Let a = 10421 - 10413. Is -477 less than a?
True
Let k(h) = -4*h**2 - 176*h + 5. Let i be k(-44). Suppose 2*r - i*z = -6, 4*z - 2*z - 4 = 0. Which is bigger: r or 23/12?
r
Let n = 60 + -70. Let b be 188/n + (306/45 - 7). Which is smaller: b or -1?
b
Suppose n - 796 = 4*i, 0 = 2*n - 2*i - 1311 - 287. Suppose n = -0*o - 10*o. Which is bigger: o or -79?
-79
Let o = 176204 + -1411567/8. Is -241 bigger than o?
True
Let g(c) = 45*c + 1695. Let m be g(-38). Which is greater: m or -0.015?
-0.015
Let z = 882 + -9704/11. Is -4/63 >= z?
True
Let q be (1 + (-18)/10)/(38/665) + 4. Which is smaller: q or -61/7?
q
Let x = 0.27965 - -0.03135. Which is smaller: 0.1 or x?
0.1
Let q(v) = v**2 - 5*v + 4. Let d be q(4). Let k be (-5154)/24 + 24/(-32). Let w = k + 1289/6. Is w smaller than d?
True
Let s(j) = -j + 26. Let a be s(-5). Suppose -5*t - a - 14 = 0. Let n(m) = m - 23. Let b be n(t). Which is greater: -33 or b?
b
Let p = -2403.05 + 2403. Let c = -0.12 + -1.88. Which is bigger: p or c?
p
Suppose -57*q + 56*q + 2 = 0. Let n = -1.1 + -4. Let y = n - -4.9. Is y smaller than q?
True
Let s(n) = n**3 - 16*n**2 - 17*n + 153. Let u be s(14). Is -478 not equal to u?
True
Let r(d) = -d**3 + 16*d**2 - 14*d - 12. Let t be r(15). Let a be 338/(-56) + t/(231/22). Which is greater: -6 or a?
a
Let z be ((-1)/(-5))/(2/30). Suppose -z*i = -12, 2*w + 3*i - 291 = 5*w. Is -92 not equal to w?
True
Suppose -4*d - 5*n + 3*n = -10, 2*n - 7 = -d. Which is bigger: d or 3/1418?
d
Let k(x) = x**2 + 11*x - 20. Let n be k(2). Let m be 8 - ((-16308)/(-339))/n. Are 7 and m nonequal?
True
Suppose 0 = 2*t - o + 4, -3*t + 7*t + 2*o = 8. Let c be 832/624*((-2542)/2548 - -1). Which is smaller: c or t?
t
Let u = -34090052/9891 - -24126/7. Is u less than 1?
True
Let w(i) = 2*i**2 - 2*i - 1. Let h be 7*(-4)/20 - 4/(-10). Let l be w(h). Suppose l*z + 252 = -5*u, -4*z + 2*z = -4*u - 206. Is u < -51?
False
Suppose 68*x - 51*x = 3689. Suppose 7*w = 1623 - 90. Which is smaller: x or w?
x
Let q = 166 - 165.848. Let x = q + -0.026. Which is bigger: 0.1 or x?
x
Let t(w) be the second derivative of 0 - 7/6*w**3 + 4*w**2 - 2*w. Let b be t(4). Is b greater than or equal to -20?
True
Let h be ((7/14)/(3/(-18)))/3. Is h at most as big as -1/2012?
True
Let m be -4 - (-6 - (3 - 6)). Let k = -47 - -83. Let c be ((-27)/k)/(6/4). Is m bigger than c?
False
Suppose -482 = 3*x - 3146. Suppose 38*s = 14*s - x. Which is smaller: -0.2 or s?
s
Let q = -5.9 + 0.9. Let t = -170.9 - -153.9. Which is greater: t or q?
q
Let d = 9280 + -9273.557. Which is greater: d or 0.1?
d
Let y = 1509/22 - 1266/11. Which is smaller: y or -23?
y
Let c(b) = 43*b - 109. Let v be c(-12). Let o = v + 621. Is -4 at most o?
True
Let p(u) = 3*u**3 - u**2 + 11*u - 11*u**2 + 5*u**2 - 2 - 4. Let k be p(4). Let j = k + -85. Which is smaller: 31 or j?
31
Let k be 1*(-6)/36*2258. Let q = k + 373. Let f = 0 - 0.1. Is f less than q?
False
Let d be (-198354)/(-198276) + (1 - 2). Which is bigger: d or 0?
d
Let j(m) = m**3 + 3*m**2 - 2. Let h be j(-2). Suppose 2*z = -h*z - 4. Let a be 9030/6867 - 4/3. Which is bigger: a or z?
a
Suppose -3*d + 181 = 2*t, -2*t - 3*t + 187 = 3*d. Let a be (d + 0)/(-2 + -2 + 3). Let k be 2 + 0 - (2 - 2/a). Which is bigger: k or 0?
0
Let p = 14/13 + -206/143. Let x = 55 + -50. Suppose 0 = j - l - 2, 3*l + 1 + x = 0. Which is smaller: j or p?
p
Let p be 8/(-10)*(-235)/(-20). Let u(k) = -2*k. Let r be u(-5). Let d = p + r. Which is greater: 0 or d?
d
Let p = 7780 - 7702. Let y be (-2)/2*-23*3. Let u = y - p. Is u < -11?
False
Let n be ((-3)/6 - 14/(-20)) + (-571153)/30140. Let p(q) = -q**3 - 7*q**2 + 11*q + 5. Let o be p(-8). Is n > o?
True
Let m = -3 - -44. Let o = m + -50. Let u = 418 + -415. Which is smaller: u or o?
o
Let k(b) = -58*b + 64. Let s be k(1). Is 7 <= s?
False
Let i = -44092/13 - -3394. Let t(v) = v**2 + v + 1. Suppose 3*p + 1 = -2. Let b be t(p). Which is smaller: b or i?
b
Let l = -22.2 - -22.3. Is l at least as big as 115?
False
Suppose -47*n - 4*n - 7310 = 34*n. Is -81 > n?
True
Let m = 1465.9 + -1457.8. Which is bigger: -3/112 or m?
m
Let f be 4 - 1 - (3 + 1/223). Let w = f - 665/892. Is -2/15 <= w?
False
Let g = 14723 - 15202. Which is smaller: -489 or g?
-489
Let d(q) = q + 4. Let w be d(-5). Let r be 2/w + 28/(-7). Let p = 6.06 - 5.96. Which is smaller: r or p?
r
Let q be (-4)/(-41) - (10 + -10). Suppose 4*n - 4*k - 12 = 0, 4*n - 26 = k - 23. Which is smaller: n or q?
n
Let u = -10167 - -10166.5. Is u at most 8.7?
True
Let t = -22 + 21.69. Let j = 1133/2795 + -3/559. Is j at least t?
True
Let u = -1383 - -1373.82. Which is greater: u or -1?
-1
Suppose 31 = 4*m - 3*q + 