h + 15 for h.
0
Let o(c) = c**2 - 7*c - 2. Let t be o(7). Let n be 12/(-6)*(-4 - t). Solve -5*k - 4*s + 4 = 0, -4*k + 5 = n*s + 1 for k.
0
Let i(f) = f**2 - 9*f + 17. Let h be i(7). Solve 5*t = -h*c + 5, -4*c + 0*t = t - 1 for c.
0
Let x(m) = m**3 + 2*m**2 - 5*m - 3. Let k be x(-3). Let c = k + 1. Solve c*z = 20, 4*w - 3 = -3*z - 0 for w.
-3
Let o = -2 - 0. Let r be ((-64)/o - -2)/1. Let f = -14 + r. Solve 0 = 2*u + w + 5, -3*u - 4*w = u + f for u.
0
Let d(a) = a + 2. Suppose 5 = -2*v + 3. Let w be d(v). Solve -3*j = -9*k + 4*k + w, 3*k + 3*j = -9 for k.
-1
Let t = -35 - -53. Solve t = -4*v + b, 4*v - 3*v + 9 = -2*b for v.
-5
Let k(y) = -8*y. Suppose -5*c = -c + 4. Let z be k(c). Solve 3*d = -5*g - 6, z*g = d + 3*g - 18 for d.
3
Let k be 6 + 2 - (-1 - -3). Let y be (2/k)/(4/60). Solve 2*p = p - j, 0 = -2*p - y*j - 3 for p.
1
Let d = 2 - 0. Let z be (42/15 - d)*130. Suppose -3*w + z = w. Solve -3*r = -k + 2*r + 15, -2*k - w = 4*r for k.
-5
Let v = 33 + 14. Suppose 5*q - 7 = -v. Let z(j) = j**2 + 4*j + 3. Let b be z(q). Solve -n = -3*t + 15, 3*n = 5*t - 2*n - b for t.
4
Suppose -3*r = 4*t - r - 184, -2*t + 108 = 5*r. Let s be (-1)/3 + t/6. Solve 5*h + 2*x = s*x, -2*h + 5*x + 6 = 0 for h.
-2
Let t = -23 + 28. Solve 3*q - 7 = 3*i + 5*q, t*i = 2*q + 15 for i.
1
Suppose 7 + 9 = 4*r. Solve r*f + 5*z + 5 = 0, 3*z - 29 = -2*f + 6*f for f.
-5
Let t(m) = m**2 + 7*m + 6. Let c be t(-7). Let u be (-3)/9 + 20/c. Suppose -4*g = g - 2*n - 2, u = -3*g - 3*n. Solve 6 = -s + 3*v - g, 4*s + 10 = 5*v for s.
0
Suppose 3*v = 2*f - 16, v + 4 = f - 3. Solve 0 = -f*s - 20, -5*g + 3*g = 2*s + 12 for g.
-2
Let p be 2/(-4)*(-7 + 3). Suppose -4*t = -p*t. Let f = t - -3. Solve 6*v - v + 5 = -5*i, f*v - 2*i + 3 = 0 for v.
-1
Suppose 2*x - 5*r - 32 = 0, -r - 16 = -6*x + 4*x. Solve -2*i = -3*s + 1, x = 3*i + 4*s - s for i.
1
Let b(i) = -4*i - 9. Let v be b(-6). Let h be 3/((v/(-2))/5). Let x be 2 - (-1 - (-4)/h). Solve -x*y = w + 8, 0 = -3*y - 2 - 1 for w.
-3
Suppose 0*c - 3*c + 12 = 0. Solve 4*u - 2*u = 4*s + 2, -4 = -2*s - c*u for s.
0
Let z be (57 - 2)*4/4. Suppose -5*d = 4*w + 21 - z, 1 = w. Let f = d - 3. Solve -3*m + 7 = -4*o, -f*m - 2*m + 6 = -o for m.
1
Let q be 0 - (-3 + -1 + 2). Suppose -3*t + 31 = -2*v, -3*t = t - 3*v - 43. Solve 3*x + q*c = -12, 2 = -5*x + 5*c + t for x.
-2
Let v = 3 + 4. Suppose 5*o + v = -3. Let r be o + 0 + -2 + 9. Solve -5*q + 4*x + 1 = 0, -r*x = -3*q + q + 14 for q.
-3
Let z(j) = 0*j**2 + 3*j**3 - 6*j**2 - 2*j**3 + 6*j. Let a be z(4). Let m = a - -11. Solve 4*x + c + 11 = -0, -3*x - m*c - 15 = 0 for x.
-2
Let p be 5 + 2 - 1 - 3. Let w = p - -1. Let y = 13 + 7. Solve 4*v = -5*a - 25, 2*v - 6 = -w*a - y for v.
-5
Let c be (-3 - (-10)/3)*0. Solve -5*n = -c*n - 2*i + 20, 3*n + 31 = 5*i for n.
-2
Suppose 6*s - 177 = -39. Solve 4*z = -k + s, 4*z = -z - 3*k + 34 for z.
5
Suppose -9 = -3*o - w + 16, 55 = 3*o - 5*w. Solve 2*m + 1 = -3*z + 14, o = 2*z + 2*m for z.
3
Suppose 5*d - 5*t = 10, 4 + 2 = 3*t. Let q = d - 2. Solve c + 2*a - 1 = 0, -3*a - q = -5*c + 3 for c.
1
Let x(f) = f**2 + f - 3. Let n be x(-4). Solve 0 = g + 1, -3*g + 2 = -4*b + n*b for b.
1
Let g = -37 - -65. Solve 4*f - g = 3*r, 5*r + 36 = 3*f + f for f.
4
Let z(s) = -4*s**2 - 29*s - 15. Let a(w) = -w**2 - 7*w - 4. Let c(b) = -9*a(b) + 2*z(b). Let u be c(-4). Solve u*v = -2*i + i, i = 4*v - 6 for i.
-2
Let l(j) be the third derivative of j**4/24 + j**3/6 - 3*j**2. Let y be l(1). Solve -2*p - 13 = 3*u, y*u + 2*u = p - 10 for p.
-2
Let j(r) = r**2 - 2*r - 3. Let s be j(-2). Suppose 0 = -2*w + s + 3. Suppose 0 = -w*o + 3*o + 5. Solve o*c - c - 4*b + 4 = 0, 3*c - 2*b + 4 = 0 for c.
-2
Suppose 11*a + 9 = 14*a. Let n = 1 + a. Let l(f) = -3*f. Let y be l(-1). Solve 0*d = -3*d + 5*t, -y*t = -n*d + 11 for d.
5
Let c(b) = 2*b. Suppose 0*a - a = -1. Let i be c(a). Solve -i*u - m + 1 = -2*m, -5*u - 14 = 3*m for u.
-1
Let b be (13 + -1)*(-7)/(-21). Solve 4*x - 16 = -b*s, 2*x = -5*s + 21 + 2 for x.
-1
Let o = 3 + -3. Suppose 2*s - q + 1 = o, s + s = -4*q + 24. Solve w = -5*b - s*w - 2, -12 = 3*w for b.
2
Let g(u) = -u**3 + 3*u**2 - u**2 - 3*u + 6*u - 2*u. Let a be g(-1). Solve 4*d + a + 3 = -5*l, 5*l - 3*d + 40 = 0 for l.
-5
Suppose u + 4 = 2*r, 3*r + 3*u + 1 = 7. Solve 0 = -t + 2*d + r, -23 = 5*t - 2*d + 3*d for t.
-4
Let v be -1 - (-2 - 2/(-2)). Let h(x) = -x - 1. Let c(w) = w. Let u(q) = -3*c(q) - 2*h(q). Let b be u(v). Solve b*y = 3*f + 2*f + 3, 0 = -5*y + f - 4 for y.
-1
Let k = 10 + -5. Let n be (-6)/(-264)*8 - 218/(-11). Solve 4*a - y + k = 3*a, -3*y = -4*a - n for a.
-5
Let l = 18 + -10. Let r be 4/(-10) + l/20. Solve -2*z + d - 2 - 4 = 0, 3*z + d + 14 = r for z.
-4
Let i(c) = -c - 6. Let p be i(-6). Suppose p = -4*t + 5*t. Solve -5*z + t*m = -m - 7, -2*z - m = -7 for z.
2
Let h(r) = r**3 + 7*r**2 - 10*r + 9. Let o be h(-8). Let p = o + -15. Suppose w + 4*w = p. Solve 3 = w*q + 5*a, 0 = -q + 4*a - 2*a - 3 for q.
-1
Let q(b) = -b**3 - 5*b**2 + b + 5. Let w be q(-5). Suppose 2*x - 3 = 7. Solve -3*g - 4*o - 1 = w, g + 0*g + x*o + 15 = 0 for g.
5
Let m = -62 + 66. Solve -g - m*x = -0*g - 20, 12 = 4*g - x for g.
4
Let m be (-1)/1*(0 + 1). Let n be (3 - -3)*m/(-2). Solve -5*s - 4*l = n - 7, -2*s - 12 = 5*l for s.
4
Let k be ((-30)/9)/(4/(-6)). Suppose -322 = 4*v + 3*i, -212 = -k*v - 5*i - 617. Let h = -51 - v. Solve 5*q - 4*s = -h, 3*s - 14 = 3*q + 2*s for q.
-4
Suppose -20 = -4*w - 0. Solve -w*i = -5*v + 25, -v + 4*i + 25 = 4*v for v.
5
Let c(p) = -p**2 + 4*p. Let z be c(2). Suppose 0 = -2*i + z + 6. Let d be -1*7/(140/(-8))*10. Solve -2*y = -5*j + 23, -y - i*j + 27 = -d*y for y.
-4
Let k = -188 + 192. Solve -5*p + 3*o = 2*o + 1, k*o = -16 for p.
-1
Let i = 48 + -45. Solve 4 = 4*c + i*v - 3, 25 = 5*v for c.
-2
Let s = 37 + -34. Let m(n) = -2*n - 3. Let j be m(-4). Solve -s*w = -w - j*z + 8, -4*w = -4*z + 4 for w.
1
Suppose -112 = 26*h - 30*h. Solve -y + 5 = -5*l, y = -4*l - 3*y - h for l.
-2
Suppose -29 = -5*s + 21. Suppose -3 = y - 3*p, s*y - 80 = 5*y - 4*p. Solve -n - 4 = 4*b, 0*b = 3*n + 2*b + y for n.
-4
Let r(m) be the first derivative of m**4/4 + 4*m**3/3 + 3*m**2/2 + 3*m - 4. Let o be r(-3). Solve -4*x = x - 5*g - 5, -x - o*g + 17 = 0 for x.
5
Suppose 3*f - 6*f - 51 = 0. Let t = -11 - f. Suppose 0 = -y + t - 3. Solve -g - y*g = 4*r + 4, 0 = -4*g + 3*r + 3 for g.
0
Let p(u) = 5 + u - u + 6*u - 2*u + u**2. Let b = -16 + 10. Let g be p(b). Solve g = 4*f - 3*n - 10, 4*n + 29 = 3*f for f.
3
Suppose 3*u = 53 - 5. Let i = 14 + 3. Solve -4*a = 4*x - x + u, -3*a + 5*x = -i for a.
-1
Let m = -22 + 24. Suppose 4*r - 13 = m*c + 15, -16 = 4*c. Solve -o = 2*i - 10, -r*i + 1 = 3*o - 25 for o.
2
Let i(j) = j + 20. Let a be i(-10). Solve -2*x - 4*k - a = 0, 24 + 1 = -5*x + 4*k for x.
-5
Let t(o) = o**3 - o**2 + 5. Let q be t(0). Suppose 2*m + 4 = -q*x + 20, x - 5*m = 14. Solve 3*p + 1 = x*w, 3*p - 5*w = p - 3 for p.
1
Let o = 29 - 27. Solve -8 = -5*x - 2*i - 24, 2*i + 10 = -o*x for x.
-2
Suppose 2*l - 15 = -l. Suppose 2*j - i + 97 = 6*j, -4*j + 85 = l*i. Solve 5*w = -j, w = -4*k + k - 14 for k.
-3
Suppose w - 2*w + 5*b + 9 = 0, 0 = 2*w - 5*b - 8. Let n be 0 - (14 - 1 - w). Let t be (-2 + (-24)/n)*-7. Solve d - 4*p - 1 = 0, d - 2*p + t - 5 = 0 for d.
5
Let h = 8 - 4. Suppose -h*i + 25 = -u, 2*i - 3*u - 20 = -u. Let o(n) = n + 2. Let j be o(i). Solve -4*s + 4*x - 4 = 0, s - j = -4*x + 7 for s.
2
Let u = 6 - 4. Suppose 0 = -5*w + 2 + 18. Solve -12 = -w*q + 4*j, -4 = -0*q - q + u*j for q.
2
Let u(v) be the third derivative of v**4/24 - 5*v**3/6 + 4*v**2. Let w be u(7). Solve -k - 4*k - 12 = w*r, -4*k - 4*r = 12 for k.
-2
Suppose 4*v = -0*v. Suppose 2*g - 12 = d - 3*d, -g + 1 = v. Solve 2*j - 12 = -4*w, 22 = d*w - 4*j - 6 for w.
4
Suppose 15 = 3*p - 3*x, -p - 4*p + 21 = -3*x. Solve -z - 29 = p*n - 8*n, 12 = -3*z for n.
5
Let i = -61 - -65. Solve -i*d + 2*c = 4*c - 12, d - 4*c - 21 = 0 for d.
5
Let m(u) = -18*u**3 - u**2 + 1 + 22*u**3 + u - 2*u. Let k be m(1). Solve -3*l + 22 = -2*n, 3*l + 0*l + k = -3*n for n.
-5
Suppose -5*b + 4*y = -73, -b - 3*y - y = -5. Solve 3*l - l + b = r, -3*r + 4*l = -31 for r.
5
Let h(c) = c**2 + 4*c - 5. Let b be h(-7). Solve -5*g - 5*k + 40 = -0*k, g + 3*k = b for g.
4
Let l(w) = 5*w - 18. Let m be l(4). Solve 2*g = m*r - 0*g + 2, -r - 2*g = -14 for r.
4
Let i = -4 + -3. Let w be