t + 16 = -p for t.
4
Let o be 123/(-9) + (-2)/(-3). Let m = -28 - o. Let s be (36/(-30))/(6/m). Solve 0*a = -3*a + s for a.
1
Let a be (1 - (6 - -1))*(-585)/702. Let n(l) = -l**3 + 7*l**2 - 6*l + 5. Let c be n(6). Solve -15 = a*o + c for o.
-4
Suppose 0 = 43*p + 5*p - 4608. Solve 0 = -10*f - 14*f - p for f.
-4
Let z(c) = c**2 + c + 9. Let s(f) = -f**2 - 2*f - 8. Let n(a) = 6*s(a) + 5*z(a). Let t be n(-6). Solve -19 = t*o - 7 for o.
-4
Let h = 35 + -28. Let d(g) = -4*g - 68. Let m be d(-18). Solve -m*y + h*y = 0 for y.
0
Let f = -785 + 789. Solve 6*s + f = -14 for s.
-3
Let o(x) = -2*x**2 - 15*x + 22. Let m(y) = y**2 + 8*y - 11. Let p(f) = -5*m(f) - 3*o(f). Let i be p(-7). Suppose 3*v = v + 4. Solve i*b = -v + 14 for b.
4
Suppose 4*q - 22 = -0*q - x, 0 = -2*q - 2*x + 14. Suppose -f = -q*f + 8. Suppose -21*p - 5 - 22 = -69. Solve m = f + p for m.
4
Suppose 5*j = 3*h + 29, -3*j + 3*h = -2*j - 13. Let z be j + 0 - (9 + -10). Solve -z*t + 24 = 4 for t.
4
Let p be 8*(7/4)/7. Let i be 12 - (-4)/((-4)/p). Let l = 4 + i. Solve -3*v - 1 = l for v.
-5
Let z(m) = 43 + 9*m - 30 - 54. Let x be z(6). Solve -d = -x + 12 for d.
1
Let u be (-6)/(-10) + 1836/90. Let o be u - 2/(2 - 0). Solve 4*b - o = -b for b.
4
Let c be -2 + 26 + (-4)/3*-3. Solve -29*x = -c*x + 1 for x.
-1
Let z = -557 + 561. Solve 13*y = 12*y - z for y.
-4
Let m be (12/(-9))/(2/(-6)). Let s = -667 - -669. Solve s*o = m*o - 4 for o.
2
Suppose -8*t = -5*t. Let l = 3 + t. Suppose -2*z + q + 1 = 0, 4 = 3*z - 3*q + 1. Solve -l*f - 3 - 3 = z for f.
-2
Suppose 0 = -5*z - 0*z. Let s be (-1 - 16/(-20)) + 6*(-8)/(-15). Solve z = s*n - 7*n + 4 for n.
1
Let n be 14/(3/(-3)) + -4 + 0. Let q be (27/n*1)/((-2)/20). Solve 0 = -2*o + 7*o - q for o.
3
Let n(s) = 2*s**2 - 25*s + 16. Let p be n(12). Suppose 12 = p*d - 4*l, -3*l + l = 4*d - 18. Suppose -10 + 2 = -d*x. Solve 3*r = -4 - x for r.
-2
Suppose -3*j - v - 49 = 0, -2*j - j = -5*v + 25. Let f = -11 - j. Suppose -2*o - 6 = f*i - 5*o, 0 = 3*i - 2*o + 4. Solve i*p - 6 = -3*p for p.
2
Suppose 4*w - 4 - 16 = 0. Solve 4*x - w*x = 1 for x.
-1
Suppose -26*m - 27*m + 212 = 0. Solve 8 = -x + m for x.
-4
Let y(m) = -m**2 - 6*m + 9. Let o be y(-7). Let q = o + -2. Let i be 13/52*-20 - -7. Solve q = -i*d + 4 for d.
2
Let n(b) be the first derivative of -b**3/3 - 5*b**2/2 - 2*b + 8. Let q be n(-2). Suppose 0 = q*h + h. Solve h*j + j = 0 for j.
0
Suppose -x = -5*x. Let m be ((-3)/12)/(-2 - 78/(-40)). Suppose -p + m*p = x. Solve h = -p*h for h.
0
Let q be ((3 - 2)*0)/(4/(-4)). Suppose r - 4*a - 5 - 6 = q, -3*r + 4*a + 17 = 0. Solve -2*n + 5*n + r = 0 for n.
-1
Suppose 960*c = 962*c. Solve -n + 5 = -c for n.
5
Suppose -3*a + 28 - 73 = 0. Let d be 2/a + (-28)/15. Let x be 0/(d/(-4)*4). Solve 2*m - 3*m = x for m.
0
Suppose -2*o + 34 = 3*o + 3*s, -4*o + 14 = -2*s. Let v = o - 1. Solve 4*h = -0*h - v for h.
-1
Let f = -57 + 112. Let u = -53 + f. Solve u*v + 3 = -3 for v.
-3
Let h(p) = p - 11. Let f be h(17). Suppose -17*i = -19*i + 6. Solve -3 - f = i*t for t.
-3
Let s(w) = w**2 + 5*w - 11. Let b be s(2). Solve 5*i = 8 - b for i.
1
Let y be ((-9)/6)/((-6)/28). Suppose 16 = 4*h + 2*g, 4*g + 16 - 30 = h. Solve -3*w = -h - y for w.
3
Suppose 0*s + 2*s - 2 = 0. Suppose -5*h + s = -2*i - 0*i, 0 = i + h - 10. Let d be (-1)/(-4)*(15 - i). Solve -7*b + 15 = -d*b for b.
3
Let w be (1/(-2))/(5/(-120)). Suppose 4*x = 5*x - 3*l - w, -2*x - 16 = 4*l. Let u be 1*(-10)/((-6)/3). Solve -y + u = -x for y.
5
Suppose 0 = -5*w, 3*w - 9 = -3*h - 0*h. Solve -5*o = -4*o - h for o.
3
Let q = -6 - -11. Let v = 2459 - 2458. Solve -q*f - 4 = v for f.
-1
Suppose 5*b = 2*b + 12. Suppose -5*i + 4*i = b*k - 19, -3*k + 14 = i. Let r(w) = -w**3 + 3*w**2 + 9*w + 7. Let f be r(k). Solve v - f = -v for v.
1
Suppose -1 = l - a, l + a - 1 = -3*l. Solve -x - x = l for x.
0
Suppose 2*g - 49 = -9. Suppose -2*r - 3*j = -12, 5*j = -6*r + r + g. Solve -5*k + 5 + r = 0 for k.
1
Suppose -4*z = -2*d - 7*z - 35, -5 = -z. Suppose -4*o + 145 = -9*o. Let y = d - o. Solve 0 = r + y*r for r.
0
Let q = -21 - -35. Let d = -18 + q. Let h be 1/(1/(-1))*d. Solve -h*n - n = 0 for n.
0
Let b = -323 - -336. Let f = -4 - -12. Let m = b - f. Solve -2*q - m = -q for q.
-5
Let k(s) = 2*s - 3. Let w be 133/42 + 1/(-6). Let v be k(w). Suppose -3*i = -3*f - 9 - 15, -i - v*f = 8. Solve 0*l + i = 4*l for l.
1
Suppose q - 96 = -5*q. Suppose 13*w - q = 9*w. Solve p + w*p = 15 for p.
3
Let t = -5 + -3. Let q = -4 - t. Suppose 2*c - q = -2*y - 0*c, 2*y + 4*c = -2. Solve 13 = -y*o - 2 for o.
-3
Suppose -28*m + 20*m + 8 = 0. Solve 5 = -b + m for b.
-4
Suppose 0 = 2*l + 2, 3*o + 2 = 5*l + 10. Let a = 10 - 6. Suppose a*i - 4*r - 12 = 0, 0 = -i - r + 2 + 1. Solve -4*v - i = o for v.
-1
Let y = -79 - -162. Let f = y - 83. Solve 4*i - 2*i = f for i.
0
Let t(f) = 73*f + 611. Let m be t(-8). Solve 0 = m*i - 6*i - 63 for i.
3
Let y = 99 - 102. Let n be (-32)/(-3) + 2/y. Solve n*x = 5*x - 10 for x.
-2
Suppose 3*u = -22 - 23. Let c = u - -15. Solve -3*n - n = c for n.
0
Suppose 8*v - 6*v - 6 = 0. Solve v*c = -0*c - 6 for c.
-2
Suppose -4*d = 2*m + 11 + 7, -5*m + 9 = d. Let a be (-7 + 1)/(d/4). Solve 0 = a*v + 10 - 2 for v.
-2
Let w be 5/(-15)*(-25 - -1). Solve 6*f - 2*f = w for f.
2
Let a(k) be the third derivative of k**4/8 - 17*k**3/6 + k**2. Let d be a(7). Let i(w) = -w**3 + 5*w**2 + w + 1. Let n be i(5). Solve -n*g = -2*g + d for g.
-1
Suppose -x = 3*x. Let o = 4 - x. Let i be (-5)/(1 - 6/3). Solve i*y = o*y for y.
0
Let n(m) = -m**2 + 11*m + 2. Let q be n(11). Suppose q*v - 4*a - 16 + 4 = 0, a = 5*v - 21. Solve 0 = -0*h + h + v for h.
-4
Suppose 18 = 3*d + 234. Let m be 8/(-44) - d/33. Solve m*h - h - 2 = 0 for h.
2
Let o = 1 + 1. Let d = o - 2. Suppose d*p = -p. Solve 0 = -p*s - s for s.
0
Let a be ((-10)/(-55) - 117/(-22))*-2. Let t(y) = -2*y - 19. Let x be t(a). Let k be 1/2 + 3/6. Solve k + x = -4*c for c.
-1
Let u(q) = -q**2 - 8*q + 28. Let j be u(-10). Suppose o = -3*h + 12, j*h - 5*h = 3*o. Solve -25 = 2*n + o*n for n.
-5
Let r(t) = 10*t**2 - 1. Let g be r(1). Suppose -5*x - 5*a + g + 101 = 0, -5*x + 102 = a. Solve -4*q - 8 = -x for q.
3
Let o be (-4 + 2)/((-10)/15). Suppose 5*l + 2*b - 16 = 9, o*b - 3 = 4*l. Solve l*t + 10 + 5 = 0 for t.
-5
Let n = -27 - -37. Suppose 22 = i - 5*l, -i - 5*l - n = 18. Let z be i/(((-27)/12)/3). Solve -z*d + 3 = -d for d.
1
Suppose 2*u = u. Suppose -2*b = -4*b + 3*o + 16, 8*b - o = 42. Solve u*j - 10 = -b*j for j.
2
Let h be 288/(-20) + (-4)/(-10). Let b = h + 17. Suppose 20 = 2*o - 5*c, -2*o - o - b*c + 9 = 0. Solve o = p + 2 for p.
3
Suppose 13 = -3*a + 5*c + 17, -3*c = 5*a - 52. Solve -q = -3*q - a for q.
-4
Let o(b) = -b**2 - 15*b + 57. Let f be o(3). Solve 3*y - f = 2*y for y.
3
Let c(r) be the second derivative of r**6/720 + 11*r**5/120 + r**4/2 + r. Let p(z) be the third derivative of c(z). Let y be p(-8). Solve y*b + 1 = 16 for b.
5
Let v be (-57)/2*4/(-6). Let u = 21 - v. Solve 2 + u = -4*d for d.
-1
Let j = -3 - 22. Let h = j + 31. Solve -k - k = h for k.
-3
Suppose 5*l - 1 = 19, 16 = 2*f + 4*l. Solve -15 = -3*y - f*y for y.
5
Let v be (-7439)/(-301) + -1 + 9/7. Solve 45 = 4*y + v for y.
5
Let o(p) = -19*p + 460. Let j be o(24). Let f(m) = m + 4. Let u be (-1)/(2/8) + 0. Let r be f(u). Solve 0 = -r*s + j*s - 20 for s.
5
Let b = -79 + 152. Solve 9 = b*c - 76*c for c.
-3
Let k be 3/(9/6 + -1). Let m(n) = 2*n**2 + 14*n - 20. Let q(r) = -r**2 - 7*r + 10. Let c(i) = 3*m(i) + 7*q(i). Let b be c(-8). Solve 0*p - b*p = -k for p.
3
Suppose -6*w + w + 55 = 0. Suppose 8*f - w = 13. Solve n - f*n = -2 for n.
1
Suppose 10 = -5*r, -2*z + 7*r + 182 = 10*r. Solve -z + 79 = -5*m for m.
3
Let g be 2/(1 + 4/(-8)). Suppose -24 + 4 = -g*p. Solve 4*a - p = -1 for a.
1
Let i be 3/(-4 - -1) - (-4 - -1). Suppose 19*y = 21*y - i. Solve -3*b + 10 = y for b.
3
Suppose 4*k + 4*j - 68 = 0, 18*j = 19*j + 3. Solve -3*i = i - k for i.
5
Let i = 26 + -30. Let x be (1/2)/((-2)/i). Suppose x = -4*m - 3*n, -2*n - 6 + 0 = 0. Solve 2*p = -m*p + 8 for p.
2
Let d be (-2)/(-2) + 2 + 4. Suppose d*h = 8*h. Suppose 5*q - 2*j = 61, h = -3*q - q - j + 41. Solve -2*x + 3 = q for x.
-4
Let k(s) = -2*s**2 + s + 5. Let n be k(0). Solve -45 = 4*h + n*h for h.
-5
Suppose h + 10 = l - 2, 2*h + 4 = 0. Let g = 9 - l. Let d = g - -3. Solve -2*c + 16 = d*c fo