= -g - 2, u = -g - 2*n + 3*n for g.
-2
Suppose 3*d = -0*d + 12. Let i be (-2)/(-4)*-1*24/(-4). Solve 3*p + s = -3*s + 4, 4*p + i*s + d = 0 for p.
-4
Let f = 4 - 7. Let o(i) = i**3 + 4*i**2 + 3*i + 2. Let v be o(f). Solve 2*y - 5*y + 2 = v*b, b = -y for b.
-2
Let d(h) = h**3 - h**2 + h - 4. Let p be d(2). Solve 2*b = 3*i + p, -5*b - 8 = -b for i.
-2
Let q = -64 - -27. Let j = -61 - q. Let v be (-6)/(-4)*j/(-9). Solve 3*o + 3*x = 5*o - 1, -v*o - 5*x + 35 = 0 for o.
5
Suppose -3*m + 1 = 2*m + 3*b, 8 = -2*m - 4*b. Solve -3*q + 2*s - 5 = 0, q + 4*s - 1 = m*s for q.
-1
Let y(r) = -r**3 - 9*r**2 + 18*r - 1. Let a be y(-11). Suppose -f = 28 - a. Let b = 4 + 0. Solve 3*v + b*j + f + 5 = 0, -2*v + 10 = -2*j for v.
0
Let q = 88 - 82. Solve 0 = 3*c, 2*c - q = 2*n + n for n.
-2
Suppose 2*l - 2*y - 14 = 0, -14 = -3*l - 3*y - 11. Solve 0*z = 2*k - 2*z + 14, -l*k + 3*z = 25 for k.
-4
Let o(r) = r**3 - 19*r**2 + 17*r + 23. Let a be o(18). Suppose -12 - 148 = -a*g. Let n be (-1)/(-4) + (-8)/g. Solve 5*l + v + 0*v - 22 = n, l + 3*v = 10 for l.
4
Let u = -403 + 403. Solve 4*p + 37 = 5*d, u = -3*d - 0*p - 3*p + 6 for d.
5
Let b be (0 + 2 + 24/(-16))*6. Solve -b*f - 3*c + 15 = 0, 2*c + 2*c - 17 = -3*f for f.
3
Let s be (225/(-600))/(((-1)/1)/8). Solve -v + 2 = 2*f, 0*f + s*f = 0 for v.
2
Let u be 51/85 + (-138)/5. Let d = 32 + u. Suppose 2*c + 5*s = 1, -d*c + 0*s = -2*s - 17. Solve i + j - 5 = 0, -c*i + 5 = 4*j - 10 for i.
5
Let l be 13/4 + (-4)/16. Suppose y - 2 = l*c + 9, -4*c - 8 = 0. Solve i - 5*i = -y*b - 2, 4 = 2*b - 4*i for b.
-2
Suppose 4*c = -4*t + 36, 3*c - 3*t = -116 + 137. Solve -3*r + u = -1 + 3, -4*u = -c for r.
0
Let r(n) = n**3 - 2*n**2 - n + 6. Let p be r(2). Solve 5*o + p*s + 3 = 0, 4*o + 20 = 4*s - 4 for o.
-3
Let r(s) = s**2 - 4. Let f be r(3). Suppose -6*b + 52 = 22. Solve 26 = f*y + b*u - 19, -5*y = 4*u - 40 for y.
4
Let n(y) = -6*y - 50. Let r be n(-9). Solve -4 = q, -r*o + 2*q = -2*q - 24 for o.
2
Let s = -226 - -231. Suppose 16 = 5*i - i. Solve -s = i*t + y, 4*t = -t - 2*y - 4 for t.
-2
Suppose 2*w + 0*w = 5*p + 98, -4*p = -4*w + 172. Let r be (-6)/w - 28/(-13). Solve 3 = d + r*m, 2*d + 5*m = -0*d + 6 for d.
3
Suppose -3*t = 4*o - 120 - 216, -99 = -o + 3*t. Let n = o + -85. Solve 0 = -3*d - 4*i - 18, -4*i - 14 = -d + n*d for d.
-2
Let d be (-3 - -5)*(-6 + (-68)/(-8)). Solve t - 2*x + 4*x - d = 0, 4*t = -4*x + 16 for t.
3
Suppose -39 = -13*u + 117. Solve 0 = -4*j - c + 2*c - 15, u = 4*c for j.
-3
Let f be (12/30)/((-1)/(-15)). Suppose -18 = -3*u - f*u. Solve 0 = 3*x, g + 0*x = -u*x for g.
0
Let y(u) = -u**2 - 3*u - 4. Let x be y(-3). Let a be (10/x)/((-5)/10). Solve 5*c + b + 29 = 4*b, -a*c = 4*b + 8 for c.
-4
Suppose 0 = 2*x + w - 1, -w - w = 2*x - 4. Let s be ((-18)/(-15))/(x/5). Let o(u) = u + 11. Let k be o(s). Solve 4*t = q + 3*q - 4, -k*q - 5*t = 25 for q.
-2
Let v(c) = -c - 3. Let j be v(-4). Suppose -j = 3*r + 2. Let f be -4*r/2 + 1. Solve 3*m + 2*x = 6, -f = 2*m - x - 0 for m.
0
Let i(j) = -j**2 + 5*j + 38. Let s be i(9). Solve 2*p + s = 2*g, 0*g - 5 = 4*p - 3*g for p.
-2
Suppose -21*b = -6*b + 30. Let d be (-8)/(-3 - 1 - b). Solve d*c + 1 = 5*s - 10, s + 1 = 4*c for s.
3
Let y be 41/(-3) - 10/30. Let v = y - -18. Suppose -5*w + 5 = -v*w. Solve 4*m + 4*u - 2*u + 8 = 0, 28 = -2*m + w*u for m.
-4
Suppose 0 = -4*i + n + 15, -5*i + 2*n - 6 = -24. Solve -i*c = -4*f, 3*f + 3*c + 12 = 2*f for f.
-3
Suppose 0 = -2*w + w + 5*w. Solve w = 7*c - 2*c + 3*s + 2, -7 = 4*c - 3*s for c.
-1
Let t(b) = -3*b - 31. Let o be t(-11). Solve 2*f = 10, 5*f - o*f + 10 = 5*u for u.
5
Let t(i) be the third derivative of 1/6*i**3 + 0 + 1/12*i**5 - 1/12*i**4 + 7*i**2 + 0*i. Let r be t(1). Solve -4*o - 14 + 2 = 5*b, 0 = -2*b - r*o for b.
-4
Let w = -25 + 27. Suppose w*q - 71 = 6*q + 3*a, 22 = -q - 5*a. Let y(j) = -j**2 - 16*j + 17. Let u be y(q). Solve -c + 14 = -5*t, -2*t + 2*c - 12 = -u*t for t.
-2
Let v(i) = -3*i - 2. Let y be v(-2). Suppose 0 = w + 138 - 105. Let x = 38 + w. Solve 5*q - 25 = 2*n - 0*n, y*n = x*q - 25 for n.
0
Let c(b) = -b**3 + 25*b**2 + 27*b + 53. Let k be c(26). Let s = 79 - k. Solve s = -5*y - m - 2, 6 = -y - 2*y + m for y.
-1
Let j = 21 + -18. Suppose 10 = 4*a - h - 15, j*a - 5*h - 40 = 0. Solve -2*r - 2*o = 0, 4*o = a*r - r for r.
0
Suppose 2*k + 2*k = 4*u - 56, 4*u = k + 59. Let q be (2*u/6)/1. Solve -q*j - 2 - 23 = -r, 0 = 5*r + j - 21 for r.
5
Suppose 5*i - 7*i = -178. Let c = i - 68. Solve 3*u - c = u - 5*v, 4*u + 2*v - 2 = 0 for u.
-2
Suppose 0 = -16*o - 0 + 208. Solve -3*v + 7 = 4*q, 5*v + 2*q = o + 8 for v.
5
Let c be -13 - (8/2)/(-4). Let f(x) = -x**3 - 11*x**2 + 11*x - 6. Let z be f(c). Solve -a = 2*a - t - 4, 2*t + z = 4*a for a.
1
Suppose -2*v + 64 = -4*y, 7*y - 2*y - 100 = -5*v. Let a = -18 + v. Suppose -k + 21 = a*k. Solve -3*h + d - 5*d - 3 = 0, -d = k*h + 3 for h.
-1
Suppose -41 = -5*w + 4*v, -4*w + 5*v = -45 + 5. Let j be 0 + 13 + 4/2. Solve j = l + 5*y, -3*l - l + w*y = 40 for l.
-5
Suppose 0 = -v - 3*l + 12, -5*v = -4*l - l - 60. Suppose 8 = -a + v. Solve a*f - 5*b - 11 = f, -5*b = 5 for f.
2
Let r(f) = 10*f**2 - 8*f - 11. Let j(l) = -3*l**2 + 3*l + 4. Let g(x) = -7*j(x) - 2*r(x). Let y be g(6). Solve 0 = h - y*z - z - 2, 4 = 5*h - 3*z for h.
-1
Suppose -29 = -2*g + 5. Suppose 7*w - 6*w = 15. Suppose -9*o + w = -4*o. Solve -g = 5*r - 2*n - 40, -19 = -o*r - 4*n for r.
5
Let k be -9 - (-2 + -2 + 5). Let h be (k/(-3))/(4/6). Solve 5*n = -5*y - 12 - 33, -n = h*y + 29 for y.
-5
Suppose 2*w = w + 7. Suppose -2*p = -1 - w. Solve 2*y + 3*f + p = f, 5*y - 4*f - 35 = 0 for y.
3
Let o(k) = 7*k - 70. Let m be o(10). Solve m = -y - 3, 0 = -2*n + y + 2*y - 1 for n.
-5
Suppose 5*w - 4*h + 5*h - 20 = 0, -20 = -3*w + h. Suppose w*d - 27 = 4*j - 6, -j = -1. Solve 2*o = 3*a + 7*o + d, 0 = 2*a - 2*o + 14 for a.
-5
Suppose -5*y + 47 = -4*r, -5*y + 6 + 9 = 0. Let w be (-4 - r)/(-4) + 2 + 1. Solve 0*z = -z - 3*j - 3, 2*z - w*j + 6 = 0 for z.
-3
Suppose -23*i - c - 14 = -27*i, 3*i = 5*c + 2. Solve -i*t - 2*u + 2 = 0, -4*u - 8 = -3*t + u for t.
1
Let t be 1/((-3)/8*104/(-858)). Solve 0 = 2*m + 4*c - 4, 0*m + 4*m = 2*c - t for m.
-4
Let v(o) = 15*o + 92. Let k be v(-6). Solve -2*c - 3*w = -2*w + 3, 15 = -k*c + 3*w for c.
-3
Let v = 541 - 539. Solve -o + v = -4*t - 14, 0 = 5*t + o + 11 for t.
-3
Let r be 1 - 3/12*4. Suppose -132 = -6*h - r*h. Solve 3*x = -4*k + h, k + x - 3*x = 0 for k.
4
Let g(b) = 94*b + 755. Let o be g(-8). Solve -3*d - d = -o*f + 8, 23 = -3*d - 2*f for d.
-5
Suppose 0 = -2*l + 3*l + 14. Let t(k) = -k**3 + 6*k**2 - 8*k - 20. Let z be t(5). Let o = l - z. Solve 6 = 2*h, -3*m - 4*h + o = -0*h for m.
3
Let z(m) = -2*m**2 - 33*m + 17. Let y be z(-17). Suppose y = n + 7*n. Solve -3*p + 5*j - 29 = -p, n = p - j + 7 for p.
-2
Let v(i) = 2*i**3 + 2 + 2 + 3*i**3 + 13*i - 14*i**2 - 4*i**3. Let l be v(13). Suppose 1 = l*f - 11. Solve 5*r - 5 = 5*y, -4*y - r - 4 = -f*r for y.
-1
Let p = -777 - -784. Solve -p*l + 2*l = 2*z + 19, -z - 7 = 2*l for z.
3
Let p be 2 + -1 - (-1 - -2). Let w = 60 + -36. Suppose -w = -3*j - p*j. Solve f + 3*z - 7 = -2, j = 4*z for f.
-1
Suppose 4*i + 4*z - 137 = -41, z - 44 = -2*i. Let c(t) = 3*t**2 - 3*t - 4*t**2 + i + 17*t. Let d be c(15). Solve -3*s = 12, -d*r - 2*s + 21 = -s for r.
5
Let u be (-36)/(-10)*(-1 - 4). Suppose -2*n + 3*b - 140 = -b, 5*n = 4*b - 320. Let w be u/(-10) + (-12)/n. Solve 0 = 3*d - 4*z - 6, 0*z = -w*z for d.
2
Let m be (26/3 + -2)/(3/9). Let p be (-4)/(-10) - ((-52)/m - 1). Solve -5 = 2*z + z + 2*n, -p*n = 16 for z.
1
Suppose 6*d - 7*d + 48 = 0. Let y = 53 - d. Solve y*u - 4*w + 1 = -3, 4*u + w + 20 = 0 for u.
-4
Let c(a) be the second derivative of -1/12*a**4 + 4*a**2 - 1/3*a**3 + 3*a + 0. Let i be c(-4). Solve 5*n - 15 = i, -k + 6*n - n = 18 for k.
-3
Let g(r) = -r**2 - 16*r - 61. Let n be g(-9). Solve 0 = 5*w - 10, w - 5 = -n*m + m for m.
3
Suppose -4*n - 2*q + 4*q + 230 = 0, 112 = 2*n + 2*q. Suppose -11 = -z + u - 0*u, 0 = 5*z - 3*u - n. Solve z = -f - 4*d, f - 2*d + 8 = 5*f for f.
4
Let d(y) = -y. Let f be d(-1). Let j(b) = -2*b**3 + 8*b**2 - 11*b + 3. Let i be j(5). Let n = -88 - i. Solve -3*v + 3*a - 7 + f = 0, v = 4*a - n for v.
2
Suppose -l + 81 = 5*a, 0*a + 5*l = -5*a + 85. Solve 5*n = -4*m + a, 4*m - 6*n = -7*n for m.
-1
Suppose 0 = -5*v + 247 - 27. Let t(f) = 2*f**2 - 19