et b be 22/176 - ((-31)/8 + 1). Suppose -95 = -5*v - 3*l, 5*v = b*l - 35 + 100. Is 116/7 at most v?
False
Let g(d) = -1759*d**2 + 15*d + 15. Let l be g(-1). Is l < -1?
True
Suppose 6*p + 14 - 31 + 71 = 0. Let z = 26 - 17. Is z > p?
True
Suppose 15*x - 20*x + 13 = -3*d, -20 = 5*x. Which is smaller: -151/15 or d?
d
Let l = -443/6466 - -9/106. Let u = l + 359/427. Let n = 4 - 2. Which is bigger: n or u?
n
Let u = -1.8793 + 1.8593. Suppose -5*o = 3*k - 108, 5*k = 5*o + 2*k - 102. Which is greater: u or o?
o
Let p be 575/(-207) - 2/9. Let h be (-528)/(-4) - (7 + p)/(-1). Suppose 0 = -4*t + 5*m + h, 2*t - 4*t + 58 = -5*m. Are 37 and t non-equal?
True
Let y = -2 - -1. Let w be 2*((-7)/6 - y). Suppose 0 = -41*m + 597 - 556. Is m smaller than w?
False
Let a(r) = -48*r**3 + 47*r**2 - 239*r + 4. Let f be a(6). Which is bigger: -10104 or f?
-10104
Suppose 0 = 7*o - 9*o + 1748. Is 873 at least as big as o?
False
Let c(d) be the second derivative of d**4/2 + d**3/6 - 7*d**2/2 + 177*d. Let w be c(0). Which is bigger: 3 or w?
3
Let l = 10.4 - 68.4. Let q = -58.53 - l. Let i = -39.53 - q. Is i at least as big as -0.1?
False
Let r = 101/31 - 8261/2821. Is r > 0?
True
Let t be 34215/(-75) + -19 + ((-36)/(-15))/(-4). Which is bigger: -2/3 or t?
-2/3
Suppose 0 = -5*l + 3*o + 1443, 2*o + 954 = 3*l + 89. Suppose -l = 9*m - 1299. Suppose 2*y + 115 = 5*b, -m = -2*y + 4*y - 2*b. Is y at least 2/5?
False
Let t = 17 - 17.0586. Let r = t - 0.0414. Suppose 2*s - g = -2 + 11, -2*g - 4 = 3*s. Which is smaller: r or s?
r
Let g(v) = 9*v + 112. Let t be g(-11). Suppose -5*u - 6 = -2*a + t, 4*a - 8 = 0. Is u at most as big as -0.04?
True
Suppose -2616*w - 4720 = -2656*w. Which is greater: 82 or w?
w
Let d(u) be the first derivative of -u**2 - 29*u - 40. Let n be d(-7). Is -16 <= n?
True
Let o be (296 - 5)*26/182. Which is smaller: 43 or o?
o
Let w = 23 - 50. Let x = w - -58. Which is smaller: x or 0.1?
0.1
Let g be 18 - (15252 + 19 - 24). Which is greater: -15228 or g?
-15228
Let z(d) = 4*d**3 + 26*d**2 - 18*d + 31. Let t(n) = n**3 + n - 2. Let b(w) = -5*t(w) + z(w). Let a be b(25). Are 90 and a non-equal?
True
Let s = 2449 - 2457. Let v be (-3)/1 + (-28)/4. Is s at least as big as v?
True
Let l = 401 + -293. Let h = 107 - l. Which is smaller: 1/4 or h?
h
Let v be -6 + (-4 + -1)/((-20)/28). Which is bigger: 13/203 or v?
v
Suppose -14*y = 362 - 1832. Let x = -105 + y. Which is greater: -0.239 or x?
x
Suppose -13*o + 45 = 6. Suppose -5*h + 5*j = 270, 0*j - 128 = 2*h + o*j. Which is smaller: h or -113/2?
h
Let d = 408 - 416. Let k = 8 + -16. Let g be k + 4 + (-2)/(-2). Which is smaller: g or d?
d
Suppose -3*v - 2570 = -4*d, 2*d - 725 - 557 = 2*v. Is d >= 651?
False
Suppose 2*h = -5 - 1, -735 = -4*o + h. Suppose 3*m - 141 = 405. Which is bigger: o or m?
o
Suppose -2*f + 19 + 17 = 0. Suppose -3*n + 0*n = f. Let k be (-9)/n - (-1 - -3). Is -14 at least k?
False
Let y = -19.99 - -19.99. Which is smaller: 3371 or y?
y
Let v be ((-16)/600)/((-8)/(-40)*15/(-9)). Which is bigger: v or 2/3?
2/3
Let j = 11 + -11.31. Let m = j + 0.3. Let u = 9015.2 - 9014.8. Which is greater: u or m?
u
Let u(i) = 2*i**3 + 51*i**2 - 7*i + 66. Let n be u(-27). Which is smaller: n or 0?
n
Let n(c) = 3*c**2 + 2*c. Suppose -2 - 4 = 3*y. Let l be n(y). Let s = -21 + 26. Which is greater: l or s?
l
Let y be (-4424)/10*45/18. Let x = y + 5531/5. Let c = -1 + 0.6. Is x bigger than c?
True
Let w = -109.6 - -181.6. Let x(m) = -3*m**2 + 5*m + 1. Let n be x(4). Let i be (-1 + n/(-21))*1. Is i > w?
False
Suppose -s = -2*d + 658, -77*s = -3*d - 75*s + 990. Which is smaller: 327 or d?
d
Let z = -148 - 487. Let j = z + 648.4. Which is smaller: 0.1 or j?
0.1
Let l(j) = j**3 + 3*j**2 - 62*j - 43. Let m be l(7). Let h(r) = -r**2 + r + 7. Let k be h(5). Let o = k + m. Do 2/179 and o have the same value?
False
Let f = 9017 - 9012. Is -304 > f?
False
Suppose l = 3*q - 239, 5*l - 5*q + 1489 = 294. Which is smaller: -1439/6 or l?
-1439/6
Let h be (-3)/(5 + -4) + 84/(-2). Let p be 1*5*(-3)/(h/(-12)). Let z be (p - -22)*(5 - 2). Which is smaller: z or 55?
z
Let r(o) = o**3 - 22*o + 4. Let f be r(5). Suppose 19*z - 2964 = -f*z. Is z at least as big as 78?
True
Let v = 0.13 - 0.13. Let c = -77 + -87. Let o = -142 - c. Is o bigger than v?
True
Let s be ((-155232)/12)/28 - (-8 + 1). Is -453 equal to s?
False
Let u = 0.08 + -0.14. Let v = 77 + -76. Let p be (-20)/(-25)*v/4. Which is smaller: p or u?
u
Suppose -3*w + 85 = -20. Let r = w + -5. Is r greater than 27?
True
Let k be ((-22256)/(-4456) + (-5 - 0))*1. Is k < 0?
True
Let p(o) = 4*o**2 - 412*o - 391. Let y be p(104). Which is bigger: y or 44?
44
Let q(f) = -2*f**2 + 40*f + 277. Let b be q(-6). Do -22 and b have the same value?
False
Let q be (21040/4880)/((-2)/(-294)). Let u = 634 - q. Is -1 at most u?
True
Let s be (-1734)/(-9)*60/140. Is 82 bigger than s?
False
Let k be ((-16)/(-28))/((-4)/(-42)). Suppose -k*s + 183 = 9. Which is smaller: 32 or s?
s
Let f = 249/110 + -63783/27995. Which is smaller: 0 or f?
f
Suppose 0 = -3*h + 25*t - 21*t, 0 = -2*h - t - 22. Suppose 5*f = -3*u + 25, u = -f + 4*f - 1. Suppose -f*o = 12 + 4. Is o at least h?
True
Let p be 80*(19/5 + (-5 - -2)). Suppose -2052 = -7*m + p*m. Let a = 42 + -77. Is m smaller than a?
True
Let j = 3 + -4. Let f = j + -1. Let q = -26645 + 53289/2. Is f > q?
False
Let i(w) = -w**3 - 14*w**2 - 6*w + 214. Let q be i(-11). Which is bigger: -665/8 or q?
q
Let u be (2 - (7 + -5)) + (-1)/(-1). Let j be (2 - 1)*(45/2890)/(-9). Which is smaller: j or u?
j
Let v = 457 - 1278. Let h = v - -821. Is -2/13 greater than h?
False
Suppose -6*k = 105 - 129. Suppose -3*r + 12 = 4*g, -k*r - 6 = -6*r - 2*g. Which is smaller: r or -35/24?
-35/24
Let f = 11.014 + -0.014. Let c = 2.057 + -12.057. Which is smaller: c or f?
c
Let o = -32.311 - -11.311. Which is greater: o or 5?
5
Let d(a) = a**2 + 4*a - 3. Let w be d(-5). Suppose 3*i = 4*k + 187, -w*i - 3*i + 68 = -k. Let u = k - -34. Which is smaller: u or 0?
u
Suppose -29*m + 31*m = -2*x - 1032, -3*m + 5*x = 1572. Which is bigger: -0.6 or m?
-0.6
Let t be (-2286)/30 + 12 + 14. Is t equal to -3?
False
Let h be (-2)/9 + 1206/7614. Let o = h + -35/188. Which is greater: 116 or o?
116
Let u = -246 - -268. Suppose r = -8*i + 11*i - u, -r = 5*i - 10. Is r bigger than -13?
True
Let d = -70051/143321 + 124/251. Is 1 > d?
True
Let j = 18641 + -18649. Let n(f) be the second derivative of f**5/20 + f**4/2 - 8*f**3/3 - f. Let b be n(j). Which is smaller: 2/3 or b?
b
Let p = 22 + -7. Suppose 5*u + 0*u = -p*u. Which is bigger: 2/47 or u?
2/47
Let f = 7630 + -7573. Let u(y) = -y + 43. Let o be u(-13). Which is greater: o or f?
f
Let t be (-19 - (-32 - -23))*(-1)/3814. Is 1 greater than t?
True
Suppose 5*n - 220 + 215 = 0. Is n smaller than -8234?
False
Let q = -93 - -65. Let o be (-26 - q)*(3/2 + -1). Let m = -3/1187 + -2107/105643. Is m at least as big as o?
False
Let p(n) = -16 - 463*n + 468*n - n**2 + 4. Let c be p(2). Let m be 4*9/((-18)/c). Are m and 10 non-equal?
True
Let x = 110/79 - 6251/2844. Is -2 bigger than x?
False
Let j(m) = m**3 + 2*m**2 - 1. Let k be j(1). Suppose k*r + 6 - 4 = 0. Let t be (-5)/20 + (-3)/(-60)*-1. Which is bigger: t or r?
t
Let l be -13 - ((-48)/8 - 6). Is l less than -2/6089?
True
Let w be ((-147)/(-6)*8)/(-46 - (8 + -9)). Which is smaller: w or -4?
w
Let l = 360.382 + -360. Let n = 0.182 - l. Is -31 >= n?
False
Let c be ((1 - 1) + -1)/(5/(-75)). Suppose -2*d + c = n, 4*d - 3*n - 1 = 4. Suppose 3*v - v = 4*a + 2, -d*v + 3*a - 2 = 0. Is v <= 0?
True
Suppose -6*o + 4*o = -16. Suppose 3*r = o*r + 15. Let p be 142*r/(-216) + -2. Which is smaller: 0 or p?
p
Suppose -3*b = 3*j - 15, 0*j - 4*j + b + 15 = 0. Suppose 2*z + 3*z = m - 19, -j = -m + 2*z. Let r be 147/(-28) - -5 - m/(-8). Is -1/7 < r?
False
Let y(b) = -284*b**2 - 197*b - 4. Let o be y(-3). Are -1965 and o equal?
False
Let i be (-62)/36 + (-18)/(-81) + -173. Let m = -174 - i. Which is smaller: m or 153?
m
Suppose 0 = -41*q + 117*q - 114380. Which is smaller: 1507 or q?
q
Let n = -0.00146 - -1.00146. Is 210 less than n?
False
Suppose 3*s = 5*a + 227, -132*s = -133*s + 2*a + 75. Is s less than or equal to 79?
True
Suppose 2*k + 1 = -3*d, -5*d + 4*k = 9*k. Let t = -1509/8 - -188. Which is smaller: t or d?
d
Let u = -17 - -1160