p = w + x, 4*w = -3*x - 8 for w.
1
Let n = 7 + -3. Let t be 2/4 - 18/12. Let i be (-1)/t + -2 - -10. Solve k + d = n, 5*k - 3*d - 11 - i = 0 for k.
4
Let z(m) = m**3 - 6*m**2 + 5*m + 2. Let t be z(5). Suppose t*f - 42 - 48 = 0. Let d = f + -22. Solve 3*s - 5*n = s - d, -5*s - 26 = -2*n for s.
-4
Let a(b) = b**2 - b + 2. Let s be a(1). Solve -y + 4*w = 20, y + w - 8 = -s*w for y.
-4
Suppose -5*n + 11 = -4. Let s be 0 + 1/(n/9). Solve -o - 6 = -4*d + 10, -21 = -3*d + s*o for d.
3
Let j(r) = 10*r - 11 + 11. Let d be j(1). Let x = 14 - d. Solve -5*s - 16 = -2*q, -4*s + 7 = q + x*q for q.
3
Suppose 3*t - 4*t - 2*m - 5 = 0, 0 = 5*t + m - 20. Solve 0*l - 2*l = t*v + 17, -3*l = 2*v - 2 for v.
-5
Let n be ((-3)/5)/((-11)/110). Let p = 6 - n. Solve -3*k = 4*q - 9, p = 2*q + 3*k - 2*k - 5 for q.
3
Suppose -5*h + 7 = -83. Suppose 11 = p - h. Solve -p = k + 4*k - 3*v, -4*v - 4 = 4*k for k.
-4
Suppose -3*i - 3 + 12 = 0. Solve 4*q - i*w - 5 = 6, 1 = 2*q - 3*w for q.
5
Let d = -3 + 3. Solve n = 3*j + 19, 4*j + d*n + 40 = 5*n for j.
-5
Suppose -3*f + 0*f + 12 = 0. Suppose 0*s - f = -2*s. Let d be (-2)/(1/(-3)*s). Solve d*j = 3*u - 0*j - 12, 3*j = -3*u + 12 for u.
4
Let m = 14 + 7. Suppose -2*t + d - m = -7*t, -d = t - 5. Solve 0*q - c = -4*q + 14, q = -t*c - 5 for q.
3
Suppose -3*r = -19 + 7. Solve -2*j - 8 = 0, 5*p + 10 - 1 = r*j for p.
-5
Let z(w) = -2*w**2 + 0*w**2 - w + 1 + 4*w**2 + w**3 + 0*w. Let n be z(-2). Solve -h + n = p + 2*p, -15 = -5*h + 2*p for h.
3
Let g(r) be the first derivative of -r**2 - 4*r - 3. Let a be g(-3). Solve 5*q + 3 - a = 2*j, 5*j + 5*q = 20 for j.
3
Suppose -20*z + 57 = -23*z. Let a = 24 + z. Solve 5*y - 3*d + 22 = -2*d, -3*y - 30 = a*d for y.
-5
Let o be (-12)/16*(-4 - 0). Suppose 3*n - 9 = -2*u, -3*u + o = u + n. Solve 4*t - s = 14, u*t - 5 = -t + s for t.
3
Suppose 0 = -5*o + f + 25, -3*o = 5*f - 4 + 17. Let m be o/22 - 48/22. Let l(n) = 2*n**2 + 3*n + 2. Let z be l(m). Solve 4*j = v - z, 3*v + 2 + 0 = 5*j for j.
-2
Let w = -7 - -12. Let d(m) = -m**2 + 5*m. Let q be d(w). Solve 3*z - 3*h + 6 = q, 0 = 2*z - 2*h + 4*h + 8 for z.
-3
Let a = 4 - 2. Suppose -4*l + 24 = 4*g, 5*g + a*l - 27 = -2*l. Solve 19 = g*u - 4*c - 0*c, -3*u = 2*c - 13 for u.
5
Let s be (15/6 - 3)*4. Let d = 3 - s. Let y = d + -5. Solve -15 = -0*p + 5*p - w, w = y for p.
-3
Let f = 18 + -13. Solve -2*x + 8 = -3*o + 5*o, f*x - 24 = -o for x.
5
Suppose 5*h + l - 13 - 4 = 0, 4*h - 10 = -2*l. Solve -h*p - 18 = -2*g, 0 = -p + 5*p - 3*g + 19 for p.
-4
Let v = -54 + 69. Solve 5*n + 2*w = v, 0 = -0*n + n + 3*w - 3 for n.
3
Let z be (-25 + 1)*4/(-6). Suppose -5*x + z = -2*g, 3*g + 4*x = 8 + 14. Solve -2*p = -5*n + 17, -2*n - g*n + 9 = 3*p for n.
3
Let u be (-2)/(-2 - (-64)/34). Let d(g) = 5*g**2. Let c be d(1). Suppose u + 18 = c*x. Solve -4*i - 8 = 0, -2*y - x = -y + 5*i for y.
3
Let b = 52 + -47. Solve 0*n + b*y = -n + 13, 4*y = -4*n + 4 for n.
-2
Let z(d) = -d**3 + 16*d**2 + 2*d + 3. Let g = 4 - -12. Let l be z(g). Solve 0*s - 4*s - 2*p = -10, 4*s - 3*p - l = 0 for s.
5
Let b be -3 - 3*(-4)/6. Let d = 6 + b. Solve 4*o + g + 2*g = -23, -29 = 2*o + d*g for o.
-2
Let q = -113 - -116. Solve q*p - k = 4*p - 10, 4*p + 3*k = 35 for p.
5
Suppose -5 = 4*r - 25. Suppose 3*b - 72 = -4*t, -r*t + 3*b + 71 = 2*b. Suppose -3*j - t = -8*j. Solve 0 = o - 2*o - j*v, -5*o = -3*v for o.
0
Let f be 8/(6/(-3)) - -9. Suppose 6*x - 5*x = u + 7, -u = 2*x - 5. Solve 2*h - 6 = -f*p, h + x = -h for p.
2
Suppose -3*u + 2*h + 64 = 4*h, 4*h + 32 = 2*u. Solve -4*d - r + 5 = -2*d, 2*d - u = 4*r for d.
4
Let q be (-4)/(-1)*(0 - -1). Suppose 4 = -n + 2*t, 5 = -3*n + 5*t - q. Let b(x) = x + 23. Let p be b(-20). Solve -n*f - a - 1 = 0, -2 + 1 = -p*f + a for f.
0
Let z be 2/4*(3 - -9). Let x be (-3 + 6)*28/z. Solve -s + 2*u + 14 = -3*s, 3*s - 4*u = x for s.
-2
Let m be -4 + (2 + -6)/(-8)*14. Solve 2*r - 4*a = -14, -4*r + r + m*a - 9 = 0 for r.
1
Let k(i) = -i - 10. Let f be k(-13). Let s be (f/6)/((-1)/36). Let u be ((-12)/s)/(4/30). Solve u*c = 4*m - 18, 4 = -5*c - 0*c - 3*m for c.
-2
Let t(x) = -x - 16. Let p be t(-16). Let o(a) = -a**2 - 2*a + 2. Let z be o(p). Solve -z*f = 2*i, 4*i - 3*f - 18 = 3 for i.
3
Suppose 0 = -2*x - 2*p - 8, -2*x + 5*p + 11 = -9. Let y be (14/21)/((-2)/3). Let i be y/(-1) - (4 + -6). Solve -3*l = i*s + 2*s - 26, -4*l - 4*s + 24 = x for l.
2
Let y(s) = s**3 - s**2 - s + 5. Let v = -4 + 4. Let r be y(v). Let q = r - 3. Solve i + 10 = -2*i + h, -7 = q*i - h for i.
-3
Let j(k) = -k - 8. Let r be j(-10). Let q be r/2*(13 - 5). Solve -4*g = -5*w + 2, 3*g - 2*w - 19 = q*g for g.
-3
Let k(n) = -n**2 - 5*n + 4. Let b(g) = g**3 - 7*g**2 + 6*g - 5. Let z be b(6). Let j be k(z). Let c = j + 0. Solve -v = d + 3*d + 5, -4*d - 20 = c*v for v.
-5
Let s be (-2)/3 + 28/6. Solve -s*t = -3*h, 2*t - 14 = -0*t - 2*h for t.
3
Let u(y) = -y**3 - 5*y**2 + y - 3. Let f be u(-4). Let r = 48 + f. Solve 2*a = 3*c - r, c - 3*a = -2*c + 30 for c.
5
Let d(b) = b + 4. Let z be d(3). Solve 4*j = -y + 4*y + 26, -3*j + z = 4*y for j.
5
Let v(j) = j + 2. Let i be v(8). Solve b + i = -5*x, -3*b - 5*x - 8 = -x for b.
0
Suppose -2*s - 12 = s. Let l be -3*2/s*2. Suppose -2*y + 100 = l*y. Solve 4*j + h + 2*h = y, 5*h = -5*j + 30 for j.
2
Let u(x) = x**3 + 3*x**2 + x + 1. Let h be u(-2). Suppose 4*i + 2*m + h*m = -8, m + 13 = 3*i. Solve -i = -z - a - 0, -5*a = 2*z - 9 for z.
2
Let b(h) be the third derivative of -h**6/120 - h**5/6 + 3*h**4/8 - 13*h**3/6 - 2*h**2. Let q be b(-11). Solve -3*z - t + 0*t + 1 = 0, z + 5*t = -q for z.
1
Let j = -8 + 11. Let d be (8/(-1))/(j - 5). Solve d*h = -4*m + 20, -m + 3*m - 2 = 2*h for m.
3
Suppose -10*b + 11*b = 3. Solve -q - 8 = -3*i, -b*i - 2*i + 10 = -q for i.
1
Let s = 19 - 14. Solve -s*y - 4 = 3*w, 5*w + 4 + 11 = 0 for y.
1
Let h(c) = -c**2 - 10*c - 11. Let d be h(-10). Let r = 15 + d. Solve -k + 5*k - 29 = -5*i, 0 = -r*i - 2*k + 22 for i.
5
Suppose -w + 2 + 1 = 0. Solve -w*c + 2*i - 4 = 0, -3*c = -4*i + 1 + 1 for c.
-2
Suppose 4*w = 22 - 6. Let c(b) = 6*b**2 + 3*b - 4. Let n be c(1). Let z be (w/n)/((-2)/(-10)). Solve 2*v = k - 0*v + 13, -4*v = z*k - 8 for k.
-3
Let a be (-1)/((-5 + 2)/6). Suppose 0 = 2*s + 2 - 4. Solve -s = -y, a*y - 21 = 5*j + 6*y for j.
-5
Let m = 47 + -25. Suppose -25 = -6*c + c. Suppose 3 = 3*j - 3*x, 11 = -5*j - 4*x + 52. Solve -2*n + m = 4*r, 1 = c*n + j*r - 34 for n.
3
Suppose -3*m + 12 = -0. Let i(t) = t - 1. Let a be i(m). Suppose -2*k - 5*l = -4*k + 12, k - 9 = l. Solve -6 = v - f, -2*v = a*f - 2 - k for v.
-1
Let k(b) = b**2 + 2*b. Let t(a) = 2*a. Let i be t(-1). Let u be k(i). Let o be (-13)/(-4) + 2/(-8). Solve u = 5*z - o*z + 2*j + 12, 5*j + 25 = 0 for z.
-1
Let n(b) = -b**2 + 12*b + 15. Let p be n(13). Solve p*v + 3*v + 12 = -c, -4*c + v + 15 = 0 for c.
3
Let h be 1 - (2 - 1 - 4). Solve 3*l = 3*g - g - 1, 0 = 4*l - h*g + 8 for l.
3
Suppose q = 3*q. Let y be q - -2*2 - 2. Solve y = -m - g, 2*m - 11 = 3*g - 2*g for m.
3
Suppose -5*b - 10 = -20. Solve 3*y - 5*d = 0, -b*y + 0*d + 4*d = 0 for y.
0
Suppose 7*o - 15 + 1 = 0. Solve 2*r = -2*a, 5*r = a + o*a for r.
0
Suppose 5*m + 121 = 4*b - 341, m = -2*b - 98. Let d be (6/(-4))/(15/(-20)). Let t be m/(-18) + d/(-9). Solve t*r = -y + 6, -2*r + 4 = -0 for y.
-4
Suppose -3*g - g - r = -13, 5*g = -2*r + 14. Solve g = 2*l - 3*y, -3*l = -y - 2*y for l.
-4
Let n be 8 + -2 + (15 - 16). Solve -j - 11 = o - n*o, 5*o - 5*j - 25 = 0 for o.
2
Let u be (-1 - -16)*(-1)/(-1). Suppose 4*v + 1 = -u, -w + v + 11 = 0. Let d be ((-4)/(-14))/(1/w). Solve -5*n + d*m + 14 = m, -n + 1 = -2*m for n.
3
Let c = 7 + -4. Suppose -5*x + 56 = -2*l + c*l, 5*l = -5*x + 60. Solve y + y + 3*k - x = 0, -3*y = -k for y.
1
Let n = -4 - -6. Let r be 12/n - (-1 + 3). Suppose -r*l = -0*l - 16. Solve s = -p - l, -3*p - 11 = 2*s - 0*s for s.
-1
Let w = -23 - -9. Let q be 2/1 + (-33)/3. Let j = q - w. Solve 0 = 4*a - 5*x + 10, -x = j*a - 6*x + 15 for a.
-5
Let z(c) = 2*c + 3. Let j be z(1). Solve -i + j*m - 16 = 0, 0 = -3*i + 4*m - 7*m + 24 for i.
4
Suppose 0 = -5*z + 3*f - 5*f + 19, 4 = 2*f. Solve -s + 4 = -5*a - 11, z*s + 6 = -2*a for a.
-3
Let s be (-8)/20 - -2*17/10. Solve 2*f = -p - 13, -13 + 40 = -3*f - s*p for f.
-4
Let s = 39 + -23. Suppose -3*q + s = 3*r - r, 5*q - 3*r = -5. Suppose 3*h - q = 10. Solve 10 = -2*z + 5*f - h*f, -z = f +