3*z = 5*p + 18, 3*p - z = z - v for p.
-3
Suppose 60 = 4*h + h. Suppose -5*v = -21 - 4. Let k = -49 + 49. Solve -z + v*z + h = 0, -4*m - 5*z - 19 = k for m.
-1
Let j = -30 - -34. Solve -o - 2*o = 6, 0 = 4*u - j*o - 24 for u.
4
Let z = -1 - -13. Let r be z/(-8)*(-6)/(-9). Let y be (-12)/(-16) - r/4. Solve -4*h + y = -5*g - 0*g, 2*g = 4*h + 2 for g.
-1
Let x = 14 + -10. Solve x + 13 = -5*n + 3*v, 16 = 4*v for n.
-1
Let k = 36 - 34. Solve 4*i = 2*i - k*h - 10, 0 = 5*i - 3*h - 7 for i.
-1
Suppose 0*t + 2*t = 2*o - 4, 0 = -3*o + 4*t + 9. Let y be (o + 3 + -3)*-7. Solve 3*v - q = y, -2*v = 2*v + q for v.
1
Let w = -33 + 25. Let z be ((-12)/w)/(6/20). Solve -j = -6*j - p - 20, -20 = z*j - 3*p for j.
-4
Let n(a) = a**2 - 3*a + 6. Let j be n(5). Suppose j = -3*z + 46. Solve -5*s = 3*p + 15, -3*s - p - z = p for s.
0
Suppose 8 = t - 4*g, -4*t = -3*t + g - 3. Suppose -18 = -2*a - 5*i, 2*a - a - 3*i = -2. Solve t*u - 2*y - 8 = 0, -a*u + 2*y + 8 = 6*y for u.
2
Suppose -10 = -2*j, q + 2*q - 16 = -2*j. Solve 5*r - r = -4*y - 12, 0 = 5*y + q*r + 21 for y.
-5
Suppose 3*r = -4 - 5. Let t be ((-2)/r)/(6/45). Let z be 13/(-39) - (-74)/6. Solve -5*q = 0, -t*q - z = -k - 2*k for k.
4
Let g(p) = -p**2 - 2 + 0 + 0 - 4 - 10*p. Let b be g(-9). Solve 0 = 4*n + 5*f + 1, -b*f - 3 = n - 8 for n.
-4
Let y(t) = 3*t + 38. Let z be y(-11). Solve 0 = 4*x - 4*h + 16, 2*x = h - z*h + 16 for x.
0
Suppose -3*g - u = u - 9, -3*g = -4*u - 27. Solve -9 - 26 = g*h + 5*q, -12 = 4*h - 4*q for h.
-5
Let s(i) = -i**2 + 9*i + 3. Let u be s(7). Let y(v) = v**2 + 6*v + 2. Let x be y(-6). Solve 4*d + 4*j - 2 - x = 0, -3*d = -2*j + u for d.
-3
Suppose 5*g - 4 = 4*g. Solve -f - 2 = -g*t, -5*f + 4*t - 14 = -4 for f.
-2
Suppose -5*r + 0 + 15 = 0. Solve 3*c + 3 = -r*l, 2*l + c = -2*c - 7 for l.
4
Let x(r) = -r**3 - 7*r**2 - r - 3. Let a be x(-7). Suppose 2*m - 4*m + a = 0. Solve 5 = -u - 5*c + 2*c, -m*u = c for u.
1
Let c be ((-2)/12)/(-1) + 705/90. Solve b + 4*j = 7, 2*b + 4*j = 6*b - c for b.
3
Let p(q) = -2*q + 8. Let k be p(6). Let u = k - -4. Suppose u*i + i + y - 17 = 0, 2*y - 49 = -3*i. Solve 7*x - 2*l = 5*x, -2*x + i = l for x.
5
Suppose 0 = 3*i - 4*i - 3. Let u be ((-1)/i)/(2/12). Solve u*n - 5*t + t = -26, -5*t = -4*n - 37 for n.
-3
Suppose 6*c - 21 = 9. Suppose 3 = g + c*q, g + g - 6 = -3*q. Solve 2*v - 2*l - 3 = g*v, 0 = -v - 3*l - 2 for v.
-5
Let d be 5*1/((-10)/12). Let h(q) = -2*q**2 - 8*q + 2. Let w be h(-7). Let n be w/15*d/4. Solve x + 11 = n*k, -19 = -0*k - 5*k + 3*x for k.
2
Suppose -44 = -4*h + 8. Suppose t + 6 = h. Solve z = k - z - t, 0 = z + 3 for k.
1
Suppose -20 = -g + 5*d, g + 4 = -d - 0. Suppose -1 - 2 = -m. Let i be 0 - (-2 + -3 + m). Solve -k = -g*k + 3*s + 12, 3*k = -i*s - 15 for k.
-3
Let q be -4*(-4)/((-16)/(-3)). Suppose -4*x + 28 = 4*j, q*j + 0 + 4 = 2*x. Let s be 0*2*(-2)/8. Solve -v - 2 = -2*p + v, -4*p + x*v + 3 = s for p.
2
Let c be (-2)/4 + 44/8. Suppose -c*a + 2 = 7. Let i = 3 - a. Solve -3*h + i*h = -4*g + 10, -6 = g - 4*h for g.
2
Suppose -65 = 3*x - 77. Solve -3*v + v - h = x, -4*h = -3*v - 28 for v.
-4
Let f be 3 - 0*3/(-12). Suppose -f*d = -0*d - 12. Solve -4*w + d = 0, -7*k = -4*k + 5*w + 10 for k.
-5
Let g(j) = 14*j. Let d be g(-1). Let k be (-6)/(32/d - -2). Suppose -w - k = -4*w. Solve -9 = 3*i + 3*v, i - 5*v + 2 = -w for i.
-4
Let x(q) = 7*q - 3. Let w be x(2). Let j = w - 0. Suppose 3*b - j - 19 = 0. Solve 3*d = -2*d + b, 9 = -s + 3*d for s.
-3
Let b(r) = r**3 + 3*r**2 - 2*r - 3. Let z be b(-3). Let m be (-12)/(-15) + z/15. Solve 2*a - 2*f = 0, 0 = 4*a - 3*f - 0 + m for a.
-1
Suppose -5*x - 2*d - 1 + 7 = 0, -4*x = -2*d + 6. Let l be x + 2 - 2*-1. Solve 2*j + 6 = 0, -4*j = -l*v + 2*v + 16 for v.
2
Let o be (-194)/(-6) + 2/(-6). Suppose 0 = 2*u + 2*u - o. Solve 3*w + 1 = f - 2, 0 = -w - 2*f - u for w.
-2
Let b(t) = -5*t - 1. Let h be b(-1). Suppose h*s + 0 - 8 = 0. Solve -2*y - 14 = 4*i, -i + 4*y + y + s = 0 for i.
-3
Suppose m = 5*m + 2*a - 6, 3*m = -5*a + 1. Solve 0 = 3*l - 4 - 2, 4*r - m = l for r.
1
Suppose -12 = -4*t - c - c, -3*t + 9 = c. Suppose -m - 7 + 22 = 2*r, -2*m + t*r = 5. Solve 0 = 3*x, -25 = -m*p - 0*x - 5*x for p.
5
Let l(n) be the third derivative of -n**5/60 + 3*n**4/8 + 5*n**3/6 - n**2. Let q be l(9). Solve -3*t - 2*g = 9, 2*g + 1 + 0 = q*t for t.
-1
Suppose 25 = -y - y - 5*f, 6 = 2*f. Let t be ((-5)/2)/(2/y). Let w = t - 13. Solve -4*j + 4*x + 0 + w = 0, 2*j + 4*x = 6 for j.
3
Suppose 3*t - 46 = -4*a, 3*a - 2*t = -4*t + 34. Let g = -1 + 11. Let y be ((-4)/a)/((-2)/g). Solve 0 = k - 3 + 2, -4*q = y*k - 6 for q.
1
Let f = -7 + 10. Suppose -5*l + 10 = -f*l - 3*c, -2*l - 4 = 4*c. Solve -3*u + l*u - 9 = -2*w, 0 = 2*w - 8 for u.
-1
Suppose v - 36 = -3*v - 2*k, -18 = -2*v - 3*k. Solve -2*w + 9 = -v*j + 4*j, 3 = -2*w + j for w.
-3
Let q be (-60)/(-18)*(-3)/(-2). Suppose -q + 20 = 5*l. Solve -r - r + 10 = -5*p, 0 = -l*p - 4*r - 32 for p.
-4
Let m(p) = 3*p**2 - p. Let i be m(-1). Suppose -5*o = -i*b + 77, 14 = 3*b - 2*b - 3*o. Solve 4*x + 0*w = 2*w - 6, -2*x - b = -5*w for x.
1
Suppose n + 2 = -2*r - 2, 4*r + 12 = 0. Suppose -5*j = -33 - n. Solve 2*i + j = 6*i - z, -2*z = -5*i + 11 for i.
1
Suppose 3*w = -0*w - 9. Let s be (-1)/(-3) - 48/(-18). Let d be w/s + 2 + -1. Solve -2*g + 5*k = -d*g, -2*k = -2*g + 6 for g.
5
Suppose -5*m = 3*o + 6 - 50, -4*m - 62 = -3*o. Solve l = -2*t + 2, -o = 3*l - t - t for l.
-4
Let h = -11 + 15. Let j = 98 - 90. Solve -2*u = 3*v - v + j, 3*v + 15 = -h*u for u.
-3
Let f be (0 + (-2)/1)/(-1). Let x be (-3 - -1) + f/1. Solve 5*k + 5*o - 15 = x, -5*k + 2*o = -o + 1 for k.
1
Suppose -17 = -5*q + 3. Solve y = 2*t - 12, q*t - 3*y - 31 = -t for t.
5
Suppose 0 = -3*i + 3*o - 525, -2*i - o + 5*o = 350. Let a be ((-8)/10)/(7/i). Solve -3*s + 4 = y, -5*y + 5*s - 2*s = -a for y.
4
Let m(z) = -z**2 + 4*z + 3. Let i(t) = t**2 + 3*t + 4. Let r be i(-3). Let q be m(r). Solve 0 = 4*w - 4*j + 16, 8*w = q*w - 3*j + 20 for w.
1
Let i(q) = -2*q**2 - q + 1. Let s be i(-2). Let m = s - -10. Solve -3*c - 21 = 3*a, -c = 2*a - 5*a - m for a.
-3
Suppose 0 = -4*j + 12. Let c = j + -1. Suppose n = 27 - 19. Solve 4*v - 20 = -c*s, -n = 5*s - v - 3 for s.
0
Suppose 5*z + 7 + 23 = 0. Let q be (-9)/(3 + z) + 8. Solve -4 = -o, 5*f + q = -0*o - o for f.
-3
Suppose 0 = -2*t + 29 + 35. Suppose 4*y - t = -0*y. Let i = y - 6. Solve -4*p = -d + 9, i*p = -d - 0*p + 3 for d.
5
Let l = 5 - 3. Let h(d) = 0*d**l + 4*d - 6*d + d**2. Let s be h(3). Solve -20 = -5*j, -2*a - 2*j = 3*a - s for a.
-1
Let b = -6 + 4. Let w = 4 + b. Let d be 2/(-5)*(w + -57). Solve 4*p - 5*v + d = -23, -3*v - 5 = 4*p for p.
-5
Suppose 3*v - y = 19, 0 - 2 = 2*v + 3*y. Suppose 22 = v*f - 3*n, -2*n - 7 = 1. Let r = 0 + f. Solve -2*p + 14 = 4*k, -r*k - 3*k = 5*p - 20 for k.
3
Let l be 0 + 0 - (-3 + -1). Solve 7*w + 3*j = 2*w - 25, -5 = w + l*j for w.
-5
Suppose -3*t = 3 - 18. Suppose 3 = -t*n + 23. Let d be (52/(-6))/(n/(-6)). Solve -i - 2 + 5 = c, 3*i + c - d = 0 for i.
5
Suppose -13 = -5*o - 3. Let y be 1/(-2)*o*-4. Let d(p) = p + 2. Let j be d(0). Solve j*w = y*l - 8, -20 + 0 = 5*w for l.
0
Suppose 4*h - 28 = 3*o, -3*h + 7*h - 4*o - 28 = 0. Let c(i) = 3*i - 5*i + 0*i - h. Let d be c(-5). Solve b + 1 = -d*x, -5*x + 0*b + 5 = 3*b for x.
-2
Suppose -3 - 7 = -5*v. Let w be (2 - 1)/(-1) - (1 - 4). Solve 6 = w*q, q = 2*l + v*q + 3 for l.
-3
Let x be (-72)/18 - -7*1. Solve 9 = -x*d - 3*m, -2*m - 3 - 11 = 4*d for d.
-4
Let p(i) = -i**2 - 5*i. Let f = -9 + 5. Let b be p(f). Solve b*l = -20, 4*h + 0*l - 3 = -l for h.
2
Suppose -11*z + 8*z = -36. Solve -3*r - 3*x = x - z, -2*x - 8 = -2*r for r.
4
Suppose 0 = -2*h + 5*h - 9. Let w(l) = 11*l**2 + l**3 - 2*l**3 - 6*l - 5 - h*l**2. Let s be w(7). Solve 3*y - y + 4*u + 24 = 0, -y = -s*u - 4 for y.
-4
Let n(k) = -k**2 - 9*k - 3. Let s be n(-8). Solve -t + 4*u - 3 = 0, -s*u = -2*u for t.
-3
Let v be (3 + -4)/((-2)/(-14)). Let o = v + 9. Solve -5*l + 3*n - 19 = -7, 2*l - o*n = -4 for l.
-3
Suppose a - 4 = 4*r + 4, -2*a + r = 5. Let x be a/20 - 81/(-5). Solve -3*c - 2*v - 14 = 0, 0*c + 4*v = 5*c + x for c.
-4
Let x(w) = 2*w - 3. Let y be x(3). Solve -m = -y, -3*g = g + m - 19 for g.
4
Let v(f) = f**2 - 4*f - 7. Let r be v(6). Suppose -3*b - 2*b = t, -15 = -2*t + r*b. Solve -4*l + 2 = k, t = 3*l + 5*k - 5 for l.
0
Let l(k) = k**3 + 5*k**2 - 6*k.