j + 9 = -0*j - 2*l. Let f = j + 5. Suppose -2 = 4*p - 14. Solve -f*d + 3 = -p*d for d.
-3
Let u be 2 - (1 - (-4)/(-2)). Suppose u*y = -0*y - 3. Let c = 3 + y. Solve c = p - 2 for p.
4
Let g = 5 - 0. Suppose -10 = 5*h + g. Let a be (-9)/h*(-2)/(-3). Solve 18 = 5*x - a for x.
4
Suppose -13*l = -5*l. Solve l = 16*s - 12*s - 16 for s.
4
Let a(s) = 3*s**2 + 8*s + 2. Let g(h) = h**2 + h + 1. Let q(o) = -a(o) + 4*g(o). Let z be q(4). Suppose 5 + 0 = 3*b + 2*v, -b - 3 = 3*v. Solve k = b - z for k.
1
Let j(a) = -2 + 1 + 0*a - 7 + 4*a. Let g be j(4). Solve g*n + 20 = 3*n for n.
-4
Let p = -13 - -13. Let x(u) = -u**2 + 9*u + 8. Let d be x(10). Let j be ((-36)/d)/2 - -1. Solve 2*a - j = -p*a for a.
5
Suppose 0 = -3*s + 4 + 14. Let a = s - 10. Let y = a - -8. Solve y*w + 6 = -2 for w.
-2
Let f be -1*(1 - 42/(-3)). Let j be 125/f + 1/3. Let g = 13 + j. Solve 3*z = g*z for z.
0
Suppose 30 = 5*q - 5. Let j = -1 + q. Let w = j - 6. Solve 5*f - 14 - 1 = w for f.
3
Let q = 10 - 7. Solve -q*j = -8*j - 20 for j.
-4
Suppose c - 14 + 4 = 0. Solve 15 = i + c for i.
5
Let k(f) = 2*f + 2 + 2*f**3 - 3 - 3*f**2 + 2*f**2. Let b be k(1). Solve b - 8 = -2*i for i.
3
Let n = 132 + -127. Solve -d + n = 4*d for d.
1
Suppose 6*u = 3 - 15. Let b be 5 + u - (1 + 1). Solve 2*s = b + 9 for s.
5
Suppose 11*u - 4*u = 0. Suppose -2*m + 5 = 1. Suppose m*c - 6 = 14. Solve u = -2*j + c - 2 for j.
4
Suppose 0 = -7*i + 3*i - 52. Let q = i - -13. Solve y + 2*y + 3 = q for y.
-1
Suppose -i = i - 6. Suppose 3*t - 5 = 5*s - 0, 3*s + 3 = -3*t. Solve i = f - t*f for f.
3
Let p(k) = k**2 - 7*k + 8. Let m be p(6). Suppose -4*y + m*l = -14, -4*y + 2 = -3*y + l. Solve 0 = 3*j - y - 0 for j.
1
Let f = 34 - 32. Solve 7 = -3*z - f for z.
-3
Let y = 151 - 136. Solve -11*v + y = -8*v for v.
5
Suppose 4*s = -7*u + 2*u, 2*u = -s. Suppose u = 4*z - 32 + 12. Solve z*p - 2*p + 3 = 0 for p.
-1
Let h be (0 + 1)*(-4 - -5). Solve -h = 4*i - 9 for i.
2
Suppose 4*l = -3*u + 20, 2*u = -12*l + 14*l + 4. Let n be (-2)/7 - 2/(-7). Solve n = -0*r - r + u for r.
4
Suppose 0 = -2*i + 7*i - 75. Solve 0*q + 5*q - i = 0 for q.
3
Let j(p) = 2*p**2 + 4*p + 2. Let f = 6 + -8. Let d be j(f). Suppose -5*u + 19 = 4*y, -25 = -4*y + d*u + 1. Solve -3*t + 6 = -y*t for t.
-2
Let s = 3 - 2. Let f be (2/(-6))/(3/(-36)). Let t = f - s. Solve u - t = 2*u for u.
-3
Let k = 0 - 0. Let m = -73 - -81. Solve -3*x + m*x = k for x.
0
Suppose 4*r + 4*o - 12 = 0, -5 = -3*r - o - 2. Suppose 3*x - 12 = -0*x. Solve x = m - r*m for m.
4
Let z = 5 - 1. Let u(b) = -b**3 + 4*b**2 + 7*b - 5. Let m = -4 + 9. Let v be u(m). Solve v*q - 4 = z*q for q.
4
Let a be 24/1*4/12. Suppose -3*u + 8 = -y + 2*u, a = 2*y + 2*u. Solve -10 = -4*k + y for k.
3
Let s = -23 + 24. Solve 0 = -v + s for v.
1
Let i = -3 + -2. Let d = i - -10. Suppose -3*t + d = -c + 3, -t + 14 = 3*c. Solve -1 = -t*x + x for x.
1
Let f be 14/4 + 20/(-40). Solve 8*x = f*x for x.
0
Suppose 9 + 6 = 5*j. Solve -2*u - 3 = j for u.
-3
Suppose -30 = -2*h - r, -3*h - r = 2*h - 75. Solve 4*z = -z - h for z.
-3
Let q = 13 - 21. Let j = q + 12. Let u be j/(-18) + 4/18. Solve -5*z + 4*z = u for z.
0
Suppose 2*m + 5*r - 36 + 15 = 0, 3*m - 3*r = 0. Suppose 7 - 1 = 5*s - 3*j, -9 = -m*j. Suppose 4*p - 57 - 3 = 0. Solve -s*u - 3 + p = 0 for u.
4
Let z be (-2)/(4/(-6)) - 0. Suppose z*f + 3 = 6. Let a be 12/16 - f/(-4). Solve 3*k = 7 - a for k.
2
Suppose -d = -j - 0 + 1, 5 = j. Solve -1 = -d*a + 3*a for a.
1
Suppose 4*u = -3*i + 8*i + 65, u = -2*i. Let f(x) = 0*x - x + 3*x + 2 + 0 - x**2 + x**3. Let w be f(0). Solve u = -w*p - 0*p for p.
-5
Let x(w) = 2*w + 1. Let i be x(1). Suppose -3*n = 2*l - 10, 0 = -2*n - i*n - 2*l + 18. Let h = 4 + n. Solve -2*c + h = -0*c for c.
4
Suppose 4 = -3*f + f - 4*p, 4*p = 0. Let a be -2*(3 + f)*-1. Suppose -21 - 9 = -2*g. Solve a*u + u - g = 0 for u.
5
Let i be (-1351)/(-105) - 7 - (-4)/30. Suppose 3*n = -5*o + 3, -1 = -4*o + 2*o - n. Solve 2*y + i = -o*y for y.
-3
Suppose 0 = 3*h - 2 - 4. Suppose 3*o + 4*s - 36 = 0, -7*s + 2*s = -15. Solve -o = -h*m - 2*m for m.
2
Let m(j) = j**3 + 5*j**2 - 2*j - 4. Let p = -3 - 2. Let b be m(p). Suppose -5*v - b = -4*s, -s = -0*v + 3*v - 10. Solve -k - v*k = 9 for k.
-3
Let s(w) = -w**3 - 8*w**2 + 8*w + 7. Let p be s(-9). Solve y + p = -3*y for y.
-4
Suppose v + 1 = 0, 3*v - 5 = -2*q - 2. Let k be ((-13)/3 + q)*6. Let f be (-2)/k*(-8 + 12). Solve m + 4 = f for m.
-3
Let d be (34/10)/((-6)/(-30)). Let z(p) = -p**2 - 7*p - 7. Let k be z(-5). Solve d = -k*n + 5 for n.
-4
Suppose 48*w - 84 = 44*w. Let t(y) = -y**2 + y + 6. Let g be t(0). Solve -w + g = 3*q for q.
-5
Let m = -7 - -7. Solve 0 = 3*p - m*p + 9 for p.
-3
Suppose -40 = 28*b - 33*b. Solve 3*p = -b - 7 for p.
-5
Let x be 12/66 - 40/(-22). Suppose h = o, -o + 0*o = -x. Solve 0 = -2*f - h*f + 20 for f.
5
Suppose -u = 2*u - 6. Suppose -5*d + 8 = -u. Solve 3*f - 4*f + d = 0 for f.
2
Let s be ((12/(-30))/((-3)/45))/2. Solve -d = s*d + 20 for d.
-5
Let p = 1 - 7. Let q = -4 - p. Let w = -1 + 4. Solve 10 = -w*m - q*m for m.
-2
Let d(s) = -s**3 + 2*s**2 + s. Let y be d(2). Let z = -29 - -33. Solve f - z = -y for f.
2
Let b be (-162)/(-30) - 4/10. Suppose -b*l + 0*q + 94 = -2*q, -82 = -4*l + 5*q. Suppose 4*k - l = -2. Solve -r = -3 + k for r.
-1
Let d = -4 + 5. Solve 6 = -5*f + d for f.
-1
Suppose 0 = -5*p + 20. Suppose p*v - v = 0. Solve -j + v*j = -1 for j.
1
Let k be 15/(-18)*90/(-5). Solve -k = -4*s + 1 for s.
4
Let c be (3/(-2))/(9/(-48)). Suppose -5*t - 10 = -2*b - 0*t, -4*t - c = -b. Solve b = -3*s - 1 - 5 for s.
-2
Let y(z) = z**3 - 19*z**2 + 2. Let u be y(19). Solve -u = 4*g + 14 for g.
-4
Suppose -3*q = -5*k + 1, -7 = k - 5*q + 2*q. Solve l - k*l = 2 for l.
-2
Let x = 18 + -18. Let z be (x - 0)*(-2)/4. Solve -2*f + z*f = 0 for f.
0
Suppose -3*r = -5 - 10. Suppose 36 + 4 = r*d. Solve -3*c - 7 = d for c.
-5
Let k = 10 - -2. Solve 4*r + k = r for r.
-4
Suppose -5*o - 45 = -0*o. Let b be 2/o - (-6)/27. Let x be 3 + b + 2 - 1. Solve -x + 0 = 2*q for q.
-2
Let f be 6 + (4/(-4) - -3). Solve 3*w = f*w - 25 for w.
5
Suppose 2*i - 6 = i. Solve -2*r - 4 = i for r.
-5
Suppose -8 + 11 = -3*q. Let d(z) = 0*z**2 + 1 + z + 2*z**2 + z**2. Let t be d(q). Solve -18 + t = 5*w for w.
-3
Let u = 8 + -6. Let s = -5 + u. Let c = s - -3. Solve 8 = -c*b + 4*b for b.
2
Suppose v - 3*j + 4 + 4 = 0, -v + 4*j - 11 = 0. Suppose -5*m + 18 = 3*z, 0*z - v = -z. Solve 0 = -m*w + 2 + 1 for w.
1
Let i be (-4)/4*-6 + -4. Suppose 0 = -0*a + 2*a. Suppose a = 3*w - 1 - 5. Solve w = -2*g - i for g.
-2
Suppose -2*x - x - 2*o + 19 = 0, -3*o + 24 = 3*x. Suppose -x*z + 4 = -2. Solve 0 = 3*v - z*v + 1 for v.
-1
Let h(i) = 8*i**3 - i**2. Let r be h(-1). Let y = r + 16. Let f = 10 - y. Solve -q = -0*q - f for q.
3
Let y(t) = 3*t**2 + 2*t + 1. Let q be y(3). Suppose 4*x - 2*k - k = q, 0 = 3*x + 3*k - 15. Suppose -x = -a - s - 1, a + 2*s = 10. Solve a*j - 16 = 6*j for j.
-4
Suppose 2*w + w - 6 = -3*k, -k = 4*w - 23. Suppose w = 3*j - 5. Solve -j = n - 0*n for n.
-4
Suppose 0 = 3*f - 12, -f - 4*f + 50 = 5*h. Let a be 3/(-6)*h - -6. Solve 0 = -8*b + a*b + 25 for b.
5
Let r be 7*1/(14/4). Let b be 2 - (0 - (-1 - -3)). Let q(i) = 2*i - 6. Let n be q(b). Solve -12 + r = -n*l for l.
5
Let x = 147 + -144. Solve y - x = 2 for y.
5
Suppose 0 = 2*x - t - 1 - 9, 3*x + 3*t - 24 = 0. Solve -5*p + x = -2*p for p.
2
Let l = 5 + 3. Suppose 3*m - q = 10 - 0, -m + 14 = 5*q. Solve -l = -3*s + m for s.
4
Let f = -6 - -8. Suppose 2 - 10 = -f*u. Solve -24 + u = 4*t for t.
-5
Let j(d) be the first derivative of -d**2/2 + 1. Let x be j(-2). Solve x = -5*g - 3 for g.
-1
Suppose 4*b - 96 = -m - 3*m, 4*m - b - 76 = 0. Solve j - m = -3*j for j.
5
Let g(n) = 3*n + 27. Let i be g(-9). Let v = 0 - -2. Suppose 2*r - 2 - v = i. Solve r = -d - 0*d for d.
-2
Let s be 8 + 0 - (-1 - -4). Solve 3*t + s = -2*t for t.
-1
Let i(t) = 0 + t - 3*t - 2. Let r be i(-3). Solve 3*j - r - 2 = 0 for j.
2
Suppose -5*g + 50 = -0*g. Solve -5*r = -15 - g for r.
5
Suppose 3*o + 4 = 4*o. Solve q - 12 = o*q for q.
-4
Suppose 4*j - 15 = j + 5*c, -3*j = -4*c - 15. Let f = -4 - -7. Suppose 0 = -7*s + 3*s + 8, -f*d + 3*s = -3. Solve -d*w = -j*w + 6 for w.
3
Let a = -16 - -10. Let p = a - -8. Solve -7 = -o - p for o.
5
Let j(g) be the first derivative of -g**4/4 + 7*g**3/3 + 2. Let r be j(7). Let 