*p - 5*y = t. Solve p*f - f = -2 for f.
2
Let d(h) = h**3 + 16*h**2 + 13*h - 25. Let y be d(-15). Solve 7*m - 10 = y*m for m.
5
Suppose -y = y. Suppose 4*d + 13 = 4*m + 1, 4*m = -5*d - 24. Let t = m + 5. Solve y = n - t + 9 for n.
-5
Let i = 71 + -62. Solve i = 3*j - 3 for j.
4
Let h be -3 - (-1 - 3) - -3. Suppose 4*m + 28 = 3*u, 5*u - 2*m - 24 = u. Solve -u*p = -8 - h for p.
3
Suppose 5*a + 4*c = 3*a + 14, 0 = 4*a + 5*c - 22. Suppose a*j + 13 = -2*z - 6, 0 = -5*z + 5. Let f = 12 + j. Solve 4*g - f*g + 5 = 0 for g.
5
Let u be (2 - 0)/(1/(-4)). Let d be u/(-3) + 3/9. Let j be 0 + (d - 0 - -1). Solve 3 = j*k - 5*k for k.
-3
Let t = 135 + -135. Solve t = y - 3 + 8 for y.
-5
Suppose -5*y + 9 = w, 3*y + 13 = 3*w + 4*y. Suppose -5*f = v - 126, w*f + v + 0*v - 101 = 0. Solve -9*c - f = -4*c for c.
-5
Let o = -15 + 11. Let i be o/6 - (-12)/18. Solve -5*x - 12 - 13 = i for x.
-5
Let d be (-190)/(-25) + (-2)/(-5). Let t be ((-3)/(-5))/(d/40). Solve t*p = -p for p.
0
Let w = -3 - -3. Suppose 0*p - 2*p = -2*j - 26, 4*j + 42 = 3*p. Solve -5*a = -w*a + p for a.
-2
Suppose -408 = -4*c - 2*k, 0*c + 3*c - k = 296. Suppose -2*r - 2*r = -c. Solve 0*a = 5*a - r for a.
5
Let i be 5/((-5)/9)*-1. Let h = 14 - i. Suppose 0 = 2*w - 1 - 13. Solve -4*q + h = -w for q.
3
Let s = 26 + -23. Solve 6 = o - s*o for o.
-3
Let h be (8/10)/(4/140). Let r = -20 + h. Let j be (-2 + r)/((-3)/(-2)). Solve -5*y = -j*y for y.
0
Suppose 3*r - 27 = 4*t - 5, 4*t + 14 = -r. Solve -5*w - r = 3 for w.
-1
Let p(o) = o**2 - 10*o - 2. Let a be p(8). Let i be 1/(-4) + a/(-8). Let u = 16 - 0. Solve 2*l = -i*l - u for l.
-4
Let i be 25 - (-2)/((-4)/6). Suppose i*q - 24 = 20*q. Solve 2*j + j = -q for j.
-4
Let h = -8 + 16. Let i = h - 5. Solve 8 = -a - i*a for a.
-2
Suppose -1 = f - 3. Suppose -41*b - 6 = -44*b. Let w be -2 - ((-1)/1 - 1). Solve w*m - f = b*m for m.
-1
Let x(t) = -t**2 - 12*t - 12. Let m be x(-12). Let b be (28/(-16))/(3/m). Solve -v - 2 + b = 0 for v.
5
Let r = 168 + -164. Solve -r*d - 29 = -13 for d.
-4
Let g be 2/8 + (-125)/20. Let q = g + 14. Suppose -3*z - 20 = -q*z. Solve 0 - z = -4*d for d.
1
Let q be 1 + 2 - 11/(-11). Solve -4 = q*f - 24 for f.
5
Suppose 5*b + 2 = 12. Solve b*c = -0 + 4 for c.
2
Suppose 22 = 4*g - m, 6*m - 8 = 10*m. Solve n - g = -0*n for n.
5
Let x(b) = -b + 11. Let o be x(11). Solve o*l = -5*l for l.
0
Suppose q - 1 - 3 = 0. Let a = 9 - 7. Solve a*g + q = -0 for g.
-2
Suppose -5*t + 2*a = -8 - 1, -3*t = a - 12. Suppose -4*n - t = 3*x, 5*n = -3*x + 7*x + 35. Suppose n*u - u - 6 = 0. Solve -2*o + 5 = -u for o.
4
Let s(g) be the first derivative of g**4/4 + g**3/3 - g**2/2 + 6*g + 2. Let c be s(0). Solve -4*x = -10 - c for x.
4
Let i = -32 + 52. Suppose 6*p = p + i. Solve -5*o + 2 = -p*o for o.
2
Let o = -4 + 14. Suppose -3*d + 3*h - 3 = -21, d = -h - 2. Suppose g = -3*c - 2*g + 15, -d*g + o = 0. Solve 2*y - 2 + c = 0 for y.
1
Let y = 11 + -8. Let z = y + 1. Let a = -10 + 14. Solve z*f - a - 12 = 0 for f.
4
Let b be 4 + -3 + (-18)/(-2). Let f(r) = -3*r + 1. Let d be f(-1). Suppose -3*y + 5 = j - 0*j, 3*j - b = -d*y. Solve 0 = -3*t - 10 + y for t.
-3
Suppose 3*v = 0, v = 3*h - 4*v - 6. Suppose h*p = 3*p - 4. Solve p*s + 9 = s for s.
-3
Let b = -32 + 34. Solve 5*d = 8 + b for d.
2
Let v be -2 - (-3 + 0 + 1). Let k(o) = -o**3 + 10*o**2 - 8*o - 9. Let z be k(9). Solve v*t - 3*t - 12 = z for t.
-4
Let g(f) = -3*f**3 + 4*f**2 + f - 1. Let h be g(-1). Solve 9 = h*s - 2*s for s.
3
Let p(i) = -i - 3. Let m be p(-4). Let z = 6 - m. Let g = z + -5. Solve -2*w + 1 - 5 = g for w.
-2
Let p(h) = h**3 + 2*h**2 - 4*h - 3. Let j be p(-2). Suppose n = -j + 9. Solve -n = -4*w - 24 for w.
-5
Let u(i) = -i**2 + 10*i - 7. Let x(y) = -y**3 - 7*y**2 - 8*y - 4. Let w be x(-6). Let n be u(w). Solve 0 = -0*t + 3*t - n for t.
3
Suppose 3*a = -2*a + 20. Solve c = -c + a for c.
2
Suppose -12 = -4*z + 4*m, 3*m + 0*m = -3*z + 9. Solve -w = -z*w for w.
0
Suppose 0 = -4*x - 3*b + 23 + 1, -8 = 4*x - 5*b. Solve -x = t - 7 for t.
4
Suppose -w + 0*w = 0, -4*m + 12 = 3*w. Solve m*i - 2 = 1 for i.
1
Let a be 9 + 6/(6 + -4). Solve 4*r - r + a = 0 for r.
-4
Let j(s) = -s**3 - s**2 - s + 4. Let l be j(0). Let q = 59 - 29. Suppose -5*f + 0*f = -q. Solve 0 = l*u - f*u - 2 for u.
-1
Let z be (-2)/((-3)/48*2). Suppose i - 2 - 5 = 0. Solve 3*k = i*k - z for k.
4
Let x(i) = -2*i - 5. Let m be x(-5). Let b be 354/30 - (-1)/m. Solve b + 3 = -5*k for k.
-3
Suppose 4*w = -w + m + 26, 5*w = 2*m + 27. Suppose i - 4*i + 3*o = -15, 25 = w*i - 4*o. Suppose -z = -i*z. Solve z = 2*s - 4*s - 8 for s.
-4
Let s = -8 + 10. Solve 0 = -3*i - 4 - s for i.
-2
Let f be 85/(-10) - 1/(-2). Let t = f + 12. Solve -t*k + 5 - 13 = 0 for k.
-2
Suppose -5*z + 1 + 4 = 0. Let l be 23 + (-1 - -2) - z. Suppose 5*g + l = q, -4*q = 3*g - 4*g - 16. Solve t - 6 = q*t for t.
-3
Let u(w) be the first derivative of w**4/4 - 5*w**3/3 + 3*w**2 - 5*w - 1. Let p be u(4). Solve 3*g - p = 2*g for g.
3
Suppose 1 = 5*z - 39. Solve 0*a = 2*a - z for a.
4
Let c(s) = -s - 1. Let j be c(-2). Let w be 1/(-7) - (-203)/49. Let d be -1 + (-1 - (-1 + -1)). Solve t + j + w = d for t.
-5
Let w(x) = x - 6. Let b be (0 - 0)/(-2 + 3). Let i be w(b). Let a(p) = -p**3 - 7*p**2 - 7*p - 4. Let s be a(i). Solve s*n - 8 = 6*n for n.
-2
Suppose b = 5*b + 8. Let c be (-2 - (b - -4))/(-1). Let t(p) = p + 6. Let j be t(-5). Solve 5*v + j + c = 0 for v.
-1
Let u(n) = 4*n - 15. Let g be u(4). Solve g = a + 4 for a.
-3
Suppose 0 = 3*i + 3*a - 51, -i + 39 - 6 = 5*a. Solve -4*f + 3 = -i for f.
4
Let v(w) = w + 1. Let m be v(2). Let j be (-248)/(-10) + 3/15. Suppose m*n + 5*g - j = -0*n, 2*n - 42 = 3*g. Solve n = 3*x + 2*x for x.
3
Suppose 4*z - t - 30 = t, -4*z = 5*t - 23. Solve 5*b = z - 2 for b.
1
Let d(o) = o**2 - 1. Let g be d(1). Suppose -8*t + 52 = 36. Solve -t*w + 3 + 3 = g for w.
3
Let r be (-6)/36 + 53/(-6). Let g = -2 - r. Solve -2*p + g*p = 0 for p.
0
Let f = 10 - 6. Suppose -3*d - 5 = -4*d. Solve -3*z = d + f for z.
-3
Let n = 98 - 90. Solve 3*w = -w - n for w.
-2
Let i = -32 + 35. Solve i = 4*f - 5 for f.
2
Let i = 21 - 36. Let b = i - -19. Solve -12 = y - b*y for y.
4
Let y = -2 - -4. Suppose 3*l = 43 + y. Solve -f = 4*f - l for f.
3
Let k(q) = -6*q - 6. Let p be k(-6). Suppose p = 8*c - 3*c. Suppose -c*b + 25 = -b. Solve -b*u + 19 = -6 for u.
5
Suppose 2*h = -2*h - 36. Let g be (-2)/3 + (-20)/6. Let l = g - h. Solve 10 = 5*p - l for p.
3
Let z(w) = -w. Let k be z(0). Let d(g) = -4*g + g + 3*g + g + 4. Let h be d(-2). Solve -h*p - 6 = -k for p.
-3
Let u(h) = 7*h + 1. Let n be u(1). Let a(c) = c**2 - 8*c + 9. Let y be a(n). Solve 2*j + j + y = 0 for j.
-3
Let f(q) = -q - 10. Let j be f(-13). Solve 7 - j = -2*v for v.
-2
Suppose -9 = 5*a - 39. Solve -a*d = -d + 20 for d.
-4
Suppose 3*f = k - 8, 0 = 3*k - 3*f - 1 - 17. Solve 7*u - 4 = k*u for u.
2
Let o(p) = -p - 5. Let k(x) = 3*x + 14. Let d(i) = -2*k(i) - 7*o(i). Let f be d(-4). Solve -6*l + f*l + 9 = 0 for l.
3
Suppose -z + 5*i = 2*z - 25, -3*i = -4*z + 15. Let x(w) = -5*w**3 + w**2. Let b be x(-1). Suppose b - 4 = f. Solve 0*m - f*m - 6 = z for m.
-3
Suppose -3*j + 1 = -2. Let m be (-2)/(j*-2)*2. Suppose m + 0 = n. Solve 3*c = 8 - n for c.
2
Let t be (-1)/((-18)/(-4)) - 120/(-54). Solve t*u - u = -1 for u.
-1
Suppose -3*p - 12 = -3*l + 3, l = -3*p + 5. Solve p = 2*m + 3 - 9 for m.
3
Suppose 0*i + 114 = 2*i + 4*w, w = -i + 54. Let d be (i/(-12) + 4)*-20. Solve -4*n + 3*n + d = 0 for n.
5
Let z = -116 + 120. Solve -o - 1 = -z for o.
3
Let l be 8 - (-6)/4*(-8)/3. Solve -l = 2*q + 2 for q.
-3
Suppose -k - 18 = -2*k. Suppose 3*q - 4 = f, 3*q + 6 = 3*f + k. Solve q*c + 2*c + 4 = 0 for c.
-2
Let q(k) = 7*k**2 + k + 2. Let h be q(-1). Solve w = 5*w + h for w.
-2
Let k be 0/(2*(-3)/6). Solve k - 4 = 2*p for p.
-2
Suppose 0 = y - b + 1, 5*y - 4 = 2*b - 0. Let l = 41 - 14. Suppose d + y*h = -3, -2*d + 3*h + l = d. Solve d*j = 3*j - 2 for j.
-1
Let m = 8 - 2. Suppose 0 = 4*b - h - 105, 8*b - 3*h - 140 = 3*b. Solve x + b = m*x for x.
5
Let j be (-2)/1 + (6 - 0). Let p be 0 - 2 - j/2. Let y = p - -4. Solve -q + 2*q + 4 = y for q.
-4
Suppose 2*d - 2 = 2. Suppose -28 = -3*p - p. Solve -d*c + p*c - 5 = 0 for c.
1
Let t be ((4 + 1)/20)/(2/16). Let v(u) = u**3 + 5*u**2 + 2*u - 5. Let c be v(-4). Solve -a = -t*a - c for a.
-3
Supp