.
1
Let z = 0 - -2. Let h = 5 - z. Solve -13 = -h*a + n, 5*a - 13 = 2*n + 9 for a.
4
Suppose 0 = -2*d + o + 4, -d + 5 = -o + 3. Solve 3*f + 1 = 4*f + d*y, 4*y = 4*f - 4 for f.
1
Suppose 0*s = -4*s. Solve 2*z + 4*y - 22 = s, z - 16 = -5*y + 10 for z.
1
Suppose 2*p + 2*p = 12. Suppose -3 = 3*m, -p*x + m - 3*m = 2. Let l be 1*(x + -2) + 5. Solve -8*z + l*z - 29 = -r, z + 17 = 3*r for z.
-5
Let b be 0 + -2 - (-3 + -4). Let j = b - 3. Solve 3*i = -5*q - 14, 3 = -5*q - j for i.
-3
Let d be -35*2*(-1)/5. Solve -2*f + 2*y - d = -5*f, -3*f + 26 = 5*y for f.
2
Suppose u - 30 = -2*u. Suppose 2*r - 2*s - u = 0, -s - 3 = 3*r - 18. Solve -r*g = 4*l - 5*l - 27, 4*l = -3*g + 7 for g.
5
Suppose 4*c = c - 15. Let s = c + 9. Suppose k - 25 = -s*k. Solve 23 = k*o - 2*y + 5*y, -2 = -2*y for o.
4
Let c be 2 - 1 - (0 - 2). Let w be 1/(-2) + (-23)/(-2). Solve 0 = -2*f + c*z - w, z - 6 = 3*f - 0 for f.
-1
Let o be 0*(2 - 7/4). Solve 0 = c + 2*g + 1 - 0, 3*c - g - 18 = o for c.
5
Let x(d) = d**3 + 7*d**2 + 3. Let h be x(-7). Solve q = -2*o - 1, 5*o - 11 = h*q - 41 for o.
-3
Let h(v) = -v + 7. Let n be h(5). Suppose -3*w + 55 = n*w. Suppose -r = -0*u - u + 3, 3*r = 4*u - w. Solve -j - 12 = -4*f + j, 2*f - 3*j = u for f.
4
Suppose 18 = 3*x - 2*x. Let n(j) = -5*j**2 - 8 + 8*j + 2*j**2 + j**2 + j**2. Let t be n(6). Solve 3*o - t*k = -x, -o + 5*k - 17 = -0*o for o.
-2
Suppose -4*b = -2*b - 6. Solve -5*h + h - 1 = -k, -13 = -2*k - b*h for k.
5
Let s(j) = -j**3 + 7*j**2 - 4*j - 6. Let d be s(5). Suppose 5*v - d = -4. Solve 4*f - v*z = 28, -f = -4*f - z + 5 for f.
3
Let w be (-10)/(0 - (-2 + 4)). Suppose -3*p - 8 = -p, -w*u + 5*p + 20 = 0. Let g be ((-3)/(-9))/(2/30). Solve u = -g*h - 2*y - 20, -3*h = 2*y + 7 + 5 for h.
-4
Let s(z) = -1 + 3*z + 0 + 34*z**2 - 3*z. Let w be s(-1). Suppose -3*c + 13 = -14. Solve 7 = -4*r + 3*k, -3*r - 4*k + c = w for r.
-4
Suppose d + 2 - 6 = 0. Solve 5*c = -3*l + 15, -l + d = -c - 1 for l.
5
Suppose -13*g + 10 = -11*g. Solve 4*c + g*w - 5 = -c, -3*c + 5*w = 37 for c.
-4
Suppose -2*y = -7*y. Solve 5*q + 5 = -3*p - 2*p, y = -4*p - 3*q for p.
3
Let f(k) = 2*k + 13. Let g be f(-4). Solve g*a + h + 4 = 3*a, h - 4 = 0 for a.
-4
Suppose 5*v = 3*v + 3*a + 5, 3*v - 3*a = 6. Solve 2*d - 3*d = -v, 4*o + 5*d = 13 for o.
2
Let v = -12 + 14. Solve -2*t = z - 1 - 2, -v*t - 5*z = 9 for t.
3
Let i(n) = -n**2 - 3*n + 4. Let k be i(-3). Suppose -3*l = -k*l + 3. Solve q + 21 = 3*p - l*q, -4*q - 27 = -5*p for p.
3
Suppose 2*a - 5*z - 18 = 0, 2*a - 5*a = 3*z - 6. Solve -a*d + 40 = 4*l, 5*d + 0*l + 3*l - 40 = 0 for d.
5
Suppose -6*g + 17 = -7. Solve 0 = g*u + 2*n - 6, n = u + 3*u - 21 for u.
4
Suppose -5*m + 0*m = -5. Let o be (5 + m)*2/4. Solve 4*y = -o*b + 4, -4*b + y = 5*y for b.
-4
Let u be ((-4)/10 - (-10)/25)/1. Solve 2*d = -8, 0*h - 4*h + 5*d + 24 = u for h.
1
Suppose 3*n = h - 1 - 2, -2*h + 3*n = -12. Let x = 21 - h. Solve 3*y - x = -y, 0 = 3*s + 4*y - 3 for s.
-3
Let s = 50 + -47. Solve -2*h + 1 = -2*r + s, -2*r - 2*h + 6 = 0 for r.
2
Let t be ((-7)/(-3))/(2/(-6)). Let o(b) = -b**2 - 7*b + 2. Let g be o(t). Solve -5*f + 12 = -2*w - 1, 3*f + g*w = 11 for f.
3
Let g(s) = -7*s + 23. Let v(u) = 6 - 3*u - 4 + 4 + 5. Let h(f) = -4*g(f) + 9*v(f). Let x be h(-5). Solve 3*l + 2*a = -x*l - 19, 4*l + 20 = -4*a for l.
-3
Let k = -48 - -51. Solve 4*o - 3*o = g - k, g - 2 = 0 for o.
-1
Let m be (-5 - 1)/(-1 - 0). Suppose 4*g - m = 2*g. Solve 0 = 5*l + 2*w - 12, g*l = 5*l + 3*w + 4 for l.
4
Let k = -1 + 2. Let w be 7 - (-2 - -2 - k). Solve 0 = -2*c - 4*f + w, 5*c - 9 = 3*c - 5*f for c.
2
Suppose -2*h + 10 = 3*h - 3*w, -2*h + w = -4. Solve 14 = -3*q - 4*m, h*m + 20 = 2*q + 3*q for q.
2
Let x(p) = -8*p**2 + 7*p - 1. Let l be x(5). Let v be (-3)/4 - l/8. Suppose 3*z + 0*k - 2 = 5*k, -2*z + 6 = -k. Solve 2*w + 4 = z*j, 4*w + w = v for j.
3
Let n = 6 - 3. Let q(k) = k**2 + 3*k. Let u be q(-4). Solve -5*s = 5*o - 15, -u*s - o + 18 = -n*o for s.
4
Suppose -7*w + 28 = -7. Solve -4*h + 2*g = 12, -h - 2*h - 22 = w*g for h.
-4
Let m(t) = 4*t + 1. Let u be m(9). Suppose -3*k + 5*p - u = 0, 3*k = -0*k + 3*p - 27. Let g = k - -8. Solve 2*b = -6, g*b + 15 = -n - 2*n for n.
-1
Suppose 0 = r + 6 - 38. Let v = r - 27. Solve -3*k = a - 8, v*a = -0*a + k - 24 for a.
-4
Let i be (5*2)/((-2)/(-4)). Let r be (-15)/6*(-64)/i. Solve 2*a + y + y - r = 0, 0 = a - 3*y + 4 for a.
2
Suppose -10 - 4 = -2*p. Solve 2*h - n = 7, 4*n + p = 4*h - 5 for h.
4
Let w(y) = y**2 + 2*y - 10. Let s be w(3). Solve 22 = 3*k + 5*q, s*k - 2*q = k + 12 for k.
4
Let g(q) = q**2 + q + 17. Let h be g(0). Suppose 3*d - 3*f = d + 1, d + 4*f = h. Solve -2*w - 1 = k + 7, 0 = w + d for k.
2
Let q(i) be the first derivative of 1 + 0*i - 1/2*i**2. Let z be q(-2). Solve -3*n - 4*v = 0, 3*n = z*v - 5*v - 3 for n.
-4
Let j be (-6)/(-9)*-3 - -5. Solve -5*f - 12 = -2*g, 2*g - 2 + 22 = -j*f for g.
-4
Suppose 3*u - 3*s = -12, s - 2 = 2. Solve 3*o - 6 = -3*x, -4 = x + 3*o - u*o for x.
5
Let i be 1/(65/(-70) - -1). Solve 3*w - b = 2*w - 2, 5*w = -3*b + i for w.
1
Let x be (0 + 0)/(-1) - -3. Suppose -15 + 6 = -x*d. Solve -d*t = -2*j + 2*t - 12, 0 = 3*j + 2*t - 1 for j.
-1
Let y(f) be the third derivative of -f**6/120 + f**5/30 + f**4/8 + 5*f**2. Let r be y(3). Solve r = 2*s - 5*l + 8, -2*l = 3*l for s.
-4
Let f be 0/(-2) - 10*(2 + -3). Solve -3*y - 2*z - 1 + 4 = 0, -5*z = 5*y - f for y.
-1
Let v be (70/(-15))/(4/(-18)). Let h be (0 + -3)*(-32)/3. Let n = h - v. Solve 1 = r - 0*r + 2*o, -3*r - n = -o for r.
-3
Suppose 5 = 2*x + 3*u, -3*u - 16 = 2*x - 7*u. Let q = x - -6. Suppose 0 = i + 3*i - 8. Solve q*o + 8 = -4*b, -7*o - b + 6 = -i*o for o.
2
Let f(l) = -l**2 + 4*l - l**2 - l**3 - l**2. Let i be f(-5). Solve -5*s - 4*c = -2*c - i, 10 = 2*c for s.
4
Let z(a) = -a**3 - 9*a**2 - 7*a + 11. Let n be z(-8). Solve n*v - 1 = -3*d + 5, 4*d - 7 = -3*v for d.
1
Let p be (4/10)/(5/25). Solve -5*v - 3*k - 14 = 0, -p*v + k = -4*k - 13 for v.
-1
Let k be -1 + 0 - (-2)/2. Suppose -5*g + 41 = -4*m, -4*m - 25 = -g + m. Suppose -4*c - g + 25 = 0. Solve -b - c = -f - k, 0 = 4*f - 2*b - 16 for f.
3
Let q(u) = -u - 3. Let s be q(-3). Suppose -5*p - 25 = s, -3*j = -8*j - 3*p + 10. Solve -o - 8 = -4*t - j*o, -4*t + o = 2 for t.
0
Suppose -3*m + 169 + 3 = -4*p, 0 = 5*m - 2*p - 296. Let q be (-75)/m*(-1 - 3). Solve -5 = 3*o + 2*y, -q*o + 2*y - 10 = -3*o for o.
-3
Let n = 17 + -2. Let t be (-23)/(-5) + n/(-25). Solve 2*q = t + 2, -10 = 4*w - 2*q for w.
-1
Suppose 5*t = 10 + 15. Suppose 0 = -t*r - 0*r + 30. Let a be (-3 + 4)/(2/r). Solve 0 = -4*v - k + 7 - 15, a*k + 17 = -5*v for v.
-1
Suppose 0 = 2*h + g - 27, -2*h + 0*g + 42 = 4*g. Suppose 5*j + 60 = -5*p, 0*p - j + 4 = -p. Let b = h + p. Solve -x + b*d = 20, -x - 3*x = -d + 25 for x.
-5
Let k(c) = -14*c + 16. Let i be k(1). Let v be ((-4)/3)/(3/(-9)). Solve -g = v*d - 4*g - 13, -i*g - 4 = 2*d for d.
1
Let h = 43 - 38. Let r(d) = -d**3 - 2*d**2 - 2*d - 1. Let k be r(-1). Solve 3*g - 24 = -4*x, k*g = -g - h*x + 19 for g.
4
Suppose -2*f = -4 - 0. Solve -5*l - 34 = 3*m, f*l + 4 + 0 = 2*m for l.
-5
Let o be ((-4)/(-10))/(9/135). Let r(q) be the second derivative of -q**3/6 + 4*q**2 - 2*q. Let a be r(o). Solve -a*c + 14 = 4*l, 4*c + 8 - 33 = -5*l for l.
1
Let j be 2*((-6)/(-3))/1. Solve j*t - 3*c - 4 = -0*c, 0 = -c + 4 for t.
4
Let j = 6 - 4. Solve -t = -1 + 4, -s = -t - j for s.
-1
Let s = 24 + -16. Let j(a) = -a**3 - 3*a**2 - 2*a - 4. Let b be j(-3). Suppose 0*z = -b*z + s. Solve 5*n = -z*d - 26, 7*d - 4*d + 6 = 3*n for d.
-4
Let o = -17 - -19. Solve -2 = -3*j + 5*c, o*c = 3*j + 1 - 9 for j.
4
Let a be ((-12)/10)/(21/15 - 2). Solve 3*o - 6 = a*o + z, -10 = -3*o - 5*z for o.
5
Suppose -h + 20 = h. Solve 0 = -y - 2*c, y - 4*y + h = -4*c for y.
2
Let j = -7 + 11. Let q be 0 - -2 - 1*-6. Solve -2*r - q = -j*i, 4*i + 4*r = r - 12 for i.
0
Let i = 1 + -2. Let y = 4 - i. Suppose 3*d + 0*d + 4*j = 30, 0 = -3*j. Solve 17 = -q - y*x, 0*q + x + d = 2*q for q.
3
Let c(i) = -i**3 + 11*i**2 + 13*i - 7. Let d be c(12). Suppose -7 - 8 = -d*q. Solve 0 = -5*x - 4*r + r + 18, 0 = -q*x + 2*r + 7 for x.
3
Suppose 0 = 6*z - 2*z - 72. Suppose -7 = -5*d + z. Solve m - 3*k - 2 = 0, d*m = -0*m + 3*k + 10 for m.
2
Suppose 41 + 35 = 4*f. Solve -4*m - 7 = -f, -m = 4*k + 1 for k.
-1
Suppose -3*d + 2*q = 4*q - 12, 0 = 2*d - 4*q + 8. Solve -30 