 y = -3*p - 2*t - 19 for p.
-3
Let a(o) = o**2 + 7*o - 4. Let h be a(-8). Let q be -3 + h - (2 + -3). Suppose -56 = -9*r + 7. Solve 5*z - q*p = -p + 9, z = -2*p - r for z.
1
Let s = -214 + 214. Solve 0 = -4*f - q - 2*q + 26, -3*f + q + 13 = s for f.
5
Let q = -10 - -43. Suppose -d = 2*d - q. Suppose 0 = 3*y - 5*i + 16, 4*y + i - d = 2*y. Solve -v = 3*o, o - 4*o = y*v for o.
0
Suppose b = a, -5*a + b + 8 = -0*a. Suppose 4*d - 10 = d - y, -d - a = -y. Suppose -2*j = -3*j + 15. Solve d*r + 3*z = -2*r - 20, 3*r + j = 2*z for r.
-5
Suppose -343*o + 16 = -335*o. Solve -5*d - o*x - 19 = 0, -3*x - 3 = -2*d + d for d.
-3
Let q(b) = b**2 + 28*b + 173. Let p be q(-9). Solve 0 = -2*t - 5*d + 20, d + 20 - p = 4*t for t.
5
Suppose -5*n = -h - 13, 3*n = -6*h + 2*h + 17. Let b = -5 - -8. Let y(v) = v + 10. Let q be y(b). Solve -p - q = -4*s + s, 0 = -h*s + 2*p + 14 for s.
3
Let a(g) be the first derivative of -g**2/2 + 4*g + 15. Let t be a(-9). Solve -10 = -5*x + 5*v, -6*x + t = -3*x + 4*v for x.
3
Suppose -8 = 15*l - 17*l. Solve -2*p - 12 = a + l*a, 0 = 3*p + 2*a + 7 for p.
-1
Let q be 1/((-1)/(60/(-6)) - 0). Solve -2*z = 4*v - 28 + q, z = 2*v - 11 for z.
-1
Suppose -5*z + 66 = 3*j, -z - z + 27 = j. Let c(u) = -u + 1. Let s be c(-11). Suppose 0 = -0*r + 3*r - s. Solve 3*f - z = 0, r*f - 35 = k + 2*k for k.
-5
Let f(c) = -c**3 - 19*c**2 + 16*c - 68. Let t be f(-20). Solve w + 0*w = 5*g - 16, g + t = 4*w for g.
4
Let y = 2 + -4. Let m(r) = 2*r**2 + r - 1. Let q be m(y). Solve q*n - 5 = 0, d - 3 = -0*n + n for d.
4
Suppose -23*s + 4 = -21*s. Solve 5*z - s*p - 2*p - 15 = 0, -5*z - 25 = 4*p for z.
-1
Let s(x) = -2*x**3 - x**2 + 4*x + 4. Let r be s(-2). Suppose -r*t = -12*t + 72. Solve -o + 1 = 5*c, -o - t = 2*c + 4*o for c.
1
Suppose -4*a - 6 = 4*y - 14, -4*y = -4*a - 24. Solve -5*r + 17 = f, -28 = y*f - 4*r - 0 for f.
-3
Let g = 8 + -5. Let o(c) = 4*c**2 - 20*c - 598. Let y be o(-10). Solve -g*t + 3*m + 6 = 0, -3*t + y = -t - m for t.
0
Let o = -116 - -136. Suppose 0 = -5*p + o, b + 2*p - 24 = -3*b. Solve 0 = -z - 5*c + 15, 4*z = -c - b + 7 for z.
0
Suppose 2*p = -11*p + 39. Solve 8 = -3*h - 2*q, p*q - 4*q + 10 = -2*h for h.
-4
Let y = -19 + 31. Let j be (y + -3)*(-2)/6. Let t be 5/15 + (-8)/j. Solve 0 = 5*w - 2*m - 4, t*m + 3 = 4*w - 3 for w.
0
Suppose 0 = 5*n - 2*b, -44 + 25 = -2*n - 3*b. Solve -n*v - g = -4*v - 11, -v = -2*g + 10 for v.
-4
Suppose 6*s + 11 - 29 = 0. Solve s*l + 23 = -5*v, -7*l + 2*l - 1 = -v for v.
-4
Suppose u - 16 = -5*x, 2*x + 3*u = -0*x - 4. Suppose 2*m = -0*m + x, 4*h = -2*m + 32. Solve k + 3*r - h = 0, 4*k - 11 = -3*r + 8 for k.
4
Let f be 3 + (3 - (-3 - -4)). Let a = -64 - -70. Solve b = f*g + 16, 0 = -2*b - a*g + 7*g + 5 for b.
1
Let c(g) = 4*g**2 - g**2 + 6*g - 5 - 2*g**2. Let a be c(-7). Solve 3*h = -5*p + a, 0*h + 12 = 4*p + 5*h for p.
-2
Let j be (3/4)/(-3)*(-176)/22. Solve -2*x + 5*x + j*r = -5, -2*x = -2*r for x.
-1
Let k be 2/(-2) - (-260)/65. Solve 0 = -2*z + 2, k*z - 9 = 5*r + 9 for r.
-3
Let m be (-4 - 63/(-3)) + -4. Let b be (-2)/(-5) + m/5. Solve 4 = d + b*r, 2*r - 8 = 3*d - d for d.
-2
Suppose 23 = 3*u - u - 3*h, -2*u - 4*h = 12. Solve -12*v = 3*b - 8*v + 27, 0 = 4*b + u*v + 32 for b.
-5
Suppose 3*h - 15 = -3*d, -6*d + 9*d - 25 = -4*h. Let b(t) = t**3 - 6*t**2 + 5*t + 5. Let i be b(5). Solve 0 = -o + 3*g - 5, 2*o + i*g + h = -0*g for o.
-5
Suppose -4*f = 2*n - 6*f, 0 = -4*n - 8*f + 12. Solve -o = -4*z + n - 22, -4*z = o + 11 for o.
5
Suppose -6*x - 4*x = -400. Suppose 0*q - 3*i - 40 = -2*q, x = 2*q + 4*i. Solve 0 = 3*s - 2*f + 15, -2*s - 2*s + f - q = 0 for s.
-5
Suppose -4*b = -0 - 28. Suppose -2*u = 2*u - y - b, 4*y - 5 = 5*u. Solve 0 = 2*i, -a + u*i + 5 = -2*a for a.
-5
Let x(w) = 10*w**2 - 1. Let z be x(-1). Let p(r) = -24*r + 27. Let g be p(1). Solve 0 = -l + k + 1, l + z = 2*l + g*k for l.
3
Let q = 17 - 28. Let m = q - -16. Suppose 4*y = 3*o + 17, m*y + 4*o = -0 - 2. Solve -y*g + 10 = 2, 6 = -2*b + 3*g for b.
3
Let m = -23 + 60. Suppose 9*r - 89 = m. Solve z + 2*v - r = 0, 2 = -2*z + 5*v - 15 for z.
4
Let p(d) = -13*d + 17. Let b be p(1). Solve -f - 6 + 5 = 0, -b*f - 1 = j for j.
3
Suppose -4*f + 11*f - 259 = 0. Let t = f - 22. Solve 4*a - m = -3*m - 2, t = -3*m for a.
2
Let m = -6 + 9. Let s = 1 + m. Suppose -46 = s*c - 6*c. Solve w = -3*b + 2*b - 1, -4*w + c = -5*b for w.
2
Let b be 4/8 - (-9)/2. Let z be 12/8 + (-21)/(-6). Suppose -6*t = -5*t - z. Solve 4*o + 14 = -c, b*o = 4*c + c - t for c.
-2
Suppose -3*d + 47 = 38. Solve 3*x = d*q, -2*x - 39 + 14 = 3*q for q.
-5
Let r(c) = 3*c**2 + 1. Let w be r(-1). Suppose 0 = -w*j + 5*h + 53, 6 = -h + 1. Solve 3*d - 13 = -5*o, -j*o + 2*d = -2*o - 8 for o.
2
Let v(u) = -u**2 - 5*u - 3. Suppose 0 = -0*a - 3*a - 9. Let i be v(a). Suppose -27*t = -9*t - 36. Solve t*r - 5 = l + 1, 0 = -r + i*l - 7 for r.
5
Let v(q) = -8*q + 91. Let w be v(10). Let p be (2 + -2)*(-2)/(-2). Solve -4*c + 21 = -y, -c - c + y + w = p for c.
5
Let b(j) be the first derivative of j**4/4 + 2*j**3 - 15*j**2/2 + 11*j + 20. Let z be b(-8). Solve 2*g + 1 = -3*k, 3*k = -0*g - z*g + 3 for g.
4
Let r(x) = -x + 2. Let b be r(-1). Suppose 5*k = -4*i + 14, -23 = -b*i - k - 7. Solve 3*u + 5*p = 23 - i, -3*p = -u + 1 for u.
4
Suppose -4*p = -282 + 90. Suppose 0*n - 5*n + 76 = 3*s, -4*s + p = -4*n. Let u = -11 + s. Solve 0*t + 18 = -j - 4*t, -j + 2*t + u = 0 for j.
-2
Let d(t) = t**3 - 29*t**2. Let h be d(29). Solve 5*o + 3*g - 9 = h, 3*g + 18 + 0 = 4*o for o.
3
Let m be ((-4)/12)/(3/(-18)). Suppose 2*v = -2*n + 6, -4*n + 4*v = m*v - 12. Suppose 0 + 6 = n*o. Solve -4 = -2*a - o*y, 3*y = a - 0*a + 2 for a.
1
Let b be 1/(-10)*4*-10. Let d(l) be the first derivative of l**3/3 - 3*l**2/2 - 4*l + 4. Let u be d(b). Solve u = -q - 0*q, -q = -5*c + 25 for c.
5
Suppose 310 = 64*i - 2*i. Solve -3*j - 3*o = 6, 13 = -3*j - 2*o + i for j.
-4
Let i = -3 + 4. Let x be 3/(-9)*0/i*1. Solve 3*r + 31 = 4*c, 3*c + x*r - 17 = r for c.
4
Let d be -5 + 5 + 7 + -3. Suppose -104 = -p - 4*p - 4*m, d*p = -4*m + 84. Solve -5*o = p, 0 = -c - 2*o + o - 2 for c.
2
Let i = 9 - 15. Let k = 15 + i. Solve -3*d + 3*p = -k, 0 = -0*d + 2*d - 3*p - 9 for d.
0
Suppose 3*c + 5*y = 4*y + 37, 5*c = 2*y + 58. Suppose -7*b + 9 = -c. Solve b*z + 19 = -4*x, -3*z + 1 + 12 = -4*x for z.
-1
Suppose 7 = -5*i + 12*i. Let c(b) = 2*b**3 + 2*b**2 - b. Let z be c(i). Solve k + 3*k = -12, 0 = z*q + 5*k + 9 for q.
2
Suppose 4 = 5*y - 1, 0 = -5*f - 5*y + 125. Suppose -f = 2*s - 5*s. Solve i - 4*v = -3, 0 = -v + 5*v - s for i.
5
Let k be (-9)/(-18)*4/1. Suppose k*l - 3 - 1 = 0. Let f(r) = r**3 - r**2 - 3*r + 3. Let h be f(l). Solve 2*s - 2*y - h = 3, -2*y - 4 = -5*s for s.
0
Let d = -8 - -11. Suppose 14 = 9*h + 5. Solve 4*j - d*x + 6*x - h = 0, -x = -5*j + 6 for j.
1
Suppose 7*b - 2*q - 28 = 2*b, -4*b + 21 = -3*q. Solve 20 = 5*i - 5*z, -8 = -b*i + i - z for i.
2
Let t be (-20)/30 - (-4)/6. Suppose 34*k - 24 - 10 = 0. Solve t = -4*q + 4*v - 24, -k = -v + 1 for q.
-4
Let y(k) = k**3 - k**2 - 3*k - 5. Let u be y(3). Solve 0*j + 5*d = -3*j - 5, u*j - 16 = -d for j.
5
Let t(i) = i**3 - 8*i**2 + 9*i - 8. Let s be t(7). Let n(k) = 4*k - 15. Let u be n(s). Solve -17 = 5*c - 4*l, -3*c = -4*c - 2*l - u for c.
-5
Let u = -328 - -328. Solve -5*q = -u*q - 2*b + 23, -5*q - 24 = -b for q.
-5
Let t(m) = -m**2 + 4*m - 2. Let a be t(3). Suppose -3*c - a = y, 2*c + 2*c + y = -1. Solve 4*h + 7 = -o, c = -3*o + h - 7 - 1 for o.
-3
Let y be 4 + (-77)/21 + (-1)/3. Solve y*n + 8 = -2*n, 6 = 2*g - 4*n for g.
-5
Suppose -p + 0*g + 6 = -4*g, -p - 2 = 4*g. Suppose d - 2*b = -p*d + 85, 2*b = d - 31. Let q be (-16)/6*d/(-36). Solve 4*y + 2 = -5*r, q*r = 5 - 1 for y.
-3
Let q(s) = -5*s - 2. Suppose 22 = -p + 21. Let o be q(p). Solve 3*i - 5*z - 2 = -10, 0 = o*i + 5*z - 2 for i.
-1
Let i be (1 - 2/(-6))*3. Let s(k) = k**2 - 73*k + 214. Let c be s(3). Solve -3*h + 5*b = 0, 0 = i*h + b + c*b - 35 for h.
5
Suppose 0 = 3*r - 0*q + 5*q + 11, 0 = q + 4. Solve -2*b = -5*x - 20, -b - r = 5*x + 17 for b.
0
Let d be (28/8)/((-1)/2). Let m = 10 + d. Suppose i + 0*i = m. Solve -y + i*x = -0*x + 12, 5*x - 10 = 5*y for y.
3
Suppose 38 = -4*y + 14. Let p = y - -9. Let r = 1 + p. Solve -3*u - 2*c = 3, -3*u - 3 = -0*c + r*c for u.
-1
Let o(l) be the first derivative of -2*l**2 - 2*l + 5. Let p be o(-1). Suppose p = 