 1 = 0 for z.
1
Let m = 19 + -4. Solve 4*o = 3*y - 20, -y - 4*o - m = -o for y.
0
Let p(y) = -6*y**3 - y**2 - y + 1. Let x be p(1). Let n = x + 7. Suppose -5*a = -n*a. Solve 0 = 3*w - 9, a*f = 4*f + 4*w for f.
-3
Let p(r) = r - 5. Let w be p(0). Let f(a) = a**3 - 4*a**2 - 8*a + 12. Let i be f(5). Let y = i - w. Solve 12 = -j - 0*j + y*d, -4*j = 3*d + 4 for j.
-4
Let t = 6 + -34. Let r be (-2)/7 - (-160)/t. Let z be -1*1 - (r - -3). Solve -5*m + 4*l + 3 - 7 = 0, z*l + 28 = -5*m for m.
-4
Let s(f) = -66*f + 3. Let x be s(-2). Suppose 5*q = -0*q + x. Solve 0*l - 3*l + q = -3*k, 0 = k + l - 1 for k.
-4
Let d be 1/3 + 14/(-6). Let k = 3 + d. Let z be 0/1*(k + 0). Solve -5*f - 2*g = z, 7*f = 3*f + g for f.
0
Suppose -3*z = -0*z + 18. Suppose 3*l - 28 = -2*n, -2*l + 24 = n + 2*l. Let c = n + z. Solve -u + 9 = c*d - 0, -5*u = -4*d - 3 for d.
3
Suppose 3*n - 1 = i + 2*n, n - 3 = 0. Solve -2*g - i*g = -3*m - 10, 4 = 4*g for m.
-2
Let v(x) = -x**3 + 3*x**2 + 5*x. Let z be v(4). Solve 5*d - 12 = z*h, 2*d + 3*h = -h + 16 for d.
4
Let t = -37 - -39. Solve -t = o - q, o = -2*o - q + 10 for o.
2
Let t(g) = -g**2 + 4*g + 4. Let s be t(4). Suppose 0 = 16*v - 11*v - 150. Solve 5*i - v = -0*p - p, -i + s*p = 15 for i.
5
Let o = -18 + 39. Let i = 201 - 81. Let r be 2/7 + i/o. Solve w = -3*m + 2 + r, 0 = 4*m - w + 1 for m.
1
Suppose 4*m = 3*n - n - 4, -5*n + 4*m = -4. Solve n = 2*x - 8, -2*g = -4*g - 5*x + 14 for g.
-3
Let l = -1 + 1. Let n(r) = -r**2 - 3*r + 4. Let o be n(-3). Suppose -o*v = -v - 12. Solve 3*z + 5*w + 9 = l, v*z + 3 = z - 3*w for z.
2
Suppose -k = -5*g + k + 31, 2*k = -4*g + 14. Let u be (-4)/g*(-45)/2. Solve -6*c - 16 = -2*c - 4*l, 5*c = 3*l - u for c.
-3
Suppose -v - 2*c = -c - 5, -v + 5*c = -5. Let k be 3*(-1)/1 - -1. Let o be k/6 - (-2)/6. Solve 0*h - 3*h = -4*w - 35, 2*h - v*w - 35 = o for h.
5
Let t(q) = 19*q**3 - 2*q**2 - 2*q - 1. Let n be t(-1). Let j be 3/(-15) + (-84)/n. Solve -2*w - 4*m - 22 = 0, 7 = -5*w - 2*m + j*m for w.
-3
Let y be ((-16)/10)/(((-2)/(-5))/(-2)). Solve -5*b = 3*f - 15 - y, 5*b - 3*f - 17 = 0 for b.
4
Suppose 22 = 5*u + 2. Suppose 0*d = u*d. Suppose -3*w + 2 = -4. Solve -5*v + 2*i + 15 = d, -3*v - v + w*i + 10 = 0 for v.
5
Let h be -1 + (1*-22 - -4). Let w = -15 - h. Solve -k + 9 = 3*m + 3, 3*k = 2*m - w for m.
2
Let s be 2/(-2*3/(-24)). Suppose 17 = 2*d - y, 8 = -2*d + 4*y - s*y. Let w be (-40)/d*(-24)/20. Solve 2*p = 0, 5*p = -2*q + 3*p + w for q.
4
Let n be 1/(-3) + 13/3. Let k be (-3 - 9/(-3))/(-3 - -5). Solve k = -n*c + 3*p + 6, c + 3*p = -0*p + 9 for c.
3
Let j be (3 - 0)*2/(-3). Let c be j/(3/(9/(-2))). Suppose 0 = 5*u - 2 - 8. Solve -3*v + 10 = -c*r - 2*r, 3*r + u*v = -6 for r.
-2
Let n(x) = -x**2 - 5*x - 3. Let o be n(-3). Solve -4*y - 5*q = -7*y - 17, -o*y - 9 = -3*q for y.
1
Let c(m) = -m**2 + 5*m - 3. Let s(w) = w - 1. Let k(q) = -c(q) + s(q). Let v be k(6). Solve 2*o = 4, 2*o - 5 - v = 3*u for u.
-5
Let o be (-2)/3*45/(-6). Suppose -o*a + 5*t = 5, 0*a + 4*a = -t + 16. Solve 0 = -k + a*i + 3, -2*i = k + 2*i + 11 for k.
-3
Let b = 32 + -27. Solve 6 - 1 = b*t + f, -2*f = 4*t + 2 for t.
2
Let t = 6 + -2. Suppose -4*j = -8*j. Suppose -4*k - 4*c + 16 = 0, 5*k + t*c - 20 = -j. Solve 5*u - 3*v - 5 = 0, k*u - v - v - 2 = 0 for u.
-2
Let u be (-4)/22 - 14/(-77). Suppose 0*c = -c + 2*a + 14, u = 4*c + 3*a - 89. Solve -4*i + 5*m + 4 = m, -c = 5*m for i.
-3
Suppose 0 = 5*r + 5*v + 15, 3*r - 15 = 5*v + 16. Solve r*t + 3 - 1 = 0, 2*t + 7 = x for x.
5
Let b(j) be the second derivative of -j**3/6 - 2*j**2 + j. Let r be 26/(-143) - (-172)/(-22). Let q be b(r). Solve -x + 4 = 4*p + 1, 2*x + q*p - 2 = 0 for x.
-1
Let a = 8 - 8. Solve -5*l - 25 = 2*m, 0*m + m - 5*l - 25 = a for m.
0
Let a(q) = 4 - 3 - q + 6. Suppose -4*l = -2*d + 2, d + 0*l - 5 = -2*l. Let v be a(d). Solve -v*w = -5*k - 3*w + 15, 3*w = 5*k - 5 for k.
4
Let u = 15 - 15. Solve u*a - 4*a - 12 = 4*m, -3*m + 4*a - 9 = 0 for m.
-3
Let b be (18 + 0 + 0)/2. Let h be ((-18)/4)/(1/(-2)). Suppose 3*y + 2*z = h, -21 = 4*z - b. Solve 3*m + 2*r = -0*r + 15, -3*m + y*r = -15 for m.
5
Let s(j) = j**3 + 7*j**2 - j - 8. Let w be s(-7). Let k(x) = -2*x**3 - 2*x - 1. Let b be k(w). Solve 4*y = -b*c + 5, 6*c - 16 = 4*y + 2*c for y.
-1
Let j(b) = -b**2 + 7*b - 1. Suppose 0 = -5*k - 3*h + 25 - 4, -2*k + 3*h = -21. Let g be j(k). Solve 3*q + 37 = -5*a, 2*q - 3*q - g*a = 29 for q.
-4
Let k(c) = c**3 - 10*c**2 + 3. Let f be k(10). Solve 4*q - 10 = f*h + 3*q, -4 = -4*h - 3*q for h.
-2
Let s(g) = -3*g**3 - 3*g**2 - 2*g - 3. Let p be s(-2). Let w = -8 + p. Solve 0 = -h - w, -2*j - 12 = -6*j + 4*h for j.
-2
Suppose -q + 2*q = -4*u + 12, 21 = 3*q - 3*u. Let c = q + -5. Solve c*l + 5*d = 6, 4*l - 9 + 1 = 4*d for l.
2
Let u(z) = -z**3 - 6*z**2 + z. Let d be u(-6). Let s be (8/d)/(4/(-6)). Suppose s*k + 3*k = 0. Solve 0 = -4*a - 5*i + 21, i + k*i - 5 = 0 for a.
-1
Suppose -3 - 7 = -2*m. Let p be 0*(-1 - -1 - -1). Let s = p + 4. Solve -10 = m*k - 5*r, -s*k - 4*r = -6*k for k.
-4
Let r = -1 + 1. Suppose -8*o = -3*o - 10. Suppose 36 = 2*c - 4*g, 5*c = -6*g + o*g + 132. Solve -c = -f - 5*p, 4*f + p - 1 = -r*p for f.
-1
Suppose -3*y = -0*y - 15. Solve -3*w = 4*u + 30 - 4, 2*w + 29 = -y*u for u.
-5
Let s = 25 + -22. Solve 4*t + 5*r = -s + 1, 3*t + r = 4 for t.
2
Suppose -12*a + 15*a = 0. Let j = 1 + -1. Solve -5*m - 5*z = a, 3*z = 4*m + 7 - j for m.
-1
Suppose 7 = a + i, 4 = 3*a + i - 7. Suppose 0*t = -2*t - 5*b + 16, 3*b - 18 = -4*t. Suppose -2*f + 3*f - t = 0. Solve -f*z - 4*x = 8, 0*x - 2*x - a = z for z.
-4
Let q = 17 + -9. Solve 2*d - 3*b = 19, -d - 3*b = -b + q for d.
2
Suppose -3 = -p - 0. Solve 3*l = p*v - 9, -3*l - v + 0 = -3 for l.
0
Suppose 67 - 46 = 7*i. Solve 18 = i*h + 3*c + 3, c = 0 for h.
5
Let y(g) = -g**2 + 8*g + 4. Let u be y(8). Let k be u*(-3 - 51/(-12)). Solve 9*i = 4*i - 25, -2*i = -5*a + k for a.
-1
Suppose 9*x - 2 = 43. Solve -x*t = -4*f - 3*t - 2, f = t - 3 for f.
2
Let v(h) = -h**3 + 3*h**2 + 5*h - 1. Let k be v(4). Suppose 23 = k*d + 5. Solve -2*j + z = -z - 4, -5*j = -4*z - d for j.
-2
Let n be (13/26)/((-2)/(-16)). Let g be (6/n)/((-1)/(-2)). Solve -g*c = f - 2*c - 3, 4*f - 16 = -2*c for f.
5
Suppose -3*i = 2*i - 15. Let j(f) = 2*f**2. Let r be j(1). Suppose -4 = -r*u + u. Solve 8 = n - i*a, a = -u*n + 3*a + 12 for n.
2
Let s(y) = -2*y - 2. Let d be s(-1). Suppose 6*t = t + 15. Solve d = -g - 5, t*b - 35 - 2 = 5*g for b.
4
Let r be ((-27)/(-15))/((-6)/(-20)). Solve 4*m = 3*u + 6, 0 = -m - 2*u - u - r for m.
0
Suppose 2*t + 2*v = 4, v - 2 - 8 = -5*t. Suppose -b = -5*o + 23, 3*o - 32 = -2*o + 4*b. Solve 5*s + 9 = -t*a - 2*a, o*s - a + 24 = 0 for s.
-5
Let y be ((-4)/6)/(4/(-54)). Let z = -7 + y. Solve 2*d + 3*b = 6, 1 = d + z*b - 4 for d.
-3
Suppose 8*b = -0*b + 16. Solve 0 = -b*j - 2*q, 5*j - j + 5*q = -3 for j.
3
Let q(t) = t**3 - 3*t + 3. Let k be q(2). Solve 5*f + 4 = -k*g + 14, -3*f - 6 = -3*g for f.
0
Let i(s) = -s**3 - 4*s**2 + 3*s. Let v(x) = x**3 - 4*x**2 - 5. Let h be v(4). Let c be i(h). Solve -2*f - 20 = 2*w, -w = 3*f - 6*w - c for f.
-5
Suppose -8*z = -3*q - 4*z - 40, -2*q - 22 = -5*z. Let u = -10 - q. Let o be u/((-15)/(-4) + -3). Solve 0*y + 2*y + 4*d = -o, -4*y - 16 = d for y.
-4
Let y(r) = r**3 - 16*r**2 + r - 14. Let x be y(16). Solve 3 = -2*z - v - 2, x = -2*z - 2*v for z.
-4
Suppose h - 5*m - 16 = 3*h, -4*h - 32 = -m. Let c = h + 11. Solve 0*b + 2*w = -4*b + 14, -c*b + w = -13 for b.
4
Let d = 70 + -53. Solve 8 = -4*z - t - 0*t, d = z + 5*t for z.
-3
Let u be ((-1)/(-2))/((-8)/(-48)). Solve -4*r + u*k = 0, 3*k = 4*r - r for r.
0
Suppose -7 = -4*f + 21. Suppose -3*m - 3*u = -m, m - 2*u = f. Solve m*a - v + 4 = 0, -4*v = -3*a - 5 + 16 for a.
-3
Suppose 0 = -i + 3*i. Suppose h = 2*g - i*g, 0 = -h + 3*g. Suppose -5*y - 12 + 37 = h. Solve q - 3*n = -6*n - y, -q - 3 = n for q.
-2
Suppose i = 3*d - 1, d + i - 15 = -4*d. Suppose -3*z - 4 + 10 = 0. Solve 3*u - 5*u = d*a + 20, z*a - 15 = 5*u for a.
-5
Suppose -7*n = -2*n. Solve 2*x - 4*a - 18 = n, 5*x + 0*a - 29 = 2*a for x.
5
Suppose 6 = 3*d - 0*d. Suppose 0 = -d*g + 10 - 2. Solve r + g*x + 12 = -6, 0 = -3*r + 5*x + 14 for r.
-2
Let l(k) = k**3 + 3*k**2 + 4*k + 2. Let i be l(-2). Let y be 2/(-4) - i/4. Suppose -4*p + 8 = -y*p. Solve -8 = -p*q - 2*g, 1 = -g - 0 for q.
5
Suppose 0 = 18*a - 20*a + 16. Solve 