ler: 1110 or o?
1110
Let z = -1605/71017 + 2/1511. Let f(u) be the third derivative of u**4/24 - u**3/6 + u**2. Let c be f(2). Is c >= z?
True
Let t = 4 - 4. Suppose 17*l = 5*l - 936. Let z be (3/10)/(l/(-208)). Which is smaller: z or t?
t
Let w(o) = -o**2 + 24*o + 1. Suppose -15*k - 9 = -16*k. Let a be w(k). Which is bigger: a or 137?
137
Suppose -9*b + 6*b = 0. Suppose -3*y - 6*h + 79 = -h, y - 3*h - 17 = b. Let l = y + -26. Is -1 equal to l?
False
Let h(n) = 4*n - 32. Let v be h(7). Let d be v*-9*8/(-144). Does d = 13?
False
Let h(s) = -s**3 + 3*s**2 + 4*s + 4. Let j be h(4). Suppose b + 12 = -5*p, 3*b - b = -j*p - 30. Which is greater: b or -16?
-16
Suppose 13*y - 7491 - 1713 = 0. Let x = -723 + 1431. Are y and x unequal?
False
Suppose -176 = -3*s - 473. Let m be ((-2205)/(-36) - 0)*96/60. Let d = m + s. Which is smaller: -3/37 or d?
d
Let p(a) = 11*a**2 - 367*a - 239. Let f be p(34). Let v be (2/(-4))/((-35)/(-30)). Which is greater: v or f?
v
Let z be ((-1053)/(-468))/(87/24 - 4). Is z at least -222/35?
True
Let s be (-35)/140 + (121/(-88))/((-2)/4268). Are 2934 and s nonequal?
False
Suppose -356*y - 113633 = -935993. Which is smaller: -0.1 or y?
-0.1
Let k = 1632 - 1683. Which is smaller: -30 or k?
k
Let q be (-6)/((-3125)/(-610) + (-15)/(-9)*-3). Suppose 105 + 91 = -4*l. Is q equal to l?
False
Let n be (-13254)/(-4)*(-3)/((-18)/(-4)). Is n not equal to -2210?
True
Let x be (10 + -3 - 14)/(2/20). Suppose 7*l = -817 + 327. Is x smaller than l?
False
Let j = 10104 - 10398. Let n be 118*(2/(-4) - 2). Are n and j equal?
False
Let b(n) = 2*n**2 + 102*n - 525. Let x be b(5). Which is smaller: x or 63?
x
Let m(y) = -y**3 - 11*y**2 + 6*y - 227. Let f be m(-15). Does f = 581?
False
Suppose -5*h + 10 - 30 = 0. Let z be (-12)/h + 93 - -1. Let u = z + -112. Which is smaller: -16 or u?
-16
Let o(q) = q**3 - 9*q**2 - 19. Let r be o(7). Let l be ((-8)/(-42))/(26/r). Is 14/5 smaller than l?
False
Suppose 4*n + 4*l + 496 = 0, -106*l = -2*n - 104*l - 236. Is n <= -129?
False
Let a be (-5)/50 + 451/410. Is a != 831?
True
Let m be (3/1)/(1584/384). Is 25 bigger than m?
True
Suppose 5*y + 2*d + 3 = 0, -3*y - 2*d + 3 = 8. Let b be (1 + 112/(-110))*-4. Is b greater than or equal to y?
False
Let k be (5 - 1)*(-69)/46. Let h be (k/(-4))/((-2779)/462 - -6). Which is smaller: h or -100?
-100
Suppose -2*c - 2*w = -6, 4*c + 858*w - 859*w + 8 = 0. Which is greater: -73/56 or c?
c
Let v be -3*-5*7/(-105). Let l(u) = -u**2 - 3*u - 2. Let t be l(v). Let x be 25/52 - 3/12. Is t > x?
False
Let h be (6 + -1)*(-2)/18. Let a be -4 + (-117)/(-27) - (-10)/(-3). Let s(u) = -u**3 + 2*u**2 + 18*u + 9. Let m be s(a). Is m equal to h?
False
Let h = 14522 - 14279. Which is greater: h or 255?
255
Let d = 143/18 - -50/9. Suppose 8*p = -2*h + 122, 13*p - h = 14*p - 16. Does p = d?
False
Let z(f) = -67*f - 130. Let h be z(-12). Let b = h - 690. Which is greater: -1 or b?
-1
Suppose 0*p = -14*p + 896. Suppose p*k + 365 = 69*k. Which is greater: 71 or k?
k
Let f = -46.79 - -46.79. Which is bigger: 1995/8 or f?
1995/8
Let c = -351 - -566. Let a = c + -214. Which is smaller: -36 or a?
-36
Let s(f) = 227*f - 1287. Let v be s(9). Is -3 smaller than v?
True
Let y be (0/6)/(1/((-2)/(-6))). Suppose -6*r + y*r = 216. Let d be -2 + r/(-17) + 0. Which is bigger: d or -3/2?
d
Let u be (1 + 2)*-2 + -2. Let a = 4564 - 4565. Which is smaller: u or a?
u
Let g = -198205 - -77894507/393. Is g < 0?
True
Let v be (398765/(-1038))/(2/12). Is v less than -2304?
True
Suppose 147*a - 153*a - 48 = 0. Let k be -29 + a/((-32)/4). Is k bigger than -31?
True
Let r = 445 - 443. Suppose r*z + 24 = 8*z. Let j(v) = -4*v - 1. Let f be j(-1). Which is smaller: f or z?
f
Let p = -16968 - -84858/5. Do p and 26/3 have the same value?
False
Let s be (-1188)/(-891) - 2776/21. Is s at most -132?
False
Let i be 2 - (-94)/28*-2. Let c = 714 - 687. Suppose -38*l - 55 = -c*l. Is l < i?
True
Suppose 654574 = 65*o - 4006. Is 10131 bigger than o?
False
Let c be (21/2)/((-51)/(-136)). Let w be 16/(-12) - (-455)/15. Which is smaller: c or w?
c
Let i = -371.3 + 390.2. Which is smaller: i or 2?
2
Suppose 30*p + 100 = -320. Is 13 greater than p?
True
Let g = 3872 - 3888. Which is bigger: g or 0.03?
0.03
Let n(x) = 3*x**2 + 11*x + 6. Let g be n(-6). Let y = -11 + g. Suppose -3 + y = -2*v. Which is smaller: -18 or v?
-18
Let u(a) = 4*a - 8. Let s be u(-4). Let z = s - -49/2. Let p(g) = -g**3 + 7*g**2 + g - 6. Let c be p(7). Which is smaller: z or c?
z
Suppose -9 = -r - 5*l, 3 = -2*l + 5*l. Suppose -2*c + r = 0, -2*c - c + 26 = 4*j. Suppose -5*q + z = 59, 3*z + 6 = j*q + 73. Are q and -13 unequal?
True
Let t be -5*65/26*(-52)/25. Suppose 0 = t*b - 43*b + 34. Which is smaller: 0.019 or b?
0.019
Let r be 2/(-8) + (-5)/(-4). Let j = 276 - 273. Let a be j/48*(2/5)/(-2). Which is smaller: a or r?
a
Let w be (2 - 3)/((-1)/(-35)). Let u(d) = -13*d + 260. Let n be u(17). Suppose -3*i + 4*v = n + 67, 5*i + 5*v = -165. Is w bigger than i?
False
Let n(y) be the second derivative of -y**5/20 - y**4/4 - y**3/6 - 6*y**2 + 21*y. Let d = -10 + 6. Let u be n(d). Which is bigger: u or 0?
u
Let o(z) = 5*z + 27. Let p be o(-3). Let s(x) = -7*x**2 + 13 + 0*x**2 + 6*x**2. Let j be s(0). Which is smaller: p or j?
p
Let g be 0 + (12/(-10))/2 - (-73152)/121720. Which is bigger: 1 or g?
1
Let a(d) be the third derivative of d**6/120 + d**5/15 - d**4/8 + 5*d**3/6 - 201*d**2. Let j be (-2)/2*-1*-5. Let h be a(j). Is h bigger than -4?
False
Suppose 0 = -5*y - 283 + 298. Suppose -10*p - y = 7. Is p less than 1/518?
True
Let o = 428 - 242. Let c = 274 - o. Let d = c + -87.9. Are 0.013 and d equal?
False
Suppose 5*l = -2*f - 8, -5*f - 3*l + 8*l + 50 = 0. Suppose -f*q = -17*q - 1683. Is -153 less than or equal to q?
True
Suppose -5*u - 4*k - 17 = 0, 46 - 52 = 3*u + k. Is u not equal to 23/129?
True
Let y = -1.9 - -40.9. Let c = y + -34. Which is smaller: c or 2/15?
2/15
Suppose 2*y + 1389 = 4*k + 117, -4*y - k - 2535 = 0. Let i = 632 + y. Let m(l) = 3*l**3 - l. Let v be m(-1). Does i = v?
True
Suppose 0 + 4 = x + i, 3*i + 9 = 0. Suppose -1 = -x*v - 15. Is v at most -3?
False
Let o be -78*(-5 - (-52)/12). Let n = 146 - o. Suppose -5*c = 5*v + 145, -2*v = v - 4*c + n. Which is smaller: v or -31?
-31
Suppose 5*u - 5*c - 10 = 15, 2*c + 6 = 0. Let i be ((-39)/26)/(u/68). Are i and -51 nonequal?
False
Let j(z) = 4*z + 6. Let u be (2/3)/((-10)/75). Let p be j(u). Let r be p/56*16/3. Are -2 and r unequal?
True
Let j = -27 - -39. Suppose 0 = -j*d + 7*d - 50. Is -9 at most as big as d?
False
Suppose 3*c + 18 = -24. Suppose 293*i + 1441 = 48*i - 2724. Is i less than c?
True
Suppose 4 = 3*i - 2. Let r be (i/95)/(18/15). Let o(g) = -9*g - 71. Let d be o(-8). Which is greater: r or d?
d
Let m = 4068 + -4133. Which is bigger: m or 0.83?
0.83
Let h = -9.091 - -11.591. Which is smaller: h or -56?
-56
Suppose -124*q = -94*q + 450. Let o be 240/75*q/(-6). Let p = 13 - 8. Is p <= o?
True
Let m(z) = 2*z**3 - 15*z**2 + 8*z - 4. Let o be m(7). Suppose -4 = -s, o*s = -2*t + 5*t + 15. Is -6/151 at least t?
True
Let q be 875/(-10)*(52 - -4)*(-2)/(-20). Is q greater than or equal to -491?
True
Let b = -16 - 105. Let p = b - -197. Is 77 greater than or equal to p?
True
Let x be (13*-6)/(-3) + -6. Suppose -17*a = -37 + x. Are a and -15 unequal?
True
Let o be (3/(2 - -10))/((-77)/235708). Let z = -767 - o. Let q = -0.5 + 0.45. Does q = z?
False
Suppose 5*f - 13*f + 24 = 0. Suppose f*t + 58 - 22 = 0. Let c = 19 - 30. Which is smaller: c or t?
t
Let t = 1.3 + -1.291. Let p = -0.7 + 2.6. Let f = p + -2. Which is greater: t or f?
t
Suppose 0 = 20*p + 4185 - 145. Let m be 2/(260/p) + 4/26. Is m smaller than -0.5?
True
Suppose -16*i = -13*i - 156. Let w = 52 - i. Suppose 0 = -5*b + 5*m + 20, -m + 2 + w = 2*b. Which is smaller: b or -2?
-2
Suppose 8*l - 6*l - 5*q - 10 = 0, l - q = 2. Is l at most as big as 5?
True
Let i(v) = -v**2 - 15*v - 42. Let y be i(-11). Suppose -y*b = -5*o - 44, -3*b + 0*o = -3*o - 48. Which is smaller: 45/4 or b?
45/4
Let p(m) = -m**2 - 2*m - 1. Let i be p(-1). Let k be 12/(-30) - 5/(950/556). Let s = k - -48/19. Is s smaller than i?
True
Let m(s) = 3*s**2 - 354*s + 2050. Let f be m(134). Is 16963/2 equal to f?
False
Let b = 4.5 - 3. Let r = -2 + b. Let s be (19/(-13) - -1) + ((-4