j for l.
-3
Suppose -7*a + 5*a + 20 = 0. Suppose 4*n - a = -2. Solve -8 = -n*b + 2 for b.
5
Let q(w) = -w + 5. Let o be q(4). Let n be (-1)/(o*(-3)/9). Solve -1 - n = 2*r for r.
-2
Suppose 11 = 2*s - b, 2*b - 4*b = 2*s - 2. Suppose 0*t = -2*t + s. Solve r + 7 - t = 0 for r.
-5
Suppose 6*o = -3 + 33. Solve -30 + o = -5*z for z.
5
Suppose n + 15 = -3*p, -5*n - 2*p = 7 + 3. Let t be 2*(-3)/(-6)*n. Solve k - 2*k - 5 = t for k.
-5
Suppose -8 = -5*t + 12. Solve -t*v + 2*v = -6 for v.
3
Let s = 32 + -32. Solve s*h = -4*h + 16 for h.
4
Suppose 7*h - 4*h = -n + 19, n + h - 15 = 0. Suppose -s + n = 2*r, 0*r - r + 5*s + 23 = 0. Solve -17 = 5*j + r for j.
-5
Suppose 0 = u - 2*u + 3. Solve -u*x = -2*x for x.
0
Let i(t) = -t**2 - 11*t + 29. Let q be i(-13). Solve -q*n - 12 = -0*n for n.
-4
Suppose 0*m = 5*m - 20. Suppose -v + 2 = -0*v, -4*x + 2*v + m = 0. Solve 0*w = x*w - 2 for w.
1
Let g(c) = -2 - 4*c + 0*c**2 + 3*c**2 - 1 + 6. Let k be g(2). Let o be 1/(3/k)*3. Solve -o*a - 12 = -3*a for a.
-3
Let v = 11 + -8. Suppose v*q - 20 = -5*x, x - 3*q + 7 = -7. Solve -2*u = -x - 5 for u.
3
Suppose 0 = 2*j + 3*r, -3*j + 3*r = 2*r - 22. Suppose -2*y + j + 2 = 0. Solve 2*b - y = 3*b for b.
-4
Let k = -10 - -15. Suppose -2*f - 3*f + 25 = 5*z, -z = 2*f - 10. Suppose -f*s = -s. Solve -k*b + 0*b + 20 = s for b.
4
Let i = -8 - -9. Let k be (3 - 4)*(i + -9). Solve k*n = 4*n + 12 for n.
3
Suppose -2*w = 5*x + w + 5, -x = -5*w - 27. Suppose -p - x = -5. Solve -p - 1 = -j for j.
4
Suppose 4*w - 36 = -4*m, m - 27 = 3*w + 2*w. Let x = 28 + -1. Suppose 3*i = -m + x. Solve c = -4*c + i for c.
1
Suppose 2*q - l + 15 = 0, q = 2*l - 11 - 1. Let t(s) = s**3 + 7*s**2 + 4*s - 8. Let f be t(q). Let m = f + -2. Solve -w + 3 = m for w.
1
Suppose 4*w - 40 = -w. Suppose 2*z + w = 4*z. Solve 2*m - z = 2 for m.
3
Let o = 26 + -22. Solve o*b = -b - 20 for b.
-4
Suppose -2*f = 2*i, 5*i - 3*f + 18 = -2*f. Let l be 1*(i/1 + 8). Solve -5*o = 5 + l for o.
-2
Suppose m - 4*v = 16, 5*v + 5 = 4*m - 15. Solve -4*s + 12 + m = 0 for s.
3
Let y(x) = 13*x - 8. Let d be y(1). Solve 2*r + d = r for r.
-5
Suppose -a = 2*a - 33. Let u = -6 + a. Suppose u*v = -4*g + 14, 2*v - 6*v + 6 = -2*g. Solve -i + 0 = v for i.
-2
Let y = -28 - -32. Let a(c) = c - 4. Let x be a(6). Let f(w) = w**2 + w. Let n be f(1). Solve y*t - n*t = x for t.
1
Let p be (-2 - 7/(-3))*9. Let g = 0 + p. Solve -8*z = -g*z + 20 for z.
-4
Let a(n) = 2*n**3 - 4*n**2 + 4*n - 3. Let p(g) = g - 3. Let s be p(5). Let h be a(s). Solve 0*o + h = -5*o for o.
-1
Let r(x) = -5*x. Let b be r(-3). Solve b = a - 4*a for a.
-5
Let k be -2*2/(-1) + -3. Solve 0 = v + k + 3 for v.
-4
Suppose -2*p - 15 = -7*p. Let u be (p/(-6))/((-1)/8). Solve o + u = 6 for o.
2
Suppose -5*a - 5*c + 5 = -10, 0 = -4*a + 3*c + 19. Solve -a*p - 13 + 1 = 0 for p.
-3
Let k be (-4)/6 - 423/(-27). Solve 4*c + c - k = 0 for c.
3
Let t be 1/2 + 28/(-56). Solve t*a + 4*a + 4 = 0 for a.
-1
Suppose -a + 16 = -r, -2*a = 3*r - 35 + 13. Let z = 33 + -23. Let q be 196/z - a/(-35). Solve 4*t = -t + q for t.
4
Suppose 0 = 4*w - 12 - 8. Solve w*v - 2*v - 9 = 0 for v.
3
Suppose 8*y = -2*y - 0*y. Let q(s) = -8 - 4*s + s**2 + 0*s**2 + 0*s**2. Let m be q(6). Solve y = m*v - v - 6 for v.
2
Let v be -3 + 2 + -1 + 14. Let m = v - 10. Solve m*z - 1 = -3 for z.
-1
Let b(q) = q**3 + 7*q**2 + 5*q - 6. Suppose 5*u + 13 + 17 = 0. Let j be b(u). Solve j = -t - t + 6 for t.
3
Let d(o) = 2*o**2 - 15*o + 30. Let f be d(5). Let n = 3 + -2. Solve -q + f - n = 0 for q.
4
Suppose -10 = -4*o + 6. Let h be 2*-3*o/(-12). Let f be 2 - -4*h/(-4). Solve f*k = 4*k for k.
0
Suppose 3*o - 5*o + 2 = 0. Let l = -4 + 8. Suppose k + o = -4*q + l, -3*q = 3*k. Solve 4 = -5*b - q for b.
-1
Suppose j - 3 = -0. Suppose 5*o = 3*p + 3*o - 4, -o = -1. Solve -p*r + j*r = 5 for r.
5
Suppose -c + 3*c + 50 = 0. Let s = c + 41. Suppose s = 2*k - 24. Solve -2*b + 6*b = -k for b.
-5
Let o(i) = 4*i + 1. Let d be o(6). Let s = d + -12. Let y = -1 + 2. Solve 3*x - s = -y for x.
4
Suppose -x - 8 = -2*x - 2*l, x + 5*l = 14. Suppose 3*q + 3 = -3*a, -4*a - a + x*q + 31 = 0. Solve 0 = -a*r - 2 - 10 for r.
-4
Let f = -37 - -41. Solve -f*b - 10 = -2 for b.
-2
Let l be 3/(0 + -3) - -3. Suppose -10 = l*n - 4*n. Suppose -2*k + 8 = 5*y - 3*y, n*y - 16 = -3*k. Solve -3*z + y - 11 = 0 for z.
-3
Let s(z) be the second derivative of z**4/12 + 2*z**3/3 - 2*z**2 + 4*z. Let t be s(-6). Let a = 14 - t. Solve 0 = -a*u + u - 20 for u.
-4
Suppose -16 = -8*o + 5*o + 4*p, -8 = -o + 2*p. Solve o = 5*t - 4*t - 1 for t.
1
Let n(u) = u**3 - u**2 - 1. Let f be n(0). Let o(z) = -5*z. Let y be o(f). Solve 0*m + y = 5*m for m.
1
Suppose 0 = 2*q, 3*q + 20 = 2*o + 2*o. Suppose -2*b + 0*b = -3*t + 9, -4*b - o*t = -37. Let n = 1 + -1. Solve b*l + n*l = 12 for l.
4
Let j = -12 + 16. Solve 6*c = 2*c + j for c.
1
Let l(m) = 2*m - 7. Suppose 18 = 2*j + 6. Let s be l(j). Let k(v) = v - 1. Let o be k(s). Solve -4 = -0*z - o*z for z.
1
Let h(g) = -g**3 - 11*g**2 - g - 3. Let z be h(-11). Suppose 4*d = 2*p + 6 - 2, p - 5*d + z = 0. Solve r = p*r - 5 for r.
5
Suppose -5*k = -v + 5*v - 29, -17 = -4*k + 3*v. Suppose -k*c - 15 = z, 0*z + 9 = z - 3*c. Solve 2*q + z*q - 8 = 0 for q.
4
Let h(d) = -75*d**2 + 1 + 2 + 8*d + 76*d**2. Let y = -13 - -5. Let k be h(y). Solve k*w + 10 = 1 for w.
-3
Let d = -14 + 0. Let u be (-3 - d/2) + -4. Solve -5 = 5*g - u for g.
-1
Let v(j) = -3*j**3 - j**2 - 2*j - 1. Let g be v(-1). Suppose u = s + g - 8, 3*u + 14 = 2*s. Solve 3*f - s = 8 for f.
3
Suppose 0 = 2*z - 5*z + 9. Suppose -z*f + 2*h = f - 16, -2*h = 2*f + 4. Solve -4 = -f*m - 14 for m.
-5
Let q(i) = 3 - 11*i**3 - 2 - i - 1. Let h be q(-1). Solve 0 = 5*p + 8 + h for p.
-4
Suppose 5*p - 3*x = 17 - 4, 3*x - 12 = 0. Let j = -2 + p. Solve -13 = -j*c - 4 for c.
3
Suppose 3*d = -d + 36. Solve 29 - d = 5*u for u.
4
Let x(u) = -u**3 - 14*u**2 - 14*u - 11. Let h be x(-13). Solve 13 = 5*j - h for j.
3
Let m be (6/4)/((-6)/(-16)). Let z(j) = 10*j + 67. Let v be z(-6). Solve -v*d - m = -3*d for d.
-1
Let n(a) = a**3 - 3*a**2 + a - 3. Let c = -3 + 6. Let j be n(c). Solve 5*t - 4*t + 4 = j for t.
-4
Let o = -61 + 61. Solve 2*v = -o*v + 10 for v.
5
Let m(s) be the second derivative of s**3/6 + 3*s. Suppose -3 - 5 = -2*k. Let q be m(k). Solve d + q = 9 for d.
5
Let d = 2 + 0. Let y = d - -1. Let i be y/3 + 6/2. Solve i*b - 2*b = -6 for b.
-3
Let h(o) = o**3 - 3*o + 2. Let c be h(2). Suppose -c*n - 16 = 0, 2*n - 10 = -2*v + n. Let w = v - 6. Solve 3*s = -w - 2 for s.
-1
Suppose k = -6*h + h + 9, 15 = 5*h - 5*k. Solve 0*d = -h*d - 4 for d.
-2
Suppose 4*q = -5*n + 2*q + 38, 16 = 4*n - 2*q. Let l(s) be the first derivative of -s**2/2 + 9*s - 2. Let c be l(5). Solve c*y = 2*y + n for y.
3
Suppose -3*d - 4*f = 2 - 3, -5*d + 23 = -4*f. Suppose -4*g = -d*g - 4. Solve -t = g*t for t.
0
Let d(a) = -a**2 - 7*a - 7. Let m be d(-5). Solve -t = m*t + 20 for t.
-5
Suppose -4*c + 6 = 22, 2*c = -4*l. Suppose 5*u + 1 = -b, 5*b + l*u = -3*u + 15. Solve -b = -v - 3 for v.
1
Let g(r) = -3*r**3 - r**2 - r. Let n be g(-1). Suppose -5*i + 4 = -16. Suppose -i*b + 0*b + 8 = 0. Solve -n = -b*j - 5 for j.
-1
Let x(o) = o**3 + 13*o**2 + 15*o + 38. Let f be x(-12). Solve -f = 2*b - 0 for b.
-1
Let z(j) = -j**3 + 5*j**2 - 2*j + 1. Let f be z(4). Suppose 0 = 3*o - 3, 3*i + 2*o - f = -o. Solve i*g + 2 = -0 for g.
-1
Let p be 22/18 - 14/63. Solve -u + 2 - p = 0 for u.
1
Let i be (3/(-3))/(2/18). Let z = i - -11. Solve k + 1 = z*k for k.
1
Let w(k) = -k - 14. Let x be w(-14). Let i(p) be the second derivative of -p**4/12 - p**3/2 + p. Let r be i(-3). Solve r = -z - x*z for z.
0
Suppose 2*g + 2*g - 20 = 0. Solve g*f - 11 = 4 for f.
3
Let d = -2 + 5. Suppose -2*g + 2 = 4*n, 4*g + 2*n = -10 - 4. Let b = -3 - g. Solve b*j = -d*j for j.
0
Let o(d) = -d + 5. Let j be o(-1). Solve -j = -5*l + 4 for l.
2
Let h(p) be the second derivative of -p**5/20 + p**4/3 - p**3/2 - 2*p. Let x be h(3). Suppose x = -0*r - 3*r + 6. Solve 3*o = r*o - 2 for o.
-2
Let f(c) = 0*c - c**2 - 2*c + 1 + 2*c**2 + 4*c**3. Let j be f(1). Let r = 7 - 2. Solve -j*d + r*d + 2 = 0 for d.
-2
Suppose -6*p + 11*p = 20. Solve -4*j = -3*j + p for j.
-4
Let y be 12/20*5 - -1. Solve -y*c + 2 = -5*c for c.
-2
Suppose n - 4*n + 4 = 4*f, 2*f + n = 4. Solve -f*r = -5*r - 3 for r.
-3
Let w = -2 + 2. Supp