2*k - 4*k = r for k.
-4
Suppose -6*y + 5*j = -2*y - 11, 4*y = -4*j + 20. Solve -t - 6 = -y for t.
-2
Let g(a) = 2*a + 9. Let i be g(-1). Solve w + i = 5 for w.
-2
Suppose 0 = -3*p + 3*v + 183, 4*p - 2*p - 119 = 5*v. Let f = -55 + p. Solve 0 = -5*w + 13 + f for w.
4
Suppose 5*x - a - 60 = 0, 4*x + x + a - 60 = 0. Let g(u) = 4*u - 6. Let p be g(4). Let k be p*(2/(-4) - -1). Solve x = k*d - 3 for d.
3
Suppose -9*k + 22 = -59. Solve 0 = 7*v - k*v - 8 for v.
-4
Let d(h) = -5*h - 8*h**2 + 0*h**2 + 25*h + 9*h**2 + 38. Let g be d(-18). Solve -10 = 2*z - g for z.
-4
Let d = -178 + 127. Let f = d - -51. Solve f = -3*j + 14 - 5 for j.
3
Let a(u) = -6*u + 164. Let v be a(12). Solve -36 = 14*x - v for x.
4
Let c be -6*1*(0 - 80/12). Suppose -j = -9*j + c. Solve 4*k = -j - 7 for k.
-3
Suppose c + 1 = -29. Let w be 30/225 + (-356)/c. Let b(t) = -t**3 + 3*t**2 - 2. Let v be b(2). Solve i - w = -v*i for i.
4
Let n(w) = 119 + w - 85 - 2*w. Let l be n(28). Solve -a = -l + 2 for a.
4
Let l(j) = -3*j**2 - 3*j + 3. Let o be l(-3). Let d = o + 17. Suppose 6*u - d*u = 24. Solve -u*q - 15 = -q for q.
-3
Suppose -l = 3*n - 16, -l - 8 + 32 = -5*n. Solve 2*v + l = 9 for v.
-5
Let a(v) = v**3 + 4*v**2 - 5*v - 15. Let h be a(-4). Solve -h*f + 16 + 4 = 0 for f.
4
Let s be (-2)/(-8) + (-195)/(-20). Let v be -4*-1*s/4. Solve -k - k = -v for k.
5
Let u = 352 + -333. Solve u*b - 10 = 21*b for b.
-5
Suppose -3*j = -3*c + c - 7, -3*c - 5*j = -37. Suppose -5*v + 11 = -b + c*b, 0 = v + 5*b + 11. Solve v = -2*f + 12 for f.
4
Let x(o) be the first derivative of -o**2/2 - 12*o + 3. Let s be x(-12). Suppose 5*c - 4*l - 33 = s, c - 3*l = 11 - 0. Solve -4*i - 3 = -c*i for i.
3
Let i be 4/30 - (-6)/(-45). Suppose 5*y - y = -i*y. Solve 4 = -y*x - x for x.
-4
Suppose 3*h = 5*x + 166, 5*h + 5*x = 4*h + 62. Solve 32 = h*o - 49*o for o.
4
Let b be (-1)/(6/(-6)) + -1 + 2. Solve -c - 6 = b*c for c.
-2
Suppose -5*k + 4*t + 81 = 0, 4*k + 2*t - 37 - 7 = 0. Solve 5*b - 24 = k*b for b.
-3
Let v(t) = -10 - 13*t**2 + t**3 + 6*t + 7*t + 0. Let i be v(12). Suppose -2*n + x = -0*n - 5, -2*n + 3*x + 15 = 0. Solve n*y = i*y for y.
0
Suppose -2*k = 2*n - 5*k - 110, 3*n = -5*k + 203. Suppose -b + n = 3*y, 2*y - 37 = 4*b - 1. Solve -6*c = -2*c + y for c.
-5
Let i(g) = 16*g + 148. Let y be i(-9). Solve -y*w - 20 = -0*w for w.
-5
Let x(v) = 4*v + 1. Let l = -9 + 1. Let i = 9 + l. Let g be x(i). Solve 2*f - g = 3*f for f.
-5
Suppose 84 - 48 = 6*j. Solve -11*o + j*o = 5 for o.
-1
Let a(i) = -i**3 + 9*i**2 + 11*i - 7. Suppose -9 = -3*o + 21. Let z be a(o). Solve 4 = -r - z*r for r.
-1
Suppose -2*n + 4*n - 10 = 0. Let u be -3 + 3 + -1 + 3. Suppose u*s = -2*q + 18, n*s - 5*q = -7 + 2. Solve 0*m = s*m - 16 for m.
4
Suppose 0*c - 5*c + 2*f = -100, 135 = 5*c + 5*f. Solve c - 12 = -5*h for h.
-2
Suppose -344 + 72 = -8*h. Suppose -h = -7*b - 34. Solve -4*a + 0 + 4 = b for a.
1
Let u(a) = -6*a + 26. Let i be u(4). Solve i*w = 4*w for w.
0
Suppose 0 = -5*h + 15 + 5. Suppose -h*z + 28 = -2*z. Let a be (-12)/42 + 4/z. Solve a = -s - s - 4 for s.
-2
Let j = 4 - 2. Suppose -t = -0*t - j. Solve t*u = u for u.
0
Let h(a) = -6 - 3*a + 0*a + 2*a. Let g be h(-6). Solve s + 0 - 2 = g for s.
2
Let h(d) = d**3 + 21*d**2 + 19*d + 4. Let q be h(-20). Solve -q*g + 34*g - 30 = 0 for g.
3
Let t be ((-45)/(-75))/(1/10). Solve -9*w = -t*w + 12 for w.
-4
Let t = 5 - 5. Suppose -20 = 2*l - 3*m, m - 8 = l - t*l. Let a be (-74)/(-10) + l/10. Solve -4*d + 9 = -a*d for d.
-3
Let f = 186 - 186. Solve 5*o - 2*o - 3 = f for o.
1
Let y(n) be the third derivative of -n**5/60 + n**4/12 + 4*n**3/3 - 8*n**2. Let w be y(4). Suppose 6*j - 2*j = w. Solve j*r = 2*r - 2 for r.
1
Let g(b) be the third derivative of 3*b**2 + 2/3*b**3 - 1/24*b**4 + 1/60*b**5 + 0 + 0*b. Let u be g(0). Solve -u = -3*q - q for q.
1
Let p(j) be the first derivative of -j**4/4 + 4*j**3/3 - j**2 - 2*j + 1. Let c be 8 + (-9 - (-9)/3). Let x be p(c). Solve -i - i - x = 0 for i.
-1
Suppose -5*m = 2*p - 18, p - 4*p + 5*m + 27 = 0. Let n = p + -9. Suppose n*h + 8 = 4*h. Solve -2*u + h = -0 for u.
1
Let m(x) = -x**3 - 5*x**2 + 17*x + 86. Let k be m(-5). Solve k = z + 2 for z.
-1
Suppose -4*n + 19 = 3*p, 0 = n + 4*p + p - 9. Let l be ((-20)/n)/(-5) - -8. Solve -5*f - l - 11 = 0 for f.
-4
Suppose g - u - 3 = -2*u, -g = -4*u - 8. Suppose -5*y + 5*v + 31 = g*v, 5*y = -5*v + 25. Suppose 0*q + y = 3*q. Solve 3*k - q*k = 0 for k.
0
Suppose -22*i - 112 = -24*i. Let g = i - 41. Solve g = 3*w - 6*w for w.
-5
Let z be 170/12 + (-10)/(-12). Let j be ((-4)/6)/(4/(-30)). Let o = 10 - j. Solve -2*k - z = -o*k for k.
5
Let r(g) be the first derivative of -2/3*g**3 + 3/2*g**2 - 1 + 0*g. Let b be r(1). Solve -3*y + 16 - b = 0 for y.
5
Suppose -202*h + 199*h + 6 = 0. Solve 2*a = -h + 10 for a.
4
Suppose 2*k - 22 = -4. Solve -k = -2*a - a for a.
3
Let l be ((-15)/6)/(2/(-24)). Suppose -2*k + 8 = 10*t - 6*t, 6 = 3*t - 5*k. Suppose -4*r + l = t*r. Solve r*n = -11 - 9 for n.
-4
Suppose -12 = -3*b + 2*q, -2*b + b + 3*q + 11 = 0. Solve -5*h = -b*h for h.
0
Let w be (-1 - 1)/((-4)/18). Let r be (-140)/(-15)*(-3)/(-2). Suppose 11*t = r*t - w. Solve -5*n = -t*n + 4 for n.
-2
Let k(l) = -7*l - 196. Let c be k(-38). Solve 3*v + c = 67 for v.
-1
Suppose -5*h + 20 = 4*q, 4*q + 12 = 2*h + h. Solve 3*c - 9*c - 18 = q for c.
-3
Suppose t + 4*t = -r - 24, -r - 3*t - 24 = 0. Let m = -18 - r. Let o be (-24)/(-16) - (-87)/m. Solve 0 = -0*h + 4*h - o for h.
4
Let l be 581/(-28)*(-16)/4. Let t = -77 + l. Solve -12 = -2*g - t for g.
3
Let k(u) = 4*u**2 + 11*u + 9. Let p be k(-1). Solve 3 - 9 = p*n for n.
-3
Let i(m) = 3*m**2 - 13*m - 37. Let y be i(-3). Solve -11*o = -7 + y for o.
-2
Let o(t) be the second derivative of -t**5/20 + t**4/6 - t**3/3 + t**2/2 + 5*t. Let f be o(1). Solve f = 6*h - 8*h for h.
0
Let r(h) = 13*h - 6. Let o be r(4). Let w = -43 + o. Solve -w*q = -3 - 12 for q.
5
Let b(v) = -v**3 + 9*v**2 + 2*v - 10. Let y be b(9). Let o(h) = 5*h + 12. Let i be o(-4). Let a be ((-2)/i)/(y/128). Solve -k + a*k = 15 for k.
5
Suppose 13*f + 4906 = 5166. Solve f = 16*n - 12 for n.
2
Suppose l - 169 = -5*q + 207, 0 = -2*q + 3*l + 147. Solve -2*v + 69 - q = 0 for v.
-3
Suppose 2*o = 3*o - 0*o. Solve 7*j - 9*j + 8 = o for j.
4
Let k(l) = l**2 - 4*l - 1. Let s be k(8). Suppose 2*b - s = 9. Suppose -4*i + b = -4*g, 3*i - i + 5*g - 38 = 0. Solve -x - 2*x + i = 0 for x.
3
Let g = -1 - -3. Let z(c) = c**2. Let d(p) = -4*p + 2. Let l(r) = d(r) + 2*z(r). Let w be l(g). Solve -2*y - w = 2 for y.
-2
Let n(z) be the first derivative of z**2 + 14*z - 27. Let d be n(-6). Solve d*r = r - 3 for r.
-3
Let j be (-3 - 1) + (-513 - 3). Let a be 4/3 - j/24. Solve 3*l + 8 = a for l.
5
Suppose -12*h - 36 = -8*h. Let x be h/5*40/(-8). Suppose x*w = 14*w. Solve 3*t + w*t + 3 = 0 for t.
-1
Suppose 2 = 4*n - 6. Suppose 0 = -0*b + 4*b + 44. Let g = 11 + b. Solve g*k - n*k = 8 for k.
-4
Suppose -108*o = -109*o - 5*s + 48, -4*o + s = -108. Solve -8*f - o = 12 for f.
-5
Suppose b - 46 = -4*b - i, -3*i - 12 = 0. Solve 0*j - 5*j = -b for j.
2
Let n(h) = -h**2 - 13*h - 11. Let i be (-57)/5 + 6/15. Let v be n(i). Let g be -2 - v/(22/(-12)). Solve 4 = -3*b + g*b for b.
4
Suppose 11*h - 75 = -9. Let a be 16 - (-2)/(-2 - 0). Solve 3*d - a = h*d for d.
-5
Let x(a) = a**2 + 6*a + 7. Let n be (0 - 1)*(-12)/2. Let g = 1 - n. Let l be x(g). Solve v + l = -v for v.
-1
Suppose -2*p - 331 = -355. Solve -4*b - 8 - p = 0 for b.
-5
Let v(j) be the third derivative of j**5/60 - j**4/8 + 6*j**2. Let z be v(3). Solve z = -4*i - 2 - 6 for i.
-2
Let a be (-7)/(126/24)*261/(-6). Solve -11*w + a = 3 for w.
5
Let d = 12 + -11. Solve 0 = -3*v + 5 + d for v.
2
Suppose 6*c + x - 6 = 5*c, -2*x + 2 = -3*c. Solve -c*k - 6*k = -40 for k.
5
Let l be 9/2 + (-16)/32. Suppose -12*x = -l*x - 8. Solve 5 - x = 2*d for d.
2
Let v be 8/2*33/12. Let u(o) = -o + 9. Let k be u(v). Let n be k/8 - (-91)/28. Solve n*t = 18 - 3 for t.
5
Suppose -58*o + 1280 = 12*o + 58*o. Suppose -2*a + 15 = 3*a. Solve -n + o = -a*n for n.
-5
Suppose -2 = f, -h + 2*f = -27 + 5. Solve -5*d - 7 - h = 0 for d.
-5
Let f be (-18)/2*3/(-9). Let d = 41 + -40. Solve -f*h = -2*h - d for h.
1
Let o = -3 - -9. Let p(x) = -7*x + 15. Let u be p(o). Let d = u - -37. Solve a = -a - d for a.
-5
Suppose 53 = 5*g - 2*g + 5*n, 4*n - 16 = 0.