
0
Let a = -11 - -7. Let x = 4 + a. Solve -4*k + 0*k + 12 = x for k.
3
Let y(n) = 2*n - 2. Let s be y(4). Solve -s = v - 3 for v.
-3
Let x(v) = 6*v + 7. Let y be x(0). Solve y + 8 = 3*w for w.
5
Suppose -27 = -0*p - p - 4*b, -2*b - 11 = -3*p. Solve -1 = 3*n - p for n.
2
Let p be (0 - -1)/(2/(-2)). Let o(f) = -f - 1. Let c be o(p). Solve 3*k - k + 6 = c for k.
-3
Let f(j) = 2*j + 9. Let x(h) = -h - 5. Let c(m) = -3*f(m) - 5*x(m). Let w be c(-4). Solve -y + 1 = -w for y.
3
Suppose -3*n + 3 = -9. Suppose -t - 9 = -n*w, -4*t + 0*t = 2*w + 18. Solve -3*g = 5 + w for g.
-2
Let m(n) = 5*n**2 - n. Let l be m(1). Let w(y) be the first derivative of -y**4/4 + 11*y**3/3 - 5*y**2 + 3*y + 2. Let t be w(10). Solve l*i = -t + 7 for i.
1
Let p(w) = w - 7. Let g be p(5). Let n(c) = c**2 + 2*c - 1. Let z be n(g). Let s(a) = -a**3 + a**2. Let d be s(z). Solve d = -3*h + 14 for h.
4
Let g(i) = i**3 + 12*i**2 - 12*i + 14. Let h be g(-13). Let v be h*0/(-3 - -1). Solve -2*a + 0*a + 6 = v for a.
3
Suppose t = 0, -5*s = -s + 4*t - 4. Solve 4*y - 19 = s for y.
5
Suppose -31 - 5 = -3*i. Suppose -i = -3*r, -a - 3*a - 4*r = -92. Let w be a/7 - 4/(-14). Solve w*h + 25 = 8*h for h.
5
Let w(l) = 4*l**2 - 3*l - 4. Let k be w(3). Suppose -5*g = -k - 2. Suppose -q - 1 = g*j - 4*j, -5*j = -5*q + 45. Solve q*i + 15 = -i for i.
-3
Let o be (-2 - -5)*29/3. Let j = o + -14. Solve w + 4*w - j = 0 for w.
3
Suppose -4*i - q + 12 = 0, 2 + 2 = 4*i - q. Solve 2*z - 20 = -i*z for z.
5
Suppose 2*w - 5 - 1 = 0. Solve w*t + 25 = 8*t for t.
5
Let v be (4/(-6))/(1/(-12)). Let j = 13 - v. Solve 0 = -j*k - 7 - 13 for k.
-4
Let s be 10/2*(-6)/(-10). Let x = 3 + s. Suppose -1 = -2*w + 7. Solve -w*u = -x*u for u.
0
Let s(w) = 6*w**2 + w + 1. Let u(t) = -t**2 - 12*t - 12. Let k be u(-11). Let m be s(k). Solve m*g + 8 = 2*g for g.
-2
Suppose -5 + 17 = -4*p. Let t be -3*2/(-6) - p. Solve 8*k - t*k + 4 = 0 for k.
-1
Suppose 0 = -2*l + 5 - 1. Suppose 0 = -l*x + 3*f + 15 - 1, 4*f = x - 12. Let t = x - 1. Solve 4*m + t = 23 for m.
5
Let y(c) = c**3 - 11*c**2 + 12*c - 20. Let o be y(10). Solve o*p = -4*p for p.
0
Let z be 3/12 + (-14)/(-8). Suppose 8*i - 3*i = 2*p - 5, -z*p - 5*i - 5 = 0. Solve p = t - 2 - 3 for t.
5
Suppose 3*z - 4*i + 4 = -30, -5*i - 38 = 2*z. Let v(a) = -6*a**2 - 1. Let k be v(-1). Let o = k - z. Solve -o*w + 2*w = 10 for w.
-2
Suppose -b + 6*b + 89 = 3*m, 2*m = -2*b + 38. Suppose 0 = -n - 2*n + 171. Suppose -5*i + 3*t - m = -n, -3*t = 9. Solve -2*q = -i - 1 for q.
3
Suppose z = -2*d - z + 2, -5*d = 4*z - 2. Let h be (4/10)/(d/(-20)). Let p = 21 - 19. Solve h*k - p = 2*k for k.
1
Let z be 4/10 + 4/(-10). Suppose -3*s + 1 = -11. Suppose 0 = -3*o - 2*p + 73, o - 25 = 3*p + 3. Solve d + s*d + o = z for d.
-5
Let z be (-5)/(10/(-32)) - 1. Suppose -5*b + z = -y, -4*y - 5*b + 45 = y. Solve -29 = -y*r - 4 for r.
5
Suppose 0 = -3*o + 3*v - v + 14, -4*v = 5*o + 6. Suppose -5*x + 8 = -o*a - 2, -2*x = -2*a - 4. Solve a = 3*t - 2*t + 2 for t.
-2
Let g be (-3 - -2 - 0) + 1. Let c be (-8)/(-4) + g + -1. Let s = c + 1. Solve -j = s - 1 for j.
-1
Let i(h) = -h**3 + 4*h**2 + 4*h + 5. Suppose 22 = 4*b + 2. Let f be i(b). Solve -3*a = -3 - f for a.
1
Let v(a) = -5*a + 1. Let u be v(2). Let r = u + 12. Solve 4*n - 3*n = r for n.
3
Suppose -23*s + 21*s = -4. Suppose -2*g + 5 = 3*r + 1, -r + 5 = -3*g. Solve -r*v = -v - s for v.
2
Let d be 1 - 0 - 5*-1. Suppose 3 = d*c - 5*c. Let k = 1 + -1. Solve k = -y + c*y + 4 for y.
-2
Suppose -5*a = -5*u + 90, 3*a - 25 = -4*u + 33. Suppose -r = -3*r + u. Solve 0 = -0*j - 2*j + r for j.
4
Suppose 0 = 2*m - 5*l + 2*l + 10, -m - 5*l + 21 = 0. Suppose 10 = 3*d - 5. Solve d - m = t for t.
4
Let k(v) = v. Let o be k(5). Suppose 4*i - n - o = 0, -5*i + 38 = -5*n + 13. Suppose 2*m + 2*m - 16 = -3*h, -h = i. Solve 0 = j - 2 + m for j.
-2
Suppose 4*v = 2*l + 3*v + 1, 2*v = -2*l - 4. Let k = 3 + l. Solve k*c + 2*c - 16 = 0 for c.
4
Let d = 4 - 1. Suppose 7 = -d*o + 22. Suppose 28 + 2 = o*q. Solve s = q*s - 25 for s.
5
Let v(c) = -5*c. Let p(s) = s. Let j(k) = -6*p(k) - v(k). Let m be j(-2). Solve 3*b = -m*b for b.
0
Let u(f) be the first derivative of -f**4/4 + 7*f**3/3 + 9*f**2/2 - 4*f - 3. Let o be u(8). Suppose -2*g + 3*g = 0. Solve g = -o*l - 1 + 9 for l.
2
Let l(p) = p - 4. Suppose 0 = 6*k - 4*k - 16. Let a be l(k). Solve o - a = -o for o.
2
Let x(j) = j**3 - 5*j**2 - 1. Let p be x(5). Let u = 2 - p. Solve 10 = -u*n - 2 for n.
-4
Let b be (4/(-5))/(14/(-210)). Solve -3*x - b = -6*x for x.
4
Let r be (-3 + 1 - -4)/1. Solve 0 = -2*w + r + 8 for w.
5
Let n(w) = 0*w**2 - 15 + 12 + 2*w**2 + 5*w. Let h be n(-4). Let g = h + -6. Solve 0 = -8*l + g*l - 15 for l.
-3
Let d(k) be the first derivative of -k**2/2 + 7*k - 6. Let g be d(7). Solve g = -5*l - 8 + 3 for l.
-1
Let f = 19 - 17. Solve f*o + 6 = -0*o for o.
-3
Suppose -20*o + 23*o - 12 = 0. Solve -2*a + 2 - o = 0 for a.
-1
Let m(z) = z + 4. Let h be m(-4). Suppose -5*c + 22 + 38 = h. Suppose 4*l + 0*l = c. Solve -l*v = v + 12 for v.
-3
Let i = -3 + 6. Suppose 0 = i*l - 0*l - 24. Solve 4*h = -0*h + l for h.
2
Let j be (-7 + 1)*2/6. Suppose -4*g + 13 + 3 = 0. Let q = g + j. Solve -3*w + q = -2*w for w.
2
Let q(k) = -k**3 + 5*k**2 + 7*k. Let d be q(6). Let v = -16 - -22. Let l = v - d. Solve l = -5*x - 12 - 13 for x.
-5
Let c(a) = -a**3 + 8*a**2 - 6*a + 5. Let r be c(7). Solve 0 = k - 4*k - r for k.
-4
Suppose -5*n - 4*n + 27 = 0. Solve 10 = -n*q - 5 for q.
-5
Let z = -3 + -1. Let w(c) = c**3 + 5*c**2 + 5*c + 6. Let a be w(z). Solve -2*h - a = -4*h for h.
1
Let t be (-3)/6*-4 + 1. Suppose -10 = z + 5*b, -6*z + 3*z - 2*b = 4. Suppose z = -t*a + 6. Solve 0 = a*f + 1 + 1 for f.
-1
Let r be 4/20 + (-6)/5. Let b = r + 5. Let z(x) = -x**2 + 5*x - 1. Let t be z(b). Solve -y + 5 = t for y.
2
Let g = 8 + 0. Suppose 10 = 8*m - 3*m. Solve -5*h + m = -g for h.
2
Suppose -1 = 5*v - 26. Solve -2*c = -v*c + 12 for c.
4
Suppose 5*l + 3*b - 20 = b, b - 11 = -3*l. Solve -l = a - 4 for a.
2
Suppose 4 = -4*h, -4*b + 2*b = -4*h - 40. Solve 0 = 5*k - 3 + b for k.
-3
Let q(v) = v**3 - 3*v**2 + 2. Let r(a) = a + 3. Let x be r(-3). Suppose 2*s - z = -0*z + 6, s - 3*z - 3 = x. Let k be q(s). Solve 5*j + 12 = k for j.
-2
Let w(i) = i**2 + 5*i - 7. Let u be -1 - -4 - (1 - 0). Suppose f + 8 = -3*f - 5*d, u = -2*f - 3*d. Let z be w(f). Solve 4*l = 9 + z for l.
4
Let z(f) = -4*f + 31. Let b be z(6). Let i be (-14)/(-4) - 3/6. Solve -i*g + 4 = b for g.
-1
Let k = -5 - -11. Let m = k - 2. Let c = m + -4. Solve c*q - 10 = -5*q for q.
2
Let c be (1 + -2)*0/1. Suppose -2*h - 4 = c, -2*q = -7*q - 3*h + 84. Solve 3*l - 3 + q = 0 for l.
-5
Let y be 1/(30/(-14) - -2). Let p = y - -8. Suppose -n + 6 = j + j, -n = 4. Solve p = j*s - 4 for s.
1
Suppose -4*n + 3*a - 3 = 0, 2*n + 2*a - 2 = 5*n. Solve 6*o - o + 10 = n for o.
-2
Let k(a) = -a + 9. Let u be k(8). Solve -4*l = 7 + u for l.
-2
Let d be -7 + 14 - (1 - 0). Solve d + 9 = -5*u for u.
-3
Let j(c) = c + 7. Let v be j(-4). Solve 3*a + v = 15 for a.
4
Suppose -6 = 2*i + 4*l, 0*l + 6 = -2*l. Solve 0 = -2*g - 9 + i for g.
-3
Let k(f) = -f**3 + 5*f + 3. Let o be k(-3). Solve -6*x + o = -x for x.
3
Let z be (-1 - 0)*(-6 - -5). Let j = z - -1. Solve 2 = 2*n - j for n.
2
Suppose -5*r = -2*r - 12. Let l(y) be the first derivative of -y**4/4 + 4*y**3/3 - y**2/2 - 4*y + 3. Let b be l(3). Solve -2 - r = b*k for k.
-3
Suppose s - 24 = -s. Let x be 7 + 2 - ((-30)/(-5))/2. Solve -s = -x*t + 2*t for t.
3
Let v = 9 - 9. Solve 15 = -v*x + 3*x for x.
5
Let r(h) = -h**3 - 7*h**2 - 6*h + 4. Let i be r(-6). Solve 0 = -i*c + c for c.
0
Suppose -n - 4*n + 19 = -b, 0 = -5*b + n + 1. Solve -i + 2 = b for i.
1
Let c(o) = -o + 2. Let n be -3 + (0 + -1 - -1). Let h be c(n). Suppose x + 2*k = h*x - 12, -2*x - k + 2 = 0. Solve -p = -x*p - 1 for p.
-1
Let y(d) = d**2 + 13*d + 14. Let r be y(-12). Solve -c + r*c = 1 for c.
1
Let j = 37 + -33. Solve -2*v = -0 + j for v.
-2
Let w = -94 + 99. Solve w*v + 2 = -8 for v.
-2
Let i be (-3 + (-3)/(-1))*1. Solve -a + 3*a = i for a.
0
Let j be (1*-6 - 1)/(-1). Let g(o) be the first derivative of -o**2/2 + 11*o + 1. Let p be g(j). Solve -p + 0 = -x for x.
4
Let i = 43 - 15. Suppose 8*h - 4*h - i = 0. Solve 3*z - h = -1 for z.
2
Let x be 2/(-10) - -14*(-6)/(-20). Solve -x*r = r + 10 for r.
-2
Suppose 5*g = -24 -