50 + 7. Let s(i) = -2*i**3 + 19*i**2 - 13*i - 8. Let l(z) = z**3 + 16*z**2 + 27*z - 5. Let x be l(-14). Let j be s(x). Which is smaller: k or j?
j
Suppose -4*v - 80 = -3*m, 3*m + 2*m = 4*v + 80. Let z = v - -20. Is z at most -51?
False
Let l be 23/5*(1778/(-252) + 4). Is l bigger than -13?
False
Let b(x) = -15*x + 1665. Let p be b(111). Suppose -2*s - 4 + 0 = 0. Let z = -5 - s. Which is bigger: z or p?
p
Let u be (-3678)/280 - 120/(-420) - (-2)/(-5). Is -14 bigger than u?
False
Let p be ((-182)/(-4))/(-7)*-6. Let y be 2/5 - (-469)/(-35). Let x be p/y + 19/7. Which is greater: -2 or x?
x
Suppose 0 = -2*j - 4*j - 450. Let l = j - -87. Suppose -4 - l = 8*f. Which is greater: 0 or f?
0
Suppose -4*q - 5 = -3*u, 4*q - 16 = 24*u - 28*u. Is 2/5097 greater than q?
False
Let q = 106 + -93. Let x be (-10)/65 - (141/q - 1). Let y = -0.03 + 2.03. Is x < y?
True
Let c = 595 + -558. Suppose a + c = 5*s, -a = -2*s + 5*s + 5. Is a smaller than -69/4?
False
Let t be ((-2)/3)/(222/(-36) - -6). Suppose 0 = w - 3*b + 16, -4*b = 3*w - t*w - 18. Do 1 and w have the same value?
False
Let u(n) = n**3 + 5*n**2 + 4*n + 7. Let i(g) be the first derivative of g**4/4 + 5*g**3 - 9*g**2 - 35*g - 8. Let p be i(-16). Let c be u(p). Are 13 and c equal?
True
Let x = -225/214 + 129657/3638. Which is smaller: x or -0.5?
-0.5
Let i be (66/(-3))/(0 + 1). Let l = -53601 - -53573. Is l less than i?
True
Let a = 19692 - 19991. Is -305 at least a?
False
Let o be 629/19 + 16/(-152). Let q(d) = 2*d**3 - 15*d**2 + 23*d - 106. Let h be q(7). Which is greater: o or h?
o
Let o = 126568/61 + -2075. Let h = 0.6964 - 1.6964. Is o equal to h?
False
Let b = 1196 + -1196. Suppose -3*n - 3 = 0, -l + n + 1 = 3*n. Suppose 4*i - l*c - 37 = b, -c + 22 = 5*i - 10. Is i >= 5?
True
Let d be (-126)/(-294) + 4/56. Let l(c) = 3*c**2 + c. Let m be l(2). Is m equal to d?
False
Let s = -42349/19 - -2229. Are 0.52 and s unequal?
True
Suppose -7*c - 2*c + 5*c = 0. Let b = 1422/4009 + 14/211. Is c != b?
True
Let p = 258 - 282. Let u be (-145)/1032 - 3/p. Which is smaller: 0 or u?
u
Let a(n) = -n**3 - 74*n**2 + 151*n - 75. Let j be a(-76). Does j = 6.5?
False
Let p = 62375 + -62245. Let w be 2319/18 + 1/(-3). Is w at least p?
False
Suppose -j - 152 = 3*j. Let y = 15297 - 15333. Is y > j?
True
Let i = 289 + -149. Suppose 3*b + 31 + 36 = -4*p, 5*b = -p - i. Which is smaller: b or -113/4?
b
Suppose p + 2 = -5*r, -10*r + 14*r + 5*p - 11 = 0. Is 5/791 at least as big as r?
True
Let y = 10 - 7. Let i(d) = -2*d**2 - 11*d + 21. Let c be i(-20). Let o be (-2)/(-15) + c/(-195). Are y and o nonequal?
False
Let o be (-6)/22 + 669/2453. Is 3/11 greater than o?
True
Let k(s) = -s**2 + 81. Let t be k(-9). Let w = 708/475 + -23/19. Is t > w?
False
Let g = 1318.6078 + -0.6078. Are g and 1 equal?
False
Let u = 3 + -103. Let h = 28894 + -28995. Is h < u?
True
Suppose -1091 = 8*q - 4995. Let g be -1 + ((-3)/(-6) - (-268)/q). Does g = -1?
False
Let v = -108.28 - -107.8. Which is smaller: v or 1/55?
v
Let j = 1 + -0.96. Let p = -91 - -2. Let r = 90 + p. Is r at most as big as j?
False
Let b = 9787/21 - 3407/7. Suppose -10 + 32 = -w. Is b >= w?
True
Let l(t) be the second derivative of -2*t**3/3 - 69*t**2/2 + 44*t. Let q be l(-18). Is q >= 7/2?
False
Let t = 95 - 93. Let h(p) = t - 7 - 9*p + 2. Let j be h(-2). Is j at least as big as 15?
True
Let a(d) = 6*d**3 + d**2 + 7*d + 18. Let r be a(-4). Let p = 353 + r. Suppose 15 + 11 = -b. Which is bigger: b or p?
p
Let x = 60038 - 742249795/12363. Is 1 greater than x?
True
Let i be (54/(-270))/((-2)/(-2830)). Which is smaller: -281 or i?
i
Suppose 0 = -28*p + 27*p + 10. Let m(g) = 2*g + 54. Let l be m(p). Let k = l + -221/3. Which is greater: -0.3 or k?
k
Suppose 0*m - 3*w + 6 = -3*m, -w = -3*m - 6. Let u be m/3*(-20 - -167) + 0. Is -97 at most u?
False
Let x be 3/12*(-1152)/82260. Which is smaller: -1 or x?
-1
Suppose 36 = -999*f + 1008*f. Suppose 0 = 2*m - 0*g - 3*g - 72, f = 2*g. Which is smaller: 35 or m?
35
Let d(y) = -8*y + 2. Let o be (-2)/(-6)*(-12)/4. Let w be d(o). Let k be ((-12)/w)/(42/(-105)). Which is smaller: k or 7/3?
7/3
Let s(f) = 36*f**2 - 2*f + 4. Let z be s(-2). Let h = -168 + z. Is h > -11?
False
Let l(b) = -b**3 - 142*b**2 + 10*b + 1415. Let u be l(-142). Which is smaller: u or -135/22?
-135/22
Let n = -4830141867403/772 + 6256681865. Let y = 21415 - n. Is y less than or equal to -1?
False
Let w be 351/18018 - (-3)/(-4)*(-18)/189. Which is smaller: w or -41?
-41
Let a(k) = -k + 4. Let x be a(0). Let d be (-80)/165 + x/(-22). Let u = 41.2 + -41.3. Is u at least as big as d?
True
Let a = 24.76 + -26. Let p = 50.24 + a. Let o = 29 - p. Are -0.1 and o nonequal?
True
Let o = -15.94 + 16. Is o less than -0.2?
False
Let t = -1311 + 1378. Do t and 19 have different values?
True
Let z = 32 - 33. Let a be ((-4)/72)/(2/(-4)). Is a > z?
True
Let z be (20/715 - 4/22) + (-126344)/(-818363). Which is smaller: 1 or z?
z
Let h(z) = 5*z**2 - 183*z - 119. Let x be h(37). Which is smaller: -263/6 or x?
x
Let c = 1253 + -541. Is 710 less than or equal to c?
True
Suppose 0 = 4*m - 0*m - 24. Let l(s) = s**3 - 6*s**2 - s + 7. Let y be l(m). Let p = 323193/37 - 8735. Which is smaller: y or p?
p
Let j = 0.0129 + -49.7129. Let g = 48 + j. Let p = -0.3 + g. Which is greater: -8 or p?
p
Let h = 455 + -455.0366. Is h > -4/5?
True
Suppose -16*m = 120 - 888. Suppose -m + 54 = -6*f. Is -1/10 > f?
True
Let x be 176/(-116) + (2 - -4). Which is smaller: x or -1?
-1
Let f(d) = d - 28. Let r be f(0). Let w be 20*(9/15 - 895/(-50)). Let s be 18/(-5)*(w/20 - 11). Is r at least s?
False
Let p(b) = -b**2 - 3*b + 2. Suppose 3 = -4*k + 4*f - 9, -3*f = -9. Let t be p(k). Let d be t/7 + (-153)/119. Are d and -1/35 nonequal?
True
Let n(d) = -d**2 - 5*d + 7. Let s be n(-6). Let l = 15605 - 109544/7. Let v = -9551/217 - l. Which is smaller: s or v?
v
Let s(l) = 43*l - 78. Let t be s(6). Let g be 8/t*9*-1*1. Is 1/21 less than or equal to g?
False
Let u = -366 - -472. Let s = u - 6679/63. Suppose 0*j = 2*j. Is s less than or equal to j?
True
Let j = 81919 + -1054789043/12876. Which is bigger: j or -1?
j
Suppose 13*a + 6496 - 2245 = 0. Let k = 281 + a. Do -43 and k have the same value?
False
Suppose -i + 5*i + 4*b + 20672 = 0, 0 = -2*i - 3*b - 10337. Is i greater than -5167?
False
Let w be 1/(4/240)*(-2)/5. Let r(q) = -q**3 - 24*q**2 - 2*q - 38. Let u be r(w). Suppose -3*b + 2*b - 48 = -4*h, b = -h + 17. Are u and h unequal?
True
Let s(c) = -5*c**2 - 13*c + 29. Let h(t) = 4*t**2 + 13*t - 29. Let a(v) = -6*h(v) - 5*s(v). Let q be a(16). Which is smaller: q or 76?
76
Let p be (1*189/(-6))/3. Let y be 6 + (-56)/70*20. Which is smaller: y or p?
p
Let r = 11484 + -11485. Is 1/13287 <= r?
False
Suppose -4*v - 2*v + 426 = 0. Let j = v + -8. Let k be 8*(j/12 + -4). Do k and 10 have the same value?
True
Suppose -3*o + 21 - 15 = 0. Let w be (o/(-4))/((-3)/(-558)). Is -462/5 at least as big as w?
True
Suppose -80255 = -5*n - m, 272 = -5*m + 297. Is n smaller than 16050?
False
Let l = 664 + -604. Suppose 124 = -3*d + x - 75, -d - 81 = -4*x. Let c = l + d. Is c >= -3?
False
Let u(b) = -b + 16. Let i be u(14). Suppose 3*f - z + 13 = 0, 0 = -3*f + i*z - 11. Let r = -2860/9 + 318. Which is bigger: f or r?
r
Suppose t + 3 = 4*v, 4*v = -4*t - 54 + 22. Let z = -1833 + 232793/127. Is v < z?
True
Let c be ((-6)/105*5)/((-374)/357 - -1). Suppose 0 = f, -3*f - 24 = -2*r + 2*f. Let u = r + -5. Is c less than u?
True
Let u = 1 + -3. Suppose -k = -5*l - 54, 5*k = 72*l - 74*l + 27. Which is greater: u or k?
k
Let b be 5488/252 + (-6)/(-27). Let v be (b/154)/((-6)/(-749)). Which is smaller: v or 17?
17
Suppose -5*m - 3*p = -18470, -3*p + 516 = 3*m - 10572. Which is smaller: m or 4?
4
Suppose k + 2 = o + 3, 0 = 5*k + 3*o + 19. Let x = 28/375 + -76261/1026375. Let l = x + -76645/24633. Which is bigger: k or l?
k
Suppose -3*j = -4*x + 23, 4*j + 11 = 2*x - 3. Suppose 4*i + 24 = -3*d + 8*d, -x*i + 3*d = 17. Which is bigger: -25/3 or i?
i
Let u = -1199 + 1199.2. Which is greater: -21 or u?
u
Let a(n) = 119*n + 1452. Let x be a(-11). Is x smaller than -21?
False
Let f = -1765 + 210041/119. Suppose 1724*q - 1725*q = -1. Which is smaller: f or q?
f
Let p be ((-2)/(-6))/((-4)/(-600)*5). Let h be p/(-6) - (-72)/27. Is h not equal to 5/64?
True
Let i be 5/2