 = -a for v.
5
Let y be (-3)/(-9) - 34/(-6). Solve -y*i - 25 = -i for i.
-5
Suppose -3*n + 9 = -0*n. Let l(p) = p**2 + 6*p + 6. Let t be l(-4). Let j = t + n. Solve -4*u = -j - 15 for u.
4
Let s(k) = -k**2 + 9*k + 2. Let n be s(9). Solve -n = -3*b + 2*b for b.
2
Let d(p) = -p**2 + 8*p - 6. Let i be d(6). Let x = i - 6. Solve -k = -x*k for k.
0
Suppose q = -2*q + 4*f + 17, -4 = 2*f. Suppose i = -q*i. Suppose -t = 2*t - 12. Solve i = t*h + h - 20 for h.
4
Let k(o) be the second derivative of -o**3/6 + 4*o**2 + o. Let d be k(6). Suppose -s + 3*l - 13 = 0, 3*l - 5 = d*l. Solve -r = -2*r + s for r.
2
Let z = 16 + -14. Solve 0 = 3*x + z*x + 5 for x.
-1
Suppose 0 = 12*g - 9*g + 60. Let r = 20 + g. Solve r + 1 = -o for o.
-1
Let l(d) = d**3 + d - 3. Let s be (5 + -5)/(-2*1). Let t be l(s). Let v be 1 + -1 + (t - -3). Solve v = -5*j + 19 + 1 for j.
4
Suppose 3*g = -m + 12, g + 3*g - 4*m - 32 = 0. Let f be 2/11 - (-4)/(-22). Suppose f = 5*s + s - 12. Solve s*u + 1 = g for u.
2
Let a(z) be the third derivative of z**6/120 + z**5/15 - z**4/8 - z**3/6 + 3*z**2. Let m be a(-4). Solve -4 = 5*b + m for b.
-3
Let b = 30 - 28. Solve -4*l + 2*l + b = 0 for l.
1
Let r = -13 + 17. Solve 0*z - r*z - 8 = 0 for z.
-2
Suppose j = -r - 4*j - 20, 3*j + 5 = -2*r. Solve -1 - 14 = r*g for g.
-3
Let h = 7 + -4. Let d = h + -1. Solve 0*s + 2*s + d = 0 for s.
-1
Let n(y) = -y**2 + 7*y - 6. Let j be (9/6 - 1)*10. Let o be n(j). Solve o*v = -0*v - 16 for v.
-4
Suppose 8 = 5*l - 37. Solve l = 2*b + 1 for b.
4
Let j(c) = -2*c**2 - 7*c. Let a be j(-5). Let g = 35 + a. Suppose 3*n - g = -n. Solve -3 = n*k + 2 for k.
-1
Let x = 2 - 1. Let r = 3 + x. Solve -r*s + 1 = 9 for s.
-2
Let j(b) = b - 1. Let y be j(4). Let a(i) = -5*i**2 - 4*i + 1. Let s(x) = 2*x**2 + x. Let t(m) = 3*a(m) + 8*s(m). Let n be t(y). Solve n = -0*k - 4*k for k.
0
Let a = -10 - -14. Let d(n) = -n**3 + 4*n**2 + 2*n - 5. Let q be d(a). Solve -q*c = 7 + 5 for c.
-4
Let z = 18 + -14. Solve 20 = -9*k + z*k for k.
-4
Suppose -4*f - b + 21 = 0, -1 = -4*f + 4*b + 15. Suppose 0 = -f*o - 9 + 24. Solve -o*g - 16 = g for g.
-4
Let u be (-14)/(-21)*1 + (-19)/(-3). Solve 2*z - 15 = u*z for z.
-3
Let x = -75 - -77. Solve 6 = -2*i - x for i.
-4
Let f = 5 + 0. Suppose -3*j - 4*a + 23 = 0, f = 3*j - a - 8. Solve j*x - 2*x = 0 for x.
0
Let w = -52 - -59. Solve w*g - 1 = 6*g for g.
1
Let p be (-1)/7 - 116/(-28). Let c be 3/(-6) + 46/p. Solve -4*x - c = 1 for x.
-3
Let o(i) = i**3 + i**2 + i + 4. Let k be o(0). Solve -k = 4*a + 12 for a.
-4
Let k(w) = w**3 - 4*w**2 - 8*w - 1. Let m be k(6). Let y = -11 + m. Solve -i = 2*i - y for i.
4
Let s be (4/1)/(-12)*(-18)/2. Solve -s*n = -n - 8 for n.
4
Let y be 50/15 - 1/3. Suppose 0 = -g - 3*w - 0*w + 1, y*w = -5*g + 29. Let s = g - 2. Solve -s*t = -4*t for t.
0
Suppose -5*v - 3*z = z - 14, -3*v = z - 7. Suppose -x - 2 = -3*x. Let n = -1 + 1. Solve n = v*p - x + 9 for p.
-4
Let j be 10/45 - ((-244)/(-9))/(-4). Solve -3 = 5*i + j for i.
-2
Let o(n) = 3 - n + 0 - n**3 + 5*n**2 + 2*n**3 - 4. Let u be o(-5). Solve -u*a + 20 = a for a.
4
Let a(v) = v**3 + 2. Let k be a(0). Let n be 1/k*20/2. Solve -24 = -n*u - 4 for u.
4
Suppose 0 = -12*p + 7*p + 15. Solve p*r + 8 = 2 for r.
-2
Let v = 29 + -27. Solve v*r - 1 - 7 = 0 for r.
4
Let s be (-1 - -1)/(12 - 10). Solve s = -5*y + 8 + 2 for y.
2
Suppose -13 = -4*i - 5. Suppose 3*k - 3*f + 1 = f, -k = i*f - 13. Solve k*s + 4 = -1 for s.
-1
Let u(h) = h**3 + 4*h**2 - 6*h. Suppose 27 - 1 = -2*o. Let r = o - -8. Let f be u(r). Solve f*l - 7 - 3 = 0 for l.
2
Let u(z) = z**3. Let p be u(0). Suppose p = n - 3*f + 1 - 17, -29 = -2*n + 5*f. Solve 2 + n = 3*t for t.
3
Let n(u) = u - 2. Let k be n(0). Let o = 2 + k. Solve o*x = -5*x for x.
0
Suppose 3*x - 3*j + 1 = 16, 0 = -x + 5*j + 13. Solve d + 2 - x = 0 for d.
1
Let n be 8/((-7)/((-49)/2)). Suppose p + n = 5*p. Suppose -15 = -3*u + 5*j, -2*u + 0*j + 4*j = -10. Solve -u*d - 3 - p = 0 for d.
-2
Let k(c) = -14*c + 23. Let m(r) = 5*r - 8. Let j(o) = -6*k(o) - 17*m(o). Let u be j(-3). Solve u = -0*g - g for g.
-1
Let v = 6 + -4. Solve 5*j = 18 + v for j.
4
Suppose d = 4*o - 47, -5*d - 2 = 13. Solve 1 + o = -4*q for q.
-3
Let i be 246/(-15) + (-4)/(-10). Let m be i/(-40) + (-76)/(-10). Let n = -6 + m. Solve q - n = -5 for q.
-3
Let v = -85 + 87. Solve -4*m + 6 = -v for m.
2
Let o(v) = -1. Let r(d) = -d + 3. Let u(n) = -3*o(n) - r(n). Suppose -a + 5 = 2*m, 5*a = -4*m + 4 - 3. Let k be u(m). Solve 0 = -0*i - i - k for i.
-4
Let v = 16 - 2. Let m = v - 9. Solve y + 4 = m for y.
1
Let s = -59 - -62. Solve 0 = -z - 2*z - s for z.
-1
Suppose 20 = u + 3*i, 2*u + 3*i = 26 - 1. Suppose 0 = h + 1 - 3. Suppose -3*x - 33 = -2*m, 0 = -2*m - 0*m + 4*x + 36. Solve -u*p + m = h for p.
2
Let v(t) = -6*t**2 - 1 - 3*t + 0*t - 6 - 4*t - t**3. Let b be v(-5). Suppose 3*n - 20 = -p, -5*p = n - 27 - b. Solve -5 - p = -5*q for q.
2
Let m be 11/7 + 9/21. Solve 5*s + m = 6*s for s.
2
Let w(j) = j**2 + 3. Let s be w(0). Suppose -p = -s*p + 6. Solve -p*h + 13 = 4 for h.
3
Suppose -3*p - 15 = 3*k, 0*p - 2*p = 4*k + 20. Solve -3*q + 1 + 2 = p for q.
1
Let x be -1 - 11/2*-2. Suppose -2*y + x = 3*y. Solve -y*s - 2 = -0 for s.
-1
Suppose -8 = -3*v + v. Suppose 4*r - 84 = -4*i, -r = -0*r + v. Solve 0*z = -5*z - i for z.
-5
Let z be (3/9)/((-3)/72*-2). Let y = -1 + 1. Suppose u - z + 2 = y. Solve -p + 3 = u*p for p.
1
Let u(c) = c**3 + 6*c**2 + 4. Suppose 5 + 1 = -s. Let q be u(s). Solve v = -q*v + 10 for v.
2
Let k be 2*6/(-16)*-4. Let n be 42/10 - (-1)/(-5). Let o = -3 + n. Solve 2 = -k*b - o for b.
-1
Let b = 7 - 2. Suppose 36 - 5 = 2*w + b*h, -10 = -5*w + h. Solve -13 + w = -5*p for p.
2
Let y be (-54)/(-10) + 2/(-5). Let j be (3 - -1)*y/2. Solve x + x = j for x.
5
Suppose 2*a = -4*m - 0*a + 2, -m + 5 = -a. Let c be m/5 + (-2)/5. Solve -5*b + 2*b = c for b.
0
Let k(c) = -13*c + 1. Let t be k(-1). Let o be (4 - (-5 + 3))*1. Let r(q) = -q**2 + 8*q - 8. Let n be r(o). Solve -n*i - t = 6 for i.
-5
Let q be 39/6 + 4/8. Let g = q + -3. Solve -8 = -0*j + g*j for j.
-2
Let h = 8 + -5. Let d be (h + (-3 - -2))/(-1). Let z be 54/10 + d/5. Solve z*v = 4 + 1 for v.
1
Let l = 55 - 49. Solve 20 = l*k - k for k.
4
Suppose 6*k - 5*k = 0. Solve k*s - 2*s = 0 for s.
0
Suppose -s + 0 + 1 = 0. Suppose -15 = -5*n + 5. Solve -n - s = -t for t.
5
Suppose -5*t + 10 = r, 5*r = 4*r - t + 6. Solve 6 = -r*m + 2*m for m.
-2
Let f be (-3)/3*(3 + -5). Solve -f*r = -7 - 1 for r.
4
Let t = -2 - -6. Let u be t/(-22) + (-175)/(-55). Solve 0 = u*z - 6 - 6 for z.
4
Let q = -2 - -31. Solve 5*f - q = -9 for f.
4
Suppose -6 = -2*n + 8. Suppose 4*b - 5 - n = 0. Solve b + 17 = -5*y for y.
-4
Let v be -6 - -6 - (-254)/2. Suppose 5*a = v - 52. Solve 2*x + a = -x for x.
-5
Let f(q) = -4*q. Let w be f(-1). Suppose -w*j = -11 + 3. Suppose j*x - x = 0. Solve 2*g - g = x for g.
0
Let q(s) = -s**2 + 8*s + 5. Let y(x) = 2*x**2 + 5*x + 5. Let m be y(-5). Suppose -i + m = 4*r, i = -3*i - 8. Let f be q(r). Solve f - 10 = n for n.
-5
Suppose h + 0 = 5*j + 15, 5*h = -5*j + 105. Suppose 3*t = -2*t + h. Solve 0 = -o - t + 3 for o.
-1
Suppose -5 = -3*s + 1. Suppose s*g + 3*g = 0. Solve g = t + 3*t for t.
0
Let g(x) = -x - 1. Let f be g(-10). Suppose 2*a - f = -a - d, -15 = -5*d. Solve a*i + 0*i = -4 for i.
-2
Suppose -w + 0 + 8 = 2*b, 4*w = -3*b + 17. Let p(f) = -f**2 + 2*f - 1. Let x be p(2). Let s be (-2 + 1)*3/x. Solve -2*a + s*a = -b for a.
-3
Let b(o) = -o - 2. Let j be b(-7). Suppose f + 13 = 3*f + 3*r, 4*r - 29 = -j*f. Solve f = 7*t - 2*t for t.
1
Let q = -45 + 45. Solve -3*b + q = -3 for b.
1
Let w be 34/8 + (-4)/16. Suppose 2 = -2*r + w. Solve 2*v + r - 5 = 0 for v.
2
Let x = 5 + -1. Suppose -x = -f + y, -2*f = 5*y - y - 14. Solve -2*k - 1 = -f for k.
2
Suppose -z + 10 = 4*z. Solve z*c + 3*c = 0 for c.
0
Let f = 0 + 5. Suppose -f*i + 1 + 4 = -y, -53 = -5*y - i. Let z = -5 + y. Solve 0*j = -z*j for j.
0
Let x be 304/72 - 2/9. Let a(z) be the third derivative of -z**6/120 + 7*z**5/60 + 11*z**4/24 - 11*z**3/6 - 2*z**2. Let y be a(8). Solve -x*c = y + 7 for c.
-5
Let l(x) = -x**2 + 9*x - 7. Let y be l(7). Suppose -y = -3*d + 5. Solve d*m = -m - 5 for m.
-1
Let c(v) = 2*v**2 + 12*v + 2. Let w be c(-6). Solve 0 = w*s + 5 + 3 for s.
-4
Suppose -4*r - r = -25. Let o = r + -5. Solve o = 3*f - 6 - 0 for