 for v.
2
Suppose 0*z = -2*z + 2. Let h = -9 + 2. Let q = z - h. Solve -q = -5*o + 4*v + 3, 0 = 3*o - v - 8 for o.
3
Suppose -6 = b - 6*s + 2*s, 3*s = 3*b - 27. Solve -14 - 14 = -5*h + 3*n, 0 = 2*h - 4*n - b for h.
5
Let n be -7 + (6/(-3) - -1). Let w = -3 - n. Suppose -w*i = -12 + 2. Solve 0 = -3*t - 5*m - 11 + 1, -i*m - 4 = 2*t for t.
0
Let r(y) = -2*y**3 - 5*y**2 - 5*y - 4. Let g be r(-3). Solve 0 = -5*h - 2*j - 19, -h + 6*j = j + g for h.
-5
Let y(g) = g**2 + 7*g - 3. Suppose 4*w = -3*r - 50 + 6, 16 = -4*w + 4*r. Let f be y(w). Solve 3*p - 4*s + 7 = 0, 5*p - f*s + 10 = -0*p for p.
-1
Suppose 4*n - 1 = -17. Let s be (-1 + n/(-12))*-3. Solve 4*k = 5*j + 7, -s*k - 2*j - 2*j = 16 for k.
-2
Let m be 5 + (0 - (-1 + 3)) + -1. Solve 3*w = -5*k + 7, 4*w - 3*k = -m*k - 6 for w.
-1
Let z(a) = -8*a - 2. Suppose -4 - 11 = -5*k. Let q be z(k). Let h = 51 + q. Solve -h = 4*s - t, 0 = -7*s + 4*s - 5*t + 10 for s.
-5
Suppose 0 = 3*m - 2*d - 19, 2*m + 4*d + 3 = m. Solve -2*w + 8 = 2*o, -m*w - 4 = -5*o + 6 for w.
1
Suppose -14 = 5*c - 39. Let h be c - (0/(-1) - -1). Suppose -5*i = 3*u - 9, u + 3*u - i = 12. Solve 35 = -5*z + h*p, 6*z - u*z + 4*p - 11 = 0 for z.
-3
Suppose 4*x - 8 = 2*u, -2*x - 1 - 1 = -4*u. Solve d + 5*c + 12 + 11 = 0, 8 = -d - u*c for d.
2
Let m(x) = -x**2 + 2 - 2*x + 2*x**2 + 2*x. Let l be m(2). Suppose 0 = 5*q, 0 = 4*f - q - 10 - l. Solve 4*j = -f*b - 4, b + 4*j - 8 + 0 = 0 for b.
-4
Suppose 29*y + 4 = 30*y. Solve 4*o = -3*c - 12, -y*o = -4*c + 1 + 11 for o.
-3
Let u(d) = -3*d - 7. Let b be u(-5). Solve 3*k + 4*p - 12 + 2 = 0, 0 = -3*k - 2*p + b for k.
2
Let h = 18 + -14. Solve -u - 5*r + 14 = 0, -h*r + 8 = 4*u - 0*r for u.
-1
Let i = 8 + -5. Let a = 20 - 8. Solve i*j = a, 3*z + 0*j + 13 = j for z.
-3
Let n be (4 - 25/5)*-3. Solve n*x - 3*o = 4*x - 2, 0 = -4*o + 8 for x.
-4
Let s(q) = -q**2 + 4*q + 1. Let y be s(6). Let f = -7 - y. Solve 3*d + p + 18 = 0, -f*p + 0 - 12 = 0 for d.
-5
Let a(f) = 0*f**3 - 2*f**2 - f**3 + 19*f - 15*f - 4. Let n be a(-4). Solve 5*w - n = 3*z, 0 = z - 4*w + 2 + 2 for z.
-4
Suppose b = -4*b. Let q = 3 + -2. Solve 2*u - q = z, -z + b = -3*u - 1 for u.
-2
Let g be 1/(-2) - (-9)/2. Let w be 10/6 - 2/(-6). Let p = g - w. Solve -2*r - 4*v + 10 = 0, -p*r + 4*v - 11 = -3*r for r.
-1
Suppose 30 - 85 = -11*s. Solve -4*n - v - 1 = 0, -2*n - s*v = 7 + 16 for n.
1
Let y = -3 - -7. Solve 0 = 3*n + y*f + 1, 5*n + 11 = f - 6 for n.
-3
Suppose 3*p - 10*p = -21. Solve -3*b = -x + 15, p*x + 2*x - 5*b = 35 for x.
3
Suppose 3*n = g + 13, -5*n - 2*g + 0*g + 29 = 0. Solve -4*c - 10 = -0*i + i, n*i = 3*c + 19 for i.
2
Let u(g) = -g**2 - 4*g + 1. Let d be u(-3). Let o = 0 + d. Solve -o = 2*v, -2*x + 7*x - 2*v - 14 = 0 for x.
2
Suppose 2*u - 4 - 4 = 0. Suppose 4*k - 3*n = 6, 2*k - 15 = -k - 3*n. Let q(y) = 4*y - 3. Let j be q(2). Solve -k*w + u = -r, 3*w - w = j*r - 6 for r.
2
Suppose 9*d - 4 = 8*d. Suppose z = 7 - d. Solve 2 = 5*g - s, z*g - 2*s + 0 - 4 = 0 for g.
0
Let u(n) = n**2 + 6*n - 1. Let k be u(-8). Solve 5*z + k = -3*b - 0*z, b + z + 3 = 0 for b.
0
Let j(h) = 0*h + 4*h**2 - 2*h + 4*h + 0*h - 1. Let l be j(1). Solve -2*m + 5*m - c = -11, 3*c = -l*m - 23 for m.
-4
Let h = 5 - 2. Suppose 45 = 2*z + 3*v, -3 = z - h*v - 12. Solve -5*l = -c - z, 0*l - 3 = -l for c.
-3
Let r be 6/4*12/9. Solve 2*i - 10 = 4*q, 2*i + 5*q - 20 = -r*i for i.
5
Let j = -25 + 29. Solve -j*n + 2*u - 10 = 0, -6*n + 5*u = -4*n + 17 for n.
-1
Let h be (-66)/(-5) + (-2)/10. Suppose 0 = -2*r + 22. Suppose 0 = -m - 5*i + r, m + 2*i = -i + h. Solve 0 = -5*z - v - 7, 5*z - 3*v + m = -3 for z.
-2
Suppose 4*w - 35 = -g, 4*g = -2*w + 29 + 41. Solve -5*u + 25 = y, -5*u = 4*y - g - 25 for y.
5
Let d(p) = -p**2 - 1. Let z be d(-3). Let a = 14 + z. Let c be 28 - (0 + -1)/1. Solve 4*u - c = -3*m, -u + a*m - 4 - 3 = 0 for u.
5
Let r(s) = 3*s + 69. Let f be r(-16). Solve -2*h - y + 9 = 0, 0*h + 5*h = -4*y + f for h.
5
Suppose 5*y - 11 - 9 = 0. Solve 1 + y = f - 5*d, 2*f - 4*d = 4 for f.
0
Suppose 14*w - 12*w = 2. Let a be w/((-4)/16*-2). Solve -l + 6 = 2*f + 1, 2*l = a for f.
2
Suppose 5*m = 3*m + 4. Solve -m*j = -c - 5, -4*j - 5*c = -c - 28 for j.
4
Suppose 5*p - 2*b + 13 + 10 = 0, -5*p = 3*b + 28. Let h(k) = -k**3 - 6*k**2 - 6*k - 1. Let q be h(p). Solve 0 = -s - 1, -4*f = q*s - 5 - 11 for f.
5
Suppose 3*g + g + 560 = 0. Let x = g - -278. Let s be (-4)/6*x/(-4). Solve -5*p - 2 = s, 0 = -4*v + p - 11 for v.
-4
Suppose 3*l - 5 = -2, -3*v = -l - 5. Solve v*f - 2 - 18 = -4*p, 20 = 5*p for f.
2
Let i(y) = -y**2 + 8*y + 4. Suppose o - 8*o + 56 = 0. Let q be i(o). Solve 2*a + 14 = -3*x, 5*a - q = 2*x - 1 for x.
-4
Let w(k) be the second derivative of k**4/12 - k**3/3 - k**2/2 + 3*k. Let y be w(3). Solve -33 = 5*z + 3*c + c, -y*c = 2*z + 14 for z.
-5
Let c = 1 + -1. Suppose 4*l + 1 - 65 = c. Suppose -3*n - 5 = 4*h - 11, h - 5*n = -10. Solve -3*f = s + l, h*f - s = -2*f - 4 for f.
-4
Let m = 2 - -8. Let h = m + 0. Solve t = -r + 3, r + h + 11 = 5*t for t.
4
Let j(y) = y**3 + 6*y**2 + 3*y - 13. Let o be j(-3). Solve -o*d + 10*d + 2*n = 27, 4*d - n - 19 = 0 for d.
5
Suppose 0 = -2*g + 5 + 37. Let r be g/6*(-24)/(-14). Solve y - r*y + 32 = -4*m, -4*m - 2*y = 4 for m.
-3
Let n(q) = q**3 + 18*q**2 - q - 15. Let g be n(-18). Solve -r - 3 = 5*f - g*r, -f - r = 2 for f.
-1
Let p(y) = -y + 10. Let g be p(11). Let h be -9 - g*(-1 + 2). Let a = 11 + h. Solve 3*t = -a*b + 15, 3*t = -b - 9 + 20 for t.
3
Let q = -6 - -9. Solve -q*u - 1 = -4*d - 14, 2*u - 2*d - 6 = 0 for u.
-1
Let y(p) = p**3 - 6*p**2 - 7*p + 4. Let z be y(6). Let w = -26 - z. Let v = -3 + w. Solve -2*x - v = -3*j - 25, -2*x + 2*j + 14 = 0 for x.
5
Suppose 3 = k + 2. Let i be 3 + k + -1 - -3. Let s be (-3)/((-9)/i) + -2. Solve 5*g + 5 = 0, s = -4*c + 2*c - g - 3 for c.
-1
Let r(n) = -n**2 + 15*n - 22. Let i be r(13). Solve -3*g = -4*k - i - 18, -g = -3*k - 14 for g.
2
Let s(d) = 3*d - 10. Let r(v) = -4*v + 11. Let z(o) = -2*r(o) - 3*s(o). Let j be z(4). Solve -j*t = -16, 2*y = -3*y + 2*t - 3 for y.
1
Suppose 0 = -x + 2*a + 6 - 3, 0 = 4*a. Solve 3*b + 7 = -4*i, 5*i - x*i = -4*b - 6 for i.
-1
Suppose -q = -2*q + 10. Let l = q - 3. Solve 0 = -z + 3*o + 15, 3*o - 5*o + l = 5*z for z.
3
Let b(y) = -6*y**2 + 9*y. Let c(d) = -7*d**2 + 10*d. Let r(z) = -6*b(z) + 5*c(z). Let x be r(4). Let q = 3 + x. Solve j - 15 = 4*v + 2, j = q*v + 12 for v.
-5
Suppose 24*r - 19*r - 25 = 0. Solve 3*n = -r*g - 6, -2*g - 4*n + 9 = -g for g.
-3
Suppose -10*x + 5*x + 20 = 0. Solve 3*k - 5*b = 0, x*b = -k + 6 + 11 for k.
5
Let r(f) = 12*f**2 - f - 1. Let w = 8 - 9. Let x be r(w). Solve 0 = 4*u - 4*k + x, -u - 7*k - 15 = -2*k for u.
-5
Let d be 5 + -6 + -1 + 13. Solve c - 4*m = 4*c - d, -5*c - 35 = -4*m for c.
-3
Suppose 2*j - 3 = 5. Suppose 0 = 3*x - 3*p - 78, j*p = x - 6 - 26. Solve 2*a - x = 3*r - a, -4*r + 5*a = 37 for r.
-3
Suppose 3*c + 9 = 6*c. Suppose -2*o + 6 = 5*w - 5, -3*o - c = w. Suppose -q = -6 + 3. Solve -3*p + 0*k + w*k + q = 0, 5*k + 2 = 2*p for p.
1
Let r be (-2 - -14)*20/12. Suppose -5*v + r + 0 = 0. Suppose -5*u + 7 = -v*d, 4*u - 3*u + 1 = 2*d. Solve -4*s - 3*l = -3, -d*s - 3*s - l = 10 for s.
-3
Let r = -17 + 21. Solve 4*t + 5*j - 25 = 0, -t = -r*t + 2*j - 10 for t.
0
Let f be (-3)/(-15) - (-11)/(-5). Let q be ((-4)/6)/1*-3. Let v be f - (2 - 18)/q. Solve -2*r - x - 6 = 0, r - v = 3*r - x for r.
-3
Suppose -2*k - 4*h = 4, 3*k + 7*h - 2*h = -4. Solve 5*d - 5*c = 0, -d - c = k*d + 12 for d.
-3
Let i(z) = z**3 - 3*z**2 + 2*z + 7. Let q be i(3). Solve 5*w - 2*m + 26 = 5, 0 = w + 4*m + q for w.
-5
Let i(t) = t**3 - 7*t**2 + 7*t + 5. Let a be i(6). Solve 6 = -3*n - b - a, -2*b - 4 = 0 for n.
-5
Let y(l) = l - 10. Let w be y(4). Let u be (3/2)/(w/(-16)). Solve u*t + 2*z = 2, -3*z = -5*t + 4*t + 4 for t.
1
Suppose 4*z - 25 + 9 = 0. Solve -2*d = -2*t, -t + 0*t - z*d + 15 = 0 for t.
3
Let i(w) = -6*w - 2. Let s be i(-1). Suppose s*q + 16 = 60. Solve -6 = -3*j - z, j = -j - 3*z + q for j.
1
Let j = -12 - -20. Suppose -4*b + j = 4*t, -5*b + 4*t - 21 = 5. Let k be (b - (-1 + -1)) + 0. Solve -m + 4*x - 17 - 2 = k, 5*m = -4*x + 1 for m.
-3
Suppose -20 = -4*i, 0*a - 2*a + 17 = 5*i. Let u be 4 + a/(-12)*-3. Solve -3*d + 5 + 5 = 4*m, u*m = -2*d + 7 for d.
2
Let b be 364/12 + 1/(-3). Suppose -t - 4*t = b. Let w be (-2)/t - 4/(-6). Solve -25 = 4*y + 5*