3
Suppose 0 = 3*u - z + 4*z + 36, 5*z = 4*u + 30. Let h = 6 + u. Let l = -2 - h. Solve -2*a + l*f - 13 + 1 = 0, -2*f + 17 = -3*a for a.
-5
Let j(k) = k - 8. Let x be j(7). Let d be (1/x - 6)/(-1). Solve -4*l + 2*f - 24 = 0, 5*f - 35 + d = 2*l for l.
-4
Let f(a) = 16 + 6*a + a - a**2 - 5. Let w be f(8). Solve z = -3*t - 11, -2 = w*z - 4*t + 5 for z.
-5
Let b(i) = -9*i + 11*i + 1 + 8*i + i**2. Let x be b(-10). Let y(p) = -p**2 - 7*p - 1. Let l be y(-6). Solve l*f - 4 = x, -3 = -5*n + 2*f for n.
1
Let x = -15 + 20. Solve -3*f + 6*u - 4 = u, x*f - 8 = u for f.
2
Let t(r) = 2*r**2 - 3*r - 3. Let a be t(3). Suppose 4*i - 2 - a = 0. Solve -4*y + 14 = m + 2*m, -i*m - 5*y = -21 for m.
-2
Suppose 9*p - 20 = 4*p. Solve -3*y - p = 2*b, -5*y - 17 = 3 for b.
4
Let w = -14 + 17. Solve -3*s - r - 6 = -3*r, 3*r - 9 = -w*s for s.
0
Let o(f) = f**3 - 6*f**2 + f + 7. Let l be o(5). Let t = -9 - l. Let n = t + -2. Solve 5 = -c, 3*c = n*y + c - 8 for y.
-1
Let t be (-2)/(-3) - 10/(-3). Suppose -5*r = t - 14. Solve -4*o + 5*g + 6 = -9, r*g + 6 = 2*o for o.
0
Let a = -18 - -38. Suppose 0*z = -5*z + a. Solve -r - 2 - 5 = -2*g, -8 = -4*g + z*r for g.
5
Suppose -t + 15 = 4*t. Suppose -w + 2*u + 3 + 2 = 0, t*w - 15 = -2*u. Suppose -4*z - 8 = -2*n, 0*z + 4*z + 12 = 3*n. Solve j + w = 2*k, 5*j = k + n*j - 1 for k.
4
Let n(k) = k**2 + 6*k + 2. Let r be n(-7). Let b be (r/15 + -1)*-30. Let u be (b/30)/((-2)/(-10)). Solve -1 = 3*g + 5*f, -6 - 6 = -u*g + 3*f for g.
3
Let o be ((-16)/(-6))/(4/6 - 0). Solve -4*k - 24 = 3*y + y, k = -o*y - 21 for y.
-5
Suppose 3*i = -5*g + 5*i, g + 2*i = 12. Solve p + 2*m + 4 = 0, -4*p - 2*m - g = -10 for p.
4
Let o be (-10 - -15) + (-4)/4. Let l = -7 - -10. Solve -s - s - 23 = -l*z, 2*z - o*s - 26 = 0 for z.
5
Suppose o = 3*r - 69, 103 = 4*r - 2*o - 3*o. Let q be -3*(-4)/3 + -1. Suppose 0*h - q*h = 0. Solve -4*k = 2*d - r, 4*k = -h*k + 5*d - 13 for k.
3
Let j(d) = -d**2 - 11*d - 5. Let s be j(-4). Solve 2*x - 1 = -4*n + s, 0 = -2*x - 2*n + 14 for x.
2
Suppose 0 = -6*s + 4*s + 2*p, 2*p = -4*s + 12. Suppose -4*g + 25 = -h + s*h, 0 = -2*h - 4*g + 50. Solve 3*t = -4*x + 17, 2*t + 3*t = -5*x + h for t.
3
Let a(j) = j**2 + 6*j - 5. Let y be a(-8). Let g = y - 7. Let c be 5 - g - (-3)/3. Solve -3*o + 2*o = p - 4, 3*o + c*p - 13 = 0 for o.
5
Let t(f) = f**2 - 6*f + 4. Let r be t(6). Suppose 0 = -y - r*v + 32, 2*v - 70 = -y - 4*y. Solve -y = 4*m, 3 = o - m - 4 for o.
4
Let w = -18 - -5. Let z = w - -13. Solve 3*v - 2*m = 1, v - 3 = -z*m - 2*m for v.
1
Let l = 89 + -31. Suppose r - l = -0*r. Let k = r + -38. Solve 2*n - 5*v = 7*n + k, -v = -5*n - 14 for n.
-3
Let u = 52 + -33. Solve -y - y + 4*t = -4, -t - u = 4*y for y.
-4
Let l = 13 - 5. Let r = 0 + l. Suppose -z = z - r. Solve 0 = -z*w - 8, f + 0*w + 3*w + 1 = 0 for f.
5
Let w = 13 - 13. Solve w = 2*p - 5*k - 3, 4*p - p + 5*k = 17 for p.
4
Let v be (-2)/2 - (-4 + -3). Suppose -12 = 4*w + t + t, w = -t - 2. Let f = w + v. Solve -i = -4*b - 10, 2*i - 5 = f*b + b for b.
-3
Let p(x) = x + 44. Let m be p(-14). Solve 5*a + z = 2*z - 20, -5*a - m = z for a.
-5
Suppose 5 + 5 = -2*w, 4*l + 4*w = -44. Let p be (-16)/l - 16/24. Solve 6 = 4*m - p, -5*c + 2*m = -1 for c.
1
Let p(k) = -45*k**3. Let n be p(-1). Let g be (16/10)/(18/n). Solve 5*u = -4*l - 15 - g, -5*u = 3*l + 18 for u.
-3
Suppose -y + 0*y + 14 = 0. Let q = y + -12. Solve 5*b - 5*p = 15, -b + q*p + 13 = -p for b.
-2
Let o be (2 + 0)*((-260)/8)/(-13). Solve 0 = o*g - 4*x - 9, -g = 2*x + 1 - 0 for g.
1
Let t be (0*1/(-2))/(-2). Let m = 198 - 198. Solve m*k - 4*k = -5*z + 12, t = 4*z - k - 14 for z.
4
Let c(n) = 4*n - 2. Let m be c(2). Let s = 31 - -1. Suppose -w - s = -5*w. Solve 2*j + 10 = m*i - i, -3*j - 4*i = -w for j.
0
Let x = -2 - -2. Suppose -8 + x = -2*q. Suppose 0 = 3*u - y - 0*y + 2, -3*u - 8 = -q*y. Solve -2*l - 8 = u, -2*d + 5 = -3*l - 3 for d.
-2
Let f be 26/6 + (-6)/(-9). Let g(z) = 0*z + 0*z + f - z**3 + z**2 - z. Let u be g(0). Solve y - 6*y - 35 = u*m, -m = -2*y - 8 for m.
-2
Let v(z) = -z - 5. Suppose -q = -1 + 2. Let w be q - -3*(-16)/6. Let b be v(w). Solve -3*a + u = -11, -b*a = -a + u - 7 for a.
3
Suppose 2*u - 39 = -u. Solve 0 = 4*k + j + u, -4*k + 3*j - 11 = 14 for k.
-4
Let t = -74 - -78. Solve m + 0*m + 4 = -q, q - t*m - 1 = 0 for q.
-3
Suppose 0 = k + 4*k - 65. Let t(a) = -2*a**2 - 8. Let c be t(0). Let w = c + k. Solve r + r = 4*f - 10, 3*f = w*r - 3 for f.
4
Let y(l) = -l**3 + 5*l**2 + 5*l - 5. Let o(m) = m**2 + 5*m - 1. Let w be o(-6). Let r be y(w). Solve 4*j - n = r, -2*j - 5*n + 2 = -8 for j.
5
Let o be 4/(1/1)*1. Let f be 20/3 - o/6. Let q = f - 4. Solve 5*v = 6*g - 3*g - 14, -g + v + q = 0 for g.
-2
Let k be ((-3)/6)/((-2)/20). Solve -u - 13 = 5*l - k*u, -4 = 2*l - 2*u for l.
-5
Let c = 10 + -5. Let a be (95/(-57))/(1/(-12)). Solve -3*o + 2 = 3*g - 1, -c*o + a = 0 for g.
-3
Suppose 33 = 4*m + 5*j, 5*j = m + 4 - 6. Solve -3 = -3*k, 5*u - m = 4*k + 4 for u.
3
Let i be 58/8 + (-1)/4. Suppose -i*r = -3*r - 12. Suppose -4*t + 5 = -r*t. Solve -3 = -2*w + b, -4 = -2*w + 3*w + t*b for w.
1
Suppose 9 = 3*w - 0*w. Let z(f) = -f**2 + 5*f - 6. Let y be z(3). Solve -w*l - 4*a - 15 = y, -4*l - 20 = a - 0*a for l.
-5
Let u(k) = k + 29. Let z be u(-14). Solve -3*l + 13 = c, 5*c - z = -l + 2*c for l.
3
Let t(g) = -3*g**2 + 6 - 6*g**2 - 1 + g**3. Let q be t(9). Solve -q*i - 20 = 0, -5*i - 7 - 18 = b for b.
-5
Suppose 3*x = 78 + 66. Let o = x + -26. Solve v = -5*m + 4*v - o, -5*v = 4*m - 12 for m.
-2
Let g = 78 - 48. Let j be (-100)/g*(-3)/2. Solve -8 = 2*c, -j*c - 12 = -a + 11 for a.
3
Suppose -4*n + 23 - 5 = 2*f, -5*n + 2*f + 9 = 0. Solve 0 = -n*c + 15, 4*s + 26 = -0*s + 2*c for s.
-4
Let j = -9 - -15. Let a = j + -3. Solve -1 = -f + 4*v + 1, -4*v = -a*f - 2 for f.
-2
Suppose -3*x = -4*x - 2. Suppose 0*f - f = 2*d - 5, f = -4*d + 5. Let y = x + f. Solve y*q = -i - 19, 5*q + 2*i - 8 + 41 = 0 for q.
-5
Let i = -9 + 24. Let y = 9 - i. Let a be 9/2 - (-3)/y. Solve -l - 3 = -2*j, a*j = 6*j - 3*l - 5 for j.
1
Let a be (-2 + 1)*(-3 - 0). Suppose -5*m + 6 = -2*m. Solve -l + 2 = -5*s + a, m*s = l - 2 for l.
4
Suppose z + 10 = 3*z. Suppose z*y = -5*n, -n - 16 = -y + 2*n. Solve 0*v - 8 = -4*v + 2*d, -8 = -y*v + 4*d for v.
2
Suppose 6*j = 3*j + 15. Suppose j*g + 0*g + 5*w - 45 = 0, 0 = -4*g - 5*w + 34. Solve 2*u = -3*m - 14, -g = 4*m - 4*u - u for m.
-4
Let r be ((-12)/(-9))/((-1)/(-3)). Suppose 5*d - d = 44. Suppose -3*f = -2*i + d, -4*i = -6*i + 2*f + 14. Solve 0 = r*g + x + i + 14, 5*g = -2*x - 33 for g.
-5
Let m be 5 + -3 + (-1 - -2). Let w = 7 - 4. Suppose -w*f + 6*f - m*p = 0, -p = -5. Solve -2*k - 5*y + 18 = 0, -10 = 2*k - f*k + y for k.
4
Let w be (2 + 14/(-6))/(6/(-54)). Solve 0*n = 3*n - g - 4, 5*g = w*n + 4 for n.
2
Let u(f) = f**2 - f + 2. Let v be u(2). Suppose 2*c = 4*c - v. Let p(q) = q**2 + 2. Let l be p(0). Solve -c*m + 1 = -r - 3, -2*m + l*r + 2 = 0 for m.
3
Let v(f) = -f**2 - 4*f + 2. Let b = -5 + 2. Let s be v(b). Solve 2*d - s*m + 2 = 7, 2*m + 2 = d for d.
0
Suppose -14 = -4*f - 2. Solve -2*x = 3*x - 4*c + 31, 2*x + f*c - 6 = 0 for x.
-3
Suppose -24 = i + 5*i. Let t be (-3 - (i + 1))/1. Solve -3*j = -f - 5*j - 6, -f + j = t for f.
-2
Let z = 2 + 7. Let m be 12/z*24/2. Solve 2*v - 6*v + m = 5*x, 0 = 2*x - 5*v - 13 for x.
4
Suppose 4*w - 5 + 1 = 0. Suppose w + 5 = 3*k. Suppose -12 = -2*j + 8. Solve -g + k*x = 4*g + 27, 3*g + 5*x = -j for g.
-5
Let n = -7 - -9. Solve j - 22 = 5*k - 6, -2*j = -n*k - 8 for k.
-3
Let o = 1 + 0. Let q be (3/(-6))/(o/(-318)). Suppose q = -r + 4*r. Solve 8 = 5*z - 5*u + r, -5 = -5*z - 5*u for z.
-4
Suppose -12 = -3*o + 4*j, 5 = o - 3*j - 4. Solve -3*q - 6 = o, c + q + 6 = -3*c for c.
-1
Let z = -3 - -27. Let t be 3/2*128/z. Solve 0 = 2*n - t, a + 5*n = -0*a + 20 for a.
0
Let b(p) = -2*p + 2. Let n(c) = -2*c + 16. Let k be n(8). Let z be b(k). Solve 4*i = 3*l + l + 36, -z*i + 4*l = -28 for i.
4
Let m(d) = d**2 - 2*d. Let p be m(2). Solve p = -5*k - 4*o + o + 1, 0 = -5*k - 2*o + 4 for k.
2
Suppose 2*y - 8 + 2 = 0. Solve -3*s - y*f = 24, -3*s + s = -5*f - 5 for s.
-5
Let o = 25 - 30. Let y = 9 - 2. Let d = o + y. Solve 3*t - 3*l + 27 = 0, -d*l = -t - 3*l - 1 for t.
-5
Let u(n) = 3*n - 1. Let a be u(1). Let j be (-2)/(-6) - 20/(-12). Solve j = a*x - 5*k + k, x + k - 4 = 0 for x.
3
Suppose 4*s + 3*z + 1