*y = n*t + 2 for t.
-1
Let n(x) = -x**2 - 6*x - 4. Let t be n(-4). Let a(i) = i - 2. Let r be a(t). Solve r*h = -0*h - m + 1, 3*h = 3*m + 15 for h.
2
Let u be (-5)/(-1) - (-8)/(0 - 4). Solve -3*h + 13 = -5*j, -u*h = 3*j + h + 2 for j.
-2
Let z(q) = q**3 + 10*q**2 + 7*q - 3. Let j = -6 + -3. Let d be z(j). Solve 3*r - 12 = -t - 0*t, -3*r - 2*t + d = 0 for r.
3
Let w = -42 + 82. Suppose 4*v = -4*g + w, 3*g - 3 - 2 = 2*v. Solve 5*q + g*f + 10 = 0, q + 4*f + 5 = 3 for q.
-2
Let y be ((-18)/(-8))/(1/12). Suppose 5*i - 28 = 27. Solve 4*s + i = -c + y, 0 = -5*c + 2*s - 30 for c.
-4
Let h(z) = z**2 + 2*z - 2. Let g be h(-4). Solve 0 = f + 5*s - 5, -g*s = 5*f - s - 25 for f.
5
Suppose -4*g + 20 = 4*x, g + 2*x - 3 = 3*x. Solve 18 = -4*f - 2*m + 2, -g*f + 2*m = 16 for f.
-4
Let h = 9 + 10. Suppose -4*r - 4*k = 4, 0 = -2*r + 5*r + 5*k - 3. Let m = r + h. Solve 3*u = -2*f + m, 4*f = -u + 3 + 2 for u.
5
Let w = -28 - -87. Let v = -34 + w. Solve 0 = 2*x - 4*n + 18, 5*n + 2 - v = 3*x for x.
-1
Let i(w) = w**3 - 5*w**2 - 6*w + 2. Let m be i(6). Suppose -15 = -m*h + 5*q, h + q = 6*q + 10. Solve -4*c - 24 = 4*r, 4*r + 4*c + 19 = h*r for r.
-1
Let r be 0 - (0 + -2)/(1/2). Solve -3*v = r*h + 6 + 4, h = -2*v for v.
2
Let n(l) = l**3 - 3*l**2 + 3*l - 4. Let k be n(3). Solve 0 = o - 4*v - 7 + 3, 2*v + 2 = k*o for o.
0
Let g = 5 + -1. Solve -3*p = 4*w + 20, -g*w - 4*p = -0*w + 24 for w.
-2
Let q(u) = u + 11. Let w be q(-6). Solve -6 = -2*x + 5*x + z, -2*x + w*z = 4 for x.
-2
Let u(s) = 4*s**2 + s - 2. Suppose 4*v = -0*v + 8. Let x be u(v). Solve -g - 8 = 2*g + h, -3*g + h = x for g.
-4
Let u(w) = -2*w + 32. Let p be u(15). Solve 0 = -3*i - 12, p*i = 5*r + 2 - 10 for r.
0
Let q(z) = -z - 6. Let t be q(-7). Solve 2*g + t = 3*h, -3*h - 5*g = h - 9 for h.
1
Let r be (-120)/(-10) - -2*2. Solve 0*b = 2*q + 4*b + r, -2*q + 16 = -4*b for q.
0
Suppose 4*f = -0*f + 12. Suppose 2*d = -0*d + 8. Suppose -d*m - m = 0. Solve f*n + x = -m*x + 2, -2 = -n + x for n.
1
Let l(x) = -2*x - 8. Let t be l(-6). Suppose -2*k + 4*k = t. Suppose 9 - 5 = w. Solve k = -w*f + 3*p, -3*f + 0*f + 3*p - 3 = 0 for f.
1
Let j = 21 + -3. Solve -5*d + f - j = 0, -2*d = -6*d - 3*f - 3 for d.
-3
Let w(z) = -13*z - 9. Let q be w(-1). Solve 5*f - 2*u = q, -f + 5*u + 10 = -5*f for f.
0
Let i = 0 - -5. Suppose -5*h + 6 = 4*k, -3*k + 19 = -h + i. Solve -5*u + k*b + 29 = 0, b - 4 = -5 for u.
5
Let j = -11 + 23. Let u = 13 - j. Solve w + 2*y + u - 2 = 0, 4*w = 5*y - 35 for w.
-5
Let p = -26 + 31. Solve n - p*q + 10 = 0, 6*n - n - 3*q + 6 = 0 for n.
0
Let f(s) = 7*s**3 - 1. Let o be f(1). Let m be 3*(-2)/o*0. Let g(v) = -v. Let b be g(-5). Solve 0 = 4*h - 2*t + 16, b*h - t + 23 = -m*t for h.
-5
Suppose 3*x - 4*x = 0. Suppose 0 = 3*q - 0 - 12. Solve 0 = -q*s + 3*r - 16, x*s + 3*r = 2*s + 14 for s.
-1
Suppose 3*x - 4*r - 5 = 0, -4*x + 3*r - 2 = -4. Let v = x + 3. Solve -o + 0*o - 14 = 3*w, -v*o = 3*w + 19 for o.
-5
Suppose -2*t = 5*z - 40, -2*t = -0*t. Suppose 2*k = 4*k - z. Suppose -a + 8 - 3 = 0. Solve k*o + 2*b + b - 28 = 0, a*o + 2*b - 28 = 0 for o.
4
Suppose -3*u - u + 20 = 0. Suppose 2*j - 6 = j. Solve -2*a - 2*h = -u*a - j, 2*h = -6 for a.
-4
Let v be 6/(((-9)/(-12))/(-1)). Let h = -6 - v. Suppose -h*o + 12 = -o. Solve 3*d - 6*d - 4*t - 23 = 0, 2*d = -t - o for d.
-5
Suppose 0*c - 3*c = -5*u - 11, -4*u = 2*c. Solve 0 = 4*g + c*d + 4, -3*g = -5*d - 1 - 9 for g.
0
Suppose o + k = 4, -5*o = k - 0*k - 12. Solve -3*r - 3*p = 27, -o*p = -0*p + 10 for r.
-4
Let i(r) be the first derivative of r**2/2 + 12*r - 1. Let m be i(-9). Solve -9 = j - 3*o, 0 = j + 4*o - m - 16 for j.
3
Let g = -24 + 15. Let s be g/27*(-15 + 0). Solve 3*q + 4 = 5*h - 1, -s*h + 5 = -2*q for q.
0
Suppose p - 1 = -0*p. Let s = -46 - -25. Let k be (1 - p) + s/(-1). Solve 2*o + k = 5*b, 2*o + o - 2*b = -15 for o.
-3
Let m(j) = -4*j**2 + j - 1. Let z be m(2). Let x be 14/6 + (-10)/z. Solve 5*q + 5*n - 15 = 0, -4*n = -x*n - 1 for q.
2
Suppose 0*n - 4*n + 20 = 0, -21 = -4*o - n. Let i = -6 - -10. Solve o*l - 16 = i*r + 16, 0 = -2*l + 3*r + 20 for l.
4
Suppose 0*q - q + 15 = 0. Suppose -m + q = 2*m. Let k = 10 - m. Solve -2 + 13 = -s + 3*w, 5 = -5*s + k*w for s.
4
Let l be 180/24 - (-6)/4. Solve 4*d + 0*n + 8 = -2*n, 5*n = d - l for d.
-1
Let n = 0 + -3. Let c be 0*(0 + n + 2). Solve 4*h = -0*f - f, c = -2*f - 8 for h.
1
Suppose 0*h - 3*g + 18 = 2*h, 0 = -h + g - 1. Solve 2*k + 3*l + 2*l = 11, -h*k - 5*l = -9 for k.
-2
Suppose 2*v = v + 3. Let w(g) be the second derivative of -g**4/12 + g**3/6 + 13*g**2/2 - 2*g. Let j be w(0). Solve 5*r - j = v*u, r + 0*r + 4*u = -2 for r.
2
Let g be (1 - 0)*56/(-4). Let i = 18 + g. Solve 2 + 4 = -2*o, 0 = b - 2*o - i for b.
-2
Let k(v) be the first derivative of -v**2/2 + 14*v - 9. Let b be k(8). Solve -b*r + 10 = 4*t - 4*r, t - 10 = 2*r for t.
4
Suppose 0 = 5*f - 30. Let d be (-1)/(((-3)/(-9))/(-1)). Suppose -8 = -4*v + 4*i, -v - 2*i + 4 = v. Solve -3*r = -4*c + f, v*r = -5*c - d*r - 10 for c.
0
Let y = 0 - -13. Solve -2*t + t = -5*h + y, 4*t = -4*h + 20 for t.
2
Let j be 4 + (-3)/(-1) + -7. Solve -3*d + j*d - 5*c = 11, -4*c = 16 for d.
3
Let z(w) = -w**3 - 8*w**2 - 8*w + 6. Let c be z(-6). Let r be (-106)/(-6) - 6/c. Solve 0 = -3*f - 4*n - 20, -r = -0*f + 4*f + n for f.
-4
Suppose t = -10 + 1. Let r(d) = -d - 5. Let i be r(t). Suppose 4*u = i*p - 124, -34 - 59 = -3*p - 2*u. Solve 3*z = 3*n + 2*n - p, -8 = -2*n - z for n.
5
Let n = 12 + -8. Suppose n*w = -0 + 8. Suppose 0 = -2*y - 0*y + 4*u + 26, 31 = 2*y - 5*u. Solve 4*p = 4*f + 24, y*p + w*f + 17 = -2*f for p.
1
Let r = 5 - -9. Let c be 4*(r/4)/7. Solve 0 = 5*a - 5*n - 25, -c*a + 5*n = 2*a - 24 for a.
1
Let h(j) = j**2 + 8*j - 3. Let c be h(-8). Let l be -1*(c + 6) + 7. Solve -8 = 3*s - l*x, 4*s - 5*x = -10 + 1 for s.
4
Let k(z) = -z**3 - 7*z**2 + 3. Let x be k(-7). Suppose 0*a = a - x, -4*l - 3 = -5*a. Solve -2*t + 2*h - 4 = 0, 8*t - 4*t - l*h + 3 = 0 for t.
3
Let x = -8 - -7. Let o be 1 + -1*(x + -1). Solve w + 23 = -5*l, -3*w + 4*l - o*l = -11 for w.
2
Let z be 1 + 0 - (3 + -10). Suppose -y - 3*y = -z. Solve 2*w + 5 = w, -y*i = w + 15 for i.
-5
Let g(k) = k**3 - 22*k**2 - k + 24. Let b be g(22). Solve -2*h = b*a - 16, -5*a - 1 + 21 = 0 for h.
4
Suppose -2*j + 5*n + 56 = 4*n, -4*n + 106 = 3*j. Let f = -19 - -31. Suppose 4*a - j = -5*g, 0*a - f = -2*a - g. Solve i + v = -i - a, 0 = -2*i - 2*v - 8 for i.
-1
Suppose g = 3*g - 10. Let r be 26*1/2 - 3. Solve 2*u = 0, -q - r = q - g*u for q.
-5
Let a = -3 - 0. Let s be (-1)/(0 + a/9). Solve 4*m = 8*f - 3*f + 32, -s*m + 29 = -5*f for f.
-4
Suppose -5*t + 1 + 9 = 0. Suppose 2*u = -4*u + 18. Solve l + 4 = -u*l, -t = 2*n + 2*l for n.
0
Suppose -2 + 4 = z. Solve 3*k - z*t = -9 - 4, 2*k + 9 = t for k.
-5
Suppose 3*x = 6 + 27. Let y = 16 - x. Solve 6*j + 3*w + 15 = j, -w = y for j.
0
Let c be (-4 + (3 - 0))*-1 + 1. Solve 3*q = -b - 2*b + 15, 19 = c*q + 5*b for q.
2
Let g(a) = -2*a - 12. Let s(r) = -5*r + 2. Suppose -3 = -2*m + 1. Let d be s(m). Let l be g(d). Solve 0 = -2*y + 3*n + 4, 3*y - l*n + 5*n = -5 for y.
-1
Let q = -16 - -19. Solve -4 = 3*a - y, -5*a - q*y - 9 - 7 = 0 for a.
-2
Suppose 8*p = -3*p - 0*p. Solve -5*g - 2*f - 17 = -p*f, 8 = -2*g - 2*f for g.
-3
Let j = 118 + -113. Solve 3*c - 19 = 2*t, -j*c - 1 + 28 = -t for t.
-2
Suppose 0 = 7*p - 6 - 8. Solve 0 = -p*l + 8, 15 = -3*h + l + 2 for h.
-3
Suppose -5*k + 4*y = -7*k + 24, -3*k + 32 = 4*y. Solve -4 = -2*c, 4*m - k - 2 = -5*c for m.
0
Suppose -4*b = 5*t, -7*t + 3*t - 9 = 5*b. Let v = 1 + t. Suppose -v*n = -3*y - 15, -5*n = -4*y + 2 - 22. Solve -4*k + 5*i = 8, 3*k + 4*i + 0*i - 25 = n for k.
3
Suppose 2*m + 2*n - 18 = 0, m - 5*m = 2*n - 42. Solve 3*f + 0*h - 8 = -4*h, -4*f - 4*h = -m for f.
4
Suppose 14 = -2*i - 5*g, 0 = -7*g + 3*g - 16. Solve -t = -2*y + y + 5, 0 = -i*y - 4*t + 15 for y.
5
Let j = -129 - -134. Solve 3*y - 8*y = -2*u - 21, j*y - 35 = -5*u for u.
2
Suppose -2*f - 2*a = -4*a - 14, a = -2. Solve -f*u = -2*q + 4, -4*u + 2*q = q + 5 for u.
-2
Suppose -j = -4 - 2. Let o be (j - (0 - 1))/1. Let p = -4 + o. Solve 2*v - 2*z + 5*z = -5, 0 = -5*v + p*z - 23 for v.
-4
Let v = 1 - -2. Let n be 9/(-3) + (2 - -1). Let w be (n/1)/(3 + -5). Solve 4*j + h - 25 = w, -4*j + 12 + v = -h for j.
5
Let b = -2 - -14. Solve 5*u = -i + 4, 0 = 3*i + 4*u - 0*u - b for i.
