4
Suppose -4*c = -24 - 4. Suppose -3*p - 6*s + 3*s = -81, -p + 4*s + c = 0. Suppose m = 2*m. Solve p - 7 = 4*w + 4*o, m = 4*w - 2*o - 16 for w.
4
Let c = -413 - -417. Solve -2*h = -3*s - 13, 3*h + 1 = -c*s - 5 for h.
2
Let a be (-14)/(-5)*(-1580)/(-1106). Solve 4*q = a*v - 20, 2*q - q = -2 for v.
3
Suppose -13*m - 7 = -g - 9*m, -2*m - 26 = -8*g. Solve 1 = 3*p + d, -4*p + 4 = g*d + d for p.
0
Let f(a) = -6*a + 5. Let q be f(-2). Solve 5*z + 2*m + 4 = 26, m - q = -4*z for z.
4
Suppose 5*z - 9 = 2*z. Solve -4*v = -4*j, -9 = -z*j - v - 1 for j.
2
Let u be 1 + (-12)/20 + 143/55. Solve u*d + 2 = -4, 16 = -4*l + 2*d for l.
-5
Suppose 3*l - 44 = -19*l. Solve -f = 2*q + l, 6*q + 5 = 3*q - f for q.
-3
Let b(r) = -6*r**3 - 3*r**2 - 6*r. Let a be b(-3). Let u be 3*1*a/27. Suppose -3*h + h - 4 = 2*p, -h - 4*p = u. Solve 5 = k + g + 2, -h*g = 4*k - 14 for k.
5
Let o(w) be the second derivative of -w**3/6 - 9*w**2/2 + 31*w. Let j be o(-14). Solve -5*m = 2*u - 11, 4*m + 3 - 22 = -j*u for m.
1
Suppose -2*n + 4*v = -v - 14, -16 = -3*n + 5*v. Suppose -t + 6 = n. Solve -4*z + t*j + 12 = 0, 0 = z - 3*j - j - 3 for z.
3
Let q be 1/(-2) + (-3)/(-6). Solve 5*g - 3*v - 2*v + 15 = q, 3*v + 23 = -5*g for g.
-4
Let z = -1000 + 1005. Solve -2*a + 3*n = -15, -a - a = z*n + 9 for a.
3
Let o = 10 + 2. Let q be (o + -22)/((-2)/3). Solve 0 = -k - 4*b - 12, -q = k - 0*b + 5*b for k.
0
Let n be ((-15)/(-9))/(1141/(-168) - -7). Solve -n + 22 = 2*t + 4*b, -4*b = -8 for t.
3
Let m(x) = -x**2 - 8*x - 8. Let o be m(-11). Let t = o - -44. Solve u - 9 = 4*y - 0, t = 3*u for y.
-2
Suppose 112 = -3*y + 2*g, 54 = -y - 2*g + 14. Let k = y - -42. Solve 2*q = -k*x + 5*q - 15, -3*x = -3*q + 12 for x.
-3
Suppose 17*z + b = 18*z - 9, 0 = 5*z + 4*b. Solve -6 = -z*s - w, -5*s + 7*w = 8*w - 7 for s.
1
Suppose 0 = -0*m + m. Let z(d) = d**2 + 17*d - 16. Let l be z(-18). Suppose -l*v = -m*v. Solve 10 = 2*u - j, u - 2*j + v*j = 8 for u.
4
Suppose 3*o - 7*n = -9*n + 11, n = 2*o - 5. Solve o*b + 8 + 17 = 5*t, -t + 4*b + 5 = 0 for t.
5
Suppose w - 3 = -5*m - 13, -16 = -5*w - 3*m. Solve -6 = -2*r, 12*p + 9 = 9*p + w*r for p.
2
Suppose 6*t - 18 = -29 + 29. Suppose -5*d - 5*n + 35 = 0, 0*n = 4*d + 5*n - 33. Solve -h + 2*x + 2 = 0, -2*h + d*x - 6 = t*h for h.
-2
Suppose 5*y = -3*q + 141, -4*y + 3*q + 114 = -15. Let x = y - 15. Solve n + 4*n + x = 5*f, n + 15 = 4*f for f.
4
Suppose -45 = 3*x - 8*x + d, -x + 4*d + 28 = 0. Solve -3 = 3*i + 4*z - x, 3*z = -3*i for i.
-5
Let u(r) = r**2 - 9*r + 21. Let k be u(10). Suppose 3*m + k = 5*p, 2*m = -3*m - 10. Solve 0 = 2*o, 0 = 5*t - p*o + o + 15 for t.
-3
Suppose -4*v + 148 = -2*r, -21*r + 17*r - 188 = -5*v. Solve -4*l + 15 = -1, -v = 4*y - 4*l for y.
-5
Let t(w) = -2*w - 4. Let h be t(5). Let p = h - -23. Suppose -3*a + 0*a = -4*k - 8, 4*k - 32 = -2*a. Solve 3*r - p = -s, a*s - 4*s = -5*r + 8 for s.
-3
Let u be 16/(-12)*((-45)/(-10))/(-3). Solve -q + 1 = m - 0*q, 4*m + q + u = 0 for m.
-1
Let b(l) be the second derivative of l**4/12 + l**3 + 3*l**2/2 + 18*l. Let s be b(-6). Solve 0 = -4*x, 6 = -2*y - x - s*x for y.
-3
Let y(r) = r**2 - 6*r + 8. Let n be y(3). Let f be n/(1 - (-2 - 64/(-20))). Solve -v + 8 = 2*k + 2, -5*k = -f*v for k.
2
Let a(z) = z**2 + 31*z + 3. Let u be a(-31). Solve -2*w - w = l + 19, 0 = -3*l + 3*w + u for l.
-4
Suppose -5 = 3*u + 8*t - 3*t, 2 = -2*t. Let w be u/(-2*(-4)/8). Suppose 2*j + 3*r + w*r = 2, -2*r - 24 = -5*j. Solve -p = j, 2*p + 21 = 5*y - 2*p for y.
1
Let n = 19 + -19. Solve 0 = 5*a + 4*q - 3 - n, 0 = 3*q - 6 for a.
-1
Let t = -614 - -617. Solve -i = 4, 2*i = -3*j - t + 10 for j.
5
Let w = -408 - -415. Solve w*m + u - 27 = 2*m, -m + 4*u = 3 for m.
5
Suppose -2*i - 2*q = -40, 3*i + 17 = -2*q + 76. Solve -4*f - i = -w, 20 = 4*w - 3*f + f for w.
3
Let d(l) = -l**3 - 13*l**2 - 36*l. Let s be d(-9). Solve -3*f - 4*h - 19 = s, 5*f = -h - 2 - 7 for f.
-1
Let i = -4 - -2. Let f be (1 - 1)/i - 0. Suppose 0 = -f*v - 5*v. Solve 0 = -4*x - d - 12, x + v*d + 6 = -d for x.
-2
Let x be (-3 + (-24)/(-9))/((-1)/3). Solve 5*q = x - 16, 2*q = -m - 6 for m.
0
Let j be 2/4*(-16)/(-2). Solve -x - 2*x = -4*d - 9, j*d - x + 3 = 0 for d.
0
Let p(d) = -d + 16. Let y be p(-4). Solve 2*x = -3*x + y, -13 = o - 4*x for o.
3
Suppose 125*v - 130*v + 15 = 0. Solve 4*q = v*p - 21, -5*q + 3*q + 4*p = 18 for q.
-3
Suppose 89*g = 156*g - 201. Solve -2*i - x = -g*i - 3, -5*x = i + 15 for i.
-5
Let s(d) = -d - 2. Let b be s(-6). Suppose b*l - 6 = 2*l. Let i = 41 - 38. Solve w + 9 = -i*n, 5*n - 4*n = -l for w.
0
Let i = 88 - 69. Let t(p) = -2*p + 53. Let k be t(i). Solve 0 = -6*s + 3*s - k, 0 = 4*u + 2*s + 2 for u.
2
Let z(k) = -k**3 - 2*k**2 - k + 1. Let h be z(-2). Solve -18 = l - 5*n, h*n = 5*l - l + 21 for l.
-3
Suppose 14*q = 10*q + 20. Suppose -3*k = 3*g - 18, -2*k + 14 + 13 = q*g. Solve 3*p - 2*t + 4*t - 13 = 0, 0 = -t - k for p.
5
Let q be ((-3)/(180/(-192)))/((-4)/(-30)). Solve -s = 3*l + 11 - 27, 2*s + 4*l - q = 0 for s.
4
Let c = 4 + -2. Let t be (-3)/(-7) - 1 - (-100)/175. Solve 5 = y + c*a, 2*a = 4*y - t*a - 20 for y.
5
Let r = 18 + 54. Suppose 0 = 2*d - d - 2*i - 7, 4*d = -3*i + r. Solve -3*a + 2*a - 3 = -4*n, d = -n - 5*a for n.
0
Suppose 0 = p + 7 - 25. Let w(y) = 2*y + 27. Let b be w(0). Let x be 25/9 - (-6)/b. Solve -x*r = 5*s + 2, s = 4*r - 0 + p for s.
2
Let k(b) = 5*b**2 - b + 1. Let z = -69 - -68. Let n be k(z). Solve -2*q + 4*m - 3 = n, m = 2*q + 4 for q.
-1
Let g(a) = a**3 - 14*a**2 + 2*a - 9. Let k be g(14). Suppose k = 5*b - 3*w, 3 = 4*b - 3*b - w. Solve -3*l + 0*d + 11 = -b*d, 2*l + 3*d + 18 = 0 for l.
-3
Suppose 3*q = 4*f - 21, -3*f = -4*f. Let w = q + 23. Solve -7*b + 3*b - 23 = -l, 0 = -2*l + 2*b + w for l.
3
Let a = -714 + 719. Let r be 4/12 + 16/6. Solve -5 = -5*l + r*l + k, a*l - k - 20 = 0 for l.
5
Suppose -14*y - 6*y = -100. Solve 0 = y*o + 10, d - 5 = 5*o - o for d.
-3
Let m be (-4)/20 - 2/(-10). Suppose m = -3*n + n. Let y = n + 2. Solve -y*t = -r - 4 - 4, 4*t = r + 14 for r.
-2
Suppose 3*u + 4*z = 0, 0 = u - 3*u + 4*z + 20. Let a(j) = -8*j**3 + j**2 - 1. Let q be a(-1). Let i be u*(14/q - 0). Solve -2*t - i = -4*h + 7, 2*h = 4 for t.
-3
Let q = -7 + 7. Suppose -1 = 4*v + 3*g + 2, 4*g + 20 = q. Solve -y + 3*w = 2*y + 3, y - 2*w - v = 0 for y.
-5
Suppose 0*d + 34 = -2*d. Let p = d + 21. Suppose -j + 22 = 4*t, 2*j - 4*t + 2 + 14 = 0. Solve 9*r - p*r - 4*w = 1, -3*r - j*w - 17 = 0 for r.
-3
Suppose 13 = -4*g + 49. Suppose 7*z + 18 = g*z. Let t = -7 + z. Solve -d = t*c - 6, 4*c = -5*d + 2*c - 2 for d.
-2
Suppose -4*l + 8 = -0*l. Let z(f) = 8*f - 13. Let g be z(l). Suppose 6*i + 4*k - 32 = i, 35 = 5*i + 5*k. Solve 0 = b + i*u, -u = -2*b + g*u for b.
0
Suppose -17 = f + 3*j + 1, -5*j - 33 = 2*f. Let i be ((-6)/(-15))/(f/(-45)). Solve -y - 11 = 2*d, i*y + 0*d - 2*d = 8 for y.
-1
Let d = -146 + 152. Solve -5*y = d*i - 3*i - 20, i - 2 = 3*y for i.
5
Suppose -21 = -h - 3*k, -h + 21 = -k - k. Suppose 0 = s + 3*w - 2 - 13, -4*s + h = -w. Suppose 2*n - 6*n = -8. Solve 2 = -5*z + 2*u - 16, 2*u = n*z + s for z.
-4
Suppose 3*b = 0, -9 = -2*u - b + 27. Suppose 5*c - 43 = -2*m - 0*m, -2*c = m - u. Solve 0 = -2*g + 2*v + c + 7, -5*g + 17 = v for g.
4
Suppose -128 = -3*i + 4*r, -190 = -13*i + 8*i + 2*r. Suppose 14 = 5*m - i. Solve -3*x - 3 = d - 4, -2*x + m = 3*d for x.
-1
Let b(v) = v**3 + 3*v**2 - 5*v - 1. Let i be b(-4). Let y = -54 - -58. Solve 16 - 1 = -y*h + z, -5*h - 24 = -i*z for h.
-3
Let u be (-24)/18*(0 + (-9)/6). Let o(z) = 5*z + 6. Let v be o(u). Solve -g = -3*h - v, -g + h + 2 + 4 = 0 for g.
1
Let l be ((-6)/5)/(9/(-30)). Suppose 2*m = -2*m. Let n = l - m. Solve -4*s = -3*a - a, n*s - 3*a = -5 for s.
-5
Let c be (-4)/18 - 132/(-108). Let s be -1 + (-6)/(-9)*-3. Let x be c*s/3*-15. Solve -3*z - 4*d = -x, -5*z + z + 3*d - 5 = 0 for z.
1
Let j(w) = w**2 - 6*w + 2. Let u(k) = k**2 - 2*k - 2. Let h be u(4). Let r be j(h). Solve -3*s + 7 = r*s - 3*p, -5*p = 3*s - 11 for s.
2
Let q = -37 - -42. Suppose o - 49 = -5*u, -2*o = -q*u + 3*u + 10. Solve 0 = -5*f + 5*g - 0*g, -u = -4*f - 5*g for f.
1
Let c(i) = i**3 - 19*i**2 + 33*i + 21. Let n be c(17). Solve -2*s - 2 = r - 4*s, -n*s + 4 = -4*r for r.
0
Let v(a) = a**3 - 15*a**2 + 57*a - 13. Let w be v(6). Solve 2*i + 2*d = -14, -w = -d + 2*d for i.
-2
Suppose x + 27 - 19 = -4*n, -4*x = -5*n - 10. Le