h + y - j, 0 = 2*y + 2*y - 16 for h.
-1
Suppose 12 + 8 = 2*x. Solve -4*r + 9 = -3*a - 0, 0 = 3*r + a - x for r.
3
Let c = -64 + 69. Solve -f + 22 = c*b + 1, 3*b - 2*f - 10 = 0 for b.
4
Let l(u) = -u + 10. Let s be l(5). Let v = -4 + s. Let a be ((-6)/(-8))/(v/4). Solve -t - a*t + 2*w = -12, -2*t = -4*w - 12 for t.
2
Let h = 36 - 51. Let g be ((-32)/(-20))/((-6)/h). Suppose -u - 3*u - g*i + 16 = 0, i = 2. Solve 10 = -2*r + u*q, 2*r + 7*q = 2*q + 25 for r.
0
Let y be (-5)/(-5)*3*1. Suppose -2*r - 3 = -v + 10, -5*r = 3*v + 16. Solve -2*b = v*l - y, -4*b - b + 5*l = -20 for b.
3
Suppose -2 = -q - q. Let f be 0/(-1*q/(-1)). Solve 0 = -2*i - 6, f*o - 5*o - 2*i = 6 for o.
0
Suppose 2*k - 2*b - 13 = -b, -5*b - 25 = 0. Let t(v) = 3*v + 7 + v**2 + 0*v**2 - k*v + 9*v. Let n be t(-7). Solve u = 2*a - 3*u - 14, 2*a + u + 1 = n for a.
1
Let u(p) = p + 7. Let i = -5 - 2. Let b be u(i). Solve b*v + o - 2 = -3*v, o = 5*v + 10 for v.
-1
Suppose 0*h + 2*h = 8. Suppose -3*b = 3*t - 2*b + h, 2*t - 5*b = 20. Solve 0*a = 5*a + 25, 2*p - 3*a - 13 = t for p.
-1
Let t(n) = -n**2 + 13*n + 14. Let v be t(14). Solve 3*a + c - 19 = v, a - 9 = -0*a - c for a.
5
Let i = -5 - -3. Let h be 49/5 + i/(-10). Solve -4*w - x = 13, -w + h = -5*w + 2*x for w.
-3
Suppose -2*h + 2*m = 4*m - 8, -4*m + 4 = -2*h. Solve 3*s + 25 = 8*s - d, 10 = -h*d for s.
4
Let o(k) = 26*k. Let i be o(4). Let a be (-4)/(-14) - i/(-28). Solve -3*w + 4*b + 21 + 4 = 0, 3*w = -a*b - 7 for w.
3
Let l = -1 - -5. Suppose 0*i + 4*t + 12 = -l*i, -2*i + t + 6 = 0. Solve 2*s = -2*w + i + 13, s + 3 = 4*w for s.
5
Let u = 152 + -150. Solve -4*c + u*m + 11 = 5*m, 3*c - 30 = 5*m for c.
5
Let a = -2 + -4. Let n = 6 + a. Solve n = 5*s + 5*h + 15, -4*s - h + 5 = s for s.
2
Let d(u) = -u**2 + 8*u + 3. Let p(j) = j**2 - 4*j + 6*j - 2 + 0*j. Let x be p(-4). Let y be d(x). Solve k = -4*v - y, -k + 4*k = 2*v + 11 for k.
1
Let j be (-10)/110*-11 + 2/2. Let o be (2 - (2 + -2)) + 0. Solve -4*l + l = -4*r, o*l = -j*r for r.
0
Let i = -7 + 1. Let n be (-2)/i*(0 - -3). Let b = 5 - n. Solve -b*r - 21 = -a, 4*a + 5 = -r + 4 for a.
1
Let g = 31 + -21. Let d = 15 - g. Solve 0 = d*z + j + 2 - 1, 5*z - 4 = 4*j for z.
0
Let a(i) = -i + 4. Let f be a(-4). Suppose 6 = -3*d + 5*d + 3*m, 5*m = -d + 3. Solve -20 = -d*v - 3*j - 2*j, f = 5*v + 2*j for v.
0
Suppose 0 = 14*r - 58 + 16. Solve -4*g - r = -g + 5*h, 18 = 3*g - 2*h for g.
4
Let f(i) = -8*i**2 + i. Let g be f(-1). Let k be (-1)/(21/g - -2). Solve 3*j = 5*r - 24, -2*j - 15 = k*j for r.
3
Let v(l) = l - 4. Let q be v(7). Let j = q + 0. Solve -12 = j*p - i + 2, -i - 6 = 2*p for p.
-4
Let o(u) = 5*u**2 + 2 - u**3 + 2*u + 2*u**3 + 2*u + 0*u**3. Let l be o(-3). Solve 4*c + 3*j + 16 = l*c, -5*c = -3*j - 17 for c.
1
Let d = 3 - -5. Solve 0 = 5*c + 4*n + 6, n = -n - d for c.
2
Suppose -5*v + 25 = 0, 2*j + v - 13 = -0*j. Let x be 1 + 2 - 3*-6. Suppose 5*y + x = 3*u, u - 3 = -y - 4. Solve -1 = k, 3*b - u*k = j*b + 1 for b.
1
Let m = -24 - -26. Suppose 177 = -s + 2*s. Let p be s/7 - m/7. Solve -4*i = 3*q + 2*q - 5, -4*q + i + p = 0 for q.
5
Let y(g) = -2*g - 2. Let i(a) = -a + 0 - 3 + 6. Let z be i(5). Let t be y(z). Solve t*h - h - 4 = -r, 3*r = -2*h + 7 for r.
-1
Let z be (4/(-6))/((-9)/27). Suppose -5*l = -4*q - 10 + z, 7 = q + l. Let t(n) = n**2 + n + 3. Let d be t(0). Solve r + q = u, -5*r - 7 = -d*u - 2 for r.
2
Let x be -105*2/(-2) + -2. Suppose 76 = 3*w + g, -4*w - g - 3 + x = 0. Solve -2*d = -p + 4, 0 = 5*p + 3*d + w - 5 for p.
-2
Suppose -42 = -5*q + 78. Suppose -5*w = d - 42 + 119, 0 = 2*w + 5*d + 40. Let v = q + w. Solve -2*f = -r + v, r - 2*r - 6 = 3*f for f.
-3
Let r(y) = 3*y**2 - 4*y**2 + 2*y**2 + 6 - 7*y. Let h be r(4). Let t be h + 9 - 0/1. Solve 3*w + t*g = 2 + 4, 5*w - 13 = -2*g for w.
3
Let j(i) be the third derivative of -i**4/24 - 11*i**3/6 - 3*i**2. Let a be j(-11). Solve a = 5*k - 15, 3*r = -4*k + 1 + 2 for r.
-3
Let n be (-4)/10 + (-52)/(-5). Let s = 20 - n. Suppose 2*z + 0 = s. Solve -5*o = z*f + 35, f - 6*f - 3*o - 29 = 0 for f.
-4
Suppose 2*y + 2 = -5*k, 2*k = y + 5 - 13. Let x be ((-2)/2)/(k/(-32)). Let v be (x/4)/(2/(-4)). Solve 2*s - 2*p - v = 2*p, 4*s = -4*p - 32 for s.
-4
Let r = -10 + 18. Solve 5*i - 4*j - 5 = r, 3*i - 9 = 3*j for i.
1
Let h = 6 - 3. Suppose 6 = -h*l + 6*l. Solve 6*d - 3*d = 4*p - 1, 0 = -3*p + 2*d + l for p.
4
Let l(t) = 8*t + 5*t**2 + 0*t**2 + 0*t**2 - 5 - 4*t**2. Let w be l(-10). Solve -2*i - 19 = i + 4*o, 3*i + w = -3*o for i.
-1
Suppose -2*n = 2*h - 4 - 0, -5*h + 10 = -4*n. Solve h*p + j + 3 = 2*j, p = j - 1 for p.
-2
Let r(v) be the third derivative of -v**5/60 + v**4/4 - 2*v**3/3 - v**2. Let a be r(4). Suppose 0*d + a = d. Solve -3*z + h + 12 = 0, d*z + h - 28 = -z for z.
5
Suppose 3*h - 8*h + 130 = 0. Let g be (h/(-8))/((-3)/12). Suppose 4*u = -v + 67, 2*u = 5*v + g + 26. Solve 3*t = -5*k - u + 1, -4*k = 2*t + 14 for k.
-5
Suppose 0 = 2*a + 5*g - 4, 3*a + g - 6 = -2*g. Solve 2 = a*z + 4*f, -2*f + f = -z + 1 for z.
1
Suppose 0 = 4*t - 0*u - u - 26, 0 = -5*t - 4*u + 43. Let c(f) = f + 2. Let l be c(5). Solve t = 2*v - 2*q - l, 4 = -q for v.
3
Let d(g) = -g - 4. Let a be d(-9). Suppose 0 = a*p - 3*p. Solve 3*o = -p*o + 4*v - 6, 5*o - 2*v = 4 for o.
2
Let r be 0 + -3 - (-23 + -1). Let g be (1 - -1)*r/2. Solve 3*k = -4*x - 18, -x - 4*x = 3*k + g for k.
-2
Let d = 2 - 2. Suppose d = -g + 2*g. Suppose 30 + g = 5*z. Solve 0 = -3*f + w - 3, -4*f + 2*w + 2 = z for f.
-1
Suppose -30 = -5*w + 4*p, 0 = -4*w + 3*p + 11 + 12. Suppose w*u = u + 4. Solve -u*i = -5*l + 1, -6 = 4*l - 6*l - 4*i for l.
1
Suppose 0 = 5*g - 87 + 12. Solve t - 3*t + 2*d + 14 = 0, -3*t + g = -d for t.
4
Let v(q) = q**3 - q**2 - 3*q - 4. Suppose 5*h = 19 - 4. Let s be v(h). Let p = -2 + s. Solve y = -a - 2 + 1, p*a - 4 = 4*y for a.
0
Let c = -47 - -99. Let k = -27 + c. Solve -4*m - k = -r + 4*r, -2*m = -5*r - 7 for m.
-4
Suppose 1 = -j, 5*w + 4*j - 4 - 2 = 0. Solve -5*y + r + 19 = 2*r, -4*y = w*r - 20 for y.
3
Suppose -8 = 2*m - 2. Let q be (m - (0 + -1))*-3. Solve -4*g - 3*d - 13 = 0, 4*g + q*d + 10 = 4*d for g.
-1
Let v be 2/(-10) - (-84)/20. Let d = 4 - 2. Solve u + v = -5*i, d*u = -3*i + u - 2 for i.
-1
Let o = -13 + 16. Solve -j + 5 = -2*w - 3, o*w + 7 = -j for w.
-3
Let v be 4*(18/4 - 4). Solve 4*r + 4*g = 0, -3*r + 0*g - v*g + 1 = 0 for r.
1
Let x(l) = l**3 + 2*l**2 + 2*l + 1. Let v be x(-1). Let j = 7 + 16. Solve 5*p = n - 5, v*p - p + 5*n = -j for p.
-2
Let q = 18 - 5. Suppose -5*p = 3*c - 27 - 56, 4*c + 4*p - 100 = 0. Let k = c - q. Solve -m = 2*i + k, -3*i - 30 = i - 5*m for i.
-5
Suppose 5 = 3*l - 10. Solve -2*g + 17 = -g - 4*a, 2*g = -l*a - 31 for g.
-3
Let w(z) = -z - 9. Let a be w(-16). Solve 5*j - 20 = -f + a, -f = -3*j + 13 for f.
2
Suppose 5*f + 2*k = 12, -5*f + 9 = -k - 0*k. Suppose 4*w - 52 = f*w. Solve -3*a - 8 + w = 3*t, 3*a - 6 = 3*t for t.
2
Suppose -y = -h - 3, -4*y + 3*y - 4*h = 2. Solve -t + 0*t = 2*w - y, 5 = 5*w for t.
0
Suppose -4*z + 64 = -0*z. Let a be (-4 - -1) + (-3)/(-1). Suppose i + 4 - 9 = a. Solve n + n = -i*b - 28, -z = -n + 5*b for n.
-4
Let j = -27 + 33. Solve -2*z - a = a + 12, 0 = 3*a + j for z.
-4
Suppose 3*k = 6*k - 9. Solve 3*r + 5*j - 21 = 2*j, 0 = -r - k*j + 17 for r.
2
Let k(s) = -3*s - 12. Let h be k(-4). Solve 3*p = 6, -t + 7*p - 2*p - 15 = h for t.
-5
Let q(n) = -n**2 + 9*n - 3. Let j be q(8). Suppose -t = j - 7. Solve 0 = -5*w + t*r + 7, 3*w - 4 = -4*r - 5 for w.
1
Suppose -3*y + n = -7, -y = -2*n - 4 - 0. Let g be (-7)/7*(-2 - 2). Suppose -y*q = -g*q. Solve 6 = 2*p + 3*a + a, q = -4*p + 3*a - 21 for p.
-3
Let g(j) = -2*j**2 - 5*j + 6. Let z(s) = s**2 + 2*s - 3. Let m(p) = 4*g(p) + 9*z(p). Let l be m(5). Solve -4*b + a - 1 = -9*b, -4*b - l = 4*a for b.
1
Suppose -7 = 2*o - 3. Let c = 7 + o. Solve 0 = -c*p - n + 3, 4*p - 2*n - 3 = -3*n for p.
0
Let y(z) = z**2 + 21*z + 23. Let x be y(-20). Solve 3*l - 21 = -0*h + 3*h, l + 4*h = -x for l.
5
Let p be 72/45 - 6/(-15). Solve 0 = p*s + y + 5, 4*y + 8 = -5*s + 3*y for s.
-1
Let m = -8 + 10. Suppose 0*t - m*t = 0. Let q be 0 + t + 7 + 4. Solve 3*i - 2*h = q, -i + 2*h + 0*h + 5 = 0 for i.
3
Let p be (-1)/(0 - -1) - -5. Let z(o) be the first derivative of o**3/3 + 12*o - 2. Let q be z(0). Solve 2*a = 10, 0 = -p*v + a - 1 + q for v.
4
Suppose 0*g - 20 = 5*g. Let u be (-27)/g*(-32)/(-12). 