- 5*a - 3 for a.
-3
Suppose -6 = k - 19. Suppose 0 = -3*z + 14 - 2. Solve -z*p = -3 - k for p.
4
Suppose -5*s + 7 + 3 = 0. Solve s*m + 0 = -6 for m.
-3
Suppose -7*z + 10*z = 3. Solve 0*a + z = a for a.
1
Suppose 8*l - l - 21 = 0. Let d be 4/8 - (-14)/4. Solve d*o - 7 = -l for o.
1
Let r(p) = -p**3 - p**2 + 8*p + 6. Let x be r(-3). Solve -2*q + 3*q + 2 = x for q.
-2
Suppose c - 4 = -2*l + 2, 0 = 4*l - 12. Let n = 3 + c. Let f be n*(-3 + (-29)/(-3)). Solve -7*h + 2*h = -f for h.
4
Suppose 2*g + 3*h = 7*g + 5, 3*g + 4 = 2*h. Suppose -4*u = -g*u - 2. Let n be (24/6)/(u + 1). Solve -n*q = q - 3 for q.
1
Let x = -9 - -9. Suppose 0 = 3*r - k - 17, x*r + 4*k = -r - 16. Solve -r*m = -m for m.
0
Suppose -4*m - 7 - 41 = 0. Let k be (8/m)/((-3)/18). Solve 0*j = -k*j + 20 for j.
5
Let g(n) = n**2 - 8*n. Let i be g(9). Solve -2*f - f + i = 0 for f.
3
Let t = -6 - -7. Let p be 1/((t + 2)/33). Let l(w) = w**3 - 11*w**2 + 12. Let u be l(p). Solve -g = 2*g + u for g.
-4
Suppose 0 = -l - 0*l + 4. Let t(n) = -4*n - 4. Let c be t(-3). Solve c*x = 4*x + l for x.
1
Let c = -196 + 216. Solve 2*z = -3*z - c for z.
-4
Let j be -1 + 1 + (3 - -2). Let c(i) = i + 7. Let g be c(-7). Suppose 5*r + 12 = 2*a, 0*a + 2*a + r = g. Solve -3*x + a = -j for x.
2
Let x be (3/(-6))/(3/(-150)). Suppose -3*l = 2*l - x. Solve 0 = -4*d + 1 - l for d.
-1
Let p be (2/5)/(3/15). Let h be (-4)/(p/((-1)/(-1))). Let j be -3*(-1)/(-2)*h. Solve -d = 1 - j for d.
2
Let j(v) = -v**3 + 7*v**2 + 2*v + 6. Let c(f) = -f**2 - 8*f. Let b be 2/2 + -8*1. Let z be c(b). Let x be j(z). Solve -6*t + 2*t = -x for t.
5
Let a = 103 - 96. Solve a*v = 11*v for v.
0
Suppose -3*m + 0 + 3 = 0. Solve 5*k - 14 = m for k.
3
Suppose 2*g = -0*y - y + 6, 4*g + 12 = 4*y. Solve -4*p + 8*p + y = 0 for p.
-1
Suppose 2*l + 0*l = 0. Suppose l*y = -y. Solve 2*x + y*x = 0 for x.
0
Let u(i) = -i - 3. Let a be u(-4). Suppose g + 4*v - 8 = 0, -12 = -5*g + 5*v + 3. Suppose g*k - 2*k = 2. Solve -x + k = -a for x.
2
Suppose 28 = -4*c + 4*g, -4*c - g - 23 = -0*c. Let x be (-26)/c + (-4)/(-6). Solve 1 - x = 4*v for v.
-1
Let z(g) = g + 5. Let u be z(4). Suppose -12 = -2*c - 4*y, -5*y = -3*c - 2*y + 63. Let n = -13 + c. Solve -n + u = 3*d for d.
2
Suppose -5*g = -r + 9 + 12, r - 3*g - 13 = 0. Let p = 4 + r. Suppose 4*u - 5*a = -13, 4*a = -0*a + 20. Solve 7 = p*z - u for z.
2
Suppose 2*q = 3*q - 16. Suppose -3*l = -x - 4 + 14, -2*l - q = 4*x. Let i be (4/3)/(x/(-3)). Solve -2*h = -0*h - i for h.
1
Let r be 4 + -5 - -5 - 3. Let h be (-4)/(-10) - 94/10. Let q be (-30)/h - (-2)/(-6). Solve -4*f - r = q for f.
-1
Suppose -8*a = -3*a. Suppose 0 = -a*g + 4*g. Solve 0 = 2*b - g*b - 6 for b.
3
Let o be 20/((-6)/(-3)) + -3. Let l = -7 + o. Solve l = -3*z + z + 10 for z.
5
Let a = -29 - -42. Let l = a - 8. Let z be (-2 + 6/4)*-2. Solve -z + l = 4*t for t.
1
Let r(g) = g**2 - 11*g + 2. Let l be r(11). Solve -2*v + l = -v for v.
2
Let j be 1/((-1)/3) + 7. Suppose 3*p + 2*h - 10 = 2*p, -j*h + 22 = 3*p. Solve 2*b = b - p for b.
-2
Let r be 0*(-1 - (-3)/2). Suppose 5*t = -r + 15. Suppose 0 = -9*h + 11*h - 2. Solve -h = t*m - 4*m for m.
1
Let x be (-28)/(-36) + (-2)/(-9). Let s(a) = x - 2 + 4*a - 3*a. Let b be s(1). Solve b = -o + 1 + 2 for o.
3
Suppose -8 = -8*q + 6*q. Solve 9 = -q*s - 7 for s.
-4
Let g(o) = 2*o - 12. Let r be g(7). Suppose 4*c = 4*i + 4, 5*c - 6 = -r*i + 6*i. Solve -c = -w + 3 for w.
5
Let o = -6 - -3. Let y = 2 + 0. Let z be (-4)/(-3) - y/o. Solve z*m = m - 5 for m.
-5
Suppose 0*o - 2*o + 4*s + 74 = 0, 0 = 4*s. Suppose -4*n + o = 5*w, 2*w - 13 = -n - 0*w. Solve 5 = -2*q + n for q.
-1
Let y(l) = l. Let i(a) = 3*a - 4. Let n(m) = -3*m**2 + 2*m - 1. Let k be n(1). Let w(o) = k*y(o) + i(o). Let t be w(4). Solve 4*s + s + 10 = t for s.
-2
Suppose 0*z - 15 = -3*z. Let j = -5 + z. Solve j = 2*s - s + 1 for s.
-1
Let p be 3 + -1 + -2*1. Suppose -4*y = -25 + 9. Suppose 6*f + 5*z = 2*f + 27, -y*f + 4*z = 0. Solve f*a = -p - 3 for a.
-1
Let a(k) = -2*k**2 + 5*k**2 + 2 + 3*k - 2*k**2 + 2*k. Let y be a(-5). Solve y*u + u = 0 for u.
0
Let f(j) = j**2 + 3*j + 2. Let q be f(-1). Solve q = 2*g - 4*g - 10 for g.
-5
Suppose 0 = 5*d + 5*z - 30, -14 = d + 2*z - 6*z. Suppose -d*f - 2*f = -16. Solve 0 = -h - f - 1 for h.
-5
Let i = -13 + 17. Let u be i/3*(-36)/(-8). Solve 0*p - 2*p = -u for p.
3
Let o = -1 + 4. Solve 0 = -2*n - o + 1 for n.
-1
Suppose 0 = 2*r + 13 - 23. Solve r - 3 = w for w.
2
Suppose 8*l - 6*l = 30. Solve l = 2*w + w for w.
5
Let b = 0 - -2. Let m be b*(-2 + 19/2). Solve -m = 7*v - 2*v for v.
-3
Suppose 6*x = 23 + 1. Suppose -2*c = -4 - 6. Solve -f = x - c for f.
1
Let q = 14 - 9. Suppose 0 = -r + 5*z - 8, -5*z + 16 = -0*r + 3*r. Let l be (-2 + r)/(-1) - 0. Solve l*w + w + q = 0 for w.
-5
Let z be 29 - 27 - (2 + -1)*-1. Solve -2*c = -z*c for c.
0
Let b = -11 - -18. Suppose -b + 5 = -h. Solve -3*w + h*w = -3 for w.
3
Suppose -2 = -w + 7. Let u = -15 + w. Let h be 8/(-6)*(u + 0). Solve f - h = -3*f for f.
2
Let i = 3 + 3. Solve -i*x = -x - 25 for x.
5
Suppose -b + 57 = 3*n - 4*b, n - 5*b = -1. Let z be (-16)/n + (-16)/(-6). Solve -9 = -5*i + z*i for i.
3
Suppose 3*d - 2*m + 7*m - 45 = 0, -5*d + 5*m = -75. Solve 3*r = -3 + d for r.
4
Let x(s) = s - 3. Let m be x(6). Suppose 5*o + 13 = -4*j, -5*o - 1 = 3*j + 15. Suppose -15 - 15 = -j*a. Solve 2*h + a = -m*h for h.
-2
Let f(g) = 2*g - 7. Let z be f(6). Suppose -56 - 25 = -3*h. Let b be (-2)/(-9)*3*h. Solve 2 + b = z*y for y.
4
Suppose -g - 6 + 4 = 0. Let t = 7 + g. Solve z + 1 = t for z.
4
Let n be ((-32)/(-6) - (-8)/12) + -3. Solve 0*a = -3*a + n for a.
1
Suppose -4*j + 0*j + 2*h = -10, j = -h + 4. Solve -j*p + 1 = -2*p for p.
1
Suppose -k + 6 = w + 1, 0 = 3*w + 15. Let x be 56/k - 10/(-25). Solve 18 - x = 3*b for b.
4
Let u = -22 + 14. Let q = -4 - u. Solve -q*g - 19 = -7 for g.
-3
Suppose 2*c = -h + 2, 5*c + 0*h = h + 19. Suppose -3*k + c*i = i - 16, 0 = 5*k + i - 18. Let u = k + -2. Solve 3*r + u = 2*r for r.
-2
Let a be 3*2*6/12. Solve a*c = -c - 16 for c.
-4
Suppose f = -4*f + 5*v - 5, -4*v + 20 = 0. Let k(y) be the third derivative of y**4/24 + 2*y**3 + 4*y**2. Let r be k(-9). Solve -f = -r*p + 2 for p.
2
Suppose 0*l - l = 32. Let r be (2 + l/12)*-3. Solve -4*g + r = 22 for g.
-5
Let z be 1*-1*(1 + -3). Suppose -3*x + 9 = s, -s + z*s = 0. Let p = -3 + 5. Solve 0 = -x*n + p*n for n.
0
Let y(m) = -m**3 + 4*m**2 + m - 1. Let k be y(4). Suppose k*w = -s + 2, -s - s = -4. Solve w = l + 2 for l.
-2
Let w be 5/1 + (-20)/4. Solve -3*t + 7*t - 20 = w for t.
5
Let c = 21 + -19. Solve -m - 7 = -c for m.
-5
Let f be (4/6)/((-8)/(-60)). Suppose -b - 81 = -4*b. Let v = b - 13. Solve v = -f*k - 11 for k.
-5
Let k = 13 + -8. Suppose k*u - 2*t = 0, -u + t = u - 1. Let f be (-2)/(u - -2 - 1). Solve -2*n = -4*n - f for n.
-1
Let k = 10 + -9. Let o = 11 - 7. Let n = o + 2. Solve 0 = w - n + k for w.
5
Let s(n) = -5*n - 2 + 4*n - 8 + 2*n. Let p be s(13). Solve p*q + 10 = 1 for q.
-3
Let j = 7 - -8. Solve s = -2*s + j for s.
5
Let z = -7 - -11. Suppose 4*d = 3*v - 0*v - 27, -5*d - 35 = -z*v. Let p be (v/4)/((-2)/(-8)). Solve -p = 2*n + 3 for n.
-4
Suppose 0 = -0*x + 4*x - 16. Suppose -x*k = -0*k. Solve -2*v + 8 = -k*v for v.
4
Let c = 60 + -57. Solve 0*n = -c*n + 12 for n.
4
Suppose 2*x + 8 = 0, 0 = 2*r - 4*r - 4*x. Solve 5*n = -23 + r for n.
-3
Let z = -36 + 48. Solve 0 = -3*a - a - z for a.
-3
Let k = 0 + 3. Suppose -k*v - 6 = d + 6, -v = 4*d + 4. Let h be 2/v*-20*1. Solve -3*p = -h + 1 for p.
3
Suppose 5*g - 29 = 1. Solve 0 = 5*n + 4 + g for n.
-2
Suppose -6*d - 55 - 59 = 0. Let y = d + 19. Solve w + 2*w + 3 = y for w.
-1
Suppose -c - 3*r - 3 = -r, 24 = 4*c - r. Solve -c*z = -z - 4 for z.
1
Suppose c = -100 + 101. Solve x - c = 2 for x.
3
Let a = 5 - 0. Suppose 0*y - a*y = -20. Solve -y*l - l + 15 = 0 for l.
3
Let z be 18/8 + 4/(-16). Suppose 0 = -q - 0*q + b, 4*q - z = 3*b. Solve -q*r - 3 = r for r.
-1
Let h be 98 - 1 - (18 - 21). Suppose -5*i + 2*s + h = 6*s, -37 = -2*i - s. Solve i = -3*w + 4 for w.
-4
Suppose 0 = 3*b + 4*q, 0 = 5*b - 0*q + 3*q. Let v = -1 - -4. Suppose 0 = 4*c - v*c - 3. Solve -c*t - 5 - 4 = b for t.
-3
Suppose -4*k - 2*z + 49 = -5*z, -5*z = -2*k + 35. Solve -a - 4*a = -k for a.
2
Suppose 9*d - 4*d = 30. Let g = -3 + d. Solve g = -z - 1 for z.
-4
Let k = 109 + -49. Let n be (-6)/(