 5*a for a.
2
Let j be (19 + -9)*(4/2)/2. Solve 5*b + h = 18, 4*h = b - j - 2 for b.
4
Let d be (-6)/15*2*-5. Let m(v) = 11 - 2 + 3*v - 2 - d*v. Let n be m(3). Solve 3*x - 6 = 2*g + 9, n*x - 21 = 3*g for x.
3
Suppose 0 - 9 = -3*z. Suppose -5*i - z = -18. Let a(w) = -3*w. Let q be a(-2). Solve v + q = -3*v - b, -5*v - i*b = 4 for v.
-2
Suppose j = -3*j - 24. Let g(k) = -2*k**3 - 4*k**2 - k - 5. Let q be g(-5). Let u be ((-4)/j)/(4/q). Solve -4*x + 4*h + 40 = 0, 0*h - u = 5*h for x.
5
Suppose x + 5*i - 7*i = 29, 0 = x - i - 24. Solve -n = 3*t - 0*t + 8, -t = -4*n - x for t.
-1
Let x(n) = -4*n + 4. Let b be x(-3). Suppose -i + 5*i - 3*p - 15 = 0, -2*p - 2 = 0. Suppose -d = -2 - i. Solve 3*y - b = 4*m, -m + 2*y = d*y + 4 for m.
-4
Let t = 4 + -1. Solve -24 = -2*n - 7*z + t*z, 5*n - 8 = 3*z for n.
4
Suppose 3*n = -n - 5*u - 77, -u = 4*n + 73. Let b = n + 22. Solve -b*a + 8*a = 5*g + 20, 0 = -5*g - 5*a - 20 for g.
-4
Let n = 1 - -1. Solve f = l + 1, f - 2*l = -0*l + n for f.
0
Let i(a) = -5*a. Let w be i(-8). Let x = w - 23. Suppose -2*d + 2 = 3*g, 3*g + 2 = g - 3*d. Solve -7 = -5*c + g*r, -4*r = 4*c + x - 45 for c.
3
Let g = 14 + 10. Let z = -17 + g. Solve 5*y = -5*j + z + 8, y = -5*j + 15 for j.
3
Let m = 121 + -116. Solve u = 2*j + 9, 5*j + m*u = 4*j + 1 for j.
-4
Let i = 4 + 2. Suppose -2*f = -3*j - 1 - i, 0 = -5*j + f. Solve 2*l + j = g, -l = 2*l + 2*g - 9 for l.
1
Suppose -h - z = -6*z - 13, 2*h + 2*z - 2 = 0. Let f = 6 - h. Suppose 4*p = -f + 11. Solve 0 = -o - p*n, o - 2*n + 20 = -3*o for o.
-4
Let s be -5*(13/(-5) - -2). Suppose s*z + 2*z = 5. Solve -4*j = 4*k - 4, 0 = k - 2*k + z for j.
0
Let d(c) = c**2 - 9*c + 12. Let a be d(8). Suppose 1 = -w + 2*b, -8*w + 6 = -a*w - 3*b. Let s = 31 + -21. Solve 0 = -2*n - 5*f - 13, 3*n + f + s = w*f for n.
-4
Let l(y) = -y - 7. Let q be l(-9). Solve 4*m = 2*k - 6, -2*k - 4*m - 12 = -q*m for k.
-3
Suppose -2*q = -4 - 0. Suppose -5*k = -2*g + 22 + 1, q*g - 2*k = 14. Solve 2*j - m - 2 = -12, 2*m = g for j.
-4
Let v be -3 - (0 + (-56)/4). Suppose q + 15 = 6*q. Suppose v - 2 = q*d. Solve 3*l + 6 = -2*b + 1, 13 = -d*b + l for b.
-4
Let a = -57 - -61. Solve -4*m = -a*v + 12, 5*m - 9 = -0*v - v for m.
1
Let i = -9 + 13. Suppose o + 4 = 16. Suppose -2*d = 3*l - 9, -4*l + 14 = 4*d + 2. Solve -c = -5*z + 4*c + 10, d = -i*c + o for z.
5
Let t be (-3 + 1)*(5/(-2) - -1). Solve 6 = f + t*g - 0*g, g - 9 = 2*f for f.
-3
Let s = -9 - -11. Suppose -s*f = -7 + 3. Solve q + 4*q = -f*p + 20, -5*p + 4 = q for p.
0
Let c be (-56)/(-14) + -1 + 0. Suppose c*q - 8*q + 10 = 0. Solve 4*v + k = 12, 0 = 2*v + 3*v - q*k - 28 for v.
4
Let r(b) = 3*b - 15. Let g be r(6). Solve 4*d + g*f = 17, -f + 4 = 5*d - 9 for d.
2
Suppose -5*x = -0*t + 3*t + 9, 0 = 2*t + 4*x + 8. Let u(b) = b**3 - b**2 + 5. Let y be u(0). Let z = 7 + y. Solve -t*w - 6 = 5*p, p + p - 4*w + z = 0 for p.
-2
Let d(z) = -2 + 4*z + 0 - z**2 + 5*z - 3. Let b(g) = g + 4. Let i be b(4). Let h be d(i). Solve 23 = -7*l + h*l - k, 3*l - 5*k = 0 for l.
-5
Suppose 3*m = 2*m + v + 22, 2*m - 48 = 3*v. Solve 2*r - r - 4*q + 9 = 0, 0 = r + 5*q - m for r.
3
Let n be 2*1/6*9. Solve 5*q - 25 = -h - h, -n*q + 15 = -5*h for h.
0
Let z be 6 - ((4 - 2) + -1). Suppose -4 = z*u - 14. Solve -h + 5*q = 19, 4*h + 4*q - u*q = 12 for h.
1
Let f(v) = -v**2 - 11*v - 6. Suppose -l + u - 5 = -0*l, -15 = l + u. Let b be f(l). Solve -4*d - 28 = -4*c, -b*c + 2*d - d + 16 = 0 for c.
3
Let h = -5 - -5. Let b be (1 - 6/4)*h. Solve k = -l + 4, 3*k - 8*k - l + 4 = b for k.
0
Let q(h) = 4*h - 36. Let o be q(11). Solve 3*z - 6 = 3*f, 2*z + 2*z + o = 0 for f.
-4
Let l(f) = -2*f - 8. Let u be l(-7). Let y be (u + -5)*5/(-1). Let q = y - -5. Solve 5*h - 12 - 2 = -4*b, q = -5*b - 4*h + 13 for b.
1
Let y be 11 + (3 - (-1 + 3)). Suppose x = 2*x. Solve -3*m + 2*b + x = -4, m - y = -2*b for m.
4
Suppose b + 7 = 4*m - 0*b, 1 = 3*m - 5*b. Let k be 2 - 1*m/(-2). Solve -2*a = a - 4*s - 21, 0 = -k*a + 5*s + 24 for a.
3
Let b(n) = -n + 12. Let s be b(9). Solve 4*z + s = 3*y, -y + 17 = 5*z - 3 for z.
3
Let j = 27 + -25. Solve i - 5*t = -12, -2*i + 7*t - j*t = 14 for i.
-2
Suppose -3*j = -2*j - 6. Let m = j + -4. Solve -4*x - v = -16, 5*v + 12 = 5*x - m*x for x.
4
Let c(p) = 3*p**2 - 10*p - 15. Let l(s) = s**2 - 1. Let g(z) = -c(z) + 4*l(z). Let j be g(-9). Solve -2*o = -5*i + 2, -5*i - o = -j*o - 1 for i.
0
Let i = 43 + -25. Suppose y + 5*y - i = 0. Solve -5*u + m - y*m - 11 = 0, 5*m = -u - 16 for u.
-1
Let i be (-21)/(-15) + (-4)/10. Solve -i = -5*o - 4*u, -5*o + u = -10 + 4 for o.
1
Suppose 0 = 12*s - 3*s - 171. Solve u = n - 1, -2*u + s = 3*u + n for u.
3
Let q(a) = -a**2 + 6*a + 29. Let j be q(9). Solve 4*i - 4*z = 28, -5*i - j*z + 6*z = -31 for i.
3
Suppose 0*z - 20 = -4*z. Solve 5*o - 5 = 4*h, -1 - 14 = 2*o - z*h for o.
5
Let z(j) = 7*j - 5. Let o be z(2). Suppose 1 = 2*q - o. Solve -v + 24 = -5*n, -2*v + 2*n - 17 = q*n for v.
-1
Let v(l) = l**3 - 3*l**2 - 2*l - 5. Let c be v(4). Suppose 0 = -c*t + 2*t + 4. Solve 4*x + 2*n = 3*n + t, x + 2*n - 1 = 0 for x.
1
Let v = -15 - -19. Solve -3*g + 5 = -v*n - 27, -g + 24 = -4*n for n.
-5
Let d be (-14)/(-8) - (-12)/48. Let a be 84/49 + d/7. Solve 3*y = -5*t - 2, 5*y - t - a - 4 = 0 for y.
1
Let m = -1 + 1. Let h be 3/(-6)*m + 4. Suppose 0 = -c - 5, -c - 33 = -4*a + h. Solve -5*o = a*p - 3*p - 10, 2*p = -4*o for p.
4
Let a = 34 - 31. Solve -2*r + 7*r + 3 = -a*f, r - 4 = 4*f for f.
-1
Let w(n) = 2*n**2 + 2*n - 1. Let y be w(1). Suppose -y*u = u. Suppose 3*l - 2*l = u. Solve 4*g = g + 2*a - 6, -3*a = l for g.
-2
Let u = 5 + 1. Let h be ((-2)/4 - -2)*2. Solve -4*z + 7 = -4*a - 5, 2*z = h*a + u for a.
0
Suppose 5*o + 7 + 12 = -2*m, 2*o + 7 = -m. Suppose m*x + 0 = 6. Solve x = -2*j, -w + 6*w = -2*j - 12 for w.
-2
Let c(a) = 3*a - 3. Let d be c(2). Let v(l) = -l**3 + 3*l**2 + 2. Let o be v(d). Solve -10 = 5*t + w, o*t + w = 6*t - 1 for t.
-1
Let f(q) = q**3 - q**2 + q + 2. Let o be f(0). Suppose -4*t = -t - 3. Let p be -3 - (-2 - 1)/t. Solve -3*g - 5*u + 12 = p, 10 - o = 2*g + u for g.
4
Let a = 5 - 19. Let i(g) = -g - 8. Let w be i(a). Suppose f + 12 = 5*f. Solve -2*u + w*u - 23 = f*q, u = -5*q for u.
5
Let m(p) be the second derivative of -p**3/6 - 3*p**2/2 - p. Let w be m(-7). Suppose -3*y = -w*y. Solve 2*i = 2*a - y*a - 10, 5*i = a - 13 for a.
3
Suppose 0 = -0*x + 3*x - 15. Suppose 9 + 16 = -x*r. Let j = 0 - r. Solve 0 = -5*l - j*v, -3*l = -l + 5*v + 15 for l.
5
Let z be (-195)/21 - (-2)/7. Let l = 9 + z. Suppose -d - 4*d - 4*j + 20 = l, -15 = -5*d - 5*j. Solve 0 = -5*g - 4*w + 36, -4*g + w = -w - d for g.
4
Suppose 4*q + 1 - 13 = 0. Solve 2*t + q*t + 6 = -2*z, 0 = -3*z + 3*t + 12 for z.
2
Let c be (-5)/(-2) + 5/10 + 1. Suppose 28 = 3*k + 4*p, 0 = 2*k - 3*p + 5*p - 22. Solve 10 = -2*m, -d + 2*d - c*m = k for d.
-4
Let i(d) = 2*d**2 + d - 2. Let j be 3 + 3/((-9)/15). Let y be i(j). Solve 2*f - 4*f - y = -4*t, -2*f - 4 = 0 for t.
0
Let w(g) = 3*g**3 + g**2 - 1. Let r be w(1). Suppose 0*v + b - 5 = v, -b = 4*v - 5. Solve 4*d = -p + 14, -3*d + 3 = -r*p - v*d for p.
2
Let g(y) = -y**2 - y + 5. Suppose j = -2*j. Let l be g(j). Suppose -c = s - 8, -19 = -l*c - 2*s + 4*s. Solve c*f = 2*q - 1 + 6, -q = -2*f + 3 for f.
-1
Suppose 0 = k + 2*k - 9. Suppose 3 = k*b - 0. Solve 0 = -2*t, 4*y = 3*t - 5 + b for y.
-1
Let w = -1 + 3. Suppose -4 - w = -3*z. Let f = 17 - 12. Solve -2*t = z*t - 16, -f*t + 17 = -g for g.
3
Suppose 13 = 2*t - 2*b + 5, -b - 19 = -4*t. Solve 2*v + 20 = 4*p - 2*v, t*v + 15 = 3*p for p.
5
Suppose l = -0*l + 3*s + 5, -3 = -l + s. Solve l*u - 4 = -0*u - t, -4*u + 20 = -4*t for u.
3
Suppose -5*y - 5*w + 0*w - 30 = 0, 5*w + 12 = 4*y. Let v(p) = p**2 + 2*p + 3. Let c be v(y). Solve 4*q - 10 = -n, c*n = -4*q + 1 + 13 for q.
2
Let k = 51 + -46. Solve q = -y - 3*q, -3*q = -k*y for y.
0
Let m be -1 + -2*(-1)/2. Let q(o) = 4*o**3 + o**2 - 2*o + 1. Let p(l) = -l + 1. Let x be p(0). Let j be q(x). Solve i - 20 = -j*n - 0*n, -4*i = m for n.
5
Let l(o) = o**3 - 10*o**2 - 10*o - 5. Let n be l(11). Solve n*v = -q + 2*v + 1, 5*v + 15 = 2*q for q.
5
Suppose 3*k + d = 2*k, -2*k - 3*d = 0. Suppose -4*i = -0*m + 4*m - 16, 4*m - 26 = i. Solve k = 3*r + 5*z + 40, 2*r + m = -z - 9 for r.
-5
Let t(v) = v**3 - 11*v**2 - 11*v + 10. Let y be t(12). Solve 2*n = -3*o - y, -2*n - n - o - 19 = 0 for 