 4*i - 8 = -4*t, -i + 2*i + 2 = w*t for i.
1
Suppose 0 = 4*t - 2*c - 3*c - 100, 4*t = -c + 76. Let i = t - 13. Solve -2*l = -3*v + i, -4*v + 10 - 3 = -5*l for v.
3
Let h be ((-3)/(-2))/(27/90). Suppose -2*s - 3*w - 2 = 0, 0 = -h*s + 2*w + 46 - 13. Solve c + 0*c - 3*l + 10 = 0, -s*l = -25 for c.
5
Let b(i) = 2*i**2 - 22*i + 22. Let t be b(10). Solve 2*v - t*n = n - 4, 3*v - 2*n + 6 = 0 for v.
-2
Let q = 22 - 22. Solve 5*i + 20 = q, -5*z + 2*i + i + 32 = 0 for z.
4
Suppose 5*y - 19 - 1 = 0. Solve -f + 1 = 0, y*v - 5*f = -f - 24 for v.
-5
Let z = -5 + 10. Let j be (z + -5)/(0 - 2). Solve 3*o = -4*p + 8, -2 = 2*p - j for o.
4
Let f(o) = 10*o + 16. Let p(g) = 3*g + 5. Let k(i) = 2*f(i) - 7*p(i). Let t be k(-10). Solve 0 = 5*v + 2*j, 4*v - t*v - 3*j + 9 = 0 for v.
-2
Let d(w) = w**2 - 8*w - 9. Let m be d(9). Suppose 0 = -4*x - 20, -x + 4 = 5*y - 6. Solve 2*p + 2*k = 4, m = -p - k - y*k - 1 for p.
3
Let l = 0 + 0. Let u(q) be the second derivative of -q**3/6 + 2*q**2 + q. Let k be u(l). Solve 0 = -0*p - p - 5*f - 26, p - f - k = 0 for p.
-1
Let a be (0 + -1)*(-9 + 7). Solve -17 = -m - 4*p, m = 5*m - a*p - 14 for m.
5
Let x(w) = -2 - w - 4*w + 5 - 4*w**2 + 3*w**2. Let z be x(-5). Solve 0 = -4*k + z*o - 35, -3*k - k = 4*o for k.
-5
Let r = 16 + -16. Let i = 8 + -5. Solve -b + 23 = -5*p, -5*p = -i*b - r + 19 for b.
-2
Suppose 0 = n - 2 - 0. Let c = 2 + 0. Solve -2*x + n*m = -12, m - 2*m = -c*x + 8 for x.
2
Suppose j - 3 = -0*j. Let c(p) = -2*p**2 - p**3 + p + 0 + p**2 + 2 + 0. Let q be c(0). Solve 4*u + j = -k, -q*k - 10 = -u - 4 for u.
0
Let u(m) = -m**2 + m + 3. Let f be u(3). Let l(p) = -p**3 - p**2 - p + 2. Let a be l(f). Solve -4*h = 2*s - 3 + a, s - 10 = 2*h for s.
0
Suppose -6*v = -5*v - 2. Solve -4 = -v*n, -4 = -6*b + 2*b + 4*n for b.
3
Let r(h) be the second derivative of h**5/20 + 7*h**4/12 + h**3 + h**2 + 5*h. Let u be r(-6). Solve 0*v + 4 = -u*v - 2*k, 6 = -5*v - 4*k for v.
2
Let c = 679 + -379. Suppose -b + c = 4*b. Suppose 2*s + 3*g - 8 - 32 = 0, 2*g + b = 3*s. Solve 0*a - 3*a + 4*f = -1, 0 = -5*f - s for a.
-5
Suppose -110*v + 27 = -107*v. Solve 3*a = -4*k + 14, -a - v = -k + a for k.
5
Let p be ((-6)/(-4))/(-3)*0. Suppose 3*o = -3*n + 60, p = -5*n + 2*n + 5*o + 60. Suppose s + s = n. Solve v - 5*q = -0*v + 26, 5*v - q - s = 0 for v.
1
Suppose 3*t = t. Suppose a - 4*l + 8 = 0, 2*l = -a - t*l + 4. Solve a = -4*m - j - 10 - 8, 2*m + j = -10 for m.
-4
Let o be 6/36 + (-263)/(-6). Suppose -5*c - o = -3*c. Let b be 12/(-18) + c/(-6). Solve -b*s + 11 = 4*z, -1 = -2*z + 2*s + 1 for z.
2
Let l(d) = d**2 + d - 5. Let c be l(-4). Suppose 3*b - 23 = -x + 22, -2*b - 2*x = -26. Solve -20 = -3*z + c*z - 3*w, b = -4*z + 2*w for z.
-2
Let h be 10/5*(8 + 1 + -2). Solve -2*j = 3*s + h, 12 = -j + s - 5*s for j.
-4
Suppose 3*w = -4*n + 7, 0 = 5*w - 0*w + n - 6. Solve 5*y + 5 = 4*c - 5, w = -2*y + c for y.
2
Let f(i) = i**2 - 6*i - 5. Let m be f(7). Solve -3*u + z = -9, -u + m*u + z + 1 = 0 for u.
2
Let s be (-164)/(-32) + 4/(-32). Solve -25 = 2*t + 3*t - 3*p, s*t - 5*p + 25 = 0 for t.
-5
Suppose -3*x - 7 = 4*y - 0*x, 4*x = -4*y - 12. Solve 0 = 4*b - 3*o - 2*o + 4, -2*b - 3*o - y = 0 for b.
-1
Let i(a) = -a**3 - 3*a**2 + 5*a. Let y be i(-4). Let b be y/34 - (-206)/17. Solve -q - 3 = -x, -x = 2*x + 4*q + b for x.
0
Let o = 42 - 28. Let j = 17 - o. Solve j*b + 12 = -0*b, 4*b + 22 = -3*n for n.
-2
Suppose -3*a = -2*g + a + 30, -2*g = 4*a - 30. Suppose g = 5*x + v, x + 28 = 5*x + 4*v. Solve 0 = 2*d + x*n, -d - 15 = d - 3*n for d.
-3
Let l(q) = -q + 2. Let w be l(0). Let a be 1 - -10 - 2/2. Suppose -6*h = -a - 2. Solve -3*c - w = -3*t + h*t, -3*c - t = -2 for c.
0
Let k(h) = -29*h - 1. Let w(v) = 30*v + 1. Let o(j) = -6*k(j) - 5*w(j). Let i be o(1). Solve -i = -d + 4*d + 4*m, d + 7 = -m for d.
-3
Suppose -2*o + 39 = -5*n, 4*n = -2*o - 0*o + 12. Let s = o - 6. Solve -3*t + y + s = 4*y, -5*y = -15 for t.
-1
Let d be (5 - 4)/((-1)/(-2)). Suppose 2*j + 10 = -4*k + 32, 5*k = d*j + 41. Solve 2 = 2*x + x + 2*o, k = -2*x - 3*o for x.
4
Let n be ((-4)/(-6))/(214/30 + -7). Solve d + 8 = -4*a + 5*d, 0 = -3*a - n*d + 18 for a.
1
Suppose 4*w + 4 = 12. Suppose -6 = -w*y + y. Solve 3*c + 2*b = -b - 18, -5*b - y = -c for c.
-4
Let v be -2 - ((-30)/1)/2. Let n = -9 + v. Solve -n*l = -5*s - 25, -3*s - 2*l = 9 + 6 for s.
-5
Let q(t) be the first derivative of -t**3/3 - 11*t**2/2 - 12*t + 3. Let d be q(-8). Let h = d + -8. Solve i = -2*x + 11 - h, -5*i = -4*x + 21 for i.
-1
Let x(j) = j + 4 - 4 + 3. Let z be x(-6). Let q(v) = -v**3 - 2*v**2 - 4. Let d be q(z). Solve d = -2*b - 3*o - 6, -b + 22 = -4*o for b.
2
Let d(v) = -v**2 - 5*v + 11. Let i be d(-6). Solve -i*k + 15 = y, -4*y + 2 = 3*k - 7 for k.
3
Let t = -24 - -34. Let i be (t - 8)*(-3)/(-2). Solve 0 = -s - 3*g + 13, -3*s - i*g + 17 = -s for s.
4
Suppose 19 = 4*r + z - 53, -r - 4*z + 3 = 0. Let a = -14 + r. Solve a*s = q + 7, 0*q = -5*s + 4*q + 13 for s.
1
Suppose -4 = -4*a + 4. Let q be 3 - ((a - 5) + 6). Suppose 30 = 3*t - q*t. Solve 0 = 2*p + t, 5*r + 2*p = -2*p - 35 for r.
-3
Suppose -3*i + 4 = -11. Solve 15 - 5 = 2*f + i*y, y - 9 = f for f.
-5
Let t be 1*((-33)/(-3) + -1). Let m be 16/t - (-6)/15. Solve p + 2 = -m*d, -4*p = 5*d - 2*p + 5 for d.
-1
Suppose 13*q - 16*q + 9 = 0. Solve q*i - 5*w - 28 = 0, 4*i + w + 3*w = -16 for i.
1
Let j(m) = -3*m**2 + 10*m - 1. Let b be j(3). Solve 0 = 5*o + 5*v + 30, -b*v - 26 = 5*o + v for o.
-4
Let l(s) = 2*s**2 - 5. Let g be l(2). Solve 5*y = 5*w + 25, -2*y = -2*w + g*w - 4 for y.
3
Let c = 18 + -18. Solve -k - 4*q = -11, c*k - 6 = -4*k + 3*q for k.
3
Let h = -5 - -8. Suppose -f + 8 = h*f. Suppose 4*b + 4*d - d - 132 = 0, 4*b - 140 = -5*d. Solve b = -4*z + 5*s, -f*s + 3 = 5*z + 24 for z.
-5
Let k be (4 + -7 - -4) + (-8)/(-2). Solve 0*q - k*f = 2*q - 5, -30 = 3*q - 5*f for q.
-5
Let m(w) = -w**3 + 4*w**2 - w + 6. Let s be m(4). Solve -s*x - q + 4*q - 23 = 0, -3*x - 5*q = -13 for x.
-4
Suppose -4*h = -4*v - 16, -v + 2 - 6 = 5*h. Suppose h = 3*i - 11 - 4. Solve 13 = -2*t - c, -6*c = i*t - 5*c + 28 for t.
-5
Suppose 12*w - 10 = 11*w - 2*m, 5*w + m = 32. Solve -4*u - 2*d + 4 = 0, 0*d = -u + 2*d + w for u.
2
Suppose -10 = -2*y - 4. Solve -6*t + t + 10 = 3*i, -y*t = 2*i - 7 for i.
5
Let r(o) = -o**2 + 4*o + 5. Let d be r(5). Solve x + 15 = -x - 5*i, d = -x + 5*i + 30 for x.
5
Suppose 4*h - 6 - 10 = 0. Suppose 4*x - 8 = -h*n, 0 = -0*n + 3*n + 2*x - 8. Solve -j - 1 - 7 = 3*a, 0 = n*a - j + 6 for a.
-2
Let p be (10/(-5) + 2)/(-3). Solve p = -4*y - 4 - 4, -2*o - 4 = 5*y for o.
3
Let k = 13 - 10. Let j be (0 + 1)/((-1)/(-3)). Suppose 0*i + 54 = j*i. Solve 2*z + i = -k*r, -2 = 5*z - r + 9 for z.
-3
Let d(f) be the second derivative of 3/2*f**2 - 4*f - 1/6*f**3 + 0. Let y be d(3). Solve 3*c - 4*u + u - 3 = y, -5*c + 2*u + 2 = 0 for c.
0
Suppose 2*n - 24 = 6*n. Let q be (n/(-18))/((-1)/(-9)). Solve -3*b - 3*m + 3 = -0*m, -q*m = b + 5 for b.
4
Let k(u) = 2*u**2 + u - 1. Suppose -5*n - 2*s - 22 = 2*s, 2*n + 13 = -3*s. Let i be k(n). Solve 4*q - 4*v - 8 = 0, -2*v + 25 - 1 = i*q for q.
4
Suppose 4*a = -0*a + 8. Let y be (-3)/(-2) - a/(-4). Solve y*l - 5*d = -10*d + 5, 5*d - 5 = -l for l.
0
Suppose -5*w = -3*x, -w = x + 2*w. Solve x = -3*j + 9, -5*b - 6 - 21 = -4*j for b.
-3
Let u be (-10)/(-8)*(6 + -2). Let r(z) = -5*z**2 - 10 + 4*z**2 - z - 6*z. Let a be r(-4). Solve u*o = 4*s + 40, 3*o - a = -3*s + s for o.
4
Let l = -11 + 7. Let o = -4 - l. Let v = o - -4. Solve -3*k = -4*g + 3, v*k = -g - k - 28 for g.
-3
Let t(j) = j**3 + 9*j**2 - 12*j - 9. Let h be t(-10). Solve -4*f + 2*d = -0*d - 28, f + 4*d + h = 0 for f.
5
Suppose -u = -2*o + 1 - 11, -2*u + 6 = 3*o. Let r = -4 + u. Solve r*b - b - 1 = -z, 2*b - z - 11 = 0 for b.
4
Let c(a) = -a**3 - 5*a**2 - a. Suppose -4*l + 10 = -6*l. Let r be c(l). Solve r*s - 5 = -4*p, p - 14 = 5*s + 6 for p.
5
Suppose -12 = -4*r - 4*k, 0 = 2*r - k + 4 - 1. Solve r*g + 2*g = -5*p + 21, g - 13 = -3*p for p.
5
Let k(y) be the first derivative of y**4/4 - y**3/3 + 2*y**2 - 4*y - 6. Let g be k(3). Solve 0 = o - 3*o + 4*n - g, -3*o - n - 11 = 0 for o.
-5
Let r = -23 + 19. Let c = -10 + 5. Let z be ((-24)/(-10))/r*c. Solve -4*b - 3*y = -0*y + 18, -z*b = 2*y + 13 for b.
-3
Let k(o) = o + 26. Let n be k(-10). Solve 5*x - 2*m + 0*m = n, 0 = -x - 4*m + 12 for x.
4
Suppose 0 = -5*z