+ 120 = 0. Let o = -30 - f. Which is bigger: o or -2/41?
o
Let a be -10 + 1/(40/10 + -3). Which is smaller: a or -153?
-153
Suppose 3*f - 4*h = 83, 5*f - 24*h = -22*h + 143. Suppose 4*a + 3375 = f*a. Which is bigger: 138 or a?
138
Let g be (2/4)/((-12)/1296). Let z = -375 - -319. Is g <= z?
False
Let k be 11 + 792/(-63) - (-24)/42. Is -5/403 >= k?
True
Let u(j) = -j**3 - 8*j**2 - 3*j - 20. Let n be u(-11). Suppose -n + 103 = 2*z - 5*m, -3*m = 9. Let k = -2156/15 - z. Which is smaller: 1 or k?
k
Let i = 3368 + -3369. Is 10/547 greater than or equal to i?
True
Let n be ((1 + 227/(-12))*8)/(8/12). Which is bigger: n or -28?
-28
Let q = -5236 - -4939. Which is smaller: 1 or q?
q
Let b = -114.41 + -449.59. Which is smaller: b or 0.1?
b
Let n(t) = 2*t**3 + t**2 - 5*t + 1. Let d be n(-5). Let g = 169 + d. Which is greater: -27 or g?
-27
Let r(u) = -130*u - 143. Let v be r(-1). Let k(o) = -o**2 - o + 3. Let s be k(4). Which is smaller: v or s?
s
Let w = -0.091 + -42.909. Let a = -87 - w. Let r = a - -37. Are 2 and r nonequal?
True
Suppose -41*d + 20 = -43*d + 4*w, 2*d - 25 = -5*w. Is 12/1817 > d?
True
Let w = 1244 - 1243.2. Do 5 and w have different values?
True
Let y be (8/6)/((-8)/36). Let t be (-42)/y*(-20)/(-14). Let d be t/25 + -1 - (-1082)/1770. Which is smaller: 0 or d?
0
Let k = -252 - -164. Let x = -893 - -893.3. Is k at most as big as x?
True
Suppose 0*m = -29*m + 4*m + 21750. Which is smaller: 879 or m?
m
Let g = 794 - 793. Which is greater: 2/5393 or g?
g
Let j be 394/8 + 0 + 26/(-104). Which is smaller: j or 626/13?
626/13
Let k be 7 - -7*36/(-63). Let h be (k/(-2)*1)/((-1395)/(-165)). Is 0 less than or equal to h?
False
Suppose -3*f - 25 + 24 = -z, z + f - 1 = 0. Are 2/1015 and z equal?
False
Let y be 214*-2*(-29 - -24). Is y equal to 2137?
False
Let i be -2*(-12)/9*(-87)/58. Which is smaller: i or -21?
-21
Let g = 0.0461 - -0.9539. Which is smaller: g or 0.12062?
0.12062
Let b = -0.04 + 0.14. Let t = 1.1 - b. Let y(i) = i**3 - 101*i**2 - 97*i - 477. Let r be y(102). Which is smaller: t or r?
t
Let a(y) = 13*y - 11. Let l be a(6). Let s = 65 - l. Let h be (-138)/180 - s/3. Is 1 smaller than h?
False
Let x = 1835 + -1834. Do -1/221 and x have the same value?
False
Let d(o) be the first derivative of o**2 - 47*o - 85. Let y be d(24). Which is greater: -3/55 or y?
y
Let s = -76.7 - -80. Let q = s - -10.7. Let j = q + -23. Which is smaller: j or 0?
j
Let x(m) = -9*m**3 + 9*m**2 - 7*m - 1. Let o(h) = 7*h**3 - 7*h**2 + 5*h + 1. Let q(s) = 4*o(s) + 3*x(s). Let l be q(1). Which is bigger: l or 6/29?
6/29
Let v(l) = -l**2 + 9*l - 3. Let y be v(9). Let r be (-798)/(-18) + (-5)/y. Is r < 47?
True
Let o(t) = -2*t**3 - 17*t**2 + 111*t + 953. Let v be o(-8). Is v greater than 2/1643?
True
Let q = 6687 - 6651.9. Which is greater: q or -1/9?
q
Let c = 433 + -167. Suppose -z - 3 = -1, 5*r = -2*z + c. Let j be 9/180*(0 + r) - 3. Is j at least 1?
False
Suppose 6*p - 48 = 4*p. Suppose p = -z + 26. Suppose 0*y = -z*y - 5*u + 10, 3*u - 6 = 3*y. Which is smaller: -2/7 or y?
-2/7
Let s(j) = -j**2 - 24*j + 166. Let r be s(9). Is r less than -132?
False
Let q be (9/(-30))/(6 + 162/(-36)). Which is smaller: -87/11 or q?
-87/11
Let b(z) = -z**3 - 17*z**2 + 20*z + 23. Let j be b(-18). Let i = j - -15. Suppose 39 = i*k - 7. Which is smaller: 24 or k?
k
Let l = -6035/3 - -10029/5. Let c = 26/5 + l. Let o = -51 + 35. Is o <= c?
True
Let k be (-2 - 2340/(-55)) + 32/(-16). Is k smaller than 39?
True
Let o = 0.6 - -36.2. Let f = 738 - 737. Is f equal to o?
False
Let i = -1101/18841 + 16/227. Is i < 1?
True
Suppose -2*j - 4*i - 16 = 0, -2*j - 3*i = -14 + 29. Do j and -300/47 have different values?
True
Suppose -342*o - 8323170 = -99*o + 178*o. Which is greater: -19771 or o?
o
Let w be ((-6)/4)/((-2)/12)*1. Suppose -4*r = -2*h - w*r - 6, -2 = -2*h - r. Which is greater: 0 or h?
h
Let b = 572 + -572. Suppose -29*f + 18*f - 11 = b. Which is smaller: f or 1/411?
f
Suppose -40*w = -5*o - 35*w - 15, -18 = 2*o + w. Is -1922 at least o?
False
Let p be -9 + (-23)/(276/(-120)). Which is greater: -1/2345 or p?
p
Let f = -22480 - -7474. Are f and -15005 equal?
False
Let j be (-18)/(-24) - (-9)/(-12). Let p be j + (12/114)/(-1). Which is bigger: p or 1/5?
1/5
Suppose -5*u - 1 - 4 = 0. Let o = 82 + -48. Let l = -34.14 + o. Are u and l nonequal?
True
Let x = -0.223 - 37.277. Let k = x - -37.6. Is k smaller than -3?
False
Suppose -41*q - 4643 = 6632. Which is smaller: q or 5?
q
Let w = 4244 + -148516/35. Let z be 12246/7140 + (-1 - 0). Let c = z - w. Is c less than 0?
False
Let q = 33209/2 - 16603. Which is smaller: q or -35?
-35
Let f(j) = j**3 - 5*j**2 + j - 5. Let c be f(5). Suppose c = 3*s + 4*r - 9, r = -3*r + 12. Let d be -16 + 728/40 - (0/1 - -4). Are d and s nonequal?
True
Let b(v) = -19*v - 104. Let z be b(3). Which is smaller: -168 or z?
-168
Let x be (-3)/(-3)*(391/(-19057))/23. Are 0.2 and x equal?
False
Let l(w) = w**3 + 130*w**2 - 5*w - 776. Let p be l(-130). Is -2 less than p?
False
Let b = -179 - -181. Suppose 2 = 2*i - m - 11, -3*i + m = -17. Suppose -l + 19 = i*u + b*l, 3*u + 5*l = 28. Which is smaller: 3/50 or u?
3/50
Let o be 14/4*-2*7/(-70). Let r = 22 - 4. Let c be 12/r - 3/(-9). Which is greater: o or c?
c
Suppose -18*q + 5807 = 6023. Does -74 = q?
False
Let q be (0 + -10)*(-1)/(-2). Let v be 2095 - 5*(-1)/((-15)/(-9)). Let t = v - 18938/9. Which is bigger: t or q?
q
Let g be 8950592/4972 - (39/33 + -1). Let q = 1800 - g. Is 1 less than q?
False
Let u = 39 - 19. Let s(a) = -a**2 + 31*a - 63. Suppose 5*v - 4*c - 140 = 0, 4*c = -2*v + 7*c + 56. Let k be s(v). Which is greater: k or u?
k
Let a be -3742*(-6)/(-24)*(-24)/3. Suppose -3172 = -28*v - a. Which is smaller: v or -155?
-155
Let r(h) = -12 - 1 + 6 - h**2 + 15*h. Let g be r(12). Suppose 4*f = 5*q + 120, 0 = -f - 2*q + 1 + g. Is 32 not equal to f?
True
Let n be (2 + 3/3)/(3/1). Let v = 4409 + -154246/35. Let o = v - 12/5. Which is bigger: o or n?
n
Let z = -349271329/84770 - -1302964/245. Let j = 1198 - z. Is -1 < j?
True
Let u(h) = -h**3 - 5*h**2 + 4*h - 10. Let a be u(-6). Let r be (248/16)/(a/(-8)). Let o be r/22 - (0 - 3). Which is bigger: 0 or o?
o
Let s = -3592 + 21545/6. Let f = -5.2 + 5. Is s greater than or equal to f?
False
Let y be 15/(-2)*(-28)/35. Let x be ((-2)/34)/(y/18). Suppose -4 + 4 = -13*g. Which is smaller: x or g?
x
Let i = 1009 - 1115.1. Let v = i + 106. Which is greater: -14 or v?
v
Let a = -326 - -125. Let f be (17/(-4))/1 + a/268. Which is smaller: f or -24?
-24
Let m = 249 - 222. Let q = m - 7. Which is bigger: q or 22?
22
Let q(m) = 9*m - 786. Let c be q(81). Is c greater than or equal to -61?
True
Let i = -278 + 272. Let y be 2*((-65)/(-10) + i). Which is bigger: -0.373 or y?
y
Suppose 7 = -47*d + 54*d. Is -3/470 > d?
False
Let l = 14 + 4. Suppose -110 = n + l. Let y = n - -515/4. Is y >= 0?
True
Let b = -858 - -1012. Is b bigger than 158?
False
Let f(o) = -4*o + 26. Let y be f(4). Suppose 0 = -3*x - 2*i + 10, 0 = 3*x - 2*i + y. Which is smaller: x or 2/277?
x
Let w = -840 - -922. Which is greater: -26 or w?
w
Let n be (1 + (-40)/110)/((-8)/144). Do -11 and n have different values?
True
Let n = 3486.3 - 3480.3. Which is smaller: n or -4?
-4
Let x be (-510)/22 - 10/(-55). Let j(v) = -v - 25. Let d be j(x). Let t = d - 25. Is -0.1 smaller than t?
False
Suppose -157*p + 863 - 1177 = 0. Is p < -49/15?
False
Let q(o) = o**3 - 8*o**2 - 16*o + 13. Let h be q(10). Let f be 0 + 820 + 6 + (0 - -1). Suppose -17*r = -57 - f. Which is bigger: r or h?
h
Let h = -71 - -49. Suppose 0*q = 31*q - 7781. Suppose -q - 358 = 29*x. Is h less than or equal to x?
True
Suppose 365 = 3*g + 2*g. Let j(v) = -v**2 + 38*v - 184. Let q be j(32). Let x be (8*876/384)/(2/q). Is x at most g?
True
Suppose -24*h = 26096 + 28408. Let p be h/135 + 38/171. Which is smaller: p or -17?
-17
Let b = 112.973 + -113. Let t = -51.973 + b. Let y = -53 - t. Which is smaller: y or -10/9?
-10/9
Let d = 193 + -192. Let n = 10/59 + -901/2183. Which is smaller: n or d?
n
Let p(v) = -v - 22. Let z be -10 + 0*(8 - 4)/(-4). Let w be p(z). Let k be (-52)/5 - (-6)/15. Which is bigger: k or w?
k
Let h = 33 - 8. Let p be (8/210)/(2/h). Let t(z) = 8*z - 191. Let g be t(24). Is g at least p?
True
Let z = -1972 - 6543. Let k = 42707/5 + z. Is 