4*x for x.
-1
Let p be ((-16)/(-20))/((-16)/(-40)). Solve 8 = 3*a - p*i - 6, -3*i - 12 = 0 for a.
2
Let f(q) be the third derivative of q**6/120 + q**5/15 + q**4/8 - q**2. Let p be f(-3). Let n = p - -2. Solve -n*v + 4 = -0*b - b, 3*b = 0 for v.
2
Let s(h) = h**2 - 6*h - 3. Let l be s(7). Let n = l + -2. Solve -13 = z + n*b, 0 = -5*z - 3*b - 30 for z.
-3
Let m(d) = 2*d - 6. Let f be m(4). Suppose -f = -4*s + 2. Let h be (-2)/(-4)*(1 - s). Solve -2*a - 4*v = 4, 4*a + h*a + v - 6 = 0 for a.
2
Suppose 6*u - 35 = u. Suppose 27 = 4*a + u. Solve p = 3*k + a, 3*p + 6 = -2*k + 21 for p.
5
Let c(n) = n**2 + 2*n - 4. Let o be c(-4). Solve 15 = -o*j - a, a - 12 = 5*a for j.
-3
Let d = -137 - -139. Solve -o - 4*v = 1, -d*v = -5*o - 5 - 0 for o.
-1
Let l(t) = 4*t. Let n be l(1). Solve -5*p + 4*r = -1, p + n*r + 15 = r for p.
-3
Suppose 2*t + 10 = 0, -3*t = -4*b - 0*b - 33. Let z = -10 - b. Let w be (-4)/14 + (-37)/(-7). Solve -w*o + 3*r - 18 = z*r, -3*o - 3*r = 0 for o.
-3
Let b be 4*((-3)/2 + 3). Let d(o) = -3*o - 5. Let w be d(-5). Suppose -f = -b*f + w. Solve 2*m - 7 = 2*i + 1, -f*i + 20 = 5*m for i.
0
Let b be 0 - 1/(1/(-3)). Suppose -3 - 7 = -4*v + 2*f, 9 = b*v - 3*f. Solve 0 = -3*i - 2*d + 3, -2*i = -2*d + 3*d - v for i.
1
Let g be (0/(-2 + 0))/(-1). Suppose 0 = -g*s + 2*s - 24. Suppose 2*k - 4*f = k + 14, -3*k = 3*f - s. Solve -2*o - 10 = -5*r, 4*o + 0*o + k = 3*r for o.
0
Suppose d - 6*d = -15. Suppose 0 = -2*c + 4*c. Solve 15 = 5*a - o - d*o, c = 2*a + o + 7 for a.
-1
Suppose -f - 3*f = 3*q - 20, -3*f - 48 = -3*q. Let r = -8 + q. Solve -4*i = -2*j + 6, -2 = -r*j + 3*j + 3*i for j.
5
Let x(y) = -y**2 + 5*y - 1. Let v = -5 + 9. Let m be x(v). Solve j - 15 = 4*r, -3*r - 5*j - 14 = m for r.
-4
Suppose 3*h = h. Suppose -1 + h = w, 0 = j - 2*w - 4. Solve -n = -3*u + 8, 0*u - j = 3*u + n for u.
1
Let f = 12 - 8. Suppose -f*q + 6 = -2*q. Solve -q*x = -3*s + 18, -3*x - 9 = -4*s + 13 for s.
4
Suppose -19 = -3*w - 4. Solve 3*n = -0*n - w*x - 5, -x - 19 = -3*n for n.
5
Let c be 20/15*(-9)/(-6). Solve -4*w = 5*r + 7, 0 = -2*w - 7*r + c*r - 11 for w.
2
Suppose 0 = -y + 3*u - 4*u + 3, -15 = -3*y + 3*u. Solve -2*a = y*c - a + 14, -5*a - 2 = 3*c for c.
-4
Let k be (-6)/((15/(-2))/(-5)). Let i = -1 - k. Solve 5*u - 4 = 5*g + 1, i*g - 5*u = -7 for g.
1
Let d(a) = 7*a**2 - a. Let g be d(1). Let h be 28/g - (-2)/(-3). Let c = h - -1. Solve 3*r - 5 = r + c*t, -r + 1 = -4*t for r.
5
Suppose -4*v + 2 = -d + 5, 2*v - d + 1 = 0. Let c be (-10)/(-6) + v/(-3). Let l = -1 - -3. Solve 0 = 3*f + l*x - 7, -3*x + c*x + 5 = 0 for f.
-1
Let c be 44/36 - (-10)/(-45). Solve c = 3*v + 4*z, z - 2 - 2 = 0 for v.
-5
Let z(v) = -v + 7. Let i be z(3). Let o(x) = x**3 + 4*x**2 + 3*x. Let j be o(-3). Let l = 0 - j. Solve -i*k + 3*k = 2*w + 11, l = 3*w + 2*k + 18 for w.
-4
Let t(l) = -l**2 - 18*l + 44. Let n be t(-20). Solve 5*h + 30 = 5*j, -2*h - 2*j + n = -0*j for h.
-2
Suppose 0 = -0*l - l + 5*a + 25, -3*l + 11 = a. Suppose -l*m + 22 = 2. Solve -2*f - m = -2*g, -2*f - 2*g = -0*f for f.
-1
Suppose -2*s - 3*j = -33, -3*s + 0*s + 4*j + 7 = 0. Let k = s + -6. Solve g - 2*g - 5 = -4*m, 3*g + 15 = k*m for m.
0
Suppose 0 = 5*s - 15, -5*v + 0*s + 2*s + 9 = 0. Let k be 0 - -3 - v/3. Let a be (40/12 + -3)/((-4)/(-228)). Solve 2*l + a = -3*j, -k*j - 6 - 4 = 0 for l.
-2
Suppose 2*g = -3*g - 1200. Let q be (1/(-4))/(12/g). Solve s - 2*w = q*s + 14, -5*w = -3*s - 17 for s.
-4
Let l(x) = -x**3 + x + 16. Let u be l(0). Let g(d) = d + 11. Let f be g(-6). Solve -5*o - 4*p + 11 = -u, 3*o + f*p - 24 = 0 for o.
3
Let w = 102 - 100. Solve -k = -w*h - 3, 3*k + 2*h + 12 = h for k.
-3
Let x(t) = -t**2 + 5*t - 3. Let q be x(2). Let m be (-21)/(-6)*(-6)/q. Let p(n) = -n - 3. Let u be p(m). Solve a + 5*z = 13 - 6, 3*a - 2 = u*z for a.
2
Let d be (-6)/(-45)*6*20. Let x = d - 11. Suppose x*c - 22 = -2. Solve 0 = -2*w - 5*k + 2 + 6, 0 = -c*w + k - 6 for w.
-1
Suppose -4 = -d + w - 2, w - 4 = -d. Solve -3*n - v = d*v + 7, -2*v = -4*n - 2 for n.
-1
Let k(g) = 4*g**3 - g**2 + g - 1. Let q be k(1). Solve 3*z - 3*l = 0, -6*z = -5*z + q*l for z.
0
Let k(n) = 2*n - 4. Let z be k(5). Let p be (-66)/2*(-2)/z. Let d = -8 + p. Solve -d*j + 4*i = -i - 16, 5*j + 4*i - 2 = 0 for j.
2
Let v(z) = 5*z**2 + z. Let q = -2 + 4. Suppose -b - 5 = 5*c + 2, -b - q = 0. Let w be v(c). Solve 6*g - 2*g = -5*h - 9, -2*h - w*g = -6 for h.
-5
Let v be (0/(-7))/(5 + -3). Suppose 4*t - 3*t - 4 = v. Solve -y - t = 4*o, -3*o - y - 6 = 2*o for o.
-2
Suppose 7 - 1 = -k. Let g(y) = y**2 + 6*y. Let j(h) = 1. Let c(f) = -g(f) + 3*j(f). Let b be c(k). Solve b*m + 4*r + 15 = 0, m + 3*r - 2 = 4*r for m.
-1
Suppose g = 4*o - g + 54, 0 = -o - 3*g - 3. Let b be (-318)/o - 2/4. Solve 0 = h - 3*z - 14, -5*z - b = 2*h + 1 for h.
-1
Let l be 2/(-5) + 4/10. Let o(j) = j + 2. Let g be o(l). Solve -2*h + 0 = -2*p - g, 0 = -2*p - h - 14 for p.
-5
Let c be (176/110)/(1/20). Let u = 14 - 4. Let i be (-36)/(-10) + 4/u. Solve 4*g - 7 = -o + 2*o, -4*g + c = i*o for g.
3
Suppose 16 = 4*u - 2*n, 0 = -0*u + 3*u - 4*n - 17. Solve -2*w + 12 = -4*v, -3 - u = 3*v - 3*w for v.
-4
Let f = -161 + 166. Solve 0 = 3*v - 2*i - 16, 38 - 15 = -v - f*i for v.
2
Suppose 5*r + 15 + 0 = 0. Let p = r - -3. Let c be p + (-6)/3 + 6. Solve -c*j = -o - o + 16, -o + 17 = -5*j for o.
2
Let r be (-1)/(-2)*(-2 + -3 + 5). Solve 2*d + d = -4*s + 12, 4*d - 4*s - 16 = r for d.
4
Suppose 1 = -3*u + 7. Let i be (0 - 2/u)*-2. Let v(b) = -b**2 + 1. Let l be v(-1). Solve l*k = -4*k + 8, 0 = i*p - 3*k - 2 for p.
4
Suppose 0*y = 5*y - 20. Suppose -2*r - y = -8. Solve -r*n + 2 = 3*c - 4*n, -8 = -c - 3*n for c.
2
Let k = -20 + 23. Suppose -4*j - a = -5*a - 4, -4*j + k*a = -7. Solve -w - 7 = 2*x - 1, -x = -j*w - 6 for w.
-2
Let l be 4/(-22) - (-48)/22. Suppose -26 = -l*s - 2. Let w(o) = o - 1. Let d be w(5). Solve -r = 3*f - 10, -4*r - r = -d*f - s for f.
2
Let m(o) = o. Let i be m(1). Suppose j = i + 3. Solve a - j*y = -a + 10, -2*a = y for a.
1
Let t(m) = m**3 + 10*m**2 + 3. Let u be t(-10). Solve -a - 27 = -6*a - r, 3*r = u*a - 9 for a.
5
Let j be 3/((-2*1)/(-2)). Suppose 4*l - 2 = -2*r - j*r, -l - 2 = 0. Let q = 44 + -22. Solve -r*h - 2 = 8, -3*t + 5*h + q = 0 for t.
-1
Let v = -10 - -16. Let d be (v - 3) + 0 + 1. Solve -4*l + s = 4*s + 4, 0 = -l + d*s - 20 for l.
-4
Let x(j) be the third derivative of -j**5/60 - j**4/24 + j**3/2 - 3*j**2. Let g be x(0). Solve -3*z - m + g = -4, 41 = 4*z - 5*m for z.
4
Let x(h) = -h - 1. Suppose r - 7 = -2*l, 3*r + 24 = 6*l - 3*l. Let m be x(r). Solve 0 = p + o + 7, m*p = o + 4*o for p.
-5
Let u be 10/(-3)*(-3)/5. Solve i - u*g + 5*g = 19, 2*g = 3*i - 2 for i.
4
Let q = -2 - -9. Let c(u) = u**3 - 8*u**2 + 9*u - 10. Let f be c(q). Suppose -4*t + 12 = -f. Solve 4*v - 6*v = -6, 8 = -t*x + 4*v for x.
1
Let x(w) = 2*w. Let t be x(4). Solve t = 3*s - 2*s - 3*y, 3*y - 2 = -s for s.
5
Let i = -1 + 2. Suppose 7 - i = d. Suppose d*r - 15 = r. Solve 3*s - 2*y = y + 18, 2*y + 15 = r*s for s.
3
Let r be 6/(3 - 5) - -23. Suppose 34 + 0 = 3*y + 5*p, 5*p - 40 = -5*y. Suppose -2*d = y*d - r. Solve -2*c - 7 = -2*a - 3, -18 = a + d*c for a.
-2
Suppose -2*m + b + 16 = 2*m, -7 = m - 3*b. Suppose y + 2*u + 11 = 3, m*y - 35 = 5*u. Solve 2*g + y*r + 15 = -3*g, 4*r - 45 = 5*g for g.
-5
Suppose 5*s - 3*q + 18 - 55 = 0, -4*q - 16 = 0. Let b = 15 - s. Suppose -2 = 4*j - b. Solve -j*u + u + 15 = -2*l, 15 = 3*u for l.
-5
Let g = 6 - 6. Suppose -2*q - i + 0*i + 3 = g, 5*q - 15 = -4*i. Let b be -1 + q + 7 + -2. Solve -5*t - 1 = -0*d - b*d, -4*t + d - 5 = 0 for t.
-2
Suppose -3*o = 4*o - 28. Solve -3 = 5*l - i, -o*l + 5 = 4*i - 7 for l.
0
Suppose 2*p + 3*x = -2*x + 155, 105 = p - 3*x. Suppose u + 2*b = b + 24, 5*b = 5*u - p. Solve -2*d + d - 15 = -5*h, 3*d - 3*h = -u for d.
-5
Let p be 8/2 + -3 - -3. Solve 0 = 3*x + 2*l + 2*l + 10, -3*l + 5 = -p*x for x.
-2
Suppose 5*r - 13 = 2*r - 2*v, -5*v = 4*r - 22. Suppose 0 = -0*n - 2*n - r*j + 30, 5*n - 2*j = 56. Solve m - 6 = 3*u, m - u = 4*u + n for m.
-3
Let r = 3 + -1. Suppose 3*d - 40 = 2*d. Let l be (42/9)/((-1)/(-3)). Solve 4*p + 2*t + d = -3*t, l = -r*p - t for p.
-5
Suppose 3*h = -2*b + 9, -5*h + 3*b = 16 - 50. Solve 0 = 3*p - z + 10, 0 = -h*p + 4*z - 14 - 5 for p.
-3
Let l(k) = 4*k - 3. Let v be l(2). Solve 5*d + 13 + 22 = -v*f, 4*f + 19 = -d for d.
-3
Suppos