 2*a - 0*c, -a - k = 4*c for a.
2
Let s(z) = z**3 - 4*z**2 + 3*z + 2. Let x be s(3). Solve g + x*d + 7 = 0, 5*g = -2*d + 9 - 36 for g.
-5
Let x be (-4)/3 - 34/(-3). Solve 5*c = -0*c + 5*n + x, -4*c - n + 23 = 0 for c.
5
Suppose 5*g + 2 = 6*g + 5*r, -r - 2 = 0. Solve 5*o + g = 3*w + 29, 8 = o + 4*w for o.
4
Let a be 1/((-1)/(1*-5)). Let y(i) = -4*i**2 + i + 2. Let d be y(-2). Let h = 27 + d. Solve a*s - 2*b = -h, 5*s - 5*b = s - 2 for s.
-3
Suppose 2*n = -2 + 6. Suppose 3*d + q = -0*d + 12, -3*d = -n*q - 3. Solve -4*k + 26 = d*j, 0*k + 23 = -j + 5*k for j.
2
Suppose 3*q - 10 = 2. Suppose 2*s - 5*v - 27 = 0, -v + 0*v + 21 = q*s. Solve 29 - 7 = 3*k - 2*t, 0 = 4*k + 2*t - s for k.
4
Suppose 3*j + 3 = -4*o - 8, -3*j + 14 = -o. Let x be 4/(-10)*o*1. Solve -2*a - 4*i = -i - 4, -a = -x*i - 9 for a.
5
Let c be -3 + 2 + -1 - 1. Let b(d) = -3*d**3 - d**2 - 2*d - 3. Let y be b(c). Suppose i - 4*i = -y. Solve -5*h = 4*l - i, -2*h = -3*l + 11 + 2 for l.
5
Suppose 4*j = -3*u + 11, 4*j + j = 2*u + 8. Solve -4*q - 5*h = -10*h - 20, -10 = -j*q - 3*h for q.
5
Suppose 4*o + 1 - 9 = 0. Solve -2*l = -2*i + 4*i - 2, -6 = 2*i - o*l for i.
-1
Let k = 10 - 6. Let o(c) = c**2 - c + 6. Let x be o(0). Suppose -s - x = -k*s. Solve 0 = -0*y - 4*y + 2*p - s, 3*p = 5*y for y.
-3
Let k(x) = 7*x**3. Let b be k(1). Suppose 7*c = 3*c. Solve -2*w - b = 5*v - c, -w - 2*v - 2 = 0 for w.
4
Let z = 8 + -8. Suppose z*h - 4 = -2*h. Suppose 0 = -h*a - a. Solve -3*o - 2*o - b = 0, -3*b = a for o.
0
Let o(u) = -3*u**2 - 4*u - 2. Let r be o(-2). Let d = r + 31. Solve -20 = 4*j, 5*s - s + d = -5*j for s.
0
Let x(i) = 4*i - 1. Let a be x(1). Let r be (-3)/5 + 58/5. Solve -m - 5*p = -3*m - 17, r = -m + a*p for m.
4
Suppose 0 = 3*k + 2*u - 13, -3*k + 4*u = -2*k + 5. Solve 15 = -k*i + 4*y, 21 = -3*i + 3*y + 6 for i.
-5
Let w(c) = -c**2 + 15*c + 15. Let l(o) = -3*o**2 + 44*o + 44. Let r(s) = -6*l(s) + 17*w(s). Let q be r(11). Solve -z + q = -5*i, -4*i - 11 = 2*z + 5 for i.
-3
Let k be (-8)/2*(-124)/16. Solve -3*y = -2*o - 17, 4*o = 3*y - k + 6 for y.
3
Let g(n) = -n**2 + 5*n + 3. Let q be g(5). Suppose -7*b + 52 = -q*b. Suppose -4*i = 5*p - 28, -p - p + 14 = 3*i. Solve i*j + j = -4*t - b, 5*t + 23 = 3*j for t.
-4
Let c = -139 + 144. Solve 6*x - x - 2*g = -2, c*g - 5 = 0 for x.
0
Suppose 0 = -4*m + 2*f + 2 + 18, m - 5 = -5*f. Let i = m - 5. Solve r + 3*p - 2 = 0, i*p - 10 = 5*r + 5*p for r.
-4
Let w = 1 + 2. Let q = -1 - -3. Solve 6 = -0*v + v - w*i, 4 = -v - q*i for v.
0
Let q be (90/(-12))/((-9)/30). Solve 0 = -5*r, -5*s - 4*r + r = -q for s.
5
Let c be 0/((4 - 6)*1). Solve 0 = 4*n + 12, c = -4*z + 5*z + 2*n + 6 for z.
0
Let h(c) = -c**2 - 13*c - 7. Let b be h(-12). Solve 0 = -2*i + b*t + 27, 10 = -i - 2*t + 1 for i.
1
Suppose -2*s = b - 4*b + 7, 20 = 4*b. Solve 4*g - s = -0*u - u, 3*u = 4*g - 20 for u.
-4
Suppose 5*h + h - 84 = 0. Suppose 4 = 4*y - 12. Solve -t + 4*g = 4*t - 15, y*t + 2*g + h = 0 for t.
-1
Let h(t) = -t + 6. Let g be h(4). Solve 0 = 5*l - g*d - 19, 3*l - d - 10 - 1 = 0 for l.
3
Let w = -10 + 13. Suppose -2*q + 1 - 19 = -3*t, 4*q = -w*t. Solve -r = -2*l, -r + 0*r - t = -4*l for l.
2
Let n(i) = i**3 + 6*i**2 + 4*i + 5. Let q be n(-5). Solve 3*h + 0 = -5*d - q, 23 = -4*h + 3*d for h.
-5
Suppose -p - 2*p = 18. Let f = 8 + p. Solve 0 = -m + f*m - 3*q + 12, -6 = 4*m + 2*q for m.
-3
Suppose -18 = -2*l + 2*q, 0*q - 4 = -q. Solve -z - 4*k = 7, -4*z - z + 2*k = l for z.
-3
Let g be (-9)/6*16/(-6). Suppose 0 = 2*a - g*a + 8. Solve 4*h + 2*o = -24, -4 = h + a*h - 4*o for h.
-4
Suppose 0 = k + 2*x + 1 - 5, 3*k - 2*x = 4. Suppose 63*c = 48*c. Solve c*q = -2*y + k*q - 4, 0 = -3*y - q + 10 for y.
2
Let z = 5 + 0. Let a = 17 - z. Let l be -1 + 1/(2/a). Solve -l*g - 3*w + 18 = 0, 0*g - 4*w + 19 = 5*g for g.
3
Let w = -5 + 8. Suppose -4*i = 3*m - 17, m + w*i - i = 7. Solve 3*l + 16 + 0 = -2*y, -m*y = -5*l - 14 for l.
-4
Let z = -10 - -10. Let f(k) = 3*k. Let r be f(1). Suppose z = -a - r*y + 8, -2*y + 2 = 4*a - 5*a. Solve -3*c = -a*j + 7*j + 10, 5*j - 20 = 3*c for c.
-5
Let y = 13 - 9. Suppose 25 = f + 4*f. Suppose -15 = -5*u + i, 0*u = -y*u - f*i - 17. Solve 0 = -u*t + 5*k - 16, -2*t + 4*k = -0*t + 12 for t.
2
Suppose -15 = -4*w - w. Let v(p) = p**2 + 4*p - 2. Let b be v(-5). Suppose -i + 2*i - 3 = -w*j, -b*j = 0. Solve -i*z - 3*h = -18, h = -2*z + 4*h + 7 for z.
5
Let u be 1/2*10 + 2. Let x be (-10)/(-50) - (-198)/10. Let z = 22 - x. Solve -m - u = z*c, -m + 19 = 2*m - 4*c for m.
1
Suppose -3*y + 6 = -0*y. Suppose 0 = -f + y - 1. Let n = f - -3. Solve -2*x = -n*h + 2*h - 4, 0 = -4*h + 5*x - 8 for h.
-2
Let l(w) = 3*w**2 - w. Let n be l(-1). Suppose -f + 11 = 4*r, -16 = -n*r - 3*f + 7*f. Suppose 5*t = -0*t + 20. Solve 3*c + r = -4*g - t, -c - 1 = 0 for g.
-1
Let w = -21 - -8. Let z(p) = p**2 + 6*p - 15. Let m be z(w). Let a = -52 + m. Solve 2*n = 2*d - 2*n + a, 4*d = 3*n - 28 for d.
-4
Let p = 49 - 28. Solve p = 4*z - 5*b, 4*b - 6 = -26 for z.
-1
Let f(z) = 2*z + 4. Let y be f(6). Solve 5*o + 1 = -4, -5*q - o = y for q.
-3
Let l = -6 + 4. Let o = 4 - l. Let q = o + -3. Solve -4*j = -4*y + 12, 0 = y - 5*y + q*j + 13 for y.
4
Let s be -5 - (-9)/(2 + 1). Let q be (-30)/((-21)/6 - s). Suppose 0*l = 4*l - q. Solve l*v = j - 7 - 3, -4*j + 2*v + 4 = 0 for j.
0
Suppose 20 = -4*w, -3*w - 18 = 3*x - 2*x. Let t be (1 + 3/x)/1. Suppose 5*y - 15 = -t*y. Solve 5*v + y = -3*f, 2*f + 2 = 4*v - 5*v for f.
-1
Let i = 2 - -3. Solve -16 = i*b + 4*n - 2*n, 2*n + 6 = 0 for b.
-2
Let g be (-3)/(2 + -1 + 0). Let f = 8 + g. Suppose 3*l - 3 = 6. Solve 6 = 2*s, -l*u + u = 3*s - f for u.
-2
Suppose 0 = 5*r - 0*r. Let i(n) = -n + 1. Let c be i(-2). Suppose -c*x = -r*x. Solve -g + 0*g + d + 7 = x, -3*d - 15 = 0 for g.
2
Let v(s) = s**3 + 5*s**2 - 5*s + 3. Let k be v(-6). Let x = k - -5. Solve 4*o + o - 5*h = 0, 0 = o + x*h - 12 for o.
4
Suppose 0*x = 2*x. Solve 2*f + x*f = -j - 4, 0 = 4*j - 8 for f.
-3
Let c(w) = -w**2 + 6*w - 5. Let p be c(7). Let y = -7 - p. Let k = 5 - 3. Solve y*t = k*u + 2, -4*u = 2*t + 3*t + 4 for t.
0
Suppose 4*p - 3*f + 4 = 35, 4*f + 20 = 0. Solve 3*k = 0, -q + k + p = q for q.
2
Suppose 0 = 3*n + 3*b, 2*n - 5*b + b = -18. Let g = n + 7. Solve o = 5*o + 4*k - 12, 4*o + 2*k - g = 0 for o.
-1
Let a be (0 - (-129)/12) + 15/(-20). Solve -2*x = -4*f + 8, -6*f - 5*x = -f - a for f.
2
Let a(h) = -h**2 + 10*h + 16. Let p be 6/(-9) - 11/(-3). Suppose 7*r = p*r + 44. Let s be a(r). Solve -3 = 3*v - 3*z, -3 - s = -4*z for v.
1
Suppose 0*o + 4*o = -4. Let v be ((-8)/20)/(o/10). Solve -d - v*f = -1 - 4, -5*d + 25 = -f for d.
5
Let l be 86/6 + (-4)/(-6). Solve -l = d - 3*k, -2*d = -k + 3*k - 2 for d.
-3
Let p be 2/(-7) - (-4)/14. Solve 0 = 4*m - q + 5*q + 28, 5*m - q + 5 = p for m.
-2
Suppose -20 = -5*k, k + k - 8 = 4*t. Let l = t + 3. Suppose p = -5*a - l + 16, a + 4*p = 14. Solve a = -5*g + f - 7, 0 = -3*g + 5*f - 23 for g.
-1
Suppose 3*q = -4 + 13. Solve 0 = -4*n + 5*x - 21, -3*n - n - 13 = q*x for n.
-4
Suppose -29 + 9 = -5*k. Solve 3*n = 3*d - 3, 1 = -k*n + d - 6 for n.
-2
Let c = -6 - -10. Solve -v - 2*b = -3, 3*v + 9 = 2*v + c*b for v.
-1
Suppose 0*k - 2*k = -f + 13, -4*k = -f + 23. Solve 2*h - b + 10 = f*b, -6 = 2*h - 2*b for h.
-1
Let r be (-620)/(-220) + (-2)/(-11). Solve -3*p = -r*h, -2*h + h - 24 = 5*p for h.
-4
Let a = -9 + 12. Solve -h + 10 = -o, -4*h - a*o = -3*h + 10 for h.
5
Suppose 5*k - 12 = a, -2*k + 3 = -4*a + 3*k. Solve a*s = -2*x + 10, 5*x = -s - 0 - 1 for s.
4
Suppose -10 - 2 = -5*v + t, 3*v + 5*t = 24. Suppose 5*z + 3*o - 24 = 0, 2*z = -5*o + 18 + v. Solve z*g + 3 = 4*l - l, -5*g = -10 for l.
3
Let h be -7*(1 + (-11)/7). Let d be 6/(-3 + 18/h). Solve 4*i - d + 0 = 0, x - 3*i - 2 = 0 for x.
5
Let n(c) = -c - 4. Let x be n(9). Let d be x + 16 + (-2)/(-2). Let j(h) = h**3 + 4*h**2 + 3. Let r be j(-4). Solve -r = -3*i - 18, 4*q - d*i - 12 = 0 for q.
-2
Suppose -4*c + 2*o = -3*c - 14, -3*c = -o - 27. Suppose -2*h + 0*h - c = 0. Let u = 6 + h. Solve -u*w + w - 5*v = -3, -3*v = 0 for w.
3
Suppose 57 = 3*y + 3*v, -v - 4 + 2 = 0. Solve 4*p - 24 = -4*l, 3*l + 3*p - y = -p for l.
3
Let j = 191 + -189. Solve -j - 3 = y + 2*f, 5*y - 3*f - 40 = 0 for y.
5
Let h(y) = y - 29. Let p be h(0). Let b be p/(-2) + 2/(-4). Solve 2*g - 3*g + 2*x = -b, 5*x + 5 = -5*g for g.
4
Let k(q) = -q + 2. Let n be k(0).