= k for v.
-3
Suppose 2*n = 4*q - 12, 5*q + 3*n = -2*n + 30. Solve -2*z + 0*z + q = 0 for z.
2
Suppose 60 + 24 = 4*a. Let x(h) = -h**3 + 4*h**2. Let q be x(4). Suppose q = -2*m - 0*m - i + 2, 4*i + 10 = -2*m. Solve a - 6 = m*o for o.
5
Let v be 1/10*5*8. Solve -v*a = -7*a for a.
0
Let g(o) = 4*o**3 - o. Let d be g(1). Suppose w - 8 = -d*w. Solve 0 = b - 0 - w for b.
2
Let r = 10 + -10. Let o(b) = -b**2 + 3. Let q be o(r). Solve 12 = -0*d + q*d for d.
4
Let k(b) = -b + 8. Let h be k(7). Let s = h + 2. Suppose -2 = v - 6. Solve -l - s*l = v for l.
-1
Suppose 7*n + 13 = 69. Solve -5*t + n = -t for t.
2
Let r(d) = -20*d - 1. Let z be 6/(-18) - (-4)/(-6). Let l be r(z). Solve 0 = 4*v - 3 + l for v.
-4
Let h(q) = -16*q - 10. Let p be h(-2). Solve -p = -5*o + 3 for o.
5
Let r(b) = -b**2 + 14*b + 3. Let f be r(14). Suppose 0 = f*l + 3, -n - 3*n + 37 = -l. Solve -5*x - 1 = n for x.
-2
Let z = -1 + 4. Suppose -c - z*c = -8. Solve -c*p = -5 - 3 for p.
4
Let d be (-1)/4 + (-170)/(-40). Suppose 0 = 4*i - 19 + 7. Solve -j - d = i*j for j.
-1
Let g = 66 - 34. Let n = g + -29. Solve -2*k = n*k for k.
0
Let h(n) = -4*n + 3. Let x be h(-3). Suppose 2*d = 5*d - x. Suppose 2*j + 0*a + d*a - 19 = 0, -3*a = 2*j - 13. Solve -g = -j - 3 for g.
5
Let l(u) = u**2 - 9*u + 1. Let f be l(9). Let i(t) = 4*t - 1. Let r be i(2). Suppose -3*z - 2*j - f = -r*j, 3*z - 3*j - 3 = 0. Solve z + 12 = -3*d for d.
-5
Suppose 2*m + 10 = m + 3*o, -2*o = 4*m - 16. Solve -5 = -m*l + 3*l for l.
-5
Let y be ((-2 - 2) + 2)/(-2). Solve 1 = -2*p - y for p.
-1
Let f be 0 + (1 - (0 + -1)). Let h = -10 + 10. Solve -f*g + 8 + h = 0 for g.
4
Suppose 3*s - 10 = -2*l, -3*l - 13 + 6 = -s. Let r be (l + 0 - -9)/1. Solve -5*o = -3*o + r for o.
-4
Let m(y) = -y + 14. Let a be m(7). Solve -2*i - a = -17 for i.
5
Let i(f) = -f**3 + 3*f**2. Let d be i(3). Solve -3 = -3*y - d*y for y.
1
Suppose 4*q + 0*r - 40 = -r, 4*r - 25 = -q. Suppose -7 = 3*k + 8. Let l = -2 - k. Solve -6*s + q = -l*s for s.
3
Let b(o) = o**3 + 3*o**2 + 2*o + 2. Let p be b(-2). Suppose -6*n + p*n - w + 10 = 0, 3*w + 6 = 0. Solve -2 = n*a - a for a.
-1
Let h(d) = -d - 19. Let n be h(-23). Solve -20 = n*o - 8*o for o.
5
Let m = 43 + -33. Solve -4*h - m = -6*h for h.
5
Let d = 13 + -10. Suppose 4*n - 5*o - 41 = 0, 3*n - 17 = d*o + 10. Solve -n*u + 3 = -13 for u.
4
Suppose 0*f + 15*f - 45 = 0. Let p = 1 + -1. Solve p*o = -f*o + 3 for o.
1
Let q(d) = -d**3 + 3*d**2 + 2*d - 3. Let v be q(3). Let x(r) = -2*r + 2. Let p be x(-3). Solve -v*b = -p*b + 5 for b.
1
Suppose 0 - 12 = -3*t. Let y be (-2)/4*(4 - t). Solve y*h + 3*h + 15 = 0 for h.
-5
Let x be (-1)/(-2) + (-15)/(-2). Let i = 9 - 6. Solve -y - x = i*y for y.
-2
Suppose z - 24 = -5*l + 9*l, -4*l - 60 = -4*z. Solve 0 = f + 7 - z for f.
5
Let p(b) = -b**2 - b - 2. Let a be p(0). Let z be (20/(-50))/(a/10). Solve -v = -0 + z for v.
-2
Let r(i) = -i**2 - i - 1. Let p(f) = 3*f**2 - 4*f + 6. Let z(l) = -p(l) - 2*r(l). Let w be z(4). Solve v - w + 7 = 0 for v.
-3
Suppose -4*w - 3*g + g + 4 = 0, w = -g + 2. Let v(f) = -f - 1 + 3 - 1 + 3*f**2. Let m be v(1). Solve m*y + w = 3 for y.
1
Let s be ((-1)/3)/((-2)/24). Suppose 5*g - 5*i - 38 = 7, 2*i - 12 = -s*g. Let q = g - 2. Solve q = -4*w + 3*w for w.
-3
Let q be ((-9)/(-3))/((-9)/(-75)). Solve 0*m + q = 5*m for m.
5
Let k(n) = n**3 - n - 1. Let g be k(2). Let f = -3 + g. Suppose 15 = 2*i + 3*p, -f*i + 3*p - 15 = -0. Solve i*d = 3*d for d.
0
Suppose 0*k + 4 = -4*k. Let t = k + 1. Solve t*h - 9 = -3*h for h.
3
Suppose -2*a - a = -15. Suppose 5*f + 12 = y, 0 = 4*y - 4 - 4. Let q be 0*((-5)/f)/(-5). Solve a*p - 5 - 15 = q for p.
4
Let k(a) = a**2 + a - 5. Let r be k(0). Let z(x) = -x**3 - 7*x**2 - 10*x + 3. Let t be z(r). Solve 5*n = t*n for n.
0
Let a = 67 + -56. Solve 5*p = a - 36 for p.
-5
Suppose -2 + 0 = -t. Solve -t*p - 16 = -6*p for p.
4
Let w(q) = -2*q - 15. Let b be w(-8). Let p be ((-12)/8 - b)*-2. Solve 1 + p = 2*h for h.
3
Let j = 1 + -10. Let d = 1 - j. Solve 0 = 4*m + 10 + d for m.
-5
Let r be (-236)/(-20) - (-1)/5. Suppose 5*p + 3*o = p + r, -16 = -4*o. Solve p = -5*s + s - 12 for s.
-3
Let m be 1/((-4 - -1)/(-9)). Suppose j = -m*j. Suppose 5*f - 18 = -3*p - 3, j = -4*f - p + 5. Solve -v + 2 = -f for v.
2
Let x(w) = 2*w**2 + 5*w - 1. Let u be x(-3). Solve 6*y - u*y = -12 for y.
-3
Let r = 12 + -12. Solve -2*i = -r*i + 2 for i.
-1
Let d(a) = 6 + 3*a - 4 + 2. Let k be d(8). Let j = -16 + k. Solve 8 = -5*v - j for v.
-4
Let b(y) = -2*y**2 + y + 1. Let n(s) = s**2 - s. Let c(u) = -2*b(u) - 3*n(u). Let w be 10/15 + (-8)/(-6). Let g be c(w). Solve g*a - 19 + 3 = 0 for a.
4
Let f = 21 + -17. Solve -4*c + 2*c = -f for c.
2
Suppose -9 = -4*l + k, -4 = -k + 5*k. Solve -l = -s - s for s.
1
Let r be (36/10)/((-3)/10). Let k be (r/3)/2 + 3. Let x = 6 - k. Solve 0 = -0*j - x*j for j.
0
Suppose w - 20 = -4*w. Solve -2*d + 3*d = -w for d.
-4
Let c(m) = -m**3 - 11*m**2 + m - 8. Let y be c(-11). Let t = 34 + y. Solve 0 = -10*v + 5*v + t for v.
3
Let y(m) be the third derivative of m**2 + 1/24*m**4 + 0 - 1/3*m**3 + 0*m. Let q be y(5). Solve q*l = 4*l - 2 for l.
2
Suppose 4*a = 4 + 8. Solve -a*j - j - 4 = 0 for j.
-1
Let r be (-83)/(-5) + 12/(-20). Suppose 4*n = -t + r, 2*t + 4*n - 27 = -11. Solve t = -0*i + 2*i - 2 for i.
1
Suppose 0 = 2*s - 2 - 6. Suppose 10 = -s*f + 6*f. Suppose 0 = -3*w - 7 + 16. Solve w*t = -2*t - f for t.
-1
Let c be 20/(-6)*21/(-14). Suppose 7*m - 11*m + 12 = 0. Solve -4*h - c = m for h.
-2
Suppose -2*m - m + 3 = 0, 5*u - 4*m = 11. Suppose 2*g - 6*g + 12 = 0. Suppose -4 - 5 = -3*f - g*c, -17 = -5*f - u*c. Solve -17 = -f*l - 5 for l.
3
Let x = -4 + 3. Let z = x + 5. Suppose z*b = 7 - 3. Solve -11 = -2*d - b for d.
5
Let x be -3*(-3)/9 + -3. Let d = -3 + x. Let k be 10/((-1 - d)/2). Solve -3*w = -k*w - 6 for w.
-3
Suppose 0 = 10*z - 6*z - 16. Solve 0 = -z*a + 2*a + 6 for a.
3
Suppose 4*n = -n + 20. Let l(a) = a**3 + 3*a**2 + 2*a + 3. Let z be l(-2). Suppose i + z = 2*i. Solve 5*g - n = i*g for g.
2
Suppose -q = 3*m + 3, 0*q - 9 = -5*q - 3*m. Solve -f - q = 2*f for f.
-1
Let i = -8 - 8. Let d be (-4)/i + (-92)/(-16). Solve 0 = 3*l - d*l + 12 for l.
4
Suppose -9*t + 60 = 3*t. Solve 0 = -9*a + t*a - 4 for a.
-1
Let c be 2/(-4)*2 - -16. Let y = -11 + c. Solve 3*g + y = -g for g.
-1
Let z = 17 - -17. Suppose 2*q + 5*u - 5 = 0, -5*q - 2*u + 10 + z = 0. Suppose 0 = 6*d - 13*d + 9*d. Solve -4*t - q - 6 = d for t.
-4
Let r(h) = -h**3 - h**2 + 4. Let n be r(0). Let j be (-1)/2 + 1/2. Solve j = 2*z - n - 0 for z.
2
Suppose 7*q + 90 = 13*q. Solve 0*o = -5*o + q for o.
3
Suppose 4*g - 2*n - 6 = g, 2*g - 3*n - 4 = 0. Suppose -b = -g*b + 12. Solve p + 2*p = b for p.
4
Suppose 0 = 2*g + 3*m - 11, 0 = -3*g - 5*m + 11 + 8. Suppose j + n = -7 - 0, j + 4*n + 22 = 0. Let u = j - g. Solve u = -3*h - 2*h for h.
0
Suppose w = 2*w + 3*t - 50, 0 = 5*w - 4*t - 155. Suppose -2*h = -0*h + m - 3, 5*h - 3*m = w. Let j = 4 - h. Solve j*r - 5*r - 25 = 0 for r.
-5
Suppose v = 2*v + 86. Let f = -41 - v. Suppose -5*t = -2*t - f. Solve -3*k = 2*k - t for k.
3
Let a(m) = 4*m**2 - m + 1. Let z be a(2). Suppose 3*o = -4*r - 20, -r + 0*o + 12 = 5*o. Let d = z + r. Solve 12 = -d*x + 3*x for x.
-3
Let w(q) = -q - 8. Let r be w(-9). Solve 3*b = 4*b - r for b.
1
Let j be (3/3)/(0 - -1). Let c be ((2 - -4) + -1)*j. Solve s = -c + 3 for s.
-2
Suppose 6 = -y - 0. Let a be (-94)/(-6) - 2/y. Let o be (1 + -2)/((-7)/28). Solve -o*g + 0 = a for g.
-4
Let y(f) = 1 + 4 + 0*f + 4*f + f**2. Let i be y(-4). Suppose -d - 1 = -i. Solve 0 = h - d*h for h.
0
Let w(c) = c**2 + 1. Let l be w(-1). Let o = -94 - -132. Let p be o/14 + (-4)/(-14). Solve -l*k = p*k for k.
0
Let s = 10 + -7. Solve -v + s*v - 4 = 0 for v.
2
Let s = 4 - 2. Let q = 1 + s. Suppose 0 = q*k - 5*k - 3*j + 3, 5*k - 3*j = 60. Solve 0 = -i - 2*i + k for i.
3
Let r(k) be the first derivative of k**4/4 - k**2 - 3. Let j be r(2). Solve -4 = -0*q + j*q for q.
-1
Let z be (-11)/4 - (-4)/(-16). Let y = 4 + z. Suppose y + 3 = 2*m. Solve -4*s = -14 + m for s.
3
Suppose 0 = 4*o - 3*b + 5, 5*b - 2 = -o - 9. Let z(c) = -c - 2. Let g be z(o). Solve g = 2*s - 4*s - 10 for s.
-5
Let j = -147 - -152. Solve 9*v - j = 8*v for v.
5
Let z(u) = -5*u**2 - u + 1. Let k be z(1). Let d = 0 - k. Suppose i + 2 - 5 = x, -13 = -4*x - i. Solve b - x*b - d