ve 2*m - c = 3*m for m.
-2
Suppose -9*n = 1571 - 1607. Solve 0 = 5*w - 29 + n for w.
5
Let j be (40/(-90))/((-3)/27). Let w(n) = 2*n - 3. Let v(u) = -u - 2. Let o be v(-5). Let y be w(o). Solve j*p - y*p = -5 for p.
-5
Suppose 5*l - s + 37 = 0, 4*l + 30 = -3*s - 11. Let i be (4/(-8))/(2/l). Solve 0 = -g + i*g for g.
0
Let q be ((-4)/(-10))/(5/(-550)). Let p = 44 + q. Solve p = -5*w - 0*w for w.
0
Let g(x) = -x - 4. Let z be g(3). Let o(n) = n**3 + 6*n**2 - 7*n - 5. Let w be o(z). Let l be 12/(4/(-10)*w). Solve 4*r = l*r + 8 for r.
-4
Let x(c) = c**2 + 4*c + 3. Let d be x(-5). Suppose 5*m + 2*s - d = 47, 3*m - 29 = -2*s. Solve 5*i - m = 2 for i.
3
Let s = 513 - 483. Solve -s = -2*z - 4*z for z.
5
Suppose -10*p + 96 = -2*p. Let n be (p + -11)*(0 - -3). Solve -5 = -8*x + n*x for x.
1
Suppose 3*f + 10*c = 5*c + 148, -2*c - 72 = -2*f. Solve f*z - 48*z = 0 for z.
0
Let z = -1 - -4. Let j(g) = 14*g + 4. Let y be j(1). Suppose -3*p = -y + z. Solve -u = -p*u for u.
0
Suppose -20 + 7 = -4*r - 5*a, 4*r = -a + 9. Let c be (r - -3)*(-3)/5. Let l be c + 9 + 6/(-2). Solve -x + 2 = -l*x for x.
-1
Let n = 270 + -252. Solve -3*o + n = 3*o for o.
3
Let t(h) = -15*h + 197. Let g be t(13). Solve -g*b = b for b.
0
Let y(t) = -t**2 - 6*t + 2. Let l be y(13). Let b be l/13 + (-2)/13. Let h = b - -31. Solve 0 = 3*v + v + h for v.
-3
Suppose -5*s = -3*x + 5*x - 20, 4*s = 4*x + 44. Let p be ((-8)/12)/(s/(-81)). Suppose -4*c + p = 1. Solve -g = g + c for g.
-1
Let x(n) = -n**2 + 12*n - 15. Let l be x(10). Let z be 3/(0 + -1) + l. Solve 4*j = -6 - z for j.
-2
Suppose 0*t - 2*t = -26. Solve 0 = 4*b - t + 29 for b.
-4
Let j(g) = 0 + 3 - 4 - g + 7. Let m be j(8). Let x be (1/m)/(9/(-270)). Solve -q + x = -4*q for q.
-5
Let d be 2 + (-1 - (-3)/3). Let v(f) = f**3 + 11*f**2 + 17*f - 9. Let q be v(-9). Solve -i + d + 2 = q for i.
4
Suppose -2*y + 7*y - 30 = 0. Suppose 100 = -m + y*m. Solve t = 5*t - m for t.
5
Let m(g) = -5*g**3 + 1 + 3*g**2 + 3*g**3 + g**3. Let w be 1/((-1)/((-12)/4)). Let x be m(w). Solve -j - 1 - x = 0 for j.
-2
Let w be -33 + (3 - (2 + -2)). Let v = -30 - w. Solve i + 3*i = v for i.
0
Let n = -2146 - -2151. Solve -n*b - 44 = -54 for b.
2
Let v = -12 - -10. Let k be (-3)/9*(-17 - v). Solve 4*b - 3*b = -k for b.
-5
Let w(p) = 2*p**2 + 3*p - 3. Let b(x) = -x**2 + x. Let y(h) = -3*b(h) - w(h). Let u be y(6). Let i be u/(12/(-32)*-4). Solve 4 = i*q + 2*q for q.
1
Let o be 25*-4*14/(-28). Suppose -2*p - o = 3*p. Let i = p - -12. Solve -i = m - 4 for m.
2
Suppose 12*z - 235 = -31. Solve 1 - 52 = z*j for j.
-3
Let h = -708 + 710. Solve 20 = h*p - 12*p for p.
-2
Suppose 0 = -52*h + 73*h. Let s = 5 + -8. Let v = s - -7. Solve h*k = v*k for k.
0
Suppose 6 = 11*t - 9*t. Let g be (-2*2)/(t/((-9)/6)). Solve -g + 0 = -r for r.
2
Let x be (-76)/(-190)*30/4. Solve -16*w - x = -3 for w.
0
Suppose -2*b + 192 = 21*w - 18*w, 5*w = 2*b - 192. Solve -10*f = 14*f - b for f.
4
Let b(u) = -u**2 + 9*u + 22. Let j be b(11). Suppose 6*o - 59 + 41 = j. Solve o*a - 9 = -18 for a.
-3
Suppose b - 23 = -3*b - 3*f, 5*f - 25 = 0. Suppose -b = -3*t + 4. Suppose -2*v + t = -10. Solve -2*y = -v*y for y.
0
Let y be (12/8)/(-1)*-2. Suppose 3*i - i + y*i = 0. Let b(f) = -f**2 - 6*f - 2. Let a be b(-3). Solve 5*p - a - 8 = i for p.
3
Suppose 2*a + 4*s + 3 = -s, 0 = 2*a - 3*s - 21. Suppose -4*u = -w - a, 4*w = -2*u - 3*u + 18. Solve 5 + 5 = -u*m for m.
-5
Suppose -3*l + 2*y + 3 = -y, -4*l = 4*y - 20. Suppose -l*a + 2*a + 1 = 0. Let u(p) = 4*p**3 + p. Let s be u(a). Solve 6 + 4 = -s*v for v.
-2
Let h(x) = -x**2 - 4*x + 2. Suppose -3*z - 4*k = 7, 2*k = z - k - 2. Let b be z/(-2) + (-54)/12. Let r be h(b). Solve 2*y + r*y - 8 = 0 for y.
2
Let z = 94 - 91. Let m be (-10)/4*(-5 - -3). Solve z*t - 4*t = -m for t.
5
Let i(w) = -w**2 - 25*w - 106. Let b be i(-17). Solve -25*t + b*t - 15 = 0 for t.
3
Suppose 3*p = -p + 8. Let o be ((-14)/21)/(p/(-9)). Let l = 4 - 1. Solve 3 = l*r - o for r.
2
Let h(k) be the second derivative of k**5/20 - 13*k**4/12 + k**3/6 - 5*k**2/2 - 14*k. Let d be h(13). Solve -d + 2 = -3*p for p.
2
Let k be 3/18 + 34/12. Suppose 0 = 4*z + z - 2*i - 75, -75 = -5*z - 3*i. Solve z = 2*o + k*o for o.
3
Suppose 7*g - 3*g = 56. Suppose -g + 6 = -4*d. Solve -2*u = 2 + d for u.
-2
Suppose 8 = -0*o - 5*o + 4*f, -f + 2 = -3*o. Suppose 10*l + 2 - 42 = 0. Suppose -3*x + 5*b - 3*b = -14, 2*x = b + 10. Solve -l*y + x*y = o for y.
0
Suppose 5*o - 45 = 2*o. Let z be (0 + 1)*(o + -3). Solve 2*f = -f + z for f.
4
Let j = -23 + 3. Let v be 2/8 + (-55)/j. Solve t = 2*t - v for t.
3
Let u be 0*1/2 + 4. Suppose n = -n - 8. Let o = u + n. Solve o = -2*a - 5 + 3 for a.
-1
Let j be -4 + 4 + 8 + -1. Suppose -5 = -4*o + j. Suppose 3*p - 18 = -0*p. Solve o*s - 9 = p*s for s.
-3
Suppose m - 4*b = -19 + 110, 3*m + 4*b - 289 = 0. Suppose 5*o + 145 = -m. Let h be o/30*(-5)/2. Solve 4*i = h - 20 for i.
-4
Suppose 6*v - v - 100 = -2*p, -2*v + 2*p = -40. Suppose 0 = 19*g - v*g. Solve 2*u = -6 - g for u.
-3
Let m(n) = -n**3 + n**2 + 57*n - 1. Let v be m(8). Solve 2*b - 15 = v*b for b.
-3
Suppose m + m = -8*m. Solve -55 = -11*q - m*q for q.
5
Let u(i) = i**2 - 10*i - 7. Let a be u(11). Solve 3*f - 8 - a = 0 for f.
4
Let m be 16 - 2 - (-25)/((-100)/24). Solve 23 = -m*a + 7 for a.
-2
Let n(s) = 14*s**3 - 29*s**2 - 23*s - 35. Let v(r) = -5*r**3 + 10*r**2 + 8*r + 12. Let p(k) = 6*n(k) + 17*v(k). Let y be p(-4). Solve a = -3 - y for a.
-5
Let k(i) = -4*i - 8. Let f be k(-4). Suppose -5*l + 0*l - o = 18, 3*l + 2*o + f = 0. Let p(h) = h + 8. Let n be p(l). Solve n*c = c for c.
0
Suppose p - 5*h = 14, 2*h - 2 = 2*p - 6. Let o be 1*p*728/8. Let i be ((-4)/14)/(26/o). Solve -2*r - 3 = i for r.
-2
Let a be 6/(96/56)*6. Solve 9*n - a*n - 12 = 0 for n.
-1
Let s = 252 - 249. Solve n - s = 4*n for n.
-1
Let f be 80/(-72)*(-1)/(4/18). Solve 0 = -f*z - z + 30 for z.
5
Suppose 680 = 53*i + 97. Solve i*b + 2 = 13 for b.
1
Let u be 38/(-4)*(-2 + -3 - 1). Suppose k = -57 + u. Solve 0 = -k*j - 3*j for j.
0
Suppose 5*i + 6 = 2*m, -i = 3*i. Suppose 0 = m*w - 4 - 2. Solve -w = -u + 2 for u.
4
Let l be (-8)/(-10)*(-5)/(-2). Suppose 9 = l*g + 55. Let r = -18 - g. Solve r*u + 15 + 5 = 0 for u.
-4
Suppose -y - y = -4*r, 0 = -4*r + 20. Suppose -y*n - 3*n = 0. Solve n = t - 6*t + 5 for t.
1
Let x be ((-4)/(-5))/(44/14190). Solve -3*z - x + 264 = 0 for z.
2
Suppose -6*j - 17 = 1. Let y be -1 + (-15)/j - -2. Solve y*g - 2*g + 16 = 0 for g.
-4
Let t(g) be the first derivative of g**4/4 + 2*g**3 + g**2 - 7*g - 22. Let u be t(-5). Solve 5*q - u = q for q.
2
Suppose 30 = 4*l + l. Let c be l/(-4)*-2*1. Suppose c*y = 6*y - 6. Solve 0 = -3*f + y*f + 3 for f.
3
Let r(z) = -z**3 + 15*z**2 + 17*z - 17. Let v be r(16). Let w be (-1)/2 - ((-31)/2 - v). Solve 0 = -2*s - w + 4 for s.
-5
Let a(u) = 18*u - 10. Let d(z) = -z**2 - z - 1. Let l(p) = a(p) + 2*d(p). Let v be l(7). Let g be 2 + -4 + 4 - 0. Solve -v*x + 0 = g for x.
-1
Let m = 149 + -148. Solve m = 2*z - 1 for z.
1
Let s(x) = x**3 + x**2 - x - 1. Let k(y) = 3*y**3 + 3*y**2 - 4*y - 2. Let r(g) = -k(g) + 2*s(g). Let m = -1 + -1. Let n be r(m). Solve n - 1 = -z for z.
1
Let t = -364 - -379. Solve 5*d - t = 8*d for d.
-5
Let v(d) = -d**2 + 11*d - 5. Let i be v(10). Suppose i*w + 0 = 10. Suppose 8 = -3*u - w*j, -5*u + j + 6 = 2. Solve -6*n + n = u for n.
0
Let x(h) = -2*h + 4. Let o be x(0). Suppose -2*s - o = f, 0 = f - 5*f - 5*s - 10. Solve f*i = -i for i.
0
Suppose -2*b + 168 = 4*o, -2*b + 156 = 4*o - 3*b. Suppose -6*u = -11*u - o. Let m be (u/2 - 0)/(-2). Solve -4 = m*n + 6 for n.
-5
Let j(d) = -d**2 - 12*d + 16. Let z be j(-13). Suppose -2 + 4 = -2*s. Let t be z - 2/(-1 + s). Solve -1 + t = -3*p for p.
-1
Suppose -22*m + 5*m = -204. Solve 0*j = -3*j + m for j.
4
Let a(f) = 2*f + 56. Let x be a(-22). Suppose -4*d = -x*d + 4*d. Solve 2*l + l + 9 = d for l.
-3
Suppose 9*d - 14*d + 21 = -4*o, -5 = -2*d + 5*o. Solve d*u + 3 = -12 for u.
-3
Let d = 4 + -4. Suppose -3*j + 6 = o - d*j, 9 = 4*o - 3*j. Suppose 0*v = -v + o*t + 15, -2*t - 11 = -v. Solve v*z + 2 = 11 for z.
3
Let z be (12/10)/((-60)/(-800)). Solve -12*a = -8*a - z for a.
4
Suppose 22 - 42 = -5*l. Let d be ((-1)/l)/(2/(-8)). Solve 3*c = 4*c + d for c.
-1
Let f be -3*28/21 - -7. Solve -f*a + 2*a - 5 = 0 for a.
-5
Let t(z) = 1 - 7 + 0 + z**2 + 7*z + 0. L