t a(k) = -k**2 - 4*k + 7. Let r be a(-6). Let v be r/(-2 + 2 - 1). Solve 4*b + 4*m - 8 = 0, 0*b + 2*b = -v*m + 13 for b.
-1
Let i = 6 - 4. Suppose 0*t - i = -t. Solve 7*o - 40 = t*o + 5*n, -3*o + 12 = n for o.
5
Suppose -2*k = -v + 8, -5*k - 8 = v - 2. Solve 5*w + 4*z = -13, v*w - 5*z = -0*w - 35 for w.
-5
Suppose -18 = -q - 14. Solve -q*a = -2*o - 4, -4*a - a = 3*o - 27 for a.
3
Let c be 1*(-1 + 4)*1. Let p = 11 - 9. Let s be (p - 2)/3 + c. Solve -y + 22 = 4*h + h, -12 = -s*h for y.
2
Suppose 8 = -3*k + 14. Solve -4*b = -2*u - 2, 6*b + 4*u = k*b + 8 for b.
1
Suppose -5*o = -24 + 9. Solve 0 = o*h + 5*t - 20, 3*h - 2*t + 8 = -0*t for h.
0
Let d = 11 + -7. Let q(g) = -g**3 + 4*g**2 + 7*g - 4. Let m be q(5). Solve -p + j = -j - m, p - d = j for p.
2
Let q = -23 - -68. Suppose -2*s - q = -5*s. Let r = 29 - -1. Solve -2*z = t + 3*z - r, -4*t + s = -z for t.
5
Let y(m) = 2*m + 31. Let w be y(-14). Solve -5*v + 5 = -w*k, 5*v + 0*v + 2*k = -20 for v.
-2
Let y(t) = -4*t. Let v be y(-2). Suppose 6*j - 11 = 2*j - a, -4*a + v = -2*j. Solve -j*f = -3*r, -6*f + f - 4*r = 0 for f.
0
Let f = 6 - 2. Suppose -2*g + f = -0*g. Solve -2*z = -5*o - 6 - 15, -3*o - 11 = -g*z for o.
-5
Let k be ((-15)/6)/((-2)/8). Solve -2*i + i = 4*w + k, -w + 1 = 2*i for w.
-3
Suppose 6*j - 7 = 29. Solve -2*r = n + 2, -3*r + 4 = 2*n + j for n.
2
Let r = 0 + 1. Let a be (-78)/(-4) + r/2. Suppose 0*y - 5*y = -a. Solve j = y*g + 18, -4*g - j + 6*j = 10 for g.
-5
Suppose t + t = -v - 7, 0 = -3*v + 5*t + 34. Let l be (-4 + 6)/(3/v). Solve 0 = -y + 5, 2*f - l*y = -y - 1 for f.
2
Let h be (1 - 1) + (8 - 14). Let z(i) = i**2 + 7*i + 8. Let j be z(h). Solve 2*o - j + 16 = 5*t, o = 2*t - 5 for t.
4
Suppose 2*q + w = -3*w + 40, 5*q = -2*w + 60. Let p be 2/(-5) - 36/q. Let h = p - -6. Solve 4*c + 20 = -3*y - 0*y, h*y = c - 6 for c.
-2
Suppose 2*g - 18 + 2 = 0. Suppose 0*m = -5*m - 5*k + 100, -5*m + 85 = 2*k. Let q = m - g. Solve r = -3*o - 12, 4 = q*r - 4*r + o for r.
3
Let u = 0 - -2. Suppose -4*a = 2*x - 54, -2*x + 0*a - a = -39. Solve u*d - 5*g = -x, -5 = -3*d - 3*g + 1 for d.
-1
Let a be (10/(-4))/(-1) + 4/(-8). Solve 4*m + a*p - 13 = p, -m + 5*p - 2 = 0 for m.
3
Let t = -1 - -14. Solve 16 = d - 5*p - t, 0 = -5*d - p + 15 for d.
4
Let g be 3 - 3 - -3 - 1. Suppose -g*t - t = -6. Solve 2*n = 4*n - 2*p - 4, 0 = 5*n - p - t for n.
0
Let a be 6/4*160/12. Let w be -3 + 4 + 1*8. Let c = -20 + 31. Solve p = 5*l + a, -l + c = -5*p - w for l.
-5
Suppose -4*y + 11 = -5*u + 36, 5*y = 2*u - 10. Solve y = -3*d - j + 1, 5*d - 4*j = 2*d - 19 for d.
-1
Suppose 0 = -5*p - p + 66. Solve p = 4*x - i + 4*i, x = -4*i - 7 for x.
5
Let c be 3/((0 + -1)/(2 + -3)). Let s be (2/4)/((-1)/(-12)). Suppose 0 = -y - c + s. Solve 3*h + h = -y*l - 14, -h + 2*l - 9 = 0 for h.
-5
Suppose 0 = 5*a + j - 88 - 29, -a + j + 21 = 0. Solve -c - 3*y + 14 = 0, 7*y - a = 3*c + 3*y for c.
-1
Let o be (12/(-10))/3*-30. Let k(v) = 2*v + 3*v - 3 + 4. Let f be k(2). Solve 2*w + q = f, 4*w + q - 7 = o for w.
4
Let j(l) be the third derivative of l**4/24 + 4*l**3/3 + l**2. Let n be j(-6). Suppose 4*g - 6 = n. Solve 0 = g*h - u + 8, 5*u - 10 = -5*h - 0*u for h.
-2
Let f be (-126)/(-33) - (-2)/11. Let a = -2 + f. Suppose -2*b = 2*u - 20, -3*b + 4*u + 5 = a*u. Solve 4*p - 18 = -b*n, 3*p = 8*p - n - 8 for p.
2
Let o(q) = 2*q - 6. Let d be o(11). Let k(z) = 0*z - 3*z**2 + 2*z**2 + 5*z - 2. Let v be k(3). Solve -3*a - 13 = -n, -3*a - d = v*n + 2*a for n.
1
Suppose 20 = p + 3*p. Suppose x = p*x - 8. Suppose -3*g + 7*g = 0. Solve 4*z + 2*r = -r, g = -z - x*r for z.
0
Suppose x - 3 = 0, -3*j + 8 = -4*j + 4*x. Solve -11 = 5*z + f, 5*z + j*f + 15 = -f for z.
-2
Suppose v - 11 = 4*u, -5*v - 6*u + 5 = -u. Let m be -3 + (5 - (v - 3)). Solve 5*t - 1 = -3*z + 6*t, -m*z - 4*t + 24 = 0 for z.
2
Let k be (-4 - -4) + (3 - 1). Let b be 5/2 + (-1)/k. Suppose -4*t + 8 = -0*t. Solve -b*g + t*x + 10 = -2*x, 5*g = x - 11 for g.
-3
Suppose b = 4*n + 3*b + 74, -5*b - 5 = 0. Let j be n/(-15)*(-5)/(-2). Solve 2*v = j*q - 21, q - 2*v + 6*v + 7 = 0 for q.
5
Suppose 5*n + 0 = 5. Let r = 3 - n. Solve 3*l - 5*c - 6 = l, 3*l + r*c - 9 = 0 for l.
3
Let w = 8 + -10. Let c be w/3*15/(-2). Solve -c*h = -h - 2*j + 12, -j = 4*h + 12 for h.
-3
Suppose -2*l + 0*l = -8. Suppose -4*i - z + 3*z + 20 = 0, l*z + 4 = -i. Solve -4*y = -n - 0*n - i, -5*n = 2*y - 2 for n.
0
Let p(w) = w**3 - 4*w**2 - 5*w + 2. Suppose 10*j - 100 = 5*j. Suppose 2*q + j = 6*q. Let t be p(q). Solve k - 5*o + 23 = t*k, 0 = -k - o + 7 for k.
3
Let h(g) = -2*g - g**3 - 6 + 6*g**2 + 8*g + 3*g. Let o be h(7). Suppose -q = -x - 2, 2*x - 4*q = 3*x - o. Solve x*c - 2*d = -2*c - 6, 6 = -3*d for c.
-5
Let l = -8 - -7. Let p = 3 - l. Solve -p*x = -3*k - 18, 0*k - 2*k - 4 = 0 for x.
3
Suppose -p + 185 = 181. Solve p*j + 5*v - 37 = 0, 4*v - 5 = 3*j + 2*j for j.
3
Suppose -69*j + 73*j - 12 = 0. Solve -17 = 5*b + o, 3*b + j - 4 = 5*o for b.
-3
Let b(n) = 5*n**2 - 2*n + 1. Let v be b(1). Suppose -4*g = -v - 8. Suppose 5 = t - g*l - 0, 2*l = 5*t - 12. Solve -3*h - p - 5 = -5*p, t*h - p = 5 for h.
5
Let w = 1 + 5. Suppose 2*f + f = w. Let z be f - 2*(-18)/3. Solve i - 3*i - 5 = v, 2*v = -5*i - z for v.
3
Suppose -2*r - 2 = -3*r. Solve -3*u = b - 2*b - 4, -r*b = u + 8 for u.
0
Let a(h) = -h**2 - 15*h - 26. Let s be a(-13). Solve -5*x + 5 = s, 2*y = -0*y + 5*x - 5 for y.
0
Suppose -2*n + 1 = -11. Let k be (3/n)/(2/16). Suppose -c = k*t - t - 4, 4*t - 7 = -c. Solve -3*h = d - 8, -t*h - h + 32 = -4*d for d.
-4
Let c = -8 - -5. Let v(s) = s**2 + s - 2. Let l be v(c). Solve -2*k = 3*k + 2*h + 23, -l*k - 4*h = 16 for k.
-5
Let g be 12/2 + 5 + -7. Suppose g*t + 9 = 5*x, 16 - 61 = -5*t - 5*x. Solve 2*s + l - 2 = -3*l, 8 = 4*s + t*l for s.
3
Let y = 13 + -13. Let g = -5 + 8. Suppose 2*w = -2*t + 8, -w = g*t + 3 - 9. Solve u - 3 = 3*o - 1, y = w*u + 2*o + 5 for u.
-1
Suppose 2*y - 11 = 5. Solve 6*q - q + y = 3*a, 5*q = -5*a for a.
1
Suppose 6*u + 5*f = 4*u - 15, -2*u = 4*f + 16. Let m = -7 - u. Solve -x + 10 = -0*h + 2*h, -m*x + 26 = 5*h for h.
4
Let n = 9 - 10. Let d be n/(2/8*-1). Solve -5*m + 31 = d*l, -3*m - 2*l + 0*l = -17 for m.
3
Suppose -5*j + 17 = -q - 1, -5*q - 3*j = -22. Solve -3*h = -3*t - t + 12, 0 = q*h - 2*t + 8 for h.
-4
Suppose 3*a - 47 + 8 = 0. Let m = a - 11. Solve 0 = m*k + 4*v + 24, -k - 11 = v - 3 for k.
-4
Let h be -13 + 4 - (-1 + 2). Let u = -6 - h. Solve u*y + 4*t = 12, 6*y = 2*y + 2*t + 24 for y.
5
Let q be 2/(2/1) - (-2 - 10). Solve o + q = 3*h, 4*h - 6*o + o - 21 = 0 for h.
4
Suppose -1 - 1 = -u. Suppose -2*w = 2*r, 0*r + 12 = u*r - w. Solve -r*j + 3*a + 8 = 0, 4*a - 7 - 19 = -2*j for j.
5
Let n(o) = o + 3. Let m be n(3). Suppose 3*q + 1 = -t, m*t - 2*t + 4 = -5*q. Suppose q = 3*f - 0*f. Solve -3*y + 23 = 4*c, -4*c + 18 = -2*y - f*y for c.
5
Let w = 12 + -21. Let s = w - -13. Let i be (10/(-4))/((-2)/4). Solve -4*r - 8 = 2*v + s, i*r - 5*v + 30 = 0 for r.
-4
Let z(s) = s + 1. Let p(m) = -m**2 + 6. Let j(d) = -p(d) + 5*z(d). Suppose 4*c = 6*c + 12. Let w be j(c). Solve -4*n + 36 = w*y + 13, 2*y - 2 = 2*n for y.
3
Let p(q) = 2 - 3 + 0 - q. Let s be p(-3). Solve -s*v + 6 = -l, -v + 2*l + 6 = -0*l for v.
2
Let y = 0 - -3. Suppose 3*h = 9 + y. Solve -2*t - 2 = -b - 2*b, 3*t - h = b for b.
2
Let c = -3 + 3. Solve -7*x - 13 = -2*x + 3*t, 5*x - 5*t + 5 = c for x.
-2
Let f be (-3)/(-4*(-18)/(-120)). Solve a + 3*a - 3*t = 28, -f*a - 5*t = 0 for a.
4
Let t be 40/(-6)*(-3)/2. Let v = t - 6. Solve -m + 10 = -3*f, 0*f + 24 = -4*f - v*m for f.
-4
Suppose -3*d = -5*s + 38, 4*d - 5 = -5*s + 26. Solve -4*y = -3*y - 5*v + s, -y + 2*v - 1 = 0 for y.
3
Let k(b) = 16*b**2 + 61*b - 66. Let p(y) = -3*y**2 - 12*y + 13. Let n(a) = 2*k(a) + 11*p(a). Let r be n(-11). Solve -4*z - w - 6 = r, -z = w - 0*w + 3 for z.
-1
Suppose 3 = -2*c - 11. Let o = 14 - c. Suppose -o = 3*j - 78. Solve 3*w + 2*q = -j, -4*w + 4 = -4*q - 4 for w.
-3
Let q(d) = 4*d**2 + 1. Suppose 0*n + n = 1. Let m be q(n). Solve -11 = 4*r + 3*x, r + m = -0*r - 3*x for r.
-2
Let p be 0/(-1)*(0 - 1). Suppose 0 = -0*w + w - 2. Let l = w - p. Solve 2*z - 5*u + 31 = 0, -3*z - l*u = -0*u - 1 for z.
-3
Let f(p) = -p**3 - 3*p**2 + 4*p + 3. Let q be f(-4). Solve 16 - 1 = q*v - 3*c, c - 3 = -v for v.
4
Let x(k) = k**2 - 6. Let g be x(-3). Solve -z + 0 + 3 = 4*u, 2*z - 1 = -g*u for z.
