2*t, z*t + n*d = 3*d + 12 for t.
2
Let z = -67 + 67. Solve -c - 3 = -z, 0 = -5*d + 3*c - 1 for d.
-2
Suppose 0 = -6*q + 7*q. Solve 5*w = o - 16, 5*w + q + 12 = -3*o for o.
1
Let m(c) = c**2 + 2*c. Let u = 11 - 6. Let o(b) = b**3 - 4*b**2 - 7*b + 7. Let i be o(u). Let q be m(i). Solve -6 = -5*t - 4*n + 17, 3*n - 15 = -q*t for t.
3
Let s be 23/6 + (-6)/(-36). Solve -4*j - s*a = 8, 2*j - a = 4*j + 3 for j.
-1
Suppose -3*m + 2*o = -8*m - 77, 0 = m - o + 14. Let x = -10 - m. Solve 3*y = x*y - 3*s + 1, -5*y + 3*s - 16 = 0 for y.
-5
Let m be (2/3*-19)/((-2)/3). Solve -5*n = -4*f - 31, 0*f + 5*n - m = f for f.
-4
Let f(g) be the first derivative of 1/4*g**4 + 5*g**2 - 1 + 15*g - 4*g**3. Let b be f(11). Solve -2*u = b*v - 22, -5*u + 16 = v - 4*v for u.
5
Let c(a) = -a**2 + 10*a - 11. Let x be c(8). Suppose 2 = 4*v - v - 2*u, 5*u = -3*v + 16. Suppose -v + 12 = 5*h. Solve h*o = i + 2 - 0, -x*i = -4*o - 2 for i.
2
Let x be -1 + 13/4 + (-14)/56. Solve 3*i = -u - 2*u + 9, 0 = -x*i + 2*u - 2 for i.
1
Suppose n - 2*n = 8. Let m be 10/1*n/(-20). Suppose -2*b + 1 = -5, -25 = -m*p - 3*b. Solve 0 = -5*y - 15 - 5, 12 = -4*g - p*y for g.
1
Let j be 74/14 + (-14)/49. Suppose -5*f + 33 = 2*b, -j*f + 41 = -0*b + 4*b. Solve -b*n - 20 = 0, -2*s = -2*n + 7 - 19 for s.
1
Let m(i) = i**3 + 9*i**2 + 7*i - 6. Let y be m(-8). Let q = 5 + -4. Let d = y + q. Solve -2*x = -3*z, 4 + 3 = z - d*x for z.
-2
Let r = -99 - -108. Solve -5*q - 3*a - r - 3 = 0, 5*a = q - 20 for q.
0
Suppose 2*l = l. Suppose l = -a + 3 - 0. Suppose -5 = -5*h, 3*p - 5*h - 7 = -a. Solve -z - 3*r - 6 = 4, -p*z - 3*r = 12 for z.
-1
Let p(n) = -n**3 - 8*n**2 + 19*n - 8. Let b be p(-10). Solve 3*j = 2*s - 4, b*s = j - 2 - 2 for s.
-4
Suppose 2*i = -3*i + 10. Let m be (6/9 - 1)*-6. Suppose -m*w + 10 + 0 = 0. Solve -w*u + 11 = -14, 5*u = i*d + 23 for d.
1
Let d(j) = j**3 - 10*j**2 + 12*j - 12. Let s be d(9). Solve o = 5*o + 4*q + 16, 0 = 3*o + 4*q + s for o.
-1
Suppose 3*i = -5*a - 1 + 32, 4*i + 4*a - 28 = 0. Let y = i + 1. Solve 0 = -t - 5*k - 28, 0 = 3*t - y*k - 5 - 1 for t.
-3
Let k = -1 + 6. Suppose -2*g + 7 + 13 = 5*w, -g + k = 0. Let f = -3 + 3. Solve f = -w*n - 4*b - 8, 3*n + n + b + 2 = 0 for n.
0
Let w(y) = y**2 + 9*y + 2. Let b be w(-9). Solve x - 3*t + 19 = -x, -2*x - 4*t = -b for x.
-5
Suppose 0 = -68*w + 67*w + 2. Solve w*p = b + 1, 0 = -0*p - 2*p - b + 7 for p.
2
Suppose 5*b - g - 9 = 0, g = -2*g + 3. Solve 0 = 6*u - 2*u - n - 3, -3*u - b*n = -5 for u.
1
Suppose -v - 2*p - 7 = -1, 3*v - 4*p = 32. Solve 4*h + 4*s + 9 - 21 = 0, -3*s + 13 = v*h for h.
4
Let n(i) = -i**2 + 10*i + 4. Let a be n(10). Suppose -5*c + b - 4*b = -15, a*c - 12 = b. Solve -5*r - 14 = -c*f, -2*r = -5*f + r + 18 for f.
3
Let x be (9/(-18))/(1/(-4)). Solve 3*a = 3*i - 12, -3*i - a + 8 = -x*a for i.
2
Let f be (-22)/(-8) - (-2)/8. Let q = -5 + f. Let j be (6/15)/(q/(-10)). Solve -j*u - 3*x = -1 - 5, 5*u + 11 = -x for u.
-3
Let h(n) = n - 5. Let s be h(7). Let k(x) = -x**3 - 5*x**2 - 3*x - 7. Let m be k(-5). Let w be 2/m*2*20. Solve 3*q + 4*j - w = 0, -3*j - 1 = -4*q + s*q for q.
2
Suppose 3*o + 2*h - 1 = 0, 3*o = -0*o - 5*h - 11. Solve o*y + 4 = 2*t - 3*t, -t + 2*y = -11 for t.
5
Let z(h) = -h**2 - 10*h + 28. Let i be z(-12). Suppose 3*q - 12 = -o, -q + 7 = -5*o - 13. Let j be 2/(-8) + (-122)/(-8). Solve 9 = -b + i*b, j = c + q*b for c.
0
Let r be (-10)/(-5) - (2/1 + -8). Solve 2 = 2*c + r, d - 3*c = 14 for d.
5
Suppose -23 = -5*x + 22. Solve 3*d - 3*n + 0 - 3 = 0, -5*d + x = -3*n for d.
3
Let b(d) = -2*d + 6. Let t be b(-3). Let j be 4 + t/(1 + 0). Solve 8 = -c - c + 3*s, -4*c = -5*s + j for c.
-4
Let h(g) = -g**3 - 3*g**2 - g + 2. Let c be h(-2). Suppose -2*n - 4*m + 25 = n, n + 5*m - 23 = c. Solve u - 4*j = 17, -5*j = 2*u + 2 + n for u.
5
Suppose 4*d = -0*d + 20. Suppose 0 = -4*f - 4*f. Solve -37 = -5*v + 4*g - 12, f = -d*g for v.
5
Let j(y) = 2*y**3 + 18*y**2 - 3*y - 22. Let l be j(-9). Solve 0 = d - 3*d - 3*u + 19, 0 = d - l*u + 10 for d.
5
Let m be (4/15*3)/(6/15). Solve 2*u - 12 = -m*u - 3*z, u = -4*z + 3 for u.
3
Let m = 14 + -43. Let k = m + 133. Let i be (k/(-12))/(4/(-6)). Solve -3*h - z - 12 = 0, -5*z - 8 - i = 2*h for h.
-3
Let s(q) = -q**3 + 11*q**2 + 12*q + 3. Let d be s(12). Solve -3*j - 1 = 2*w, -j + 1 - d = -w for w.
1
Suppose 6 = -z + 9. Suppose z*q = h + 2*h, -3*q + 12 = 0. Solve -5*s - v + 2*v = 26, 0 = 4*v - h for s.
-5
Let d be (8/(-16))/((-1)/(-4)). Let j be ((-4)/d)/((-4)/(-94)). Suppose 0 = -f - 2*k + 16, -4*k = -2*f - 3*k + j. Solve 2*n + f = 5*c, 8 = c + c for n.
-1
Let c be ((-2)/(-3))/(3/9). Let z = c + 3. Solve 0 = -3*i + 3*n + n - 23, 3*i - 22 = -z*n for i.
-1
Let p = -6 - -9. Suppose 5 = -8*y + p*y. Let n = 5 + y. Solve -n*w - 16 = -3*i, w - 2 = 5*i - 6 for i.
0
Let w be ((-2)/(-3))/((-7)/(-63)). Let y(x) = 4*x - 9. Let s be y(w). Solve -5*k = -5*z + 10, 0 = -3*k + 5*z - s + 3 for k.
1
Suppose -3*o + 7*o - 12 = 0. Solve 0 = 2*q - 3*i - 19, -o*i = -5*q - 6*i + 16 for q.
5
Let q(b) = -b + 2. Let s be q(8). Let d be 3*(-2 - 2/s). Let m = 8 + d. Solve -2*n + 11 = -m*z, 2*n + 0*n - 4*z = 14 for n.
1
Let m be 3*1 - (-2 - -2). Let a(l) = -7*l - 5. Let b be a(-3). Solve -j + b = 4*k, -2*k = j - m*j - 18 for k.
5
Let g be 3*20/(-18)*36/(-10). Solve 0 = 4*u - 4*l - 4 + g, -2*u - 5*l = 4 for u.
-2
Let z be 0 - 0 - -4 - -1. Solve -4*g + 21 = -5*m, 4*m - 2 + 26 = z*g for g.
4
Let x(h) = 9*h + 1. Let m be x(1). Suppose -p - p + m = 0. Let v be 5/2*(7 - p). Solve -15 = 3*i - 0*i + v*o, -20 = 4*i + 3*o for i.
-5
Let b be 91/42 + 2/(-12). Solve 0 = b*o - 5*o - u - 13, -5*u - 29 = 3*o for o.
-3
Let g be 7/2*1*4. Suppose -9*m - 25 = -g*m. Solve 15 = 5*t + 5*c, 1 = 4*t - m*c - 20 for t.
4
Let y(i) = i**2 - 3*i. Let a be y(3). Let q be 0 - a - (-6 - -3). Solve 3*s = -5*k, -s + 3*s - q*k - 19 = 0 for s.
5
Suppose 49 + 3 = 4*p. Let m(n) = n - 11. Let k be m(p). Let z = -1 - -6. Solve 0*t + 2*t + 4*v - 10 = 0, -3*t = k*v + z for t.
-5
Suppose -1 = -o + 4. Let r = 20 + -7. Let d = r - 9. Solve 3*b + d*u - 10 = 0, -2*b - b + 1 = -o*u for b.
2
Let a(p) = -p**3 + 5*p**2 - p - 9. Let f be a(4). Let c = -4 + -24. Let b = -6 - c. Solve 2*v - f*v + 3*w - 10 = 0, -3*w = -4*v - b for v.
-4
Let k(d) = d**2 - 6*d + 5. Let w be k(6). Let v(l) = l**3 - 6*l**2 + 6*l. Let n be v(w). Solve 0*g - n*g - t = 0, -2*t = -5*g for g.
0
Let y(g) = -23*g**3 + g**2 + g + 1. Let l be y(-1). Solve 2*v - 5*v + 5*o + l = 0, -2*v - 6 = 4*o for v.
3
Let g(a) be the first derivative of a**4/4 - a**3 + 2. Let c be g(3). Solve 3*i + y - 12 = c, i - y + 2*y = 6 for i.
3
Let l be -1 - -27 - 4/(-2). Solve -4*u - l = -4*b, 0 = u + 2*u + b + 13 for u.
-5
Let x = 61 - 57. Solve -2*h = h + x*o - 3, -o = 2*h - 2 for h.
1
Let n be 18/4 - 4/(-8). Let l(p) = -p**3 + 6*p**2 - 6*p + 7. Let b be l(n). Solve 2*d - 3*w + 7 = 2*w, 0 = -b*d - 4*w + 20 for d.
4
Let c be (-22)/(-5) - (-2)/(-5). Let j be 1/c + 76/16. Suppose -u + 4 = -a, j*u = a - 0*u + 20. Solve -5*n - m - 21 = a, -2*n - 13 = 8*m - 3*m for n.
-4
Let f(l) = -19*l**3 + 2*l**2 - 1. Suppose -2*k - h + 3 = 0, 2*k + h = 5*k + 3. Let q = k + -1. Let w be f(q). Solve w = 4*j - 2*o, o + 4 = -4*j + 12 for j.
3
Suppose -5*g = -131 + 46. Suppose -43 = -2*q + 2*l + 31, -111 = -3*q - 5*l. Let v = q - g. Solve -3*o = 4*m - 15, -5*o - 4*m - m + v = 0 for o.
1
Let z = -51 - -53. Solve -2 = v + 3*h, 2*h + z = 2*v - 10 for v.
4
Let s(u) = u. Let n be s(3). Let t(a) = -2*a - 4*a**2 - 3 + n*a**2 + 3*a**2. Let q be t(3). Solve -v + 29 = -5*l, q = -5*l - 3*v - 4 for l.
-5
Let d = -14 + 16. Suppose 10 = 5*z + 5*m, 0 = -d*m - 2*m - 8. Solve -v + 2 = z*j - 7, 0 = 2*v - 10 for j.
1
Suppose 0 = j - 2 + 5. Let q be j + 1 - (-42)/6. Solve -7 = 5*b - 4*z, 4*z + z - 20 = -q*b for b.
1
Suppose 18 = -3*p + 3*w, 2*p = 4*w + 3 - 21. Let t be p + 3 - (0 - 4). Solve -5*y - 5*d = -0*y + 15, t*y = 2*d + 18 for y.
2
Let t be -1 + (7 - 4) + 6. Solve a + 2*r - t = -2*a, -16 = -4*r for a.
0
Suppose -a - 16 = -0*a + 3*y, 2*y - 22 = 4*a. Let m = 11 + a. Suppose 8 = -2*r, u + r - m*r = 17. Solve 0 = u*g - 5*h + 5, h = -5*g - 0*h + 13 for g.
2
Let b be 448/72 + 2/(-9). Solve -5*c = -4*g - 27, b + 9 = c - 4*g for c.
3
Let c(a) = -a. Suppose q + 3 = 4*q. Let z be -3 + (1 + -2)*q. Let d be c(z). Solve -3*u = -3*k - 2*k + 1, 0 = d*u + 2*k + 10 for u.
-2
Let