 2*j for j.
-4
Let f be 8*3/(-9)*-6. Solve 0 = 2*t + 4*o - 24, 0*o + 4*o = f for t.
4
Let q be ((-6)/5)/((-24)/160). Suppose q*u = 3*u + 15. Solve -5*v + 2*p = 5*p - 7, -u*v - 4*p + 2 = 0 for v.
2
Let y be 7*(10/7)/5. Suppose 0 = y*s - 4*f - 36, 2*s + f - 8 = -2*f. Let z be 1/(2/2)*0. Solve z = 4*v + w + 4*w - 1, s = 4*v + 2*w for v.
4
Let j = 38 + -35. Solve -5*f = g + 3*g + 19, j*g = -f - 6 for g.
-1
Suppose 0 = d - 21 - 5. Let x(r) = r**3 - 11*r**2 + 9*r + 14. Let j be x(10). Suppose 10 + d = j*p. Solve 0*s - 2*s + p = u, 7 = s + 3*u for s.
4
Let n be ((-8)/12)/(-2)*0. Solve -4*t - 2*a + 3*a + 20 = n, 15 = 3*t - 2*a for t.
5
Suppose b = 2*b. Suppose b = -3*h - 2*h + 60. Solve -h = 4*q + 4*g, 2*q + 7*g + 12 = 3*g for q.
0
Let q(d) = d**2 + 13*d. Let m be q(-13). Solve 2*s + 5*y + 31 = -2*s, 2*s + 4*y + 20 = m for s.
-4
Suppose -7*w = -w - 24. Solve -2*z + 5*r = -0*z + 28, w*r - 32 = 4*z for z.
-4
Let c(m) = 5*m**2 - 3*m + 3*m + 57 - 58. Let a be c(2). Solve 0 = -y + 4*r - a, -5*y + r = -2*r + 27 for y.
-3
Let k = 175 - 172. Solve k*d = 2*w - 12, -3*d - 2*d = 20 for w.
0
Suppose 5*j = -3*n + 2 + 31, 4*j + n = 25. Let b = 6 - j. Solve b = 2*h - 4*a + 4, 3*a = -h - a + 10 for h.
2
Let s(a) = -a**3 + 6*a**2 + 8*a - 3. Let j(y) = -4*y**2 - 4*y - 3. Let z be j(-2). Let l = 18 + z. Let b be s(l). Solve -12 = b*f, 5*x = f + 5 + 3 for x.
1
Let y(r) = r**3 - r**2 + 1. Let d be 24/(-3)*(-2)/4. Let o = d - 2. Let b be y(o). Solve -4*t + 2*t = 4*m - 16, -b*t + 4 = m for m.
4
Let o be (-6)/(-9) - 32/(-6). Let m be 0 + 2/3*o. Solve 3*c = 2*y - 4, -m*c + 8 + 5 = y for y.
5
Let b(q) = -q**2 - 7*q - 10. Let d be b(-3). Solve -4*t - 4*v = -32, -3*v + 1 = -2*t + d for t.
5
Suppose 0 = -3*q + 15 - 3. Suppose 2*k - 2*g + 0*g - 8 = 0, 0 = -5*g. Solve k*y - 2 = q*m + 5*y, 5*y = 3*m - 10 for m.
0
Let r be -5*(-2)/(-4)*-2. Suppose -r*a = -10*a + 25. Solve 4*w + 18 = 2*c, -a*w + 15 = 3*c + 2*c for w.
-2
Suppose -4*n = n - 30. Suppose 4*w = s + n, w + 2 = -2*s + 4*s. Solve -2*l = -w*c + 6*c - 8, 0 = -3*c + l + 1 for c.
1
Let s(r) = r**2 + 16*r - 17. Let g be s(-17). Solve 9*a + 20 = 4*a + 5*f, g = -a - 4*f - 9 for a.
-5
Suppose 5*d = -4*k + 24, 4*d = 2*k - 5*k + 19. Solve -5*j = 3*p - 25, -d*p = j - 21 - 1 for p.
5
Let c(j) = -j + 5. Let a be c(3). Solve 0 = -4*n - 5*i + 6, -i + 10 = a*n - 2*i for n.
4
Suppose 2*w + 5*h = -w + 206, 4*w - 240 = 2*h. Let b = w - 25. Let c = -21 + b. Solve 0 = 3*l - f - 14, 0 = -l - 2*l + 2*f + c for l.
4
Suppose -x - 2*x + 24 = 0. Let a be (-3)/(-2) + 4/x. Solve 3 - 2 = -a*r + g, r = 4*g + 10 for r.
-2
Suppose -6*b + 3*b = 3*h + 9, 5*h + 4*b + 12 = 0. Solve 5*z + 4*d - 36 = h, 0*d - 4*d = -3*z - 4 for z.
4
Suppose -3 = -n - 0*n. Suppose -5*a - 5*z = -3*a - 3, a = -n*z + 1. Solve -2*s + a*t - 2*t = -6, -4*s = 3*t - 5 for s.
2
Suppose -1 + 5 = y. Solve p + 5*z - 25 = 0, -5*z + 4*z = -y for p.
5
Let b(y) = 4*y**2 + y**2 + y**3 + 7 + 2*y**2. Suppose -2*k + 63 = -11*k. Let w be b(k). Solve -u - 4*s + 0 = -w, 22 = -5*u - s for u.
-5
Let j be (-10 - 0)*2/(-4). Let d(g) = g**2 - 4*g - 8. Let a = 3 - -3. Let h be d(a). Solve -2*k + 1 = j*q, -k + 6*k = h*q - 14 for k.
-2
Suppose 3*u + 73 = 3*t + 2*u, -4*t + 3*u + 94 = 0. Let q = t + -25. Let p be 42/5 - 2/5. Solve q = -4*g + 3*h - 4*h + p, h - 4 = 0 for g.
1
Suppose z - 3*q = -2*z + 3, -q - 1 = -2*z. Suppose -1 - 22 = -5*r + 3*u, z = -5*r + u + 21. Solve -5*a - k = -28, 3*a - 2*k + 11 = r*a for a.
5
Suppose 0 = -5*z + 14 + 1. Let j = -1 - z. Let m be (2 + j)*(-62)/4. Solve m = -3*c - 4*i, -2*c = c - 2*i + 7 for c.
-5
Let d be (-72)/(-14) - ((-189)/49 + 4). Let w = 5 + 0. Solve -3*x - 10 = -5*f + 2*x, -w*x - d = -4*f for f.
5
Let u(h) = -13*h + 2. Let s be u(-1). Let k(n) = n**3 + n**2 + n + 3. Let b be k(0). Solve -s = x + 3*l - 4, b*x + 5*l = -13 for x.
4
Suppose -2*z = 5*b + 20, -4*b = 5*z - 3*b + 4. Suppose -4*a = v - 21, z - 7 = -3*a + v. Suppose a*c = 3*c + 5. Solve c*q = -5*l, 3*q + l = -l - 1 for q.
-1
Suppose 0*z + 5*z = 25. Suppose -3*l = -z*l. Suppose l = q + 4*j - 8, -3*q + j + 3 = -8. Solve -2*a + 3*s = 10, -5*a - q*s + 0 - 2 = 0 for a.
-2
Let a(d) = d**2 - 7*d + 8. Let x be a(6). Let t(f) = f. Let q be t(5). Suppose -3*g = -13 - 5. Solve 2*h = -r - q, 2*r - g*h + 10 = -x*h for r.
-5
Suppose 3*h = -b - 5 + 10, -13 = -4*b - 5*h. Let a be 0 + b/2 + 20. Suppose 9 - a = -3*q. Solve q*x + 2*r + 14 = -0*x, -4 = 4*r for x.
-3
Let o be (3 + 4 + 4)*-1. Let d = o - -15. Solve -1 = 3*w - 3*f + d*f, 23 = -4*w + 3*f for w.
-2
Let b = 13 - 9. Solve -c + 1 = b*t - 8, -c = -3*t + 5 for c.
1
Let y(h) = 2*h**2 - 17*h + 10. Let f be y(8). Solve 0*v - 7 = 3*v + 2*j, -v - j - f = 0 for v.
-3
Suppose 2*b - 10 = 0, -4*u + 6 - 1 = -3*b. Solve -q + u*s + 14 = 0, 0*s + 4*s = 5*q - 28 for q.
4
Suppose 0 = 4*j - 3*j + 7. Let v be 4/(-14) + (-163)/j. Solve -z - 4*l - v = 0, 4*z = 3*l + l + 8 for z.
-3
Suppose z + 1 = 18. Solve 3*n - j = -20, 5*n + 18 = 2*j - z for n.
-5
Let f be (-20)/(-6) + (-2)/6. Let j be 13/3 + (-1)/f. Solve 2*s + j*q + 4 = 0, -q - 3 + 2 = 3*s for s.
0
Let t be (-6)/4 + 1/(-2). Let n be ((1 + 53)/t)/(-1). Let b be 4/(-10) - n/(-5). Solve -g - 26 = b*r, -3*r - r = 20 for g.
-1
Let a be 4*(-3)/(-30)*5. Suppose -9 + 1 = -4*o. Let t = 12 + -7. Solve -5*m = -5*h + t, -3*m - 8 = o*m - a*h for m.
-2
Let a(u) be the first derivative of u**4/4 + 3*u**3 + 4*u**2 - 7*u + 3. Let l be a(-7). Solve 3*q + 8 = 5*t + l, -2*t - 18 = -3*q for q.
4
Let r = -63 - -65. Solve -2*v + r*a + 12 = 0, -5*v + 4 = -a - 10 for v.
2
Let q be 0 + -1 - -1 - -20. Suppose -7*r = -2*r + q. Let c(w) = w**3 + 3*w**2 - 5*w + 1. Let d be c(r). Solve 0 = -k, m - d*k + 3 = -4*k for m.
-3
Suppose 2*x + a + 2 = -2*a, -5*x + 17 = 2*a. Let h be 7 + 0 + (1 - 3). Solve r + h = c, 0*c = -c + x for r.
0
Let d be (23/(-69))/((-2)/30). Solve -2*b + 9 = -z, -4*b + b = d*z + 6 for b.
3
Let q(a) = -a - 8. Let v(o) = -3*o - 23. Let u(y) = -8*q(y) + 3*v(y). Let g be u(-7). Solve n + g*k + 13 = 2, -2*n + 2 = -4*k for n.
-5
Let t be 0*(1/(-2))/(-1). Suppose -4*c = -4*g - 7*c + 6, 0 = -2*g + 4*c + 14. Solve t = 4*q + 4*r - 0*r - 20, 3*q = g*r + 9 for q.
4
Suppose -3*q = -8*q + 3*i + 24, -5*q + 2*i = -21. Solve j - 1 = q*c - 6, 2*c + 5 = -j for c.
0
Let p = 2 - 2. Suppose p*r - 16 = w + 4*r, 5*w - 5*r = 20. Suppose -2 - 16 = -2*s. Solve -h + 4*x + 19 = w, -x = 2*h + 2*h + s for h.
-1
Let k(p) = -4*p**2 + 3*p + 2. Let x be k(4). Let h be x/(-15) + 1/(-3). Let v be 3*(-1 + (-5)/(-3)). Solve -h*q - 10 = 5*g + 2*q, -v*g - 16 = -4*q for g.
-4
Suppose 4*n - 40 = -4*n. Solve c = -2*c + g + 6, 4*c + n*g + 11 = 0 for c.
1
Suppose -18 = -3*j - 6*a + 3*a, 4 = -j + a. Let w(f) = 3 + 0*f - j + f. Let p be w(3). Solve 0 = -z + p, 2*s = 2*z + 3*z - 27 for s.
-1
Let o(s) = -2*s - 11. Let u be o(-6). Let l = 4 + u. Solve -l*x + 30 = -g + 9, 5*x + 2*g - 18 = 0 for x.
4
Let c be -2*-2*10/8. Suppose -4*o - 3*d = 5, -2*d + c - 13 = 5*o. Let s be 2/(o/3) + 7. Solve -b - 3*g = 2, -s*g = -2*b - 2 - 2 for b.
-2
Suppose -3*c + 12 = 3*r, -4*r + 10 = 3*c + r. Solve -q + 29 = -3*q + 5*w, 0 = 3*q - c*w + 31 for q.
-2
Suppose -2*u + 2 = -4*h - 7*u, -4*u = 3*h + 2. Solve 0 = -3*b - h*p + 1, 6 = -2*b - p - 2*p for b.
3
Suppose 0 = 2*u - 6*u - 52. Let y = 18 + u. Solve 4*b = -y*c - 2, -3*b - 2*b = 15 for c.
2
Suppose -5*r + 9 = -2*r. Solve -3*v + 4 = v + 3*h, 3*v - 3 = r*h for v.
1
Suppose -8*l + 9*l = 4. Solve -4*a = 5*b + l, 5*b + 2*a + 32 = 5*a for b.
-4
Suppose 0 = -8*o - 2*o + 20. Solve -o*h + 10 = 0, 0*h = -3*f - 3*h for f.
-5
Let m = 24 - 0. Let p = -14 + m. Solve v = -4*v + 5*a + p, 5*v + a = 4 for v.
1
Suppose -3*d - 2*v + 6*v = 10, -4*d = -5*v + 12. Solve 2*m = y - 7, 0*m - d*m = 2*y - 8 for m.
-1
Let m = -2 + 3. Let h(t) = -t + 2*t + 4 - m. Let g be h(0). Solve -p - 2 = -0*p - 3*o, -g*p - o + 4 = 0 for p.
1
Let c be (3 - 0)/((-1)/(-1)). Let q be ((-1 - 3) + c)*-3. Solve -q*u + 19 = 4*l, 2*u - 16 = -u - l for u.
5
Let m be (-4)/((-3)/((-6)/(-4))). Suppose -m*g = -g. Suppose -2*x - 4*o + 8 = g, 0*x = 2*x - 2*o - 8. Solve -5*n + 2 = x*f, 4*n = -4*f + 3 + 1 for n.
-2
Let a be (5 - (-12)/4)/2. Let r be 2 - -2*(a + -3). Solve r*f - 2*q = f + 13, 0 = -2*f + 4*q + 22 for f.
1
Suppose q - 5*q + 9 = -3*m, -3*m - 3 = -3*q. Suppose q - 26 = -5*i. Solve -f - i = -v - 2*v, v = f for f.