*v - v = -2. Solve 2*o = -d*c + 10, 0 = 2*c - v - 2 for o.
1
Let k(g) = -19*g - 130. Let b be k(-7). Solve 0 = 5*j - b*n + 13 - 31, -2*j = 5*n - 1 for j.
3
Let p = 43 + -38. Solve -4*h - 4*n + 4 = -4, 2*h = p*n - 10 for h.
0
Let g(z) be the second derivative of z**3/6 - z**2 - 3*z. Let h be g(2). Solve u = 3 + 2, -5*m - 4*u + 15 = h for m.
-1
Suppose -27*k = -16 - 119. Solve -k*q = b + 17, -5*b - 2*q = -3*q - 19 for b.
3
Let d = -54 - -56. Solve -d = 2*u - 4*w, -3*u = -u + 3*w - 12 for u.
3
Let r(j) = -j**2 - 14*j - 22. Let a(y) = -3*y + 9. Let g be a(7). Let t be r(g). Solve 0 = 3*x + 2*n - 4*n - 14, 0 = -x - 2*n + t for x.
4
Suppose -423 = -28*i - 87. Solve 7*x - i*x + 15 = 0, 0 = k + 2*x - 10 for k.
4
Let h be 46/(-345) - 1/((-30)/64). Solve 5*p = 5*a - 1 + 36, 0 = -h*p + 4*a + 24 for p.
2
Let n(y) = 5*y. Let u be n(4). Let p = 30 - 27. Suppose 3*s + 3 = 2*v - p, 2*v - 4*s - 6 = 0. Solve -v*x = -5*h - 15, 0 = -2*h + 4*x - 0 - u for h.
0
Suppose -10*j = 3*j. Solve -5*f + 2*h + 20 = j, -4*f - 17 = 3*h + 2*h for f.
2
Suppose 4*r = 15 + 1. Suppose 0 = 8*k - 0*k - 32. Let n = 16 + -3. Solve r*p = -k*q + 8, 3*q = -q + p + n for q.
3
Suppose 0 = -5*t - 0*t - 55. Let y(z) be the first derivative of -z**2/2 - 11*z - 19. Let o be y(t). Solve r + 2*i = -r, r - i + 6 = o for r.
-3
Suppose q + 0 = 2. Let p(z) = z**2 - 4*z + 5. Let v = -32 + 36. Let m be p(v). Solve m*w = -3*u + 32, -5*w + 34 + q = 4*u for u.
4
Suppose 3 = 4*r + v - 6, -2*v = 5*r - 9. Suppose -2*o + r*b = -23, -3*o + 2 = b - 5. Suppose 5*x - 29 + o = 0. Solve x*u - n - 4*n = 20, 10 = 2*u - 4*n for u.
3
Suppose -73*m + 6 = -71*m. Suppose -m*u - 33 = -14*u. Solve 2*j - 5 = u*t, 2*j - 2*t - 2 = j for j.
4
Let b be ((-4)/4*0)/(5 - 4). Let w = 3 - 3. Let s be (w - -1) + (-1)/(-1). Solve 2*n = -2*z + 6, -4*z = -s*n - b*n - 6 for z.
2
Suppose 0 = -12*k + 17*k + 375. Let j be (-8)/6*k/25. Solve 0 = 3*s + 3, 0 = 3*q - 2*s - 3*s + j for q.
-3
Let b(s) = 2*s + 3. Let z be (-8)/(-52) - 4/26. Let c be b(z). Solve c*k - 7*k + 2*d = -26, 4*k = d + 21 for k.
4
Let s = 60 + -34. Let i = s - 44. Let z = 38 + i. Solve -20 = -2*q + 4*h, 5*q + h + z = -3*h for q.
0
Let c be 6/(-8)*72/(-2). Let z = 11 - 3. Suppose f + z = 13. Solve -4*j = 5*h + c, 2*h + 3*h = -f*j - 30 for j.
-3
Let b be ((-2)/(-6))/(6/90). Let x = 0 + b. Let m be (-2)/4 - 15/(-6). Solve -5 = -3*q - 2*d, 0 = -6*q + m*q + x*d + 45 for q.
5
Suppose -24 = -4*y + 8. Suppose -26 = -y*v - 10. Solve 0 = -g - 1 - 1, v*z + 5*g = -14 for z.
-2
Let v = 19 + -19. Let p(f) = -10*f - 28. Let g be p(-3). Solve -n = -g*a - 10, -4*n + v*n - 2*a = 0 for n.
2
Suppose -q + 8 = -n, -3*q + 13 = -2*q - 2*n. Suppose 2*g - 7*g + 25 = c, -18 = -q*c + 4*g. Solve -c = 5*u - 5*k, -5*u = 3*k - 5*k + 19 for u.
-5
Suppose -4*f - 2*j + 65 = 3*j, -f - 5 = -3*j. Suppose 3*l - 2*m = -0*l - 4, -3*l + 6 = 3*m. Solve 3*c - 3*n = l, -2 + f = -2*n for c.
-4
Let c = 7 + -11. Let y(s) = -7*s - 8. Let a be y(c). Let v = -18 + a. Solve -2*f = -v*x - 2, -1 = 5*x - 2*f - 2*f for x.
3
Let x = -277 - -281. Solve 4*y + h = -10, 3*y + x + 1 = -2*h for y.
-3
Let r be -2 - 0/(2 - 3). Let t be (-1)/r*44/2. Let i = -8 + 10. Solve -k + i*m = -0*m - 12, m + t = 3*k for k.
2
Suppose -11*b + 16*b = 30. Let c(x) = -x**2 + 5*x + 11. Let t be c(b). Solve -2*j = 2*j + t*n - 21, 0 = -5*j - n for j.
-1
Suppose -24 = 7*d + 368. Let k = -54 - d. Solve k*j + 0*j = 2*n - 20, 4*j + 45 = 5*n for n.
5
Let j(k) = -k - 29. Let z be j(-37). Solve 5*s + 5*g = -15, 4*g - 8 - z = 3*s for s.
-4
Suppose 0 = -15*z + 103 + 92. Solve 0 = 3*j + 4*y - z, -j + 3*y - 10 = -3*j for j.
-1
Suppose -13*n = -2*n - 44. Solve -q - 18 = n*o, 26 = -2*o - 2*o + 3*q for o.
-5
Let k(b) = -b - 8. Let s be k(8). Let h = s - -19. Solve 0 = h*u - 5*c + c - 16, -5*c - 20 = 4*u for u.
0
Suppose -6 = -l - 22. Let o(n) = n + 16. Let b be o(l). Suppose 5*v = -b*v. Solve -4*q + 5*q = -f - 3, -q + 2*f - 6 = v for q.
-4
Let x be 0 - (-29)/2*2. Let y = -25 + x. Solve 0 = -2*i + 5*s - 26, 0*s = 5*i - y*s + 31 for i.
-3
Let m = -217 - -220. Solve -m*l = 5*g - 30, 4*g + 5*l = 3*l + 22 for g.
3
Let w be (6/10)/(105/25 - 4). Suppose 3*p + 3*s - 21 = 0, w*p - 3*s + 0 = -3. Solve 0 = -2*o + 3*o + j, 1 = 2*o + p*j for o.
-1
Let g be (-12)/(-9)*(17 + -14). Solve 0 = -4*t + 4*k + k + 24, 5*k + 16 = -g*t for t.
1
Let c be 2/(-6) - 170/(-51). Suppose 6*v - 3 = -3*r + c*v, 2*r - 2*v = 14. Solve -2*o - 5*m = -3, -3*o - o - r*m = 0 for o.
-1
Let i = -67 + 69. Let s be (-6)/i - ((2 - 1) + -24). Solve -3*b - 2*d + 17 = 0, -3*b - b - 2*d + s = 0 for b.
3
Suppose -9 = -7*h + 96. Solve 0*a - 3*a + h = 5*j, -a = 0 for j.
3
Suppose 0*t - 7 = -4*h - t, -15 = -5*h + 5*t. Solve -2*i + 10 = -m - m, -4*m = -h*i + 18 for i.
1
Suppose 5*f - 16*l = -20*l + 68, -4*l - 12 = 0. Solve 0 = -3*k + 2*b + 1, -4*b = f - 8 for k.
-1
Suppose -3*a = -4*a + 25. Suppose 22*u + 30 = a*u. Let q(g) = -g - 3. Let c be q(-6). Solve -3*y + 9 = c*s, -2*y - 4*s + u = y for y.
2
Let u be (5 - 243/45) + 22/5. Solve -u*g + 3*b = -4 - 10, -g - 6 = 4*b for g.
2
Suppose -3*a - 4*u + 21 = 0, 14 - 32 = -a - 5*u. Solve -4*y = 3*g - a*y - 5, -3*y - 9 = -3*g for g.
2
Let s(k) = 15*k**2 + k. Let r be s(-1). Suppose r*n - 9*n = 25. Suppose -g - 3*i + 60 = 2*g, -g - 4*i + 11 = 0. Solve 5*q = x + g, -5*q + 0 = n*x - 35 for x.
2
Let q = -199 - -227. Solve 0 = -2*w - 0*w - 8, 0 = -3*j + 4*w + q for j.
4
Let a be (-4)/((-44)/(-12) + -3). Let i = a - -12. Suppose -i*b = -b - 15. Solve -5*q + 3 = -3*r + 6, -3*r - q + b = 0 for r.
1
Let h be 2/(-4) - 5/(-2). Suppose -5*n - 35 = -5. Let t = n - -13. Solve s - t = 2*s - 2*p, -4 = h*s - 2*p for s.
3
Suppose -1 = -8*z + 23. Solve 2*j - h = 4*j + 5, 0 = -j + z*h - 20 for j.
-5
Let r(d) = d**3 - 7*d**2 + 8*d - 9. Let w be r(6). Let n be (-24)/18*33/2. Let v = n - -24. Solve 5*h - w = v, -3*a - 2*h = 10 for a.
-4
Suppose 0*k - 5 = -5*k. Let g be k - (3 - -1)*1. Let a be g + (-3 - -10)*1. Solve -a*n = 5*d - 22, -3*d + 1 = -d - n for d.
2
Let l be ((-11)/33*-22)/(2/3). Suppose 5*a + 16 = 4*x + 4, -2*a + x = 3. Let c = 2 - a. Solve 4*n - 3 = 2*i + l, -n = -c for i.
-3
Suppose 0 = x - 4*k - 24, 2*x + 7 + 0 = -3*k. Suppose -12 = -x*w + w. Solve 2*u = -w, -3*l - 2*l - 11 = 3*u for l.
-1
Suppose 4*l - 10 = -l. Let z(t) = 0 + 0 + 2*t**l. Let o be z(-1). Solve 5*n + 5*v = 0, 0 = -n + o*v - 0*v for n.
0
Suppose 63 = p + 59. Let x be (p - (3 + -6)) + (-1 - 1). Solve x - 2 = 2*c + 3*r, 4 = -2*c + 4*r for c.
0
Let v be 27/(1 - 4) - 1. Let u(s) = s**3 + 6*s**2 - 8*s + 5. Let r be u(-7). Let z = r + v. Solve -3*p - p + 5*y = 40, z*y - 8 = 0 for p.
-5
Let j be 3 - 1 - (-6)/2. Suppose -j*r = -3*r - 6. Suppose 4*t + 4*v = -8, v + r*v + 8 = t. Solve 4*y + 7 = 3*q - 8, t = -3*q - 3*y + 15 for q.
5
Let c be (-2 - -1) + 0 + 46. Let z be (-2)/(-8) + c/12. Suppose -r = -8*r. Solve 4*s + 4*d - d + 4 = r, 0 = -3*s - z*d - 3 for s.
-1
Let n be (-90)/4*(-44)/55. Let a be 0/(2 - 15/3). Solve -3*v - n = 3*x, a = -x - 1 for v.
-5
Let m = -117 - -126. Solve m = 2*v - s - 3, -3*s = 3*v for v.
4
Let v(x) = x**2 + 2*x + 10. Let b be v(-5). Let z(s) = 3*s - 53. Let u be z(b). Solve r = f - 3*f - 6, -3*r = -4*f - u for r.
2
Let h be -3 + 6 + -5 + (1 - -1). Solve 4*a = 4*o - 36, 4*a + h*a - o + 21 = 0 for a.
-4
Let k(q) = -q + 6. Let t(u) = -2*u + 13. Let j(p) = -9*k(p) + 4*t(p). Let l be j(4). Suppose -l = 4*s - 18. Solve 4*i = -3*m - s, -5*i + 2 = m - 2*i for m.
-4
Let h(y) = -3*y + 77. Let f be h(19). Solve 0 = -5*v - f, 3*v - 2*v = w - 9 for w.
5
Let h be (15/(-20))/(((-15)/(-8))/(-5)). Suppose 3*u - 12 = -3*p, p + 3*u - h - 6 = 0. Solve z = -2*a + 1, 4*a + 1 = -z - p*z for z.
-3
Let k be (-44 - (-7 - -3)) + 4. Let z be k/30*(-90)/4. Solve 0*w + 4*w + z = 5*i, -4*i = -w - 15 for w.
-3
Let h = -271 + 271. Solve -x - 3*w = -3 - 3, h = -3*x - 4*w + 8 for x.
0
Let y(p) = 3*p**2 - 2*p. Let z be y(-2). Suppose 28*o = 20*o. Solve 5*w - 3*h + z = -o, -w + 3*h = -4 for w.
-5
Let t(g) = -5*g**2 - 11*g. Let p(x) = 4*x**2 + 10*x. Let s(n) = 6*p(n) + 5*t(n). Let o be s(6). Let k = o + 8. Solve -3*j = 4*r - k + 24, 0 = 3*j + 6 for r.
-4
Suppose 58*o - 2564 = -824. Suppose -i - 2 = -29. Let b = o - i. Solve b*g - 7 = r - 3, 0 = 2*g - 2*r + 4 for g.
3
Let v be (-246)/(-41) + (-2)/(-1). Solve 4*m = 16, 12 = y + 5*m - v for y.