- 2*r - 12 = 0. Solve -r*g = -3*g + 15, 5*g = -3*q - 34 for q.
-3
Suppose 5 = 5*r - 20. Solve 1 + 18 = 3*u - r*b, 2*b = -10 for u.
-2
Suppose h = -2*h + 18. Suppose 3*r - 60 = -3*a, -h*a - 5*r + 46 = -4*a. Let p be -1 - -1*(a - 1). Solve -5*j = 2*c - 3*c + p, -2*j + 3*c + 4 = 0 for j.
-4
Let k(a) = 5*a**2 + 2*a + 1. Let x be k(-1). Let l = 4 - x. Suppose 4*i - 2*u = 17 + 1, l = 3*i + 5*u + 6. Solve -5*v + 11 = -2*m + 4, -3*m - i*v = 0 for m.
-1
Let i(z) = z**2 - 17*z + 18. Let y be i(16). Suppose -5*v - 32 = -v - 5*s, 2*s = -v + 5. Let p = v + 13. Solve y*j + 3*w = 3*j + 16, 2*w - p = 0 for j.
-1
Let u = -5 - -7. Suppose u*j = -3*j + k - 1, 2*j + 2*k - 2 = 0. Suppose j = 4*c - 4*i - 16, c - 5*i = -0*c + 12. Solve -c = 5*p - 5*q - 17, -2*q + 4 = 0 for p.
5
Let g(k) = k**3 + 6*k**2 + 4*k. Let p be g(-5). Suppose 0*c + p*c = 5. Let x = c - -4. Solve -x*o - 5*f = 11 - 46, 5*o - 4*f = -1 for o.
3
Let s be ((-6)/3)/(1 + -2). Solve w = 4*v - 18, 3*v - v = s*w + 6 for v.
5
Suppose 0 - 2 = 2*x + 4*c, 3*x = -c + 22. Suppose 0 = -b - 4*b + 25. Solve -4*j = -x*j + 5*d + 15, b*j + 2*d = -20 for j.
-2
Suppose -5*s = 5 - 65. Solve 2*t + 5*j = -30 + s, 0 = 3*t - 5*j - 23 for t.
1
Suppose 3 + 0 = y. Suppose y*q = -15 + 42. Let r(n) = -n**3 - 5*n**2 - 5*n + 3. Let l be r(-4). Solve -3*g - q = -z - g, -l = -3*z + g for z.
1
Suppose -4*u + 0*i + i + 2 = 0, 4 = -5*u - 2*i. Solve -b + 3 = u, 3*w + 3*b - 6 = 15 for w.
4
Let x = 17 + -15. Solve 0 = -q - 3*u - 1, q + x*q = -5*u + 5 for q.
5
Let l = 17 + -19. Let d = 0 - l. Solve -k + 5*k - d*s = 2, k + 4*s = -13 for k.
-1
Let u be (2/(-4))/(12/(-120)). Solve 0 = u*r + 2*v + 6, -2*v = -r + 2*v + 12 for r.
0
Suppose 0 = 4*s + 2*y, 12 = -s - 3*y + 2. Suppose 12 = z - u, -s*z - u - 1 + 10 = 0. Let d = 9 - z. Solve -d*c = 2, -2*w + 2 = w + c for w.
1
Let c(q) = 6*q - 4. Let o be c(2). Solve 5*m + 12 = -2*r, -2*m - o = 2*r + 2*r for r.
-1
Let u = -5 - -8. Suppose 0 = t + w - 0*w - 29, 0 = -u*t + 5*w + 55. Suppose -5*y + 100 = t. Solve 0 = 3*o - 2*o + 4*q - 21, -5*o + 4*q = y for o.
1
Suppose -14 = -3*h - 5*y, -4*y + y = -3. Solve h*l = -5*d - 12, -5*d + 16 = -3*l - l for l.
-4
Let p be 6 + 1 + (5 - 7). Solve 0 = 2*d + 3*q - 3, -3*d = -7*d - p*q + 3 for d.
-3
Let o(d) = d**3 + 7*d**2 + 6*d + 1. Let w be o(-6). Let s be 0 + (-1 - (0 - 1)). Solve -g - w = -2*n, 3*n + s*n = g + 4 for n.
3
Suppose -5*t = -i + 52, 4*t + 37 + 13 = -2*i. Suppose 2*p + 69 = 5*u, 2*p + 3*p + 45 = 4*u. Let k = t + u. Solve -3*x = -k*s + 27, -x - 7 - 7 = -3*s for x.
-5
Suppose 5*k = -0*k + k. Solve k = -4*l - 4*x + 4, -x = -l - 2 + 5 for l.
2
Let z(b) = b**2 - 7*b + 5. Let i be z(7). Solve i*d + y + y = -2, 0 = 3*d + 4*y + 4 for d.
0
Let m(p) = 4*p + 12. Let n be m(-2). Solve 3 = 3*j, -3*z - n*j + 12 = -z for z.
4
Let z(c) = -2*c - 37. Let k be z(-20). Solve k*o = -2*i - 0*i - 8, -o = -i - 4 for i.
-4
Let d be 5/15 - 17/(-3). Let u(j) = j**2 - 5*j - 4. Let p be u(d). Solve -p*y = -10, y + y = 4*q + 6 for q.
1
Let r(z) = -z**2 - z - 20. Let k be r(0). Let u be k/(-3) - (-8)/(-12). Let f be (-6)/4 + (-7)/(-2). Solve -m + y = -y - u, -3*y - 7 = -f*m for m.
-4
Let v be (-7)/(-3) - 12/(-18). Solve -y + 3 = -j, 2*j + v*j = -5 for y.
2
Let y(k) = -3*k**2 + 1. Let t be y(-1). Let p(w) = 2*w**2 + 1 - w + 2*w + 1. Let m be p(t). Solve -4 = 5*q - n, 4*q - 4*n - m = -6*n for q.
0
Suppose -2*n - n = 0. Suppose 3 = -0*a + a - 4*g, -2*a + 6 = 4*g. Solve 5*p + 3*y + y + 10 = n, -a*p = -3*y + 6 for p.
-2
Let g(f) = -f**3 - 1. Let h be g(-3). Let a = h + -13. Let c = a + -9. Solve -c*k - 3*s + 31 = 0, -3*s = -8*s + 25 for k.
4
Let u(o) = -o**3 + 5*o**2 - o + 7. Let m be u(5). Let z be 6*1 - m/1. Solve -4*d = -q - z + 3, 2*q = -4*d + 10 for q.
3
Suppose 3*m + 2*j - 15 = 0, 0 = -2*m + 2*j - 4*j + 12. Solve 5*v = 2*r + m + 4, 2*r = 3*v - 5 for r.
-1
Suppose 2*s = s + 30. Suppose 4*x + 26 = w, 2*x + s = 3*w - 18. Let l = w - 11. Solve m + 5*z = l*m - 3, m - 6 = -2*z for m.
4
Suppose 4 = -4*g - f + 8, 3*g = -3*f + 12. Suppose g*s - 15 = -5*s. Solve -5*a - i + 21 = 2*i, 3*a + s*i = 15 for a.
3
Let m(u) = -3*u - 7. Let b be m(0). Let y = b - -15. Solve -3*a - 21 = 3*n, -4*n - 8 = a + y for n.
-3
Let v(d) = -2*d + 40. Let l be v(20). Solve 5*s + 3*z = -z + 2, l = -4*z - 8 for s.
2
Suppose 2*o - 3*o = 5. Let u be o/(-15)*3*2. Solve -l = 4*c - 22, 5*l + 3 = 3*c - u for l.
2
Let i be (-570)/(-133) - 4/14. Solve 3 = 5*s - 5*j - 2, j = -i*s + 24 for s.
5
Let z be 36/24*22/3. Suppose -3*m + 18 = -0*y + 2*y, 0 = 5*m - 3*y - z. Solve -5*d = x + 30, m*d - x + 10 = x for d.
-5
Let k = -6 + 8. Let x be 114/22 + 2/(-11). Suppose -6*t = -x*t. Solve -2*b = 3*v - 5 - 0, -k*v + 2*b - 10 = t for v.
-1
Suppose 5*b = i - 0*i + 4, i - 2 = 2*b. Let k = -3 + i. Solve -2*y - n = k*n + 8, -5*y + 4 = 2*n for y.
2
Suppose -43 = 2*y - 19. Let v = -8 - y. Suppose 4*x = x. Solve -7*w = -2*s - 2*w, 4*s - v*w = x for s.
0
Let t be 0/1 + (5 - -1). Let k = 9 - t. Solve k*s = -3*a + a + 11, 0 = 5*s - 4*a - 11 for s.
3
Let j(i) = 5*i + 2. Let y = -7 + 8. Let v be j(y). Solve 3*k + 18 = -5*m, -5*m + k - v = 7 for m.
-3
Let r(d) = d**2 - 2*d - 1. Let j be r(3). Suppose -2*z + 3 = m - j, -5*m = -2*z - 13. Solve 0 = -w + 3*a - 7*a - 17, -m*w - 2*a - 11 = 0 for w.
-1
Suppose 0 = 2*d - d - 6. Let h be 2/(-6) - (-14)/d. Suppose v - m = -4*m + 17, 0 = -h*m + 10. Solve -5*w = -4*a - 8, -v*w + 5 = -a - 0*a for a.
3
Let z be (0 - (2 + -4)) + -1. Let x be 2*(z + 2 + 0). Let c = x + -4. Solve 10 = -3*m - 4*a, 7 = -3*m + a - c*a for m.
-2
Let u(i) = i**2 - 6*i + 9. Let q be u(5). Solve 0 = -q*b - 3*h - 29, h = -2*b - 4*h - 25 for b.
-5
Let z(p) = -10*p + 1. Suppose -2*i + 4 = -2*f, -2*f - 5*i = 6 - 2. Let u be z(f). Suppose 0 = 4*y - u + 5. Solve 14 = -4*v - x, -2*x = y*v + 2*x + 8 for v.
-4
Suppose 5*l = 2*l - 6. Let r = 5 - l. Solve -2*s - s + w = -r, 5*s - 2*w = 10 for s.
4
Let i = 36 + 6. Solve -4*f = -5*k - 5, -5*f - 5 = 4*k - i for k.
3
Suppose w - 23 = -18. Suppose n - w = 2. Solve -4*f + n = 5*d - 18, 5*f = 0 for d.
5
Suppose 24 - 78 = -3*z. Solve 5*n + z = -r, 6*n + 26 = 3*r + n for r.
2
Let j(g) = -g + 9. Let u be j(6). Solve -2*x + 0 - 10 = -4*y, 3*x + u*y = 30 for x.
5
Let h(u) = u + 1. Let w be h(4). Suppose f = w*y + 4*f - 25, -4*f + 18 = -y. Suppose z = -y*z. Solve 2*c - p - 13 = 0, z = -5*c + 7*p - 2*p + 45 for c.
4
Let n(z) = -z**2 + 18*z + 42. Let i be n(20). Solve -v + 4*v + 2 = -2*d, -2*d = v + i for v.
0
Suppose 3*c + 22 - 4 = 0. Let d be c/(-4)*(-10)/(-3). Solve -4*b - 17 = -g, -b + 3*b = 5*g + d for g.
-3
Let o(r) = -2*r**3 - 5*r**2 + 2*r. Let t be o(-3). Suppose -f - 15 = 19. Let j = -9 - f. Solve m + 4*i - j = -2*m, -t*i = -4*m for m.
3
Suppose 3*d = 3*t + 6*d - 21, -3*d = -2*t - 6. Let m(q) = q**3 + 2*q**2 - q - 1. Let y be m(2). Solve t = 4*a - 2*v + y, -4*a - 7 = -5*v for a.
-3
Let g(m) = 3*m - 5. Let n be g(3). Solve 0 = -5*z + 4*z - 3*b + 16, -n*z = -2*b + 6 for z.
1
Suppose 4*d = d - 3. Let j be (-1)/(-2)*(d + 37). Solve -b + 11 = -3*f + 24, 4*b + 2*f - j = 0 for b.
2
Let u be (1/(-2))/(2/(-12)). Let i be 2 + (u*4)/4. Solve 20 = -i*y + 3*k + 6, 4*y = -3*k - 22 for y.
-4
Let p(k) = -2*k - 2. Let l(s) = -3*s - 3. Let u(i) = -5*l(i) + 7*p(i). Let x be u(2). Solve w - 8 = 3*w - 4*f, -x*w = -f + 7 for w.
-2
Let c be -1 + (-1)/2*2. Let v = 4 + c. Suppose 5*k - 5 = 0, 0*u = -3*u + 4*k + v. Solve -5*o - 14 = -o + u*w, -5*o - 25 = 4*w for o.
-1
Let x(t) = 3*t - 3 - t**2 - 7 + 9*t. Let q be x(10). Suppose 3*j - 19 = -4*v, -3 = -9*j + 6*j. Solve q = -2*l, 2*o + 2*o - 4*l - v = 0 for o.
-4
Suppose 2*i + 2*i - 3*r - 36 = 0, -3*r - 12 = 0. Let w be (6/(-4))/(i/(-8)). Solve 2*t - w*x = 16, 4*x = -4*t - x - 13 for t.
3
Let h = -5 + 7. Suppose -h*s - 4*m + 13 = -3*m, -9 = -3*m. Solve 1 + 0 = -3*p - u, -3*p - s*u + 19 = 0 for p.
-2
Let f be (-8)/6*(-324)/24. Solve 4*t + a + 4 = -1, 0 = 3*t - 4*a + f for t.
-2
Let j be (-8)/6*(-3)/2. Suppose -i = j*i - 45. Solve 0 = -2*d - 2*w, w = 2*d - 0*w - i for d.
5
Let a = -2 + 2. Let x = 8 - -12. Suppose -5*d + x = -a*d. Solve d*w - 4*g = 28, 30 = w + 4*w - 4*g for w.
2
Let v be (4/6)/(11/(-198)). Let g = v + 12. Solve -5*t + 2*h = 7*h + 5, g = 5*t + 2*h + 2 for t.
0
Let h = 16 - 9. Solve 2*k = -5*t - 25, 3*t - h*t - 37 = 5*k for k.
-5
Let d(q) be the first derivative 