for v.
1
Let g(c) = c**2 - 3*c + 3. Let t be g(3). Suppose -q = 3*f - 4, q + t*f = -2*q + 12. Solve -q*z + 3 + 1 = 0 for z.
1
Let g(l) = -l**2 - l + 1. Let d be g(-3). Let z(q) = q - 2*q + 0*q + 2*q + 5. Let f be z(d). Solve -20 = -f*w + 5*w for w.
-4
Suppose -17 = -5*u - 2. Solve 4*i - u - 5 = 0 for i.
2
Let v be 4/((-16)/(-5))*-8. Let k be (-1)/(-3) - v/6. Solve -4*l = -k*l + 10 for l.
-5
Suppose -2*r - 2*r = 0. Solve 0 = -r*q + q - 3 for q.
3
Let x(l) = 3*l + 3. Let m(g) = -12*g - 13. Let o(p) = 4*m(p) + 18*x(p). Let t be o(3). Solve 0 = 5*j - j - t for j.
5
Let p = 1 + 2. Let j be 0/((-1 - 4) + 3). Solve j = -2*q - p*q - 5 for q.
-1
Suppose 123 + 225 = -3*f. Let p be (-6)/9 + f/(-12). Solve 5*r - 6 = p for r.
3
Suppose 4*c + 20 = -0*c. Let g be (-1)/c + (-8)/(-10). Let t = 4 + g. Solve 0*p + 5 = t*p for p.
1
Suppose 0 = 2*z + i + 3, -3*z + 6 = -2*z - 2*i. Solve z*l = l + 1 for l.
-1
Let n(i) be the third derivative of i**5/60 - i**4/24 + i**3/2 + i**2. Let j be n(0). Let y be ((-2)/(-3))/((-1)/(-3)). Solve j*r = 5 - y for r.
1
Suppose -20 = -2*i - l, -5*i + l + 34 + 2 = 0. Suppose 0 = 6*t - 2*t - i. Solve -3 = t*j + j for j.
-1
Suppose -4*t + 2*s = 4*s + 18, -t = 3*s + 12. Let o(p) = p**3 + 7*p**2 + 5*p + 4. Let y be o(t). Solve 3*r = -2*r + y for r.
5
Let l = -85 + 146. Suppose 0 = o - 2*u - 14, -l = -3*o + 4*u - 21. Solve v - o = -3*v for v.
3
Suppose 0 = 4*l - 12, 8 = a + 2*l - 1. Let i be (32/(-20))/(4/(-10)). Suppose -7 = -i*n + 9. Solve -n*o = -a*o + 3 for o.
-3
Let m(q) = -q**2 + 4*q + 2. Let d be m(4). Suppose 0 = -b + d. Solve 3*a = -14 + b for a.
-4
Suppose -3*v + 32 = 2*b + 2*v, 3*b - 34 = -4*v. Solve -r = -3 + b for r.
-3
Suppose -5 - 7 = -o. Suppose 3 = 3*j - o. Solve j*l = 6 - 1 for l.
1
Let q(y) = y - 4. Let v(f) = -1. Let r(k) = q(k) - 2*v(k). Let l be r(4). Solve i = -l*i + 15 for i.
5
Suppose 5*k + 36 = -2*m, 0 = 5*m + k + 4*k + 60. Let j be (0 - 18)*m/12. Solve j = 2*g + g for g.
4
Let d be 0/(-1 + 0) - (-10 - -10). Solve d*n = n for n.
0
Let o(b) = -2*b**2 - 16*b - 14. Let a be o(-7). Solve a*d + 1 = d for d.
1
Suppose -3*k = 5 - 5. Solve k = h + 3*h + 12 for h.
-3
Let i = 10 - 6. Suppose -i*g = 5*m - 3*m + 18, g = -2*m - 6. Let k be (m/(-3))/(1/9). Solve 10 = k*b - b for b.
5
Let v = 32 + -30. Solve 4*b - 8 = v*b for b.
4
Let d = 8 + 3. Suppose 19 + 1 = 4*h. Solve 0 = h*b + 26 - d for b.
-3
Let j(p) = p**2 - 6*p + 4. Let a be j(6). Solve a*b - 1 = -5 for b.
-1
Suppose 0 = 3*p + p - 152. Suppose -4*g = -2 - p. Solve -g + 2 = -4*l for l.
2
Let f be 14/(-10) + 4/10. Let a = 31 + f. Let c be 2/(-3)*3 + 7. Solve c = -5*k + a for k.
5
Let v(r) = -3*r - 1. Let i = -11 + 10. Let c be v(i). Solve -c*b = -0*b - 8 for b.
4
Suppose -5*p - 10 = -10*p. Let g be 4/(-10) - (-2)/5. Solve -8 + g = p*x for x.
-4
Let m(g) = -g**3 + g**2 + 1. Let k be m(0). Suppose 5*u - 16 = -k. Solve -u*d = d - 4 for d.
1
Suppose 0 = -4*r + 2 + 14. Let o = 0 - -2. Suppose -o*u + 6*u = 0. Solve -r*t = -u*t + 16 for t.
-4
Suppose -2*r + 7 = 5*s + 2*r, -4*r = 2*s + 2. Solve -8 = -s*m - m for m.
2
Let m = 113 + -113. Solve m = -i + 2 + 1 for i.
3
Let o be 9/((-27)/(-6)) + -2. Solve o = -2*b + 3*b + 3 for b.
-3
Let r be -20*-3*(-4)/(-60). Solve -2*q = -r*q for q.
0
Suppose 2*b - 4 = 4. Suppose 4*o + 5*c - 3 = 24, -b*c - 4 = 0. Suppose o*f - 3*f = 30. Solve 4*x = x + f for x.
2
Let x = 20 + -15. Suppose 3*y = 3*u + y, 5*u + x = 5*y. Solve -p = u*p + 9 for p.
-3
Suppose -109 = -5*m - 29. Suppose 30 = -11*x + m*x. Solve -x*a = -a for a.
0
Let u be (-120)/9*3/2. Let i be u/8*2/(-1). Solve 2*w - i*w = -15 for w.
5
Let x be -6*2/(-20)*5. Suppose -r = 2*p - 4, -p - 2*p - 12 = -x*r. Solve -r*s - 20 = s for s.
-4
Let i(c) = -c + 7. Let p be i(5). Suppose p = r - 13. Solve r = -k + 6*k for k.
3
Let m(h) = h**2 + 3*h - 1. Let d be m(-2). Let t(k) = k**3 + 5*k**2 + 5*k + 3. Let j be t(d). Let q = -11 - -16. Solve -q*x + j = -9 for x.
3
Let k(i) = 5*i**3 - 2*i**2 + 2*i - 1. Let c be k(1). Suppose -c*f = 5*j - j - 24, -4*j = -4*f + 16. Solve -j = -2*g - 3 for g.
-1
Let p(a) = a**2 - 10*a + 6. Let u be p(10). Solve -2*h = h - u for h.
2
Let x = 37 + -37. Solve x*u - 3*u = 3 for u.
-1
Let f(k) = -14*k**3 + 9*k**2 + 7. Let a(s) = 7*s**3 - 4*s**2 - 3. Let n(o) = -9*a(o) - 4*f(o). Let y be n(-1). Let v = -130 + 132. Solve -y*g = -v*g + 4 for g.
-1
Let t = 1 + 2. Let x(h) = 6*h. Let s be (2 + (-22)/10)*-5. Let k be x(s). Solve -k = t*m + 6 for m.
-4
Let m be 16 + (5 + -3)*-2. Solve -3*a + 7*a - m = 0 for a.
3
Suppose 4*x - 6 - 18 = 0. Solve x*j + 6 = 4*j for j.
-3
Suppose b - 6 = 2*n - n, n - 4*b - 6 = 0. Let v = 16 + n. Solve -2*y = -v*y for y.
0
Let m = 10 - 4. Suppose 5*i + m = -9. Let u = 0 - i. Solve -u*y - 1 - 11 = 0 for y.
-4
Let d = 55 - 53. Solve -4 = 2*p + d*p for p.
-1
Let l(u) = u**2 - 4*u + 10. Let m be l(5). Solve 4*c - 5 = m for c.
5
Let h(f) = 3*f + 27. Let u be h(-9). Solve 2 = d - u*d for d.
2
Let x(m) = -21*m - 1. Let r be x(-1). Suppose -152*y - 8 = -154*y. Solve 0*v - r = -y*v for v.
5
Let t(i) = 2*i + 10. Let q be t(-8). Let v be (-2)/((-4)/q) - -3. Solve 2*u - 3*u + 3 = v for u.
3
Let b be 0/(-2 + 0/(-1)). Suppose 85 = -0*l + 5*l. Suppose 2*z - z - 5*n = -l, -2*z + 11 = -n. Solve b = 2*a + 2*a - z for a.
2
Let h be 2*-1 - -2 - -4. Suppose -27 = -h*g + 9. Suppose g + 9 = 3*s. Solve n - 10 = s*n for n.
-2
Let j(u) = u**2 + 6*u + 8. Let v be j(-4). Solve 0 = l - v*l for l.
0
Let b(g) = -g**3 + 7*g**2 - 6*g + 5. Let c be b(6). Suppose 0 = -c*p + 6 + 4. Let f be 26/8 + p/(-8). Solve -f*m + 15 = -8*m for m.
-3
Suppose 5*p - 9*p + 40 = 0. Solve -4*a + p = a for a.
2
Let x(o) = -o + 1. Let c be x(1). Suppose 0 = -2*s - c*s - a - 3, -7 = 5*s + 3*a. Let n = s - -6. Solve z + n = -3*z for z.
-1
Suppose -4*l = -4, 5*a + 3*l = 6*l + 37. Solve -a = 4*f + 4 for f.
-3
Let o = 32 - -8. Let y = o + -28. Solve -y = -2*p - p for p.
4
Let u(q) = q + 2. Let w be u(-3). Let a be -3*((-1)/1)/w. Let s(v) = -v**3 - 3*v**2 - v. Let k be s(a). Solve m = -k*m for m.
0
Let f be (-1 - -5 - 3)/((-1)/(-2)). Solve 3*h = h - f for h.
-1
Suppose 9 = 2*q + q. Let v(t) = t**2 + 6*t + 4. Let b be v(-6). Suppose -q*s = -b*s + 14. Solve -4*a - 2 = s for a.
-4
Let g(m) = m**2 - 2*m. Let d be g(-1). Solve k - d*k = -8 for k.
4
Let r = -9 - -5. Suppose 4*g = 0, 0 - 2 = i + 4*g. Let v be (-2 + r)*i/6. Solve -3*k - 5 = -v*k for k.
-5
Let m(l) = 4*l - 7. Let j(w) = w - 1. Let h(t) = -3*j(t) + m(t). Let i be h(6). Solve -2*f - 8 = -i for f.
-3
Suppose -h = 3*h. Solve h = 2*r - 4*r + 10 for r.
5
Let r = -3 - -3. Let g = r + 6. Suppose 0 = -0*k + 2*k - g, 2 = -5*h + 4*k. Solve 6 - 2 = h*w for w.
2
Let w = -11 - -14. Solve w*x = -0*x for x.
0
Suppose 2*g + 60 = 6*g. Suppose 0*d + 2*a = -2*d + 6, a - g = 5*d. Let t be ((-6)/5)/(d/5). Solve 2*j = -1 + t for j.
1
Suppose 5 = a - 5. Let o be (-36)/(-10) + a/25. Solve 3*u = u - o for u.
-2
Let s = -3 - -7. Suppose 6*x = s*x + 18. Let r be (-1)/(-3) + 24/x. Solve 7*a + 20 = r*a for a.
-5
Let s(m) = m - 6. Let v be s(9). Solve 0*f - 3*f = -v for f.
1
Let s = -1 + 4. Let t be 6/s - (-1 + 3). Suppose t = -0*y + 2*y. Solve y = -q + 5*q - 20 for q.
5
Suppose -7*p + 65 = -2*p. Let l be p - -2*(0 + 1). Solve -6*r + l = -r for r.
3
Let g = 32 - 12. Solve 2*z + g = 6*z for z.
5
Suppose -5*h + 21 - 6 = 0. Solve h*n - 4 = -n for n.
1
Let u = -5 + 11. Solve -10 = u*w - w for w.
-2
Suppose 0 + 3 = -3*h + 2*f, 0 = -2*h - 3*f - 15. Let a(r) = -r**3 - r**2 + 3*r. Let g be a(h). Let o(j) = -j + 11. Let s be o(g). Solve 2*p + s*p - 8 = 0 for p.
2
Let z be (-2)/(-8) + 78/8. Suppose -2*h - 2 = -z. Suppose 0*p + 2 = 3*i - 2*p, -i - p = -h. Solve -i*y = -17 + 7 for y.
5
Let g be 4/(-14) - 46/(-14). Let s(v) = v**3 + 4*v**2 + 5*v + 6. Let f be s(-3). Solve -2*k - g*k + 15 = f for k.
3
Let l = -14 - -17. Solve -l*u = u for u.
0
Let d be 8 - (2 - 3 - 1). Solve 3*n = n - d for n.
-5
Suppose -3*z + 5*f = -31, -2*z = -7*z - 3*f - 5. Suppose -2*l - z*l + 4*h = -20, 2*l + 10 = -2*h. Solve n - 4*n - 6 = l for n.
-2
Let b be (-8)/20*-5 + -2. Solve -c + 3 = -b*c for c.
3
Suppose 15*n - 12*n - 3*w - 24 = 0, 0 = 3*n - 5*w - 34. Suppose 0 = 4*v - 4*o, 5*v - v - 6 = o. Solve -v*a = n*a for a.
0
Let x(s) = 2*s - 20. Let f be x(11). Solve f*o + o - 6 = 0 for o.
2
Suppose m = -2*m + 9. Let d(y) =