*l + 8 = 4*c for l.
-4
Let m be -3 - -13*(-1 - -2). Let y(o) = -o + 12. Let g = 6 + 1. Let s be y(g). Solve 2*a + m + 15 = -s*p, -3*a = 0 for p.
-5
Let h be (-3)/(-3)*-2*-17. Let n be 22/99 - h/(-9). Solve x - 2*m + 1 = n*x, 5 = 2*x - 3*m for x.
1
Suppose 25 = 6*v - v. Solve 2*a = 3*a - 4, -3*g - 17 = -v*a for g.
1
Let h be (7/3)/7*(24 - 24). Solve -9*g + 9 = 2*o - 8*g, h = -o + 5*g + 10 for o.
5
Let u be (-45)/27*(-12)/5. Solve 3*o - 4*o + 2*s = -1, -4*s + 16 = u*o for o.
3
Suppose 0 = 3*z + z. Suppose -i + 2 - 9 = z. Let c be (i - (-3 - 0))*-1. Solve c*d + 10 = d + 5*a, 0 = d + 3*a - 6 for d.
0
Let x be (18/(-4))/(-3)*20/15. Solve -5 = -2*k - 2*k + 3*a, 0 = -k - x*a - 7 for k.
-1
Let h be -19*3 - (1 + -1). Let o = h + 57. Solve -s = 3*q + 6 - 1, 5*s - 2*q + 25 = o for s.
-5
Suppose h + 4*h - 4*u - 3 = 0, -h + 18 = 5*u. Let g be (-9)/h + (-1 - -6). Solve i = -g*d - 11, 4*d - 2*i = i - 17 for d.
-5
Suppose -25*d + 91 = 41. Solve -d*k + 2*n + 0*n - 10 = 0, n + 13 = -5*k for k.
-3
Let a be -1 + -1 - (2 - 10). Suppose -3*c - 15 = -a*c. Let s(i) = -i + 14. Let f be s(10). Solve f*u = -c*y + 6, 2*u = 4*y - y + 14 for y.
-2
Let q = -117 + 170. Let w = q + -51. Solve 27 = -3*r - 3*p, -w*p + 3 = 13 for r.
-4
Let k be (-4)/(-14)*49/(-28)*4. Let n be (-2*3 - k)*(-4)/8. Solve 2*z - 18 = -2*a - 0*z, 0 = -3*a + n*z + 2 for a.
4
Let m(a) = -a**2 - 5*a + 10. Let k be m(-3). Solve 2*j + j + 21 = 3*d, j - 4*d = -k for j.
-4
Suppose h - 6 - 41 = 0. Let r = -43 + h. Solve -r*w = w - 3*f - 16, 0 = 3*w + 4*f - 27 for w.
5
Suppose 2 = 3*p - 2*p. Suppose 6*o - p = 22. Solve -b + 15 = -2*a, 0 = -o*b + 3*a - 4*a + 15 for b.
5
Let i = -2093 - -2096. Solve i*k - 24 = 3*l, 0 = 3*k + 6*l - 4*l + 1 for k.
3
Suppose -45 = 4539*v - 4554*v. Let k be (10 + -1)*(-2)/(-6). Solve -k*o = -4*a + 14, 6 - 1 = v*a - 5*o for a.
5
Let l be -4*(0 + 0 + -1). Suppose 3*k + 0 - 6 = 0. Let x be (2*k)/(22/44). Solve -6*f + x = -l*b - 2*f, -2*f + 1 = -3*b for b.
3
Suppose -590 = -8*a + 162. Let m = a - 92. Solve -t = -5*o + 11, -2*o + m*t = 6*t for o.
2
Let g be 1*3 - (-2 + 3). Suppose y - 5*j - 20 = -y, -y - 3*j + 10 = 0. Let l(k) = k**2 - 10*k + 3. Let h be l(y). Solve g = 2*c + 2*v, 3*v + 6 + h = 0 for c.
4
Let r be 97/6 - 6/36. Suppose 6*w - 2*w = -3*o + r, 2*o + 8 = 0. Suppose 0 = 5*h - w*h + 8. Solve -3*l + 4*c = 8, 0*l - h*c + 8 = 3*l for l.
0
Let g be (-116)/(-3) - 4/(-12). Let b = -37 + g. Solve 3*p = 12, -4*c + b = -9*c + 3*p for c.
2
Suppose f = 10*f - 45. Let c be (44/(-11))/((-2)/f). Solve 2*a = 2*h + c, 0*h - 2*h + 5 = a for a.
5
Let k be ((-1)/2)/(2/(-84)). Let w(h) = 15*h - 85. Let m be w(6). Solve -14 = -2*s + n + 2*n, m*n = s - k for s.
1
Let v(l) = l**3 + 8*l**2 + l + 10. Let f be v(-8). Solve 0 = -f*z + 5*z - h + 20, 2*z = 2*h - 20 for z.
-5
Let s = -53 - -60. Suppose 8*m = s*m + 3. Solve -2*n = 3*y - 19, 0*y + 15 = m*y for n.
2
Let n(v) = v**2 - 19*v + 39. Let y be n(17). Solve -6 + 26 = l + 5*z, y*z = 2*l + 35 for l.
-5
Let u(o) = -o**3 - 12*o**2 + 11*o - 21. Let v be u(-13). Solve 1 = -y + c - v, -4*y = 2*c for y.
-2
Let o = 1059 - 1055. Solve 4*l - 14*r = -12*r - 6, -4*r = -4*l + o for l.
-4
Let m = -1 + 3. Suppose 0 = -3*q - 3*j, 3*j + 9 = m*q - 6. Let f(o) = -3*o + 10. Let r be f(2). Solve 0 = -4*z - 3*s + 28, q*s = 2*s + r for z.
4
Suppose 5*n - 19 + 4 = 0. Suppose 3*f - 48 = -57. Let i = n + f. Solve 0*a - 3*a = 3*m + 12, i = a + 3*m + 6 for a.
-3
Let n be 460/180 - 12/(-27). Solve f = -f, 2*y - n*f = 10 for y.
5
Let y = 230 - 228. Solve 0 = y*o + 3*t + 7, -o + 2*t + 20 = 6 for o.
4
Suppose -2*g = -5*q + 15, 0*q + 30 = 2*g + 4*q. Solve -4*v + 1 = -n, -6*n + 4*n = g*v + 2 for v.
0
Suppose 481*r = 471*r + 250. Solve -4*m + 5*m = 5*z + 9, 0 = 5*m - 5*z - r for m.
4
Suppose -98 + 20 = -39*v. Solve -g = 2*j - 13, 3*j - 10 = g + v for j.
5
Let b = 19 - 25. Let i be (-43)/(-5) + b/10. Solve 0 = 3*r - 6, -i = 4*s - 4*r - 0 for s.
0
Let c(p) = -2*p**3 - 4*p**2 + 2*p + 1. Let o be c(2). Let g = -23 - o. Solve 5*f - 4*f + 12 = -5*z, 0 = 2*f + g*z + 12 for f.
-2
Let p = 140 - 143. Let l be 14 + (-3 - -1) + p. Solve 0 = 2*n - 3*v - l, -4*n + 0*v + 2*v = 2 for n.
-3
Suppose -57 = -z - 50. Solve -9 = 3*m + 3*w, m + 2*m + z = -2*w for m.
-1
Let m be (18/(-10))/(72/(-600)). Let n(r) = r**2 - 10*r + 9. Let b be n(7). Let c = b + m. Solve 0 = 3*t - 2*s + 15, 0 = 4*t - 7*t + c*s - 18 for t.
-3
Suppose -12*c + 72 = -0. Solve 0 = 3*i + 2*m - 17, -2*i + 3*m + 1 + c = 0 for i.
5
Let o = 604 - 604. Solve 4*r - 17 = 3*k, 4*r + o = -3*k - 1 for k.
-3
Suppose 6 = -5362*p + 5365*p. Solve 2*q = k - p, 23*k - 22*k - 3*q = 5 for k.
-4
Suppose -4*p = 3*q + 13 - 52, 0 = 2*p - 6. Solve q*t + 13 = 4*t - 3*k, 0 = 4*k + 4 for t.
-2
Let o be 1/(-4) - 161/28. Let p be 16/(-4) + 1 - o. Suppose -p*k = k - 8. Solve -k*j + 5*v = -19, -v + 0*v = -j + 2 for j.
-3
Let t = 647 + -644. Solve -t*v + 5*d = 12 + 2, 2*v - d = -7 for v.
-3
Let k be (-164)/(-6) - 14/(-21). Let w = 47 - k. Solve w = -3*y - z, 3*y - 7*y - 36 = 4*z for y.
-5
Let f be 6/(-9) + 95/3. Let u = 34 - f. Solve 0 = 2*b - u*s + 2, 0 = 3*b - 3*s - 0*s + 6 for b.
-4
Let s(z) be the first derivative of -z**2/2 - 14*z - 3. Let h be s(-19). Solve -2*g - h - 5 = -3*r, 5*r = 3*g + 16 for r.
2
Let c = -19 - -30. Let i(m) = m**2 + 2*m + 45. Let u be i(0). Let s = 65 - u. Solve -4*r = -z - s, 4*r + z - 1 = c for r.
4
Let f = 20 - 17. Suppose a - 3*x - 2 = 2*a, -a + 10 = -f*x. Solve a*k - k + 6 = -3*p, -6 = k + 3*p for k.
0
Let j = -36 + 26. Let n(l) be the third derivative of l**4/12 + 10*l**3/3 - 413*l**2. Let u be n(j). Solve -k + 5*x = -6*k - 20, u = 5*k + 3*x + 12 for k.
0
Let t = 826 + -824. Solve t*y + g - 4 = -1, -5*y = 2*g - 8 for y.
2
Suppose -19 = 5*x + 3*d - 69, 4*x + 4*d - 40 = 0. Solve -x = -t - l + 4*l, 2*l = t - 6 for t.
-2
Suppose 2*r = -3*s + r + 44, 3*r = 5*s - 92. Solve 4*f + 5 = -j + 1, 0 = f - 4*j - s for f.
0
Let b(s) = s + 21. Let r be b(-21). Solve -i + 0*a - 5*a = 18, -3*a - 12 = r for i.
2
Suppose -4*j + 5 = -11. Let i be ((-8)/24)/(3/(-9)). Let x(s) = 16*s**3 - 2*s**2 + s + 1. Let o be x(i). Solve 5*a + o = -j*n, -3*n - 3*a + a - 5 = 0 for n.
1
Suppose 4*p + 5*l + 3 = 0, p + 0 + 6 = 4*l. Let g(i) = -7*i - 9. Let z be g(p). Solve 4*t + 2*j = -0*j - 30, -30 = t + z*j for t.
-5
Let q = 126 - 131. Suppose -6 = -2*w + 5*w. Let i be (-1)/w + q/10. Solve -2*g = -o - i*o + 8, 0 = 5*g + 10 for o.
4
Let g = -10 + 5. Let x be (36/(-15))/(4/20). Let p = g - x. Solve -3*u = 2*v - p, -2*u = 2*v - 7*v - 30 for v.
-4
Let c be (-16)/(-6)*18/(-12). Let v be (-20)/c + -3 - -2. Let r be ((-2)/v*2)/(-1). Solve -j + r = 5*s, j + 3*s + 1 = 2*j for j.
1
Let k = 17 + -19. Let z be ((-7)/(-2))/(k/(-4)). Suppose -z - 1 = -4*q. Solve 0 = -2*r, 2*v + q + 2 = -r for v.
-2
Suppose 0 = -3*s + 7*s - 4*m + 4, 5*s + 2*m - 16 = 0. Suppose g - 4*g = -s*g. Solve -4*w - 19 = -g*l - l, 4*w = 4*l - 16 for w.
-5
Let z(a) = -17*a**2. Let c be z(-1). Let q(s) = s**3 + 18*s**2 + 19*s + 37. Let h be q(c). Solve -5*n = h*f - 15, 4*f + 3*n + 2*n - 20 = 0 for f.
5
Let o = 85 + -82. Solve o*y - 4*t + 1 = 0, 2*y + 5*t - 8 = -y for y.
1
Let l = 2 + 8. Let s = 15 - l. Solve -18 = -2*q + 2*r, -r - 12 = -s*q + 13 for q.
4
Suppose 3*d = 0, 4*d + 9 = -5*y + 49. Solve -7*j + 3*j = -2*r + y, -r + 5*j + 7 = 0 for r.
2
Suppose -6*i + 7*i = 0. Suppose 5*k - 3*k - 8 = i. Suppose 3*r - 8 = k. Solve -4*d = -r*w + 16, -10 = -2*w - 4*d + 7*d for w.
2
Suppose 3 = -t - 9*g + 7*g, -t + g + 6 = 0. Solve -r - 10 = -4*w, t*r - 18 = -5*w + w for w.
3
Suppose -5*n = -0*n - 45. Suppose -4*i = 16, 5*u + n = -5*i - 11. Suppose 2*k - 13 = 3*j, k + u = -j + 4. Solve 4*s - 2*s = -3*d - 3, k*s - 24 = 3*d for d.
-3
Suppose -4*c + 5*o = -22, c = -c - 3*o. Suppose -c*p = -49 + 139. Let y be (2 + 1)*p/(-18). Solve 3*b = -2*r + 4 - y, -4*b = 5*r - 8 for r.
4
Let v = 113 + -112. Suppose 4*o = 5*p + 2*o - 15, -2*p + 2*o + 12 = 0. Solve 2*m = w - p - v, -m = -1 for w.
4
Let s = 10 - 7. Let u be (24/14)/((-20)/28 - -1). Let w be u/(-15) - (-36)/15. Solve 0 = 2*c - s*x + 16, -2*c = w*c + 2*x for c.
-2
Suppose 2 + 10 = 4*v. Let j(r) = -934 + r**2 - 2*r + 942 - 5*r. Let n be j(6). Solve -2*t + u = 2, 0*t + 2*u - n = v*t for t.
-2
Suppose 0 = 12*r - 6*r - 18. Solve -3*d + 2*o = -2*o + 6, -4*d + r*o - 8 = 0 for d.
-2
Let