y + 32 = -0*c, -3*c = f*y - 1 for c.
-3
Let j be (-2)/(((-4)/(-15))/(-2)). Suppose 0*g + j = 3*g. Solve -k - 1 = s, -3*k - 1 = -3*s + g*s for s.
-2
Let q = 0 + 2. Let k = 22 - 19. Solve 4*d - 13 = b, -k*b - q*d + 3*d = 17 for b.
-5
Let l(y) = -4*y - 3. Let k be l(-2). Suppose -k*g = -2*g + 3. Let r be g*(15/(-3) + -2). Solve n = 4*u + r, 4*u + 3 = -0*u + 5*n for u.
-2
Let s(t) = -2*t + 3. Let n be s(-12). Suppose 5*h - n = -4*y, -12 = -h - 4*h + y. Suppose 2*f - 2 = f. Solve b + 2 = h*z, 3*b - f*b - z = 0 for b.
1
Let r(x) = x**3 + 11*x**2 - 11*x + 14. Let g be r(-12). Let v(u) = u**2 - 5*u + 2. Let m be v(5). Solve 0*t + t - m = 0, 3*j + 2*t + g = 0 for j.
-2
Let l = -15 + 17. Solve 3*h + t = 1, -4*t = -l*h + 6*h + 4 for h.
1
Let m be 3*2 + (-3)/1. Suppose m*w + 6 = 18. Solve -3*r + 0*p + 32 = w*p, -2*p = -5*r + 10 for r.
4
Let u(m) = -m**2 - 10*m + 3. Let t be u(-10). Suppose -t*d + 3 = -6. Solve 0*i + 23 = -2*i + 3*z, -2*i - z - d = 0 for i.
-4
Suppose -y + 1 = 6. Let u be 2 - (2 + y*1). Suppose 4*g = -0*q + q + 10, u*g - 2 = 3*q. Solve 5*i = -5*m, -4*m + q = -m for i.
-2
Let u be (-8)/60*-3*50. Solve -5*q + 3*d + 5 = 2*d, 2*d - u = -5*q for q.
2
Let i = 53 - 20. Let z be ((-30)/(-4) + -1)*-2. Let u = i + z. Solve -5*j - 2*p = -5*p - 32, -3*j = -2*p - u for j.
4
Let v = -9 - -13. Suppose v*m - 7 = -c, -8*m + 20 = -3*m - c. Let k = 30 + -3. Solve -2*i = 2*l - 5*i - 6, -5*l - m*i = k for l.
-3
Let r(o) = o**2 + 6*o - 27. Let c be r(-9). Solve -2*z - 3*j + 23 = 0, -j - 3 + c = -2*z for z.
4
Let p = -8 - -11. Suppose -3*d + 5*k - 32 = 0, 0 = d + k + 13 - 5. Let u = -6 - d. Solve -p*g - 3 = 6*v - u*v, 5*g + 5 = 3*v for g.
-1
Suppose 33 - 38 = -v. Solve 20 = -4*z, -3*z - 2*z - 35 = -v*a for a.
2
Suppose -u - 3*u = -12. Suppose -u*y + y - 6 = 0. Let f(k) = k**2 - 1. Let p be f(y). Solve 3*g + g - m = -p, -3*g = -2*m + 6 for g.
-2
Let z(f) = -2*f + 13. Let l be z(4). Solve -4*p - l*t - 33 = 0, -t + 5*t = -20 for p.
-2
Let g = 2 - -1. Solve 0*l - l = 5*r + 22, g*l = 9 for r.
-5
Let o = -2 - -2. Let x be (1 - (-1 + 1))*3. Suppose -3*k + 2*t = -52, 3*t - 2 - 40 = -x*k. Solve -2*a + 3*g + 19 = o, -k = -5*a + 3*g + 9 for a.
2
Let f = 8 + -8. Suppose -3*n + 4 = -2*z - f, 0 = 5*n + 3*z - 32. Let q be 2*-1 - -1 - -8. Solve 5*k + 2 = 2*i + q, -n = 5*i - 4*k for i.
0
Let u = -144 - -153. Solve -2*c + 3*l = -u - 1, 4*c - l = 20 for c.
5
Let z = 5 - -4. Let o be 4/(-6) + 141/z. Solve 3*t - o = 3*p, -2*t - t + 19 = -4*p for p.
-4
Let d(l) = l**2 - 6*l + 10. Let s be d(5). Solve 0*o - 1 = o - g, 2*g + 19 = -s*o for o.
-3
Let c be 18/5 + (-4)/(-10). Let s be (-1)/(-1) + 0 + -1. Let b be (9/(-3))/(-1) - s. Solve -r - c = -2*h - 16, 0 = b*r - 12 for h.
-4
Let k be (0/(-2))/(-8 - -10). Solve k = 2*v + 5*s + 11, -14 = 5*v + 5*s + 6 for v.
-3
Let c(f) = f**3 - 3*f**2 - 7*f + 17. Let s be c(4). Let a(m) = -m**2 - 8*m - 8. Let y be a(-6). Solve 4*n = y*i + 8, 26 = s*n + 2*i + i for n.
4
Let i(h) = -h**2 + 12*h + 34. Let s be i(14). Solve 2*g - s = -4*p, -2*p + 2 = 2*g + p for g.
-5
Let v = 16 - 13. Solve -16 = 4*j + 2*y, v*j - 3 = -4*y - 25 for j.
-2
Let g = -2 + 6. Let f be (g/5)/(2/5). Suppose -h = f*h - 6. Solve 0 = -b + l + 6, 2*l = -h*b - 0*l + 4 for b.
4
Let b = 111 + -108. Solve 4*c = b*r - 2*r + 4, 2*c + r - 8 = 0 for c.
2
Let s be 10/3*18/10. Suppose -11*k = -s*k. Solve 11 = -b + 5*h, 2*b + 3*h + k = 4 for b.
-1
Let l be (-63)/(-28) + (-3)/12. Solve -4*k = 3*c - 5 + l, -15 = -5*k for c.
-3
Let u be 4 + (-4)/(-6)*-3. Suppose 4 = -4*j + 24. Solve -u*g - 15 = -j*z - g, 5*z - 2*g - 15 = 0 for z.
3
Let b = 59 + -37. Let t = b + -20. Solve 5*z - 15 = -5*s, -t*s - 6 = -4*s + z for s.
3
Let w(c) = c. Let t(f) = f**2 - 6*f. Let n be t(6). Let y be w(n). Solve -4*d = 8, 2*g - 2 = d - y*d for g.
0
Let h be 0/((-4)/2 - -3). Solve q = -3*f + 3 - 2, h = 5*f - 5*q - 35 for f.
2
Let l be ((-9)/2)/9*0. Let g(j) = j**3 - j. Let o be 4/(2/(-1)) + 3. Let x be g(o). Solve -3*b - 4*z + 20 = l, -b - z + 0 + 5 = x for b.
0
Let k be (-14)/(-49) + 354/(-14). Let q = -13 - k. Solve -2*d + 6 = o, 3*o - d - q = -5*d for o.
0
Let u be 192/88 - (-4)/(-22). Solve -5*c + 8 = -c, 4*z - 5*c = -u for z.
2
Let g = 40 - 23. Let r = 50 - g. Solve -4*x + 7*j - r = 2*j, -3*x + 19 = 5*j for x.
-2
Let g = 15 + -11. Solve 2*u - u + 3*b = -2, -g*b + 8 = -4*u for u.
-2
Suppose -5*k = -0*k. Suppose k = -2*y + 7*y. Solve 4*w = p - 20, 4*w + y*w + 20 = -5*p for w.
-5
Suppose 7 - 33 = -3*q - 4*g, q - 3*g + 13 = 0. Suppose -3*x + 4*x - q = 0. Solve -3*t = d + 6 + 12, 0 = -x*t + 2*d - 4 for t.
-5
Let p be 0 + 40/4 - 4. Solve -5*a + 22 = 3*b, p*b - 8 = 3*b + 2*a for b.
4
Suppose 5*n + 12 = 3*i, -4*i - 4*n = -9*i + 20. Let m be (i + 2)*3/6. Solve 5 = -2*z - 0*v - v, m*v = 5*z + 18 for z.
-3
Let y(j) = -j**3 + 3*j**2 - 2*j + 3. Let r be y(2). Solve -4 = 4*t - r*t - 4*a, 0 = -3*t + 4*a - 4 for t.
0
Suppose 2*n - 59 = 5*m + 5, 2*m + 74 = 3*n. Suppose 2*i + 3*i - 4*a - 33 = 0, -4*i = -a - n. Solve -j = -0*k - 5*k - 22, 2*j + 31 = -i*k for j.
-3
Suppose -5*d = k - 19, 3*d - 1 + 4 = 3*k. Solve -4*i - 2 = -d*i + 4*o, 0 = o + 1 for i.
2
Let b be (-9)/45 - 1/(-5). Suppose b*u = u - 4. Solve 5*j - 27 = -u*x, j - 3*j + 4*x = 6 for j.
3
Let k = -6 + 8. Let c = -4 + 6. Suppose 4*w = 3*y + 7, -c*w + 4 = -2*y + k. Solve w*a - j = -20, -2*a = 4*j + j + 10 for a.
-5
Suppose -2*g - l + 15 = 0, 3*g - 2*l - 19 = 7. Solve 4*w + 0*d + g = 4*d, -2*w + 3*d = 8 for w.
2
Suppose 20*m - 16*m = 20. Solve 0*i + 8 = i + 2*s, m*i - 8 = -2*s for i.
0
Suppose 5*t + 23 = 2*k, 2*k - 4 = -3*t - 5. Let q = 0 + k. Solve 4*c + 12 = -5*d, 2*c + q = 5*d - 2 for c.
-3
Let b(l) = l**2 - 4*l + 3. Let k be b(3). Let d(z) = -3*z - 3. Let g be d(-3). Let a be ((-4)/g)/(4/(-18)). Solve -a*t - 5 = -4*x, t = x - k*t - 1 for x.
2
Suppose -h = -7 + 1. Let v be h/(-4)*4/6. Let o be 0 - (v + 1) - 0. Solve -3*y + 0*y + b - 2 = o, 0 = b + 1 for y.
-1
Let q(z) = 0*z + 7*z**2 + 9*z + 5 - z**3 - 13. Let x be q(8). Let i = x + 2. Solve 3*m + 4*v = 1, m + 3*m - i = -5*v for m.
3
Let u(o) = -o**2 + 6*o + 9. Let t be u(7). Solve -h - t*n = -4, -5*n + 5 + 4 = 2*h for h.
2
Suppose 5*x - 225 = 4*j, -3*x + 62 = -x + 4*j. Let h = 57 - x. Solve 4*t = 4*v + h, 2*v - 4*t = -17 + 7 for v.
-3
Let c = 72 - 68. Solve 4*i = -3*b + 3, -4*i + 3*b - c = -25 for i.
3
Let n(i) = 3*i**2 + 1. Let b(q) = q**3 + 2*q**2 - 2*q + 4. Let m be b(-3). Let l be n(m). Solve 3*o + l = 2*a + 2, 3*o - 5*a = 4 for o.
-2
Let r(h) be the second derivative of h**4/6 - 2*h**3/3 + 2*h**2 - 6*h. Let w be r(3). Solve -3*m = -5*a + 6 - 32, -5*a = 5*m + w for a.
-4
Let n = 4 + -4. Suppose -5*z - 5 + n = 0. Let k be 9/2 + z/2. Solve 3*x = 8*x + k*l - 25, 4*x - 20 = l for x.
5
Suppose 2*y = -2*y - 56. Let n = y - -23. Let o be (2 - (-8)/(-6))*n. Solve 2*z = -3*i - 17, z = o*i - 2*i + 8 for i.
-3
Suppose -r = -2*q + 12 - 3, -16 = -3*q - r. Solve -5 = -3*t + 2*t - q*h, 4 = -2*t - 3*h for t.
-5
Suppose 12 = -5*y - g + 33, 0 = 4*y - g - 15. Let z = y - 0. Suppose 0 = -5*m + 44 - z. Solve 2*q + 5 = c - 4*c, -m = q - 4*c for q.
-4
Let t = 0 - 0. Suppose r + 2 = -w, t = 2*r - w - 2 - 6. Suppose 3*l + r - 8 = 0. Solve 0*n = 4*v + 2*n - 18, -l*v + 7 = 3*n for v.
5
Let l(o) = o**3 + 6*o**2 + 3*o - 9. Let f be l(-4). Solve 2*g + 2*s = 0, 5*s = 4*g - 7 - f for g.
2
Let h = 13 + -11. Solve 2*d - h*f + 2 = 0, d + 5*f = -d - 23 for d.
-4
Suppose 0 = -2*g + 3*g - 5*z - 8, -g + z + 8 = 0. Let v be (4/g)/(2/(-20)). Let p be 8/(-4) - (v + 1). Solve 0 = 4*q - 3*f - 15 - 17, 3*q + p*f - 7 = 0 for q.
5
Let l be (1 - 1) + -4 + 13. Solve 0 = -3*a - l, 4*y + 2*a - 7*a = -5 for y.
-5
Let o(h) = 4 - 5 - 8 - h. Let x be o(-9). Solve 0*b - 3*v = -b - 7, -b + 4*v - 9 = x for b.
-1
Let n = 3 - 0. Solve -2*l = -n*h - 2, 3*h = l - h - 11 for l.
-5
Suppose j + 5*x - 9 = 0, -x + 13 = 2*j + j. Solve j*s - 4*f - 16 = 0, -4*s = s - f - 8 for s.
1
Suppose -4*v + 2*d = -12, -5*v - 2*d = -v - 12. Solve 2*s = s - 4*r - 2, v = s - r for s.
2
Let p(l) = -l + 5. Let t be p(-6). Let m = t + -4. Suppose -6 = -3*d + 3*c, 3*d - 1 = 4*c + 3. Solve -5*o + 4 - 5 = 4*h, -3*o + d*h = m for o.
-1
Let r be 10/(-4)*(-8)/5. Let g(y) = y**3 + 4*y**2 - 3*y - 5. Let k be g(-4). Let j = k - r. Solve 5*b + 6 = 3*x - 10, 2*b = -j*x + 2 for b.
-2
Let r(j) = j**3 - j**2 - j - 2. 