 - i = -r*p for p.
4
Let v = 544 - 534. Solve 0 = -2*w - 2 + v for w.
4
Let y be (63/(-56))/(2/(-16)). Let u(b) = b**3 + 3*b**2 - 5*b - 4. Let s be u(-4). Solve s*z = 3*z + y for z.
-3
Suppose 0 = 5*l - 6*l - 7. Let i(v) = 2*v + 14. Let a be i(l). Solve -m = -a*m for m.
0
Let b(m) = -5*m + 8. Let q be b(1). Suppose 4*f - g = -6*g, -5*f = -q*g - 37. Suppose 3*a = 3*s + 42, a - 17 = -4*s - 3. Solve f*y - a = 1 for y.
3
Let l(n) = -n - 1. Suppose 4*o + 0*o + 97 = m, 2*o = -2*m - 56. Let b = o + 20. Let f be l(b). Solve z + f = 5 for z.
1
Let j = 210 + -208. Let y(a) = a**3 + 7*a**2 + a + 8. Let r be y(-7). Solve j = -s - r for s.
-3
Let p(u) = 5*u**3 - 3*u**2 + 2*u. Let o be p(1). Suppose a = -3*a - 3*h + 12, 0 = -5*a - o*h + 15. Solve -4*s + 3*s = -a for s.
3
Suppose 0 = w + 2*w + 87. Let a be 3/6 + w/(-2). Let c(q) = -2*q**2 - 5*q + 18. Let j be c(2). Solve -4*f - f + a = j for f.
3
Let r = -93 + 189. Solve 0 = 4*c + r - 108 for c.
3
Let v(f) = f**2 + 55*f + 761. Let m be v(-27). Solve 15 = 5*z + m for z.
2
Let j be (0 - 0) + 0/1. Let l(m) = -11*m**2 - 2*m**3 + m**3 - 6 + 9*m + 16*m. Let y be l(-13). Solve j = -y*q + 4*q + 3 for q.
1
Suppose -3 = -2*i + 3. Suppose 0*j + j = 0. Suppose -2*x = -a - x + 4, a + 5*x - 34 = 0. Solve -i*t - a - 3 = j for t.
-4
Suppose -38*d = -42*d - 4, -5*d - 29 = -4*h. Solve -h*u + 12 + 6 = 0 for u.
3
Let b(r) be the third derivative of -r**4/12 - 4*r**3 + 15*r**2. Let p be b(-13). Solve 0 = -p*c + 5 + 3 for c.
4
Suppose 2 = -0*r + 2*r. Let t be r - (-3 + 3 - 3). Suppose -2*g - t*c - 2 = -c, -4*c - 8 = 0. Solve -g*i = -i for i.
0
Let p be (-165)/22*(54/(-5))/3. Let f be 8/36 + (-3 - (-156)/p). Solve m - 12 = -f*m for m.
3
Let q = 67 + -31. Solve -5*t - 46 + q = 0 for t.
-2
Let t = -297 - -303. Solve -5*c + 31 = t for c.
5
Let n = 24 - 16. Suppose -3*k + k + n = 0. Suppose k*i - 9 = -1. Solve -12 = -2*d - i*d for d.
3
Let g(o) = 17*o - 3. Let h be g(2). Suppose 3*m + 4*a + 50 = 0, -3*a - 24 = m + 2*a. Let k = m + h. Solve 4*v + 1 = k for v.
4
Let q be ((-21)/12)/7 - (-556)/(-16). Let o = q + 39. Solve 0 = -2*y - 0 - o for y.
-2
Let f(c) = c - 2. Let i be f(2). Suppose 0 = -i*u + u - 2. Let h = 1136 + -1116. Solve -h = -2*j - u*j for j.
5
Let z(g) = -g + 36. Let k be z(32). Let l = 9 - 9. Solve -k = 2*y - l for y.
-2
Let v(p) = p**2 + 8*p - 22. Let k = -12 - -1. Let z be v(k). Suppose -7*q = -z*q + 4. Solve -q = m - 0 for m.
-1
Suppose 9*d + 27 = 12*d. Suppose -20*y = -d*y - 33. Solve -4 = y*b + 2 for b.
-2
Suppose -16*v = 257 - 497. Solve -13*m + v = -8*m for m.
3
Let u be 3/6*-2*28. Let z = -28 - u. Solve z*h = 3*h for h.
0
Let m be (-6 + 1)/(2 - 3). Solve m*f + 3*f = 0 for f.
0
Suppose -4*p + 28 = 2*f, -4*f - 4*p = -7 - 69. Solve -4*c - 2*c = f for c.
-4
Let x be 2/5 - 67/5. Let q = 69 + -53. Let m = x + q. Solve -4*a + m*a = 4 for a.
-4
Let l(s) = s + 1. Let z be l(1). Let m = 10895 + -10893. Solve v + z = m*v for v.
2
Suppose 18*m + 310 = 436. Solve 10 - m = o for o.
3
Let q be ((-102)/(-85))/((-6)/(-15)). Solve -q*w + 5 = -4*w for w.
-5
Let v = 295 - 295. Solve v = 4*p - 3*p - 4 for p.
4
Let j(y) = y**3 + 7*y**2 - 26*y - 177. Let u be j(-7). Solve -14 = -u*z + 6 for z.
4
Suppose -40 = -6*w + w. Suppose 5*f - w = 22. Solve -v = -f + 2 for v.
4
Suppose 33*u - 35*u = 60. Let g be (u/9)/((-14)/21). Solve -g*d + 2 + 8 = 0 for d.
2
Let j(l) = 3*l**2 - l + 22. Let f be j(0). Solve -7 = 5*p - f for p.
3
Let z(h) be the first derivative of -1 - h + h**2 + 5*h**4 - 1/3*h**3. Let s be z(1). Solve -q - 3*q = s for q.
-5
Let g(j) = -34*j + 73. Let r be g(2). Solve -6*v = -r*v for v.
0
Let n = -34 + 31. Let i(z) = -18*z + 3. Let s be i(n). Let y be s/12 - 2/(-8). Solve -y*c - 1 = 4 for c.
-1
Suppose b = -0*b - 3*g + 5, 0 = 2*b - 2*g - 18. Solve 92*z - b = 88*z for z.
2
Suppose 6 = -2*s - 6. Let c(y) = 2*y + 12. Let h be c(s). Let i be 0 + (-9)/(-3) + h. Solve -2 = k + i for k.
-5
Suppose 0 = 11*s - 13*s - u + 17, u + 28 = 3*s. Solve 3*v = -s + 12 for v.
1
Let i = -54 - -55. Let l(u) = -4*u**2 + 8*u - 1. Let o be l(i). Solve -o*v + 15 = -0*v for v.
5
Let y(n) = n - 1. Let m be y(1). Let t(u) = u**3 - u**2 - u. Let z be t(m). Suppose 0 = -z*c + c - 2. Solve -c*w = -3*w - 3 for w.
-3
Suppose 14 = -2*a + 3*u, 17 + 3 = -3*a + 5*u. Let c be 8/a - (-4)/5. Suppose 0 = r + 3*p + 10, -3*p = -r + 3*r + 8. Solve o = -c*o - r for o.
-2
Let c(b) = b**2 + 7*b - 1. Let g be c(-7). Let i be g + 5 + (12 - 6). Solve -5*m + i = -5 for m.
3
Let h(b) = 7*b + 42. Let q be h(-6). Solve 4*g + 3 - 23 = q for g.
5
Suppose -2*t - 524 = -5*s, -s - 2*t + 55 + 57 = 0. Solve 0 = -11*q + s - 51 for q.
5
Let n(r) = -r**2 - 6*r - 5. Let z be n(-5). Let t(v) = 4*v - 13. Suppose 3*d + 2*s = 12, -4*d + 4*s - 12 = -7*d. Let u be t(d). Solve -u*w + 8*w = z for w.
0
Suppose -6*r + 3*r + 24 = 0. Let z be (-1 - 1)/(r/(-16)). Suppose -3*b = -8*b + 15, -2*b + 30 = 4*l. Solve -z*n = -n - l for n.
2
Let b(u) = u**3 + 5*u**2 - 11*u - 21. Let r(g) = -g**2 - 3*g + 4. Let h be r(2). Let w be b(h). Solve -w = -2*j - 1 for j.
4
Suppose 3*o - 5*o = 0. Suppose 6 = -o*b + 3*b. Solve 0*r = -b*r - 10 for r.
-5
Let y(k) = -102*k - 1215. Let q be y(-12). Solve 0 = -q*r - 19 + 37 for r.
2
Let n(p) be the first derivative of -p**4/4 + 5*p**3/3 + p**2/2 + p - 34. Let z be n(5). Solve -2*h - h = z for h.
-2
Let o(m) = 21*m - 49*m + 2 + 27*m. Suppose -5*l - 1 = -2*s + s, 5*s + 3*l = -23. Let d be o(s). Solve k + k + d = 0 for k.
-3
Suppose -3*z + 20 = z. Suppose 0 = -3*g + g + 5*d + 36, 0 = 2*g + 5*d - 56. Solve z*t = 8 - g for t.
-3
Let j(b) = -3*b - 24. Let s(k) = -9*k - 73. Let o(a) = -7*j(a) + 2*s(a). Let x be o(-5). Solve 2*i + x - 1 = 0 for i.
-3
Suppose -w - x = 0, w - x = 4*w - 6. Suppose 2 = -5*y - 4*p - w, 3*y + 4*p = -11. Solve y*s = -3 - 6 for s.
-3
Suppose 19*y - 512 = 3*y. Solve 4*p + y = 12 for p.
-5
Let f = -6 + 9. Suppose 0*h = -3*c - 3*h + 6, 0 = 4*h. Solve -f = -3*v + c*v for v.
3
Let u(i) = -i**2 - 8*i - 8. Let g be u(-6). Solve -3*d + g = 1 for d.
1
Let g(q) = -2*q + 16. Let w be g(-10). Solve w*m - 16 = 40*m for m.
-4
Suppose 22 - 6 = 4*s. Suppose -s = -10*l + 8*l. Let b(y) = -2*y - 3. Let i be b(-3). Solve -l*d - 10 = i*d for d.
-2
Let w be (-1 + 12)/(8 - (15 - 8)). Solve -w*l - 53 = 2 for l.
-5
Let g(y) = y**2 + 3*y. Let m be g(-3). Let h(s) = -s**2 + 4*s + 14. Let r be h(4). Suppose 0*z = -r*z. Solve k + m*k + 5 = z for k.
-5
Suppose 2*w = 3*l - 58, 5*l - 27 = -4*w + 99. Solve l*u + 16 = 26*u for u.
4
Let w(s) = -s**3 + 2*s**2 + 7*s + 1. Let z be w(4). Let p be 16 - (2 + z)*-1. Solve -5*x - p = -10*x for x.
3
Let x(y) = y**2 + 14*y - 15. Let b be ((-6)/(-8))/(4/(-80)). Let r be x(b). Solve -8*k + 4*k + 16 = r for k.
4
Let k be (2/(-6))/(2/(-36)). Let v = k + -12. Let s be v*(-4 + 3) - -2. Solve 0*o + 4*o - s = 0 for o.
2
Suppose 3*v + 5 = 4*v. Suppose 5*i = 3*l, 4*i + 3*l = v*l. Solve -5*q + 4*q - 1 = i for q.
-1
Let u = 250 - 250. Solve u = 5*l - 4*l + 4 for l.
-4
Let p be 10*((-6)/(-5))/((-37)/(-111)). Solve -8*y = 4 - p for y.
4
Let n = 542 - 538. Solve -5 = -n*y - 25 for y.
-5
Let b(s) = s**2 - 4. Let w be b(-2). Suppose 8*h + 5*h - 13 = w. Solve -h = -4*m + 7 for m.
2
Suppose 0 = 3*k - 5*t + 5, -k + t = -3 + 4. Let c(j) = j - 1. Let o be c(-2). Let f be o/(-12) - (3 - (-284)/(-16)). Solve 5*i + 0 + f = k for i.
-3
Suppose l + 2*n = -8, 6*n = 5*l + 8*n + 8. Solve 4*a + 10 + 10 = l for a.
-5
Suppose 6 + 2 = 4*g. Suppose -g*h + m + 7 = -7, -3*h + 39 = 3*m. Let z = h + -9. Solve -2*a = -z*a for a.
0
Suppose -j = -6*j. Suppose -5*n = j, 2*s - 3*n = -3*s + 25. Suppose 0*h = 2*u + 5*h + 14, -u - 2*h = s. Solve u*l - l = 0 for l.
0
Let l(d) = d**2 + 12*d + 32. Let v be l(-4). Let z(k) = -k**2 - 2*k + 4. Let s be z(v). Solve -s*y = y for y.
0
Let z = -26 + 34. Solve z = 6*o - 4 for o.
2
Suppose 3*v + 0*v + 4*g - 68 = 0, 0 = -5*v - 3*g + 117. Suppose 5*f - v = 4*j + 43, 3*f - 5*j = 35. Suppose 0*o + f = 5*o. Solve o*t - 2 = t for t.
1
Suppose -i - 8*z - 9 = -5*z, -16 = 4*z. Suppose 5*d - 3*o = -15, -i = 4*d - o + 2. Solve d - 5 = -h for h.
5
Let i(d) be the third derivative of d**5/30 + d**4/12 + d**3/3 + 5*d**2. Let o be i(-1). Solve -o*q - 2 = -6 for q.
2
Let f(o) = o**3 + 6*o**2 + 2*o + 4. Let v be 4/(-14) + 66/(-14). Let a be f(v). Let y be -4*(1 - a/4). Solve 