 -4*t = -1 - p for t.
2
Suppose 81 = 4*j - p, 2*j + 5*p - 28 = 3*p. Let v = j + 6. Solve 0*s = -5*s - v for s.
-5
Let d be ((-12)/15)/((-146)/(-50) + -3). Solve d = 5*a - 3*a for a.
5
Suppose h - 25 = -0*t - 5*t, -2*h + 2*t - 10 = 0. Suppose 4*p = 3*g - h*p - 42, 0 = -g - 2*p + 24. Let n = g - 5. Solve 0 = -3*y + n - 1 for y.
4
Suppose 3*p = -2*p + 60. Suppose p = 4*i - 4. Solve -i*j - 23 = -7 for j.
-4
Let m = 74 - 68. Solve y = -2*y - m for y.
-2
Let x be 2/7 + (57/21 - 3). Solve -2*w + x*w = 0 for w.
0
Let o be 100/36 - 2/(-9). Suppose -o = -3*f - 0*f. Let g(t) = 3*t**2 - t. Let x be g(f). Solve -x*d - 2 + 0 = 0 for d.
-1
Let r be (-1)/(1/(-4 + 0)). Solve -r*b - 20 + 4 = 0 for b.
-4
Let j(c) = c**2 - 11*c - 12. Let b be j(13). Solve b = 4*v - 2 for v.
4
Let u = 11 + -8. Let n be 0*(0 - 2/2). Suppose 3*j + n = 9. Solve 0 = -u*y + 6 - j for y.
1
Let p(f) = 4*f**3 + 2*f**2 - 1. Let r = -1 + 2. Let k be p(r). Solve 4 + 1 = -k*c for c.
-1
Let q(h) = 2*h + 14. Let n be q(-7). Solve n = g + g + 10 for g.
-5
Suppose 13*s - 4*s - 90 = 0. Solve 0*a = -2*a - s for a.
-5
Let o(y) = -3*y + 3. Let m be o(3). Let g(j) = j**3 + 5*j**2 - 7*j - 4. Let u be g(m). Suppose -u*x = -x. Solve x*i = 5*i - 5 for i.
1
Let f = -49 + 53. Solve -1 + f = s for s.
3
Let y(h) be the second derivative of h**3/2 - 4*h**2 - 2*h. Let s be y(6). Suppose -b - 3*w + s = 0, 6*b - w = 3*b. Solve -24 = 5*q + b for q.
-5
Let i(j) = -8*j**3 + j. Let x be i(-1). Let m be ((-21)/x)/((-1)/1). Let u = 2 + 1. Solve 0*w = -m*w + u for w.
1
Suppose -6*x + x - 35 = 0. Let s(d) = -d**3 - 6*d**2 + 7*d + 2. Let j be s(x). Let z be 4/6 + 4/3. Solve -20 = -z*n - j*n for n.
5
Let d(s) = -4*s**3 + 2*s**2 + 2*s - 4 + 2 + 3. Let r be d(-1). Let k = -2 + r. Solve 0*j - k = -j for j.
3
Suppose 5*a + 34 = 2*a - 5*u, -4*a - 2*u = 22. Let m = a + 5. Let r = m + 2. Solve -5*b = -b + r for b.
-1
Suppose -1 + 7 = 3*k. Let d(n) = -4*n - 3. Let f be d(-3). Solve k*u - 1 = f for u.
5
Let w(i) = -i**2 + 6*i + 2. Let l be w(6). Suppose 4*f = z + 2, 3*z = l*f - 2*z - 10. Suppose f = 3*c - 5 - 4. Solve -c*q + 8 = -4 for q.
4
Suppose -3*k + 6*k - 6 = 0. Suppose -k*g + 11 = 3. Solve 4*i + g + 0 = 0 for i.
-1
Let m(x) = x**3 + 4*x**2 - 3. Let w be m(-3). Let t be (5 - 11)*(-2)/w. Suppose -t*s - s - n + 10 = 0, 0 = s + 3*n + 10. Solve 4*v = 15 + s for v.
5
Let m(p) = -p**3 - 3*p**2 - 3*p - 1. Let b be m(-3). Suppose -b = -v - 2*i, i + 12 - 34 = -5*v. Solve -4 = -v*h - 20 for h.
-4
Let g be (-164)/(-24) - (-2)/12. Let k be (g/(-21))/(1/(-18)). Solve -k = -7*t + 4*t for t.
2
Suppose -1 = 2*v - i, 0*v - 2*v = 2*i - 2. Let j(q) = -q + 2. Let g be j(v). Solve c - g = -c for c.
1
Let m(u) = 4*u**3 + u**2 + 5*u - 1. Let w(t) = 3*t**3 + 4*t. Let n(z) = -4*m(z) + 5*w(z). Let y be n(-4). Solve 0 = y*c + 6 + 2 for c.
-2
Suppose 6 = -3*k + 3, 9 = 2*w + k. Suppose 3*t + 48 = w*i, 3*i - t - 10 = 2*i. Suppose -5 = g - 0*g, 2*q + i = -5*g. Solve -3*r + q = -1 for r.
3
Let x be 1 + -3 + 1 + 1. Suppose -4*m = -x*m - 8, p = -2*m + 4. Solve p*v + 4 = -v for v.
-4
Suppose -5*p - 4*f = 1, 4*f + 13 = 2*p - 3*p. Suppose -p*t = -7 - 20. Solve -2*a - 3 = -t for a.
3
Let y(g) = -g - 10. Let o be y(-12). Solve 0 = -4*m + 2 + o for m.
1
Let n(h) = h**3 - 9*h**2 + 9*h - 7. Let a be n(8). Solve l + a + 0 = 0 for l.
-1
Let x = 11 - 8. Solve 2*l - l = x for l.
3
Suppose 5*k = 7*k + 18. Let q = k + 9. Solve 6*a - 3*a = q for a.
0
Suppose 6*d - 7 = 5. Solve d*v = 3 + 1 for v.
2
Suppose 3*a = 3 + 6. Suppose -a*l + 0*l + 9 = 0. Let d = 3 - 2. Solve 0 = l*w - 4*w + d for w.
1
Let n = -101 + 104. Solve 0 = n*u + 4 + 5 for u.
-3
Let o be ((-21)/4)/(7/(-28)). Suppose 10*y - 5*y - 4*u + o = 0, -y + 3*u = 13. Let i be -3 - y - (-2 - 0). Solve i = 5*c + 12 + 8 for c.
-4
Let f(r) = r**3 - 5*r**2 + r - 5. Suppose 2*w + 2*q - 14 = 0, -4*w + 28 = -4*q - q. Suppose -w*d + 20 = -3*d. Let o be f(d). Solve 3*v + o*v = 12 for v.
4
Let v = -37 - -39. Solve v*o + 3*o + 10 = 0 for o.
-2
Let q be (0 + -5)*-1*1. Suppose -3*u + b = -6, -5*u + u = -3*b - 3. Solve q*n - 8 = -u for n.
1
Let i = -8 - -14. Solve 0*j - i = -3*j for j.
2
Let y(j) = -j**3 - 8*j**2 - 7*j. Let p = -10 - -5. Let k(g) = g - 2. Let d be k(p). Let s be y(d). Solve -2*w = -s*w + 2 for w.
-1
Suppose 0 = i - 2 - 1. Let d = 2 - -1. Let j = i - d. Solve -2*l + 0 + 8 = j for l.
4
Suppose -4*u + 6*h = 2*h + 68, 4*h + 4 = 0. Let x = -14 - u. Solve 2 = 2*z + x for z.
-1
Let j(c) = c**3 + 5*c**2 + 2*c - 2. Let o be j(-4). Let n be (o + -3 - 3)/2. Solve 0 = -n*g - g for g.
0
Let i(j) = -j**2 + 12*j + 13. Let n be i(13). Solve n*b = b for b.
0
Let i(c) = -2*c**2 + 28*c + 33. Let v be i(15). Solve -4 = -v*s - 19 for s.
-5
Suppose -4*m = -4*t - 16, 0 = 2*m + 4*t + 2 - 22. Suppose -u + 4 = -m. Let n = -6 - -6. Solve n*h - 2*h = u for h.
-5
Suppose 6*t - 2 = 10. Suppose -t*c + 12 = c. Solve -2*q + c*q = 10 for q.
5
Let g(l) be the first derivative of 2*l**3/3 + l**2 - 1. Let q be g(-3). Suppose 0*w = -4*w + q. Solve -w*v - 2*v - 15 = 0 for v.
-3
Suppose -2*m + 3*p + 11 = 0, -4*m + 3*p = p - 18. Suppose m + 5 = 3*k. Solve 0 = k*d - d for d.
0
Let i(r) = r**2 + 15*r + 18. Let k be i(-14). Solve -k*n = n - 5 for n.
1
Suppose 0 = 3*v - 3*x, -2*v - 3*x + 6*x = 2. Solve -4 - v = -2*b for b.
3
Suppose -4*s - r + 13 = -1, -5*r - 2 = -4*s. Suppose 2*v - s*u = -11, v + 5*u = 2*u + 17. Suppose -v = -2*x + 2. Solve x*f - 20 = -3*f for f.
4
Suppose -2 = 4*q - 2*q + 5*n, -5*q + 2*n = 34. Let v be 0/(-2) - (q + 0). Let h = 6 - v. Solve y - 2 = -h*y for y.
2
Let s(q) = -q**3 + 2*q**2 + 4*q + 2. Let d be s(-2). Let b be ((-8)/20)/((-2)/d). Solve 3*m + 10 + b = 0 for m.
-4
Suppose -6*h + 8*h = 0. Let o(n) = -n**2 - 4*n - 1. Let w be o(-2). Solve 0 = -3*p + w - h for p.
1
Let w = -7 + 11. Suppose 0 = w*s - 12, -q = -3*s + 3 + 8. Let h be (0/(-2))/(q/2). Solve -x + 4*x + 6 = h for x.
-2
Suppose -7*s + 16*s - 45 = 0. Solve 7 - 2 = -s*b for b.
-1
Suppose 32 = -4*i + 3*x, -3*i + 2*x - 40 = 2*i. Let g = 14 + i. Let v be 5*3/(45/g). Solve 0 = -y + 6 - v for y.
4
Suppose 0 = -4*k + 7 + 1. Let z be (-3 - -18)/3 - (1 - 0). Solve k*l = z*l + 4 for l.
-2
Let l = 22 - 20. Solve 3*p = -l*p - 5 for p.
-1
Let k = 3 + 15. Solve 2*p + k - 8 = 0 for p.
-5
Let f = -23 - -25. Solve -f*c - 5 = -c for c.
-5
Let c be (5 + -2 + 3)*(-2)/(-3). Solve c*i + i = 0 for i.
0
Let h = 32 - 9. Suppose s = -2*d + h - 7, -3*s - 2*d + 40 = 0. Solve -8*l = -4*l - s for l.
3
Let y = 6 + -4. Solve 4*x + y = 10 for x.
2
Let r(y) = y**2 - 4*y + 6. Let z be r(6). Let x be z - (4/(-1))/2. Suppose -4*h + x = h. Solve -h*m + 15 = m for m.
3
Let d(m) = m**2 + 9*m. Suppose 7 = -5*t - 5*v - 58, -3*v + 6 = -2*t. Let b be d(t). Solve b*g = -3*g + 9 for g.
3
Let w = 11 + 0. Solve w = -2*m + 1 for m.
-5
Let s = 49 + -43. Solve -10 - s = -4*u for u.
4
Suppose 0 = 6*d - 0*d. Let r = 6 + -9. Let h = d - r. Solve h - 1 = 2*v for v.
1
Let f = 3 - 3. Suppose f = -h + 4*h + 18. Let v be h/(-8) + (-17)/(-4). Solve -v*a + 10 = -3*a for a.
5
Let y be 184/10 + 2/(-5). Suppose 0 = 4*w - 22 - y. Suppose 0 = -5*r + 5*d + w, 5*r - 3*d + d = 22. Solve -c = c - r for c.
3
Suppose -o = -2*v + 15, 4*v = -o + 19 - 4. Suppose g + 4*s - 27 = -s, v*s = 2*g + 21. Suppose -m = 4*b + 5, -5*m = 4*b - g*m + 15. Solve 0*r - r - 5 = b for r.
-5
Suppose 18 = 3*l - 6*l. Let r = -4 - l. Solve 0 = -2*z - r - 0 for z.
-1
Suppose 4*o - 16 = 5*j, 8 = -4*j + 2*o - 0. Let n be (j - 0)*(3 - 2). Solve n = -u - u + 10 for u.
5
Let p(x) = x**2 - 14*x + 13. Let l be p(13). Solve 3*m + 2*m + 25 = l for m.
-5
Suppose -w - 7*u + 2*u + 32 = 0, -4*w = u - 33. Suppose -2*k + w*k = -30. Let c be (-1)/(-1)*k/(-6). Solve -3 - c = g for g.
-4
Suppose 5*i + p = 11, -i - p + 0*p - 1 = 0. Suppose 16 = i*n + 4*c, -7*n + 2*n = -2*c - 18. Solve x - 3 = n*x for x.
-1
Suppose -51*l + 21 = -44*l. Let k(b) = -b**3 - 3*b**2 - 2*b - 1. Let x be k(-3). Solve 0 = x*u - l*u for u.
0
Suppose 0 = -6*l + l + 10. Let p = -14 - -20. Solve p*j - l*j = 0 for j.
0
Let m be (-3)/1 - 9*2. Let i be (-2)/3*(9 + m). Let v be (-9)/6*i/(-6). Solve -2*o + v = -o for o.
2
Suppose -d + 2*h = -8, d + h + 16 = -3*h. Let l = 5 + d. Solve 12 = l*s - 2*s for s.
4
Suppose 13*a - 10*a - 12 = 0. Solve -g = a*g + 25 for g.
-5
Let v = -8 + 5. Let y(u) = u**3 + 5*u**2 + 4*u - 1. Let d 