q, 5*q + 4*o = -10 for q.
-2
Let s = -7 - -21. Let w be 95/(-57)*-3*1. Solve l + s = t + 4*t, 3*t = w*l + 26 for l.
-4
Let s be 42/(-15)*(9 - 4). Let a be (-6 + 5)*(-1 + s). Solve 9 = -4*d - 8*m + 3*m, 0 = -3*m - a for d.
4
Let g(z) = -12 + 0*z + z + 3 - 12*z. Let k be g(-4). Solve -3*s - s - 35 = -3*r, -2*r + k = -5*s for s.
-5
Let g(f) = -f**2 - 13*f - 1. Let s be g(-13). Let a(d) = -3*d**3 - d**2 - 2*d - 1. Let x be a(s). Solve -p - x*y - 1 = 4, -p - 4*y - 8 = 0 for p.
4
Suppose -f - 4*f = -m - 66, 3*m = 5*f - 68. Solve -p + 0*p = -q - 1, 0 = -3*q - p + f for q.
3
Suppose -3*z + z = 4*f - 46, -5*f = -4*z - 51. Solve 0 = 3*j - 3*s - 9, -3*j = 3*s - 7*s - f for j.
1
Let j(a) = -a - 12. Let u be j(-12). Solve u = -t - 4, 2*z - t = t + 8 for z.
0
Let u(q) = q**3 - q**2 - q + 2. Let k be u(2). Solve 8 = k*y - 4*p, -y + p = y - 6 for y.
4
Let h = 2 - -1. Let o(g) = -g**2 - g - 2. Let r be o(-2). Let u be (21 + -1)*(-2)/r. Solve 3*c = 4*t + 2, -3*t = -c + h*c + u for c.
-2
Suppose -4*p - 84 = -9*p - o, -3*p - 2*o = -56. Suppose 0 = 2*a + 4 + 8. Let x be a/(0/3 + -2). Solve -x*g - p = 2*q, -4*q - 7 = -q - 4*g for q.
-5
Let s = -16 + 21. Solve 0*c - 4*c = -t + 22, 25 = -s*c for t.
2
Suppose -3*p + 10 = -p. Suppose p*j + 2 + 13 = 5*d, -12 = -4*d - j. Solve 3*c + 5*q + 1 = q, d*q = 2*c - 5 for c.
1
Suppose -6 = 2*l - 5*l - 2*m, 4*l - 5*m = 31. Solve -2*w = w - 3*y - 6, -17 = -w + l*y for w.
-3
Let x = -5 - -4. Let l be x/(1*2/(-6)). Solve 0 = m + l, -m - 3 = 5*g - 5*m for g.
-3
Let n(l) = 2*l**3 + 8*l**2 + l + 7. Let z be n(-4). Solve 2*x = -z*x - 4*y - 4, 5*y + 5 = 0 for x.
0
Let k = 16 + -25. Let x = k + 15. Solve -3*c = h - c + x, c + 3 = 0 for h.
0
Suppose 2*v - 9 = -4*b + 7, 2*b + 4*v - 14 = 0. Solve 15 = 5*s + c, -2*s = b*c - 0 + 7 for s.
4
Suppose 0 = -25*h + 13*h + 264. Solve 4*w = 2*s + 12 + 2, 0 = -5*w + s + h for w.
5
Suppose 26 = 2*z + 20. Suppose 3*j + 4 = 5*m, -m + z*j - 2*j = 0. Solve 4 = -s + 2*p + p, 2*s = m*p for s.
2
Suppose 8 = 2*g - 0*g. Suppose l - g = 6. Suppose 4*z = 4*t - 24, -l = -2*t + 2*z - z. Solve -8 = t*j - 4*n, 3*j + 6 = 2*n - 1 for j.
-3
Suppose y + 0*y = 12. Let r(w) = -w**2 + 4*w + 1. Let v be r(6). Let p = 11 + v. Solve p*x + 2*x + s = 8, 0 = -2*x + 4*s - y for x.
2
Let l(v) = -v**2 + 4*v - 1. Let x be l(3). Let r be (-152)/(-36) + (-4)/18. Solve -4 = -4*t - r*k, -3*k = t + x*k + 3 for t.
2
Let l(y) be the second derivative of -y**3/6 + 4*y**2 - 2*y. Let v be l(-8). Solve -4*c + 9 = -2*d + 33, 3*d - 2*c = v for d.
2
Let a be 2/(-4) - (-4)/8. Solve a = 4*x - 2*i, 5*x - 5 + 0 = 5*i for x.
-1
Let f(p) = 2*p + 11. Let w be f(-5). Solve w + 0 = l - k, 3*k = 5*l - 5 for l.
1
Suppose 2*l + l = -42. Let k(w) = w**2 + 13*w + 1. Let h be k(l). Solve -h = b - 4*q, -4*b + 3*q - 6 = -5*b for b.
-3
Suppose 0*g + 2*g = 16. Suppose -q = -3*q + g. Solve 6*v - 5*a + q = 2*v, v + 1 = -a for v.
-1
Let v(r) = 2*r + 14. Let l be v(-6). Solve -l*w + 16 = -5*u + u, -22 = -4*w + 3*u for w.
4
Let r be (-104)/24 + 1/3. Let j = r + 4. Solve 3*g + 2*v + 4 = 0, j = 5*g + 5*v + 16 - 1 for g.
2
Let p(j) = 0*j + 2 + 5*j - j**2 + 2*j. Let h be p(6). Solve 0 = -5*z - h*w + 4*w + 11, -z + 3 = w for z.
-1
Suppose -4*l = 43 - 139. Solve 5*t + 0*h + l = -3*h, -2*t - 12 = 2*h for t.
-3
Let a(t) = -t**3 - 5*t**2 - 9*t - 11. Let x(z) = z**2 - z - 1. Let d(r) = -a(r) + 2*x(r). Let q be d(-6). Solve 4*p = -8, -q*p = -k - 4*p - 4 for k.
-2
Let l = 4 + -4. Let g(v) = v**3 + v**2 + 4. Let k be g(l). Solve 5*y - y - j = -18, 2*y + k*j = 0 for y.
-4
Let d(z) = -z**3 + z**2 + 3*z + 2. Let j be d(-2). Suppose 30 = j*l - 2*l. Solve 0 = -m + l, -2*g + 21 + 6 = 5*m for g.
1
Let w be (11 - 5)/(2/3). Let h(b) = 2 - b**2 - w*b**3 - 2. Let k be h(-1). Solve -2*p = -t - k - 3, 14 = 3*p + t for p.
5
Let o be 0/(-1)*(-1)/(-2). Suppose 4 - 1 = f. Suppose 4 = y - g, -f*y + 4*y = 4*g - 11. Solve 2*w - 6 - 10 = 4*m, -3*w + 3*m + y = o for w.
-2
Suppose -5*i - 9 - 6 = 0, -4*c = 5*i - 1. Let u = 2 - 0. Solve 0 = 3*y + u*x, 5*x + 3 + c = -4*y for y.
2
Suppose 5*j = 39 + 1. Suppose -2 = -2*z + j. Solve -3*l + 4 = -z*o - 1, -3*o - l + 11 = 0 for o.
2
Suppose 0 = 8*v - 71 - 1. Solve l = 4*a - v*a + 7, l - 2*a = 0 for l.
2
Suppose -5*u = -2*u - 42. Let l = u - 6. Suppose l = j + j - i, -2*i = 0. Solve 25 = 5*d, -j*p - p = -d for p.
1
Let h be (6/2)/(6/4). Let k be (-16)/(-10) + (-6)/(-15). Solve c - 4*u - 10 = k*c, c - 8 = h*u for c.
2
Suppose 3*z + 3 = -5*b, b + 4 = -2*b - 4*z. Let j(y) = y + 8. Let w be j(-6). Let d be (-2 + w - 1)*-7. Solve -4*x = -5*a + 17, b = -a - 3*x + 2*x + d for a.
5
Let t be 47/9 + (-4)/18. Let q = -4 + t. Suppose 1 = i - q. Solve -i*w - 2*w + 4*r = 12, 12 = 5*w + 4*r for w.
0
Let z(t) = -t**2 - 6*t + 2. Let m be z(-3). Solve -4*l - m = -5*f + 4*f, -3*l - 7 = -2*f for l.
-3
Suppose -5*b = 4*b - 108. Solve 3*s + 4 = 6*g - 5*g, -3*s - 3*g = b for s.
-2
Suppose -11 - 8 = -s. Suppose -2*z = -3*z + 4*v + s, 3*v = -5*z + 3. Solve q - 7 = 2*g, z*g - 6*g + 2*q - 12 = 0 for g.
-2
Suppose z + 0 + 5 = 0. Let b = z + 9. Solve 0 = -a - b*x - 15, -a + 8*x + 12 = 3*x for a.
-3
Let c(n) = -n**2 - 2*n. Let t(q) = -q**2 - 3*q + 1. Let v(x) = -2*c(x) + 3*t(x). Let w be v(-5). Solve 2*i - b - 1 = -0*b, 0 = -w*i + 2*b + 3 for i.
-1
Let i = 17 + -12. Solve -2 + 22 = -i*r, 2*k = -3*r - 18 for k.
-3
Suppose 0 = 4*a - 18 + 6. Solve -a*h - 3*k - 24 = 0, 5*h + 2*k + 4 = 6*k for h.
-4
Let x = -23 + 25. Solve 2 = x*m + n, -6*n + 2 = 2*m - n for m.
1
Suppose -3*h + 3*i + 6 = 0, -8*h = -4*h - 3*i - 8. Solve 0 = -h*n + 2*w + 6, 2*w = -5*n + 3*w + 19 for n.
4
Suppose 0 = 12*i - 17*i + 5. Solve 5*l + 3 = -4*a, 5*a - l + i = 19 for a.
3
Suppose 0 = 2*z - z - 5. Solve -5*d - 15 = -5*b, -d - d + z*b - 15 = 0 for d.
0
Suppose -5*x + 15 = -0*x. Solve 2*o = -3*s + s, 2*s - x*o = 25 for s.
5
Let l(j) = 3*j - 15. Let x be l(8). Solve 2*m + 14 = 4*c, 0 = 4*c + 3*m + 2 + x for c.
1
Let j = 41 - 22. Suppose 4*c - 21 - j = 0. Solve 4*a - 25 = d, 2*a - d = -5*d - c for a.
5
Let k(w) = -3*w - 1. Let a be k(-1). Let y(c) = -1 + 0 + 5 - 4*c - 2*c + c**a. Let j be y(6). Solve -j*g - 4*r = -0*r + 4, -14 = 5*g + 2*r for g.
-4
Suppose 0 = 3*z - 5 - 4. Suppose -4*h + 0*h = -8. Suppose -h*p = 3*p - f - 18, -4*p + 4*f + 8 = 0. Solve 0 = -4*x + 3*t + 17, 2*x + p*t = -z*x + 29 for x.
5
Let h = 2 + 1. Suppose -3*f + h + 12 = 0. Solve -3*s = -2*s + x + f, 3*s = 3*x + 15 for s.
0
Let i(t) be the first derivative of t**4/4 - 13*t**3/3 - t**2/2 + 13*t + 5. Let c be i(13). Solve -3*n = -c*n + p + 13, 1 = n - p for n.
-3
Let v(j) = -j**2 - 5*j + 1. Let h be v(-4). Suppose -5*y + 5 + h = 0. Solve y*c = 3*p, 0 = -3*p + 4*c - 5*c + 9 for p.
2
Let t(l) = -8*l + 7. Let d = -6 + 11. Let f be t(d). Let b be f/(-3) + 1 + 3. Solve -r + b + 6 = -4*k, 0 = -2*k + 3*r - 23 for k.
-4
Let c be 3 + 0 + -1 + 0. Solve 4*o + c*h = 8, -3*h = -3*o - 9 - 3 for o.
0
Let r = -31 - -12. Let q = r + 23. Suppose 0 = 3*v + 2*d - 18, 2*v - d - 1 = 4. Solve a - 17 = -v*b, 5*a + q*b - 24 = 13 for a.
5
Suppose -2 - 2 = -y. Let r(h) = h + 5. Let t be r(-7). Let f be 1 + 2 - (t - 9). Solve y*g - 5*c = 3*g - 22, -f = 5*g - c for g.
-2
Let d = -32 - -36. Solve -f + 5*o + 14 = 0, 0 = d*f - o - 5 + 6 for f.
-1
Suppose a + 166 = -2*s + 43, -4*a = 5*s + 312. Let f be 36/s - (-46)/10. Solve -4*o + 2*x + 10 = 0, -2*o - f*x + 7 = -7*x for o.
2
Suppose 5*w = -5*g + 25, -2*w - 5 = -3*g - 0*w. Suppose -4*s + 1 + 6 = j, -2*s - j = -g. Solve -5*k - 28 = s*n - 4*n, -2*k = 8 for n.
4
Suppose -o + 0 + 1 = 0. Solve 4*v - 3*f = 14, v + 5 = -4*f - o for v.
2
Suppose -4*s + 3*h = -8*s + 105, 0 = -3*s + 2*h + 66. Solve s = 4*v + 5*p, p - 3*p = -8 for v.
1
Let z(c) = -2*c**3 + 16*c**2 + 2*c - 12. Let s be z(8). Solve -4*g + 0*g = -s, -3*q + 5*g = -1 for q.
2
Suppose -4*r = -2*q - r + 56, -108 = -4*q + 4*r. Solve -j - q = 5*z, -3*j + z + 5 = -6*j for j.
0
Let v = 4 - 1. Suppose 4*k = v*k + 1. Let c(m) = 11*m**3 - 2*m**2 + m. Let r be c(k). Solve -n = 2*b - 5 - 0, 0 = 3*b + 5*n + r for b.
5
Let y = 100 + -99. Let k = 1 + 2. Solve -1 = 5*q - f, -f - k = y for q.
-1
Suppose -4 - 36 = -5*g. Let c(h) be the second derivative of -h**4/12 - 5*h**3/6 + h**2/2 - h. Let y be c(-4). Solve y*s + 7 = 2*n, -g*n - 5 = -5*s - 3*n for s.
-3
Suppose 0 = -h - 4*h + 25. Solve 3*t + h*w - 5 = -2*t