Let f = y + 6. Solve 2*x + 4*c - 8 = 6*x, 5*x - f*c + 1 = r for x.
1
Suppose 0 = -g - 3*d + 30, 2*g + 4*d = 5*d + 25. Let v be (-22)/(-4) + 3/6. Suppose -v*f = -f - 10. Solve 3*h + q - 12 = 0, f*h - 4*q = 3*h - g for h.
3
Suppose 22 - 8 = 2*m. Let o = -29 + 45. Let x be (4/o*0)/1. Solve -2*s = -6, -2*a + x + m = 5*s for a.
-4
Let i be 10/65 + 89/13. Suppose i*r - 14*r + 14 = 0. Solve p + r*q = 4*q - 10, -4*p - 20 = -4*q for p.
0
Let i(o) = -16*o + 5. Let k be i(0). Solve g + 4 = -m - 1, -g = -m - k for m.
-5
Suppose -4*a + 4*f + f = -205, a - 40 = -f. Solve -4*g - 5*z - a = 0, -z - 2*z = 4*g + 35 for g.
-5
Let l(p) = -p**2 - 8*p + 5. Let a be l(-7). Let b = a - 7. Let n = 20 + -15. Solve 2*k = -5*m - 4, 4*k - n*k = b*m + 7 for m.
-2
Suppose 2*z - 3*s + 6 = 0, 1 + 3 = -4*z + 2*s. Let l = 4 - 0. Solve z*x - 9 = u - l*x, -4*x = -4*u - 12 for u.
-1
Let d(n) = 10*n**2 + n. Let t be d(-1). Let o = t + -26. Let b = -14 - o. Solve 2*x + 13 = 5*j - 6*j, x + b*j = -19 for x.
-4
Let a(z) = 2*z - 5. Let b be a(4). Solve -u = -t - 8 + 4, -b*t = 3*u for t.
-2
Let y = 3 - 3. Suppose 4*d + 3 = -9, 2*w - 210 = -2*d. Let a be 0 + 4/(-26) - w/(-26). Solve -2*v - 3*h - 3 = -2*h, -a*h + 20 = y for v.
-4
Suppose 6*k - 24 = 2*k. Let v = k + 12. Suppose 3*g - v = -4*h, -4*h - 16 = -5*g - 6*h. Solve -2*u - g*u + 18 = 2*y, 3*y - 24 = -5*u for u.
3
Let l be -1*2/3*-9. Let t = l + -3. Suppose -4*y + y = 0. Solve y = 3*h - 3*v - 9, -t*v - 2 = 3*h + 1 for h.
1
Let a be 2/(-1 - ((-250)/15)/10). Solve 22 = o + 5*s, a*s = -5*o - 2*s + 10 for o.
-3
Let i be -2 + (-4)/12*-15. Let o(s) = s**3 - s**2 - 4*s - 4. Let f be o(i). Solve 4*v + 21 = -3*g - 5, -19 = f*g + 3*v for g.
-2
Let a = 40 + -40. Suppose -5*c = 3*t - 40, 2*c + 0*t - 3*t + 5 = a. Solve 4*r + 6 - 21 = s, 5*s - c*r = 0 for s.
5
Let l(f) be the second derivative of 2*f**3/3 - 33*f**2 + 12*f. Let o be l(17). Solve 5*m - 3*j + 0*j + 32 = 0, -o*j + 12 = -m for m.
-4
Let x be 4/(-26) + (-82)/(-26). Suppose -4*c + 57 = 3*z, 0 = c + x*z - 4*z - 16. Let s be 69/c + 4/10. Solve 3*g = 4*y - 5*y + 17, s*g + 2*y = 30 for g.
4
Let t = -949 - -951. Let s(b) = b**2 - 3*b. Let i be s(3). Let w = 4 - i. Solve -t*f + w*m + 17 = -7*f, f = -2*m - 7 for f.
-1
Let d(z) = -z**2 - 4*z. Let b be d(-3). Suppose 2*g - 4*g = 3*i - 26, 0 = -5*g + 3*i + 107. Solve 0*w - g = 4*w - 3*r, 0 = 5*w + b*r + 17 for w.
-4
Let x = 1113 + -1110. Let i(d) = -d**2 + 7*d - 7. Let j be i(5). Suppose -j*r + 4 + 5 = 0. Solve g = -r*s - x*g - 12, 0 = s - 5*g + 4 for s.
-4
Let f be 5/1 + 22 + -14. Let w be -1*((-3)/(-12) + f/(-4)). Solve 2*r = -w - 3, -o - r = 6 for o.
-3
Let v = 994 + -990. Solve -t = -m, -v*m + 3*m - 20 = 4*t for t.
-4
Let w(a) be the third derivative of a**5/15 - a**4 + 2*a**3/3 - 30*a**2. Let i be w(6). Solve -m + 5*f + 19 - 3 = 0, 3*m - i = 4*f for m.
-4
Let m = -48 + 51. Let s = 7 - m. Solve -2*o = -s*l + o - 10, l = o - 2 for l.
-4
Suppose 156 = 9*c + 4*c. Solve 4*a + 0*b = b + c, -2*a - b = -12 for a.
4
Suppose 0 = -4*g - 1360 + 1420. Solve -2*u - 5*i = -2*i + 19, 5*i = 5*u - g for u.
-2
Suppose -5*q + 29*q = 72. Solve 5*p - 10 = 0, -q*p + 1 = -s - 0 for s.
5
Let u = -613 - -613. Solve 5*w + o + 13 = 0, -3*w = -u*w - 2*o + 13 for w.
-3
Suppose 4 = -t, 4*t + 12 = 5*y - 19. Suppose -x + y*o = -12, 15 = -o - 4*o. Let r = -389 + 391. Solve u + 2 = 2*b + x, r*b + u = 5 for b.
1
Suppose 2*r = 11 - 1. Suppose -2*c + 25 = 5*f, r*c = 2*c. Solve 0*l + 4*v - 11 = -3*l, f*l - 4*v + 3 = 0 for l.
1
Suppose 4*g = 12, 2*m - 3*m - g = -38. Solve v - 3 = 2, 5*q - m = -5*v for q.
2
Let q = -205 - -210. Let i = -11 + 20. Let c = 13 - i. Solve -4*g = m - c*m - 1, 15 = -q*m for g.
-2
Let r = -4 - -3. Let q be 2*((4 - r) + -3). Solve 0 = z - 2*x - 0 - 3, 5*z - q*x = -9 for z.
-5
Let c(y) = 4*y**2 - y. Let n be c(1). Suppose -5*b - z + 9 = 0, 47*z = -2*b + 44*z + 1. Solve b*k - o + 10 = -0*k, 17 = -n*k + 2*o for k.
-3
Let y = -21 - -29. Suppose 5*g - 33 = -y. Suppose -20 = -g*q + 20. Solve 4 - q = 4*k - 5*r, -5*k = 3*r + 5 for k.
-1
Let h be 55/(-22)*(-20)/25. Solve -l + 7 = 5*u - 4*l, 0 = u + h*l - 4 for u.
2
Let b(l) = l + 28. Let f be b(-23). Suppose -6*j + 4 = -f*j. Solve -2*g = z - j, -z - 8 = -g - 0 for z.
-4
Let x be -10*(3 + -6 + (-30)/(-12)). Solve x*b = 5*p - 25, 5 = 4*p - 4*b + 3*b for p.
0
Suppose 2*f - 37 = -15. Let l = f - 2. Suppose -12 = -o - l. Solve o*d = q + 8, d + 4 = 2*d for q.
4
Let k(d) = -3*d**2 - 31*d - 31. Let m be k(-8). Suppose 10 = q + q. Let i be 1/2*(q + 1). Solve 4*r + m = -5*b, -3*b + i*r + r = -17 for b.
-1
Let j = 64 - 64. Suppose j = 2*f - q - 16, 3*f = -0*f + 2*q + 25. Solve b - f = -4*b - 3*i, 0 = -5*b + 3*i + 13 for b.
2
Let o be 6/1 - 5/(75/45). Suppose 3*n + 75 = 3. Let h be (n/10)/((-9)/30). Solve o*b = -6*j + 2*j - 12, 0 = -2*b - 3*j - h for b.
-4
Let n(l) = l + 1. Let w be n(3). Suppose 0 = -2*t - 3 + 13. Suppose 4*g = -2*d - 2, w*d - t*g - 37 = -2. Solve 4*v + 3*f - d*f = 10, 4*f = -2*v for v.
2
Let z(j) = j**2 - 11*j - 16. Let h be z(12). Let s = h + 8. Solve -f + 0*f + s*l = -13, -7 = 5*f - 2*l for f.
-3
Let b(f) = 30*f + 99. Let j be b(-3). Solve -4 = -g, 6*l - 5*g + 5 = j*l for l.
-5
Let r be 4/(-14) - (-6)/42*37. Solve -r*z + 16 = -4*q, -3*z - 13 = -5*z - 5*q for z.
4
Suppose 2*j - 70 = 18. Let x(v) = v**3 + 4*v**2 + 5*v + 3. Let a be x(-3). Let h be a*(j/(-12) - -3). Solve -h*k = -10*i + 5*i - 6, 3*i + 2*k = 6 for i.
0
Suppose -11*h + 16 = -6. Solve -3*d = t - 9, -3*t = -h*d + 5 + 12 for t.
-3
Suppose -2*t = 3*r - 4*t, -3*r - 5*t = 0. Let y = -171 - -190. Let f = 8 + -6. Solve -u = 3, r = f*l + u - 4*u - y for l.
5
Let w = -12 - -17. Suppose -t + 89 = w*z, 5*z - t - 24 - 67 = 0. Solve 3*m + 3*n + z = -3, 4*m = 5*n + 8 for m.
-3
Let n(x) = 4*x**2 - 8*x + 8. Let d be n(1). Solve -2*f + d*l + 8 = 0, -5*f - l - 4*l - 10 = 0 for f.
0
Let v(t) = 133*t + 6. Let u be v(1). Let b = u + -121. Solve 4*d = c - 13, 0*d + 4*d - 2*c = -b for d.
-2
Let p be (-38)/(-171) - (-3)/(27/232). Suppose -3*x = -37 - p. Solve -1 = -u - 2*g - 5, -3*u + 5*g + x = 0 for u.
2
Let w be 2 - 1/(2*1/(-2)). Solve r + 5*p = -28, -w*p - 2*p - 25 = 0 for r.
-3
Let z = -140 + 144. Let k = -14 + 14. Let n = 4 + -2. Solve k = 2*q - 2*y + n, -z*q - y - 3 = -19 for q.
3
Let d = -367 + 378. Solve -f - 5*q - d = 0, 2*f + 8*q = 3*q - 7 for f.
4
Let d(y) = -y**3 + 3*y**2 + 1. Let b be d(3). Let w be (1 - 1) + -7 + b. Let f be (-26)/w - 4/12. Solve 0 = 5*j + f*c - 35, 5*j = 2*c - 0 + 5 for j.
3
Let d(s) = 6*s - 23. Let i be d(4). Solve -i + 3 = -2*y, -4*k - 3*y = 3 for k.
0
Let t(i) = i**3 + 8*i**2 - 11*i - 14. Let v = -51 + 42. Let j be t(v). Solve 4*b + 9*a - 4 = 4*a, 0 = 4*b + j*a for b.
-4
Suppose -4*s = -0*s - 12. Solve 2*q = 3*v - 16, 2*q + 4*v = -5 + s for q.
-5
Let a(v) = 5*v**2 + v - 4 + 6*v**3 - 5*v**3 + 13*v - 2*v**3. Let q be a(7). Let n = 7 + q. Solve 3*h + 0*h + 12 = n*u, -5 = -5*u for h.
-3
Suppose 19*u = 14*u + 2*o + 19, 4*o = -4*u + 4. Solve 4*c = 2*f - 16, u*c + 4 = 7*c + 3*f for c.
-2
Let b be 2/((-20)/(-26)) + (-12)/20. Solve -2*j + b*x = 4, -5*x + 5 = -j - 3*x for j.
1
Suppose 38 = 9*t - 133. Solve 0 = k + 3*m + t, -4*k - 2*m + 3*m = 11 for k.
-4
Suppose 5*i = -9 - 26. Let j be (i + 8)/((-1)/(-4)). Solve 4*b + 3*k - 11 = j*k, -2*k = 3*b - 22 for b.
4
Suppose -3*n + 7 = -8. Let r be (-249)/27 + 12/54. Let v be -2 + (-12)/r + 62/3. Solve b = n*o + v, 0 = o + b - 2*b for o.
-5
Let s = 149 + -34. Suppose -4*l + 77 = -s. Suppose 2*j - l = -4*b, -2*j + 5*b = -22 - 8. Solve h = -o + 5, -h - j = -6*h for o.
1
Let f(l) = l**3 + 16*l**2 + 15*l + 7. Let o be f(-15). Let w = -50 - -53. Solve -p = w*h - 7, -3*h + 2*p + 20 = o for h.
3
Let h(x) = -13*x + 441. Let m be h(33). Solve 0 = 2*i + 4*u - 20, -2*i = 3*u - 5 - m for i.
4
Suppose 28*q + 16 = 36*q. Let j be (-6 + 0)*q/(-3). Solve -j*n + 5*w = -10, 0 = -2*n + 3*w + 2*w for n.
5
Suppose -15*y + 6 = -13*y. Suppose -2*o + 23 = -3*f, -9 = -0*f + y*f. Solve b + o = 3*i + 3, 3*b + i = 8 for b.
2
Suppose 0 = 34*q - 12*q - 286. Let h(j) = j**2 + 7*j + 8. Let o be h(-6). Let b = -2 - -6. Solve -v + o*g = -q, 4*g = b*v + v - 35 for v.
3
Let i = 3 - -50. Suppose 5*l - 7 = i. Suppose -2*t - 4 + 14 = 4. Solve -2*c - 5*j = -4*j + 4, 4*c + t*j + l = 0 for c.
0
Let n(j) = -2*j**2 + 3*j + 2. Let g be n(2). Suppo