*v - 35 + 11. Let z be -4 - (4 - (v - -2)). Solve z = q + 2 for q.
-2
Suppose 2*n = 3*n - 2. Suppose -n*a - f + 4 = 0, 2*a - 3 = 2*f + 7. Let g(u) = -u**3 - 5*u**2 + 14*u. Let m be g(-7). Solve -3*b + a = -m*b for b.
1
Let y = 1 + 1. Suppose y*o + h = 7, 2*o - 5*h + 14 - 3 = 0. Suppose 4*t = 2*v - 24 - 2, -5*v + 37 = -3*t. Solve -o*a - v = -3*a for a.
5
Let y(n) = n**2 + 10*n + 12. Let c be y(-9). Suppose -5*q + 32 = -4*a, c*q = 2*q + 4*a + 16. Let v = 19 - q. Solve t - v = 6*t for t.
-3
Let l(c) = -c - 4. Suppose -2*y - 2*y = 5*b + 24, -2*b - y = 12. Let t be l(b). Solve t + 2 = 2*s for s.
3
Suppose 2 = -p + 2*p. Suppose 2 = 2*h - p*o, -h = -3*h - 5*o + 30. Suppose -2*f + 4*i = -8, 3*f - 6 + 2 = 2*i. Solve h*n - 4*n = f for n.
0
Let n(d) be the first derivative of -d**2 - 6. Let x be n(0). Solve x*l + 3 = l for l.
3
Let h be 2/3 + 2/6. Suppose -2*r - k = h, r + 0*k + 5 = -5*k. Solve r + 10 = -2*s for s.
-5
Let v be -1*0*(-3)/9. Suppose 44 = 2*g - 3*r, 2*g - 7*g - 3*r + 131 = v. Solve g = -6*t + t for t.
-5
Let g(q) = -q**3 + 4*q**2 + 4*q. Let h be g(5). Let f = 7 + h. Solve 3*x - 2 = f*x for x.
2
Let j be (-6)/((-3)/((-3)/(-2))). Suppose -j*z = 3*l, -2*l = 4*z - 0*l - 6. Suppose -b + 4 = z*b. Solve -2*y - b = 3 for y.
-2
Suppose 16 = -39*a + 43*a. Solve 3*q = q - a for q.
-2
Let t = 15 - 15. Solve -2*p + t*p = 10 for p.
-5
Let w be 8*-5*(-2)/20. Suppose -n = -2*k - 8, k + k - 8 = 0. Solve 5*r = w + n for r.
4
Let l(x) be the first derivative of x**4/4 + 7*x**3/3 - 9*x**2/2 - 8*x + 2. Let d = 9 - 17. Let r be l(d). Solve r = -a - a + 6 for a.
3
Suppose 5*n - 2*n - 3*t = 18, -2*n - 3*t + 2 = 0. Solve 4 = 2*p - n*p for p.
-2
Suppose -16 = -4*x - 4. Suppose -15 = -2*k + x*u, -3*k = 3*u + 18 - 3. Suppose 0*j = 3*j - 6. Solve 0 = j*l - k + 4 for l.
-2
Let u = 0 - 6. Let g = -4 - u. Solve g*m = -2 + 10 for m.
4
Suppose 0 = 3*y + d + 3*d + 2, 0 = -2*d - 10. Let g = -4 + y. Suppose -14 = -3*j - g. Solve r = -r + j for r.
2
Suppose -29 = -2*u - q, 0*q - 2*q + 24 = 2*u. Let p = u + -17. Suppose -2*w = 5*l - 9 + 1, 0 = 2*w + l - 8. Solve -4*k + 5*k + w = p for k.
-4
Suppose o - 2*g + 2 - 1 = 0, 3*o = -2*g - 3. Let q be -1 + o - (-6 + 4). Solve -3*f = -q*f for f.
0
Suppose -4 = -4*b + 4. Solve -l + 3*l = b for l.
1
Suppose 24 = -7*t + 3*t. Let d(r) = r**2 + 3*r - 6. Let h be d(t). Solve -4*o = -o + h for o.
-4
Suppose t - 3 + 1 = 0. Let l be ((-16)/20)/(2/(-25)). Solve 4*f + l = -t for f.
-3
Suppose 0*p = -p - 5. Let v = p + 8. Suppose 0 = -8*r + 4*r + 24. Solve -s + v = r for s.
-3
Let v(h) = h**3 + 4*h**2 - h - 1. Suppose -g = -1, -4*q - g - 19 = -4*g. Let n be v(q). Solve n*w + 0 = -3 for w.
-1
Suppose 0 = 2*t + 4 - 42. Suppose 3*w - 4 + 13 = 4*m, t = 5*m + 4*w. Solve m*j - 12 = -0 for j.
4
Let o(i) = i**2 + 3*i - 1. Let g be o(-3). Let s(t) = -27*t**3 + t + 1. Let r be s(g). Suppose 3*q - r = -a - 2*a, 4*q + 2*a - 38 = 0. Solve c - q = 3*c for c.
-5
Suppose h - 15 = -4*h. Let f(p) = 0*p + 11*p - 1 + p**h - 2*p - 8*p**2 - 9. Let c be f(7). Solve c*u - 26 + 6 = 0 for u.
5
Let g(h) = h**3 - 4*h**2 + 2*h - 6. Let w be g(4). Solve -3*z + 1 = -w*z for z.
1
Let v = 30 + -19. Solve -5*f - 4 - v = 0 for f.
-3
Let x = -3 + 3. Suppose -2*z + 10 = c, -3*c + x*z + 4*z - 10 = 0. Solve 0 = -6*v + c*v + 4 for v.
1
Let o be (3 - (5 + -3)) + 0. Let u(q) = 9*q**2 + q - 1. Let y be u(o). Solve 0*m = 3*m - y for m.
3
Let v = 11 + -6. Suppose 0 = -3*f + 30 - 9. Let p = f - v. Solve p = 5*i - 3 for i.
1
Let q(i) = i**2 - 9*i + 8. Let l be q(7). Let p = -4 - l. Suppose -5 = -2*n + m, -6*n + m + 11 = -p*n. Solve -n*j = -4*j + 3 for j.
3
Suppose -z - 1 = -10. Solve 2*d + z + 1 = 0 for d.
-5
Let l(s) = -6*s + 11. Let p(o) = 13*o - 23. Let m(f) = -9*l(f) - 4*p(f). Let u be m(6). Solve 3*g - u = 1 for g.
2
Suppose 14 = -4*t + 114. Suppose 4*p = 4*q + 40, 0*q + 5*q = -5. Suppose 0 = 2*m - p + 1. Solve -t = m*x + x for x.
-5
Suppose 3*b + b + 81 = 5*t, -t - 56 = 3*b. Let k = b - -22. Solve -5*w + 13 = k for w.
2
Let h(g) = g - 16. Let q be h(19). Suppose -4*u + 4 = -5*a, -4*a + 2 = -q*a + 2*u. Solve -5*i - 10 - 5 = a for i.
-3
Let n(a) = 2*a - 2. Suppose -5*i + 3*q - 44 = 0, 0*i + 3*q = -i - 16. Let s be 16/i*15/(-6). Let c be n(s). Solve -4*p = -c*p - 2 for p.
-1
Let y = -52 - -57. Suppose 0*x - x + 12 = 0. Suppose q + m = x, 5*q + 3*m = 2*m + 80. Solve -y*j + 3 = -q for j.
4
Let s be 2 + -4 + 4 - 5. Let u be (-1)/(s + (-22)/(-8)). Solve 0 = -4*i - u for i.
-1
Let f be 5/(0/(-5) - -1). Solve 9 = f*g - 1 for g.
2
Suppose -5*f - 26 = 24. Suppose -k + 2*r - 6 = 0, 6 = -k - 0*k - 5*r. Let q = k - f. Solve -1 + 13 = -q*o for o.
-3
Let c = 1 - 3. Let f be (3/(-6))/(c/4). Let a(p) = p**3 - 16*p**2 + 16*p - 15. Let o be a(15). Solve o = 3*w - f - 5 for w.
2
Let y = -9 - -12. Solve y = 2*h - h for h.
3
Let t = -2 - -8. Suppose 2*g = -g + t. Solve 3*j - 4*j = g for j.
-2
Suppose -3*q - 11 = 4*m - 36, -5*m - 5*q + 35 = 0. Let k = m - 0. Suppose -5*a - 12 = 3*d, 0 = 4*d - a - 3 - k. Solve -3 = x - d for x.
-2
Let c be 4/18 - 133/(-9). Let u be 2/9 - (-48)/27. Suppose 3*h + r = -u*h + c, 4*h = -5*r - 9. Solve -h*v + 15 = v for v.
3
Let i = 31 + -31. Solve i = -5*l + 10 + 10 for l.
4
Let g(t) = t**3 - 13*t**2 - 13*t - 11. Let n be g(14). Solve 3 = n*o - 2*o for o.
3
Let h(y) = 2*y - 2*y**2 - 4*y**2 + 1 + 5*y**2. Let m be h(2). Suppose -x - 3*x = -p + m, -p = -2*x - 3. Solve -4 + 19 = p*t for t.
3
Suppose -3*p + 23 = 4*q, 5*p - 16 + 1 = -2*q. Solve -x - p = 1 for x.
-2
Suppose 4 + 1 = a. Suppose 3*n = c - 9 - 6, a*c - 23 = 2*n. Solve -c = 2*t + t for t.
-1
Suppose 244 - 44 = 8*n. Solve -5*w + n = -0*w for w.
5
Suppose 4*b + 12 = -4*s + 72, 0 = -5*s - 2*b + 81. Solve 7 = 2*k + s for k.
-5
Let j(r) = r**2 + 5*r - 2. Let k be j(-6). Let w = k + 0. Solve -8 = w*l - 4 for l.
-1
Let c(t) = -2*t + 2. Let k be c(-1). Solve 13 + 7 = k*y for y.
5
Let z(r) = r**2 + r - 4. Let x be z(-3). Suppose 3*b = -x*b. Suppose b = -0*p + 2*p - 4. Solve 0 = -p*n - 3*n + 20 for n.
4
Let x(v) = v**3 + 24*v**2 + 22*v - 22. Let s be x(-23). Solve -s = -3*h - 7 for h.
-2
Suppose o = -4*y + 16, -y + 16 = 3*y. Solve o = -2*z + z for z.
0
Let y = 16 - 12. Suppose -y*g - 16 = -5*b, 2*b + 3*g = -2*g - 20. Solve b*t - 12 = -4*t for t.
3
Suppose 0 = -c + 5*g + 27, 3 = -3*g - 9. Let d = -7 + c. Solve d*t + 3*t = -9 for t.
-3
Suppose 2*a = -4*y + 2*y + 2, 4*y = -2*a + 6. Let m be (11 - 10)*8/2. Suppose 5 = -4*f - 3*u - m, y*u = 4*f - 6. Solve f = -0*k + k for k.
0
Let o be ((-18)/81)/(1/(-9)). Solve -y + 3 = o for y.
1
Let z be ((0 + 0)/(-2 - -1))/(-1). Suppose 4*g - 125 = -g. Solve z = 5*o + g - 0 for o.
-5
Suppose -5*a + 2*a = 0. Let b(x) = -x**3 + x + 3. Let n be b(a). Solve -n*g + 5 = -7 for g.
4
Let o = -29 - -33. Solve -o*f + 28 = 8 for f.
5
Let p(l) = -l**3 - 3*l**2 + 7*l - 11. Let j be p(-5). Solve 0 + j = -o for o.
-4
Let f be (4/12)/((-2)/(-18)). Solve 2*h = -f*h for h.
0
Let p(m) be the third derivative of -m**5/60 + m**4/24 + 8*m**3/3 + 10*m**2. Let l be p(0). Solve -l = 4*a - 8*a for a.
4
Let v be 3 - 0 - (2 - 3). Solve j + 6 = v*j for j.
2
Suppose -7 = 5*j - 2*s, 4*j - 3*j + 2*s - 1 = 0. Let d be -6*1*j/(-2). Let x be 1 + (-3)/d + -2. Solve c = -x*c - 3 for c.
-3
Suppose -3*r + 6 = -r. Let a = 16 - 16. Solve r*n - 4*n + 4 = a for n.
4
Suppose 4*h - 12 = -0, 2*y + 5*h - 153 = 0. Let z be -2*(y/(-6) + 2). Let a = z - 8. Solve -4*m = -9 - a for m.
5
Suppose -j + 4*l = 0, -j + 16 = 4*j - 4*l. Suppose -14 = 4*f + 5*d, 2*f + d = -0*d - j. Let c be -6*((-1)/(-3) + f). Solve c*z + 2 = -2 for z.
-1
Let l(j) = -51*j - 1. Let m be l(-1). Suppose 0 = -3*x + x + m. Solve 0 = 5*q - x for q.
5
Let p(n) be the first derivative of -3*n**2/2 - n - 2. Let d be p(-1). Solve 0 = q + d*q for q.
0
Let h be -2*3/(-15) + (-336)/(-35). Solve -1 = 3*l - h for l.
3
Suppose -d + 13 = 3*q - 3*d, d - 21 = -4*q. Let s = 17 + -15. Solve h = -q + s for h.
-3
Let w be ((-9)/3)/(-1) - (-2 + 1). Suppose -2 = 2*m - 4. Solve 3 = w*l - m for l.
1
Let q = 15 - 15. Let v be (2 - q - 0)*2. Solve -v*z + 15 = -5 for z.
5
Let n = 8 - 5. Let o(w) = w**2 - 7*w + 2. Let z be o(6). Let x be (-2)/4*z*1. Solve s + x*s = n for s.
1
Suppose -3*l - 2*l + 20 = 0. Solve 4*d + l = -0 for d.
-1
Let y(n) = -n**3 - n**2 - n - 1. Let a be y(0). Let p = a + 1. Solve 4*k - 3*k