*q + 10 = -t, -u*t - q - 6 = -t for t.
-5
Let r = 0 - -1. Let g = r + 1. Solve -3*z = -l - 2*l + 12, 5*z = g*l - 23 for z.
-5
Let u = 0 - 0. Solve -5*m - 8*x = -4*x - 36, -3*m + 2*x + 4 = u for m.
4
Suppose -13 + 3 = -2*c. Let h = -2 + c. Solve -1 = 3*k - 3*o + 2, 0 = k + h*o - 3 for k.
0
Let d be (-18)/(-5) - (-2)/5. Let i(g) = -g - 7. Let o be i(-9). Solve o*s - d*l - 14 = 0, s - 3*l = 3 + 5 for s.
5
Let q be ((10/(-4))/1)/((-3)/6). Solve p = 2*p - q*g + 6, -4*g + 8 = 0 for p.
4
Let t = -13 - -23. Let y(r) = -r**3 - 5*r**2 + 5*r - 2. Let w be y(-6). Solve w*m = 5*g + 17, -t = -2*m - g + 5*g for m.
3
Let r(v) = v + 13. Let u be r(-11). Solve -2*g - u*s = g + 13, -g - 9 = 3*s for g.
-3
Let d(t) be the first derivative of -t**2 - 5*t - 1. Let q be d(-4). Suppose -q*w = -3*a + 30, 0 = 3*w - 7*w - 20. Solve -3*m = m + 2*r, a*r + 10 = 0 for m.
1
Let i(n) = -n**2 + 4*n - 1. Suppose -4*w = 3*k, w + 3*k + 9 = -0*w. Let m be i(w). Solve u = 2*q + m, 4*u - 5*q + 0*q - 11 = 0 for u.
4
Let b(c) = -c + 21. Let u be b(0). Solve 0 = -f + 3*f + 3*h - 23, u = 4*f + h for f.
4
Suppose 12 = 136*o - 132*o. Let a(l) = -l**3 + 6*l**2 - 6*l. Let d be a(4). Solve -2 = 4*s - 2*s, f = -o*s - d for f.
-5
Let h(c) = c**2 + 4*c - 7. Let n be h(-5). Let t be ((-2)/6)/(n/42). Let b(q) = q + 7. Let a be b(-5). Solve 1 = a*r + 3*p, t*r - p - 23 = 3*r for r.
5
Suppose 0*k = k - 4. Suppose k*o = 22 + 58. Solve 3*u = b - o, -5*b - 4*u + 1 = -4 for b.
5
Suppose -f + 0*f + h + 20 = 0, -34 = -2*f - 4*h. Solve -2*d - 3*r + 16 = 3*d, -2*d + 3*r = -f for d.
5
Let a(o) = o + 5. Let q be a(0). Suppose -q*c + 24 = -2*c. Suppose -4*n + 13 = -b, 0 = 2*n - 5*b - 1 - 28. Solve 2*j + c = -n*p, 18 = -p - 4*p - 4*j for p.
-2
Let l(k) = -2*k + 1. Let b be l(-1). Let n be -1 - (-4 + (-6)/b). Solve -15 = n*f - x + 11, -2*f = -4*x + 14 for f.
-5
Let s be ((-1)/(-2)*0)/2. Let d be 2/(-7) + (-994)/(-49). Let q = d - 19. Solve s = -4*n + 4*v, -5*n - 2*v + 8 = q for n.
1
Let g = 0 + 0. Suppose 4*s - c = 1, -18 + g = -3*s - 5*c. Suppose -p = -s - 3. Solve p*m - 18 = 2*i, 0*m - 3*i = 2*m - 13 for m.
5
Suppose 3*q + 78 = 24. Let g = q - -22. Solve 0 = 4*b + d - 10, b - 5*d = -g*d for b.
2
Let k be (-308)/(-35)*(-5)/(-2). Let i = k - 19. Solve i*m - 8 - 1 = 0, -10 = 2*c - 2*m for c.
-2
Let i be 19 + 0/1 + 72/(-24). Solve -t = 3*n + i, 4*n + 4*t = -t - 36 for n.
-4
Let k = -12 + 8. Let g be (-1)/k + (-91)/(-4). Let o = -16 + g. Solve 0 = -4*q + 3*c - 25, 4*q + o = -0*q - 3*c for q.
-4
Suppose 8*l - 55 = -7. Solve o - l*o + 23 = s, -3*s + o = -5 for s.
3
Let s = 12 + 2. Let k be 2/6 + (-20)/(-12). Let i be (-3 + -3 + k)*-1. Solve c = t - 8, i*c = 3*t - s - 15 for t.
3
Suppose -10 = 2*j - 4*j. Solve -3*b = j*r + 1 + 16, 2*b = -4*r - 14 for b.
1
Suppose -5*i = t - 17 + 4, 5*t - 109 = -3*i. Let g = t - 21. Solve k - 3 = 3*c, -c + 15 = g*c + 5*k for c.
0
Let z(p) = -p**2 + 9*p - 6. Let h be z(10). Let k be 1/(2*(-2)/h). Solve v + 0 = -3*m + 10, 0 = -5*v + k*m + 12 for v.
4
Suppose f + 2*c + 2 = 0, -2*f + 9 + 3 = -4*c. Solve n = 5*n + 2*k + 26, -1 = -n + f*k for n.
-5
Let j(u) = u**2 - 6*u - 4. Let a be j(7). Suppose a*t - h - 10 = -0*t, 2*h = t. Solve -t*y = -r - 6, 4*y = r + y + 5 for r.
-2
Suppose 3*c = 6, -3*c = 3*k - 11 - 10. Suppose -k*g + 4*i = -29, 4*g - g - 5*i - 20 = 0. Solve -3 = r - g*j, 2*r - j - 3 = -0*j for r.
2
Let g(n) = -n**2 - n + 2. Let w be g(0). Let i be w/(7/(84/8)). Solve -5*y - 2 = -i*x, -3*y + 3 = -2*x + 4 for x.
-1
Let j(h) = 3*h**2 + 2. Suppose -8 = 4*z - 0*z. Let n be j(z). Solve 0 + 5 = -5*r, 5*s + n = r for s.
-3
Let n be 0 - (-14 + 0 + 2). Let b be 8/6*(-6)/(-4). Let z(k) = k**2 - 2*k + 3. Let a be z(b). Solve q = 4*p - n, a*q + 2*p + 0 = 6 for q.
0
Suppose 0 = r - 31 + 4. Let d(n) = -2*n - 2. Let x be d(2). Let q be ((-8)/(-10))/(x/(-15)). Solve -3*f + r = -4*m, q*m + 24 = 3*f - m for f.
5
Let x be (0 + 3/(-12))*4. Let q = 6 + x. Solve 2*j = 5*i - 10*i + 33, q*i - j - 21 = 0 for i.
5
Let g = 5 + -3. Suppose g*v = 4*v - 8. Suppose 6 = -4*c + 4*f + 18, 4*c + 4*f + v = 0. Solve s + 5*i + 21 = 0, 3*s - 5*i - 18 + c = 0 for s.
-1
Let y(f) = 10*f - 3. Let u be y(2). Solve 0 = -2*m + 8, -v - 4*v = 3*m - u for v.
1
Let z = 61 + -57. Solve 4*p - 17 = -3*v, 0 = 5*v - v - z*p + 24 for v.
-1
Let x = -9 - -14. Suppose -42 = x*u - 7*u. Solve w - u = 5*d + 4*w, -3*w = -2*d for d.
-3
Let f(y) = y**2 - 3*y. Let k be f(5). Solve 4*z - s - 25 = 0, 0*z + k = z - s for z.
5
Let b = 23 + -20. Let h = 63 - -47. Suppose -5*v = 5*u - h, 6*v - 3*v = -u + 14. Solve 10 = -2*d - 4*f + u, 4*f - 16 = b*d for d.
0
Let x = 53 - 37. Solve -4*w + 8 = -4*m - 2*w, 5*w + x = -2*m for m.
-3
Let t(j) = j**2 + 2*j + 1. Let o be t(-4). Let m(g) = -g**3 + 9*g**2 + 5. Let s be m(o). Solve 0 = -4*w - s*i + 11, 4*i = w - 2 - 6 for w.
4
Let c = 97 + -73. Solve 2*a + 0 = -3*v - 1, 3*a = 3*v - c for v.
3
Let i(f) = f**2 - 3*f - 16. Let z be i(6). Solve 0 = -4*j - 3*t + 15, -2*j - 8 = -4*j - z*t for j.
3
Suppose -3*y + 19 + 8 = 0. Suppose -r + 2*r = 0. Suppose r*i - 2 = -2*i. Solve -2*l + 3*o = 13, -5*o + y + i = -l for l.
-5
Let f(t) = 9 + 3*t + t - 3*t. Let w be f(7). Let c be 2/6*-2*-12. Solve -4*u + w = 4*d, -3*u = d - 0*d - c for u.
2
Suppose -4 = z - 1. Suppose 4*m + 4 = 0, -2*b + 2 + 0 = -2*m. Let a be 9 + (b - -3)/z. Solve -2*p = 2*l + a, -2*l + 2 = -2*p - 2 for p.
-3
Let r(s) = -6*s + 1. Let j be r(-1). Let l be (j - -1)*5/20. Solve 3*d - 5*d = o - l, -o = -5*d + 19 for d.
3
Let p = 19 - 31. Let l = -5 - p. Solve 4*w + 3*b - 23 = 0, 4*w - 2*b + l*b - 25 = 0 for w.
5
Let g = 19 - 15. Solve 3*v - 25 = 3*b - 4, -g*b + 3*v - 26 = 0 for b.
-5
Let j = 27 + -45. Let n = -15 - j. Solve 0 = -3*v - 5*b + 7 - 0, 0 = 3*b + n for v.
4
Let d(n) = n**2 + 5*n - 4. Let b be d(-6). Let p(v) = v**3 + 5*v**2 - 8*v - 7. Let a be p(-6). Solve -a*g + 20 = -g, h - b*g = -15 for h.
-5
Let n be 6/(-4)*(-8)/(-3). Let r be (-24)/(-18) - n/6. Solve -2*m = 4*z - 4*m + 18, -4*m + 24 = -r*z for z.
-2
Let x(g) = 2*g**2 - 16*g + 6. Let y be x(8). Solve 4*b = -5*h + 2 + 33, 3*h - 3*b = -y for h.
3
Let r(c) = c. Let z be r(3). Suppose -z*k + 12 = -0. Suppose 4*h - k = 32. Solve h = 4*g - 3, -5*g = -l - 15 for l.
0
Let b be (10/6 - 2)*-9. Suppose 3*s + 3*q - 9 = 0, -3*s = -s - 5*q - 13. Suppose -s*m = m - 25. Solve -b*l + l = u + 4, 5*l = -m*u - 10 for u.
0
Let v(f) = f**3 - 5*f**2 + 2*f + 3. Let w = 1 + 2. Let j be v(w). Let q = -6 - j. Solve -y = 4*c + 13, -q*y - c + 12 = -6*c for y.
-1
Suppose -5*w + 3*s + 2 - 5 = 0, -w + 2*s + 5 = 0. Let d be (-11 + 2)/(w/3). Solve -4*g = -f - 16, f - 11 - d = -5*g for f.
0
Suppose -3*z - 2*a = -43, -a + 0*a = 4. Solve -z = -l + 5*n, l - 4*l + 18 = -4*n for l.
2
Suppose 4*j - 12 = -5*u + 13, -j + u + 4 = 0. Solve 0 = z - i, j*z = i + 2*i + 4 for z.
2
Let n(h) = 10 - 7*h - 13 + 2*h. Suppose -2*l + 0*l - 8 = 0. Let g be n(l). Solve 5*q + m + 25 = -2*m, 4*q - 5*m - g = 0 for q.
-2
Let y be (-3 + 5)*(4 + -2). Solve q - 5*q = 3*g - 20, y*g + 5*q = 25 for g.
0
Let o(w) = -3*w**2 + 5*w - 6. Let l be o(-5). Let n be 6/33 - l/22. Solve -4*v + s = -3*s, n*v = -s + 18 for v.
3
Let l(u) = -u**3 - 2*u**2 - 2*u. Let b be l(-2). Solve 0 = 4*o + b*h - 16, o - 3*o + 5*h - 6 = 0 for o.
2
Suppose -j + 30 = 5*j. Suppose 0 = 2*f - j*f + 6. Solve -2*k - 20 = -4*x, -k - 2 = k + f*x for k.
-4
Suppose 1 = m - 1. Suppose 3*v = 6*v. Suppose v = -q + 4*q - 15. Solve -5*f - o = -24, -f + q*f - 22 = m*o for f.
5
Let j be (-12)/(-1 - 2) - 3. Let r be 35/14*(j - -1). Suppose -4*h - 8 = 3*s, -r*s = -s + 3*h + 6. Solve s = -4*u + 5*l + 5 - 17, 4*l = -3*u + 22 for u.
2
Let x be (160/(-28) - -6)/(2/14). Solve -6 = x*i, 4*q - 2*i - 2*i = 16 for q.
1
Let o = 13 - 9. Let w(k) be the second derivative of k**4/6 - k**3/2 - 3*k**2/2 + 2*k. Let s be w(o). Solve 21 = 5*g + j, 2*j = 5*g + 4*j - s for g.
5
Let i be 9 - (7 + (-4 - 0)). Solve -2*r - 3*s - i = -5*s, 5*s = -5*r + 5 for r.
-1
Let g(a) = a + 1. Let q(k) = -k - 13. Let d(f) = -2*g(f) - q(f). Let s be d(-10). Solve 3*u = 3*l + 9, 8*l - 3*l - s = -4*u for u.
4
Let q(s) = -s**3 + 8*s**2 - 7*s + 2. Let k be q(7). Solve -4*x = r - 3, k*x + 2*x - 5*r = -15 for x.
0
Suppose -3*r = f + 4 - 2, -4*r = 2*f. Solve u - f*a - 8 - 9 = 0, 2*u = -5*a - 5 for u.
5
Let p be 1/1*(14 + -2). Let y be ((-4)/p)/((-2)/24). 