e -7 - p = -4*m for m.
4
Suppose 4*f - 4*y - 16 = 0, -332*f + 335*f + 2*y = 12. Let q be 1/(-1*2/(-18)). Solve -f*m = -q*m for m.
0
Let q(u) = 2*u**3 - 21*u**2 - 6*u - 47. Let v be q(11). Suppose -3*f - 4*l - 10 = 0, -5*l = -5*f - l + 26. Solve -4*m + f*m = v for m.
-4
Suppose 0 = 5*p - 0*p + 115. Let f = p - -26. Suppose f*x = -0*x. Solve 3*i - 8 - 1 = x for i.
3
Suppose 0 = -u - 5*b - 20, -u - 12*b + 15*b + 20 = 0. Let p be -4*(0 - (-2)/(-4)). Solve 0 = -p*n + n - u for n.
-5
Let z(h) = 9*h**2 + h + 5. Let d be z(0). Solve r - 6 = -d*r for r.
1
Let o(n) = n**2 + 4*n + 6. Suppose 5*d - 8 = 3*r + 6*d, -5*d = 3*r + 4. Let k be o(r). Solve -k*h - h - 20 = 0 for h.
-5
Let t(m) = m**2 - 14*m + 7. Let r be t(14). Solve 0 = r*d - 5*d - 8 for d.
4
Let v = -105 + 113. Solve -7*a = -3*a + v for a.
-2
Suppose 6*h = 3*h + 9. Suppose 3*c + 19 = h*n + 1, 8 = 3*n - c. Solve 4*x + n = 5*x for x.
1
Let d(f) = f**2 - 531*f + 1589. Let p be d(3). Let q(u) = -u**3 + u + 4. Let b be q(0). Let r be (10/(-4))/(3/(-6)). Solve p*a - b*a + r = 0 for a.
-5
Suppose 0 = 4*x + q - 15, 2*x - q = -x + 6. Suppose -68 = -u - 4*o, -3*o = 3*u + o - 164. Suppose -43*l + u*l = 20. Solve x*y = l*y + 3 for y.
-3
Suppose 0 = 3*z - z - 4. Suppose -2*q - 14 = -z*n - 4, 3*q = -2*n + 10. Suppose w + 4*r = -2, 4*w - n*r - 28 = w. Solve -12 = -3*x + w*x for x.
-4
Let p = 17 + -15. Suppose 9*y - 7 - p = 0. Solve -4*f + y = -15 for f.
4
Suppose -4*s - 128 = -8*s + 4*k, 0 = 5*s - 4*k - 162. Solve 4*h = s - 14 for h.
5
Suppose 4*j + j - 13 = -4*z, 2*z - 5*j + 1 = 0. Suppose -3 = -u + 2*h, z*u - 3*h = -u + 18. Suppose u - 29 = -5*i. Solve -4*x + 12 = i for x.
2
Let n be (3*(-472)/36)/((-4)/(-6)). Let w = -57 - n. Solve f = w*f + 1 for f.
-1
Let y(d) = 4*d - 9. Let o be y(4). Let x = -5 + o. Suppose 4 = -x*z + 8. Solve -6*v + z*v - 4 = 0 for v.
-1
Suppose 68*h = 74*h - 336. Solve h - 21 = -7*z for z.
-5
Suppose 17*v = 32*v - 30. Solve -4*u + v*u = -8 for u.
4
Let p = 264 - 259. Solve 22 - 7 = p*s for s.
3
Suppose q - 5*q - 220 = 0. Let c be (-3 - -1)/10 + (-121)/q. Solve 2*r = -c*r - 4 for r.
-1
Let t(i) = -2*i**3 - i**2 + 0 + 4*i**3 + 1 - 3*i**3. Let d be t(-1). Let r = 52 + -47. Solve -d = 2*l + r for l.
-3
Suppose -3*r + 4 = -2*r. Suppose -2*f = -r - 2. Suppose 6*b = 3*b - 4*d + 7, -2 = b - 3*d. Solve f*u = -16 + b for u.
-5
Suppose 0 = 2*f + 9*k - 6*k - 19, 0 = -4*f - 3*k + 23. Solve -q - 12 = f*q for q.
-4
Let o = 64 + -1. Let w = o + -56. Solve 8 = w*h - 11*h for h.
-2
Let a = 19 - 16. Suppose 5*f - 35 = -5*z - 0*z, a*z = -2*f + 16. Solve z*d = d for d.
0
Let k = 0 + 15. Let y = k - 15. Solve y = 2*q - 1 - 1 for q.
1
Let m(q) = -2*q**3 - 3*q**2 + 8. Let l be m(-2). Solve 11*o - 45 = -l for o.
3
Suppose 5*i + 16 = 13*i. Suppose 5 = 3*y - 10. Solve y = -i*o + o for o.
-5
Let t(q) = -2*q + 12. Let v be t(5). Suppose -2*h + 4 = -3*o, -o - h - v*h + 17 = 0. Solve 6*y = o*y - 12 for y.
-3
Let s be 2/3 + (-24)/36. Suppose -3*z = -4*z - m - 2, s = -3*z + m + 14. Suppose -x = -z*x. Solve x = 2*b + 1 - 11 for b.
5
Let j(f) = f**2 - 3*f + 2. Let v be j(2). Suppose 6 = 8*o - 18. Solve v = g - o*g + 10 for g.
5
Let z(k) = -k**2 + k - 4. Let j be z(5). Let x = j + 24. Solve n + 2*n = x for n.
0
Let w(o) be the second derivative of -o**4/12 + o**3 - 3*o**2/2 + o. Let u be w(4). Let d be (-4)/(-7)*231/66. Solve 0 = -d*h - 1 + u for h.
2
Let q(d) = d**2 - 11*d + 15*d + 5*d - 19. Let o be q(-11). Solve -2*v = 1 - o for v.
1
Let k = 2629 - 2621. Solve 19*v - 11*v = k for v.
1
Let v = 7 + -7. Suppose 5*d - 3*m = 13, v*d - d - 1 = 3*m. Solve -j - d*j = 9 for j.
-3
Suppose -185 = -2*q - 3*q. Let t = -27 + 58. Let z = q - t. Solve 5*y = -z - 9 for y.
-3
Let x be 155 + (-117)/27*-3. Solve 8 = 164*t - x*t for t.
-2
Suppose -3*v - 5 + 6 = k, 3*v - k + 1 = 0. Solve v + 5 = y for y.
5
Suppose -5*s + 42 = 6*n - 5*n, -4*s = -12. Solve 0 = u + n - 32 for u.
5
Let a = 698 - 689. Solve a*d - 14*d = -25 for d.
5
Let c = 18 - 27. Suppose 0 = 5*a + 4 + 6. Let i be (a + 1)*c*1. Solve -o = -4*o + i for o.
3
Suppose 0 = 2*x + 82 - 188. Let z = 57 - x. Solve z*m = -m - 20 for m.
-4
Suppose 45 - 45 = 9*p. Solve -7*a + p*a = 0 for a.
0
Let y be (6/8)/(-15*2/(-120)). Let s(w) = w**3 + 5*w**2 - 7*w - 4. Suppose -5*z + 2*l - 5 = 29, -z = -4*l + 14. Let i be s(z). Solve -i = 5*a + y for a.
-1
Suppose 14*a + 5*q = 15*a - 25, -4*a = 4*q - 52. Solve 6*z - a = 3*z for z.
5
Suppose -4*f = 17*f. Solve 6*c = -f*c - 6 for c.
-1
Let x(k) = k**3 - k**2 + 2*k - 8. Let w be x(0). Let o be (w/(-24))/(2/(1*36)). Solve 2*i - o = -0 for i.
3
Let g be 2/(-4) - 10/(-4). Suppose 2*o - o + 9 = 3*r, 5*o + r - 19 = 0. Suppose y - 1 = -3*d, -g*y + 1 = -o*d - y. Solve 8*z - 4*z = d for z.
0
Let n = -39 - -12. Let r = n - 5. Let g = -31 - r. Solve -2*d + g = 11 for d.
-5
Let q be (-4 + 0)*(-8769)/316. Solve -10 = q*z - 109*z for z.
-5
Let d(s) = s**2 + s - 2. Let g be d(-3). Let f(a) = a**2 + 3*a + 2. Let p be f(2). Suppose -2*w = -h - 3*h + p, 0 = -g*w. Solve 0 = -h*u + u - 8 for u.
-4
Suppose -3*m - j + 32 = 0, -m + 4*j - 2 = m. Let h(z) = 1 - 57*z + 50*z - m - 7. Let w be h(-5). Solve c + w = 6*c for c.
4
Suppose 0*u + u - 1 = 0. Let n(t) = 2*t**2 - 3*t + 2. Let a be n(u). Solve 5*z - 14 - a = 0 for z.
3
Let q = 2 - -6. Let i = 12 - q. Suppose -x + 5 = f, 34*f - 33*f = -4*x + 20. Solve -20 = i*z - f for z.
-5
Let c be -3 - -1*(-121)/(-1). Suppose -c = -t + 6. Suppose -5*h - 120 = -5*j, t = 5*j - 2*h + h. Solve 0 = z + 4*z + j for z.
-5
Suppose m = -d + 2*d + 22, -2*m + 3*d + 46 = 0. Solve 2*n + 3*n = -m for n.
-4
Let v = 361 - 356. Solve -4*o = -v*o + 5 for o.
5
Let y(v) = -v**3 - 10*v**2 - 19*v - 13. Let t be y(-8). Solve -7*o + t*o = -4 for o.
-1
Suppose 0 = -i - 26*i + 378. Solve -i*n + 13 = 27 for n.
-1
Suppose -114*u + 500 + 4174 = 0. Solve -15*a - u = 19 for a.
-4
Suppose 0 = -5*s - 5*j + 30, s - 4*j + 12 = 2*s. Suppose 2*m = -n + 37, -25 + 68 = 3*m + 4*n. Let d = 32 - m. Solve s*o + 3 = d for o.
2
Let w be -1*(132/(-3))/(-6 + 8). Solve h + 19 = w for h.
3
Suppose 2 + 18 = 4*w. Let l(z) = -z**3 - 2*z**2 - z + 1. Let c be l(-2). Suppose w = -5*i + 4*g, 0*i + 12 = -i + c*g. Solve 0 - i = -3*a for a.
1
Suppose f - 5*l = -f - 18, -16 = 3*f - 2*l. Let r be 32/176 - f/(-22). Solve r*w - 2*w - 4 = 0 for w.
-2
Suppose 2*u + 5*g - g - 44 = 0, 118 = 5*u + 2*g. Solve 14*r - 20*r - u = 0 for r.
-4
Let j(y) = 6*y**2 - 5*y + 2. Let i be j(2). Let q = i - 15. Solve f = q - 2 for f.
-1
Suppose 17*f = 16*f - 8. Let v be 1/(-2)*f + 4. Solve 0 = -n - 4 + v for n.
4
Let l be (3 - -8 - 3) + 0/(-3). Suppose 12 = -2*w + l*w. Solve -w*b = 3*b - 15 for b.
3
Suppose 0 = -f - 2 + 15. Suppose 0 = -3*s - 22 + f. Let w be (8 - 0) + -2 + s. Solve 0 = 4*r + w - 11 for r.
2
Let o be (38/(-4))/(6/12). Let j = o + 19. Solve j*k + 10 = -5*k for k.
-2
Let j be (-1 + 1)/(-43 + 34). Solve -122*x + 125*x = j for x.
0
Let m be 9/(0 + -1) - 1. Let k be 4/m - (-10)/25. Suppose i - 5*j + 6 = 21, -2*i = -3*j - 37. Solve -i = 4*y - k for y.
-5
Let y(t) = 3*t**2 + 4*t**2 - 4 - t - t - t**3 - 3*t. Let n(d) = -d**3 - 4*d**2 - 3*d - 6. Let x be n(-4). Let l be y(x). Solve 7*j = l*j - 15 for j.
-3
Let b(u) = -2*u - 52. Let l be b(-23). Let d be (l/4)/(15/(-20)). Solve 2*g - 8 = -d for g.
3
Let o(z) = z**3 + 7*z**2 - 10*z - 4. Let a be o(-8). Suppose -h - 4*r = -a, 0*h + r + 2 = h. Solve 8 = -4*y + h for y.
-1
Let c(t) = -t**3 - 12*t**2 - 9*t + 4. Let u be c(-11). Let j = -8 - u. Solve -j = -m - 12 for m.
-2
Let k = -23 + 31. Solve -8*f + 48 - k = 0 for f.
5
Let r(v) = v**3 - v + 12. Let z be r(0). Suppose -3 = -5*s + z. Let b(m) = m**2 + 7*m + 8. Let f be b(-6). Solve 10 = -s*o - f*o for o.
-2
Let v(i) = 455 - 209 - 203 + i. Let y be v(-28). Solve -4*g + 3 - y = 0 for g.
-3
Let l(d) be the first derivative of d**4/8 - 3*d**3 + 5*d**2 - 5. Let t(n) be the second derivative of l(n). Let f be t(8). Solve 0 = -2*x + f for x.
3
Suppose -14*i + 37 = -19. Solve i*u = 3*u + 2 for u.
2
Suppose -5*f = n + n + 65, 3*f = 5*n + 85. Let d be (35/(-25))/(4/n). Solve -3*g - 8 - d = 0 for g.
-5
Suppose 3*a + 2*a - 15 = 0. Let r = -1 + a. Solve -w - r - 1 = 0 for w.
-3
Suppose -s = -23 - 15. Let x be (s/2)/((-2)/2). Let q = -7 - x. Solve -y - 2*y - q = 0 for y.
-4
Suppose 2*s - 31 = 3*a, 12 = 3*s + 3*a + 3. Supp