7 + 11. Suppose r*n - 20 = -0*n. Solve -4*a + 1 = -v - 5, 8 = -a + n*v for a.
2
Let f(b) = 6*b + 1. Let i be f(1). Let u(x) = -x**3 - 3*x**2 + 7*x - 8. Let j be u(-5). Solve 0 = k + 2*t - 11, 5*t - i - j = 2*k for k.
3
Suppose 6*y = -5 + 17. Solve 4*l + 3*a = -15, 0 = 3*l - y*a - 3*a - 25 for l.
0
Suppose 5*z - 152 = z. Solve n = 2*a - 3, 2*a - 11 = -5*n - z for a.
-1
Let b(v) = v**3 + v**2 - 1. Let g be b(-1). Let a be ((-1)/2*2)/g. Let f = 0 + 2. Solve 5*c + a = -4*t - 2, 6 = -f*c for t.
3
Suppose s = 2 - 4. Let p(k) = -3*k - 2. Let d be p(s). Solve 3*b + 2*g = -9, d*g - 12 = -0*g for b.
-5
Let g be 9/(-9)*(-9 + 0). Solve 5*o - g = 3*f, 0*f = -2*o + 3*f + 9 for o.
0
Let x(a) = -a - 2*a - 2 + 0. Suppose -4*n - 16 + 2 = 3*y, y = n + 7. Let u be x(n). Solve -5*t - u = r, 4*t + 2 + 9 = -r for t.
-2
Suppose -2*g = 2*b - 14, 4*b - 1 = 3*g + 2*g. Let m be 111/6 - (-1)/2. Suppose -3*h - 60 = -3*r, 3*r - m = h + 39. Solve 2*z = 6*z - 3*d - r, b*d = -4 for z.
4
Let m be (-2)/6 + (-50)/(-6). Suppose 4*s = -w - 5 - m, -3*w = -3*s - 21. Solve 3*t = 5*i - 10, -2*i - 3*t - 20 = w*i for i.
-1
Suppose -3*f + 18 = 5*q, -q + 2*f + 7 = 6*f. Suppose 4*z = q*u + 27, -u = -3*z - 6*u - 16. Solve -z*o = -2*g - 9, -5*g + 5*o - 7 = 8 for g.
0
Let q(g) = g**2 + 5*g - 4. Let u be q(-7). Solve -4*k = -2*x - 20, -4*k + 3*x + u = -3*k for k.
4
Let j be (-4 - -2)/((-2)/3). Suppose x = 3*r + 6 - 1, -4*r = -3*x. Let l be (j - 2)/((-1)/x). Solve 0*m + l*z = 3*m - 19, -4*m = z for m.
1
Suppose -3*h + u + 0 = 1, -2*h = -3*u + 10. Let b be 0 - (-2)/(-4)*0. Let v be (-2 - -6)/(h + b). Solve v*j - 2 = 2*j + 3*t, -j + 8 = -5*t for j.
-2
Let w be (4 + -3)*(1 + -1). Solve -v - 3*v + g = 25, w = 2*v - 2*g + 20 for v.
-5
Let x = -1 + -1. Let f be (-1)/((x/4)/1). Let l be 6/15 - 156/(-10). Solve f*q - 8 = -3*j, -4*q = 2*j + j - l for q.
4
Let f = 24 - 24. Solve -2*h - 8 = -3*i + 3*h, 4*h + 16 = f for i.
-4
Suppose 4 = o - 20. Let f be (-4)/(-14) - o/(-14). Solve 0 = 2*w + 4*k - 7*k + 17, 0 = -f*k + 6 for w.
-4
Suppose 0 = -4*p + v + 23, -5*p - 14 + 48 = -3*v. Suppose p*j = 6*j. Solve 5*y + 3*d - 35 = j, 0 = 5*y - 3*d - 3 - 2 for y.
4
Let w = -3 + 3. Suppose -4 = c - w. Let s = 9 + c. Solve 3*i - 2*o - s = 0, -5*i + i + 4*o + 8 = 0 for i.
1
Let c = 20 + -16. Suppose 2*m + 16 = 6*m. Suppose -m*o + 5*p + 62 = 0, -2*o = -c*p + 3 - 31. Solve -z = i - 4*i - 11, 4*z + i = o for z.
5
Suppose 2*w - 12 = -2*w. Suppose -2*a = -w*a. Solve -2*l + 5*m - 18 = a, 4*m - 11 = -2*l + 7 for l.
1
Suppose 5*b - 45 = 5. Suppose -3*m = -m - b. Solve -q - 2*n = 7, -8 = 5*q - 4*n + m*n for q.
-1
Let b = 42 + -12. Let t = b - 15. Suppose 5 = -2*d + t. Solve d*o = -2*v - 4 + 33, -4*v + o = -3 for v.
2
Let q = 3 + 1. Suppose 5*j - 325 = -s - 4*s, 5*s = 0. Suppose -o + j = q*o. Solve 0 = 4*t + 3*w - 3 + 4, 2*t = w - o for t.
-4
Let z(w) = -w**3 - 10*w**2 - 8*w + 11. Suppose 5*j - 20 = 0, -6*r - 3*j - 33 = -r. Let l be z(r). Solve 7*i - 4*i = l*m + 25, 4*i - 30 = 2*m for i.
5
Suppose -4*p = -5*p - 5*u + 6, -2 = -5*p + 3*u. Let a be 3 + 1 + -1 + p. Solve -5*w + 24 = a*d, d - 14 = -3*w - d for w.
4
Let k be (-10)/(-2 - (0 - 0)). Solve 0 = 2*r - 3*j - 16, -k*r + 3*j - 19 = -10*r for r.
5
Let i be (-24)/(-18) + (-8)/(-3). Solve -1 = -3*l - i*z, 5*z + 1 = -9 for l.
3
Suppose 0 = 4*i - 3*i - 5. Solve -4*u = 5*b - 30, 4*b + i*u = 2*b + 29 for b.
2
Let u(m) = m - 3. Let i be u(6). Solve -i*q - 4 = -q - w, 3*w = -4*q + 12 for q.
0
Suppose -3*q + 18 = 3*l, 2*q = -l + 9 + 3. Solve -5*k + 5*x - q = -26, -k - 4*x = 6 for k.
2
Let h(j) = -j**2 + 8*j - 6. Let c(y) = y - 5. Let x be c(10). Let k be h(x). Solve 3 + k = 4*u, 0 = 5*d - 2*u + 16 for d.
-2
Let w = 68 - 65. Solve -5*f - q = 0, 0*f - w*q = 2*f - 13 for f.
-1
Let v be 2/(-7) - (-32)/14. Solve -4*f + 4*x - 3 + 11 = 0, 4*f - x = v for f.
0
Suppose -g - 42 = -47. Solve 0 = 2*j + 2*x + 1 + g, x = -4*j - 3 for j.
0
Suppose 2*l - 2 - 2 = 0. Suppose -5*w = -5*y + 10 - 40, -8 = -3*w - l*y. Solve c + 2*c - 6 = 3*m, -4*c + w = 0 for m.
-1
Let f(c) = c + 16. Let m be f(-12). Suppose -25 = -3*q + m*j, 1 = -4*q - 5*j - 7. Solve q*a - n + 23 = 3*n, -5*a - n = 0 for a.
-1
Let s = -212 - -218. Let v be (-1 + 1)*(-2 + 1). Solve v = -4*n + 12, -5*n + 41 - s = 5*l for l.
4
Let y be 10/(-5) + 2*4. Suppose y*l - 21 = 3*l. Let h = l + -4. Solve 5*b = 2*m - 21, -h*b - m = 3 + 3 for b.
-3
Let s(y) = -y**2 - 7*y + 2. Let m be s(-7). Let d = 147 + -144. Solve m*b = 5*c - 11, d*c + b + 2*b + 6 = 0 for c.
1
Let z = 11 - -18. Let u(m) = -m + 8. Let y be u(8). Let j(x) = x + 3. Let c be j(6). Solve -4*w + c*w - b = z, y = w + b - 1 for w.
5
Let s be (9/3)/((-6)/76). Let y be (s/(-4))/((-6)/(-12)). Solve 4*g + 9 + 2 = -o, 5*g = 4*o - y for o.
1
Let g be ((-1)/(-2))/((-1)/26). Let i be (-5)/((-20)/16) - g. Solve 4*h = 5*u + i, 5*u + 2*h + 28 = -1 for u.
-5
Let o be (-6)/(-4)*(-64)/(-24). Solve 9 = x + 4*w, -o*x - x = -3*w - 22 for x.
5
Let n be 1 + (-1 + 3 - 1). Suppose 0*j - 4*j = i + n, 5 = 2*i - j. Solve -2 = 2*u + 2*r + 2, 4*r = -u - i for u.
-2
Let d = 13 + -8. Let u(q) = -q**3 - 5*q**2 + 3*q - 7. Let p be u(-6). Solve 3*s = b - d*b + 5, -p = -4*b + 3*s for b.
2
Let r be 132 + (0/1 - 0). Let a be r/21 + (-4)/14. Suppose -a*z = -2*z. Solve -d - 2*p - 6 = z, 18 = -d - 3*d - 2*p for d.
-4
Suppose 3*d + 36 = 39. Solve -r = o - 2, 0 = -4*r + r + 2*o + d for r.
1
Suppose 15 = 3*g + 6. Suppose -3*k + 13 = -4*k - 5*b, -g = -3*k - b. Solve k*m = 3*v + v - 8, 2*m - 3*v = -8 for m.
-4
Suppose -19 = -6*d + 5. Solve d*s + 2*n - 4 = 0, 2*s = -0*n - 4*n - 10 for s.
3
Let v be 1/(-2) + (-14)/(-4). Suppose -2*j = v*j. Solve t - 6*t - 5*s - 30 = j, t = 5*s for t.
-5
Let y = -10 - -7. Let s = 1 - y. Suppose 4*c - 5*p = 32, 3*c = s*p - 2*p + 24. Solve -c*h + 4*h + 13 = -5*q, -2*q + 5*h - 12 = 0 for q.
-1
Let w = -3 - -5. Suppose -9 = -2*c - 3*p, 2*c - 6 = -3*c - w*p. Suppose c = g + g - 14. Solve 5*m - 2*s - 20 = -g, 0 = -4*m + 5*s + 24 for m.
1
Let j(b) = 10*b + 143. Let i be j(-13). Let n(h) = 4*h - 5. Let u be n(6). Solve -u - 4 = -5*z - g, z - 4*g = i for z.
5
Suppose v = 4*v - 138. Let i(z) = -20*z**2 - 1. Let t be i(1). Let u = v + t. Solve -4*w = 0, -5*w = 5*h - 0*h - u for h.
5
Suppose -2*x = -3*x + 4*z + 7, 3*x - 8 = -z. Solve -5*y - 30 = -5*t, 5*t - 13 + x = y for y.
-5
Let z = 53 + -31. Suppose -2*x = 3*f - z, -8 = -5*f + 3*x - 3. Let c be (-3 - 2)*(-28)/10. Solve -4*b + f*y + 28 = 0, -3*b - 2*y = 2*b - c for b.
4
Let r(s) = 7*s - 2. Let x be r(1). Suppose 30 = x*h + 4*d, -d - 10 = -3*d. Solve -3*u + 2*i - 2 = -13, -2*i = h for u.
3
Let t(u) = u + 9. Let c be t(-9). Solve 0*i - 3*i - 5*s = c, 0 = -3*i - 2*s for i.
0
Let m = -3 - -6. Suppose -f = -2*v + 4*v - 1, -5*v + 19 = -m*f. Solve 0 = -v*p + 3*y - 8, 5*p + 3*y + 18 + 2 = 0 for p.
-4
Let p(v) = -v**3 - 3*v**2 - 3*v + 2. Let o be p(-2). Solve l - 10 = 2*x, 10 = -o*x + 2*x - l for x.
-5
Let f = 39 - 39. Solve 8*t = 5*t - 4*y - 20, -4*t + 4*y + 20 = f for t.
0
Let b(a) = a - 11. Let f be b(9). Let q be ((f - -1) + 2)*7. Solve -4*l = -2*g - 9 - 13, -g - q = -l for l.
4
Let s = -18 + 22. Solve 5*f + 9 = 2*i, -s*f - 4 = i + 11 for f.
-3
Suppose 5*o + 5*a = 0, 5*a = o - 21 + 9. Suppose 4*r + o = 22. Solve -i = -5*q - 0*i - 8, 0 = 4*q + r*i - 11 for q.
-1
Let c(n) = 2*n + 1. Let u be c(-1). Let o(y) = -5*y**3 + y**2 + y. Let p be o(u). Solve -p*t - 6*k + k - 15 = 0, -2*k + 1 = -5*t for t.
-1
Suppose 4*x - 5*p + 10 = 0, -p + 0*p = -4*x - 2. Suppose -m - m = x. Solve 3*o - 40 = 5*b, m*o - 35 = 5*b - 2*o for b.
-5
Suppose -6*k = -k - 80. Solve -4*x - k = v, 1 - 23 = -3*v + 2*x for v.
4
Let d be (-4)/10 - 189/(-35). Solve 0 = -5*v + d*p, 6*v - 3*v = 5*p - 10 for v.
5
Let v(x) = -x**2 - 8*x - 3. Suppose 0 = h + 2*k + 3, h - 5*k + 17 = -0*k. Let s be v(h). Let b = -3 + 6. Solve s*j - 11 = -b*p, -p - 5*j = p - 5 for p.
5
Let h be 12*(3/9 - 0). Suppose -x - f - 9 = 2*f, -5*x + 31 = -h*f. Solve 5*u - 19 = m + 2*m, 0 = u + x*m - 11 for u.
5
Let z(b) be the first derivative of -b**4/4 + 7*b**3/3 + b**2/2 - 4*b + 4. Let g be z(7). Solve -3*p - p + 2*t = -2, 5*p + 3*t + g = 0 for p.
0
Suppose -3*s = -21 + 6. Let l(m) be the third derivative of 7*m**6/30 + m**3/6 + m**2. Let u be l(1). Solve u = -s*d + 3*r, -d = -r - 2*r + 13 for d.
-4
Suppose 2*t + 2*t = 16. Let r be ((4 -