t = -t - 4*u - 11, -t + u = -9. Solve -3*d = a - 14, 3*a = -0*a + t*d for a.
5
Let p(f) = f + 1. Let b be p(1). Suppose 3*c - 9 - 6 = 0. Suppose -24 = -4*j - c*t, -b*t = -2*j - 7*t + 12. Solve -2*g - j = 0, -2*g = -4*l + 2*g for l.
-3
Suppose 4*g - 16 = -8. Solve -b + 1 = 3*c, c + 5 - g = 3*b for c.
0
Suppose 4*j + 4 = 3*h - 0*j, 0 = -h - 4*j + 12. Solve -2*d - 2*b = -0*d, 3*d = -h*b + 2 for d.
-2
Let j(r) = r. Let i be j(1). Let w(y) = 3*y. Let f be w(i). Solve 0 = f*g - 6, 0 = -x + 2*x - 3*g + 8 for x.
-2
Let c = 261 - 510. Let o be 1/4 + c/(-12). Solve 3*t - 8*t + 2*h = o, -t = -4*h + 15 for t.
-3
Let q be ((-3)/(-6))/((-3)/(-18)). Solve q*n + 3*l + 3 = -15, n + 10 = -3*l for n.
-4
Suppose -4*s - 16 = 0, 4*b + 5*s + 5 = -3. Solve l + b*d - 11 = 0, -l + 5*d - 3*d = 4 for l.
2
Let p be -1*9/(-3) - 1. Let u be 0/p - (-10)/5. Suppose j - 2*n - 3 = -3*n, -3*j - n = -17. Solve -5*o - 4*c - j = 0, 6*o - u*o = -c - 10 for o.
-3
Let g be -7*(-2 - (-22)/14). Solve y - 4*f = -20, -g*f = -0*f - 12 for y.
-4
Let r = 51 - 48. Solve -2*o + 1 = r*k, 0 + 3 = 5*k + 3*o for k.
3
Let s(w) = 7*w - 4 - w**2 + w + 5*w. Let x be s(12). Solve 2*t - 10 = -4*r, 5 = -2*t + 3*r + x for t.
3
Let q(c) = -c**2 + c + 2. Let k be q(2). Suppose k*g - g = -5. Solve -4*m = -3*d + 11, g*d + 25 = -7*m + 5*m for m.
-5
Let r(j) = 5*j**3 - j. Let o be r(-1). Let g be 6/o*(-8)/6. Let p be (7 - 3) + -3 + g. Solve 0 = 4*t - 5*t - 4*i + 15, 0 = p*t - 2*i - 3 for t.
3
Suppose -x - m - 34 = 10, 170 = -4*x + 2*m. Let t = x - -88. Solve -5*r - t = 5*v, -3*r + 17 = -4*r - 3*v for r.
-5
Suppose q - 5 = -1. Let g be q/1*(0 - -2). Suppose -8 = -4*p - s - 2*s, 3*s = -5*p + 10. Solve -3*r - 2*r + 14 = -4*m, 4*m - p*r = -g for m.
-1
Suppose 4*x + 4 = -3*i, -3*x + 4*i - 5 = -2. Let t = 3 - x. Solve r = 2*r - 4*u + 20, -t*r - 2*u = -10 for r.
0
Let q = -9 + 3. Let j be ((-2)/q)/(1/15). Solve 22 = 2*i - j*v, -5*i - v = -5*v - 21 for i.
1
Let w(s) = -2*s + 20. Let u be w(5). Solve 0*v = v - c - 5, -2*c - u = 4*v for v.
0
Let y = -1 + 37. Let w = y + -22. Solve 2*z + r - 12 = 3*r, 0 = z - 5*r - w for z.
4
Let a(g) = -g. Let p be a(-2). Let b be (-9)/(-5) - p/(-10). Suppose 0 = 2*v + 5*u - 40, 0*u + 30 = v + 5*u. Solve -b = -3*o + 5*m, -4*o - 5*m - v = o for o.
-1
Let u = -45 - -54. Solve 0 = o - 4*a - 6, -4*o + u = -0*o - a for o.
2
Let h be 2*(21/6 - 2). Let i(o) = -3*o + h*o + 3*o**2 - o. Let c be i(-1). Solve 0 = 2*b + 3*a - 12, -c*a + 16 = -2*b - 2*b for b.
0
Let g be 110/6 + 2/(-6). Let c = -4 - -11. Suppose -c*r - 12 = -10*r. Solve r = -2*s - 2*q, -g = 2*s - s + 5*q for s.
2
Suppose -5*s - 5 = -4*i + 17, -2*i = 3*s. Suppose -i*h + 1 = -8. Solve -3*k = h*d - 9, -9 = d - 2*d + 2*k for d.
5
Let c be 0/((-3)/((-6)/(-4))). Suppose 2*d + c = 30. Let q be -5*(-1 + 3/d). Solve 4*k + 16 = 2*n, 4 = -q*k - 3*n + 2*n for k.
-2
Let k = -16 + 10. Let f = k + 8. Solve 3*j = 12, d - 4*j - f = -22 for d.
-4
Suppose -205 + 43 = 4*l - 2*o, -4*o = 5*l + 196. Let c = l - -67. Solve 4*r = a - 23, 0 = 3*r - 4*a + c for r.
-5
Let t = -53 + 53. Solve t = w - j - 8, 0 = -w - 2*j + j for w.
4
Let a be 2 + (3 - (-3 + 5)). Solve 0 = u - 2*k + 9, a*u = 4*u - 4*k + 19 for u.
1
Let o be (4 + -5)/(1/(-2)). Solve -4*z = -4*c + o*c - 18, 4*z - c - 17 = 0 for z.
4
Let y = 20 + -11. Let m = y + -4. Solve -9 = m*f - 4*j, -3*f - 2 = -4*j - 3 for f.
-5
Let x = 39 + -16. Solve -3*w + 5*w - x = 5*o, -5*w = 5 for o.
-5
Let i(h) = 3*h - 10. Let u be i(4). Solve -3*t + 2*t + 1 = u*a, 0 = -t - a + 3 for t.
5
Let w be (-12)/3*(-1 + -4). Suppose 4*p - w = 3*p. Suppose -4*v + 0*v + p = 0. Solve -3*f = -5*a + 2 - 9, 11 = 4*f - v*a for f.
4
Let y = 10 + -7. Solve -y*t - 3 = -4*i + 17, -5*i = -5*t - 30 for t.
-4
Suppose -v = 3*v - 28. Suppose -22 = -3*q - v. Solve 4*x + 16 = 2*r, -q*r = -3*x - 19 - 7 for r.
4
Suppose 0*h - w + 1 = h, -h + 11 = -4*w. Solve 3*z + z - h*j = -3, 3*z + 5*j = -24 for z.
-3
Let x = -21 - -23. Solve 5*z - 15 = -5*n, -4*n + x = -0*n - z for n.
1
Let f(t) be the first derivative of -5*t**2/2 - t - 4. Let h be f(1). Let v = 11 + h. Solve k + 3 = -3*c, -k + 0*k = 5*c + v for k.
0
Let q be -4 - (-2 - -3)*-19. Suppose 5 = 5*i - q. Solve -4*u = -k - 0*u - 2, i = 4*u for k.
2
Suppose -2*h = x - 3*x - 4, 0 = x - 1. Solve 5*n - 2*k + 1 - 2 = 0, -n + h*k + 8 = 0 for n.
-1
Suppose -2*v - 4*i + 4 = 0, v = -2*v - i + 1. Solve -4*q + 4*g = v, q + 0*q - 2*g = 0 for q.
0
Suppose -16*q - 12 = -22*q. Solve u - 2*p + 4 = 0, 7*u + q*p - 24 = 3*u for u.
4
Let h = 0 + -1. Let k = h + 1. Solve -9 = 2*y - 3*n + 3, k = -2*y + 5*n - 20 for y.
0
Let t(u) = u**3 + 6*u**2 + 6*u + 7. Let y be t(-5). Suppose y*v - 135 = -3*v. Solve 0 = 2*w + 5*p + v, 5*w - 3*p - 11 + 1 = 0 for w.
-1
Let a = 46 - 42. Solve 0 = -3*q + 2*d - a*d, 2*d = -2*q for q.
0
Let d(a) = 0 + a + 0 - 5. Let u be d(8). Solve 0 = -5*j + 4*c - 31, 4*c = j + u*c + 7 for j.
-3
Let z be 0*(4 - 10)/12. Solve -o - 5*v + 4 = z, 0*o - 3*v = 4*o - 16 for o.
4
Suppose -17 = -3*g - 5. Solve 0*m + 2*m - g*a + 10 = 0, 0 = 5*m - 3*a + 4 for m.
1
Let m(r) = 2*r + 20. Let z be m(-8). Solve -z*h + 27 = -5*l, -l + h - 3*h = -3 for l.
-3
Suppose -3*h = 3 - 45. Suppose -5*q = -h - 11. Solve -v + 4 - 2 = 0, q*t - 10 = -5*v for t.
0
Let d = -32 - -33. Solve r = -d, -5*p + 17 = 2*r - 4*r for p.
3
Let g(y) = y**3 + y + 2. Let f be g(0). Suppose -2*p = -2*a - p + 6, f*a + p - 6 = 0. Solve 7*w = 4*w - 5*z - 5, 0 = -a*w + z + 19 for w.
5
Let i(g) = 8*g - 3. Suppose -6*u + 9 = 4*j - 3*u, 0 = -5*u - 5. Let d be i(j). Solve 3*m = -4*t + 13, 2*m + 5*t - d = 3*m for m.
-1
Suppose -2*b + 25 = 4*p + p, -b - 4*p = -20. Solve 5*z + 2*u - 5 = 4*u, -3*z + 4*u + 3 = b for z.
1
Let l(f) = -f - f**3 + 6*f**2 + f**3 - 4 + f**3. Let r be l(-6). Suppose 2*s + 0 + r = -u, -4*s + 20 = -4*u. Solve 0 = -2*d + 6*g - 3*g, -s = d - g for d.
-3
Suppose 0 = 5*w - 107 + 92. Solve -w*p + 15 = -d + 3, 5*p = -2*d + 9 for p.
3
Let k(u) = -2*u - 4. Let s be k(-4). Solve s*c + 3*m - 20 = 0, 8 = 2*c - 4*m + 5*m for c.
2
Let w(t) = -4*t + 60. Let o be w(15). Solve -5*p - 4*z = -o*z - 10, p = -z + 3 for p.
-2
Suppose -2 = 4*o - 26. Solve 2*i + 4*n + 0 = -2, 0 = -2*n - o for i.
5
Let d = 63 + -57. Solve 5*f + 5*t = 0, -d*f + 2*f - 2*t = -10 for f.
5
Let s(d) = d + 13. Let k be s(-6). Let x be k/(-2 - 3/(-1)). Suppose 4*j - 2*c + 10 = 8*j, -3*j + x = c. Solve 3*r + 4*n + 11 = 0, 5*r - n + j = r for r.
-1
Suppose 0*n = -4*n - 16. Let g = 0 - n. Solve 4*o + 7 + g = 3*s, -32 = 4*s + 4*o for s.
-3
Let g(d) = 5*d**2 + 15*d + 2. Let y be g(-3). Solve 10 = 7*u - y*u + 5*w, -9 = -3*u - 4*w for u.
-1
Let f be (-9)/6*(-32)/12. Suppose f*u = 3*u + 2. Solve -3 = -3*m + 2*q + 5, -u*m = -q - 5 for m.
2
Let p(r) = -r**3 + 2*r**2 - 2*r + 1. Let n be p(1). Solve 14 = 4*c - 2*l, 2*c - 4*l - 16 + 0 = n for c.
2
Let q = 95 - 92. Solve -3*u - 3 = 4*p, 2*u - 1 + 2 = -q*p for p.
3
Suppose 0 = r + 4*r - 15. Suppose 0*v - r*v = -12. Suppose 0 = 3*z + 2*n - 38, 3*z + n - 3*n - 34 = 0. Solve 0 = v*c + z, 2*c + 2 + 10 = 2*w for w.
3
Suppose 5*z + 3 = 2*n, -n + 3*z - 3 = -4. Solve -4*o + n*b = -39 - 1, -4*b = -3*o + 35 for o.
5
Let j(y) = -y**3 - 7*y**2 - y - 3. Let t be j(-7). Solve -3*l - 4 = -l, -t*n - 10 = l for n.
-2
Let w = 20 - 17. Solve -w*v = -s - 2, 0 = s - 1 - 3 for v.
2
Let s(b) = 2*b - 5 + 4 + 0 + 7*b**2. Let y be s(1). Solve 4*l - 4 = -2*m + y*l, -l = 5*m + 12 for m.
-2
Suppose -2*s - 3 = -5*p, 4*p - 4 = 3*s - s. Let f = 9 + s. Let o be f + -4 + 2/(-2). Solve -3*j - q - 14 = o, 0 = j + 3*q + 2*q for j.
-5
Let r = 95 - 92. Solve 7 = -5*j + j + r*g, 0 = -4*j + g - 13 for j.
-4
Suppose -5*b - 8 = -3*d - 1, -3*b = -3*d + 9. Solve -h - d*k = 17, -3*h + h - 19 = 3*k for h.
-5
Let k = -31 - -33. Solve 0 = k*z - 4*p + 22, z + 2*z + 4*p = -3 for z.
-5
Let z be (0/(-2))/(1/1). Solve -5*h - b + z = -5, -4*h = b - 3 for h.
2
Let a be (-8)/(-5)*20/8. Suppose -5 = -c - 3*z, -a*z = c - 3*c + 10. Suppose -3*k = -4*k + c. Solve 2*f - k*i + 23 = f, -2*i = -10 for f.
2
Let t = -11 - -4. Let a = t - -10. Solve -a*l = 2*z + 2*z + 15, -3*z = 3*l + 15 for z.
0
Suppose -u - 2*i + 19 = 7, -u + 2*i = 8. Suppose -7 = -u*q - 3. Solve r + 5*p + q = 0, 3 = 2*r - p - 4 for r.
3
Suppose -4*h - 3*v + 364 = v, 289 = 3*h - v. Let t be -2 - (-1 - (6 - 1)). Suppose -7 + h = t*d. Solve 5*q - d = 