= y*v - 0*v - 28 for q.
5
Suppose 3*f - 1 - 11 = 0. Solve -6 = 2*x + 2*w, 0*x = 5*x + f*w + 16 for x.
-4
Suppose 38 = -3*j - 1. Let i = j - -17. Let z = 12 - 8. Solve i*d - 3*n - 8 = 0, 2*d + 0*n = z*n + 4 for d.
2
Let t be (1/2)/(3/(-18)). Suppose 16 = -4*v, 2*v = y - 1 - 4. Let h = y - t. Solve 13 = 5*n - 2*g, h*n + n = -4*g + 7 for n.
3
Suppose 4*d - 7*d = -6. Suppose 5*j + 1 = -d*v + 26, 0 = -5*v. Solve 5*c + 1 = 2*g - g, 5 = j*g + 3*c for g.
1
Let k = -227 + 229. Solve -v - 3*v + 20 = 0, k*b + 3*v - 15 = 0 for b.
0
Suppose -5*n + 84 = -111. Let g = -24 + n. Solve -g = -3*z + 8*z, 2*p - 2*z = -2 for p.
-4
Suppose 4 = -o + 8. Solve v - 12 = -o*d + 5*v, -3 = d + v for d.
0
Let x be (-3 + 8/6)*-3. Let d(f) = f**2 - 7*f + 5 + 4 - x - 1. Let s be d(7). Solve a + 5*p - 16 = 0, s*a + 4*p = -a + 16 for a.
1
Let i = 35 - 30. Solve 4*f + 1 = x + 2, 0 = -f - 5*x - i for f.
0
Let t(j) = -j + 5. Let c be t(7). Let v be (-4 - c)*(-6)/4. Solve 0 = -v*r - 6, -3*q - 4*r - 23 = 2*q for q.
-3
Let n(j) be the second derivative of j**5/20 - j**4/4 + 6*j. Let g be n(3). Solve 0 = 5*m - 25, g = -2*h - 4*m + 13 + 15 for h.
4
Let z = -1 - -9. Let y = z - 4. Let a(x) = -x**3 - 3*x**2 + 2*x - 3. Let c be a(-4). Solve y*t = -n - 4 + c, t = 5*n - 26 for t.
-1
Let g(f) = -f**3 + 2*f**2 + 5*f - 2. Let d be g(3). Solve -x = -d*h - 3*x, 0 = 5*x - 10 for h.
-1
Let a be 3 + 1/(3/(-48)). Let u = a - -17. Solve u*t + 4*r = -24, -2*t + 4*r + 0*r = -12 for t.
-2
Let m = 2 - 0. Suppose 3*p + m = -2*d, 2*p + 2*d + 2 = -2*p. Solve -5*b + 0 = 2*v - 14, -5*b - v + 12 = p for b.
2
Suppose 7 = 4*d - 5. Suppose 2*o - 7 = -d. Solve -4*u = 3*g - 2, 6*g - 3*g = o*u - 10 for g.
-2
Suppose -3*r - 3*r = -96. Solve -f - 5*s = -r + 39, -f - s = 3 for f.
2
Let m(j) = 2*j - 1. Let c = -4 - -6. Let t be m(c). Solve -x = -2*u + 4, -t*u + 7 = 2*u - 4*x for u.
3
Let j = -3 - -5. Let x = 13 - j. Solve -5*c - g = -0*g + x, 7 = -2*c - 3*g for c.
-2
Suppose 5*l - 17 = -62. Let u be -3*(3 - (-21)/l). Let i(d) = 2*d**2 + 4*d + 2. Let c be i(u). Solve 0 = h - o - 1, -18 = -2*h - 4*o + c for h.
4
Suppose -n + 5*m + 20 = 4*n, -2*n - 2*m = -4. Solve -5*u - 2*z = -10*u + 12, 3*z = n*u for u.
4
Let j = 15 + -7. Let h = 2 - j. Let b be 0*(8/h - -1). Solve 0 = 5*k + 3*o + 20, b*k + 2*o = -3*k - 12 for k.
-4
Suppose 5*w = 29 + 6. Solve -p + 3 = t, 4*p - w = 3*p + t for p.
5
Let a(h) = -8*h**2 + 1. Let x be a(1). Let t = x - -10. Solve 0 = t*d + 6*c - c - 19, 7 = -d + 5*c for d.
3
Let j be (-1)/4 + (-45)/(-20). Solve 0 = 3*p + 3*r + 21, -4*p + j = -4*r + 6 for p.
-4
Let q = 59 + -57. Solve 0 = 4*c + 4*u - 4, c + 5*u = -q*c - 5 for c.
5
Suppose -3 = 3*x, 4*x + 19 = 5*l + 5. Solve l*c = 2*g, -4*c = -7*c + 5*g + 4 for c.
-2
Let s be (20/(-25))/((-2)/5). Solve 1 = -3*q + c, 3*q + c + s = 3*c for q.
0
Let t(n) = n**3 - 7*n**2. Let f be t(7). Solve -3*v - 5 = 5*a, -3 = 3*v + 3*a - f for v.
0
Suppose -4*p + 4 = -0*p. Let g be 0 - -2 - 1 - p. Let u be 2*(g - (-5)/2). Solve -5*f = -u*y, 5*f + y - 2*y - 20 = 0 for f.
5
Let u = 0 + 1. Suppose -3*c + g - 6*g = -25, 3*g - 15 = -3*c. Solve -2*v + c*v + 3*q - 11 = 0, 4*v + q = -u for v.
-1
Let j = -59 + 61. Solve -j*z - 4 = 2*c, 7*z + 2*c = 3*z for z.
2
Suppose -11 = -4*i + z + 45, -61 = -3*i - 4*z. Solve 5*j + 3*c - i = 0, -4*j - 1 + 13 = 5*c for j.
3
Let l be (-5)/(-15)*2*3. Suppose 0 = -l*c - 1 + 5. Solve -2*v - 10 = -c*p, 3*v = 3*p - v - 19 for p.
1
Let s = -81 + 84. Solve -12 = -2*f - 2*h, 2*f - f - 2*h + s = 0 for f.
3
Suppose 5*t + m = 3*t + 1, 3*t - 4 = m. Solve u - 18 = 3*i - 1, t = u + i for u.
5
Let c be -3*(-4)/12 + 55. Let s = c - 34. Solve -2*f = 2*i - i + 13, 3*f + s = -2*i for i.
-5
Let n be 0/2 + -1 - -5. Suppose -n = j - 4*d, -3*d + 0*d + 3 = -2*j. Solve -w - 1 = 2*w - y, j = 4*w - y + 2 for w.
-1
Let j(h) = h**2 + 3*h - 7. Let l be j(-5). Let q(g) = -g**3 + 3*g**2 + g - 3. Let p be q(l). Suppose 3*z = 4 + 2. Solve 3 = z*f - f - 2*w, p = 4*w for f.
3
Suppose -4*p - 3*t = -11, -t + 5 = 4*p - 4. Solve 0 = -5*x - 3*j - 32, p*j + 4 = -3*x + 4*j for x.
-4
Suppose 0 = -3*w, 0*i - 2*i + 24 = -3*w. Solve -4*c + i = v, v - 5*c + 3 = -3 for v.
4
Let a(o) = -o**3 + 2*o + 2. Let u be a(0). Let f(s) = 10*s**3 + s**2 - 1. Let k be f(1). Solve -q + 5*l - k = 2*q, -u*l = 2*q + 12 for q.
-5
Let z(c) = -c**2 - 13*c + 32. Let p be z(-15). Solve 4*g - 5 = -3*f + p*g, 0 = -5*g + 5 for f.
1
Suppose 0 = 4*h - 2*h - 20. Let x = -1 + 1. Suppose x = y - 2*y + 4. Solve -2*w = y*q + h, -3*q - 3 - 9 = 3*w for w.
-3
Let y be 36/16 - (-2)/(-8). Solve 0 = 3*i + 2*x - 3, -y*i - i = -5*x + 18 for i.
-1
Suppose -4*g = -2*r - 116, 0 = g + 2*r - 5*r - 34. Solve 4*i + 4*m + g = 0, -22 = -i + 5*m - 5 for i.
-3
Suppose 3*n + 47 = 122. Solve -3*y - n = -4*w, -4*w + 1 = -y - 18 for y.
-3
Let f be (0 + -1 + 8)/1. Let q = -6 - -2. Let o = f + q. Solve l + l + 3*z = -2, -10 = 4*l + o*z for l.
-4
Let p = 6 + -4. Let b = p + 1. Let l be 2 + (-1)/2*0. Solve -l*r - 2 = i, 4*i + 2*r = -r - b for i.
0
Suppose 0 = -0*a + 2*a - 46. Suppose 5*h - a = 17. Let z = h + -6. Solve -2*p - z = n, -2*n = 3*n - p + 21 for n.
-4
Let k(h) = 3*h**2 + h - 2. Let v be k(1). Suppose -3*a = -5*d + 5, 5*d - 21 = a - 6. Solve -3*y - 13 = a*z, 2 = -z - z - v*y for z.
-5
Let u(v) = -2*v + 5. Let k be u(4). Let y = 0 - k. Suppose 0 = -s + j + y*j + 22, 3*j = -4*s - 7. Solve -s = -3*h + 5*c - 0, -3*c = -4*h + 10 for h.
4
Let p(t) = -2*t + 9*t - 12 - 5*t. Let n be p(12). Solve 5*g - 9 = 2*x, 2*g + 2*g = 4*x + n for g.
1
Suppose -2*q + 4*i + 26 = 0, 5*i + 4 = -3*q - 1. Solve 15 = -3*y + 4*k - q, -5*y = k - 5 for y.
0
Let g(u) = -14*u + 83. Let x be g(5). Let r(b) = -b**3 + 1 - 3*b**2 - 1 - 2*b. Let h be r(-2). Solve 4*q = -5*c + 2*q - 18, 3*c - q + x = h for c.
-4
Let p(b) = -b + 5. Let m be p(2). Suppose -m = i - 2*i. Solve 3*d + i = c + 5*d, -2*c = -d - 11 for c.
5
Suppose 8 = y - 3. Solve m + 5*s = -25, 0*s = -3*m + s - y for m.
-5
Let c be 9*((-22)/6 + 4). Solve 3*o = -c*s, -2*s + 4*s + 5*o + 9 = 0 for s.
3
Suppose 6 = 3*k - 42. Let j = k + -11. Solve -8 = -4*u - 0, 5*r = j*u - 20 for r.
-2
Let v(n) = -2*n + 1. Let h be v(-6). Let m = 18 - h. Solve -4*j - 30 = -0*j - m*a, -5*a - 10 = 4*j for j.
-5
Let h = 5 + 0. Suppose 5*u = 4*m + 8, 0*u + h*m + 10 = 2*u. Solve -5*w + i - 16 = u, 5*i + 8 = -4*w + i for w.
-3
Let x(g) = -g. Let m be x(-2). Solve m*l = -i - i - 12, -2 = 2*i for l.
-5
Suppose 0*y = -4*y + 12. Solve 0 = y*v - a - 16, -v + a + 1 = -5 for v.
5
Suppose -5*r - 3*j + 28 - 3 = 0, -2*j = 2*r - 14. Solve 7*n + 3*q - 1 = 2*n, r*n + q - 1 = 0 for n.
2
Let d be (-5)/5 - (-1 + 0). Solve d = 3*b - 2*p - 9, p - 8 = -4*b + 4 for b.
3
Let f = -11 + 16. Let q(h) = -4*h + 1. Let z be q(-1). Suppose -5*u = -0*u + 2*i - 25, 3*i + 8 = -u. Solve a = -a + f*x + u, a - 11 = z*x for a.
-4
Let p(y) = -5*y**2 - 3*y - 1. Let n be p(-2). Let u = n + 21. Let k be 6*(2 - 9/u). Solve -2*x + 3*x - 11 = -k*b, -x - 5 = -b for b.
4
Suppose 5*n + 7 = -2*g - 2, -n = -5*g + 18. Suppose d = g + 14. Solve 5*w + 5*r = -10, 0 = -w - 4*w + 4*r + d for w.
1
Let d be 16/6*33/22. Solve 3*b + 6 - 2 = -4*w, 4*b + d*w = 0 for b.
4
Let p = -169 - -169. Solve 2*b + 4*r + 19 - 5 = p, -3*r - 24 = -3*b for b.
3
Suppose 3*n - 2 = 2*q, n - 2*q = -2 - 4. Solve 0 = n*x - 3*x + 5*g - 23, 13 = x + 3*g for x.
-2
Suppose 2*f + 0*w + 3*w - 10 = 0, -3*f + 15 = 5*w. Solve -f*n + 3*v - 34 = 0, -2*n - 8 = -n - v for n.
-5
Let k(u) be the third derivative of -u**4/8 - 2*u**3/3 + 4*u**2. Let z be k(-3). Solve -4*s - 10 = -2*w, 2*w = z*s + 6*w - 7 for s.
-1
Let r be (1/2)/(9/72). Solve l - 3*b = -0*l - 2, r*b + 4 = -2*l for l.
-2
Let m be 3 - (-1)/1*0. Suppose -3 + 6 = -3*y, -5 = -2*i - y. Suppose -3*t = -i*g + 6 - 0, 8 = 4*g + 2*t. Solve -g*p + m*w + 3 = 0, -4*w + 1 = -4*p + 3*p for p.
3
Suppose 0*s + 3*s + 114 = 0. Let b = s - -21. Let j be b/(-5) + 4/(-10). Solve 4*a + 0*a = -2*r + 2, 9 = -j*a - 5*r for a.
2
Let i be ((-1)/(-3))/((-1)/(-15)). Suppose -7 = -3*c + 5*a + 28, -2*c + 40 = i*a. Solve -4 = -k + 5*m + c, 5*m = -k - 11 for k.
4
Let c(h) = 11*h**3 - h**2 - h + 1. Let n be c(1). Solve 2*l - 3*v = 5, -3*v + n = -5*l - 0*l for l.
-5
Let d = 12 - 9. Solve -5*j = d*b - 6*b - 14, 4*b = 8 for j.
4
Let i(y) = -y**3 + 5*y**2 - 4*y + 2. Let z be i(3). Suppose -3*x + z*x + 19 = -3*h, -x