*c for p.
-3
Suppose -29*u + 8 = -28*u. Solve 4 = -i + n, -4*i + 0 = 2*n - u for i.
0
Suppose -u = -6 + 1. Suppose 2*q = 5*t - 6, -q + 27 = -0*q + u*t. Solve h + q = -j, 2*j = 4*h + 12 + 4 for h.
-5
Let o = 21 + -27. Let j be o/(1 + (-24)/20). Solve 2*n + j = 4*f - 0*f, -4*f + 10 = 2*n for f.
5
Suppose -2*t = -5*t - 2*v + 15, -3*t - 4*v + 21 = 0. Solve 5*r - 9 = t*c, 0 = 2*r + 3*c - 8 - 4 for r.
3
Suppose o + 0 - 2 = 0, 2*d + 3*o = 86. Suppose r = -r + d. Solve -r = 5*s - 5*t, 4*t - 11 = 5 for s.
0
Let h(m) = m**3 - 3*m**2 - 4*m. Let y be h(4). Solve 5*d - c + 6*c = y, -5*c = 4*d for d.
0
Let a be 8/2*(-3)/(-4). Let t = 1 - -2. Suppose 4*m + t = 15. Solve 2*w + m = b - 8, w + a*b = 5 for w.
-4
Suppose -2*d + 0*d + 76 = 0. Solve 3*z = -4*x - 13 + d, 2*z - 2 = x for z.
3
Suppose u = -0*u - 2*w - 2, -4*u - 3*w = -2. Suppose u*v - 4*v = 0. Solve 2*m - 3*q - 15 + 4 = v, -8 = -5*m + q for m.
1
Let v(j) = 2*j + 7. Let d be v(-9). Let a = -7 - d. Solve 3*z = -3*m + 2*m - a, 3*z = -2*m + 1 for z.
-3
Suppose 4*l + 20 = 4*p, -p - 3*l = -7*l - 8. Solve 4*c - 18 = -j + p*j, -j - 17 = -5*c for j.
-2
Suppose 0 = 3*d - 63 - 18. Suppose x + 2*t = 3*t + 9, 0 = 3*x - 2*t - d. Solve 4*u + 3*g = 2*g - x, 4*u = -2*g - 10 for u.
-2
Let u = -4 + 12. Let v = u + -6. Suppose 6 - v = 2*x. Solve 5 = 3*q + h - x*h, 5*q + 5 = 5*h for q.
3
Suppose 0*w = -3*c + w - 53, 5*c = w - 85. Let o be (4/c)/(2/(-24)). Solve 4*g + o = 5*u, -3*u = 2*g - 2*u + 5 for g.
-2
Suppose 0 = y - 0*y + 2*a + 3, -3*a = 3*y. Let j be y + -1 - (-5 - -3). Solve 3*n - j*b = -10, 6*b - 20 = -2*n + 2*b for n.
2
Suppose 0 = 4*i + 10 - 30. Let g(r) = -r**2 + 26*r - 117. Let b be g(6). Solve 2*h + d + 2 = -d, 0 = i*h - b*d - 3 for h.
0
Suppose -3*s + 0*s + 6 = 0. Let u = 5 - 34. Let a = 34 + u. Solve -k = -a*q - 4*k, k + s = -q for q.
3
Suppose 6 = 6*g - 6. Let n(f) = 11*f + 1. Let i be n(1). Solve 2*j = -2*x - g, -4*j + 3*x - i = -x for j.
-2
Let k = 79 + -59. Solve -6*i + 2*z = -i + k, 0 = 2*z - 10 for i.
-2
Let p(l) = l**2 + 2*l - 3. Let r be p(2). Solve 3*f - r = 3*y - 8*y, 0 = 3*f + 15 for y.
4
Let i be (-4)/(-2)*(-9)/(-6). Let g(a) = 2*a - 2. Let z be g(3). Suppose -2*s + z*p + 9 = 3*p, -i*s + 14 = -2*p. Solve 4*b - 8 = 0, 5*b = -s*r + 2*b + 22 for r.
4
Let c(z) = -z**2 + 11*z - 12. Let a be c(8). Let i = a - 9. Solve -b - 5*m = -i*b, 0 = -4*b - 2*m for b.
0
Let m(j) = j + 8. Let w(s) = -2*s + 9. Let h be w(6). Let z = -8 - h. Let d be m(z). Solve 3*u - 3*i - d = 0, -u = -3*u + 3*i + 7 for u.
-4
Suppose -2*s + 8 = 4*h, 2 + 4 = -3*s. Let c = -4 + 6. Solve c*x + 3*i = 8 + 5, h*i - 3 = 0 for x.
5
Suppose 3*t + 2*i = -2*i + 8, 3*t - 13 = i. Let w(v) = -v**2 + 6*v - 4. Let y be w(t). Let l = -3 + 7. Solve 0 = -3*a + l*o - 2*o + 1, -y*a = 3*o + 10 for a.
-1
Let c(h) = h - 5. Let g be c(6). Let p be (6/(-4) + g)*-4. Solve -3*i = -p*w + 5*w - 6, w + 8 = i for i.
5
Let y be (-30)/26 - 4/(-26)*1. Let n(u) be the third derivative of -11*u**4/24 - u**3/6 + u**2. Let v be n(y). Solve 0 = -2*l + 4*f - 2, 8*f - v = 3*f for l.
3
Suppose -7*n = -6*n - 3. Suppose -j + n = -1. Solve 0 = 4*r + 4*m + j, -4*m - 3 = 2*r + 3*r for r.
1
Let p(d) = d - 12. Let o be p(18). Solve -o*x + 8 = -b - x, 0 = -3*b + 2*x + 2 for b.
2
Let b be 9/(-21) - 115/(-7). Solve -2*v - b = 2*w, -12 = 2*v - 0*w + w for v.
-4
Suppose q - 12 = -3*q. Let s(l) = l**3 + 8*l**2 + 8*l + 9. Let a be s(-7). Solve a*c + x + x = 8, 8 = q*c - x for c.
3
Suppose 0 = -5*l + 4*i + 22, 0 = -6*l + 3*l + i + 9. Suppose 2*o = -l*u, 4*o - o = 3*u + 18. Solve 5*f = -o*d - 2 + 3, -3*d + 5*f = 19 for d.
-3
Let t(f) = 2*f**3 + 3*f - 1. Let c be t(1). Solve 4*q + 14 = b, -c*b + q - 4 + 0 = 0 for b.
-2
Let r = 671 + -666. Let c(b) = b**3 + b - 1. Let f be c(0). Let p be (3/2)/(f/(-2)). Solve x + 3*i + 4 = 0, 0 = r*i + 18 - p for x.
5
Let j = 210 - 122. Suppose -4*k = -3*v + j, 0 = v - 7*k + 3*k - 32. Solve -5*l - p + v = p, 0 = -2*l + p + 4 for l.
4
Let x(r) = r**3 + 8*r**2 + 12*r - 12. Let d be x(-5). Solve 3*g - s + 5 = 0, s = 4*g - d*s + 12 for g.
-1
Suppose 0 = 5*c + 5*i - 5, i = 4*c + 3*i - 4. Suppose 5 = z - c. Solve 3*p = 2*u + 1, -u - 3*p = -z*p - 1 for u.
-2
Let l(p) be the third derivative of -p**4/24 + 7*p**3/3 + p**2. Let i be l(-12). Solve f - 24 = 5*g, 0*g - f - i = 5*g for g.
-5
Let y = 8 + -4. Suppose y*f - 26 - 30 = 0. Solve 3*h + h + 2*c + 10 = 0, -2*c = 5*h + f for h.
-4
Suppose -4*g + 9 + 11 = 0. Let j be (-2702)/(-70) - (-2)/g. Solve -3*y - 4*o = 3, -5*y = -2*o + j - 8 for y.
-5
Let a = 5 - 5. Suppose 9 = 3*w - a. Suppose -w*z + 0*z = -9. Solve -h - 5 = -2*i, 5*h - 1 + 5 = z*i for h.
1
Suppose -2*i + 4*i = 6. Suppose 0*a = -i*a + 9. Suppose -4*l + a = v - 3*l, -3*v - 2*l + 8 = 0. Solve 10 = -2*k + n, -4*k - 24 + v = -3*n for k.
-4
Suppose o - 3*k + 2 = 2*k, 5*o + k + 10 = 0. Let g = 7 + o. Let y be 6*((-15)/(-6))/g. Solve y*z - q + 2 = 10, 2*z + 2*q = -8 for z.
1
Suppose -s = -4*t - 27, t - 3*t + 25 = 3*s. Let b = -7 + s. Solve b*a + 4*o = -13 - 15, 4*a = 2*o - 16 for a.
-5
Suppose 13*d - 30 = -4. Solve d = -3*b + 8, 3*b - 21 = -3*i for i.
5
Suppose -2*t + 5 = -t. Let n(m) = -m**2 + 7*m - 4. Let o be n(t). Let r(k) = 2*k - 9. Let h be r(o). Solve -v + 20 = -h*g, 0*g - 3*g = 3*v for v.
5
Let o(i) = i**3 + 5*i**2 - 7*i - 2. Let x be o(-6). Suppose -2*k - a = -3, 26 + 10 = x*k - 4*a. Solve -n + 4*n = -2*c + 11, 5*n = -k*c + 19 for n.
3
Let k(h) = 2*h**2 + 8*h + 1. Let g be k(-6). Suppose 5 = -5*n + g. Solve -3*o - n*f = 6, 3*o = -o - 4*f - 8 for o.
-2
Suppose 0*u - 20 = -4*u. Solve 5*a = 3*g + 5, -u*g + 3 = 3*a - 0 for g.
0
Let r = -2 + 2. Suppose v - 16 = -r*v. Solve 2*q + 2*b = 4*q - 8, v = -5*q - 4*b for q.
0
Suppose 0 = -i - 0*n + 2*n + 15, -i = -n - 13. Solve 2*d + i = 3*k - 8*k, 3*d = 2*k - 7 for d.
-3
Let t be (-17)/(-3) + 3/(-9)*2. Solve t + 6 = -3*a + 4*w, -3*w - 28 = 5*a for a.
-5
Let b(s) = s**3 - s**2 - 6*s + 6. Let h be 56/5 + 1/(-5). Let u = h - 7. Let v be b(u). Solve 0 = 4*m + z + 25, 8*m = 4*m - 2*z - v for m.
-5
Let i be 0/(3 - (3 + (-8)/4)). Solve -s + 3*s = 4*o + 2, -s + 3 = i for o.
1
Let v = 2 - 2. Let w = 13 + -13. Let j = w + v. Solve j*k - 2 = k, 0 = -u + 4*k + 12 for u.
4
Let o be (-8)/(-6)*(-18)/(-8). Let p be 2 + (0 - (o - 3)). Solve -f = c + 2, -p*f + 14 = -3*c - c for f.
1
Let o = -8 + 23. Let y(d) = d**3 + 3*d**2 - 2. Let s be y(-2). Let h be 150/24 - s/8. Solve 2*j - h*j = 2*r + 2, -r = -5*j + o for j.
2
Let l(c) = 3*c - 45. Let j be l(17). Solve -2*u + 6 = 0, -2*q - 4*u + j*u = 6 for q.
0
Let x be 42/8 - 4/16. Suppose 0 = x*g - 7 - 8. Suppose -g*v - 43 = -6*v + 5*y, 3*y + 93 = 5*v. Solve 5*f - 4*j = v, 5*f + 8 - 34 = -j for f.
5
Let u(q) = -q**2 - 10*q + 34. Let j be u(-12). Solve 5*m - j = 4*k + k, -5 = -2*k + 5*m for k.
-5
Let v be 4/(-2)*(-12)/(-8). Let n be (1 + v + 1)*0. Solve -5*i - 4*j + 28 = -3, -4*i + 3*j = n for i.
3
Let n = 55 - 35. Suppose 3*p = p. Suppose p*k - n = -4*k. Solve -2*u - 11 = -k*i, -2*i + 4*u = 8 - 22 for i.
1
Let p be -3 - ((6 - 3) + -8). Solve 2*d - 7*d = -5*s + 15, 0 = p*d + s + 12 for d.
-5
Let o = -38 + 62. Suppose 2 = -2*l + 6. Suppose -l*r = 1 - 9. Solve 0 = -r*a + 4*x + o, -4*a - a + 21 = 4*x for a.
5
Let v be (-30)/(-6) + 4/(-2). Suppose -v*y = -61 - 32. Solve 5*o + y = -3*r, 6*o - o + 19 = 3*r for r.
-2
Suppose s = -2*s + 21. Solve -y + g = 0, 0 = 4*y + 4*g + s + 25 for y.
-4
Suppose -2 = 2*k - 3*k. Solve 0 = k*y - 2*z + 4, 3*z + 2 + 8 = -5*y for y.
-2
Let r(b) = b + 21. Let k be r(-16). Solve 4*d = -k*z + 1, -3*d - 2 = 2*z - 8 for d.
4
Let c be (0 - -4)/(2 + -1). Let g be c/10 - 36/(-10). Suppose g*o - 120 = -o. Solve 2*l + 4 = -b - b, 0 = 4*l - 4*b + o for l.
-4
Let z(n) = n**3 - 3*n**2 - 2*n - 3. Let l(u) = u**2 - 6*u - 3. Let x be l(7). Let f be z(x). Solve -2*t = 4*p + 30, 3*t - 5 - 5 = f*p for p.
-5
Let j be ((-1)/3)/(20/(-1380)). Solve -3*h + 4*y = -0*y - j, 5*y + 24 = -h for h.
1
Let p be (-2)/(-3)*-3*-8. Suppose 4*b - 5*l - 10 = -5, -1 = b + l. Solve 13 = -2*x + 3*x - 3*i, 4*i + p = b for x.
1
Suppose 0 = -3*x + 6 - 24. Let v = x + 10. Solve 2*h - 8 = i, 4*i = 2*i - h + v for i.
0
Let x be 3/((-12)/(-14)) - (-3)/6. Solve 3*l - 12 = -3*i, -x*l - 3*i + 6 = -11 for l.
5
Let w(v) = v**2 - 5*v - 5. Let a be w(5). Let d = 16 + -3. Let f = d + a. Solve -7 = -n + q - 4*q, -4*q = 2*