 - 5*p + 2 = k*d, -d = r*p + 2 for d.
4
Let g be 3 + (-3 + 2)/(8 + -9). Solve -3*j = -6*j - g*s, -2*s = -3*j - 18 for j.
-4
Let m = -34 - -37. Solve -3*l - 8 = 2*v - m*v, -2*v = 5*l + 17 for v.
-1
Suppose -5*w + 5*t = 10, 2*t = -4*w - 0*t + 22. Solve -w*y + 3*z + 22 = y, 5*z = -5*y + 10 for y.
4
Let k be ((-5)/(-10))/(1/4). Let i be (k - 3)*2/(-1). Solve 3 = u - x, 5*u = i*u - x - 3 for u.
0
Let g(v) = 3*v - 1. Let m be g(2). Let h = 1 - -15. Suppose -h = b - 0*f - 4*f, -b = -2*f + 6. Solve b = 2*a - 2*n, -3*n - 5 - 11 = -m*a for a.
5
Let f(r) be the first derivative of 4*r**3/3 - r**2 - r - 1. Let j(z) = -z + 5. Let c be j(6). Let u be f(c). Solve 2*b - u*y = 0, 5 = b - 4*y - y for b.
-5
Suppose 6*v - 97 = -31. Solve 0 = -5*l + 4*h - 32, -l + 3*h = v + 2 for l.
-4
Let d be 1/(((-6)/(-2))/15). Suppose k - d = -0. Solve -4*u = -k*j - 27, 5*u = 3*j + 2*u + 18 for j.
-3
Let m = -31 + 33. Solve 8 = -2*b - 4*j + m, -b - 5*j = 0 for b.
-5
Let j(g) = -12 - 3*g + 5 + 5*g - 10. Let l be j(10). Solve -m - 5*q = -3, -q - 9 = -3*m + l*q for m.
3
Let u(p) = 2*p. Let y(d) = -d + 6. Let t be y(5). Let a be u(t). Solve -5*i - 3*g = 16, 0 = -a*g + 3*g - 3 for i.
-5
Suppose 0*v = -v. Suppose -3*q + 8 = -7. Suppose -q*s = 4*g - 37, 0 = 3*g + 3*s + s - 29. Solve -5*h - 4*y = -1, 0 = g*y + 3 - v for h.
1
Let k(h) = 2*h - 5. Let j be k(5). Solve j*u - 25 = 5*g, u - 8 = -3*g - 23 for g.
-5
Let r(x) = 4 + 20*x + 2 - 2 - 12*x - x**2. Let u be r(8). Solve -4 = -u*j + g, 2*j - 8 = 6*j - 4*g for j.
2
Suppose 0 = 16*g - 11*g. Solve -9 + g = -l + 2*t, l + 3*t + 1 = 0 for l.
5
Suppose 0*r - 3*r + 6 = 0. Suppose 0 = -0*c - 4*c. Suppose c*h = -r*h. Solve -3*w - 10 = -2*v, 2*w - 4*v = -h*w - 4 for w.
-4
Let f(p) = p**2 - 5*p + 5. Let z be f(4). Suppose 0 = 3*g + c + 12, 5 = -g - c + z. Let r be (-2)/g*(9 - 1). Solve 3*q + 5*h + 16 = q, -4*h = -4*q - r for q.
-3
Let r(p) = p**2 + 11*p + 18. Let b be r(-11). Solve b = -4*a + l, 0 = -a - l - 2 for a.
-4
Let n(y) = y**3 + 11*y**2 + 17*y - 4. Let k be n(-9). Solve -k*d = -x - 10, -x + 20 = -2*d + 7*d for d.
3
Let f be (2/(-6))/((-2)/24). Solve 3*k - 6*q - 11 = -q, 0 = -4*k - f*q + 4 for k.
2
Suppose -3*v + 8*v = 3*b + 36, -v = -b - 10. Let n be 8/(-28) - 16/b. Suppose n = -2*m, 4*m = -3*d + 1 + 1. Solve -2*r + 26 = 4*c, -33 = d*c - 4*c - 5*r for c.
4
Suppose 0*w - 3*v = -w, 5*v = 5*w. Solve -34 = -3*l - 5*u, -u + 5 = -w*u for l.
3
Let s be 18/((-45)/6*5/(-50)). Solve b - s = -5*j, j = 6*j + 3*b - 22 for j.
5
Let l = -45 - -50. Solve -1 = k + l*y, 0 = 4*k - 9*k - 4*y - 5 for k.
-1
Let x be (-1)/(((-15)/9)/5). Let g(y) = 0*y - 2 - x - y. Let l be g(-7). Solve 0 = 4*p - 5*i + 29, i = -3*p - l*i + 12 for p.
-1
Let j be (-1 - -2)*0 + 4. Suppose 0 = j*t - i - 21, -4*i + 22 = 4*t - 6*i. Let o = -6 - -16. Solve 4*f - 2*d = -20, -o = 2*f - t*d - 0 for f.
-5
Let i = -3 + 5. Suppose 7 + 1 = i*o - 4*j, 5*j - 12 = -3*o. Solve c - 1 + 6 = f, o*c + 25 = 5*f for f.
5
Let c = 7 - 2. Let b(w) = w**2 - 4*w + 3. Let k be b(5). Let z be k + 0 - (5 - 2). Solve 5*s - 12 = 3*l, 21 - z = l + c*s for l.
1
Suppose 2*h = -2*k + 35 + 117, -84 = -k + h. Suppose -5*q = -q + k. Let i be ((-16)/q)/(1/5). Solve s = -3*a, -4*a + i*s - 14 = 2 for a.
-1
Suppose -5*m + 7*m + 24 = 0. Let d be 3/(1*m/(-8)). Solve 0 = -c + 2*c + 5*s - d, -2 = 2*c + 4*s for c.
-3
Let x(y) = -y**2 + 10*y + 24. Let m be x(12). Solve -2*u - 2*v - 5 - 11 = m, -4*u = 5*v + 35 for u.
-5
Suppose -5*n + 3 = -7. Solve -t = -n*h + 2*t + 2, 5*h + 3*t = -37 for h.
-5
Suppose 13 = 2*w + 3. Solve -w*p - 10 = 0, 4*y + 3*p + 24 = p for y.
-5
Suppose -2 = -2*q + 2. Let b be 10/8 - 5/20. Suppose -y + 6 = b. Solve f - y = g, -q*f = 2*f + 5*g + 25 for f.
0
Suppose -11*h + 9*h = -4. Solve -5*o = -0*o + 4*f - 28, 16 = h*o + 4*f for o.
4
Let o be 1 - 2 - (-8 + -7 + 12). Solve -2*h = -4*f + 10 + 8, o*f - 19 = 3*h for h.
-5
Let v(c) = c**3 - c - 31. Let d be v(0). Let p = d + 47. Let t(x) = 2*x - 15. Let n be t(10). Solve n*g = o + 16, -2*o + 6*o - p = 0 for g.
4
Let h(o) = o**3 - 10*o**2 + 2*o - 13. Let u be h(10). Solve 5*a = 2*q - 23, -3*q - 16 = -u*q for a.
-3
Let x be -1*(-1 + -5*1). Suppose -x*k = -k - 35. Let t be k*-2*(-2)/4. Solve 0 = -3*w + 2*v - t, w = -3*w - 4*v + 24 for w.
1
Suppose 0 = 4*w - 3*w + 4. Let j be ((-6)/w)/((-4)/(-8)). Solve -4*x - 5 = -3*r, 11 = -j*x - 5*r - 0 for x.
-2
Suppose r - 3*c + 10 = -0*r, -3*c + 9 = 0. Let b be 1 + 4 + r + -2. Let a = b - 1. Solve -1 = -v, -i - v + 0 - a = 0 for i.
-2
Suppose 3*w + 28 + 21 = 4*r, -1 = -r. Let p = 26 + w. Suppose 3*d - 2*n - 13 = 0, 3*d + 3*n = -p + 29. Solve -5*o = d*i + 10, -4*i = -o + 2*o + 5 for o.
-1
Let c be -5*3*(-2)/(-5). Let t = -3 - c. Let a be (-2)/(-6) - (-14)/3. Solve 2*q + j - 2 = 0, -a*j - 32 = -t*q - q for q.
3
Suppose -2*w = -4*i + 3*w - 8, -i + 3*w = 9. Suppose -11 - 4 = i*x. Let v be 4/(-10) - 17/x. Solve 0 = 5*b - 4*z - 14 - 9, 0 = v*b + z - 7 for b.
3
Suppose 76 = 5*c - 24. Suppose 0 = 4*h - 3*b - 12, -3*h + 4*b + b = -c. Solve 2*u = -t, h = u + t - 3*t - 5 for u.
1
Let h(m) = -m - 11. Let f be h(-7). Let p = 0 - f. Suppose p*z - 6 = -q, -4*q + 24 = -5*z + 3*z. Solve y + y - 8 = 5*r, 0 = 5*r - 4*y + q for r.
-2
Let f = 71 - 58. Solve -4*z + 4*k - 8 = 0, -2*z + 7*z - 4*k = -f for z.
-5
Let u be 2/10 - (-4)/(-20). Suppose u = -2*s - 54 + 160. Suppose -3*v = -5*l + s - 12, -l + 2*v = -4. Solve 4*k = 4*d + 6 + l, k + 2 = -5*d for k.
3
Let b(v) = -2*v**3 + 4*v**2 + 7*v + 2. Let y be b(3). Solve y*j - 3*g + 5*g = 31, 2*j = -2*g + 16 for j.
5
Let u(y) = 3*y - 8. Let r be u(4). Solve 2*b + r = 4*k, -3*k + 12 = -k + 4*b for k.
2
Let f(n) = n**3 - n**2 + n - 1. Let m be f(2). Solve -4*i = -5*x - 1, m = -x + 2*i - 0 for x.
3
Suppose 0 = -n - 3*n + 16. Let a = -2 + n. Solve -a*m + 4 = 2*q, m = -4*m + 4*q - 17 for m.
-1
Let z(q) = q**2 - q - 1. Let p be z(4). Let c(t) = t**2 + 7*t + 5. Let b be c(-7). Solve b*x - 4*n + 7 = 0, 3*x - 4*n - 2 + p = 0 for x.
1
Suppose 3*c = 6*c + 12. Let b = 8 + c. Solve 22 + 3 = 3*n + 5*i, -13 = -n - b*i for n.
5
Suppose 0 = 5*t - 0*t - 25. Solve -7 + 2 = i - 5*h, i + 5*h = t for i.
0
Suppose -3*o + 8 = -2*o - 2*x, 3*x = -6. Solve 2*l + 0*p - 11 = -p, -o*p + 23 = l for l.
3
Let u be 3/(2 - (2 + -1)). Let x = u + -1. Solve -3*d = -x*y + 4, -3 = 2*y + y for d.
-2
Suppose 2*u + 3*v - 23 = 0, 4*u + 4*v - 41 = -v. Let b(z) = z - 15. Let p be b(-10). Let c = -14 - p. Solve 0 = -u*q + i + 2, 2*q - 4*i - c = -3 for q.
0
Let c be (34/(-8))/((-5)/20). Let f = c - 17. Solve -4*z = y + 12, -5*y + 3*z + 9 = -f*z for y.
0
Suppose q - 10 = -0*q. Solve -3*a + 5 = -q, 4 = s + a for s.
-1
Let y(i) = -i**2 + 8*i + 9. Let s be y(9). Solve -19 = r - 4*n, -3*n + 18 = -s*r - 2*r for r.
-3
Let d = -50 - -52. Solve -z = z + d*g - 4, -9 = -3*z - 2*g for z.
5
Let m(c) = -27*c + 1. Let d = 0 - -3. Suppose -2*i = -5*i - d. Let u be m(i). Solve -18 = 3*v + 3*b, 3*v - 6*v - 5*b - u = 0 for v.
-1
Suppose 0 = -4*l - 3 + 15. Let b(o) = 3*o + 20. Let v be b(-6). Solve -4*a - 1 = l*y - 8, 0 = -v*y - a - 2 for y.
-3
Let b = 61 - 58. Solve -2 = 2*r - b*x, r - 14 = 2*r + 5*x for r.
-4
Let p(n) = n**3 - n**2 + n + 3. Let v be p(0). Suppose 4*x = -x + 45. Let c be v*(3/x + 1). Solve -3*m + 3 = -c*g + 4, -5*g + 3 = -2*m for g.
1
Suppose -3*u - 28 = -5*u. Solve u = y - 2*l, -3*y + 19 = -3*l - 8 for y.
4
Suppose -7 = 3*q - 40. Solve 3*z = 5*h + 25, -z = 2*z + 2*h - q for z.
5
Let w = -4 - -8. Suppose -4*t + 42 = -2*d, 0 = -2*t + w*t + 2*d - 18. Solve -j + 3*j + 2*s - t = 0, 0 = 3*j - s - 11 for j.
4
Let f(r) = 5*r - 7. Let s be f(2). Solve -s*d = 5*i + 2 - 10, -2*i = 2*d - 4 for i.
1
Suppose q - 1 = -0. Let n(k) = k**3 - 6*k**2 - 7*k + 5. Let m be n(7). Solve -4*r - 14 = 2*h, -m*h + 2*h - q = -4*r for h.
-3
Suppose 3*v + 7 = 1. Let m be (-51)/(-15) - v/(-5). Solve -u = -m*y, y = -0*y for u.
0
Let f(d) = 4*d - 98. Let m be f(25). Let i(a) = -6*a - 1. Let t be i(-1). Suppose -2*q + t*q = 54. Solve 20 = -5*j, 0 = 4*n - m*j - 2 - q for n.
3
Let g = 11 + -9. Let x = 7 + -3. Solve -3*f + x*f = -2, 5*t - f = g for t.
0
Let t(w) = -2*w**3 + 3*w**2 + w - 2. Let k be t(2). Let g = -1 - k. Let y = g + 4. Solve -i = -5*d + 2*d - y, -13 = -3*d + 5*i for d.
-4
Suppose -3*i + 13 = -35. Suppose i = 3*g + 4. Let m be g - -1 - (1 + -2). Solve -5*o = -3*l - 10, -1