- p + 9 = 0, -3*q + 5*t - 8 = 0 for q.
4
Let o be (2 + -1)*14/7. Suppose -o*c + c + 3 = 0. Solve -c*k - a + 14 = -2*a, -2*k = 5*a + 2 for k.
4
Let y be 3/1 + -4 - -6. Suppose 3*f + 8 = 17. Suppose -5*j + 1 + 6 = -2*u, 3*u + f = 5*j. Solve 3*q - j = -d, -y*q + 2*d + 5 = 7*d for q.
1
Let j(x) be the second derivative of x**3/6 - 5*x**2/2 + 6*x. Let b be j(5). Solve 2*g + 3*z - 1 = 0, b = -4*g - 3*z + z - 2 for g.
-1
Suppose 3 - 1 = v. Suppose -v*i + 3 = -5. Solve -m + 3*n - 10 = 0, m + i*n = -0*m + 11 for m.
-1
Let j = -44 + 49. Solve 5*k = 5*q + 10, j*k + 1 = -2*q - 3 for k.
0
Let f(n) be the first derivative of -n**4/4 - 2*n**3/3 + 3*n**2 - 2. Let z be f(-5). Suppose -p + 6 = p. Solve -p*x = -12, 0 = 5*v + 4*x - 9*x + z for v.
-5
Suppose -12 = -4*u, -2*u = 3*t - u - 12. Let r = 9 + 1. Suppose t*x - x - r = 0. Solve -5*d + 0*d + 20 = -m, -x*m + 4*d - 16 = 0 for m.
0
Let y = -1 + 4. Let x be (-1 - 0)/((-2)/4). Let b be ((-1)/x)/(2/(-8)). Solve y*w + 16 = -3*k - 2, -2*w = -b*k for w.
-3
Let x be (-4)/14 - (-290)/35. Let y = 14 + -12. Solve x = -i + 3*w, 3*w = -i - y*w for i.
-5
Let i be (-23 - 1)*12/(-16). Suppose -3*m + 6*m = o + 12, 2*m = 3*o + 15. Solve -g + 2*g - i = -4*s, s - m = -g for s.
5
Let f(g) = -g + 28. Let r be f(-17). Solve 5*x - r = 4*a + a, -2*x = a - 6 for a.
-4
Suppose 3*g + 2*g = 4*p + 22, 2*g + 2*p + 2 = 0. Suppose g*l - 5 = 3. Solve -5*u + 5*n + 33 - 8 = 0, 3*u = l*n + 20 for u.
0
Let w = 0 + -2. Let k = w - -5. Suppose -3*u + 23 = 4*p, 4*p - k*u + 7 = -0. Solve -z + p*v + 15 = -2*v, -4*v = 16 for z.
-1
Suppose p + 4*p - 20 = -5*t, -8 = t + 5*p. Let f = t + -3. Solve f*v = -0*g + g - 10, -4*g = 4*v for g.
2
Let b = 8 - 12. Let v = b + 12. Solve -4*a = 2*u - 6*u - v, 4*u = -3*a - 1 for u.
-1
Suppose -6*r - 20 = 5*g - 2*r, 4*r = 3*g + 12. Let j = 9 + g. Solve s = -j, -3*s - 7 = -t + 3 for t.
-5
Let q be 2/7 - (-32)/(-14). Let z(d) = -d. Let p be z(q). Suppose -3*j + 11 - p = 0. Solve -j*m = 2*l - m - 8, 0 = 4*l + 2*m - 10 for l.
1
Let t be ((-9)/3 + -1)/(-2). Solve t*d + 6 = 2*g - 6, -d + 6 = 3*g for g.
3
Suppose -q = -2*q + 3. Suppose -q = 3*y - 18. Solve 0 = 3*h - 3*a - a - 5, -5*h + y*a = 0 for h.
-5
Let g(l) = l**2 - 2*l + 2. Let q be g(2). Let o be (-81)/54 - -7*(-1)/(-2). Solve 4*w - 3*y = -q*y - 20, 0 = w + o*y - 4 for w.
-4
Let i(s) = s - 4. Let o be i(3). Let b be o/(-2) - 2/4. Solve x + b = 3, -3*j + 6 = 2*x for j.
0
Let g be (-1)/4 - 13/(-4). Suppose -l - 4*l = -k + 5, 0 = 5*k + 4*l + 4. Suppose k = g*p - 12 - 3. Solve 29 = 2*s - 5*o + 11, p*s = -5*o + 10 for s.
4
Suppose 2*d - 45 = -5*h, h + 5 = 3*d - 20. Let v = 20 - d. Solve 0 = -4*b - z - 2*z + 8, -5*b - 5*z + v = 0 for b.
2
Suppose 4*v - 11 - 1 = -4*q, v - q = 1. Suppose -4*l + 24 = v*b, -5*l + 10*l - 50 = -5*b. Suppose x = 3*x - b. Solve a = 2*a - j, -2*a + 4 = -x*j for a.
-2
Let r(g) = g**3 - 12*g**2 + 10*g - 12. Let l be r(11). Let k = -5 - l. Let m be (k/(-10))/(1/(-5)). Solve -5*p - 1 = 3*v - v, -5*v + m = p for p.
-1
Suppose -3*w = 10 - 31. Suppose -2*q + 8 = -t, -q - 4*t + w = 4*q. Solve -2*l - x - 1 = 0, -18 = l - 0*x - q*x for l.
-3
Let n(b) be the first derivative of 2*b**3 + b**2/2 + b - 4. Let d be n(-1). Solve -3*p + d = 0, -2 = -5*s + 3*s + 4*p for s.
5
Let z(c) = 4*c - 3. Let o be z(6). Solve -2*i - b + 10 = -4*b, -o = i + 5*b for i.
-1
Let y(t) = -3*t**3 + 2*t**2 - 1. Let w be y(-1). Solve 0 = l - 4, z = -0*z - w*l + 11 for z.
-5
Let n(a) = -a**2 + a - 10. Let k(p) = -p + 2. Let l be k(2). Let v be n(l). Let z be ((-6)/4)/(5/v). Solve m + 0 + 1 = -j, -z*j = 2*m + 7 for m.
4
Suppose w - 3*k + 19 = 3*w, -4*w + 4*k = 12. Solve -w*f = 4*y + 16, -3*y - 17 = f + 3*f for y.
-3
Suppose -24 = 8*f - 11*f. Suppose -5*i - 3*u = -f*u, -2*u = -3*i. Solve -2*a = -l, i*a = -5*l + a + 18 for l.
4
Suppose -4*o = -o + 36. Let z = -5 - o. Suppose z*r = 3*r. Solve 5*t + 2*u + 6 = t, r = 5*t - 5*u for t.
-1
Let s(b) = -b**3 - 8*b**2 + 5. Let o be s(-8). Solve -o*t + p + 2*p = 15, 4*t + 3*p = 15 for t.
0
Suppose -4*v - 6*s = -2*s - 32, -4*s - 40 = -5*v. Suppose q + 4*i = 0, q - 21 = -3*q + 5*i. Solve g - q*g + v = -r, -g + 1 = -2*r for g.
3
Let g(w) = -w**2 - 5*w - 2. Let n be g(-3). Let k = 50 + -45. Solve 5*h - 3 = -n*p, p - k*h = -0*p + 7 for p.
2
Let d(h) = h - 5. Let u be d(8). Let l(r) = r**2 - 2. Let o be l(-2). Let z be 26/4 + (-1)/o. Solve -5*f + 3 + u = c, -f = 5*c - z for c.
1
Suppose m + 0*m = 2. Suppose -m = -v - 0*v. Solve -4*f - 4 = -v*g + 4, 0 = 3*g - 4*f - 8 for g.
0
Let q(w) = -w - w**3 - w + 2*w - 4*w**2 - 3 + 4*w. Let j be q(-5). Let t(o) = o**2 - 3*o + 2. Let l be t(j). Solve -i = v + 1, l*i - 2*v + 4 = 4*i for i.
3
Let v be 2/(4/(-2)) + 8. Let k(u) = u - 4. Let w be k(v). Solve -2*s - m = -12 + 3, -s = -w*m + 13 for s.
2
Suppose 90 = i + 4*i. Suppose -5*f - 1 - 1 = -3*u, i = 2*u + 5*f. Let t be 1/(((-2)/4)/(-1)). Solve 3*b = 2*q + 9, u*b + t = q + 9 for b.
1
Let t = 33 - 23. Solve -b + 12 = -3*q, -t = -2*b + 5*q + 11 for b.
3
Let s(c) = 6*c**3 + c**2 - 2*c + 1. Let x be s(1). Suppose 0 = -o + x*o - 15. Solve 2*y + 8 = q, -11 - 5 = 2*y - o*q for y.
-2
Let x be -3 + -1 + 1 + 3. Suppose b - 5 = -4*t - x*b, t - 5 = b. Solve 3*s = -t*k - 13, -4*k + 12 + 2 = -2*s for k.
1
Let b(v) = -v + 21. Let c be b(19). Solve 0 = -2*r - 2*w, 2*r + 2 + 6 = c*w for r.
-2
Suppose -g = -2*g + 8. Suppose 0 = -0*z + 2*z + g. Let t(k) = -k**3 - 4*k**2 - 2*k + 5. Let o be t(z). Solve -3*q = -12, -3*j + q = -6*j + o for j.
3
Suppose -3*j + 2 + 4 = 0. Solve v + 0*d = 3*d - 8, -2 = -j*v - 3*d for v.
-2
Let y(k) = -k**3 + 5*k**2. Let i be y(5). Suppose i = 4*l - 2*g + 4, 5*l - 2*g + 6*g = 8. Solve -4*w = -2*f - 8, l*w = -2*f + 5*w - 10 for f.
0
Let f = -23 + 25. Let m(a) = 0 + 16 + a**2 + a**3 - 2*a**2 - a. Let q be m(0). Solve -2*g - 20 = -5*r, -q = f*g - 0*r - 3*r for g.
-5
Let r be 1 + 3 - (1 + -1). Let s be ((-20)/(-25))/((-1)/(-5)). Solve -5*o + 17 = -s*l, r*l + 7 = -5*o - 0*o for l.
-3
Let c = 8 + -6. Suppose 0 = 3*w + a - 14, -13 = 4*w - 2*a - 3*a. Let d be (0 - w)*(-5)/3. Solve 15 = -c*p + 7*p + 2*h, 5*p = -d*h for p.
5
Let r = 8 + -14. Let g = 4 + r. Let t be ((-5)/(-2))/((-1)/g). Solve 5*q = -t*u - 5, -3*q - 9 - 6 = -3*u for q.
-3
Suppose -n - 5*k = -23, 2*k = 6*k - 12. Suppose 3*i - 5 = n*i - 5*d, 4*i = 2*d. Solve 5*l + 3*y + i + 13 = 0, 0 = -2*l - y - 5 for l.
-1
Let d(h) = -h**2 + 11*h - 5. Let i be d(11). Let w = i + 10. Solve -4*v - n = -3*n, 4*n = 3*v + w for v.
1
Suppose 11*x + 3 = 47. Let k = 8 - -2. Suppose -4*d = x*q - 20, -q = -4*q + 2*d + k. Solve u - 4*v = -23, -5*v + 0*v + 13 = q*u for u.
-3
Let a be 2/(-2)*3 + 11. Suppose 0 = y - 0 - a. Solve 5*c - 5*z - 15 = 0, 3*z = -z + y for c.
5
Let f = -1 - -6. Suppose -f*i + 2 - 7 = 0. Let q = 5 + i. Solve 3*g - 19 = -4*n + 7, -4*g + q*n = 12 for g.
2
Suppose i = 5*g - 4 - 9, -3 = -3*i + g. Solve 0 = -4*v, i*o + 0*v - v = 6 for o.
3
Let n(u) = u + 4. Let i be n(-2). Let m = -1 + 2. Let z be (m - 1) + (2 - -11). Solve 5*f - i*f = 5*w + z, 2*f - 17 = 5*w for f.
-4
Suppose -8*g + 3*g + 115 = 0. Suppose c + 0*c - 5 = 0. Solve -5*r = -c*d - 5, -r = 5*d + 3*r + g for d.
-3
Suppose 3*x - 5*h - 10 = 0, -4*h - 8 = -2*x - 2*h. Suppose -6*i + 3 + 21 = 0. Solve -7*p = -2*p - 4*s + 35, i*s - x = -5*p for p.
-3
Suppose 0 = 4*u - 6 - 10. Suppose -2*n = 4*b - 8, -5*n + 4 = u*b - n. Solve -5*t + 2 = -a + b, -4*t = -3*a + 3 for t.
0
Let i(d) = -d + 5. Let o be i(-8). Suppose -4*m = -3*q - 2 + o, -4 = 2*m. Suppose -3*t + 19 = q. Solve -t*j + 10 = -j, -4*g + 24 = 2*j for g.
5
Suppose -2*j + 0 = -2*d + 4, j + d - 6 = 0. Let h(g) = g**2 + 4. Let u be h(0). Let x = u - j. Solve 2*n = 4*f + 2, 2 = x*n - 0*f - f for n.
1
Let k(u) = 10*u**3 - 2*u**2 + u. Let n be k(1). Suppose 3 + n = 4*z. Suppose z*q - 8 = -q. Solve 0 = 2*g - 8, -3*g = -3*s + q*g - 17 for s.
1
Let b be 6/(1 - 4) - -5. Let y = b - 1. Let t be y*(-2)/4 - -3. Solve -4*j - 40 = -5*m, 0*j = -t*m + j + 13 for m.
4
Let m be 6/4 + (-2)/4. Let g(d) = m - 5*d + 4*d - 4. Let r be g(-5). Solve i - r*b + 11 = 0, -4*b + 5 = -15 for i.
-1
Suppose -6*q + 11*q - 25 = 0. Suppose 0 = 4*m - d - 24, 41 = q*m - 7*d + 3*d. Solve -k - 15 - 15 = m*x, -k = 5 for x.
-5
Suppose 6 = 2*u - 2*x + 3*x, 3*x - 6 = -2*u. Suppose -u*b - 14 - 4 = 0. Let j(q) = -q - 3. Let z be j(b). Solve 4*k + t - 12