 -13*t for t.
3
Suppose -23 = 30*f - 113. Solve -10 = f*p - 13 for p.
1
Let m(s) = -4*s**2 - 41*s - 1. Let i be m(-10). Solve -i*j + 30 = j for j.
3
Suppose 0*s = 5*s. Suppose s = a - 5*l - 20, 0 = l - 0 + 3. Solve 3*y = 4*y + a for y.
-5
Let x(z) = z**3 + z**2 - 2*z. Let u be x(2). Suppose -3*k + u = k. Solve 9 = -k*r - 1 for r.
-5
Suppose 3*m = -1 + 16. Let b(l) = l**3 + 4*l**2 - 4*l + 7. Let o be b(-5). Suppose -m*c + 11 = -3*s, 3*c + o*s = -c + 22. Solve 0 = -w - c*w - 25 for w.
-5
Let j = 10 - 8. Let h(s) = -s**3 - s**2 + 3*s - 3. Let c be h(j). Let b be c/6 - (-9)/2. Solve b = -n + 1 for n.
-2
Let m = 1078 + -1045. Solve l - m = -32 for l.
1
Suppose 0 = -3*f + 7*f - 28. Let w = -68 + 64. Let j be -2 + 4 + (-3)/12*w. Solve j - f = a for a.
-4
Let d(v) = -12*v + 2. Let i be d(-1). Let o = 6 - 19. Let k = i + o. Solve k = m - 3 for m.
4
Suppose 0 = 6*x - 4*x. Suppose f + x = 2. Suppose 3*r + 1 = 5*n, -2*n = 2*r - 2 - 8. Solve r*h + 13 + f = 0 for h.
-5
Suppose 4*n + 2*x = -92, -3*n = -7*n - x - 94. Let m = -22 - n. Let b be 5/(5/(-2)) + 2. Solve -m*k + k + 2 = b for k.
2
Let v be -5 + 14*1*224/196. Solve -v = -3*k - 2 for k.
3
Let q(y) = y**2 - 14*y - 5. Let u be q(14). Let r be (3/u)/((-3)/15). Solve -r*x = -x for x.
0
Let f be (4/(-6))/(4*(-5)/150). Let c(l) = l**3 - 3*l**2. Let h be c(3). Solve f*d - d + 20 = h for d.
-5
Let l(w) = -w**2 - 10*w - 6. Let r be l(-5). Let z = -5 + -11. Let h = r + z. Solve -m - 16 = h*m for m.
-4
Let v(t) = -9*t**3 + t**2 + 3*t + 1. Let w(l) = 2*l**2 - 13*l + 5. Let c be w(6). Let n be v(c). Solve n*j - 3*j + 5 = 0 for j.
-1
Suppose 0 = -2*i + 2 - 0. Let a = i + 4. Solve -5*m + 20 = -a for m.
5
Suppose 3*v - 18 = -a + 96, -4*v = -5*a - 171. Solve -20 = -v*l + 43*l for l.
-5
Suppose 67*v - 12 = 61*v. Solve -v = -3*k - 5 for k.
-1
Suppose -7 + 52 = 15*k. Let l = 62 + -57. Solve -l*d = -k*d - 4 for d.
2
Let x(v) = v**2 + 10*v + 18. Let c be 6/(-2 - 20/(-16)). Let s be x(c). Solve t = s - 4 for t.
-2
Let p = -32 - -36. Solve -p*h + 12 = -h for h.
4
Let m be 1 + -4 + -172*15/(-12). Solve -206*n = -m*n + 24 for n.
4
Let x = -1590 + 1602. Solve 0 = x*j - 12 for j.
1
Let a(k) = -4*k - 184. Let z be a(-48). Solve -6*y + z + 10 = 0 for y.
3
Let m be 6/8*4 - 1. Let q be (-1*(m - 1))/(5/(-15)). Solve 0 = -2*g + q + 1 for g.
2
Suppose -5*i - 5*c = -10, -9*i + 6 = -11*i + 3*c. Solve -2*s + 8 = -i*s for s.
4
Let k be 3 + (0 - 0)/(-2). Let m be (-1)/((-9)/(-10) - 1). Suppose 2*l + 4*u - 6 = 6, -18 = -4*l - 5*u. Solve l*o = -k*o + m for o.
2
Let y be (4/(-18))/(((-260)/117)/20). Solve 11 = -y*g + 5 for g.
-3
Let o(v) = -14*v + 239. Let p be o(17). Suppose 0 = -2*t - 3*r + 20, -3*t + 4 + 11 = -3*r. Solve -p - t = 4*j for j.
-2
Let q(u) = 2*u**2 + 7*u - 6. Let s be q(-5). Suppose -3*j - 15 = 0, 3*h + 4*j = 6*h - 32. Solve -m - s = -h*m for m.
3
Let v = 43 - 52. Let u be 3/(-9) - 30/v. Solve -u*x + 10 = 1 for x.
3
Let l(f) = 11*f**3 + f**2 + 2*f + 2. Let q be l(-1). Let r = -5 - q. Let o be r/(15/(-6)) - -2. Solve o*j = j for j.
0
Let k be 37/(3/(3 + 0)). Solve 39*m - k*m + 4 = 0 for m.
-2
Let v be 3/(1/(-6)*-9). Suppose 2*k = 5*a - 16, 2*k - v + 8 = 0. Solve 1 - 3 = -a*p for p.
1
Let n = -553 + 557. Solve -13*b + 17*b = n for b.
1
Suppose 112 = -18*x + 184. Solve -x*l + 54 - 38 = 0 for l.
4
Let o(s) = -s**3 - 3*s**2 + 3*s - 5. Let g be o(-4). Let t be 2/(g/(-6) + (-2)/(-6)). Solve 0 = -4*p - t + 16 for p.
3
Suppose 5*q - 9*q = -12. Suppose 0 = j + q*j + 8. Let p be 5 + j + (-27)/9. Solve p = -d - 2 for d.
-2
Let q(n) = -n**3 - 3*n**2 - 2*n. Let p be q(-2). Let b(y) = -y**2 - 11*y - 7. Let h be b(-7). Suppose -4*s - 3*s + h = 0. Solve -s*c + 5 + 4 = p for c.
3
Suppose 5*w - 7*w + 29 = 5*s, 3*w - 31 = 5*s. Let h be 1/(((-6)/2)/(-9)). Solve h*y + 0*y = w for y.
4
Let l = 19 - 10. Suppose -5*k + 4 = -3*k, -3*k = g - l. Solve 0 = -4*s + s - g for s.
-1
Let i(f) = -8*f**2. Let o be i(1). Let u = o + 6. Let b be u + 5/(-1 + 2). Solve -b*y - 2 = -y for y.
-1
Suppose -6*k + 1183 - 73 = 0. Solve -2*i + 187 = k for i.
1
Let v = -26 + 46. Let b(q) = 2*q**2 - 6*q. Let a be b(4). Let k = v - a. Solve -k = 5*g + 3 for g.
-3
Let a = 60 - 100. Let c = a - -45. Solve c*h - 2 - 8 = 0 for h.
2
Suppose 9 = -29*h + 30*h. Suppose -t + 5*f + h = 27, 3*t - 2*f + 2 = 0. Solve 7*u = t*u - 20 for u.
-4
Let n = -39 + 9. Let d be (-12)/n + (-28)/(-5). Solve 0 = -2*p + d*p + 20 for p.
-5
Let d = -234 - -273. Solve -d = 15*i + 36 for i.
-5
Suppose -3*p + 3 = 0, -5*p = -34*c + 33*c - 1. Solve v - 6 = c*v for v.
-2
Let v(o) = -o**3 - 3*o**2 + 24*o + 82. Let j be v(-3). Solve j*q - 23 = 7 for q.
3
Suppose -289 = -13*d + 179. Suppose -5*j = -z - 25, 4*j - 10*z - d = -6*z. Solve -10 = 2*c - j for c.
-3
Suppose 147*a = 49*a. Let h = 1 - -11. Solve a = 2*w + w - h for w.
4
Suppose -2*w = -4*w + 4*k + 78, 5*w - 4*k = 201. Solve -w*g + 42*g = 5 for g.
5
Let y be (7 + -4)/(-3) - (-1 + -2). Let z be (5 - 4)*(3 - 1). Suppose -y*w + 3 = -n, -2*n - w = z*n - 24. Solve -n*d = -d - 20 for d.
5
Let t be ((-3)/(-7))/(12/(-14) - -1). Solve -t*z = -1 - 2 for z.
1
Let h(n) = -n**3 + 8*n**2 - 6*n - 3. Let p be h(7). Solve w - 1 = p for w.
5
Suppose -3*j + 4*i + 6 = 0, -21*j = -17*j - 4*i - 8. Solve -j*s = 2 + 6 for s.
-4
Let l = 117 + -67. Let a(w) = -w**3 - 5*w**2 - 4*w - 2. Let u be a(-4). Let f be (60/l)/(u/(-5)). Solve 3 - 9 = -f*v for v.
2
Let k = 11 - 0. Suppose -3*c = -4*g + k, c + 14 = 4*g - c. Let z = 13 - g. Solve 2*y = -0*y + z for y.
4
Let f be (-42)/(-15)*20/8. Suppose -f*v + 71 = -55. Solve -2*d + v = 10 for d.
4
Let q be 36/(29/(-3) + 11). Solve 0 = -q*f + 28*f for f.
0
Suppose 4*t + 3*l + 14 = 5*t, 5*l = -t - 18. Suppose 4*m - 3*o = -0*m - 3, -t*m = o - 1. Solve m = 2*s + 2 for s.
-1
Let g(j) be the second derivative of j**4/6 + j**3/3 - j**2 - 8*j. Let y be g(-2). Solve -2*l + 20 = y*l for l.
5
Suppose 3*w - 7*w = -3*i - 15, -11 = -4*w - i. Suppose -3*f + 2*f + 46 = 4*y, -3*y + 5*f = -46. Solve -w*s - s - y = 0 for s.
-3
Let f be 1581/(-45) - (-2)/15. Let g = f + 49. Solve -5*v - 39 + g = 0 for v.
-5
Suppose z = -4*f + 14, -4*f = 3*z - z - 32. Let w = -8 + z. Solve 9*b - 4*b + w = 0 for b.
-2
Let k = 18 - 16. Let v be (-5)/((-5)/k) + 4. Suppose r - v = -r. Solve 6*f = 3*f + r for f.
1
Let n be (11 - 7)/((-40)/(-50)). Solve -n*s + 6 - 26 = 0 for s.
-4
Suppose 4*b = -3*s + 45 - 16, s - 31 = -4*b. Solve b = 6*o + 32 for o.
-4
Let n(g) be the third derivative of g**6/120 + g**5/60 - g**4/8 - g**3/3 + 2*g**2. Let m be n(-2). Solve 2*h = -m - 6 for h.
-3
Let j(y) = y**3 + y**2 + y + 16. Let v be j(-3). Let i = v + 9. Solve x - i*x - 3 = 0 for x.
-1
Suppose 3*l - 6*l = 6*l. Solve -9*g + 2*g - 35 = l for g.
-5
Let a be (40/(-110))/((-4)/22). Solve 0 = -a*c + 3 - 7 for c.
-2
Suppose -99*a + 98*a = -21. Solve 5*c + a = -2*c for c.
-3
Let u be -1*1 - (-23 + 18). Suppose u*o - 3*v + 9 = 37, -5*o + 2*v + 28 = 0. Suppose o = p + p. Solve 12 = -p*h - 2*h for h.
-3
Let q(z) = -z**3 + z**2 + 2*z + 1. Let y = 31 - 26. Suppose -y*n - 24 = -2*m, 2*m - 2*n + 4 = 16. Let s be q(m). Solve -2*c = 3 - s for c.
-1
Let y = -53 - -84. Let h = y - 26. Solve 0 = -4*d + h*d for d.
0
Suppose -7*p - 21 = -21. Solve p = r - 4*r for r.
0
Let z be -2*(1 - 3)*(-27)/(-12). Solve l = -2*l + z for l.
3
Let a = 11 - 5. Let h be 208/(-12) + (-4)/a. Let v = h + 26. Solve -5*g - 23 = -v for g.
-3
Let r = 10 + -7. Suppose -r*c - 2 = -4*l - 8, -6 = -3*c + 2*l. Suppose 0 = 6*p - c*p - 8. Solve x + p*x = -3 for x.
-1
Let t(y) = 3*y - 3. Let p(r) = 3*r**2 - 3*r - 1. Let k be p(-1). Suppose -k*i + 9*i = 8. Let w be t(i). Solve -w*q + 5*q + 4 = 0 for q.
-2
Suppose -2*q = -5*q + 66. Suppose -4*f + q = 2*y, 4*y - 3 = -3*f + 26. Solve 0 = -l + f + 1 for l.
4
Let m = 10 + -7. Suppose 0 = -0*l + m*l. Suppose 3*f - 9 - 9 = l. Solve -3*d + f + 0 = 0 for d.
2
Let r = -135 - -230. Let x be (-38)/r - (-34)/10. Solve u - 10 = x*u for u.
-5
Let d(x) = -x**3 - 6*x**2 + x + 7. Let m be d(-6). Let t be -1 + m*(3 + -13). Let a(j) = -j + 4. Let s be a(t). Solve 0 = -7*w + 2*w - s for w.
-3
Suppose -10*t + 11*t = 3*l, -l - 10 = -t. Solve -27 = 6*p - t for p.
-2
Let y(a) = a**3 + 6*a**2 - 7*a + 7. Let l(r) = r**3 + 3*r**2 + r - 4. Let n be l(-3). Let m be y(n). Solve -m*v = -3*v - 20 for v.
5
Let t(x) = 3*x**2 + 2*x + 13. Let