= -5*p - 5*t, c = p + p - 2*t + 14 for p.
-3
Let n = -10 - -12. Suppose -4*w + 5*w - 3 = 0. Solve 5*k = 3*j - 14, -w*k - 16 = n*k - 2*j for k.
-4
Let b(i) = i**3 - 2*i**2 - i - 3. Let j be b(3). Suppose -5*w + j = 3*a + 11, a + 16 = -5*w. Solve -a*s - 37 = -5*z, s + 8 = -0*z + z for z.
5
Let q = -34 + 40. Solve -4*z + 23 = 3*h, -4*h - z = -3*z + q for h.
1
Let b be (-14)/(-5)*5/1. Suppose 2*a = 2*v, -5*a + 6 = -4*v + 1. Suppose 5*q - 23 = 4*w - 65, v*w - 5*q = 55. Solve -4*k - p = w, 2*p = -3*k - 3*p - b for k.
-3
Let s = -2 - -7. Let p = 19 - s. Solve 4*o + 5*a = 3, 5*o + 10 = 3*a - p for o.
-3
Let k be -1 + 5 - (-11 - 1). Solve -6*l + h = -l - k, -h + 8 = 3*l for l.
3
Let l be (3 + -2 - 2)/(-1). Suppose -l = x, 4*y + x + 8 = -5. Let f be -1*(y*1 + 0). Solve t - 5*t = g + 13, -9 = f*g + 2*t for g.
-1
Suppose 0*v - 44 = -2*x + 2*v, 0 = -5*v - 25. Let i = x - 12. Suppose 3*c = i*a + 20, -a - 16 = -c - 2*c. Solve 5*d + c = -5*q, 2*d + 6 + 16 = 3*q for q.
4
Suppose 2*t = t. Suppose -2*i + 0*i + 5*z = 17, 2*i - 4*z + 12 = 0. Solve t = 2*o + l + i, 2 = o - 2*o - 5*l for o.
-2
Let z be (-6)/24 - (-529)/4. Let y be 20/11 + 24/z. Solve 5*b + 15 = 0, y*n + 2*b = -b - 13 for n.
-2
Let g(t) = -t**3 - 8*t**2 - 5*t + 2. Let i be g(-7). Let o be 2 - -3 - i/(-4). Solve y - 2*y = 5*h + 8, -o = -2*y - h for y.
2
Suppose -2*t - 43 = -5*t - 4*l, 0 = 5*t + 4*l - 85. Suppose 0 = a - 6 + 2. Solve -p = -2*p - a*i + 9, -3*i = -4*p - t for p.
-3
Let h = -16 - 16. Let i be h/(-7) - (-21)/49. Solve 2*j + 3*z = -8, z - 12 = 4*j + i*z for j.
-1
Suppose 3*g = -b + 12 + 1, 6 = -3*b. Solve -2*k - 17 = -5*u - 2, 0 = -g*k for u.
3
Let g be 66/14 - 14/(-49). Suppose 0 = 4*c + 5*a - 5, 4*c = c + 5*a - g. Solve -2*y + 5*y = 2*j - 1, y + 3*j - 7 = c for y.
1
Let b(y) = y**3 + 7*y**2 + 5*y. Let z be b(-6). Suppose j = 5*x - z, -4*j - 2*x + 3*x = 5. Let q = 1 - j. Solve -5*k - 3*i + 5 = 16, -12 = q*k + 5*i for k.
-1
Suppose -2*n = 2*k - 22, -2*n + 7*n - 46 = -4*k. Let b = -6 + k. Let i be 2 - (0 - 0) - -2. Solve 0 = q - i*d, q + d = b*d for q.
0
Let m = 3 + -1. Let j(r) = r**2 - 5*r - 1. Let k be (12/(-14))/((-3)/21). Let i be j(k). Solve x + 4*s = -3*x - 8, -i*x + m*s = -25 for x.
3
Suppose -10*t + 7 = -33. Solve -5*i - 2 - 26 = -4*d, i = -t*d + 4 for i.
-4
Let b = 3 - -2. Let q(n) = b*n**3 + 7*n + 0*n**3 + 3 - 4*n**3 - 8*n**2. Let g be q(7). Solve -5*z + 2*c - 12 = 0, g = z + 4*c + 1 for z.
-2
Let p(o) = 5*o - 10. Let w be p(3). Solve -w*c + 4*c = 2*a - 3, -c - 3*a + 4 = 0 for c.
1
Let s = 3 + 1. Suppose 0 = -4*u + 2*u. Suppose u = z + 2*z. Solve -2*f + 5*r + 5 = -s, -4*r - 12 = z for f.
-3
Let g be -1 + 2 + (0 - -3). Suppose 5*i + 4 = b, -3*i + b - g = -6*i. Solve 3*u - 12 = -3*t, 3*u + i*u - 4*t + 23 = 0 for u.
-1
Suppose -64 = 3*b - 64. Solve -3*x - 12 = -3*z - 0*x, z + 4*x + 11 = b for z.
1
Let t be (2/(-6) + -1)*3. Let v be (-30)/t*24/9. Let r be (1 - -5)*4/12. Solve c - 4*c = -r*d - v, 20 = -3*d + 2*c for d.
-4
Let p = 45 - 42. Solve -l - p*z = 2*l + 30, 2*l + 4*z = -30 for l.
-5
Let q be (-10)/(-6) - 2/3. Suppose 0 = 3*l - 12 - 6. Suppose 2*b = -b + l. Solve -4*r - 1 = 3*y, r + 3*y = b*y - q for r.
2
Let k(n) be the third derivative of 0 - 4*n**2 + 1/4*n**4 + 0*n - 1/3*n**3. Let o be k(3). Solve -2*q + o = 3*v, -2*q - 2*v = -3*v for q.
2
Suppose -8*a = -4*a - 12. Let y be 0*a/(-3)*1. Solve y = 4*s - 3*s + r + 6, 4*s - 3*r = -17 for s.
-5
Let x be ((-6)/9)/2 + (-92)/(-6). Solve -6*w + 2*w + 4*v = 12, -3*w - x = -5*v for w.
0
Suppose -6 = -s - 2. Suppose -s*d - d + 30 = 0. Suppose 4*m = d*m. Solve -4*c - n = -m*n + 18, -3*n - 22 = 4*c for c.
-4
Suppose 11 = -2*g + 57. Solve i + 3*q - 2*q = 7, -3*q + g = 4*i for i.
2
Let z(x) = -x**3 - 9*x**2 - 7*x + 17. Let l be z(-8). Solve 4*n = -5*p - l, -4*p - 5*n - 7 = -2*p for p.
-1
Let t(l) = -l**3 - 8*l**2 + l + 11. Let d be t(-8). Suppose d*c = -6, 0*a + a - 17 = c. Solve -y = -2*i + 7*i - a, 4*y + 24 = i for i.
4
Suppose -3 = -w - 4. Let l be 0 + w + 5 + 1. Solve -3*j = -4*o - 6, 10 = 3*o + l*j - 0*j for o.
0
Suppose -2*r = -5*y + 17, -3*r + 5*r - 1 = -y. Solve -s = -3*s - d - y, 0 = d + 5 for s.
1
Let z = -35 - -39. Solve 4*m = t + 7, -z*t + m = 3*m - 26 for t.
5
Let g(q) = 1 - 2 - 3*q + 6 - 2 + q**2. Let m be 1 + (-1)/((-1)/1). Let w be g(m). Solve -w = 3*p - c + 13, 3*p + 11 = 4*c for p.
-5
Let w = 3 - 3. Suppose 4*b - 32 = 2*u, w = 4*u - 7*u. Solve 5*p + 13 = -4*t - 0*p, 4*p = -2*t - b for t.
-2
Suppose 0 = -3*l - 1 - 5. Let w be 23*2/(-4)*l. Solve 5*f - 17 = 4*d, 2*d + w = 5*f + d for f.
5
Let d = -34 + 22. Let r = 21 + d. Solve -2*u + 5*n + r = -1, -u + n = 1 for u.
-5
Suppose -3*d = -7*d + 12. Suppose 0 = 4*y - d*y - 3. Solve -y*a - 12 = -3*x - 33, 5*x = -10 for a.
5
Let t be 14/(-4) + 8/16. Let j = t - -7. Solve -4 = q, 0 = -3*r - j*q + 6*q - 1 for r.
-3
Suppose -5*d = 2*g + 8, 0*d + 5*d - 5*g + 15 = 0. Let l be (4 - 6)/(d/7). Solve 3 = h + 4*w, -l = h - 2*w + w for h.
-5
Let h be -7 - 5/((-10)/6). Let z be (-23)/h + 1/4. Let n be (-12)/(-8) + 2/4. Solve -3*r + 3*y - 21 = 0, 2*r = 5*r + n*y + z for r.
-4
Let g(k) = k + 1. Let j be g(5). Suppose 3*y - 12 = -4*v + v, -5*y = -2*v - 13. Solve 3*q = 4*u - j, -q + 11 + 0 = y*u for q.
2
Let h be 0*(-3 - 14/(-4)). Suppose -4*v = 4*s - 28, h*s + 3*v - 13 = -s. Solve 0 = -5*c - 5*n - 5, -2 = -s*n + 6 for c.
-3
Let l = 8 + -2. Let x be ((-4)/(-3))/(4/l). Solve -22 = -5*b + z, -17 = -5*b + x*z + 2 for b.
5
Let r = 13 + 1. Suppose 5*y = 2*m + 47 - r, -2*m + 12 = 4*y. Solve s - y*s - 3*l = 35, -5*s = 3*l + 40 for s.
-5
Suppose 2*n + 5*o = 14, 2*o + 52 = 5*n + 6*o. Solve 3*l = -0*l + 4*g - n, -3*l = -g + 3 for l.
0
Suppose 0 = -2*m - 3*r - 8, -2*r - 3 = 3*m - 1. Suppose 0 = 2*q + 4, -m*p - 4 = 2*q + 2*q. Solve 3*w = -2*b - p, 3*w + 0*b + 3*b = 0 for w.
-2
Suppose -v + 3 = p, 5*p - 27 = -4*v + 5*v. Solve -3*t + 4*t + j = p, -3*t + 9 = j for t.
2
Let r(d) be the second derivative of d**4/12 - d**3/2 + 3*d**2/2 - 2*d. Let i be r(-4). Let y be i*1 + (8 - 6). Solve 5*o - y = 4*w, -w - 6*o + 8 = -4*o for w.
-2
Suppose -2*p + 2 = 0, 0 = -4*g + 5*p + 64 - 21. Suppose -31 = 5*o + 3*y, y = 3*o - 3*y + 36. Let l = o - -19. Solve 0 = k - h - h + g, 2*k = -3*h + l for k.
-2
Suppose 4 = l + 1. Solve 0 = -5*j + 2*f + 6, 2*j + 5*f + l = -12 for j.
0
Let m(f) = -3*f - 12. Let i be m(-4). Solve 4*p + 4 + 12 = 4*x, 5*x - 20 = i for p.
0
Let k(i) = -i**2 + 12*i - 11. Let c be k(11). Let j be c - 0 - (-2)/1. Suppose 4*q = -q + 20. Solve -2*m = -3*n + j - 0, 0 = 2*n + q*m + 20 for n.
-2
Suppose 2*s - 15 = -4*r - 1, -5*r + 3*s = -12. Solve -6*l + 3*p - 8 = -2*l, -r*p - 6 = 3*l for l.
-2
Suppose -r + 0*r + 2 = 0. Suppose 5*l = 3*o - 9 + 1, -5*l + 25 = 0. Let b = o + 4. Solve -r*i = 3*m + 3*i + b, -2*m - 4*i = 10 for m.
-5
Suppose l - 6*l + 5*o + 5 = 0, -2*o = -4*l + 6. Solve -3*r = -l*h - 9 - 8, -4*h - 19 = -3*r for h.
-1
Let y = -7 + 6. Let b(q) = -q**2 - 4*q - 4. Let g be b(-3). Let i = y - g. Solve -3*s + i*v - 4 = v, 8 = -5*s - v for s.
-2
Let b = -8 - -14. Let u = 10 - b. Let j = -2 + 7. Solve 3*f = -j*v - 0*f - 8, 2*f = -u*v - 6 for v.
-1
Let m(z) = z**3 - 5*z**2 + z + 1. Let f be m(5). Solve 3*u - 3*b + f*b = 15, -2*b = 3*u - 15 for u.
5
Let z(b) = b**3 - 10*b**2 + 9*b + 1. Suppose -n = 2*n - 27. Let v be z(n). Let d be 4 - (v - 0)/1. Solve d*a - 9 = 0, 4*i + 0*a + 3*a = 9 for i.
0
Let z be (0/1 + -32)*-1. Suppose -3*k + k - z = 5*y, 0 = 3*k - 4*y + 2. Let j = k - -8. Solve -2*a - a - m = 15, 2*m + j = a for a.
-4
Suppose 52 = 20*a - 8. Solve 5*k - 2*n - 2*n = -22, a*k - 3 = -3*n for k.
-2
Let h be 3 - (2 + 0 + -2). Let t = 10 + -5. Solve -5*i - h*f = -25, -10 = -t*i + 3*f + 15 for i.
5
Let x be (0 - 1)*10/4*-2. Solve x*r = -4*h + 21, 0*r = h - 4*r for h.
4
Let a = 1 + 4. Solve 1 = 2*m - a*t + 4, -2*m - 5*t - 13 = 0 for m.
-4
Suppose -3*k - k + 5*n + 28 = 0, -4*n = 4*k + 8. Solve -5*l = j - 18 + k, 2*j = -l - 4 for l.
4
Let x be 5 - 0*4/(-16). Solve -x*b - 8 = 4*f, 0*b = 2*b - f - 2 for b.
0
Let y = 43 + -29. Solve 0*q - y = 5*q - t, -q - 3*t - 6 = 0 for q.
-3
Let r(m) = -m**2 + 7*m - 2. Let k be r(6). Let s be k/((-3 - -2) + 2). Solve -5*n + 2*n = -a, s*a - 10 = 2*n for n.
1
Let h be (1 + -2)/((-8)/40). Solve 0 = -2*a - 2*t + 6, -h*t + t - 8 = -a for a.
4
Let x(l) = -l**3 - 4*l**2 + 20*l - 5. Let b b