v + 23, 3*p - s = 5*v for p.
5
Let g(o) = -o**2 + 9*o - 4. Let p be g(4). Suppose -f + p - 1 = 3*j, 5 = -f + 2*j. Let n = 4 + 2. Solve -7 = n*t - 4*t + h, -f*h = -t for t.
-3
Suppose 0 = 2*n - 16 - 0. Let z be 46/(-14) - (-8)/28. Let s be (-1 - z)*10/4. Solve -j - n = -2*h, j + s*h + 7 = 20 for j.
-2
Let h(b) = 3*b**2 - b. Let t be h(-1). Let k = t - 2. Solve 2*i - 2 = -3*g, -3*i - k = -4*i - 2*g for i.
-2
Suppose 15*t - 33 = 4*t. Let w = -9 + 20. Solve 4*o - t*x + 3 = -w, -x - 7 = o for o.
-5
Suppose -4*q = 8 + 12, 4*a = -2*q + 22. Let j(v) = v**2 - 1. Let s be 0/2 - 2*1. Let w be j(s). Solve m = 2*n - 0 + a, -3*m = 3*n + w for n.
-3
Suppose 0 = -i - 7*i + 64. Solve 6 = -x + 2*y, 0 = 2*y - i + 2 for x.
0
Suppose 0 = -2*i - y + 93, 174 = -i + 5*i - 2*y. Let t = i - 31. Let c = -3 + t. Solve 0 = 4*s + 4, -s + c = -4*u + 4*s for u.
-4
Let s(r) = r - 5. Let q be s(7). Suppose 2*p - q = 2. Solve a - 3*t = 2 + 9, -5*t - 19 = -p*a for a.
2
Let a(n) = 0 + 7*n - 3 + 2*n - 3*n. Let o be a(3). Solve -d + 3 = l - 2, 3*l + o = 3*d for l.
0
Suppose 5*d + y - 14 = 0, 4*d = -2*y + 11 + 5. Solve v + d*w + 10 = 0, -6*w - 10 = -5*v - w for v.
-2
Suppose -4*h - 16 = -3*b, b - h = 4*b - 26. Let l(x) = -x + 5. Let v be l(b). Let a be 1/2*v*-2. Solve 4*c + 4 = a*k - 4, 0 = 3*c - 2*k + 6 for c.
-2
Let b(w) = -w**2 - 11*w + 14. Suppose -5*l + 3*l - 42 = 4*u, 3*l = 4*u + 57. Let i be b(u). Solve -5*c + 3 = -2, i*n - 3*c = 7 for n.
5
Suppose -5*x = -4*x - 2. Solve -4*w = -x*o, 4*o + 10 = -w + 2*o for w.
-2
Let m(b) = -b - 3. Let j be m(-5). Let t(k) = k - 2. Let w be t(5). Let d = w + j. Solve -3*l = -2*f + 7, f = -3*l + 2*f - d for l.
-1
Let a be (6/(-9))/((-2)/3). Let k be (0/(-9))/(a + 0). Solve w + 5*h - 2*h + 2 = 0, -2*w - 2*h = k for w.
1
Suppose -3*o - 7 = -k + 2, 3*o + 9 = 2*k. Solve -4*r + g + k = 5, -5 = r - 4*g for r.
-1
Let v be ((-12)/42)/(2/(-14)). Suppose 3 = o + v*x, 2*o = -4*x + x + 7. Solve -25 = o*b + 5*a, -4*b - 2*a - 24 = 3*a for b.
-1
Let b(s) = s**3 - 6*s**2 + 2*s - 7. Let a be 9 - 1/(1/3). Let j be b(a). Let k(f) = f**2 + f + 1. Let d be k(-3). Solve d = l + v, j*v = -2*l + 7 + 19 for l.
3
Let r(v) = v**3 - 8*v**2 + 6*v - 5. Let a be r(7). Let u(f) = -f - 11. Let x be u(a). Solve -4*o + 4*j - x = 7, 26 = -4*o - 2*j for o.
-5
Let y be 1 + -2 + 49 + 2. Let p be ((-6 + 2)/2)/(-1). Suppose -5*j = 2*b - y, 5*j - p*b - 78 = -8. Solve 5*t + 4*x + j = t, 3*x = -t - 13 for t.
2
Let u(p) = p**2 + 7*p. Let a be u(-7). Suppose -3 + 5 = r. Let k be (-4)/(1/1 - r). Solve 8 = 4*v, -k*b + a*b - 2*v = 4 for b.
-2
Suppose -5*g + 25 = -0. Solve g*u + s - 5*s - 7 = 0, 4*s = -12 for u.
-1
Let p = -13 - -6. Let g = p - -6. Let y be (g/(-3))/((-2)/(-18)). Solve -4*n + t = y, 0 = -2*n - n + t - 2 for n.
-1
Suppose 8 = 4*l - 0. Solve z = -l*c - 2*c - 7, 3*z - 2*c = 21 for z.
5
Suppose 0 = 16*v - 77 - 211. Solve 4*i - 2*d - 14 - 6 = 0, -4*i + v = -d for i.
4
Let q(s) = s**3 + s**2 + s. Let p be q(0). Suppose -8 = 4*t + 5*m, -4*t - m + 32 = -6*m. Solve 3*y - t*f - 16 = y, p = 5*y - 5*f - 30 for y.
2
Let y = 4 - 3. Suppose 0 = -u - j - 3 - y, -16 = u + 4*j. Let q be u + 1 - 8/(-4). Solve -4*k - q*s - s + 8 = 0, 18 = 4*k - s for k.
4
Let u be (-3)/3*0 + 4. Suppose -m = u*m - 15. Suppose -a - 7 = -j - m*j, -4*a - 8 = 4*j. Solve -5*v - 5 = b - j, -4*v = 3*b + 12 for b.
-4
Suppose 25 - 70 = -u. Solve -q + 6*q + 5*l = -u, 4*l = -2*q - 26 for q.
-5
Let h = 1 + -10. Let u be ((-6)/3)/(6/h). Suppose -2*d + 5 + 9 = o, -5*o = 3*d - 35. Solve -4*z + 1 = -u*y, 5*z = 4*z + o*y + 10 for z.
-2
Let h be (-7 + 5)*9/(-2). Let r = -3 + h. Solve 0 = -3*w + r, -w = b - 0 - 1 for b.
-1
Let i = 18 - 14. Solve -i*u = 3*h - 3, -4*u - 1 = 2*h + 1 for u.
-3
Let z be 2/(-9)*45/(-5). Solve -l - 2 = -i, l - z*i + 2 = -0*l for l.
-2
Suppose s - 3*y - 20 = -0*y, 5*y + 38 = 2*s. Suppose -4*c = -c - 4*v - 34, c - s = 2*v. Let k = 2 - -1. Solve 0 = 3*o - x + 13, -o + 19 = -c*o + k*x for o.
-5
Let s(h) = -h + 3. Let k = 11 + -8. Suppose 4*y = 3*z + 12, k*y + 3*z - 9 = 7*z. Let g be s(y). Solve -2*l + 3 = b, 5*l + 2*b + 2*b - 12 = g for l.
0
Let k be 141/9 - (-1)/3. Suppose 0 = 5*g - k - 9. Solve c + f = -0 - 5, 5*f + g = 0 for c.
-4
Let w = 5 - 1. Suppose 0 = -w*u + 20 + 8. Solve -15 = -3*r + u*g - 2*g, 2*r + 2*g - 10 = 0 for r.
5
Let z(j) be the first derivative of 5/2*j**2 - j + 1. Let k be z(1). Solve -q = 4*n - 10, 7 = 3*n - k*q - 10 for n.
3
Let k(h) = -5*h**2 + 5*h + 2. Let s(g) = -2*g**2 + 2*g + 1. Let l(n) = 3*k(n) - 8*s(n). Let z be l(-4). Solve 2*v + 2*a + z = 0, -4*v + 4 + 0 = -4*a for v.
-4
Suppose x = -3*x - 12. Let t be (16/(-6))/(-2)*x. Let f be t/(-14) - 76/(-28). Solve -2*r = 2*z + 12, -f*r - z = -3*z - 7 for r.
-1
Let h be 7/2 - (-5)/(-10). Suppose 40 = h*i - 2. Solve n - 3*u = -6*u - i, 2*u = 2*n - 4 for n.
-2
Let y be ((-1)/(-2))/((-2)/(-132)). Let s = -20 + y. Solve 4*m = -3*b - 5, -5*m + s = 38 for b.
5
Let x(t) = t. Let p be x(-4). Let s = p - -8. Suppose n + s*w = 2*w + 10, 5*n - 35 = -5*w. Solve 0 = -n*z + 4*u + 8, 0 = 5*z - u - 2 - 4 for z.
1
Suppose x - 4*q - 29 = 0, 0 = x + 3*q + 5 + 1. Let n = x + -5. Solve 5*m + 7 = -6*l + 3*l, n*m - l + 9 = 0 for m.
-2
Let d = 0 - -3. Suppose -5*s - 3*w - 9 = 0, -2*s - d = -0*s + w. Let t be (2 - (-3)/(-2))*s. Solve 5*h - 6 = 4*c, -3*h + 5*c = -t*c - 1 for h.
2
Suppose -3*d + 6*d = 48. Solve 3*a = -2*x + 5*a - d, 24 = -4*x + 2*a for x.
-4
Let m = 3 + -1. Suppose m*h = h + 9. Solve x + 5*j = -3, -4*x + j = -x + h for x.
-3
Let i(q) = -q**3 - 9*q**2 - 3*q - 7. Let k be i(-9). Suppose -6*p = -2*p - k. Solve 5*b - 24 = -t, -3*t - 4 = -p*b + b for t.
4
Suppose -3*a + 2*a + 4 = 0. Suppose 4*l - 2*v + a*v = 26, -3*v = 4*l - 31. Solve -2*h = u - h, 40 = l*u - 4*h for u.
5
Suppose 5*c - 34 - 26 = 0. Let l = c - 7. Solve -l*x = 2*d - 21, 5 = x + d + 2 for x.
5
Suppose -3*f = -6*f + 3. Let t be (0/7)/(-3 + f). Solve i + 6 = 4*u, t*u - 6 = 2*u + 4*i for u.
1
Let x be -6*1/(-4)*2. Let v = -38 + 43. Solve 0 = -x*a - f - v, -5*a - f + 3*f + 10 = 0 for a.
0
Let s(n) be the second derivative of -n**3/3 - n**2 - n. Let g be s(5). Let i be (-31)/(-6) - (-2)/g. Solve -z = -4*z + 15, i*f + 4*z - 30 = 0 for f.
2
Let k(v) = -v - 36. Let g(s) = 7. Let f(b) = -11*g(b) - 2*k(b). Let z be f(5). Let r = -2 + z. Solve -4*y - 3*x - 2 = 0, -10 + 3 = -r*y + 2*x for y.
1
Suppose -9 = -5*c + 6. Let t(g) = -g**3 + 5. Let b be t(0). Suppose -h + c = -5*r - b, 4*h = -5*r + 32. Solve 2*j - 11 = 5*d, -4*d = 5*j + 30 - h for d.
-3
Let k(r) = -r + 2. Let x be k(-3). Solve 0 = -p - 1, -x*n = p - 0*p + 16 for n.
-3
Suppose 0 = 11*j - 11 - 33. Solve -3*a - 4*n = 2*a + 7, -3*a - j*n = 1 for a.
-3
Let g = -56 + 61. Solve 0 = -3*f - y - 7, 3*y = 5*f + 40 - g for f.
-4
Suppose 2*k = -0*k - 18. Let s be 1/2 + k/6. Let o be (s + 12/(-3))/(-1). Solve -5*b = -o*t + 5, 2*b = 3*b + t - 5 for b.
2
Suppose 2*n - 6 = -2*l, 4*n - 2*l - 2 = 4. Let x(t) = -t**3 + t**2 + 2*t + 2. Let b be x(n). Solve -3*j - 2*h - b = 8, -3*j = 3*h + 15 for j.
0
Let h be -10 + 1 - 8/(-4). Let o = h + 14. Solve 3*d = -x - 7, -o = -0*d - d - 5*x for d.
-3
Let s be -1*(1 - 0)*-4. Let f = -4 - -6. Solve c = 5*j, 3*c - f*c + 9 = -s*j for c.
-5
Suppose -16*d + 13*d + 15 = 0. Suppose 7*k - 4 = 3*k. Solve d = -5*m - 5*r, -3*m = -2*r - 13 + k for m.
2
Let o(m) = m**2 - m - 3. Let t be ((-9)/(-6))/(2/4). Let g be o(t). Solve -3*w - 4 = f, 0*f = -4*w - g*f - 7 for w.
-1
Let y = 3 + -1. Suppose 2 = y*i - 22. Suppose 0*o = -o + i. Solve p + 10 = 6*h - 3*h, -3*h + 3*p = -o for h.
3
Let v = -44 + 47. Solve 0 = -5*o - 4*s + 2 - 0, 0 = v*o + 2*s - 2 for o.
2
Suppose 2 = 4*m - 34. Suppose 3*r = -2*f - 1 + 7, 0 = -3*r - f + m. Suppose r*t + t = 0. Solve t = 5*y - 2*s - 15, -4*y + y = 2*s - 9 for y.
3
Suppose -4*q = -18 - 2. Let v = 5 - q. Solve 0 = 4*w + d + 18, d + 2 + 0 = v for w.
-4
Let u be (-20)/(-28) + (-4)/(-14). Suppose 4*n = 17 - u. Solve g - 20 = 5*g + n*d, -3*g = 2*d + 10 for g.
0
Let z = 6 + -4. Suppose 2*u - 4 = d - 0*u, -2*d - z*u + 16 = 0. Solve -d*b = -4*y - y, y - 2*b = 0 for y.
0
Let k(a) = a + 5. Let j be (-2)/(4/30*3). Let p be k(j). Let o = 3 - p. Solve 5*t = -0*g + 5*g + 40, -5*g + o*t - 30 = 0 for g.
-3
Let j = 0 - 0. Suppose j = -r + 3. Suppose -2 = 2*n - r*n. Solve -8 = 4*w, n*x = -3*w - 5 + 1 for x.
1
Suppose 