Solve -t*v + 20 = -v for v.
5
Let f be 0 + -6 + 7 + 1*4. Solve 10 = -f*w - 10 for w.
-4
Suppose 2*j - 7 - 1 = 0. Suppose -3 - 22 = -j*n - s, -5*s = -5*n. Solve -t = -2*t + n for t.
5
Let j = -155 - -165. Suppose -1 = -j*a + 19. Solve 0*m = -a*m + 6 for m.
3
Let s be (2 - 171/90) + 49/10. Solve -s*p - 17 = -32 for p.
3
Let t = -16 + 20. Solve t*i + 20 - 16 = 0 for i.
-1
Let u be ((-4)/(-6))/(2/3). Suppose -22 = 5*y - 7*y. Suppose 3*r + 3*k = -2*r - 4, -2*r + y = -3*k. Solve -2*b - u = r for b.
-1
Suppose -5*y + 3*r + 22 = 0, y + 18 = 5*y - 2*r. Let i(s) = 10*s - 2. Let m be i(y). Let k be ((-9)/(-18))/(2/m). Solve 0 = -0*d + 3*d + k for d.
-4
Suppose -5*f - 9 = 8*d - 10*d, 5*f = 5. Solve -d*u + 13*u - 24 = 0 for u.
4
Let u(v) = 6 - 3*v - 7 + 0 - 4*v**2 - 2*v**3. Let p be (8/2)/(-2) + 0. Let k be u(p). Solve k*n + 13 = 3 for n.
-2
Suppose s + b = -2, 7*s - 2*b = 3*s + 4. Solve -v + s*v = 3 for v.
-3
Let b(y) = -8*y + 1. Let c be b(9). Let z = c - -87. Solve -4*l + 8 = z for l.
-2
Suppose -2*b - 1 = 2*v + 1, 5*v + 4*b + 3 = 0. Suppose -5*o + n + 11 = 0, -n - n = 2*o - 14. Suppose 2*a + 9 = o*a. Solve 4*y + v - a = 0 for y.
2
Suppose 10 = t - 3*i + 20, -4*t + 5*i - 12 = 0. Solve -t*b - 23 = -25 for b.
1
Let w = 2339 - 2226. Solve -108*y = -w*y + 15 for y.
3
Let r(y) = 7*y - 45. Let p be r(7). Solve 9*k - p*k + 15 = 0 for k.
-3
Let h = -213 + 221. Solve -4*y = -h*y for y.
0
Let h = 26 + -23. Suppose -5*r - h*p + 34 = 0, 3*r - 4 + 1 = 4*p. Suppose 0 = -2*j + 6 - 2. Solve 0 = -r*w + j*w + 15 for w.
5
Suppose -6 = 5*u + a - 12, 5*u - 4*a - 1 = 0. Solve r + u = 2*r for r.
1
Let v(d) = 3*d**2 + 2 + d**3 - d - 2*d**2 + 12 - 10. Let n be v(-2). Solve -n + 4 = -q for q.
-2
Let y(v) = v**3 + 9*v**2 - 38*v - 21. Let a be y(-12). Solve -22 = 5*s + a for s.
-5
Suppose -4 = -g + 4. Let c = -2 - -8. Let m = g - c. Solve 0 = -2*y - 2 - m for y.
-2
Suppose -1 = -3*q + 5. Suppose -6 = q*o, -x - 5*o = 8 + 4. Suppose 4*h = 2*n - 24, -10*h = 4*n - 5*h + 17. Solve -n = x*f - 17 for f.
5
Suppose -d - 20 = 47. Let o = d - -82. Solve 2*s - o = 5*s for s.
-5
Let h(v) = v**3 - 7*v**2 - 6*v + 2. Let s(b) = b**3 - 6*b**2 - 5*b + 2. Let k(m) = -4*h(m) + 5*s(m). Let r be k(1). Solve d + r*d = -2 for d.
-2
Let y = 130 + -126. Suppose -3*t = -3*q - 30, 3*q = y*t - 19 - 17. Solve 0 = -4*r + r + t for r.
2
Let f(i) = 9*i - 4. Let a be f(4). Suppose 13*o - a = 5*o. Solve -4*v = -3*v + o for v.
-4
Let t(k) = k**2 - 8*k - 5. Let y be t(10). Solve -y*j - 12 = -12*j for j.
-4
Let l = 81 - 77. Solve 17 = l*x + 25 for x.
-2
Suppose -41*r + 798 = 16*r. Suppose -3*t = -15 - 3. Solve -t = -5*b + r for b.
4
Suppose -5*s - 39 = 3*p - 89, -p - 9 = -2*s. Solve s*x - 24 = -5*x for x.
2
Let z = -3 + 2. Let n be 0/(4*z + 2). Suppose -20*c + 1067 = 687. Solve 3*p - c + 4 = n for p.
5
Let u be ((66/(-24))/(5/(-40)))/2. Solve 3*z + 1 = -u for z.
-4
Let s(q) = 3*q**2 - 48*q + 2. Let k be s(16). Solve -k*u - u + 6 = 0 for u.
2
Let h be 9/(-15) + 26/10. Suppose -h*g = -0*g. Suppose -2*r + 4*j - 2 = g, 0*r = -4*r + 2*j + 26. Solve 3*b = -0*b + r for b.
3
Let f be 2*1 + 0/(-7). Suppose -4*p = 4*p. Solve f = -p*u - u for u.
-2
Let z = 36 - 29. Suppose 2*f = 3*f - z. Suppose 2*n - 31 = 3*j, -n + f = -j - 6. Solve 3*a + n = -a for a.
-2
Let d be (2/(-1))/(4/(-12)). Let a be 1/((-15)/6 + (2 - 0)). Let m be a*(0 + (-21)/d). Solve 0 = 3*x - m*x - 12 for x.
-3
Let j be (-10)/(-8) + (-323)/(-68). Suppose -j*z + 11 = -1. Solve -r - z = 1 for r.
-3
Suppose -35*r = -32*r - 5*j - 115, -4*j + 132 = 4*r. Solve r = 6*v + 59 for v.
-4
Suppose -40*r + 655 = 15. Solve 55 = 5*y - r*y for y.
-5
Let b = -70 - -3. Let a = -60 - b. Solve 0 = 5*z - a*z for z.
0
Suppose 3*w - 272 = -227. Let k be (-3)/9*0*-1. Suppose 0 = x + 1 - 5. Solve k = x*b - b - w for b.
5
Let r(h) = 4*h**2 - 3*h + 6. Let w(i) = -7*i**2 + 7*i - 11. Let o(z) = 5*r(z) + 3*w(z). Let c = -8 - -13. Let u be o(c). Solve 2*q + 20 = -u*q for q.
-5
Let a(z) be the first derivative of -3*z**2/2 - 16*z - 4. Let q be a(-6). Solve -q*m - m = -6 for m.
2
Suppose 0 = 24*i - 31*i - 3 + 3. Suppose -3 = 4*z - 5*j, -z + 3*z = 5*j - 9. Solve i = -0*l - z*l for l.
0
Let w(g) = -3*g**3 - 5*g**2 + 8*g + 12. Let c be w(-2). Solve c = 21*s - 11*s - 20 for s.
2
Let v(x) = 16*x - 46. Let n be v(5). Solve -5*c + 19 = n for c.
-3
Suppose 2*k - 2*m = 14, -3*m - 2*m = 5*k - 55. Solve -k*u = u - 30 for u.
3
Let i(z) = -z + 8. Suppose 0*b = 4*b + 12. Let p be (7/b)/(2/(-6)). Let u be i(p). Solve -4*n + u = -3 for n.
1
Let x be (-62)/8*(-36)/(-9). Let m = x + 33. Solve 0 = -m*o - 6 - 4 for o.
-5
Let n be (-36)/27*9*15/(-4). Solve 2*w - 55 = -n for w.
5
Let w = -23 + 18. Let d(f) = f + 15. Let l be d(w). Solve -2 = -2*g - l for g.
-4
Let c be (2 - 6/4)*0. Suppose -2*l = -c*l. Let b = -220 - -224. Solve l = b*t - t + 3 for t.
-1
Let z(h) = -h**2 + 4*h - 1. Let s be z(4). Let a(r) = -6*r**3 - 2*r - 2. Let p be a(s). Solve 0 = -5*c + 2*c - p for c.
-2
Suppose 0 = -16*w + 13*w - n + 55, 3*w = 4*n + 80. Suppose 49 + 79 = 5*p - z, 4*z - 113 = -5*p. Suppose 0 = -10*j + 5*j + p. Solve 0 = -f + j*f + w for f.
-5
Suppose 0 = -5*a + 17*a - 768. Let o = 67 - a. Solve o*c = 5*c + 8 for c.
-4
Suppose -4*a = 5*c - 10 - 0, -2*c = 4*a - 4. Solve -d - 1 = -a for d.
-1
Let a(j) = j**3 + 3*j**2 - 5*j. Let y be a(-4). Let p = 10 + -9. Suppose y = s + p. Solve 0*z - 6 = -s*z for z.
2
Let g be (3/5)/(2/(-40)*-2). Solve -g*x + 41 = 53 for x.
-2
Let l(o) = -o**2 - 29*o - 95. Let q be l(-4). Solve -q*n + 16 = -n for n.
4
Let h(i) = i**3 + 27*i**2 - 60*i - 58. Let y be h(-29). Solve -5*d + 24 + 1 = y for d.
5
Suppose 702 = 3*v + 3*v. Let k = -117 + v. Solve 3*p - 8*p = k for p.
0
Let l(j) = 2*j - 1 + j**3 - 3*j**2 + 1 + 2*j**2 - 3. Suppose -3*v = -8 + 2. Let t be l(v). Solve 9 = -t*x - 1 for x.
-2
Let t be 3 - (2 + 2) - -3. Suppose -n + t*n = 8. Solve c - 3 + n = 0 for c.
-5
Let g be (-1)/(-2)*(4 - 4). Let i = -1 + 9. Suppose -4*r + 4*f + i = 0, -2*f + 22 = 3*r + 3*f. Solve g = -w - r + 1 for w.
-3
Suppose -4*k + 60 = 5*h - 8, -5*k = 2*h - 34. Solve -4*g = -0*g + h for g.
-3
Suppose 2*k - 10 = 30. Solve -15*w - k = -10*w for w.
-4
Let h = 58 + -30. Suppose 3*c = -5*b + h, c + 0*c + 3*b = 16. Solve -7 = 3*z - c for z.
-2
Suppose -3*k + 2 = -10. Solve -23 = -k*m - 3 for m.
5
Suppose -6 = -3*x + 2*x. Solve x*q - 9 = 9 for q.
3
Let b = 743 - 724. Solve 12 = -b*l + 16*l for l.
-4
Let n(f) = -2*f**2 + 5*f - 8. Let v(g) = -g**2 + g + 1. Let y(q) = n(q) - 3*v(q). Suppose 9*b - 5 = -50. Let s be y(b). Solve s - 2 = -p for p.
-2
Suppose 0*n - 2*m - 2 = -n, -3*m + 7 = n. Suppose 4*u + 20 = -4*v, -3*u - 15 = -0*v + v. Solve v = 2*d - 3*d + n for d.
4
Let m(q) = q**3 - 4*q**2 + 5*q - 19. Let j be m(5). Solve j - 39 = 4*f for f.
-2
Suppose 0*m = m + 19. Let o be -3 + 7/3*-3. Let g = o - m. Solve 4*t = 7 + g for t.
4
Suppose -2*i + 0*z = 5*z - 9, 0 = 3*i + 2*z - 8. Let u be (4 + -3 + 2 + -3)/i. Solve u = s - 0*s + 5 for s.
-5
Let p be (-63)/14*20/(-30). Solve p*i = -10*i - 65 for i.
-5
Let g = -647 - -657. Solve 0 = -59*c + 54*c + g for c.
2
Suppose 5*i = 5*s, -2*i - 4*s + 2 = -5*i. Solve -i*v + 2 = -0*v for v.
1
Suppose 14 = -2*x + 4*s, -3*s + 4 + 8 = -x. Suppose -3*i = x*c, i - c = 5*i - 6. Solve -6 = i*g - 0*g for g.
-3
Suppose -2*x + 23 = 3*x + 2*l, 2*l + 22 = 4*x. Solve -10*k + 5*k - x = 0 for k.
-1
Let o(t) = 9*t**2 + t - 1. Let p be o(1). Solve -14 = -n - p for n.
5
Let m be (-66)/(-6) + 0/2. Let y = m - 11. Solve y = -3*h - 0*h + 3 for h.
1
Suppose d = 6*d - 20. Suppose -3 = 2*y + 5. Let c be 2/(-10) - y/20. Solve c = 5*v - d - 6 for v.
2
Let v(f) = 9*f**2 - 18*f + 23. Let w(g) = 4*g**2 - 9*g + 11. Let h(q) = 3*v(q) - 7*w(q). Let t be h(6). Solve 0 = 5*o - 0 + t for o.
-2
Let d(x) = -x**3 + 12*x**2 + 26*x + 32. Let f be d(14). Solve -6 = 10*n + f for n.
-1
Let x(f) = 6*f - 34. Let t be x(10). Let r = 34 - t. Let l be 2 + -2 + (4 - 0). Solve -2*z + r = -l*z for z.
-4
Suppose 0 = q + p - 3 - 14, -3*q + 59 = p. Let c = q + -17. Solve 3*v = -v - c for v.
-1
Let m = -1318 + 1320. Solve 0 = m*b - 17 + 7 for b.
5
Let g = 13 + 16. Suppose 4*z = g - 5. Solve y - 1 = -z for y.
-5
Let p be (270/210)/(15/35). Suppose c + 2*c = 15. Solve 2*d = p*d - c for d.
5
Suppose 6*c - 23 = 133. Let t = c + -24. Suppose o + 8 = 3*o. Solve -v + t