t k be p(r). Solve -t + k = 2*t for t.
1
Let t be -1 - 1*14/(-2). Let h be 7/(7/t) + -1. Suppose h*r = 6*r - 2. Solve -4*i = r - 18 for i.
4
Let w = -71 + 74. Let s = 8 + -6. Solve w*g = -s*g for g.
0
Let t be 2/8 + (-7)/(-4) + -2. Solve -3*o - 12 + 0 = t for o.
-4
Let n = 20 - 16. Solve n*b = 7*b - 15 for b.
5
Let o(b) = -b - 6. Suppose 0 = 2*j + 16 + 2. Let d be j/18*(-1 - -13). Let s be o(d). Solve w + 0*w + 5 = s for w.
-5
Suppose 0 = -0*a - 3*a. Solve -l + a*l = -1 for l.
1
Let h be (1 - 3/4) + 11/4. Solve -m - h*m = 4 for m.
-1
Let x(p) = 16*p**2. Let f be x(1). Solve 3*m = -m - f for m.
-4
Let r = 38 - 35. Solve 11 = r*y + 5 for y.
2
Let i = 33 + -28. Suppose 4*j + 3*l - i*l - 20 = 0, 3*l = -5*j + 36. Solve 2*m - j = -m for m.
2
Suppose 6*m - 14 = 2*m + w, -2*w = 4*m - 20. Let l be -6*m/(-12)*1. Solve -4*k = -l*k - 8 for k.
4
Suppose -63 = 9*h - 2*h. Let q be 15*(-1 - h/5). Solve 3*m + q = -0*m for m.
-4
Let y(d) = -d - 1. Let a(u) = 2*u. Let w(c) = -a(c) - 3*y(c). Let j be w(-3). Suppose 5*m + 5*f = 30, -3*m - 5*f = -j*m - 22. Solve -b = -m*b + 9 for b.
3
Suppose -20 = 2*x + 10. Let b be x/(-10) - (-1)/2. Let l = b + 5. Solve -q - 2 = -l for q.
5
Let m(n) = n + 1. Let p be m(3). Suppose -3*a + 8*a = 0. Let j be a + 10 + (-6 - -5). Solve -j = -p*d + d for d.
3
Suppose m = -3*s - 0*m + 13, 10 = 3*s - 2*m. Solve 2*x + 0 = s for x.
2
Let d be ((-10)/(-8))/(2/(-8)). Let q be (-4)/8 - d/2. Suppose 5*l + 2*h - 13 = 0, -3*h + 11 = q*l - 3*l. Solve 0 = -x + 2*x - l for x.
1
Suppose -143 - 22 = -3*i. Suppose 4*p - i = -5*v, 5*p + 0*p + 3*v = 59. Solve -2*s = -4*s - p for s.
-5
Let s be 0*(-3 + 15/6). Suppose -2*z + 0*z = s. Solve -2*h = -z*h - 4 for h.
2
Let j(k) = 4*k + 4. Let n be j(2). Let a = 17 - 12. Suppose -a*g + n = -3. Solve g*i = -1 - 5 for i.
-2
Let r(y) = -5*y - 4*y + 4*y + 4*y + 11. Let u be r(9). Solve -u*h = 6 - 2 for h.
-2
Let o = -7 + 11. Let t = -3 + o. Suppose 5*n = -14 + 39. Solve n*z - t = -16 for z.
-3
Suppose 4 = -4*w + 8. Solve w - 21 = -5*h for h.
4
Let a be 72/4*2/4. Let q = 7 - a. Let t(n) = n**2 + n. Let b be t(q). Solve b*k = -5 + 1 for k.
-2
Let f(w) = 2*w**2 + w - 14. Let s(b) = -b**2 + 7. Let l(h) = -6*f(h) - 11*s(h). Let p be l(-6). Solve -5*k = -13 - p for k.
4
Suppose 3*k + 15 = 3*u, 2*k + u = 7 - 2. Solve -y = -k*y + 2 for y.
-2
Let w(p) = p**2 + 3*p - 1. Let n be w(-4). Suppose 0 = -n*j + 9 + 15. Let g be ((-6)/j)/((-6)/24). Solve g*h + 2 = 2*h for h.
-2
Let h be -10*(-4)/24*-3. Let u(p) = p**2 + 4*p - 1. Let m be u(h). Solve 0 = -m*a - 0*a + 20 for a.
5
Let g be 2*16*(-2)/(-4). Solve k = 5*k + g for k.
-4
Suppose 4*l + 7 = -5*t + 33, 4 = 4*t - l. Solve -3 = -5*f + t*f for f.
1
Let b(i) = 5*i**2 + i. Let t be b(-1). Suppose 0 = r - 0*r - 10. Suppose -2*g - t*y = -6 - 12, 0 = -2*g - 2*y + r. Solve 5 = 2*c + g for c.
2
Let b(h) = -h - 1. Let w be b(-5). Suppose -w*f - 9 + 25 = 0. Solve m + m = f for m.
2
Let g be (2 + -1)*20/4. Solve -2*p - 3*p = -g for p.
1
Let l = 2 + 6. Let o(j) = j**3 - 4*j**2 - 9*j + 2. Let h be o(6). Solve l = 3*z + h for z.
-4
Suppose 5*o - 5 = -2*u - 0*o, -16 = -3*u + o. Let n be ((-24)/30)/((-4)/50). Let r = -9 + n. Solve u - r = 4*j for j.
1
Let z = 22 - 20. Let b(n) be the first derivative of n**3/3 - 3*n**2/2 - 4*n + 1. Let k be b(4). Solve z*t - 2 - 2 = k for t.
2
Suppose 2*m - m = -3*v + 5, -1 = 5*v + 4*m. Suppose c - 2 = v*c. Let f be 2/1 - 1 - c. Solve -2*y + 4*y + f = 0 for y.
-1
Let b(q) = q**2 - q. Let u be b(2). Let l be (-6)/(-9)*(-9)/(-6). Let c = u + l. Solve 0 = -2*i + c*i for i.
0
Suppose 3*r - 5*p = 29, 5*r - 2*p - 41 = -p. Suppose -6*o = -2*o - r. Solve 0 = -3*x + o*x - 3 for x.
-3
Let j be (-2)/2 + 3*2. Let f(l) = l**2 - 21*l + 74. Let h be f(17). Solve -2*q - h = -j*q for q.
2
Let i be 3/2*2 + 1. Suppose 0 = i*l - 2*l - 4*b - 38, -5*l + 86 = -b. Solve 0 = 3*w + l - 8 for w.
-3
Suppose s - 73 = -5*b, -3*b + 8*s = 3*s - 27. Suppose -5*l - 4*x = 1, 3*l = l + 2*x + b. Solve 10 = l*d - 2 for d.
4
Let c = -6 + 6. Suppose -k = -c*k - l, -2*k = 3*l - 15. Let h be 1/((-2)/(-90)*k). Solve -5*y + h = -0 for y.
3
Let t = -2 - -4. Let z = -13 - -18. Suppose 0 = 2*n - z*n. Solve -4*v - t - 6 = n for v.
-2
Let z = 1 - -1. Let f be (1 + 21/(-6))*(-6)/5. Suppose 0 = -4*b - 4*w + 16, 2*w = z*b - f*w + 20. Solve 0 = -2*n + 4 - b for n.
2
Suppose -9*y = -14*y + 10. Solve y - 4 = -v for v.
2
Suppose -3*d - 35 = -8*d. Let a(l) = -5*l**2 - 21*l + 7. Let n(m) = 2*m**2 + 7*m - 2. Let y(h) = 3*a(h) + 8*n(h). Let c be y(d). Solve 0 = 3*r + 7 + c for r.
-4
Suppose -5*j = -4*c, 0*c = -3*c. Solve j = -5*u - 14 - 6 for u.
-4
Let p(k) be the third derivative of k**5/60 + k**4/6 - k**2. Let d be p(-4). Suppose -5*t = l - 15, l - 2*l = d. Solve -y = t*y for y.
0
Suppose 1 + 14 = 3*c. Let q(i) = -6*i - 3. Let z be q(-4). Solve -c*b - z = 4 for b.
-5
Let k = -29 + 41. Let t be (-4)/(-1 + 2/(-2)). Solve t*d = -2*d - k for d.
-3
Let p = 0 - 2. Let q be (3/(-3) - p)*1. Let y = -1 + q. Solve l + y*l = 0 for l.
0
Let t be (-6)/21 + 88/14. Let x be (2 - 0)/(4/t). Suppose -4*z = -3 - 9. Solve -z*h + 2*h = x for h.
-3
Let d = 30 - 28. Solve -8 = 3*y - d for y.
-2
Let w(i) = i**3 + 4*i**2 + 6. Let h be w(-4). Solve -q = -h*q for q.
0
Let q = -20 + 23. Suppose 2*i + 3*f + 24 = 7*i, 3*f - q = -4*i. Solve -i*g = -g - 4 for g.
2
Suppose 55 + 85 = 4*l. Suppose -5*k = -3*k + h - l, k - 19 = h. Suppose k = 2*c - 0. Solve 5*j + 6 = -c for j.
-3
Let z(s) = s**3 + 4*s**2 - 13*s - 2. Let h be z(-6). Solve -h*l = -l + 3 for l.
-1
Let j = 19 + -16. Suppose 0 = 3*q + 2*y - 6 - 4, 5*q + 15 = j*y. Solve -o - o - 6 = q for o.
-3
Let j be 8*(2 - 6/4). Suppose -16 + 8 = -j*g. Solve -l - g*l = 6 for l.
-2
Suppose s - 32 = -20. Suppose 5*b - 4*j - 43 = -s, 11 = 5*b + j. Solve -3*p = -b - 0 for p.
1
Suppose -4*q = -4*v + 3*v, 5*q + 4*v = -21. Let a = 6 + q. Solve -f - 1 + a = 0 for f.
4
Let b(n) = n**2 - 3*n + 2. Let w be b(3). Solve 4 = 6*z - w*z for z.
1
Suppose -4*k = -n - 0*n - 3, 2 = n + k. Let s(z) = -z - 6. Let a be s(-4). Let y be a*(2*-1)/2. Solve -y = -b - n for b.
1
Let w(a) = -a + 12. Let o be w(0). Let h be (o/(-8) - -1)*-6. Solve 0 = -4*r + h*r - 4 for r.
-4
Let v(i) = -i**3 - 7*i**2 + 9. Let q be v(-7). Solve 4*r - q = -21 for r.
-3
Let c be (2/4)/((-4)/(-32)). Suppose -x = -5*i - 14, -4*i + 4 + 4 = c*x. Solve x = 2*h - 4 for h.
4
Suppose 0*h + 2*h = 4. Let u be h*(1 - 2/(-4)). Solve 0 = -0*b - u*b for b.
0
Let o = -32 + 32. Solve 2*k + 3*k - 10 = o for k.
2
Suppose -5 = -2*u + 1. Suppose 6 = 3*h - u. Solve -o + 16 = h*o for o.
4
Let l be 2 - (1 + 3/3). Let h = -17 + 19. Solve l*c = -h*c for c.
0
Suppose i + 12 = 4*i. Solve 0 = -5*v - i - 11 for v.
-3
Let o = 68 - 64. Solve 0 = -2*l - 2*l + o for l.
1
Suppose -16 = -2*j + 3*f, 0 = -2*j - 0*f + f + 8. Solve b = -b - j for b.
-1
Let o(d) = -d**3 - 7*d**2 - d + 2. Let k be o(-7). Solve -5*s + k = -2*s for s.
3
Suppose 2*j = 4*p + 38, 0*j = 3*j + 9. Let t be p/(-3) - (-3)/9. Suppose t*h - 72 = 4*a, -4*h + 5*a + 69 = 2*a. Solve -2*y - y - h = 0 for y.
-5
Suppose 0 = -2*z + 7*z + l - 8, 3*z - 16 = 5*l. Let d(f) = f**z + 4*f - 1 + 0*f - 3 - 3*f. Let a be d(-3). Solve -a*r - 5 = -1 for r.
-2
Let s be (-18)/(-4)*104/6. Suppose 3*p - s = -3*o, 4*p - 15 = p. Solve -5*c + o - 1 = 0 for c.
4
Let i = -84 - -88. Solve i = -2*y + 12 for y.
4
Let d(j) = -j + 5. Let w be d(8). Let c be ((-4)/6)/(1/w). Suppose 4*i = 4*o - 2*o + 26, 2*o = 3*i - 20. Solve i*x = c*x for x.
0
Let o(p) = p. Let x be o(2). Let d be (-1 + 2)*-2 + x. Solve d = -2*h + 3 + 5 for h.
4
Let c(p) be the second derivative of -p**5/20 - p**4/2 - 5*p**3/6 + p**2 - p. Let b be c(-5). Solve x = b + 2 for x.
4
Suppose -2*g - 3 - 26 = -3*a, 3*g = -3*a + 39. Suppose 0*f + 2*f - 4 = 0. Solve 1 = -f*c + a for c.
5
Suppose 2*h + 4 = -4, 5*w + 3*h = -62. Let s = w + 26. Solve -s = -6*m + 2*m for m.
4
Let m = -4 + -4. Let v be ((-36)/m - 2)*6. Solve 2*x = -3*x - v for x.
-3
Let n be (-18)/36 - (-2)/(8/18). Solve n*p - 7 = 1 for p.
2
Let l be (-4 + 3 - 3) + 20. Solve l = -4*i - 0*i for i.
-4
Suppose l = -5*v + 25, 60 = 5*l - 2*v - 38. Suppose 4*u - l = 4*i, -4*i + 0*i = 4*u - 4. Solve 0*g + g = u for g.
3
Let i = -33 - -36. Solve -i*f = -0*f - 12 for f.
4
Suppose 12 = z - 2*y, -8*z + 5*y + 60 = -3*z. Suppose 10 = 2*m - 5*b -