e l(-1). Solve n + d*n = -3 for n.
-1
Suppose -3*y = 3*o + 3, -2*y + 3*o = -6*y. Suppose -4*b = k + 4*k - 15, -5*b - k = -y. Solve b = p + 3*p + 20 for p.
-5
Let n(r) = -r**2 - 8*r + 5. Suppose h = -3*o - 17, 3*h = -0*o + 4*o - 12. Let b be n(h). Solve b*u - u = -16 for u.
-4
Let b(s) = -s + 2. Let q be b(-6). Suppose 26 = -f + q. Let l be (2/3)/((-4)/f). Solve l + 5 = -2*i for i.
-4
Suppose 11*a = 193 - 6. Solve 0 = -o + 15 - a for o.
-2
Let t = -16 + 9. Let z = t + 11. Let d(p) = p**3 - 4*p**2 + p + 1. Let g be d(z). Solve g*x - 5 = 4*x for x.
5
Let k(v) be the first derivative of v**2/2 + v - 4. Let y be k(3). Solve 5 = -f - y*f for f.
-1
Suppose 0 = -3*z + 3*l + 39, 8 = 2*z - 3*l - 15. Suppose -u = u + 2*y - 8, -2*y - z = -2*u. Suppose i = -2*i + u. Solve -i*d = 3*d for d.
0
Let t = -23 + 25. Solve 4*h - t = 2 for h.
1
Let z be (4/6)/(6/(-54)). Let y = 28 + z. Suppose 2*c + 5*x - x = y, 0 = -3*c - 3*x + 21. Solve -j = c*j for j.
0
Let k(l) = l**3 - 4*l**2 + 4. Let r be k(4). Let j be 1/(-4) - (-13)/r. Suppose 2*m = j*m - 5*q - 9, 2*m + 4*q - 18 = 0. Solve -25 = 4*x - m*x for x.
5
Suppose q + 4*n - 3*n = 20, 0 = -5*q - 4*n + 97. Let v = q - 7. Let f be -12 + 11 + (0 - -1). Solve 0 = -f*a + 5*a - v for a.
2
Let t(k) = k**3 + k**2 - k + 1. Let q be t(1). Let u(a) = 2*a**3 - 6*a**2 + 2*a - 4. Let f be u(3). Let h be 1 - (-9 + (0 - -2)). Solve -h = -f*z - q*z for z.
2
Suppose 3*y + 0*y - 15 = 4*f, -5*y + f = -25. Solve -5*m = -0*m + y for m.
-1
Let d(y) = y - 5. Let z be d(8). Suppose 9 = -z*w + 5*j, -2*w - w + 4*j = 6. Let f be (-1 + 2)*2 - w. Solve -l + 6*l - 25 = f for l.
5
Suppose 2*f + 0*f - 22 = 0. Solve -5 = 2*q - f for q.
3
Let g = 39 - 36. Solve 4*c + g = -1 for c.
-1
Let w be (-2)/(-8) + (-54)/24. Let f be 40/(-15)*3/w. Solve 3*b - b = f for b.
2
Let a be -3 + 1 + (-4 - -7). Solve -4*t - a = 3 for t.
-1
Let m(l) = l**2 - l - 1. Let q(n) = -2*n**2 + 5*n + 7. Let p(z) = 3*m(z) + q(z). Let w be p(-5). Suppose -3*k - 7 = -w. Solve s - k = -0 for s.
4
Let t be (-6)/3*(-2)/4. Let u be ((-3)/(-9))/(t/15). Suppose -j - 2 = -6*j - 4*s, u*j = 5*s + 20. Solve j = -5*d - 3 for d.
-1
Let q(j) = -j**2 - 4*j. Let s(y) = -8*y - 3*y + y**2 + 2*y - 3*y**2. Let h(a) = -7*q(a) + 3*s(a). Let l be h(0). Solve -5*c + c = l for c.
0
Let s(q) = -q**3 - 8*q**2 - 8*q - 10. Let o be s(-7). Let x = o - -6. Solve 0 = -x*d - 13 + 1 for d.
-4
Let f = -7 - -31. Solve 4*j + 4 = f for j.
5
Let p(d) = d**2 + d - 1. Let k(s) = -6*s**2 - 4*s + 3. Let l(y) = k(y) + 5*p(y). Let q be l(3). Let x be q/(-6) - (-3)/(-9). Solve -b - x = 3 for b.
-4
Let j be (-2)/7 + 428/28. Let v be -1 - (-5)/(j/(-9)). Let c = v + 4. Solve p - 1 - 2 = c for p.
3
Let c be (6 - 5)/(2/6). Suppose -c*h = -2*h + 1. Let x be (1/(-1) - -3) + h. Solve r - x = -4 for r.
-3
Suppose 3*c - 8 = 1. Suppose -8 = -h - c*h. Suppose -h*x = x. Solve x = 5*g - g - 4 for g.
1
Let n = 7 - 6. Suppose -1 = a, a = 2*j - 0*a - n. Solve 1 = -k - j for k.
-1
Suppose -4*c + 53 + 11 = 0. Let i = c - 10. Suppose -6 = -2*s + 3*g, s - i = -s - 2*g. Solve 2*o - s = o for o.
3
Suppose -4*k + 30 = -2*c, -5*k = 2*c + c - 10. Let q(v) = 61*v - 1. Let n be q(1). Suppose n = -y + k*y. Solve 6*g - 3*g + y = 0 for g.
-5
Suppose -2*g + 7 = -b, 19 - 5 = -g - 3*b. Solve -g = -5*h + 6*h for h.
-1
Let t be (2 + 8)*(-2)/(-4). Let l = -36 - -38. Solve l*r + t = -3 for r.
-4
Let x = -21 - -21. Solve x*k = -k for k.
0
Let b(l) = -l + 3. Let r be b(11). Let n = r + 11. Solve n*p - 6 = -0*p for p.
2
Let a(x) = -x**3 - 7*x**2 + x + 9. Let b be a(-7). Suppose -5*d + 4*k + 4 = 0, 2*d - b*k + 3 - 5 = 0. Let r be 2 - (d/2)/(-3). Solve r*o - 8 = -0*o for o.
4
Let d(q) = -q**3 - 10*q**2 - 11*q - 15. Let r be d(-9). Let l(t) = t**3 + 6*t**2 + 3*t + 1. Let s be l(-5). Solve s = r*g - 1 for g.
4
Suppose 2*g + n - 9 = 0, n = -n - 2. Solve 4*p + p = g for p.
1
Suppose 5*v = -8*v + 26. Solve 0 = v*g + g - 6 for g.
2
Let i be ((-3)/6)/((-1)/12). Solve i*o - 15 = 3*o for o.
5
Suppose 3*w + j = 6*w - 9, 5*j + 9 = -3*w. Suppose -2*m - 3*y + 30 = -w*y, 5*m + 3*y = 77. Suppose -4*o + 7 = -m. Solve z = o*z for z.
0
Let f = 4 - 5. Let r be 0/(f/(1/(-2))). Solve -2*o - o - 9 = r for o.
-3
Suppose 0 = -3*s + 4*m + 32, -7 = 2*s + 3*m - 0*m. Solve 0 = s*r + r for r.
0
Let n(h) = h**3 + 9*h**2 - 23*h - 2. Let o be n(-11). Solve 8*v = o*v - 4 for v.
4
Let o be 2/(-3) + 69/9. Let m = 11 - o. Solve 3*x + m - 13 = 0 for x.
3
Suppose 3*n - 4*n + 14 = -k, -2*n - 2*k = -44. Suppose 5*q - n = 82. Suppose -10*w = -6*w. Solve w*v - q = -4*v for v.
5
Let n = -8 - 2. Let t be (-16)/(-10)*n/(-4). Solve c + t*c = 5 for c.
1
Let b be 6/12 - 14/4. Let v = b + 11. Suppose 4 = y + 2*u + 1, -5*y + 3*u = -28. Solve v = -y*l - 7 for l.
-3
Let c be -2 + (-10 - (4 - 3)). Let q = c + 28. Suppose 2*b = -b + q. Solve -r + b*r = -20 for r.
-5
Let h be -1*(0 - 1)*3. Solve h*j + 10 = j for j.
-5
Let q(t) = 3*t**3 + 6*t**2 + 6*t + 1. Let s(m) = m**3 + m**2 + m - 1. Let u(b) = -q(b) + 2*s(b). Let r be u(-3). Suppose r*g = g. Solve g = -5*p - 17 + 2 for p.
-3
Let h = -6 - 0. Let k be (1 - (-10)/h)*-6. Solve 0 = -l - k*l - 20 for l.
-4
Let q be (9 + -12)*(-4)/6. Suppose -3*g = -g + 4*s + 2, -3*s = q*g. Solve 4*x = 9 + g for x.
3
Suppose 0*b + 3*b - 9 = 0. Suppose -2*t - 9 = -t. Let a = -3 - t. Solve 0*g + b*g - a = 0 for g.
2
Let z(q) = 13 + q + 11 - 8. Let t be z(-7). Let v = 6 + -6. Solve v = 3*x - 0 + t for x.
-3
Let c = -5 + 0. Let d be ((-42)/(-35))/((-1)/c). Solve -4*w - 14 + d = 0 for w.
-2
Let q be (0 + 1)*1 - (-4 - -3). Solve -q*f + 3*f - 3 = 0 for f.
3
Suppose 5*p + 2*h - 18 = 0, -2*p + h - 2*h = -8. Solve 0 = -p*u - 0*u for u.
0
Let i(t) = t**3 + t**2 - t + 8. Let y be i(0). Let d be ((-2)/(-7))/(6/42). Let s = y - d. Solve -2*v = -0*v - s for v.
3
Let k = -2 - -2. Suppose k = 7*u - 2*u - 10. Let p be 120/21 - (-2)/7. Solve 2 = u*c - p for c.
4
Let k = 25 + -21. Solve -k*q = -0*q - 4 for q.
1
Suppose -5*i - 28 - 2 = 0. Let q(r) be the second derivative of -r**4/12 - 4*r**3/3 - 9*r**2/2 - 2*r. Let m be q(i). Solve 6*z + m = 3*z for z.
-1
Let z(y) = -y + 1. Let u be z(-5). Let l be 2 + (-3 - -4) + u. Solve 6 = -3*o - l for o.
-5
Let q(j) = -j**2 + 2*j + 2. Let u be q(2). Suppose 5*n - u = 8. Solve -v + n*v = 5 for v.
5
Let h be (-5 - 0)*-4 - 2 - 0. Solve 4*q + 2 = -h for q.
-5
Let k = 9 + -7. Suppose -k*m + 0*m = 0. Solve 3*f + m = 3 for f.
1
Suppose 3*y = a - 3 - 3, -4*a - y + 11 = 0. Solve a*z = z for z.
0
Suppose -4*h = 2 - 14. Solve h*a - 4 + 1 = 0 for a.
1
Suppose 4*p - 3*p - 5 = 0. Suppose -p*m - 12 = -32. Let a be -1 + (-2 + m - -2). Solve 7*b = a*b for b.
0
Let w be 63/14*2/3. Solve -4 = b - w*b for b.
2
Suppose 0 = -7*p - 23 + 30. Solve -2*f - p = -7 for f.
3
Let d(w) = -w**2 + 4. Let r be d(-2). Solve r*k = -5*k - 5 for k.
-1
Let m(x) = -x**3 - 14*x**2 - 12*x + 18. Let n be m(-13). Solve -3*j = 2*j - n for j.
1
Suppose -33 = -5*u + 2. Suppose -u*x = -4*x. Suppose x - 12 = -3*n. Solve -n*j + 0 = 4 for j.
-1
Let d = -8 + 2. Let f = 19 - d. Solve l - 6*l = f for l.
-5
Suppose -5 + 5 = 10*v. Solve v = -4*f + 5*f - 1 for f.
1
Suppose -4*n + 5 + 7 = 0. Let c be (-2)/n - 6/(-9). Solve 5*o - 7 - 8 = c for o.
3
Let h(i) = -2*i - 2. Suppose -t + 4*t = -6. Let q be h(t). Let o be (2 - 1*-3) + 0. Solve -q*j + j = o for j.
-5
Suppose 3*j - 25 = -2*j. Let z = j - 1. Suppose 5*p = z*p + 4. Solve 0 = -3*r + r - p for r.
-2
Suppose 0*h - 4 = -h. Suppose 0 = -3*x + 5*i - 1, x - 11 = -h*i - 0*i. Suppose u - 55 = -x*b + 14, -2*u - 115 = -5*b. Solve -8 + b = 5*m for m.
3
Let y = -31 + 62. Let j = -16 + y. Suppose 0 = -4*u + 12. Solve -u*i = -8*i - j for i.
-3
Let i = -1 + 1. Let t(k) = -k**2 + k - 3. Let y be t(i). Let s = 5 + y. Solve 0 = -2*n - 6 + s for n.
-2
Let i(o) = 4*o - 35. Let j be i(15). Solve 3*c = -2*c - j for c.
-5
Let f(u) = -u**2 + 9*u + 8. Let b be f(10). Let m be 6*(8/(-6))/b. Let a be 6/10*(-3 - -8). Solve m - 1 = a*h for h.
1
Let p(b) = b**3 + 8*b**2 - 9*b + 2. Let n be p(-9). Solve -5*r + n*r = 12 for r.
-4
Suppose 0 = -3*y + 14 - 5. Let g be 2 - (0/3 + 5). Let i be -3 - (-4 - g) - -5. Solve 0 = 2*z - i*z - y for z.
-3
Let j be (16 - (-2 + 6)) + -3. Solve j*x + 20 = 4*x for x.
-4
Let w(k) = k**2 - 4*k - 3. Let f be w(5). Suppose 0 = -0*o + 3*o - 6. Suppose 3*s + o*y - 8 = 11, 0 = 5