 - 12. Let s = j + -4. Suppose s = 3*q - 5. Solve z = 4*f - q, -5*z = f + f - 9 for z.
1
Suppose -3*n + i = 3*i - 9, 0 = -3*n - 4*i + 3. Solve 0 = o - 3*z - 1 - 5, -n*o - 3*z = 24 for o.
-3
Suppose o = -2*o + 2*u - 10, -15 = -5*o - 3*u. Suppose 7*h = 1 + 20. Solve 5*b + 4*a + 0 - 1 = o, h*b + 25 = 4*a for b.
-3
Suppose 0*h - 54 = -3*h. Let v be (-4)/h - 190/(-45). Let q be 77/49 - (-3)/7. Solve 3*f - 9 = v*r, -5*r = -q*r for f.
3
Suppose -6*r = -2*r - k + 12, k = 4. Let h be 9*(3 - 2) - r. Solve -j + h = q + 2*q, -q + 9 = 3*j for j.
2
Suppose 5*x + 35 = 5*k, 2*x - 3*x - 3 = 0. Suppose -2*y - k = -4*y. Solve 3*d = -2*a - y, 0*a - 8 = 2*a for d.
2
Suppose -7*u = -9*u + 8. Solve -5*z = -r + 6, 4*r - u*z + 6 = z for r.
-4
Let r be 3 - 5 - 0 - -6. Suppose 2*p = -2*b, p = b - 3*b - r. Solve -4*s = -j + p*j - 22, 0 = -3*j + 3*s - 6 for j.
2
Let w be (2/(-4))/(2/(-20)). Suppose -w*l - 66 - 18 = h, 2*h + 103 = 3*l. Let v = h + 83. Solve 3*k + 26 = -5*t - 0*k, 0 = -4*t - 4*k - v for t.
-4
Let u = -8 + 14. Suppose 2*k - u = 4. Solve -k*n = -i - i, n = -i + 7 for i.
5
Let n = 0 + 2. Suppose -3*m - 4 = -j - m, n*j - 3*m = 8. Solve -5*f = j*w - 27, -5*f + 12 = -0*w - w for f.
3
Let t(f) = -f**3 - 5*f**2 + 6*f + 5. Let s be t(-6). Suppose -s*y + 3 = 4*d + 13, -20 = 4*d. Solve 2*x + y = -2*l, x = 3*l - 0*l + 11 for x.
2
Let t(z) = z**2 - 7*z + 5. Let i be t(7). Let l = 5 + -5. Solve l = c - 5, -i*c + 4 = 2*a - 23 for a.
1
Suppose 13*o - 16*o + 12 = 0. Suppose 6 = 5*n - 9. Solve -n*b + d - 4*d = 0, o*b - d + 15 = 0 for b.
-3
Let s(t) be the first derivative of 2 + 1/2*t**2 - 8*t. Let b be s(11). Solve 5*y - d - 5 = -5*d, -b*d + 18 = -y for y.
-3
Let y = 55 + -52. Solve 4*k - 4*q + 16 = 0, k + 3*q = y*k + 12 for k.
0
Suppose -m + u + 16 = 0, 2*u + 88 = 5*m + 5*u. Suppose 42 = 3*w + 2*y - 0*y, -5*y = 2*w - m. Solve 4*k - 2*z = -0*k + w, -5*k = 2*z - 29 for k.
5
Let j = 10 + -7. Let u = j + -1. Suppose u*a = -a + 6. Solve a*p = 3*t + 12, 3*p + 3*t = -t + 1 for p.
3
Suppose -3 = 6*f - 3*f. Let a be (1 + f + 1)*7. Solve 3*o + 7 = 1, -2*o - a = -j for j.
3
Suppose 5*o - v = o + 13, -o = 5*v - 19. Suppose 3*g + 2*w = 122, -g = w + 2*w - 43. Solve o*i - 8 = 2*z, 0*i + g = 5*i + 5*z for i.
4
Suppose 2*b - b = 6. Let v be 18/12*16/b. Solve 17 = 5*q - 3*k, -10 = 2*q + 2*k - v for q.
1
Let q(m) = m**3 - m**2 - m + 2. Let z be q(2). Solve -3*y + z*b + 10 = 0, 0 = 4*y - 2*y + b + 8 for y.
-2
Suppose -t = -4*o - 16, -t + 3*o + 13 = -0*t. Let j be (-6)/t*(-6)/3. Solve -j*h + 3 = -3*s, 0 = 3*s + 4*h + 14 + 3 for s.
-3
Let t(m) = -m**2 - 10*m - 7. Let x be t(-6). Suppose -7 = 5*h + 5*s - x, 3*h - 4*s - 13 = 0. Solve 3*a = h*n, -2*n - 1 = -a - 6 for n.
5
Let o(k) = -k**3 - 4*k**2 - 3*k + 3. Let m be o(-3). Solve 3*v = m*w - 18, 0 = -2*w - 2*v - 0*v for w.
3
Let q(g) = -4*g - 5. Let v(m) = 4*m + 5. Let i(z) = 4*q(z) + 3*v(z). Let h be i(-3). Solve -2*o = -3*o - 3*y - 13, -y - h = 3*o for o.
-1
Suppose -1 = -m - k + 2*k, 4*k + 4 = 5*m. Solve m = -5*w - 4*i - 25, w = -w + 4*i - 10 for w.
-5
Let l be 3/5*(14 + 1). Suppose -u = 2*u - l. Solve -u*s - s = -2*o + 4, -5*s - 15 = -5*o for s.
1
Suppose 6*s - 2*s + 4 = 0. Let o = 4 + s. Solve 5 = -i + o*y, 5*i + 31 = 4*y + 6 for i.
-5
Suppose -2*h = 5*q - 65, -4*q - 4*h + 11 + 53 = 0. Solve -30 = m - 3*s - q, -m + 4*s = 24 for m.
-4
Suppose -7*q + q = -18. Solve -5*m = 2*a + 13 + 5, q*a + 4 = 4*m for m.
-2
Let a(w) = -w + 8. Let h be a(6). Suppose -1 = h*o + 3, -3*b - 4*o = 17. Let s be 2 + b/((-3)/2). Solve 5*y + 16 = f, -2*f + 3*y = -s - 7 for f.
1
Suppose g - 5*g = 0. Solve -n - 4*b + 4 - 21 = g, -4*n = -2*b + 14 for n.
-5
Let q(z) = -z**2 + 7*z. Let j be q(6). Suppose j = 2*u + u. Solve 4*g - a = 4*a + 8, -g = 2*a - u for g.
2
Suppose x + x + 5*g = 6, 3*g = 2*x - 6. Solve 19 = -5*v + x*z, -z = -1 + 3 for v.
-5
Let m(n) = -5*n**3 - n**2. Let l be m(-1). Solve -l*p - 3*j - 4 = 2, 0 = -4*p + 2*j - 16 for p.
-3
Let d be 5 + -8 - (0 - 3). Suppose 5*w + 2*x - 49 = d, -x = -4*w - 3*x + 38. Solve -w = h - 2*t - 6, 2*h + 5 = -t for h.
-3
Let s = 1 - 1. Let f(d) = -d + 1. Let h be f(-8). Let p be h/(-12) - 62/(-8). Solve 2*c = -2*q + 4, s = -5*q - 2*c - p + 26 for q.
5
Let z(u) = 9*u + 1 + u**3 + 6*u**2 + 10 + 3*u**2. Let p be z(-8). Solve 3*n = p*q + 6, 3*n - 22 = -3*q - 4 for q.
2
Let b(p) = -p**3 + 10*p**2 - 9*p + 2. Let c be b(9). Solve x - 5*s - 26 = -c*x, 3*s + 20 = 4*x for x.
2
Suppose 27*v = 17*v + 130. Solve -3*y = 15, -3*j + y = 3*y + v for j.
-1
Suppose 10*p - 8*p = 6. Suppose p*b = 3 + 12. Solve -4*o = 3*q + 15, 3*o + 2*q - b*q = -6 for o.
-3
Let n(l) be the third derivative of l**5/60 - l**4/4 + 7*l**3/6 - l**2. Let y be n(5). Suppose -x - 6 = -y*x. Solve -2*h = 4*u - 18, -u - x = -5*h + 2*u for h.
3
Suppose 0 = -4*d - n - 1, -2*d + 4*n = -3 - 1. Solve 15 = -3*o - a, d = 3*o - 2*a + 7 - 1 for o.
-4
Let m be 9/3*2/6. Let b = m - -2. Solve -b*z + 34 = -0*i + 5*i, 2*i = -4*z + 22 for i.
5
Let q(k) = k**2 + 4*k. Let z be q(-3). Let j be (-4)/(-12) - 17/z. Suppose 0 = -0*t - 3*t + j. Solve -4*d - a = -3, 4*a + 1 - 13 = -t*d for d.
0
Let r be 4 + -4 + -3 - -6. Solve s + 9 = -2*g, -r*s = 2*g - 0 + 11 for g.
-4
Let r(w) = -w - 5. Let b(i) = i - 1. Let z(f) = -2*b(f) - r(f). Let s be z(5). Solve 0 = s*c + 5*y - 18, 11 = 3*c + 5*y - 6 for c.
-1
Suppose 4*x = -4*z - 12, 1 = -z - 2*x - 5. Let n(s) = z + 0*s - 4 + 5 - s. Let y be n(-4). Solve y*b - 3*w - 9 = 0, -23 = -5*b - 6*w + 2*w for b.
3
Suppose 0 = 12*j - 15*j + 6. Let k = 6 - j. Let h be (1/(2/(-30)))/(-1). Solve -2*n - h = -m, -k*n - 22 = -4*m + 18 for m.
5
Let u(c) = 2*c - 2. Let k be u(1). Let x = 4 + k. Solve -r + x*r - 26 = -5*g, -2*g - 4*r = -16 for g.
4
Let t = 8 - 11. Let q be (t/5)/((-1)/5). Solve m - 2*i = 5*m + 18, -q*i = 3 for m.
-4
Let l(o) = -o**2 - 11*o - 5. Let p be l(-10). Solve -p*a - 5*r = 30, a - 9 = 2*a + 2*r for a.
-3
Let x be (0/(-8))/(-1 + 3). Solve 4 - 29 = 5*k - 5*p, -2*k + p - 7 = x for k.
-2
Let j = 33 + -28. Solve -5*y + 3*o = -3*y + 1, -j*y - 13 = -4*o for y.
-5
Suppose -2*v + 0*v + 10 = 0. Suppose v*f = -0*f + 15. Suppose 0 = i + 5*z - 29, -4*i + 41 = i - z. Solve 4*j + 12 = -2*a, 0 = -f*j - 2*a + 5*a + i for j.
-1
Let b(r) = r**3 + 8*r**2 + 14*r + 14. Let c be b(-6). Solve 15 = 5*k, -3*y - 6 = y - c*k for y.
0
Let y = 3 - -1. Solve -y*f = -0*f + 5*r + 30, -3*r - 16 = 2*f for f.
-5
Suppose -6*r + 0*r = -12. Solve -2*c - 5 = r*k - 3*c, 5*k = 3*c - 15 for k.
0
Let g(k) = 2*k + 1. Let y be g(2). Suppose -13 = -5*w - 3*h, 5*w - 6*h = -h + 5. Solve w*u = y*z, 3*z = u - 0*u - 1 for z.
-2
Let m(b) = -2 + b**2 + 0*b - b + 6*b. Let o(i) = -i**2 - 2. Let p be o(2). Let k be m(p). Solve -3*g + 0*g = k*l + 23, 0 = 3*g + 2*l + 13 for g.
-1
Let a = -15 + 27. Suppose -n + a = 3*n. Suppose -15 = -4*r + t, 10 = n*r - 0*t - t. Solve -r*q - 4*w + 1 = 0, q + 3*w + 4 = 2*q for q.
1
Let j be (-12)/8 - (-1)/(-2). Let b(h) be the third derivative of -h**4/6 - h**3/2 - h**2. Let k be b(j). Solve l + 16 = -3*l - 5*q, k*q = l - 21 for l.
1
Let d(l) = -l**2 - 7*l + 12. Let v be d(-9). Let s be 4/(-6)*v - -1. Solve -3*c = -5*t + 4 + 5, -s*t + 6 = -2*c for t.
0
Let x = 182 + -182. Solve 2*t + 5*n + 25 = x, 0 = -4*t + n - 17 - 0 for t.
-5
Suppose w + 89 = -3*l, w - 132 = 5*l + 11. Let u = -13 - l. Solve -2*q + 4 = 2*m - 0*m, -4*q = -4*m + u for m.
3
Let z be (9/6)/(6/8). Let i be (9/(-3) + z)*-1. Let m = 2 + i. Solve -5*a + c - 2 = 0, 5*c + 12 = -m*a + 2*c for a.
-1
Let q be (-14)/(-5) + 12/(-15). Solve -q*x - 12 = 3*z, 3*x = -0*x for z.
-4
Suppose 0 = 5*w + 3*t - 15 - 5, 0 = 4*t. Solve -4*y = 3*d - 3, 0 = w*d - 2*y + 3*y - 17 for d.
5
Let l(g) = -g**3 + 6*g**2 + 7*g + 2. Let k be 4*((-15)/(-4) + -2). Let q be l(k). Let z be q/(1 - 3/5). Solve -z*c = 5*v - 35, 5*v - 2*c - 3*c = -15 for v.
2
Suppose b + 2*b - 12 = 0. Suppose 2*w = -0*w + b. Solve -3*m - 9 = 3*y, m - 5*y = -w*y + 5 for m.
-1
Let a = -12 + 15. Suppose 0 = a*k + 3 - 9. Solve -2*c = 2*s - 2, -3*s - 2*s = -k*c - 26 for c.
-3
Suppose 5*i = -0*i + 2*j - 36, -2*i + 3 = 5*j. Let f = i + 6. Solve -2*x + 6 = -3*s + x, s - 3*x + 8 = f for s.
1
Let q = -6 - -10. Let y(j) = -j**3 - 7*j**2 - 5*j. Let f be y(-6). Let p be (-32)/(-14) - f/(-21). Solve 3*n + 16 = p*r - 4*r, 0 = -q*n + 4*r - 8 for n.
-4
Let c(m) = 4*m + 8. Let w be c(-4)