13, -v + j = 4*r for v.
0
Let f = -9 + 3. Let n = f - 7. Let a = -8 - n. Solve -5*u - 4*o = 9, 0 = -2*u + 4*u - a*o + 30 for u.
-5
Let u be (-64)/40*5/2. Let s be u + 0 - -1 - -5. Solve -5*t + 8 = -7, -t = d - s for d.
-1
Let g be 1/(-2)*(-2 + 6). Let x = g + 5. Solve 0 = -l + x*l - 4*m + 10, -25 = 5*l + 4*m for l.
-5
Let l(o) = -o**2 - 7*o - 5. Let s be (-1 - -2)/(3/(-15)). Let n be l(s). Let a be (1 - (0 + 0))*n. Solve p - z = z + 1, 0 = a*p - z + 22 for p.
-5
Let d = 7 + -4. Let h = d + -3. Solve -4*b = 2*q - h*b - 6, 4*b = 2*q - 14 for q.
5
Suppose -15 = -3*l + 5*o, o + 2*o + 9 = 2*l. Let j(a) = -a**3 - 3*a**2 - 3*a. Let r be j(-3). Solve l = c - 2*x - 11, 5*x + 13 = -3*c - r for c.
1
Let a = -18 + 18. Solve y + 0*y - 3*p = 0, a = -p for y.
0
Let a(u) = 44*u + 1. Let f be a(1). Let p be (-144)/f*5/(-2). Solve -20 = g + 5*k, 3*g + 26 = -k + p for g.
-5
Suppose 2*t = r, 14*r - 15*r - 4*t = -30. Solve -2*c + 4*j = r, -3*c + 2*j - j = 10 for c.
-3
Suppose -y + y = -4*y. Solve -s + 6 = -4*h - 9, y = -5*h + 2*s - 18 for h.
-4
Suppose -4*l = -2*l - 8. Suppose n + n = l. Solve 2*q - 7*q = 4*k - 4, -n*q = -k - 12 for q.
4
Let g(s) be the first derivative of s**4/4 - 4*s**3/3 + 5*s**2/2 - 4*s - 7. Let z be g(3). Solve 0 = -4*w + 16, 0*w = z*p + 2*w - 16 for p.
4
Let r be 2/2*(-6 - -6). Solve 4*c + 2*w - 2 = r, -w - 6 = -3*c - 4*w for c.
-1
Suppose x + 3*x = 0. Let j = 8 + x. Solve 3*o = -5*c - 1 + 2, 2*c = 3*o - j for c.
-1
Let z = -65 - -65. Solve m + 0 - 1 = z, m = -a + 3 for a.
2
Suppose 2*p + 2 = -2*h, -1 = 4*h - 2*p + 15. Let f be 2/(-3)*h - -9. Solve -5*d + 2*o - 4*o = -f, -3*d + 2*o + 13 = 0 for d.
3
Let d be (-5)/(-1 - 12/8). Solve 5*s + t - 21 = 0, 2*s - d - 1 = 5*t for s.
4
Suppose 4*j + j - 31 = -4*b, j - 4*b = -13. Suppose -s - 20 = -5*l, 0*s - j*s + 5 = -2*l. Solve 19 = 4*i - 3*i + 4*g, i - s*g = -26 for i.
-1
Suppose y = i + 2*i - 4, -2*i + 16 = 2*y. Solve f - 3*f - 3*t - 7 = 0, -f - i*t = 2 for f.
-5
Suppose 0*g = 5*g - 5. Let i = g - -1. Suppose -3*x = x - 24. Solve -2*o = -5*v - x, v - o = -i*v - 3 for v.
0
Let w(l) = -l + 11. Let v be w(8). Suppose -2 - 8 = -4*f - 5*t, -v*f = 3*t - 9. Let x be 1/3 - 1/3. Solve u + f + 0 = x, n + 2 = -u for n.
3
Suppose -5*j + 69 = -4*l, -5*l + 17 = -3*j + 61. Let s = j - 7. Solve -4*g - n + 14 = 0, -4*n + s = -5*g + 34 for g.
4
Let k(z) = 0*z + 4 - 3*z - 4*z - z**2 + 10*z. Let q be k(4). Solve -4*r = -q*s - 3*s - 23, 2*s + 6 = -2*r for r.
2
Let y = 214 + -210. Solve 5*l - 20 = -2*q + q, 4*q = -y*l for l.
5
Let k = 41 - 29. Suppose -6*p = -p + 3*o + k, -3*p + 2*o + 8 = 0. Solve -4*g + 15 = -5*i, 5*g - 2*i - 20 - 3 = p for g.
5
Suppose 4*l = 5 + 19. Let s(t) = t**2 - 7*t + 9. Let n be s(l). Solve -j - 2*w - 3 = 0, w - n + 12 = 2*j for j.
3
Let i = -31 - -19. Let d be -4*(63/i + 3). Solve 4*b = -0*s + s + d, -14 = b + 3*s for b.
1
Suppose -5*r + f = -5 - 5, 3*r - 2*f + 1 = 0. Solve 0 = -r*l + z + 8, -2*l = -l + 5*z - 8 for l.
3
Suppose -16 = -5*v - 4*s, -v + 9 = v - s. Solve -5*n + 11 = h - v*h, 4*n + 4*h = -4 for n.
1
Let z(d) = d**2 + 5*d - 2. Let a be z(-6). Suppose -n + a*n - 6 = 0. Let k be n*11 + 5 + -3. Solve 3*v + 3*f = -24, -f - f = 4*v + k for v.
-4
Suppose -4*j = -11*j + 105. Suppose -9*q + 4*q = -j. Solve -2*g = q*h - g + 5, 0 = -2*h - 4*g + 10 for h.
-3
Suppose 8 = -3*k + 2*m, -3*m - 4 = -4*m. Suppose -x + 3 = -k. Solve 3*s = 2*u + 5, -2*s = -3*u - s + x for u.
2
Suppose -5 + 0 = 5*f. Let b = 2 - f. Solve -k - 2*x = b, -4*k - k = -2*x + 3 for k.
-1
Suppose -2*v + 52 = 2*y, 3*y = 5*y + 3*v - 56. Let k = -6 + 9. Solve 4*u + y - 1 = o, -o = 2*u + k for o.
5
Let o(g) = g**2 - 5. Let n be o(3). Let j = -7 - -12. Solve 8 = n*d - 4*l - l, j*l + 20 = 0 for d.
-3
Let t = -4 + 6. Suppose -2*k + 7*k - 22 = -2*d, k = 3*d + 18. Let p = k - t. Solve -5*j + 13 = 4*g, 7*j - p*j + 1 = 2*g for g.
2
Let y be ((-8)/12)/((-4)/30). Let u be -4 + 4 + y + -1. Solve -b + d + 10 = -3*b, u*b = -4*d - 20 for b.
-5
Let h be 4/10 - (-231)/35. Solve 4*l + 4 = f - h, 0 = -3*f + 3*l + 15 for f.
3
Suppose -5*f + 19 = -2*z, -20 = -4*z - z - f. Let o be (6 + -3)/z + 3. Solve -a + 3*p - o = -1, -a + 5*p - 5 = 0 for a.
0
Let u(p) = p - 4. Let i be u(6). Let l be 1 + -4 + (8 - i). Solve -2*d = -2*s - 16, -d = -l*s - s - 17 for d.
5
Let s = 16 + -11. Solve -s*v - 11 = -b, 5*v + 2*b + 31 = -2*b for v.
-3
Let a be (9/(-12))/((-1)/(-20)). Let y = a + 18. Solve 0 = 2*j + j + 3*t - 9, -5*t + 15 = -y*j for j.
0
Let p be (0 + (-2 - -2))/(-2). Suppose p = 5*a - 2*v - 9, 2*a = -a - 5*v + 24. Solve -a*y = 3*k + 5 - 2, 0 = -4*k + 2*y + 8 for k.
1
Suppose -5*o + 4 = -11. Let x = -5 + o. Let n(k) = k**2 + k - 1. Let u be n(x). Solve -g = -u, -2*g - 11 = 4*p - g for p.
-3
Let z = -6 - -4. Let x be (z + 1 - -2)/1. Let y be (1 + x)*68/8. Solve -2 = m + 3*u, 2*m - 3*u - y = 6*m for m.
-5
Let g = 2 - 1. Suppose 7 = y + g. Suppose -31 = -5*i - y. Solve 5*a = 0, 2*a + i + 4 = -3*q for q.
-3
Let i = -5 - -8. Let u = i - 3. Solve -8 = 2*w, 4*w = 3*c - u - 13 for c.
-1
Let v(h) = -h - 4. Let f be v(0). Let d = f + 6. Solve i = 4*j - 13, 0 = 3*i + j + d*j - 21 for i.
3
Let u(z) = -z**3 - 8*z**2 - 8*z - 5. Let x be u(-7). Let l = 3 + x. Solve r - 2 = -l*c, 0 = -c - 5*r - 19 + 5 for c.
1
Suppose 2*w - 3 = -5*m, -2*w + 3*w = -3*m + 1. Solve 2 = -q - 3*f, 3*q + w*f + 5 = -1 for q.
-2
Suppose 3*o - 8 = 13. Let k be 7 - o - 3*-1. Solve 2*n + 3*a = 5*a - 2, 3 = k*n + 3*a for n.
0
Let f(m) = m**3 + 8*m**2 + 10*m + 25. Let c be f(-7). Solve 0 = c*p + g + 7, -5*p + g = -0 + 11 for p.
-2
Let h(b) = -5*b - 9. Let t be h(-3). Solve -8 = w - 2*l, 4*w - l = -t*l + 33 for w.
2
Suppose 3*x - n = 8*x - 75, x = 5*n + 15. Let s = 1 + 1. Suppose x = o + s*o. Solve 0 = 4*q - 3*l + 10 + 6, o*l = -4*q - 16 for q.
-4
Suppose j - 3*j + 6 = 0. Suppose 0*v = 4*v - 8. Solve -v*q - 15 = -j*m, -2*q = q + 3*m for q.
-3
Suppose -117 = -2*j - 101. Solve 0 = 5*d - 2*l + j + 2, 0 = -l + 5 for d.
0
Let b = 8 - 6. Solve 3*l + b*l = -5*d + 5, -7 = d - l for d.
-3
Suppose 2*a = 5*s - 16, -3 = -5*a + 2*s - 1. Suppose 0*t - a*t = -10. Suppose -z + t*z - 80 = 0. Solve 4*d - 6*q + 2*q = 0, -d - 4*q = z for d.
-4
Let s(d) = 2*d**3 - 2*d**2 + d + 1. Let l be s(2). Suppose 2*q = 5*v - 6, q - 3 = 5*v - l. Solve 2*h - n + q = h, -5*n - 15 = 0 for h.
-5
Let h(o) = -4*o**3 - o - 1. Let c be h(-1). Solve c*m + 36 = -5*k, 2*m + 5*k - 12 = -40 for m.
-4
Suppose 4 = 4*c - 4*z + 24, -2*z = -10. Let s = 2 - c. Suppose s*a = 3*a - 4. Solve -a*g - 3*y = -14, -3*g + 3*y + 21 = -0*y for g.
5
Suppose 5*x - 24 = -l, -3*l + 4*x = -6 - 28. Let h = l + -9. Solve 3*i + 2*i + 1 = -3*t, 0 = -h*t - 10 for i.
1
Let u be (0 - 0) + 0 - -2. Suppose -3*z - u*z - 25 = 0. Let a = z + 8. Solve 2*b - 2*x + 18 = 0, -4*x - x = -a*b - 37 for b.
-4
Let y = 14 - 14. Let v(z) be the third derivative of -z**5/60 - z**4/6 + z**2. Let m be v(-2). Solve -4*l + 32 = -4*f, y = m*f - 3*f - 2*l + 11 for f.
-5
Suppose 5*t - 4 = 11. Suppose -2*x + 1 + t = 0. Let b be 308/21 - x/3. Solve -2*s - b = 4*h, -3*h + 3*s - s = 0 for h.
-2
Suppose -13*o = -10*o - 12. Solve 2*t - 15 = -5*l + 3, 5*l = -o*t + 26 for l.
2
Let l(w) = -w**2 + 6*w - 5. Let i(o) = -3*o + 14. Let q be i(4). Let k be l(q). Let m be ((-3)/2)/((-6)/16). Solve 2*n - 4*n - 9 = -5*u, 5*u = m*n + k for n.
3
Suppose -y - 14 = -4*f, 2*f = y - 2*y + 10. Solve -4 = -3*v - a, 4*v - y*v - 3*a - 10 = 0 for v.
2
Let k = -15 + 9. Let s(h) = h**3 + 7*h**2 + 2*h - 6. Let i be s(k). Suppose 7*o + 4*b = 2*o + 108, o = -2*b + 18. Solve -5*x = -5*j + o + 6, -i = j + 5*x for j.
2
Let h = 28 - -2. Solve 0 = 4*c - 4*q + 12, 5*c - h = -q - 3*q for c.
2
Suppose 0*f - 3*f = 3*q - 3, -20 = -4*q + 4*f. Let c(s) = s**2 - 10*s + 12. Let i be c(9). Solve 3*j = -q*m, -j - 4 = 5*m - i*m for m.
-4
Suppose -n - 5*v = -4*n + 15, -5*n + 4*v + 12 = 0. Suppose 0 = -4*o - n*o. Solve -h - 2*s = 5, 5*s + 12 = -3*h - o*h for h.
1
Let s = 5 - 5. Solve -v + n - 3*n = -15, s = 5*v - 3*n - 10 for v.
5
Let o(v) = -v**3 - 6*v**2 + 3*v - 6. Let c be o(-7). Solve 4*z + 18 = 3*r, -r + 5*z - 5 = -c for r.
2
Let w be 8/3*(-21)/2. Let p be w/(-6) - 8/12. Solve b - 2 = 3*r, p*r + 0 = 5*b - 10 for b.
2
Let a = 5 + -7. Let v = 0 + a. Let t = 2 + v. Solve 5*r - 3*g - 3 = 0, -3*r + t*r - 3*g + 21 = 0 for r.
3
Let k = 13 - 5. Let l be 