*u = t for u.
0
Let s(k) = k**2 + 15*k - 16. Let n be s(-16). Solve 5*d - 15 = -n*d for d.
3
Suppose 3*m = -3*n + 15, -4*n + 11 = -2*m - 3. Suppose 0*p - 5*p = n*h + 8, -5*h = -3*p + 10. Solve 10 = -5*l - p for l.
-2
Suppose -b - 7 = 4*z - 7*z, -2*b = -10. Suppose 50 = r + z*r. Solve -y + 6*y = -r for y.
-2
Suppose -5*t + 90 = t. Suppose -l + 1 = -1. Solve -3*j - l*j = -t for j.
3
Let f = 0 - -3. Suppose -u - 3*i - i - 3 = 0, -i = 4*u - 63. Let j = 37 - u. Solve -f*b = -8*b - j for b.
-4
Let t(c) = -c. Let w be t(0). Suppose 0 = 5*q - 13 + 3. Solve q*y - y - 3 = w for y.
3
Let i(z) = z + 1. Let d be i(1). Suppose -5*r - d*w = -12, -r = -w - 3 + 2. Solve -1 - 1 = r*t for t.
-1
Let l be 6/8 + (-5)/(-4). Suppose l*j - 4 = 4. Suppose j*i = i + 12. Solve -2*n - i = 2*n for n.
-1
Let f(x) = x**2 - 4. Let o be f(4). Let n be 1/((1/(-9))/((-6)/18)). Solve -p - o = n*p for p.
-3
Let v(b) = -2*b**3 - 13*b**2 - 8*b - 9. Let a be v(-6). Suppose t = -a*t + 4. Solve -7 = -2*d + t for d.
4
Suppose -3*b = -0*b - 6. Solve b*f + 2 = 4 for f.
1
Suppose -7 - 34 = 5*z + 3*c, -2*z - 4*c - 22 = 0. Let a = -7 - z. Solve -2*t + a*t = -10 for t.
5
Let b(w) = -w. Let m be b(-2). Let v = -11 + 13. Let d(f) = -f**3 + 3*f**2 - 2. Let r be d(v). Solve -m*x = -r - 8 for x.
5
Let c = 5 + -2. Let s(y) = -2*y - 6. Let w be s(-5). Suppose -c*x + w*x - 3 = 0. Solve 3*g = x - 0 for g.
1
Let t(x) = x**2 + 13*x + 6. Let n be t(-14). Solve 2*g + 2*g - n = 0 for g.
5
Let s(r) = 5*r + 45. Let k be s(-8). Solve 0 = -i + k*i for i.
0
Suppose 4*z = 7*z. Let w be ((z/(-4))/(-3))/2. Solve 4 + w = i for i.
4
Let i be (-18)/12 - (-6)/4. Suppose 3*k - y - y = i, -4*y = 5*k. Solve 0 = -k*d + d + 1 for d.
-1
Let s(g) be the second derivative of -g**4/8 - g**3/2 + g**2 + g. Let v(w) be the first derivative of s(w). Let u be v(-2). Solve u*y + 9 = 6*y for y.
3
Let q(f) = -f**3 + 10*f**2 - 8*f - 9. Let p be q(9). Suppose 4*w + p*w = 8. Suppose -5*j + 0*j = -4*h - 23, -w*j - 3*h = -23. Solve -2*a + 3 + j = 0 for a.
5
Suppose 3*g - 16 = -g. Solve 2 = -3*r - g for r.
-2
Let o(f) = f**2 - f + 2. Let z be o(3). Suppose -22 = -2*y + z. Solve 0*a = -5*a - y for a.
-3
Let c(v) = 1 - 4*v - v**2 + 5*v**3 - 6*v**3 + 3*v**2 + 2*v**3. Let l be c(-3). Solve -6 = l*p - 2 for p.
-1
Let y(d) = -d**3 + d**2 + d. Let v be y(0). Solve v = -h - 3*h + 4 for h.
1
Suppose 8 = -2*u - 2*h, h = -5*u - 1 - 3. Solve 0*l - l = u for l.
0
Let j(q) = 4*q + 7. Let z(g) = -5*g - 8. Let i(t) = -4*j(t) - 3*z(t). Let a be i(-4). Solve a = -u + 4*u + 6 for u.
-2
Let k be (-1)/(64/(-12) + 5). Solve -w + 2*w = -k for w.
-3
Let i be (1/(-3))/(4/(-48)). Solve 0*j = 4*j + i for j.
-1
Suppose -i - 5*p = -0*i - 8, -2*p + 14 = 4*i. Solve 0 = 5*n - i*n + 6 for n.
-3
Let q = -7 + 7. Suppose 2*o + q*o - 14 = 0. Solve -2*g = -1 - o for g.
4
Let j be 3 + -2 - (-6)/3. Suppose -z = j*z. Solve z = 5*l - 3*l for l.
0
Suppose 5*n = 6*n - 5. Suppose n*z + 4*k = 22, 0 = -3*z + 5*z + 5*k - 19. Solve -5*p + 15 = -z*p for p.
5
Let y(l) = l**3 + l**2 + 5. Let n be y(0). Suppose -20 = 2*j + 4*q, -2*q + 3*q = 2*j - n. Solve j = -2*p + 6*p - 8 for p.
2
Let t(i) = -5*i**2 + 12*i - 23. Let u(w) = 2*w**2 - 4*w + 8. Let r(f) = -3*t(f) - 8*u(f). Let k be r(-5). Solve -2*l + k = 2 for l.
-1
Let q be 1 - 0 - (-2 + 3). Suppose q = -2*l - 1 + 11. Suppose l*d + 5 = -5*m, -3*m + 4*d + 4 = -0*d. Solve m = 3*s - 2*s for s.
0
Let n be (-6)/(-3) + 2/2. Let w = 29 - 16. Suppose w = n*l - 47. Solve -a + l = -6*a for a.
-4
Suppose 6*p - p - 55 = 0. Suppose -p*z = -10*z. Solve y = -2 - z for y.
-2
Let d = 9 - 4. Suppose d*c = 21 - 6. Let n = c + -3. Solve n = -3*h + h + 6 for h.
3
Let x be (1/(-2))/((-4)/16). Suppose 2*v = 2*z - 1 + 9, x*v + 5*z = -6. Solve -v*t + 5 = 3*t for t.
1
Let v = -8 + 11. Suppose -v = -3*f + 6. Solve 10 = f*m - 5 for m.
5
Let b = -12 - -14. Suppose 2*y - 5 - b = q, 4*q + 4 = 0. Solve -y*j - j = -16 for j.
4
Let t(k) = -k**2 - 7*k + 3. Let r(s) = s**3 + 5*s**2 - 5*s - 1. Let c be r(-6). Let f be t(c). Suppose -5*o + 27 = -3. Solve -f*a + 3 = -o for a.
3
Suppose x - 4*f + 19 = 0, 0 = -3*x + 2*f + 7 - 34. Let h = -5 - x. Let a be h/(-3) + 44/12. Solve -a = 4*j - 11 for j.
2
Let u be ((-1 + 4)/6*0)/(-1). Solve b + 2 = -u*b for b.
-2
Suppose -2 = 4*v - 6. Suppose 0 = 2*d - d. Solve d = -x + 3 - v for x.
2
Let b be (-4)/(6/(-2 - 1)). Let f be -4*(-1)/(-4)*-5. Suppose -4*u + m - 2*m = -18, -30 = -4*u + f*m. Solve 0 = b*a - u*a + 6 for a.
2
Let u = -77 - -78. Solve 0*p + u = p for p.
1
Suppose 9*q - 13 = 23. Solve -q*o + 1 = -3*o for o.
1
Let i(a) = a**3 - 9*a**2 + 8*a + 4. Let c be i(8). Solve 0 = -c*d + 19 - 3 for d.
4
Suppose 2*x + r - 7 = -3*x, -5*x + 4*r = 3. Solve 2*p + 1 = -x for p.
-1
Let m = 36 + -31. Solve 2*d = -m - 1 for d.
-3
Suppose 0 = 2*l + 1 + 7, o - 21 = 4*l. Solve -o*g - 7 = -32 for g.
5
Let i(b) = b**3 - 7*b**2 - 7*b - 5. Let m be i(8). Let f be -1 + -2 + 9/m. Solve f = 2*p + 9 - 3 for p.
-3
Let a(b) = -b + 10. Let q be a(8). Suppose -o + 2*o - 3 = 0. Solve -o*t + q = -4 for t.
2
Let l = 14 - 11. Let x be (3/2)/((-1)/(-10)). Suppose -3*b = -x + l. Solve -b = -4*a + 12 for a.
4
Let g = 0 + 2. Let l(b) = b**2 + 8*b + 0*b**2 - 9 + g. Let s be l(-9). Solve 8 = s*m - 0 for m.
4
Let c = 0 + -2. Let g be 6/c*(1 + -2). Suppose 5 = g*l - 7. Solve l - 14 = -2*a for a.
5
Let l(c) = -c + 16. Let o be l(13). Solve 1 + o = -2*x for x.
-2
Let j(p) be the first derivative of -p**2/2 - 5*p - 3. Let m be j(-9). Suppose -m*o - 8 = 3*t, -2 = t - o - 11. Solve -t*v = -0*v + 12 for v.
-3
Let g = -19 - -14. Let q = 8 + g. Solve -5*f = 18 - q for f.
-3
Let a(f) = -2*f**2 + 7*f - 3. Let x be a(3). Solve -v - 1 = -x*v for v.
-1
Let v = -6 + 6. Let t be 328/28 - (-4)/14. Solve v = -c + 5*c - t for c.
3
Let u(k) = 7*k - 5*k**2 + 8 + 4*k**3 - 11*k**3 + 6*k**3. Let i be u(-6). Solve 0 = i*m - 3 + 1 for m.
1
Suppose 2*i - 62 = 4*j - 0*j, 0 = 4*i + j - 106. Let g = i - 22. Solve g*q + 4 = q for q.
-1
Suppose 0 = u + 2*h + 3*h - 10, -2*u + 2*h = 16. Let m(c) = c + 7. Let y be m(u). Solve n + y = -1 for n.
-3
Let f(j) = -j**2 + 4*j. Let t be f(3). Suppose -2*a + 1 = -t. Let d(m) = m**2 - 6*m + 1. Let g be d(6). Solve 0 = -i + g - a for i.
-1
Let s(u) = 8*u - 16. Let t(h) = -h + 1. Let c(b) = s(b) + 4*t(b). Let y(g) = g - 1. Let d(m) = -c(m) + 3*y(m). Let i be d(5). Solve -i*w = -6*w for w.
0
Let n = 2 - 0. Suppose -d + 18 = 3*d + 5*f, 0 = d + 4*f - 10. Let m = d - -5. Solve -10 = n*c - m*c for c.
2
Suppose -32 = -2*i - 2*i. Let t be ((-3)/6)/((-2)/i). Suppose -t*r + 0*r = 0. Solve -2*y - 8 = -r for y.
-4
Let d(i) = i**3 - 2*i**2 + 1. Let r be d(1). Solve -z + 3 - 5 = r for z.
-2
Suppose 0 = -20*d + 16*d. Solve d = -4*c + 2*c - 6 for c.
-3
Suppose -2*i = -5*f + 20, i - 5*i - 12 = 4*f. Solve 2 = -3*n + f*n for n.
-2
Suppose 73 - 23 = 5*s. Suppose -4*r + 0*r + s = -q, -3*q - r + 9 = 0. Let k be (0 + -4)*q/(-4). Solve k = -z - 0 for z.
-2
Suppose 4015 = 3*b + 910. Let d be 2/7 - b/21. Let q be ((-42)/d)/(2/14). Solve 0 = -5*a - q - 4 for a.
-2
Suppose 2*x - 23 = -3. Let j be 5/x + 6/4. Solve -1 = 3*a + j for a.
-1
Let n be 10 - (7/(-3) - 9/(-27)). Solve 0 = 4*t - n + 32 for t.
-5
Let z(l) = -l**2 + 12*l + 9. Let t be z(12). Let p = -27 - -38. Let n = p - t. Solve 2 = -n*w + 3*w for w.
2
Let w = -15 - -15. Solve w = -2*l - l + 3 for l.
1
Let q = -3 + -6. Suppose -2*h + 3*h + 3 = 0. Let r be (6/q)/(1/h). Solve 0 = 5*p + 12 - r for p.
-2
Let x(r) = -r**2 + 3*r + 4. Suppose -3*c + 5*t = -17 + 5, 2*t = 4*c - 16. Let n be x(c). Solve n*h - 20 = 4*h for h.
-5
Let x = -33 + 35. Solve x*t - 3*t = 4 for t.
-4
Let j(k) = k**3 - 6*k**2 + k - 4. Let n be j(6). Solve -n*y - 2 + 0 = 0 for y.
-1
Suppose 0 = 5*p - 4*p - 1. Suppose 6 + 2 = -v. Let t(l) = -l - 5. Let q be t(v). Solve -4 = -q*a - p for a.
1
Suppose -4*y = -y - 3*q - 21, -8 = -4*y - q. Let h be ((-2)/(-1) - 2)/2. Suppose h = y*d - d. Solve 2*x = -d*x for x.
0
Let t(l) = 5*l**3 - 5*l**2 - l - 2. Let w(y) = 4*y**3 - 4*y**2 - y - 2. Let o(z) = 3*t(z) - 4*w(z). Let x be o(0). Solve -a - 6 = -x for a.
-4
Let z(s) = -s**3 + 3. Let g be z(0). Solve 0 = g*y - y + 4 for y.
-2
Suppose -5*r + r = 3*h - 6, -4*r + 18 = -3*h. Solve 6*w - 5*w = r for w.
3
Let u be 2 - (-1 + 1 + 2). Let x = u - -4. Suppose r + 5 = -m - x*m, 4*m - 20 = 4*r. Solve