5*v - 6. Solve -12 + 16 = v*s for s.
2
Let i = 30 - 28. Suppose -3*x + 23 = 2*f - 4, 2*f = 2*x + i. Suppose s - 3*l = -f*l + 6, 4*s = l + 11. Solve 0*c - c = s for c.
-3
Suppose -5*r = -4*p - r + 128, 4*p = -2*r + 98. Let y be 28/6 - (-9)/p. Suppose 20 = y*g - g. Solve g = -s - 0 for s.
-5
Let a(r) be the third derivative of -r**6/40 - r**3/6 + 3*r**2. Let g be (-5)/(-10) - (-3)/(-2). Let t be a(g). Solve t*k - 1 + 7 = 0 for k.
-3
Let a(y) = -y**2 + 5*y + 7. Suppose c - 7 = 2*k, -54 = -5*c - 5*k - 19. Suppose 0*b = c*b - 42. Let m be a(b). Solve r - m - 3 = 0 for r.
4
Suppose 0 = g - 5*g - 8. Let q be (-6)/2 - (-166)/g. Let p = -59 - q. Solve 5*c + 12 = p for c.
3
Let q = 14 + -10. Suppose -4*d + 24 = -s, 2*s + 15 + 17 = q*d. Let l be ((-18)/s)/(9/24). Solve 5*u - 2*u = -l for u.
-2
Suppose -5*g - 6 = -4*y, -g - y = 2*g - 10. Solve -w = -3*w - g*w for w.
0
Let x = -24 + 24. Suppose x = -g + 3*g. Suppose g = j - 4*j + 21. Solve 0 = -5*m - 17 + j for m.
-2
Let q(p) = p**2 + 5*p - 24. Let y be q(3). Solve y = 6*g + 36 - 6 for g.
-5
Suppose 3*w = -0*w + 15. Suppose -6 = 5*b - 26. Suppose 5*d + b*v = 20, 2*d + 25 = w*d + 5*v. Solve -5*x + 8*x - 12 = d for x.
4
Let u = 132 - 127. Let i be -1 + -2 + u - -3. Solve -i*y = -4 - 6 for y.
2
Let v = -12 - -1. Let j = 15 + v. Solve j*n + 4 = -16 for n.
-5
Let f = -115 + 137. Solve f = 8*p + 14 for p.
1
Suppose -r + 3*r = 8. Suppose -24 = -10*p + r*p. Solve 2*c - 6 = p*c for c.
-3
Let f = 326 - 319. Solve -f*t - 37 = -58 for t.
3
Suppose 19*o - 28 - 48 = 0. Solve o*a = a - 12 for a.
-4
Let h(m) = -m + 5. Let y be h(2). Suppose 3 = -y*i + 6. Suppose 2*l - 4*g = -2*g + 14, 2*l = -g - i. Solve 2*z + 20 = -l*z for z.
-5
Let p be 1/2 + (-7)/(-2). Let d = 748 - 700. Suppose -5*l = -p*h + 30, -4*h + d = h - l. Solve -y + 3*y = -h for y.
-5
Suppose -3*l + 150 = -18*l. Suppose 0 = -2*t + 5*k + 11, -3*t + 0*t + 24 = -5*k. Let o = t + l. Solve 0 = o*a - a + 10 for a.
-5
Suppose -j = -q + j - 6, -q + 18 = 4*j. Suppose -5*f = 3*r - 88, 0 = 5*f + 3*r + 2*r - 90. Let w = 19 - f. Solve q*d - w + 0 = 0 for d.
1
Let r(x) = x + 6. Let q be r(1). Let j(p) = -p**2 + 9*p - 7. Let h be j(7). Let b = h - q. Solve b*v = -2*v for v.
0
Suppose -18*m - 29 + 65 = 0. Solve 2*q + 8 = -m*q for q.
-2
Let x = 17 - -8. Suppose 3*q + 3*g = -15, -q = q + 5*g + x. Solve q = -5*y + 8*y + 6 for y.
-2
Let o(x) = -4*x + 4. Let a be o(0). Suppose 3*j - 5*j + 4*m = 4, 0 = -j + a*m - 6. Solve -6*w + j*w = 4 for w.
-1
Suppose 2*j + 3*j = 15. Suppose -67 = -4*x + w, j*x + 4 = 2*w + 58. Solve 4*i - x = -0 for i.
4
Suppose -4*m + 3 = -9. Suppose 4*x + r - m = -0*r, 2*x + 11 = -3*r. Let q be (-20 + 2)/((-3)/2). Solve 2*k = -x*k + q for k.
3
Let l(k) = k**3 - 12*k**2 + 3*k + 24. Let q(j) = -j**2 - j - 1. Let m(v) = l(v) + 4*q(v). Let a be m(16). Solve a*w = -w + 25 for w.
5
Let r be ((-3 - -13) + -2)*2/4. Solve r*j - 11*j + 14 = 0 for j.
2
Suppose 555*t = 552*t + 18. Let d = 39 + -13. Suppose -4*o - 5*q = -46, 0*o + q = -2*o + d. Solve 0 = -4*j + t + o for j.
5
Suppose -i + 2 + 7 = 0. Let b(f) = -61*f - 487. Let g be b(-8). Solve -g - i = -2*n for n.
5
Let j = -115 + 126. Let f(c) = c**3 - 2*c**2 - 4. Let w be f(3). Solve j + w = -4*d for d.
-4
Let f(x) = 8*x**2 - 3*x + 3. Let h be f(1). Suppose -2*q - 2*q + h = 0. Solve -q*b = -b for b.
0
Suppose 2*g = -8 + 18. Suppose -g*j = -2*j - 6. Solve -20 = -7*o + j*o for o.
4
Let o(i) = i**3 - 8*i**2 + 6*i + 9. Let t be o(7). Suppose 5*p - 56 = -3*p. Suppose -5*l - p + 46 = -3*j, -t*l = 4*j. Solve 2*c = l*c + 4 for c.
-1
Suppose 0*f - f - 1 = y, y = -3*f - 3. Suppose y = -2*q - 2 + 6. Solve 3*z - 20 = -q*z for z.
4
Let k be -2 - ((-8)/(-4))/2. Let h(s) = -s**2 - 2*s - 5. Let w be h(k). Let f = -4 - w. Solve -1 = -5*y + f for y.
1
Let d(o) = o - 1. Let b = -10 + 11. Let n be d(b). Let x = 242 + -238. Solve n*u - x*u = -16 for u.
4
Let c(n) = 4*n**3 - n**2 - 2*n + 3. Let f be c(1). Suppose -8 = f*w - 5*w. Solve w = 4*v + 4 for v.
1
Let t(o) = -o**3 - 7*o**2 - 6*o. Let j be t(-6). Suppose -6 = -l + 4*p, j = -3*l + 7*p - 2*p + 11. Solve 0*h = -l*h + 10 for h.
5
Suppose v + 1 - 3 = 0. Solve 5*h = -v*h - 21 for h.
-3
Suppose -10*p = 21 - 71. Solve -p*f + 22 = -3 for f.
5
Let b(o) = -19*o**2 + o - 4. Let h be b(2). Let u = 78 + h. Solve 3*l + 6 + 6 = u for l.
-4
Let t(p) = -p - 19 + 3*p**2 - 3*p**3 + 4*p**3 + 18. Let l be t(-2). Suppose 4*z + l*o = 0, 2*z - 5*o = -o. Solve z*n + 5*n = 20 for n.
4
Let h(s) = -s**3 - 18*s + 16*s**2 + 53 + 9 - s. Let p be h(15). Solve 4 = p*i + 14 for i.
-5
Let k be (3/2)/((-6)/(-40)). Solve 2*s - k = -0 for s.
5
Let x = -338 - -390. Solve -40*w + x*w - 60 = 0 for w.
5
Suppose -5*c - 11 = 4*q, 4*q - 5*c - 15 = 4. Let m be ((-1 - 1)*q)/((-2)/15). Solve -5*i + m + 0 = 0 for i.
3
Let w = -524 - -536. Solve 0 = 64*a - 68*a - w for a.
-3
Let b(q) = q**3 + q**2 + 2*q + 1. Let p be b(-1). Let a(v) = v**2 + v. Let j be a(p). Let g(f) = -3*f - 1. Let c be g(-1). Solve j*x - c*x = 0 for x.
0
Suppose -3*f = -x - 49, 5*f + 2*x - 89 = -0*x. Let v = f - 8. Solve 4*n = -v + 1 for n.
-2
Let h = -26 + 29. Suppose h*f = -9, 0 = k - 5*k - 2*f + 14. Solve -k*q + 5 = -10 for q.
3
Let y be (5 - 3)*(-2 + 4). Suppose 3*o - 4*o - 2*w - 6 = 0, 0 = 5*o + y*w + 54. Let k = o - -14. Solve k*l + 4 = 2*l for l.
2
Let y(b) = -4*b + 2. Let p be y(0). Suppose -p*t + 73 = 69. Solve -t = -3*i + 4 for i.
2
Let h(s) = -1 + s**2 + 6*s - 4 + 0*s + s. Let y be h(-8). Suppose 0 = 3*v - 16 + 4. Solve -v*p + 5*p - y = 0 for p.
3
Let a = -56 - -91. Solve -a*h + 25*h = -40 for h.
4
Let x(k) = -k - 3. Let l be x(-5). Let u = -12 + 49. Let g = -33 + u. Solve g*s + 2 = -l for s.
-1
Let o = -1147 + 1162. Solve o = 10*t - 13*t for t.
-5
Suppose 14*j - 17*j = -6. Suppose 0 = -3*u - 3*f - 2*f - 16, -27 = -4*u + 3*f. Solve 0 = j*w + 11 - u for w.
-4
Let k be ((-44)/10 + 4)*1005/3. Let s = -118 - k. Solve s = -5*a - 9 for a.
-5
Suppose 16 = 6*z - 8. Suppose -z*p + 27 = 5*p. Solve -p*r + 6*r - 6 = 0 for r.
2
Let i(x) = x**3 - 9*x**2 + 9*x - 9. Let c be i(8). Let p be c - (2 + -1 + 1). Let u be -2 + -1 + 10 + p. Solve -u*q + 25 = q for q.
5
Let d be 1/((1 + -2)/(-3)). Suppose -5*f = -3*f - 3*k - 3, f + d*k = -3. Suppose 3*l = 2*n + 11, 0*n + 4 = 2*n. Solve f = 7*j - 2*j + l for j.
-1
Suppose 4*y - n = 11, 9 = y + 4*n + 2. Solve 0 - y = 3*r for r.
-1
Let u be 132/(-297)*9/(-2). Suppose -3*b - l + 6*l - 2 = 0, -2*l = b - 14. Solve u*c - 16 = b*c for c.
-4
Let h = 32 + -16. Suppose -h = 4*v, 25 = l + 4*l + 5*v. Solve l = 2*b + b for b.
3
Let b be (-105)/(-21)*27/15. Solve 6*u - b*u - 9 = 0 for u.
-3
Let m be (6 - 18)/(9/(-144)). Solve d - 195 = -m for d.
3
Let c(s) = 53 + 6*s**2 - 53 - s. Let h be c(1). Solve h = -5*f - 15 for f.
-4
Suppose -s - 4*s = -105. Suppose -3*k - 21 = -3*g - 0*g, -4*g - 3*k + s = 0. Suppose -3*c + 2*d = d - 10, 0 = -3*c - 3*d + g. Solve -c*h = h - 12 for h.
3
Let j(d) = -d**2 - 7*d - 6. Let v be j(-5). Suppose 4 = l - 2*n + 3*n, -l - 3*n + 8 = 0. Suppose -l*m + 3*s = -2*s + 18, -s = -4. Solve -v - m = -z for z.
5
Suppose 631 = 100*l - 169. Solve -l = 11*f - 7*f for f.
-2
Let i be ((-18)/7 - (-8)/14)*-1. Suppose 2*b - 3*b = -25. Solve i*d = 7*d - b for d.
5
Let i be 100/16 - (-2)/(-8). Suppose -4*x = -2*x - i. Let f(g) = -g - 5. Let w be f(-5). Solve -6 = x*v - w for v.
-2
Let k(i) = -2*i**3 + 86*i**2 + 2*i - 83. Let f be k(43). Solve 0 = -w + f - 2 for w.
1
Let i(s) = s + 8. Let t(u) = u + 9. Let k(j) = 4*i(j) - 5*t(j). Suppose 10*y + 28 = 8*y. Let r be k(y). Solve r = -2*w - 1 for w.
-1
Let v = 4 + -2. Suppose -h + 8*w + 11 = 3*w, 0 = -4*h + w + 25. Let r(x) = x**2 - 2*x + 1. Let i be r(h). Solve v*k - i = -3*k for k.
5
Let j(v) = 2*v - 1. Let b be j(2). Suppose -b*d = 12, 3*q + 9 = 8*q + 4*d. Solve q*l - 13 = -38 for l.
-5
Let t(h) = 3*h - 3. Let a be t(3). Let x be (-3)/(-6) - 3/a. Solve -4*y + 2*y = x for y.
0
Suppose 5*n = 2*x - 11, 2*x - x - 4*n - 7 = 0. Suppose 0 = x*c - 3, 0*d + 2*c = -d + 5. Solve -7*i = -d*i for i.
0
Let r = -11 - -13. Suppose 3*c + v - 3*v = -1, 0 = -v + r. Let s be (2*2)/(2/c). Solve -3*h + 15 = s*h for h.
3
Let v(a) = -a - 2. Let t be (-5)/((-5)/6)*(-7)/14. Let g be v(t). Solve 0 = w - g - 0 for w.
1
Suppose -7*w + 1653 = 50*w. Solve 24*o = w*o + 20 for o.
-4
Let v = 22 - 18. Suppose 16 = 8*