e -5*k = -5*c - z*k + 8, -r*c = -5*k - 10 for c.
1
Suppose i + 0 = -3*w + 9, i = w - 3. Solve w*f + 27 = -3*c, -2*c + 4*f + 21 - 9 = 0 for c.
-4
Let u = -8 + 8. Solve a + r + 3 = u, -r = 4*a + 9 + 9 for a.
-5
Let v be (2 - -1 - 3)/(-1). Solve 6*u - j + 21 = 2*u, v = 4*j - 4 for u.
-5
Let x be ((-76)/(-2))/((-2)/(-1)). Solve -3*u - 5 = -4*u - 2*y, 4*y - x = -5*u for u.
3
Suppose 5*b = 3*b, -4*y + 3*b + 28 = 0. Solve -3*u + y*u + 20 = o, 4*u = -16 for o.
4
Let y = 27 - 13. Solve -2*h + 3*h - 5*i + y = 0, 0 = -h - 5*i + 16 for h.
1
Suppose 2*f - 28 = -5*f. Suppose 5*y + 11 + 29 = 0. Let p be ((-10)/(-8))/((-2)/y). Solve -3*c + 2*o = -2*c - 6, -f*c + 12 = -p*o for c.
-2
Let i = -7 + 11. Let b be (35/10 + -4)*10/(-1). Let t(z) = -z. Let a be t(-3). Solve q + j = a, 6 = -i*q - 0*q + b*j for q.
1
Let z = -22 - -25. Let s be (0 + (-2)/(-4))*6. Solve s*f = z*j - f - 16, -4 = 4*j + f for j.
0
Suppose 4*i - z = 19, 3*z = 2*i + z - 8. Suppose 0 = 2*x - 0*x. Let r = i + x. Solve -r*a = -4*s - 18, 3*a + a - 10 = s for s.
-2
Let n(j) = -j + 1. Let s be n(-5). Suppose -3*a + 6*a = 3. Let w = 4 + a. Solve w*l = i - 5*i + 10, 5*i = 3*l - s for i.
0
Let t(j) = -j**3 - 6*j**2 + 7*j + 7. Let o be t(-7). Let q = -1 + o. Solve -2*x - 1 = 3*c, q + 2 = c - x for c.
3
Suppose 4*u + u - 10 = 2*h, -4*u = 5*h + 25. Solve 0 = p - 2, 3*p + u*p + 9 = -5*o for o.
-3
Let u = -19 - -21. Solve 0 = -m + u*i - 6, -2*m = -m - i + 5 for m.
-4
Let k be 6/9 - 85/15. Let m(r) = -4*r. Let v be m(k). Let s be (-2)/(-4)*4*2. Solve 0 = -5*u - v, -5*d + s*u = -d - 32 for d.
4
Suppose 5 = -5*s - 0*s. Let l be s/(-3) + (-4)/12. Let t be (-3)/(-3)*(0 - l). Solve -4*p + 3*j + 3 = -1, -p - 4*j + 20 = t for p.
4
Let b = -1 + 8. Let p(c) = 2*c - 10. Let j be p(b). Let q(w) = w - 13. Let m be q(13). Solve 5*y - 7 = j*k + 2*y, m = k + 3*y - 17 for k.
2
Suppose -15 = -3*j, 2*n - 3*j = -0*j - 15. Suppose n = 4*i - 10 - 6. Solve 3*b - 4*b - 15 = 4*h, i*h - 2*b + 18 = 0 for h.
-4
Let r be 3*(-104)/12 + 1. Let x = r + 25. Solve -3*m - 3*w - 1 = 5, -3*w = x for m.
-2
Suppose 5*m + 0*k - 3*k + 23 = 0, m - 4*k + 8 = 0. Let y = m - -8. Solve 3*c + 5 = a + y*c, 4*a - 22 = -5*c for a.
3
Suppose 0 = 4*r - r. Solve 3*v - 5*v = j - 5, r = v + 4*j - 20 for v.
0
Let d = 4 - 1. Suppose -10 = -2*m - d*m. Let x be 0 + 15 + -11 + 12. Solve 3*n + x = -s, m*s - 3 = n - 0 for s.
-1
Let a = -19 - -12. Let u = -4 - a. Let f(n) = n**2 + 4*n. Let p be f(-5). Solve -5*h - 10 = 0, -p*h = u*s - 2*s + 8 for s.
2
Let r(u) = u**2 - 7*u + 5. Let m be r(8). Solve 3*d = 2*o - 14, 4*o - d = m + 5 for o.
4
Suppose -2*m - m = 0. Suppose 4*z = -z + 20. Let j = z - m. Solve -4*a - n = -a - 14, 6 = 2*a + j*n for a.
5
Let n = -13 - -16. Solve -n*s + 4*l = -9, -5*l = -0*s + 3*s - 9 for s.
3
Let o = 28 + -24. Solve -b - l = 7, -o*b + 4*l + 8 = -l for b.
-3
Let t be 9/2 + (-1)/2. Solve -4*n - 23 = 3*y, -2*n - 1 = t*y + 13 for y.
-1
Let d(z) = 5*z**2 - 3*z**2 - 2 + 5*z + 3*z**3 - 4*z**3. Let t be d(3). Suppose -q = -t*q. Solve -v + 0*v - 3*c - 15 = q, 0 = -3*v - 3*c - 21 for v.
-3
Suppose 32 = -2*s + 3*s. Suppose -6*c = -2*c - s. Solve -2*x + 3*o = 17, -x - 4*o = -0*x - c for x.
-4
Let p = 102 - 96. Solve 4*z - 5*l = -4*l - 10, z - p = -4*l for z.
-2
Let m be (-4)/20 + (-138)/(-15). Suppose -m*g = -12*g + 6. Solve g*r = 3*y + 6, -3*r + 2*y = -y - 3 for r.
-3
Suppose 5*w - 2*b - 14 = 0, w + 5*b - 1 = 6*b. Solve 0 = -5*t + 4*m - 0 - 4, w = -3*t + 2*m for t.
-4
Let b(t) = 2. Let s(x) = x + 1. Let n(m) = -3*b(m) + 2*s(m). Let u be n(3). Solve 7 = -2*g + 3, -12 = 4*p + u*g for p.
-2
Let q = 21 + -15. Solve 5*w - 20 = 3*u, 0 = -w + 3*u + q - 2 for w.
4
Suppose 2*d - 4*v = 22, 5*d + 43 = 8*d - v. Suppose -w - 8 = -3*w. Solve 0 = -j - 5, 5*p = -0*p - w*j - d for p.
1
Let j(x) = -x - 6. Let c be j(-7). Let d be (-6)/(-4)*(-2)/3. Let q be (-2 - 9)*d - c. Solve -4*p + 2*w = -w - q, 5*w + 12 = 2*p for p.
1
Suppose -320 = -7*t - t. Solve -3*p + 4*b + t = 14, -10 = 2*b for p.
2
Let j(g) = -g - 2. Let x be j(-6). Let z be 4/14 + (-500)/(-14). Let d be 2 - 3 - -2 - 1. Solve x*m + z = 4*s, -s + 4*m + 24 = -d*m for s.
4
Let i = 8 - 5. Suppose j + 52 = 4*j - t, -5*j = 3*t - 82. Solve 3*f + y = -0*y + j, 4*y = i*f - 7 for f.
5
Suppose -3*j + 0*j + 6 = 0. Solve j*v - 3 = v, -3 = -3*p + 2*v for p.
3
Suppose -a - 22 = 32. Let m = -34 - a. Solve -m = -3*x - 5*b, 6*x - 2*b - 13 = 3*x for x.
5
Let v = -17 + 33. Solve 3*q - 5 = -5*t + 16, -v = -2*t - 5*q for t.
3
Suppose 7*n = k + 2*n - 17, 0 = -4*k - 5*n - 7. Solve -4*w - 3*h - 13 = 0, -k*w = -5*w - 4*h - 8 for w.
-4
Let d(f) = 4*f - 6. Let g be d(2). Solve -3*u - 2*p - 4 = -6, 0 = -p - g for u.
2
Let f = 19 + -16. Solve -3*v + 4*l - 7 = 0, -8*v = -4*v - f*l for v.
3
Let q = 7 + -4. Suppose -i + q + 2 = 0. Suppose -2*g - 51 = -i*g. Solve -2*y - g = -4*h + 1, -4*y = 20 for h.
2
Let c = 8 + -3. Let a = 226 + -223. Solve 3*k = 3*o + 3, a*k + c = o - 0 for k.
-3
Suppose -4*f - 8 = 4*l, -4*f = -l + 3*l + 8. Suppose l*r = r. Solve 2*m - 5*p + 7 = r, -2*m + 2*p + 2*p = 4 for m.
4
Suppose 19*q + 6 = 82. Solve -4*b + 16 = -s, -20 = -q*b - 4 for s.
0
Let g be (-3 + -7 + 13)*2/3. Solve 0 = 3*d + 3*k + 2 + 7, 4*d + 14 = -g*k for d.
-4
Suppose 3*u + 1 = -2*g - 0, 0 = 2*u + g. Let x be 10*(-1)/(-2)*u. Solve 5*j - 4*n = n - x, 3*n = 2*j for j.
-3
Let h be 3 + 4/((-4)/(-3)). Let r = h - 6. Solve -3*q + 9 = r, -3 = -4*i + 5*q + 2 for i.
5
Let l(z) = -z**3 + 7*z**2 + 3. Let a be l(7). Solve -3*w - 3*o + 10 = -4*o, a*o = -12 for w.
2
Let q be 3/(1*(-3)/(-2)). Solve i = o + q, -o + 4 - 1 = 4*i for o.
-1
Let k = 17 - 14. Solve 4*d = 3*f - 21, k = 4*f + f + 4*d for f.
3
Suppose 4*m - 5 - 1 = 2*p, 4*m = -p + 21. Let u(d) = 2*d - 6. Let l be u(p). Solve -w = -2*o - 9, l*o + 0*o + 5*w = -11 for o.
-4
Let g(j) = 5*j**2 - 2. Let y be g(4). Let r = y - 54. Solve w = -0*k + 5*k - 10, -4*w = -4*k + r for k.
1
Let f = 15 - 7. Let p = -6 + f. Solve -8*r + 4 = -4*r + q, r - 1 = p*q for r.
1
Let a(t) = -3*t**2 - 54*t + 2. Let y be a(-18). Solve -d + 5*s - 1 = y*s, 2*s + 21 = 5*d for d.
5
Let o(w) = -w**3 + 14*w**2 + 14*w + 20. Let n be o(15). Solve 0 = -u + 2*r + r + n, -3*u = r + 5 for u.
-1
Suppose 3*i + 5*w - 9 + 24 = 0, -12 = -5*i + 4*w. Suppose t - 3*t + 8 = i. Let l be 34/(-51) - (-1)/(-3)*-8. Solve 25 = -5*k - t*z, -k - 2*k = -l*z - 7 for k.
-1
Let a(k) = k**3 - 7*k**2 + 5*k + 11. Let z be a(6). Solve -35 = p + 4*p - z*t, -4*p = -t + 16 for p.
-3
Suppose -5*p - w - 3*w - 10 = 0, -3*w = 2*p + 11. Solve 0*n + 5*u = -p*n - 8, 3*n = -u - 12 for n.
-4
Suppose 0 = -3*f + 2*f - 5*d - 2, 0 = f + d - 10. Suppose -p = -f - 3. Let z be -3 - (-7 - 0/3). Solve -4*x + 0*x - 4*o - 4 = 0, p = -x + z*o for x.
-4
Suppose 0 = -2*u + u + 6. Suppose -4*k = -u - 10. Suppose 92 = k*r - 8. Solve i = v + 3*i + 1, -r = -5*v + 5*i for v.
3
Suppose 5*d - 2*d - 15 = 0. Let v be ((-27)/(-12))/(1/(-4)). Let t(i) = -i**3 - 8*i**2 + 6*i - 10. Let a be t(v). Solve 5*o = 2*k - a, -3*o - d = 4*k - 0 for o.
-3
Let m be -1 - (1 + -2 + -3). Let c be 4/(-10) + 108/20. Suppose -c*g - y + 17 = -0*g, -11 = -3*g - y. Solve m = -3*p, -5*u - p - g*p = 14 for u.
-2
Suppose 0 = -2*m + 3*m. Suppose m = -2*j - j. Suppose 0 = -j*u - 3*u. Solve 4 = -4*g - 2*f, 14 = -u*g - 2*g + 2*f for g.
-3
Suppose 2*o + 4 = 0, -5*l + 5*o = -2*l - 25. Solve -2*h = d - 4 - 1, h = l*d + 30 for d.
-5
Let f = -4 - -7. Let c = -12 + 22. Let y be (-8)/(-20) + 186/c. Solve 1 = -4*t + i, -t - f*i = 3*t - y for t.
1
Let g(y) = 4*y**2 + 3*y. Let b = -4 + 2. Let f be g(b). Suppose 2*z = 5*d - f, -4*z - 2*d + 0*d = -28. Solve -5*t = -5*q + z, 2*q = -5*t - 0 + 2 for q.
1
Let c = -11 + 15. Solve 3*d - c*d = 4*o - 25, 0 = 5*o + 2*d - 35 for o.
5
Let b be 4 - (-2*1 - -4). Suppose 4*h - b*a - 11 = -h, -2*a = -4. Suppose g - 13 = 14. Solve k - 11 = -5*s - 40, h*k = -3*s - g for s.
-5
Let p(u) = -u**2 - 5 + 4 - 3 + 8*u. Let x be p(6). Solve -q - 21 + x = 2*t, 2*t - 3*q = 7 for t.
-4
Suppose 9*q + w - 10 = 6*q, -2*q + 5*w - 16 = 0. Solve 0 = q*j - g + 8, 3*j - 2 = 2*g - 15 for j.
-3
Suppose 0*z - z = -2*k - 4, 0 = 4*k. Solve -z*y + 20 = 2*p, 5*y - p + 5*p - 28 = 0 for y.
4
Let u(q) = 2*q**2 + 3*q + 1. Let k be u(-3). Solve 5*r = j + k, 3*j - 2*j - 4*r + 8 = 0 for j.
0
Let y(h) = 3*h - 45. Let x be y(16). Solve m + 3*p = 4*p + 3,