(-1). Which is bigger: r or 7?
7
Suppose 0 = 3*s + 3*o - 6*o + 12, 3*s - 4*o = -16. Suppose 3*z - 11 = 3*l - 38, 5*l - 3*z - 35 = 0. Let y be 2/(l*-1)*-4. Which is greater: y or s?
y
Let r be (2 - (1 - -1))/1. Suppose r = 6*h - 4*h. Which is smaller: h or 2/29?
h
Let l = -8 + -2. Let w be (4/l)/(5/(-100)). Which is greater: w or 0?
w
Let t be -2 - (-73)/(-2)*60/(-50). Are 43 and t non-equal?
True
Let w(f) = 18*f + 29. Let y be w(0). Are 32 and y equal?
False
Let o = 60/127 + -7034/14351. Is o greater than or equal to 1?
False
Let f(n) = -n**3 - 9*n**2 + 21*n - 8. Let q be f(-11). Which is greater: 26 or q?
26
Let d be (-7)/(49/(-231)) - -2. Are d and 28 unequal?
True
Let n = 10/1828691 - -1334931900/2291349823. Let c = n - 2/179. Let i = -1 + 2. Which is greater: i or c?
i
Let a = -565 + 661. Is a > -1?
True
Let l be -2*(8 + -14)/(-762). Is 1 less than or equal to l?
False
Let p be (72 + -78)*2/(-94)*-5. Which is bigger: p or -1?
p
Let m = -103 + 105. Suppose 4*v - 20 = -j, 4*v = -m*j + 6*j + 20. Is -1/24 greater than or equal to j?
False
Let r be 2*(62/(-28) - -2). Let y = -8.755 - -8.555. Is r >= y?
False
Let y(g) = 6*g + 1 - 7*g**2 + 4 + 5*g**2 - g**3 - 2*g. Let w be y(-2). Which is smaller: 1 or w?
w
Let p = 195 - 266. Is p equal to -283/4?
False
Suppose -2 + 0 = 2*q. Let i = 3759335/46177581 + 52/19137. Let s = 4/127 - i. Which is bigger: q or s?
s
Let t be 9 - (-65)/(-10) - ((-25)/10)/(-1). Let c be 0 - (0 + (0 - -1)). Is c <= t?
True
Let x = 0.4 + -0.3. Let a(k) = 34*k**2 - 1. Let l be a(1). Let w be 2 - (l/12 + 4/16). Which is bigger: x or w?
x
Let s(f) be the first derivative of 9*f**2/2 - 32*f - 33. Let i be s(6). Are i and 23 nonequal?
True
Suppose 7*o + 48 = 11*o. Let r(p) = -p**3 + 13*p**2 - 13*p + 5. Let h be r(o). Suppose 2*j + 2*j - 20 = 2*d, d = j - 9. Which is bigger: d or h?
h
Let c = -16488/20737 + 70/89. Which is greater: 0 or c?
0
Suppose 5*g - 8 = -3. Let t = -1119/26 + 43. Is g smaller than t?
False
Let a = 47 - 49. Is a less than -27/8?
False
Let x = -699 - -698. Is x >= 11.7?
False
Let b be 2*(3 - 6/4). Let h = -83/4 - -21. Which is smaller: b or h?
h
Let h = -7 - -6.3. Let p = -3.7 + 2. Let n = h - p. Is 8 < n?
False
Let d = 109 + -109.6. Let k = -1 + 3.4. Let y = k - d. Which is smaller: 0 or y?
0
Let l = 257/753 + -2/251. Let z = 0.36 - 0.06. Let g = z + 0.7. Which is greater: g or l?
g
Let v = 3 - 7. Let b be (v + 3)*0/1. Let q be b/(2 - 0 - 4). Is 0 > q?
False
Let b = -2865 + 2860. Is b >= 22?
False
Let h be (-1665)/18*(2 - 0). Is -184 less than h?
False
Let n(i) = -19*i - 253. Let c be n(-13). Suppose 2*k = h - 9 - 5, 0 = -5*h - 5*k + 55. Suppose -h = 4*l - l. Which is bigger: c or l?
l
Let u = 20.4 + -10.8. Let l = 0.4 + u. Let k = 9.9 - l. Which is smaller: -2.5 or k?
-2.5
Let a = -408 + 279. Let m = -513/4 - a. Let o be ((-12)/50)/(66/110). Is o smaller than m?
True
Let o be (2/(-7))/((-3084)/28). Is 1 not equal to o?
True
Suppose -m + 15 = -0*m + w, 4*m = 5*w + 105. Let f = -15 + m. Suppose -f*z - 31 = 4. Are -1 and z nonequal?
True
Let u = 0.144 - 24.144. Let x = -9 + -12. Let q = x - u. Is -2 < q?
True
Let x be (15/(180/(-256)))/(-10). Which is smaller: x or 2?
2
Let p be 21*1/((-3)/(-5)). Let f = -29 + p. Suppose -30 = c - f*c + 3*i, 31 = 2*c - 5*i. Is 8/3 smaller than c?
True
Suppose -1 = -l, 3*t + 11 = -l - 0. Is t bigger than -84/19?
True
Let b be (64/78)/(2/(-3)). Let v(s) = 16*s**2 - 543*s - 34. Let g be v(34). Does g = b?
False
Suppose 4*v - 19 - 1 = 0. Let p be (3 - (-20)/(-6))/(10/120). Is p bigger than v?
False
Let s(y) = 14 + 124*y + 121*y - 250*y. Let c be s(8). Are c and -26 unequal?
False
Let z(s) = -s - 48. Let b be z(0). Let v = 50 + b. Is 5/6 at most as big as v?
True
Let m(q) be the first derivative of q**4/4 - 2*q**3 + 3*q**2/2 + 5*q - 6. Suppose k - 1 = -4, 3*k = a - 14. Let j be m(a). Which is smaller: -6 or j?
-6
Suppose h - 5*h - 16 = 0. Let f(l) = -l**3 - 3*l**2 + 7*l + 5. Let m be f(h). Which is greater: m or -8?
m
Let r(b) be the first derivative of 3*b**2/2 - 6*b + 23. Let z be r(2). Is z greater than or equal to -1?
True
Let p = -9.195 + 9. Let y = -0.005 + p. Let a = 1 - -4. Which is smaller: a or y?
y
Suppose -2*s + g - 13 = 0, 0 = -4*s + 3*s + 5*g - 29. Let d be 669/(-510) + 2/s. Let x = -24/17 - d. Is 0.4 > x?
False
Suppose -3*u + 7 = -5*d, 3*u + 10 = -5*d - 3. Which is smaller: u or -11/20?
u
Suppose 0 = x - 2, 0 = 2*z - 5*x - 242. Let b be (-6)/4 - z/(-28). Suppose 0 = -3*u + l + 10, -4*l - b - 13 = 0. Which is smaller: u or 1?
1
Let w be (2/3)/((-16)/(-72)). Suppose -5*m - 21 = y, -w*m + 2 - 9 = 2*y. Let o = 2 + -2. Is y > o?
True
Let v = -0.08 - -0.68. Let g = -146.6 - -147. Let y = g - v. Are y and 8/5 non-equal?
True
Let z = -749653 - -18746799/25. Let g = -219 + z. Which is smaller: 1 or g?
g
Suppose -3*n + 13 = y + 12, 2*y = 4*n - 8. Let l(j) = 3*j - 21. Let i be l(7). Which is smaller: y or i?
y
Let c be (-174)/(-11) + (24/(-44))/(-3). Suppose -n = -2*n + c. Which is smaller: 15 or n?
15
Let g(h) = 26*h + 99. Let c be g(-5). Which is smaller: c or -30?
c
Let b = -0.12 + -0.72. Let n = b + -0.16. Let h = 1 + -0.8. Are n and h equal?
False
Let l = 0.1 - 1.3. Let n = -0.8 + l. Let q be 2/32*(16 + -18). Is n greater than q?
False
Let a be (-97)/11 + 4/(-22). Let p be (4/(-3))/((-6)/a). Let q(n) = 2*n + 3. Let w be q(p). Which is smaller: -2/21 or w?
w
Let q = 4669 - 14168/3. Let w = -55 - q. Is 0 less than or equal to w?
False
Let t = -52 - -87. Let k = 34 - t. Is -1/14 != k?
True
Suppose -t + 27 = -o - 2*t, 66 = -2*o + t. Let n = -6089 - -6060. Is n bigger than o?
True
Let o = 4.85 - -0.15. Let l = o - 5.2. Which is bigger: l or -5/7?
l
Suppose -5*a - 23 - 2 = -3*g, -50 = -2*g - 5*a. Suppose -g = 5*k - 10. Is k smaller than -4/13?
True
Let i(s) = s**3 - 4*s**2 - 10*s - 2. Let j be i(7). Suppose j = 7*t - 2*t. Suppose -t = 4*v + v. Do -3 and v have the same value?
True
Let k be (-118)/4 - (-3)/3. Is -30 at least as big as k?
False
Let a(o) be the first derivative of o**3/3 + 23*o**2/2 + 38*o + 4. Let u be a(-21). Let z be (1 - 2)*(-3)/(-1). Which is smaller: u or z?
u
Let o = 768260/7 - 109949. Let s(m) = -3*m**3 - m + 2. Let b be s(-4). Let a = o + b. Which is greater: a or -2/7?
a
Let o = 41 + -39. Let r be 8/2 - (-8)/o. Are r and -2 non-equal?
True
Let t be 1/(-8) + 2693/151704*7. Is 0 greater than or equal to t?
True
Let o(h) = 411*h - 2050. Let u be o(5). Let i be 1/6*(-6054)/(-4). Let p = 258 - i. Which is smaller: u or p?
u
Let y be (-2)/((-30)/(-235))*(-1)/2. Let f be 283*((-62)/(-60) + -1). Let n = f - y. Is n != 2?
True
Let t = -26 - -38. Let g be (12/(-156))/(24/(-104)). Which is greater: t or g?
t
Let i = -1 + 2.8. Let l = i + -1.8. Is -0.1 at most l?
True
Let x = -24.048 - -24. Let i = x + -0.952. Let n = -0.3 + 0.34. Are i and n non-equal?
True
Let i be 7/21*1/19. Let y = 229 - 230. Which is smaller: y or i?
y
Let w = 1205 - 1170. Is 174/5 less than or equal to w?
True
Let f = -13.96 - 0.04. Let z = f + 13.93. Let m = z + -0.13. Is 2 greater than or equal to m?
True
Let d(g) = -3*g**3 - 4*g**2 - g + 3. Let v be d(-2). Suppose 60 = -l + v*l. Which is smaller: 1 or l?
1
Let m = -0.007 + 15.007. Let k = 29 - m. Is -0.2 less than k?
True
Let h(y) = 2*y**2 - 3*y - 6. Let a be h(3). Suppose 4*s + 8 = -a*q, 2*s + 0*s = 2*q + 10. Is -1 <= s?
True
Suppose 4*j = 35 - 43, -2*r + 52 = 2*j. Which is bigger: 143/5 or r?
143/5
Let p(v) = -v**3 + 24*v**2 + 54*v - 28. Let k be p(26). Let u(x) = x**3 + 8*x**2 - 2*x + 7. Let i be u(-8). Is k > i?
True
Let y be 1/(-2) + (-6)/(-4). Let x be (-2)/93*45/10. Which is bigger: y or x?
y
Suppose 365 - 148 = h. Which is bigger: h or 218?
218
Let h = 131 + -145. Which is bigger: h or -2/11?
-2/11
Let a(l) = -l**3 - 14*l**2 - l - 14. Let t be (1 + 8)/(27/(-126)). Let v be 5*(t/(-5))/(-3). Let p be a(v). Is p greater than or equal to 1/5?
False
Suppose 297 + 123 = 70*g. Which is bigger: -29 or g?
g
Let m = 5881/21 - 280. Let g = 76 - 75. Is m at least g?
False
Let w = 155 - 148. Suppose 0 = -5*a - 3*k - 61, -a = -2*a - 2*k - 8. Let t = a + w. Do -7 and t have the same value?
True
Suppose d - 3*d + 5*c = -42, -4*d - 4*c = -112. Is 2 < d?
True
Suppose 5*m - 15 = -5*x, x + m = -3*m + 15. Let d = -119 + 949/8. Is x less than d?
True
Le