+ 4*a**2. Let t be b(-2). Solve -t*f = -z - 9, -f = -2*z + 4 - 2 for f.
4
Let g(v) = -v**2 - 11*v + 15. Let k be g(-12). Solve -5*y + 3*o + 27 - 9 = 0, k*y = 4*o + 13 for y.
3
Let n be (-6)/(-15)*(14 - 4). Solve -4*h = -12, 4*h - 3 = n*s + 1 for s.
2
Suppose 5*o - q = 82, -5*q = 5*o - 3*q - 76. Suppose -7*s + 4*s - 27 = 0. Let t = s + o. Solve 0 = -2*z - d - 2*d - 21, 4*z = d - t for z.
-3
Let w = -5 + 9. Suppose 4*y - 119 = 3*t, -5*t + 47 = 2*y - y. Suppose f = w*b - 22 + 3, -4*f - y = -5*b. Solve 4*g + 8 = -k, -k - k - 12 = b*g for k.
-4
Let d be 66/10 - 2/(-5). Let h(s) = s. Let n be h(0). Suppose -j - 2*g - g - 1 = n, -2*g = -2*j + 14. Solve 5 = 5*x + 2*v + 3*v, -3*v + d = j*x for x.
2
Let v(y) = -2*y + 1. Suppose 5 = -3*i - 4. Let u be v(i). Solve -4*b = 4*p, u*b - 4*b - 16 = p for b.
4
Suppose 0 = 4*v - j - 20, v = -j + 4*j - 6. Suppose 2*l - v*l + 8 = 0. Let z be -3 + l*3/2. Solve 0 = 5*u + 2*k - 3*k - 25, z = 4*u + k - 20 for u.
5
Let t = 13 - 9. Suppose 42 + 118 = t*d. Suppose 4*m + 4*s - 24 = 0, m + s = 2*m - 4. Solve 2*q - m*h + d = 7*q, -35 = -5*q - 4*h for q.
3
Let h(m) = -m**2 - 5*m + 2. Let x be h(-5). Suppose 0 = 3*b - 2*c + x, -b + c = -3*c + 14. Solve -5*r - 9 = 3*u, r - u - 1 = b*r for r.
-3
Suppose 4*a - 24 = 8*a. Let h = a - -10. Solve 2*o + h*y - 2*y - 16 = 0, -4*y = -5*o + 4 for o.
4
Suppose -22 + 1 = -2*m - b, 2*m + 3*b = 23. Solve 0 = -n - 3*z + m, 0*z + z = n + 2 for n.
1
Let i(c) = -c**3 + 5*c**2 - 6*c + 3. Let t be i(3). Solve 2 = 4*x + 2*s, t*x + s - 19 = 3*s for x.
3
Suppose -9 = f - 11. Solve -4*u + f*i - 18 = 0, -2*u = -3*u + 4*i - 1 for u.
-5
Let m = 0 + 4. Suppose -m*c + 12 = -c. Solve -5*o = 5*b - 35, c*o - 30 = -0*o - 5*b for o.
5
Suppose -t + 0*t = 0. Suppose 5*s = 4*n - 5, t*n = 2*n - 10. Solve 4*x - 2*z + s = 5*x, x - 1 = -4*z for x.
5
Let t be 9/36 - 7/(-4). Solve -12 = -2*o - t*i, -4*o = -i + 2 - 11 for o.
3
Suppose 3*m = -3*p + 9, -8 = -m - p + 5*p. Solve -u + 4 = 0, -4*u + 14 = 2*y + m for y.
-3
Let n be ((-4)/(-6))/((-2)/(-6)). Suppose 0*d = d - n. Suppose p = 15 + d. Solve -5*z - 3*o = -o - p, 2*z = -o + 7 for z.
3
Let g be (-1)/((-1)/(-2)*-2). Let r be 1 + -1 + 16/8. Let y = 6 + -4. Solve -2 = -r*s - a - g, -3*s + y = a for s.
1
Suppose 4*k - 4*x - 21 = -3*x, -5*x = k. Suppose -k*t + g + 22 = -3, 5*g = 0. Solve y - 22 = -t*z, z - 3 = -y - 1 for y.
-3
Let a(z) = -z - 3 + 2 + 1. Let p be a(-3). Solve l + 5*d = -19, 3*d + 8 = -l - p for l.
1
Suppose 7*f - 11*f + 16 = 0. Suppose -3*s - 4 = -25. Solve -f*g - s = -0*g - 5*c, 11 = -2*g - 5*c for g.
-3
Let p(w) = -2*w - 5. Let c be p(-4). Suppose 1 + c = -j. Let l be 1 + j*(-33)/6. Solve t = -2*d - t - 2, -d + 5*t + l = 0 for d.
3
Suppose j + 4*p = -17, 0 = j + 2*j - 5*p - 34. Let z be (-2)/((-12)/(-8) - 2). Solve j*f + f = -3*m - 22, z = f - 4*m for f.
-4
Let v(x) = -x - 9. Let q be v(-13). Suppose i - q*i - c = -4, 8 = -4*c. Solve -i*b + 3 = -3*o + 5, -2*o = 3*b + 3 for b.
-1
Suppose d = 3*d - z - 4, -4*d + z = -4. Suppose w = 2 - d. Solve -5*l = -2*l - w*u - 5, -2*l + 3 = -u for l.
1
Suppose -76*y = -81*y + 20. Solve -2*x = -4*l + 6, -y*l - 2 - 7 = -5*x for x.
5
Let w(s) = -2*s - 24. Let l be w(-12). Solve -2*q = 5*t - 3, 4*q - 18 = -l*q + 2*t for q.
4
Let t be (12/(-2))/(5/(50/(-15))). Solve t*w + 4*n = 4, -3*n - 3 = w - 0*n for w.
3
Let y = -19 - -11. Let c = y - -12. Solve -3*l + 15 = c*t, 4*t - 5 = 4*l + 3 for t.
3
Let d(u) = -2*u**2 + 1. Let g be d(-1). Let z be 5 - (1 - g) - 3. Solve -7 = -5*l - 4*i, z = 5*l + 2*i - 4 + 3 for l.
-1
Let r be -3 - (0 + (-2 - 3)). Solve -r*p = k + p - 2, -3*p = -4*k - 7 for k.
-1
Let f be 4 - -1*(-3 + -1). Suppose 2*w - 7 - 1 = f. Solve 3*h = 5*k + 20, 0 = -w*h - 3*k - 0*k - 12 for h.
0
Suppose -4*y - 2*s + s = -80, 5*s = 0. Solve -2 - y = -4*j + 2*b, -4*j - 2*b = -10 for j.
4
Let a(t) = t + 19. Let i be a(-16). Solve -3*z - 17 = 5*s, 13 + 2 = -i*s - 3*z for s.
-1
Let c(r) = -r**3 + 4*r**2 + 3*r + 7. Let l be c(5). Let p(g) = g**3 + 4*g**2 + 2*g + 2. Let k be p(l). Solve y + 6 = -y + 4*n, -12 = -k*y + n for y.
3
Let x = 3 + -10. Suppose -3*a = 2*n - 3, -a = a + 2*n. Let f = a - x. Solve l = 5*w + f, 1 = 3*w - 3*l + l for w.
-3
Let s(b) = 7*b - 16. Let f be s(3). Solve -4*k + c + 4 = -f, -3 = 2*k - 3*c for k.
3
Let p be (-962)/(-182) + 2/(-7). Solve -2*g + p*g = 4*k - 8, 3*k - 6 = 3*g for g.
0
Suppose -1 + 5 = 2*f. Solve z + 14 = -3*z + f*b, 0 = -z + 4*b - 14 for z.
-2
Suppose -176 = -4*p - 32. Suppose 0 = -4*y - 12 - 8. Let v = y + 13. Solve -2*j - v = 0, 2*j - 3 = -5*g - p for g.
-5
Let q(x) = x**3 - x**2 - 1. Let i be q(2). Suppose l + 2 = d + 4, i*d = 9. Solve 0 = -l*w - 3*m + 5, 4*m + 4 - 26 = w for w.
-2
Suppose u + 4*s - 14 = 0, 0 = -2*u - 4*s + 5*s - 17. Suppose 2*l = 7*l + 30. Let t = l - u. Solve -g + 4*k - 11 = t, -k = 2*g - 2*k - 6 for g.
5
Let b be 8/(-28) + 32/14. Solve -b*n - 3 = 5*m, 0 = 4*m + 1 - 5 for n.
-4
Let c be (-11)/(-12)*3*4. Suppose -4*w - 39 + 9 = -2*j, -w = -4*j + 25. Suppose c = j*p + 1. Solve -8 = k - p*k + 5*l, -4*k - l - 10 = 0 for k.
-2
Suppose 3*x + 20 = 7*x. Let o be (3/(-7))/(2/(-14)). Solve z - 15 = 5*k - 2, -21 = -x*z + o*k for z.
3
Let n = 15 + 6. Let v be (-18)/n*(-28)/6. Solve -4*c = -0*z + v*z + 16, z + 2*c = -4 for z.
-4
Suppose 5*j = -v + 38, -3*j + v = -2*v - 30. Let t be (-8)/(-6)*156/j. Solve -2*h = -3*w + 16, 0 = -5*w + h + 2*h + t for w.
4
Let d be (0 + 0/1)*-1. Solve -3 = 3*x - d*g + 2*g, -4*x = g + 9 for x.
-3
Suppose -s + 18 = -2*h, -10*s + 5*s = -2*h - 66. Solve u - 3*u + 2*m - 4 = 0, -m + s = 4*u for u.
2
Let k = 4 + 1. Suppose 5*q - 13 = -3*s - 0*s, -k*s = -5. Let w(t) = t**3 - 2*t**2 - 3*t. Let d be w(3). Solve 0 = r - 4*h + 3*h - 3, d = q*h for r.
3
Let o = -45 - -45. Solve -l + 0*l = -3*b - 6, o = -5*l + 4*b + 19 for l.
3
Let i be 0*(-2)/4 - -3. Suppose 12*p - 14 - 22 = 0. Solve -2*r = -5*c - p*r + 23, 11 = c - i*r for c.
5
Let p(n) = -n**2 - 7*n - 2. Let m be p(-5). Suppose -o - 36 = 2*o. Let v be (-2)/o - 161/(-42). Solve 0 = v*l - m, -2*c - 2*c - 14 = -3*l for c.
-2
Let c be 13/3 - 3/9. Suppose c - 22 = -2*p. Solve 0 = -2*o - 5*u - p, -3*o = -5*o - 2*u for o.
3
Suppose 5*t + 18 - 123 = 0. Solve 2*q - 4 = 0, -5*a - t = 3*q - q for a.
-5
Suppose 4*j - 2 = 4*x + 2, 2*j - 5*x = 8. Let k(u) = -5*u**3 - 1. Let g be k(j). Solve -g*v - 18 = -f, f + 0*f = v + 6 for f.
2
Suppose 0 = j - 3*j. Solve -3*k - 4*d - 1 = -29, j = -5*k - 2*d + 28 for k.
4
Let u(l) = -l**2 - 6*l + 6. Let h = 8 + -13. Let a be u(h). Solve -3*g + 4*p = -0*g + a, 4*p = -g + 23 for g.
3
Let g = -8 + 10. Solve 3*a = 6*y - 2*y + 12, -g*y - 2*a + 8 = 0 for y.
0
Suppose -2*u - 5*w - 9 = 0, -3*w + 6*w = u - 12. Solve -u = -z - b, 4*b = 2*z + z - 16 for z.
4
Let f = -4 + -2. Let q = 10 + f. Solve 2*x - l + 26 = q*l, 2*l - 23 = 5*x for x.
-3
Let f(c) = -c + 3. Let o be f(3). Solve 5*w - 2 - 23 = o, -2*w = 4*v - 22 for v.
3
Let c(m) = m**2 - 5*m - 34. Let h be c(9). Solve -5*v + 25 = -y, h*y + 15 = -2*y + 3*v for y.
0
Suppose p + 10 - 3 = 0. Let u = p + 11. Let c be (-33)/(-9) - u/6. Solve -3*w + c*z - 4 = 5*z, 4 = 5*w - 2*z for w.
0
Let h be ((-19)/(-7) + -1)/((-42)/(-147)). Solve -2*a = 2*a + 2*y - h, 3 = a - y for a.
2
Let i(w) = w**2 - 5*w + 6. Let s be i(6). Solve 0*k + s = 3*g + k, -k = 0 for g.
4
Suppose -2*i + i = -4. Suppose 0 = -b - i*b. Let f(a) = a**3 + 5*a**2 - 7*a + 7. Let w be f(-6). Solve -3*k + b - w = 2*t, 4*k - 2*t + 22 = 0 for k.
-5
Let h = 13 - 7. Let w be (-1)/((-3)/h) - 0. Solve 3*u = 5*z - 5, 0 = 3*z - w*u - 4 for z.
-2
Suppose 3*f + 0*f - 6 = 0. Suppose -k + 16 = 3*k. Suppose n = 2*n + 5*p + 20, k = -p. Solve -5*m = -n*o + o - 20, f*o = -2*m for m.
5
Suppose 25 = 3*p - 5*t, 5 = 3*p + p - t. Suppose y = -p + 5. Solve s + 7 = -y*a, -s = -0*s - a - 5 for s.
3
Suppose -158 = 5*y - 58. Let s = -7 - -4. Let k be (-24)/y*(-10)/s. Solve -2*n - k*p - 1 = 1, -3*p = -n + 14 for n.
5
Let d(r) = 4*r - 4. Let f be d(3). Suppose -f - 12 = -5*a. Suppose -s + 4*s = l, -3*l = a*s. Solve -3*i + s = -2*z - 2, 4*z - 18 = -5*i for i.
2
Let c(o) = o**3 - 7*o**2 + 5*o - 11. Let b be c(6). Let m = b - -22. Solve -y - m*z - 20 = -0*z, -16 = y + 4*z for y.
0
Let d(g) = g**3 - 11*g**2 + 10*g + 8. Let x be d(10). Let u = -1 + x. Solve 4*h = 5*a - 36, -u + 27 = -3*h + 2*a for h.
-4
Let f = 23 - -14. Suppo