12. Let w be v(-8). Solve s = -3*s + w for s.
3
Suppose -2*r + 5*i - 11 = 16, 8 = -3*r + i. Let o = -31 - r. Let y be (3/2)/((-3)/o). Solve 10 + y = -5*j for j.
-5
Suppose -x - 1 = 2*y, 0 = -y - 2. Solve x*n = -n for n.
0
Suppose 0 = -5*o + 8 + 12. Suppose 0 = o*w - 12 - 4. Solve w*i + 8 = 4 for i.
-1
Let s be ((-24)/2)/(18/(-12)). Let b = s - 5. Solve b*a + 5 = -1 for a.
-2
Let k(s) = -17*s**3 - 2*s**2 + 2*s. Let c be k(-2). Let j be c/10 + (-6)/15. Solve 5*v - 3 - j = 0 for v.
3
Let m(t) = 2*t + 11. Let d be m(-4). Solve d*r + 16 = 1 for r.
-5
Suppose 5*i = 255 + 105. Suppose -m = -2*o - 27, -3*o - o + i = 4*m. Suppose -3*t + 3*f - 19 = -7*t, 5*t + f - m = 0. Solve -t*h + 3 = -17 for h.
5
Let t = 3 - 3. Let k = t - 0. Solve k*p - 10 = 5*p for p.
-2
Let l(z) be the second derivative of -z**3/6 + 3*z**2 + 2*z. Let s be l(0). Let j(a) = -a**3 + 5*a**2 + 7*a - 3. Let p be j(s). Solve p*f + 0*f = -15 for f.
-5
Let c = -4 - -28. Let r = c + -16. Suppose 2*w = 4*v - 8, -v + 5 = 4*w - 2*v. Solve r = w*j - 2 for j.
5
Let r(c) = 4*c**3 - c**2 + 1. Let d be r(1). Suppose 18 = 5*s + 3*l, -4*l - 22 = -s - 0*s. Suppose h - s = -2. Solve h*m - 8 - d = 0 for m.
3
Suppose -g = -6*a + a + 16, -a - 4*g + 20 = 0. Suppose z = 5*z + a. Let w be (1*-14 + z)*-1. Solve w - 5 = 2*y for y.
5
Let p be (42/(-9))/((-2)/3). Solve -p*q - 20 = -2*q for q.
-4
Suppose 0 = -5*q + k - 43, -4*q - 18 = -q + 2*k. Let s be 15/(-6)*q/10. Solve w + 2 + s = 0 for w.
-4
Let t be (-5)/(135/(-264)) - 8/(-36). Let p = 8 - 8. Suppose 3*l - 6*l = -6. Solve -l*i + t = -p*i for i.
5
Let v(n) = 4*n + 5. Let x be v(0). Solve -2*u = 3*u - x for u.
1
Let f be 10/3*(-12)/(-10). Suppose f*m = 8, -4*m + 26 - 9 = v. Let p = 10 - v. Solve 5 = -4*s + p for s.
-1
Let j be -2 - (-3 + 0)/(-3). Let l = j - -4. Let o(a) = 4*a**2 + 2*a - 1. Let r be o(l). Solve 0 = r*m + 26 - 11 for m.
-3
Suppose 4*b = a + 6, -2*b + a = 6*a + 8. Let z be b/(-2)*0/(-1). Solve z = -4*g + g for g.
0
Let f = -8 + 13. Suppose f*b - 2*l = 3*l + 40, 3*b + 4*l = -4. Solve -3*g + 2 = -b for g.
2
Let f = -6 - 11. Let a = f + 18. Solve -2*g + a + 3 = 0 for g.
2
Let a be 2*(-2)/10*5. Let g be (3/(-6))/(a/12). Suppose 18 = 2*k - 4*b, k + g*b = -2*k. Solve -r = 2 - k for r.
1
Suppose 8*b = 7*b + 1. Solve 2*k + b - 5 = 0 for k.
2
Suppose 0 = 5*u - 25, -t - 2 - 19 = -5*u. Let q be (1/1)/(4/28). Solve q = -t*d - 5 for d.
-3
Suppose j = 2*q - 8, -16 - 15 = -3*j - 5*q. Let g be (-4)/(-4) + 0 + j. Solve g*c + 0 = -15 for c.
-5
Suppose 4*r + 0 + 18 = -t, 5*r + 21 = -2*t. Solve t*u - 1 = 5 for u.
3
Let t(o) = -7 + 0*o + 4*o - o + 1. Let r be t(6). Solve -r = 3*g + g for g.
-3
Let v be (-15)/(-25) - (-3)/(-5). Let u = 19 + -17. Solve -o = u - v for o.
-2
Suppose -3*i + 2*o + 0*o = -20, 5*o = 4*i - 36. Solve c = -3*c + i for c.
1
Suppose 5*z + 2*w - 19 = 0, 3*w + 7 = 5*z - 2. Solve z*a - 8 = -a for a.
2
Let x be (12/8)/(1/2). Solve -8 - 1 = -x*q for q.
3
Let k = 20 + -10. Let c(u) = u**3 - 10*u**2 - u - 5. Let p be c(k). Let m = 21 + p. Solve -t + m = -3*t for t.
-3
Let f(z) = -z**2 - 3*z + 1. Let r be f(-4). Let k = 5 + r. Solve -3*s = -k*s + 1 for s.
-1
Let r(d) be the third derivative of -d**6/120 - d**5/15 + d**4/8 - d**3/3 + d**2. Let i be r(-5). Let j(g) = g. Let n be j(0). Solve -i = -4*t - n*t for t.
2
Let f = -24 - -31. Solve f = 3*g - 8 for g.
5
Let v be (2/(-1) + 2)/3. Solve -2*q - 1 + 3 = v for q.
1
Let p = 219 + -214. Solve -p*r = -6*r for r.
0
Let c be (4/(-12))/(2/6). Let r be (c*4 - -2) + 5. Solve -y + r*y + 6 = 0 for y.
-3
Let j(b) = b + 9. Suppose -2*x + 40 = -7*x. Let s be j(x). Solve s - 5 = -4*r for r.
1
Let f be 68/10 - 2*4/(-40). Solve -2*z = 3 + f for z.
-5
Suppose -3*c - 3*o + 15 = 0, 20 = -c + 2*c - 2*o. Let d be (14 - c)*(-1)/(-2). Solve -3 = -d*l + 3 for l.
3
Let v = 67 - 67. Solve 5 = 5*z - v for z.
1
Suppose -3*v - 5 = -4*z, z = -3*z + 5*v - 5. Solve 0 = -5*x + 25 - z for x.
4
Let q(n) = n**2 - 3*n + 5. Let u be q(4). Let w be (0*(-1)/3)/(-3). Solve w + u = 3*t for t.
3
Let n(t) be the second derivative of t**4/12 + 2*t**3/3 + 2*t**2 + 3*t. Let s be n(-5). Solve -5*y + s + 6 = 0 for y.
3
Let q = -1 - -4. Suppose -8*x + 13 + 19 = 0. Solve q*o = -o + x for o.
1
Suppose 0 = -2*k + 3*k - 3. Suppose -k*b - 20 = -8*b. Suppose g = -b*g + 175. Solve 10 = 5*z + g for z.
-5
Let r be 6/(-9)*-3*1. Suppose -20 = r*q - 4*g, -q + 4*g - 10 = -4*q. Let p be (-1)/(q/(-6)*-1). Solve -p*o = 2*o + 20 for o.
-4
Let o(f) = -2*f**3 - 3*f**2 - f + 1. Let j be o(-2). Solve -3*g + 1 = j for g.
-2
Suppose 3*r + 3 + 6 = -5*i, -2*i + 15 = -5*r. Let f be (1 - i)/(-3 - -4). Let x be (f + -9)/(-2) - 0. Solve 2 = x*a - 2 for a.
1
Suppose -3*z - 6 - 2 = -5*i, 5*z - 20 = 0. Let g(t) = -9*t - 12. Let f be g(-12). Suppose -10*m + f = -6*m. Solve -i*a = m - 8 for a.
-4
Let p be 3/(-3) - 9/(-1 - 2). Solve p*q + 12 = -q for q.
-4
Let i be 20/(-10)*(-6)/4. Let g be 0/(-1) - (0 - 0). Let y = i - g. Solve -2*f + y*f = 2 for f.
2
Let a(b) = b - 8. Let k be a(11). Solve -k*x + 6 = -0*x for x.
2
Let q(p) = p**2 + 6*p - 7. Let l be q(-7). Solve j = 1 - l for j.
1
Suppose 12 = -0*g + 4*g. Let a be 1*((-3)/(-3) + -2). Let w be (a - -1) + 3 - 1. Solve w*b - g + 1 = 0 for b.
1
Suppose 0*r - r = -2. Suppose -2 + 0 = -z - r*d, -4*z = d - 36. Solve 0 = 2*c + 3*c - z for c.
2
Let z = 14 - 3. Let u(w) = 3*w**2 + w + 1. Let g be u(-1). Solve 4*a = g - z for a.
-2
Let z be ((-18)/(-15))/(12/160). Suppose -5*j + 8 = -4*j - 4*q, 5*j - z = -4*q. Solve 7*o = j*o for o.
0
Let u(h) = -3*h**2 - 6*h + 4. Let g(f) = f**2. Let a(r) = 2*g(r) + u(r). Let t be a(-6). Suppose 15 = -q + t*q. Solve -q*x + 9 = -6 for x.
3
Let m be -1 - -1 - 6/(-3). Let z(t) = t - 6. Let q be (4/6)/(2/30). Let p be z(q). Solve p = -6*k + m*k for k.
-1
Suppose -3*p - 71 - 35 = -4*l, 58 = 2*l - 4*p. Solve 0*d + l = 5*d for d.
5
Let b(k) = -k**3 + 4*k**2 + 14*k - 8. Let z be b(6). Solve z*m + 2 = -2 for m.
-1
Let f = -6 + 10. Let w be 0/2*f/(-8). Let q be (1/(-2)*w)/2. Solve -8 = -q*m + 2*m for m.
-4
Let j(o) = -2*o + 14. Let g be j(4). Suppose 5*y = y + 2*w + 18, -24 = -3*y + 5*w. Solve u - g = -y for u.
3
Let g = 104 + -104. Solve g = 4*o - 22 + 2 for o.
5
Let c(m) = 2*m**2 + 2*m - m**2 - m + 5*m**2. Let s be c(1). Solve -s*q + 2*q = 0 for q.
0
Let x be 4/(-28) - (-72)/14. Solve 0*g - x*g = 0 for g.
0
Let a(g) = 7*g**2 - 4*g + 3. Let i(f) = -20*f**2 + 11*f - 8. Let h(m) = -11*a(m) - 4*i(m). Let t be h(1). Suppose 0 = x - t*x + 4. Solve 0*s = x*s - 16 for s.
4
Let r(j) = -j**2 + 7*j - 6. Let p be r(5). Suppose -3 = -3*i - 0*d - 3*d, 5*d = p*i - 31. Let x(s) = s + 2. Let w be x(2). Solve i*o = -w - 0 for o.
-1
Let f = 2 + 1. Solve -f = 4*t - t for t.
-1
Let c = 23 - 17. Let z be (8/(-10))/((-1)/5). Let o = c - z. Solve 3*d - 4 = o*d for d.
4
Let u(q) = -q**2 + 15*q - 2. Let s be u(14). Solve 3*w = -w + s for w.
3
Let q(p) be the third derivative of -p**6/120 + 2*p**5/15 + p**4/24 - p**3/3 + p**2. Let j be q(8). Let a = 12 - j. Solve -u = -a*u + 15 for u.
3
Let s(k) = k**3 - 6*k**2 + 8*k - 5. Let u be s(5). Suppose 0 = 2*l - u, -6*a + 4*l - 5 = -a. Solve 25 = -a*z - 2*z for z.
-5
Let g be ((-5)/2)/5*(-2 + 2). Solve -2*n + 6*n + 4 = g for n.
-1
Suppose 0 - 3 = -4*f - 3*g, 4*g + 24 = 4*f. Suppose l = 15 + 1. Let i be (-2)/6 - 8/(-6). Solve -i = f*h - l for h.
5
Let z be (16/(-10))/((-2)/(-40)). Let v be -7*(2 + z/14). Solve 0*c + v*c = 0 for c.
0
Suppose -11 = 5*k - 2*x - 51, -28 = -3*k + 2*x. Solve -q - k = -1 for q.
-5
Let b(t) = t + 3. Let a be b(0). Suppose 3*s = -5*l + 26, -3*l - 54 = -a*s - 12. Suppose 5*v + 11 = 31. Solve m + s = v*m for m.
4
Let y(f) = f - 2 + 0 + 4. Suppose 0 = -3*k + 8*k. Let z be y(k). Solve -7*x + z*x = -10 for x.
2
Suppose -4*s = -3*b - 16, 3*b + 23 = 4*s + s. Solve 3 = 4*d + s for d.
-1
Let h = -3 + 0. Let p = -5 - h. Let w be 0*(-2 - 5/p). Solve -s + 3*s + 8 = w for s.
-4
Suppose 14 = 6*x - 16. Solve 4*w - x*w - 4 = 0 for w.
-4
Suppose 0 = 4*v - 3*d + 2*d - 11, 3*v - 2*d - 12 = 0. Solve -5*g = -v*g for g.
0
Suppose 8 + 0 = 2*h. Suppose 3*l = -h + 13. Solve 0*k = -l*k - 15 for k.
-5
Let k be 4/(-10) + (-34)/(-10). Solve -k*h = h - 4 for h.
1
Let j be (-5 - -5)/(1/1). Suppose 0*p + p = -f + 3, -4*f = j. Let s be (3/(-2))/(p/(-6)). Solve -r + 0*r = s for r.
-3
Suppose -2*g + 5*x - 25