k - 3*i = -a*i + 20 for k.
-1
Suppose -4*a - 15 = 5*k, -16 = -4*k + 3*a + 3. Suppose 3*p + 0*r = -4*r, -k = -p - r. Suppose -3*t + p*t = 4. Solve -3*z = t*u, -5*z - u - 23 = -10*z for z.
4
Let i be (-8)/6*9/(-4). Solve 2*t - i*a = -11, 4*t = -t + 3*a - 5 for t.
2
Suppose -3*d + 86 + 10 = 0. Suppose -5*v + 8 = -3*a + 3, 3*v - d = -4*a. Solve v*g + 1 - 15 = -2*m, 4 = 3*g - 5*m for g.
3
Let g(j) = -j - 5. Let b(r) = -3*r + 3. Let k be b(4). Let w be g(k). Solve -32 = -w*s - 4*u, -3*s = -0*u - 3*u + 6 for s.
3
Let d be 1/((-2)/(-12)*2). Suppose -d*m + 5 = -2*m. Solve 4*c + q = -3 - m, -2*q = -8 for c.
-3
Let j = 4 - -1. Let s(q) = 3*q + 6. Let a be s(j). Solve 4*l - 5*z + 25 = 0, -z + 2 = 4*l + a for l.
-5
Let t(s) = -4*s**2 - 9*s - s**3 - 7 + 1 - 3*s**2. Let m = 28 - 34. Let g be t(m). Solve 4*a + 4*x = -g, x - 2 = 3*x for a.
-2
Suppose 3*d = 5*d - 4*b - 12, 1 = -d - 5*b. Solve 0 = -4*p + 5*m + d + 3, 0 = 5*p + 3*m + 19 for p.
-2
Let j be (3 - -1)/((-3)/((-9)/6)). Solve a = -q - 3, 0*q = -j*q + 4*a for q.
-2
Suppose -2*c - 9 = -5*y, 4*y - 27 = -5*c - 0*y. Solve c*h + 1 = -h - j, -4*h + 24 = -4*j for h.
1
Let c be 2*21/(-6) - -1. Let b be (2/(-3))/(1/c). Solve 3*o - u = -b, 3*o = u - 6*u - 34 for o.
-3
Suppose 3*g - 7*g = -16. Let f(w) = w**3 - 5*w**2 + 5*w - 2. Let l be f(g). Solve 4*n = 5*n - 3*h - 4, 0 = -5*n - 3*h + l for n.
1
Suppose 24 - 76 = -2*d. Solve -4*b - d = 5*r, -3*r + 2*b = 3 - 5 for r.
-2
Suppose -5*r = -4*r - 3. Let l(o) = r*o - 3*o - o. Let i be l(-5). Solve -3*a - 15 = 3*z, -i*z - 12 = 2*a + 7 for a.
-2
Let n(w) = 4*w**2 + 25*w + 9. Let z be n(-6). Solve -2*l + 0*m = -z*m + 11, 0 = 3*l + 3*m - 21 for l.
2
Suppose 4*h = -h + 4*h. Solve -q + 6 = s, h*s = -5*s + 15 for q.
3
Let d be 5 - 2/6*3. Suppose -d*l = -0*l - 8, 2*j + 3*l - 16 = 0. Solve -j*a - 20 = 0, -3 = -2*h + 2*a + 3 for h.
-1
Suppose -3 + 42 = 3*p. Let a = p + -8. Solve 10 = -5*l - 4*w - 7, a*w = 5*l - 10 for l.
-1
Let d(j) = -3*j + 1. Let v be d(-1). Let i(k) = -3 - 2*k - k + 2. Let q be i(-2). Solve -v*p + q = -2*c - p, 0 = 5*c - 3*p - 1 for c.
2
Suppose 6 = -2*p - 4*m - 0*m, 2*m = -8. Suppose 2*r = p + 1. Suppose 3*z - 3 = r. Solve -t + 5 = -2*g, -2*g - 11 = -z*t + 3*g for t.
3
Let j be (-1)/(2/(-6 - 0)). Let g(r) = -r + 17. Let a(b) = b**2 - 11*b + 22. Let i be a(10). Let f be g(i). Solve o + 11 = f*z, -3 = -j*z + o + 2 for z.
3
Suppose -7*g + 5*g = -8. Solve 2*v + 9 = 5*v - g*k, 5*v + 3*k = -14 for v.
-1
Let d(t) = 4*t**2 + t - 1. Let p be d(1). Let o be ((-2)/(-5))/((-2)/(-10)). Suppose f - 2 - o = 0. Solve -6 = 5*l + p*u, -f*u - 2 = 2*l - 2*u for l.
-2
Let u be (-8)/6*30/(-20). Solve 0 = -5*d - u*r + 1, d + 2*r + 0*r = 5 for d.
-1
Suppose 0*l - 2*l + 14 = 0. Let m = l + 1. Solve -d - d = m, -3*j + 4*d + 19 = 0 for j.
1
Suppose 2*a + 0*a - 8 = 0. Solve 8*q - a*q + 8 = 3*r, 2*r = -q + 9 for q.
1
Suppose 57 = -5*b + 2*s, 5*b = 2*b + s - 34. Let o = b + 24. Solve -5*q - 40 = -4*z, -3*q - 4 = -z + o for q.
-4
Suppose 0 = -c - 0*c + 93. Let h = c + -53. Solve -5*t = 3*w + h, w + t + 4*t = -30 for w.
-5
Let f = 9 + -16. Let c be ((-40)/(-6))/(f/(-21)). Let y be c/(-25)*(-5)/1. Solve -2*r - 3 = -4*s - 9, -5*r = y*s + 13 for s.
-2
Let j(g) = -g**2 - 4*g + 6. Let q be j(-5). Suppose -q = -5*n + 24. Solve 4*a + 2*w - 7 = n*w, -23 = -5*a - w for a.
4
Suppose -3*l + 18 = -2*l. Let k = l - 15. Solve -u = -c, -2*c + c = k*u + 20 for c.
-5
Suppose 5 = -2*h - 0*h + 5*f, 0 = -f + 5. Let x = h - 5. Solve 0*m + x*o = -2*m + 30, -3*o = 5*m - 37 for m.
5
Let i = 20 - 6. Solve q + 2*n + i = -n, 14 = q - 4*n for q.
-2
Let f be (2/(-6))/(1/(-9)). Suppose -4*n + 8 = -2*n, -4*a - n = -4. Suppose 3*b + 1 + 8 = 2*x, 19 = 3*x + b. Solve -y + 4*u = -f - 6, a = y - u - x for y.
5
Suppose x + 24 = 4*x. Solve 23 = 3*a + 2*d, x*a - 45 = 3*a - 5*d for a.
5
Suppose -2*o - 2*m - 5 = -1, 0 = -3*o + 2*m + 14. Solve -u - c - 3*c = -5, o*u - 10 = 3*c for u.
5
Let d be ((-8)/6)/((-8)/12). Suppose -4*v - d*r = -12, -3*v + v - 4*r + 12 = 0. Solve -4*w = o + 17, v*w = o + 3*w + 2 for o.
3
Let a be -3 - (-23 + 0/1). Solve -1 = -3*l - h, 0 = -2*l + 6*l - 4*h + a for l.
-1
Let g = 8 + -5. Let k be (-20)/(-15)*g/2. Solve k*o + 29 = -5*v, -3*v - 23 = 4*o - 0*o for v.
-5
Let t be (-4)/(-6)*(-36)/(-8). Suppose -t*b - 2*b + 30 = 0. Solve -2*x = -b*x - m - 17, -4*m + 22 = -2*x for x.
-5
Let j be 1 + 8/(7 + -3). Solve -8 = j*b + 3*q + 7, b - 19 = 5*q for b.
-1
Suppose 0 = y + y - 5*m - 105, -4*y + 175 = -3*m. Let z = -22 - -42. Suppose y = 4*x - z. Solve -5*c = -x, 4*c = k + c + 5 for k.
4
Let b be -1 - 15/(-10)*2. Solve -2*g - 4*d - 4 = 0, b*g + 0*g = -d + 5 for g.
4
Suppose 4*s + 14 + 26 = 4*r, -3*r - 4*s = 5. Solve 2*q + 13 = -r*m, -3*q - 3*m + 4 = 19 for q.
-4
Let y be 26/260 + 98/20. Solve 9 = 5*i - 3*r, y*r - 2 = 2*i + r for i.
3
Suppose 0 = -0*x + 11*x - 22. Solve -s - 7 = -0*s - x*z, z = 3*s + 16 for s.
-5
Let q = -6 + 17. Suppose -7 + 6 = v. Let u = v + 4. Solve u*x - q = z, 0 = 2*x - 6*x - z + 24 for x.
5
Suppose 0 = 5*a - i - 31, 2*a - 3*i - 2*i = 17. Let d = a - 2. Suppose -5*w - d + 24 = 0. Solve 0 = w*j - 5*x + 9, -9 = -0*j - j - x for j.
4
Let w = -13 + 8. Let f = 10 + w. Suppose 0*y + 2*y = 0. Solve -6 = -f*m + b - 5*b, 3*m - b + 10 = y for m.
-2
Suppose -x = -3*x + 70. Let r(s) = s**2 - 4*s + 3. Let n be r(4). Suppose -k - 64 = -n*k. Solve 4*g = -5*j + 13 + k, -3*j + x = 4*g for j.
5
Let a = -54 - -57. Let k(t) = t**2 + 2*t + 2. Let z be k(-2). Suppose 0*f - 3*g = 2*f - 8, a*g = -f - z. Solve 2*n - u - f = 3*u, u - 8 = 4*n for n.
-3
Suppose 3*b + 2*p - 2 = 0, -b = -6*b + 5*p + 20. Let n be 19 + (-1 - 4) + b. Solve 0 = g + 3*k + n, 4*g = -4*k + k - 19 for g.
-1
Let k(x) = x**3 - 8*x**2 + 6*x - 2. Let t be k(7). Let f be 2/9 - 34/t. Solve -g - 2*a = 4, f*g - 9*g + 2*a = 20 for g.
-4
Let g be 1 - (-3 - -1) - -3. Let n be 10/g + (-8)/12. Let k be (1 + -13 + 1)*-1. Solve k = u - 2*q, -n = -q - 4 for u.
5
Let g(n) = 4 - 5*n + 15*n - 3*n**2 + 2*n**2. Let a be g(10). Solve -2*d - o = -6*d - 11, 2*d + a*o + 28 = 0 for d.
-4
Suppose 4*r = r + 99. Suppose -3*g + 23 = 5. Suppose -2*s + g = s. Solve 27 = -5*d + k, -s*k = -5*d + 2*k - r for d.
-5
Let o be (0/4)/(-3) + 3. Suppose o = 2*m - 1. Solve 0 = 2*z - 4*q + 6 - m, -2 = -z - 2*q for z.
0
Let w = 11 - 6. Let k(f) = -f**2 + 5*f + 2. Let r be k(w). Solve -t - 2*y + 7*y = -8, r*t = y + 7 for t.
3
Let b = -46 - -48. Solve 0 = -3*u + 5*h - 2, -2 + 0 = -b*h for u.
1
Let d = -7 + 13. Solve d*l + 1 = 2*l + 3*p, -4*l - 21 = p for l.
-4
Let k(p) = 6*p**2 - 2*p. Let c be k(2). Solve 2*m - 1 = -g + 11, 5*g = c for m.
4
Let r = 12 - 5. Suppose 2*z = 3*z. Suppose u - 52 = -5*l, z*l - 182 = -5*u + l. Solve -5*h + r = -h + d, -4*h + 5*d = -u for h.
3
Let s = 5 - 7. Let h be 1/s + 56/16. Solve 2*i + 3*b + 9 = 0, 2*i + h*b + 9 = -2*i for i.
0
Suppose -1 = -r + 4. Suppose -r*y = 286 - 101. Let g = y - -56. Solve -3*q = -2*c - g, 5*q - 4*c - 23 = -5*c for q.
5
Suppose 12*c - 6*c - 24 = 0. Solve 0 = -5*g + 5*r, 3*g - 5*r + 2 = -c for g.
3
Let i = -57 + 87. Let c be ((-15)/(-25))/(9/i). Solve 0 = -4*m + 4*g - 2 - c, g - 5 = 0 for m.
4
Suppose -3*k - 10*x + 5*x - 19 = 0, 3*k + x - 1 = 0. Solve 5*s - 5*d - 15 = 0, -s - 16 = 2*s + k*d for s.
-2
Suppose -5*b - 10 = 0, -3*j + 24 = 5*b + 1. Suppose 10 + 18 = -4*r. Let z = r + j. Solve -3*w = -4*m - 15, 6 = -z*m - 6 for w.
1
Let h(g) be the second derivative of g**4/12 + g**3 - 2*g**2 + 5*g. Let r be h(-7). Solve 2 = -2*n - x, r*n = n - 3*x + 6 for n.
-3
Let q = 5 - 10. Let k = 0 + q. Let t(g) = g**3 + 6*g**2 - g - 7. Let f be t(k). Solve n - f = -u + 6*n, 0 = 5*n + 20 for u.
3
Let u(o) = o**2 - 5*o - 3. Let m be u(6). Suppose -79 = -3*j + 5*d, m*d + 81 = -0*j + 3*j. Solve -c + 4*c = 12, 5*c - j = 4*f for f.
-2
Suppose -5*w + 60 = -w. Suppose -3*p + 10 = -2*p - m, -2*p = 5*m + w. Solve -3*n + 16 = 3*v + 1, 0 = v - p*n + 7 for v.
3
Suppose p - 5 = -r, -3*p = -2*r - 2 - 3. Solve -i = p*i + 3*g - 14, 0 = -4*g - 8 for i.
5
Let s = 16 + 0. Solve -4*d - s = -0*d + 4*l, 0 = 5*l - 5 for d.
-5
Suppose 0 = -4*v - 12, 4*a + 2 + 1 = -5*v. Solve -2*k = 5*m - 2, 5*k + 0*m - 5 = -a*m for k.
1
Suppose 8*l - 10 = 3*l. Suppose 4*p + 4*t = l + 2, -3*t + 9 = 0. Let d be p/(-2) - (-20)/5. Solve 6 = 2*w - 2*u, -4*w - 35 = w + d*u for w.
-2
Let f = 2 + -3. 