 + 2*k + m = 3*a for a.
-3
Let r(m) = -m**3 - 5*m**2 - 13*m - 33. Let b be r(-4). Solve 5*q - 20 = f, -b*f = -2*q - q + 12 for q.
4
Suppose 3*x = -5*q + 25, -4*q + 4*x = -3*q + 18. Suppose 9 = q*b - 1. Solve -2*g - a - 7 = -0*g, -35 = 4*g - b*a for g.
-5
Suppose 0 = -6*i + i + 10. Suppose 0 = 5*p - i*p + 90. Let b be p/(-9)*(-12)/(-10). Solve -w - 9 = -b*a, 0 = w + 3*w + 20 for a.
1
Let h(z) = -5*z + 8. Let k(l) = -11*l + 17. Let i(c) = 13*h(c) - 6*k(c). Let q be i(0). Solve 2*d = -q*g - 6, -33 = -2*d - 2*d + 5*g for d.
2
Let q be 2/4 - 10/4. Let p be -1 + 3*(q - -4). Let b(v) = v + 2. Let y be b(p). Solve 3*f + 0*f + 3*c + 15 = 0, 0 = -2*f + c - y for f.
-4
Let d(g) = -g**2 - 9*g + 14. Let h be d(-10). Suppose -15 = -h*u + 1. Solve 4*f + u*c = 4, -2*f - c = -2*c - 5 for f.
2
Let t = 8 + -8. Suppose 3*u - 26 = 4*c, -2*c - 23 = -4*u + c. Solve -10 = -u*n, 5*x + 2*n + 0*n = t for x.
-2
Suppose 3*h + 37 = -35. Let s = 27 + h. Solve -r = k - 1, s*k - r - 9 = -2*r for k.
4
Let a = -6 + 10. Let l be -2 - (-4 + 2 + 0). Suppose l*f = 5*f - 130. Solve 0 = 4*m + 4*v - 0*v + 24, -5*m = a*v + f for m.
-2
Suppose 2*a + 17 = 5*b, 0*b - 37 = -3*a - 5*b. Suppose -3*n - 2*h = -16 - 3, 3*h = -a*n + 26. Solve 4*x - 5*q = x - 16, 4*q + 2 = -n*x for x.
-2
Let g(n) = 2*n. Let v be g(-3). Let z be (-1 - (0 + v))/1. Solve -r + 10 = 2*f - 3*r, -z*r - 13 = -f for f.
3
Let w = 23 - 22. Let b = w - -2. Solve -5*n - 4*d + 3*d + 9 = 0, -n + 13 = b*d for n.
1
Suppose 0 = -4*o + 12 + 4. Let r(m) = m**3 + 9*m**2 + 5*m - 7. Let l be r(-7). Let u = 94 - l. Solve 4*c - 8 = -o*p, -5*c - u + 3 = -4*p for c.
-3
Let h be -12*(-2)/8*32/6. Solve m + 4*n = -n - h, -n = -4*m + 20 for m.
4
Let c be 1*(-1 + 3) - -1. Let x be (c - (-2 + 0)) + -2. Solve -x*m + 8 - 42 = 5*l, -3*m - 9 = 0 for l.
-5
Suppose 3*v - 1 = -19. Let a be 14/v*(-3 + -3). Solve 0 = 6*h - 4*h + 2*r - 12, -r = -3*h + a for h.
5
Suppose 5*l - 3 = 2*l, -5*u - 119 = l. Let q be ((-1)/3)/(2/u). Suppose -12 = -4*y - 0*y. Solve 2*r - q*r - y*m + 8 = 0, 3*r = 4*m - 22 for r.
-2
Let l be 2/(-8) - 34/(-8). Suppose 0 = v - c - 7, c + 39 = 3*v + 4*c. Suppose -2*k + l*g + 26 = k, -k + v = -2*g. Solve 2*f + 18 = -2*m + k*f, -10 = -5*f for m.
-5
Suppose w - 2*k = 15, -5*k - 24 = 2*w - 3*w. Solve 0 = -3*r - i + 5*i + 5, -4*r + 3*i = -w for r.
3
Suppose n - 5*u = -13 + 34, -3*u - 14 = -2*n. Solve -2*q - n = 3*w, -2*q - 2*w - 4 = -0*w for q.
-5
Suppose o - 14 = -2*f, -5*o + 0*f + 15 = -f. Suppose 1 - o = -q. Let j be (1 + q + -5)*-4. Solve p = -v + 5, -j*v - 3*p - 2*p + 20 = 0 for v.
5
Suppose 5*w + 14 = 5*g - 1, -4*g - 2*w = 0. Let i be (-2 - -3) + 0 + g. Let l be ((-4)/5)/(6/(-15)). Solve -b - m + 0*m = 1, -l*m - i = 3*b for b.
0
Let j be (-9)/18 + (-1)/(-2). Let p be j/(-1 - 0) - -4. Solve p*n + 0*x - 2*x = 0, n - 5*x + 18 = 0 for n.
2
Suppose -4*u + 10 = -2*u. Let d(k) = k**2 - 5*k + 2. Let a be d(u). Solve 3*i = -12, -28 = -o - a*o + 4*i for o.
4
Let d be 1 - 3 - 21/(-7). Let z be (d/(-3))/(2/(-18)). Solve 5*u - 3*w = -w + 16, z = -w for u.
2
Let k = 19 - 18. Solve -5 = -3*u + b, 4*b - k = -5*u + 13 for u.
2
Suppose 0*i + 5 = i. Suppose -4*h = -i*h + 8. Let t = h - 6. Solve -5*d = 4*u + 10, t*u + d + 8 = -0 for u.
-5
Suppose -3*o + 15 = -2*z, 0 = -7*o + 4*o - 2*z + 3. Suppose 5*b - 17 = 8. Let m be 25/(-10)*(-5 - 1). Solve -b*n = m, 4*g - o*n - 17 = 2*g for g.
4
Let x(h) = h**2 - h + 2. Let f be x(-4). Suppose 0*q + 13 = t + 5*q, 4*t - f = -5*q. Solve 4*a + 7*c = t*c - 8, -a - 3*c - 12 = 0 for a.
3
Suppose 5*s + 33 = 3*f, s - f - f = -8. Let x = -3 - s. Solve -3*g = a + 2, -x = g - 3*a + 1 for g.
-1
Let i(b) = -b**2 + 9*b + 1. Let v be i(10). Let k = v - -11. Solve 4 = -2*n + t, k*t = n + 3 - 1 for n.
-2
Let w = -7 + 8. Solve 4 = -k, -a + 2*k + w + 3 = 0 for a.
-4
Let l = -2 + 2. Let u = l + 4. Solve 0*w = u*w - 5*z + 2, 0 = 2*w - z - 2 for w.
2
Let l(f) = -f**3 - 7*f**2 + 7*f - 4. Let k be l(-8). Suppose -1 = 2*c - c. Let u be (-1 + c)*(-1)/2. Solve -k*o = -3*r - 10, 0*o - r = o + u for o.
1
Let o be (-4)/(-22) - 568/(-22). Solve 0 = -3*j - 4*y + o, -j - 3*y + 23 = 3*j for j.
2
Let r(s) = 2*s - 5. Let p = 2 + 1. Let j = 8 - p. Let y be r(j). Solve 2*d + 2*u - 6 = 4, y*u - 21 = -4*d for d.
4
Let f be -5 - (0 - -1*2). Let o = f + 11. Let a(i) = -i**3 + 5*i**2. Let u be a(o). Solve -3*m - 2*j - 3*j = u, 25 = 5*m - 2*j for m.
3
Let y(s) = s**2 + 6*s + 7. Let u be y(-5). Solve -u*j = 3*k - 6, 2*k - j - 6 - 5 = 0 for k.
4
Let n = 6 + -2. Let r be n/5 + 2/10. Let j = -1 + r. Solve j = -9*u + 4*u - 4*y - 6, 8 = -2*u - 3*y for u.
2
Let r(c) = -c**2 + 6*c - 2. Let q be r(5). Suppose 3*j = -2*j + q*b + 16, -4 = -j + b. Solve 3*v + 4*i = -j*v - 2, v - 11 = 3*i for v.
2
Let v = 9 - 4. Let n = 2 - v. Let u be 6/n + 2 + 21. Solve 3*j - c = 8*j - u, -4*j = -2*c - 28 for j.
5
Suppose 5*j - 4 = -5*k + 4*k, 5*k - 20 = 0. Suppose 0 = 4*s - j*s - 16. Solve n = s*z + 5, 1 = n + 2*z - 4 for n.
5
Let a(x) = 4*x**3 - 2*x**2 - x - 1. Let l be a(2). Suppose -3*t - 6 = -l. Solve -4 = -2*y + 2*f - 2, -5*f + 5 = t*y for y.
1
Let f = -19 - -23. Solve -3*r + 2*p + 0*p - 12 = 0, -p - f = r for r.
-4
Let g(k) = -6*k + 6*k**2 + 3*k**3 - 2*k**2 - 3 - 2*k**3. Let q be (-3)/(-1)*10/(-6). Let d be g(q). Solve d*v - 3*m = 2*m - 18, 4*v = 5*m - 26 for v.
-4
Let z(t) = -t**2 + 6*t - 2. Let k be z(5). Let v be (k + 1*-16)/(-1). Solve -3 = -2*l - 2*h - v, 3 = -h for l.
-2
Suppose 3*h + 2*h - 125 = 0. Let s = h - 20. Solve -4*o - 11 = t, -5*t + 1 - 11 = s*o for o.
-3
Let o be (4 - 10/2)*-10. Solve 3 = x, -o = 4*f + 2*x - 0*x for f.
-4
Suppose -r + 12 - 7 = 0. Solve -r*a + 4 = -5*y + y, -4*y + 36 = 5*a for y.
4
Suppose -73 = 4*u - 13. Let s be u/(-1)*(-22)/(-55). Solve z - 15 = -5*g + s, 3*z - 3*g = -27 for z.
-4
Let f be (-7)/(-3) - 3/9. Solve 2*s + 2*v = -18, 3*v - 6 = 2*s + f*v for s.
-5
Let m(r) = r**3 - 2*r**2 - 5*r - 3. Let q be (-8)/(-3*(-2)/(-3)). Let a be m(q). Let i be 2 + a - (2 + -3). Solve 2*u - i = -5*g, 4*g = -3*u - u for u.
-4
Suppose t = -3*t + n + 52, 4*n = -3*t + 58. Suppose w + t = -3*w - b, 5*b + 22 = -4*w. Let d be 2/3 - 4/w. Solve s + 0*s = -d*v - 6, 3*s - 2*v - 14 = 0 for s.
2
Let h(z) = z**2 + 13*z + 17. Let p be h(-12). Let k be (-2)/3 - (-2)/3. Let l = 4 + 1. Solve p*t - 4*t + 4*a + 21 = k, l*a + 23 = 2*t for t.
-1
Let j be (-6 + (-52)/(-8))*6. Let y = 3 + 3. Solve 3*s - 6*s + y = -j*m, 0 = -5*s - 4*m - 26 for s.
-2
Let u be (-14)/(-2)*(-17 + 16). Let j be -4 - u - (0 - 2). Solve -3*f - j*b - 12 = 0, 5*f - b - 2*b + 20 = 0 for f.
-4
Suppose -z + o + 6 = 0, 0 = -z + 2*o + 11. Suppose 0 = 7*b - 2*b - 10. Solve 0*r = -r - u - z, -b*r = 4*u + 4 for r.
0
Let k = -15 - -13. Let a be 3/(-6) + (-21)/k. Solve -a = -5*m + 2*s, 2*m - 3*s = -8*s - 25 for m.
0
Let r = 2 - 6. Let h = 0 - r. Solve -5*d - 16 = -d, -15 = -u + h*d for u.
-1
Let l be 1/(-2)*(-10 + 0). Suppose 0 = 4*w, m - 2*w + 0 = -3. Let d be -1 - (-1)/(m/(-12)). Solve d*y + 1 = 6*y - 4*o, l*y - 17 = -o for y.
3
Let z be (6/10)/((-14)/(-210)). Solve s + 1 = k, s - 6*k + z = -k for s.
1
Suppose 0 = -6*k + 12 - 0. Solve k*q + 3*o = 4, q - 5*o - 10 = -4*q for q.
2
Let r be (-32)/20 - (-9)/15. Let a be (r/2)/(2/(-104)). Solve 5*i - 2*k = 5, -3*i + i - 4*k + a = 0 for i.
3
Let z(u) = u**3 - 3*u**2 - u + 6. Let x be z(3). Solve -a - 4 = r, -2 = -3*r + 7*r - x*a for r.
-2
Let i be -1*((-8)/2 - -1). Suppose -8*z + i*z + p = -2, -z - 8 = 4*p. Solve 0*m - 5*m + 4*h - 13 = z, -1 = -m - h for m.
-1
Let o(x) = 2*x**3 - 9*x**2 + 3*x. Let y be o(4). Let b be -2*12/16*y. Solve 3*k - 1 = 5*p - b, p - 1 = 2*k for p.
1
Suppose 2*i - 64 = -2*i. Let u = -39 + i. Let r = -12 - u. Solve 4*t + 13 + r = 4*g, -2 = -3*g - t for g.
2
Suppose -18 + 26 = 4*u. Solve -10 = 3*c + 4*i - 1, -5*c - 1 = u*i for c.
1
Suppose 7 = 4*l - 53. Solve -15 = 2*v + 3*v - 4*s, 5*v + 2*s = l for v.
1
Let x(n) be the second derivative of n + 0 + 0*n**2 - 1/2*n**3. Let l be x(-6). Solve 0 = 4*z + 2*a - l, 0 = 3*z + 2*z - 3*a - 6 for z.
3
Let o be -2 - (3 + -5 + 0). Let p be (-2)/7 + (-138)/(-42). Solve 2*i = -2*s + 2 - 20, -p*i + 5*s + 13 = o for i.
-4
Let t = 5 - 9. Let g be t/6*(-11 + -1). Solve 5*a - 2*p - 17 - g = 0, -5*a - 2*p = -25 for a.
5
Let u(l) = -l + 5. Let y be u(3). Suppose y*o = 83 + 109. Let p = o + -68. Solve -3*i = -z - 4*z, 5*