= -2*r for j.
0
Let w = -43 - -47. Solve 0*c - m - 1 = -c, 0 = 5*c - w*m - 7 for c.
3
Suppose 3*k + 25 = 5*u, 5*k - k + 2*u = 10. Let s be (k + (1 - -79))*1. Suppose d = 6*d - s. Solve -2*g - 3*z - 12 = 10, -4*g = -z + d for g.
-5
Let d be (4/(-5))/((-8)/20). Solve 4*w - d*g = 0, 0*w = 2*w - 5*g - 16 for w.
-2
Suppose 3*m + 11 = 2*k, -5*m - 20 = 2*k + 9. Let z = -13 - m. Let i be z/(-28) - (-66)/14. Solve i*c + 23 = -0*y - y, 5*y + 2*c = 0 for y.
2
Suppose 4*v = 2*u + 212, -v - 26 + 79 = 3*u. Suppose v = 4*t - 3. Let k be 4/t + (-78)/(-21). Solve -3*j + 8 = k*y + j, -5*j = -2*y - 24 for y.
-2
Suppose -3*n + 2 + 4 = 0. Solve 3 = -3*u + 3*q, -n*u + q = -4*u + 13 for u.
4
Let h be 3/(-3)*-3*3. Suppose -h - 6 = -3*z. Solve -k - 2*k - 3*w - 27 = 0, -15 = z*k - w for k.
-4
Let a(u) = -3*u - 5. Let z be a(-4). Suppose z*m = 10*m - 36. Solve 3*d + 0 - 8 = -j, -5*d + m = j for j.
2
Suppose -s = -4*n - 0 + 17, 3*s - 29 = -4*n. Let k(o) = -o + 41. Let u be k(39). Solve -n*c - 2*t - 16 = 0, -c - 3*t = -u*c + 7 for c.
-2
Let j(c) = c**2 - 15*c - 24. Let d be j(17). Solve d = t + v + v, 20 = 5*v for t.
2
Suppose 15 = -8*o + 3*o. Let l be 1 - (-3 + o + 6). Let m be 3/(-3*l/(-20)). Solve -4*f = -16, 0*f - 5*f = -n - m for n.
0
Let y(c) be the first derivative of 4*c**3/3 + c**2 - 2*c + 3. Let m be y(3). Suppose 6*j = j + m. Solve -3*k - g = 17, k - j = 3*g + 3 for k.
-4
Let v(t) = -t**3 + 2*t. Let u be v(-2). Solve -4*r + 5*p - 35 = 0, -32 = 3*r + r - u*p for r.
-5
Let x = -13 - -20. Let r = x - 7. Solve 4*z - 2*s = 0, -2*z - 4*s = -r*z - 10 for z.
1
Let z be (2 + -5)/((-3)/28). Let x be 1/(-3) - z/(-12). Suppose m + 2*m = -2*y + 14, 0 = 3*m - 5*y - 7. Solve 4*g - c - 5 = x*g, g + 1 = m*c for g.
3
Let s(l) = -l**3 + 4*l**2 - 4*l - 1. Let c be s(3). Let u be 111/12 - (-1)/c. Let a be (-6)/(-2) + 11 - 3. Solve 3*b - 3*f = -6, -3*b - u = 4*f + a for b.
-4
Let o be 4/(1 + (-42)/46). Suppose -2*z + 4 = 0, 4*r - r + 2*z = o. Suppose 7 = 2*l - 1. Solve 0*a = 5*a + 15, r = -j - l*a for j.
-2
Let t(q) = -3*q - 10. Let d be t(-4). Let c be d + (6 - 1) + -2. Solve -c*p = 3*f - 3, 5*p + f = 2 - 1 for p.
0
Suppose -111 = -4*v - 15. Let o be 24/(-72) + 1/3. Let n(p) = 7*p**3 + 1. Let l be n(1). Solve -4*c - 4 = o, -l + v = 5*q - c for q.
3
Let h(f) = -f - 1. Let y(l) = -6*l - 3. Let v(i) = 2*h(i) - y(i). Let r = -2 + 3. Let t be v(r). Solve w = -t*q + 25, -w - 6 = -3*w + q for w.
5
Suppose -3*q - 5*a = -q - 35, 0 = -a + 5. Solve -4*x = -5*l + 31 + 9, q*l = 20 for x.
-5
Let j(p) = p**3 - 8*p**2 - 5*p - 36. Let k be j(9). Solve l + 4 + 2 = -2*d, k = -d - 4 for l.
2
Let x be (-6)/8 + (-11)/(-4). Let k = 3 + -3. Suppose k = w - 4*w + 15. Solve l - 2*l = w*y - 12, x*l = -4*y + 12 for y.
2
Suppose 2*t = 5*k - 20, 3*k + 18 = -5*t - 1. Suppose 18 = u + 4. Solve -m - 2*v - k = v, 0 = -2*m + 3*v + u for m.
4
Let a be (-4 - -3)*(-2 - -1). Let y be (-1 + a + -1)*-5. Solve 15 = 3*h - 0*h - 3*g, -y*h - 3*g = -25 for h.
5
Suppose 0 = 4*y - 8*s + 3*s + 4, -24 = -4*y - 2*s. Suppose -y*m + 20 = m. Solve m*c - 2*k + 2 = -10, 4*c + 2*k - 4 = 0 for c.
-1
Suppose 2*c - 5 - 5 = 0. Solve -f = c, 5*a - f - 4*f = 45 for a.
4
Suppose 4*n - 29 = t, 3*t - 5*t - 34 = -5*n. Suppose 0*f + f = -4*z - n, -3*z = -f + 6. Solve -p + 0*k + 2*k = f, k - 10 = 3*p for p.
-4
Suppose 4*g + 0*g = 32. Suppose -3*k + g = k. Solve 0 = -3*y + k*y - p + 9, -11 = -3*y + p for y.
5
Suppose -5*v = -10, -3*v + 101 - 35 = 4*b. Let w be -7 + (-1)/1 - -3. Let m be (-5)/(w/(-2)) - -19. Solve -b = -3*i, -i = -3*h - 2*i + m for h.
4
Let t(w) = 6*w**2 - 1. Let s be t(1). Solve -g - 2*f - s = -0*g, 2*f - 7 = -5*g for g.
3
Let p = -2 + 6. Let g be p/4 + 1/1. Solve 0 = -4*l - y + g, 2*y + 1 = -5*l + 5 for l.
0
Suppose 10 = 5*c - 0. Solve f + 3*v - 13 = -3, c*f = v + 6 for f.
4
Let u(i) = -7*i. Let q be u(1). Let z = -2 - q. Solve -3*j - z = w, -3*w + 2*j - 4 + 0 = 0 for w.
-2
Let u(z) = z**3 - 4*z**2 - 7*z + 4. Let f be u(5). Let w be (-21)/f + (-3)/(-6). Solve g - w = -3*h, 0*g = -4*g - h + 16 for g.
4
Suppose -5 = -3*r + 1, -c - 5*r + 12 = 0. Suppose -10 = c*m, -3*m - 35 = -2*x + 2*m. Solve -2*l - x*h = -h + 24, 4 = 2*l - 3*h for l.
-4
Let g(f) = -f**3 - 4*f**2 - 4*f. Let c be g(-3). Let j = c - 1. Let n be 21/3 + -1 - 1. Solve -j*a - 3 = u, -a + n*a - u = -3 for a.
-1
Let c = 35 + -50. Let p be 48/10 - 3/c. Suppose -4*f = 2*y - 26, 0 = -2*y + p + 1. Solve f*q = 2*j - 18, 4*j - 2 - 4 = -5*q for j.
4
Suppose 2*q = -0*q + 4. Solve 5*c = 2*h - 5, -q*c + 5*c = 2*h - 3 for h.
0
Let d = -7 - -5. Let m be ((-2)/(-3))/((-2)/(-6)). Let k = d + m. Solve 2*v = -k*v - o - 9, -3*v - o = 14 for v.
-5
Let t = 34 + -12. Let d be 3 + (1 - (3 - 2)). Suppose d*l + l - i = 13, 3*l = -i + 15. Solve l*o = -w + 8 - t, -o = 4 for w.
2
Let u be (-1)/2 + 3/6. Suppose u*a + a = 11. Suppose -m = 3*o + 3*m - 24, m - a = -2*o. Solve -o*w = 5*y - 21, 4*w - 5*y = -w + 15 for w.
4
Let d(a) = -24 - 4*a + 2*a + a. Let s be d(0). Let r = 34 + s. Solve 0 = 2*q + 2*f - 14, -5*q + r*f - 5 = 5*f for q.
3
Let b be 1/(((-2)/(-12))/(-1)). Let f = b - -7. Let q(p) = -p**3 + 8*p**2 - 6*p - 7. Let r be q(7). Solve r = -5*g - j - 7, 4 = -5*g + j + f for g.
-1
Suppose 5*u - u = 4*a + 4, 2*u - 16 = -5*a. Solve c - 1 = 2*d, -u*d - c + 1 = -0*c for d.
0
Suppose 7 = 2*s - 3*s. Let b = -5 - s. Solve -15 = -3*c, -2*c + 3 + b = h for h.
-5
Let w = 372 + -366. Suppose 3 - 12 = -3*u. Solve u*z - 2*v = -w*v - 13, z + v = -3 for z.
1
Let h = -12 - -29. Let z = h + -14. Solve 0 = 4*t + 2*f + 6, -z*f = -t - 8*f + 21 for t.
-4
Suppose 6*h + 22 = 4*r + h, 0 = -h - 2. Solve r*n + 10 = -2*q + n, -4*n = 0 for q.
-5
Let j = 60 - -38. Suppose 0 = -3*u + 8 - j. Let c be (u/(-1 + 4))/(-1). Solve -4*s = m - 11 - c, -m = -2*s + 3 for m.
5
Let k(j) = j + 9. Let s(x) = -x - 9. Let m(g) = 3*k(g) + 2*s(g). Let o be m(-6). Solve -25 = 5*v - 2*b - o*b, b = 1 for v.
-4
Let u = 3 - 2. Let f be u*(-21 + (-2 - -2)). Let x = f - -37. Solve -5 + 3 = -3*j + r, 0 = 2*j + 3*r - x for j.
2
Let o be 3 + (0 - 0) + 0. Let t be (4/6)/((-2)/3). Let l = t - -1. Solve 5 = -n - l*u - u, 2*u = o*n for n.
-2
Let c = 0 + 5. Solve 0 = 4*j - 5*j - c*r + 16, 3*j = -r - 8 for j.
-4
Let i be (-4)/6 - (-308)/12. Solve -4*c + 9*c - i = 0, 5*c = 3*n + 28 for n.
-1
Let g(q) be the third derivative of -q**5/60 + 7*q**4/24 - q**3/2 + q**2. Let c be g(6). Solve -4*j - 6 = c*b, 5*j - 2*b - 3*b - 10 = 0 for j.
0
Let v = 27 + -27. Solve -5*m - 3*r - r - 7 = 0, v = 5*m - 5*r + 25 for m.
-3
Let y = -40 + 40. Solve -3*f + 5*v + 19 = y, 2*f - 3*f - 5*v = 27 for f.
-2
Let c(x) = x**3 - x**2 + x + 5. Let y(d) = -d**2 + 4*d - 1. Let m be y(3). Suppose -m*u - u = 0. Let i be c(u). Solve 2*r - 2 = i*s, -r = -5*s + 1 - 2 for r.
1
Let b(t) = t - 1. Let r be b(6). Suppose -3*h = h. Let m(y) = y**2 - 1. Let k be m(-2). Solve k*x + 3*w = -2*w - 17, h = -2*x - r*w - 13 for x.
-4
Let z be (-3)/9 + 48/9. Suppose 0 = -2*b + 4*b - 8. Let y(q) = -q**3 + 6*q**2 - 5*q. Let r be y(b). Solve z*o = -3*c + 32, o - r = -c - c for o.
4
Let z = -5 + -10. Let o be (z/(-4))/5*4. Solve -3*r - x = 10, -o*r - x = x + 11 for r.
-3
Let s(d) = -d**3 - 2*d**2 + 6*d + 5. Let r be s(-4). Let l be 24/10 - (-3)/5. Let u be ((-2)/l)/(4/(-18)). Solve 5*v + 25 = -4*o, o + r = -o - u*v for o.
-5
Suppose 3*b = -5 + 17. Solve b*w = 4*j + 1 - 9, 2*w + 7 = -j for w.
-3
Suppose 3*p + 4*a + 8 = 0, -6*p = -4*p + 3*a + 6. Suppose -k + p = -5. Solve 15 = 3*m, k*y + 4*m - 2 = 8 for y.
-2
Let r be (-1)/(-2)*(6 - 0). Solve z - 6 = 3*z - r*y, 4*y = z + 3 for z.
-3
Let x(s) = -s - 4. Let j be x(-4). Solve -3*a + 18 = 2*d, -3*d + j*d = -a - 5 for a.
4
Suppose -4*b = b - 10. Suppose 2*w = -b*w - 12. Let x be 3/((-4)/2 - w). Solve -2*y + 4 = -2*h, -4 = -x*y - h + 6*h for y.
3
Let y be 28/(-8)*(-8)/14. Suppose y*b = -2*b + 8. Suppose -3*f = r - 11, 0 = 5*f + 5*r - 27 + b. Solve z - f*i = 6*z + 18, 5*z = -2*i - 17 for z.
-3
Suppose l - 1 = -0. Let v be l*-1*32/(-8). Solve 0 = -v*k - z, k - 4*z + 21 = z for k.
-1
Let q = -3 + 5. Suppose 3 - 5 = -q*p. Let b(y) = 2*y + 1. Let x be b(p). Solve x*j + 21 = 3*i - i, 0 = 5*j + 5*i + 10 for j.
-5
Let t(g) = g**2 - 8*g + 15. Let r be t(6). Solve -5*h - r*s = 11, 2*s - s + 2 = 0 for h.
-1
Let x(j) be the first derivative of j**2 - j - 4. Let r be x(-2). Let m = r 