112 = -30*h. Let b be 20/h + (-5)/(25 + -5). Let j = -2/257 + 775/514. Is j != b?
True
Let q be 4 - (1 + 9) - 198. Let y be (-7 - -3) + (q/(-32) - 3). Which is bigger: -2 or y?
y
Let y(m) = -m**3 - 12*m**2 - 15*m + 7. Let o be y(-11). Let k = o + -41. Let p be (1 - 17/15)*k. Is p less than or equal to -0.1?
True
Let s be (-5)/(-2)*(-40)/75*6. Let b be -2 + ((-2176)/356 - s). Which is smaller: b or 1?
b
Let g = -5188 - -3026. Does g = -2162?
True
Suppose -25*n + 684 - 384 = 0. Let y = 41 - 28. Which is smaller: y or n?
n
Let o = -43 - 35. Let t be -6 + 539/88 + (-1266)/16. Let n = o - t. Which is greater: n or 3/58?
n
Let g(h) = h**3 + 3*h**2 - 3*h - 4. Let u be g(-4). Let s be (13 - (-266)/(-21)) + 77/(-9). Is s less than or equal to u?
True
Let c(t) = 37*t - 46. Let u be c(-24). Let w = u + 460. Let r be 4/((-32)/w) + (-14)/56. Which is smaller: 60 or r?
r
Let u = 34/45 - 12643/1665. Which is bigger: -7 or u?
u
Let z = -1049945/4 + 262486. Suppose 6*i = 2*i - 1648. Which is greater: i or z?
z
Let q = 109.156 + -106. Let v = q + -0.056. Let f = 4.9 + v. Which is smaller: 1/4 or f?
1/4
Let s(w) = 5*w + 25. Let p(j) = -7*j + 122. Let g be p(18). Let t be s(g). Which is smaller: 17/4 or t?
17/4
Suppose -5*j - 3*d = 1354, 4*d - 552 = -29*j + 31*j. Let g be (-2 - -3)/((-5)/1355). Is g less than or equal to j?
False
Let t = -679/12 - -500447/8844. Is t at most 0?
False
Let k = 10292 + -10285. Let l(a) = a**2 + 2*a + 2. Let w be l(-3). Is k <= w?
False
Let r be ((-756)/(-18))/14 - (-504)/(-150). Which is smaller: r or 15?
r
Let s = 1321.3 - 1323.1. Let q be (-1 - 2)/((-147)/(-14)). Which is bigger: s or q?
q
Let c = 43/7 + -187/35. Let j(g) = -g**3 + 23*g**2 - g + 25. Suppose 207 = -x + 10*x. Let l be j(x). Is l at most c?
False
Let i(w) = w**3 - 2*w**2 - 24*w + 12. Let o be i(5). Let a(n) be the third derivative of 3*n**4/8 + 2*n**3/3 + 2*n**2. Let p be a(-4). Which is smaller: o or p?
o
Suppose -45*n + 35*n + 300 = 0. Suppose -9 = a - 4*a. Let c be n/(-24) - (-4)/a. Which is bigger: -1 or c?
c
Let d = -40664/9 + 4520. Let z(h) = -h**3 - 5*h**2 + 6*h + 3. Let y be 12*(2 - 5/2). Let q be z(y). Is q greater than or equal to d?
True
Let w(q) = q**3 + 14*q**2 - 3*q - 19. Let a be w(-14). Suppose -50*n = -a*n. Is n at least -1/5?
True
Let o be (6/4)/((-178509)/628). Is 0 != o?
True
Let k be 434*50/(-40) - 14. Is k at most -557?
False
Let q be 1 + -3 - (12 + 5601/(-402)). Which is greater: 0 or q?
0
Let i = 84 - 23. Suppose -42*a + 43*a = i. Suppose 4*d = 0, -d + 124 = 2*n + 2*d. Which is greater: n or a?
n
Let n = -85 - 87. Let s = n + 172.04. Is s at least 32?
False
Suppose -17337 = 4*p - 30*s + 25*s, -4*p - 2*s - 17274 = 0. Is -4325 bigger than p?
False
Let m = 5.61 - 5.71. Which is greater: m or 1470?
1470
Let b = 5 - 8. Let r(m) be the second derivative of m**3/6 - m**2/2 + 3*m + 3. Let u be r(b). Which is bigger: -7 or u?
u
Suppose 0 = -n - 7, 403*z + 435 = 405*z - 3*n. Is z bigger than 209?
False
Let g = -26185.8 + 26186. Is g less than -300?
False
Suppose 3*j - 2*y = -4, -5*j + 28 - 3 = 3*y. Suppose j*v + 2*d = 7*d + 1, v = 3*d - 1. Suppose -9 = -v*f + 5*f. Which is greater: f or 2?
f
Let r be -2*(-414)/(-420) + 2. Let l be 0*6/24*-2. Are l and r nonequal?
True
Suppose 4*h - 25 = 5*d, -4*h - 10 = 152*d - 150*d. Let w be 91/(-15) - -2 - -3. Which is smaller: h or w?
w
Let v = -4503 - -4554. Is v <= -12?
False
Let b be (-8 - -7) + (-12)/(-2). Let w = 0 - b. Let j = 1126 + -5657/5. Is w >= j?
True
Let j be 252/(-16) + -3 + 15/4. Let d(h) = 2*h**3 + 2*h**2 + 1. Let q be d(-2). Let f be (q - -8)/((-2)/26). Which is smaller: j or f?
j
Suppose x = w + 68, -14*w = 5*x - 11*w - 300. Suppose -x = -8*d - 15. Suppose p = 2 + 4. Is d less than p?
False
Let i = 707/17658 + -5/162. Suppose 0 = -13*t + 16 - 3. Is t equal to i?
False
Let c = -2963 + 3137.1. Let w = 174 - c. Which is smaller: -393 or w?
-393
Suppose 0 = -4*r - 14*d + 10*d + 9332, -2*r = -d - 4663. Is 2332 not equal to r?
False
Let h = -3 - 7. Let t(p) = -p**2 + 57*p - 38. Let v be t(38). Suppose 6*w = -702 + v. Is h less than or equal to w?
True
Suppose 869 = -3*b - 19. Let t = b + 200. Let m be (2/8)/(30/t). Which is smaller: m or 0?
m
Let t be -5*((-9)/5 + 3 + -3). Suppose 4*f = 3 + t. Which is greater: 22 or f?
22
Let x(f) = f + 5. Let j be x(11). Let w = 9527/12 - 2378/3. Is j greater than w?
True
Let f = 436907/89 - 4909. Is f != 5?
True
Suppose -25 = -5*r + 5*v, 3*r + 3*v = -0*v - 3. Let t be 4 + 1332/(-663) - r. Let n = t + 472/3315. Which is smaller: n or 0?
0
Suppose -3*v - 4*d + 11 = 0, 0 = -58*d + 62*d - 8. Is 4/39 equal to v?
False
Let f = 14606.205 + -15.205. Is 2/7 < f?
True
Let d = -9761 + 3367538/345. Let r = d + 2/23. Let u(a) = -a. Let b be u(2). Which is greater: b or r?
r
Let m(k) = -k**2 + 17*k + 349. Let d be m(29). Let o = 57/8 - 7483/1048. Is d at most as big as o?
False
Let s be (-9 - -2)/((-2)/6). Suppose -2*u + 2*f = -32, -107*f + 108*f = -2*u + 44. Which is bigger: u or s?
s
Let m = 654 - 654. Suppose -65*y + 23 = -v - 69*y, -v + 5*y + 13 = m. Which is bigger: 1/13 or v?
1/13
Suppose -6*s + 0*s + 42 = 0. Suppose 5*u + s - 2 = 0. Let c be 1/60*27/(-6). Which is bigger: u or c?
c
Let b = 48679/63 + -6129/7. Let z = 103 + b. Which is greater: z or 0?
z
Let a(n) = -n**3 + 20*n**2 - 64*n + 1. Let t be a(15). Is t at least 164?
True
Let l be (-109915)/87309 + (8/(-18))/(-2). Which is greater: 0 or l?
0
Let k be ((-128)/24 + 5)*(-3 - 0). Let i = 6 - 2. Let t(v) = v**3 - 5*v**2 + 4*v - 1. Let w be t(i). Which is smaller: w or k?
w
Let x = -0.00799 + 0.04999. Which is bigger: 78 or x?
78
Suppose -4*n + 5*o + 18 = -n, 5*o = 2*n - 17. Let k(l) = -2*l + 46. Let t(s) = 2. Let m(b) = n*k(b) - 2*t(b). Let w be m(10). Is w < -2/7?
False
Let c = -224071 + 663577/3. Is c greater than -2880?
True
Suppose -7*l + 4229 = -1350. Let x = 1633/2 - l. Which is smaller: x or -1/4?
-1/4
Let m(b) = -294*b**3 - 2*b**2 - 11*b + 13. Let n be m(1). Suppose -l = -2*g + 295, 3*l = 4*l - 3*g + 296. Is n less than or equal to l?
True
Let n be (1/(-3))/((-6)/(-927)). Let f = 2406 - 2407. Is n < f?
True
Let g = 2.4956 + 0.5044. Which is bigger: -29/3 or g?
g
Let f be (-638)/10 + 4/(-20). Let j = f - -67. Suppose 0 = k - b - 55, -k + 0*b - j*b = -55. Which is greater: k or 54?
k
Let j = 143/8 - 787/40. Suppose -r - 146 = 2*r - 5*k, -239 = 5*r - 4*k. Let p = r - -44. Which is greater: p or j?
j
Let n be (156/117)/(10/(-6) + 3). Which is smaller: n or 5/77?
5/77
Let a = -15 - -41. Suppose 4*k = 5*p + 1255 + a, 4*k - 4*p - 1280 = 0. Let v = k - 5425/17. Is v greater than -1/4?
True
Let b = 6 + -4. Let l be 416/(-52) + (-2478)/(-9)*6/206. Which is smaller: b or l?
l
Suppose 7 = 7*s + 28. Let y be s + 4 - 63/78. Which is greater: y or 0?
y
Let v(k) = k**2 - 3. Let c be v(0). Suppose -5*m + 47 - 7 = 0. Let q be 560/(-72) + m + 76/(-18). Which is smaller: q or c?
q
Let z be 19/6 - (-6)/(-36). Suppose -14 = -g + 2. Suppose m = z*m + g. Which is bigger: m or -10?
m
Let a = -47948/9 + 5328. Which is greater: -10/3 or a?
a
Let v(h) = h**2 + 24*h + 98. Let l be v(-17). Let i = 6.9 + -7. Which is greater: i or l?
i
Let f = 16283 + -20592. Is -4310 at least f?
False
Suppose 23*q + 14 = 24*q + 5*h, -2*q - 3*h = -14. Let w be (-115)/(-10)*(q + -6). Is w less than or equal to -20?
True
Let j = -197.4 + -65.6. Let r = -262 - j. Is 1/132 != r?
True
Let f = -5579/3 - -1859. Let x = -96.997 + -0.003. Is x equal to f?
False
Let i(u) = u**2 + 6*u - 14. Let t be i(4). Suppose b + 5*a - t = 0, -b = -5*b + a - 1. Which is smaller: b or -3/47?
-3/47
Let b be 2 - (-5)/((-65)/28). Suppose 3*o + 1277*i + 57 = 1272*i, -5*o + i + 17 = 0. Which is smaller: o or b?
b
Let j(y) = -y**3 - 11*y**2 + 14*y + 63. Let o be j(-13). Suppose 0 = -214*r + o*r - 130. Let b(t) = -7*t - 3. Let h be b(-4). Which is bigger: r or h?
r
Let l(c) = c**3 - 21*c**2 + 28*c + 2. Let g = 7 + 13. Let r be l(g). Suppose -5*q = m - r, -96 = 2*q - 5*q - m. Is 33 equal to q?
True
Let z = 2/69 - 148/345. Let y = -515.22 + 521. Let q = -0.22 - y. Is q less than z?
True
Let v(r) = 10*r**2 - r + 26. Let a(c) = 4*c**2 + 12. Let w(b) = 14*a(b) - 6*v(b). Let d be w(-5). Which is smaller: d or -116?
d
Suppose 1005 + 460 = 23*f - 7. Do f and -5 have different values?
True
Let z