ppose -3*s + 8*f + 18 = 5*f, x = 5*s - 4*f - 28. Solve -16 = 3*z - s for z.
-4
Let v be 1 - (-3 + ((-1)/(-1) - -2)). Let y be (-1)/(v*-2*(-3)/(-42)). Solve 2*r - y*r = 0 for r.
0
Suppose 4*r + y = 145, r + 0*y - y = 40. Suppose -c = 5, -2*c - r = -a + 2*c. Let d = 21 - a. Solve d = l + 5 for l.
-1
Let z(l) = 5*l**2 + 12*l + 1. Let x(y) = y. Let b(d) = -3*x(d) + z(d). Let m(t) = t**2 + 1. Let c(a) = -b(a) + 6*m(a). Let j be c(9). Solve -u - 8 = -j*u for u.
2
Suppose 18*p - 27*p = -54. Solve 0 = p*a - 0*a - 24 for a.
4
Let y(v) = v**3 - 7*v**2 + 13*v - 34. Let f be y(6). Solve f*w = 10*w + 2 for w.
-1
Let o = -75 - -66. Let g = 13 + o. Solve -9 = g*n + 3 for n.
-3
Suppose 0*g - 4*g = -116. Let y = 586 + -557. Let j = y - g. Solve 0 = -2*z - j - 8 for z.
-4
Let i(h) be the third derivative of h**6/720 + h**5/60 - h**4/2 + 9*h**2. Let m(o) be the second derivative of i(o). Let g be m(1). Solve 0 = q - 4*q + g for q.
1
Let d = 1570 - 1559. Solve 0 = -d*h + 7 + 48 for h.
5
Let d = 2444 - 2313. Solve -135*k + 4 = -d*k for k.
1
Let h = -379 - -384. Solve -6 = -h*z - 1 for z.
1
Let n be -5 - 1392/(-28) - 2/(-7). Solve 0 = -6*v + n - 15 for v.
5
Suppose -420 = 50*d - 78*d. Solve -20*j = -d*j - 5 for j.
1
Let k be (15 + 403/(-26))*(1 + -1). Solve -3*n + k*n = -15 for n.
5
Let o = 1 + 21. Solve -o - 8 = -10*y for y.
3
Suppose -28*z + 82 = -24*z - 2*q, 2*q = -2. Solve 22*c - z = 18*c for c.
5
Suppose -2*n + 5*a + 16 = 37, -3*a = -15. Suppose -5 + 1 = -n*k. Solve 0 = s + s + k for s.
-1
Let j(f) = -f - 4. Let i be j(-3). Let y = -18 - i. Let r = y + 17. Solve -2*x + r*x + 2 = 0 for x.
1
Let n(q) = -q - 1. Let c be n(-4). Suppose 2*g - 6*g = -3*u - 9, 4*u + g - 7 = 0. Suppose -2*j - 3*j + 4*a = -10, 5*a = 0. Solve -j - u = -c*m for m.
1
Suppose 0 = i + 2*n - 4 + 2, 0 = i - 4*n + 4. Suppose -4*v + 113 - 101 = 0. Let l = v - i. Solve -h = l*h - 4 for h.
1
Suppose -5*c - 14 = 4*u - 60, -3*u = -2*c - 23. Solve 0 = -u*l + 4*l + 5 for l.
1
Suppose o - 5*r - 36 = 0, -3*o - 2*r = 2*r - 51. Solve 0 = -23*q + o*q - 2 for q.
-1
Suppose -3*v = -244 + 124. Solve 2*r - 10*r = v for r.
-5
Let m(j) = -j**2 + 10*j - 12. Let i be m(8). Solve 0 = -0*p + i*p for p.
0
Let z(d) = -d**2 + 4*d + 7. Let h be z(5). Suppose 3*y - 7 - h = 0. Suppose -3*l + 6*l - 45 = 0. Solve 0*x + y*x = -l for x.
-5
Suppose 2*c - 3*h - 23 + 17 = 0, 0 = -2*c - 3*h + 30. Solve 3*o - c*o = -18 for o.
3
Suppose -4*t - 11 = -11. Solve t = -3*l - 9 for l.
-3
Suppose -4*k + 3*k = 0. Suppose 4*i + i - 20 = k, 0 = 5*y - 2*i - 22. Suppose 3 = 3*v - y. Solve 1 = v*j + 4 for j.
-1
Suppose -21 = -2*a + 5*q, 3*a - 9 = 2*q + 6. Suppose -5*r - 6 = -21, -a*w = 2*r - 9. Suppose 5*v = -2*h + 21, -7 - w = 4*h. Solve 11 - v = 3*m for m.
2
Let f = 437 - 433. Solve f*y = 4 - 0 for y.
1
Let v(b) = 32*b**2 - b - 1. Let w be v(1). Let r(a) = a**2 - 14*a + 20. Let h be r(8). Let i = w + h. Solve 0 = i*m - 6*m for m.
0
Let m(j) = j**2 + 5*j - 10. Let l be m(-7). Suppose 8*d + 3 = -b + 3*d, 2*b - 5*d = 9. Solve -b*o = -l*o - 4 for o.
-2
Let w(m) = 8*m + 164. Let s be w(-20). Solve p - 9 = -s for p.
5
Suppose r - 2 = -2*v, 0 = -r - 4*v + 5*v + 11. Solve -12*d + 16*d = -r for d.
-2
Suppose -o + 1 = 0, -3*p + 0*o + 2*o - 14 = 0. Let n be (p/(-3))/(-2)*-60. Suppose -4*j + 0*w = 4*w - n, w = 4*j - 30. Solve -4*k + j = -12 for k.
5
Let i(w) = w**3 - 13*w**2 - w + 8. Let n be i(13). Let p(y) = -y**3 - 3*y**2 + 9*y - 2. Let z be p(n). Solve q + 4 = -z*q for q.
-1
Suppose 6*l + 112 = 14*l. Solve 3*r = 29 - l for r.
5
Let i be (-4 + 4)/(-10) - 0. Solve i = 2*b + 9 - 7 for b.
-1
Suppose -15 = -5*r - 3*z + 58, 42 = 2*r - 2*z. Solve 9*k - r*k = -9*k for k.
0
Suppose -5*u - 4*h + 8 = -10, u = -h + 4. Solve u*p + 2*p - 4 = 0 for p.
1
Let i(t) = -4*t - 1. Suppose -4*c - 8 = -4*k, -5*c - k - 4*k = 0. Let a be i(c). Let g be -2 - (-1 - (a + 1)). Solve g*x + x = -20 for x.
-5
Suppose 0 = o - j + 13, 5*o + 2*j + 3*j = -15. Let k(a) = -2*a - 11. Let f be k(o). Let s = 98 - 95. Solve 0 = s*c + f - 2 for c.
-1
Let g(b) = -2*b**3 + 36*b**2 + 39*b - 11. Let c be g(19). Solve -4*m = -c*m + 20 for m.
5
Let j be (9/(-6))/(21/(-224)). Solve -2*g - 12 = -j for g.
2
Suppose -6 = 4*k - k. Let b be -23*(k - (3 - 6)). Let y = b - -25. Solve -2*g + y + 4 = 0 for g.
3
Suppose -g - 2 = -12. Suppose 5*c + g = 3*d + 1, -5*d = c - 15. Let h = 13 - d. Solve -h + 2 = -2*l for l.
4
Let m be -3*8/(-6) - 1*-2. Suppose -m + 10 = r. Solve -r*y = y for y.
0
Let t = 6 + -2. Let d = -49 - -52. Suppose 2*g = -2*p + g + 7, -d*p - 6 = -t*g. Solve p*w - 8 + 2 = 0 for w.
3
Suppose 16*b - 14*b - 6 = 0. Solve -7 = -b*n + 8 for n.
5
Let w(r) = r**2 - 7*r + 12. Let s be w(4). Solve s = -2*f - 6 - 2 for f.
-4
Suppose -3*w + 29 = 17. Suppose -4*m = a, 0 = -w*m + m. Solve a*u = -4*u for u.
0
Let b(g) = -g**2 - 20*g - 74. Let u be b(-6). Solve 13 = -3*k + u for k.
-1
Let z = 29 - 25. Suppose t - 9 = -z. Solve -t*a = -10*a + 5 for a.
1
Let f be (2 - (-72)/32) + 2/(-8). Solve -73*q + 71*q = f for q.
-2
Let f be -2 - -6 - (1 + 3). Suppose 0 = -j + 3*q + 7, 4*j - q - 24 = -7. Suppose f = 8*v - j*v. Solve v = 3*l - 8*l for l.
0
Suppose -2*v + 13 = 5*s - 3*v, -s + 11 = 4*v. Solve 1 = -z - s for z.
-4
Let a(d) = 4*d - 12. Let x be a(6). Let p be (x/(-14))/(2/(-7)). Let s be (0 - -5) + (p - 6). Solve 0 = s*t + 2*t for t.
0
Let c be (-32 + 32)/((-4)/2). Solve -24*m - 20 - 4 = c for m.
-1
Let v = 0 + 3. Suppose -v*r + 3 = -6. Suppose -r*s + 15 = 2*s. Solve s*l - 9 = 6*l for l.
-3
Let j be 0/1*(-1)/2. Suppose z - 5*r - 20 = -5, 0 = -z + 3*r + 17. Solve -4*i - i + z = j for i.
4
Let f = 19 - -9. Suppose 11 = -4*w - a + f, a + 4 = 3*w. Solve w*t + 8 = t for t.
-4
Let p = 38 - -22. Suppose -56*g + p*g = 24. Solve -2*b - 12 + g = 0 for b.
-3
Let i be 3/(6/2) - -11. Suppose 0 = 2*p + 4*h + i - 4, 3*p + h = 8. Suppose 4*j + 0*j = v - 5, -p*v = -3*j - 20. Solve 0 = v*u - 9 - 16 for u.
5
Let z = -136 + 142. Solve -z*s = -3*s - 15 for s.
5
Suppose 40*r - 194 = 326. Solve 8*c + r = -19 for c.
-4
Let m = 11 + -3. Let r(h) = h**3 - 13*h**2 - 48*h + 9. Let v be r(16). Solve v*s - m*s = -1 for s.
-1
Suppose 28 = 4*i + 8. Let u = i + -2. Let c = 50 - 48. Solve -3*n + u = -c*n for n.
3
Let y(m) = -19*m + 120. Let t be y(6). Solve 14 = 2*h + t for h.
4
Suppose -24*i = -9*i - 210. Solve 40 = -i*c + 4*c for c.
-4
Suppose -2 = -3*z + 7. Suppose z*g = -2*p + 4, 2*p + 5 = 4*g - 5. Solve -g*y + 3*y = -5 for y.
-5
Suppose 4*z = -0*z - 132. Let k = 37 + z. Solve -k*h + h = -12 for h.
4
Let q(l) = 157*l - 153. Let n be q(1). Solve 32*j + n = 31*j for j.
-4
Let x be (1 - 2)*(2 + 0). Let m be x*(-3)/1 - 4. Suppose 4 + 12 = m*d. Solve s + s + d = 0 for s.
-4
Suppose 0 = 4*p + 4*d + 8, -5*d + 4 = 3*p + 14. Let z be p/((-9 + 3)/2). Solve -5 = -c - z*c for c.
5
Let u(o) = -o**2 - 9*o + 1. Let p be u(-9). Let f = p + 1. Let n be (4/6)/(f/75). Solve -b - 4*b + n = 0 for b.
5
Suppose 4*x = -3*k + 28, 0 = x - 0*x - 5*k + 16. Suppose -1 - 4 = m. Let a = m + 8. Solve -x*n + 17 = -a for n.
5
Let x(b) be the second derivative of b**3/6 - 11*b**2/2 + 3*b. Let v be x(13). Solve 0*o = -v*o + 10 for o.
5
Let g(i) = i + 3. Let k be g(-3). Suppose -4*b - 8 = 2*m + 10, 5*m + 3*b + 10 = k. Let y = -58 - -63. Solve -2*t + m - y = 0 for t.
-2
Let a(g) be the third derivative of -g**5/60 + 17*g**4/24 - 2*g**3 - 6*g**2. Let i be a(16). Solve -i = -k + 5*k for k.
-1
Suppose -15*g = -2*g - 65. Solve -9*v = -g*v - 20 for v.
5
Let s be (5 - -9) + -10 + (-3 - -10). Solve -i = -s*i - 20 for i.
-2
Let p = 2 - -2. Let b(y) = -119*y - 357. Let u be b(-3). Solve p + u = t for t.
4
Suppose 4*j - 41 = -3*y, 26*j + 34 = 31*j - 2*y. Let o be 2/1*4/2. Solve o*l = -j - 12 for l.
-5
Let t be 154/(-6) + (-4)/(-6). Let r = t - -30. Suppose 0 = r*s - 17 - 3. Solve s*q + 15 = q for q.
-5
Let o(s) = 6*s - s**3 + 7*s**2 + 6 + 2 - s**2. Let r be o(7). Suppose r = d - 3. Solve -d = 4*b - 0*b for b.
-1
Let o = 59 - 65. Let k = 21 + o. Solve w - k = 6*w for w.
-3
Suppose -2*l + 60 = 4*v - 6*l, -l = 5*v - 93. Solve -v = 5*n + n for n.
-3
Let n(w) = -3*w + 21 - 4 - 11 + w**3 + 2*w**2 - 9. Let j be n(-2). Solve -j*a - 4 = -4*a for a.
4
Let n be (-24)/6 + 2 + (-15)/(-1). Solve 10 = -3*o + n for o.
1
Suppose -c + 4 = -5*r - 4, 0 = 5*c - 15. Let g = 3 + r. Solve g*p = 3*p + 3 for 