 - 6*a + 7 = s for a.
1
Suppose -5*b - 43 = -18. Let j = -1 - b. Let w(i) = -i**3 - 4*i**2 + 3*i - 5. Let y be w(-5). Solve -d - 3 = y*z - j*d, -d - 13 = 3*z for z.
-3
Suppose 23 = 2*h - 3*v, -v - 25 = 3*h - 8*h. Suppose -5*k = -h*c - k + 8, -16 = -3*c - 2*k. Solve -3*q + 2*n - c = 0, 3*q - 3*n = -q - 4 for q.
-4
Let r be (-24)/(-10)*(-17)/((-510)/75). Solve -t - 5*v = -5*t - 30, -r = 2*t + 2*v for t.
-5
Let i be (-4)/9 - 44/(-18). Solve -4*b - i*m = 3*m - 1, 4*m - 4 = 0 for b.
-1
Suppose 83*k + 2 - 168 = 0. Solve 28*q - 3*p - 4 = 27*q, -p = -q - k for q.
-5
Let k be ((-156)/(-8)*6/(-9))/(-1). Solve 5*d + 5*v = 0, 18*d - 2*v + 7 = k*d for d.
-1
Let t(x) = 4*x + 111. Let r be t(-27). Let a(l) = l**2 + 4*l - 5. Let v be a(-5). Let q = 2 + v. Solve q = -4*c + 2*j, c + r*c = j - 1 for c.
0
Suppose 4*a + 5 = -a. Let b = 6 - a. Solve -q - b = 4*h, 2*h + 0*q + q + 5 = 0 for h.
-1
Let s be (-1)/((45/120)/((-3)/2)). Solve -4*p - s = -5*p + d, 5 = p - 2*d for p.
3
Suppose -2*i = 2*j - 78, 5*i - 165 - 14 = 3*j. Solve -4*q - i = -4*f + 3, 0 = 3*f - 15 for q.
-5
Let l be (24/(-15))/((-12)/30). Solve -q - 8 = 5*z - 3*q, -z + l = q for z.
0
Let j be (-7)/28*42*(-8)/14. Solve -c = -5*c - f + 14, -f = -c + j for c.
4
Suppose -4*d = -6*d - 14. Let i be (2/(-4))/(d/70). Suppose -i*y = 15, -4*y = -2*a + 34 - 4. Solve -v - 28 = 2*v - 5*k, k - a = 4*v for v.
-1
Let g = -32 + 37. Suppose 2*y - g*o = -0*o, o = 4*y. Suppose -5*d - 4*v = -14, 5*d - 6 + 0 = 4*v. Solve -3*l = -7*l - d*m - 8, 5*m = y for l.
-2
Suppose -h - q + 6 = -0*h, 0 = 3*h + q - 16. Suppose h*f - 1 - 9 = 0. Suppose 4*b - 18 - f = 0. Solve 5*z + k = -4, -k - 2*k - 2 = b*z for z.
-1
Suppose 5*i + 9*i - 42 = 0. Solve 15 = i*v, 5 = -5*y - 2*v - 0*v for y.
-3
Suppose -4*z = -5*i - 89, 0 = 15*z - 10*z + 3*i - 65. Solve 3*y = -0*h - h - z, 3*y = -5*h - 20 for y.
-5
Suppose 13*k - 10 = 8*k. Solve -4*n + k*c = -24, -n - c = -2 - 1 for n.
5
Let c(g) be the second derivative of -11*g**3/6 - g**2 + 18*g. Let k be -3 - -2*2/2. Let h be c(k). Solve 0 = -2*b - 5*q + 15 + h, 2*b + 3*q = 16 for b.
2
Let w be 3/(((-42)/4)/7). Let y be 2/(-2)*16/w. Solve h = -2*z + 5, -z + y = -5*h - 11 for h.
-3
Suppose 2*y - 7*y + 5*p - 20 = 0, 3*y + 24 = -p. Let f = y - -11. Suppose -f*q = -q. Solve -4*a + d - 3 = q, 0*d = 4*d + 4 for a.
-1
Suppose 9 - 25 = -d. Let n be (-4)/16 - (-4)/d. Suppose 0*a - 3*i - 9 = -3*a, 5*a = -i + 9. Solve -v - a*u = -2*v - 6, n = 4*v + 4*u for v.
-2
Let g be ((-161)/(-14))/((-1)/(-2)). Suppose -d + g = -2*d. Let o = -14 - d. Solve 9*m + w + 18 = 4*m, 5*m - 2*w = -o for m.
-3
Let r be 2 + -1*3/(-3). Let l(v) = -r - 4*v + 0*v + 4*v - 5*v. Let h be l(-1). Solve -3*y + 4*m - 10 = 0, h*y = 5*m + 12 - 28 for y.
2
Let q(t) = 6*t + 44. Let w be q(-7). Solve 5*c + 16 = -w*m, 4*c + 6 = 3*m - 16 for c.
-4
Suppose 28*a - 11*a = 34. Solve -5*j + a*t = 4*t - 16, -14 = -3*j + t for j.
4
Let c be (1 - (-3)/6)/((-33)/(-44)). Solve 3*b + c*b + 25 = 4*p, b = p - 5 for p.
0
Let a be (-1 - -1)*(-5)/(-10). Solve 0 = -3*c + c - 3*t + 10, a = -t for c.
5
Let o be (2 - 6 - -2) + (57 - 50). Solve 4*c - c = -5*q + 17, -q = c - o for q.
1
Let c(y) = 22*y + 179. Let m be c(-8). Solve 25 = -3*t + 8*t - 2*w, 0 = -m*t - 4*w + 15 for t.
5
Let k be (0/(-1) - (-6 + 5)) + 0. Let u be ((-165)/(-10))/11 + k/2. Solve -3*a - 32 = -w + 6*w, -u*a = 8 for w.
-4
Let j = 5 - 15. Let i = j - -12. Suppose -q + 5*d - 11 - 9 = 0, -i*q + d + 5 = 0. Solve 14 = -3*r + q*t - 5, t - 11 = -3*r for r.
2
Let g(o) = -301*o. Suppose 2*b = -3*b + 5. Let v be g(b). Let y be v/(-42) - 2/12. Solve -2*l - l - y = -4*i, l + 4*i = -13 for l.
-5
Let c(s) = 3*s**2 - 6*s - 8. Let n be c(3). Solve 5*v - p = -0 + n, -v - 3 = 3*p for v.
0
Let n = -299 - -304. Solve 2*x = h + 4 - 0, -2*h + x - n = 0 for h.
-2
Let q(k) = 33*k - 624. Let i be q(19). Solve -30 = 5*g + 4*a, 2*g = -a + i*a + 6 for g.
-2
Let g = 3 + 3. Let d be g*(12/(-9) + 2). Let x = -729 + 731. Solve 0*t + 14 = -x*p + d*t, -3*t = -3*p - 18 for p.
-5
Suppose 2 - 12 = 5*b. Let z = -14 - b. Let l be 17/4 + (-9)/z. Solve f - l = 2*c, -c = 2*f + 2*f + 16 for f.
-3
Suppose -5*t = -0*t - 15. Suppose -3*b = -0*b - 5*w + 19, b - 5*w + 23 = 0. Solve -4*u + 3*f - 22 = 0, -t*f - b = 2*u - 0 for u.
-4
Let l be (-3)/(-6 + (-90)/(-20)). Solve -k - 2 = 2*h - 8, -l*h + k + 2 = 0 for h.
2
Let i = -164 + 166. Solve 10*a - 5*a = 5*p, -a = -3*p + i for p.
1
Let q(l) = -l**2 + 4*l + 2. Suppose 0*z - 4*z + 16 = 0. Let g be q(z). Let i = -22 + 25. Solve 5*h - 1 = i*f, 0 = 4*f + g*h - 7 + 17 for f.
-2
Let d(m) = -4*m**3 - 2*m - 3. Let s be d(-1). Solve 26 = -2*n - 2*n - 3*x, -x - 17 = s*n for n.
-5
Suppose -2*j - 18 = -4*j. Let q(f) = 2*f - f - j*f**3 + 8*f**3 + 10*f**2 - 8. Let b be q(10). Solve 14 = 2*g + b*x + 2*x, -3*g + 2*x = 3 for g.
1
Let q(x) = 2*x**3 - x**2 - 1. Let i be q(2). Suppose 11 = 3*b - 1, c - i = -2*b. Solve -4*d - 8 = 4*y, c*y + 0*y - 18 = 3*d for d.
-4
Let x(s) = -2*s**3. Let n be x(1). Let i be (n + 3)*-1 - -9. Let u be (0/((-3)/(-3)))/1. Solve 12 = 4*d, -2*d = -u*v - v - i for v.
-2
Suppose -18 = 6*h + 18. Let i(w) = -w**2 + 11. Let q be i(h). Let o = 25 + q. Solve 3*x + x + 2*b - 16 = o, 0 = 4*x + 4*b - 16 for x.
4
Suppose w - 52 - 40 = 0. Suppose -39*t + 43*t - w = 0. Solve 5*a = u + t, u + 0*u + a - 7 = 0 for u.
2
Suppose 4*l - 30 = -2*y, -33 = 3*l - 8*l - 4*y. Let o(i) = i**2 - 9*i + 5. Let g be o(l). Let c = 49 + -30. Solve 4*x + 2*k = k + 5, -g*x + 3*k = -c for x.
2
Let p = 1441 - 1419. Solve -2*m - 2*k = -4, 5*m + p = 2*m + 4*k for m.
-2
Suppose -n + 4*g = -0 + 11, -4*g + 36 = 4*n. Solve -n*f - 8 = -2*c + 9, 4*f - 4*c + 16 = 0 for f.
-3
Suppose 5*d = -4*i + 36, -d - 2 + 7 = 3*i. Solve -9 = -d*t + 13*t + 3*p, 6 = 3*p for t.
-3
Let z(w) = w**3 - 8*w**2 + 8*w - 4. Let n be z(7). Let a(m) = -m - 6. Let c be a(-17). Let l be (2 + 14/1)*c/22. Solve l = 4*i + h - 7, -h = -n*i + 6 for i.
3
Suppose -2*h + 3*z + 0*z - 24 = 0, 2*h - 2*z = -24. Let v be h/21 - (-984)/56. Solve -10 = -t + 4*o, -v = t - 0*o + 5*o for t.
-2
Suppose 0 = -6*i + 10*i. Let y = 2 + i. Suppose -d = y*d. Solve -3*w = -5*c - 41 + 10, -4*c + 5*w - 30 = d for c.
-5
Suppose -24 = 11*q - 19*q. Solve 5*v = 2*v + 5*w - 20, 0 = q*v - w + 16 for v.
-5
Let h = 512 - 507. Solve -3*x + 18 = -3*f, h*f - 2*x + 0*x = -27 for f.
-5
Suppose -3*h + 4*g + 222 = 0, -2*g - 12 = 2*g. Let v = 75 - h. Solve -22 = 4*l - q, -v*l + 8 = -2*q + 37 for l.
-5
Let c = -12 + 6. Let l(q) = q**3 + 7*q**2 + 8*q + 7. Let k be l(c). Let b = 19 + k. Solve n = 2*j - 0*j + 6, 3*n - b = 5*j for j.
-4
Let y(x) = -x + 5. Let a be y(5). Let b = 0 - a. Solve -4*z - 27 = -5*c, -c + b*z + 2*z = -9 for c.
3
Let q(u) = u. Suppose -2*c = 17 - 5. Let o be q(c). Let m be 3 + 0 - (7 + o). Solve -19 = -5*j + 6, -m*j = -2*r for r.
5
Suppose -73*o - 213 = -578. Solve o*i - 9 = -2*w + 6, 6 = -4*w + 2*i for w.
0
Let n be 12/15*(-5)/(-2). Let j(x) = x**2 + x - 2. Let l be j(n). Suppose p + 5 = 0, l*q - 3*p - 13 = 26. Solve 3*k = 4*k - 3*g + q, -5*k - g = -18 for k.
3
Let d(s) = 2*s + 6. Let h be d(-3). Suppose -60 = -5*v - 5*m, h = -5*v + m + 19 + 11. Solve x = -p + v, -5*p = -17 + 7 for x.
5
Let r be 0 + (-1 - -7 - 1). Let s(u) = u**3 - 20*u**2 - 20*u - 18. Let y be s(21). Solve -5*a - 3 = -x, 0 - 1 = y*x - r*a for x.
-2
Let b be -6 - -20 - ((-2)/(-2) - 1). Let v(l) = -l - 9. Let x be v(-10). Let h = 6 - x. Solve 4*s - 2*p - b + 0 = 0, 0 = 3*s - h*p for s.
5
Let q be 0*(-5)/(-10)*-1. Suppose b = 16 - q. Solve 3*g - 9 = 3*u, 2*u = 2*g - 5*g - b for u.
-5
Let a(g) = -g**2 - 2*g - 1. Let h be a(-1). Suppose h*x + 2*x = 4. Let u be x/7 - (-234)/14. Solve -2 = 4*o + 3*w + 3, 2*o - 5*w - u = 0 for o.
1
Suppose -5*d + 1 + 9 = 0. Solve 4*i - 3*o + 11 = 0, d*i - 2*o = 6*i - 14 for i.
1
Let g = -55 - -57. Suppose 28 = g*c + 2*q, c + 5 - 3 = 3*q. Solve -2*i - 24 = -4*j - 2, -c = -2*j for i.
-1
Suppose 147 = 3*o + 2*o + 2*b, 4*o = -2*b + 118. Suppose -3*h + 4 = -o. Solve -l - 3*q + h = 0, -2*l + 2*q - 4*q = -14 for l.
5
Let u be 84/6 + -5 - 7. Solve u = -3*q + 4*w, 0*w = -3*q + 3*w for q.
2
Suppose -8*y = y - 72. Let p be y/8 + (1 - (-2 + 2)). Solve 3*u = -5*r + 2*u + 9, 9 = r + p*u for r.
1
Suppose 9*y = 6*y + 15. Solve -3*i - 3*k = -8*i - 28, -2*i - 5*k = y for i.
-5
Suppose -2*y - 136 = 3*t - 7*t, -2*t +