 m(y). Solve -v - x = -i*x + 10, -4*x = -v - 15 for v.
5
Suppose -3*q - u + 3*u = -12, 4*u = 0. Solve 58 = -5*b - q*d + 13, b = -4*d - 25 for b.
-5
Let g(w) = w**2 + 4*w - 8. Let z be g(-6). Solve 3*k = n + 12, z*k - 12 + 3 = -n for n.
-3
Let i(c) = -c**3 - 5*c**2 + 7. Let t be i(-5). Solve -t*y = -n - 2*y - 30, -4*n - 3*y - 5 = 0 for n.
-5
Let y be (9 + -8)/(2 - 1). Let b = y - -2. Solve -2*m = -6, -b*z = 2*z - 5*m + 10 for z.
1
Let y = 1 + 1. Suppose y*k + 5*v + 3 = 0, -3 = 3*v - 0*v. Let m be 1*k/(-2)*0. Solve -4*f + 3 = 7, 2*q + f - 7 = m for q.
4
Let v(h) = -h**2 + 17*h - 13. Suppose -12*w + 14*w = 32. Let c be v(w). Solve 0 = -4*z - c*u - 1, -u = -2*z - 0*u + 7 for z.
2
Let h(c) = 6*c**3 + c**2. Let m = 9 - 8. Let a be h(m). Solve 0 = -3*p + 4*l + 6, -3*p + 3*l = -a + 1 for p.
2
Let h be 3/((-108)/32 - -3). Let f = -5 - h. Solve 3*p + 30 = -f*z, -35 = -z + 3*z + 5*p for z.
-5
Suppose -3*j = j - 24. Let p = -7 + j. Let a be (-3 + p)/(-2 - 0). Solve 18 = 2*f + 3*u, -3*f + u - a = -7 for f.
3
Suppose w - 6 = -2*r, r - 1 - 2 = -4*w. Let k = w + 3. Suppose -4*x - k*l = -l - 18, l = 1. Solve -3*h = -6*h - 5*c - 10, h = -x*c - 1 for h.
-5
Suppose l - 4 = -5. Let p = l - -6. Let d = -24 - -27. Solve 8*n = y + 3*n + 15, p*y = -d*n - 19 for y.
-5
Suppose 0 = -v - 4*v + 25. Let s = -27 - -32. Solve -5*x = s*q, 0*q - v*q = 0 for x.
0
Let l = 10 - 8. Suppose -g - l = -11. Suppose -2*c - 3 = -g. Solve 3*a - 3 = -c*d - 2*a, 17 = -5*d - a for d.
-4
Suppose 0 = 4*v - o - 14, v + 5 + 2 = -5*o. Solve 2*z - 7*z + 4*q = 3, -v*z = q - 5 for z.
1
Suppose 0*y = 2*y - 6. Solve y*l - 9 = -5*a, -4*l = -l - a + 9 for l.
-2
Let k = 6 - 2. Solve 4*t - k = -2*f, -4*f + t + 1 = -7 for f.
2
Let f be 51/12 - (-2)/(-8). Suppose f*k = -k + 20. Suppose 5*h - 5 = k*h. Solve 40 = h*p - 5*z, -2*p + 5*z = -21 - 7 for p.
4
Suppose 5 = 2*f + 3. Suppose 0*i = -4*i + 2*j + 10, j - f = -i. Suppose i*h - 8 = -3*d, 2 = 3*d - h + 6*h. Solve 0 = d*c + 2*g + 6, -c - 1 = -4*c + 4*g for c.
-1
Let t = -109 - -113. Solve -r = 2*q - 2 - 8, -r = t*q - 18 for r.
2
Let v(y) = y**2 - 10*y + 10. Let h be v(10). Let z = 16 + -9. Suppose 1 = -3*m - 4*n - 13, -3*m + 26 = -4*n. Solve m*x + h = -2*r, 4*x = -13 - z for r.
0
Suppose -4*i - 6 = -22. Suppose 1 = -5*b - i. Let s be 6 - (-1 - 0)*b. Solve -3*g - 35 = -6*v + 2*v, -3*g = 2*v + s for v.
5
Let y be (6/4)/((-2)/4). Let s be 1 - y/(-3) - -5. Let k = -1 + s. Solve -5*i - k*d - 9 = 1, i = 2*d + 12 for i.
2
Let q be (-10)/(-35) + 120/21. Solve -x + 4*t - q = 12, -4*t + 12 = -4*x for x.
2
Suppose -2*p = 4*i - 18, -2 = i - 4*p + 7. Solve 0*o = -2*g - o - 1, 0 = -2*g - 3*o - i for g.
0
Let a(q) = q**3 - 9*q**2 + q - 6. Let f be a(9). Suppose 8 - 1 = 2*d - 3*m, 5*m = -f*d + 20. Solve 34 - d = 4*n + 3*o, 5*n + 3*o - 34 = 0 for n.
5
Let b(g) = -3*g**3 + g**2 - g + 3. Let a(q) = q**3 - 1. Let m(h) = -4*a(h) - b(h). Let w be m(-2). Solve 4 = -4*j + 3*l, w*j - 4*l - 1 = 3 for j.
-4
Let b(r) = r**3 - 3*r**2 + 2*r - 2. Let p be b(3). Suppose v - 8 = 1. Suppose 9*g - v = 6*g. Solve -p*y - f = 1, 5*y = 3*y + g*f + 3 for y.
0
Let g(o) = 7*o. Let q be g(1). Suppose 3*b - 13 = 4*n, 0 = -4*n + 4*b - 0*b - 12. Let a = n + q. Solve -m = -4*t + 18, -6 = -2*t - a*m + 5*m for t.
5
Let y(a) = 2*a - 1. Let n be (-8)/14*7/(-2). Let v be y(n). Let c = 7 + -3. Solve -v*l = l + f - 21, 36 = c*l + 4*f for l.
4
Suppose v = 5*l - 12, 18 = -0*l + 3*l + 3*v. Let a be 3 - 5/(10/32). Let u = a + 13. Solve j + 2*b = u, -j - 2 = l*b - 1 for j.
2
Let q = -4 - -6. Suppose -2*d = p + 4, -q*p + 0*d + 12 = -d. Let l be (-1 - -1)/(p/4). Solve -5*c - 2 = 4*f, l = 2*f + f - 2*c + 13 for f.
-3
Let h = -10 + 14. Let k = 12 + -9. Solve 14 = k*f - w, -10 = -f - w + h*w for f.
4
Let x(g) = g**2 - 2*g - 1. Let i be (-3)/(-1) - 2 - -1. Let u be x(i). Let w = 4 + u. Solve -2*d = -w*a + 5 + 5, -5*a + 19 = -d for d.
1
Let c be 2/(-4)*(-1 - -1). Suppose c = r + 2*z - 4, -5*r = -2*z - 6 - 2. Suppose s = -l - 4*s - 17, -6 = 2*l + 3*s. Solve r*y = -3*u + 2, -5 = -2*y + l for u.
-2
Let w be 6 + 2 + (-3 - 0). Suppose 0 = -s + w*s. Solve -4*l + 2*b = 14, s*l - 2*b + 11 = -l for l.
-1
Let p be 2 + -1 + (3 - 4). Suppose -3*q - q = p. Solve q = -r - 4, -4*i + 12 = -r - 4*r for i.
-2
Let g be 5 + 0 - 0/(-2). Let m = 0 - -4. Suppose 2 = a, -5*j = -j + m*a - 36. Solve 0 = 3*s - 1 + j, g*h - 4 = 2*s for h.
0
Let o = -8 + 8. Let l = o - -4. Solve l*g + 2*i - 12 = 0, i = 2*g + 3*i - 10 for g.
1
Let o be (-4 - 0)*(-4)/8. Solve 15 = -o*w + 5*n, 0*w - 3*w = 3*n - 9 for w.
0
Suppose 5*o - 15 = 0, a + 2*o = -3*a + 14. Solve 3*f = 2*n + 16, -n + 5*n + 16 = a*f for f.
4
Let g(i) = -18*i - 1. Let h be g(-1). Solve 2*u - 5*l + h = 0, 5*l - 33 = -4*u + 2*u for u.
4
Suppose h - 6*u + 5*u - 3 = 0, h - 7 = 3*u. Solve 0 = -4*b - 2*l + 10, -4*l = 4*b - 3*b + h for b.
3
Suppose 0 = 2*w - 3 - 5. Let s(r) = -3 - 4 - w*r + 2. Let i be s(-5). Solve 3*j + 12 = 3*q, -5*q = -8*q + i for j.
1
Suppose -3*n + f + 39 = 0, -5*n + n + 52 = -f. Solve -2*u = -2*x - 4, -4*u = -2*x - n + 1 for u.
4
Suppose 58*k = 53*k + 20. Solve -3*z + 2*q = -3*q + 23, q = -k*z for z.
-1
Let w be (1/((-1)/(-11)))/(-1). Let q be (-2 - w)/(15/10). Solve q = 4*a + 2*d, -5*d = -4*a + 2*a + 21 for a.
3
Let y = -2 + 0. Let s be (1083/(-3) + -1)/y. Suppose -5*a - 41 = -s. Solve -12 = -2*v - 5*p, v - 4*p = -2*v - a for v.
-4
Let p = 6 - 4. Suppose -2*m = -m - 5. Suppose -20 = -m*w + 10. Solve -2*x + 25 = 5*s, w*x - p*x + 5 = s for s.
5
Suppose -3*c + 15 = n, 4*n - 2*c - 67 = n. Let b = 0 + 1. Solve -20 = 4*v + a - b, 0 = 5*v + 4*a + n for v.
-5
Suppose -4*n - 2 = -74. Let u = n + -13. Solve 3*s - 4*w = 4*s + 18, -5 = u*s + 3*w for s.
2
Suppose -5*g + 34 = y + 2*y, 3*y = 5*g - 16. Suppose 2*l - g*l + 5 = 2*m, m = l - 10. Suppose l*r - 8 = 3*r. Solve -5*z + 4 - 18 = -3*c, 0 = -z - r for c.
-2
Let c(x) be the first derivative of x**2 - 3*x + 2. Suppose -5*q + 6 = -9. Let v be c(q). Solve -5*z + o + 15 = 0, -5*o = v*z + 4 + 15 for z.
2
Let y(r) = -r - 2. Let n be y(-5). Solve n*m - 10 = i, 3*m - 4*i - 16 = -3 for m.
3
Let t be 1 - 2/(-6)*0. Let r = t + 1. Solve -r*j + j + g = 7, 5*g - 10 = 0 for j.
-5
Let d = -14 + 18. Let f be (3 - d)/1 + 5. Solve 3*c + f*y - 7 = 0, 5*y - 7 - 2 = -4*c for c.
1
Let r = 112 - 110. Solve -2*m - 3 = -a - 7*m, r*a - 4*m = 6 for a.
3
Suppose 0*f - 4*f - 20 = 0. Let z = 8 + f. Solve -s - 11 = -4*c, z*c = 2*c - 3*s - 7 for c.
2
Suppose 2*m = -6, -2*f + 3*m = -16 - 3. Solve -2*q + f = -3*a, -3*a = -0*q - q + 10 for q.
-5
Let v = 80 - 76. Solve -7 = v*p - 2*p + 3*n, -22 = 4*p - 2*n for p.
-5
Suppose -q - 3 = -5*x, -8 + 4 = -q - 2*x. Suppose 40 = q*c + 14. Let o = c + -3. Solve -f + 5 = 0, -o = k - 0*f - 2*f for k.
0
Let q be 127/5 + (-2)/5. Let w be (-6)/(-10) - (-35)/q. Suppose -4*s = 3*g - 20, -3*g + 13 = 3*s - 2. Solve -5*l + 28 = -w*c - g*l, -2*c = -2*l + 16 for c.
-4
Let b(f) = 4*f**2 + 2 - 10*f + 0 - 3*f**2. Let p be b(10). Solve -5*i - p*j - 8 = 0, -4*i + 3*j = -i + 9 for i.
-2
Suppose q - 5*q - 3*k = -1, -2*q + 4*k + 28 = 0. Let c be -1 - (-5 + q/2). Solve -s - f - 4 = 0, -5*f = s - c + 18 for s.
-1
Let p = -6 - -8. Let h be 1 + (29 + -1 - 0). Let k = -27 + h. Solve 5*d - d + 16 = p*w, 4*w = k*d + 14 for d.
-3
Let s = 4 - 1. Suppose -3*l - 12 + 5 = 4*z, 0 = 4*l - s*z - 24. Solve 2*v = -2*h - l*h + 5, 1 = h + 2*v for h.
1
Let s be 46/10 + 2/5. Let y = -1 + 4. Suppose -3*q = -5*x + 19, 4*q - y*q = -s*x + 27. Solve q*d - 3*d - 5*f + 2 = 0, -2*f = 3*d + 7 for d.
-3
Let s = 3 + -2. Solve 0 = -3*l, 4*l + s + 3 = 2*c for c.
2
Suppose 0 = -2*s - 5*k, 0*k + 28 = 4*s - 4*k. Let b = 28 - s. Solve -5*r + b = 3*v, -3 = 2*v + 3*v - 2*r for v.
1
Suppose -8 = 2*p, p + 1 = 2*b - 7. Solve -b*g = 0, -f - 4*g - 4 = -9*g for f.
-4
Suppose i = 6*i - 35. Suppose 5*n - i - 8 = 0. Solve 0 = -4*h + n*l + 4, 4*l + 0 = -16 for h.
-2
Suppose 2*s + 6*s = 0. Solve -5*a - 2*d - 11 = s, 5*a + 25 = 3*d + 2*d for a.
-3
Let h = -42 - -49. Solve 5*j + h = -3*x, -2*x + 1 = 3*j + 5 for x.
1
Let b(d) = d**2 + 2*d - 8. Let p be b(-5). Solve c - 13 = 2*l - p*l, 5*l = -3*c + 19 for c.
3
Let n(m) = 5*m - 1. Let t be n(1). Suppose u = 5*f + 4, -f + 0*f + t = u. Solve -2*w - 1 - 5 = -2*l, 5*l + u*w = -12 for l.
0
Let b(c) = c**2 + 3*c - 8. Let f be b(-5). Solve f*w + 16 = -2*r + 7*w, -4*w