 q*n + g for n.
4
Let s(c) = c**3 - 4*c**2 + 2*c - 2. Let y be s(5). Let a be y/(-44) - 22/(-8). Solve -a*u + 15 = 5*w - 3*u, u = w - 7 for w.
2
Let a(p) = -p**3 - 5*p**2 + 5*p - 7. Let y be a(-6). Let s be (y/(-2))/(1/6). Let u be 1 - (s/(-1) + 4). Solve u = 4*i - 9*i + 2*j - 9, -2*i = -3*j - 3 for i.
-3
Let h be -4*((-10)/4 - -2). Suppose h*j - 2*v - 12 + 2 = 0, 2*j + 3*v = -15. Suppose -x - 6 = -3*x. Solve -2*o + 9 = -j*o + 3*s, 12 = 5*o - x*s for o.
3
Let s = -13 - -13. Solve u = -s*n - 4*n - 5, 5*n = 3*u + 15 for n.
0
Let s be (9 + -10)*14/(-1). Solve 1 - 4 = -3*i, 4*i - s = 2*y for y.
-5
Suppose 0*x - 54 = -2*x - g, -2*g = -3*x + 74. Solve 3*p - p + 5*v + x = 0, 0 = 3*v + 12 for p.
-3
Let z be (-68)/(-18) - 10/(-45). Solve 2*c + 11 = 3*o, 3*o - 7*o - 12 = z*c for c.
-4
Suppose 0 = 5*a + 12 - 2. Let v be a - 6*8/(-12). Solve 8 = k - 5*x, -k - x = v*x for k.
3
Let b(n) = n**3 - 8*n**2 + 5*n + 8. Let g be b(7). Let u be (16/g)/(6/(-27)). Let h = 3 + -3. Solve -u = -t - 4*v - 0, -v + 2 = h for t.
4
Let b(j) be the third derivative of -2*j**2 + 1/3*j**3 + 0 - 1/24*j**4 + 0*j. Let x be b(2). Solve -3*p + l + 9 = -2*l, x = 3*p - l - 5 for p.
1
Suppose -3*y - 3*m + 16 = m, 2*y = -m + 4. Suppose y = -2*q + q - 1. Let x be 1*(-4 - -2)/q. Solve x*f - 4*i - 18 = 0, -5*f - i + 5 = -7 for f.
3
Let r be (-11 - -28) + (-2 + 1)*-1. Solve -3*i + 5*w - 6 = r, -4*w = -2*i - 18 for i.
-3
Let t = 14 - -9. Suppose 5*b - 7 = t. Solve 4*y - 8*r + 7 = -3*r, -b = -2*r for y.
2
Let y be 30/9 + (-2)/(-3). Suppose c = y*n - 14, 2 = 5*c - 5*n + 12. Solve 4*z - c*l = 0, -4*l - 10 - 3 = 5*z for z.
-1
Suppose -6 = t - 0*t. Let y = 4 + t. Let s be y/(-1) + 3 + 1. Solve -5 = -5*j, 3*j - s = 5*f + 7 for f.
-2
Let g be 10/(-2)*9/(-15). Suppose 8 - 2 = g*n. Solve -18 = -4*k - o - n*o, -4*k - 2*o + 16 = 0 for k.
3
Suppose 3*k - 10 = -2*k. Solve -k*g + 4 = 2*g - 4*z, -4*z = -16 for g.
5
Let j(b) = 4*b - 37. Let l be j(10). Solve 0 = -4*h + n + 18, 13 = l*h + n - 2*n for h.
5
Suppose 2*w = -0 + 12. Suppose -3 = -u + y, y + w = 5*u - y. Suppose g - 10 = -3*n, u*g + 66 = 3*g - 3*n. Solve 5*p - g = 3*i + 21, 3*p - 25 = 2*i for i.
-5
Let q(o) = 5*o**3 + o**2. Let s be q(1). Solve -w = 2*f - 9, -2*f = 2*w - 6*w + s for w.
3
Suppose 7*t + 0*t - 98 = 0. Solve -d + 5 = 2*v, 4*d - t = 3*v - 5*v for v.
1
Let c = 28 - 23. Solve -19 = -c*u - 2*q - 7, -u + 20 = -4*q for u.
4
Let j be (1 + 2)*15/9. Let m(p) = p**2 - 6*p + 3. Suppose 2*o - 4*o + 16 = -4*s, 5*o = s + 31. Let f be m(o). Solve -u - 3*b = -4, -u = -j*b + 23 - f for u.
-5
Let c(x) = x**3 - 7*x**2 + 8*x - 9. Let v be c(6). Suppose k + 0 = v. Solve k*w = -2*z - 7 - 2, 5*z - w = 3 for z.
0
Let h = -7 - -4. Let u be (16/12)/((-1)/h). Solve y + 3*p = 5*y + 19, u*y - 2*p + 18 = 0 for y.
-4
Let h = -12 - -16. Solve h*i - 3 + 7 = 5*j, -j = 2*i + 2 for i.
-1
Let r = -60 - -64. Solve 0 = 3*s - 3*c - 3, 4*s + r*c = -4 - 8 for s.
-1
Suppose n = 7 + 1. Solve -n = 5*l + 4*a + 5, -2*l = -a for l.
-1
Let d = 39 + -25. Let h = -12 + d. Solve -2*v - 6 = -3*p, 0 = -0*v + h*v for p.
2
Suppose -2*o = -o - 2*d + 1, -3*d = -2*o. Let x(m) = m + 1. Let v be x(o). Solve 4*k + 4*z = 15 + 17, -z = -v for k.
4
Let y = 102 + -72. Let c be -1 + -2 - (-1 - -2). Let z be ((-20)/y)/(c/42). Solve 0 = 2*r - 3*w - 13, -4*w = 3*r - 4 - z for r.
5
Suppose 5*b = -4*q + 416, -b = -5*q - 36 - 24. Suppose 0 = -4*y + b + 12. Suppose g = 4*g + 12, 3*z - y = 2*g. Solve -z = -3*d - n - 3, 0 = -n - 1 for d.
1
Suppose -c - 4*c = 0. Suppose 2*z + c*z - 8 = 0. Solve -v - 9 = 3*d + 2*v, 3*d + 2*v = -z for d.
2
Let l(i) = -i**3 + 4*i**2 + 5*i + 4. Let x be l(5). Let b = -2 + x. Suppose -b*h + 8 = 2*h. Solve 2*w = 2*v - 8, -5*v - 25 = h*w + 2*w for v.
-1
Suppose 0 = -3*x + 1 + 8. Suppose -u - x = -5. Solve 5*f - 1 + 0 = u*d, 4*f + 10 = -2*d for d.
-3
Let r(t) = t**2 - 3*t - 6. Suppose 0 = -v - 0 + 5. Let h be r(v). Solve 0 = 4*m - h*z + 16, 3*z = 5*m - z + 18 for m.
-2
Let t(q) = -q + 9. Let p be t(5). Let b(k) = k - 4. Let m = 14 - 8. Let j be b(m). Solve -3*o = 3*c - p*o + 18, -j*o = 3*c + 9 for c.
-5
Let k = 5 - 9. Let a = 4 + k. Solve a*d - 3*d + 7 = -2*r, 2*d = 4*r + 18 for r.
-5
Let g(x) = x**2 + 2*x - 1. Let m be g(-3). Suppose -50 = -5*s + 10*s. Let v = s - -18. Solve p - 5*p - 8 = -m*a, a + 2*p = -v for a.
-2
Suppose -t - 6 = -3*t. Suppose -5*x = -t*z + 15, 0 = 3*z + 2*z - 25. Let w = 3 + -2. Solve 2*h = 4*m + 22, -h = 2*m + w - x for h.
5
Let i(w) = -w**3 - 9*w**2 - 20*w - 6. Let r be i(-6). Solve -2*l + q = -6, 41 = 5*l - 2*q + r*q for l.
5
Let d(b) = 2*b + 38. Let n be d(-18). Solve 5 = n*q + k, -4*k = -2*q - 3*q + 32 for q.
4
Let n be (-4)/6*(-9)/2. Let d be 0/((4 - 0)/4). Solve d = n*p + f - 5, 0*p - 2*f = -4*p for p.
1
Suppose 0 = 3*y - 0 - 27. Solve -3*l + 12 + y = -5*w, -1 = -w - 2*l for w.
-3
Let k = 81 - 77. Let b = 6 - -8. Solve -5*j - 8 = -m, -m + b = -k*j - 4*m for j.
-2
Let u(p) = -p**3 - 8*p**2 + 7*p - 10. Let a be u(-9). Solve -f + 2*r + 4 = 3*r, -r + a = 2*f for f.
4
Let j(z) = z**2 - 6*z + 5. Let a be j(6). Solve -3*t - v = -4*t + 1, a*v = t + 7 for t.
3
Let t(s) = s**2 + s - 4. Let p be t(-3). Solve -3*j = -4*k - 29, 0 = 2*k + p*j - 7*j + 25 for k.
-5
Let c be 8*4*15/48. Let q = 26 - 26. Solve 2*s = i + 7, 0 = -q*s - 2*s + 2*i + c for s.
2
Suppose 3*g = 5*v + 6*g - 19, -30 = -4*v + 5*g. Let s = 7 - 5. Solve -v*k + s*d - 6 = -0, k - 4*d = 6 for k.
-2
Let o(t) be the first derivative of t**2 - 6*t - 4. Let p be o(4). Solve -g - p*g + 1 = 2*x, g = 2*x - 5 for x.
2
Let h be (-5 + 9)*(-6)/(-8). Let g = h - 1. Suppose q - 12 - g = 0. Solve q = -5*o + 4*n - 2*n, -2*o + 1 = -3*n for o.
-4
Let w be (0/(-3))/2 - -3. Let y(m) = 2*m - 2. Let q be y(2). Suppose 0 = q*n - 4*n + 4. Solve n*c - w*f + 3 = 0, 5 = c - 2*c - 2*f for c.
-3
Let u = -28 + 32. Solve 0 + 16 = u*r + 4*o, -5 = -r - 2*o for r.
3
Suppose 0 = -0*u - 2*u + 10. Solve -3*x - 2*p + 14 = 0, -3*x - u*p + 11 = -15 for x.
2
Suppose -2*s + 5*p = -1, 3*s - 4*s + 2*p + 1 = 0. Solve -s*u = -2*v - 3 - 3, 5*v - 2 = -u for v.
0
Let x be ((-16)/(-20))/(6/15). Let r be 5*2*1/x. Suppose 2*t - 5*t + 9 = 0. Solve d = -r*f - 23, 5*d + t = -5*f - 12 for d.
2
Let i(t) = -2*t**3 - 2*t - 1. Let z be -2*(-2 + 0/(-2)). Let v = z + -5. Let a be i(v). Solve -l = a*l - 12, 13 = 4*j + 3*l for j.
1
Suppose -3*x + 6*x - 9 = 0. Suppose -4*f - 6 = -2*a - 2, x*f + 2 = a. Solve 3*z + z = -2*q + 18, -5*z - 2*q + 20 = f for z.
2
Let r(s) = s**2 - 5*s + 8. Let p(l) = -2*l**2 + 11*l - 15. Let g(x) = -3*p(x) - 5*r(x). Let k be g(8). Solve 0*h + 3*h = 4*f + 35, 30 = -f + k*h for f.
-5
Let b(x) = x**3 + 3*x**2 + 2*x. Let o be b(-2). Solve 4*k + 5*l - 22 = o, 5*k + 2*l - 11 = 4*l for k.
3
Suppose 3*c - 6 = 3. Solve c - 19 = 4*w, -4*y - w - 4 = 0 for y.
0
Let m be (9 - 2)*(0 - 1). Let g(k) = -k**3 - 6*k**2 + 6*k - 2. Let p be g(m). Solve -3*b - 32 = p*f, 8 = -2*f - 0*f for b.
-4
Suppose 2*z - 42 = -4*w, -4*z - w + 57 = -2*w. Suppose 12*i = 7*i + z. Solve -i*q = 3*s - 12, -2*s + 3*q = s - 6 for s.
3
Suppose 5*z - 36 - 14 = 0. Let t = -6 + z. Let y = 6 - t. Solve -4*c - 10 = -y*w + c, -3*w + 10 = -5*c for w.
0
Let r = -6 + 14. Let m = 14 - r. Solve 5*o = 2*n - m, -4*n + 1 = -5*o - 1 for o.
-2
Let m be (18/8)/((-6)/(-32)). Suppose i + 2*v - 1 = -2*i, 0 = 3*v + m. Let a be (-1 + i)*(-6)/(-4). Solve -w + 5 = -4*o, 2*o - w - 2 + a = 0 for o.
-2
Let s = 31 + -26. Solve 8 = g + 4*h + h, -4*g + 17 = s*h for g.
3
Let j be ((-12)/5 + 2)*-5. Let y = 28 - 4. Suppose 5*v - 9 = 2*m, -3*m - m = 4*v - y. Solve -v*u + 1 = -2, 3*u - 1 = j*p for p.
1
Let q be (-2 - -1) + (5 - 1). Suppose -q*p + 34 = -p. Let m be 0 + -1 - (-6 + 2 - 2). Solve m*i - p = -3*l, -6*i = -4*i + l - 6 for i.
1
Suppose 25 = 4*s + 1. Let r(o) = -4*o - 4. Let l be r(2). Let f(j) = j**2 + 11*j - 12. Let g be f(l). Solve s = -2*v, d - 5*v - 18 + 3 = g for d.
0
Let g(c) = -3*c. Let x be g(-1). Suppose 2*y - r - 3*r - 20 = 0, 20 = 2*y - x*r. Let n = -5 + 10. Solve y = 4*t + 2*i, -2*i = -t - i - n for t.
0
Let v(c) = 3*c - 10. Let x be v(4). Suppose 3*z + 1 = 8*z + 3*o, -5*o = -x*z + 19. Solve -d - 4*h + 8 = 0, -z*h - 2*h + 28 = -4*d for d.
-4
Let i = 23 - 15. Let h(d) = 3*d - 8. Let t be h(i). Let p = -1 - -5. Solve p*b = -2*g - t, -5*b - 20 = 3*g + g for g.
0
Suppose -4*a = 3*o - 12, 2*a - 4*o 