-4
Let o(s) = s. Let q be o(4). Let f(d) = -2*d**2 + 52*d - 46. Let x be f(25). Solve q*b + 1 = 4*j - 3, -5 = -b + x*j for b.
-3
Suppose 4*x - 368 - 18 = 3*a, 2*a = 5*x - 479. Suppose -99 = -3*n - 3*s, -3*s = 3*n - 2*s - x. Solve -v - 2*v = -5*o - n, -4*o = -2*v + 24 for o.
-5
Let i be 0 + 2 - (8 - 2 - 8). Solve 2*t - i*s + 14 = 0, 2*s - 4 = -t - t for t.
-1
Let i = 4 - 2. Solve -4*c + 16 = w, 5*c - 3*c - 8 = -i*w for c.
4
Let g(m) = -4*m - 14. Let k be g(-9). Solve 2*r + 4*d = k, -2*r - d - 2 = -4*r for r.
3
Suppose -2*k + 3*k = 4. Suppose 5*g = -4*x + 28, -g + 2 + 6 = 2*x. Solve -3*v + k*n + 5 = 0, 2*v + 11 = g*v + 5*n for v.
3
Let f(i) = -i**2 - i**2 + 19 + 19*i**2 - 6*i - i**3 + 23*i. Let n be f(18). Let l = 5 - -3. Solve 3*b + x - n = -6, -4*x - l = 0 for b.
-1
Suppose 4 + 21 = 5*m. Let o = -3 + m. Suppose -2 - 2 = -4*u. Solve -u = -z - p, o*z + 5*p = 5*z + 29 for z.
-3
Suppose -a + 72 = 4*r, -3*r + 4*a = 3*a - 54. Suppose -3*k - 21 = -4*w + w, w + 4*k + r = 0. Suppose q - 1 = w. Solve 23 = 2*b + q*t, 3*t - 9 = 6 for b.
4
Let l = 104 + -103. Solve 4*k - 20 = -4*y, l = 2*y - 4*k + 3 for y.
3
Suppose 3*g - 4*g = -68. Suppose -4*w + g = -5*j + 3, -3*w + 46 = -j. Solve -2*h = -3*y + 5, 5*h + w = -y + 45 for h.
5
Suppose -5*z = 4*y - 10, 5*z - 8 = z + 4*y. Solve -3*s = -7*s + z*c + 14, 2*c + 6 = -4*s for s.
1
Let f(y) = y**2 + 2*y - 10. Let x be f(-5). Solve -2*p + 4 = 5*q, -4*p - 16 = -x*q - 2*p for q.
2
Let x(s) = s**3 + 5*s**2 + s. Let l be x(-4). Solve -2*g - 2*b - 3 = -3*g, -3*g + 3*b + l = 0 for g.
5
Let o = -23 + 27. Solve o*y + 0*x - 4 = x, -x = -5*y + 4 for y.
0
Let i be (2 - 0)*9/6. Suppose l - 3*l = i*t - 12, t + l - 4 = 0. Suppose t*h + 3*v - 18 = v, -1 = -3*h + v. Solve -5*q = -o + 4*o - 15, -h*q + o - 5 = 0 for q.
0
Suppose -4*h + 3*q = -q + 4, 3*q = 4*h. Solve -2*s - 12 = -3*t, 3*s - h = 4*t - 20 for s.
-3
Suppose -w - 29 = 5*m - 10*m, -2*m - 5*w + 17 = 0. Solve -7 = 2*z - 5*c, 3*c - c = m for z.
4
Let h(t) = 5*t - 50. Let l be h(10). Solve 5*d - 5*x + 5 = -0*d, l = -2*d + 5*x + 7 for d.
-4
Let j be 786/15 + (-4)/10. Suppose 0 = 5*b - j - 48. Let w be 2 - 12/8*-2. Solve -4*o - 2*q + b = q, -2*o + 24 = w*q for o.
2
Suppose 2*n = 2*o + 4, 3*n - 5*n = o - 13. Let v = -19 - -35. Solve 3 = -3*m, -6*r - v = -o*r + 4*m for r.
-4
Let s = -6 + 11. Suppose -3*k - s = -2*y - 3*y, 0 = -3*k + y + 11. Solve -w - 3*w = -2*u + 24, -5*u - w + k = 0 for u.
2
Let n = -1 + 3. Suppose -2*c = -n*i, c + 4*i = -c + 12. Suppose 3*g - 2*g + 4*w + c = 0, g = -2*w. Solve -4*t + 12 = -3*y, -g*y - y - 9 = -3*t for y.
0
Let y be -10*3*(-1)/(-6). Let d = y + 8. Solve 0 = 2*r - t + 8, -4*r + t - d*t - 8 = 0 for r.
-3
Suppose 0 = -4*h - 3*h + 35. Let j(t) = t**3 - 3*t**2 - 2*t - 5. Let y be j(4). Solve -2*z = y*c + h, -3*c - 2 = z - 2*c for z.
-1
Let s(k) = 4*k - 24. Let z(g) = -2*g + 12. Let f(t) = -3*s(t) - 7*z(t). Let l be f(11). Solve l = b + 5*p, -3 = 2*b + 2*p - 7 for b.
0
Let m = -59 - -61. Solve -4 = m*d, -d = n - 4*d - 9 for n.
3
Let j = 0 - 0. Suppose 2*b + j = 4. Suppose b*z + 4*r = 14, -22 = -4*z - 3*r + 1. Solve -z*v + 0*u + 5 = 5*u, v + 2*u - 1 = 0 for v.
1
Suppose -13 = -3*h + 2. Let l = h + -5. Solve -3*o - 2*t - 12 = t, l = -3*t - 3 for o.
-3
Let w be -2 + 1/(-1) - -7. Solve f - 4*t = -19, -6*f - w*t + 24 = -2*f for f.
1
Let j be (-15)/(-90) - (-2)/(-12). Solve 4*b - n - 32 = 2*n, j = 4*b + 5*n for b.
5
Let l be -4*((-3)/12 - 1). Solve 2*g = 3*s + 10, 2*g - 5*s = l*g + 23 for g.
-1
Let p be (3 + -3)*4/8. Solve -3*g = -3*j - 15, 4*j + g = -p*g - 20 for j.
-5
Let v(p) be the third derivative of 0 + 0*p + 2*p**2 + 1/3*p**4 - 1/6*p**3. Let d be v(1). Solve -4*l - 3*w = l - d, 4*w = 16 for l.
-1
Let l = -2 - -3. Let y = l - 0. Let p be y - 1 - (0 - 0). Solve p*j = -d + 4*j + 3, 3*d - 2*j = 9 for d.
3
Let m(f) = 4*f**2 - 2*f - 1. Let x be m(-1). Let c = x + -2. Solve c*a + 2*k = -2, -4*a - k + 4 = -0*a for a.
2
Let b(p) = -p**2 + 4*p + 2. Let g be b(3). Solve 5*m = w - 2, -6*m + 10 = g*w - m for w.
2
Suppose -2*s + 9 = s. Suppose -n = 3*k - 9 - 8, 3*k = s*n - 3. Solve r = k*r + x + 10, -2*x = 2 for r.
-3
Let t(y) = y**2 - y. Let c be t(0). Suppose -2*s + 4 = -c. Suppose -s*a = -9 - 3. Solve 2*j = 5*p - 16, -3*j = -j + a for p.
2
Suppose 5 - 3 = 2*q. Let g be (q/2)/(1/10). Solve -u + g*m = 4, -m - 1 = -5*u + 3 for u.
1
Suppose 4*w - 44 = -0*w. Suppose 5*d - 4*y = 33, -3*y - 5 - w = -2*d. Solve 0 = -q, -2*z - 3*z + 2*q = -d for z.
1
Let f(o) = 0*o**2 - 8*o + 0*o**2 + o**3 + 6*o**2 - 2 + 0*o**2. Let n be f(-7). Solve -8 = 4*t - x + n*x, t = 4*x - 12 for t.
-4
Let x(s) = -s**3 - 9*s**2 - 6*s - 7. Let i be x(-8). Let n = -14 - i. Solve -5*h + o + n = 0, -18 - 2 = 5*o for h.
1
Let i be (-1)/(-2) + (-2)/(-4). Suppose -5*w + 3 = -4*u - i, 2 = -w - 2*u. Solve w = -2*x - 4, -2*x - 20 = -4*r - 0*r for r.
4
Suppose -2*c = -5*c + y - 32, -3*y = -2*c - 12. Let b be (c/(-9))/((-4)/(-6)). Solve 5*z - j - j = 11, -b*z = -4*j + 2 for z.
3
Suppose 0*s + 2*y = 3*s - 9, -6 = -2*s - 3*y. Let c be 10/4 + (-2)/4. Solve -s = 3*a, c*i = i - 4*a - 5 for i.
-1
Let x(g) = -1 + 3 - g - 1 + 0*g. Let b be x(-4). Solve -b*y - 23 = -4*q, -5*q + y = -2*q - 9 for q.
2
Let k(j) = 2*j - 4. Let t(q) = -3*q + 5. Let b(x) = -4*k(x) - 3*t(x). Let y be b(4). Solve 0 = 2*g - y*f - 1, g = 3*g + 3*f - 9 for g.
3
Let y be (-1)/(-5) + (-1)/5. Let f be -4 + 12 + 1 + y. Solve 2*i - 5*x - f = 2, -1 = x for i.
3
Suppose 0 = -n - 2*n - 9. Let v be 2 + (-3 - n) + 2. Solve -z - v = 5*s - 0*z, 0 = 2*s - 4*z - 16 for s.
0
Let p(i) = i**2 - i - 8. Let n be p(0). Let l(z) = -z**2 - 9*z - 11. Let y be l(n). Let f = -1 - y. Solve -3*m - 1 + 4 = 0, f*m - 12 = -5*h for h.
2
Suppose i = -0*i. Solve 2*p + 2 = -2*s, 5*s - 4*p + i*p = -5 for s.
-1
Let j(n) = -n**2 + 6*n. Let k be j(6). Suppose 2*t - 6*t = k. Let i = -6 - -11. Solve -3*h - 2*f + 2 = 4, t = 3*h - i*f + 16 for h.
-2
Suppose 0 = -f - 4*f - 25. Let s = -6 + 16. Let k = s + f. Solve m = -0*x + k*x + 1, 11 = -3*x - 2*m for x.
-1
Suppose -w + 0 = 2. Let i be -1*42/w + -1. Solve g - 5*m = i, -m + 0*m = -g + 4 for g.
0
Let z be (-10)/4*(-48)/60. Suppose -3*p - 2*b + 7 = -0*p, -3*b = p. Solve w + z*f = -3, -w = -p*f + 4*f + 2 for w.
-1
Suppose -4*h - 2*x + 44 = 0, h = -5*x - 0 + 2. Solve 3*w - 7*w = -4*u + h, 3*u = 5*w + 5 for w.
2
Suppose -2*t = -5*h - 0*h - 22, 2*h = 4*t - 12. Let b be (-10)/h*(-12)/(-5). Let o be 8 - b - (-1 + -2). Solve o*l - 4*s + 22 = 2*l, -4*l - 2*s = 0 for l.
-2
Suppose -7*u = -25*u + 234. Solve -3*v - u = -0*l + 2*l, 2*v = 3*l - 13 for l.
1
Suppose 3 - 17 = -7*x. Solve -3*r + l - 3 = -2, 2*l = -x*r - 14 for r.
-2
Let u be (-25)/(-10)*(2 + 0). Suppose u = g + 1. Solve 0 = 2*b + 3*p + 5, -3*b + b - g*p - 6 = 0 for b.
-1
Let i(p) = 3*p + 1. Let n(z) = -z**2 - 6*z - 4. Let s be n(-4). Suppose -4*k + s = -0*k. Let m be i(k). Solve -3*h + 0*q + 2 = -4*q, -4*q = -m*h + 4 for h.
2
Suppose 4*p - 7*p + 3*r = -12, 0 = -4*r. Solve 0 = 2*n - 2*t + p, 0*t + 2*t - 6 = 3*n for n.
-2
Let n = 6 + -3. Suppose -7 = -2*u - n. Solve -3*l + u*f + 0*f = -4, 0 = -2*f - 4 for l.
0
Let f(h) = h**2 + 8*h - 5. Suppose -4*q = -2*q + 16. Let v be f(q). Let u = 10 + v. Solve j + s = -9, -u*s - 5 = -3*j - 0 for j.
-5
Suppose -23 = -3*b - 5*t, -4*b + 0*t + 22 = -2*t. Let m(v) = -v + 7. Let a be m(3). Solve b*j = -a*x + j - 36, -2*x - 4*j - 24 = 0 for x.
-4
Suppose o - 9 = -2*o. Let n = 3 - 11. Let x(g) = -g**3 - 7*g**2 + 9*g + 10. Let c be x(n). Solve h = j + j - o, -h - c*j - 3 = 0 for h.
-3
Let f(i) = -i + 2. Let j be f(3). Let o be 18 + j - (-2)/(-1). Solve -3*h - 3*z + o = -0*h, -3*h = -z - 11 for h.
4
Let a = -6 - -8. Suppose 0 = 2*h - j + 3, -22 = -2*h + 5*h + 2*j. Let g be (1 - (-1 - h))*-10. Solve 0*i + a*i + 4*z + 24 = 0, -i - 4*z = g for i.
-4
Suppose 0 = m + 10 - 14. Solve -6 = -5*x + m*y, -x - x + 4*y = 0 for x.
2
Let a be 1/2 + 3/6. Let w(f) = 3*f**2 + 2*f - 1. Let m be w(a). Solve -4*x = -4*b, 4*b + m*x = -0*x for b.
0
Suppose -3*h - j = -4*j, 4*h = -2*j. Let v be (0 + h)/(-6 - -8). Solve -2*t + 2 = v, -3*m - 3*t = -2*m + 2 for m.
-5
Let l(f) = 4*f + 3 + 2 - 1 + f**2. Let v be l(-4). Suppose -5*a = y + 5, 7*a - 60 = -v*y + 3*a. Solve -y = 2*h + 3*h + 5*x, -4*h = 5*x + 20 for h.
0
Let x be (1 - -3)*(-2)/(-4). Let v = 10 - x. Let d be (-2 + 2)/(1 - -1)