u = 2 - 0. Let r = u + 2. Solve q + 0*q = 4*o - 11, 32 = r*q + 3*o for q.
5
Let d(q) = -q. Let z be d(-4). Suppose 70 = -4*w - w. Let a be w/(-6) + (-2)/6. Solve -y = l + 5 - 2, a*y - 24 = z*l for y.
2
Suppose 4*a - 8 = 0, w = a + 2*a + 16. Suppose -3*u = 3*z - 5 - w, 0 = 3*z - 3*u + 3. Solve 4*c + 5 = 5*r, -c = z*c + 5*r - 50 for c.
5
Let m = 4 - 3. Let l = m - -2. Solve -10 = -3*a - 5*g, -3*g + 12 = l*a - 0*g for a.
5
Let j be (-6)/8 + 138/24. Suppose -j*t - 6 = -16. Solve 3*s + 3*p = 0, 0 = -4*s - 3*p + t + 1 for s.
3
Let x = -8 + 11. Suppose -2*q = q - 3. Solve -2*i - 5*n - 9 = q, 2*i = -x*n - 2 for i.
5
Let m be ((-10)/(-4))/((-7)/(-14)). Solve x = 2*x - m*f + 20, 0 = 5*f - 25 for x.
5
Let m(p) = -p**3 + 7*p**2 + 5*p - 7. Let w be m(7). Let u be -1 + 0 - w/(-2). Solve 0 = -5*z - 2*k - 19, u = z - 3*z + k for z.
-5
Let g(n) = n**2 - 5*n - 1. Let u = 14 - 8. Let j be g(u). Solve j*q - l = 2*l - 20, 2*l = 0 for q.
-4
Suppose -2*s = -5 - 15. Suppose 3*d = -1 + 10. Suppose 3*y - 20 = -4*j, -3*y + s = -d*j + y. Solve 2*b + 0*i = -3*i - j, 0 = 3*b + 5*i + 3 for b.
-1
Suppose 7*z = 4*z + 12. Let u = z + 0. Suppose u = -2*s - 5*d, 0*d + d = 5*s - 17. Solve -s*b = 0, 2*h - b = 3*b - 8 for h.
-4
Suppose 5*o - 1 = m - 8, 0 = -2*m + 2*o + 6. Let t = 1 - -3. Suppose -t*w = -m*w. Solve w = 2*n - 3*i - 1 + 13, 8 = 2*i for n.
0
Let i be 11/2 + 6/(-4). Let r = -5 + 7. Let t = -1 + 1. Solve t = -r*o + 1 + 3, i*q + 4*o = 0 for q.
-2
Let i(d) = -d**3 - d**2 - d + 6. Let t be i(0). Solve 3*f + 30 = 5*y - 2*f, t = -2*f for y.
3
Suppose 4*l - 2*l = 4*m - 6, 6 = 3*l - m. Solve -5*x = l*a, -2*x = a + a + 4 for a.
-5
Let f(i) = 4*i - 1. Let q be f(-4). Let a = q - -24. Suppose -2*z - 2*h = -26, -h + 49 = -2*z + a*z. Solve 15 = 4*g - 2*g - 3*m, -5*g - 2*m = -z for g.
3
Suppose 3*d + 0*b = 2*b + 42, -5*b + 33 = 4*d. Let i be ((-2)/(-3))/(d/90). Suppose 5 = -i*h + 25. Solve 3*r - 16 = -m, 8*r - h*r - 16 = 4*m for m.
1
Suppose 0 = -5*a + 3*a + 10. Solve r = -2*v - 8, 2*r - a*v - 2 = -0*r for r.
-4
Let a be (1 + -1)/((-4)/(-2)). Suppose -4*w = -3*x, -x - 4*w = -a*x - 16. Solve 6 = 3*m - 3*h, -h + x = -2*h for m.
-2
Let h = -14 + 18. Let r be 1*-1*(-2 - -1). Let x be 8 - r - 2*1. Solve -n + h*o - 2*o - x = 0, n + 3*o = 0 for n.
-3
Let r = 7 - -1. Let h(f) = 3 + 2*f**3 + r*f**2 + 2 - 3*f**3. Let s be h(8). Solve -11 = 3*o + 4*w + 2, -s*w = 20 for o.
1
Let u(j) = j**3 + j**2 - 8*j - 4. Let q be u(-3). Suppose 2*t + 6 = -2*g, t + 1 - 6 = 3*g. Let o = 3 - t. Solve 6 = -o*r + q*h, 4*r + 9 = -h + 6*h for r.
-1
Let o be 3/(-5) + 90/25. Suppose o*l = -2*l + 80. Let t(q) = q + 1. Let g be t(6). Solve 15 = 3*a, -2*n = -g*a + 3*a + l for n.
2
Let w = -57 + 60. Solve 2*u - w*u = -4, -29 = -5*n - u for n.
5
Let u(x) = x**3 - 5*x - 4. Let r be u(-3). Let j = -11 - r. Solve 3*p - 9 = -j*l + 12, 3*p = 5*l - 9 for p.
2
Suppose 5*j - j = 0. Suppose d = -209 + 214. Solve -2*c = -4*l + 20, -d*l + 35 = -5*c - j*l for c.
-4
Let d(t) = 3*t - 2. Let n be d(6). Suppose -2*p - p = 0. Suppose -4*w + p*w + n = 0. Solve -2*g + 3*g = w*o, 0 = 3*g - 2*o for g.
0
Suppose -r - 5*u - 2 = 0, r + 4 = 2*u + 9. Let q be -1 - (0 + r + -6). Solve -q*m + 12 = 2*z, 5*z = 3*m - m + 16 for m.
2
Suppose q - 2*c = 2*c + 14, 3*c + 15 = 3*q. Solve -3*w + 15 = 4*j, -q*j = -4*w + 3*w - 5 for w.
1
Suppose -14*g + 35 = -9*g. Suppose 0 = 5*u - 1 - 4. Solve -2 = -2*d - 5*f + u, 0 = 2*d - 5*f + g for d.
-1
Suppose -2*w = 2*w. Let p = 9 + -7. Solve p*u - 5*a + 4*a - 6 = 0, -4*u - 5*a - 16 = w for u.
1
Let h(b) = 3*b - 1. Let p be h(1). Let u(n) = 0*n**3 + 3*n**3 + 0 - 2*n**p + 1. Let k be u(1). Solve 3*q = 5*z + 13, -4*z + 7*z + k = -4*q for q.
1
Let n = 7 - 2. Let i be -11 + 8 - (-8 + -1). Suppose 3*g + 0 = i. Solve 4 = -2*h - 4*t + g, n*t = -3*h for h.
5
Suppose -z + 3 = 0, h + 2*h + 3*z = 24. Let x = -2 + h. Solve 4*t + 2*b = 5*t - 5, -x*b + 12 = 5*t for t.
3
Let h(b) = 4*b + 4. Suppose 3*t = 5*s + 37, -5*t + s = -4*s - 45. Let u be h(t). Suppose 3*r - 7*r + u = 0. Solve 2*k - 1 = k, 5*v = -r*k + 15 for v.
2
Let s be (12/(-5))/(4/(-40)). Suppose 6 = f + 2*j, 5*j = -5*f + j + s. Solve f*z - 4 + 21 = -b, -16 = 3*b + 5*z for b.
3
Let p(n) = -n**3 - 9*n**2 - 9*n - 8. Let y(j) = 3*j + 1. Let s be y(-3). Let z be p(s). Solve 0 = -l - 2*l - a, -4*l + 2*a = z for l.
0
Let u be 6*(-1)/6*-4. Solve 5*c = p - 27, -5*c = -u*p - p + 35 for c.
-5
Let y(u) = 6*u**2 + 2*u + 1. Let r be y(-1). Let p = -6 + 8. Suppose -3*k - 4 = p*w, 0 = k - 0*k + 5*w + 23. Solve 30 = r*c + i, -c - 25 = -k*c - 4*i for c.
5
Let b(i) = -i**3 + 9*i**2 + i - 3. Let y be b(9). Suppose y*x = 3*x. Let d be (-1 - 0)*x/2. Solve -2*g + 2*m - 4 = d, -m - 4 = 5*g + 18 for g.
-4
Suppose 3*c + 29 = -1. Let t be (8/3)/(c/(-15)). Let r be (-2)/t*(-2 - 2). Solve 0 = -4*n - r*f + 10, 3*n - 5*f + 1 = 41 for n.
5
Let b(f) = 2*f + 7. Let h be b(-2). Solve -h*x + 10 = -2*y - 13, -x + 2*y + 13 = 0 for x.
5
Suppose 15 = 11*w + 4. Solve -2*f + 7 = 2*s + w, 4*f = -s + 18 for f.
5
Let l = 1 + 9. Suppose l*v + 30 = 12*v. Solve -5*p + 2*i + v = 0, p = -2*p - 5*i - 22 for p.
1
Suppose 0*a - 9 = -a. Suppose 4*k - j = 23, 4*k - 3*j = 3*k + 14. Solve k*f + 2*o = 4*o - a, 5*o - 13 = 3*f for f.
-1
Suppose -2*m + 5*b - 4*b = -52, -m + 2*b + 20 = 0. Solve -3*a - 3*w = -4*a + 8, -5*a + 3*w = -m for a.
5
Let z = -92 - -103. Solve -2*n + 1 + 7 = 2*a, z = 5*a + 2*n for a.
1
Let r(h) = -h**2 - 5*h + 13. Let q be r(-6). Solve 2*n - 2 = -q*s + 4*s, -4*n = 3*s - 10 for s.
-2
Let t(p) = p**3 + 7*p**2 + 8*p. Let x be t(-6). Let i = -8 - x. Solve 0 = -4*y - 3*z + 22 - 0, -i*y = 2*z - 20 for y.
4
Suppose -4 = 2*m - 12. Solve m*u = -2*l, l - 4*u - u = 0 for l.
0
Let q(d) = 2*d + 32. Let l be q(-11). Solve -g = 5*w + l, w - 3*g - g + 2 = 0 for w.
-2
Let p(b) = b**2 + 5*b. Let k be p(-5). Suppose k = -3*y + 16 - 4. Solve 5*l + h + y*h + 40 = 0, 2*h + 7 = l for l.
-3
Suppose 3*o + 28 = -2*p + 3*p, o = p - 8. Let d be ((-8)/o)/(2/10). Let q(j) = -j + 8. Let h be q(6). Solve -2*v = -t + h, 7*t = d*t for v.
-1
Let m = 43 - 25. Let j = m - 3. Let t be (3/9)/(1/j). Solve -5*u = -5*a + 30, -3*u - t*a = -a - 10 for u.
-2
Suppose 4*p - 2*f + 0*f - 40 = 0, -2*p = -5*f - 28. Let n = 7 - p. Let d be (n*7/2)/(-1). Solve -j + d = 2*c, j + 4*c - c - 10 = 0 for j.
1
Let a = 11 + -9. Solve -3 = -t + s, 19 - 7 = -a*t - 4*s for t.
0
Let j = -7 - -10. Suppose 2*t + 10 = 3*a, 5*a + t = 18 + j. Suppose r - 53 = -3*s, a*s = -r + 11 + 59. Solve 10 = -2*x, -v + 2*x - s = 6*x for v.
3
Suppose -5*v = -5*n - 25, 0 = -2*v - 2*v - n + 5. Solve -2*d = -r - 4, -v*d + 16 = r + 4*r for d.
3
Let k be 0 + (-1 - -13)/3. Solve -3*z + 29 = 5*u, 4*u - 19 = -k*z + 3*z for z.
3
Let c = 1 - -3. Suppose -i = -c*m - 1 + 11, -3*m = -3*i - 12. Suppose -3*r = m*r. Solve r*p = 3*g - 3*p, 0 = 4*g - 5*p for g.
0
Suppose -3*t + 34 = 4. Let f(n) = n - 5. Let u be f(t). Solve -3*o = 15, -5*g + 0*g = -2*o + u for g.
-3
Let r = 18 + -10. Let b = -4 + r. Let z(i) = -i**3 - 7*i**2 - 2*i - 6. Let k be z(-7). Solve 2*u + 9*d - 4*d = -k, 20 = -5*u - b*d for u.
-4
Suppose 4*z = -z + 15. Solve -30 = -5*o - 3*n, 3*o + 3 = z*n - 3 for o.
3
Suppose -w + 5 = -2*w, -2*s - 14 = 4*w. Let m(u) = -u**2 + 3*u - 2. Let x be m(s). Let z be (x/5)/(2/(-40)). Solve p - d - 3*d = -z, 3 = 3*d for p.
-4
Let u(p) be the second derivative of p**3/3 - 9*p**2/2 - 2*p. Let q be u(6). Solve q*v - 3 = 4*i, -3*v + 2*i = -v for v.
-3
Suppose 2*m = -2*f + 20, 3*m - 10 = 4*m - 3*f. Suppose 4*v + 1 = 5*v. Let d be -3 + 6/v + 2. Solve -2*g - x = 12, 28 = -m*g - 4*x - d for g.
-5
Let b be (-1 - 0) + -3 + -2. Let c(j) = j + 11. Let l be c(b). Solve 2*x + 22 = -x + 5*v, 0 = 4*x + l*v - 29 for x.
1
Let b be 8 - (3 + (-2 - 3)). Solve -b*t + 6*t - 3*q = -23, -3*t = 5*q - 20 for t.
5
Suppose 0 = 3*f + 3*d - 0*d, 3*f - 3*d - 12 = 0. Let j(t) = t**2 + 6*t + 2. Let r be j(-6). Solve 2*l = -2*h - 2, -f = 4*l - r*l - 2*h for l.
-1
Suppose 5*s - 20 = u, 5*s + 3*u = 2*u + 30. Let l(x) = x**3 - x**2 + x + 4. Let a be l(0). Let w = a + 7. Solve -3*i - 4*c + w = 0, 0 = 4*c - 3*c - s for i.
-3
Let l(m) = -5*m**3 + 2*m**2 + 2*m. Let a be l(-1). Solve 0 = 4*t + 4*w + 20, w + 20 = a*t - 3*w for t.
0
Let f = 4 - 4. Let v be (-3)/9*f - -5. Suppose 6*b - 2*b - 16 = 0. Solve 48 - 13 = -b*z - 5*y, 20 = -z - v*y for z.
-5
