k = -u + b, -2*k = -d for u.
0
Let l(z) = 3*z**2. Let p be l(1). Suppose 39 - 4 = 5*i. Solve i = -p*c + 2*r, 2*r + r - 19 = -4*c for c.
1
Let a(x) = -x + 3. Let w be a(3). Suppose w*t - 22 = -2*t. Solve 4*v - u + 1 = -9, 3*v + u + t = 0 for v.
-3
Let b be 3 + 0*(-2)/(-6). Let o = 9 - b. Let c = o - 1. Solve 0 = -a - y, -4*a - 2*y - c - 3 = 0 for a.
-4
Let m = -4 - -6. Let v(s) = -3*s + 4. Let a(d) = -d + 2. Let n(i) = -9*a(i) + 4*v(i). Let q be n(-6). Solve -4*l + 10 = 2*u, 0 = 4*u + 2*l + m*l - q for u.
3
Let r(a) = 5*a**2 + 2*a + 1. Let m be r(-1). Solve -2*c - 4*p + 6 = -0*c, -m*c = p - 5 for c.
1
Let h = -7 + 13. Let g(u) = -u + 8. Let c be g(h). Solve -4 = -0*r + r - 4*f, 2*r + 8 = -c*f for r.
-4
Let b be (-3 - (1 - 3)) + 79. Suppose 3*t + b = 5*q, 0*t = 2*q - 4*t - 20. Let j be (-1)/(-4) + (-30)/(-8). Solve j*h + 19 = -h - 3*m, -q = 3*h + 4*m for h.
-2
Let r(p) = p**3 + 7*p**2 + 5*p - 11. Let k be r(-5). Solve -2*g - 4*a + k = 0, 0 = g + 3*a + 2*a - 22 for g.
-3
Let p be (-1)/3*(-7 - 2). Solve 5 = 2*g + j, 3*g + 8*j - 18 = p*j for g.
1
Suppose 10 = 13*d - 8*d. Solve 0*z = -z + 4*p + 8, d*p = -5*z + 18 for z.
4
Let d = -58 - -58. Solve d = -3*u + 3*a + 3, -4*u + 9 = -3*u + 3*a for u.
3
Let t = -8 + 11. Solve t*z = -f - 2, 4*z - 6 = 6*f - 3*f for z.
0
Let h = -13 - -15. Let l(j) = j**3 + 2*j**2 - 2*j - 1. Let o be l(h). Solve y + 2 = -2*t - 5, 3*y + o = -4*t for y.
3
Suppose 0*b = -5*b - 4*i + 27, 4*i - 9 = b. Solve -b*a - o - 3 = -5, -3*o = a + 10 for a.
2
Let h(o) = o**3 + 2*o**2 - 5*o - 4. Let y be h(-3). Solve 0 = -5*n - 5, -l = y*l - 4*n - 16 for l.
4
Let h be 3*5/((-30)/(-8)). Suppose -h*s = -3*s - 25. Solve 0 = -3*a - 4*q + 19, -5*q = 5*a - 0*q - s for a.
1
Let s(h) = -h**3 + 8*h**2 - 7*h - 9. Let p be s(7). Let i be 110/9 - (-2)/p. Let m = 20 - i. Solve -3*u - 3*j = -j + 1, -2*u + m = -3*j for u.
1
Let z be 1/2*0 - -2. Suppose k = 0, 2*k = z*w - 0*k - 32. Let i(h) = -h - 9. Let s be i(-9). Solve s = m - 4*t + t - 10, w = m - 5*t for m.
1
Let d be (6/2 - (2 - 0))*25. Solve -5 = 4*n - 5*u, -5*n - 5*u - 15 = d for n.
-5
Suppose -p = 3*q + 21 - 4, 5*q = -20. Let b = p - -9. Solve 5 = 2*w + 5*j, b*j - 18 = 3*w + 3*j for w.
-5
Let i be (-50)/(-3)*(32/10 - 2). Solve 5*g = -4*m + m + i, -2*g - 18 = -4*m for m.
5
Suppose -5*t = 4*n + 7, -n + 11 = -0*n - 3*t. Let v be (1/n)/(1/2). Solve -5*q = 5*l + 15, 5*q = l - v - 14 for l.
0
Let z be (-3)/(-2) - -2 - 6/(-4). Solve z*k - 31 = 4*w, -4*k = -7*w + 2*w - 32 for k.
3
Suppose -u - 10 = -2*d + 1, 4*d = 3*u + 25. Let q be (15 - -4)*(-1)/(-1). Let t = q + -16. Solve -d*v = t*r - 7 - 4, r + 5*v - 11 = 0 for r.
1
Suppose 0 = 5*m - 4 + 14. Let y be m/9 - (-61)/(-9). Let t = y - -10. Solve 19 = t*s + g + 3*g, s - 2*g = -7 for s.
1
Let v = -5 - -7. Solve 3*j - 7 = -5*c, -j - v*j = -2*c - 14 for j.
4
Suppose -i - 16 = -3*z, 0*z - 6 = -3*z + 3*i. Let r be ((-30)/(-5))/((-6)/(-4)). Solve -4 = -r*p + 4*h, 4*h + z + 4 = -3*p for p.
-1
Let d be ((-57)/(-6) + -8)/(2/4). Solve 3*v - s = 2*s + 9, -d = -2*v + s for v.
0
Let f(w) = w + 10. Let g be f(-6). Solve 5*q = -3*n - 1 + 29, 0 = 4*q - g*n - 16 for q.
5
Suppose -8 = -2*q - 2. Let w be (18/(-8))/(4/(-16)). Suppose -8*b - 26 = -w*b. Solve b = -q*k + 4*f, -5*k + 2*f - 10 - 10 = 0 for k.
-2
Let y be ((-2)/(-5))/(3/75). Suppose -i + k + 2 = -0, -5*i + 4*k = -y. Suppose i = -r, 4*r + 4 + 13 = 3*u. Solve 5*f = -u*w + 5, 1 = f + 3*w - 0*w for f.
1
Suppose -4*q - 2*g = -24, -4*q + 11 = -3*g - 3. Solve 30 = -q*n + 5*o, -3*o + 1 + 9 = -n for n.
-4
Suppose -j - 3 = -f, -2*f - 5*j = -9 - 11. Solve f*l + 30 - 11 = -x, -5*l - 11 = -x for l.
-3
Let r be 2 - (-4 - 30/(-5)). Solve n = 2*n - 1, r = 3*f - 3*n for f.
1
Let i(m) = m**2 + m - 1. Let n be i(2). Suppose 1 = j - 4. Suppose -6*x + n = -j*x. Solve -3*b = x*v + b - 6, 2*v + 2*b = 4 for v.
-2
Let j(c) = -c**2 + 5*c + 6. Let m be j(6). Suppose 0 = 4*v - 0*v. Suppose m = -v*o + 2*o - 8. Solve z + o*x + 0*x - 18 = 0, -4*z - 3*x = -7 for z.
-2
Let g(r) = -r**3 + 3*r**2 + r - 3. Let b = 8 + -5. Let o be g(b). Let j(y) = y**2 + 7. Let f be j(o). Solve -n - 5*k - 13 = 0, 4*n - 3*k + 20 = -f*k for n.
-3
Let p(g) = g**3 + 4*g**2 - 6*g. Let r = 19 - 24. Let x be p(r). Solve 5*n - x = -2*j, 5*n = 4*n + 4*j - 21 for n.
-1
Suppose 5*x - l - 13 = 0, -5*l + 7*l = 2*x - 2. Solve -4*u = -b - 15, 2*u = x*b + 2*b + 21 for b.
-3
Let l(k) = -2*k**2 + k + 1. Let p be l(-1). Let s = p - -8. Suppose -x + 3*b = 6*b + s, -2*x - 4*b = 6. Solve q + 4*j - 4 = -12, 10 = x*q - 5*j for q.
0
Suppose -5 = 10*d - 45. Solve -3*g = d*y - 19, 7*g - 3*g - y = 0 for g.
1
Let i(u) = -u**3 - 13*u**2 - 13*u - 12. Let q be i(-12). Let v be 0 + q/(-1) - -14. Solve v = m + 5*h, -4*m + 3*h = -0*h + 13 for m.
-1
Let u = -31 - -35. Suppose -4*v + 2*v + 20 = 4*n, -4*n + 32 = 5*v. Solve u*k = -3*y - n, 3 = -y - 0*y - 2*k for y.
3
Suppose 6 = 3*n + p, -p - 1 = -5*n + 17. Solve 4 = -q, n*q = -u + 6*u + 3 for u.
-3
Suppose 0 = -z + 2*z. Suppose -5*k = -2*k - 81. Solve 3*q + z = 3*j - 18, -5*q - k = -4*j for j.
3
Suppose 12*t = 2*t + 9*t. Solve t = 2*a + 6, a - 9 = b + 3*b for b.
-3
Suppose -5*q + 9 + 21 = 0. Suppose -5*c = -1 - 9. Suppose 3*h = 2*t + q*h, -h = -c*t. Solve 5*o = y - 25, -5*o = -t*y - 3*y + 35 for o.
-4
Suppose 16 = 2*m + 2*m. Solve 0*f + m*f + 12 = 4*d, 5*f + 2*d = -1 for f.
-1
Suppose 9 = 5*m + j + 1, -j + 6 = 4*m. Let n be (-9)/(-2) + m/(-4). Solve 8 = -2*h - g + 3*g, -3*h + 2 = n*g for h.
-2
Suppose 0 = 2*b - 4 - 2. Solve l + 2*c = -b - 1, -18 = -3*l + 4*c for l.
2
Let x be (1/(-3))/(1/(-18)). Suppose 16 = 4*i + 4. Let r(b) = -b**2 + 3*b + 3. Let k be r(i). Solve 3*p - x = 3*g, -p - p = k*g - 19 for g.
3
Let r = 23 + -16. Suppose 0 = -t + 4 - 1. Let i be (-2)/(-7) + 24/14. Solve -4*y - i*u + 27 = r, t*u = 3*y - 6 for y.
4
Suppose 5*u - x + 11 = 0, 0*x - 5 = 3*u + x. Let m be 132/8*u/(-3). Suppose 46 - m = 5*i. Solve -5*a + b = 13, -2*a + 25 = -i*a + 5*b for a.
-2
Suppose -25 = 41*d - 46*d. Let o be 1 - 1 - (-9 + -3). Let w = 5 + o. Solve -4*n + 3 = 3*i, -5*n = d*i - w + 7 for n.
-3
Let y = 42 - 29. Suppose -r + 3 + y = 0. Solve 2*c = 4*c - 3*h - 10, 5*c = 3*h + r for c.
2
Let j be ((-3)/4)/(3/24). Let v(r) = -9*r - 5. Let d be v(j). Suppose -u + 71 = 4*p, 5*p = -4*u + 26 + d. Solve 3*k = -4*g + p, 0*g - 26 = -5*k - g for k.
5
Let b = 7 + -7. Solve -4*t + 12 = -4*s, 0 = -b*s - 3*s + t - 7 for s.
-2
Let n(x) = -x**3 - 8*x**2 - 2*x - 8. Let f be n(-8). Let s = -6 + f. Solve 3*v = -4*q, s*q = -v + 3*q - 7 for v.
-4
Let y be 0*2*2/4. Suppose -3*z = y, -4*g + 0*g = -z. Solve -5*r - 5 = 4*c, g = 2*r + 6 + 4 for c.
5
Suppose -9 = -5*w - 29. Let h(a) = a**3 - 5*a**2 - 4*a - 17. Let m be h(6). Let u = w - m. Solve -4*b - b - 3 = -2*g, -u = g for b.
-1
Suppose 3*c = 4*m - 69, 3*m = -5*c + 2*c + 36. Solve -m = -3*j - 3*r, -3 = -0*j + 5*j - 2*r for j.
1
Let o(j) = -j**2 - 10*j - 6. Let k be o(-9). Solve -4*b + 2*w + w - 4 = 0, 0 = 3*b + 2*w + k for b.
-1
Suppose 9*m + 14 = 10*m. Solve -4*i - 2*b = -m, 4*i + 4*b - 3*b = 9 for i.
1
Let y(s) = 4*s + 5*s + 4 - 9*s**2 - 1 + s**3. Let u be y(8). Suppose -5*l + u - 1 = 0. Solve -5*z + 0*z + 4*t = -3, -5*z + l*t = 1 for z.
-1
Suppose 5*a - 2*a = 0. Let b be (24/3)/((-8)/(-4)). Suppose 0 = -b*l - 12, -m = -2*l - 2 - 6. Solve 20 = -a*y + 4*y, -4*y = m*c - 18 for c.
-1
Let v = 29 + -24. Solve 0 = t - x, 2*x + x + 16 = -v*t for t.
-2
Suppose -3*l = -13 + 1. Suppose -3*t - 4*b = -26, 2*t + t + 2*b = 16. Suppose -p = t*p. Solve -n + i + 18 = 4*i, l*n - i - 7 = p for n.
3
Suppose 3*x - 2*x - 13 = 0. Let d = x - 11. Solve -n + 5*t = 8, -d*t = -4*n - 3*t - 11 for n.
-3
Suppose 4*z - 48 = 24. Suppose -4*t + 12 = -t. Let p be (t - 6)/(3/(-6)). Solve p*j + f - 7 = 8, -2*f = 4*j - z for j.
3
Suppose 0 = 3*i - 29 - 43. Let f(w) = w**2 - 2*w - 3. Let u be f(3). Solve 2 = 4*v - 2*a, u = -2*v - v - 3*a + i for v.
3
Let y = -68 + 78. Solve -b + 0*w = -5*w - 10, y = -2*b - 5*w for b.
0
Let j = 63 - 63. Let t = 7 - 3. Suppose t*q + 0 - 8 = j. Solve -2*r = 3*y + 13, 5 = q*r - 3*y - 12 for r.
1
Let f = -4 - -6. Suppose 1 + 5 = f*z. Solve 0 = 2*d + z*w - w + 16, 0 = 2*d - 5*w - 5 for d.
-5
Let a(v) = v**2 + 6*v - 2. Let d be a(-7). Suppose d + 5 = 2*t. Suppose 2*o + 2*o - 12 = 0. Solve -o*i + 0*l = 2*l - 5, 20 = t*l for i.
-1
Let q be (4 - 3)