 + 0 - 12 + 3*o + 2 - 9*o**2. Let j be p(2). Solve -6 = -6*h + j*h for h.
3
Let l be -8 + 2 + 3 + -3. Let s(t) = -2*t - 10. Let j be s(l). Solve j*c = 3*c for c.
0
Suppose 4*z - 32 = -12. Suppose 2*h = z - 3. Solve -j = -h + 4 for j.
-3
Let u(n) be the first derivative of -n**4/2 - n**2/2 - n + 16. Let v be u(-1). Solve 0 = o + o + v for o.
-1
Suppose 3*a = -2*a. Solve a = o - 5*o + 16 for o.
4
Let v(p) = -4*p - 3. Let o be v(-2). Let l = 29 - 39. Let g be (l + 7)*2/(-2). Solve -18 = o*h - g for h.
-3
Let i be 3 + (6/(-3) - -3). Let r = -992 + 992. Solve r + 4 = i*k for k.
1
Let y(t) = 5*t. Let w be y(2). Let l be (-80)/(-15)*(-3)/2. Let c = w + l. Solve -2*a - 4 = c*a for a.
-1
Let r be (-5)/5 + 2 + 2/2. Suppose 0 = -2*t - 2*q + 4, -4*t - 2*q + 3*q = r. Solve t = -z - 0 + 2 for z.
2
Suppose k + 1 - 3 = 0. Suppose 0*l - k*l - 12 = 0. Let x(b) = -b**3 - 7*b**2 - 5*b + 8. Let n be x(l). Solve -c - n = c for c.
-1
Let s(p) = -p**2 - 3 - 2 - 5 - 9*p + 4. Let y be s(-4). Suppose y = k - 2*f + 5*f, -5*k - 2*f = -31. Solve k*o + 2 - 17 = 0 for o.
3
Suppose 0 = -8*u + 3*u + 5. Suppose 2*j = -j + 18. Let r be j*(-1)/9*-3. Solve a + r = -u for a.
-3
Suppose -3*w + 33 = -5*y + 2, 4*w = -2*y - 2. Solve w*x + 8 = -0*x for x.
-4
Let x be ((-4 - -6) + -2)/(-9). Solve 7*p - 6 + 20 = x for p.
-2
Suppose -12 = 1224*t - 1228*t. Solve 0 = -t*y + 7*y + 8 for y.
-2
Suppose 4*h + a = -0 + 45, 2*h = 4*a. Solve h + 0 = 5*j for j.
2
Let t be -2*75/(-6)*-1. Let i = -23 - t. Solve -p = i*p for p.
0
Let c be 2/4 - (-10)/4. Let d be 1 - (c - 63)/4. Suppose -1 = 5*j - d. Solve -2*x + j = -3 for x.
3
Suppose -7*d - 8 = -11*d. Suppose -w + 9 = d*w. Suppose -3*i + 27 = -w*o, -5*o + 3*o - 10 = 0. Solve -u - 2 = -i for u.
2
Let c(o) = o**2 + o - 1. Suppose -6*x + 4*s = -3*x - 11, -s - 6 = -4*x. Let a be c(x). Suppose -d + 2 = 0, -d - 6 = -3*p + a. Solve p = -y - 2 for y.
-5
Let j = 61 + -31. Let n = 12 - j. Let v = n + 23. Solve -v - 3 = 2*u for u.
-4
Let o be 3 - 0 - 12/4. Suppose 47 = 4*c + 7. Solve -3*d + d + c = o for d.
5
Let d(p) = 6*p + 199. Let a be d(-31). Solve -2*c - 21 + a = 0 for c.
-4
Let a be 2/((10/(-12))/5). Let j = 15 + a. Solve -4*z + 5*z = -j for z.
-3
Let y(p) = -5*p - 8. Let u = -27 + 25. Let r be y(u). Solve 4*f = r*f - 4 for f.
-2
Suppose -3*s + 2 = w - 2*s, s - 2 = -5*w. Let x = 10 + -3. Suppose -x*o = -2*o - 40. Solve -4*z + o = -w*z for z.
2
Let x(o) = o + 20. Let u = 17 - 33. Let t be x(u). Solve 19 - t = 3*d for d.
5
Suppose -5*n - 12 = -2*j, 4*j - 40 = 2*j - 2*n. Solve 11*t - 7*t = -j for t.
-4
Let z(k) = -k**3 - 9*k**2 - 7*k + 8. Let d be z(-8). Let b be (16/6)/(1/3). Suppose -17*q + 49 = -2. Solve -q*r + 4 + b = d for r.
4
Let b(w) = 2*w**2 - 34*w - 162. Let f be b(21). Solve -f*p = -10*p for p.
0
Let r = -62 + 51. Suppose -4*i - 3*b = 32, b + 32 = i - 5*i. Let f = i - r. Solve -5 = 4*u + f for u.
-2
Suppose 0 = -2*o - a, 0 = -3*o - 3*a - 2*a. Suppose 2*f - 22 = -5*z, 4*z - f = 8 + 7. Suppose 3*v + d = 5 - o, -2 = v + z*d. Solve 0 = -m + v*m for m.
0
Let f(r) = -12*r + 20. Let q(h) = -h + 1. Let g(w) = -f(w) + 5*q(w). Let m be g(3). Solve -25 = n - m*n for n.
5
Suppose 5*r + 57*l = 52*l + 425, r + 4*l = 97. Solve 0 = 8*a + 49 - r for a.
4
Suppose 5*v - 24 = -3*p + 3, 3*v = -4*p + 14. Solve 4*o = v*o + 2 for o.
-1
Let m be -30*11/(-22)*4/6. Solve 19*j - 14*j - m = 0 for j.
2
Suppose -f + 23 + 35 = 3*v, 67 = 2*v - 5*f. Solve -9*c + v = -2*c for c.
3
Suppose h + 5*b + 6 = 3*b, -4*b = -h + 18. Solve 2*t = h - 4 for t.
-1
Let w(f) = f**3 - f**2 - 2*f + 1. Let n be w(2). Suppose -n = -3*c - m + 7, 4*m + 16 = 0. Solve -c = x - 1 for x.
-3
Suppose 5*c - 21 = 2*c. Let q = 9 - c. Suppose 4 + 4 = q*z. Solve s = 5*s - z for s.
1
Let w = -4314 + 4323. Let o = 1 - 1. Solve 3*z - 6 - w = o for z.
5
Suppose 3*x + 5*t + 14 = 0, -5*x - 1 - 1 = 3*t. Let m be (9*x)/((-33)/(-154)). Suppose -2*l + 5*s = -0*s - 49, -3*l + 4*s = -m. Solve 5*d = -l + 12 for d.
-4
Let p(w) = 2 - w**2 + w**3 - 7*w + 5*w - 2*w**3. Let u be 4/16 - (-1)/(-4). Let i be p(u). Solve l = i - 3 for l.
-1
Let y(n) = 13*n + 2. Let t be y(2). Let g = t - 24. Let z be 12/8*(-8)/(-3). Solve -z*l = -0*l + g for l.
-1
Let j(l) = -l**3 + 7*l**2 + 5*l - 27. Let s be 168/30 - -1 - (-6)/15. Let d be j(s). Solve -5*u - 7 = d for u.
-3
Suppose 6*a - 5*a - 4 = 0. Suppose -b + 17*b - 48 = 0. Solve b*s - a*s - 1 = 0 for s.
-1
Suppose -7*l - 2585 = -54*l. Solve -l - 45 = 20*g for g.
-5
Suppose 2 = a - 29. Let b = -26 + a. Suppose 1 = -2*z + j + 10, 30 = 5*z - b*j. Solve -z*o + 12 = o for o.
3
Let k be 2/16 + 558/144. Solve -5*c - 1 = k for c.
-1
Suppose 5*t - 28 = -8, -3*q + 3*t = 12. Solve q = -0*u + u - 1 for u.
1
Suppose 2*o + 300 - 64 = 0. Let f = o - -55. Let m be 8/(-14)*f/18. Solve -2*d - m = -4 for d.
1
Let t be (13 - (-3 + 5))*3. Solve -15*l + t = -4*l for l.
3
Let d = -1046 - -1046. Solve -130*q + 127*q = d for q.
0
Let s be 3 + -7 + 29 + -5. Solve 3*h + s = -2*h for h.
-4
Let j(x) be the first derivative of -x**3/3 + 3*x**2/2 - 2. Let d be -6*(1 - (-6)/(-4)). Let i be j(d). Solve -2*c - 3 + 9 = i for c.
3
Let o(m) = -7*m**3 - 4*m**2 - 2*m + 1. Let i be o(-1). Solve 13 + 17 = -i*r for r.
-5
Let p = -78 + 81. Let s(k) = 4*k - 6. Let w be s(4). Solve 5*z = p*z + w for z.
5
Suppose -2 = -4*f - 2*r - 0, 0 = f + r. Let a be (8/(-6))/((-16)/36). Solve -f = -k - a for k.
-2
Let t(v) = 3 - 2*v + 0 - 21 + v. Let o be t(-8). Let w = o - -15. Solve 4*a - w*a + 2 = 0 for a.
2
Let c(z) = 7*z + 1. Let u be (1 + -4)/((-3)/3). Let t be c(u). Let f = -12 + t. Solve 3*l + f = 5*l for l.
5
Let w(t) = 8*t + 69. Let r be w(-6). Solve 0 = -6*n + 13*n + r for n.
-3
Let d = 90 + -55. Let s = -32 + d. Solve 4*r - 3*r - s = 0 for r.
3
Let b be 22/(-55) + 6/(-10). Let j = b + 4. Let x be 5 + 0*3/6. Solve x*g = -2 - j for g.
-1
Suppose 3*u = 15 - 3. Suppose -3*o = -u*o + 68. Suppose 4*n + 0*t - o = 2*t, -n + 7 = 2*t. Solve -3*z + 0*z + n = 0 for z.
5
Let g(u) = 4*u**2 - 30*u - 9. Let w be g(8). Solve 0 = -w*c + c + 18 for c.
3
Let k(s) = 63*s + 1077. Let g be k(-17). Solve -4 = -10*o + g*o for o.
1
Let k be (-18)/((-2 + 26/4)/(-6)). Suppose 0 = 16*r - k - 8. Solve -5*n - 9 = -r*n for n.
-3
Let p(l) = -65*l - 325. Let q be p(-5). Solve q = -19*s + 8*s + 55 for s.
5
Let j = 422 - 420. Solve 3 + j = -o for o.
-5
Let t(x) = 4*x - 48. Let m be t(12). Solve m = 11*n - 3*n + 40 for n.
-5
Let a = 11868 + -11865. Suppose -2*k + 36 = -4. Solve -a*i - k = i for i.
-5
Suppose 5*t = 38 - 28. Let k be (t - -1)*1/1. Solve 0 = -a + k - 1 for a.
2
Let l be (-204)/(-60) - (-2)/(-5). Suppose -4*b = l*n - 7, 3*n - 5*b = 8 + 17. Suppose 2*a - x = n, 7*x = 2*x + 15. Solve a = -2*j - 2 for j.
-3
Suppose 36 = -a + 4*a. Let h = -21 + 11. Let w = a + h. Solve w*z = -0*z - 2 for z.
-1
Suppose -3*j + 6*g = 3*g - 123, -5*j = -3*g - 207. Let k = j + -32. Solve 5*u + 0 = -k for u.
-2
Suppose 80*n - 83*n = 0. Let u be (-8)/2*(-1)/4. Let y be -2*(-1)/2*u. Solve -m - y + 0 = n for m.
-1
Let m = 151 - 117. Let g be (-2)/8 - m/(-8)*1. Solve -g*l = -l - 3 for l.
1
Let f be 20/(-30) + (-11)/(-3). Let n be 26/4 - f/2. Solve s + n = 1 for s.
-4
Let n = -1 - -5. Suppose -37*j - 9 = -40*j. Suppose -3 = -2*q + j*m, 3*q - n*m - 4 = 4*q. Solve -z = -q*z for z.
0
Let f(m) = -4*m - 30. Let v be f(-9). Suppose 8*j - 6 = -v. Solve -p - 4*p = j for p.
0
Suppose 0*l - 1 = 5*p - 4*l, 0 = 4*l + 4. Let k be (12*p/7)/((-76)/266). Solve -w = -3*w - k for w.
-3
Let q(j) = j**3 + 6*j**2 - 6*j - 8. Let y be q(-7). Let c = y + 24. Solve -3 = 4*l + c for l.
-3
Let u be (-4)/20 + 4/20. Solve 0 = 3*i - u - 6 for i.
2
Suppose a - 6 = -2. Let b = -4189 - -4191. Solve b*q - a = -6 for q.
-1
Suppose -2*k = 3*f + 71, -k - 2*k = -3*f + 129. Let a = k - -47. Solve 3*d - a*d = 0 for d.
0
Let r(q) = -q**2 - 13*q + 9. Let z be r(-13). Let c be (z/6)/(-3)*0. Suppose -6*b + 2*b = c. Solve b = 2*m - 0*m + 8 for m.
-4
Let q be 13*(-1)/(-2) + (-10)/4. Solve -q*r = -5 + 17 for r.
-3
Suppose 2*f + 15 = -0*x + 5*x, -2*f + 2*x = 0. Suppose -8 + f = -u. Solve -2*c = u*c - 5 for c.
1
Suppose 3*s + 0*s = 0. Suppose 4*o = -5*x + 102, -3*x - 5*o + 108 - 39 = s. Suppose 0 = -7*r + 10*r - x. Solve 4*z = r*z + 8 for z.
-4
Let f = 11 - 8. Let u = -30 - -15. Let a be 12/u*5/(-1). Solve -a = -p - f*p for p.
1
Let d be 