- 4, t = -2*f - 4 + 3 for f.
1
Let o(p) = -4*p - 2. Let a be o(3). Let f be (-4)/a - 2/7. Suppose 2 = 2*i, f*v + 5*i + 3 = 2*v. Solve -5*r + 3*q = -9*r - 23, -3*r + 14 = -v*q for r.
-2
Suppose -32 = -f - 18. Solve 25 = 5*p - 4*u, -3*p - 3*u - f = -2 for p.
1
Let p = -17 - -17. Solve 4*x = 3*z + 4, z + p*x = x for z.
4
Suppose 8*n = 12 + 4. Solve -n = 2*x - f + 4, 2*x + 5*f = -30 for x.
-5
Suppose 5*p + 38 = -3*v, p - 6 = -v + 4*p. Let w be (-4)/v*(13 - 1). Solve -4*t = l, w = 3*l + t + 3*t for l.
4
Suppose 3*f = -2*b + 4, -3*f + 4*b - 8 = -0*b. Suppose -3*y = -y. Solve 4*z = -4*o - 4, y = -f*o - 5*o + 3*z + 19 for o.
2
Let l = -13 - -18. Solve 0 = b - 3*i - 4 - 5, -b + 17 = -l*i for b.
-3
Let o be (-8)/(-2*(-4 - -5)). Solve y - 11 = 3*z, z + 19 = -o*z + 2*y for z.
-3
Suppose 5*p - 14 = 1. Solve p*d = -q + 16 - 5, 3*q + 2 = -2*d for d.
5
Let u(j) = j**2 - 8*j + 12. Let b be u(8). Let h(v) = v**2 - 12*v + 19. Let t be h(b). Solve -15 = -5*n - z, z - t + 7 = -4*n for n.
3
Let i = -70 + 81. Solve 0 = 4*g - 5*v + 11 + i, -4*v + 17 = -3*g for g.
-3
Let o = -9 - -14. Suppose 3*m = -7 + 22. Let p = 10 - m. Solve 0 = 4*y + 3*v - p, -o*y - 4*v = -0*v - 5 for y.
5
Suppose -2*u = -u + 12. Let a be 6/36 + (-34)/u. Solve 3*b = 3*n - 9, n - 18 = -a*n + b for n.
5
Suppose 3*y = -2 + 8. Suppose y*n + 5 = 7*n. Let b be (-4 + 9)*n/1. Solve a - b*s - 9 = 10, 3*a + 11 = -2*s for a.
-1
Suppose 3*z + z = -5*n + 40, z + n - 9 = 0. Solve -25 = 5*k - 3*r, 5*k + z*r + 21 = -4 for k.
-5
Let c = 3 + -2. Suppose 0*s - c = -2*h - s, -3*h = -3*s - 15. Let f = h + 0. Solve 20 = 2*t - f*m, -3*t - 5*m = 18 - 8 for t.
5
Let d(g) = -g**3 - 9*g**2 - 5*g. Let v be d(-9). Let f be (-3)/(-12) - v/(-12). Suppose 0 = f*z - 8. Solve -3*k - 2*r + 2 = 0, 3*k - z*r + 3*r + 2 = 0 for k.
-2
Suppose -3*p + 125 = 2*p. Let a(c) = -2*c**2 + 16*c + 5. Let g be a(8). Solve p = 5*s + g*n, -5*s = -2*n - 4 - 7 for s.
3
Let w(j) = j**2 - 4*j + 3. Let a be w(2). Let m be 1/(-3) - a/3. Suppose m*o + 3*o = -v + 12, o = -2*v + 44. Solve -2*f = 4*b + v, 5*f - 5 = -15 for b.
-5
Suppose -g = -3*g - 22. Let s = g - -15. Solve 5*p - s*c - 7 = 2*p, -p - 15 = 3*c for p.
-3
Let k(w) = -w - 1. Let t be k(0). Let x = 1 - t. Solve 2*b + 2*c - 3 + 11 = 0, 3*b - x*c = -17 for b.
-5
Let b = 9 - 7. Let g(f) = -f. Let s(p) = 30*p. Let k(m) = -25*g(m) - s(m). Let h be k(-1). Solve b*i - h = y + i, 5*y + 3*i = -1 for y.
-2
Let m = -72 - -75. Solve m*b = -5*d + 4, d + 2 + 2 = b for d.
-1
Let z(y) = -y**2 - 6*y - 8. Let b be z(-7). Let m = -15 + b. Let g be 24/(-9)*m/4. Solve 5*u = -2*p + u - g, -u = -3*p + 5 for p.
0
Suppose 5*h - 20 = -0. Let n = 0 - -4. Suppose -h*k - k + 2*p + 10 = 0, 3*k + 8 = n*p. Solve -5*c - s = -k*s - 8, 5*s = 5*c - 10 for c.
1
Let g = 1 - -4. Suppose g*l - 12 = 13. Solve -20 = 4*o, l*w - 5 = -2*o - 0*o for w.
3
Suppose -y + 4 = -0*y. Let l = y - 4. Solve -d + l*d = 5*p + 22, 5*d = -5*p - 10 for d.
3
Let o(z) = -z**2 + 8*z + 2. Let d be o(8). Suppose -d*b = -4*b + 10. Solve -5*s + b*i = 30, -6 = s - 4*i + 9 for s.
-3
Suppose 0 = 2*g - 3*i + 4*i - 3, -g - 6 = -i. Let p be 54/9 + (g - 0). Solve -p*j - 3*m - 19 = 0, j + 14 = -j + 2*m for j.
-5
Let v(f) = f**2 - 2*f - 4. Suppose k - 4 = -k. Suppose 4 = -4*w, -4*u = -u - k*w - 14. Let t be v(u). Solve -3*x + 8*x = 20, -t*q + 2*x = 24 for q.
-4
Suppose -11*v + 12 = -5*v. Solve -4*z - 3*m = 25, -2*z + 4*m - v = -6 for z.
-4
Suppose -5*s = -2*s - 6. Solve -5*q = -x + 9, s*x - 5*q - 21 = -2*x for x.
4
Let z(r) = -r**3 + r. Let c = 5 + -1. Suppose -12 = -c*i - 3*u, -i - 4*u + 16 = -0*i. Let o be z(i). Solve 2*s = -3*v, o = v + 3*s - s + 4 for v.
2
Let s(c) = 5*c - 28. Let d be s(8). Solve d = -4*k, 4*i - 2*k = -0*i + 22 for i.
4
Suppose -3*h - v + 18 = -4*v, 0 = -3*h + 5*v + 28. Let y be h/(16/5 - 3). Solve 4*u + g - 12 = 0, 4*g = -y*u + 12 + 3 for u.
3
Suppose 2*z + 4 = 4*z. Let r = -3 - -5. Solve 0 = 4*y - r*s + 2, -z*y - y - 5*s = -31 for y.
2
Let a be (-69)/(-21) + (-4)/14. Suppose -a*y = -3 - 6. Suppose 0 = -2*v - 1 + 11. Solve -y*j = v*o - 5*j, 0 = 3*o - 2*j + 4 for o.
2
Let x(b) = -6*b - 2. Let f(g) = g + 4. Let a = 14 + -20. Let d be f(a). Let p be x(d). Solve 16 = 4*k, -5*k + 30 = -y + p for y.
0
Let o = 1 + -13. Let j = 16 + o. Let c be (-3)/((-6)/7)*2. Solve -2*v - j*d + 1 = -c*v, -4*d = 4 for v.
-1
Suppose g = -u + 1, 4*u + 2*g + 3 = 17. Solve z = -c + u*z + 3, -2*c + z = -6 for c.
3
Let z be ((-15)/3)/(2/(-2)). Solve 2*y - z*y + 16 = -2*a, -y + 4*a + 22 = 0 for y.
2
Let v be 10/(-6) - (-1)/(-3). Let r(i) = 2*i**2 + 3*i. Let b be r(v). Let z = -22 + 22. Solve -5*u - 10 = z, 3*w = w + b*u - 4 for w.
-4
Let u(p) = p + 4. Let b be u(-4). Suppose 2*h - 10 + 0 = b. Solve 0 = 2*i + 3*m - 21, -2*i - 34 = -h*i - 5*m for i.
3
Let n(v) = 2*v**2 - 3 - 2*v + 2 - v. Let r be n(4). Let x be -1*((-3)/(-3) + -4). Solve 5*a = x*q + r, q + 3*a = -q + 19 for q.
2
Suppose -5*q - 2*o = -39, -q + 6*q - 2*o = 31. Suppose q*b = 2*b - 5. Let w be -1 + b + 7 + 3. Solve u + 24 = 4*h - 2*u, -4*h + w = u for h.
3
Let v be 7 + (-4)/2 + 1. Suppose -2*m + 4 = -v. Solve -2*q - 2*q = -m*d - 4, 3*d = 3*q - 3 for d.
0
Let s = -3 - -6. Suppose 0 = -w - 3*w - s*p + 19, -2*w + 5 = 3*p. Solve -5*r = 2*o - w, -o - 4 = -6*r + r for r.
1
Let r(l) = l**2 + 3*l - 8. Let n be r(-5). Solve -4*j - 25 = 5*w, 4*w + j = -n*j - 19 for w.
-1
Let p = 2 - -2. Let k(j) = j**2 + 9*j - p*j + 1 + 2. Let u be k(-5). Solve -8*f - s - 5 = -u*f, -4*f = -s + 13 for f.
-2
Suppose l + 5*z = -4*l - 20, -2*l + 20 = -5*z. Solve 3*p = -l*f - f + 1, -4*f + 4 = 0 for p.
0
Let a be (-21)/28 + (-6)/(-8). Suppose -2*f - 2*f + 60 = a. Suppose -4*u + f = -9. Solve -4 = -4*j + 2*j + 4*x, 3*j + x - u = 0 for j.
2
Suppose 2*i + 2*i + 20 = 0, 3*z + 4*i = 13. Solve -z = 4*m - v - 0*v, -4*v - 24 = m for m.
-4
Let v(m) = m**2 + 8*m - 7. Suppose -5*i = 5*j + 70, -2*j + 0*j = 5*i + 43. Let h be v(j). Solve -w - 2*d - d = -8, -h*d = -w - 7 for w.
-1
Let i = 12 + -8. Solve n - 5 = 2*h, 23 = -2*h - i*n - n for h.
-4
Let y be 1 + 3 - (1 + 0). Solve 5*b - 5 = 2*l, -l + y*b = 3 - 1 for l.
-5
Suppose -35 = 8*a - 51. Solve z + 1 = -3*x, x + 4 = -4*z + a*x for z.
-1
Let s = 4 + -7. Let x be 3 + s - (1 - 2). Suppose -3 = -2*o + 3. Solve z - 5 = o*m + x, -4*m - 13 = -3*z for z.
3
Let v = 5 - 1. Solve 0*c + 4 = 5*c + 3*d, v*c - 5*d + 19 = 0 for c.
-1
Suppose u - 2*i + 58 = 0, -5*u - i + 97 = 354. Let r be 4/6 + u/(-12). Solve 0*y - 35 = 5*c - r*y, -4*y + 24 = -2*c for c.
-2
Suppose -103 = -6*p + 23. Solve 5*a + 37 = -3*m, 4*m - p = 5*a + 3*m for a.
-5
Suppose 2*q + 6 = 5*q. Suppose 5*d - 25 = 0, -2*s + 8 = q*d - 12. Suppose 2*u = 3*n - 23 + 3, 2*u + 28 = s*n. Solve -y - 11 = -n*v, 13 = y + 4*v - 0*v for y.
1
Let i be (-1)/2*(-8 + 8). Solve 2*c - 2 = -2*d, i*d - 3*d = c + 3 for c.
3
Suppose 66 = 4*q - 34. Solve -5*c = q, h + h + 4*c = -28 for h.
-4
Suppose -5*o + 65 = -3*z, -5*o - 5*z + 72 + 33 = 0. Solve 5*n - o = p, -n - 2*n = 4*p - 5 for p.
-1
Let r be 2 + 2/(-2) - 1. Let l = r + 1. Let z = 8 - 4. Solve 31 = -z*u + 5*y, 0*u - 3*y = 2*u - l for u.
-4
Suppose 3*f - 12 = -0*f. Suppose -2*a = -5*z, -2*a + z = 3*a. Let m be 4 + 1 + (a - 1). Solve -5*k - 23 - f = 2*d, -d + m = -k for k.
-5
Let g(t) be the second derivative of t**4/12 - 11*t**3/6 + 15*t**2/2 - t. Let x be g(10). Solve x*b + 4*m = 5*m, 0 = 2*b + 5*m for b.
0
Let c = 3 + -2. Solve -4*x - 3 = -5*w + c, 3*w = 4*x + 4 for w.
0
Suppose j = -s - 3, 0 = -j - s - 3*s. Let f = j + 5. Solve t = 4*m - f - 1, -2*m = 3*t + 6 for m.
0
Let u = 207 - 200. Solve k - u = -5*z + 3, -2*k + 5*z = 25 for k.
-5
Suppose 10*u - 2*u - 32 = 0. Solve k - 24 = 5*f, u*k = 2*f + 2*f + 32 for k.
4
Suppose 4*g = l + 1 - 32, 5*l - 55 = -5*g. Suppose l = 8*w - 3*w. Solve 2*u + 14 = 3*z - 2, u - w*z = -14 for u.
-2
Let z = 116 - 114. Let m(o) = -o**3 + 3*o**2 + 3*o. Let f be m(-3). Solve 8*d + 10 = z*k + 3*d, -5*k - f = 5*d for k.
-5
Let y(v) = -v**3 - 7*v**2 - 9*v - 14. Let t be y(-6). Solve 6 = 2*n + t*a - 2*a, 0 = 4*n + 3*a - 10 for n.
1
Let b = -6 - -8. Let r be 1*-3*(b + -1). Let g be r + 1 + (0 - -4). Solve -g*j + 20 = -4*x, -5*j - 4*x - 2 - 18 = 0 for j.
0
Suppose 0 = -2*c + 4 + 4. Let p(w) = w + 5. Let f be p(-6). Let n be f/c - (-114)/8. Solve 4*g + 3*q = -n, q + 8 = -3*q for g.
-2
Let d(m) = -m**3 - 8*m