x - 4*q for x.
-1
Let i be ((-16)/(-4))/(-4)*-2. Solve -i*a = 2*p - 2 + 4, 0 = -2*a + 2*p + 2 for a.
0
Suppose u = 1 - 5. Let g be (u - -1)/((-9)/6). Suppose 0 - g = -m. Solve -4*l - 4*k + 8 = -0*l, -l + 7 = m*k for l.
-3
Let d(w) = -w**3 + 6*w**2 + 7*w + 4. Let g be d(7). Solve -4*m + s = -13 + g, 2*m + 3*s = 1 for m.
2
Let n(j) = j**3 - 3*j**2 + 5*j - 1. Let l be n(2). Solve -5*p + 3*w + l = -6, 4*w = 3*p for p.
4
Suppose d - 3 = -3*s, 4*d = 6*d + 4*s - 4. Solve 2*w + 0*h - h - 6 = d, -2*h = -3*w + 7 for w.
5
Let n = 72 - 67. Suppose 5*t = m - 0*m + 23, -2*m = 4*t - 24. Solve -m = 3*h + i, -10 + 30 = n*i for h.
-2
Let s = -19 + 13. Let a(u) = -u - 9. Let c(y) = 3*y + 36. Let l(h) = 9*a(h) + 2*c(h). Let j be l(s). Solve 4*d - j*d = -n + 21, -2*d + 4*n = 12 for d.
-4
Let r = -10 - -13. Suppose -5*h = -10*h - 5*u + 35, -r*u = -4*h - 7. Solve 3*n = h*m - 0*m - 7, -n = -3*m for n.
-3
Let s(x) = -3*x - 4*x - 4 - x**2 + 0. Let k be s(-5). Suppose 0 = v - 5 - 2. Solve -3*r + k = -2*d, r - 4*d + v = -1 for r.
4
Suppose 5*c = -5*c + 6*c. Solve -5*z + c*z + 15 = -5*s, -2*s - 6 = -3*z for s.
-3
Let w be (4 - 3)/((-3)/(-15)). Suppose 5*a = 6*a - w. Solve t + 12 = 4*k + 2*t, -2*k - a*t = 12 for k.
4
Suppose j = -0*g + 3*g + 20, 0 = -5*g - 15. Let y = j + -7. Suppose 29 = y*q + 9. Solve 2*m + q = -2*m - 5*k, 0 = -4*m + k - 23 for m.
-5
Let l be (-14)/(-3)*(-6)/(-4). Let q = -3 + l. Solve -q*d - 2 = 2*m, -d + 4*m = -8 - 5 for d.
1
Suppose o + 7 - 11 = 0. Solve -o*b + 8 = -z, 5*b - 10 = -0*z - 3*z for z.
0
Let w(c) = c**3 + 28*c**2 - 30*c - 24. Let j be w(-29). Solve 3*s + 3*g + 14 = -10, j*s = -2*g - 28 for s.
-4
Let z(g) = -g**2 + 3*g - 4. Let o be z(3). Let i = -3 - o. Suppose -2*d + i = -1. Solve -n + k - 4 = -d, -21 = 5*n - 2*k for n.
-5
Let k(c) be the first derivative of 2*c**2 - 6*c + 2. Let q be k(4). Solve 3*v - q - 5 = 0, 0 = 5*g + 4*v - 5 for g.
-3
Let i(y) = 24*y**2 - 3*y + 2. Let c be i(1). Solve 5*d = -h - c, -3*d + 0*d - 2*h = 18 for d.
-4
Let a(n) = -n**2 - 2*n + 3. Let r be a(0). Solve 4*i = m + 3, -3*i - 8 = -r*m + 1 for i.
2
Let z be ((-2)/(-4))/((-3)/(-78)). Suppose -g + z - 1 = 0. Solve g = -2*x + 5*p, -x + p = -1 + 4 for x.
-1
Let s(d) = d**2 + 10*d + 9. Let l be s(-9). Let w = 0 - l. Solve 4*a + 2*k + 4 = k, -5*a + 5*k - 5 = w for a.
-1
Let v(t) = -2*t - 7. Let m be v(-5). Suppose 0*d + d - m = 0. Solve -4*p - 1 = -5*r - 3, -r + 11 = d*p for r.
2
Suppose 0 = -2*o + 3*f + 19, -5*o - 5*f + 2*f + 37 = 0. Let j be 0/(-3) - o/(-2). Solve -j*v - a + 6 - 3 = 0, 3*v + 5*a + 19 = 0 for v.
2
Suppose 3*o = -4*s + 3, -20 = -4*o - 2*s - 6. Solve 5*d = x - 21, x - 4*x - 37 = o*d for x.
-4
Suppose 5*m = m + 16. Let l(o) be the second derivative of o**4/12 - o**3/6 + 12*o**2 + o. Let z be l(0). Solve -5*c - m*p = -1, 5*c - p - 5 = -z for c.
-3
Let s(u) = u**2 - 2. Let n be s(2). Suppose -n*g = -3*q + 3*g + 31, -2*g = 4*q + 2. Solve -2*v = f + 4*f + 5, 2 = -2*v - q*f for v.
0
Let u(s) = 2*s**2 - 1. Suppose 4*g + 2 = -2. Let y be u(g). Solve 0 = -5*p + 4*z + y, 2*p - z = z for p.
1
Let k = -2 + 5. Solve -3*h + n = -5*h + 13, k*n - 27 = -3*h for h.
4
Let b = 1 - -3. Let t be (-2)/(-4) + 38/b. Let y = t - 5. Solve -3*x + z + 6 = 0, -y*x + 0*z + 8 = -z for x.
1
Let r be 6/15*1*5. Solve 2*u = -3*s + 5*u + 9, 0 = -r*u - 10 for s.
-2
Let v(j) = -j - 8. Let g be v(-10). Let o = 2 + g. Solve -2*b + 0*b = 4*p + 22, 3*b + 23 = -o*p for b.
-1
Let r be 6*5/15 + 11. Solve -2*i + 3*z = -r, -i = -0*i - 5*z - 10 for i.
5
Let n = 16 - 5. Suppose c - 12 = -3*l, n = 2*c + l - 8. Let j = 14 - c. Solve 4*v - 5*v + 14 = -4*u, 0 = j*u - 2*v + 16 for u.
-4
Suppose 2*s + 4*o = -14, -5*s + 5*o - 3*o + 13 = 0. Suppose 2*r - 1 = s. Let g be 1/(r/37) + -2. Solve 4*u + 15 = y - 0*y, -4*y = 3*u + g for y.
-5
Suppose 2*a - 53 = 5*m, a - m + 6*m = -11. Let s be 3/(-2)*(-8)/6. Let j be (-2)/(3/(-15)*s). Solve -a = x + j*v, 3*x - v = 7 - 17 for x.
-4
Suppose 3*f + 6 = 2*f. Let o be 4 + (f - (-4)/2). Solve t + o*m + 3 = -m, -m = -t - 1 for t.
-2
Suppose 4*r = 17 + 43. Let m be (-126)/8 - 3/12. Let s be 3*(m/(-4) - 3). Solve x + r = 3*d - 2*x, s*x = -d + 1 for d.
4
Suppose -5*z - 2*b = -19, 4*z + 4*b - 8*b - 32 = 0. Solve -3*x - g + 8 = -4*x, -3*x - z*g + 16 = 0 for x.
-3
Suppose -4*c + 6*k - k = 38, -3*c = -2*k + 25. Let y = -4 - c. Suppose y*d - 63 = -0*d. Solve 3*s + 9 = 5*w + d, -4*w + 20 = 5*s for w.
0
Suppose -1 = 2*c - 11. Solve 3*o - 8*q + 5 = -4*q, -c*q + 15 = -2*o for o.
5
Let r be 0/1 + (-3)/(-1). Suppose -10 = -8*l + r*l. Solve -2*q + 2*w = 8, q - l*q - 4*w = 4 for q.
-4
Suppose 2*c = -9 + 3. Let s = c + 11. Solve -4*i + 6*f = 3*f - s, -f - 7 = 3*i for i.
-1
Let q = 6 + -4. Suppose 0 = 2*d - 3*l - 4, -q*d = -l - 0*l - 8. Let r be (38/(-5))/((-11)/((-550)/(-20))). Solve -11 = 5*f - 4*m + r, d*f + 5*m = 15 for f.
-2
Let j = -31 - -47. Suppose -5*b - j = -7*b. Let r = -3 + 5. Solve -3*h - 2*n + b = 0, 7 = 2*h + r*n + n for h.
2
Let d = 6 - 6. Let s(v) = v**2 + 5*v. Let g be s(-6). Solve -4*a + 3*x + 2*x = -g, d = -a + 3*x - 2 for a.
4
Let s be 2 + 15/3 - 2. Let m = -30 + 46. Suppose -s*n = 1 - m. Solve 2*q = -3*b - n, b = -2*b + q - 3 for b.
-1
Let a be 6 - (-8)/4 - 3. Let x be -5*((-48)/5)/3. Suppose 0 = -v - 2*t + 3*t + 1, 4*v = t + x. Solve -2*s = 2*q + 12, 15 = -a*q + v*s - 5 for q.
-5
Suppose -2*h + h = -6. Suppose 4*k - 3*t - 7 - 4 = 0, 2*t - h = 0. Solve 2*b = 2*j + j + 10, 2*j + k*b + 13 = 0 for j.
-4
Let c be 4/18 - (-356)/18. Suppose -4*p - p = -c. Solve p*k - 11 = -4*n - k, 0 = 2*n - 2*k + 8 for n.
-1
Let l(v) = -7*v**2 + 22*v - 5. Let h(y) = 4*y**2 - 11*y + 2. Let w(i) = -5*h(i) - 3*l(i). Let p be w(11). Solve -z + 7 = 3*c - p*z, 0 = 5*c - 3*z + 3 for c.
-3
Let j(i) = 7*i**2 - 7*i + 3. Let x be j(1). Solve 3*c = -4*b - 8, -5*b = 4*c - x + 13 for c.
0
Let u(a) = 6*a + 1. Suppose 0 = -q + 1. Let v be u(q). Solve -2*b + 3*b = -3*m - v, 4*m - 2*b + 6 = 0 for m.
-2
Let n(b) = -5*b - 10. Let c be n(-6). Solve 5*u - 13 = t + 3, 3*u = -2*t + c for u.
4
Let f(b) = -b**2 - 6*b + 2. Let l be f(-6). Solve -4*h + l*h - 4*w = -8, 0 = h + w for h.
-4
Let y be (0 + 0)/((-18)/(-9)). Let g = 5 - y. Solve -f - 3*v = -13, -7 = f - g*f + 3*v for f.
4
Let v be (-1 - -3) + 40/(-10). Let u be (4/v)/((-16)/24). Solve 5*l - 11 = u*q, -3*l - 3 = 2*l + 4*q for l.
1
Suppose -3*v + 38 = 4*w + 10, 4*v + 5*w - 36 = 0. Solve 4*m + m + 10 = 0, 4*a + v*m = 0 for a.
2
Let h be 2 + (-5)/((-5)/2). Suppose -h*r = 14 - 2. Let n = 0 - r. Solve 0 = 3*s - b - 4, 3*b - 14 = -7*s + n*s for s.
2
Suppose 0 = -3*b - 2*q + 4, -6 = -0*b - 4*b - 3*q. Suppose -3*z + 16 = z. Let t = 6 - -1. Solve 4*r - a = -b*r - 7, 0 = -5*r - z*a + t for r.
-1
Suppose -5*z + 83 = 2*m, -84 + 3 = -5*z - 4*m. Solve 3*l = 2*f - z, 11 = -0*f - f - 5*l for f.
4
Let y = 8 + -1. Let h(m) = -2*m + 17. Let t be h(y). Solve -4*j - x + 2 = 0, j + 3*x + 8 = t*j for j.
1
Let g = 2 - 2. Let l be (-141)/(-21) - 8/(-28) - 2. Solve -3*i - 14 - 1 = 3*n, l*i + 25 = g for n.
0
Let o be -5 - (-5)/(15/9). Let b be 6 + ((-6)/o - 5). Solve -2*q = l + 2, q - 3*l + b = 2*q for q.
-2
Let k(w) = -w**3 + 7*w**2 + 3*w - 4. Let t be k(7). Suppose 4*z = u - t, -u + 27 = -3*z + 11. Solve -u = 2*l - 2*r - r, -2*l - 5*r = 5 for l.
-5
Let n = -3 + -8. Let x be (-20)/n - (-6)/33. Solve 0 = -3*c - 2*t + x, 4*t + 6 = -3*c + 16 for c.
-2
Let r(g) = -9*g + 6. Let j(n) = -10*n + 5. Let a(k) = -4*j(k) + 3*r(k). Let o be a(2). Solve 3*z - 12 = 0, -z - o = 2*s - 5*z for s.
-4
Suppose -5*l + 10 = 3*a, -2*a + 12 + 0 = -2*l. Suppose 0 = a*p - 2 - 13. Let b be ((-5)/p)/((-4)/12). Solve -5*g - 2 = -2*m - 0, b*g - m = -6 for g.
-2
Let j be ((-1)/(-2))/(4/24). Suppose 3*q - x = 19, -q = -3*x + 5*x + j. Solve -2*p + u = -8, 5*u = q*p + 2*u - 22 for p.
2
Let o = -1 + 9. Suppose 16 = 2*j + 2*j. Suppose 16 = 2*k - 4*r, 2 = -3*r + 2*r. Solve j*m = -k*v - o, 3 = -2*v - v for m.
-1
Let a = -58 + 60. Solve -3*x - 2*r = a, 3*r = 5*x + 5*r + 6 for x.
-2
Let h(y) be the first derivative of y**4/4 + y**2/2 + 3*y - 3. Let o be h(0). Solve 27 = 5*z + 4*g, -2*z + g - o = -2*g for z.
3
Let k(z) = -z**3 + 3*z**2 + 4*z + 4. Suppose 0 = 5*v - 3*v - 8. Let g be k(v). Solve -3*m + p = 2*m + 21, 2*m = -g*p - 4 for m.
-4
Suppose -2*a + 7*u - 3*u = -50, -5*a = 4*u - 69. Let z = a - 11. Solve -j = -z*j - 3*