 -2*s, -2*s = -4*a - 4 - y for a.
-1
Let d(i) = i**2 - 12*i + 14. Let g(c) = c**2 - 10*c. Let n be g(11). Let u be d(n). Solve -4*m - u*w = 9, 0*m - 4*w - 12 = 2*m for m.
0
Suppose -t + 31 = 2*t - 5*d, 3*t - 3*d = 21. Suppose 3*h = t*h + 4. Suppose 5*r - 71 = h. Solve 0 = 2*m + 2*f + 10, 3*m - 4*f + r = -2*f for m.
-5
Let z be 68/(-7) - (-8)/(-28). Let g = z - -12. Solve g*p + 5*u = 2*u + 2, 5*u = 0 for p.
1
Suppose 0*q = -3*q - a + 68, -q = 2*a - 21. Let t = 17 + -8. Let n(c) = -c**3 + 24*c. Let w be n(-5). Solve w*g - 2*g = -3*l - t, -3*g - q = -4*l for l.
2
Suppose 3*z = -16 - 26. Let r = z + 16. Solve -3*h + r*x + 2*x = 0, -2*x = h for h.
0
Let u(x) = -4*x + 16. Let c be u(7). Let n be (-24)/9*9/c. Solve 0 = -2*z - n*l - 0*l, -l = -5*z - 24 for z.
-4
Let y(w) = w**2 - w - 1. Let q be y(0). Let f(t) = -t**3 - t. Let r be f(q). Solve -2*j = r*j - 2*b - 14, -5*b = -5*j + 30 for j.
1
Let j = -4 + 7. Suppose j*d - 20 = -d. Solve 2*h = -5*l + 22, h = d*l - l - 15 for h.
1
Suppose 0 = -x + 4. Suppose -x*i = -g - 2, 3*g - 1 = -2*i + 7*i. Suppose 5*w - 1 = -3*b, -g*w = 3*w + 4*b + 2. Solve -3*t - 9 = -4*s, 3*t + w + 7 = -2*s for s.
0
Let c(a) = a**2 - 7*a - 8. Let o be c(8). Let w be (o - -1)/((-2)/6). Let x be (1/w)/(2/(-12)). Solve -4*v - y = -13, 7 = 5*v - x*v - 2*y for v.
3
Let p = -5 - -7. Let d(m) = 4*m**2 + 3*m + 3 - 1 - 3*m**p. Let s be d(-3). Solve -2*n - 5*r = 15, -r - 11 = s*n - 0*n for n.
-5
Let m = 1 - -1. Suppose -5*o - a = 31, 0*a = m*a + 2. Let l = o + 10. Solve 2*b - 3 - 9 = -4*v, -l*b = v + 4 for b.
-2
Suppose -4*o = -o. Let z be (o + 2 + -3)*-3. Solve 2*h = 10, -3*h = b - 2*h - z for b.
-2
Suppose 3*o - 522 = 2*w, 12 = 5*w - w. Let x be o/99 + 2/9. Solve m + x*r + 4 = -2, r = 2*m + 7 for m.
-4
Let a be 0 - 3/((-3)/(-4)). Let u = -1 - a. Suppose 2*d - m + 0 = u, -4*m + 27 = 5*d. Solve 0 = h - 0*h + 5*t - 5, 15 = d*h + 2*t for h.
5
Suppose 0 = 2*s + 2*s - 3*h + 34, 0 = -2*s + 3*h - 14. Let q be (-2)/(-5) + 4/s. Solve -p + 0 + 9 = u, q = 2*u - 4*p + 6 for u.
5
Suppose 4 = -5*t + 4*v, 4*t + 0*t + 2*v = 2. Suppose 3*n + n - 4 = t. Solve 0*d - n = -i + 2*d, 5*i = -2*d + 17 for i.
3
Suppose -3*q - 24 = -w - 4*w, 3*w - 21 = 4*q. Suppose 15 = 4*i + w. Solve 4*h = -4*p - 25 + 9, -i*p + 2*h = 2 for p.
-2
Let p(i) = -2*i. Let q be p(-1). Suppose 4*l = -8, 3*l - q = -2*a + l. Solve -a*w - 17 = 2*w + r, -3*w + 4*r - 24 = 0 for w.
-4
Let g(t) = -t**2 + 24*t - 41. Let r be g(22). Solve -3*z = -w + 14, -26 = -r*w - 2*z + 7*z for w.
2
Let h(z) be the second derivative of z**3/6 + 13*z**2/2 + 2*z. Let k be -12*(4 + (-26)/8). Let y be h(k). Solve 6*q + 8 = -y*x + q, x - 4*q + 2 = 0 for x.
-2
Let a be (6/(-4))/(9/(-12)). Suppose 5*u + r - 12 = 15, 0 = 2*u - r - 8. Solve -5 = -u*g - 3*s, 0 = a*g - 0*g - 4*s + 24 for g.
-2
Let k(p) = -p**3 + 7*p**2 - p + 9. Let r be k(7). Let x be 150/35 + r/(-7). Let s(g) = -g**2 + 3. Let u be s(0). Solve u*o = -l - o + 19, -20 = -x*o for l.
-1
Suppose -5 = -2*d + 3*o + 21, 12 = d - 2*o. Let h = d + -6. Solve 5*p = 2*j - h, 5*j - 2*p = -0*p - 17 for j.
-5
Let k be (-1 + 24/4)*1. Solve i + 2 = 3*i + 3*l, -5*i - k*l = -10 for i.
4
Let g be ((-1)/(-3))/((-3)/(-27)). Let j be ((-2)/4)/(2/(-4)). Suppose -3*x - 11 = 2*r - j, r = 5*x - 5. Solve y + 1 + g = -z, x = 3*z - 4*y - 2 for z.
-2
Suppose 8*n = 33*n - 650. Let t = 4 - 2. Suppose -5*r = -5*y + 25, 0*y = -y + 2*r + 8. Solve -2*u - 4 = -t*f, 3*u = -y*f - u - n for f.
-3
Suppose 3*z + 31 = 2*y, -5*y + 0*z - 3*z = -46. Solve -5*v - 5*p = 3 + 2, -p - y = 3*v for v.
-5
Suppose -q - 4 = -0*q - 2*g, 0 = -5*g + 10. Suppose 0 = -3*v + 2*p - 1 + 13, q = 3*p. Solve 2*w - 4*s - 22 = 0, w - 9 - 8 = v*s for w.
5
Let h = 7 + -9. Let o = h + 2. Solve 4*c - 2*r - 14 = 0, c - 3*r = -o*c + 6 for c.
3
Let s(w) = 6*w**2 + w. Suppose -7 = 4*k - 3. Let z be s(k). Solve 0 = -l + 4*m, 0*l + m - 21 = -z*l for l.
4
Let y(i) = i**3 - 13*i**2 + 11*i + 17. Let a be y(12). Solve 6 = 3*k - 5*z, a*k - k - 3*z = 8 for k.
2
Suppose -25 = 4*z + 15. Let n = -10 - z. Solve p - 6 + 1 = n, 0 = h + 4*p - 19 for h.
-1
Let j(z) = -30*z. Let s be 1 + -1 - (1 + 0). Let i be j(s). Solve 3*h + 0*h = 5*u + i, 5*u + 15 = 0 for h.
5
Suppose -3*c = 5*d - 5*c - 72, 5*d = -5*c + 100. Solve 4*n - 2*q + 6 = -8, -3*n - d = 4*q for n.
-4
Suppose -4*m = m + 5. Let l be 6/(-30) + m/(-5). Solve 4*u + 4 = l, u - 1 + 2 = o for o.
0
Suppose k + 0*r = 4*r, -4*r + 40 = 4*k. Let l = 11 - k. Let w = 2 - 2. Solve l*g - 4*q - 6 = g, -g - q + 6 = w for g.
5
Let r = 9 + 21. Let q = r + -18. Solve 0*z - 2*z = 5*f + 7, 4*f = -q for z.
4
Let p(g) = -g - 5. Let c be p(-5). Suppose 0*h - 3*h = c. Solve v - 3*j - 20 = h, 0 = 3*j + 2 + 13 for v.
5
Let g = -2 + 17. Solve -i + 2*i + 10 = -2*q, 5*i + 3*q + g = 0 for i.
0
Let n = 45 + -36. Solve 3*o = 4*r - 0*r + n, -4*o + 5*r + 11 = 0 for o.
-1
Let n be -1 + 4 + 0/(-6). Solve -3*i + 2*i = 2*f + 3, -4*f + n*i - 31 = 0 for f.
-4
Suppose -3*m + 42 = 3*z, -3*m + 14 = 4*z - 41. Suppose -z*t + 12*t = 0. Solve 3*o = i + 4, -5*o + 4*i = -t - 2 for o.
2
Suppose 8*i = 12 + 20. Solve 2*d = 5*p + 24, -i*p - d + 0 = 14 for p.
-4
Let d = 14 + -9. Suppose 3*v + 2*z - 4 = 0, -3 = -4*v - d*z - 7. Suppose -3*g - 57 = -2*n, 2*g = -3*n - 0*n + 118. Solve x = f - 1 + 2, 0 = v*x + 4*f - n for x.
5
Let y be (1 + 2 - 1) + 8. Let n = 25 - y. Let p = -10 + n. Solve r - 5*h = 0, -h - 6 - p = 2*r for r.
-5
Suppose 0 = w - 5*b - 28, 112 = 4*w + 7*b - 3*b. Solve 18 = 4*p + q, -3*p = 4*q + 8 - w for p.
4
Let a be 2/((-4)/(-9))*2. Let p = 13 - a. Suppose -m - p*m + 50 = 0. Solve 0*x - 2*x - m = 0, 0 = 2*r - x - 11 for r.
3
Let j = 156 - 152. Let h = 9 - 5. Solve 3*u + 8 = h*u + 5*m, -j*u + m + 11 = 0 for u.
3
Let s(c) = c**2 + 6*c + 2. Let i be s(-6). Solve -3*m = i*d, -3*m + 3*d - 11 = -2*m for m.
-2
Suppose 2 = u - 2. Let l(q) = -q**2 - 8*q + 5. Let i = 2 - 10. Let s be l(i). Solve -2*g + s = -3*o + 6, u*g = -3*o - 11 for o.
-1
Suppose -x = 4*k - 11, -8 + 0 = -2*x - k. Suppose x*n - 17 = -4*t, -2*n - 10 + 33 = 5*t. Solve 4*i + 4*c = 28, t = -i - 2*c + 5*c for i.
4
Suppose 3*r = 3*w - 0 - 6, 3*w - 14 = -r. Let n(a) = -a - 3. Let k be n(-6). Suppose 0 = k*u - 0*u - 12. Solve -w*c = 4*j, -j + 10 = -u*c - 3*j for c.
-5
Suppose 4*j = -j - 2*n + 80, 0 = j - 5*n - 16. Suppose -4*h = -3*d + 25, 2*d = 6*d - h - j. Solve -12 = -2*i - 4*g, d*i - g - 2*g = -9 for i.
0
Suppose 15*t + 12 = 18*t. Solve 4*z - 24 = -t*p, -2*p - 3*z - z + 22 = 0 for p.
1
Let g(d) = d**3 - 4*d**2 + 3. Let i be g(4). Solve 3*n - 9 = -i*w + w, -n + w = 2 for n.
1
Suppose 4 + 14 = 3*v. Suppose 2*x + 8 = 3*k, 3*x - k + v = 2*k. Solve 0 = -5*n - 5*i, x*i = 4*n + n - 14 for n.
2
Let g = -8 + 7. Let h be 6 - ((-6)/3 + g). Solve -h = -2*k - x, -k + 3 - 1 = -2*x for k.
4
Let b = 8 + -4. Suppose -5*m + 25 = -5*i, 4*m - 19 = i - 2. Suppose -2*p - m = -b*u, -4*u + 11 = -p + u. Solve -2*h - 3*o = -1, -2*h + h + 8 = p*o for h.
-4
Let s(a) = a + 20. Let n be s(-4). Solve 3*y - b = 9, -n = -5*b - 1 for y.
4
Let u(x) = 0*x**2 + 2*x**2 - x**2 - 9*x + 5 - 3. Let f be u(9). Suppose -39 = -f*t - t. Solve 0 = 3*d + s - 7, -3*d + s = -s - t for d.
3
Let l = 3 - 3. Let j(h) = -h**3 - 6*h**2 - 6*h. Let o be j(-5). Suppose l = 3*v + v, o*y + 5*v = 30. Solve -2*x + 6*x + y = -2*q, -4*q + 5*x = -14 for q.
1
Suppose 3*j + 142 = 2*z, -2 + 4 = -2*z. Let d be (9/4)/((-9)/j). Let m = d - 10. Solve -5*c - m = -12, -4*c = -4*g - 20 for g.
-3
Let u(a) = a + 1. Let k be u(4). Suppose 3*h - 2*p = -11, 0 = -2*h - h - 4*p - 5. Let z be 5/(-3)*h*1. Solve k*q + 4*g - 21 = 0, 0 = -z*q + 2*g - 0 - 3 for q.
1
Suppose 5*b - 28 = -g, 0*g = -5*g + 5*b + 20. Suppose 2*k = 4*v - g, 0*v + v - 20 = -4*k. Solve -z = 5*a - 12, 2*a - 2 = 5*a - v*z for a.
2
Let b(v) = v**3 - 5*v**2 - 2*v + 7. Let w be b(5). Let x = -3 - w. Let r = -114 - -116. Solve x = r*j - 4*k + 2, 0 = -0*j + 3*j - 2*k + 7 for j.
-3
Let i be 5/(-2) + 1/(-2). Let n = 9 + i. Solve -w = -4*y + 3, w - 3*y = 4*w - n for w.
1
Suppose 3*n + 5*t = 40, -3*t - t + 40 = 4*n. Solve 3*k = -n*z + 31, 6*z - 4 = 4*z + 3*k for z.
5
Let i(t) = t + 13. Let x be i(-7). Suppose -2*u - 12 = -x*u. Suppose 0 = 2*b - u*b. Solve k = -b*p - p + 4, 4*k = 2*p + 22 for p.
-1
Suppose -3*d + 37 = 1. Suppose 0 = 3*b + 2*v + 66 - d, 3*v + 9 = 0. Let s = b - -22. Solve 2*n - 6*n