-c*l + 7*l for l.
-1
Let x be 30/7 + 2/(-7). Suppose -620*n + 12 = -623*n, p + 3*n + 9 = 0. Solve p*f = x + 2 for f.
2
Let l be (-80)/(-24)*(-12)/(-8). Solve -u = -l*u + 16 for u.
4
Let m be -10*(-1 + (-5)/2). Suppose 0 = 2*k - 11 + 1, 5*p + 3*k - m = 0. Solve 8 = -4*a - p for a.
-3
Let l(m) be the third derivative of m**6/120 + m**5/4 - 6*m**2. Let j be l(-15). Solve j*r - 2 = -2*r for r.
1
Let h be ((-2)/(-5))/(1/5). Suppose -5*p = 2*f + 11, -3*p - 10 - 3 = -2*f. Suppose -f*k + 10*k = 0. Solve k = -v + h for v.
2
Suppose 80 = -5*m + 10*m. Let a = m - 16. Suppose a = -11*b + 10*b. Solve -4*y + 0*y - 4 = b for y.
-1
Let m = 222 - 12. Suppose 4*o + o = m. Let c be 174/o - (-1)/(-7). Solve -t - 9 = -c*t for t.
3
Suppose 17 = 5*i - 8, k - i + 2 = 0. Solve 0 = -249*h + 252*h - k for h.
1
Suppose i = -k + 5, -2*k + 2 = 6*i - 2*i. Solve x = -2*x - k for x.
-3
Let i = -1158 + 1179. Solve 19*y - 12*y = i for y.
3
Let x(h) = -3*h**3 + 9*h**2 + 2*h - 5. Let w(d) = d**3 - 4*d**2 - d + 2. Let m(z) = 5*w(z) + 2*x(z). Let q be m(-2). Solve 0 = q*a - 3 - 1 for a.
2
Let x be (-3)/(-3) - 13/((-91)/35). Solve -x*s = -8*s + 10 for s.
5
Suppose -4*g - 5*d + 0 = 4, 5*g = 2*d + 28. Suppose -23 = -g*t + 5*k - 10, 5*k - 1 = -3*t. Let p(q) = -q - 6. Let m be p(-6). Solve t*x + 7 + 1 = m for x.
-4
Let u(m) = m**2 + 6*m - 10. Let k be u(-8). Let b be k/(-15) - 94/(-10). Let q be b + (-3 - 0) - 4. Solve 3*l + q = l for l.
-1
Let z be 3/2*(-36)/(-27). Suppose -z*g + 3*s = 5*s - 2, -5*g = -5*s - 15. Let j be (-5 + 9)*1/g. Solve 3*m = j*m + 3 for m.
3
Let j be ((-3)/(3/(-1)))/((-2)/(-50)). Let l be -10 + 11 - (-3)/1. Solve 9*b = l*b - j for b.
-5
Let y be (-10)/(-20)*-4*(0 + -1). Let a be 0/(-4*y/4). Solve a*c = 3*c + 3 for c.
-1
Suppose -17 + 6 = -2*g + c, 0 = g - 3*c - 18. Solve -6*d = -6*d + g*d for d.
0
Let k = 1 + 7. Suppose 3*d + k = d. Let m be 1 - (2 - -2)/d. Solve i - m*i = -3 for i.
3
Suppose 0 = 8*w - 89 + 73. Solve 0 = 3*i + w*i for i.
0
Let k(i) = 10*i**2 + 107*i + 16. Let m be k(-11). Solve m*o = 52*o for o.
0
Let n = -60 - -58. Let w = n - -14. Suppose 0 = -5*g + 20, 3*s - 4*g + 16 = 6*s. Solve 2*d + d + w = s for d.
-4
Let p be (-777)/27 + (-2)/9. Let y = p - -31. Solve 0 = y*z - 1 + 9 for z.
-4
Let u = 18 + -12. Solve l - u*l + 25 = 0 for l.
5
Suppose 0 = -3*g - 5*x + 46, -3*x + 29 = 2*g - 0*g. Suppose 4 = i - r, -g*i + 4*i + 4*r = -16. Solve 5*u = -i*u - 15 for u.
-3
Let q(b) = -2*b**2 - 52*b + 39. Let l be q(-25). Solve l*x - 92*x + 6 = 0 for x.
2
Suppose 5 = 4*t - 3. Suppose 4*x = -2*u + 16, -x = -t*u - 0 - 4. Let k be (u/(3/(-1)))/1. Solve k*c - 5 = -c for c.
5
Let k(b) = -b**2 + 1. Let q be k(1). Let s = -54 + 51. Let y = q - s. Solve y*t = -t + 16 for t.
4
Suppose -5*f - 11 = -16. Let w = -88 + 97. Solve w + f = -2*y for y.
-5
Let q = 41 - 34. Suppose 5*d + q - 17 = 0. Solve d*r + 9 = -r for r.
-3
Let y = -335 + 342. Solve -y*d = -d for d.
0
Let x be (-1)/((-24)/(-9) - 3). Suppose -2*d - 5*h = -6, -3 = -d - x*h + 6*h. Suppose -5*i + 8 = -2*t - 46, -3*t - 46 = -4*i. Solve 2*f + d*f + i = 0 for f.
-2
Suppose -35 = 5*m - 2*d + 3*d, -4*m = 2*d + 28. Let l be (-30)/m + 2/(-7). Suppose q - 1 = -3*u, 2*u = 4*q - 8*q + l. Solve u = -4*f - f + 5 for f.
1
Suppose -4*g + 2 + 38 = 0. Solve g = -2*r + 12 for r.
1
Suppose 3*t - r = -1, -26*r + 5 = -5*t - 21*r. Let u be (t - (-4)/(-6))*(-90)/12. Solve -7*v = -u*v for v.
0
Let s be 7 - 4/(4 - 2). Let a(m) = 11*m**3 + 2*m**2 - 2*m + 1. Let t be a(1). Suppose 0*p = -p. Solve p = y - s*y - t for y.
-3
Let z be (2 - (-3)/3)/1. Let b = z + -1. Solve 5 - b = 3*j for j.
1
Let s(k) = -23*k + 3. Let p be s(-8). Let v be 3706/p + (-2)/(-11). Suppose -5*f + v = -10. Solve t - f*t - 10 = 0 for t.
-2
Let m(x) = x**3 + 10*x**2 + x + 10. Let z be 3 + (2 - (0 - -3)). Suppose -4 = z*y + 16. Let q be m(y). Solve 4*v - 2*v = q for v.
0
Let b be ((-4)/4)/((-9)/4 - -2). Solve -6*k = -b*k + 8 for k.
-4
Let c be 9/(-2)*176/(-66). Solve c = -2*o - 2*o for o.
-3
Let o(y) = -y + 8. Let j be o(4). Suppose -l = -j*l + 15. Solve -l*b - 4 = 11 for b.
-3
Let o(i) be the second derivative of -i**5/60 + 5*i**4/24 + i**3/6 - 5*i. Let u(l) be the second derivative of o(l). Let f be u(-5). Solve k - f = -4*k for k.
3
Let d(o) = -o**2 - 4*o + 14. Let g be (-1 - (-4)/(-20))*5. Let p be d(g). Let n be (10/(-15))/((-1)/6). Solve -p*w + n = -0*w for w.
2
Let c = -84 + 86. Solve 13 = 5*i - c for i.
3
Let l(k) = 3*k**3 + k. Let j be l(1). Let x = -37 - -39. Suppose 12 = 3*f + f - x*z, -2*z = 0. Solve -j = -m - f for m.
1
Suppose -x - 3 = -5*k + 5, -5*k + 3*x = -4. Let g(f) = 3*f + 7. Let r(a) = -13*a - 28. Let p(i) = k*r(i) + 9*g(i). Let w be p(-5). Solve w*j - 6 = 4 for j.
5
Suppose 16*x - 63 = -31. Let q be (-51)/(-9) - 1/(-3). Solve x*g + q = -g for g.
-2
Let g = -413 + 413. Solve g = -6*j + 7*j - 1 for j.
1
Let k be (-3 + (-1)/(-3) + -1)*9. Let r = k + 41. Solve -5*w - r = -w for w.
-2
Let z be (14/(-8))/((-3)/(-12)). Let k = -95 + 104. Let p = k + z. Solve -p*v + 8 = -2 for v.
5
Let q = 37 - 0. Suppose 4*w - 129 = -q. Solve 4*n + 7 - w = 0 for n.
4
Let a = 73 - 73. Solve b + 2 + 2 = a for b.
-4
Let a(i) = 36*i - 209. Let s be a(7). Solve 40*r = s*r - 3 for r.
1
Let d = 1169 + -1167. Let o = -9 - -9. Solve o = -3*m + d*m + 4 for m.
4
Suppose 3*k = w + 181, 0 = 4*k - k + 5*w - 175. Suppose 4*v - k = v. Solve 0*p + v = 5*p for p.
4
Let c(t) = -t**3 + 18*t**2 + 36*t + 88. Let a be c(20). Solve 0*m + 32 = a*m for m.
4
Suppose -4*x - 14 = -2*z, 3*z = -4 - 11. Let r(f) = -f**2 - 6*f. Let g be r(x). Solve 3*n + 14 - 2 = g for n.
-4
Let k = 243 - 243. Solve -5*w + 10 + k = 0 for w.
2
Let x be (-2)/(-2) - (-35)/5. Let y(t) = t**3 - 8*t**2 + 3*t - 12. Let v be y(x). Let m be ((-18)/v)/(6/(-16)). Solve m*h + 7 = 3 for h.
-1
Suppose -4*w + 5*t + 21 = 0, 6*t - 2*t = -w. Suppose -2*h + 20 = d + 4, -w*h = -d - 20. Solve 3*k - h*k - 15 = 0 for k.
-5
Let s = 12 + -15. Let u(x) = -x**3 - 3*x**2 - 4*x. Let a be u(s). Let i be (-4)/(-3) + a/(-9). Solve i = -3*k + k + 6 for k.
3
Let t = 134 - 118. Suppose 4*d = a + t, -5*a + 2*d + 12 = 2. Solve 0 = -a*s + 19 - 3 for s.
4
Let d(m) = -112*m + 233. Let v be d(2). Solve -47 = 14*g + v for g.
-4
Suppose -4*v = 32 - 40. Suppose -13*q - 2 = -16*q - t, -v*q = -4*t + 8. Solve 0 = -3*g - q*g - 15 for g.
-5
Suppose -9 = -3*g - 3*h, 0 = 4*g - 3*h - 0 - 5. Suppose -2*z = -2*d - 26, 0 = 3*z - z + 5*d + 9. Suppose -z = -7*q + 5*q. Solve -q = -2*t + g for t.
3
Let k(o) = -6*o. Let m(g) = g. Let n be ((-1)/1)/(2/(-4)). Let y(j) = n*k(j) + 11*m(j). Let l be y(-2). Solve 5*b - l*b = 3 for b.
1
Suppose 2*g + 2*t = -3*t - 20, -12 = 4*g + 3*t. Let l be g + 3 - 0/1. Suppose -l*x + 3*d + 45 = 0, 35 = 2*x - d - 2*d. Solve 4*y - x = 10 for y.
5
Let c(y) = 21*y**2 - 187*y - 7. Let b be c(9). Solve 9*j - b*j = -8 for j.
4
Let k = -1353 + 1373. Solve -66*q - k = -61*q for q.
-4
Let l(f) = f**2 + 8*f + 27. Let m be l(-5). Solve -z = -16 + m for z.
4
Let z = 4 - 0. Let d(u) = 0*u - 2 + 2*u - 3 - 3*u. Let o be d(-9). Solve 0 = 3*n - o*n - z for n.
-4
Let i be ((-2 - -4) + -1)*(-36)/(-12). Solve w - 16 = -i*w for w.
4
Let y be (2 - 0)*(4 - 3). Let t = -4 + 8. Let q be (y/(-2))/(-5 + t). Solve -3 = x - q for x.
-2
Suppose -160 = -0*r - 5*r. Let o(m) = 5*m**2 - 53*m + 150. Let j be o(6). Solve -5*v + r = j for v.
4
Let d(r) = 2*r**2 - 22*r - 65. Let v be d(14). Solve 32*a = v*a - 52 for a.
-4
Let l be -7 - (1 + -8 + -4). Let w = -20 - -45. Solve l*s = -s - w for s.
-5
Let r(h) = -8*h + 64. Let n be r(19). Let z = -86 - n. Solve -s = z*s for s.
0
Let t be (1 - 4)*(-1)/1. Suppose 5 = t*l - 2*l. Solve l*j + 8 + 17 = 0 for j.
-5
Suppose 23*n - 46 = 21*n. Solve 0 = 6*t + n - 5 for t.
-3
Let a be 4 - 7/(28/16). Let v = -38 - -44. Solve a = -2*f - f - v for f.
-2
Suppose 120 = -4*a - 0*a. Let o = 30 + a. Solve o = -j - 4*j for j.
0
Suppose -61*n = -74*n + 13. Solve 5*s - n = 4*s for s.
1
Let a be (22/(-99)*-27)/(2 + -1). Solve 0 = a*u - u - 5 for u.
1
Let x = 12 + -11. Let v be x/6*3*24. Let h be (12/30)/((-2)/(-10)). Solve v = p + h*p for p.
4
Suppose -4 = 12*u - 64. Solve -u*v = -3*v - 6 for v.
3
Let t be (-4)/(-5) - 20/(-100). Solve 0 + t = u for u.
1
Let h(r) be the third derivative of -r**4/24 - 5*r**3/2 + 3*r**2. Let y be h(-20). Solve 0 = 4*u - 5*u + y fo