/12. Solve -s*y + v = 13 for y.
-4
Let o(f) be the third derivative of -f**4/12 - f**3/3 - 4*f**2. Let n be o(-3). Solve w = -1 - n for w.
-5
Let z(b) = -b**3 + 5*b**2 + 1. Let s be z(5). Solve s = -3*i - 5 for i.
-2
Let g be (-18)/(-3)*(-2)/(-6). Let d = g - -1. Let z be 5/1 - 1*d. Solve -3*q - 25 = z*q for q.
-5
Suppose x + 1 = 5. Suppose x*q = q. Solve q = w - 1 + 3 for w.
-2
Suppose 41 = 2*p + 3*s, 2*p + 2*s - 4*s - 56 = 0. Solve 4*z + z + p = 0 for z.
-5
Let s be (-80)/(-45) - 6/(-27). Solve -1 = -s*j + 3 for j.
2
Let w(z) = z**3 - 13*z**2 + 11*z + 15. Let t be w(12). Suppose 16 - 4 = 3*f. Solve 0 = f*x - t + 15 for x.
-3
Suppose 4 = 2*w - 0. Suppose -w*b = 3*g - 6, b - 16 = 5*g + 13. Solve b = 5*u - 1 for u.
2
Let v(j) = j**3 - 9*j**2 - j - 5. Let w be v(9). Let p be (1/(-2))/(1/w). Solve -4*l - 23 = -p for l.
-4
Let q = 24 + -14. Solve n - q = -n for n.
5
Suppose 4*t - 4*o = 20, 3*t + 10 = 5*o + 27. Solve 20 = -0*s - t*s for s.
-5
Suppose -8 = 2*d, 6*d = -4*g + 2*d - 4. Suppose 2*w = g*o + 2, -5*w - o = -3*o - 16. Solve 3 = w*r - r for r.
1
Let h = -68 + 73. Solve h*z - 1 = 19 for z.
4
Let z be 13*1 + (7 - 10). Let b = -4 + z. Suppose 2*a + a = b. Solve 2*m + a = 12 for m.
5
Suppose -9 = -2*z + 1. Let r = 5 - z. Let s be 5/(-15)*(-7 + 1). Solve r*y - s*y = -2 for y.
1
Let r(t) = 12*t + 39. Let b be r(-3). Solve 0 = -b*z + z for z.
0
Let v = 0 + 4. Let z = 1 + v. Let n = 15 - 11. Solve -o - n = -z*o for o.
1
Let n(y) = -y**3 - y**2 - 7. Let d be n(-3). Suppose -8*u + d*u = 12. Solve 10 = -u*t - 2 for t.
-3
Let x be (-1 + 0)/((-5)/15). Solve 4*y = x*y - 3 for y.
-3
Let j be -2*-4*1 - 3. Suppose -2*l + 76 = -0*k + 4*k, -j*k + 65 = -5*l. Solve k = 4*v - 3 for v.
5
Suppose -y + 2*s - 5 = 7, -20 = y - 4*s. Let v(i) be the first derivative of i**3/3 + 5*i**2/2 + 6*i + 2. Let u be v(y). Solve -3*x = -x - u for x.
1
Let w(q) = 7*q + 1. Suppose 4 = 5*c - 1. Let p be w(c). Suppose -p = -u - 3*u. Solve -u*b = b - 3 for b.
1
Suppose 4*i = -4*q + q + 5, 5*i = -q + 9. Solve 0 = -b - i*b - 12 for b.
-4
Let p be (-28)/(-8) - (-2)/(-4). Suppose p*s = -0*s + 6. Let m be 8/3*3/s. Solve -4*g - m = -2*g for g.
-2
Let p(m) be the third derivative of 11*m**6/120 + m**5/60 + m**4/24 - m**3/6 + 5*m**2. Let n be p(1). Solve 4*y - n = 8*y for y.
-3
Let z be 1 - (-3 + 4)*-8. Solve -4*q - 13 = -z for q.
-1
Let y = 40 - 25. Let s = y + -10. Suppose -h = -s*h + 60. Solve 2*a + a = -h for a.
-5
Suppose -t - 5 = 2*f + 1, t = 3*f + 9. Let v(j) = 4*j - 2*j**2 + 7 + 9*j**2 - j**3 - 11*j. Let o be v(6). Solve 5*n - 14 - o = t for n.
3
Let z(b) = 5*b - 9 + 2 - 4*b. Let w be z(10). Solve 0 = w*t - 10 - 5 for t.
5
Suppose o + 3 = 1. Let c be (10/(-4))/(o/12). Suppose 3*d + 20 = 4*n, -18 = -5*n - 0*n + 2*d. Solve -n*q = q - c for q.
5
Let c(d) = d**2 - 7*d - 2. Let y = 26 + -18. Let v be c(y). Solve 3*h = h + v for h.
3
Suppose -3*x + 7 = -8. Suppose x*b - 13 + 3 = 0. Solve n - 4 = -b for n.
2
Suppose 3 - 5 = -a. Suppose 5*t = a + 18. Solve 0 = -4*d + t for d.
1
Let q = 17 + 2. Let c = -11 + q. Solve -4*f - c = -2*f for f.
-4
Let s = -1 + 11. Solve s = -2*n - 3*n for n.
-2
Suppose 0 = g + o - 12, 3*o = 5*g - 7 - 61. Solve -g*b = -17*b for b.
0
Let g(h) be the first derivative of 3*h**2/2 - 3*h + 2. Let a be g(2). Solve a*t = -t - 20 for t.
-5
Suppose o + o = -5*s + 26, 3*s = 12. Suppose -5*i + o = 8, -3*a + 1 = 5*i. Let k be a*(-1)/(-2) + 1. Solve -d - k = -4 for d.
2
Let h(g) = -g**3 - 2*g**2 - 2*g - 4. Let j be h(-3). Solve j = -5*o - 14 for o.
-5
Suppose -w - 6 - 1 = 0. Let s be 1/(-2)*w*4. Suppose 0*q + s = 4*j - 5*q, -3 = 5*j + 4*q. Solve p - 2*p = j for p.
-1
Let m = 16 - 0. Let x be -1*(1 + (-1)/1). Solve -4*f = -x*f + m for f.
-4
Let v(r) = -r**2 + 9*r + 14. Suppose 10 = -5*c + 60. Let z be v(c). Solve 0 = z*n - 2*n - 6 for n.
3
Let y be (1 - 5) + (-4 - -1). Let t(u) = -u**3 - 6*u**2 + 6*u - 5. Let a be t(y). Solve 0*o + a = -o for o.
-2
Suppose 5*f = -2*u - 8, -5*f + 4*u + 7 = -9. Solve 0 = -b - f*b for b.
0
Let o = 15 - 11. Let y(m) = m**2 - 6*m + 1. Let a be y(o). Let b = 11 + a. Solve -p + 0*p + b = 0 for p.
4
Suppose n - 3*o - 14 = 2*o, -2*n - 5*o = -13. Solve -2*w = w - n for w.
3
Suppose -5*c - 92 + 12 = 0. Let t = -11 - c. Solve -t*q = -8 + 3 for q.
1
Let p = -10 - -6. Let g be 27/6 + (-2)/p. Suppose -3*u + 47 = 5*r, 0 = 4*r - 2*r - g*u + 6. Solve -d - 2 = -r for d.
5
Suppose -15 = -62*o + 59*o. Solve -f + o = -2*f for f.
-5
Let v(b) = b**2 - 2*b - 3. Let y be v(4). Suppose -2*n - i - 5 = 0, y = -i - 0. Suppose n = -0*s - s. Solve q + 0 + 1 = s for q.
-1
Let r(a) be the third derivative of -a**4/24 - 7*a**3/6 + 2*a**2. Let u be r(-11). Solve -3*n + 1 = -u*n for n.
-1
Let s be (1 + (-42)/15)*-5. Suppose 0 = -3*y + h + s, 2*y + h = -2*h + 17. Suppose 0 = 5*i - 5, -2*n = -4*i - y. Solve 17 + 3 = -n*w for w.
-5
Let n(y) = -y**3 + 20*y**2 - 19*y + 5. Let r be n(19). Solve 7 = -r*s - 3 for s.
-2
Let f(j) = 5*j**3 - j + 1. Suppose 24 = 4*x - 0*x. Let i = x - 5. Let m be f(i). Solve q = -0*q + m for q.
5
Let i = 0 - -6. Suppose 0 = -s + i*s - 95. Solve s = -5*c - 1 for c.
-4
Suppose 0 = 2*m + m - 15, 2*m = 3*z + 16. Let g be (-56)/(-12) + z/(-6). Solve 11 = -g*v - 4 for v.
-3
Let k(h) = -2*h + 4. Let n be k(-5). Let v be 3/(-2)*((3 - 6) + 1). Solve v*f - n = -2 for f.
4
Let r(h) = h**3 + 5*h**2 - 2*h + 4. Let n be r(-5). Let f = -10 + n. Solve g = 3*g - f for g.
2
Let s = -6 + 6. Let c be s/(-1 - (-2 - -3)). Suppose -2*i + 6 = -c*i. Solve 4*u - 1 = i for u.
1
Suppose -4*q = -15 + 7. Solve 0 = q*k - 7*k + 10 for k.
2
Let m be (2/(-2) + 0)*-8. Suppose 0 = -2*u + 4, -3*u + 44 = 3*k - 2*u. Suppose 0 - 9 = -3*r - 3*y, -5*r + k = 4*y. Solve -m = -2*x - r for x.
3
Let n be (1 - 0)*(-3 - -4). Solve 2 + n = -t for t.
-3
Let y(w) = w**2 + 2*w + 4. Let c be y(-2). Solve 5*n = 1 + c for n.
1
Let w be (4/5)/(4/10). Let n = -189 + 191. Solve n + 6 = -w*o for o.
-4
Let h(a) = 2*a**2 - 3*a - 6. Let g be ((-10)/6)/((-1)/(-3)). Let w be h(g). Let y be 3/9 - w/(-3). Solve 0*n - 5*n = -y for n.
4
Let j be 45/12 - 1/(-4). Let f(d) = -d**3 + 5*d**2 + d - 2. Let w be f(5). Let o be 1/((-3)/w)*0. Solve j*g + 4 = -o for g.
-1
Let d(v) = -v**2 - 8*v - 8. Let h be d(-6). Solve -g = -3*g - h for g.
-2
Let j(f) = f - 1. Let z be j(6). Suppose -z*l + 4*u = 6 - 1, 0 = 5*l + u + 5. Let w be (-4 + 2)/(l/2). Solve 0 = -0*g + w*g for g.
0
Let k be (-4)/8*1*-4. Suppose 5 = k*l - 1. Solve -l*u + 0 = 6 for u.
-2
Let m = 7 + -5. Let q = 3 + -3. Suppose 4*p - 5*p = q. Solve m = u - p for u.
2
Let b = -6 - -12. Let x(p) = -p**3 - 3*p - 3 - 2*p + 16*p**2 - 9*p**2. Let z be x(b). Solve -z*u + 8 = -u for u.
4
Let b be 2 - (-2)/(-3)*-3. Suppose -2*f - 22 = -4*r, -5*r + b*f + 29 = -0*f. Suppose -1 = -2*n - t, 2*t - 6 = -5*n - 3. Solve -n + r = -k for k.
-4
Let s(d) = -d**2 + 1. Let i = 5 - 6. Let v be s(i). Solve 0 = -v*r - 2*r - 6 for r.
-3
Suppose 2*r - 3*r = -3*a + 17, -4*r = 8. Let h(z) = 21*z**2 + z. Let v = -2 + 3. Let g be h(v). Solve -a*c + 2 = g for c.
-4
Suppose -27 = -5*u + 33. Let x = 22 - u. Suppose 0*d - 2*d + x = 0. Solve -3*z = -d*z + 4 for z.
2
Let g(v) = -v**2 + 3*v + 1. Let p be g(5). Let h = p + 17. Suppose 2*d - 32 = 4*i - h, -4*d + 3*i = -38. Solve 4*r = d*r + 16 for r.
-4
Suppose -23 = -5*y - 13. Solve 8 = 2*b - y for b.
5
Suppose -5*d = 2*u + 16, -7 = 2*u + 3*d + 1. Solve 3*x + u - 5 = 0 for x.
1
Let c be 4 + 96/(-52) - (-2)/(-13). Let r be (-1)/(-3)*(-12)/(-4). Solve -5 = c*p - r for p.
-2
Let p be 7*((-60)/(-42) + -1). Solve 0 = t + p*t - 20 for t.
5
Suppose -6*s = -10*s. Solve -3*o + 4 - 1 = s for o.
1
Suppose 0*k + 4*k - 8 = 0. Suppose -k*t + 2 = 0, 3*l = l + t - 1. Solve z = -l*z for z.
0
Let q = -74 + 79. Solve 2*j - q + 1 = 0 for j.
2
Suppose -2*t + 10 = -2*k, 4*t + 7 = -2*k + 3. Let a = k - -13. Solve 4*j - j = -a for j.
-3
Let g = 2 + -4. Let o be 1/(-2)*(0 + g). Let d be o + 0 + 9/3. Solve 0*z = -d*z + 12 for z.
3
Let m be 3 + (5 - (-4)/(-1)). Solve -2*w + 2 = m for w.
-1
Let l(n) = 4*n**2 + 2*n - 2. Let k be l(1). Solve -k*w - 4 = -2*w for w.
-2
Let k be -1*3/3*-5. Suppose k*v = 0, 25 = 4*m - 4*v - 19. Solve -m = 5*g + 4 for g.
-3
Let h = -29 - -32. Solve 3*u + 6 = -h for u.
-3
Let o = 31 + -29. Solve 0 = 3*b - 2*b + o for b.
-2
Let z(f) = f**2 + 19*f + 19. Let u be z(-18). S