be v(-8). Let r = 1 - 1. Solve -g - z*g + 10 = r for g.
2
Let c be 5 + -2 + 0 + 12. Solve i - c = -2*i for i.
5
Let t = 45 - 39. Solve t = 5*x - 3*x for x.
3
Let c = -6 - -27. Suppose 9 = -3*j + 4*j + 2*f, 4*j - c = -3*f. Solve -j*q + 9 = -0*q for q.
3
Let i(n) = n**2 + 4*n + 4. Let x be i(-2). Solve x = 3*d - 3 for d.
1
Suppose -5*n = -9 - 6. Solve 2 = n*b + 11 for b.
-3
Let l(g) = 19*g**3 + g**2. Let x be l(1). Suppose -2*v + 2*f = -4*v + x, 2 = 2*f. Solve 8*z - 5*z = v for z.
3
Suppose -x = -3*c + 59, -3*c - 4*x + 57 = -7. Solve t = -4*t - c for t.
-4
Suppose 4*f = -0*f - 16. Let o be (-70)/f - (-1)/2. Suppose -5*m + 36 = 4*s, 0 = -4*m - 0 + 16. Solve s*p = o + 2 for p.
5
Suppose -5*h - 5 = -0*h. Let n be -2*(3/(-2))/h. Let k be 39/5 - n/15. Solve -3*i + 2 - k = 0 for i.
-2
Let z(h) = 2*h + 28. Let t be z(-13). Solve v + t = -v for v.
-1
Let i(x) = -x**2 - 8*x - 9. Let u(c) = c**2 + 9*c + 2. Let p be u(-8). Let j be i(p). Suppose -j*k + 5*t = -0 - 1, -9 = -4*k - t. Solve -k*q + 3 = 1 for q.
1
Let l(z) = 6*z + 32. Let b be l(-5). Solve d + 0 = b for d.
2
Suppose -2*g = -5*o + 37, -2 + 36 = 5*o + g. Solve -1 = -2*c + o for c.
4
Let t be (-38)/(-14) + (-4)/(-14). Suppose -4*x - 8 = 5*m, t*x + 3*m = -0*x - 3. Let s be 1/(-2) + (-1)/(-2). Solve s = 2*g + x*g for g.
0
Let o(s) = s**3 - 8*s**2. Let n be o(8). Let f(v) = v + 13. Let l be f(-10). Solve n = -u + l for u.
3
Suppose 4*n = 4*q + 12, n - 5*q = -3*n + 8. Let w(j) = -j**3 + 7*j**2 - j + 8. Let s be w(n). Solve 2*u + 3 = -s for u.
-2
Let n = -2 - -12. Solve a + n = -a for a.
-5
Let k = 1 - -4. Let l = k + -5. Solve -y - 2 + 1 = l for y.
-1
Let b(q) = q**3 - 11*q**2 + 20*q - 13. Let p be b(9). Solve u = p*u for u.
0
Let h(i) = -i**2 + 6*i - 3. Let q be h(5). Let t = -7 + 12. Suppose t*n - 9 = f + 14, 7 = n - f. Solve -n*a - 2 = -q*a for a.
-1
Let s(j) be the second derivative of j**4/12 + j**3/6 + 7*j**2/2 + j. Let p be s(0). Solve 22 = -3*d + p for d.
-5
Let o = 0 + 0. Suppose 5*s + 10 - 50 = o. Solve -n - s = n for n.
-4
Suppose 5*g - 3 = -3*w, 2*w = -4*g - 2*w - 4. Solve 0 = -s - g + 8 for s.
5
Let s be (3/(-2))/(2/12). Let n = -8 - -2. Let o = n - s. Solve o*r + 3 = -0 for r.
-1
Let a = 8 + -8. Solve a*b + 20 = -5*b for b.
-4
Let c(m) = m**3 + 13*m**2 - 13*m + 18. Let y be c(-14). Solve 0 = 2*u + y for u.
-2
Let c be (-6)/(-33) + (-106)/(-22). Suppose 5*w - 2 = 3*w, 14 = c*u - w. Suppose -5*o + 50 = 5*p, 4*p - u*p = 4*o - 20. Solve -x + 25 = -o*x for x.
-5
Let m = 25 + -18. Let l = 6 + -11. Let h = m + l. Solve -h*f - 2 = -f for f.
-2
Suppose 0*v - 9 = -v + 3*b, 37 = 3*v - 4*b. Solve -3*o + v - 3 = 0 for o.
4
Let h(z) = -8*z. Suppose 2*v + 4*m = 2, 4*m - 3 = m. Let q be h(v). Solve 0 = 4*p - q - 12 for p.
5
Let s be 0/((-2 + 4)/2). Let x be (s + 0)*1/1. Solve v - 3 + 2 = x for v.
1
Let b be ((-1)/(-2))/((-1)/8). Let n be 8*(2/b)/(-1). Solve n*y = y - 3 for y.
-1
Suppose -6*y + 2*y = 0. Let p(z) = z**3 - 6*z**2 + 6*z + 1. Let d = 8 + -3. Let t be p(d). Solve y = -2*u - u + t for u.
2
Let t(r) = r**2 - 24 + 27 + 0*r**2. Let c be t(0). Suppose -4*n = c - 15. Solve 0 = y + n - 0 for y.
-3
Let w be 2/(-6)*(-3)/1. Suppose -v - w = -10. Let m = v + -2. Solve -3*o - 22 = -m for o.
-5
Let v = 5 - 8. Let k be (4/v)/(2/(-6)). Solve -3*c + k = -2*c for c.
4
Let n = -10 - -17. Let i = n + -3. Suppose -6*k = -4*b - k - 25, 0 = 3*b - 2*k + 10. Solve b = -d - 1 + i for d.
3
Let k = 18 - 10. Suppose -3*a + k = -2*g, -a - 2*a - 3*g + 33 = 0. Solve -a + 0 = -2*f for f.
3
Suppose 54 = -3*i - y, 54 = -3*i + y + 4*y. Let x = -12 - i. Solve 2*a + a + x = 0 for a.
-2
Let f = 124 - 99. Solve 0 = 9*g - 4*g - f for g.
5
Let r be (2/4)/(2/20). Suppose r*q + 12 = 2*q. Let o be (q/5)/(10/(-25)). Solve -2*a = o*a for a.
0
Suppose 2*k - 34 = -r, 2*k - 3*r - 4 - 14 = 0. Let p be ((-4)/(-5))/(3/15). Suppose -3*z + 13 = -8. Solve -p*u + k = -z*u for u.
-5
Let j = -6 - -10. Suppose -7*a + 3*a = 3*q - 28, -5*a - j*q + 36 = 0. Solve a = -u - 0*u for u.
-4
Suppose 0 = 3*i + 9, -s - 4*i + 6 = s. Suppose 4*c - s = -3*d, -2*d - 1 = c - 2. Solve -5*g - 17 = c for g.
-4
Let p(d) = 2*d. Let q be p(3). Suppose -2*y = 3*y. Let m = q - y. Solve -m*h = -3*h for h.
0
Suppose 2*u - 5*w = u - 10, 0 = 2*u + 3*w - 19. Solve -8*z = -3*z + u for z.
-1
Let h be (12/18)/(1/15). Solve 4*y + 6 = -h for y.
-4
Let i = 30 - 29. Solve -5 = 4*d - i for d.
-1
Let i = -2 + 5. Suppose 0*u = 3*u - i. Solve -3*j - u = -2*j for j.
-1
Let j be 495/12 - (-1)/(-4). Suppose 43 = -3*m - j. Let l be ((-8)/(-14))/((-8)/m). Solve 0 = l*p + 2*p + 12 for p.
-3
Let s = -6 + 3. Let w be s/4 - (-12)/16. Suppose 4*r + 4*u = 36, -5*u + w*u = 2*r - 33. Solve r*o = o for o.
0
Suppose 2*c + y + 30 = 0, 5*y = 4*c - 3*c + 4. Let s = 29 + c. Solve -4*d + d - s = 0 for d.
-5
Let j be -1 - -2 - (1 + 3). Let h be (-2 + j/(-3))*0. Solve h = 2*t - t - 1 for t.
1
Suppose -5*u = -4*u - 18. Suppose 4*o + 2*l = -12, 2*l - 4*l + u = -2*o. Let b = o - -5. Solve b = -j + 4 for j.
4
Let d be (-8)/(-60)*-9*(-20)/6. Solve -4*s = -d - 0 for s.
1
Suppose 4*c - 12 = -c + 2*g, 5*c = -2*g + 8. Suppose 0 = c*q - 0*q - 4. Solve -q*u = -0*u + 8 for u.
-4
Suppose 5*s - 1 + 39 = -4*y, -y - 2*s = 8. Suppose 4*q = -5*b + 1, b - 3*b - 18 = -3*q. Let w be (-45)/y + b/(-12). Solve g = -w*g + 25 for g.
5
Let h(d) = -d**3 - d**2 + 68. Let b be h(0). Suppose 2*c - 7*c + 3*g = -b, -4*g - 48 = -4*c. Solve -c - 9 = 5*t for t.
-5
Let s(z) be the first derivative of -z**2/2 + 3. Let i = 0 - 4. Let b be s(i). Solve 13 - 1 = b*k for k.
3
Let y(i) = -i + 5. Let r be y(7). Let n(f) = -5 + f**2 - 2 - 4*f + 4. Let m be n(r). Solve 4 = -d + m for d.
5
Let t = -18 + 31. Suppose 3*m - t = 23. Solve -5*g = -2*g - m for g.
4
Let n be 0/((-1)/1 - 1). Suppose n = 4*d - 28 + 8. Solve -2*a + d + 1 = 0 for a.
3
Let j(q) = -q**3 - 12*q**2 - 11*q + 2. Let i be j(-11). Solve i*t = -t for t.
0
Suppose -2*z + 3 = 9. Let r be (-2)/3 - 38/z. Solve -2*x - 2*x = r for x.
-3
Suppose p + 3*c = -11, p + c = -p + 3. Let k be (-3)/(-6) + 22/p. Solve -3*v + 15 = -k*v for v.
-5
Suppose 31 = 6*q + 13. Solve 0 = 3*w + q - 0 for w.
-1
Let t(h) = -h - 4. Let i be t(-6). Suppose -4*j = i*z - 6, 0*j + 3 = z - 2*j. Solve -z*g + g = 6 for g.
-3
Suppose -x = 2*x - 15. Let d = 30 - 4. Let q = d + -18. Solve -o - q = -x*o for o.
2
Let w = -32 + 35. Solve -8 + 2 = w*x for x.
-2
Suppose 7*y = 2 + 12. Solve -6 = -y*f - 2 for f.
2
Suppose 4*n = -2 + 30. Solve -3*x + n*x = 16 for x.
4
Suppose -b = -0*p - 2*p + 7, -p + 5*b = -17. Let q = p - -1. Suppose 0 = q*l - 8 - 1. Solve l*c + 11 = 2 for c.
-3
Suppose 2*v - 3*b = 29 + 27, -3*b = 2*v - 32. Solve 5*q - v = 3 for q.
5
Let f = 28 - 8. Suppose 0 = -3*d - 21 - 6. Let l = -4 - d. Solve -l*c + f = -c for c.
5
Let t = 8 - -6. Solve -t = -3*v - 2 for v.
4
Let i(u) = -u + 9. Let p(a) = a + 11. Let j be p(-6). Let r be i(j). Solve r = 2*g - 2 for g.
3
Let m be -4*(-4 - -3) - -3. Let z(u) = -5*u + 18 - 2*u**2 + u**3 + m*u**2 - 12. Let f be z(-6). Solve f = 2*j - 3*j + 5 for j.
5
Let w(b) = -3*b + 41. Let n be w(13). Solve -n*z - 15 = 3*z for z.
-3
Let o(u) = 11*u - 193. Let v be o(18). Suppose 3 = 4*r - 1. Solve 0 = -v*s + r + 4 for s.
1
Suppose 1 = 4*z - 19. Solve z*a - 12 = 8 for a.
4
Let c = 1 - 1. Let x be (-3)/((-3)/(3 + c)). Suppose -3*v - 2*k = 8, 5*k + x = 3*v - 17. Solve v + 3 = -3*l for l.
-1
Let v(u) be the second derivative of u**4/12 - u**3/6 - 3*u**2/2 + 25*u. Suppose -9 = -3*r - 0. Let n be v(r). Solve 2*w + n + 5 = 0 for w.
-4
Let v(i) = -i + 8. Let c be v(6). Solve c + 0 = -2*j for j.
-1
Suppose 0 = 3*o + 1 - 7. Suppose 1 = -s + o. Solve 7 + s = 2*u for u.
4
Let t be (0 - -18)*(-2)/(-3). Let j be t + 0*1/(-3). Suppose b = -3*b + j. Solve -n = 8 - b for n.
-5
Let g(p) = 5*p**2 - 8*p. Let s(w) = 11*w**2 - 16*w + 1. Let o(v) = -9*g(v) + 4*s(v). Let q be o(8). Solve 5*c - 6 = q for c.
2
Let f be (-8)/(-28) + 46/(-14). Let p be -2 - (-4)/((-3)/f). Let r be ((-9)/6)/(p/(-20)). Solve -3*m + r = 2*m for m.
3
Let m(x) be the second derivative of x**5/20 + x**4/2 - 7*x**3/6 + 3*x**2/2 + 3*x. Let j be m(-7). Solve j*w + 9 = -0 for w.
-3
Suppose -4*c - 2 = 3*i, 5*c - 4*i = 10 + 3. Let m be c - (-2 - (1 + -1)). Suppose -5*j + 4*o + 42 = 0, j + 0*o = -o + m. Solve 0 = j*z - 2*z for z.
0
Suppose a = 3*y - 4, 3*y +