ger: 9 or l?
9
Let z = -153092/29 - -5280. Is z greater than or equal to 2?
False
Suppose u = -5, -v - 1 = 2*u + 10. Is 1/173 at least as big as v?
True
Let o = -9 - 3. Suppose 3*h = -4*m + 13, -2*m + 8 + 26 = 4*h. Let z = o + h. Is z != 0?
True
Let q = 18242997/4870409 + 5838350048167157/145990509775. Let f = -439944/11 + q. Let h = f + -6/109. Which is smaller: h or 0?
0
Let d be ((-1)/6)/(-12 - 11688/(-976)). Is 6 at most d?
True
Suppose 72*s - 27 = 81*s. Let a = 135/2 + -66. Do s and a have different values?
True
Let v = 5.44 + -5. Let h = v + -14.44. Is 1 less than h?
False
Suppose -458 = -4*d + 5*g, -d - 5*g + 37 = -65. Suppose 117*f - d*f + 5 = 0. Which is smaller: -7/9 or f?
f
Let u be 137/(-2) + -1 + (-1)/(-2). Is -71 at most u?
True
Let c = 90 + -90.041. Let u = c + -0.059. Are u and -93 equal?
False
Let w be 10/60 - 51/90. Is w greater than 36?
False
Suppose 3*w - 5*c + 24 = -2*c, 0 = -5*w - 2*c - 5. Let n = 0 - 0.1. Is w at most as big as n?
True
Let u(z) = 14*z + 1. Let j be u(1). Let s be ((-3)/60)/(6/j). Suppose 0 = -2*m - 2*m + 4. Which is smaller: s or m?
s
Let j = -480 - -502. Is j bigger than 7/5?
True
Let w be -45 + 51 - 382/67. Which is bigger: w or 1?
1
Suppose a + 0*k + 1 = k, -a + 19 = 3*k. Suppose 0*y = -a*y + 12. Suppose -2*f = 2*f - 8. Is y smaller than f?
False
Suppose -3*t - 6 = -5*t. Suppose 2*w + 63 = j, 6*w - t*w + 5*j + 75 = 0. Let c be ((-32)/w)/(4/6). Which is smaller: c or 2?
c
Suppose -33*m - 162 = -15*m. Let l be (-1)/(-1) - 6/1. Let p = m - l. Which is smaller: -5/2 or p?
p
Suppose 0 = -5*o + 2*c - 40, c = -o - 5 - 3. Let k be (o/(-138))/(20/(-30)). Suppose 5*z = 9*z. Which is smaller: k or z?
k
Let u = -1549 - -1287. Is u equal to -0.3?
False
Let d be ((-13)/(-143))/((-2)/50) - -2. Let l = 17 + -18. Which is smaller: d or l?
l
Suppose -q = -5*q - 32. Let h(s) = -12*s + 243. Let r be h(21). Which is smaller: q or r?
r
Suppose 2*n + 8 = 4*n. Let u be 3/(-12) - n/112. Let b(c) = -c**3 + 8*c**2 + c - 8. Let p be b(8). Is u > p?
False
Let g be (-3)/8 + 39114/4464 - 6. Is 1 equal to g?
False
Let f(g) = g**2 + 95*g + 197. Let y be f(-28). Is 0.1 at most as big as y?
False
Let v = -20361 - -386597/19. Which is smaller: -14 or v?
-14
Let p be 4/(-3)*(-3)/202. Let c(r) = r**3 + 49*r**2 + 94*r + 1. Let x be c(-47). Which is smaller: p or x?
p
Let t(d) = -2*d**3 - 10*d**2 + 2*d - 2. Let j be t(-7). Let g = j + -1251/7. Is g bigger than -2?
True
Let o be 0 + 16/120 + 176/30. Is 5 less than or equal to o?
True
Let i be (-10)/(-21)*((-3120)/250)/26. Which is bigger: -1 or i?
i
Let d be (-3*(-8)/(-396)*6)/14. Is 0 <= d?
False
Let z = -22.059 - 0.941. Are z and 24 equal?
False
Let w be 12 + (1752/(-84) - -1). Which is smaller: -9 or w?
-9
Suppose 3*o = -9 + 15. Let y be o/(-4) + (-54)/(-44). Is y at most as big as 0?
False
Let k be (-138)/115*2/4*-5. Let y(i) = i**3 - 12*i**2 + 11*i + 3. Let m(u) = 12*u**2 - 1. Let g be m(1). Let v be y(g). Is k at most v?
True
Suppose -h - 24 = -2*l + 65, -4*h + 229 = 5*l. Suppose -4*p - l = -p. Suppose 38 = -3*a - 7. Is p less than or equal to a?
True
Suppose 2*a + 3 = k + a, 0 = k - 2*a - 6. Let o be k/(-1) - -2 - -2. Suppose 1 = 5*j - o*j. Which is bigger: 5 or j?
5
Suppose 4*j - 18 = -114. Let q = j - -23. Which is smaller: -6/11 or q?
q
Let w = -48 - -36. Let k = w + 11.8. Is -0.9 < k?
True
Let b = 950/19227 - 16/221. Which is greater: 1 or b?
1
Let g = -308 + 297. Is g equal to -10?
False
Let f = -45 + 19. Let w = 25.97 + f. Which is smaller: w or -3?
-3
Suppose 3 = r + 1. Let m be ((-12)/(-4) + (-6)/r)/1. Let s be (-1)/(-4) + 2/(-8). Are m and s equal?
True
Let f(j) = -j**3 + 4*j**2 + 10*j - 3. Let x be f(6). Let b(a) = a + 17. Let z be b(x). Is z > 8/7?
True
Let f be ((-19)/21 + 1)*-3912. Let z = f + 372. Let i = -53 + 52. Are i and z unequal?
True
Suppose 5*a = 6*a - 9. Suppose -q - 5 = -a. Suppose 0 = -2*v + 2*b + 2*b - 2, 3*v + 2*b = 5. Which is smaller: v or q?
v
Suppose 4*i + 4*t - 2 - 2 = 0, 5*i = -2*t + 8. Is 3 at most i?
False
Let l(v) = v + 11. Let p(i) = i**3 - 9*i**2 - 10*i - 5. Let c be p(10). Let f be l(c). Is 6 bigger than f?
False
Let m = -348 + 348.003. Do m and -0.06 have different values?
True
Let l = 0.55 - 3.45. Let n = 2.1 - l. Which is smaller: -1 or n?
-1
Let u be (148/(-15))/(-11 - 1220/(-100)). Are -9 and u unequal?
True
Let k = -2789 - -2787. Suppose 2 = 5*t - 3. Let j = t + -2. Which is bigger: j or k?
j
Let o = -45 + 46. Is 17/4 greater than o?
True
Suppose 0 = -4*i - 3*b - 60, -3*i + 0*b = -b + 32. Let q be 3/(-4) + 147/(-12). Do q and i have the same value?
False
Suppose -6 = -s - 0. Suppose -2*j - 20 = -2*z, -s = -0*z - 2*z. Let g be ((-1)/(-16))/(j/(-14)). Is -1 <= g?
True
Let t = 400 + -320. Which is smaller: t or 78?
78
Suppose 3*d = 7*d. Suppose -36*l + 53*l - 272 = 0. Is d less than or equal to l?
True
Suppose 2*j + 512 = 10*j. Suppose 0 = 5*m - m + j. Do m and -14 have the same value?
False
Let c = 31 + -38. Let l(x) = -x**3 - 7*x**2 + x + 7. Let k be l(c). Which is smaller: -1 or k?
-1
Let c = 20 - 11. Let i(m) = m**3 - m - 1. Let r(x) = x**3 + 8*x**2 + 7*x - 3. Let k(o) = -2*i(o) + r(o). Let j be k(c). Are j and 3/14 nonequal?
True
Let l = -139 + 553/4. Let a be (-1)/(-12) + (-2)/(-6). Let p = l + a. Are p and 1 equal?
False
Let h be 4/(-24) + (-18154)/12. Let b be h/34 - 2/4. Let m be b/6 + 2/4. Which is bigger: -6 or m?
-6
Let y(l) be the third derivative of l**6/120 - 7*l**5/60 + 5*l**4/24 - l**3/6 - 13*l**2. Let p be y(6). Are -6 and p equal?
False
Let m = -13809 - -107475445/7783. Which is bigger: m or -1?
m
Suppose -2*t + t + 12 = 0. Suppose -5*j + j = 5*q - 63, -2*q + t = -5*j. Let p = q + -12. Which is smaller: p or -5/4?
-5/4
Let c = 460 + -460. Which is smaller: c or -9/71?
-9/71
Let j be 184/(-414)*(-2 - (-7359)/3684). Is j at least as big as 0?
True
Let a be (-294)/(-1695) + (-6 - 58/(-10)). Which is bigger: 0 or a?
0
Let d be (3/(-1737))/(3/(-18)). Let u = d - -185/772. Let p be 0 + (-1 - -2) + -10. Is p less than u?
True
Let y = 5 + 0. Suppose -y*f - 8 = -33. Suppose f*z + 4*p = -7, -z + 3*z = 5*p + 17. Which is bigger: -5 or z?
z
Let v = -136 - -258. Which is smaller: v or 120?
120
Let r(g) = -g**2 + 6*g. Suppose -k = -4*k + 15. Let t be r(k). Let a be 52/12 - (-2)/(-6). Is t bigger than a?
True
Let b be -2 + (-30)/(-40) + (-5)/(-4). Let v = 5119/15 - 341. Is v equal to b?
False
Let p = 5.4 + -0.4. Let z = p - 3.2. Let j = -1.9 + z. Is -2/7 less than or equal to j?
True
Let l be (-8 - (-8 - 0))/2. Let a be ((-1)/(-3))/((-14)/(-6)). Which is bigger: a or l?
a
Let j(l) = l**3 + 20*l**2 - 38*l + 91. Let s be j(-22). Is -31 >= s?
True
Suppose 4*r = 2*z - 140, -194 + 530 = 5*z - 3*r. Is 397/6 less than z?
False
Let f(d) = d**3 + 13*d**2 - 14*d + 3. Let g be f(-14). Suppose -g*m + 13 - 34 = 0. Let n = -16 + 8. Is m != n?
True
Let m = 235 + -237. Which is smaller: 6/19 or m?
m
Let z = 22 + -22.07. Let p = 120.07 + -121. Let h = p + z. Is -0.04 at most h?
False
Let l = 25 - -2. Let z = -45 + l. Let d = z - -17.9. Which is smaller: d or 0?
d
Suppose 186 = 7*l + 39. Suppose n + 59 = 3*c - 4*n, -3*c + 2*n + 65 = 0. Which is greater: l or c?
c
Suppose -81 = -6*v - 63. Suppose l = 4*l - 2*b, 4*l = 3*b. Suppose j - 2 = -l*j. Is v equal to j?
False
Let t(k) be the third derivative of 19*k**5/60 - k**4/12 + k**3/6 + 2*k**2. Let s be t(1). Suppose 0 = -5*u - s - 2. Are -4 and u equal?
True
Suppose -2 = -2*v + 2. Suppose -5*i + 5*a = -15, -6*i = -2*i + a - v. Which is bigger: -3/17 or i?
i
Let f = -386 + 377. Which is smaller: f or -58/7?
f
Let i(m) = -m**2 + 16*m + 4. Let x be i(16). Is 175 less than or equal to x?
False
Suppose -37 = w - 45. Do w and 10 have the same value?
False
Let b be ((-76)/171)/((-68)/9 - -1). Let j be (0 - (0 + 1))/(-1). Which is greater: j or b?
j
Let d = 90035475221/14570 + -6179511. Let u = 3/235 - d. Which is greater: u or 1?
1
Suppose 3*h + 5*f - 4 = 1, 0 = -2*h + 3*f + 16. Suppose 2*o + 16 = -c + h*c, c - 13 = 5*o. Let n be (12/(-54))/(o/18). Which is smaller: n or 5/8?
5/8
Let i(p) = p**3 + 2*p**2 - 9*p - 4. Let k be i(-4). Suppose 7*t + 4 - 11 = k. Let a be (2/(-18))/((-4)/(-6)). Do t and a have the same value?
False
Let z(b) = -b**2 + 43*b - 177. Let a be z(38). Let k = -1 + 2. Is k greater than a?
False