j - j + 4 = 0. Let d be 54*w*(-3)/(-9). Solve -10 = m - 3*m, d = p + 3*m for p.
3
Suppose 4 = a + 3*c - 14, c = 1. Solve 2*f + 2*d + 20 = 0, -f + 3*d = 5*d + a for f.
-5
Let q = 102 + -59. Suppose 4*h = 4*r + 32, -5*h + q = -0*r - 2*r. Solve 3*g + 0*v + 11 = -v, 3*v = 5*g + h for g.
-3
Suppose 4*q - 50 = 3*f, -3*f - f - 62 = -5*q. Let c = q - 10. Suppose 2*r - 9 - 12 = -5*n, c*r = -n + 15. Solve -2*y + 6 + 7 = 3*t, -3*y = n*t - 15 for y.
2
Suppose 40*l + 120 = 46*l. Solve 0 = 4*d - l, 2*d = 4*a + 4*d + 10 for a.
-5
Let m(h) = -h - 4. Let k be m(-5). Suppose 2*l - 5*f = 29, -k = -l - 2*l - f. Suppose l*x = 6 + 2. Solve 0 = 3*a - n - 5, 4*a - x*n + n = 0 for a.
3
Suppose -3*c + 7 = 1. Solve -2*n = 4*s - 20, 15 = c*n + n + 3*s for n.
0
Let w = 2 - -3. Suppose o - 5*b - 19 = 3*o, o - w*b - 28 = 0. Let f(i) = -i**2 + 8*i - 2. Let q be f(7). Solve -4*v - 21 = -o*r - v, q*r - 19 = -3*v for r.
5
Let o be (-3)/(-1) + 1 + 1. Suppose 3*q = -2*l + 100, o*q + l - 98 = 2*q. Let k = q + -20. Solve -6 = -3*i - p, -p + 5*p = k for i.
1
Suppose -4*x + 3*c = 15, 0*x = -4*x + 5*c - 25. Solve 0 = 2*i - 5*o + 17, i - 4*i - 5*o + 37 = x for i.
4
Let g be (3 + -1)*117/6. Let i be (0 - 14/2)*-1. Suppose -3*m - p = -16, -5*p + g - i = 3*m. Solve 12 = m*v, 0*d = -2*d + v - 1 for d.
1
Suppose -5*n = z + 9, -4*z - n + 0 = -2. Solve 3*t + 19 = 5*k, 2*k + 7 = -4*t - z for k.
2
Let m = -3 - -6. Suppose -4*c + c - b + 11 = 0, -m*b + 17 = 5*c. Suppose 4*d - d - 5*p = 2, 0 = 2*d - 4*p. Solve c*i = 2*v - 10, -2*v + 3*i + d = -5 for v.
3
Let v(m) = 2*m. Let r be v(1). Suppose 0 = r*i - 5 - 1. Solve -5*s - 5*l = -10, -10 = -8*s + i*s - 2*l for s.
2
Suppose -y - 1 = 12. Let l be y/(-3) - (-6)/(-18). Solve 0 = -2*g - f - 4, -f = -l*g - g - 10 for g.
-2
Suppose 68 + 112 = 10*g. Solve 2*m + 2*m - j + 22 = 0, 0 = -4*m - j - g for m.
-5
Let h = -17 + 19. Solve -2*q - 2 = 0, -3*q + q - h = 4*v for v.
0
Let f be (6/(-5))/(7/(-35)). Solve 3*w = 4*k + k - f, 0 = 4*k - w - 9 for k.
3
Let d be 31/(-2) + 2/4. Let r = 20 + d. Solve -f + 4 = 3*f - 4*l, -5*l = -r for f.
2
Suppose -2*m - w + 15 + 5 = 0, 4*m + w = 42. Suppose 4*h = 4*u + 8 + 12, 3*h = -u + m. Solve -2*l + 2*o + 2 = 0, -5*l - h*o = -11 - 12 for l.
3
Let t = -13 + 24. Suppose 0 = -2*n + 3*j + t, -2*j - 8 = -5*n + 14. Solve 3*a - 17 = 5*y + 2, 28 = -n*y - 4*a for y.
-5
Let p(g) = g**2 - g - 9. Let m be p(4). Solve -2*f + 2*k + 3*k - 9 = 0, -2*f - 1 = m*k for f.
-2
Suppose -3*c = 2 - 32. Suppose 0*z - 2*z + 4 = 0. Let d be -10*7/(-6 + -8). Solve p - z = 0, d*s = s + p + c for s.
3
Let c be (-42)/4 + (-1)/(-2). Let g = 14 + c. Suppose -1 = 3*m + 5*h, 3*m - 5*h - 23 + g = 0. Solve 2*w = m*l + 4 + 1, -2*w + 5*l + 11 = 0 for w.
-2
Let w(u) = 21*u - 3 - 22*u + 3. Let y be w(-2). Solve 0 = 2*m + c + 6, -c = y*m + 3*c for m.
-4
Suppose h - 6 = 2*h. Let i = h + 10. Solve -i*n - 10 = -3*n - 3*x, x = n for n.
5
Let k(m) = -m - 6. Let v be k(-6). Let n = -3 - -9. Suppose 4*q + 2*f = 8, -2*q - 4*f + 16 = -n*f. Solve v = 5*b - w - 0*w + 13, 0 = -2*b - q*w - 14 for b.
-3
Let f = -6 + 2. Let m be (4/f)/((-2)/10). Suppose -m = -t - 2. Solve -t*l = -5*q - 18, -5*q + 3*l - 17 = l for q.
-3
Suppose 0*i = 3*i - 6. Suppose 3*y = -3, 3*y + 8 = j + 2. Let u be (2 - (i + -1))*j. Solve u*q = 12, -z - 3*q + 2*q + 9 = 0 for z.
5
Let c = -23 + 27. Solve -y + 9 = q - c*q, 3*y - 9 = 3*q for q.
-3
Let n(g) = -g**2 + g. Let b(r) = -2*r**2 - 1. Let h(p) = b(p) - 3*n(p). Let d be h(4). Solve -2*l + 4 + 16 = -3*w, 0 = -d*l + 12 for w.
-4
Let s = -36 + 38. Solve 2 = -2*i - 2*g - 8, 4*g = s*i + 4 for i.
-4
Let i(m) = -m - 2. Suppose 4*y - 5 = 5*y. Let u be i(y). Let h(p) = 4*p**2 - 5*p + 3. Let l be h(3). Solve -u*j + l = 3*n, -j + 5 = -0*j for n.
3
Let c(n) = -n + 1. Let r be c(-5). Suppose -j + 2 = -2. Let o be (-1)/(1 - 6/j). Solve -6 = -3*b - w, -o*b + w = 2 - r for b.
2
Let n(f) = 3 - 3 - 7*f - 2 - 2 + f**2. Let m be n(8). Solve 13 = 4*l - 3*h - 15, -3*l = 2*h - m for l.
4
Let u = -14 - -4. Let w be 48/20 + 4/u. Let q = w - -3. Solve 0 = q*t + 2*j, -25 = 6*j - j for t.
2
Suppose -31 = -5*v + 2*y, -3*v + 5 = v + 5*y. Solve 0 = 2*z - 4*z + 4*p - 16, -5*p + 20 = v*z for z.
0
Suppose -5*h = -2*h + 4*i + 1, 5*h + i - 21 = 0. Solve -h*d + 6 = 3*t, -3*d + t - 4*t = 0 for d.
3
Let b(m) = -m - 1. Let d be b(-6). Suppose 3 = r - 2. Solve -3*f + r*q + 7 = 0, -f + d*q = f - 8 for f.
-1
Let n(x) = -x**3 - 6*x**2 + 6*x + 1. Let g be n(-7). Suppose -q = 5*l + 21, -3*l = 3*q + l + g. Solve -q*d = d - 4*t + 12, -t = 2 for d.
-4
Suppose 14 = 4*a + f, 6*f - 23 = -5*a + 2*f. Solve -5*m = -3*y + 2, 3*y - 2 = a*m + 4 for y.
4
Let t(m) = m**2 - m - 5. Suppose 3*i = -2*i - 5*v, 4*v = 4*i - 40. Let r be t(i). Let n = -22 + 32. Solve n = o + 2*o + w, -2*w = -o + r for o.
5
Let a be 5/(-4)*-2*2. Let y be (-3)/(-3)*1*a. Solve -y*o + 11 = 3*h, 5*h - 5 - 6 = -o for h.
2
Suppose -17*v + 14*v = 0. Solve -4*i = -3*y - v*y - 25, 22 = 4*i - 2*y for i.
4
Suppose -2*k + 4*k = -2*r + 16, 3*r = 2*k - 6. Let n = -4 + k. Solve t - 4 + 7 = -3*w, 0 = 4*w - n*t + 14 for w.
-2
Let y = 53 + -48. Solve -5*o = y*k - 9 - 1, -4*o - 3*k = -8 for o.
2
Suppose 3*t - 4*t - 7 = 0. Let p = 1 - 6. Let w = p - t. Solve -5*n - 1 = -w*l - 32, 2*n + 2 = -4*l for n.
5
Suppose 5*h + 2*y = 11, h - 3*y = -y - 5. Let q be h/(1/15*3). Solve q*m + 2*t = -t + 8, -3*m + 4 = 2*t for m.
4
Suppose -2*h - u = 0, 3*h - 3*u = h + 16. Suppose 2*c - 9 = 5*c. Let m = 5 + c. Solve -3*p - 2*p + 2*i = 12, h = m*i for p.
-2
Let w(y) = y**2 + 3*y + 3. Let z be w(-4). Solve -13 - z = -4*n, -14 = -3*j - n for j.
3
Let d = -28 - -33. Suppose -2*v = -d*a - 42, 4*v - 2*a = 5*v - 12. Solve 5*u + 4*n + v = 2*u, -5*n - 9 = u for u.
-4
Suppose -9 = -5*h + 21. Suppose h = 3*y - 24. Suppose 2*n + k = -5, 3*n - 4*n = 2*k + y. Solve -3*m = 0, -2*a + n*m = 3*m - 10 for a.
5
Let t = 1 - -2. Let m(d) = d - 19. Let h be m(18). Let s = h + t. Solve 3 = 4*k + 3*a - 7, -18 = -s*k + 5*a for k.
4
Let w(y) = 2*y + 36. Let j be w(-16). Solve 5*u + 5 = -6*m + m, -7 = u + j*m for u.
1
Let s = 2 - -1. Let w(d) = -d**2 + 6*d - 5. Let q be w(4). Solve 3*p + q = -s*b, b + 2*p - 1 = -0 for b.
-3
Let n be 0 + 0/(4/1). Solve -5*v + 10 = p, n*v + 8 = 4*v - 5*p for v.
2
Let t(j) = j**2 - 15*j - 29. Let f be t(17). Solve -2*i - i + 9 = r, f*i = -3*r + 11 for i.
4
Suppose 4 = 3*m - w - 54, -2*m - 3*w = -57. Suppose -2*k - k + m = 0. Solve 5*n - 4*z = 34 + k, -5*z = -n + 25 for n.
5
Let r = -3 + 3. Let z = 2 - r. Let t(u) = u**2 + 7*u + 6. Let x be t(-6). Solve z*c + 26 = 6*d - d, x = -3*c + 4*d - 25 for c.
-3
Let f(l) = -l**3 - 5*l**2 + 6*l + 6. Let v be f(-6). Let m(o) = -12*o - 1. Let z be m(-1). Let b = z - v. Solve s - 27 = -5*r - s, 0 = -b*s + 5 for r.
5
Let r = 16 + -23. Let s = 7 + r. Solve 5*z + 5 = 5*f, s*f - 5 = -3*z - f for z.
1
Let h be 1 + 3 + -3 + 0. Suppose 2*q = 3*q. Suppose q = -3*n + 10 - h. Solve -n*z - 14 - 3 = w, -4*w - z = 24 for w.
-5
Let o be ((-32)/(-24))/(1/(-3)). Let n be o/6*30/(-2). Solve 2*l = 7*l + n, 0 = 3*b + l + 5 for b.
-1
Let m(s) = -s**3 + 3*s**2 + s - 5. Let w(k) = -k**3 + 4*k**2 + k - 6. Let c(j) = -5*m(j) + 4*w(j). Let q be c(0). Solve 4*r + v = 15, v + 0*v + q = 0 for r.
4
Let i = 77 - 73. Solve 3*w - 3*k + 6 = 0, 3*w + i*k - 2 + 1 = 0 for w.
-1
Let p be -20 + 2 + -1 + 1. Let x be ((-1)/(-3))/((-2)/p). Let t be x + 3 + -2*1. Solve 3*b - 2*z = z, 3*z - 14 = -t*b for b.
2
Suppose 2*n + 70 = 4*n. Solve -30 = -3*m - 3*y, 3*m - 5*y = 5*m - n for m.
5
Let u(l) = -l**2 - 6*l + 5. Let d be u(-6). Solve 4*a + 5*i - 1 = -12, 3*a + d*i + 7 = 0 for a.
-4
Let b(i) = 2*i - 9. Let y be b(7). Suppose -2*c + 5*f - 14 = c, y*c - 18 = -2*f. Solve -c*x - 5*o = -12 - 16, 2*x + 2*o - 16 = 0 for x.
4
Let t = 37 + -17. Solve 16 = 5*g + i, t = -7*i + 2*i for g.
4
Let t be (0 + (-2 - 28/(-12)))*15. Solve m - t*h - 5 = -17, -4*m = -5*h + 3 for m.
3
Let s = 14 + -11. Suppose w = s*w - 8. Solve 5*m + b + 4*b = 50, b - 25 = -w*m for m.
5
Suppose 7*l - 38 = -3. Solve j = -3*w - 6, -2*w + l*j - 27 + 6 = 0 for w.
-3
Suppose -2*p = -c - 3, 3*p + 9 = 4*p + c. Solve p*n - 12 = 5*y, -5*n + 19 - 4 = 3*y for y.
0
Let q = 1 + 4. Let k be 0 + 1 - (-2 + 1). Suppose 4*o + 20 = -4*h, -k*o = -0*o - h - 5. Solve 4*m = -o*m + 20, q*t + 25 = m for t.
-4
Let s be -4*1/1 - -9. Solve -2*c +