z. Solve 2*f = -5*c + p, 5*c - c = -5*f + 25 for f.
5
Let z(c) = -2*c - 6. Let a be z(-5). Solve -11 = 3*k - a*o, -5 = -0*o - o for k.
3
Let j be 12*(16/12 - 1). Solve a + 0*a = -4*s - 19, 24 = -4*s + j*a for s.
-5
Let s = 7 - 4. Solve -5*q - 2*k = 4, -3*q = -3*k - 3 - s for q.
0
Suppose 23*b - 25*b + 14 = 0. Solve 25 = 5*k - 3*y, b*y + 24 = 2*k + 3*y for k.
2
Let b = -6 + 10. Let q = b - 2. Let f be 2*(q + 1)*1. Solve 4 = o + d, -2*o + 11 = f*d - 3*d for o.
1
Let a(i) = 2*i - 2. Let v be a(2). Let s = 19 - v. Solve 2*o - 1 = 9, g - s = -3*o for g.
2
Let s = 29 - 21. Suppose 2*j - a - 6 = 0, -3*j - 3*a = -s*a - 9. Solve 0*n = -j*n - 5*q + 12, 3*n = 3*q + 12 for n.
4
Let v(x) = 6*x**3 - 3*x**2 - x + 2. Let f be v(2). Suppose 5*t - f + 11 = 0. Solve -5*p + 2*c - 12 = 0, -p - c = 2*p + t for p.
-2
Let h(r) = r**2 + 11*r + 13. Let a be h(-10). Suppose -y + a*w = -20, 3*y + 6 = -4*w + 1. Solve 5*b + 15 = y*m, -b + 4*m - 8 = 2*b for b.
-4
Suppose 4*c - 30 + 10 = 0. Solve 0*t + c*t + 5 = 5*d, t = -4*d + 14 for t.
2
Let r(t) = 20*t**2 - 1. Let s be r(-1). Let f be (-7)/(-14)*(8 - 0). Solve 4*d = 3*k - s, f*d - k = 5 - 14 for d.
-1
Let l = -46 + 61. Solve -5*p - 3*v + 8*v + l = 0, -v + 1 = -5*p for p.
-1
Let h(u) = -u**2 - 7*u + 13. Let y be h(-8). Solve 0 = -2*p - 3*m - y, -1 = -m - 2 for p.
-1
Let p = 64 - 61. Solve -p*b - 27 = 4*o - o, -5*b = 3*o + 37 for b.
-5
Suppose 4*t + 3 = 5*t. Let f = 4 - 2. Let p be (f/(-6))/((-5)/45). Solve t*n = 4*s + 15, -2*s - 17 + 2 = -p*n for n.
5
Let g = 5 + -3. Let n(c) be the first derivative of c**4/4 + 4*c**3/3 + c**2/2 - 4*c + 2. Let v be n(-3). Solve x = -v*t + 6, -g*x + 6 = 3*t - 3 for x.
0
Let q(a) = a**3 + 6*a**2 - a - 8. Let t be q(-6). Let k be 1 + -3 + t + 7. Solve 5*g + 2 = v, -v = k*g - g - 2 for v.
2
Let t = -33 + 35. Solve -2*q + t + 6 = -4*m, 0 = 5*m - 2*q + 12 for m.
-4
Let f(b) = b**3 + 5*b**2 - b + 1. Let m be f(-5). Let n be (7 - m) + (-1 - -3). Let i = -6 - -11. Solve -n*v + 5 + 0 = -4*a, 3*a + i = 2*v for v.
-5
Suppose 6*n = -2*n + 8. Let y(b) = 6*b**2 - 2*b + 1. Let r be y(1). Solve 4*k - r*j = -n, 14 = -k - 5*j - 5 for k.
-4
Let n(l) = 2*l - 3. Let a(j) = j - 1. Let g(t) = 7*a(t) - 3*n(t). Let y be g(0). Suppose y*p = 4 + 10. Solve 4 = -r, p = x - 5*r - 14 for x.
1
Let x(s) = -s**2 - 7*s - 4. Let h be x(-6). Suppose -2*r + 52 = 4*d, -31 = -h*d + 5*r + 7. Solve -2*j + 3*j + 5*w = -d, w = 2*j + 6 for j.
-4
Let b be (-2)/9 - (-52)/(-9). Let j be 1 + b/3 + 7. Solve -14 - j = -3*p + 4*v, -4*p - 15 = 3*v for p.
0
Let v(q) = q - 1. Let b be v(6). Solve -4*h - 1 = -5*p - 0, -3*h = b*p - 8 for h.
1
Let h(q) = q**2 + 11*q + 14. Let k = -37 - -27. Let w be h(k). Solve -p - 4 = -w*y + p, -5*p = -20 for y.
3
Suppose 5*y - 65 = -0*y. Let n be (3 - 3) + 1 + 2. Suppose -d - 3*i = -y, -4*d + n = -i - 10. Solve -2*j + 4 = -5*g, 2*g - g - d = -2*j for g.
0
Let t(u) = -u**2 + 9*u + 5. Let v be t(8). Suppose -2*b = b - 12. Suppose 4*q = -3*d + 68, -q + d = -b*d - 40. Solve 5*l + 58 = 5*j + v, 5*l = -q for j.
5
Let m(s) = -s**2 + 5*s + 3. Let z be 36/(-3)*(-6)/(-8). Let j be 4/(-10)*(z - 1). Let q be m(j). Solve 0 = 4*d, -2*d = 3*p - q*d + 9 for p.
-3
Suppose -3*u + 2 = -10. Solve b = 1, -5*s - 4 = u*b + 2 for s.
-2
Let k(y) = y**2 + 5*y - 7. Let t be k(-8). Let g = t - 14. Solve g*c = 3*d - 0*c, -5*d + 2*c = 3 for d.
-1
Let a = 8 + 2. Let q be 18/a + (-3)/(-15). Solve b - 16 + q = 4*g, -12 = 4*g for b.
2
Let s = 25 + -25. Solve -3*t = 2*y + 1, -3*y - 2*t + 3 - 2 = s for y.
1
Let d be (-1 + (4 - 2))/1. Suppose 49 = -5*c - d. Let a be 1*(-2 + 0)*c. Solve 3*u + 15 = 0, -6*q + q + 3*u + a = 0 for q.
1
Let t(a) = -a**3 + 6*a**2 - a + 5. Let n be t(5). Solve 5*i + 0*r = -3*r - n, -r = 5 for i.
-2
Let o be -3 - 6/1*-2. Suppose -z - 4 = -6. Solve -5*q - m = -z*m - 3, 0 = q + 4*m - o for q.
1
Let z = 5 + -1. Let j(l) = -3*l - 22. Let x be j(-9). Solve -x*b - 10 = 3*a, z*a + 5 = -2*b - 3*b for a.
5
Let b(j) = -7*j - 2. Let t be b(-2). Suppose -3*s + 6*s = t. Solve 5 = 4*r - 5*k, -2*k + s = -r + k for r.
5
Let y be ((-6)/(-4))/((-5)/(-10)). Solve 5*i - 22 = 4*k, 0*k - 2*i - 5 = y*k for k.
-3
Let v(m) = -m**3 + 5*m**2 - 6*m + 2. Let i be v(2). Let w be 1 + i + 2 + 0. Solve w*c = -5*k + 35, -3*k + 22 = 4*c - 4 for k.
2
Let y be (-3)/(-1)*3/1. Suppose 3*d = 24 - y. Solve d*w + 21 = -2*g, -3*g + 7 - 25 = 3*w for g.
-3
Suppose 2*y = -y + 18. Suppose y*k - 19 = 2*k - r, 0 = -4*r - 4. Suppose t = k*t - 12. Solve -5*q - 23 = 2*v - 4*v, 12 = t*v for q.
-3
Suppose -3*t - 3*x = -2*x - 18, -7 = -2*t + x. Solve -n - f + 0 = 3, -t*n - 4*f - 15 = 0 for n.
-3
Let l(g) = g**3 + 3*g**2 - g + 2. Let j be l(-3). Let u(s) = 2*s + 6. Let n be u(-3). Solve z + 2*t + n = 1, 4*z - j*t = 17 for z.
3
Suppose -3*g + g = -4. Suppose 3 = l + 10. Let v(b) = -b**2 - 8*b - 5. Let z be v(l). Solve z = -g*y + 2*i, 2*y + 8 = i + 3*i for y.
2
Suppose 0*t + 20 = 5*t. Suppose -b + 5*x + 20 = 0, 0*b - 3*x = -2*b + 12. Solve -4*y - 4*r + t = b, -5*r = -5*y + 6 + 9 for y.
2
Suppose -33 = 4*g - 9. Let k = -4 - g. Let c = k - -1. Solve 4*y = -5*d - 4, 0 = -y - 0*y - c*d - 8 for y.
4
Let z be (-1)/2 + 22/4. Let u be (z/4)/(2/24). Let w be u - (2 - (-6)/(-2)). Solve 3*p - 4*g = -4, w = 2*p - g + 3*g for p.
4
Suppose -r - 2*r + 9 = 0. Suppose 3*u + 4 - 1 = -r*m, 4*m + 2*u = 4. Solve y = -m*q + 1, -4*y + 2 = -q - 2 for q.
0
Let y(a) = -a - 4. Let q be y(-6). Let j(p) = p - 3. Let c be j(3). Suppose q*m + 3*m = c. Solve m = 5*g - 2*s - 28, 2*s - 1 = -9 for g.
4
Let v = 10 + -7. Suppose 0 = -v*f + 37 + 8. Let d(p) = 2*p. Let o be d(1). Solve 5*y - f = -o*r, -6 - 6 = 4*r - 4*y for r.
0
Let q be ((-2)/(-7))/((-1)/(-7)). Let x be (-1)/q - (-153)/18. Solve 3*k - x - 5 = g, 5*g = -2*k - 14 for k.
3
Suppose -v + 2*v - 33 = 0. Let l be v/3 - (3 - 6). Solve 2*k - 4*q + 10 = 26, -4*k - q = -l for k.
4
Let h(f) = -2*f**3 - 5*f**2 + 4*f + 4. Suppose -18 + 2 = 4*d. Let k be h(d). Let w = k + -20. Solve -8*m + 4*m - 5*v = 16, 4*m - 2*v + w = 0 for m.
-4
Suppose 4*m - 2*b - 20 = 0, m + 3 - 1 = -3*b. Solve 0 = 2*t + 5*u - 22, 0 = -t - t + m*u - 14 for t.
1
Suppose 12 + 3 = 5*y. Suppose -4*n + 12 = -y*n. Solve 2*v - 4*u = -n, -5*v + u - 6 = -3*v for v.
-2
Let y(j) = 2*j + 5. Let v be y(0). Solve 5*r = 3*r + 5*a - 29, v*a = -5*r + 15 for r.
-2
Let p(f) = -f + 2*f + 6 + f. Let n be p(-4). Let o = n + 9. Solve -c + 4*i + 4 = 6*i, 0 = -2*c + i - o for c.
-2
Let m(l) = l**2 + 5*l - 7. Let g be m(-7). Suppose g = 4*j - 1. Solve -8 = -2*b + 4*h + 4, j*b - 3*h - 10 = 0 for b.
2
Suppose 30 = 5*v + 3*i, 8*v + 5*i - 40 = 3*v. Suppose 4*o + 5 = -11, 0 = -v*m - o + 8. Solve m*c - 5*f = 1, 2*c - c - f = 1 for c.
4
Let r(u) = u**2 - 2*u - 2. Let l(t) = -t. Let a(g) = l(g) + r(g). Let b be a(-3). Solve 2 = -3*m - 7, -5*n = -2*m - b for n.
2
Let g = -2 - -2. Let t(d) = d + 12. Let c be t(-15). Let y = g - c. Solve 4 = -2*w, -l + 14 = -2*w - y*w for l.
4
Suppose 2*n = -0*n. Suppose -2*c + 6*c - 4 = n. Solve -1 = -2*h - k, -7 = 3*h + 3*k - c for h.
3
Let u = -16 + 22. Suppose -u*v = -v - 90. Solve 3*l + 0*l - 3*t = v, -3 = t for l.
3
Let u = -21 - -22. Solve -5*f + u - 6 = 3*r, -2*r = 0 for f.
-1
Let g(v) = -3*v - 4. Let p be g(-3). Solve 0*h = 5*h - 4*l + 10, p*l + 8 = -4*h for h.
-2
Let y(t) = 3*t**2 - t. Let v be y(-1). Let u(f) = -f**2 - 9*f - 2. Let c be u(-6). Solve -s = -2, -4*x = -6*s + v*s - c for x.
5
Suppose 3*l = -3 + 9. Solve -2*o = -5*v + 16, 3*o + o = l*v - 16 for o.
-3
Let o(y) = 2*y. Let a be o(1). Suppose -5*t = 4*u - 24 - 12, -2*t = -8. Solve -2*d + 2 = -r, -u*d - a + 6 = -r for r.
0
Let l(c) = -2*c**2 + 4*c**2 - 3*c**2 - 8*c - 5. Let k be l(-4). Let s(u) = u**2 + 2*u - 4. Let h be s(-4). Solve 0 = 2*g + 3*z + k, -g = -0*g - h*z - 22 for g.
2
Let x be 1 + 6/((-6)/(-3)). Suppose 0 = 2*z - 0*z - 2. Let m = z + x. Solve -q - 2*b + 8 = 2*q, 0 = m*q + b - 18 for q.
4
Suppose -8*u + 9*u - 11 = 0. Solve -5*j = -2*q + 23, -u = 3*j + 2*j + q for j.
-3
Suppose 3*l = 2*l + 4, -3*i + l + 2 = 0. Suppose o - i*o = -4*t + 17, 2*o = -4*t + 14. Suppose 0 = -8*x + 5*x. Solve 4*g - 6*y + t*y = 12, -2*g - 2*y = x for g.
2
Let i be (-1 - 0)/((-1)/3). Suppose -48 = i*j - 6*j. Let c(r) = -2*r - 9. Let x be c(-6). Solve 2*a - 10 - 3 = 3*g, x*a - g = j for a.
5
Let k = 94 + -62. Solve 3*n + 3*y = -0*n + 3, 0 