- 2). Which is greater: -7 or r?
r
Suppose 29*f - 34*f = -s - 5628, 5*f + 2*s - 5604 = 0. Are 5623/5 and f nonequal?
True
Let w(a) = -a**3 - 2*a**2 + 8*a - 1. Let y be w(-4). Let r be y/(1 + -3) + (-5)/2. Let d be (r/24)/((-9)/(-48)). Are d and 1 non-equal?
True
Let p = -6610 - -548627/83. Are 0 and p equal?
False
Let l = 276 - 354. Let u = -52.9 + 53. Is l bigger than u?
False
Let i be 3/5 - (-5940)/100. Let v be (-2)/10 - (-24)/i. Which is smaller: v or -1/2?
-1/2
Suppose -2*i = -3*y + 12 + 20, 48 = 2*y + 4*i. Suppose -p = -3 - y. Let s = 20 - p. Is s >= 15/7?
True
Let t be ((-3)/2)/((-162)/9144). Let h = 2798/33 - t. Let u = -6/11 - h. Is 0.02 greater than or equal to u?
True
Let d be 77/(-180) - (-14)/35. Suppose 2*t + 97 = -5*i, 0 = -5*t - 3*i - 215 - 37. Let r = t - -52. Which is greater: d or r?
r
Let t be -1 - -2 - (-18)/(-3 + 12). Let p(i) = i**2 + 7*i - 24. Let r be p(t). Let f be r/(-10) + (-4)/10. Are -4/39 and f equal?
False
Let n(f) = -3 - 13*f**3 - 6*f + 1 + 5*f**2 + 14*f**3. Let p be n(-6). Let c be -2*3 + (-58)/(-13). Is c at most as big as p?
False
Let u = -4636 + 13910/3. Which is greater: u or 449?
449
Let f = 1.07526 + -91.07526. Let j = 2 + -2.2. Which is bigger: f or j?
j
Let s(l) = -l**3 - 6*l**2 + 27. Let z be s(-3). Let v be (1/(-12))/(26/(-18)). Which is smaller: v or z?
z
Let s = -452 - -10400/23. Let y be (-14)/21*6/4. Which is bigger: s or y?
s
Let x(m) = 10*m**3 + m**2 + 3*m + 2. Let f be 4*(1/(-2) - 0). Let p be x(f). Let k = -481/6 - p. Which is greater: k or 2?
2
Let s be (48/(-45920))/(777/(-28)). Is 1 at most as big as s?
False
Let c be (1/2)/((-3)/6). Let y(d) = 104*d**3 - 2*d**2 - 2*d - 1. Let s be y(c). Which is greater: -104 or s?
-104
Let n(i) = i**3 + 7*i**2 + 37*i + 258. Let w be n(-7). Which is bigger: w or -1/28354?
-1/28354
Let b(u) = -16*u + 94. Let c be b(-8). Let g = -220 + c. Is 15/11 less than g?
True
Let u = 1598 + -1597. Which is smaller: u or 527?
u
Let g = -235 + 231.6. Let x = -3.624 + -0.076. Let r = g - x. Which is bigger: r or 3?
3
Let x = -4.4959 - -0.4619. Let m = -4.03 - x. Are m and 3 unequal?
True
Let w be ((-352)/56)/(-11) - -8*4/(-56). Is w bigger than 27/223?
False
Suppose -6 = 5*y + 2*z, 8*y - 10*y = -2*z - 6. Is -5/108 less than or equal to y?
True
Suppose 2*p - 610 = -8*p. Suppose -p = 16*a + 243. Is -17 bigger than a?
True
Let w be -6*((-11)/220*5 + (-2667)/(-36)). Is -441 greater than w?
True
Suppose 680 - 645 = -3*d + 4*p, 0 = -d + 3*p - 25. Which is bigger: d or 1/37858?
1/37858
Let r be (0 + 1)*(-2)/6. Let f = -22.4349 - -22.4759. Which is smaller: f or r?
r
Suppose 5*w + 5*t - 18 - 37 = 0, 3*t - 11 = -w. Suppose 4*c - 16 = a, 2*c = 2*a + 1 + 1. Is a > w?
False
Suppose 20998 + 762 = -30*l - 4*l. Which is smaller: -620 or l?
l
Let t(y) be the first derivative of 17*y**3/3 - y**2/2 - 4*y - 77. Let o be t(-1). Which is smaller: o or 6?
6
Suppose 60*x + 30480 = 45*x. Which is bigger: x or -2033?
x
Let w(i) = i**3 + 7*i**2 + 6*i + 4. Let s be w(-6). Let m(v) = v**3 - 5*v**2 - 5*v + 2. Let o be m(6). Suppose o*y + 13 - 45 = 0. Is y at most s?
True
Suppose -2*p = -10 - 8. Let o = -1761 + 1763. Let d be -251*p/8748 - o/(-8). Is d at least as big as 0?
False
Let f be 17 - (-15 - (-8 - 1517)). Is f at most as big as -1496?
False
Let m(l) = l**3 + 21*l**2 - l - 28. Let r be m(-21). Let f be 1/(-1) + (32 - 43). Which is smaller: f or r?
f
Suppose -16*a - 8*a + 3*a = 0. Suppose a = 42*s + 2278 + 5198. Is s at least 0.2?
False
Let j(b) = b**2 - 12*b + 22. Let z be j(10). Let y = 2377 + -2368. Is y less than z?
False
Let r = -187.9 - 29.1. Let z = 118 + r. Let t = z - -99. Which is greater: t or -15?
t
Let j = -3515 - -3749. Is 231 bigger than j?
False
Suppose 0 = s - i - 1, 0 = 6*i + 10 - 4. Is s equal to -4/129?
False
Suppose r + a - 3 = 0, -2*a - 12 = 5*r - 27. Let t be (218/r)/((-100)/150). Which is greater: t or -111?
t
Let t(q) = q**3 - 13*q**2 - 19*q + 54. Let n be t(14). Let s = n + 16. Is s at most as big as 1/147?
True
Suppose -25*j = -203*j + 1847 - 601. Suppose 0 = -7*l + 2*l + 55. Is l greater than or equal to j?
True
Suppose 6*p = p. Suppose 0 = -20*a - 5750 - 110. Let w = -294 - a. Is w >= p?
False
Suppose 2*m - 10 = m. Let b be 81/10 + -19 + (-2646)/(-140). Which is smaller: b or m?
b
Let z = -79859801597/8300 - -240647046/25. Let n = -4219 + z. Which is smaller: -1 or n?
-1
Let v be (-163)/12*(-4)/(-2). Let g = v + 6025/222. Is g at least as big as -1?
True
Let y = -0.08191 - 81.91809. Which is bigger: 1/4 or y?
1/4
Suppose 107*k + 213825 = -164*k + 86997. Are -468 and k nonequal?
False
Let t(m) be the third derivative of 10/3*m**3 + 0*m + 0 + 25*m**2 + 1/8*m**4. Let g be t(-6). Which is greater: g or 2/19?
g
Let c be (3/6)/(577731/6623540 - 2/23). Is 1874 at most as big as c?
False
Let z = 3.053 - 3.22. Let r = 2.167 + z. Is 19 at least as big as r?
True
Suppose 5*r = 663 - 118. Let q = -157 + r. Let p = 46 + q. Which is bigger: 9 or p?
9
Suppose 20 = -5*a, r + 17 = -2*a - 3. Let k be 8*(-4 - 49/r). Which is greater: -22.7 or k?
k
Let b be (-22*(-72)/264)/6. Is b greater than or equal to 93/328?
True
Suppose 49*j - 944 = 167*j. Is 8 less than j?
False
Let z(b) = -b**3 + 20*b**2 - 48*b - 51. Let c be z(17). Is c at most as big as 1/358?
True
Let u = -6254 - -6450.91. Let s = u - 197. Are s and -0.08 nonequal?
True
Let c = 1501 + -598. Let o be (36/c)/((-9)/(-63)). Are 0 and o nonequal?
True
Suppose -5*z - 14 = -5*c + 1, -3*c = -z - 9. Suppose 0 = c*x - 2*x + 14. Let n be -2*57/x + -5. Which is greater: 4 or n?
4
Suppose 3*n = 3*c - 27, -4*n + c = 11*c - 48. Which is bigger: n or -168/71?
-168/71
Let t be 20 + (12 - 31) + 7/(140/64). Is t bigger than 48?
False
Let n = 9180 + -9043. Which is smaller: 681/5 or n?
681/5
Let r(b) = 23*b + 96. Let k be r(-4). Suppose -4*f - k = -5*t, 3 = 6*t - t - 3*f. Do t and -3/208 have the same value?
False
Let b be (-34)/765 + (-2166)/(-135). Is b at most as big as 41?
True
Let v be (-32)/24 - (1 - (-3404)/(-1500)). Which is smaller: v or 1?
v
Let p = 90 + -92. Let t = 521.11 - 520. Is t smaller than p?
False
Let u = 51324625/2223 - 23088. Is 0 less than or equal to u?
True
Let g = -19/142 - 157307/1278. Suppose -2*l + 3*w = 142 + 89, 2*w = -l - 133. Let b = l - g. Which is smaller: 9 or b?
b
Let r be -20*3/(-18)*(-3390)/20. Let t = r - -330. Is 0 equal to t?
False
Let w = -17117 + 192081/11. Which is greater: w or 344?
w
Let s be 5 + (-9)/(9/4) + 2. Let w be 2/(-20) - (18/(-5) + s). Is 1/186 less than or equal to w?
True
Let t be -5 - -6 - 5/(3815/2303). Which is bigger: t or -1?
-1
Suppose 190*f = 272*f + 82. Which is greater: 3/8081 or f?
3/8081
Let k be 15/(-50)*15*(-4)/6. Suppose d + 401 = 2*x + 134, -2*x = k*d - 279. Which is greater: -0.2 or x?
x
Suppose 0*c - 4 = 2*c, -j + 133 = -c. Let h = -16633/127 + j. Is h greater than 1?
False
Let t = 5705 - 5704.738. Which is greater: t or -7?
t
Suppose 7*m - 8952 - 6308 = 2*m. Is m at least as big as 3051?
True
Let m = 2080 + -2092. Is -6 > m?
True
Suppose z + 5 = -5*v, 5 = -z + 31*v - 33*v. Let f(m) = -m - 10. Let b be f(-5). Let p(y) = -y**2 - 3*y + 3. Let d be p(b). Which is smaller: z or d?
d
Suppose 0*l - 3 = -2*w + 5*l, 0 = -3*l + 15. Let n be (-7)/w - (-129)/6. Which is bigger: n or 23?
23
Let h be 3*22/(-33) + (-2 - (-196)/48). Which is bigger: -54/13 or h?
h
Suppose -29 + 4 = -5*k. Let n be (-6)/(-10) - 10056/(-1677) - 3. Let w = 2/559 + n. Which is greater: w or k?
k
Suppose y - 5 = -9. Let f(v) = -v**2 - 6*v - 3. Let g be f(y). Suppose 5*l + 20 = 5*d + g, 0 = l - 3*d + 13. Is 12 greater than or equal to l?
True
Let f = 21 - 14. Let k = -2392 + 2386. Let h = k + f. Is h less than or equal to -26?
False
Let o be 124/(-44) - (2 + (-60)/33). Let j be (-35)/(-28)*-1*4. Does o = j?
False
Suppose -16 = 21*i - 22*i - 5*g, -16 = 2*i - 2*g. Let p be (-2 - 23/30) + (-2)/5. Is i >= p?
False
Let i = -10 + -11. Let d be (-7 + 14)/(1/53). Let t = -392 + d. Is i at most as big as t?
True
Let y = -0.351 - -0.091. Let w = y + 0.16. Which is bigger: w or -0.54?
w
Let a be 18/8*(-104)/(-78). Suppose 159 = a*t + 5*i, -i + 5*i - 53 = -t. Does 52 = t?
False
Suppose -40 = -2*b + 3*b. Let n be -4 + (-1309)/(-51) + 2/(-3). Suppose r = -5*v - 38, 16*v - n*v - 114 = 3*r. Which is bigger: r or b?
r
