 -56/3 or g?
-56/3
Let n be 168/(-252) - (40/3)/1. Let z be (-12)/n - 19/(-133). Suppose 3*w - 2*j - 7 = 0, -5*w - 2*j + 10 = -7. Is w at most z?
False
Suppose 268*k + 381*k - 23650 = 176*k. Which is smaller: k or -60?
-60
Suppose y - 64 = -3*x - 7, -214 = -4*y + 2*x. Let l be 4/2 + 9/y*-6. Let j = 0 - 0.4. Which is greater: j or l?
l
Let g = 33 + -331/10. Let m = g + 29/90. Suppose -72 = -c - 73. Which is greater: m or c?
m
Suppose -n + 18*n = 8534. Let x(s) = -5*s**3 - 2*s**2 + 17*s + 11. Let y be x(-5). Is n less than or equal to y?
False
Let h be 332/36 - (4/18 + 0). Let n be (h/66)/((-6)/8 + 0). Do -1 and n have different values?
True
Let u = -203/771 - 18/257. Which is greater: 55 or u?
55
Let a = -1851 - -1693. Let g = 363 + -522. Which is smaller: g or a?
g
Let w be -1*(192 - 171/19). Do -166 and w have the same value?
False
Let z = 0.06012 - 0.11132. Which is smaller: z or -1/10?
-1/10
Let o = -297 - -306. Suppose u = 4, o*g + 2*u - 176 = 5*g. Which is greater: 39 or g?
g
Let t = -252 + 255. Let j = -5 + 10. Let n = j - 3. Which is greater: n or t?
t
Let u be ((-487)/(-11))/(641/7051). Is 2 equal to u?
False
Suppose -5*m + 124 = -9*m. Suppose 72 = 2*w + 2*k, -6*w = -2*w + k - 138. Let d = w + m. Which is smaller: d or -2?
-2
Let c(p) be the second derivative of p**5/20 + 25*p**4/6 - p**3/2 - 227*p**2/2 - 56*p. Let r be c(-50). Which is smaller: r or -73?
r
Let x = -73 - -75.9. Let v = -15.1 - x. Suppose -162 + 149 + 97 = 84*n. Is n > v?
True
Suppose 0 = 14*l - 294 - 126. Let w be 2*21/l - (-1)/(-1). Do w and -39 have the same value?
False
Let i(q) = -30*q - 1. Let r be i(1). Let z(l) = -4*l - 240. Let c(o) = o + 48. Let w(s) = -16*c(s) - 3*z(s). Let p be w(-4). Are p and r equal?
False
Suppose 0 = -4*r + 2*r + 8. Let d(a) = 0*a - r*a + 5*a + 0*a. Let b be d(-2). Which is smaller: b or 1?
b
Let v = -12404 - -12370. Which is greater: v or -131?
v
Let p(f) = 2*f**3 - f**2 + 2*f - 41. Let k be p(0). Let h = k + 131. Which is smaller: h or 179/2?
179/2
Let t be (3/(9/(-4)))/(27/81). Let w be (4*t/32)/2. Let n = 4.86 + 0.14. Which is greater: n or w?
n
Let u be ((-328)/40)/(3/(-15)). Suppose 5*j + 5*x + 63 = 2*x, 3*j + x + u = 0. Suppose -2*c - 24 = 2*c. Which is smaller: c or j?
j
Let y = -73289/11 + 6661. Let d = -1 - 2. Is y < d?
False
Suppose -4*g = -3*n - 1984, -3*n - 2*n + 2016 = 4*g. Let z = 497 - g. Let u be (-16)/(-3)*(-2 + -1). Is u smaller than z?
True
Let i be 30/(-9)*54/(-45). Let o be i - 8/(-3)*45/(-4). Let c = -25 - o. Which is bigger: 1/69 or c?
c
Let n(f) = -2*f**2 - 8*f + 6. Let t be n(-5). Let k be (-1977)/495 + t/(-1). Is k greater than or equal to 1?
False
Let w be (14/(-567) - 2) + 2. Let b(u) = u. Let k(r) = -r**2 - 5*r + 7. Let m be k(-6). Let d be b(m). Is d at most w?
False
Let u = -3 - -9. Let m(h) = -h**3 - 14*h**2 - 11*h + 32. Let w be m(-13). Let l = 0 + w. Is l not equal to u?
False
Suppose -3*p + 8 = s - 24, -p = -2*s - 20. Let q(b) = 2*b**3 - 48*b**2 - 13*b - 44. Let r be q(23). Let m = r - -1415. Which is smaller: m or p?
p
Let x = -160 - -85. Let k = 74 + x. Let p be ((-4)/9)/(k/3). Which is smaller: p or 2?
p
Suppose 9*i = -31143 - 7170. Are i and -4257 non-equal?
False
Let u = -0.02 + 0. Let z(f) = f**2 + 190*f + 5768. Let a be z(-152). Is a equal to u?
False
Let s(p) = -2*p + 117. Let c be s(-16). Do 739/5 and c have different values?
True
Suppose -7 = -5*b - 2*q + 17, -4*b - q + 18 = 0. Suppose s = -b*p - 1 + 15, s + 2*p - 6 = 0. Let d = s - -2. Is 4/5 bigger than d?
True
Let g = -147 - -161.5. Let k = -20 + 22. Which is bigger: g or k?
g
Suppose -a + 40 = 4*a. Let y(d) = d**3 - 8*d**2 - d + 8. Let o be y(a). Let m be ((-105)/364)/1 + 5/(-20). Which is smaller: o or m?
m
Suppose -5*n - m + 1088 = 0, -23*n + 4*m = -24*n + 210. Are n and 1952/9 nonequal?
True
Let u = 8257.1 + -8257. Which is smaller: -23 or u?
-23
Let p be (-111)/66 + 1 - 191/(-382). Let v = -0.12 - -0.1. Which is smaller: v or p?
p
Let c be (-187)/7 + 11/((-77)/2). Suppose 163*k - 171*k + 144 = 0. Let u be 129/189 + k/c. Is u < 1?
True
Let m(p) = p**3 + 11*p**2 + 117*p + 1003. Let r be m(-9). Are r and 33 unequal?
True
Let t be 11/(0 - 1) + 2*-2. Let p be t/5 - -3 - -11. Is p at most as big as 100/9?
True
Let m = -1882 - -1899. Suppose l + 52 = -2*q + 6*q, 2*q = 2*l + 20. Do m and q have the same value?
False
Suppose 40*o - 4872 = 3208. Is 202 < o?
False
Suppose -4*u - 3*h = -16, -11*h = -12*h. Suppose -372 - 96 = u*j. Which is bigger: j or 0.1?
0.1
Let j(r) be the third derivative of -9*r**2 - 5/12*r**4 + 1/3*r**3 + 0 + 0*r + 1/60*r**5. Let b be j(10). Which is greater: b or 17/5?
17/5
Suppose -9*w - 63*w = 12384. Which is smaller: -174 or w?
-174
Let b = -19.9163 + 19.83. Are 1 and b equal?
False
Let z be (8/(-84))/((-420)/9290). Let g = -27/49 + z. Suppose 5*u - 2*u = 3. Which is smaller: g or u?
u
Let k(i) = 3*i**3 + 10*i**2 + 7*i - 3. Let t be k(-1). Are -135/31 and t unequal?
True
Let s be (-1 - -1)/(1/(-4)*-4). Let f = 3 + s. Suppose -5*p - 28 = 3*g, -3*p = -f*g + g - 25. Are -11 and g nonequal?
False
Suppose 26 = -3*b - 5*k, -2*b - k + 3*k = 28. Let g be (-1 + 0)/(6/b). Suppose 3*l - 10 = -g*l. Which is bigger: l or 1/2?
l
Let o(z) = -18*z - 6. Let k(y) = -12*y - 4. Let r(s) = -8*k(s) + 5*o(s). Let v be r(1). Let t be ((-4)/v*(-2 + 2))/2. Which is smaller: t or 1/35?
t
Let v be (5 - ((-39126)/(-6524) + -1))/((-30)/35). Which is smaller: v or 1?
v
Suppose -2*a = 4*u + 8, -3*u + 19*a + 27 = 15*a. Which is greater: 15/557 or u?
u
Let k be 7/(-770)*-20 + (-5273)/28941. Which is smaller: -1 or k?
-1
Let p = -0.74 + 0.04. Let x = 103974 + -103971. Which is bigger: x or p?
x
Suppose -11*g + 570 = -26*g. Let p = -157 + 114. Is g greater than p?
True
Suppose -25*x = 106*x + 35*x + 32*x. Let i be (-1)/(-2) + (-3)/(-2). Let r be 1/(3 + (i - 4)). Which is smaller: r or x?
x
Let g(i) = i**2 + i + 3. Let v be g(0). Let s = v + 5. Let p be ((-40)/(-14))/(s/28). Which is smaller: 43/5 or p?
43/5
Let x be 6*(-3)/(-30) + 211527/95 - -8. Which is greater: 2234 or x?
x
Let n be (-15 + (-1350)/(-72))/2. Let u = 0 - -3. Is n greater than u?
False
Let k = 7025605/72 + -97573. Which is greater: 6 or k?
6
Let o = 17976.27 - 17989. Is o > 4?
False
Let v be (-936)/(-702) - (-1322)/9. Which is bigger: 147 or v?
v
Let v(y) = -y - 3. Let j be v(-2). Suppose 0 = -4*a + 4*z + 9448, -19*a + 3*z + 4719 = -17*a. Suppose -2368*d - 3 = -a*d. Is j > d?
True
Suppose 2 = -w, w = -2*p + 2 - 8. Let q be p/11 + 92*(-2)/(-44). Which is smaller: 0.04 or q?
0.04
Let b be 37278/2244 + (-25)/(-77) + (-5)/35. Which is greater: b or 16?
b
Suppose -2*l + 10226 = -2*b, -5*l - 7170 = 4*b + 13255. Let i be ((9/(-5))/(-3))/(14/b). Which is greater: i or -1?
-1
Let y(w) = 2*w**2 - 5*w + 6. Suppose 12*m = 2*m. Let p be y(m). Which is bigger: 9/2 or p?
p
Let w(u) be the second derivative of u**5/20 + u**4/12 + u**3/2 - 273*u**2/2 + 180*u. Let s be w(0). Is s bigger than -273?
False
Suppose -h - 134 = 2*b - 4*b, 4*b - 140 = h. Let p = h - -124. Which is smaller: p or 9?
p
Suppose -4*a = -0*g - g - 90, -4*g - 386 = -3*a. Let k = -95 - g. Suppose 0 = -m + 2*w + 4, 4*w = -m - k*m + 28. Is 50/9 smaller than m?
True
Let p = 1/1343 + -20147/2686. Let r = -0.1 + -0.2. Which is smaller: p or r?
p
Let g(d) = d**3 + 5*d**2 - 14*d - 34. Let k be g(-8). Let l = 116 + k. Suppose 0 = -2*c + b - 38, l*b - 56 = 3*c + b. Which is greater: -19 or c?
c
Let h(d) = d**3 + 9*d**2 - 4*d - 19. Let z be h(-8). Let i = 157 - z. Suppose 4*f = 9*f + i. Which is smaller: f or -15?
f
Suppose -2*b - b + 9 = 0, -2*x = 4*b. Let n be -4*(0 + (-1)/x). Let s = 8 + -7.84. Which is greater: s or n?
s
Let y = -19990/29 + 636981292/924085. Is y >= -1?
True
Let s be 6369/177 - 10008/278. Let a = -2 + 1. Do a and s have the same value?
False
Suppose 0 = -14*h + 1390 + 2838. Let f be h/4 - (-11 + 8). Which is smaller: 80 or f?
f
Let v = 636 - 28622/45. Are v and 2/81 nonequal?
True
Let x be (-942)/(-155) - (-40 - -46). Let f = -3518/1395 + x. Is f at least as big as -1?
False
Let y be ((7260/35)/(-6))/(3/7). Let g = -81 - y. Let f(i) = -i**3 - 4*i**2 - 3*i - 1. Let s be f(-2). Which is greater: s or g?
g
Let r = 21/319 + -1418/21373. Which is smaller: 1 or r?
r
Suppose 227 - 227 = -27*r. Which is smaller: -3/3059 or r?
-3/