ve p = -6*c + c for c.
-4
Suppose -7*p + 2*p + 5*h = 0, 16 = 4*h. Suppose -17 = -5*r + u, p*r = 4*u - 0*u + 20. Solve -g - 12 = r*g for g.
-3
Let v(h) = -h**3 + 3*h**2 - 2*h + 1. Let s be ((-15)/25)/((-2)/10). Suppose o - 2*f - 2*f + s = 0, -5*o + 2*f = -3. Let a be v(o). Solve 4*g - 11 = a for g.
3
Let g be (-10)/(-35) + 5/((-105)/6). Solve g = -3*q - 2*q + 25 for q.
5
Let s = -12 - -10. Let g be 3/6*-4 - s. Solve 3*y - y + 8 = g for y.
-4
Let m = -5 - -9. Suppose 3*b = -m + 13. Suppose o = 2*c + 2, -4*o + 0*c + 19 = b*c. Solve o*x + x = 0 for x.
0
Suppose 8 = 3*g - 7. Let k be (0 - 2/(-5))*g. Suppose 14 = 3*x + k. Solve -r - 9 = -x*r for r.
3
Let k be 3/(3/2)*2. Suppose -2*q = f - 2*f, -3*f = k*q - 20. Solve s = f*s for s.
0
Let f(v) = 7*v**2 - v. Let g(c) = c**2 + 8*c - 10. Let r be g(-9). Let d be f(r). Suppose 4*y = 2*y + d. Solve -2*s = -6*s + y for s.
1
Let q = 26 + -22. Suppose 96 = 4*o + 20. Let j = 43 - o. Solve j = 5*a + q for a.
4
Let p(q) be the third derivative of -q**6/120 + q**5/12 + q**4/6 + 2*q**3/3 + q**2. Let h be p(4). Suppose h = -5*t + 111. Solve -t = 3*r - 3 for r.
-4
Let q(p) = 2*p + 1 + 1 - 4 + 0. Let x be q(2). Solve m - x + 3 = 0 for m.
-1
Suppose -2*c = -0*c + 210. Let n be 14/c + (-152)/(-15). Solve n = 2*b - 0 for b.
5
Let i(a) = -a**2 - 6*a + 1. Let o be i(-5). Let u be 14/o - (-8)/(-24). Solve m = -m + u for m.
1
Let j be 158/14 + 24/(-84). Solve -3*p + j = 26 for p.
-5
Suppose -6*p + 5 = -p. Suppose -5*y + 15 = 0, 5*a + 0*y = 3*y + 1. Suppose -6*o = -4*o - a. Solve -2*s + o = -p for s.
1
Suppose -3*p - 5*u = -62, -6*u - 8 = -2*u. Suppose -5*x = 4*j - 93, j - 18 = -5*x + p. Solve j = 4*h + 5 for h.
3
Let i(g) be the third derivative of 7*g**6/120 - g**5/60 + g**4/24 + 4*g**2. Let k be i(1). Solve 0 = 3*v - k*v + 16 for v.
4
Suppose -3*b - b + 16 = 0. Solve 0 = s - b*s - 9 for s.
-3
Let z = 7 - 13. Let h = 9 + z. Let k(c) = 6*c**2 - c - 1. Let u be k(-1). Solve 0*p + h*p = -u for p.
-2
Let n = -52 + 58. Solve 5*h = 2*h + n for h.
2
Let m(t) = -6*t**3 - 2*t**2 + 1. Let u be m(-1). Let a = u + -5. Solve c - 3 = -a for c.
3
Let x = 17 + -8. Let l = -3 + x. Let a be 5 + (-2 - (6 + -3)). Solve a = -w + 3*w - l for w.
3
Let b be 2 + (-5)/((-20)/12). Solve -5 - 10 = b*t for t.
-3
Let o(k) = 3*k - 8. Let r be o(3). Solve -3*m = -2 - r for m.
1
Let p = 104 - 100. Solve p*x = -2 + 10 for x.
2
Let p be -14*((-14)/4 - -3). Let r = p - 6. Solve -2*c = -c - r for c.
1
Let v(c) = 4*c - 20. Let s be v(6). Solve p + p = s for p.
2
Let r(b) = 2*b + 9. Let l = 33 + -33. Let a be r(l). Let v = 6 - 3. Solve 4*q + a + v = 0 for q.
-3
Let v be 0*-1*(-1)/2. Suppose v = 4*g - g - 99. Let l be (-1)/(-1 - g/(-36)). Solve 0*t + l = 3*t for t.
4
Let m(l) = -3 + 0*l + 0*l + l. Let k be m(4). Suppose 2 = y - k. Solve c + 2 = -y for c.
-5
Let v be -8*(4 - 5)*1. Solve -5*y - 2 = v for y.
-2
Let z(n) be the second derivative of -n**3/6 + 13*n**2/2 + 7*n. Let d be z(10). Solve 0 = p + 1 + d for p.
-4
Let g be 2/((-2)/(-6)*-1). Let d = -4 - g. Solve 0 = -d*b - 5 + 15 for b.
5
Let x(i) = -i**3 + 9*i**2 - 8*i + 3. Let l be x(8). Suppose -8*c + 16*c = 0. Solve c - l = f for f.
-3
Let z(j) = -j**2 - 15*j - 14. Let y be z(-14). Solve -l + y = -3 for l.
3
Suppose 21 = 2*u - 11. Let c be ((-12)/10)/((-4)/10). Suppose -5*q = 2*b - u, 0 = c*b + b - 12. Solve q*j - 1 = -3 for j.
-1
Suppose 6*u - 7 = 5. Solve 5*w + 7 = u for w.
-1
Suppose -9*x = -6*x + 9. Let z = x + 5. Solve 0 = -5*q + z - 12 for q.
-2
Let l be ((-14)/4)/((-1)/(-2)). Let i = 11 + l. Solve u = i*u for u.
0
Suppose -4*i + 36 = 2*j - 4*j, -2*i + 2 = j. Let t = j + 28. Solve 0 = -3*g - 2*g - t for g.
-4
Suppose -8*p + 25 = 9. Suppose 4 = 2*b - c - 1, 5*b - 3*c = 13. Solve b*n + p = 8 for n.
3
Let v be 2/9 + 64/36 + 18. Solve -v = -4*w - 0*w for w.
5
Let d = 8 + 2. Let n(w) = -w - 16. Let v be n(-16). Suppose 0 = -a - v*a + d. Solve -a = -t - 4*t for t.
2
Let q(k) = 2*k**3 - 11*k**2 + 6*k + 3. Let f be q(5). Solve -6*h = -f*h for h.
0
Let y(p) = -p**2 + 4*p + 24. Let g be y(7). Solve -7 - g = 2*w for w.
-5
Let g be -2 - -2*(1 - 0). Suppose -z - 4*z = g. Solve 0 = -z*k - 4*k + 16 for k.
4
Let j(v) = 1 - v + 0*v + 1. Suppose -9 + 9 = 7*o. Let r be j(o). Solve -2*c - r*c + 4 = 0 for c.
1
Suppose w + 0*w - 5*j = -12, 3*w - 18 = -3*j. Let u = 13 - 9. Solve u*f - 19 = -w for f.
4
Suppose 0 = 5*r + q - 26, 4*r - 2*q - 19 = -q. Solve -r*d + 1 - 6 = 0 for d.
-1
Let y = 20 - 14. Let h(v) = -v**2 + 5*v + 8. Let s be h(y). Solve 8 = -2*m + s for m.
-3
Suppose -2*m + 4*q = 9 + 5, 0 = -m + 3*q - 6. Let a = 16 + -23. Let w = a - m. Solve 0*v - 8 = w*v for v.
-4
Suppose -2*g + g + 16 = 0. Let x be (2/(-4))/((-2)/g). Solve 9 = v - x*v for v.
-3
Let p = -14 + 24. Let s = p + -6. Solve -4*n + 2*n + s = 0 for n.
2
Suppose -5 - 10 = -5*z. Solve -2*j + 4 = -z*j for j.
-4
Let l be 0/(5/((-15)/(-6))). Suppose h + l*h = 5. Solve h*g - 3*g - 6 = 0 for g.
3
Let k be (8/10)/(2/5). Let x be -1 + (1 - -1) - 1. Suppose x*a - 5*a = 0. Solve a = 2*m + k*m for m.
0
Let s = -1 - -9. Solve -s = -n - n for n.
4
Let z = -15 + 22. Let i be (-2)/z - 23/(-7). Solve -20 = i*k - 7*k for k.
5
Let z = 4 + 3. Let l be 2 + (2 - (-10)/(-2)). Let y = z + l. Solve -y*j = -j for j.
0
Let v be 1*15*5/15. Let b = 13 + -13. Solve v*u = -b*u for u.
0
Let k(f) = f**2 - 6*f + 4. Let x be k(6). Solve -x*d = -5 - 3 for d.
2
Suppose 11 = a - 2*g, a + 2 + 17 = -4*g. Suppose -a = h - 3. Solve -2*t = -0*t + h for t.
-1
Let j(k) = -k**3 + 13*k**2 - 12*k + 10. Let s be j(12). Solve 0*v = 5*v + s for v.
-2
Let j = -1 + 11. Let k(s) = s - 8. Let x be k(13). Solve 0*n - x*n = j for n.
-2
Suppose -88 = -5*b - 83. Solve -4*p + b = 13 for p.
-3
Let k = -11 + 6. Let m(y) = -y**3 - 6*y**2 - 2*y - 1. Let i be m(k). Let o = -9 - i. Solve -4*r = -o*r - 9 for r.
-3
Suppose -55 = -2*p + 5*g, 0*p + 5*g = -4*p + 35. Suppose -p = 2*n - 5*n. Let x(i) = 2*i**3 + i**2. Let o be x(1). Solve n = -2*d - o*d for d.
-1
Suppose 3*c + 192 = 7*c. Let j be (-2)/(-5) + c/30. Solve -y = j*y - 6 for y.
2
Suppose -q = -8 + 6. Let p = -1 + 4. Solve p*l = -q*l - 10 for l.
-2
Let x be -4 - ((2 - 1) + -2). Let b(y) be the second derivative of y**4/12 - y**3/6 + y**2/2 - 25*y. Let l be b(x). Solve 3*v - 4 + l = 0 for v.
-3
Suppose 2*h - 3*h = -5. Solve h*k = 7 + 8 for k.
3
Let t = 15 - 3. Suppose -t = -2*a - 8. Solve -a*x + 4*x = -6 for x.
-3
Suppose 0 = 5*h - 3*t - 6, -2*t + 8 + 4 = 2*h. Let v(x) be the third derivative of x**5/30 + x**4/8 + x**3/2 + x**2. Let d be v(-2). Solve d = -h*n + 2*n for n.
-5
Let s(r) be the third derivative of r**6/120 - 3*r**5/20 + 2*r**3/3 + 2*r**2. Let p be s(9). Suppose u - p*u = 0. Solve u = 4*j - 7*j - 12 for j.
-4
Let r(z) = -z + 20. Let b be r(0). Solve -4*q - 4 = -b for q.
4
Let d(k) = k**2 + 2*k - 4. Let r be d(-6). Let o = r - 15. Solve 0*m + 10 = o*m for m.
2
Let n be (6 + 30)*(-1)/(-3). Solve 2*x - n = -2*x for x.
3
Suppose 3*c - c + 4 = 0. Let b be 3/4 + c/(-8). Suppose -g + 12 - 9 = 0. Solve -a + b = -g for a.
4
Suppose -2 = -5*b - a, 2*b + 4 = -0*a + 2*a. Solve b*i - i + 2 = 0 for i.
2
Suppose -2*m = -4*m - 5*s + 5, -5 = -3*m - 5*s. Solve m = t - 4 - 1 for t.
5
Suppose -7 + 11 = 4*h. Suppose -2*o = h - 11. Solve 12 = -o*g + g for g.
-3
Let g(p) = -p. Let l be g(-2). Solve 5*k - l = 3 for k.
1
Let p(l) = l**3 - 2*l**2 + 1. Let h be p(1). Suppose h*q + 30 = 5*q. Let k = 291 + -289. Solve -q = -k*y + 4*y for y.
-3
Let w(k) = -k**3 + 5*k**2 - 3*k - 4. Let m be w(4). Solve 2*q - q + 3 = m for q.
-3
Let b(p) be the second derivative of -p**3/3 - p**2/2 + 3*p. Let w be b(-3). Solve -w = g - 6 for g.
1
Let a be (-3)/(-6)*80*1. Let q be (-84)/(-10) - 16/a. Solve -q*w = -3*w for w.
0
Suppose 0 = -5*j + j - 4. Let c(n) = -3*n**3 - 2*n**2 - n. Let u be c(j). Let a(w) = -w**3 - 8*w**2 - 6*w + 8. Let r be a(-7). Solve u = g + r for g.
1
Let g(r) be the first derivative of -8/3*r**3 - 1/4*r**4 + 2*r + 2 + 0*r**2. Let z be g(-8). Solve w = -w + z for w.
1
Suppose -8*l + 11*l = 0. Solve l = 5*p - 22 + 7 for p.
3
Let n be (-1)/((10/6)/5). Let h = 5 + n. Solve -h*z - 3 = -z for z.
-3
Let m(q) = -2*q - 11. Let t be m(-8). Solve t*h = 3*h - 2 for h.
-1
Suppose -5 - 11 = -4*h. Solve 0*v + h = -4*v for v.
-1
Suppose -4*v + 5*v - 16 = 0. Solve -v = -i + 5*i for i.
-4
Su