) = -j**3 - j - 1. Let r(q) = 6*b(q) + p(q). Let o be (-320)/20 - (1 - 0). Let k be r(o). Is -12 at least k?
False
Let w(o) = 3*o**2 - 4*o - 2. Let d = -44 + 63. Suppose d*t - 13*t = -12. Let j be w(t). Is 19 smaller than j?
False
Let b = 3290 + -3294. Is -74/9 <= b?
True
Let c = -10961 - -8114. Which is smaller: c or 4?
c
Let c be (0/4 - (-2)/4)*(-1)/4043. Which is smaller: 0 or c?
c
Let a = -561 + 556. Let v = a + 65. Are -1/4 and v nonequal?
True
Let c = 6887/21 - 1133/3. Which is smaller: c or -51?
-51
Let o = -5.3 - -6. Let j(p) be the first derivative of p**4/4 + 5*p**3/3 + p**2/2 - p - 77. Let h be j(-5). Which is greater: o or h?
o
Suppose -280 = -0*k - 7*k. Suppose -3*f = 7*f + k. Which is smaller: -26 or f?
-26
Let p(g) = -g**3 + 6*g**2 + 3. Let b be p(6). Suppose -1 - 10 = -y - 3*v, v = y - b. Let d be 92/8 - 2/4. Is y at least d?
False
Let s be 1/9*-1 + 185/45. Suppose -14 = 9*y + s. Which is smaller: 17 or y?
y
Suppose 5*l - l - 8 = 3*h, l - 2 = -2*h. Suppose -5*x = 3*r - 2 + 1, -4*x + 2*r - 8 = h. Which is greater: -26/21 or x?
x
Let c be (-94990)/(-142611) + -3 + 56/24. Which is smaller: 1 or c?
c
Suppose 5*o = -2*k + 1418, -4*o + 4*k - 495 = -1635. Suppose -8*b - 74 + 1718 + 628 = 0. Is o greater than b?
False
Let i = -7434 - -7432. Is i at most as big as 2923?
True
Let j be ((-97605)/(-147))/((-1)/(-2)*-2). Let t = j + 664. Suppose -2*q = k + 3, 5*k - 3*q + 1 = k. Which is smaller: k or t?
k
Let g = -84731/13 + 6517. Which is greater: 16.1 or g?
16.1
Let z(r) = 6*r - 171. Let y be z(24). Suppose 216 = -3*q - 5*q. Is y greater than or equal to q?
True
Let x be (51/78 - (-10)/(-65))/((-40)/5008). Is -63 > x?
False
Let n = -4055.12 - -4055. Does n = 8.9?
False
Let v(o) = 28*o + 3220. Let w be v(-115). Which is smaller: -5/6427 or w?
-5/6427
Let u be (12198/963)/(((-4)/(-10))/(27/15)). Are u and 0 nonequal?
True
Let k = 344/4371 - 2/141. Let q(a) = -24*a + 9 + a**3 - 7*a**2 + 38*a - 33*a. Let m be q(9). Are k and m nonequal?
True
Let c(x) = x**3 + 20*x**2 - 791*x + 25. Let h be c(19). Is h at most as big as -924?
True
Let f be ((-94)/(-6439))/((-5752)/2879 + 2) + -7. Is -1/6 less than or equal to f?
True
Suppose 0 = -100*p + 108 - 208. Which is bigger: 1096 or p?
1096
Let o = -1458 + 1457.99. Is -2/163 greater than o?
False
Let p be 1/(-9 - 693756/(-77085)). Which is greater: p or -8566?
p
Let c(z) = -483*z - 2180. Let i be c(-5). Which is smaller: 240 or i?
i
Let n be 5/(-200)*(-105)/(-98). Let y = 257/1232 + n. Is y at least 20?
False
Let i = 2712 - 2716.364. Let p = 3.3 + i. Let q = -0.064 - p. Is q at most as big as 0.006?
False
Let f = -40 + 40. Let o(x) = -x**3 - x**2 + 6. Let g be o(f). Let c be (-17)/((-2)/g*3). Is 18 not equal to c?
True
Suppose -4*h - 767 = -3*x, 0 = 11*h - 14*h - 3*x - 591. Let c = -194 - h. Is 9/32 bigger than c?
True
Let v = -947 - -947. Which is greater: -1598 or v?
v
Let z = -7446 + 7447. Let t be (-494)/246 + 6 + -4. Is t less than or equal to z?
True
Suppose -12*k + 16*k - 4*p - 524 = 0, 2*p - 8 = 0. Suppose -k*s = -138*s - 171. Is -56 not equal to s?
True
Let k be 130 - 1 - (0 - -10). Which is greater: 110 or k?
k
Suppose 137*x = 109817 - 354. Is 797 at most x?
True
Let x = 1827/2 + -946. Suppose 0 = 301*w - 262*w + 1248. Which is smaller: w or x?
x
Suppose 0 = 1796*r - 1830*r. Is r at least 1/2818?
False
Let m = 57 - -343. Let d = 382 - m. Is -16 > d?
True
Let i = -0.6 + 0. Let t = -0.1265 - 0.2178. Let z = 0.0443 + t. Which is bigger: i or z?
z
Let a be ((-11)/(-2))/1*6/3. Suppose 3*b = a + 103. Suppose 3*y = 6, 5*y = 4*x + 2*y - b. Are -2 and x non-equal?
True
Let n = 6666 + -6668. Is n less than 314/5?
True
Let w = -9 - -25. Let z = 66832 - 66817. Which is smaller: w or z?
z
Let k = 199 + -198. Let u = -82 - -120. Let i be (u/(-399))/(4/6). Is k >= i?
True
Let u = 44757 - 42814. Is 1936 bigger than u?
False
Suppose 0*o + 4*x = -5*o - 190, 0 = 5*o + 5*x + 195. Suppose -359*j = -363*j - 64. Let y be (80/j)/(2/14 + 0). Are o and y nonequal?
True
Let o = 4890980810314075960475/5643456 - 866664116866340. Let h = o + -4253/14144. Let z = -1/456 - h. Which is smaller: -5 or z?
-5
Suppose -y = -19 + 9. Let i = y + 41. Let b = i - 59. Which is smaller: b or -7?
b
Let p(o) = 5*o - 5. Let u be p(5). Let v(q) = -q - 7. Let g be v(-7). Let x be 28/56*(u - g). Is 10 <= x?
True
Let d = 2986 + -2985. Let j = 181 + -108. Which is greater: j or d?
j
Suppose 11*q - 101*q = -10080. Is 17 greater than or equal to q?
False
Let x = 25/47 - 1060/1551. Let k = x - 2/11. Is k less than or equal to 1?
True
Let q = 165 + -163.37. Let g = 1.83 - q. Which is smaller: g or -38?
-38
Let u be (1/20 + (-3)/6)*(11 - 47). Which is greater: 17 or u?
17
Let h = -12099 + 35872/3. Is h smaller than -143?
False
Let j = 552 + 799. Are 2701/2 and j equal?
False
Suppose -71 + 76 = 5*w. Suppose -5 = -s - w. Is s less than or equal to 19/5?
False
Suppose 0 = -u + 4*u + 198. Suppose -p - 794 = -2*o, -3*o + 3184 = -4*p + o. Let w be 3/(-6) - p/(-12). Are u and w nonequal?
True
Let y = 21.56 + 1.14. Let v = y - -84.3. Let a = v + -154. Is a < -1/2?
True
Suppose -61*g + 1807750 = 39*g - 30*g. Which is smaller: 25824 or g?
25824
Let n = 137627/25 + -5505. Is 2/7 equal to n?
False
Let w = -17 + 5. Let u = -853.2 + 638. Let g = -215 - u. Is w at least as big as g?
False
Let r = 5113 + -5114. Does r = -57/359?
False
Let o = 1758 - 835. Suppose -3*l - o = -16*l. Let t = l + -72. Is -4/15 less than t?
False
Suppose -9496 + 54811 = -89*y + 36*y. Is y <= -843?
True
Let o be (0 - -14)/(13*6/(-8619)). Is -1548 at most o?
True
Let x be 14*24/56 + (-52)/7. Which is smaller: x or 0?
x
Let z = 363 + -360. Let s be -55 + (2 - z - 3 - -5). Is s at least -54?
True
Let h = 182.094 + -0.094. Let u = h + -183. Is u equal to 2/35?
False
Suppose -2*t = -p + 3*t + 15, 0 = 2*p + 2*t - 6. Suppose 26 = k - 7*s + 2*s, 3*k + p*s = -22. Which is bigger: 2/337 or k?
k
Let g = -72 - -363/5. Let d be 152/46*8510/(-740). Which is bigger: d or g?
g
Suppose 15 = 5*u - 2*y, 0*u - 3*u = -4*y - 23. Let n be (-4)/7 - (-192)/(-7). Let x = -136/5 - n. Are x and u equal?
False
Let r = -0.5529 + 0.6529. Do -4656 and r have different values?
True
Let l = 0.3 - 0.29. Let q = 179 + -178.9579. Let o = q - 0.0521. Which is greater: l or o?
l
Let j = 5005288/189 - 26483. Let v(s) = -s - 3. Let n be v(-3). Which is greater: j or n?
j
Let f = -128/2055 + -110794/178785. Which is greater: f or -2?
f
Let x = 7654 + -7638. Which is smaller: -97 or x?
-97
Suppose 0 = 3*y - 2*u - 9, 156*y - 10 = 161*y + 5*u. Which is smaller: -1/25 or y?
-1/25
Let v be -79 + 87 + (-887)/61. Which is smaller: v or -6?
v
Let d be 2/(-7) + 414/126. Let j be 6/d + 6*1/2. Suppose -h = -j*a - 41, -8 = h + h. Which is greater: a or -10?
a
Let u(v) be the second derivative of 7/2*v**2 + 0 + 8*v + 1/6*v**3. Let i be u(13). Is 19 greater than or equal to i?
False
Let r(h) be the third derivative of h**5/60 + 7*h**4/24 + 4*h**3/3 - 4*h**2 + 5*h. Let c be r(-7). Suppose 2*i - 4 + 6 = 0. Is c not equal to i?
True
Suppose -26*h = -70*h + 13*h + 115041. Which is bigger: h or 3710?
h
Let k = 0.604 - -287.396. Let x = 294.2 - k. Which is smaller: x or -0.1?
-0.1
Let x = -14.6 + 23. Let i = x - 15.4. Which is smaller: -4 or i?
i
Let u = 1244 + 471. Which is greater: -0.1 or u?
u
Let h(l) = -1 - l**2 + 0*l**2 - 3 + 1 + 4*l. Let s be h(3). Let w be 10/4 + (-4982)/2332. Which is smaller: s or w?
s
Let c(s) = s**2 - 10*s + 24. Let l(t) = -t**3 + 7*t**2 + 2*t + 26. Let u be l(8). Let b = u - -28. Let k be c(b). Is k > 2/43?
False
Let u be (-30)/870*(-2)/86. Is 0 > u?
False
Suppose 7 - 3 = -z, 4*z - 112 = 4*s. Let j = -59 - s. Let p = -553 - -527. Which is greater: p or j?
p
Let q(k) = -14*k - 185. Let l be (-3472)/252 - (24/(-27))/(-4). Let v be q(l). Is 11 at most v?
True
Let k be -5*(-1)/4*2. Suppose 1 = 4*p - x - 43, 0 = 2*p - 5*x - 22. Suppose p*i + 4*i - 45 = 0. Which is smaller: k or i?
k
Suppose -k = -3*c + 5*c - 82, -2*c + 174 = 2*k. Let r = 28 + k. Let s = -3361/28 + r. Is 0 less than s?
False
Suppose -2*h + 1 + 0 = -f, -5 = h + 5*f. Suppose h = -325*g + 336*g + 11. Which is smaller: g or -1/117?
g
Let a = -35.9 + 32.9. Suppose 0 = -p - 12*p. Let i be (-5)/(-2) - (2 + p). Is i smaller than a?
False
Suppose 0 = 3*o + o + j