se -3*z - 7 = 5. Let t be z/10 + (-4)/(-10). Solve t = 2*x + x + 12 for x.
-4
Let h = 9 - 5. Let t(k) = k**2 - 12*k - 12. Let m(b) = -b**2 + 13*b + 12. Let v(o) = -3*m(o) - 4*t(o). Let l be v(9). Solve h - l = 2*p for p.
-4
Let n = 11 + -6. Solve -n*z = -0*z for z.
0
Let y(r) = -3*r - 2. Suppose -6 = -4*s - 30. Let j be y(s). Solve 0*l + j = 4*l for l.
4
Let s = 5 - 7. Let d be s/(-11) + 9/11. Solve 3 - d = n for n.
2
Let m = 13 + -5. Suppose -h + 3 = 5*q, 0 = 2*q + m*h - 4*h - 12. Let b be (-36)/(-10) - (-4)/10. Solve -b*x - 9 + 25 = q for x.
4
Suppose 8*o = 3*o. Let m = o + 2. Suppose 21 = 5*s - 2*k + 5*k, 3*s = -4*k + 17. Solve -s = -m*v - 11 for v.
-4
Let a(y) = y**3 - 5*y**2 + y - 3. Let p be a(5). Let g be 0/3*2/4. Solve -s + g = p for s.
-2
Let g(c) = -c**3 - 6*c**2 - c - 2. Let l be g(-6). Suppose -5*v = 2*x - 1, x - v = 4*v + 23. Let t(q) = -q + 1. Let a be t(1). Solve a*h - x = -l*h for h.
2
Suppose 2*i - 10 = -6. Solve 0*n + i*n = 0 for n.
0
Suppose -2*j - k + 1 = 0, 2*k = -1 + 3. Solve -q + j*q - 5 = 0 for q.
-5
Suppose -f - 2 = -0, 0 = -5*l - 2*f + 506. Suppose 0 = -4*o + 2*n + l, n + 4*n + 71 = 2*o. Solve -o = 5*p + 2 for p.
-5
Suppose -9 = -5*r + 6. Suppose -r*t + 4*p = 2*t, -2*t = p. Let w(q) = -q**2 + 3. Let k be w(t). Solve a + k = 2 for a.
-1
Let m = -8 + 4. Let g(k) = -k**3 - 3*k**2 + 5*k + 5. Let z be g(m). Solve -5*o = -z - 4 for o.
1
Let u(g) = -g - 4. Let h be u(-4). Suppose 8 + 0 = 2*m. Suppose w + 15 = m*a, 0 = w - a + 3*a - 15. Solve h*s - 5*s = -w for s.
1
Let t = 17 - 8. Suppose 0 = 3*h + r - t, 0*h - 7 = 2*h + 5*r. Suppose 0 = b - 0*b - h. Solve j = b*j + 9 for j.
-3
Suppose -x - 7 = q - 19, -4 = q - 3*x. Solve -3*o = -o + q for o.
-4
Let g be ((-2)/(-3))/((-6)/(-153)). Suppose q + 3*d = -3*q + g, 2*d + 12 = 2*q. Solve -5*b - 5 - q = 0 for b.
-2
Let t = 9 + -9. Suppose 4*j - j - 4*i - 20 = t, 2*j + 25 = -5*i. Solve 2*h + 0 + 6 = j for h.
-3
Let f = 1 + 0. Solve -u + f = 6 for u.
-5
Let o(r) = r**3 + 5*r**2 + 2*r - 1. Let a be o(-4). Let s = a + 6. Let i = s + -8. Solve i*u - 6 = 2*u for u.
2
Let w = -3 + 8. Suppose -x + 2 = 3*s - 65, 3*x - 9 = -s. Suppose -i + 5*a = -24, 4*i - 18 = 2*a + s. Solve 6 = -w*q - i for q.
-3
Let r = 71 + -67. Solve -r*x = -2*x - 4 for x.
2
Suppose 0 = 3*g - 5*g. Solve 0 = -g*i - 5*i + 5 for i.
1
Suppose 5*s - 39 - 21 = 0. Suppose -3*n = -2*n - 3*u + s, 5*n + u = 4. Solve 5*x - 2 - 8 = n for x.
2
Suppose 0 = 6*z - 3*z - 18. Let h = z + -1. Let q(d) = -d + 7. Let a be q(3). Solve h + 11 = a*p for p.
4
Let a(l) = -l**3 - l**2 - 2*l - 1. Let o be a(-1). Let c(x) = -7*x. Let s be c(o). Let f(y) = -y**2 - 8*y - 3. Let p be f(s). Solve p*h - 3 = 1 for h.
1
Let x(l) = -6*l - 8. Let s be x(-6). Suppose -s = -3*j - j. Suppose y = r + j, 5 = 4*y + 4*r + 1. Solve y = u - 1 for u.
5
Let m be (3 - (-8)/(-1))*-1. Solve 0 = m*a - 0*a for a.
0
Let v(h) = h**2 + 10*h - 11. Let w be v(-11). Suppose w = -4*j + 3*j + 2. Solve -j*g = g + 6 for g.
-2
Let r(p) = 3*p**2 + p + 2. Let u be r(-2). Suppose u = 4*t - 4. Suppose -q + 5 = t. Solve -a + q = -3 for a.
4
Suppose -5*o - s = -0*s - 50, 0 = o + s - 14. Let l = o + -7. Solve -l*h = h for h.
0
Let t be -1*(0 - -10)/(-2). Suppose d = 2*d. Solve -4*l + t - 25 = d for l.
-5
Let u(o) = -o**3 + 7*o**2 - 3*o - 6. Let h be u(6). Suppose -2*x - 2*x + h = a, -x - 14 = -4*a. Solve x*g + 3*g = 0 for g.
0
Let a = -2 + 5. Suppose -h = -a*h. Solve h = -9*k + 4*k + 15 for k.
3
Suppose 15 = 3*b - 3*v, v - 20 = -3*b + 3. Let z = b + 2. Solve 0 = t - 4 + z for t.
-5
Let y = -11 + 2. Let c = y - -11. Suppose -3*z = 5*r - 12, -3*r + r + 3*z - 12 = 0. Solve -c*x + 1 - 9 = r for x.
-4
Let q = -37 + 39. Let c(u) = -u**2 - 8*u + 3. Let s be c(-8). Solve -s*f - q*f = -5 for f.
1
Let m(o) = o - 4. Let w be m(8). Solve 16 - w = -4*k for k.
-3
Let c be 1/(-1*(-3)/6). Suppose -z = -c*z. Solve z*h - 8 = 2*h for h.
-4
Let i = 7 + -4. Let r(n) = -n**3 + 3*n**2 + n + 2. Let k be r(i). Let o = -4 - -10. Solve k*z + 14 = -o for z.
-4
Let c = 18 - 10. Suppose d + 3 = c. Solve d*u = 4*u for u.
0
Let v = 12 + -8. Suppose -2*f - v*n + 2 = -f, -4*f + 3*n + 46 = 0. Let p be 26/f - (-2)/5. Solve 0 = 2*d - 3*d + p for d.
3
Let b be (-8)/12 - 16/(-6). Suppose -2*z - u + b*u + 3 = 0, 3 = u. Suppose -x = -4*m + 12, -2*m + 15 = z*m - 3*x. Solve m*d - d = -6 for d.
-3
Suppose 0 = 2*d - 3*d + 5. Suppose -4*p + h - 1 + d = 0, -4 = -h. Let m be 15*(4/6)/p. Solve 4 + 1 = -m*t for t.
-1
Let v = 10 + -4. Let i be 1/2 - v/12. Suppose i*c + 15 = 3*c. Solve 2*q - c = q for q.
5
Suppose -4 = 3*f + t - 16, 3*t = -2*f + 8. Let v(y) = y**3 - 8*y**2 + 5*y - 10. Let x be v(8). Suppose x = s + f*s. Solve 0*p + s = 3*p for p.
2
Let a(t) = -t**3 - 2*t**2 + 1. Let r = 3 + -6. Let o be a(r). Solve 7*v = 2*v - o for v.
-2
Let x(z) = -z**3 + 2*z**2 + z. Let o be x(2). Solve -o*k = -4 - 2 for k.
3
Suppose 0*k = -3*k + 6. Let v = k + 3. Let o = v - 2. Solve 6 = -o*i - 0*i for i.
-2
Let j be -3 + 0 - (18 + -20). Suppose i = 5*v + 16, -2*i - 13 = -6*i + 3*v. Let w be (j + 2 + i)*1. Solve -w*p = 2*p - 4 for p.
1
Suppose 3*v = -d - 1 + 6, 0 = 3*v - 4*d - 10. Solve 1 - v = -o for o.
1
Let f(h) be the first derivative of -h**2/2 + h + 2. Let g be f(1). Solve -2*q + 0 - 2 = g for q.
-1
Let r(l) = -5*l - 1. Let u be r(-3). Suppose 52 = -10*f + u*f. Solve -3*s - 1 = -f for s.
4
Suppose -1 = 4*n - a - 0*a, -a = 3*n - 1. Let y = n + -1. Let u = y + 3. Solve -q - u = -4 for q.
2
Let l(f) = 2*f + 20. Let b be l(-10). Solve b = -3*z + 6*z - 9 for z.
3
Let q(x) be the second derivative of -x**4/12 - 2*x**3/3 - 3*x**2 + 2*x. Let d be q(-4). Let g be d*(-3)/9*1. Solve 4 + 6 = g*p for p.
5
Suppose -4*q = -33 + 1. Let d(w) = -w**3 - 4*w**2 + 4*w - 3. Let v be d(-5). Solve -2*f - v + q = 0 for f.
3
Suppose -2*o = 3*f - 7*f - 26, 3*f - 3 = 0. Let h(k) = k**3 - 14*k**2 - 15*k + 1. Let u be h(o). Solve 5*g - u = -11 for g.
-2
Suppose q - 3 - 2 = 0. Solve -q*a - 2 = 3 for a.
-1
Let o = 0 + 4. Suppose 0 = h - o*h + 9. Solve -2 - h = c for c.
-5
Let n be (10/(-8))/((-3)/12). Solve -n = t - 2 for t.
-3
Suppose -5*z + 1 = 6. Let m = -2 - z. Let b be 2 - m*(-2 + 3). Solve b*a + 4 = 7 for a.
1
Suppose -2*a - 5*o + 26 = 5, 2*a - o = 3. Solve 0*w - 6 = -a*w for w.
2
Suppose 4*g - 16 = -0*g. Solve -10 - 6 = -g*i for i.
4
Suppose 7*n = 2 + 5. Solve -l = 1 + n for l.
-2
Let l(v) = -v**2 + 4*v. Let o be l(3). Solve 5 - o = -r for r.
-2
Let y = 32 - 30. Solve -y*i = -5*i for i.
0
Let h be 1/(-5) + 1008/90. Solve 2 = 3*b + h for b.
-3
Let u(j) = j**2 + 7*j - 8. Let w be u(-8). Let y = 1 - -6. Suppose w = 2*g - y*g. Solve -6 = -g*x - 2*x for x.
3
Let y(j) = j**2 - 19*j + 18. Let w be y(18). Solve b - 4 = -w for b.
4
Let g(r) = r**3 - 6*r**2 + 5*r + 3. Let x be g(5). Suppose -3*q - 5*u = 15, -x = -2*q + u - 0*u. Solve q = -2*i + 2 - 4 for i.
-1
Let s be (-2 - (-13)/2)*2. Solve 1 = -5*p - s for p.
-2
Let l be 1/5 + 8/(-40). Solve l = 4*r + 4 + 4 for r.
-2
Suppose -4*a + 2*a = -2*v - 8, -2*v - 4 = -a. Solve v = -c - 0 - 1 for c.
-1
Let u = 3 + -6. Let y be ((-1)/u)/((-2)/(-60)). Let b be (-5)/y + 1/2. Solve 3*s - 9 - 3 = b for s.
4
Let s = -6 + 6. Suppose 0 = -s*z + 2*z - 10. Solve -z*i = -3*i for i.
0
Let a = 15 + -10. Suppose 0 = -a*x + 2*j + 9, x - 2 = -j - 3. Solve d + x + 0 = 0 for d.
-1
Let l(b) = -b**2 + 1. Let p be l(-1). Suppose 5*z + 2*n - 15 = p, -z + 6 + 9 = -2*n. Solve 0 = -2*c + z + 5 for c.
5
Let f(k) = -k**3 + 9*k**2 - 5*k - 10. Let c be f(8). Let a = -14 + c. Let n = 8 - 5. Solve -x + n*x + 2 = a for x.
-1
Let t = 57 - 32. Let u = 24 + -21. Solve u*f + 2*f = -t for f.
-5
Let n be 2/8 - (-14)/8. Let l be 1*-10*1/(-2). Let q be 2/l*n*5. Solve -1 = -q*a - 5 for a.
-1
Let c(j) = 3*j - 3. Let w be c(2). Solve 0 = -0*s - w*s + 15 for s.
5
Let l = 11 - 19. Let z(x) = x**2 + 8*x + 4. Let n be z(l). Solve 7*y = n*y - 3 for y.
-1
Let a be (-325)/(-39) + 4/6. Let b be 9/12*1*-4. Let z be 0/(3 - (-6)/b). Solve -3*h + a + 3 = z for h.
4
Let c = 10 - 7. Solve 0 = t + c*t - 16 for t.
4
Let r be 1*0*(2 + 3/(-2)). Solve 0*d + 5*d - 10 = r for d.
2
Suppose -l = -4*h + 13, -l + 3*h - 4*h + 7 = 0. Let g(w) = -w**2 + 4*w + 1. Let t be g(l). Let k = 8 - t. Solve -k*i = i + 10 for i.
-2
Let j be 3/6*4/1. Let h = 10 + -10. Solve -j*g - 2 = -h*g for g.
-1
Let f(k) = k**2 - 