 a - 25, z*a - 5*p = -20 for a.
-5
Let n be (3 - 2*-1)*1. Let u be (-1 - -2)*-1 + 1. Suppose -2*y + 4*y = u. Solve y = n*f + 2*g + 25, 0*f - 15 = 3*f + 2*g for f.
-5
Suppose -6*s - 3*s = -99. Solve h - 9 = 2*z, 5*h - 4*z - 38 = -s for h.
3
Suppose 25 = -5*o, -4*l - 364 - 193 = o. Let s be (l/12)/(2/(-4)). Solve s = 2*v - 5*x, -3 = -x + 2*x for v.
4
Let x(w) = 2*w**3 + w**2 + w - 1. Let u be (-2)/(-6)*-1*-3. Let s be x(u). Let y be 4 + (2 - 2)/(-2). Solve y*a - k = -7, -s*a + 5 = 4*k - 4 for a.
-1
Suppose -11 - 1 = 4*r. Let n = r - -5. Solve 14 = n*g + 3*x, 0 = -5*g + x - 0*x + 18 for g.
4
Let v be 0 - (-3 + 2) - -1. Suppose j = -v*j. Solve j = 2*p - 5*q - 10, -3*p + 2*q = 6*q + 8 for p.
0
Let l(a) = a - 2. Let v = -7 + 9. Let g be l(v). Solve c = 0, g*s - 3*c - 25 = 5*s for s.
-5
Let y be (-500)/(-130) - 2/(-13). Solve 4*u - y = 2*p, -2*p - 2 = -p - 5*u for p.
-2
Let r be -6*(-2)/(12/18). Solve 0 = -2*i - i + 3*f - r, 4*f - 16 = 2*i for i.
-4
Suppose 0 = 102*d - 109*d + 28. Solve 3*q = -4*s + 15, 21 - 1 = -s + d*q for s.
0
Suppose q = 4*i + 17, q - 1 = -2*i - 2. Suppose q*t - 11 = 3*v, 4*t - 13 = -3*v + 3*t. Solve -u - 12 = 3*z - 0*z, 0 = -v*z - 12 for u.
0
Let u(y) = -y**2 - y - 3. Let j be u(0). Let m = j + 8. Suppose 6 = -4*r + 2*d + 20, 5*d = 2*r + m. Solve 5*w + r = 2*a, -2*a + 5*a - 10 = 5*w for w.
1
Let a = -22 - -24. Solve -4*b = -5*s + 13, -a*b + 4*s - 19 = -s for b.
3
Let f = -27 + 30. Let o(w) = -w**3 + 7*w**2 + 2. Let c be o(7). Solve 5*x = f*q + 7, 4*q + c*x + x = 10 for q.
1
Let i(j) = -9 - j - 2*j + 4*j. Let u be i(9). Solve -1 - 5 = 4*y - g, -3*y + 3*g = u for y.
-2
Let o = -5 - -5. Suppose 0*x + 3*x - 6 = o. Suppose -x*i + 5 = -i. Solve -3*l + 3*w + 14 = l, -i*w + 10 = 0 for l.
5
Let v be 18/(-30)*(1 - 11). Suppose -3*o - v*g + 2*g = 0, -g = 0. Solve o = -4*w - 3*k - 3 + 4, 5*w - 5 = -5*k for w.
-2
Suppose -5*x + 14*x - 27 = 0. Solve -4*o + 3*z + 2 + 5 = 0, o - x*z + 5 = 0 for o.
4
Let t be 3 + 1 - (-4 - -7). Let y be (t + 2)*(0 - -1). Solve -n = y*f - 12, 4*n = f + 2*f + 3 for f.
3
Let z = 53 + -37. Solve n = 4*f + 21, -2*f + z = -5*f + n for f.
-5
Let g be 16/(-10)*(-5)/2. Suppose g*p - 5*u + u - 12 = 0, -2 = 2*u. Solve m = 2*s + 3, 3*m - p*m - 5*s = 9 for m.
-1
Let q(v) = v + 3. Suppose y + 4 = -1. Let a be q(y). Let p be 0/2*a/4. Solve p = -b + 2*k - k - 5, -2*k = -2 for b.
-4
Let c be 6/(2/((-4)/(-3))). Let a be ((-2)/c)/((-2)/44). Suppose -a = -4*p + 5. Solve 10 = 4*h + 2*t, 3*h + 0*h + p*t = 5 for h.
3
Let i(b) = -b**3 + 7*b**2 + 7*b - 2. Let t be i(8). Let r = t + 10. Solve -4*g = -3*y + 2, r = -3*g + 4*y + 1 - 6 for g.
1
Suppose 12 = -2*z + 6*z. Solve 0*u - 3*u = -5*x + 12, -z*u - 3*x = -12 for u.
1
Suppose -18 = -0*r + r. Let u be (-3)/r - (-51)/18. Solve -2*h + 4 = -2*x, -x = -3*h + u*x + 11 for h.
-3
Let w(r) = -14 + 31 - 13 + r. Let y = 0 + 0. Let a be w(y). Solve -5*n = -3*j - a, 4*n - j - 5 - 1 = 0 for n.
2
Let q = 48 - 41. Let c(r) = r**3 + r**2 - r + 6. Let b be c(0). Let o(v) = 2*v - 8. Let a be o(b). Solve 4*h = 3*y + q, 0*y - a*y = 2*h + 2 for h.
1
Let a(k) = k**3 - 3*k**2 + 2*k - 2. Let h be a(3). Suppose -17 - 135 = h*s. Let p be (2 + -1)/((-2)/s). Solve -8 = q - 4*j - 0, -j = 4*q - p for q.
4
Let o(a) = -33*a - 9. Let b(t) = -22*t - 6. Let n(h) = 8*b(h) - 5*o(h). Let k be n(-2). Solve -s + 15 = -4*f, 9*f + k = s + 4*f for s.
-1
Let f be ((-1)/(-3))/(2/6). Let l be -5 + 28/10 + 8/(-10). Let z = f - l. Solve -3*g = 2*q - 17, 2*g - 15 = -z*q - 1 for q.
1
Suppose -6*o - 36 = -8*o. Solve o = -3*z + 5*n, 5*z = 4*n - 5 - 12 for z.
-1
Suppose 29 = -4*w - 5*b, 4*w + b + 18 = -7. Let l(u) = -2*u - 8. Let j be l(w). Solve -s + 5 = 2*f - f, -j*s + 3*f = 1 for s.
2
Let c(y) = -y**3 + 8*y**2 - 10*y - 10. Let t be c(6). Solve -25 = 5*w, 7 = -t*r - 2*r + w for r.
-3
Let l(p) = p**2 - 10*p + 11. Let n be l(9). Suppose n*z - 3*z = 0. Solve 2*i - 7*i + j = z, -3*i = -j + 2 for i.
1
Let b(l) = -3*l - 9. Let f be b(-4). Solve c = -2*c - 4*a + 14, 4*c + a + f = 0 for c.
-2
Suppose 3*i + 21 + 0 = 0. Let n = -3 - i. Solve x - 3*q = -3 + 14, -n*x - 7 = 5*q for x.
2
Let r(k) = k**3 + 2*k**2 - 4*k - 4. Let m be r(-2). Let a be (-2 + 6 - 3)*m. Solve 4*j - 4*f - 24 = -8, -5*f = -j + a for j.
4
Suppose 2 - 10 = -4*x. Solve k - 8 = -2*i, -x*k + 3*i - 26 = -7*k for k.
4
Suppose -k = -0*k - 6. Let n(q) = q**2 + 4*q - 7. Suppose 3*m + 0*m + 18 = 0. Let b be n(m). Solve 2*z + 19 = b*h, 2*z - h - 11 = -k*h for z.
-2
Let f = 8 + -3. Suppose 5*l + 24 = -0*p + p, 4*p - 66 = f*l. Solve -4*c + 11 = i, -i - 3*i - c = -p for i.
3
Suppose -5*a - 15 = 5*h, -5*h - 12 = -3*a - h. Solve 3*z + 4*q - 4 - 17 = 0, a = 2*z + 5*q - 21 for z.
3
Let l(k) = -k - 6. Let p be l(-6). Suppose 5*y + 7*w - 3*w - 21 = p, 4*y = -w + 19. Solve 4*u = 3*s + 2*s + 15, u + y*s + 15 = 0 for u.
0
Let u(l) = 3*l**2. Let t be u(1). Solve -5*c - 6 = t*x - 0*x, 0 = -3*c - 5*x - 10 for c.
0
Suppose 5*f = 4*f + 5. Suppose -f*y + 6 = 2*d - 9, -9 = -3*y. Solve -4*m = d, -4*s - 4*m + m = 20 for s.
-5
Let z = 29 + -26. Solve 5*i + u = 3*i + 10, 16 = z*i + 2*u for i.
4
Suppose -1 = j - v - 0, 4*v = 20. Solve -j = -4*a + 2*s + 12, -5*s + 30 = 4*a for a.
5
Suppose 0 = 4*r - 8*r + 8. Solve -j - 3 = -o - r*o, 5*j + 2*o = 2 for j.
0
Let q(i) = i**2 + 7*i - 7. Let y be q(-8). Let o be (1 + -5)*y/(-2). Solve h - o = 0, -4*h + 8 = 3*r - 3 for r.
1
Let t(s) = s**3 + 7*s**2 - 8*s + 4. Let o be t(-8). Suppose 0 = -3*l + 5 + o. Solve 3 = 5*j - 3*n - l, 5*j = -n + 18 for j.
3
Let m(q) = q**3 + 4*q**2 - q - 5. Let z be m(-4). Let s be (1 - z) + (-60)/(-4). Solve 0 = -2*g + 3*f - s, 0 = -5*g + 3*f - 7*f - 8 for g.
-4
Let x be 0/((-4 - -3)*-1). Suppose -3*h = 2*o + 1, x*h - 5*h = -o - 20. Let p be 30/4*16/6. Solve 2*l + 3*l = h*s - p, s - 9 = 4*l for s.
5
Let r(n) = -n**3 - 5*n**2 - 7*n - 5. Let y be r(-4). Suppose 4*i = 5 + y. Solve i*m - 2*w = 19, 4*m = 2*m + 3*w + 21 for m.
3
Let n(f) = 2*f**2 - 20*f + 3. Let i be n(10). Solve -u - 2*u + 3 = -i*k, 4*u - 7 = 5*k for u.
-2
Suppose -3*c + 3 = -0*c. Let l be 12/((-1)/(-2) + c). Suppose 0 = 2*b - 40 + l. Solve 4*q = -s + 3*s + 14, -4*s - b = -4*q for q.
3
Let o(t) = -t**3 + 8*t**2 + 18*t + 24. Let i be o(10). Solve -4 = i*d - f + 5*f, 3*f = 4*d - 24 for d.
3
Suppose 0 = -3*o - 3*w + 9, 10*o - w = 5*o + 27. Solve 4*p = -4*f, p + o = -5*f + 1 for f.
-1
Let w = 4 - 2. Let i = 5 - 2. Let p = i + w. Solve 0 = -2*x - 0*u + 3*u + 19, -4*x + p*u = -35 for x.
5
Let z(f) = -2*f**3 + 3*f**2 - f - 1. Let u(k) = -3*k**3 + 2*k**2 - k - 1. Let n(o) = 3*u(o) - 2*z(o). Let r be n(-1). Solve r*a + 5*c = 0, 0*a = -a - 5*c for a.
0
Suppose 2*t - 2 = -8. Let n be 7 + 0/(-4) + t. Solve n*p - 18 = -2*u + 2, p + 13 = 4*u for u.
4
Let x = -1 - -4. Suppose 0 = -2*j - 2*i + x + 13, j - 3*i = 28. Suppose 5*n - 78 = -j. Solve 0 = 2*l - m + 13, -3*m = 5*l + m + n for l.
-5
Let c(d) = -d**2 + 7*d - 4. Let x be c(6). Suppose 23 = 3*y + 4*a, x*y + 0*a + a - 12 = 0. Let r = -6 - -8. Solve w + 22 = y*h + r*w, 10 = 2*h + w for h.
4
Suppose -4*v + 7 = -9. Suppose -u - 3*r + 25 = 0, u + v*r - 26 = -0*u. Suppose 4*f = 4, -5*f + 5 + 16 = 4*w. Solve -4 - u = 4*a + 5*x, w*a = -4*x - 24 for a.
-4
Let b(c) = c**3 - 6*c**2 - 9*c + 16. Let h be b(7). Solve 2*t + 3*t - m = -6, 0 = -h*t - 4*m + 2 for t.
-1
Let j(t) = -t - 11. Let i be j(-11). Let k be -3 - i - -2 - -16. Solve k = 5*m, -13 + 2 = r - 4*m for r.
1
Let t(l) = l**3 - 6*l**2 + 5*l + 5. Let k be t(5). Solve 0 = -2*v + 3*r - 25, -5*v - 2*r = -k*r + 40 for v.
-5
Let o(s) = -5*s - 15. Let h be o(-8). Solve -4*y + 5*d - 25 = 0, -4*y + h = -3*y + 5*d for y.
0
Let n(a) = -4*a**3 - 21*a**2 - 7*a - 6. Let p be n(-5). Solve 2*x = 3*t - 3, 0 = 5*t - p*x - 3 - 2 for t.
1
Let a be 4/(-10) + -9*(-6)/135. Solve -4 = j - 2*j + 2*m, a = -j - 3*m - 1 for j.
2
Let l = -1 - 1. Let a = l + 5. Solve -2*u - 10 = -0*u - a*p, 2 = u + 2*p for u.
-2
Suppose -5*g + 5*j = 0, -2*g + 0*j + 6 = j. Solve n = -4*i + 14 + 10, 2*i + g = 3*n for n.
4
Let z(a) = a + 2. Let p be z(-3). Let r be p/(2*3/6). Let l = r + 4. Solve -2*b - 2*b = -3*h + 8, -2*h = -l*b - 5 for b.
1
Let y = -20 + 20. Solve 2*j = p - 2 + 4, -3*p - 2*j - 14 = y for p.
-4
Let w = 5 - 0. Suppose 0 = -5*i + 1 + 79. Let d = -6 - -9. Solve -5*x = 3*n - i, 1 = d*x - w for n.
2
Suppose -6 = -5*z + 4. Solve 0