2*a. Let u be l(-1). Solve -3*z = -1 - u for z.
2
Let q(x) = -x**2 + 8*x + 10. Let j be q(9). Solve j = 5*g + 11 for g.
-2
Let z(n) = -n. Let g be z(-2). Let l(y) = 0 - 3 - y**3 + 5*y**g + 3*y + 4*y. Let t be l(6). Solve 0 = -p + 2*p + t for p.
-3
Let x(s) = 8*s - 3. Let p be x(1). Solve -5 = p*u + 5 for u.
-2
Suppose -8 = -2*x + y, -2*x + 2*y + 8 = -2*y. Suppose -m + 15 = x*m. Solve -4*h + h = m for h.
-1
Suppose -4*b + 0*b + 5*d = -37, -2*b - 4*d = 14. Let y = -4 + 6. Suppose 0 = -0*z + y*z. Solve 0*i + i + b = z for i.
-3
Let m(p) be the first derivative of -4 + 5*p - 1/2*p**2. Let k be m(0). Solve o + k = 6*o for o.
1
Let y be -2*-3*(-4)/(-6). Let a = -15 - -21. Let b be (-4)/10*(-13 + 8). Solve b*l = y*l - a for l.
3
Suppose 5*i = 3*b + 6 - 1, -i + 1 = 0. Solve 2*j + 1 - 5 = b for j.
2
Let c be 8 + (-2)/(-2)*-2. Suppose 0 = -y + c*y - 15. Solve -4*v + 2 = -y*v for v.
2
Let p(t) = t**3 + 4*t**2 + t + 4. Let l be p(-4). Suppose l*a + 30 = 3*a. Suppose 3*s = a + 2. Solve -s*j + 3 = -1 for j.
1
Let f = -3 + 3. Suppose f = t - 0 - 2. Solve t = n - 0 for n.
2
Let j = 11 + -6. Solve p = j*p - 12 for p.
3
Let r = 33 - 23. Let f be (-21)/(-15) + (-4)/r. Let m be (10/4 + -2)*6. Solve d = -f - m for d.
-4
Let o(w) = -w**2 + 4*w + 19. Let b be o(6). Solve 1 = 3*l + b for l.
-2
Let d be (-6)/2*4/(-6). Let f = 6 + -3. Suppose -12 = -f*j - 3. Solve -d*v + j = v for v.
1
Let x be -1*(-2)/(2/1). Suppose 0 = -2*s + 9 - x. Suppose 10 = r - 0*r + 3*k, -4*r - s*k + 24 = 0. Solve -r = -2*v - 0 for v.
2
Let x(j) = -j + 3. Let i be x(3). Suppose i*b + 16 = -2*b. Let y = -6 - b. Solve 0 = -2*d - y*d + 16 for d.
4
Suppose -4*l - l = 0. Let j(o) = o**3 - 5*o**2 - 2*o + 7. Let b be j(5). Let i be b + 1/((-1)/(-5)). Solve l*z - i*z = 0 for z.
0
Let i be 0/(-1 + 2 + 0). Let a(q) = q + 12. Let y be a(-10). Suppose 0 = 7*x - y*x + 2*o - 16, -18 = -4*x + o. Solve i = -2*k + x + 6 for k.
5
Let d = -19 - -44. Solve 7*r = 2*r + d for r.
5
Suppose -13*y + 14*y = 2. Suppose -3*r = i + 1, i + 5 = 2*i - 3*r. Solve y*v - 12 + i = 0 for v.
5
Suppose -y = -6*y + 120. Suppose -2*p - 3*b - 7 = 0, y = 2*p - 6*p + 4*b. Let u = p + 10. Solve -o + u = -0 for o.
5
Let r be 2/5 - (-65)/25. Let w = 2 + 0. Suppose 0 = 2*d + r*i + 15, 3*i = -5*d + w*i - 5. Solve 4*v - 23 + 7 = d for v.
4
Let u(o) = o**2 + o + 2*o**2 + o**3 - 7*o**2. Let v be u(4). Solve v*w - 5 = -w for w.
1
Suppose 3*z = 2*z. Let p be -2 + 5 + z - 1. Solve -p*t + 0*t = -6 for t.
3
Suppose 0*o = -o + 4. Suppose 0 = -4*h + 3*a + 21, 4*h - o*a = a + 27. Solve 0 - 15 = -h*r for r.
5
Suppose 0 = y - 3*y + 4*d + 30, 3*y = -2*d + 5. Solve y = -0*s - s for s.
-5
Suppose -3*p = 3*v - 2*v - 16, -5*v = 3*p - 20. Solve -r + 2*r = -p for r.
-5
Let i = -16 + 21. Solve -i*k = -4*k + 5 for k.
-5
Let z = 13 + -11. Let h(n) = n. Let v be h(z). Solve 2*t + v = -0*t for t.
-1
Suppose 17 = 12*h - 19. Solve -3*g + 6*g = h for g.
1
Let l(b) = -b**2 + 12*b + 18. Let h be l(13). Solve -14 = h*j - 4 for j.
-2
Let f(j) = -j**3 - 4*j**2 - 6*j - 2. Let i be f(-2). Solve -i = -4*d + 6 for d.
2
Suppose x = 4*x. Suppose x = -v + 5*v + 4*y - 24, 5*v + 3*y = 24. Solve -5 - 1 = -v*h for h.
2
Let u(g) = -g**3 - 4*g**2 - 2*g + 3. Let m be u(-3). Suppose m*s + 12 = 4*s. Let h be (-6)/s - (1 + -23). Solve -3*p - h = p for p.
-5
Let m = 54 - 52. Solve 3 = m*h - 5 for h.
4
Let a = -3 - -4. Suppose 0 = 3*g + a - 4. Let y = 16 + -11. Solve -y*n - 16 = -g for n.
-3
Let n(v) = v**3 - 2*v**2 - 2*v. Let z be n(3). Suppose 5*b - 3*k - z = 10, 16 = 4*k. Solve 1 = 4*g + b for g.
-1
Suppose r - 6 = 4. Let f be 1/((-2)/(2 - 12)). Suppose -n = 4*i - f, 4 = -n + 4*i + 1. Solve 3*u - n + r = 0 for u.
-3
Let q be 30/9*9/6. Suppose -8 = 3*u - 5*b, 4*b = q*u - b. Solve u*o + 0*o - 4 = 0 for o.
1
Let q = 0 + 0. Let h(t) = t**2 - 10*t + 12. Let k be h(9). Solve 3 = -k*d - q for d.
-1
Suppose 20 = -4*f + 8*f. Solve 0 = f*r + 6 - 1 for r.
-1
Suppose 0 = -0*o + 2*o - 8. Suppose 0 = o*z - 34 + 2. Suppose -6*f + z = -2*f. Solve f = 2*s + 6 for s.
-2
Suppose -2*i + i = 0. Suppose i*y = -3*y. Solve y = 5*a + 30 - 5 for a.
-5
Let x be (-3)/12*(-13 - -5). Solve x*q + 15 = 7*q for q.
3
Let g(v) = -v**3 + 6*v**2 + v - 1. Let b be g(6). Let o be 1/(-2)*(b - 1). Let h = o - -14. Solve h = -d - 3*d for d.
-3
Suppose 5*y + 0 = 10. Suppose y*k + k = 45. Solve k = -2*w - w for w.
-5
Suppose x - f + 2*f + 14 = 0, -5*f = -5*x - 80. Let c = -13 - x. Solve c*z = -z + 12 for z.
4
Let p = 11 + 3. Suppose -2*u = -p + 4. Suppose -3 = -u*g + 12. Solve -2 = -5*t + g*t for t.
1
Let l(m) = -7*m. Let n be l(-2). Suppose -2 = 4*y - n. Suppose 4*v = f + v + y, -v + 1 = f. Solve q - 3 = -f*q for q.
3
Let x = 1 + 2. Let r = -4 + 4. Suppose r = -4*t + 5*t. Solve t = -x*k + k for k.
0
Let p = 5 - -2. Let z be 0/p - 5/1. Let n be (-44)/(-20) - (-1)/z. Solve n = 2*a - 6 for a.
4
Let g be (10/25)/(1/5). Let x be 6/g - (-27)/(-9). Solve x = -5*r + 6 + 4 for r.
2
Let m be 1/(((-10)/8)/(-5)). Solve -2*c = -m - 4 for c.
4
Suppose 0 = -u + 12 + 6. Let y = -13 + u. Suppose -y*z + 14 = -1. Solve d - 4 = -z*d for d.
1
Suppose 0 = -3*y - 5*n + 2*n + 24, y - 2*n - 2 = 0. Let m = y - 5. Solve 1 + m = 2*v for v.
1
Suppose 2*i - 5 = -1. Suppose i*g - 10 = -3*g. Solve -8 = -5*v + g for v.
2
Suppose -m = w + m + 4, 2*w = 5*m + 10. Suppose -3*v = -2*l + 24, -2*v - v = w. Suppose 0 = 3*c - l + 3. Solve -2 = c*p - 11 for p.
3
Let d = -28 - -30. Solve 2*m + d*m = -4 for m.
-1
Suppose 3*y + 5*q = -8, 5*y - 36 = y + 5*q. Let m = 4 + y. Solve 4*x - m + 0 = 0 for x.
2
Suppose 0 = -s - 3 - 1. Let d = s - -5. Suppose -v + d = 3*v + j, 0 = 2*v + j - 1. Solve v = 3*p + 2 + 13 for p.
-5
Suppose -26 = -4*g + 5*c + 5, -c = -2*g + 17. Suppose -2 = 5*v - 4*r, -2*v + 3*v + 5*r - 17 = 0. Solve -v*h + g = -1 for h.
5
Suppose 0 = -3*a - b + 66, -a - 2*a - 5*b + 66 = 0. Suppose -6 = 2*u - a. Solve -4*v + u + 4 = 0 for v.
3
Suppose 0*w + 14 = 2*w. Let s be (0/2)/(-8 + w). Let o be (-3)/(1 - 4/2). Solve o*q - 13 - 2 = s for q.
5
Let o = -6 + 10. Let m(u) be the third derivative of -u**5/60 + 5*u**4/24 + u**3/6 + u**2. Let r be m(5). Solve -t = o + r for t.
-5
Let g be (-21)/(-6) + 2/4. Suppose 2*f = -g*x + 10, 3*f - 6*f - x = -10. Suppose -2 = -f*k + 4. Solve k*p = -3*p + 5 for p.
1
Let m(x) = 2*x**3 + 3*x**2 - 3. Let d be m(2). Solve d = -y - 4*y for y.
-5
Let i be 84/5 + 1/5. Solve -4*z + i = -3 for z.
5
Let m = -68 + 73. Solve 2*k = -13 + m for k.
-4
Suppose -3*p + 5*h - 10 = 0, -4*h = -2*p + 3 - 13. Let j = p + -4. Solve j + 0 = -g for g.
-1
Let q be ((-2)/2)/(7/(-28)). Solve q*y = y for y.
0
Suppose 16*a + 8 = 18*a. Solve 0 + a = 4*g for g.
1
Suppose 2*m - 5*q = -4*q - 8, 0 = -3*q - 12. Let b = 10 + m. Suppose 0 = b*k - 8, 0*h - h = 5*k - 10. Solve h = -7*x + 4*x + 15 for x.
5
Let v = -31 + 31. Solve v = 4*c - 0*c for c.
0
Let s = -165 + 180. Solve 0 = 5*t - 5 - s for t.
4
Suppose -3*o + 47 = 11. Suppose 0*q - 3*q = -o. Suppose 2*c = q*c - 8. Solve -v + c = 3*v for v.
1
Let h(g) = -g**2 - 5*g + 4. Let a(z) = -z**3 + 5*z**2 - 5*z - 1. Let o be a(4). Let l be h(o). Solve -2*s + l = -2 for s.
3
Let m be (-1)/5*(-17 + 2)*1. Suppose 8 = 3*b + 2*a, 5*a = 4*b + 3 - 6. Solve b*i = -m*i for i.
0
Suppose 0 = -2*n + 4*c + 2, -2*n = -2*c - 5 + 1. Suppose -n*d = -7*d + 16. Suppose 0 = -t + 3*r + 3, 2*t - 2*r - 3 = r. Solve t = 2*p - d*p + 6 for p.
3
Suppose 0 = c - 6 + 4. Suppose -k = c*k - 18. Solve k = 4*p + 22 for p.
-4
Let f(c) = c**3 - 3*c**2 - 2*c - 2. Let k be f(4). Solve -2 = 2*t + k for t.
-4
Let w = 23 + -16. Solve 2*g + 5 = w for g.
1
Let r = -1 + 1. Suppose 0*h - 2*h = r. Solve h = 2*m - 0 - 8 for m.
4
Let k(i) = 2*i**3 - 2*i + 1. Let j be k(1). Let l be 0/((j - 3)/2). Suppose -2*d - o + 11 = l, d - o - 5 = -1. Solve d*w + 0*w = 0 for w.
0
Let l = -24 - -44. Suppose -5*w + 0 + l = 0. Solve 4*g = 6*g + w for g.
-2
Let g be (-12)/18 + (-8)/(-3). Let j(f) = f**3 - 3*f**2 + 3*f. Let z be j(g). Solve -z*m = m + 9 for m.
-3
Let z be -8*((-3)/6 - 0). Let v be (12/z)/(6/4). Solve v*j = j for j.
0
Let t be 3/(11/(-4) - -2). Let d(m) = -m**2 - 11*m + 1 + 7*m + 0*m. Let f be d(t). Solve -11 = -5*z - f for z.
2
Suppose h + 5*k = -5, -5*k - 12 = -h + 3. Let u be (-3)/5 - 7/h. Let f be (-48)/(-21) + u/7. Solve 3 + 3 = -f*b for b.
-3
Suppose g + 24 = 7*g. Solve -2*