e -2*v - 6 = 3*a, -a + 4*v = f - 3 for a.
-2
Let s = 13 - 11. Solve 5*k - 2 = -5*h - 7, h + s = -2*k for h.
0
Suppose 0 = -3*u + 33 - 3. Suppose 0 = -j + 3*j - u. Solve -15 = j*t, 0 = -2*m - t - 2 - 7 for m.
-3
Suppose 3*g + 35 = 3*m + 2*m, 0 = m - g - 9. Solve -3*f + 3 = -3*a, -2 = -0*f + f - m*a for f.
2
Let i(j) = 4*j - 9. Let n be i(6). Suppose 3*u - 5 = -4*y + 10, 5*y = n. Solve -3*o + 4*d = d - 3, 2*d = o + u for o.
3
Let j(g) = g**2 - 6*g - 11. Let y(o) = 2*o + 2. Let z be y(3). Let s be j(z). Let p be 2/7 - (-57)/21. Solve -p*a - 22 = -5*u, -5*u - s*a = -0*u - 30 for u.
5
Let z(t) be the second derivative of 0 + 1/3*t**3 - t**2 - 2*t. Let c be z(3). Solve 12 = -3*w - 3*k, 3*k + c - 20 = 4*w for w.
-4
Let z(p) = 2*p - 2*p - 2*p. Let c be z(-1). Let h = 2 - c. Solve 4*i + 0*i - l - 2 = h, -2*i + 4 = l for i.
1
Let h = 4 + 1. Let z = 6 - 6. Suppose z = -4*l + 3*v, 4*v = 2*l - v + 14. Solve q - 1 = -l*s - q, -2*q = -h*s - 9 for s.
-1
Let r(s) = s**3 - 6*s**2 + 7*s - 33. Let m be r(6). Solve -2*y - 6 = -4*v - 0, -4*v - y + m = 0 for v.
2
Let g = -21 + 53. Suppose g = 2*b + 5*z, 4*z - 19 + 55 = 4*b. Let p(f) = -f**2 + 11*f + 15. Let h be p(b). Solve -4*q = 3*k - 20, 4*k - q - 2*q + h = 0 for k.
0
Suppose 0 = 5*i - 0*v + v - 49, 0 = -2*v - 2. Solve -2*m = -0*m - 2, -3*u = -m + i for u.
-3
Let x = -42 - -44. Solve -3*r - 6 = 5*t, -5*t + 4*r = x + 25 for t.
-3
Let z = 16 + -14. Solve -r - 1 = z*i + 9, r = 0 for i.
-5
Let x(o) = -o - 9. Let k be x(-9). Solve k = -3*u + 3*w + 12, -2*w + 20 = -0*u + 5*u for u.
4
Suppose -2 = x + 2. Let j be (-14)/x + (-1)/2. Suppose 0 = -4*n - 5*z + 16, z - 12 = -j*n - 0*n. Solve n*t = -i + 18, 2*t - 24 = -5*i - 6 for i.
2
Let n = 84 - 75. Solve -5*x - 4 = 3*a + n, 2*a + 4 = -x for a.
-1
Let k(v) = v**3 - v**2 - v - 2. Let q be k(0). Let w be ((-3)/q)/(24/32). Solve -2*r - 3*r = -z + 5, 0 = -w*r + 5*z - 25 for r.
0
Let q = 4 + -1. Solve 2 + 0 = l - d, -q*l - 2*d = 19 for l.
-3
Suppose 3*f + 62 = 5*a - 3*a, 0 = -a - 4*f + 42. Solve 5*k + 4*v + 2 = -a, 5*k - v + 16 = 0 for k.
-4
Let o = 21 - 19. Solve -b - o = -0, 16 = -5*q - 3*b for q.
-2
Suppose -4*m = -3*m - 2, 5*b + 5*m = 10. Suppose k + i = 2*i - 5, 4*k + 5*i + 29 = b. Let l be ((-3 - k)*1)/1. Solve 2*n + 8 = -5*u, 2*u - 4*n + l = -5 for u.
-2
Suppose 0 = 2*t - 2*d - 18 - 30, 3*t - 2*d = 77. Solve 5*r - 2*w - t = 0, 2*r - 8 = 4*w + 10 for r.
5
Let q be (-22)/(-4) - 9/6. Suppose -b + 3*b - q = 0. Solve 3*d + 4*x = 6, 0 = 5*d + b*x + x + 1 for d.
-2
Let v(l) = -l**2 + 13*l - 8. Let g be v(12). Solve i + p = 5, 22 - g = 2*i + 4*p for i.
1
Let x be ((-2)/3)/(3/9). Let p be (-14)/(4/x) + -2. Solve -4*k + p*l - 2 = 29, -15 = 3*k - l for k.
-4
Let u(z) = 4*z**2 - 1. Let v be u(-1). Let i = 0 + v. Suppose 3*y + 154 = 5*c + 23, 4*c - 110 = 5*y. Solve -5*w + i = 5*b - 22, c = 5*w + b for w.
5
Let i(n) = -n**3 + 3*n**2 - 2. Let v be i(2). Suppose -v*a - 200 = -7*a. Solve 2*k - 2*s - 1 = -k, -5*k - a = 5*s for k.
-3
Suppose -4*h = -31 - 61. Let r = 33 - h. Solve 4*k - w - r = 2*k, 0 = -k - 5*w - 6 for k.
4
Let u be (-4)/(-22) + (-4)/22. Solve 0*c = c + 5*j - 19, u = -j + 4 for c.
-1
Let k be (105/7)/((-3)/2). Let o be 8/(-20) + (-4)/k. Let n be 5 - o*2/(-4). Solve -4*z + 2*z + 5 = 5*v, 0 = -2*v + n*z - 27 for v.
-1
Let o be ((-6)/(-2))/1 + 1. Solve 4*y + l = -3*l + o, 2*y + 33 = 5*l for y.
-4
Let s = -2 - 4. Let z be (s/(-4))/(2/4). Solve -z*g + 5 = -5*x, -2*x + g = 4*g + 2 for x.
-1
Let y(g) = -g**3 + 3*g**2 + 6*g - 6. Let i be y(4). Let x be i/4*(0 - 0). Suppose x = q - 40 + 16. Solve 8*z = 4*l + 3*z - q, 2*l - 2*z - 10 = 0 for l.
1
Let l(g) = g**2 + 7*g - 9. Let d be l(-8). Let i be (-1 - 2 - d) + 2. Solve 4*r + 20 = i, 6 = -2*s + 3*s - 2*r for s.
-4
Let m(j) = j**2 - 28*j + 1. Let y be m(28). Solve -n - y = -3*f, 3*f = -3*n + 7*n + 4 for n.
-1
Let m(p) = p**3 - 6*p**2 + 7*p. Let o be m(6). Let f be (o/12)/((-1)/(-2)). Solve 0 = -b - 5*h + f, 6*b = b + 3*h - 21 for b.
-3
Suppose 0 = 6*q - 10 - 8. Solve 0 = -5*j - 4*s + 2*s + 5, -4*j + q*s - 19 = 0 for j.
-1
Let w be (-1)/(6/8)*-3. Let n be (13/3 - 2) + (-22)/(-33). Solve -n*k - j = 17, w*k + 0*j + 1 = 3*j for k.
-4
Suppose 5*c + 4*z = 7, -3*c = 2*z - 6 + 1. Suppose f = -2*p + 4, -6*f + c*f = -5*p - 1. Solve -2*s = -4*w - 1 - p, 0 = 3*s - 3*w - 3 for s.
1
Let f(q) = q**3 + 13*q**2 - q - 4. Let p be f(-13). Suppose 0 = -3*d + 6*d - p. Solve 0 = o - d*j - 11, j + 17 = 2*o - 4*j for o.
-4
Suppose 4*y + o - 96 = 5*o, -4*y = -o - 84. Solve -1 = -4*g - 3*l + y, -3*l = -g - 6 for g.
3
Let n = -6 - -10. Let f = -6 + 6. Let a be (0/2)/(-1 - f). Solve 0 = -c + 1, a = s + c - 1 + n for s.
-4
Let y(p) = 10 + 0*p + p**3 + 2*p + 6*p**2 + 3*p - 11*p. Let h be y(-7). Solve 4 = h*f - d, 4*f + 0*d - 2*d - 2 = 0 for f.
3
Suppose 2*w = -0*w + 10. Solve -d + 5*l = -24, 0 = w*d - 5*l + 4*l for d.
-1
Suppose -11*o + 14*o - 27 = 0. Solve 0 = 3*p + o, -5*m + 5 - 2 = 4*p for m.
3
Let r(s) = s**3 + 8*s**2 - 12*s - 13. Let q be r(-9). Suppose d + q = 18. Solve 1 = -5*c - o, 3*c + o = d - 3 for c.
-1
Let z be (8/3)/(38/57). Let i = 5 + -10. Let q(j) = -2*j - 1. Let o be q(i). Solve 5*g - 15 = -5*n, 0 = -4*g - o*n + z*n + 14 for g.
1
Suppose 5*t - 8*t + 6 = 0. Solve -2 = -j + t*j, -3*b - 17 = j for b.
-5
Let j be 3 - 3 - 3 - 1. Let r(u) = -2*u. Let i be r(j). Solve i*z = 2*m + 3*z + 9, -m - 2*z = 0 for m.
-2
Suppose 8*a + 3*a - 88 = 0. Solve 2*b = -2*l - 0*b + a, -4*l = b - 1 for l.
-1
Let f = -5 + 11. Let l = f + -10. Let j = l - -9. Solve -4 = -s + 3*x, 0 = 5*s - j*x + 4 + 6 for s.
-5
Let h(m) = m**3 - 10*m**2 - 13*m + 14. Let q be h(11). Let w = q + 13. Let i be (1 + -2)/(2/(-10)). Solve -4*n = -s - 3*s - 28, w = -5*n - i*s for n.
3
Let h = 4 - 3. Solve w - 8 = -2*r, -5*w + 9 = 4*r - h for r.
5
Suppose -5*k + 22 = 3*t - 10, -4*t + 62 = -3*k. Let b be (-2)/(8/(-12)) + t. Solve -w + b = v + 4*w, -2*w = -5*v + 4 for v.
2
Suppose 0*o = -2*o + 6. Suppose -o*c = -5*r + r + 13, 5*c + 15 = 5*r. Solve 0 = -2*z - 0*z - 2*t - 4, -r*t + 10 = -2*z for z.
-3
Suppose -4 = 4*z, 0*m - 2*m - 2*z = -10. Let c = m - -4. Solve 5*i - c = 2*s, -5*i + 0*s - 2*s + 10 = 0 for i.
2
Suppose 0 = 5*j - 6*j + 4. Solve j*w - 2*d - 36 = 2*d, -5*d = 25 for w.
4
Let z be (-2)/12*2*-1*9. Solve -5*y + 12 = 2*h, -z*y + 1 + 15 = -h for y.
4
Suppose -2*f + 6 = 0, 0 = b + 2*b - 2*f. Solve -10 = -5*v - b*w, 5*w - 25 = -0*v + 3*v for v.
0
Let g be -8 + 44 + (2 - 1*-2). Solve 4*u = -3*x + 7*x + g, -2*x + 3*u = 25 for x.
-5
Let o(h) = -h**3 + 6*h**2 - 5*h. Let p be o(5). Let f be 5 + -2 + p - -2. Solve -4*d - 3*s = 20, -d = -7*s + 4*s + f for d.
-5
Let l = -5 - -8. Solve 2*w + 2 = 5*j - 15, 5*w - l*j - 5 = 0 for w.
4
Let v(l) = 11*l**2 - 17*l + 9. Let y(p) = 5*p**2 - 8*p + 4. Let j(u) = -4*v(u) + 9*y(u). Let w be j(4). Solve 6 + 4 = 5*d - n, w = -3*d + 5*n + 28 for d.
1
Let d = 31 + -28. Solve -d*z - 2*g - 3*g + 4 = 0, 2*z - 3*g = -10 for z.
-2
Suppose -5*a + 10*a = 10. Let t be (0 + (-1 - a))/(-1). Solve 5*m = 3*y - 27, -4*y + 8 = t*m + 1 for y.
4
Suppose 0 = 3*y - 13*y + 40. Solve 0*w - y = -w, -2*d - 2 = -2*w for d.
3
Suppose 0 = 2*u - 46 - 12. Suppose 0 = -3*i + 6*r - 4*r + 44, 0 = -4*i - 4*r + 32. Suppose 4*d = d + i. Solve 0 = -4*n - d*q - 12, 0 = -3*n + 4*q - u + 6 for n.
-5
Let d = -172 + 197. Solve 13 = 4*w - w + 2*p, 4*w = 5*p + d for w.
5
Let v be (5 - (-3 - -7))*2. Solve 16 = 6*d - v*d - 2*j, j - 1 = -d for d.
3
Let h = -15 + 19. Suppose -h*m + 0*m = -36. Let n(d) = -d**3 + 3*d**2 + d + 1. Let w be n(3). Solve -w*p + x = m, 2*x + 20 = 6*x for p.
-1
Let w = 5 + -2. Let m be (-1)/(-1) - w/(-3). Solve 0 = -4*q + m*a + 18, 2*a + 7 = 3*q - 6 for q.
5
Let m be 6 + (1 + -1 - 1). Suppose -k + 22 = 3*u, -u + 6 = 1. Suppose -k = 3*l - 4*i, -5*l + 3*i + 6 = 3. Solve -4*r = 2*s + r, -m*r = -l*s - 25 for s.
-5
Let m = -71 + 73. Solve -3*d - 2*o = 7, -2*d - 4*o + 4 = -m for d.
-5
Suppose 0 = 2*k + 5*q - 12, 5*k - q = -4*q + 30. Let x(z) = -z**2 + 7*z - 2. Let i be x(k). Solve -4*p + 4*c = i, 4*c = -p + 8*c + 11 for p.
-5
Suppose o = 2*x - 5, 5*x - 6*o = -4*o + 14. Solve -7 = -2*d - 5*z, 8*z - x*z - 32 = 5*d for d.
-4
Let j(u) = -u + 30. Let y = -3 - -3. Suppose o + 3*o = y. Let m be j(o). Solve -3*d - i = -4*i - m, 10 = 4*d + 2*i for d.
5
Let v = -6 - -8. Suppose -4*q + 13 = -7. Solve q =