*x = 3*x + 3*s + 35 for x.
-4
Let d(l) = 19*l - 1. Let v be d(-1). Let y = 22 + v. Solve 5*r + 1 = -4, -4*s = -y*r - 2 for s.
0
Let x = -6 + 12. Suppose 3*l - 5*d - x = 0, 5*l + 8*d - 4*d - 10 = 0. Suppose 12 = 4*j - s - 6, l*s = 2*j - 6. Solve 4*y - r - 6 = j*y, -4*y = -2*r for y.
-2
Let g(b) = -b**3 - 2*b**2 + b + 1. Let x be g(0). Solve -2*y + 4 - 16 = 4*l, -3*l + y = -x for l.
-1
Let d = 76 + -76. Solve -i - v - 3 = d, v = -4*i - 4*v - 11 for i.
-4
Suppose -2*p = -w - 22, -5*p + 3*w - 6*w + 44 = 0. Suppose 3 + 0 = u. Solve -s + p = -u*n, -4*s = -0*s - 5*n - 26 for s.
4
Suppose u - 5 = -4*c, 5*c + 2*u + 3*u = 25. Solve f + 2*d = -1, 2*f - 7*f + 5*d + 40 = c for f.
5
Let n be 24/10 + (-2)/5. Suppose -63 = -10*o + 3*o. Suppose b - o = -2*b. Solve 23 = -n*g - 4*j - 1, 5*j + 8 = b*g for g.
-4
Let j be 0 - 6*-1 - -3. Let d be (-2)/(-9) + (-6)/27. Suppose -i = -d*i - 4. Solve -5*m + 2*z + j - 27 = 0, -i = -z for m.
-2
Suppose 4*c = -31 - 57. Let d = c - -24. Suppose 3*f + 2*n + 2 = 4, -4*f - 5 = -5*n. Solve d*y = -6, -5*r = -f*y - 4*y - 37 for r.
5
Let i(j) = -2*j. Let z be i(-1). Let k = 4 - z. Solve -5*a = -2*y - 28, a + 0*a - 12 = k*y for y.
-4
Let s(c) = c**3 - 4*c**2 + 2. Let z be s(3). Let w = -5 - z. Solve -y + 0*y + 19 = -4*j, -w*y + 10 = -j for j.
-4
Let z(y) be the third derivative of y**5/60 + y**4/8 - 5*y**3/6 - 5*y**2. Let c be z(2). Solve 4*n - 3*n = 4*v - c, -v = -2*n - 10 for v.
0
Let c(h) = -2 + 1 - 2 + h. Let f be c(6). Let i(g) = 17*g + 275. Let u be i(-16). Solve 0 = 4*z + v + u, -4*z + 0*v = -v - f for z.
0
Let m be (-1 + (-30)/(-4))*-2. Suppose 5*p + 27 + 13 = 0. Let z = p - m. Solve -z*u = -2*n + 40 - 17, -5*n - 4*u + 8 = 0 for n.
4
Let x(w) = -w**3 - 2*w - 1. Let v be x(-1). Let a be (8/10)/(v/10). Suppose o = -0 + 5. Solve -y - 2 = -2*s, -o*s = a*y + y - 5 for s.
1
Let a(f) = -f + 7. Let x be a(6). Let b = 0 - x. Let g be ((-1)/2)/(b/6). Solve 6 = g*n, 6*j + n = j + 2 for j.
0
Suppose 2*b + 2*f = 3*b - 29, 4 = -2*f. Suppose 2 = 4*p + 26. Let d be (-21)/p + 1/2. Solve -k = d*k - b, 0 = n - 5*k + 21 for n.
4
Let n = 12 - 18. Let x = n - -8. Solve -22 = x*t - 4*d, 3*t - 3 + 9 = -3*d for t.
-5
Let s(l) = 5*l**2 - 3*l + 1. Let b be s(2). Let q = 28 - b. Solve -3*x + 3*a = 0, -a = 3*x - 5 + q for x.
-2
Suppose -4*h - 55 = -3*j, -4*j - 3*h = -56 - 34. Solve 2*a - 5*a = -4*i + 1, a + 4*i = j for a.
5
Let i(z) = -z**3 + 5*z**2 + 2*z - 6. Let p be i(5). Solve 4*r - p*a - 19 = -3, 4*a = 5*r - 21 for r.
5
Suppose 0 = -i - 4, -i = -0*t + 4*t - 4. Solve -4*b + 3*q = 5, 2*q + 2 = -t*b - 4 for b.
-2
Let f(r) = r**3 + 7*r**2 + 7*r + 15. Let o be f(-6). Solve 12 = 5*h + 4*j, 3*h - 4*j + j + o = 0 for h.
0
Let b = 5 + -3. Solve 0 = -2*j - d + 9, -3*d + 12 = b*j + d for j.
4
Suppose -2*f - 2*f - 38 = 2*u, f - 2*u + 2 = 0. Let c be 6/(-4)*f/(-6). Let d be (27/(-6) + 2)*c. Solve -d*b - 33 - 8 = 4*p, b + 9 = -p for b.
-5
Let s(k) be the first derivative of 3*k**2/2 - 4. Let v be s(1). Let p be (-3)/12 - 26/(-8). Solve -v*z - 26 = 5*a, 6 + 4 = -p*z - a for z.
-2
Let d = -5 + 5. Suppose 38 = 5*u - 17. Let g(j) = j**3 - 10*j**2 - 11*j. Let i be g(u). Solve i = 2*m + 5*s - 17, 5*s - 10 = -d*m + 5*m for m.
1
Let t = -4 + 2. Let d be 0 + (-16)/t + 1. Suppose 9*o = -4*o + 78. Solve 8 = -3*r - 4*m - o, 0 = -2*r + m + d for r.
2
Let m = 65 - 63. Solve 5 = 2*i + i + m*r, 4 = 3*i + r for i.
1
Let n be -1*(12/(-42) + 68/(-7)). Solve n = -3*a - m, -5*m + 9 = -4*a + 2 for a.
-3
Let c(h) = h**3 + 7*h**2 + h + 9. Let z be c(-7). Solve z*d + 4*u = -2, -2 = -5*u - 7 for d.
1
Let v(f) = f - 5. Suppose 20 = 2*c + 2. Let y be v(c). Suppose 4*o = -2*k - 3 + 5, -y*o - 5 = k. Solve 2*x = w - k, -4*x - 15 = 3*w - x for w.
-1
Suppose 2*b - t = 2*t - 4, 2*b = t. Let j = -4 - -6. Solve j*f + 1 = 3*k - b, 1 = -f for k.
0
Let n be ((-16)/(-12))/(4 - 128/36). Solve -3 = 3*c + n, 3*u + 3*c + 15 = 0 for u.
-3
Let y be 84/(-18) - (-4)/6. Let d = 7 + -1. Let u = d + y. Solve 3*v - 2*z + 3 = -u*v, -3*v - 4*z = 7 for v.
-1
Suppose 6*y - 30 - 18 = 0. Solve 2*t - n = 3*n + 22, -4*t = 5*n + y for t.
3
Let l(d) = -2*d - 10. Suppose a + 10 = 3*m - m, 4*a + m = -13. Let h be a/((-36)/(-21))*3. Let k be l(h). Solve -2*o + j - 4*j = 5, k*o + 3*j + 1 = 0 for o.
2
Let g = 26 - 7. Solve 5*h - 25 = 0, -3*h + 0*h + g = -2*n for n.
-2
Suppose -h = -4*h + 4*h. Solve 0 = -f + d + 2, h = 4*f + 2*d - 4*d for f.
-2
Let r(j) = j. Let w be r(-4). Let d be 0 + (-4)/w - -1. Solve -d*i - 5*y = -11, -3*i = -0*i + 5*y - 9 for i.
-2
Suppose -4*d = -3*u - 12, 3*d - 2*d - u - 2 = 0. Let y be 6*(-1 + 7/d). Solve 2*l - q = 7, -2*q + 17 = 4*l - y for l.
4
Let o = -1 + -4. Let a = 9 + o. Solve -2*m + 0*q - 5*q = -5, 4 = 4*m + a*q for m.
0
Suppose -12 - 36 = -4*l. Solve 4*n + 4 = 4*d, 2*d + d - l = 0 for n.
3
Let i(p) = -4*p + 6. Let g be i(-1). Solve 5*x = 4*h + h - g, -5*h - 2*x = -31 for h.
5
Let j(w) = -w**2 - 9*w - 17. Let y be j(-4). Solve 0 = 3*l + 3*k - 6, l - 11 = -y*k - k for l.
-1
Let y(r) = r**3 + r**2 + 1. Let f be y(-2). Let n = f + 7. Suppose 0 = 3*o - o - n. Solve 0 = o*v - 4*h + 5*h + 15, -5*v + 3*h = 10 for v.
-5
Suppose 13 = -2*h - 5. Let i be (-56)/h + 2/(-9). Let x be (-4 + 7)*4/i. Solve -2*f - 3*q = 4, 4*f - x*f - 3*q + 16 = 0 for f.
-5
Let h(u) = -9 - 1 + 0 - 2*u. Let d be h(-8). Solve 4*y - 2*y - 9 = 5*g, 3*y = 5*g + d for g.
-3
Let q(o) = o**2 - 5*o + 6. Let m be q(4). Let b = m - 1. Let i be (-38)/(-8) - b/(-4). Solve 2*y + 22 = -4*u, -4*u + 2*y = i*y + 25 for u.
-4
Let s = -1 + 1. Solve s = -2*l + 4*m - 24, l - 5*m = -3*l - 36 for l.
-4
Let n be (-84 + -2)/((-10)/(-5)). Let j = -31 - n. Solve 2*z - 4*z - j = -4*w, -5*z + 3 = w for z.
0
Let u = 30 + -25. Suppose -3*v = 5*i + 5, -v + 0*v + u = -5*i. Solve -5*t - 6 + 1 = -2*x, -2*x - 4*t - 22 = v for x.
-5
Suppose 0*c + 3*c = 0. Suppose c = -4*m + 5*y + 3 + 25, -5*m + 35 = -2*y. Let w be 3/(-12)*2*-30. Solve 2*j = -2*s + m*j - w, s + j - 3 = 0 for s.
0
Let n = -31 - -16. Let u = 15 + n. Solve u = 5*k - 4*q + 9, 5*k + 3*q = -2*q for k.
-1
Let u be (79 + 2)/((-2)/(-2)). Suppose 6*g - u = 3*g. Let n = 13 - 9. Solve -l + n*h + 19 = 0, -2*h = -5*l + h + g for l.
3
Suppose -5*v + 16 = y, -4*v + 6*y = 2*y - 32. Suppose 2*b + 2 = v*b. Solve -7*u = -4*n - 2*u + 9, -b = -2*n - u for n.
1
Let d be 28/(-6)*(-60)/70. Suppose -d*t - 6 = -18. Solve 2*w = t*p + 4*w - 17, -3*w = -3 for p.
5
Suppose 6*n = 3*f + 2*n + 4, -4*f + 2*n + 8 = 0. Let v = 4 - 0. Solve f = 2*w + 2*p, 2*p - v = 5*w - 0 for w.
0
Let g(x) = -x**3 - 7*x**2 - x - 3. Let u be g(-7). Solve i - 4*a + 9 + 6 = 0, u*i = a + 15 for i.
5
Let q(h) be the third derivative of h**4/24 + 11*h**3/6 - 5*h**2. Let p be q(8). Solve -22 = -3*z + 5*g, -p - 11 = -5*z + 5*g for z.
4
Suppose 20 + 8 = 4*p. Solve 2*t + 5*s = 19, s = -2*t - 0 + p for t.
2
Let y(x) = -2*x**2 - x + 4. Let u be y(3). Let m = 19 + u. Solve -2*b = -m*n - 0*n, 5*n = -5*b - 50 for b.
-5
Let r = 101 + -46. Suppose -2*d - 15 = -r. Solve d = -3*f - 4*l, 2*f - 10 = 2*l - 0*l for f.
0
Let n = -7 - -9. Let u be 7/(-2)*-1*n. Solve 5*q + u = a, 5 = 3*q + 5*a - 2 for q.
-1
Suppose 2*q = 0, 2*a + 2*a - 8 = 5*q. Solve -a*d + 0*d - 4 = -5*t, 10 = -t - 5*d for t.
0
Let z be (2 + 4/(-3))*6. Let v = -135 + 143. Solve -d - v = 4*d - 3*p, z*d - 4*p = 0 for d.
-4
Let d be (2 - (-1 + 1)) + 0. Let m = 6 - 5. Let w = 1 + m. Solve -d*p - 3 = -3*z, 4*p + 3*z + 9 = w*p for p.
-3
Let h = 31 + -16. Suppose v - h = -0*v. Suppose -4*a + 13 + 7 = 0. Solve a*n - 2*w = 3*w + v, w = -4 for n.
-1
Let h = 11 + -9. Suppose 3 - 9 = -h*x. Solve -3 = g, -3*c + x = -0*c - g for c.
0
Suppose -4*v = -5*w + 160, 0 = 5*w + 2*v - v - 160. Let m(u) = -6*u**3 - u**2. Let h be m(1). Let l = w + h. Solve 4*a + 5 = 3*i, 3*i + a + a = -l for i.
-5
Let l be ((-72)/(-15))/((-4)/(-10)). Solve 3*q - 5*a - 13 - l = 0, -3*a = -5*q + 31 for q.
5
Let v(g) = 3*g**3 - 2*g**2 + g - 1. Let n be v(2). Let o(a) = -a**3 - 14*a**2 + 17*a + 35. Let s be o(-15). Solve s*t - n = p, -p + 0*t + 11 = 2*t for p.
3
Let j be ((-2)/(-1))/((-2)/(-32)). Let t be (-63)/(-12) + 10/(-8) + 1. Solve 2*q = -0*w - 2*w - 14, -4*q = t*w + j for w.
-4
Let f(v) = -v**2 - v - 6. Let c be f(0). Let b(d) = -d**2 + 6*d + 8. Let j be b(6). Let k = j + c. Solve 5*w + 5*g = 5, -k*g = -5*w + 25 + 1 for w.
4
Let g be (-6)/(-12)