+ 20 = 0, 0 = 4*f + m - p for f.
2
Suppose 0 = -4*j - w + 38, -35*j + 32 = -31*j - 2*w. Solve q - 4*i + 7 = 0, 0*q = q + 4*i - j for q.
1
Suppose -24 = -96*m + 84*m. Solve 2 = -5*h - m*b - 4, -16 = 3*h - 5*b for h.
-2
Let r be -1 + (3 - -20) + -2. Suppose 4*c + 0 = r. Solve 0 = 5*g + c*p - 10, 2*g + g = -5*p + 16 for g.
-3
Let a(b) = b + 1. Suppose 3*x = 2*j, -4*x - 3*j + 7*j = 0. Let y be a(x). Suppose 0 = -4*v - y + 9. Solve -u - 9 = v*c, u + c = -7 - 0 for u.
-5
Suppose -37*z + 456 = 12. Solve 2*l = 2*u - 0*l + 6, -2*l + z = 4*u for u.
1
Let f = -1626 - -1639. Solve -6*p + 2*p = -5*c - 13, 0 = 3*c - 5*p + f for c.
-1
Suppose 0 = -2*p - 2*b - 12, -3*b + 11 - 4 = -2*p. Let f = 11 + p. Let i be (-5)/(-2)*4/10*2. Solve -1 = z, -i*r - z = 3*z + f for r.
-1
Let v = 3 - 0. Let o be -2 + (v - 4) + 11. Solve 0 = b + 2*q - o, -b + 2*b - 5*q = -27 for b.
-2
Let l = -169 - -182. Solve 3*o + l = -n + o, -2*n = -3*o - 2 for n.
-5
Let w = 8 + -6. Suppose -29 = -4*v + 3*f, -v - 2*f = -0*f - 10. Let k be (-3)/(2 + (-22)/v). Solve 0 = -a - w*a + k*y + 8, -2*y - 10 = 0 for a.
-4
Suppose -l = 4*l - 25. Suppose l*h = -0*h + 10. Let z be 10 - (14/12)/((-10)/(-60)). Solve 3*b - f = -2*f + z, h*b = -5*f + 2 for b.
1
Suppose -5*j = 4*u - 2*u - 41, 5*j = 3*u + 26. Suppose -10*t = -j*t. Solve -3*l + 2*g + 3*g - 11 = 0, -5*g + 5 = t for l.
-2
Suppose 21*y - 247 = 8*y. Solve -3*a + 4*o + 31 + 0 = 0, 3*a - o = y for a.
5
Let s be (-30)/(-8 - (-1 + -1)). Solve -14 = -2*c + 2*y, -y + 2 + 3 = s*c for c.
2
Let x be (-5 + (-115)/(-20))*(-8)/(-2). Solve 0 = x*z - 2*j + 6, 0*z + 5*j + 19 = -z for z.
-4
Suppose 0 = 7*p - 52 - 186. Suppose -18*q + 16*q = -p. Solve -3*k = -0*k + o - 11, -q = -4*k + o for k.
4
Let i = 51 + -46. Suppose i*b - 7 = 8. Let a be 0*-2*(-1)/4. Solve -5*z = -4*n - b, 3*z + 3*n = -a*z + 18 for z.
3
Suppose r + 4 - 6 = 0. Let n be (-36)/(-3) + 2 + r. Let q = -13 + n. Solve q*y + 0*y + 3*c = 0, -3*c + 12 = 0 for y.
-4
Let b be ((-8)/(-1))/(3/6). Solve 0*h = 2*h - 5*j - 17, 5*j + b = h for h.
1
Suppose l - 2 = -0. Let f(g) = -g**3 - 4 - 1 + l - 3*g**2 - 2*g. Let p be f(-3). Solve -5*q + s = 20 - p, 5*s - 13 = q for q.
-3
Let s be -2 + 0 - (1 - 7). Solve j + 1 = -s*g - 3, 0 = -3*j + 3*g + 18 for j.
4
Let d be (6 + -6)*1/(-1). Suppose -5*w + 36 = -0*s - 2*s, d = 5*w + s - 42. Suppose -i + w = 4. Solve -2*b = -3*z + 13, -3*b - 2*z + i = -9 for b.
1
Suppose -v = -3*v + 18. Suppose 0 = -12*o + v*o + 42. Let h = o + 1. Solve k + w = 5*k + h, 2*w - 12 = 2*k for k.
-3
Suppose 5 = 10*j - 95. Solve 0 = -3*h + 6, 2*h = 2*d - 3*h + j for d.
0
Suppose 0 = -5*h + 7*h. Let i = 2 - h. Solve -i*s - 12 = 2*v + 3*s, -4*s = 8 for v.
-1
Let t(b) = -55*b - 265. Let i be t(-5). Solve -5*n = 5*d + 25, -2*d + 2*n - n - i = 0 for d.
-5
Suppose -7*u + 15 = -6. Suppose u*w - 12 - 48 = -3*v, -8 = -w - 5*v. Solve -w = 5*s - 0*d - 2*d, 2 = -2*d for s.
-5
Let v = 38 - 26. Suppose -3*j + v = -0*j. Suppose -f + 14 = 2*w + 2*f, j*w - 3*f - 10 = 0. Solve -c + 3*c - z + w = 0, -3*z = 0 for c.
-2
Let x be -9 + 6 + 0/2. Let a = 0 - x. Solve 4*g - 2*t + 4*t = 0, -3*g = a*t - 6 for g.
-2
Suppose -c = 3*c - 8. Suppose -5*r = -3*r - 120. Let g be 31/2 - 5*6/r. Solve -2*h + c*k = k - 6, -3*k - g = -5*h for h.
3
Let z be 1 - 7 - 392/(-49). Solve 0 = 2*f - 4*i - 22, -z*i - 3*i + 5 = 4*f for f.
5
Let d = 13 + -11. Suppose 5*a - 3*f + 2 = 0, -1 = -5*f + 19. Suppose 30 = 4*r - 3*x, a*r - 3*x = -7 + 25. Solve -d*k + r*k - 4*q = -28, -3*k - 2*q = 6 for k.
-4
Suppose 2*k = 9*k - 385. Let h = 58 - k. Solve -u - 3 = -0*u - h*p, 4*u + 2*p = 16 for u.
3
Suppose 20 = -58*q + 53*q. Let d be (1 + q)*2/(-6). Solve 5*i - 20 = -p, p = -i + d + 3 for i.
4
Let q = 290 - 278. Solve 5*h - 41 = -x - 13, 0 = -4*x + q for h.
5
Suppose 5*s + 12*s = 119. Solve l + s + 14 = 5*y, 23 = -3*l + 5*y for l.
-1
Let s(n) = 9*n**2 + 5*n + 5. Let o be s(-1). Suppose -o*k = -13*k + 12. Solve k*l - 4*i - 1 = 0, -2*l + 3*i - 5*i - 18 = 0 for l.
-5
Suppose 5*k - 173 - 22 = 0. Let u be (-24)/13 + 2 + 462/k. Solve 5*w - 23 = -3*x, 0 = -0*w - 4*w + 4*x + u for w.
4
Suppose -7*z - 20 = -62. Suppose 0 = -2*q + 5*g - 8 + 27, -6 = 3*q + 4*g. Solve -4*h = -q*d + 5*d + 4, h = d + z for d.
-4
Suppose 15 = -9*v + 4*v + 3*g, -5*v + 4*g = 20. Solve 0*d = -5*q - d - 12, v = -5*d + 15 for q.
-3
Let h = 414 - 410. Solve x = i + h - 3, -2*x + 8 = 4*i for i.
1
Let b = 809 - 805. Solve -3*f + 2 = b*i, 9*f - 14*f + 3*i = 16 for f.
-2
Let u = 8 - 4. Suppose 6 = 2*v + 2. Let s be v/(-11) - (-96)/44. Solve 0 = -4*h - 3*f - 26, -s*h - 33 = 3*h + u*f for h.
-5
Let n = -125 - -121. Let o be (8*(-2)/12)/(n/6). Solve 0 = -5*h + o*z + z - 30, -13 = -4*h - 5*z for h.
-3
Suppose -2*q = -4*b + 5*b - 9, 4*q = 12. Let s(c) = 2*c + c**2 + 0*c + 2*c + 1 + 2*c. Let m be s(-8). Solve -5*d - v = 11, 3*d + m = -v + b*v for d.
-3
Suppose -5*n - 4*u + 45 = 0, 2*n + n + 2*u - 25 = 0. Suppose 64 = n*l + 14. Solve -l = -3*t - h - 1, -t = -5*h - 3 for t.
3
Suppose 34*a - 235 = -13*a. Solve 15 = -5*t - 5*f, 4*t + 0*t + 12 = a*f for t.
-3
Let z = -1184 - -1190. Suppose 0 = -4*w - 12 + 100. Let m = w - z. Solve -2 = -2*g - 3*s + m, 3*g + 5*s - 29 = 0 for g.
3
Let k = 34 + -32. Solve -d - 3*j + 2*j = 2, 0 = -d + k*j - 5 for d.
-3
Suppose 4*k + 2*z = 16, 7 = 6*k - k - 4*z. Solve -g + 2 = x, k*g + 0*g + 2*x - 5 = 0 for g.
1
Suppose 0 = 15*h - 19*h - 80. Let n = 23 + h. Solve 5*i = w - 3 - 15, 0 = n*w + 5*i + 6 for w.
3
Let g(o) be the second derivative of -o**3/3 + o**2 - 2*o. Let c be g(-2). Let r be (c/5)/((-2)/(-5)). Solve -2*q - 2 = 4, -i = -r*q - 9 for i.
0
Suppose 54*a = 48*a + 6. Solve -5*h = -0*o + 4*o + a, -h = -4*o - 19 for h.
3
Let v = 604 - 601. Solve -5*m + 10 = v*t, -m = -t - 12 + 2 for m.
5
Suppose -12 = 2*p - 5*b, p + 4*p + b = 24. Let w be -4*((-2)/(-4) + 0). Let t be (16/(-3) - w)*-6. Solve 1 = -2*h + 4*o + 3, -p*h = 4*o + t for h.
-3
Let y = 285 - 282. Solve -3*w - 11 - 4 = y*a, 2*a - 2*w + 10 = 0 for a.
-5
Let v be (485/194)/((-2)/(-8)*2). Solve s + 6 = v*f, 0 = -2*f - 0*s + s for f.
2
Suppose -k - c = -7, 5*k - 3*c + 0*c - 19 = 0. Suppose g = 4*z - 47, -2*z + 25 = -g + 2*g. Let d = z - -2. Solve -4*q + k*q = h - 6, 0 = -5*q + h - d for q.
-2
Suppose -2*r + 3*v - 2*v - 3 = 0, -r - 4 = -v. Let d = 11 - r. Solve -5*z = d, u - 2*z - z = 7 for u.
1
Suppose -3*a + 4*f + 116 = 0, -18*a = -16*a + f - 59. Solve 4*l = o - 4*o - a, 8 = -2*o for l.
-5
Let o = -683 + 690. Solve 5*s - 13 = -2*v, -5*v + o*s = 2*s + 20 for v.
-1
Let f(t) = t**3 + 5*t**2 + 2*t - 5. Let l be f(-2). Let x(o) = o**3 - 15*o**2 + 13*o + 15. Let h be x(14). Solve -2*w + 3*g = -7, 4*w + l*g = 2*w + h for w.
2
Let c be 2 + (-110)/50 - 12/(-10). Solve -2*s = -2*r - 7*s + 2, -r + c = -4*s for r.
1
Let f(k) = -23*k + 763. Let n be f(33). Solve 3*s + 7 - n = -4*b, 3*s + 3 = 2*b for s.
-1
Let n = -96 - -59. Let t = n + 42. Let q be 6/4*(-2 + 4). Solve -t*h - u = -20, -5*u = q*h - 0*u - 34 for h.
3
Let i be ((-5)/((-15)/(-3)))/((-2)/(-30)). Let w = i + 16. Solve q = -5*t + 17, 0*t - q - w = -t for t.
3
Suppose 281 = 4*s + 65. Suppose 3*y + b = -33, 10*y + s = 5*y - 2*b. Let o = -8 - y. Solve t + 5*v - 12 = 0, 2*t + 12 = o*t + 4*v for t.
2
Let h(z) = z**3 - 4*z**2 + 5*z + 4. Let a = -20 + 23. Let t be h(a). Solve v = 5*k - 3*v - t, v = 0 for k.
2
Let h be 1/(-2)*((-36)/6 - 0). Solve -h*n = -4*k - 9, 9 = -k + 5*n - 2*n for k.
0
Let i(f) = -8*f + 1. Let w be i(-1). Suppose q - 2*r = 2, -4*q + 3*r = -w + 1. Solve -2*k - q = -4*o, -5*k = o + 24 + 3 for o.
-2
Let m be -16 + (4/(-14) - (-4)/14). Suppose -3*a + g - 1 = 31, g = 2*a + 20. Let p = a - m. Solve 0 = -2*d - 2, -15 = -0*i - p*i - d for i.
4
Let u(n) = n. Let l be u(4). Suppose -5 + 21 = 2*m - l*c, 5*m - c = 22. Suppose 3*a - 4 = 2*a. Solve 3*b = i - 5, a*b - 2*i + m + 2 = 0 for b.
-2
Let y(b) = -b**3 - 7*b**2 + b + 9. Let x be y(-7). Let h be ((0/3)/x)/(-2). Solve i - u = -2, 5*i - 3*u + 8 = -h*i for i.
-1
Suppose -22*n + 99 = -77. Solve n = 3*c - c - 3*j, 0 = -3*c + 2*j + 2 for c.
-2
Suppose -l + 2*q = -q - 18, -q - 28 = -4*l. Solve 0 = 2*z + 4*t - 6, l*z - 12 = 3*z - 3*t for z.
5
Let y be 2/(-6) + (-264)/(-36). Solve y*t - 12*t + 1 = -m, 0 = 3*t + m + 1 for t.
0
Let c be (4/(-12))/((25/(-60))/5). Solve -2*h - 6 = -2*n, 4 - 14 = -c*n + 5*h for n.
5
Let r(j) = j**