. Solve -r = -5*v + v for v.
1
Let z = 48 - 39. Suppose 0 = 14*f - 6*f - 3*f. Solve f = -4*v + 3 + z for v.
3
Suppose 3*j + 4*r = 71, -r + 0 = j - 23. Solve 35*g - 42*g - j = 0 for g.
-3
Suppose o - 19 = 2*k - 13, 3*o + 3*k = 36. Solve -8 = -a - o for a.
-2
Suppose 0 = -2*b - 76 + 68. Let d be b - (-1 + -5) - -1. Solve o = d*o + 2 for o.
-1
Let g(h) = h**2 + 4*h - 11. Let w be g(-7). Suppose -u - 4*x = -32, 0*x + 40 = 3*u - 2*x. Let b = u - w. Solve 1 - b = -5*f for f.
1
Let v(m) = m**3 + 6*m**2 + 3*m - 4. Let l be v(-5). Suppose -l*z + 0*z + 10*z = 0. Solve -3*a + 0*a - 12 = z for a.
-4
Suppose 12*u = 16*u - 48. Solve 11*c - 8*c = u for c.
4
Let q(s) = -s**2 - 16*s - 21. Let v be q(-14). Suppose 6 = -a + v. Solve a + 11 = -4*f for f.
-3
Let j(d) = -d**3 + 10*d**2 + 12*d - 7. Let i be j(11). Solve 10*h + i = 9*h for h.
-4
Let t = 155 + -295. Let v be (-1)/5 - 308/t. Solve 0*p + p + v = 0 for p.
-2
Let q = 2207 - 2148. Solve q - 60 = r for r.
-1
Let s(j) = 12*j - 24. Let c be s(2). Let q = -11 - -15. Solve u + q = -c*u for u.
-4
Let o = 3 - -27. Let z be 10/(-4)*(-48)/o. Solve 3*k = -z + 7 for k.
1
Let k(n) be the third derivative of n**5/60 - 7*n**4/12 - 5*n**3/3 + 5*n**2. Let g be k(15). Solve 2 - 22 = g*f for f.
-4
Suppose -3*c + b = -0*b - 20, 4*b = 4*c - 32. Let a be 1/(3/c - 0). Suppose i - 32 = -15*i. Solve i = -a*q + 6 for q.
2
Let x be (12/(-10))/(3/(-10)). Solve 0 = x*d - 7*d for d.
0
Let i be ((-125)/(-20))/(1 + (-3)/4). Solve i = 2*p + 15 for p.
5
Let r(m) = -8*m. Let g be r(2). Suppose 167*i - 179*i = -216. Let h = i + g. Solve h*c = c - 2 for c.
-2
Let l be 10 + -20 + 31 + -1. Solve l = 18*t - 52 for t.
4
Let r be (-4)/(-8) + (-308)/(-8). Solve -2*k + 31 = r for k.
-4
Let m be -5 - 0 - -2 - (-8)/1. Solve -24 = m*x - 34 for x.
2
Let i = -23 - -23. Suppose i = 2*z - 6 + 2. Suppose 1 + 9 = 2*s + z*f, 0 = -3*s + 3*f + 9. Solve -s*v + 2*v + 8 = 0 for v.
4
Let k(d) = d + 1. Let x be k(2). Suppose 0 = -x*s + i - 5*i + 18, 0 = -5*i. Solve -3*r + 3 = s for r.
-1
Let m = -14 - -14. Suppose m*g = -g + 10. Let p = g + -8. Solve p = -2*j - 8 for j.
-5
Let c be (2*-1)/(-11 - -10). Suppose -2*y + 36 = c*y. Suppose n - y = -4. Solve -8 = 3*q - n*q for q.
4
Let t = -206 + 222. Solve 7*m + t = -5 for m.
-3
Suppose -109*t = -28*t - 810. Let f = -7 + 10. Solve -2*v = f*v + t for v.
-2
Suppose 3*w + 3*a - 5*a - 12 = 0, 8 = 2*w - a. Let n = -7 + 9. Suppose 0 = 2*g - n*m - 18, -4 = -g - 4*m + 30. Solve -5*x = g - w for x.
-2
Suppose -4*r - 21 = -1. Let s be (r + 6)/((-3)/(-12)). Solve -7 = s*f - 3 for f.
-1
Let s be 49/14 - (-1)/2. Suppose 5*n = -3*t + s*t + 10, 2 = -2*n. Let b be (-40)/t + (-4)/6. Solve b = -3*u - 7 for u.
-3
Let v = -24 + 35. Let k(i) = -i + 18. Let h(b) = b**2 - 3. Let q be h(-4). Let o be k(q). Solve -o*n - v = -1 for n.
-2
Let o be ((-162)/(-15) + -12)/(3/(-35)). Solve 0 = 4*n + 2 - o for n.
3
Let x be (-6*1 + -1)*-1. Let j = -7 + x. Suppose j = -3*o + 5*v - 2, o = 4*v - 3*v. Solve -i = -0*i - o for i.
1
Suppose -10*o = -7*o + 39. Let h be (-50)/o + (-8)/(-52). Solve 14 = h*t + 2 for t.
3
Let t = -358 + 363. Solve -20*h + 45 = -t*h for h.
3
Let r = -139 + 142. Suppose -5*z = r*z - 2*z. Solve z = -5*i + 3 - 8 for i.
-1
Let r(v) = -10*v + 131. Let t be r(12). Solve -4*d + t*d - 7 = 0 for d.
1
Suppose 253 = 2*c + 249. Solve -b - 9 = c*b for b.
-3
Let f = -241 + 245. Solve -2*b - 10 = -f for b.
-3
Suppose 2*d + 6 = 14. Suppose d*n - 2*n + 18 = 4*z, 4*z - 27 = 5*n. Solve z*l = -l for l.
0
Let d be (-4 - -8 - 2) + -1. Suppose 5*r = -p - 17, 3*p + 12 = 3*r - 5*r. Let n = r - -3. Solve 2*f - 5 + d = n for f.
2
Let j(q) = -q**2 - q - 1. Let s(n) = 3*n**2 + 9*n + 15. Let y(b) = 4*j(b) + s(b). Let d be y(5). Solve -3*g - d = -2 for g.
-3
Suppose -4*t - 2*z + 452 = 0, -t + 5*z = 3*z - 103. Let i = 186 - t. Suppose 4*d - i - 17 = 0. Solve -d = -4*a - 3 for a.
5
Suppose 2*t = -2*t - 204. Let r = t - -61. Solve -2 = 4*a + r for a.
-3
Suppose 5*m + l + 4 = 0, -2*l = 3*m - 4*l - 8. Solve -5*g + 5 = -m for g.
1
Let f = -11 + 16. Suppose 0 = 2*w + 3*w + 4*o + 42, 0 = 5*w + f*o + 40. Let q = w - -19. Solve -4*p - 11 - q = 0 for p.
-5
Let r = 3 - -1. Let n(h) = -4*h**2 + 142*h - 70. Let d be n(35). Solve d*j = -r*j - 8 for j.
-2
Let d(y) = y**2 + 9*y + 13. Suppose c + 0 = -8. Let v be d(c). Solve j + 16 = v*j for j.
4
Let x = -15 - -19. Let z be (x - 4)/((-4)/(-2)). Suppose z*f - 8 = -2*f. Solve -t = f*t + 25 for t.
-5
Suppose 40 = -4*h - 36. Let p = 20 + h. Solve p = -y + 2 for y.
1
Let l(d) be the first derivative of d**2/2 + 3*d + 3. Let j be l(6). Let s = j + 1. Solve -s = -q - q for q.
5
Suppose 22 = 8*m + 3*m. Solve m*z + 0*z = 6 for z.
3
Suppose 9*c - 4*c = 5. Let k be c + (-1)/((-2)/6). Solve m = 3*m - k for m.
2
Let v = 7 + 1. Let r be -3 + (-3)/(-6)*v. Suppose o - 1 = p, 4*o - 5*p + r - 6 = 0. Solve -i + 4 = -o*i for i.
4
Let p be (-7*(-16)/(-224))/((-1)/6). Suppose 3*c - 4 = 5. Solve -2*s = -c*s + p for s.
3
Let l(h) = 2*h - h - 2*h + 15. Let c be l(14). Suppose -4*p = -2*p - 8. Solve 0 = -3*t - c + p for t.
1
Let l = 1 - -2. Let d(b) = b**2 - 5*b + 6. Let s be d(5). Suppose -3 = -2*n - 0*n + c, -n = 2*c + s. Solve 4*w - l*w = n for w.
0
Suppose -5*o - 45 + 120 = 0. Let f = 17 - o. Solve -4*m - 6 = -f*m for m.
-3
Let p = 0 + 5. Suppose -20 = p*u + o + 3*o, -3*u - 3*o = 15. Let f = 0 - u. Solve 4*c + f = -4 for c.
-1
Let x = 88 + 31. Let t = 124 - x. Solve -s = -t*s + 8 for s.
2
Let g be 644/230 - -1*(-3)/(-15). Solve 6*q - g = 5*q for q.
3
Let i be 0*(-4)/20*1. Suppose -v + 2*v - 5 = i. Solve v*p = -3 - 2 for p.
-1
Suppose 0 = 24*x - 15*x - 10*x. Solve 12 = 4*i - x for i.
3
Suppose -4*t = -2*i - 3*i + 18, 0 = 3*i + 3*t. Let a = 5 - -7. Solve i*h = -2*h - a for h.
-3
Let j(r) = -r**3 - 6*r**2 + 7*r. Let p be j(-7). Suppose 30 = 4*n - 2. Suppose 4*c - n*c = p. Solve c*w - 3 = -3*w for w.
1
Suppose -7*x = -10*x + 9. Suppose -x*c = 2 - 17. Solve -c*a = -a - 12 for a.
3
Suppose -11*l = -143 + 22. Solve 9*y = 20*y - l for y.
1
Let o be -1*((-3)/3)/(-1). Let r be -4*(-6)/4*o. Let w(q) = q + 6. Let d be w(r). Solve -2*i + d = 6 for i.
-3
Suppose 29*a - 31*a = 0. Solve a = -4*c - 3*c + 21 for c.
3
Let s(b) = 2*b**2 + 10*b - 41. Let g be s(3). Solve 13*h - 46 = -g for h.
3
Let l(y) = -26*y - 177. Let h be l(-7). Solve s + h + 0 = 0 for s.
-5
Suppose 0 = 14*v - 107 + 37. Solve 2*x + v = 7*x for x.
1
Let q(z) = z**3 + 9*z**2 + 7*z - 5. Let y = -1 + -7. Let w be q(y). Suppose 0*f = f - w. Solve -3*i + 4*i = -f for i.
-3
Let q = -1373 + 1376. Solve -q*b + 8*b = -10 for b.
-2
Let d(v) = -2*v**3 - 15*v**2 - 26*v - 4. Let j be d(-2). Solve -j*u - 32 = -20*u for u.
2
Suppose 2*l + n - 59 = 6*n, -3*l - n = -46. Let w(b) = -b - 4. Let t be w(-9). Solve t*p - 3 = l for p.
4
Let d(f) be the first derivative of f**3/3 - f**2/2 - 2*f + 14. Let z be d(-1). Solve 0 = -z*m - 4*m - 20 for m.
-5
Let v be ((-25)/(-15))/((-10)/(-36)). Let o = v + -13. Let n = o + 7. Solve n = 2*c - c - 5 for c.
5
Let n(m) = -5*m**2 - 24. Let c be n(0). Let j = 33 + c. Solve 0*i + j = 3*i for i.
3
Let c = 14 + -12. Suppose 33 = 4*m - 5*q, -2 + 11 = c*m - q. Suppose -m*a = 2*a. Solve -4*y - 12 = -a for y.
-3
Suppose -26*p + 131 = 27. Solve p*u - 44 = -44 for u.
0
Suppose -3*o = t - 17, -5*o - 6*t = -t - 45. Solve o*k - 9 + 25 = 0 for k.
-4
Suppose -2*g = -n - 2, -31 = -0*g - 5*g - 4*n. Solve -5*t = -g*t for t.
0
Let m(q) = -2*q**2 + 0*q**2 + 3*q**2 - 10*q + 16. Let w be m(8). Solve 2*o = -w + 2 for o.
1
Let d(p) = 2*p**2 - 2*p. Let o be d(-2). Suppose 334 = 8*v + 58*v + 4. Solve -v*j + j = o for j.
-3
Let s(u) = -u**2 - 8*u + 5. Let c be s(-8). Let j = c - 1. Let n(t) = -2*t - 42. Let r be n(-22). Solve x = j - r for x.
2
Let d be (-1)/(20/7 + -3). Suppose 8*s - d*s = 0. Solve 2*v - 6 = -s*v for v.
3
Let j = -91 - -110. Solve 0 = -18*c + j*c for c.
0
Let r(k) = k**3 - 5*k**2 - 6*k + 3. Let l be r(6). Let p(h) = -4*h**2 + 9*h + 262. Let y be p(-7). Solve y*b + 0 = -l for b.
-1
Suppose -3*l = z - 32, -3*l + 31 = -0*z + 2*z. Suppose -5*v = 2*j + 9, 6*v - 3*v = -2*j - l. Let a be 1 - 4/(j + 3). Solve q - a = 2 for q.
4
Let h = 11 + -20. Suppose -2*c = y + 24, 0 = -4*c + 5*y - 4*y - 42. Let i = h - c. Solve -4*q = -i*q for q.
0
Suppose -1091*w = -1100*w + 27. Solve w*y - 2*y + 1 = 0 for y.
