c + 4. Solve v = 3*r, c*v = 3*r - v for r.
0
Suppose -2*i = 4*h - 81 - 5, 130 = 5*h - 2*i. Let t = h + -5. Solve -l = 4*b + t, -4*b + 0*l + l = 21 for b.
-5
Let k(w) = 2*w + 3. Let x(o) = -o - 2. Let l(s) = -4*k(s) - 6*x(s). Let z be l(-6). Solve 2*t - z = -2*a, -6*t = -t - 5*a for t.
3
Let u(q) = -q**2 + 7*q - 1. Let a(n) = n**2 - 2*n + 2. Let c be a(3). Let o be u(c). Solve 0*i - 29 = 4*i + 3*k, -3*k = o for i.
-5
Suppose 0 = -2*r - 4*v + 2, -3*r - 2*v + 4 = -3. Suppose -3*y = q + r - 1, 3*y - 4 = 2*q. Suppose 3*p + p = y. Solve -5*u + 25 = 0, 5*c + u + 2*u = p for c.
-3
Suppose 4 = 4*t, -3*f + 3*t + 4 + 5 = 0. Solve 3*o + 10 = o, 3*o = -f*j - 27 for j.
-3
Suppose -11 = -0*k + 3*k - 5*v, 5*k + 2*v - 23 = 0. Let z = 104 - 80. Suppose -z = -r - k*r. Solve 5*q - r = -2*p - 3, -4*p + 4*q = -20 for p.
4
Let x(j) be the second derivative of j**4/12 - j**3/6 + j**2 - j. Let i be 0*(-2)/(-4)*-1. Let h be x(i). Solve 0 = -2*t + l + 5, -h*t + 3*l + 1 = 6 for t.
5
Suppose -k - 41 = 25. Let q = k + 96. Solve -2*a = 8, -5*a - q = -4*j + 2 for j.
3
Suppose -5*j - u + 6*u = 20, -10 = -2*u. Suppose -4*a - j = 3. Let k = -1 - a. Solve x + r - 1 = 0, -3*x - 3*r + r + 5 = k for x.
3
Let c = -1 + 3. Suppose 0 = c*l + 2 - 12. Solve -3*v = 4*o + 5, 0 = 3*v + 4 + l for o.
1
Let j = -10 - -14. Suppose -2*u + 6 = -2. Suppose -8 = -j*h + u. Solve -2*o - 3*n - 19 = 0, h*n + 0 + 4 = o for o.
-5
Let f(p) = -3*p - 6. Let x be f(-3). Solve 0 = -2*t - h - 10 - 1, x*h + 17 = -2*t for t.
-4
Let t = -6 + 2. Let f = -8 - t. Let s be ((-6)/f - 2)*0. Solve r + 3*c - 8 = s, 3*r + 4 = -3*c + 16 for r.
2
Let s be 2/(-12) - (-109)/6. Let a be 102/s - (-4)/(-6). Solve -4*c + 13 = c - 4*f, -3*c - a*f = -30 for c.
5
Suppose -y + 22 = 5*r, -r + y + 10 = 4*y. Solve -k = 3*p - r*k + 6, -4*k = 0 for p.
-2
Suppose 0 = -5*d + 3*d + 20. Solve 5*f - 2*v - 24 = 0, -f + d = 2*f + v for f.
4
Suppose -10 = 5*q - 0*q, 2*l - 4 = -3*q. Solve l*s - s = 4*a + 12, 2 = -2*s for a.
-4
Suppose 22 = 2*y - 0*h - h, 0 = 5*y + 5*h - 40. Solve -3*b + 6 = v, 3*v - b + 2*b = y for v.
3
Let b = 10 - 7. Suppose 2*j = b*a + 50 - 4, 4*a - 2*j = -64. Let g be (-9)/(-12) - a/8. Solve -g*u - m = 2*u + 11, 3*u = m - 13 for u.
-3
Suppose r + n - 2 = -1, 0 = -r - 2*n - 2. Let v be (-870)/6 - (-3 + 1). Let k be 26/v - 24/(-11). Solve 4*g + 0*g = -r*d + 8, -k*d - 4*g = -2 for d.
3
Suppose 2*n + 2*n + b = 24, 5*b = -20. Solve -2*k - 9 = -3*o, 2*o = 2*k + n*o + 1 for k.
-3
Let d be (-1)/(3/(-6)) - -3. Suppose 39 = 5*q + 5*f - 1, 5*f - 25 = 0. Solve -2*j + q*h = 3*j + d, 2*h = 10 for j.
2
Suppose -4*m + 34 = s, -5*s + 3 = -2*m + 31. Suppose 4*n - 3 - m = 0. Suppose -n = -l + 1. Solve -4*y - 5*x + l*x + 11 = 0, -4*x - 36 = -4*y for y.
4
Suppose 3*l - 3*h - 78 = 0, l + 3*h - 72 = -2*l. Suppose -2*d + 96 = 3*u, -5*u + 113 + l = -4*d. Solve -4*n = 4*c, 5*n - 2*c - u = n for n.
5
Suppose 0*l = 5*l - 50. Suppose -y - l = y. Let p = y - -5. Solve -2*n = 2*d + 4, 5*d + p - 5 = 0 for n.
-3
Suppose 4*v - 22 = 18. Let t = v - 4. Solve -4*a + t*a - 16 = 2*u, 6 = 3*u + 3*a for u.
-3
Suppose 2*o - 2 = -3*p, 4*p + 4*o + o = -9. Solve -3*s = -p*n - 24, -7*s = -2*s - 5*n - 35 for s.
4
Suppose -6 = 2*s, -4*c + 29 = 3*s - 2*s. Solve -2*p + 3*i = -2, 0 = -5*p + i - 3 + c for p.
1
Let f(y) = 3*y - 13. Let d be f(6). Solve m - 3 = 4*v - 0*v, d*m = 5*v + 15 for m.
3
Let g = 6 + -2. Solve -g*k + z + 0*z = 21, 3*z = -4*k - 17 for k.
-5
Let y be ((-24)/(-28))/((-3)/(-21)). Suppose 0 = 4*v - 5*v + y. Solve -j - 7 = -m, j + 2*m - 23 = v*j for j.
-3
Suppose -s = i + 3*i - 55, 2*i - 31 = 3*s. Solve 3*t + i = l, 3*l + 3*t + 0 + 6 = 0 for l.
2
Let d = 136 + -111. Solve d = 5*z + 4*y, 2*y - 7 + 2 = -z for z.
5
Let w(y) = 7 + y**3 - 5 + 0. Let j be w(0). Solve -4*p = 5*l + 19, -14 = l + j*l + 5*p for l.
-3
Suppose -42*n = -45*n + 9. Solve -n*j - 3 = -4*b, 4*b + 4*j = b - 29 for b.
-3
Suppose -3*t - 3*u - 10 = -4*t, t = 2*u + 7. Solve -7 = -2*q + t, 4*q - 10 = -2*m for m.
-3
Suppose 7 = -g + 12. Solve -u - 2*u = j - 3, g*j = 3*u + 15 for u.
0
Suppose g = 4*z - 10, 3*g + 23 = 7*g + 5*z. Let y(i) = 6*i**2 + i. Let d be y(-1). Solve -3*x + 12 = -2*q + 4, d*x - 12 = g*q for q.
-1
Let m be (0 - -3)/(6 + -7). Let g be -4*2/(-5 - m). Solve v = -3*k + 3*v + 5, 0 = 2*v - g for k.
3
Let d be 2/(-6)*(-1 + -5). Solve d*g + t = 8 + 2, -2*t + 5 = g for g.
5
Let v(j) = -3*j**2 + 2 + 2*j**3 + j + 0*j**2 - j**3. Let t be v(3). Let i be 3 - 2 - -2 - 0. Solve t*f + 5*h = f + 4, 0 = -i*f + 3*h - 24 for f.
-4
Suppose 0 = -z - 2*t + 10, -2*z + 7*z = 3*t - 2. Let s be (-4)/(-18) + 430/90. Solve s*v = 2*l - 3, -l + 3*v = z*l for l.
-1
Suppose 3*i = 2*i + 10. Suppose -5*q + i = -3*q. Solve 4*s + 3*n = -23, -s - 4*n = 27 - q for s.
-2
Let a = 7 - 3. Suppose u = f + 5, 2*u + 3*f - 7 = a*f. Solve 2*t + t - 4*h = 23, 2*h = -u*t - 8 for t.
1
Let s be (-2)/(-7) + (-24)/(-14). Suppose 4*h = 8*h - 8. Let x = 1 - 1. Solve x = s*a - 5*v + h, -v = 0 for a.
-1
Let t be (-2 + 2 - 1)*-3. Solve 2*x + x - 9 = t*r, 2*r + 16 = -3*x for x.
-2
Let i = -16 - -21. Solve i*t + 4 = 4*z + 5, 4*t + 32 = -5*z for t.
-3
Let s be (-8)/2*1/(-2). Suppose -c + s*f = -f - 17, 3*c + f = 1. Let p be (4/(-7))/(6/(-21)). Solve -3*y + 6 = 0, -p*z - c*y = z + 5 for z.
-3
Suppose r - 4*v = 32, 0 = 4*r - v - 0*v - 53. Suppose -4*i = -r - 4. Solve -3*t + 32 = -i*n - 0*n, -19 = -t + 3*n for t.
4
Let b = -33 + 37. Solve 2*n + n + 5*i = -2, 3*n + b = -4*i for n.
-4
Let x be -1*5 + (12 - 4). Solve x*c + 2*t - 17 = 0, -25 = -4*c + t - 6*t for c.
5
Suppose -6*p = -78 - 78. Let n be 2/6 + 8/3. Suppose -5*k + p = -n*k. Solve 29 = -0*t + 2*t - 5*x, 4*t - x - k = 0 for t.
2
Let x(m) = -5*m - 5*m + 1 + m + 6*m. Let s be x(-1). Solve 3*r + r - 4*k = 20, 8 = -s*k for r.
3
Let n = 39 - 42. Let w(f) be the third derivative of -f**4/24 + f**3/6 + f**2. Let b be w(n). Solve 0 = -4*h - 2*v - 24 + 2, -b*v = 20 for h.
-3
Let i(n) = -n - 4. Let k be i(-9). Suppose 5*t + 1 = k*j + 11, -2*j = -4*t + 14. Solve x + 3 = -5*v, t*x + v + 4*v - 5 = 0 for x.
2
Let b(v) = -v**3 - 2*v**2 - v + 1. Let w = -5 - -3. Let h be b(w). Solve 3*y - 2*f = 11, -y + 4*y - h*f = 9 for y.
5
Suppose 2*n + 14 = 4*a, n = -2*a + 3*a - 4. Let h = 1 + a. Let z be ((1 - 0)*-1)/(16/(-32)). Solve -4*y - 24 = h*d, z*d = y + 3*y - 6 for y.
-1
Let o be (-2)/8 + 172/(-16). Let j = 15 + o. Let q = 6 - j. Solve 4 = -q*l - 2*k, -24 = -4*l + 4*k - 8 for l.
1
Suppose 7*b - 3*b = 0. Solve -3*t - 5*v = -b*v - 10, -2*v + 4 = -5*t for t.
0
Let w = -167 - -181. Let k = -3 + 5. Solve k = -4*z + 5*p, -2*z + p + w = 6*p for z.
2
Let r be ((-84)/8)/(6/4 - 2). Solve -5*p - 3*d = d + r, 8 = -2*p - 2*d for p.
-5
Suppose -i - 2*i = 0. Suppose i*x = 4*x - 4. Solve 4*d - 5*b + 13 = 0, d - b + x = -1 for d.
3
Suppose -2*k - s = -0*s + 5, -5*k = 5*s + 25. Solve -4*q + 3*p + 10 = -k*p, -2*p = 4 for q.
1
Let j = -1 - -6. Suppose 3*i + u - 11 = -0*u, -5*i + 5 = -j*u. Solve 2 = -n - i*z, 7*n = 2*n - 5*z - 10 for n.
-2
Let o be 1/2*16/(-2). Let g be (-19)/o - 7/(-28). Let c = g - 5. Solve -l + 7 = 2*l - 4*n, c = -5*l + 3*n + 8 for l.
1
Let r(i) = -i**3 + 5*i**2 - 4*i - 1. Let x be r(3). Suppose 3*b + 14 = x*g, 0*g = -4*b + 2*g. Solve 4*m + 22 = b*w - 0*w, -2*m + 4 = 4*w for w.
3
Let u be (-112)/12*(-36)/42 - 2. Solve -l - 2*b = u, -4*l + b = 5*b + 20 for l.
-4
Let d be -1 + 3 - (1 - 0). Suppose 4*j = 14 - 10. Solve -i = j, 4 = u - i + d for u.
2
Let d = 31 - 29. Solve -5*r + 27 = z, 4 - 16 = -z - d*r for z.
2
Suppose 9*h + 15 = 12*h. Solve -3*z = -4*z + 2*u - 5, 4*z = h*u - 8 for z.
3
Let p be (-147)/(-28) - (-2)/(-8). Solve m + p*i + 28 = 5*m, 4*m - 4*i = 24 for m.
2
Let w be (2/5)/((-3)/60). Let i be w/(-12) - 1/(-3). Let y be ((2 - i) + -1)/(-1). Solve 3 = 2*l - l + c, -2*c - 4 = y for l.
5
Let p(s) be the second derivative of -s**5/20 + 3*s**4/4 + 3*s**3/2 + 7*s**2 + 3*s. Let f be p(10). Solve f*x = -z, -2*x - 3*z + 1 = 11 for x.
1
Let x be (-8)/5 - (-6)/(-15). Let b = x + 4. Suppose -3*w = 2*w - 10. Solve 4*a = -a + p + 4, -b*p - w = -4*a for a.
1
Suppose 4*c + 20 = 0, -2*c - 13 + 3 = y. Suppose y = -5*w + h - 2, 3*w - 10 + 0 = -5*h. Let l = w + 2. Solve l*r + 15 = p, 2*r + 3*p + 5 = -2*r for r.
-5
Let y = -91 + 93. Solve -y*g - 4*r = -8, 2*r - 2 = -g + r for g.
0
Suppose 3*j = 4*j - 5. Suppose -8 = 5*