+ p = 5 for c.
-1
Suppose -p - 3*n - 2 = 0, -p - 5*n = -3*p + 40. Suppose -3*d + 14 = -5*v, 2*d - 2*v - 8 = 4. Solve -p = -d*y + 3*y for y.
2
Suppose -209*g + 202*g = 0. Let c = 0 - -4. Solve g = c*m + m for m.
0
Let z(t) = 9*t**2 + 5*t - 3. Let h be z(1). Solve 0 = h*r - 3*r + 8 for r.
-1
Suppose -5*l - 18 = -28. Suppose l*a = -5*n + 5 + 11, n - 4*a = 12. Solve 0 = -n*i + i for i.
0
Let h(s) = 4*s - 12. Let p be h(4). Suppose -2*z - 6 = p*z. Let c be z - -2*(-1 + 4). Solve -c = -4*f + 3*f for f.
5
Suppose -4*v + 3*v - 3*w + 7 = 0, -3*v + 2*w + 10 = 0. Solve 0 = -5*s + v + 6 for s.
2
Suppose 5*z - 3 = 22. Let s = z - 1. Suppose 3*a + 13 = 8*i - s*i, -4 = -2*i + 4*a. Solve m = i*m for m.
0
Let w(u) = -4*u**3 + 40*u + 3*u**2 + 3*u**3 - 10 - 34*u. Let f be w(4). Let n be 1 + 15/(3 - f). Solve n*x - 3*x + 4 = 0 for x.
-4
Suppose -g - 165 = -29. Let h = -131 - g. Solve 23 = -h*x + 3 for x.
-4
Let d(f) = -f + 6. Let j be d(6). Suppose h = -4*u - 9, -3*h - 2*u - 6 = -h. Let y be h/(2*3/(-24)). Solve 3*i + 1 - y = j for i.
1
Let o(n) = -n**3 - 7*n**2 + 10*n + 18. Let h be o(-8). Solve h + 2 = 2*g for g.
2
Suppose 10*q - 691 + 671 = 0. Solve 25 = q*f + 29 for f.
-2
Let l = -14 - -14. Suppose -3*v - 3*z + 57 = l, -4*v + 0*z - 2*z = -70. Suppose 2*p - v = -2*p. Solve -d = -p*d for d.
0
Suppose x - 6 = 2*g, 2*x = -4*g - 0*x + 4. Let a be (g + 0)/(-1) - 1/1. Solve a = 2*l + 5 - 9 for l.
2
Let i(h) = 7*h - 23. Let l be i(-6). Let z be (l/39)/(10/(-36)). Solve -2*x - 4 = z for x.
-5
Let w be (-2)/(-5) + 7/(140/72). Let p be (4 - (-3 - -4)) + 22. Solve 9*d - p = w*d for d.
5
Let j = -1422 + 1436. Solve -2 = j*f - 15*f for f.
2
Suppose -2*q - 2 - 1 = -3*r, -9 = 2*q - 5*r. Solve -q*j + 112 - 106 = 0 for j.
2
Let q = -87 - -123. Solve -q*n + 3 = -39*n for n.
-1
Let b be ((-4)/(-2))/2 - -3. Let d be ((b - 6) + 0)*-2. Let o(p) = -7*p + 2. Let r be o(-1). Solve 15 = -r*k + d*k for k.
-3
Suppose -2*u + 12 = -w - 7, -5*u + 19 = -w. Let n = -19 - w. Suppose n = 5*v - 6*v + 1. Solve c + 1 = -v for c.
-2
Let m(d) = 3*d**2 - 27*d + 2. Let j be m(9). Solve -15*z + 17*z = j for z.
1
Let v be 2/(18/(-20) - -1). Suppose 0 = -2*b - 3*c + 18, -3*b = -5*b + 5*c + 34. Suppose -b = -m - 3*m. Solve -v = r + m*r for r.
-5
Suppose 5*o - 6*o = -1. Let j = o - -2. Solve -h + 0 = -j for h.
3
Let q be 2*-3 + (10 - 9) - -7. Suppose j - 1 = 5*k, 4*k = 2*k + 2*j - 2. Solve 0 = -q*x - k*x + 2 for x.
1
Let m be 9 + (-2)/(-4)*-4. Suppose 4*n - m*n = -6. Let o be 0/2*1 + n. Solve s - 3 = o for s.
5
Let g = -164 + 170. Solve -n + 6 = g for n.
0
Suppose 30 = 4*i + 3*g, 3*g = 2*i - 5*i + 24. Let n be 4 + 6/9*(0 + -3). Solve n*f + i = -f for f.
-2
Let j(y) = y**3 - 5*y**2 - y + 10. Let c(i) = -i**3 - i**2 + 5. Let s be c(0). Let f be j(s). Solve 3*t - 2*t + f = 0 for t.
-5
Let u = -147 - -147. Suppose j - 2*l + 0 - 8 = 0, u = j + 2*l. Solve -j = -c + 5*c for c.
-1
Let h(p) be the second derivative of -p**4/12 - 11*p**3/6 + 3*p**2/2 + 4*p. Let i be h(-10). Solve 2*l = -i + 3 for l.
-5
Let y(j) = j - 5. Let b be y(5). Suppose b = -7*l + 12*l - 50. Solve 4*m - l = -26 for m.
-4
Let v = -37 - -31. Let d be (40/(-15))/(1/v). Solve -u - 3*u = d for u.
-4
Suppose -175*c + 120 = -169*c. Solve -c*o + 25*o = 5 for o.
1
Suppose 4*g = 6*g - g. Solve -3*i + g = 9 for i.
-3
Suppose 7*o = 4*o + 12. Let x(c) = c**2 + 3*c - 22. Let n be x(o). Solve -2*s = s - n for s.
2
Suppose -25 = -139*q + 134*q. Solve -q + 8 = -3*i for i.
-1
Let f(n) = -3*n - 45. Let r be f(-15). Let a(z) = z**2 + z. Let y be a(1). Suppose 3*c - y*c = r. Solve c*t = 5*t for t.
0
Let s(k) = -k**3 + 3*k + 3. Let p be s(0). Suppose 5*u - 2*u - p*g = 9, -21 = -5*u + 2*g. Solve 4*l + 7 = -u for l.
-3
Let y = 24078 - 24070. Suppose 5*k - k = 16. Solve 0*q - y = k*q for q.
-2
Let u = -13 + 16. Suppose -6*h = -4*h + 4*g - 2, u*h - 24 = g. Solve -2*c - h = 1 for c.
-4
Let c be -1*2 + 1 + 49. Suppose 121 = 5*l + s + 3*s, c = 2*l + 2*s. Solve -r + l = 4*r for r.
5
Let w = -145 + 158. Solve -5*n = -w - 12 for n.
5
Let s(l) = l**2 - 24*l - 137. Let d be s(29). Solve 5 = -c + d for c.
3
Let r be (-229)/(-458) - ((-62)/4 - -1). Solve r - 23 = 4*q for q.
-2
Suppose -21*l = -16*l. Let d be (l - -4) + (4 + 2)/(-3). Solve 3*s = d*s + 3 for s.
3
Suppose -94 = 3*o - 5*o - x, -4*x - 163 = -3*o. Let q = o + -49. Solve v + 1 = -q*v for v.
-1
Let w(h) = h - 1. Let i be w(1). Suppose i = 5*d - 0*d. Suppose u + 15 = 3*b - 0*u, -2*u = 0. Solve -2*s - b - 5 = d for s.
-5
Let s be (-21)/(-6) - 0 - 12/24. Suppose 3*a = -3*f + 12, 2*a = -4*f + s - 1. Solve -a - 1 = -2*g for g.
4
Let s = 358 + -353. Solve -s + 7 = -2*v for v.
-1
Let i be (-6)/2 + (19 - 12). Suppose -4*k = -6*p + 3*p - 45, 0 = -4*k - 3*p + 75. Solve i*n - k = n for n.
5
Let h(n) be the second derivative of n**4/12 - 7*n**3/6 + 7*n**2/2 + 25*n. Let l be h(9). Solve l = -2*p - 3*p for p.
-5
Let d(w) = -w**2 - 16*w + 7. Let u be d(0). Solve 8*s = u*s - 3 for s.
-3
Let r(l) = 8*l**3 - 2*l**2 - l + 2. Let p be r(1). Suppose 3*s = -4*s + p. Solve v + s - 3 = 0 for v.
2
Suppose -3*o + 2 = -2*o. Suppose 4*j - 7 = -4*d + 57, -3*d = o*j - 45. Suppose d = 4*h - 11. Solve 2*u + h - 2 = 0 for u.
-2
Let o = 7 + -9. Let q be (-14)/(-21)*(5 + o). Suppose 0*m = 4*m - 5*a - 20, -q*m = 4*a + 16. Solve 0*b + 3*b + 9 = m for b.
-3
Let k(y) = -2*y + 8. Let i be k(3). Let x be i*-2 - 112/(-16). Solve 0 = -6*f + x*f - 9 for f.
-3
Let i = 519 + -483. Solve -7*c - i = -25*c for c.
2
Suppose 23*z - 3 = 20*z. Let g be 2*(5 - (z + -2)). Solve j + g = -3*j for j.
-3
Let b(i) be the second derivative of 0 - 1/2*i**2 - 1/10*i**5 + 0*i**4 - 1/3*i**3 - 5*i. Let k be b(-1). Solve -2*l + l = k for l.
-3
Let b be (-2 - -2) + (0 - 22). Let w = -32 - b. Let f = -10 - w. Solve -3 = 3*n - f*n for n.
-1
Let y = -1446 - -1451. Solve y*p + 142 - 132 = 0 for p.
-2
Suppose 3*w - 4 - 5 = 0. Let z(b) = 2*b**2 - 18*b - 19. Let n be z(15). Let p be 1242/n + 2/7. Solve 0 = w*d - p + 20 for d.
-4
Suppose d = -4*j - 51 - 3, 4*j = 5*d + 198. Let t = d - -51. Solve 7 + t = -4*k for k.
-4
Let p be (-3)/(10/16 - (-33 - -34)). Solve p*b - 6 = -22 for b.
-2
Let t = 109 - 51. Suppose 2*v - 3*p = -5*p + t, 4*v = 2*p + 92. Let m be (-2)/8 + v/4. Solve 5*s - 2*s = m for s.
2
Suppose 2*u - 5*u = 27. Let j = u + 29. Solve -2*s - j = -6*s for s.
5
Let x be (6 - -2) + (-6 - -4). Solve -2*o + 8 - x = 0 for o.
1
Let n(r) = -r**2 - 14*r - 35. Let o be n(-9). Solve 7*q + o - 17 = 0 for q.
1
Let h = -18 + 24. Suppose -h = -2*t - 2. Let s = t - 2. Solve 4*r + 4 = -s*r for r.
-1
Let j(x) = -x**3 - 9*x**2 - 8*x + 17. Let q be j(-8). Let g = 21 - q. Solve 2*t = 6*t + g for t.
-1
Suppose -8*q + 20 = 4. Suppose 14 - 4 = q*k + 2*h, k - 3*h - 5 = 0. Solve 2 - 7 = -k*l for l.
1
Suppose 5*f + 12*w = 8*w + 48, -f + 4*w = 0. Solve -t + f*t = 28 for t.
4
Suppose -x + z + 190 = 32, x + 5*z = 128. Solve -c = 150 - x for c.
3
Suppose 4*s + 5*f = 39, s - 5*f - 41 = -0. Suppose 5*l = -3*k + s, -2*l + 11 = 2*k + 3. Solve 3 = -l*h + 11 for h.
4
Let o = 39 + -24. Let b(s) = 2*s**3 - s**2 + s - 1. Let z be b(1). Suppose 3*v - 5 = -4*y, -z = -5*y + v + 10. Solve y*c + 3*c - o = 0 for c.
3
Let y = 22 + -19. Solve -l - y*l = -16 for l.
4
Suppose -2*g = -22 - 18. Suppose 0 = -7*r + 332 - 304. Solve g = r*q + q for q.
4
Let w be (-4)/(-8) + 156/24. Solve 4*l = 11*l - w for l.
1
Let r be (0 - 1) + -3 + 4. Suppose r = 5*i - 8*i. Solve -6*v + 2*v = i for v.
0
Let j(o) = -8*o**2 - 3*o - 2. Let v be j(2). Let t be (-1424)/v + 4/10. Solve 0 = -5*d + t - 11 for d.
5
Suppose -252 + 12 = -16*j. Solve -j = -9*f + 12 for f.
3
Let h be 1*4*(-7 + (-4 - -12)). Suppose -2*j - m + 14 = 0, 5*j - 11 = 2*j - h*m. Solve v - j = 4*v for v.
-3
Suppose 2*p - 12 = 5*h + 2, 0 = 3*p - 4*h - 35. Solve -p*l + 14*l - 6 = 0 for l.
-2
Let a(c) = c**3 - 5*c**2 + 4*c + 2. Let f be ((-7)/(-21))/(1/(-3)). Let i = f + 5. Let b be a(i). Solve 0*l = -l + b for l.
2
Suppose 38*f + 101 = 633. Solve -11*v = 3*v + f for v.
-1
Let w be (-1)/(-2) + 11/(-22). Solve w = 6*b - 12*b - 24 for b.
-4
Let r = 34 - 31. Suppose 0 = 2*i - r*i - n + 6, i = -5*n + 14. Solve i*s + 11 + 9 = 0 for s.
-5
Let m(z) = 59*z - 30. Let q be m(1). Solve 3*o + 17 = q for o.
4
Suppose 5*h = i + 15, -33*h + 29*h = -16. Solve b - i*b = -12 for b.
3
Suppose -9*a = -6*a - 6.