 -f = -q - d for f.
5
Let g(b) = -b**3 - 17*b**2 + 18*b + 6. Let q be g(-18). Let z(l) = -l**3 + 4*l**2 + 13*l - 4. Let r be z(q). Solve 0*v = -r*c + v - 9, c = 3*v - 12 for c.
-3
Let o = 4 + 12. Let x be (20/12)/((-1)/(-12)). Suppose 12*h + x = o*h. Solve -3*q = -15, s - h*q + 22 = 2*s for s.
-3
Let o be 0/2*(2 - 3). Suppose o = t - 9 + 2. Let k = 9 - t. Solve 3*h = -6, -k*m - 5*h - 4 = 4 for m.
1
Let h be (1 - -18)/(18/6 - 2). Suppose h = -12*v + 79. Solve -v*o = z - 6 - 8, -2*z - 4*o + 16 = 0 for z.
4
Let z(h) = h**3 + 7*h**2 + 9*h - 5. Let w be (1 - 0)/((-3)/15). Let o be z(w). Solve 2 = 2*c - v - 4, -c + 5*v + 21 = o for c.
1
Suppose 6*u = -15*u + 105. Solve -5*x + 10 = -3*q, -u*x = 4*q - 4 - 6 for q.
0
Suppose -5*v - 50 = -10*v. Let m be 2/3*(0 + 24). Let j be -4 + (-45)/9*-2. Solve -t - o + j*o = -v, 3*t - o = m for t.
5
Suppose -71 = -4*t - 15. Suppose 2*m - 5*x = t, -3*x = 4*m + x. Solve 5*g - 20 = -5*c, 0 = -5*g - c + m*c + 20 for g.
4
Let n(p) = -p**3 - 2*p - 9. Let u be n(-2). Solve 0*w + 5*w + 4*o = 20, -5*w + u*o = 15 for w.
0
Suppose -3*k + k = 0. Suppose 0 = -0*b - 4*b + g + 20, k = 4*g. Let p be b/20 + 214/8. Solve -4*j - 2*d = -j + 3, -4*j - p = -5*d for j.
-3
Let o be (25/15)/((-4)/12). Let p be ((-3)/(-12))/((-2)/(80/o)). Solve 0 = -3*u + g - 4, 4*g + 18 = -p for u.
-3
Let h be (-91)/(-49) + 12/84. Solve 5*x - 2*p - 9 = 0, h*p = 3*p + 2 for x.
1
Let o(k) be the third derivative of -k**5/60 + k**4/4 + 17*k**3/6 - 17*k**2. Let g be o(8). Solve 4*w = -i + g - 0, 0 = 2*w + i - 1 for w.
0
Let m = 63 - 55. Suppose m*p - 9*p = 3*i + 11, 5*i = 2*p - 33. Solve 14 = -v + 4*c, -4 = -v - p*c + 6 for v.
-2
Let f(w) be the first derivative of w**3/3 - 6. Let m be f(6). Let n = -32 + m. Solve 3*v - n = 2, -2*v = -5*y - 9 for y.
-1
Let o be (81/6)/3*2. Let c = 12 - o. Let d be (3 + 1 - 3)/(1/5). Solve -4*b = -3*n + 23, 0 = c*n - d*b - 32 + 4 for n.
1
Let v = 80 + -55. Let i be ((-1)/3)/((-2)/30). Suppose 24 = i*f - 16. Solve 0 = 4*k + b - v, -k - 3*b + 28 - f = 0 for k.
5
Let h(c) = -c**3 - 2*c**2 + 3*c - 4. Let k be h(-3). Let r be (k - (-2 + -1))*3. Let v be ((-36)/(-8))/r*-2. Solve 2*x - l - 6 = x, -v*x + 4*l = -22 for x.
2
Suppose -f - 2*f = -18. Let v = f - 6. Suppose -15 + 41 = 5*k + n, 5*k - 5*n - 20 = v. Solve 0 = 5*b - k*i, 2*i = -b - 4*b for b.
0
Let j(x) = -x + 6. Let o be j(-5). Suppose 2*l = -3 + o. Suppose 4*m - 19 = 5*h, 0 = 5*m - 3*m + 5*h - 17. Solve i - 15 = -4*t, -m*t = -l*t + i - 9 for t.
3
Suppose -67*s + 61*s + 18 = 0. Solve 5*c - 35 = z - 6*z, s*z - 19 = -2*c for c.
2
Let u = -764 - -764. Solve -5*n + 10*n - 1 = -4*z, u = 2*n + 6 for z.
4
Suppose 0 = -b - b + 4. Let f be (18*1)/(-3 + b). Let n = 18 + f. Solve 5*u + 5 = -5*q, n*q = -2*q + 4 for u.
-3
Suppose -4*s = 6 - 18. Suppose 0 = -8*c + 7*c + 5. Suppose c*u - 65 = -2*n, 4*u + 0*n - 34 = 2*n. Solve 0 = -s*w - 4*l + 20, -31 = -4*l - u for w.
0
Let w be (-18)/(-4)*(-19 + 21). Suppose w*y = 5*y + 32. Solve 2 = -5*g - 5*r - 23, 4*g + r + y = 0 for g.
-1
Suppose -3*p = -2*g - 5, -3*p - g + 8 = -p. Suppose -5 = -p*t + 1. Solve 0 = -q - b + t, 0 = -3*q + b + 2*b + 6 for q.
2
Let y = 1680 + -1676. Solve -5*j + 20 = f, -3*f - 2*f + y = j for j.
4
Let h(n) = -n**2 - 8*n - 7. Suppose a + 4*v + 18 + 9 = 0, -24 = 2*a + 2*v. Let g be h(a). Solve g*t - 3*t + 6 = 2*q, 4*t = -3*q + 8 for q.
0
Let x = -259 + 279. Solve 2*j + 3*k - x = 6*j, -j + 4*k = 18 for j.
-2
Let j = 55 - 25. Suppose -j = 5*p - 3*p. Let i be ((-6)/15)/(3/p). Solve 2 = 4*n + i*m, m - 2 = -5*n - m for n.
0
Let x = 1536 - 1534. Solve -x*m + c = -0 - 1, -5*m - c - 1 = 0 for m.
0
Suppose 13 - 3 = 5*s. Let i be 2*(s - (4 + -1)). Let j = 2 - i. Solve -2*r + 20 = -j*t, -5*r + 10 = 2*t - 4*t for t.
-5
Let a(i) = i**3 + 3*i**2 + 4. Let g be a(-3). Suppose -2*l - g*f = -l - 4, 4*f = -3*l + 20. Let v = l + -3. Solve 2*k + 2*u + 9 = k, -v*k + 5*u = 15 for k.
-5
Let a(i) = i**3 - 5*i - 2. Let k be a(-2). Solve -5*r + 5 = 6*w - 2*w, k = -2*w - 2*r + 2 for w.
0
Let j(q) = q**3 - 4*q**2 + 7*q - 5. Let l be j(3). Suppose 0 = -l*t + 2*t + 15. Solve g + 0 - 1 = -2*r, g + t*r - 3 = 0 for g.
-3
Let r(b) = -b**3 + 5*b**2 - 2*b + 3. Let g be r(4). Let t = g + -1. Let f be 15 - 15/(-5 + 10). Solve x + f = 5*a, 3*x = -2*x - t for a.
2
Let m be (((-10)/4)/(-5))/(1/10). Suppose 22 = -0*c - c - m*d, 5*c - 2*d = 25. Solve 2*z + 2*h + 15 = -h, c*h = z - 15 for z.
0
Suppose 0 = 18*c - 28 - 8. Let u = -155 - -160. Solve 0*n + 2*d - 1 = -n, 3 = c*n + u*d for n.
-1
Let u(l) = -16*l - 47. Let n be u(-3). Solve -4*b = z - 3*b - n, 5*z + 2*b - 2 = 0 for z.
0
Suppose 12 = -8*c + 10*c. Let w be ((-3)/c)/(5/(-50)). Solve -4*l + i - 6 = w, -3*i = -l - 11 for l.
-2
Suppose 8*w = 12*w + 5*u - 16, 0 = 4*u. Solve -3*a = -3*p - 12, 0 = 3*p - w*p for a.
4
Suppose 4*t + 2*b = 56, t - 3*t + 3*b = -12. Suppose -5*n + 30 = 4*f, f + n - t = 2*n. Let r = -8 + f. Solve -g = 5*p + 8, -3*g + r*p - 10 = g for g.
-3
Let g = 26 - -8. Let c = g + -30. Solve 0 = c*k - 4*a + 8, -a + 6 = -5*k - 0*a for k.
-1
Suppose 3*d + 8 = 26. Suppose -7*i + 29 = -d. Solve 3*s - 3*q + 9 = 0, i*s + 2*q - 6 = -0*q for s.
0
Suppose 4*b - 148 - 60 = 0. Let d = -48 + b. Solve -4*m = -8, 6*m - d*m = 3*v + 4 for v.
0
Let t be (-305)/(-15) - (8/6 - 1). Suppose 0 = 3*g - t + 8. Solve 2*q + 1 = 3*f + g*q, -2*f + 3 = -q for f.
1
Let h be (-1)/((-1)/(-2) + -1). Let b = 1 + h. Let r(o) = 13*o - 65. Let l be r(5). Solve 3*q + b = 4*y, -2*y - 1 = q - l for y.
0
Let i(k) = 5 + 3*k + 0*k - 3*k - 5*k + k**2. Let o be i(4). Let g = o - -14. Solve -3*l - 4*b - g + 4 = 0, -5*l + 4*b = 29 for l.
-5
Suppose 23*z - 92 - 92 = 0. Solve o = 5*n - 21, o + 4 - z = 0 for n.
5
Let x(v) = -2*v - 5. Let z be x(-5). Suppose 8 = -z*w + 33. Let m(a) = a**3 + 19*a**2 + a + 27. Let n be m(-19). Solve -w = -5*h, -26 = -5*q + 2*h - n for q.
4
Suppose -3*n - 3*u = -21, 7*u - 2*u = 5*n + 5. Solve -2 = -3*a + q - 4, 5*q + 14 = n*a for a.
-2
Let g = 22 + -19. Suppose 0 = -6*y + 7*y - g. Solve -5*r = 5*q - 15, -5*r + q - y*q = 0 for r.
-2
Let r(h) = 2*h**3 - 3*h**2 - 8*h + 7. Suppose -3*q + 21 = 4*q. Let m be r(q). Solve d + d - 10 = 0, d = -5*v - m for v.
-3
Let s be (-5 - -12) + -2 - 0. Solve 3*c = 3*w + 21, 0*w - s*c = 3*w + 5 for w.
-5
Let v = -697 + 697. Let s(x) = -x - 2. Let q be s(3). Let y = 10 + q. Solve v = -y*r + l - 3, 2*r + 0 = 2*l + 2 for r.
-1
Let t = -3 - -6. Let a = -55 - -59. Suppose m = 5*m. Solve -a*i = 5*w + 8 - t, -i - w - 2 = m for i.
-5
Suppose b + 136 = -3*b. Let t = b + 97. Suppose 4*q - t + 11 = 0. Solve 5*u + 3 = q, -3 = -f - u for f.
1
Let n(a) = -117*a + 4 + 60*a + a**2 + 58*a. Let r be n(0). Solve 0*i - 3*i = 2*l + 17, r*i = 5*l + 8 for l.
-4
Suppose 0 = 18*p - 177 - 39. Solve -4*z + p*g - 13 = 7*g, 4*z - 4*g = -8 for z.
3
Let j(d) = 4*d**2 + 9*d + 5. Let o be j(-2). Suppose 11*y - o*a = 6*y - 5, 4*y = -5*a + 33. Solve -y*f + c = 6, -5*f + 7*f + 2*c = -12 for f.
-4
Let a be (-28)/16*(-7 + 12/4). Solve 3*v = -2*u - 2*v - 4, 5*u = -4*v + a for u.
3
Let q = 95 - -30. Let j = q + -122. Solve -2*c + j*b = -b + 8, 2*b - 24 = -4*c for c.
4
Let i be -1 - -1 - (-13 - -9). Solve -i*g + 18 = -3*c, -3*c + g = -4*c + 1 for c.
-2
Let c be 76/18 + (-4)/18. Let u be 10/(-25) - 2/(-5). Suppose -5*y = -25 + 5. Solve c*z - p + y = u, -z + p + 2*p + 10 = 0 for z.
-2
Let s(x) = 2*x**3 - x**3 + 18*x + 0*x**3 + 2 - 7*x**2 - 2*x**3. Let w be s(-9). Solve 5*c - 3*c - w*i = -6, 0 = -c - 2*i - 9 for c.
-5
Let m(g) = -g**3 + 2*g + 2. Let t be m(-2). Solve 0 = -4*c + r + t, -5*c + 3*r + 11 = -0*r for c.
1
Let q(h) = -2*h + 21. Suppose 2*j = 3*l - 38, j + 24 + 20 = 4*l. Suppose -l = -5*o + 35. Let b be q(o). Solve 14 = -5*f - 3*w, 3*f + b*w + 5 = -1 for f.
-4
Suppose -15*g + 84 = -8*g. Suppose -5*i + g = -i. Solve -i*y = -u + 20, 4*u + 3 = -5*y - 2 for u.
5
Let p = 162 + -158. Solve -4*g = -t - 10, -p*t - 3*g = 5 - 3 for t.
-2
Suppose -6*x - 82 = 8. Let c = x - -20. Solve -s + 5 = 0, -5*k - 33 - 12 = -c*s for k.
-4
Let a(d) = -39*d + 323. Let t be a(8). Suppose 0*w - 5*w + 20 = 0, 2*p - 3*w + 4 = 0. Solve -q + 13 = -p*o, -2*q + 5*q - t = -2*o for q.
5
Suppose 6*a - 11*a - 25 = 0. Let r be (-3 + 3)*(a + 4). Solve r = j + p, 4 = -4*j - 2*p - p for j.
-4
Let m(o) = -o**3 - 12*o**2 + 14*o + 18. Let d be m(-13). Solve -3*r - 2*s 