ler: v or -2/41?
-2/41
Let m be 54/45 + ((2233/140)/(-1) - -5). Which is smaller: m or -139?
-139
Let o = 660 - 660. Is 7/31 >= o?
True
Let b = 74 + -72. Let y(v) = -4 + 0 - 2 - b*v - 3. Let p be y(-5). Which is greater: 9/13 or p?
p
Let v = 0.046 - -6.054. Let l = 12.34 - 5.74. Let g = l - v. Is 5 at least as big as g?
True
Let p(w) = -w**3 + 24*w**2 - 1. Let x be p(24). Let s be (-3)/6 + x/((-2)/9). Is s >= 2?
True
Let c = 0.022 + -9.022. Let j be (20/25)/(2/5). Let t = j + -5/3. Are t and c unequal?
True
Let t be ((6 - 8) + -3)*(-8)/140. Is t smaller than -0.078?
False
Let a(g) = -g**2 - 3*g - 4. Let p be a(-2). Let l(v) = v**3 + 2*v**2 + 3*v + 5. Let h be l(p). Let q be h/6 + (-3)/(-18). Is q greater than 1/13?
False
Let i(b) = 2*b**2 - 3*b - 1. Let n be i(5). Suppose -4 = -5*c - n. Are -48/7 and c equal?
False
Suppose s = 2*s - 5*x + 24, 4*s + 5*x + 21 = 0. Let r = s - -6. Let b be (-1 - -1) + -42 + 42. Do b and r have the same value?
False
Let n = -0.5 + -2.5. Let k = 712.9 + -715. Let j = n - k. Do j and 0.4 have the same value?
False
Let y = -127 - 475. Let c = y + 592.6. Which is bigger: c or -3?
-3
Suppose 5*d + 1090 = -5*j, -4*j + 3*d = -112 + 998. Which is smaller: -205 or j?
j
Let h = 5934 - 5933. Is 11/515 < h?
True
Let u = -733 + 1758. Let n = u + -1026. Which is smaller: n or 2?
n
Let o = 684 + -530. Is 1088/7 >= o?
True
Let n be ((-16)/(-10))/((-892)/(-204045)). Which is smaller: n or 367?
n
Suppose -5*w - 4*d - 9 = -7, -w + 5*d - 12 = 0. Let j be (-25 + 22)*(-2)/(-48)*w. Which is smaller: 2/57 or j?
2/57
Let a be -613 - (-5 - 110/(-11) - -3). Is a smaller than -615?
True
Let p = -1368 - -1305.9. Let i = 62 + p. Which is bigger: -1/22 or i?
-1/22
Let w be (2035/44)/(6*7/336). Which is greater: w or 366?
w
Let c(f) = -f**3 - 26*f**2 + 28*f + 24. Let u be c(-27). Suppose -5*g = -25, -4*t = -g + 173 + 56. Which is smaller: u or t?
t
Suppose -20 = -3*a - i - 4*i, -16 = -4*i. Suppose v - 5 = d, a*d + d + 1 = 0. Suppose v*b - 4 = p, -p = -b + 4*b - 3. Is b at most 16/9?
True
Let l = -14254 - -14254. Which is greater: l or -2.243?
l
Let i(c) = -518*c**3 - 3*c**2 + 2. Let g be i(-1). Which is greater: g or 522?
522
Let w be (-1942)/(-33) + (-560)/(-420). Which is smaller: w or 61?
w
Let f be ((184/14)/(-4))/1. Let u = -69472.5 - -69472. Which is bigger: f or u?
u
Let i(u) = -u**3 - 14*u**2 - 4*u - 58. Suppose -267 = 11*k - 113. Let n be i(k). Which is bigger: -20/23 or n?
-20/23
Suppose 3*y - 5*o = 5, -4*y - 31*o + 33*o = -2. Suppose 5*a - 10 = n, -32 = 2*n - y*n - 4*a. Which is bigger: n or -2?
-2
Let r(w) = -2050*w**3 + 76 + 2049*w**3 - 12*w - 16*w**2 + 16 - 14. Let c be r(-15). Let h be 10*(-14)/(-4) + -2. Are c and h nonequal?
False
Let r = 2/1711 + -3896/405507. Let v(f) = f**3 + 11*f**2 + 20*f + 17. Let y be v(-9). Is y bigger than r?
False
Let j(x) = -x**2 - 40*x + 895. Let s be j(-56). Is -12/7 less than s?
True
Let q = -13/755 - 32754/755. Which is greater: q or -43?
-43
Suppose 495 = 4*v + 63. Suppose d = 5*a + v, -54 = 2*a + 2*d + 3*d. Which is greater: a or -15?
-15
Let l be -1 + 3 - 0/24. Let m be 55/55*l/(-2). Which is greater: 1/6 or m?
1/6
Let v(n) = -2*n**2 + 8*n - 10. Let o = -35 - -38. Let l be v(o). Let w = l + 5. Is 8/13 greater than or equal to w?
False
Suppose -162*i - 30 = -172*i. Suppose 3*z - 31 - 3 = 4*w, -2*w - 26 = -i*z. Is z less than 35/6?
False
Let f be (-21 + (-1807165)/(-86055))*-3. Which is smaller: f or 0?
f
Let y = -53 - -29. Let v = -79 - -77. Let h be y/306*(-3)/v. Which is greater: -5 or h?
h
Let x = 58 + -38. Let v(s) = -7 + 9*s - 2*s - 10 - 6*s. Let p be v(14). Is x less than p?
False
Let s = 894.5729 - 895.6. Is s < -1?
True
Suppose -56*w = 59*w - 755 + 180. Let l = -53 + 32. Which is bigger: w or l?
w
Let z = 13229 - 13230. Which is greater: z or -2/52985?
-2/52985
Let m be 60/(-119840)*15761/(-3). Let r = -4/749 + m. Is r > -1?
True
Let v be ((-68)/(-18) + 20/90)*1. Suppose -3*z = -6*z + u - 17, 5*z = -v*u - 17. Is -1 bigger than z?
True
Suppose -5*v - 3*o + 90 = 0, v = -3*v + o + 72. Suppose -6*a = -25*a + 361. Which is smaller: v or a?
v
Suppose -4360 = 12*f - 17524. Suppose 6*h = -f + 275. Is -137 <= h?
True
Let y = 2641/9 - 880/3. Let u(k) = k + 2. Let b be u(-3). Let s = 0 - b. Is y greater than s?
False
Suppose 52 = -3*d + n, 2*d + 3*n + 4 = d. Let c = 878 + -994.2. Let t = c + 116. Is t != d?
True
Let r = -0.0876 + 0.1268. Is 3 greater than r?
True
Let t be (2/4)/(651/84)*20*12. Which is smaller: 15 or t?
15
Let o be 1 + (-10 - -4 - 7). Let q be 18/(-27)*(-15)/(-2). Let c(l) = 2*l. Let y be c(q). Is o smaller than y?
True
Suppose 0 = -34*y + 25*y + 288. Let p be (y/132)/(9/(945/10)). Which is smaller: 4 or p?
p
Let w be (-3)/15*-6*(-15)/(-6). Suppose 4*j - s = w*s, -5*s + 7 = 2*j. Let z(y) = 2*y - 2. Let a be z(j). Is a <= 1/45?
True
Let t = -13614 - -13613. Which is bigger: 8/2015 or t?
8/2015
Suppose -4*o - 3 = 2*v - v, -2*v = o - 29. Let l be 3/15 + -2 + 29/5. Suppose 147 - 135 = l*b. Which is smaller: v or b?
b
Let d = -13167 - -13168. Which is smaller: -27/682 or d?
-27/682
Suppose 0*d + 2 = 2*d. Let s be 3/(-6) + 4350/8460. Is s at most as big as d?
True
Let i = -0.08 - -0.38. Let h = 65059/9 - 7229. Is i greater than h?
True
Let s be -1*(0/2 - 0). Let m be 18/3*(-1053)/(-2223). Do s and m have different values?
True
Suppose 3*c = p + 2*p + 1242, -2*p - 828 = 3*c. Let x = p - -386. Is -300/11 < x?
False
Let a be (-29256)/(-108) - ((-224)/72 + 3). Let h = 3307683938/12203331 - 6/581111. Let w = a - h. Which is bigger: w or -1?
w
Let g = -14 + 30. Suppose 5*z - n - g = n, 5*n + 15 = 0. Let b be 4 - (z/(-3) + 4). Which is smaller: b or 0?
0
Let n(i) = 4*i - 13. Let o be n(3). Let p be (o/((-15)/(-372)))/((-6)/30). Let g = -122 + p. Are 15/22 and g non-equal?
True
Let s be 1*(-3)/11 + 2384/(-8344) + 5784/154. Suppose -2*h - h = 2*i, -4*i = 12. Suppose -z + 75 = h*m, 3*z + 63 = 2*m - 0*z. Is m greater than s?
False
Let d(f) = -4*f + 160. Let u be d(46). Which is greater: -65 or u?
u
Let o = 10 - 7. Suppose o*t = -29 - 28. Suppose 0 = 3*r - 35 + 95. Is t smaller than r?
False
Let x(u) = u**3 - 14*u**2 + 14*u - 11. Let o be x(13). Suppose -q + 4 = -o*d, 0 = -4*q + 2*d - d + 9. Suppose -q*z = -5*z - 3. Which is smaller: z or 6/17?
z
Suppose -3*g - 438 = 4*h, -4*h + 6*h = g - 234. Is -115 at least as big as h?
False
Let j = -10 - -8. Let n be (-4)/39 - j/(-3). Let k be (-479)/(-4311) + (-2)/18. Which is greater: k or n?
k
Suppose -172*b + 176*b - 172 = 0. Let v = -85/2 + b. Are -4/215 and v non-equal?
True
Let i(k) = -k + 6. Let n be i(3). Suppose -3*c = n*o - 30, 4*o + 15 - 6 = 3*c. Let l = 103 + -93. Is c > l?
False
Let u = 12 + -6. Suppose 212 = -5*x + 232. Which is greater: x or u?
u
Let p(a) = a**3 + 6*a**2 - 6*a - 26. Let c be p(-6). Suppose -2*i - c = 0, -2*i = -0*f - 5*f + 35. Let s be (2/f)/(((-486)/30)/3). Which is bigger: 1 or s?
1
Let w = -170/333 + 124214/238095. Which is smaller: w or -1?
-1
Let f = 28301 - 29407. Which is greater: -14360/13 or f?
-14360/13
Let u be (95 + 175/(-7))/(2/26). Is 910 at least u?
True
Let r(h) = 15*h + 114. Let w be r(-7). Suppose 52 = w*f - 35*f. Let g be (-1 + 0 + 0)*-3. Is g at least f?
True
Suppose -4*w = 5*h - 59, -5*w + 54 = 5*h - 11. Is 169/34 equal to w?
False
Let o = -4 + 33. Suppose -6*l + o = -13. Let h be 8 - l/((-28)/12). Which is smaller: h or 10?
10
Let j(c) be the first derivative of -3*c**4/4 + c**3 - 3*c**2/2 + 2*c + 83. Let r be j(2). Let l(s) = -s**2 - s + 3. Let i be l(-5). Is i greater than r?
False
Suppose 2*z - 485*h + 489*h = -24, -5*z + 10 = -4*h. Is -107/32 at least as big as z?
False
Let k = -45670574 - -388428232321/8505. Let u = -2/35 + k. Is 1 < u?
False
Let r = 0.0263 + -66.3263. Let a = r + 6.3. Let b = a + 62. Is -51 <= b?
True
Let k = -0.20887 + 0.20887. Do 0.00985 and k have the same value?
False
Let l be (1*(-11)/(-5))/((-17)/85). Let c(j) = -j**3 + 3*j**2 + j + 1. Let k be c(4). Let w = k - l. Is 1/7 bigger than w?
True
Let o(m) = 1183*m**3 - 44*m**2 - 45*m - 2. Let i be o(-1). Is -1182 greater than or equal to i?
True
Let r(c) = -5*c**2 + 10*c + 8. Let i be r(-1). Let l = 11.3 - 5.3. Is l smaller than i?
False
Suppose -41 = -5*r - 16. Suppose 4*i + 32 = 3*s, -15 = -s + r*i + 14. Let q be s - 25 - (-4 