3*v - 0*f + 12, -5 = -5*f. Suppose p + 9 = 4*k, 2*k - 6*k + 2*p = -14. Let s = 3 + k. Solve 4 = y + v*t, -s*y = -t + 5*t + 8 for y.
-5
Suppose s - m - 7 = 0, 5*m + 15 + 5 = 0. Let j(c) = -4*c - 1. Let y be j(-2). Solve -w - 5*g + 10 = 0, s*g = 3*w - w - y for w.
5
Let o = -23 + 32. Let z(y) = -y**2 - 6*y - 5. Let s be z(-5). Solve s = i - 4, 2*t + 31 - o = 4*i for t.
-3
Let f = 30 + -28. Solve -2*o = f*s, -2*s + 9 = -2*o - 7 for o.
-4
Let c be 2 + -2*3/(-2). Let m = 11 - 6. Solve -c*a + 3*w + 2 = m, -4 = -4*a + 4*w for a.
-3
Let w = -5 + 9. Suppose 0 = -3*s - 3*j + 27, 2*s - w*j + 6 = -0*s. Suppose -2*b - 6*l = -2*l - 6, -4*b + 38 = -s*l. Solve 2*u - 14 = 5*a, 5*a + b = -3 for u.
2
Let i = -1 + 1. Solve 4*z = 2*y - z + 25, 3*y + 4*z + 3 = i for y.
-5
Suppose 9*h + 35 = 14*h. Suppose 4*f - 22 + 2 = 0. Solve -3*q = i + f, -h = 2*i + q + 4*q for i.
4
Suppose -5*z + 4*w = -0*w - 375, -z + 61 = 2*w. Suppose 4*b = -3*j + z, -4*j + 100 = 4*b - 0*b. Solve 11 = t - 5*u - 13, -4*t - 5*u = j for t.
-1
Suppose 0 = 4*r - 3*b - 2*b - 17, 3*b + 15 = 4*r. Suppose -q = -0*q. Suppose q*c - 9 = -r*c. Solve -2*o - c*i = -13, 6*i - 23 = -2*o + i for o.
-1
Let c(k) = k**3 - 6*k**2 + 2*k - 5. Let q be c(6). Solve 2*y + 4 = -5*h, -h + 10 = -3*y + q*y for h.
-2
Suppose -2*f = 2*a - 8, 0 = -4*f + a + 16. Suppose n = 4*n - 12. Suppose 30 = m + f*m - 5*w, 3*m + n*w + 3 = 0. Solve 0*j + 4*j - y = -9, -m*j = -2*y + 3 for j.
-3
Let q(b) = 3*b - 21. Let g be q(8). Solve v - 1 + 11 = a, -35 = g*v - 4*a for v.
-5
Suppose -5 = 7*t - 33. Solve 36 = -4*z + t*c, -5*z + 4*c - 22 = 18 for z.
-4
Let a be (-9)/(-6)*14/3. Let p = a + -5. Solve 0 = -4*r + 12, 5*v - r - 28 = -p*r for v.
5
Let v(i) = -i**2 + 4*i - 2. Let x be v(4). Let g be 1/4 + x/8. Solve -4*z - 10 = -g*n - 2*n, -4 = -n + z for n.
3
Let b = 8 - 3. Suppose 4*y - 16 = 4*j, 2*y + 0*j + 4*j - 32 = 0. Let x = -2 + 5. Solve x*m + 9 = 0, m - y = 3*i - b for i.
-2
Suppose -15*v = -16*v + 7. Solve 0 = 2*a + 5*g + 9, -v = -a + 4*g + 8 for a.
3
Let t be 165/18 + (-1)/6. Solve 3*v - 2*r - t = 0, 4 + 2 = 2*r for v.
5
Let y be 4 - ((-4)/(-2))/(-2). Suppose 0*p = 5*d - p - 120, 4*d = -2*p + 96. Let t be (-6)/(-4)*8/3. Solve -y*u + 4*u = -5*z + 15, z = -t*u + d for u.
5
Let a = -10 - -5. Let p be a/20 + 13/4. Suppose -5 = -4*k + y, -k + 9 + 6 = -p*y. Solve -3*z + k*d + 3*d - 3 = 0, -3 = 4*z - 5*d for z.
-2
Let n be (2 + -3)*(9 - 10). Solve -4*w + s - 9 = 0, -s - n = w + 5 for w.
-3
Suppose f = -2*t - 2*f - 5, -4*f = -5*t + 22. Let q = t + 1. Solve c + q*i - 6 = 0, -4*i = -3*c - 0*c - 21 for c.
-3
Let d(h) = -9*h - 2. Let r be d(-2). Let c = -5 - -16. Let y = r - c. Solve -16 = -g - y*q, -q - 8 = 4*g + q for g.
-4
Let a(h) = h**3 + 8*h**2 + 6. Let t = -26 - -18. Let l be a(t). Solve 2*f = 4*m + 2, m - 5*m - l = 2*f for m.
-1
Let s(x) = -x**2 - 8*x - 5. Let d(t) = t**2 - t. Let j be d(-1). Let p = j - 9. Let w be s(p). Solve 0 = -4*b - o - 9, -3*b - 3*o = w*o + 28 for b.
-1
Let j be (-3 - -5 - 0) + 3. Let l be (-4 + 9)*2/j. Solve -4*x = x + p + 1, -4*x + l*p = 12 for x.
-1
Suppose 4*l = -x + 8, 4*l - 2 - 6 = 4*x. Suppose x*k - 6 = -3*k. Suppose 0 = -k*g - 2*g. Solve 0 = -g*o + 4*o + 3*f - 24, -5*o + 5*f = 5 for o.
3
Suppose 2*z - 2*v - 2 = -v, 4*z - v = 8. Solve 19 = l + z*r, -4*r - r = l - 29 for l.
4
Suppose -16 = -2*z + 3*v, -3*z - v = -8*z + 27. Suppose -10 = 5*u, 3*r + 2*u + z - 16 = 0. Solve 2*x = -2, r*w - 2*x - x + 7 = 0 for w.
-2
Let v(u) = 9 - 3*u + u + 10 + u. Let g be v(13). Solve -2*o + 2*m = 2, -g*m + 3 = 4*o - 3*m for o.
0
Suppose -t = -2*t + 4*k + 24, -k + 19 = t. Solve 0 = -4*y + 4, -5*u + y = -t + 1 for u.
4
Suppose 0 = -2*t + 3*l + 6, -5*t - l + 41 = -2*l. Solve 8 + t = -5*y - 2*i, 2*i - 4 = 2*y for y.
-3
Let y = -29 - -19. Let l = y + 18. Solve -3*f + 2*u = 20, f = 4*u - 3*u - l for f.
-4
Let t be ((-5)/(-2))/(6/12). Let s be (-17)/t + (-8)/(-20). Let x be 13/4 - s/(-12). Solve -4*v + v + x = 5*g, 0 = 2*v - 4*g - 2 for v.
1
Suppose -2*w - 1 = -3*w. Suppose -2*j + w = 4*i - 9, 3*i + 33 = 3*j. Solve l - j = -u, -3*l - u + 24 = l for l.
5
Let a(f) = 15*f + 34. Let w be a(-2). Solve -o = 3*r + r - 2, 0 = -w*o - 8 for r.
1
Let l(b) = 3 - 1 + b**2 - 7*b + 6. Let n be l(6). Suppose -n*x + 7*x = 5. Solve d = 3*d - 4*z + 10, -d - 4*z + x = 0 for d.
-3
Let q(p) = -6*p**3 - 2*p**2 - 2*p - 1. Let c be q(-1). Solve t - 3 = 2*x - x, 29 = c*t + 2*x for t.
5
Let r = -13 - 1. Let n be (-2)/(r/(-8) - 2). Let c = -6 + n. Solve 7 = z - 4*x - 6, -c*z - 4*x = 10 for z.
1
Let o = 12 + 0. Let j be (4/(-4))/((-2)/o). Let m = -1 + j. Solve 0*f + m*f + 13 = -q, 5*f = 3*q - 1 for f.
-2
Let b be (-1)/(1/1) - -1. Solve -5*h - m - 20 = -b*h, 0 = -2*m for h.
-4
Let y(u) = u**2 - u + 1. Let i be y(2). Suppose i*o - 15 = 3*r, 2*r = -r - 4*o + 20. Solve r = 4*c - 0*c - 4, -4*c = -2*s + 4 for s.
4
Let d = 3 + 1. Let v = 29 - 25. Solve -q + v*q + 10 = -d*t, -2*t + 4 = -3*q for t.
-1
Let s(f) = -f**2 - f + 4. Let z be s(0). Suppose -z*g + 16 = 4*x, -3*x = 5*g + x - 16. Solve 2*y = -4*p - 24, 5*p = -3*y - g*y - 31 for y.
-2
Let m be (-1 + -1)/((-2)/4). Let h be (m - -1)*(-8)/10. Let k be (-4)/(-14) + h/14. Solve 2*u - 3*b + 8 = -k*b, -b - 1 = 3*u for u.
-1
Let i(r) = -r**2 - 9*r - 18. Let c be i(-5). Solve -c*y = -3*h - 7, -y = y + 3*h + 23 for y.
-4
Suppose -6*d = -3*d - 12. Solve 4*r + 4*a + 6 = -18, -4*r = -d*a - 16 for r.
-1
Let y(g) = 3 + 6 + 4*g - 3*g. Let h = 9 + -16. Let s be y(h). Solve -o + 10 = -4*z, -z + 4*o - s + 7 = 0 for z.
-3
Suppose -5*v = -10*v + 20. Solve -v = x, 3*u - u = -5*x - 18 for u.
1
Let k be (-4 - 0)/(-2 + 0). Suppose 0 = -4*d + 20, -k*i = 2*d - 4*d + 4. Let z(x) = x**3 + 3*x**2 - x. Let w be z(-3). Solve w*r - 8*r = -i*t - 9, 0 = r for t.
-3
Let o(g) = -g**2 - 4*g + 1. Let r be o(-2). Let u be r/(2 + (1 - 2)). Solve 0 = -4*n - u*f - 6, 4*n - 7 - 3 = 3*f for n.
1
Let x = -126 - -128. Solve -2*t - x*f + 3*f = 15, -t + 3*f - 20 = 0 for t.
-5
Suppose -o - 3*o + 72 = 0. Solve k - 3*c + o = 0, 4*k + c + c + 2 = 0 for k.
-3
Let y = -14 - -8. Let j(u) = -u - 8. Let q be j(y). Let c be (-1 - 5)*q/6. Solve r + c*r = -3*s - 3, 3*r + 4*s + 2 = 0 for r.
-2
Let l = -17 - -21. Solve -j - l*q + 28 = -5*j, -4*j = -3*q + 23 for j.
-2
Suppose 20 = -3*u - 2*u. Let j be 20 - -3 - (u + 4). Solve -j = 5*z - 2*b - 0, -b = -4*z - 16 for z.
-3
Suppose -4*a + 13 = -u, 5*a + u + 2*u - 29 = 0. Suppose -n - 2*j = -15, 2*n + 13 = 3*n + a*j. Solve -9 = 2*m - g, 3*m - g - 5 = -n for m.
-3
Let n(f) = -3*f**2 - 13*f - 2 + 2*f**2 - 7. Let k be n(-12). Solve 0 = -6*s + k*s - h + 2, 30 = -5*s + 5*h for s.
-1
Let x be 4/(-10) - 189/(-35). Solve -x*r - 11 = 3*s, -18 = 3*r + 4*s - 6*s for r.
-4
Suppose -9 = 4*w - 5*w - f, -24 = -4*w - f. Solve -5*x = -w*q, -6 = -x + 3*q - 0 for x.
-3
Suppose -2*m + 5*m + 4*o - 18 = 0, 0 = 2*m + 2*o - 10. Solve 0 = -m*u - 3*h, 0 = -4*u + 3*u - 4*h - 5 for u.
3
Let a(m) = m**2 - 4*m - 3. Let p be a(5). Suppose -5*h - 2 = 23. Let n be p/h - (-2)/5. Solve j + 2*z + 5 = -n*j, -j - 4*z = 7 for j.
-3
Let t be 16/9 + (-10)/(-45). Suppose 4*h - 11 = 1. Suppose t*x - 9 = h. Solve -2*q - 20 = -5*j, x*j - 12 = 3*j + q for j.
4
Suppose 0 = 5*o + 4 - 34. Suppose 5*u = -4*s + 6 + 12, -2*u - o = -5*s. Solve 4*d - q - 9 = 0, -3*q = -2*d - u*d + 3 for d.
3
Let x be (-24)/((-5)/((-40)/6)). Let n = 46 + x. Solve b = 5*d + 7, 4*d = -0*d - 2*b - n for d.
-2
Suppose 10*t - 20 = 5*t. Suppose -g + 2*b = 4*g - 9, 3*g - b - 6 = 0. Solve 3*p = 5*z + t, 2*p - g*z - 1 = 1 for p.
-2
Let i be (-2 + 3)*-2 + -1. Let p be i/(-2)*(-10)/(-3). Suppose -10 = 2*g - 0, 43 = 2*w - 3*g. Solve -m = p, r + 5*m + 7 = -w for r.
4
Let a(x) = -3*x. Suppose 4*i + 5 = -i. Let u be a(i). Let y = u + -1. Solve 0 = -5*h + y*q + 17, -q - 4*q + 4 = 3*h for h.
3
Let z be ((-15)/(-9))/(3/9). Let c = 64 - 60. Solve 5*d + 2*j = c*j - 25, -4*d - 20 = -z*j for d.
-5
Let r(j) = 2*j**2 - j**2 - 1 + 2 + 6*j. Let k be r(-5). Let l be (-1 + 1)/(k/2). Solve -4*u + 7 = -m - 13, l = -5*u - 2*m + 25 for u.
5
Let r = 6 + 1. Suppose -r + 18 = g + c, 3*c - 15 = 0. Suppose x = 5*u + g - 21, -2*x - 10 = -5*u. Solve -h + 2*h + 3*y + 12 = 0, 0 = 3*h + y + u for h.
0
Let t(w) = 1 + 2*w - 7 - 3. Let b be t(7). Solve -5*h = 3*a + 2*a - 25, 0 = b*h - 5*a - 25 for h.
5
Suppose -2*m = -m - 6. Let d be 21/m + (-1