*v + t*w for v.
1
Let x = 283 + -269. Let d = 24 + -14. Suppose -2*o - 2*r + d = 0, -2*o + 1 = -2*r + 3. Solve -4*l = a + x, -4*l + 0*a - o*a = 16 for l.
-3
Let i be (-6)/10*(7 - 12). Let j(s) = s**3 - 2*s**2 - 5*s - 2. Let u be (-2)/(((-4)/8)/1). Let q be j(u). Solve -12 = r - 3*a, q = -i*r + 3*a - 2 for r.
0
Let a(j) = j**3 + 31*j**2 - 67*j - 19. Let v be a(-33). Solve 2*m = 4*b + v - 2, 9 = 2*m - b for m.
4
Let t(g) = g**2 - 4*g - 5. Let f(b) = -b**2 - 13*b - 7. Let k be f(-12). Let p be t(k). Suppose 5*i + p*i = 0. Solve -3*u + c + 9 = i, 8*c = 3*c for u.
3
Let s = -1 + 4. Suppose 1 = -4*j - s*m + 6, 5*j + 4*m - 6 = 0. Suppose -j*t - 2*f = -2, -2*t + 0*f - 7 = 5*f. Solve -c = -0*n - 2*n, 0 = 4*n + t*c for n.
0
Let f = -961 + 966. Solve 5*i = 3*r + 38 - 3, -5 = f*i + 5*r for i.
4
Let t(w) = 2*w**3 + 4*w**2 - w - 2. Let a be t(1). Solve -4*v + 4*x = -16, 0*v + 4 = v - a*x for v.
4
Let i(w) = -w**3 + 8*w**2 - 6*w - 5. Let q be i(7). Suppose -q*s - m + 1 = 0, -s = -m + 4*m + 2. Solve -5 = 5*v, 3*y + 0 - s = 4*v for y.
-1
Let r(q) = -5*q + 102. Let m be r(20). Solve 2*n + 5*c + 3 = 0, -m*n + 3*c + 0*c + 5 = 0 for n.
1
Let g be (-81 + 79)/(2*2/(-6)). Solve g*v - 2*l = 6, 2*v + 0*v + 4*l = 20 for v.
4
Let n(w) = -3*w - 4. Let x be n(-4). Suppose -2*d = -0*d - x. Suppose 8*z - 29*z - 39 + 102 = 0. Solve -d*l = 3*h + 8, 0 = 2*l - z*h + 22 for l.
-5
Let y be 3/((-4 + 1)*1/(-7)). Solve -2*l + 5*c - y = 0, 2*l + 0*c - 3 = -5*c for l.
-1
Suppose -w + 4*q + 6 = 6*q, 3*q - 9 = -3*w. Let k = 19 - 7. Solve 3*n - k = j, -4*j - 3 - 9 = w for n.
3
Let s(z) be the first derivative of -z**4/4 - 7*z**3/3 + 7*z**2/2 - 4*z - 10. Let k be s(-8). Solve -4*j + 3*v + v - 20 = 0, k*v + 20 = -4*j for j.
-5
Let q(a) = a**3 + 3*a**2 - 10*a + 5. Let c be q(-5). Solve 3*n - 3*d + 2 = 8, c*n + d = 4 for n.
1
Let m be 6/(-14) - (-100)/(-28). Let n be -1 + 6*m/(-8). Let t = -24 + 41. Solve 4*s - t = c, -c + 1 = n*s - 0 for c.
-5
Suppose -9*o + 48 = 3*o. Solve w - 3*h = -h + 13, w = o*h + 23 for w.
3
Let x(i) = -8*i - 30. Let w(a) = -7*a - 29. Let m(o) = -6*w(o) + 5*x(o). Let l be m(-11). Solve -4*r + 0 + 2 = -2*k, -2*k - 4*r - l = 0 for k.
-1
Let j(w) = 3*w**2 - 3*w + 4. Let m = -58 - -59. Let g be j(m). Solve 3*r + 14 = 2*q, -g*q = 5*r - r - 8 for q.
4
Let o = -15 - -15. Let d(c) = 5*c + 2*c - 5*c + 0*c + 3. Let h be d(o). Solve h*x + 5*a = -4, a + 4 = x - 0*a for x.
2
Let g = -958 - -966. Solve -3*y - p + 1 = 0, -3*y - 4*p = -g*y + 13 for y.
1
Let g(v) be the second derivative of v**5/20 - 5*v**4/12 + v**3/2 + 4*v**2 - 22*v. Let m be g(4). Solve -5*r = 0, -m*h - 2*r = -0*r + 12 for h.
-3
Suppose -16*h - 3*i = -14*h + 1, -6 = 2*i. Solve g = -h*o + 17, 0 = o + 2*g - 0 + 1 for o.
5
Let z(h) = h**2 - 7*h + 6. Suppose 12 = -3*s + 5*s. Let q be z(s). Suppose 0 = -2*a - q + 10. Solve -w + 0*w + 4 = -4*m, a*m + 5 = -3*w for m.
-1
Let p(o) = o + 28. Let i be p(-24). Solve -2*n + 4*j = -6*n + i, -5*n = 3*j + 1 for n.
-2
Let v be 248/18 - (2 - 20/9). Solve 5*n - 20 = -c, -3 = -3*n + 4*c - v for n.
3
Let v = -21 - -11. Let t = v - -10. Suppose -o + 3*o - 10 = t. Solve 4*u - 18 = -2*l, o*l - 3*u + 3 = 3*l for l.
3
Let q(v) = -v - 3. Let f = 30 + -36. Let x be q(f). Solve 4*k + 29 = -3*a, 5*k + 3*a - x = -37 for k.
-5
Let f = 5 - 1. Let i = f + -4. Suppose 8*u - 5*u = j - 4, 4*j - 4*u - 16 = i. Solve -a - 5*k = -2*a + 20, j = 4*a - k for a.
0
Suppose -91 = -18*z - 55. Solve -7*k + z*k = 5*d + 45, 0 = -4*d - 20 for k.
-4
Let f be (35/10 - 3)*(1 - -49). Solve 2*h + 2*h = 5*x - 20, -2*x + f = -5*h for x.
0
Let r = 17 + -13. Solve 4*y = -2*a - r - 0, 5*a + 10 = 2*y for y.
0
Let r be (-3*1)/((-36)/204). Let u = r - 9. Solve 5*n - 5*p = 0, 0 = -n + 5*p - 2*p - u for n.
4
Suppose 6 = -2*i - 18. Let j = 15 + i. Suppose -4*a + 32 = j*o, 4*o + a - 30 = 2*a. Solve 0 = -2*q + l + 3, 5*q = 2*l - 0*l + o for q.
2
Let s be -30 + (4/2)/(6/9). Let v be (-36)/s*9/4. Solve 4*a + 6 + 15 = -3*g, -v*g = -4*a - 3 for a.
-3
Let l(o) = -17*o - 117. Let k be l(-7). Solve 0 = -z - 3*g - 6, k + 1 = -g for z.
3
Suppose 3*t - 45 = 3. Suppose -l = -b - 10, 4*l - 16 = 2*b + t. Suppose 2*i = -3*j - l + 21, -j = -3*i - 5. Solve 2*w + 4 = -d - 1, 13 = -j*d - 4*w for d.
-1
Suppose 3*j = 9*y - 4*y + 5, 4*j + 2*y + 2 = 0. Let i = j - -4. Let s(d) = -d**2 + 6*d + 9. Let u be s(6). Solve i = r + 3*r - 4*k, -3*r + u = 3*k for r.
2
Let q(b) be the second derivative of -b**5/5 + b**4/12 - b**2/2 + 8*b. Let a be q(-1). Let l be -3 + (-12)/8*-12. Solve -3*m + 0*o + l = a*o, -o = 0 for m.
5
Let z(s) = 5*s. Suppose 18 = 2*v + 2*m - 7*m, 0 = -5*v + 2*m + 24. Suppose 0 = 2*h - v*h + 2. Let c be z(h). Solve o - 21 = -c*k, 2 - 8 = -2*k + 2*o for k.
4
Let a(s) be the first derivative of -s**2 + 2*s**2 + 4 + 2*s - 2 - 4*s. Let g be a(10). Solve 4*n + 12 = 5*f - g, -f - n - 3 = 0 for f.
2
Let h(m) = -m**2 + 10*m - 17. Let r be h(3). Solve 11 = -4*d + 4*z - 7*z, r*d - 5*z = -35 for d.
-5
Suppose -5*r = 2*h - 33, 3*h = h + 4*r - 12. Suppose -b + 2*x + 2 = -h*b, -4*x = 16. Solve -2*k = -2*a - 16, -b*k - 5*a = -5*k + 32 for k.
4
Suppose 9*t - 5*t = -132. Let k = -30 - t. Let s = -11 - -15. Solve -5*h = 5*p + 1 + s, -3 = -k*p for h.
-2
Suppose -2 = -2*x - 4*j, 0 = -0*x + 4*x - 3*j - 26. Solve 0 = x*z - z - l - 9, l + 3 = -2*z for z.
1
Suppose 3*i = -0*i + 15. Let r = -773 - -776. Solve 10 = r*l + i*w - 6, -2*l - w = -6 for l.
2
Let o be (5 - 2)/3 - -7. Let k = -24 + 29. Suppose 3*d = k*d - o. Solve -b - 4*x - 6 = -2*b, 0 = -2*b - d*x for b.
2
Let z = -9 - -16. Let s be -1*z*(4 + -5). Suppose s*r = 2*r. Solve j + 4 = 2*m - 1, -4*j - 5*m + 45 = r for j.
5
Let z = -324 + 328. Solve 3*c = -2*g - z + 3, 5*c = -2*g + 5 for c.
3
Suppose -4*n - 71 = -3*m + 2*m, -m = -2*n - 35. Let h be (-2 - n) + (1 + 1)/(-2). Solve -4*r = 2*j - 5 + h, -3*j + 29 = -5*r for r.
-4
Suppose -2*k + 178 = 170. Solve t + 8 = k*c, -3*c = t + t - 6 for c.
2
Let u be 28/(-6)*(-36 + 33). Solve -b + u = -4*p, -2*b + 19 + 0 = -5*p for p.
-3
Let x be (-23 - -6)/(2/(-6)). Suppose -2*k - 17 = -x. Let i(r) = 7*r**2 - 1. Let l be i(1). Solve 4*a - 5*p - k = 0, 5*a - l*p = -4*p + 17 for a.
3
Suppose 90 = 4*k + 6*k. Let n = k - 5. Solve -n*t + 19 = -0*l - l, 0 = 3*t - l - 14 for t.
5
Suppose 4*l = -4*s - 44 + 4, -l = 5*s + 34. Let x be s/((-2)/(-3)*-3). Solve -4*c - x*a = 9, 4*c - 1 + 4 = -a for c.
0
Suppose -2*o = -2*i + 26, -2*o - i - 20 = 3. Suppose -32 = -2*g - 0. Let v = g + o. Solve -z = -5*a - 29, -z + v + 0 = 0 for a.
-5
Suppose -16*v + 61*v = -45*v. Solve 45 = -5*g + 5*t, t + v = 4 for g.
-5
Let r be (18 - 3)*((-65)/(-15) + -4). Solve 0 = c + 2*l, 4*c = r*l - l for c.
0
Suppose 2 = h + 11. Let i be ((-20)/15)/(4/h). Suppose 5*y - i*x + 2 = 0, x = y + 3*x - 10. Solve -4*a = 5*r + 3, 0*r - y*r - 21 = -5*a for a.
3
Let f(p) = -11*p + 37. Let h be f(3). Solve -3*r + 0*n + 13 = 2*n, -3*r + h*n = -19 for r.
5
Let o be (-50)/(-5)*(-28)/(-70). Let s(i) = -2*i**3 + 4*i**3 + 4*i + 3*i**2 - 3*i**3 + 4. Let j be s(4). Solve j*f + f = d - 25, f = -o for d.
5
Let o be ((-1)/2)/(2/(-4)). Let j = 21 - 19. Suppose 4*a - 64 = t, -j*a - 2*t + 46 = -6*t. Solve -3*n + a = -3*h, o = h + n - 4 for h.
0
Suppose 0 = -2*n + 3*i - 1, -25*i + 27*i - 6 = 0. Solve -n*s + s = 5*u, s - 2 = -u for s.
5
Suppose -4*w - 5*f + 8 = -3*f, w + 5*f + 16 = 0. Let j(o) = 4 - 7 - 2 - 9*o**2 - 2*o + 10*o**2. Let s be j(7). Solve -w*y + 2*g = 18, 4*g = 4*y + y + s for y.
-2
Suppose 2*s = s - 4. Let i(f) = f**2 + 2*f - 2. Let k be i(s). Suppose 103 = 5*l - 4*g, 21 = -5*l + k*l - g. Solve -l = -a + 5*v, -a + 4*v = -4*a for a.
4
Suppose 4*u - 8 - 168 = 0. Let n be (-6)/9 + (-1 - u/(-12)). Solve -w = 2*w - f - 13, -2*f - 2 = n*w for w.
3
Suppose -98 = -6*t - 32. Solve -5*i - n + 19 = -t, 0 = 5*i - 5*n for i.
5
Let l = -242 + 255. Solve l = -4*j - 3*c, -2*c - 3 = -4*j + j for j.
-1
Suppose -5*r = -0*g + 3*g - 26, 2*r = 4*g. Solve m = 3*u + 13, 1 = -5*u - 3*m - g for u.
-3
Let r(h) = h**3 + 5*h**2 - 5. Let v be r(-3). Suppose 5*z + 7 = 2*w + 25, 4*z - 3*w - v = 0. Solve -2*g = -d + 5, -4 = z*g - 5*d + 15 for g.
-1
Let t = 348 + -344. Solve -2*u - 28 = -5*r, t*r + r - 36 = 4*u for r.
4
Let p = 13 + -8. Suppose 3*r + 4*q = 16, -3*r + 7 = q - 6*q. Let h = 1 + r. Solve -p*o + 8 = -4*o - 4*z, 0 = -4*o - h*z + 11 for o.
4
Suppose -w 