 f(z) = -16*z + 93. Let y(w) = 11*w - 62. Let n(c) = -5*f(c) - 7*y(c). Let v be n(15). Which is smaller: -1/3 or v?
-1/3
Let q(k) = k**3 - 4*k**2 - 40*k - 7. Let r be q(-4). Let f be 0 - (5/r)/1. Which is greater: f or -0.023?
-0.023
Let m(n) = 13*n - 36. Let d be m(3). Let b(w) = -3*w**3 - 11*w + w**d + 210*w**2 - 217*w**2 - 5. Let z be b(-4). Is z less than 56?
True
Suppose -18*t + 45*t - 2499 = -22*t. Suppose -125 - 160 = -3*w. Let b = w + -44. Is b smaller than t?
False
Let o(x) be the second derivative of -13*x**3/6 - 321*x**2/2 + 12*x + 3. Let v be o(-16). Which is smaller: v or -110?
v
Let q = -0.16 - -0.26. Let p = 8598/7 + -1224. Are q and p equal?
False
Let f = 28244.043 + -28244. Which is smaller: -2 or f?
-2
Let u(o) = 48*o + 194. Let n be u(-4). Suppose -n*q - l = 2, 3*q + 5*l + 7 = -3. Which is bigger: q or -3/253?
q
Suppose -h + 396 = -4*o - 0*h, 0 = 4*o + 2*h + 408. Let y = -98 - o. Suppose 0 = 2*f - 0*f + 2*i - 22, -5*f - y*i + 55 = 0. Is 13 smaller than f?
False
Let b = 280245 + -32788448/117. Let s be 3 - -2 - 2272/720. Let g = b - s. Does -1 = g?
False
Suppose 17*r + 33*r - 1080 = 10*r. Are -289 and r unequal?
True
Let h = 971.96 + -950. Let t = -13 + 35. Let s = t - h. Does s = -3?
False
Suppose 6 = 53*z - 51*z. Suppose z*b = -4*f - 133 + 1614, 4*b = 12. Is f greater than or equal to 367?
True
Let i = -14768 - -14761. Is i smaller than -7/132?
True
Suppose -4*i + 2*y + 232 = 0, 3*i + 2*y - 19 = 176. Let b(j) = -30*j - 1. Let f be b(-2). Suppose -i = -u - f. Is -11 smaller than u?
True
Let x = 5 - 5.1. Let z = 0.3 + x. Let t be (-14 - (-2 + -7)) + (-138)/(-42). Which is bigger: t or z?
z
Let s be (492/5)/((-20)/(-150)). Let g = s - 2216/3. Which is smaller: -175 or g?
-175
Let h = 7 - 7.5. Suppose -f + 145 = -5*l, -26 = 3*l - f + 59. Let v be 1/4 - l/56*-1. Which is bigger: h or v?
v
Let l be 4493/(-1204) + ((-48)/(-3))/4. Let v = l - -3/172. Let w = -359/20746 + -2/451. Is v less than w?
False
Let d be 1*(3 + -6)*257/(-3). Let m = -331 + d. Which is smaller: m or -73?
m
Let q(y) = -286*y**2 - 70*y + 464. Let h be q(6). Which is bigger: h or -10253?
h
Let q(r) = -7*r**2 - 6*r**2 - 3*r**2 - 74 + r**3 - 16*r + 57. Let d be q(17). Which is smaller: d or 4/83?
d
Let l(t) = -t**2 - 16*t - 25. Let v be l(-16). Let z = v + 57. Let m = 33 - z. Which is smaller: -3/4 or m?
-3/4
Let k be ((-32)/1481952)/(6/(-36)). Is -1 at most k?
True
Let d(x) = 4*x**2 - x - 1. Let i be d(1). Suppose -2*b - i*p - 52 = 0, 3*b - 4*p = 4*b + 41. Let m be 3/(54/b - -3). Is m > 7?
False
Let z = -370 + 64. Let d = z + 195839/640. Which is greater: 0 or d?
0
Let f = 4789 + -4789. Is f < -1/37?
False
Suppose -2*n + 2*v = -82, -2*v - v + 197 = 5*n. Suppose -10*w + n = -14*w. Is -1/4 less than or equal to w?
False
Let v(k) = 7*k**2 + 418*k + 1466. Let a be v(-56). Let z = 2 - 3. Let p = z + 12. Which is greater: p or a?
p
Let w = -719/308 - 40727/29260. Are w and -3 non-equal?
True
Let t be (-12)/(-42) - (372/(-21) + 3). Suppose k = -h - t, -5*k - 5*h - 53 = -2*k. Let d = 78 - 88. Are k and d equal?
False
Let g be (24/2 + -2)*(-1)/2. Let h = -5501 + 5551. Which is greater: g or h?
h
Let c = 2135209/367 - 5818. Let r = -19099/1835 + c. Suppose 4*t - 5*z = -34, -2*z + z - 2 = 0. Is t >= r?
False
Let n = 28.06 - 28.06. Let l(k) = -9*k**2 - 3*k + 7. Let x be l(-5). Is x greater than n?
False
Suppose 3746 = 40*h + 1739 - 3953. Which is bigger: 55 or h?
h
Let a = 250059 + -250064. Let f(r) = -r**2 + 6*r - 1. Let d be f(5). Suppose 0 = d*k - 4*b + 20, -7 - 3 = -5*b. Do a and k have the same value?
False
Let t = 642 - 383. Suppose -17138 = -74*p + 2102. Which is smaller: t or p?
t
Let r(x) = x**2 - 11*x - 24. Let g = -14 - -8. Let t(c) = -8*c - 35. Let i be t(g). Let f be r(i). Which is smaller: 5 or f?
f
Let z(u) = 11*u**3 + 6*u**2 - 871*u + 3469. Let w be z(4). Which is bigger: 779 or w?
w
Suppose -180 = 3*o - 2*s, 0 = -5*o - 5*s - 0*s - 300. Let c be 62/(-14) - o/(-105). Are c and -3/38 equal?
False
Let r be 10 + 0/10 - (-87626)/(-8767). Is r less than or equal to 1?
True
Let o = 546.0983 + -0.0983. Let m = -504 + o. Let l = 3 - 2.9. Which is bigger: m or l?
m
Let o(b) = -73*b - 1094. Let d be o(-15). Which is smaller: -13/126 or d?
-13/126
Let f = 143172 + -885518818/6185. Which is greater: f or 0?
f
Let j(u) = u**3 + 28*u**2 + 46*u - 2. Let s be j(-26). Suppose 2*p - 170 = -s. Which is smaller: 69/8 or p?
p
Let z(t) = 8*t**3 - 11*t**2 + 10*t - 26. Let b be z(6). Is 1362 > b?
False
Let s(n) = -n - 7. Let d be s(-11). Suppose -56 = -0*j - d*j. Let m(t) = 2*t**2 - 10*t + 25. Let l be m(3). Is l > j?
False
Let x be 0 - -2 - -16 - 0. Let w be ((-3)/x*-2)/(3/27). Suppose w*p - 5*z + 8 = -3*z, -3*p - 9 = -3*z. Which is smaller: p or 2?
p
Suppose -52 = -10*t + 8*t. Let b be 4*(4/t + (-11)/(-13)). Let i be (-24)/32*(b - 2). Is i greater than -3?
True
Let k(w) = -3*w**2 + w + 1. Let s be k(-1). Suppose 14*d = 17*d - 27. Let h be (-36)/d - (-2 - (-2)/6). Which is greater: h or s?
h
Let g(z) = -4 + 17 - 2*z + 1 + 0*z. Let u be g(8). Let j = -195 - -208. Which is smaller: u or j?
u
Suppose 3*q - 3 + 18 = -3*c, -5*q + 2*c - 39 = 0. Let r be 0 - 1/(q/(-21)). Is -48/13 != r?
True
Suppose 98*x + 548321 = -102*x - 447879. Are x and -4981 non-equal?
False
Suppose -6*b - 19 = 23. Let k be (0 - -1)*(b + 6). Which is smaller: -7/10 or k?
k
Let q = 981 + -967. Let o(l) = l**3 - 5*l**2 - l - 6. Let a be o(6). Let k = q + a. Do k and 39 have the same value?
False
Let a = -106.62 + -2.38. Let d = a - -84. Suppose 2*f + 7 = j + 16, 0 = -j - 4*f + 21. Is j less than d?
False
Let q(a) = a**3 - 8*a**2 - a + 13. Let p be q(8). Suppose -2*z + 528 = p*m - 3*m, -2*z = 3*m - 531. Suppose -12*y + 3*y = z. Which is greater: y or -28?
-28
Suppose -5*s = -2*x + 9, -92*x - 3 = 5*s - 96*x. Which is greater: -0.0224 or s?
-0.0224
Let a = -65.6 - -355.6. Let d = a - 287.88. Is d < -2/5?
False
Let z be ((-2445)/71720)/((-7)/(-36)). Is 0 at least z?
True
Let n = 26.433 + -25.833. Is n smaller than -68/31?
False
Let p = -19585 + 19584. Which is smaller: -6/769 or p?
p
Let n = -23969 + 54169939/2260. Is n >= -1?
True
Let o = 1856 - 1408. Are 0 and o unequal?
True
Let k(d) = 24*d - 2784. Let r be k(116). Suppose 3*m - 475 = -2*m. Let t be 6/(-30) - (-24)/m. Which is bigger: t or r?
t
Suppose 16*z - 172 = -315 - 113. Let r = 603 - 1859/3. Which is greater: r or z?
z
Let h be 0 + 4/(-38) + (-3248)/551. Are h and -22 equal?
False
Suppose 9*u + 730 = 2368. Which is bigger: 914/5 or u?
914/5
Let k(d) = -d**3 - 5*d**2 + d + 6. Let x be k(-5). Let s be (-7)/(x*(-2)/10). Let c(g) = g**3 - 45*g**2 + 49*g - 186. Let n be c(44). Which is smaller: s or n?
n
Let d be 19650/1179*(-1812)/2. Is -15098 greater than or equal to d?
True
Let q(x) = -37*x**2 - 4*x - 3. Let z be q(-3). Let i = -10751/4 - -3014. Let g = z + i. Which is smaller: 3 or g?
g
Let i = -5018 - -4967. Is -53 >= i?
False
Let d = 96.5 + -100.79. Let r = -2.29 - d. Which is smaller: r or 306?
r
Suppose -h - 463*v + 466*v = 154, v = 2*h + 318. Which is smaller: h or 0.011?
h
Suppose -2*m + 4 = 4*l + 2, -5*m = 3*l - 12. Let k(v) = -10*v**2 + 7*v - 6. Let x be k(m). Which is greater: -76 or x?
x
Let o = -71 + 75. Suppose 0 = 2*i - o*i - 0*i. Suppose i = -7*a + a - 5*a. Which is greater: 2/35 or a?
2/35
Let z = -4 + 3. Let r be 24/5*z/(-2). Let v be 3 - ((-3)/(-12))/(1/(-7 - -11)). Which is smaller: r or v?
v
Let j = 73 - 71. Suppose 3*w = -2*q + 2 + 4, 0 = j*q. Suppose -6*f + 4*f = -b + 103, -b - 93 = w*f. Is f not equal to -50?
True
Let w = 374.95 - 376. Let f = 7.65 + w. Which is bigger: f or 0.1?
f
Suppose 0*r - 1839 = 3*r. Let w be ((6130/(-20))/(-1))/((-6)/12). Is r bigger than w?
False
Suppose 5*z = 4*g + 231, 4*g - 417 = -6*z - 131. Let u be 34/10 + (-4)/10. Suppose -5*x - f = -230, 0 = -u*x - 4*f + 48 + 90. Which is smaller: x or z?
x
Let u be (-3)/((-3)/(-2)) + (-2562 + 14)/(-14). Which is smaller: 181 or u?
u
Let c = 16 + 26. Suppose -4*n = -4*y - 9*n - 50, n = -4*y - c. Let f be 1755/(-150) - 30/(-25). Which is smaller: f or y?
f
Let f be (32/304)/((-4)/38). Let k = 1 + -2. Let z be (2 + (-74)/34)/k. Which is greater: z or f?
z
Suppose 0 = -6*q + 19*q + 17*q + 11610. Which is smaller: 0.3 or q?
q
Let a = 3497/2760 - 37/552. Which is smaller: a or