+ y, 0 = m - 2*j + 3 for m.
5
Let q = 20 + -16. Suppose -k = -3*k + q. Solve -4*a - j = 15, k*a - j + 8 = -1 for a.
-4
Let v(r) = -r**3 + 12*r**2 - 10*r + 9. Let b be v(11). Suppose -p = 4*p - b. Let q be 38/3*(-6)/(-4). Solve p*t = 3*h - 29, -q = -2*h + 3*t + 2 for h.
3
Suppose -4*q = 2*k - 16, 2*q - 8 - 4 = k. Let t be 0/(0 - (-4)/(-2)). Suppose -2*n + t*n + 10 = 0. Solve -6 = -v + 3*z + q, n*v = -4*z + 17 for v.
5
Suppose -2*b - 38 = -6*c + 2*c, -2*c + 3*b + 13 = 0. Let f = -11 + c. Solve 4*j = 2*s + 12 - f, 5*s - 2*j = -14 for s.
-2
Let t = -6 - -6. Suppose x = -3*u + 61, t*x - 50 = -2*u - 3*x. Solve u = 5*i + 2*v, 5*v + 35 = -0*i + 4*i for i.
5
Suppose 89 = 4*l + 3*t, -2*l + 3*t + 34 + 15 = 0. Suppose -4*f + 78 = 2*z, -2*f + f + 3*z + l = 0. Solve -4*r - f = h, -r - 3*r = 2*h + 24 for r.
-4
Suppose -2*g - 9 = 2*d + 3, 12 = -3*d. Let t be (-2)/5 + 37/5. Let y = g + t. Solve -6 + 28 = 2*o - 5*l, -y*o = -2*l - 13 for o.
1
Suppose -7*o + 6*o + 3 = 0. Let w = 10 - -4. Suppose -w = -5*y + 3*y. Solve -y = g + 2*u + o*u, -u - 2 = 0 for g.
3
Suppose 0 = h + 3 - 1. Let x be -2*h/(-12)*-12. Solve 0*b - 3*b = x*r - 9, 3*r = -b + 8 for r.
3
Let f = 13 - 1. Suppose -5*d + 13 = -f. Solve d = 5*r + 3*q, -5*r = -4*r + q + 1 for r.
4
Suppose 0 = -m - 0*m. Solve m = q - 5*g + 11, -q + 6 = -3*q + 2*g for q.
-1
Suppose -27 = -14*r - 13*r. Suppose 20 = 4*z - 3*v, -5*v + v = 0. Solve z*b - j = -6, -b + r = 3*j - 1 for b.
-1
Let g(m) = -3*m - 6. Let l be g(-5). Suppose -l = -2*t + t. Solve 5*b = -4*z + 21, 3*z - 5*b - t = -2*b for z.
4
Let y be (-35)/10*(-8)/14. Solve -1 = y*p - 3*t - 3, 0 = p + t + 4 for p.
-2
Suppose -3*o - 4*z + 22 = -0*o, 0 = 4*z - 16. Let g be 6*((-1)/(-1))/o. Suppose -12 = b + 3*b, -b = -2*j + 15. Solve 0 = 2*p + 6, j*f - g*f - 2*p = -9 for f.
-5
Let m(y) = y + 15. Suppose 0*q = 3*q - c + 29, 2*q - c = -19. Let w be m(q). Solve 0 = 3*x + w*z - 5, x - 6*z + 4 = -2*z for x.
0
Suppose -2*q - q - 4*p = -4, 3*q - 5 = -5*p. Solve 2*w - 10 = q, -5*w + 5 = -t - 4*t for t.
4
Let h(s) = -s + 5. Let w be h(-16). Solve 3*k + w = -2*l, k + 4*k = 3*l - 16 for l.
-3
Suppose -6*t + 2*w + 8 = -4*t, 4*t - 5*w = 20. Let x be 3 + (-2)/(-1) + t. Suppose -7 - x = -3*l. Solve 3*n - 5*n + l = 0, 3*r - 1 = n for r.
1
Suppose -3*m = -2*m - 4*k - 13, -m = 4*k - 5. Let l(r) = r**2 + 3*r - 6. Let x be l(-5). Suppose x*t + 2 = 22. Solve y + 0*i - t*i = -m, -3*y - 13 = -i for y.
-4
Suppose 2*a + 4*p - 23 + 3 = 0, 5*a = p + 6. Solve 5*f - a = w + 23, 15 = 3*f + 4*w for f.
5
Let z be (0 + (-2)/(-4))*4. Let w be (-110)/6 - 12/18. Let x = w - -24. Solve x*k - z*v + 3*v - 20 = 0, 2*k = v + 8 for k.
4
Let b(k) = -k**3 + 3*k**2 + 4*k + 3. Let a be b(4). Let o be -2*1/a*-39. Solve q + w = -w + 9, 5*w - o = q for q.
-1
Let n = -136 + 138. Solve 9 = 3*q, n*q - 4 = 5*r + 7 for r.
-1
Let n be (-8 + 6)*(-5)/2. Solve t - 10 = -3*g - 0*t, n*t = 2*g - 1 for g.
3
Suppose -72 = -c - c. Suppose -94 = -5*h + c. Solve -4*y + 4 - h = -3*a, 4 = 2*a for y.
-4
Suppose 3*s - 6 = 6*s. Let z be -4*(2 - (s - -5)). Solve -r = -2*a + 3 - 2, -4 = -a + z*r for a.
0
Let q be 9/6 - (-6)/(-4). Suppose 5*k = 6*k - 3. Let i(a) = a**2 - 2*a - 1. Let c be i(k). Solve -3*b = 2*h + 5, 3*b + q = 5*h + c for b.
-1
Let d(g) = -g - 3. Let o be d(-6). Let u = 2 + 3. Solve u*b + 9 = o*f, 0 = 3*b - 0*b + 5*f - 15 for b.
0
Let d(o) be the first derivative of o**3/3 - 5*o**2/2 + 3*o + 2. Let q = -10 - -15. Let k be d(q). Solve -5*n - 31 = -3*v, -2*n = k*n + 3*v + 19 for n.
-5
Let n be (2/(-6))/(((-55)/(-75))/(-11)). Solve n*i + 6 = 2*b, 2*b = -2*i + 6 - 0 for b.
3
Let n be 2/5 + (-182)/(-70). Solve f - 2*f + 10 = 4*t, 5*f + n*t = 16 for f.
2
Suppose 0 - 8 = -a. Solve 24 = -5*z - r - 0*r, -3*z + r - a = 0 for z.
-4
Suppose -k - 4*k = -20. Suppose k*n - n - 6 = 0. Suppose -5 = -h + m, 5*h + n = -4*m - 0. Solve -h*s = -2*u + 12, 0 - 8 = -2*s - 3*u for s.
-2
Let d = 21 - -2. Suppose 2 + 2 = 2*j. Let z = j - -1. Solve -2*f + 1 = -p, d = f - z*p - 2*p for f.
-2
Let h(m) = -m**3 - 3*m**2 + 3*m - 2. Let y be h(-4). Let g = -14 + 14. Let f be (2 - g)/((-2)/(-12)). Solve f = -r + y*w + 3, r - w = -6 for r.
-3
Let a(m) be the first derivative of m**2/2 + 11*m - 2. Let q be a(-10). Let l be (-6)/((2 - 4)*q). Solve -4*j + 0*j - 3*k + 3 = 0, -3*j + l*k + 18 = 0 for j.
3
Suppose -6 = a - 4. Let r be ((-2)/1)/(1/a). Solve 20 = -5*d, 28 = r*s + 2*d - 6*d for s.
3
Let t = -2 + 8. Let l(r) = r**3 - 6*r**2. Let y be l(t). Let m be 0 + (y + 0)/(-3). Solve 5*c = 4*z - m*c - 23, 2*z = -3*c - 5 for z.
2
Let q = -47 + 89. Suppose 0 = -2*b + 2*c + q, 0*b - 87 = -3*b - 5*c. Solve -2*k - 21 = 3*l, -l - 3*k - b = 2*l for l.
-5
Let y(x) = x**2 + 2*x + 1. Let z be y(-3). Solve 0 = -3*k - 5*b + 11 + 16, z*k = -3*b + 25 for k.
4
Suppose -5*z - 20 = 4*o, 3*z + 22 = -4*o + 2. Let y be 12/(-4) + 3/1. Suppose 2*b - 10 + 2 = y. Solve 12 = -b*v - p + 4, z = 4*p - 16 for v.
-3
Let j = -25 - -30. Solve -3*q + 7 = -f, -q - 41 = -j*q - 5*f for q.
4
Let z be 1/3 + (-14)/6. Let x be ((-1)/z)/((-2)/(-20)). Solve -3*f + 12 + 4 = -x*u, 2*u - 2 = 4*f for u.
-5
Let h(j) = 2*j**2 + 36*j. Let v be h(-18). Solve -5*a + 4*s + 22 = s, -2*a - 5*s - 16 = v for a.
2
Let s(q) = -q**2 - 10*q + 13. Let f be s(-9). Suppose -5*u = 7 - f. Solve -u*v + 2 = -i, 0 = -2*v - v + 5*i + 22 for v.
-1
Suppose 48 = 2*v + 2*v. Suppose -k + h + 10 = 2*h, -k - 2*h = -v. Suppose -3*n = -4*c + 34, 2*c + k = 3*c - n. Solve -m + 2 = 2*y, c + 12 = -4*m + 2*y for m.
-4
Let s = -47 + 79. Let a = 18 - s. Let z be 0 + a/(-2) + -3. Solve -3*f = -4*y - 1, y + z = -5*f + 2*f for f.
-1
Suppose 2*i = 3*c + 49, -2*i + 2*c = -0*i - 50. Let r = i + -15. Solve -k = -5, 0 = 2*b - k + 2 + r for b.
-4
Suppose f - 2*f = 0. Suppose -4*y + y - 4*r + 7 = f, 4*y - 14 = -3*r. Solve y*g - 22 = 3, g = v for v.
5
Let m = 40 + -36. Solve 3*t - 2*l + m*l - 2 = 0, -t - 16 = 4*l for t.
4
Let o = 155 - 140. Solve -o = 9*b - 4*b, -2*r = -3*b - 1 for r.
-4
Let v be (-1)/5 + 242/10. Let d = v + -14. Solve -24 = -4*g - 4*r, d = -3*g - 2*r + 6*r for g.
2
Let q(w) = 7*w - 1. Let f(n) = -n**2 + 5*n + 1. Let p be f(5). Let l be q(p). Suppose -t = -32 + 2. Solve -3*s + l*s - v - 20 = 0, 5*s - t = v for s.
5
Let g be 0 - -2*(-9)/(-6). Let m = 6 - 3. Suppose 2*x = 4*w - m + 5, -5*x = -5. Solve -c = 5*d + 4, -d - 4*c + w = -g for d.
-1
Let o = 15 + -10. Solve o*k - 2*f = -23, 2*k = -3*k - 3*f - 28 for k.
-5
Suppose 4*x - 1 = -1. Let c = 2 + -2. Suppose -h - 2*t + 5 = c, 14 = 5*h + 2*t - 3. Solve -l + 3 = -h*g, x = -8*l + 3*l + 3*g - 9 for l.
-3
Let r(d) = 4*d + 4. Let c be r(-2). Let h = 10 + c. Solve -b = 5*v - 3 + h, 5*b + 15 = -4*v for v.
0
Let j = -127 + 129. Solve -3*g = 2*u + 32 - 7, 4*g + 30 = -j*u for u.
-5
Suppose -2*v - 9*v = -22. Let o be (-2)/(-4) + (-11)/(-2). Solve -2*c - 5*g - o = v*c, -3*g - 9 = -3*c for c.
1
Suppose -4*k = 4*m - 3*k - 9, -5*k = 15. Let y be 2 + 2 - (m - 1). Suppose -b = y*x - 13, 0 = 3*x + 3*b - 17 - 4. Solve -x*s + 2*s = 8, -3*s = -2*c for c.
-3
Let f be (-12)/20 - (-112)/(-5). Let g = 27 + f. Solve g*a = -s + 3, -2*s = -5*s + 9 for a.
0
Let g(n) = -n**3 + 4*n**2 + 15*n - 14. Let t be g(6). Solve -t*j + 6*m - 16 = m, m + 4 = -j for j.
-4
Let o be (-2)/(-10) + (-4)/20. Solve -3*g + 5 = 2*b + 3*b, o = 5*b + g - 5 for b.
1
Suppose k - 46 = 3*i, -2*i - 2*k = 7 + 21. Let x = 0 - i. Solve 5*h + 4*z - 3 = -18, -5*h + 5*z - x = 0 for h.
-3
Let a(b) = b**3 + 6*b**2 - 2*b - 12. Let s be a(-6). Solve 5*g = -2*k + 24, s = -4*g - k - 5 + 23 for g.
4
Let x = 2 - 0. Let j(c) = -3*c + 1. Let q be j(-6). Solve x*o - q + 6 = 5*z, 0 = -4*o + z + 17 for o.
4
Let k = 30 + -24. Solve g + 5 = 0, -c - k*g + 3*g - 20 = 0 for c.
-5
Let t be (-5 - -2)/((-1)/1). Solve o - 1 = -3*l, t*l + 8 = -3*o - 1 for l.
2
Suppose -5*w = -2*w + 3. Let o = w - -4. Solve 3*n - o = 3*l, -4*l - n + 1 + 0 = 0 for l.
0
Suppose 4*n + 6 = -t + 4*t, -t = -4*n - 2. Solve -3*f + 16 = -5*p - 4*f, n = -4*f + 16 for p.
-4
Let b = 55 + -55. Solve -4*f + 15 = 5*i, -3*f + b*f + 3 = i for i.
3
Let j be 8*(-3)/(-18)*3. Let x be j/((-12)/9) - -3. Suppose -10 = -2*p - x*p. Solve 2*s + 3*h = 12, p*s + 3*h - 17 = 2*h for s.
3
Let y be 6/(-18)*(1 + -1). Solve -2*n + 3*u = -7, 5*n + y*u = 5*u + 15 for n.
2
Suppose 3*m + m = 0. Let h be 3 - 2*1/2. Let v = h + m. Solve 