m + 3 + 9 = 4*z for m.
4
Let a be (-1228)/(-28) + (-1)/(-7). Suppose -v - a = -5*v. Solve -v = j + 4*s + s, 3*j + s = -5 for j.
-1
Suppose 23*l = -35 + 127. Solve -15 = l*k + x - 2*x, 3*x = 9 for k.
-3
Suppose -255 + 122 = -19*s. Solve -u + 3*c = -4 - 2, 3*u + 2*c - s = 0 for u.
3
Suppose 0 = -2*q - 2*m + 14, -2 = -2*q - m + 9. Let p be 3/2*q/2. Suppose -5*k + p*v = -6, -5*k = -6*v + v. Solve 2*r + 3*r = -3*w + 8, 3*r = k*w for w.
1
Suppose -7 + 16 = 3*m. Solve -3*g - 5*j - 29 = -2*g, -4*g - 1 = -m*j for g.
-4
Suppose -b + 95 = 18*b. Suppose 3*o - b*z = -19, 2*z + 7 = o + 3*z. Solve 0*p - 5*p + 25 = 5*m, 0 = -3*p - o*m + 10 for p.
0
Let k(j) be the second derivative of -j**3 - 3*j**2 - 21*j. Let s be k(-1). Solve s = -3*g + 2*i - 18, -g - 3*i = -8*i + 19 for g.
-4
Let c = 39 + -35. Suppose 0 = c*b - 7*b. Suppose 2*d - 3 - 1 = 0. Solve -3*x - n = 10, 3*x - d*x + 2*n - 5 = b for x.
-5
Suppose -15*m = -2 - 733. Let x be 52/14 - (-14)/m. Suppose 4*t - 8 = -0*t. Solve -2*i = 0, 5*i + 6 - t = x*l for l.
1
Suppose -a - 3*o = -15, -11*o - 23 = -5*a - 13*o. Solve -a*i - 3*d = 3, -3*i - 2 = 2*d + 4 for i.
-4
Let y = -241 - -244. Solve 4 = -s + a, 3*s - s = y*a - 9 for s.
-3
Let q be ((-10)/(-12))/(10/60). Solve -3*c = -t - 2 + 15, -5*t + q*c = -15 for t.
-2
Let g(a) = a**2 - 11*a + 20. Suppose 4*c - 100 = -64. Let j be g(c). Solve -16 = 2*n + 4*r, 2*r = 2*n + j*n + 12 for n.
-4
Let a be 3 - (-3 + 6 - -4). Let u(m) = -m**3 - 2*m**2 + 7*m + 1. Let n be u(a). Solve -n*w + 2*l - 7*l - 20 = 0, -5*l = w + 4 for w.
-4
Suppose 11*l - 12*l = -3. Solve -5*z - 1 = -5*x - 26, l*x - 4*z = -20 for x.
0
Suppose 2*d + 6 = x, -x + 3*d = 3*x - 14. Let l = -42 - -46. Suppose l*b = -3*i + 10 + 4, -5*b + 1 = i. Solve i*t = 5*n + 3*t + 16, -x*n = -t + 6 for n.
-2
Let b be 15/(-2)*(22/10 + -3). Let l(m) = -4 + 0*m + 6*m**2 + m**3 - 2*m**3 + m. Let v be l(b). Solve 2*g = -2*w + 4, -5 - v = -4*w - 3*g for w.
1
Suppose 0 = 5*a + 137*j - 136*j + 3, -4*a - 3 = j. Solve a = -0*p - 4*p + r - 4, 3*p + 3 = r for p.
-1
Let f be 4/(-36) - (-182)/18. Let c be (-28)/84 - f/(-3). Solve -c*q - i = -4*q, q = 2*i - 1 for q.
1
Suppose -5*l = -5*m - 75, -3*l + 2*l = -4*m - 27. Solve 0 = -v - 2*k - l, 3*k - 4 = 4*v + 7 for v.
-5
Let c(z) = -z + 8. Let n be c(5). Let i = 17 + -13. Suppose -3*q + n = -3*w - 0, -i*q + 2 = -5*w. Solve 0 = -2*a + 5*y + 3, w*a = -2*a + y - 3 for a.
-1
Suppose 38 = 2*u - 4*z, -z = -u + 2*z + 21. Suppose -4*o + u = o. Solve 5*n - 3*a - 25 = 0, -4*n + 24 = -o*a + 1 for n.
2
Let m(u) = 0*u**2 + 10 - 3*u**2 - 6 + 2*u**2 - 5*u. Let p be m(-5). Solve -z = -p*y - 16, -4 = 5*z + 2*y - y for z.
0
Suppose 14*l - 46*l + 256 = 0. Solve 3*d = -5*p + 15, 0 = l*d - 3*d - 5*p - 25 for d.
5
Let p(y) = y**2 - 20*y - 55. Let z be p(25). Suppose -t + 5*q + 29 = -6, 0 = 2*t - 5*q - z. Solve -g - 2*g = -4*u + t, 15 = -2*g + u for g.
-5
Let m(a) be the first derivative of -1/3*a**3 - 3 - a + a**2 + 21/4*a**4. Let b be m(1). Solve 12 = 4*o, 3*o - b = -3*y + o for y.
5
Let r(u) = 2 + 4*u - 2 + 0. Let l be r(1). Let w be (9/l)/((-5)/(-20)). Solve b - t = -4*b + w, -3 = -3*t for b.
2
Let a = -50 - -53. Let i be a + (-7)/(-8) - 1/(-8). Solve -5*k - i*l = -14, 5*k + l - 12 = -l for k.
2
Let m be (3 + -1)*(-6)/4. Let n be (2/8)/(m/(-60)). Suppose n*f - 16 = 49. Solve -3*t = -7*x + 2*x - f, -x + t = 3 for x.
-2
Suppose 12 = 2*c - 2*m, 5*c + 3 - 12 = -2*m. Solve -5 = 5*j + 4*w - 3, c*w = -9 for j.
2
Let a(s) = -s**2 - 7*s - 8. Let i be a(-7). Let c be 75/20 + (-2)/i. Suppose 23 = u + c. Solve -2*w - 3 + 21 = 3*q, 5*w = -q + u for w.
3
Let t(m) = -m**2 + 22*m - 55. Let p be t(18). Solve -5*n = -3*z + p, -4*n - z = -n + 13 for n.
-4
Let f be 1/(-3)*0/1. Suppose f = h + w - 10, -5 = -2*w + 5. Solve 0 = 3*n - 5*i + 15, -n + 5*i - h = -0*n for n.
-5
Let l = -172 - -174. Solve -w + 5 = 3*q, -w = 2*q - l*w for q.
1
Let b(a) = a**2 + 7*a + 3. Let d be b(-7). Suppose -d*l + 40 = -l. Let t = l - 16. Solve -13 + 2 = 2*q + s, -t*s - 4 = -2*q for q.
-4
Let h(o) = -o**2 + 6*o + 9. Let r be 1/((-12)/4)*-12. Suppose r*t = -0*t + 28. Let n be h(t). Solve x = -5*w - x + 10, -2*x = -n*w + 18 for w.
4
Let u be 2 + -5 + 14 + (8 - 5). Solve 8*m - 3*m = -3*n + 5, -u = 2*n - m for n.
-5
Let z(m) = 2*m**2 + 3*m - 51. Let p be z(-6). Solve 4*b - p*b = q - 3, 15 = -4*b + q for b.
-4
Suppose 0 = -p - 2*p + 36. Suppose 3*y = -3 + p. Solve 0 = y*t + 2 + 13, 4*i - 4*t = 40 for i.
5
Let w(u) = -u**3 - 12*u**2 - 12*u - 7. Let k be w(-11). Suppose 3 = 2*n - 5. Suppose 0 = -2*x - x. Solve x = 2*b + 2*b + 4*m + k, b - n*m - 14 = 0 for b.
2
Suppose 4*k + n + 10 = 30, -4*n - 34 = -3*k. Let j = k - 3. Solve -3*m - t + 21 = -4*t, j*m - 3 = -3*t for m.
4
Let m(z) = z**3 - 20*z**2 + z. Let y be m(20). Let a = y - 1. Solve -5*j = -0*j + 2*g + 19, 3*j + a = -5*g for j.
-3
Suppose 0 = w + 2 - 5. Suppose 6*a - 20 = a, 142 = -5*g - 2*a. Let k = 33 + g. Solve -2*j + k + 3 = -q, q + w*j = 14 for q.
2
Suppose 4*w = 4*g, -4*g = -3*w + 2*w + 15. Let i be (-5)/4 - w/20. Let f be (i - -2)*(-6 - -10). Solve 2*t - 2 = 2*u - 0, -f*u - 31 = 5*t for u.
-4
Let g = -9 - -13. Suppose 5*z = z - t + 73, -7 = -z - g*t. Suppose 3*s + 24 = 3*c, 0 = 2*c + s + 3*s + 14. Solve 8*u = 4*d + c*u - 32, -5*d + z = -u for d.
3
Let u(y) = -y - 2. Let p be u(-6). Suppose -2*w = p*m - 20, -3*w + 5*m - 12 = w. Suppose 0*l - l = -w. Solve l*t = -5*h + t - 23, 5*h = 2*t - 14 for h.
-4
Let n(a) = a**2 + 11*a + 19. Let g be n(-10). Suppose l = -g*l + 10. Solve -2*k = -z + 3, -2 = 2*z + 3*k - l for z.
1
Let a be -4 + (2 - 0 - 4). Let l be (-10)/5*a/(-4). Let n be 120/10 + 1 + l. Solve 4*b + 15 = r - 4*r, 3*b + n = -r for r.
-1
Suppose -w + 5 = 0, 3*l = -5*w - 0*w + 34. Solve n + l*j - 4*j = -5, 2*n + j + 1 = 0 for n.
-2
Suppose -36 = 7*l - 50. Solve x = t - 2*x - 7, l*x - 7 = 3*t for t.
-5
Let g = 229 + -214. Solve 3*d - 4*h - 15 = -h, 0 = -4*d + 3*h + g for d.
0
Suppose 3*n - 251 = -236. Solve 2*s = -t - 9 - 3, 12 = -n*s + 2*t for s.
-4
Suppose -4*b + r + 3*r = -116, 0 = -3*b + 4*r + 92. Solve -5*h + 3*v = 0, -v = -3*h - 4*v + b for h.
3
Suppose 10*f + 50 = 12*f. Let u = f - 7. Solve 0 = -4*g + 2*v - u, 5*v + 15 = -4*g - g for g.
-4
Let y(a) = -5*a**2 - a + 3. Let r(i) = 2 - 2*i + 3 - 6*i**2 - 1 + 0*i. Let j(m) = 3*r(m) - 4*y(m). Let o be j(2). Solve 0 = -d - f, -o*d - 3*f = 2*f + 4 for d.
4
Let w = 15 + -14. Let c be w/2*(3 - -1). Suppose -c*i + 3 = -27. Solve -2*s + i = -3*o, s - 2 = 1 for o.
-3
Let m be (48/(-56))/((-24)/84). Solve -29 = 3*h + 5*r + 2, 0 = -m*h - 2*r - 16 for h.
-2
Let w(j) = -3*j + 20. Let z = 19 - 14. Let n be w(z). Solve -m - m + n*t = 2, -10 = -5*t for m.
4
Let i(t) = t**2 - 27*t + 152. Let x be i(19). Solve b = q - 2, -2*q + 5 = -b - x*b for q.
3
Let a(n) = -n + 3. Let f be a(-7). Let v be 12/f*(-25)/(-15). Solve d + 0*t - 6 = -2*t, -5*t + v = -4*d for d.
2
Let s(j) = -6*j**3 + 2*j**2 + j - 1. Let a = 4 + -5. Let m be s(a). Let b = m - 4. Solve 2*t - 10 = -5*c, t + c - 6 = -b*c for t.
0
Let x be -7 + 16 + 1 + -8. Solve 5*v = -4*i - 19, x*v = v + 4*i + 1 for v.
-3
Let v = -97 + 97. Suppose 2*o + 2*c + 0*c - 18 = v, 4*o - 3*c = 1. Solve -s = 3*j + o, 3*j = 8*j - 4*s + 1 for j.
-1
Let x = -570 + 386. Let t = 282 + x. Let a be (2/(-7))/((-7)/t). Solve 0*v + 3*v + a*m = -21, -12 = 4*m for v.
-3
Let u = 58 + -58. Let g be u - -1 - (-3 + 3)/(-1). Solve -k + l = 2, 3*k + g = -k - 3*l for k.
-1
Let a be (-1)/(-2) + (-78)/(-4). Let i be 50/6 - a/(-30). Solve -i = 3*d + 6, -4*f = 4*d + 36 for f.
-4
Let y = -43 - -43. Solve -4*d - w + 8 = 0, 2*d = 2*w - y*w + 4 for d.
2
Let j(t) = t**2 - 2. Suppose 2*a + 3 - 7 = 2*m, m = -3*a + 6. Let c be j(a). Suppose 2824*b - 2788*b = 0. Solve -5*z = 2*s - b + 2, -2*z - c*s + 4 = 0 for z.
-2
Let k = -4024 - -4027. Let t(m) = 9*m**3 + m**2 + m - 1. Let u be t(1). Solve -b = 4*z - 7, -k*b - 8 = -z + u for z.
3
Let a(n) = n**2 + 42*n + 320. Let o be a(-10). Solve 3*l + 4*z + 14 = o, z - 8 + 7 = -3*l for l.
2
Let z be (-4)/(1*(-2 + -2)/8). Suppose z*n = -157 + 397. Solve -3*b + n = 5*r, -3*b = -2*b - 5 for r.
3
Let c(n) = 2*n - 31. Let d be c(17). Solve 2*p + 2*p + 3*l - d = 0, l = p + 8 for p.
-3
Suppose -g + 12 = -3. Suppose 4*t = 6*t - u - 78, 3*t - 124 = 5*u. Solve 4*f = 3*w + g - t, -3*w + 13 = f for w.
5
Let k = -20 - -26. Sol