 - 34*j - 240. Let l be d(-6). Which is smaller: l or 3/193?
l
Let r(m) = 92 - 39 + 4*m - 40. Suppose 0 = 13*f + 3 + 10. Let o be r(f). Is 17/2 >= o?
False
Let q = -133 - -59. Let u = -74.145 - q. Which is greater: -1 or u?
u
Let r be (0 - -33392) + ((-82)/(-78) - 2/39). Is 33393 at most r?
True
Suppose -4*h - 35 = -43. Let g be 1/(-1)*(7 - h). Which is greater: -9 or g?
g
Suppose -2*j = -4 + 6. Let l be 4 + -4 + (-2400)/(-415) + -6. Let o = -163/1162 + l. Which is greater: o or j?
o
Let i(f) = f - 9. Let c(q) = 3*q - 26. Let o(m) = 6*c(m) - 17*i(m). Let b be o(8). Suppose b*r + 15 = 10. Does -1/33 = r?
False
Let m = 0.6 - -1.4. Let n(t) = 4*t**2 - 3*t + 4. Let r(y) = -9*y**2 + 6*y - 7. Let g(v) = 7*n(v) + 3*r(v). Let i be g(3). Is m less than i?
True
Let q(y) = y**2 - 28*y + 192. Let l be q(15). Let n be -4 + ((-66868)/(-32) - 2). Let m = n + -2087. Is l greater than m?
True
Let g = -318 + 709. Let f = g + -369. Let i = -7 - -59/2. Is f >= i?
False
Let o = 14587.95 + -14588. Are o and -78/17 unequal?
True
Let n = -1/93 + -221/5394. Let p(i) = -2*i**2 - 177*i + 3104. Let g be p(15). Are g and n nonequal?
True
Let c be (1111/18 + (-2)/9)/(27/(-75)). Which is greater: c or -172?
c
Let b(s) = 7*s**2 + 27*s + 479. Let o be b(-19). Which is smaller: o or 0?
0
Let g(x) = -x**2 - 5. Let k(w) = -3*w**2 - w - 11. Let i(l) = 15*g(l) - 6*k(l). Let h be i(3). Suppose 0 = -22*j + 17*j + 185. Which is greater: j or h?
j
Let p = -80/71 - -3400/497. Let b = p - 382/35. Which is greater: b or -4?
-4
Let z = 6 - 4. Suppose 22 = -2*x + 3*x - z*k, 140 = 5*x + 5*k. Let c = -324 - -326. Which is greater: x or c?
x
Let b = -10353 - -10353.4. Let v = 35 + -65. Which is smaller: v or b?
v
Let q = 120/1789 + -487571/7295542. Which is smaller: q or -1?
-1
Suppose a = 2*b + 7, 0 = 5*a - b - 28 - 25. Which is smaller: 24 or a?
a
Let u = -7 - -10. Suppose u*p = -0 - 3. Let n = -53 - -51. Are n and p non-equal?
True
Let y = -772 - -772.101. Let o = 4.101 - y. Let x = -1.5 + 2. Is o less than x?
False
Let k = -4900 + 4777. Is k > -15?
False
Suppose -x + 4864 = -d, 2*d - 84*x + 89*x = -9770. Which is greater: d or -4871?
d
Let c = 11955.6803 - 11956. Which is greater: -1 or c?
c
Suppose 2*c = -5*p + 200, -4*c + 5*p + 7 = -333. Let z be ((2/(-8))/1)/(36/c). Let o = -1/8 - z. Which is smaller: -1/7 or o?
-1/7
Let f be (8/10)/((-78)/(-15)) + (-1686208)/(-7072). Which is greater: f or 240?
240
Let f be ((-1)/(-3))/(3/18). Let y(w) = 3*w - 38. Let q be y(14). Suppose -2*z = -2*i + 6*i - 2, -4 = i - q*z. Is i greater than f?
False
Let x = -110 + 113. Suppose 5*z - 112 = v, 85 = 3*z + x*v + 7. Let h = 2 - -22. Which is smaller: h or z?
z
Let v = 210 - 142. Let n(z) = -167*z - 1433. Let c be n(-9). Does c = v?
False
Let z = 13/17 + -859/1190. Suppose 4*u + d = 0, -3*d = -102*u + 101*u. Is u greater than or equal to z?
False
Let h(b) = -b + 2. Let v be h(-12). Suppose -v = p - 3*p. Let a be 0 - (-3 - p/(-1)). Which is bigger: a or -6?
a
Let u(v) = 4*v + 79. Let d(t) = 2*t + 39. Let c(n) = -5*d(n) + 3*u(n). Let b be c(10). Is 1 < b?
True
Let c = -1248.9 - -1249. Which is bigger: c or -894/11?
c
Let r = -502 - 278. Let h = r - -779.88. Let k be 4/5*2/8. Is k < h?
False
Let c(o) = -2*o - 2. Let q be c(6). Let l = -8826 - -8806. Which is smaller: l or q?
l
Let m(r) = 6*r**2 + r + 19. Let n be m(6). Let z = 725/3 - n. Is -31 bigger than z?
False
Let c = -17406/5 - -21084/5. Which is greater: 735 or c?
c
Suppose -23*k + 70*k - 10904 = 0. Does 233 = k?
False
Let i = 0.1776 + 0.1692. Which is smaller: i or 0?
0
Suppose 0 = -295*u + 3635 + 2265. Let n be 20 + (3/3)/1. Is n at least as big as u?
True
Let x = -208 - -448. Suppose -3*h - x = 3*l + l, -3*h = -3*l - 159. Is l bigger than -59?
True
Let w(t) = -21*t - 3*t - 9 - 11*t - 4 + 4*t. Let s be w(-2). Is s not equal to 49?
False
Let o = 54580 + -75866203/1390. Which is greater: o or -1?
o
Let m(u) = u**3 - 22*u**2 - 206*u - 21. Let f be m(-7). Is f greater than or equal to -1/6013?
True
Let p be 2*(3 - 1933/644). Let l = -29/322 - p. Which is bigger: 2 or l?
2
Let m = 12.942 + -13.942. Which is smaller: 377 or m?
m
Let s be (-8)/(-7 + (-904)/(-128)). Suppose 22*c + 2679 = -93. Is s at least c?
False
Let t = -81 - -84. Suppose -2*f + t*f + 26 = 0. Which is bigger: f or -0.2?
-0.2
Let m = 106 - 102. Let x be (-30)/m*(-144)/(-20). Let o be x/24*(-24)/9. Do 6 and o have different values?
False
Let i = -12567 + 10814. Does -8758/5 = i?
False
Let n(a) = -a**2 + 11*a + 14. Let z be n(11). Suppose -45 - z = q. Let h(t) = 4*t - 22. Let b be h(-9). Which is greater: b or q?
b
Let f = -114.1 + 111. Let s = f - -3.2. Let b = 95/189 + -2/27. Is b less than s?
False
Let a be (-109)/10 + 68/136. Suppose -38*l + 40*l + 20 = 0. Is l > a?
True
Suppose 5*q = -34*j + 36*j - 12, 0 = -3*j + q + 5. Let t be j*((-12 - -2) + 9). Is -48/41 greater than t?
False
Suppose 5*t = 5*p + 50, 4*p + t + 15 = -5. Let k be p*(48/9)/(-1). Which is greater: 31 or k?
k
Let i = -366.8051 + -0.3949. Let w = i - -384. Which is smaller: 0 or w?
0
Let t(w) = -w**3 - 7*w**2 - 14*w - 7. Let g be t(-2). Let j be -22*((-31)/(-124))/(g/(-20)). Which is smaller: 111 or j?
j
Let y = 116 + -115. Let m be (-10)/4 + (5 - 2). Let z = m - 1/4. Which is greater: y or z?
y
Let u be (-4 + 3)/(3/3). Let k be (-2 + (0 - -6))*u/2. Do k and -30/23 have different values?
True
Suppose 4484 + 2770 = -57*h - 60*h. Which is greater: h or -8?
-8
Suppose 2*s = 5*s - 12. Let b be s/(8/(-90))*(-72)/120. Which is greater: 26 or b?
b
Let y be (-66)/429 + 732/26. Is y bigger than -0.1?
True
Let r = 9.446 - 9.416. Do r and -9.16 have different values?
True
Suppose -9*b + 34 = 502. Let f = 53 + b. Let x be 23/(-138)*3*f. Which is smaller: x or -1/12?
x
Let c = -2/771 - -176/1799. Let r(b) = b**3 - 3*b**2 - 24*b - 26. Let p be r(7). Which is smaller: p or c?
c
Let i(w) = 29*w**3 - 21*w**2 + 85*w - 51. Let x be i(6). Which is smaller: x or 5970?
x
Let d = -3 - -3.004. Let q = d - -0.736. Let x = -3877/692 + 926/173. Are x and q equal?
False
Let p = 109474735 - 1654053774299/15109. Let z = p - -2/521. Let l be ((-1)/3)/((-2)/(-6)). Which is smaller: z or l?
l
Let v be -1 - (-29)/((12/(-28))/(-3)). Let t = v + -196. Is 45/7 greater than or equal to t?
True
Let z = -204 + 204. Let l = -16788/19 + 884. Is z at most l?
True
Suppose 0 = -3*c - 2*m - 3 - 8, m = -5*c - 9. Let r be c/(-8) + 2/(-720)*57. Which is smaller: r or 1?
r
Let c(s) = -s**3 + 5*s**2 - 8*s + 3. Let r be c(5). Let n = -1259/34 - r. Suppose -182*i = 78 - 260. Are n and i unequal?
True
Let r = -39036 - -1131896/29. Which is smaller: r or -1?
r
Let r be (-2)/(-4)*-10 - (-11 + 0). Suppose o = -7*v + 8*v - 1, -3*o = -r. Do 5 and v have the same value?
False
Suppose 38*i = 12*i + 676. Let j be 4/i - (2 - (-34738)/(-1001)). Is j at least as big as 33?
False
Let q = 161.2 - -29.8. Let u = q + -194. Is u less than or equal to -11?
False
Let k = -13957723206151/1922781 - -442806457/61. Let w = 2/4503 - k. Is w bigger than 0?
True
Let o = -15/17 - 25/17. Is o != -3?
True
Let k(w) = w**2 + 8*w - 7. Let u be k(-9). Suppose 16*p - 717 = 147. Suppose p = 9*v + 36. Is u greater than v?
False
Let w = -72 - -117. Let b = w + -84. Let y = 39 + b. Which is greater: y or 18?
18
Let b(h) = h**3 + 69*h**2 + 67*h - 69. Let x be b(-68). Is x at most 3/1910?
True
Let h(g) = 4*g - 18. Let i be h(8). Suppose 0 = d - 13 + i. Let j = 3/229 - 931/1145. Is j <= d?
False
Let t = -2043 - -1422. Let i = t - -621.1. Which is smaller: i or 0.058?
0.058
Suppose -y = 5*z - 6*y + 100, 94 = -5*z + 2*y. Let h = z - -123. Let x = h + -105. Which is greater: 1/18 or x?
1/18
Let c = 6171 - 4226. Is 1945 >= c?
True
Let g be 5*((-30)/25 + 3). Let v(d) be the third derivative of -d**4/24 + 5*d**3/6 + 6*d**2. Let q be v(g). Is q not equal to -2?
True
Let w = 237.7 + -234.7. Let j = 29 + -31.8. Let p = j + w. Which is smaller: 0.7 or p?
p
Let r = 197 + -196.881. Let d = r - 0.104. Let s = -1.115 + d. Are s and -0.2 nonequal?
True
Let n(a) = a**3 - 19*a**2 - 51*a + 12. Let f be n(21). Is -882/5 > f?
True
Let c(q) = 6 - 1 - 4*q - 21 + 5 + q**2. Let g be c(6). Which is smaller: g or -1/7?
-1/7
Let s = 2490 - 2441. Which is smaller: s or 3?
3
Let t = 0.01 + -4.01. Let z = 10.81 - -0.19. Let r = t + z. Are 