+ 1 = 30, t = 4*a + k + 3 for a.
-2
Suppose -3*b - 16 = 23. Let v = b - -13. Solve v = 2*g + 6, 0*o - 5*o = -5*g + 5 for o.
-4
Let g = 103 + -171. Let t be 1 + g/(-2) + -2. Suppose 0 = -5*i + t + 2. Solve -h - 3*z + 3 = h, 0 = 2*h - z - i for h.
3
Let m be 4/(-1) + 54/6. Solve 2*j - 5 + 3 = m*n, 3*j = -4*n + 3 for n.
0
Let x = -13 - -13. Let w = -2 - -2. Solve x = 5*y + 2*f + 6 + 2, 5*y + 5*f + 5 = w for y.
-2
Suppose -8*v + 33 = 17. Solve 2*o - 5*z = -0 + 15, -o + v*z = -5 for o.
-5
Let k be (16 - 1)*6/5. Suppose -5*g = n - 0*n - k, 3*g + 2 = n. Solve y - 10 = 5*t, -4*t - n = -0*y + 3*y for y.
0
Suppose -q = -5*k + 29, 5*q = -0*q - 20. Let r = 8 + -7. Let y be (-3)/(-6) - r/2. Solve -3*a - 4*g = -5*a - 12, 2*a + k*g - 24 = y for a.
2
Let m(q) = -q**2 + 7*q - 3. Let k be m(7). Let f = 0 - k. Solve 8 = -4*w, -2*u - 4*w = -f*u + 7 for u.
-1
Suppose 0 = -4*q + 14 - 54. Let d = q - -12. Solve x + 3*x + 20 = -d*u, 3*u - 5 = x for u.
0
Suppose y + 9 = 3*k, 0 = -2*y + 5*k + 1 - 15. Let t be (y - 4)*(-3 + 0). Let h be 1*(5 + (t - 3)). Solve 0 = 3*x + 2*r - h, -x + 1 = 2*r + 2 for x.
3
Let m be ((-84)/(-18) - 5)*(-2 - 1). Solve c - m + 19 = -4*j, 3*j - 3*c = -6 for j.
-4
Let o be 4/((-8)/(-6)) + 0. Let m be 2/(-3) + (-52)/(-6). Let s = m + -4. Solve 0 = -o*a + 2*n - 7*n, -s*n = -4*a - 32 for a.
-5
Suppose 2*l + t - 15 = -0*t, -4*l - 5*t + 45 = 0. Solve -8 = -4*q, 0*q + 17 = l*a + q for a.
3
Suppose 0*g + 144 = -2*g. Let d = -37 - g. Solve 0 = -0*j + 3*j - 4*k - d, -5*j + 2*k + 35 = 0 for j.
5
Let t(w) = w**3 - 13*w**2 + 2. Let l be t(13). Suppose -2*s + 2*i - 2 = 2, 4*i - 17 = -5*s. Solve s = -l*m - y, 0 = -y - 3 for m.
1
Let u = 27 - 24. Solve -3*f - f = u*s, -2*f + 14 = 5*s for f.
-3
Let a(y) = 6 - 5 + 3*y - y**2 - 4*y. Let h(t) = 4*t**2 + 5*t - 4. Let u(w) = 3*a(w) + h(w). Let c be u(1). Solve 0 = -2*r - c*r + 5*p, 3*r + p = 0 for r.
0
Let k be ((-85)/(-20))/((-2)/(-16)). Solve 2*u = 5*u + 5*n + k, 4*u - 3*n = 3 for u.
-3
Suppose 4*b + w - 6 = 0, -b = 6*w - 2*w + 6. Solve b*i + 2 = 2*y, 3*y = 6*i - 2*i + 3 for i.
0
Let h = -54 - -58. Solve l - h*l + w + 8 = 0, -6 = -5*l - 2*w for l.
2
Suppose -2*y + 5*o + 22 = -1, -3*y - 5*o + 22 = 0. Suppose 0 = 5*r + 4*n - 27, -3*r - 4*n - 6 = -y*n. Solve 2*j + 4*c = -0*c - 10, -r*c = 4*j - 5 for j.
5
Suppose -3*j + 30 = -3*w, -5*j + 2*w = w - 30. Let d be 15*j*4/10. Solve 1 = -4*r - 3*n - 2, 3*n = 5*r - d for r.
3
Let o(b) = b**3 - 9*b**2 + b - 9. Let x be o(9). Solve 2 = 2*r, 3*z - 5*r = -x*r - 17 for z.
-4
Let t(y) = -y**3 + 7*y**2 - 6*y + 3. Let x be t(6). Solve 0*c = 3*p + 4*c - x, -3*p = -3*c - 24 for p.
5
Let i = -3 + 7. Let a be (-3)/12 + 9/i. Solve -10 = -4*q - 4*r + 2*r, 0 = -a*q + r - 1 for q.
1
Suppose o = -3*o + 16. Suppose c + 13 = o*z, 3*z + 8 - 21 = 4*c. Let d be (-1 + 5/z)*15. Solve -d = 4*g - 3*n, 5*g + 16 = -0*g + 2*n for g.
-4
Let v be ((-18)/42)/((-2)/(7*2)). Solve 0 = -b + v*w + 9, -2*b + 3 = -2*w - 3 for b.
0
Let w(z) = z**3 - 7*z**2 + 11*z + 7. Let g be w(5). Solve h + 4 = -o, -o + g = -h - 4*o for h.
0
Suppose -h + 9 = 2*t + 3*t, -2*t - h = -3. Suppose -t*i = i. Solve -3*u - 4*x - 3 = i, -4*x = 5*u - u for u.
3
Suppose -7 = 6*s - 19. Solve -3*i - s*d - 9 = 11, 3*d + 8 = i for i.
-4
Suppose j + 2*j = -3*c - 15, -3*c - 7 = -5*j. Let a be 25/3 + c/(-6). Let x be (5 + -2)/(a/12). Solve 0*n = -n + 5*l + 12, 2*l + x = 0 for n.
2
Let s = 2 - 3. Let p be (-1 - -2 - s) + 3. Let l = 174 - 171. Solve 3*t - 3 = -4*k - p, l*t = 3*k + 12 for k.
-2
Let d = -4 - -3. Let i = d + 4. Solve -y = 4*y + i*u + 10, -u = -y - 10 for y.
-5
Let n be ((-2)/4)/((-7)/28). Suppose -4*v + 20 = -2*x + 2, -3*x + 21 = n*v. Let l be 2/v*(13 + 2). Solve -2*p - 2*p = l*s + 18, 3*s + 4 = p for p.
-2
Suppose -p + 3*p = 4*v, 4*p = -2*v. Let z = -13 - -16. Solve -2*i = -5*a - 8, p = 4*i - a - z*a - 16 for i.
4
Let c = 12 - 26. Let s = -12 - c. Let d(f) = -f**2 + 3*f + 2. Let k be d(3). Solve k*i + 10 = 0, b - s*i - 15 = 2*b for b.
-5
Suppose 29 = -7*k + 8*k. Solve 4*z = -5*x - k, 4*z - 8 = 3*x + 3 for z.
-1
Suppose 1 = 2*s + h, -4*h - 19 = 1. Solve z = s*b + 4, -4*z + 2*b = -0*z - 6 for z.
1
Suppose -i = -2*i + 4*t - 3, -2*i - t - 6 = 0. Let k = i - -7. Solve k*m = -4*o - 4, 2*m - m = -2*o for o.
1
Suppose p - 9 = -4*j, -2*j + 0*j - 2*p + 12 = 0. Let z = j + 4. Solve -z*x - 11 = 4*r, 5*r = 3*x - 27 + 4 for x.
1
Let r be (-134)/(-6) + 5/(-15). Solve 3*a = -2*u + r, 5*u - 5*a - 9 = -a for u.
5
Let f be 2*(-2 - 45/6). Let y = -19 - f. Solve 6*t = -3*c + 3*t - 3, y = -2*c - 5*t + 4 for c.
-3
Suppose -4*l + 12 = -0*l. Let t = 31 - 25. Solve -5*i + 15 = -l*g - 9, -t = -g - 3*i for g.
-3
Suppose -2*l = -22 + 16. Solve 5*i + 0*o - 3*o + 25 = 0, 3*o - 21 = l*i for i.
-2
Let p(y) = -y - 6. Let v be p(-11). Suppose -2*k + 15 = v. Solve 2 = j, 0*t + j = k*t + 17 for t.
-3
Suppose -83 - 5 = 4*a. Let s be (-3)/((24/a)/4). Let g(u) = -u**2 + 11*u + 1. Let t be g(s). Solve -3*k - 20 = 5*y, 3*k - 4*y + t = 2*k for k.
-5
Let q(h) = h + 10. Let w be q(-7). Solve 2*l + 5*f = w, -5*l - 3*f + f - 3 = 0 for l.
-1
Let m be ((-21)/5)/((-5)/(-25)). Let g = -16 - m. Solve -g*t + 26 = -2*y, -5*y = t - 4 + 15 for t.
4
Suppose -1 = -2*u + 5. Suppose n = -u*n + 48. Solve -3*z = 3*m - n, -2*m + 0*z + z = -5 for m.
3
Suppose 5*r - 85 = p, -r + 3 = 4*p + 7. Suppose -3*m = m - r. Solve -2*k + 2*g = 5*g - 5, -2*k + 10 = m*g for k.
-5
Suppose 0 = -3*j + 7*j - 28. Let o be -5*(-2)/(-3 + 5). Solve 0 = -o*r - 5*z - 10, j = -2*r - z + 3 for r.
-2
Suppose -2*h + 4*h = 4. Solve -3*b + 2*x = 4, h*x + 3*x = 5*b + 15 for b.
2
Let k = 1 + 0. Let r be k/4 + (-51)/12. Let f = 6 + r. Solve f*p = j + 4, p - 3 = -4*j - 1 for p.
2
Let t be 2/(-4)*(-44)/(-2). Let h be t/(-3) + 2/6. Suppose -2*y + 5*n = 0, 3*y - 3*n = -n. Solve y = -w + h*i - 3, 3*w = 2*i + 1 for w.
1
Let f = -10 - -14. Let q(c) = -c + 2. Let y be q(2). Solve 5*s = f*k + 24, y = -7*k + 2*k + 4*s - 21 for k.
-1
Suppose -7*r + 3 = -6*r. Solve -29 = 4*b + r*y, b + y + 3 = -5 for b.
-5
Let x(o) = 7*o**2 + 3*o. Let j be x(-3). Suppose 4*s - j = -2*h, 3*s + 15 = 2*h + 52. Solve -3*p = 3*f + 2*f - 13, -5*p = 4*f - s for p.
1
Let t(v) = -v**3 - 5*v**2 - 7*v - 7. Let d be t(-4). Solve 0 = 4*o, -4*j + 2 = -d*o + 6 for j.
-1
Let r be 3/2*28/6. Suppose 0 = -b - 4 + r. Suppose -o + 0*o = n, -b*o = -n. Solve 5*a + 5*p = p - 19, -a - 2*p - 5 = n for a.
-3
Let i(b) = -b**2 + b. Let j(m) = m**3 - 7*m**2 - 10*m. Let f(k) = i(k) + j(k). Let c be f(9). Solve -3*a + c*a = -5*r - 6, 3*a = 4*r + 6 for a.
2
Suppose 4*b = -3*z + 9 + 9, -4*b = z - 14. Suppose -r = 5*a - 16, -4*r - r + 11 = z*a. Suppose 0 = -4*d - 7 + 35. Solve n = -3*s + s - a, 3*s + 4*n = -d for s.
-1
Suppose 2*o - 3 - 1 = 0. Let j(z) = -o - 3 - z + 5*z. Let f be j(6). Solve t + 3*a - 6 = 0, -4*t = -a + f - 4 for t.
-3
Let d be 2 - ((-3 - -6) + -8). Solve -3*v + 0*w + d = 4*w, 0 = 5*w + 10 for v.
5
Suppose 0 = -5*p - 3*t + 74 + 7, -5*p = 4*t - 83. Suppose 0 = 3*m - p, -l - 2*m = 3*l - 30. Solve -3*s - 5*y + 14 = 0, 0*y + l*y - 2 = s for s.
3
Suppose -f = -3*f + 34. Suppose 5*o + f = -2*g + 63, -4*g - 38 = -3*o. Suppose -2*k + 4*k = o. Solve p - 10 = -2*u, 2*u - k*p + 10 = -p for u.
3
Let u(m) be the second derivative of -3/2*m**2 - 1/12*m**4 + 0 + m - 5/6*m**3. Let x be u(-3). Solve 0*b = -4*j - b - 19, -14 = x*j + b for j.
-5
Let q(g) be the first derivative of -g**4/4 - g**2/2 + 6. Let v be q(-1). Solve -2*h + v*c + 1 = 7, -4*h + 5*c = 14 for h.
-1
Let d be 2 + -4 - (-9 + 3). Let b be d*(6/4)/3. Let f = -4 - -9. Solve -2*n = b*q - 4*n, -28 = -2*q - f*n for q.
4
Let f be 3 - (69 + -3) - -1. Let l = -34 - f. Solve -4*t = -5*a - 9 + l, -4*t = 4 for a.
3
Let u(a) = a**2 - 11*a + 21. Let k be u(9). Solve 3*n - 28 = -k*w - 2*w, 3*n + 22 = 5*w for w.
5
Let p be (-1224)/(-120) + 2/(-10). Solve 5*t = -2*o + 25 + p, 0 = -3*o - 2*t + 25 for o.
5
Suppose 70 = 2*x + 3*x. Suppose 3 = -d + 2*w + 8, -1 = 4*d - w. Let a be 0 - 2/(-2) - d. Solve -2*v = 2*y - x, -4*y + a*v = -0*y - 16 for y.
5
Let l be 2/((-1)/(-2) - 0). Suppose -3*d = -2 - l. Suppose d*o = -o. Solve -2*f - 12 = -4*x, o*f + 9 = -2*f + 3*x for f.
0
Suppose 2*k + 3 = -d + k, 0 = -4*d + 4*k + 28. Solve j + a = -8, 2*j - 2*a + 2 = -d for j.
-5
Let p(c) = 2*c**2 + c. Let w be p(-2). Let n be -6*(-4 + -1)/(-10). Let d = n + w.