or z.
2
Suppose -3*p - 4*v - 20 = 0, 4*p - 5 = 2*p + v. Suppose p*i - 11 = -i. Solve -4*h = -q - i, 0 = 5*h - 20 for q.
5
Suppose 2*a + 24 = -0*a. Let f = a + 15. Solve f*b + 4*l + 6 = 0, -5*b - 3*l - 5 = 5 for b.
-2
Let q(k) = 3*k**2 - 12*k. Let y be q(4). Solve -3*a = 3*s - 3, y*a + 2*s + 22 = 4*a for a.
4
Let i(q) = 5*q**3 + q**2 + q - 1. Let k be i(1). Let g = 50 - 48. Solve -k*t + 4*t + g*o - 12 = 0, 0 = -5*o + 15 for t.
-3
Let g = 12 - 1. Let m = g - 7. Let z be (10 - m)*2*2. Solve -5*w + 18 = -3*w - 5*c, -5*c - z = 4*w for w.
-1
Let i be (5 + -5)*2*2/(-16). Solve -4*n + i*a + 7 = -3*a, -9 = -3*a for n.
4
Let n be 5*((-56)/(-20) + -2). Solve -o - o = 3*v + 1, -5 = -n*o + v for o.
1
Let q(y) = 5 - 2*y**2 + 7*y + 0*y**2 - 3*y**2 + 4*y**2. Let n be q(8). Let r be n/(4/(48/(-9))). Solve 2*i + 5*f = -2, r = -4*i + 4*f - 2*f for i.
-1
Let t be (-26)/(-8) + -3 - 7/(-4). Solve -6*u = b - u + 5, -u - t = 0 for b.
5
Let f be (-1)/((-8)/6 - -1). Let i(a) = a**2 - 8*a. Let c be i(8). Suppose -3*p + c*p = -9. Solve 2*u = -f*h - 0 - 3, 3*h = 2*u - p for h.
-1
Suppose 0 = -4*p - 17 + 25. Solve p*k + k + u = 10, 4*k + 3*u - 10 = 0 for k.
4
Let g = 4 + -1. Let v(y) be the first derivative of -y**4/4 + 8*y**3/3 + y**2 - 12*y - 1. Let z be v(8). Solve f + 0 - g = -z*s, 15 = -s + 5*f for s.
0
Let p = -2 + 4. Suppose 2*j + 5*k - p*k - 16 = 0, -5*j + 22 = 3*k. Solve -t = -j*t + 2*n + 9, -2*t - 3*n = 10 for t.
1
Let w be 14 - (2 - 0/(-2)). Let v = 27 - w. Solve 0*a + v = -5*a + 2*t, 6 = -a + t for a.
-1
Suppose 2 = 3*w - 1. Let z(u) = 6*u**2 + 4*u**2 - 2*u**2 - w - 3*u**2. Let s be z(1). Solve 5*b - 3*c + 2*c = -6, -s*b = 4*c for b.
-1
Suppose 3*s - 5*m = 11, -16 = 4*s + 2*m - m. Let o be 22/6 + 2/s. Solve 0 = o*q + 5*z - 1, 3*z = -q + 2*z + 1 for q.
2
Suppose -3*m - 60 = -7*m. Suppose 5*q + m = 2*w, 0 = 5*w + q + 3*q - 21. Solve -3*y - 2*y - 5 = -w*x, 5*x = -5*y + 5 for x.
1
Suppose 0 = 4*r - 6 - 2. Let m(s) = 2*s + 5. Let n be m(4). Suppose -n = -3*d - 1. Solve 2*j + 3*p - 1 = r*p, d*j = -p + 7 for j.
3
Suppose c + d - 7 = -d, 0 = -2*c + 3*d. Suppose 0*g = c*g - 6. Solve k - 5 = 0, -2*v - g*k = -4*v - 12 for v.
-1
Suppose 4*b = 2*t + t + 19, -3*b = -5*t - 17. Suppose -r + 5*w - 7 = w, -b*r + w + 17 = 0. Solve -g = r*c - 7, 2*c + 9 = 5*g + 1 for c.
1
Let h = -4 + 7. Let q = -1 + h. Suppose 2*j - 16 = -q*j. Solve -4*p + j*b + 2 = 6, -4*p = 5*b - 32 for p.
3
Let z be 5*(-2)/(-1 + -1). Suppose g - 5*t - 8 = 0, 3*g - g - z = -t. Suppose 9 = 15*q - 12*q. Solve -3*y = r + 16, q*r - 18 + 6 = g*y for y.
-5
Suppose -3*v + 30 = 3*o, -v + 12 = 2*o - 3. Solve 5*y + 5*r + 5 = 0, 2*y - o*y - 3 = 5*r for y.
-1
Suppose -4*v + 3*w + 26 = 0, -4*v + 2*v + 5*w + 20 = 0. Let d = -86 + 89. Solve -d*a - 4 = h, -a - 4*a - 40 = -v*h for a.
-3
Let r be 24 - (-3 - (1 + -6)). Solve -4*t - 28 = 2*w, -3*t + t - 3*w = r for t.
-5
Suppose 3*d = -8*d + 88. Solve 0 = 4*k - 2*k + 3*n - 8, -2*n = 4*k - d for k.
1
Suppose -u = 5*q - 33, 0 = 5*q - 4*q - 3*u - 13. Let p be 52/q - 30/70. Solve -y + r + r - p = 0, 0 = -4*y - r + 17 for y.
3
Let z = -54 + 56. Solve 0*k - 2*m = -5*k + 29, z*m = -k + 1 for k.
5
Let g(c) be the third derivative of 0*c + 1/15*c**5 + 0*c**4 + 0 - 3*c**2 + 1/6*c**3. Let h be g(-1). Solve 3*f - 3 = -3*b - 6, -3*b + 5 = -h*f for f.
-1
Let k be 38/10 - (-1)/5. Suppose -3*g = -0*g - 12. Solve 0 = x - 4*u - 8, -g*x - 6 + 2 = -k*u for x.
-4
Let w be 6*(-4)/(-24)*3. Solve -t = -5*h + 10, -h - 5*t = w*h + 21 for h.
1
Let k be 3 + -1 + 0/(-2). Let l(g) = g + 6. Let m be l(-6). Solve m = 5*z + 2*f - 2, k*z = -2*z - 5*f - 12 for z.
2
Suppose 0*o = -2*o + 8. Let g = 9 - o. Solve -2*y - g = -3*y + 4*x, 4*y - 3*x = -6 for y.
-3
Let v(x) = -5*x**2 + x**3 + 5*x - x - 8 - 2*x. Let t be v(6). Suppose 5*b = -0*b + t. Solve -3*m - 2*j + 4 = 0, 0 = -4*m + j - 5*j + b for m.
0
Suppose 3*l = 6*l. Suppose l = 5*d - 21 - 4. Solve -d*v = i + 4*i, -2*i = -4*v + 18 for v.
3
Let j be 1 + 0 + 1 + 0. Let x(o) = o**j + 5 + 2*o**2 - 2 + o**3. Let i be x(-3). Solve -3*v + 7 = -0*r + r, v = -i*r - 3 for r.
-2
Let z = 4 - 2. Suppose -4*l = f - 9, 5*l - 24 = -3*f + 6*f. Let w = z - f. Solve 5*m + 24 = 3*j, w*j + 0 = -4*m + 3 for m.
-3
Let h(z) = -z**2 - 9*z + 23. Let f be h(-11). Solve c = 4*c + 5*l + 8, -3*l = -2*c + f for c.
-1
Suppose 32 = 3*o + 6*j - 2*j, -5*o + 4*j + 32 = 0. Suppose 12 = p + 2*i + i, -p - o = -2*i. Let s = 5 + p. Solve 0 = -s*h + 25, -2*r - 26 = -5*r - 4*h for r.
2
Suppose -d + 5*o = -0*d - 1, 0 = d - 4*o - 1. Let j = 1 + d. Solve 0 = -h + 3*y - 6, h - j = 2*h - y for h.
0
Let c(y) = 21*y + 1. Let z be c(-1). Let w be 15/z*-4*1. Suppose -3*r + w = 0, r - 5 = -3*d + 2. Solve 3*f = 4*j - j + 12, d*f = -2*j - 4 for f.
1
Let z = 11 - 7. Suppose 0 - z = -2*x. Suppose r - 4*u = -0*r - 15, -2*r + 4*u - 10 = 0. Solve 0 = 5*q - x*v - 8, -q - q = r*v + 20 for q.
0
Suppose -10 + 22 = 3*p. Solve p = 4*w, -4*w - 10 = 3*f - 26 for f.
4
Let k be (152/(-32) + 7)*8/6. Solve b + b = k*x - 1, 1 = b for x.
1
Let g(k) = -k**2 - 14*k + 10. Let t be g(-14). Solve -4*m = -3*j - 6, 2*j + 3*j = 2*m - t for m.
0
Suppose 6*v = 2*v + a + 10, 5*v - 3*a - 9 = 0. Solve 0 = 3*u - 3 - 3, v*w - 14 = -u for w.
4
Let k(c) be the first derivative of 3*c**2/2 - c + 1. Let a be k(2). Let w be ((-4)/(-12))/(3/45). Solve -w*i = -s - 13, -2*s + 0*s = a*i - 19 for i.
3
Let u(v) = 6*v**3 - 2*v + 1. Let w be u(1). Let k(r) = -r + 9. Let n be k(w). Let o = n - 1. Solve -2*m + 6 = 3*z, o*m - 2*m = z - 2 for z.
2
Let v be (-34)/85 + 37/5. Solve -2*i = -v*i + 3*z + 16, i = -z for i.
2
Let l = -25 - -43. Suppose -7 - l = -5*w. Let m = 32 - 27. Solve 2*d - m*t - 3 = -13, -3*t = d + w for d.
-5
Let l = -45 + 54. Solve k = a + l, k + 0*k + 6 = -2*a for k.
4
Suppose 0 = -3*c + 5 + 4. Suppose 16 = 3*h - d, h = 4*d - 9*d - 16. Let n = -25 + 29. Solve -n*a = 4*m - h, -4*a - c*m + 7*m = -36 for a.
5
Let i be 3 + (1 - (-33 + -3)). Let k = i + -23. Solve k = -5*x - 5*p + p, -3*x - 6 = p for x.
-1
Suppose 3*w + 3*u - 81 = 0, -w = w + u - 49. Solve -4*o + w = -4*z - 18, -2*o - 15 = 5*z for z.
-5
Suppose -3*k + 18 = 3*k. Solve k*d + 5 = x, d - 3 + 6 = x for d.
-1
Let p(d) = d**2 - 13*d - 7. Let a be p(14). Solve l + a = 5*k, -4*l + 4*k - 7 = 5 for l.
-2
Let b(u) = -u + 4. Let o be b(5). Let g = o - -2. Let c = g - -3. Solve -4 = c*w - 2*p, w + 4*w - 2*p = -7 for w.
-3
Let m be (-2 - -5)*(-4)/(-1). Let q be (m/9 - 1)*9. Suppose 0 = 5*z - 12 - 8. Solve -2*i = -c + 9, -2*i - z*c + q = -c for i.
-3
Suppose 4*p - 4*r = -2*r + 10, 0 = -5*p + r + 17. Solve 0 = -2*c + 2*j - p, -2*c + 0*c + 26 = 4*j for c.
3
Let n(g) = g**2 + 2*g. Let j be n(-3). Let u(l) = l**2 + l - 6. Let k be u(0). Let x be 24/16*(-8)/k. Solve -b - 3*s - 13 = 0, -15 = j*s + x*s for b.
-4
Suppose 0 = -0*c - c + 2. Solve -o - c*v = 2, 5*v + 2 = -2*o - 1 for o.
-4
Let j(m) = -m**3 + 12*m**2 + 4. Let o be j(12). Suppose o*q + 36 = 4*y, -q = -3*q + y - 16. Let g = q - -12. Solve g*n - 3*l - 14 + 4 = 0, -n = -3*l + 10 for n.
5
Suppose -2*h + 5 = -y, 2 = h - y - 1. Let m(b) = -3*b + 6*b + 5 - 4*b. Let q be m(3). Solve -2*f + h*k - 6 = 3*k, 3*k + q = -2*f for f.
-4
Let u = -9 + 15. Suppose 2*n - u = 0, 4*z + 3*n = z + 78. Let k be (-2)/(-4) + 14/4. Solve -2*l + z = 4*o + l, -k*l + 20 = 0 for o.
2
Let j(c) = -4*c. Let b(n) = -n**3 - 7*n**2 + n + 1. Let r be b(-7). Let m be j(r). Solve -3*u + y - 4 = 2, -5*u = 3*y + m for u.
-3
Suppose 2*l - i - 23 = 0, 30 = 2*l + 4*i + 12. Suppose 4*g - l = 2*t - 3, t - 5*g + 16 = 0. Let n = -4 + t. Solve p + 2*y = 4, -2*p - 5*y = -n*p - 11 for p.
-2
Let m be ((-3)/(-2))/((-3)/(-8)). Suppose -h - 3*h - 4 = 0, -2*y = m*h. Let x = y + 2. Solve -2*v - 2 = -2*q - 4, x*v = -5*q - 32 for q.
-4
Let l(p) be the third derivative of 0 + 1/24*p**4 + 0*p - 2/3*p**3 - 3*p**2. Let b be l(9). Solve b*x - 25 = -2*w - w, 10 = 2*w + 2*x for w.
0
Let o(p) = 18*p + 1. Let c be o(-2). Let y be c/(-49) + 4/14. Suppose -d + 6 - y = 0. Solve d*n - m = 4, 0*m = 3*n + m + 4 for n.
0
Suppose 0*b + 4*b = 0. Let q = -14 + 6. Let a = -4 - q. Solve 0*j - 5*j + w - a = b, 2*j + 4 = w for j.
0
Let x(c) = -2*c - 6. Let q be x(-5). Let s be (-444)/(-14) - 6/(-21). Suppose -r - s = -3*r. Solve -2*u - u - b + 13 = 0, q*u - r = -b for u.
3
Let a be -2 + 2 - (-6 - -8). Let k be 10/(3 + a) - 0. Sol