 5*g + 7 + n = 0, g - 12 = -l. Solve b - 5*b + 5*h - l = y, 3*h - 10 = b for b.
2
Let k(y) = 4*y + 44. Let f be k(-8). Solve -4*z + 2*l = 6*l - f, -8 = 2*z - 5*l for z.
1
Suppose 3*p - p = 8. Suppose p*s - 5 = 3*s - t, -2*s - 5*t = 5. Let o = s + -7. Solve x = -5*f - 2*x - 34, 0 = -o*f - x - 18 for f.
-5
Let k = 2 - -2. Let y = 4 - k. Solve y = -3*w + 5*f + 13, 0*w + 2*f = 3*w + 2 for w.
-4
Let b(j) = j**3 - 7*j**2 + 7*j - 4. Let f be b(6). Let a be (0/f)/(2 + -1). Suppose a = 3*v + 1 - 7. Solve 0*i + i + 2*y = -3, 2*i + v*y = 0 for i.
3
Let c = 22 - 20. Suppose 3*r = -u - 7 + 24, -2*u + c*r = 6. Solve 0 = 3*a - u*v - 5, a + v = 5*a for a.
-1
Suppose -7*a + 3*a = -20. Suppose -a*c + 0*c = -10. Solve 3*b - 19 = -4*k, 4*b + c*k - k = 8 for b.
1
Let n(c) = -c**2 + 4*c - 1. Let i be n(3). Let m be 310/5*1/i. Suppose -4*a - z + 16 = -0*a, 3*a - 4*z - m = 0. Solve 3 = 4*k - a*j - 9, 2*k = 2*j + 6 for k.
3
Let a = -29 + 43. Solve x = -c - 3*x - 18, 3*x + a = -c for c.
-2
Let v(s) = s**2 + 13*s - 15. Let r be v(-13). Let z = r + 15. Solve -2*q + 4*w + 25 = -3*q, 4*q + w + 25 = z for q.
-5
Let y(x) = 2*x + 0*x - 12 + 0*x + 9. Let i be y(4). Suppose n = -5*k + 10 + i, 5*n - 6 = -2*k. Solve -5*g - 29 = 2*t, -g - t - 7 = -n*t for g.
-5
Suppose 3 = 2*m + y - 1, -3*m = 5*y + 8. Let u = m + -4. Solve 9 = 3*w, -5*f = -u*f - 2*w + 1 for f.
1
Let c = -11 - -7. Let o be 1*2 + 0/c. Solve -2*i + 5*j = 9, -2 = -o*j - 0 for i.
-2
Let a = -28 + 32. Solve -d + 2 = a*w, 7*d - 2*d - 3*w = -13 for d.
-2
Let n be 1/2*12 + 2. Let p = 11 - n. Let j = 6 - p. Solve -4*v + v + 12 = j*k, 4*v - 16 = -k for k.
0
Suppose 5*m - 10 = 10. Suppose -3*h + 7*h = m*i, -3*h - 2 = -2*i. Let t be i - (-5)/(15/54). Solve 4 + 11 = -o + 3*f, 0 = 4*o - f + t for o.
-3
Let f = -7 - -6. Let a be ((-15)/(2 - -1))/f. Suppose 10 = 3*h + 4. Solve -2*v = -h*t - v - 3, 2*v = -a*t - 30 for t.
-4
Suppose -l - 80 = -17*l. Solve q + 2*q + 21 = 3*w, -2*w - l*q - 14 = 0 for w.
3
Let i(n) = n + 1. Let u be i(-1). Suppose 2*x = -4*p + 3*p + 42, -2*x + 2*p + 30 = u. Solve -2 = 2*k - k, -5*b - x = -3*k for b.
-5
Suppose 3*v = 5 + 7. Suppose -4*i = v*l - 3*i - 13, 5*l - 2*i = 0. Suppose -4 = -l*o + 4. Solve -3*j + 2 = 4*q + 18, o*q - j = 0 for q.
-1
Suppose n = 5*v - 5, 10 = -3*v - 2*v - 2*n. Suppose -5*o + 20 + 0 = v. Solve -2*t = o*b + b + 8, t + 4 = -3*b for b.
0
Let b be 1 - 0 - 2 - 1. Let m be 35/15 + b/6. Solve d - 5 = -4*d - z, d + m*z - 10 = 0 for d.
0
Suppose 0 = 2*v - 6*v + 5*r + 20, v = 3*r + 5. Solve 4*c = -5*h + 25, c + h = -c + v for c.
0
Suppose -5*d + 41 = 6. Suppose d - 1 = k. Solve 3*q - 18 = 5*n, 2*q + 3*n + k = -1 for q.
1
Let t(a) = a**2 - 6*a + 8. Let l be t(5). Solve l*k + n = -20, 8 = 2*k - 4*n - 2 for k.
-5
Let y = -4 - -8. Suppose 0*g + 2*g = 6. Suppose -g*w = -43 - 47. Solve r - 9 = s, -5*r + y*s - 2*s = -w for r.
4
Let s be ((-30)/(-4))/((-8)/(-16)). Suppose o = -2*h + 3, 0 = 2*o + 3*o + s. Solve -j = h*f + f + 6, 0 = -2*j + f + 6 for j.
2
Suppose -2*m + 0 = -56. Suppose -24 = 4*c + 2*q, -c + q - 6 = 2*q. Let v(g) = g**3 + 6*g**2 - g. Let h be v(c). Solve -5*x - h = -2*f - m, -3*x = -12 for f.
-1
Suppose 0 = 2*n + 5*q + 23, -14 + 4 = 5*n + 3*q. Solve -y = -3*y - 5*s - 22, 3*y - n = s for y.
-1
Let n(g) = -19*g. Suppose 3*v - 3 = 6*v. Let j be n(v). Solve 3*x + j = b, 2*b + 3*b = -4*x for b.
4
Suppose 5*k + 7 + 11 = 2*f, -k = f - 9. Suppose 7*a + 10 = f*a. Solve 2*u + a*j = -13, -3*u + 4*j - 6 = 2 for u.
-4
Suppose 3*y + 5*x = 4*y - 27, 5*y + 15 = -5*x. Let n be ((-6)/(-21))/(y/14). Solve 0 = 7*v - 4*v + n*b + 10, v = 5*b + 8 for v.
-2
Let q = -119 + 127. Solve -5*i + 2*h = -q, 2*i + h - 7 = -i for i.
2
Suppose 0 = -4*y + 2*s + 58, 2*s - s + 43 = 3*y. Solve 2*d - 5*k = -3*k + 6, 2*k + y = -2*d for d.
-2
Suppose 0*i - 15 = 5*i, -4*i - 3 = 3*w. Solve -3*c - y = -6, w*c + 9 = -y + 5*y for c.
1
Suppose 3*b - 21 = 3*f, -3*b = -5*b - 4*f + 2. Solve -5*g - 17 + 2 = -b*v, -2*g = 4*v for g.
-2
Suppose -2*m = -54 + 26. Solve 5*z - 19 = -h, m = 2*h + 4*z - 6 for h.
4
Let b = -11 - -15. Solve 3*x - 2*o - 9 = 0, 0 = -b*x - 5*o - 0*o + 35 for x.
5
Let x(w) = -w - 1. Let r be x(-5). Suppose -2*i - 3*j + 6 = i, 2*i - r = j. Let z be 32/(-40) + (-29)/(-5). Solve 2*s - 10 = 4*d, -z*s + d + 0 - i = 0 for s.
-1
Suppose -4*s + 0*h + 25 = -3*h, 0 = -5*s + 4*h + 32. Solve 0 = -w - s*p + 2 + 13, -w = -3*p + 6 for w.
3
Let d(r) = r**2 + 24*r + 33. Let n be d(-23). Solve 0 = -5*i, 0*i = 2*u + 4*i - n for u.
5
Suppose -3*a + 9 = 0, 4*v - 11 = a - 2*a. Solve v*y + 1 = t, -13 = y - 3*t + 5*t for y.
-3
Let p be (-52)/(-14) - (-6)/21. Solve -5*q = 3*b + 2*b - 20, -p*b - 2*q + 16 = 0 for b.
4
Let m be ((38/(-4))/(-19))/((-1)/(-4)). Solve x = 5*q - 6, -m*q - 4*x = -5*q + 7 for q.
1
Let t(u) = 2*u**2 + 3*u + 3. Let z be t(-2). Let g = 11 - 8. Solve z*n = 2*x + 3, x + 6*n + 7 = g*n for x.
-4
Suppose -3*z + 5 + 1 = 0. Solve -14 = -4*u + z*g, -4*u + 4*g = 5*g - 17 for u.
4
Let f be 201/15 + 18/30. Solve 0 = 4*t - a - 16, 2*t + 4*a + a = -f for t.
3
Let i be 1*(-55)/(-5 + 0). Solve o + 1 = -d, -d = -5*d + 3*o - i for d.
-2
Suppose -4*p + 33 = 3*j, -5*p - 3*j + 3 = -36. Solve 5*h + l = 4 + p, h - l - 2 = 0 for h.
2
Let m(c) = 0*c - c**2 - 4*c - 1 + 0*c**2. Let i be m(-3). Let q = 17 - 17. Solve q = 5*y - i*u + 9 + 17, -5*y - u - 17 = 0 for y.
-4
Suppose -5*w = -3*u - 25, 3*w = 3*u + u + 15. Solve -5*i + 8 = -u*z - 2*z, -5*i = 5*z - 15 for z.
1
Suppose 0 = 4*v - 8 - 12. Solve 0 = -2*b + 5*q + 30, v*b = b - 4*q + 4 for b.
5
Suppose 3 = 3*b + 5*q, 5*q - 14 = 3*b + 13. Let m(k) = -k**3 - 4*k**2 - 3*k - 2. Let c be m(b). Solve -4*o - 5*a - 24 = -a, -2*o = a + c for o.
-4
Let m = 7 - 5. Let g be (4*(-13)/(-2))/m. Suppose -j - g = -i, i + 2 = -0*i - 4*j. Solve -l = -4*z + i, -6 = 4*l - l for z.
2
Let x = -11 - -15. Let n be x/(-10) - (-44)/10. Suppose 2*z = 2 + n. Solve a = 4*b + 4, -z*b - 27 = -4*a - 11 for b.
0
Let u be ((-9)/12)/1*4. Let q = u - -6. Suppose -28 = -2*m - 4*w, -q = 5*m - 5*w + 2. Solve 0*g = m*g + f, 4*g = 2*f for g.
0
Let l = -39 - -57. Suppose -3*n - 31 = -7. Let f = n - -11. Solve -4*i + s + 27 - 10 = 0, 0 = -i + f*s + l for i.
3
Let p(h) be the first derivative of -h**4/4 - 8*h**3/3 - 4*h**2 - 7*h + 2. Let z be p(-7). Let c be (-5 - z)*(-60)/25. Solve r - c = -3*r, r - 9 = 3*j for j.
-2
Let f(v) = -3*v**3 - 4*v - 3. Let h be f(-2). Solve -40 = 3*l + l + 5*a, -h = 5*l + a for l.
-5
Let t be -1 - (-84)/(-8)*-2. Suppose -9*n + t = -5*n. Solve 0 = o - 5*o - 5*d - 41, 0 = -d - n for o.
-4
Let a(m) = m + 1. Let s be a(-5). Let z be 6/(-8) + (-31)/s. Let f = z + -6. Solve k - f = -2*d - 0, 3*d - 8 = 5*k for d.
1
Suppose 9*f = -2 + 20. Solve f*r + 4*x = 5*r - 12, -x = 3 for r.
0
Suppose 20 = 3*u + 2*u. Suppose 5*z + 9 - 6 = -g, 0 = -4*g - u*z + 4. Solve 0*v - 5 = -v - 3*y, 4*v - g*y - 6 = 0 for v.
2
Let s = -41 + 58. Suppose 83 + s = 5*x. Suppose 8*r = 3*r + x. Solve 0*q + q + 5*h + 9 = 0, -2*q + 10 = -r*h for q.
1
Let x(g) = -g**3 - 4*g**2 + 6*g + 4. Let q be x(-4). Let v = q + 48. Solve 2*s + 18 = 3*t, -4*s + 5*t = t + v for s.
-3
Let s = 32 + -29. Suppose c - 3 = -2*d, -12 = -3*d - 5*c + 3. Let l = 1 + d. Solve -v - n - l = -s*n, -4*n = 8 for v.
-5
Suppose 0 = -5*g, t + 4*g - 3 = 1. Solve -t*c - w - 6 = 15, 0 = 2*c + w + 11 for c.
-5
Let j be (-2)/8 + (-65)/(-20). Solve -o + 2*o = -j*r + 5, -4*r = o - 7 for o.
-1
Let a(u) = u**2 + 2*u - 1. Let v be a(1). Let o = -1 + v. Suppose 9 + 6 = 5*w. Solve -4*x + w*s = o, 2*x + x + 17 = -s for x.
-4
Suppose 3 = o - 7*u + 3*u, 0 = -2*o + 2*u + 6. Solve -3*w + 6 = -3*q, 4 = o*w - 4*q - 7 for w.
-3
Let d(l) = -l**2 - 15*l - 15. Let o be d(-5). Solve 0 = 2*x - 5*u - o, 0*u - 25 = -4*x + u for x.
5
Let g be 2/11 + (-3168)/121. Let i = 30 + g. Solve 5*s + 7 = -4*r, 13 = -s + 2*s - i*r for s.
1
Let d = 5 - 3. Suppose 8*l = 7*l - 2. Let z be (d + -2)/l + 3. Solve -4*n - z = 4*a + 1, -2*n + 10 = -4*a for a.
-2
Suppose 0 = -2*h + h + s, 2*s = 3*h - 3. Suppose 1 + h = k. Solve z + 0*z + 2 = 0, -10 = k*c + z for c.
-2
Suppose 0*x + 6 = 2*x. Solve -5*d + 16 = -a - x, 4*d = 3*a + 24 for d.
3
Suppose 24 = 16*s - 10*s. Solve 0 = p + 5*r - 7, -p + 13 = -s*p + 2*r for p.
-3
Let l(d) = d - 3. Let o be l(5). Suppose -6 - 1 = -i. Let p(k) = -k**2 + 9*k - 10. Let t be p(i). Solve -t*z - 7 = 