 is smaller: -7/11 or y?
-7/11
Suppose c + 3*w = -39 - 9, 5*c = 4*w - 145. Let m be 12/(-22)*(-11)/c. Which is smaller: 0.1 or m?
m
Let f be (-2 + 4 - 7) + -1. Let v be 0 + 1*(-3 - f) + -3. Does v = -8/35?
False
Let a = 116 + -115. Let r(n) = -2*n**3 - n - 1. Let g be r(-1). Which is smaller: g or a?
a
Let d be (-21555)/(-180) - 3/((-36)/3). Is d equal to 120?
True
Let s(k) = k**2 + k + 4. Let z be s(0). Suppose 10 = -z*t + 6. Let g be ((-3)/2)/((-2)/(-4)). Is t equal to g?
False
Let a(k) = -k - 8. Let y be a(-12). Suppose 9 = -3*j, -j - 85 = -y*w - 14. Is 1 at most as big as w?
True
Suppose 2*r + 85 = 5*m, 79 = 3*m + 4*r + 28. Let t = m - 16. Are t and 7/11 non-equal?
True
Let f(k) = -k - 4. Let r(g) = g. Let h(w) = f(w) + 2*r(w). Let u be h(-9). Suppose 16*p = 3*l + 15*p + 41, 10 = 2*p. Which is bigger: l or u?
l
Let r = -7 - -7. Suppose 0 = a - r - 4. Let m be -12 + a/((-8)/(-6)). Is m at least as big as -10?
True
Suppose 3*z - 60 = 7*z. Is z at most as big as 2/31?
True
Let m = -368 + 233. Let c be (-4)/7 - m/(-70). Are c and -3 equal?
False
Let b be (2/(-18))/(7/126*6). Is b >= -56?
True
Suppose 47*m = 45*m + 124. Which is bigger: 63 or m?
63
Let v(r) = r**3 - r**2 + r - 1. Let q = 14 - 13. Let t be v(q). Is 19 less than t?
False
Suppose 3*x - 15*o + 23 = -11*o, 4*o - 25 = 5*x. Is x < -1/56?
True
Suppose 3*a + 4*x - 2*x - 13 = 0, -18 = 2*a - 4*x. Let d be (-40)/48*(-15)/1925. Which is smaller: a or d?
d
Let u = -723 + 724. Are u and 0.06 nonequal?
True
Let v be 5/((-110)/(-4)) + 72/(-33). Let m be (-4 + 6)*((-100)/48 - v). Let b(z) = z**2 + 3*z + 2. Let i be b(-2). Which is smaller: i or m?
m
Suppose 0 = 2*r + 99 + 91. Let y be 1/(1*5/r). Which is smaller: -21 or y?
-21
Let i be ((-2)/56)/(3/6). Let h(m) = m - 9. Let v = 22 + -14. Let w be h(v). Is w < i?
True
Suppose 5*o + 15 = 5*r + o, 0 = -4*r + o + 1. Let n be (((-8)/(-70))/2)/4. Let m = n - 3/10. Which is smaller: m or r?
r
Let v(l) be the third derivative of l**4/24 + l**3 + 12*l**2. Let u be v(-4). Which is bigger: u or 1?
u
Let y = 49 - 53. Which is smaller: -48/11 or y?
-48/11
Let f = 83 + -82.657. Let k = f - 0.043. Which is greater: k or 0?
k
Suppose 4*w + 144 = -4*w. Let h be (-3)/w + 52/(-96). Let i be 3*(-1)/(-6)*-2. Which is smaller: i or h?
i
Suppose h - 585 = 2*d + 288, -2165 = 5*d + h. Which is smaller: 1 or d?
d
Let f = 1 - 0. Let n be (0 - -2) + f - (4 + -36). Is 34 at most n?
True
Suppose 55 = 3*i + 2*i. Suppose 0*n + 2 = 2*n. Suppose 0 = -4*x - 5*u - 51 + i, x + n = u. Do -5 and x have the same value?
True
Suppose 153 = 5*q - d, 2*q + 0*q - d - 63 = 0. Let s = q + -9. Which is smaller: s or 1?
1
Let y = -260 - -284. Which is smaller: 20 or y?
20
Let b(j) = -7*j - 6. Let o be b(-5). Suppose 5*t - o = 31. Let x = t - 11. Which is bigger: -1/4 or x?
x
Suppose i = 3*x + 2*i + 183, 2*i + 183 = -3*x. Is -59 at most x?
False
Let i = -22 + 25. Suppose 5*r - 5 = i*f + 2*f, 4 = r - 4*f. Do -3/8 and r have the same value?
False
Let r be 5/(-4)*2/(-10). Let j = 0.609 - -0.191. Is j at least as big as r?
True
Let y = 6.3 + -9.6. Let a = y - -2.6. Is 0 smaller than a?
False
Let r = -46.7 - -46.9. Are -2/139 and r unequal?
True
Suppose -3*c + 624 = -5*c. Let n be c/16*1052/(-102). Let r = n - 201. Which is smaller: r or 1?
r
Let o = 7372/55 - 134. Let v = 20 - 35. Let n = v + 15. Is n not equal to o?
True
Let z = 3853/10355 + -2/545. Is z bigger than 0.02?
True
Suppose 66 = -4*j - 25*g + 27*g, 10 = -2*g. Which is smaller: -24 or j?
-24
Let o be (-456)/1743 - (-4 - 100/(-28)). Let r = -2/83 + o. Which is bigger: -1 or r?
r
Suppose -f - 19 = -5*a, -8*a = -7*a - 5*f + 1. Let g(b) = 2*b**3 - 3*b**2 + 3*b - 7. Let l be g(a). Are l and 85 nonequal?
False
Let r = -5518/33 - -167. Is 0 not equal to r?
True
Let s = 5/431 + 313/84476. Do 1 and s have different values?
True
Let l = 12 + -8. Let q = -249 + 105. Let o be (-3)/4*q/27. Is o at least l?
True
Let b(j) be the first derivative of j**6/360 - j**5/40 + j**4/12 - 2*j**3/3 + 10. Let v(z) be the third derivative of b(z). Let x be v(1). Is 4/11 > x?
True
Let t be 140/24955*(-1)/(-2). Is t < 0?
False
Let o = 8 + -7. Let p be (-327)/309 + 1/o. Let w = p - -854/515. Is 1 at most w?
True
Let h be -85*(2*(-4)/8)/1. Is 84 bigger than h?
False
Let y = 74 + -84. Let h be 10/((-30)/6)*y/76. Which is smaller: 0 or h?
0
Let a be (-1*(-2 + -10))/(-1). Let r be ((-6)/(-4))/(a/(-24)). Suppose -2*d = r - 1. Are d and 1 unequal?
True
Let g = 4034/3 + -1356. Let l(a) = 2*a. Let p be l(-6). Which is greater: p or g?
g
Let j = 30 + -18. Let p = -8 + j. Let u be p/8*(-15)/(-6). Is 0 less than or equal to u?
True
Suppose -2*d - g = d, 4*g = 3*d. Let h = 26624/5 - 5348. Let r = 782/35 + h. Which is smaller: d or r?
r
Let p(z) = -z - 141. Let b be p(-6). Is -136 > b?
False
Suppose -5*w = 5*n - 15 - 25, -5*w - 4*n = -36. Suppose -2*x = -23 + 3. Let j = x - 5. Which is greater: w or j?
j
Suppose 0 = 3*a + a - 36. Suppose -m = a - 7. Let x be m/(-6) + 4/(-28). Which is bigger: x or -1?
x
Let x be ((-5)/(-5))/(-1)*1 - -1. Which is greater: 14/15 or x?
14/15
Let o(w) = 2*w**2 - 2*w + 1. Let l be o(2). Let d be (-60)/(-16)*2/l. Is -3 less than or equal to d?
True
Let d(g) = -3*g**3. Let k = -10 - -9. Let y be d(k). Suppose -41 = -3*j - 2*j - 3*v, -y*j + 2*v + 17 = 0. Are j and 8 equal?
False
Suppose 0 = -4*f + 13*v - 15*v, 5*f - 2*v = -9. Which is greater: -3/35 or f?
-3/35
Let d be ((-8)/(-10))/((-1)/(-15)). Suppose 7*j = 5*j + 24. Let w = j - d. Is 1/5 at most w?
False
Suppose 0 = -4*w + 5*x + 23, 5*x + 18 + 3 = 3*w. Let i be w/((-6)/(-8) + -1). Which is greater: -6 or i?
-6
Let h be ((-3)/2)/((-27)/144). Suppose x + 8 = -4*a, -5*x + 2*a - 32 = h. Suppose -2*m - 2 = 5*k + 4, 0 = 2*m + 2*k + 12. Is x >= m?
True
Suppose -2*g + 20 = -2*u - 2*u, -g = 4*u - 10. Suppose g*n - 1 = 9*n. Which is smaller: n or 9/11?
9/11
Suppose 4*r + 120 = 9*r. Let y be (3/18)/(6/r). Which is greater: y or 0.023?
y
Let p(y) = 6*y**2 + 37*y + 3. Let m be p(-6). Is m greater than or equal to -6?
True
Suppose 4*v + 4*x - 34 = -10, 16 = 2*v + 4*x. Let b be (v - (-50)/(-12))/1. Is -1 < b?
True
Suppose -2*k + k + 5 = 0. Let x(g) = 2*g**2 - 9*g + 3. Let t be x(k). Let a be (t/132)/(-1 + 0). Which is smaller: 0 or a?
a
Let k(o) = -o**2 - 8*o - 14. Let i(x) = 3*x**2 + 17*x + 27. Let r(a) = 2*i(a) + 5*k(a). Let n be r(8). Which is smaller: n or 12/11?
n
Let d(a) = -a**3 + 15*a**2 + a - 16. Let n be d(15). Let q be (12/30 + n)/(3/2). Let x = 103/21 + -39/7. Is q != x?
True
Suppose -3*h = -1 - 2. Let t = -297 - -5641/19. Is h not equal to t?
True
Let x be 145 - (-5)/((-15)/(-9)). Let h = x - 220. Let w be (-1)/(-5) + h/210. Is w smaller than -1?
False
Suppose -89*n + 90*n + 145 = 0. Let k = -176 - n. Which is smaller: k or -28?
k
Let w = 49 - 46. Suppose 0 = f + 4*a - 5, -w*a = 7*f - 2*f - 8. Is f > -60?
True
Let p(x) = -x**2 + 10*x + 1. Let r be p(10). Let y(q) = 4*q**2 - 3*q - 3. Let j be y(-1). Let m be 2 - (r + -7 + j). Is 19/5 smaller than m?
True
Let b = 0.81 + -0.922. Let c = b + 0.112. Is c bigger than 9/16?
False
Let b be ((-2)/18)/((-1)/(-2)). Let n = 0 + 2. Suppose 2*k + n*k = -4. Which is smaller: b or k?
k
Let o be 25/(-150) + (-67)/(-456). Is o not equal to 1?
True
Let d = 70/201 + -1/67. Let l = 10.48 + -0.78. Let t = 1.3 + l. Is d less than or equal to t?
True
Suppose -30*x - 67 = -7. Which is smaller: x or -8/11?
x
Let l be (3 - 20/6)*9. Let m(g) = g - 7. Let x be m(10). Suppose b - z - 11 = 5*b, 0 = -5*b + x*z - 18. Is b at least l?
True
Let u(m) = -9*m - 182. Let w be u(-14). Is -3 equal to w?
False
Suppose -15*m - 1877 = 808. Which is smaller: -178 or m?
m
Let f be 4/2 - 50/24. Let o = -14 - -17. Suppose -8 + o = -z - v, 5*v - 25 = 2*z. Is z >= f?
True
Let t = -17.77 + 22.2. Let u = 0.57 + t. Let g be ((-6)/4)/(9/4). Which is smaller: u or g?
g
Let w(h) = -h**2 + 2*h. Let f be w(2). Suppose 0 = -13*q - q - 168. Let n be 187/(-1326) + 2/q. Is n less than or equal to f?
True
Let n = 1619 - 9715/6. Is 1 > n?
True
Let i be 110/(-44)*8/50. Which is smaller: i or -1?
-1
Let s = -6 + 9. Suppose -3*p - 3*x - 11 - 73 = 0, -s*p = 5*x + 94. Let u be (p + 1)*3/6. Is -0.1 equal to u?
False
Let y(a) = 27*a - 541. Let s be y(10). Which is greater: -273 or s?
s
Let b(g) = g**3 + 3*g**2 - 6*g -