 - 11, -4*f = 4*g + 28 for f.
-5
Suppose 4 = -25*z + 26*z. Solve -z*f - 2 = -v, 0*v + 6 = 3*v for f.
0
Let c(z) = -6*z + 15. Let v(t) = 1. Let m(f) = -c(f) + 15*v(f). Let o be m(4). Solve -4*p = -2*r + o, -5 + 1 = -4*p - 5*r for p.
-4
Let d = 33 + -47. Let z be 14/6 + d/42. Solve -3*j = -5*b - 15, -2*b + 6 = -4*b - z*j for b.
-3
Suppose 3*s - 4 = -2*x, 3*x + 3*s - 4 = 2. Let a = 7 - x. Solve -29 = -4*l - 3*w, -3*l - a*w = -3*w - 21 for l.
5
Let j be ((-8)/6)/(10/(-105)). Let b = j - 11. Solve 3*p = 2*p - 5*c - 25, b*c + 7 = p for p.
-5
Suppose 0 = 3*n + k - 5, 27 = -2*n + 5*k + 2. Let m(u) = u**2 - 2*u + 3. Let i be m(5). Solve n = -t + 5*p - i, 0*p - 10 = -3*t - p for t.
2
Let f be 1/3*3 + 13. Let w = -12 + f. Solve 3*m - 2*g + 6 - w = 0, -2*m - 2*g - 16 = 0 for m.
-4
Let g = -3 - -5. Let c be 10/4 + (-1)/g. Solve w - c*h = 1 - 2, -h = -5*w - 5 for w.
-1
Let q(b) = 2*b - 1. Let z be q(2). Suppose -3*p = k + 8 - z, 0 = -2*p + 4*k - 22. Let o = 9 - p. Solve -2*f - 3*f - 12 = 3*w, 0 = -3*w - 4*f - o for w.
-4
Let y(p) = -p**3 - 4*p**2 - 4*p + 1. Let c be y(-3). Suppose -c = -5*r + 6. Solve 2*w - r*k = 5*w - 8, -2*w = 4*k for w.
4
Let c = 97 - 92. Solve 5*d - 3*i = c, -d + i = 4*d - 5 for d.
1
Suppose -5*k + 31 = 4*q, 2*k - 46 = -5*q + 3*k. Solve u = 4*d - 5*d - q, 0 = -4*u + 2*d - 6 for u.
-4
Let r be (-28)/(-6) + ((-16)/6 - -2). Solve -i - 20 = 4*k, -2*i - r = -k - 0 for k.
-4
Suppose -39 = 3*m - 129. Suppose 2*d + 3*d - m = 0. Solve -s + 8*k - 4*k - 10 = 0, 2*s = k - d for s.
-2
Let r(g) = -2*g + 10. Let p be r(-11). Solve -o - 3*o + 3*b = -p, -4*o + b + 24 = 0 for o.
5
Suppose 0 = -5*p + 22 + 3. Suppose p*x + 1 = 16. Solve -3*q - 35 = 2*q - x*l, 5*q + 15 = -l for q.
-4
Let o = -2 - -2. Suppose -6*r + 40 = 28. Solve 12 = -2*u - 2*z, 2*u - r*z = -o*u - 4 for u.
-4
Let f be 2 - (-3)/(12/(-4)). Solve 41 = -4*w + 5*o, -4*w + 0*w - 3*o = f for w.
-4
Let l = 116 + -88. Let f = 7 + 5. Suppose -v + f = 2*v. Solve h - g + 4*g + 13 = 0, -v*g - l = 4*h for h.
-4
Let f(n) = -3*n - 25. Let b be f(-11). Solve 3*a - a = -5*g - 10, 0 = -4*g - 5*a - b for g.
-2
Let p be 1/((1/5)/((-6)/(-10))). Solve 2*q - 3*q + t - p = 0, 2*t = 4 for q.
-1
Let i = 3 + -1. Suppose 2*s - 7 - 7 = -i*m, 5*m - 47 = s. Solve x = -4*w - m, -x - x - 3*w - 13 = 0 for x.
-5
Let r be (0 + 6)*3/6. Let o(p) = p**3 + 3*p**2 - 3*p + 3. Let v be o(-3). Suppose 2*s = 4*s - v. Solve 3*a - s = -r*w, 3*a - 1 = 5*a + w for a.
-3
Suppose 3*i + 7 = y + i, 3*y = -3*i + 3. Suppose w = -n + 4, -n + y*n - 22 = -4*w. Solve -2*t + 5*b + w = 0, 3*t + 2 = 3*b - 1 for t.
-4
Suppose 3*d + 3 = 0, 5 = 3*n - 3*d - 2*d. Solve n = 4*p + x - 0*x - 10, 0 = p - 2*x + 2 for p.
2
Suppose 5*d = 2*d + 9. Let h be (63/(-15))/(2/10). Let z = -16 - h. Solve n + d*n = r, r = -z*n for r.
0
Suppose 9*y - 7*y = 50. Solve x - y = 5*p, 4*p = -0*x - 3*x - 20 for x.
0
Let d(a) be the second derivative of -a**4/12 + 3*a**2/2 - 4*a. Let s be (-2)/4 + (-3)/(-6). Let m be d(s). Solve z + 2*k = 3, -m*k + 0*k - 28 = -5*z for z.
5
Suppose 4*m + 28 = 6*m - h, -2*m = -3*h - 32. Suppose 2*p - 2*o = p - 5, p + 4*o = m. Let n be -3*(-2 - (p - 2)). Solve i + n = 0, -4*a + 2*i - 13 = i for a.
-4
Let s be 1 + -2 + 42/(-14) - -9. Solve -s*z + 4*n + 2 = -4*z, z - 1 = 3*n for z.
-2
Let n(h) = -h**3 + 3*h**2 + h. Let q be n(3). Suppose 0*i + i + q = 0. Let u be ((-1)/i)/(5/30). Solve -1 = -3*y + u*y, 2*y = -4*f + 22 for f.
5
Let w = -10 + -1. Let c = -28 + -6. Let f = w - c. Solve 5*q + 3*k + 0*k = f, -2*k + 2 = 0 for q.
4
Let l = 11 + -3. Solve 2*u - 8*j + 3*j - 1 = 0, 0 = 3*u + 2*j + l for u.
-2
Let a(l) = -l - 7. Suppose -i = -5*i - 28. Let j be a(i). Suppose j*f - 2*f - 19 = -k, 0 = -4*k - 3*f + 76. Solve 6*o + q - k = 2*o, 4*o - 18 = -2*q for o.
5
Suppose 0*c = 4*c - 12. Let m(a) = a**2 + a - 12. Let n be m(-4). Solve 5*y - c = -h + 5, 4*h + 2*y - 14 = n for h.
3
Let k(t) = t**2 + 9*t + 12. Let q be k(-8). Let p = q + -1. Solve 0 = -2*h - p*a - 8 - 0, -2*a - 4 = 0 for h.
-1
Suppose -3*y + 25 + 11 = 0. Let o = -7 + y. Solve 0 = 3*n + 2*t + o, -4*n - t - 4*t = 16 for n.
1
Let s(z) = z**2 + z + 5. Let t be s(0). Let d = 2 + 1. Suppose -8 = y - d*y. Solve -38 = y*i + 5*x - t, -i + 4*x = -18 for i.
-2
Suppose -3*a - 110 = -8*a. Let x(s) = -s**2 + s + 4. Let k be x(-4). Let l = a + k. Solve -5*v = 5*y - 35, 3*y = 4*v + l*y - 25 for v.
4
Let y(o) = o**3 + 7*o**2 - 3*o. Suppose -2*h - 15 = -3. Let q be y(h). Let b be q/15 - 4/(-10). Solve -k + 4*l = 3, -2*k + 2 - 4 = -b*l for k.
1
Let a = 14 - 12. Suppose 2 = 2*i - a. Solve -i*l - 3*x - 12 = -0, -14 = 2*l + 4*x for l.
-3
Let v = -3 + 7. Suppose 0*l + 3*l + 3*m + 18 = 0, -m + 4 = -v*l. Let c be l/4 - (-82)/4. Solve -5*w + c = -3*x + 5, -3*x = -3*w + 15 for x.
-5
Let t = 8 - 8. Suppose t - 3 = -z. Suppose -2 = -y, -3*v - z*y + 11 = -4. Solve 4*o + 4*r - 18 = 2*r, 1 = v*o - r for o.
2
Let z = -17 + 19. Solve -3*q + b + 12 = 0, 0 = 3*q + 5*b + z - 14 for q.
4
Suppose -v + 0*v + 13 = -3*h, 4*h = 3*v - 19. Suppose 5*a = 2*n - 15, -2*n = 3*a + a - 6. Let w = n - h. Solve 2 = 2*x - 3*j, -w + 23 = -3*x - 4*j for x.
-2
Suppose 0 = -5*k - 82 - 68. Let w be (-36)/k*20/3. Let s = w + -5. Solve 2*h + 8 = -4*f, 0 = -s*h - f - 3*f - 4 for h.
4
Suppose -3*p + 0 - 3 = 0. Suppose -4*r = -2*r, 3*s + 2*r = 3. Let k = s + p. Solve k*g - 3*g - 3 = -3*m, 9 = -m - g for m.
-4
Suppose 4 = -2*b + 2. Let m be b/4 - 5/(-4). Let d(g) = -3*g - 8. Let x be d(-4). Solve x*q - m + 9 = -j, 0 = 3*j - 2*q - 18 for j.
4
Suppose -12 = -5*j - l, -16 = -5*j - 4*l + 2. Solve 0 = -4*y - r - 13, -2*y + j*r + 0*r = 4 for y.
-3
Let f(r) = r**3 + 7*r**2 + r + 9. Let x be f(-7). Suppose -x*u + 10 = 3*u. Solve -4*i = -2*k - 10, -u*i - i = 2*k - 11 for k.
1
Let v be (-3)/5 - 140/(-25). Suppose v*c = 5 + 10. Solve -2*i + 5 = c*u, 0 = 4*i - 5*u + 27 + 18 for i.
-5
Suppose 2*x + 1 = 5. Suppose -x*q - 14 = -2*m + 3*m, 5*m + 70 = -5*q. Let t be m/(-8) + (-1)/(-4). Solve -3*i - 5*h + 6 - 2 = 0, -4*i + t*h = -14 for i.
3
Let k = 3 + 4. Suppose g - 2*m + 2 = 0, 4*g + 4*m = k + 9. Solve z + 0*z - g*o = 2, 4*z - o = -6 for z.
-2
Suppose 5*x - 31 = 2*f, -f - 2*x - 18 = -5*x. Let p be (5 - 3) + (-3 - f). Solve -4*n + v = 5 - p, 0 = -2*n + 2*v for n.
-1
Suppose -6 = -0*m - m + 2*s, 37 = 4*m + 5*s. Let z be (-15)/(-6)*m/10. Solve 0 = -z*r + n + 7, 4*r + 8*n = 3*n + 21 for r.
4
Let w(s) = -s**3 + 3*s**2 + 2. Let p be w(3). Solve -5*z - 18 = 4*g, -g = -2*z + 2*g + p for z.
-2
Let j(d) = -2 + 3 + 0 + 2*d. Let f = 14 + -10. Let m be j(f). Solve p + 4*u - m = 2*u, 3*p - 15 = -2*u for p.
3
Let k = 15 - 8. Suppose -2*j + 7*j = 20. Suppose 0 = -3*g + 5*g - j. Solve -x - k = g*w, x + 6 = -3*w - 2 for w.
-1
Suppose -4*i - 5*c = -5 + 2, 0 = -3*i - 3*c + 3. Suppose 0 = 2*b - 2*s, 2*b + s + i*s = 0. Solve -3*x - k - 17 = b, 4*k + 12 = -0*x + 2*x for x.
-4
Suppose -2*m = 2 - 8. Solve 2*h - 3 = 3*z, h + m = -h + z for h.
-3
Let h = 28 + -24. Solve 2 = 2*n + r, -2 = r - h for n.
0
Suppose 5*y + 0*v - 32 = -3*v, -3*y - 2*v + 20 = 0. Solve g = 0, 3*o = -o + y*g for o.
0
Let s be (-2)/10*2 + (-270)/(-50). Solve s*z - 10 = -5*q, -5*z + 7*q - 40 = 2*q for z.
-3
Let y be (32/(-6))/(2/(-15)). Suppose -3*z = -5 - y. Solve 4*l = -x + 12, 3*x + 5*l = 5*x + z for x.
0
Suppose 2*q - q - 2 = 0. Suppose -13 = 5*s + q. Let i be -5 + 13 + s + 0. Solve 3*c + 4*v - 24 = v, -i*v = -4*c - 4 for c.
4
Suppose 0 = 5*w - 2*w + 228. Let g = w - -126. Suppose 0 = 3*y - 8*y + g. Solve -y = 4*d - 2*u, -d = -4*d - u for d.
-1
Let j = -13 + -2. Let y be (-24)/j*(-130)/(-4). Suppose 3*c - y = -c. Solve -o + 4*a - 18 = 5, o - 2*a = -c for o.
-3
Let i(t) = -t**2 + 7*t + 5. Let f be i(9). Let j = f - -13. Solve j = l + 4, 3*l + 10 = 2*s - 4 for s.
1
Let l = -23 - -27. Solve -g + 2 = 2*s, l*s = -5*g + 3 - 11 for s.
3
Let f = -1 - -1. Suppose -4*j + 2*j + 10 = f. Let h be 1 - 24/(3 - j). Solve v - h = -4*s, 3*v = -2 - 7 for s.
4
Suppose -2*j - 6 = -5*j. Suppose 3*z = -j*k + 2*z + 8, -5*k = 4*z - 17. Solve -5*a + k*o = 15, a - 5*a = -3*o + 9 for a.
0
Suppose 4*t = -t + 25. Suppose t*s - 14 = 11. Solve 0 = 4*i + s*z - 4, -4*z - 20 = 4*i - 5*z for i.
-4
Let j(w) = w + 5. Let o be j(-3). Solve -z = -o*b + 3, -4*z = -4*b - 0*b + 16 for z.
-5
Suppose -27 = m - 4*d, 5*m + 4*d = -14 - 1. Let u = 12 + m. Solve -6 - 11 = 