for v.
3
Suppose -2*j + 2*h = 2, 7*j - 25 = -5*h + 4. Solve -5*n + 0*n = -2*a - 12, 0 = j*n + a - 3 for n.
2
Suppose 5*y - 45 = 3*q, 2*y + 0*y - 3*q = 18. Solve -5*o = -5*r - 35, 0 = -o - 5*r - 14 - y for o.
2
Suppose q = -0*r + r - 88, 4*r - 361 = q. Let j = r + -87. Solve 5*a + 4*p = -8, -j*a + 3*p - 4*p = 2 for a.
0
Let y = -9 - -11. Suppose y*m + m - 6 = 0. Solve 0 = -m*x + x + 5*d + 2, 0 = 4*x + 5*d + 17 for x.
-3
Suppose 3*o = 8*l - 3*l + 34, -o - l + 22 = 0. Solve -4*t - i + 3 = o, 2*i = -2*t for t.
-5
Suppose -2*k + 30 = 4*k. Suppose -3*h = 5*s + 5 + k, -3*h = 3*s. Solve -h*u = -3*t - 0*u - 7, t = u - 3 for t.
-4
Let r be (32/(-96))/(2/(-6))*4. Solve 4*u + 17 = 3*z, r*u - u = 3*z - 12 for u.
-5
Let a(b) = 5*b + 33. Let h be a(-6). Let k be 1/(0 + (-3)/(-21)). Let u = k + -5. Solve -u = 3*q + 4*d + 3, -h*q + 5 = 2*d for q.
5
Let k(t) = -t**3 - 14*t**2 - 13*t + 7. Let v be k(-13). Suppose 0 = -2*x + v - 3. Solve -2*i - x*i = -3*s - 14, 4*i = 2*s + 12 for s.
-2
Let b be (-1 + 1)/((-9)/9). Suppose -2*u - 2 = -3*m - b*u, 4 = 5*m - 3*u. Let k be m - 2 - (0 - 2). Solve -3*d = -c + 13, k*c + 2*c = -d for c.
1
Suppose -2*l + a - 22 = -2, 3*l + 30 = 4*a. Let n be (-7)/(35/l) + 0. Solve -3*j + n*d = -25, 22 + 8 = 3*j - 3*d for j.
5
Let l = 12 + -5. Suppose 0*b + l = b. Suppose w = b*w. Solve -3*k - 3 = -4*f, w = -3*f - 2*f + 4*k + 5 for f.
-3
Let k(f) = f**3 + 15*f**2 + 14*f - 5. Let l be k(-14). Let u be l + 3 + (1 - -16). Suppose u*n - 11*n = 0. Solve 3*w - j - 4*j + 11 = n, w - j = -3 for w.
-2
Let u be (-2 + 8 - 5)*25. Let v = -25 + u. Solve v = o - q - 7, 0*o + 5*q = 2*o - 29 for o.
2
Let l = 87 - 70. Suppose -45 = -3*o + 6*o. Let x = l + o. Solve 0 = 3*i - 5*s + 4, 10 = -2*i - 6*s + x*s for i.
-3
Let r(s) be the second derivative of s**5/5 + s**4/6 - s**3/2 + s**2/2 + 26*s. Let f be r(1). Solve 0*m = m + 3, -9 = -3*a + f*m for a.
-1
Let b be (2 + (-8)/6)*3. Let f(g) be the third derivative of g**6/40 - g**5/30 - g**3/6 - 65*g**2. Let r be f(b). Solve 4*z + 0 + 20 = 0, -5*x + r = z for x.
4
Let i be (-9 - (-69)/9)/((-4)/6). Solve 3*k = 5*u + 2, -i*k - 5*u - 2 - 5 = 0 for k.
-1
Let x(a) = -2*a**2 + 12*a - 26. Let u be x(6). Let s be (-2)/(-5) + u/(-10). Solve l + s*l + 16 = 4*c, -l = 3*c - 16 for c.
5
Let v = -14 - -15. Let l be (v + 0)/((-3)/(-21)). Let w be 2*(63/6)/l. Solve -2*p = 2*r + w - 5, 3*p + 22 = 2*r for p.
-4
Let c be ((-2)/3)/(5/(-345)). Let b = -43 + c. Solve 0 = n + b*t + t - 8, -2*t + 4 = 3*n for n.
0
Suppose 0 = 9*v - 57 + 3. Solve 5*t + 5*k = -15, 0*t + 2*t - 2*k - v = 0 for t.
0
Let f(d) = 3 - 4*d**2 - 7*d**2 - d**3 + 0*d**2. Let y be f(-11). Solve 2*v + 3*x + 10 = y*v, v - 2*x = 5 for v.
-5
Let x(d) = -d**3 + 3*d**2 + 5*d + 31. Let o be x(5). Solve -2*y + 17 = -5*l, o*y - 3*y = -12 for l.
-5
Let r be 0/(4/(-4) - 0). Suppose -2*b = 2*b - 32. Solve 3*f - 2*h = 5, -4*f + 4*h + b + 4 = r for f.
-1
Let m(b) = -b - 3. Let c be m(-6). Let g = c + -3. Let y(f) = f**2 + 4. Let u be y(g). Solve -12 = -4*w - u*n, -27 = -5*w + 3*n + 4 for w.
5
Let q(r) = -2*r**2 + r + 70. Let h be q(6). Solve h*x = -5*y - 3, 3*y - 11 = 3*x + x for x.
-2
Let x(h) = -2*h - 14. Let p(f) = 3*f + 28. Let y(r) = -6*p(r) - 11*x(r). Let o be y(4). Solve -k - 1 = -o*q, 5*q - 16 = -2*k - 0*q for k.
3
Suppose -4*k + 2*d + 15 = d, -2*d = 5*k - 22. Solve -3*q - 16 = 2*q + z, 5*z = -k*q + 4 for q.
-4
Let k = 944 - 939. Solve 0 = k*q + 15, r - 12 = 3*q for r.
3
Suppose 15*b + 56 = 7*b. Let q be b/(-7)*(15 + -2). Solve 0 = 2*a - t - q, 4*a = 2*a - 2*t - 2 for a.
4
Let s(u) = -2*u - 3. Suppose 2*h + 2 = h. Let w be s(h). Suppose 283 - 95 = 12*x + 140. Solve x*m + 7 = d, 3*d - w = -m - 6 for m.
-2
Let d = 329 + -326. Let n = -1 + 6. Solve -5*f + 29 = -w, d*f + n*w = -0*w - 5 for f.
5
Let t(k) = 3*k. Let r be t(1). Suppose 0 = 6*u - 3*u - 21. Let y(l) = l**3 - 6*l**2 - 6*l. Let x be y(u). Solve -r*o - c - 3*c = -15, -2*o + 3*c - x = 0 for o.
1
Suppose 0 = x - 5*m - 16, -5*x + 8*m = 4*m - 38. Solve -2*c = 5*k - 23, -c + 3*k - 22 = -x for c.
-1
Suppose 2*v = -17 + 53. Suppose -k - 4*k + 40 = 0. Let n = v + k. Solve 3*m + 5*t = -n, 5*t + 30 = -5*m - 0*t for m.
-2
Let l be 11 + -1 + (-1)/3*15. Let f be 2/4*20/1. Suppose 39 - 9 = 3*c. Solve -5*g = -f*g + 5*o - c, -2*g - l*o - 4 = 0 for g.
-2
Let c be 54/(-36)*(1 - (-21)/(-9)). Solve c*n - 3*k = -1, 3*n + n - 2*k + 14 = 0 for n.
-5
Let o = -293 - -297. Solve -6*y = -5*c - 5*y + 20, 0 = o*y for c.
4
Suppose -3*z + 31 = -b, 0 = -3*z + 4*b + 16 + 27. Solve -g = -c + 4*c + z, 12 = -4*c + 4*g for c.
-3
Suppose -100 = -5*t + 5*r, -5*t + 12*r + 96 = 11*r. Solve 0 = 5*w + 20, -m + 4*w + t = 2*m for m.
1
Let f(a) = 2*a - 33. Let d be f(12). Let b be -2*d/6 + 7. Solve h - 6 = -x - 2, 5*x - h = -b for x.
-1
Suppose 4895*z - 4903*z = 0. Solve z = 4*r - 3*v + 14, 0 = 3*r - 4*v + 6 + 8 for r.
-2
Let r(i) be the first derivative of 3*i**2/2 + 25*i - 9. Let a be r(-8). Solve -q + 5 = -2*c - 6, 0 = q + c + a for q.
3
Let m(a) = 7*a - 12*a + 7*a**2 + a**3 - 4*a**2 - 1. Let l(k) = -k**2 + 9*k - 12. Let s be l(8). Let x be m(s). Solve r + 5*b - 17 = 0, x*b - 2*b - 3 = 0 for r.
2
Let t = -622 - -624. Solve t*c = -5*n + 12, 11*n = 12*n + 3*c - 5 for n.
2
Suppose 3*c - 3*k - 6 = 0, c - 2 = 4*k + k. Solve -7 = c*p + d, -2*d - 2*d - 8 = 3*p for p.
-4
Let f(o) be the second derivative of -o**3/6 + 19*o**2 - 19*o. Let k be f(16). Solve 3*u = 2*g - 2*u + k, 4*g - 3*u + 16 = 0 for g.
-1
Suppose -2*q + 0*b + 5 = b, -4*b - 13 = -3*q. Solve q*m - 2*w + 12 = -5, -4*m = -3*w + 23 for m.
-5
Let r(j) = -j**3 + 8*j**2 + 16*j + 45. Let a be r(10). Solve 5*o + a = -4*i, 5*i - 6*i - 5*o - 20 = 0 for i.
5
Let o be (4 + -2)*(0/(-3) - -3). Let b = o - 1. Solve -2*m + 10 = -2*u, u - 11 = b*m + 5*u for m.
1
Let s(m) = m + 2. Let g be s(-2). Let d = 10 + -8. Suppose d + g = r. Solve -r*o + 2 = 3*i, 2*o = -4*i - 1 + 7 for o.
-5
Suppose -2*k = -189 - 221. Suppose 41*s + k = 46*s. Solve -5*n + 1 - 14 = 3*f, 0 = -5*n + 4*f - s for n.
-5
Suppose 11*d = v + 9*d + 7, 0 = -5*v - 3*d + 30. Solve -3*a = -3*t + 24, 0*t - 4 = v*t + 4*a for t.
4
Let g(v) = 8*v + 11. Let m be g(-2). Let y be (m - -2)/(-1) + 1. Solve 3*j = -5*x + 16, -4*x + y - 2 = -3*j for j.
2
Suppose -k - 3*b + 1 = -0*b, 0 = 5*k - b - 21. Solve 2*j + 10 = -k*t - 14, -4*j + t = 12 for j.
-4
Suppose 3*s - 2*s = 4*l - 9, -s + 2*l = 5. Suppose -10 = -2*f - 0*f. Let p be (0/s)/4 + f. Solve 0 = w + 2, p*g - w + 27 = -2*w for g.
-5
Suppose -7*k + 0*k + 189 = 0. Let q(u) = -u**2 + 7*u + 2. Let a be q(7). Suppose 2*o = -o + 9. Solve l - o*f + 18 = -2*l, -a*f = -5*l - k for l.
-5
Suppose -47*h + 37*h + 40 = 0. Solve -2*v = -4*j, -2*v + h*j = 5*j for v.
0
Let b = -116 + 118. Suppose 4*c + 5*r + 5 = 0, c = -r - 0 - 1. Solve c = 4*p + 12, 5*k + b*p - 5*p = 19 for k.
2
Let v(t) = -t**3 - 8*t**2 - 2*t - 13. Let f be v(-8). Solve -3*n + f*h + 12 = 0, 0*h + 2*h = 4*n - 16 for n.
4
Suppose 3*s - 4*s = -2*k - 1, 3*s - 15 = 0. Suppose o + b + 72 = 4*o, 2*o - 40 = -2*b. Let y = -18 + o. Solve -v - 2 + 3 = -k*r, 4 = r - y*v for r.
-1
Let l(v) = 2*v**3 - 4*v**2 + 4*v - 4. Let n be l(2). Solve 0 = -n*d - 4*f - 12 - 8, -2*f = 10 for d.
0
Suppose 0 = -w - 4*h + 2, w - h - 5 = -3. Let m = -116 - -120. Solve 0*b + 2 = -5*b + 4*d, m = -w*d for b.
-2
Let r = 405 - 402. Solve -5*p + r*w - 16 = -3*p, -p + 2*w = 9 for p.
-5
Suppose 72*t - 20 = 62*t. Solve -8 = -2*r + 3*m, 2*r + 2*m - t = 7*r for r.
-2
Suppose 5*p - 25 = -5. Suppose f - 4 = 0, -p*f = 3*m - f - 18. Suppose 0 = -m*a - 0 + 10. Solve -a = r, o - 2*r - 7 = -r for o.
2
Suppose 0 = -m - 8 + 15. Let w = m - 2. Suppose 0 = 4*r + r + w*z - 25, 4 = -4*z. Solve -u + 2*u - 5 = -x, -2*x + 2*u - r = 0 for x.
1
Suppose -5*c = 3*o - 65, c + c = -2*o + 30. Suppose -c*t = -6*t - 36. Let n = 11 - t. Solve n*m + 2 = -5*a - 27, 5*m + a = -15 for m.
-2
Suppose -64 + 14 = -25*m. Solve -m*u = f - 7*u - 7, 3*f + 13 = -2*u for f.
-3
Suppose -u = -4 - 0. Let a(r) = -8*r - 16. Let h be a(-5). Suppose -6*m = -0*m - h. Solve 0*j + x + 6 = m*j, 8 = -u*x for j.
1
Let u = -12 + 37. Let p = 29 - u. Solve 2*n - 10 = 3*j, 2*j + p*n = 3*j for j.
-4
Let j be ((-48)/14)/(19/(-133)). Let f = -22 + j. Solve q - f = 2*y, -2*q + 6 = -q + 2*y for q.
4
Suppose 23*w - 81 = 14*w. Solve 3*g - 14 = 4*m, -1 = -3*g + 2*m + w for