olve s*k = 2*k + 16 for k.
4
Let t(d) = 6*d**2 - 2*d - 3. Let x be t(-1). Solve 0*h = 5*h - x for h.
1
Let o = 24 + -21. Solve x = -o*x for x.
0
Let q(o) = o**2 - 5*o + 5. Let y be q(5). Let m be y/(-2)*24/(-3). Suppose 3*z - 2*r = 2 - 3, -r = 4*z - 17. Solve -i = z*i - m for i.
5
Suppose 80 = 4*j - 0*j. Suppose -h = -6*h + j. Solve -16 = -h*l - 0*l for l.
4
Let a = -6 - -5. Let o = a + 7. Suppose -2*u + 4*v = o, 2*u - 20 = -4*v - 2. Solve h + u*h = 0 for h.
0
Let r = -82 - -86. Solve 0 = -4*z + r + 16 for z.
5
Suppose 0 = 3*y - 0*y. Suppose -5*l = -o + 14, -l - 3*l = -o + 12. Let a be y - 3 - -5 - l. Solve -a*j + 7 - 3 = 0 for j.
1
Let d be 2/(-9) + 376/72. Suppose -d*j + j = -12. Solve -17 = -j*i - 2 for i.
5
Let m(w) = -w - 1. Let s be m(-3). Let c be (0 + 0/2)/s. Suppose j = 4 - 2. Solve c*h - j = -h for h.
2
Let m be (-9)/(-6)*(-8)/(-3). Suppose 2*d - 8 = -5*z, m*z - d - d + 8 = 0. Solve a + z - 3 = 0 for a.
3
Let z = 3 - 2. Let y = z - 1. Suppose -4*f = -y*f. Solve f = p - 5*p for p.
0
Let f = -55 + 60. Let b = 6 - 4. Solve b*l = f*l + 15 for l.
-5
Suppose -z = 2*z - 4*d - 5, -3*d + 15 = 4*z. Suppose 2 = 2*m - 4*o, 0 = 3*m + z*o - 13 + 1. Solve -a = m*a - 8 for a.
2
Suppose 3*o - 19 = 4*h, 0 = -3*o - h + 5 + 9. Solve -3*t - o + 2 = 0 for t.
-1
Let d(t) = -3*t - 7. Let b be d(-4). Solve 0*m = -m + b for m.
5
Let k(i) = -i - 1 + i**3 - 3*i**3 + 0*i**3. Let s be k(-1). Suppose -s*b = b - 57. Solve 3*c - 7 + b = 0 for c.
-4
Suppose c + 4*c = 10. Suppose 2*w - c = w. Suppose w*d - 2*f = d - 6, -d + 14 = 2*f. Solve -n = -d*n - 15 for n.
-5
Suppose 3*a + 26 = 5*z, -z - a = -4 + 2. Let i be (2/z)/(1/2). Let t be (1*-6)/(-2 + i). Solve l + 2 = t for l.
4
Let x be (7/4)/((-5)/(-20)). Solve -x = -g - 3 for g.
4
Suppose -q = t - 5*t + 5, -5*q - 25 = 4*t. Suppose 5*k = 2*g + 18, -k = -t*k - 4. Solve -a - g = -4 for a.
3
Let k = -5 - -10. Solve 0 = 3*d - k*d for d.
0
Let y(s) = 6*s**2 + 3*s + 1. Let a(q) = -4*q**2 - 2*q - 1. Let t(z) = 7*a(z) + 5*y(z). Let h be t(-2). Solve 0 = h*m + m for m.
0
Suppose -5*z = 2*g - 92, -2*g + 100 = 4*z - 7*g. Solve 0 = -2*l - 3*l + z for l.
4
Suppose q + 3*q - 12 = 0. Suppose -5 = q*c - 4*c. Solve -6 - 4 = -c*k for k.
2
Let j be ((-4)/(-10))/(1/5). Let f be 0/j + (-6 - -7). Solve 3*z + 7 = f for z.
-2
Let w be (-5 - 2)/((-1)/2). Let k be 1*0/((-4)/2). Suppose 0 = l - 3*t - 9, k*t + 10 = 2*l - 2*t. Solve -1 = -l*p + w for p.
5
Suppose -g + 28 = 2*w - 3*g, 0 = -5*g + 10. Suppose 0*p + w = 4*p. Solve p*z - 14 = -2 for z.
3
Let j(d) be the second derivative of -d**4/12 + d**3/2 + d**2 - d. Let q be j(3). Let i(g) = 2*g**2 + 2*g - 2. Let t be i(-3). Solve 0 = -0*y - q*y - t for y.
-5
Suppose -f = f + 42. Let k = f - -11. Let n be 104/10 + 4/k. Solve 0*o = 5*o + n for o.
-2
Suppose -p - 84 = -4*p. Suppose 4*q + 0*o = -5*o + p, 0 = -3*q + 2*o - 2. Solve 0 = -0*y - q*y - 8 for y.
-4
Let t(d) = -2*d - 35. Let l be t(-20). Solve 0*c + 10 = -l*c for c.
-2
Let k be ((-1)/(-2))/(2/(-16)). Let b(u) = -u - 5. Let z be b(k). Let n(c) = -c**3 + c**2. Let q be n(z). Solve q = 2*r + 8 for r.
-3
Suppose -2*w = -35 - 15. Let i = -13 + w. Let y be 6/(-2)*(-20)/i. Solve -8 = -y*g - 3 for g.
1
Let m = 5 + 0. Suppose 26 = m*x - 34. Let y be x/(-10)*15/(-6). Solve -3*j = y + 3 for j.
-2
Let n = -9 - -14. Suppose 6*l - 4 = n*l. Solve -j = -l*j for j.
0
Let v = 14 - 9. Solve y - 6*y - v = 0 for y.
-1
Let p(z) = 6*z**2 + 6*z. Let y(x) be the second derivative of x**4/4 + x**3/2 - x. Let b(l) = -4*p(l) + 9*y(l). Let u be b(-2). Solve -3*m - 15 = -u for m.
-3
Suppose -2*k = 2*k + j + 36, 4*k + 56 = 4*j. Let h be (-4)/k - 2/5. Solve h = -3*i + i + 2 for i.
1
Let b be (-3)/(-2)*20/15. Solve 3*o - b = 2*o for o.
2
Let x = -18 + 18. Suppose 3*n + 5*l - 29 = x, 2*n + 5*l - 17 = 4*l. Solve 0 = -0*i - 4*i - n for i.
-2
Let i(r) = -r**2 - 2*r + 2*r + 6. Let v be i(0). Suppose v*x = x + 15. Solve 0 = x*w - 11 - 4 for w.
5
Let c be (-4 - (-1 - 0)) + 5. Let z be (5 - (-3)/(-1)) + c. Suppose -d = -2*d + 2, 5*s - 8 = -z*d. Solve s = -0*j + 2*j for j.
0
Let z be (14/(-14))/((-2)/26). Solve -5*k = 3 - z for k.
2
Let n be -1*4*3/(-2). Suppose -n = 4*k + 14. Let s = 5 + k. Solve s*c + 15 = -5*c for c.
-3
Suppose -4*b - 5 = 11. Let n(f) = -f. Let i be n(b). Suppose 0 = -4*k + 3*k + i. Solve -2*v = -0*v + k for v.
-2
Suppose 5*b + 1 = 26. Suppose 0 = -4*y + u + 21, 0*y = y + b*u. Suppose 3*g + 2*z = -1, -y = -5*g - 2*z - 0. Solve g*k + 3 = 4*k for k.
3
Let o(q) = q**2 + 2*q + 4. Let z be o(-4). Let u be (2 - 1)*1*2. Solve -2*p - u*p = z for p.
-3
Let n = 25 + -22. Solve 0*d + n*d + 3 = 0 for d.
-1
Let l(p) = -23*p**3. Let k be l(-1). Suppose -q + k = -10. Suppose 3*i - 2 = -f, 5 + q = 5*f + i. Solve 0 = -5*c - 28 + f for c.
-4
Suppose -3*a + a + 16 = 5*n, 0 = -2*a + 5*n + 16. Solve a*u = 4*u - 8 for u.
-2
Suppose 0 = 4*s - 49 + 1. Suppose -2*m + 11 = 5*a - 13, a + 4*m - s = 0. Suppose 8*v + 2*p = 3*v + 28, 0 = 3*v + 3*p - 15. Solve -a*d = -v*d - 6 for d.
-3
Let t = 29 + -28. Let j(z) = z**2 - z - 2. Let p be j(3). Solve -t - p = -d for d.
5
Let l = 23 - 7. Let j(t) = t**2 + 5. Let a be j(0). Solve l = a*f - f for f.
4
Suppose -8*v + 4*v + 20 = 0. Suppose -v*b - 3 - 2 = 0. Let u(l) = -2*l - 1. Let s be u(b). Solve 0 = -4*c - s - 3 for c.
-1
Suppose 2*m + 22 = 3*r, -2*r + 6 = -0*r + 3*m. Let o be 4/r*18/4. Suppose 3*a - 3 = 0, -2*i + 5 = -a - 12. Solve -i = o*n + 6 for n.
-5
Let z be (-66)/(-11) + 1*-3. Solve 0 = -3*i - 0*i - z for i.
-1
Let c = -4 - -8. Solve 3 = c*u + 11 for u.
-2
Let x(r) = -3*r - 5*r + 8*r**2 + 6*r**2 + r**3 + 21*r + 14. Let d be x(-13). Suppose -7 = -y - 2. Solve -y*g = d - 4 for g.
-2
Let n(d) = d**2 - 4*d - 23. Let h be n(8). Solve p + 2*p - h = 0 for p.
3
Suppose -2 + 6 = w. Let j be -6*(-6)/(-9)*-1. Let l(d) = d**3 + 4*d**2 + 2*d - 2. Let k be l(-2). Solve -j*r - w = -k*r for r.
-2
Let r = 7 - 12. Let z be ((-2)/r)/(6/15). Let k be (z/2)/1*0. Solve k = 4*p - 9*p - 25 for p.
-5
Let o = 110 - 108. Solve r - 5 = o*r for r.
-5
Suppose 2*o - 5*h - 37 = 0, 2*o - 45 = -h + 22. Suppose 0 = 2*p - 0*l - 2*l - 4, -3*p - 2*l + o = 0. Let v = p + -5. Solve 3*d = 2*d + v for d.
2
Suppose 88 = 5*g + 2*d, d + 76 = 4*g + 16. Solve 18*v + 8 = g*v for v.
-4
Let z(r) = r**3 + 8*r**2 + 9*r + 5. Let u be z(-6). Suppose 0 = -2*p + 7 + u. Solve 5 = -2*q + p for q.
5
Let m = 25 + -11. Suppose 0 = 4*a - 8. Suppose -3*r + m = -q, 0 = -4*r - r + a*q + 25. Solve 16 - 4 = r*s for s.
4
Let k(l) = l + 1. Let b(w) = 7*w - 3. Let h(z) = -b(z) + 6*k(z). Suppose 0 = -r + 4. Let c be h(r). Solve c = 5*n - 0 for n.
1
Let p = 16 - 16. Let v = -1 + 6. Solve p = 4*a - v - 11 for a.
4
Let r(t) = t**2 + 1. Let k be r(3). Suppose -2*f + 4*v + 2 = 2*v, k = -2*v. Let b(o) = 2*o**2 + 6*o. Let s be b(f). Solve 3*y = s*y + 15 for y.
-3
Let l(k) = -k**2 + 7*k - 6. Let f = 0 - -5. Let q be l(f). Solve -3*d - q = d for d.
-1
Suppose -r - 2 = q, r = -4*r - 4*q - 6. Solve r*u - 6 = 5*u for u.
-2
Suppose 2*t + 5*o + 35 = 7*t, 0 = 5*t + 5*o - 55. Let u = -6 + t. Suppose 0 = u*m + m - 80. Solve 3*w + 2*w = -m for w.
-4
Let a = 5 - 2. Suppose 4*o = 6*o - 2*m, 0 = a*m. Suppose -2*l - 2*l + 16 = o. Solve h - l = -h for h.
2
Suppose 4*x - h - 7 = 0, 4*x + x - 2*h = 11. Solve 4*o + x = 3*o for o.
-1
Let c = 7 + -2. Solve -2 - 8 = c*j for j.
-2
Let w be (2/6)/((-1)/3). Let d be -3*(2/(-1))/w. Let t = d + 14. Solve k = -k - t for k.
-4
Let a = -39 - -42. Solve y = -0*y + a for y.
3
Let n be 6/27 - 14/(-18). Let t = n - -8. Suppose 3 = 3*u - t. Solve -5 = -u*x - x for x.
1
Let h(m) = -5*m - 2. Suppose -1 = -3*k - 4. Let c be h(k). Solve -c*q + q = 8 for q.
-4
Let p = -4 + 6. Solve -p*v = 2*v for v.
0
Suppose 3*v - 5*p = 11 + 4, 3 = 3*v - p. Solve -15 = -5*y - v*y for y.
3
Suppose -9*c + 3 = -8*c. Solve -v = c*v + 8 for v.
-2
Let l be -2*((-18)/4 - -3). Let o = 0 + l. Solve z + 4 = o for z.
-1
Let f be -1 - (-2 - 1) - -7. Suppose -7 = -4*u - 5*n - 22, -3*u + 3*n = -f. Solve l + 1 = -u for l.
-1
Let i(l) = -l - 3. Suppose 28 = -5*a + 3. Let t be i(a). Suppose 12 = -4*b + 3*h, t*b + 0*h = 3*h - 12. Solve 4*p - 3 - 1 = b for p.
1
Suppose 3*t - h = -12, t + 4*t = -5*h. Let u be (-6)/(-9) + 11/t. Let q = 3 + u. Solve 5*r + 0 + 20 = q for r.
-4
Suppose 4*x - 4 = 2*x. Solve -n + 3 = -x*n for n.
-3
Let n(g) be 