for a.
-3
Let x(i) = -i**2 - 4*i + 1. Let a be 2 + -3 + -2 + 0. Let h be x(a). Let c = 13 + -7. Solve h*p + 5*v + 4 = 0, 0 = -v - c + 2 for p.
4
Suppose 20 = -8*j + 4*j. Let y(d) = 2*d**2 + 8*d - 6. Let z be y(j). Solve 4*m + 22 = -3*g, -z*g + 8*m = 4*m - 8 for g.
-2
Let a be (2/3)/(1/6). Let s = 21 - a. Solve 4*j + 0*j = k - 14, -4*k + 3*j + s = 0 for k.
2
Let o(g) = g**3 - 4*g**2 + 3. Let h be o(4). Solve -4*r - t + h = 0, -r + 0*t = t + 3 for r.
2
Suppose 3 = 4*h - v, v + 3 = -0*h - 2*h. Solve h = -4*a + r - 11 - 9, -2*r = -8 for a.
-4
Suppose -6 = 4*t + 26. Let z be (t/(-10))/((-16)/(-40)). Solve -5*v = -2*y - 10 - 0, 4*y = z*v - 20 for y.
-5
Let m = 1 - -4. Solve m*r + 13 = -2*z + 2, -5*r = -2*z + 19 for z.
2
Suppose -2*a - 48 = -6*a. Suppose -2*i = i - a. Solve -i*m + 3*c = 2 - 0, m - 2 = 2*c for m.
-2
Suppose 0 = -5*i - 2*v - 4, -v + 13 = -i - 4*i. Let t be (3/i)/(3/(-4)). Let n = -97 - -99. Solve -5*w + 1 = n*k, -t*k - w + 11 = -6*w for k.
3
Let r be 4/10*(7 + -2). Suppose 0 = -7*k + 3*k + a + 7, 10 = -r*k - 4*a. Let q be 7*(1/k - 0). Solve z = 2*w - w - 3, z = 2*w - q for w.
4
Let j(u) = u**2 + 4*u - 29. Let i be j(4). Solve -w - i*a = -2*w - 6, -30 = -5*w - 5*a for w.
3
Let k be 368/(-14)*-1 + 2/(-7). Solve -4*b = y + 23, -4*b + 3*y = 5*y + k for b.
-5
Suppose 8 + 25 = 3*i. Suppose -i + 51 = 4*u. Let f be 17/5 - 4/u. Solve -l = f*h + 1, l - 2*l - 1 = -2*h for l.
-1
Let z be (5 - 3 - 2)/(-2). Let y = z - -4. Solve g + 5*b = 20 + 4, -4*g + 32 = y*b for g.
4
Suppose 3*u + 2*m = 2, 6*m = m - 25. Suppose -u*p - 20 = -9*p. Solve f - p + 2 = 3*j, 0 = 4*f + 4*j + 24 for f.
-4
Suppose -7 = 5*a - 32. Let i = -1 + a. Solve 0 = -c - 5, -2*c = 3*s - 1 - i for s.
5
Suppose 6 = 2*l - 4*l, 0 = f + 3*l + 7. Solve -5*m + 3*j - f*j - 25 = 0, 25 = -5*m - 2*j for m.
-5
Suppose -2*j + 3 + 13 = 0. Solve -3*w = -j*w - 10, -5*y - 4*w = 23 for y.
-3
Let i be -3 - 24/(4 + -8). Solve i = -k - 3*g, -2*k + g = 2*k - 14 for k.
3
Let x be (-4 - -1) + (3 - -1) + 1. Solve -x*n + 4 = 0, 5*r + 24 - 5 = -3*n for r.
-5
Let i = 1 - 8. Let p = 0 - i. Let l be (-8)/(-32) + p/4. Solve -4*v - 5*u = -33, -l*v + 4*u + 9 - 25 = 0 for v.
2
Suppose -13 = -3*r - 4. Solve i = -r*t - 3, t + 2*t + 5*i + 15 = 0 for t.
0
Let n be 3 + (1 - 0/1). Let z be (-6)/(-33) - 180/22. Let h = z - -8. Solve h = n*b - 3*r + 13, 5*r = 5*b + r + 16 for b.
-4
Let b = 16 + -10. Solve 4*r = -p + b - 2, p = 2*r - 2 for r.
1
Suppose -1 + 6 = j. Solve 0 = -4*z + i - 10, -z + 0*z - 12 = -j*i for z.
-2
Let q(f) = 2*f - 6. Let c be (-3*2)/((-6)/4). Let w be q(c). Suppose 0 = w*r - 7*r. Solve 12 = -4*g, -5*o + r*g = -2*g - 1 for o.
-1
Let u be (20/(-6))/((-8)/12). Suppose 3 = f - 3*m - 4, -11 = -u*f + 3*m. Let g be 2/(-12) + 1/6. Solve o + 0 = 3*s + 10, -s - 4*o + f = g for s.
-3
Let u(q) = -5*q - 4. Let f be u(-3). Suppose 8 = -a + 5*a, n = -4*a + f. Solve -6 = 2*v - 5*o + n*o, -4*o - 4 = 0 for v.
-4
Let s(k) = -5*k - 1. Let d(y) = -4*y - 1. Let v(i) = -3*d(i) + 2*s(i). Let b be v(3). Solve -4*j = 3*a - j - 3, 3*a + j + b = 0 for a.
-4
Suppose -9 = 2*p - 45. Suppose 2*i + 4 = 0, 0*i + 2*i + 4 = -2*k. Solve k = -2*q - 5*y - p, 3*y + 22 = 2*q - 2*y for q.
1
Let w = 1 + 2. Let l = w - 3. Suppose -2*o + 10 = -l*o + 2*a, -4*o + 3*a = -20. Solve -3*h - 2*p + 8 = 0, -o*p = -4*h + 28 - 2 for h.
4
Let q be (-20)/15*33/(-2). Solve -5*y - q = r, -r + 2*y = 4*y + 10 for r.
-2
Suppose 3*b + 8*j - 3*j - 4 = 0, 4*b = -2*j + 10. Let g(p) = -p**3 + 3*p**2. Let n be g(2). Suppose n*a - a - 6 = 0. Solve -4*t = 2*m + 21 - b, -a*t = 4 for m.
-5
Let h = -10 + 13. Solve m = h*c + 15, c + 20 = 4*m - 3*c for m.
0
Let t be -1 + 222/78 - 4/(-26). Solve 6 = 4*c - t*y, 5*y = -5*c - 20 - 10 for c.
-1
Suppose 2*t = 4*z - 28, -3*z = -4*t - 15 - 16. Solve 3*g - 4*g + 5*m = -z, 3*g + 5 = 5*m for g.
-5
Let g = -2 + 7. Suppose -t = -g - 6. Let x(u) = -u**2 - 6*u - 6. Let f be x(-4). Solve f*y - 3*n = t, 2*y + 0*y + 5*n - 3 = 0 for y.
4
Suppose 8*y - 5*y - 9 = 0. Solve 4*v + y*f = -3 - 7, -4 = -v - 4*f for v.
-4
Let n(g) = -g**3 - g**2 + g + 8. Let s be n(0). Let t be (2 + s)*(-1)/(-2). Solve -5*b + t*c + 2 + 18 = 0, -3*b = 3*c for b.
2
Suppose -2*q = -3*q + 4. Suppose -5*u + 30 = 5*j, -u = -3*u. Let i = j - q. Solve 5*g + 0*y - i*y + 15 = 0, 4*g + 25 = -y for g.
-5
Suppose 0 = 2*t + t + 3. Let j be t - -7*1 - 0. Suppose 0 = j*x - x. Solve 6*h - 2*h + 2*l + 4 = x, 2*l - 8 = 0 for h.
-3
Let y = -3 - -3. Let r = 5 + y. Suppose 0 = -2*x + 13 - r. Solve -x*g = -4*t + 4, 3*t - 2*t = -g + 1 for g.
0
Let u(o) = -4*o - 16. Let c be u(-5). Solve 0 = -4*v - 5*f + 4, 0 = 5*v + 2*f - 1 - c for v.
1
Let j(b) = b**2 - 5*b + 2. Let g be -5*(-1 - -2)/(-1). Let c be j(g). Let f be (-11)/(-2) + (-1)/2. Solve 0 = 4*l - 0*z + z - 13, -c*l = f*z - 29 for l.
2
Suppose 2*f = -3*t - 58, 0*t = f - 3*t + 29. Let a = -20 - f. Let c(o) = o - 3. Let w be c(a). Solve 2*m - 2 = 0, 0 = -w*i + i - 3*m + 23 for i.
4
Suppose 0 = 4*u + 7 - 23. Let o(k) = -3*k. Let g be o(-2). Suppose 0 = -b + g - 4. Solve -b = -2*c, u*q + c + 3*c = -12 for q.
-4
Let i be (-2)/3 - 4/3. Let h be 3 - (i + 2 + 0). Solve -3 = 5*q + h*m - 13, -2*m = 0 for q.
2
Let q be (-44)/11*1/(-2). Solve 0*u + 5*w - 10 = -q*u, 5*u + 2*w + 17 = 0 for u.
-5
Let h(t) = 3*t - 3. Let s be h(3). Let j be ((-2)/(-3))/(s/27). Solve -3*u = 3*z - 21, -4*u + j*u = -3 for z.
4
Suppose -4*b - 4*v = -7*v + 10, 2*b - 4*v = -10. Let o = 1 + 0. Let g = o + b. Solve g = -3*d + 3, -2*d - 18 = x - 6*x for x.
4
Let m(a) = -a**2 + 14*a - 46. Let l be m(8). Solve 3*g - 5 = -l*g, 5*v - 4*g - 6 = 0 for v.
2
Let n be ((-4)/6)/(12/(-72)). Solve -n*z = -8, -a - 5*z = -z - 8 for a.
0
Let i(a) = -a**3 + 7*a**2 + 4*a - 17. Let w be i(7). Solve -5*d + 2*y - 18 = 0, -3*d - w = -0*d - y for d.
-4
Let w be 16/10 + -2 - 34/(-10). Solve -w*f - 5 = 2*f - 4*a, 0 = f - 5*a - 20 for f.
-5
Let t(o) = -o**2 - 11*o + 3. Let g(a) = a**3 + 10*a**2 + 11*a + 7. Let v be g(-9). Let d be t(v). Solve 4*s = -p - d*p - 20, -3*p - s = 9 for p.
-2
Let r = 5 + -3. Suppose m = -r*m + 12. Let i be (-2)/m - 3/(-6). Solve i = -5*c + 3*f + 24, c + 4*f = 4*c - 21 for c.
3
Let n = -6 + 10. Suppose 0 = -3*b + 4*i - i, -2*i = n*b. Let p = 5 - b. Solve -3*u - 9 = -0*d + p*d, 0 = u - 2*d - 8 for u.
2
Let a = 5 - -1. Solve 30 = -5*o + 5*d, 0*o = -3*o - 5*d + a for o.
-3
Let z be 5 + 2 - (-1 + 2). Let b = z - 4. Solve -20 = 4*u + b*c, 5*u + 4*c + 23 + 8 = 0 for u.
-3
Let z = 6 + -7. Let h be z/(3 - (-39)/(-12)). Let a be 2/3*(h + -1). Solve 5*q - 40 = -5*f, q + 3*q - a*f - 2 = 0 for q.
3
Let l be (3/(-1))/(21/(-14)). Suppose 0*q = l*q - 6. Solve 1 = 3*o + q*z - 11, o = 4*z + 4 for o.
4
Suppose 0 = -5*o - 11 + 1. Let r be 2*(-1)/o*5. Solve -5*w + 2*w + 17 = -5*g, r*w - 2*g = 22 for w.
4
Let u = -24 + 9. Let b be (20/u)/((-1)/3). Solve 2*w = -0*w + 4*j - 16, -4*w + b*j - 20 = 0 for w.
-2
Let s(n) = -n**3 + 6*n**2 + n - 1. Suppose -3*u - 3*k + 15 = 0, 0 - 2 = 2*k. Let i be s(u). Solve 4*v = 4*p + 4, 1 - 6 = i*v for p.
-2
Let x(s) = s**3 - 10*s**2 + 10*s - 7. Let i be x(9). Solve 3*a - 5*g + 5 = i*a, 3*g = 0 for a.
-5
Suppose 6*y = -13 + 43. Solve -2*w - y = 5*s, 4*w + 9 = -4*s - 7 for w.
-5
Let z(l) = l + 1. Let r = 9 - 5. Let a be z(r). Solve -1 = 9*d - 5*d + 3*j, -4*d = a*j + 7 for d.
2
Suppose -i = i. Suppose i = -2*d + 2*l + l + 29, 61 = 4*d - 3*l. Solve -4*t = -3*o + d, 2*o + 0*t = -t + 7 for o.
4
Let z be (-20)/(-4) - (-2 + 3 + -1). Solve -2*u + 9 = -z*q - 3, 5*q + 2*u + 8 = 0 for q.
-2
Suppose -3*z - z + 12 = 0. Suppose -23 = -5*x + 4*i, -12*i - 6 = -9*i. Solve 9 = 4*y - x, 5*y = z*c + 3 for c.
4
Let s(u) = u + u**2 - 2*u**2 + 5*u**2 - 3*u**2. Let v be s(0). Solve k = 2, v = -3*b + 5*k - 10*k + 25 for b.
5
Let o(r) = -3*r - 16. Let v be o(-6). Suppose -4*m + 2 = n - 2, -2*m + 8 = -n. Solve g + m*z + v = 0, 2*g + 4 + 0 = -5*z for g.
-2
Let c(a) = -2*a**3 + 0 - 1 - a**3 + 2*a + 6*a**3. Let l be c(1). Solve 0*u = -3*q - 4*u + 35, l*q + 3*u = 35 for q.
5
Let l(x) = -x + 6. Let j be l(5). Let i = 2 + j. Suppose 5*d = 4*d. Solve d*z + 7 = -3*z + c, -i*c - 11 = -z for z.
-4
Suppose -2*c + 2*w - 5*w + 24 = 0, 3*c - 3*w - 51 = 0. Suppose f = -4*j + c, 3*j = 4*f + 36 - 1. Solve 0 = j*l - 4*g - 35, 7*g + 14 = -2*l + 3*g for l.
3
Let b(a) = -a**2 + a. Let p(y) = 6*y**2 + 6*y - 10. Let s(