 Solve -j = -0*j - v for j.
2
Let t(f) = f**3 - 6*f**2. Let m be t(6). Solve m + 6 = 2*v for v.
3
Suppose -t - 6 = -3*t. Let s be -1 - -2 - (2 - t). Let c be (18/5)/((-10)/(-25)). Solve -s*l - c = l for l.
-3
Let m(y) = -y**3 - 9*y**2 - y + 13. Let i be m(-9). Let d be i/(-99) + 29/9. Solve -3*p = d + 12 for p.
-5
Let q(v) be the second derivative of -v**5/20 + v**4/6 + v**3/2 + v**2 + v. Let y be 4/6 - (-7)/3. Let f be q(y). Solve 3*n - f + 5 = 0 for n.
-1
Let y be (-40)/(-15) + 2/6. Suppose -m - l = y*m - 24, 4*m - 2*l = 24. Solve 2*r = m*r for r.
0
Let c = 18 + -21. Let p be 88/33*c/(-4). Solve p*n + 5 = n for n.
-5
Suppose -4*y - 4*z - 16 = 0, y - 4*z - 9 = 12. Let m be (-1 - -2) + 2/y. Solve c = m*c + 2 for c.
-1
Let k(t) = t**3 - t**2 - 2. Let f be k(2). Let m be (-3)/f*8/(-6). Suppose 19 = 3*d - m. Solve -2*b = -d*b for b.
0
Let t(s) = -s**2 + 7*s + 1. Let h be t(7). Let z = 4 - 2. Let v(i) = i**3 - i**2 - i. Let n be v(z). Solve n*q - 5 = h for q.
3
Suppose 16 + 4 = 2*u. Suppose -2*r - 3*r + u = 0. Suppose 2*y - 19 = -5*s, -r*s + 3*y + 3 = s. Solve 0 = 4*w - s*w + 5 for w.
-5
Suppose 0 = -g + 3 + 1. Suppose 3*z - p + 4*p - 33 = 0, p = -g. Solve -6*d + d - z = 0 for d.
-3
Suppose -2*m + 0 = -5*u - 2, 4*u - 26 = -3*m. Suppose k = m*k. Let y be -5 + 14 - (3 - -1). Solve k*v - v + y = 0 for v.
5
Let u(f) = f**2 + f - 2*f + 4*f + 5 - f. Let d be u(-4). Solve -4 = 3*h - d for h.
3
Suppose 4*f + 0*x = 5*x + 21, -5 = -f + x. Solve f = 2*u + 10 for u.
-3
Let t be 1/3 - 68/(-12). Solve -2*b = b - t for b.
2
Suppose -4*g - 4*m = -72, 3*g - m = 84 - 22. Let s be 1/2 + (-10)/g. Suppose 3*c - c = 6. Solve -c*v - 12 = -s*v for v.
-4
Suppose -b + 3*m = -17, 2*b - 5*m - 31 = -b. Solve -b*a + 0 + 2 = 0 for a.
1
Let u(l) = l - 6. Let d be u(6). Suppose -k - 2*p + 12 = d, 4*k + 17 = 4*p + p. Let r be 5/5 + k*1. Solve -2*c = r*c for c.
0
Suppose -q = -0*q. Suppose q = -0*w - w + 3. Solve -p = w*p - 12 for p.
3
Let c(f) = 2*f**3 + 2*f**2 - 2*f + 1. Let x be c(1). Suppose 4*z = -5*b + 91, 3*b - 4*z - 27 = 2. Solve -b = -x*y - 0*y for y.
5
Suppose x - 7*r = -3*r - 10, -5 = 2*x - 3*r. Solve -a = x*a - 15 for a.
5
Suppose 69 = 15*t - 21. Solve t = 3*m - 0 for m.
2
Suppose 7 = 3*k + 3*v - 11, 4*v = -5*k + 28. Suppose 0*w - k*w = -12. Solve w*p - 8 = p for p.
4
Let d be ((-3)/(-2))/((-3)/(-32)). Let u = d - 4. Solve -2*i - u = -5*i for i.
4
Suppose 24 = 11*k - 3*k. Solve -c + 16 = k*c for c.
4
Let l be (8/6)/((-8)/(-6)). Solve -5 = 4*f - l for f.
-1
Suppose -3*i = -4*a - 22, -i = -4*a + 2 - 20. Solve -3*y - i = -4*y for y.
2
Suppose -4*a + 3*a + 3 = 0. Suppose 0 = -d + 4*i + 22, d + i = a*d - 16. Solve -n = n + d for n.
-3
Let x = 5 + -7. Let o = 5 + x. Solve -28 + o = 5*c for c.
-5
Suppose 16 = 5*i - 4. Solve 0 = i*w + w - 5 for w.
1
Suppose 0 = -2*x - 15 + 3. Let m = -6 - x. Solve m = -d - 4*d - 15 for d.
-3
Suppose -5*v + 15 = 5*r, 4*v + v = 4*r - 30. Let l be 0/((v - -3)*-1). Solve 3*u - 2 + 5 = l for u.
-1
Let z = 13 - 8. Solve -z*f = -4*f for f.
0
Suppose 0*a + 5*a - 15 = 0. Let p = a + 17. Suppose 5 = 5*c - p. Solve 0*t - c*t + 20 = 0 for t.
4
Suppose -4*q = 3*r - 10, 4*r - 20 = -3*q - q. Let m be 30*(-2 + r/4). Solve -5*b = -0*b - m for b.
3
Let l be (-3 - -19)/(2/2). Suppose x + x = l. Solve 4*d = x + 4 for d.
3
Suppose 3*v = -3*v + 96. Let y = v - 12. Solve -y*f + 25 = 5 for f.
5
Suppose 0 = -3*f + 4 + 2. Suppose 3 + f = 5*s. Solve -3*c - s - 14 = 0 for c.
-5
Let x(v) = v + 3. Let l be x(-4). Let d(c) = 2*c + 1. Let p(y) = -5*y - 3. Let g(m) = -17*d(m) - 6*p(m). Let n be g(l). Solve u = n - 3 for u.
2
Let b = 3 - 3. Suppose t + b*t - 20 = 0. Suppose -t = -7*h + 2*h. Solve 6*o - h*o = 6 for o.
3
Let c be (6/3 - 0)*-9. Let u = -14 - c. Solve -u*r - 15 = r for r.
-3
Let l(a) = 2*a - 1. Let v(o) = 2*o**2 - 1. Let c be v(1). Let s be l(c). Solve i = -0 - s for i.
-1
Suppose 4*q - 4 - 44 = 0. Suppose 2*k - y + 4*y = q, -4*k - 5*y + 22 = 0. Solve l = -k*l - 12 for l.
-3
Let j(h) = -h**2 - 5*h + 2. Let t be j(-6). Let o = -2 + 3. Let a be o*(3 - (3 + t)). Solve 0 = a*q + 2 + 6 for q.
-2
Let v be (-4)/6 - (-10)/15. Solve v = 7*c - 2*c for c.
0
Let x = -62 - -66. Solve x*c - 7 = 5 for c.
3
Let v be -1 - 2/4*-8. Solve 4*g - 1 = v*g for g.
1
Let c = 0 + 0. Let h = 0 + c. Solve h*p = p + 2 for p.
-2
Let h = 5 + 0. Solve -h*r - 34 = -9 for r.
-5
Let n = -6 + 10. Let g(l) = l**2 - 4*l + 2. Let u be g(n). Solve 0 = -y + 3*y - u for y.
1
Let g(c) = -c**3 - c + 4. Let r be g(0). Solve -3*n + r + 5 = 0 for n.
3
Let h(t) = t**2 + 3*t - 3. Let v be h(-3). Let l(f) = f**2 + f + 1. Let z be l(v). Solve -4*y - 5 = z for y.
-3
Let q(k) = k - 7. Let w be q(12). Solve -22 = w*j - 2 for j.
-4
Let s be (-6)/18 + (-7)/(-3). Suppose r - 2*m = 6*r - 26, 3*r + s*m = 18. Solve 0 = 3*v - 2*v - r for v.
4
Suppose -3*y = -3*c + 6 - 0, 5*c + 3*y + 6 = 0. Solve 3*t + t + 8 = c for t.
-2
Suppose 2*t - 20 = -2*t. Suppose -6 = 3*g, 4*w - 2*g = 2*w + 10. Solve -w = -4*h + t*h for h.
-3
Let s(c) = -c - 2 + c**3 + 0 - 3 - 8*c**2 + 4*c**2. Suppose -o + 3*u = 5*u - 3, 4*u = -4. Let x be s(o). Solve x = 7*d - 4*d for d.
5
Let c = 31 - 26. Solve 0*m - c*m = 0 for m.
0
Let o = -50 - -65. Solve 2*g = -3*g - o for g.
-3
Suppose -5*b + 28 = 8. Solve -b*j = -0*j for j.
0
Let k(y) = y**3 - 2*y**2 + 4*y + 3. Let l(v) = -3*v**3 + 7*v**2 - 11*v - 9. Let s(p) = -11*k(p) - 4*l(p). Let w be s(6). Solve -w*b - 2 = 7 for b.
-3
Let s be 2/(-12) - (-129)/18. Let j(n) = -n**3 + 8*n**2 - 8*n + 9. Let m be j(s). Solve -m*l - 2 = 8 for l.
-5
Suppose -2*s + 7*s - 2*r = 15, 2*s - 2*r = 6. Suppose -2*a + 8 = 0, -4*l + 2*a + s + 1 = 0. Solve 1 = -2*i - l for i.
-2
Suppose 4*f + 2*m = 66, -3*f + 3*m = -2*f - 27. Suppose 2*y + 3*d - 12 = -0*d, 3*d - f = -3*y. Solve -20 = r - y*r for r.
4
Suppose 0*w = -2*w + 50. Suppose 10*q - 5*q = w. Solve 3*x - 4*x + q = 0 for x.
5
Let g be 0*((1 - 0) + -2). Let y be 5 + (g - 1)*0. Solve 2*j - 12 = y*j for j.
-4
Let r(g) = -g - 16. Let j be r(-18). Solve z = -j*z + 12 for z.
4
Suppose -3*z = -5*l - 5 + 3, 3*z = -5*l + 22. Solve 0 = y - l*y + 2 for y.
2
Let n be ((-27)/(-45))/(2/10). Solve -n*p = -4*p + 3 for p.
3
Let a(f) = f**3 - 2*f**2 + f + 2. Let q be a(2). Suppose 0 + 4 = 4*i, 3*h = 2*i + 22. Solve 0*v + h = -q*v for v.
-2
Suppose 4*w = 4*g + 108, -g = 4*w - 0*w - 93. Suppose -2*a - 5*n + w = 0, -2*a = 3*a + 4*n - 26. Solve 0 = a*z + z - 3 for z.
1
Let u = 18 - 25. Let t(s) = s**3 + 6*s**2 - 6*s + 9. Let h be t(u). Suppose -2 - h = 4*j, -2*j = r - 1. Solve 8*z - r = 5*z for z.
1
Let n be ((-4)/(-1))/2 - 1. Let p be 2 - n - 4/(-2). Solve p*m + m = -20 for m.
-5
Let y(v) = -v**3 - 3*v**2 + v + 2. Let d be y(-2). Let o be (-4)/(-8)*d + 2. Solve 2*h + o + 2 = 0 for h.
-1
Suppose -2*n - 30 = -12*n. Solve -n*u + 4*u - 1 = 0 for u.
1
Suppose -5 = -4*i + 15, -5*w - 4*i = -20. Suppose -2*u + u + 3 = w. Solve 0 = -b - u*b for b.
0
Suppose -4*t + 65 = -15. Solve 0 = -5*q - 0*q - t for q.
-4
Let j(l) = l**2 - 5*l + 4. Let c(t) = -t**2 + 4*t - 2. Let p be c(5). Let w = p + 12. Let r be j(w). Solve r*i + 20 = -i for i.
-4
Suppose 0*g + 8 = 4*g. Let y be (1 - (2 + -2))*0. Suppose -g + y = -h. Solve -h*k = -5*k for k.
0
Suppose 3*a - 3*r - 21 = 0, 4*a - 32 = -0*a + 5*r. Solve 2*s - a*s = -2 for s.
2
Let d be ((9*2)/3)/(-1). Let f = -6 - d. Suppose f*z = -4*z + 8. Solve -5*t + 9 = -z*t for t.
3
Let m(a) = a**3 - 8*a**2 + 10*a - 17. Let j be m(7). Solve -j*q + 2*q + 8 = 0 for q.
4
Let c(m) = 2*m**2 - m. Suppose -19 = 4*g + 3*n, g + 0 - 14 = 3*n. Let f be c(g). Suppose -2*z = z + f*o - 6, -5*o = 3*z. Solve -r + 3 = z for r.
-2
Let z be ((-12)/15)/(4/(-10)). Solve 4*g + 6 = -z for g.
-2
Let y = 8 + -5. Suppose -3*u = 4*g - 1, -3*u + 3*g - 7 = -22. Suppose 3*b + u*x = 21, -4*b + 10 = x - 6*x. Solve b = -y*c + 11 for c.
2
Let h = 23 + -23. Solve 4*f - f = h for f.
0
Let v(o) = -o + 4. Let l be v(4). Solve 0 = 2*t + 2 - l for t.
-1
Let i be (-18)/99 - (-84)/(-22). Let a = 3 - i. Solve -2*p - a - 3 = 0 for p.
-5
Let g = 2 - 7. Let a be (-6)/(-7)*(2 - g). Suppose 28 = -2*y + a*y. Solve 5*u - y = 8 for u.
3
Let y be 21/3 - (1 + 0). Let a(z) = z**2 + 2*z - 4. Let n be a(-6). Solve y*k - k - n = 0 for k.
4
Suppose 4*p + 3*a - 10 = 0, -11*p + a = -7*p - 18. Solve q + p + 1 = 0 for q.
-5
Suppose 5*w + b - 1 = 