*k - 7 = p for p.
-3
Let a(w) = -5 - 5*w + w**3 + 14 - 7*w + 12*w**2 + 9. Let b be a(-13). Solve 5*p = -b*y + y + 8, 5*y - 10 = 3*p for y.
2
Let y be (8/3)/(-4) - 70/(-15). Solve 0 = 5*k + y*f - 15, 0*k = 2*k - 3*f - 6 for k.
3
Let v(i) = i**3 - 2*i - 3. Let o be v(3). Solve -2*l + 0*q = -4*q, o = 5*l - q for l.
4
Let p(v) = -v**2 + 10*v - 5. Let f be p(6). Suppose 5 = 20*c - f*c. Solve -3*d + 1 = -j - 0*d, -2*d + 12 = c*j for j.
2
Suppose -19 = -9*p - 1. Solve -2*t = 4*i - 3 - 7, p*t - 12 = -5*i for t.
1
Let g(z) = -z**2 - 6*z + 2. Let v be g(-5). Suppose 4*p - v = k, -3*k = -2*p - p - 6. Suppose p*n = 7*n - 8. Solve -i + 2 = i, -2*u = -n*i - 6 for u.
4
Let q be -8 - (15/4 + (-4)/(-16)). Let l = 18 + q. Solve -5*z - 2*n + 22 = 0, -6*n + 4*n - l = -2*z for z.
4
Let w = -12 - -16. Let m = 15 - w. Solve -5*v - 1 + m = -5*s, 0 = 5*s + v + 22 for s.
-4
Suppose 333 = 7*g + 46. Solve g = 3*a - 5*z + 13, -2*a = z + 3 for a.
1
Suppose 0 = -6*b + 55 + 17. Solve 3*k - 7*k + b = -2*v, -5*v + 4*k = 12 for v.
0
Let a be (-689)/(-212) + (-1)/4. Let d(z) = 3*z - 2. Let w be d(2). Solve -5*x + w*x = -4*m - 14, m + 9 = a*x for x.
2
Suppose -48*q + 53*q - 110 = 0. Solve -5*r = 3*b - 5, -2*b - 2*b = -r - q for r.
-2
Let x(y) = y**3 + 5*y**2 - 13. Let w be x(-3). Solve -w*z - 3*q = 34, 0 = 3*z + 5*q + 14 + 16 for z.
-5
Suppose -5 = -2*g - c, 0*g - 13 = -4*g + c. Suppose o - g = 1. Solve -5*l - 14 = -0*l + 2*z, o*z = -3*l - 14 for l.
-2
Suppose 79*b + 9 = 82*b. Suppose 2*y = -u + 11, -3*y - y = -3*u + b. Solve u*s = 5*l - 3 - 17, -4*s = -5*l + 18 for l.
2
Let f(h) = -h**2 - 15*h + 36. Let d be f(-17). Solve -16 = -d*v + 2*l - 6*l, 2*v - 18 = -5*l for v.
4
Let p = -704 - -718. Solve 13 = -5*y - s + 3, -3*y + s - p = 0 for y.
-3
Suppose -3*c - 20 = -7*c, 4*q + 3*c = 31. Let d be (5 + -3)/((-4)/6). Let j be d - (-28)/(16/q). Solve -j*a - 2*z + 18 = -0*z, 4*a = -3*z + 23 for a.
2
Let v(w) = 8*w**2 - 4*w + 9. Let y(q) = 7*q**2 - 3*q + 8. Let b(p) = 6*v(p) - 7*y(p). Let s be b(-1). Solve s*j + j = i, 4*j - 2 = 2*i for j.
1
Suppose 3*p + 12 = -x, 16 = -4*p - 4. Solve -4*r = k + x, -3*r - k + 0*k - 3 = 0 for r.
0
Let y = -115 - -118. Suppose -78 = y*a - 117. Solve -3*x - 2*m + 3*m = a, 4*x + 15 = -m for x.
-4
Let q be 4/(-6) - 28/(-6). Let g = -261 - -261. Suppose g = -m - 1 + q. Solve p + 1 = -m*k, p + k + 1 = -0*p for p.
-1
Let u(f) = f + 8. Suppose -j = -6*z + 3*z - 19, 0 = 4*z + 3*j + 21. Let l be u(z). Solve 3*i + a - l*a - 10 = 0, -4*i + 2*a + 12 = 0 for i.
4
Suppose -4*n = 46*x - 51*x - 26, -10 = -2*n + x. Solve 0 = -2*p + 3*y + n, 10 = 5*p - 2*y + 3*y for p.
2
Suppose 3*c = -12, 20 = 8*s - 4*s - 3*c. Solve 2*w - 7*w = -s*l - 25, l = -5*w + 10 for w.
3
Let s be -8 - 26*5/(-10). Solve 3*g - n = -2 + 6, 5*g - s*n - 10 = 0 for g.
1
Suppose -n - 11 = -2*g, -7 = 5*g - 2*n - 34. Solve -g*h = 4*o + 20, 2*o = -0*h + 5*h - 10 for o.
-5
Let r be 16/(-56) + (-44)/(-7). Let p = r - 4. Solve -p*s + 5 = -t, -2*t + 1 + 1 = 0 for s.
3
Suppose -5*f + 17 = -2*j, 5*f = j + 3 + 13. Solve -b + 5*w + 8 = f*w, 2*b - w = 7 for b.
2
Let z = 185 - 183. Solve -z*t - 3*n = 11, t - 1 = -2*n - 7 for t.
-4
Let q be (-9)/36 + 26/8. Suppose 0*x = 2*x - 2*m - 4, -14 = -2*x - q*m. Solve h = 2*y, 0 = -9*h + x*h - 3*y + 13 for h.
2
Let v(b) = b**2 - 13. Let p be v(4). Suppose -p*f = -u - 12, -3*u - u = -4*f + 16. Solve 3*h + f = -c - 7, 3 = 3*c for h.
-4
Let h(o) = -o - 3. Let w be h(-6). Let b(z) = z**2 - 15*z + 40. Let f be b(3). Solve n = -f*v - n + 22, 4*n = w*v + 11 for v.
3
Let a(f) = f**3 + 13. Let b = 6 + -6. Let d be a(b). Let i = d + -10. Solve -4*u - 11 = -i*l - 2, 0 = -4*l + 4*u + 8 for l.
-1
Suppose -4 - 2 = -2*t. Suppose 4*k + k = 3*g + 20, 0 = 5*k + 2*g - 20. Solve -2*z + 4*z + 5 = -t*c, 9 = -5*z - k*c for z.
-1
Let t be 222/78 - (-2 - (-120)/65). Solve t*l = -5*k + 26, -2*k - 7 = -5*l - 5 for l.
2
Let s = 14 - 13. Let y(b) = 6*b - 3. Let c be y(s). Solve -w - 4*n - 5 = -6*w, -3*w + c*n + 3 = 0 for w.
1
Suppose 2*u - 4*u = -10, -5*w + 65 = u. Let s(m) = -m**2 - 10*m. Let q be s(-10). Suppose q*f = 4*f - w. Solve 11*p + 5 = 6*p, -3*p = n + f for n.
0
Let f(r) = -r - 1. Suppose 15 = -3*c + 57. Let k be 4/c - 253/77. Let i be f(k). Solve 3 = m, -5*a - i*m - 3 = -9 for a.
0
Let u = 14 + -9. Let m(v) = v**3 - 6*v**2 + 4*v + 7. Let r be m(u). Solve -x - r*t + 1 = 0, -2*x + 5*t - t = 6 for x.
-1
Let o be (-6)/2 + (5 + 0 - -1). Let v(j) = j**2 - j - 4. Let u be v(o). Solve q - u*d - 2*d = 14, -3*d + 1 = 5*q for q.
2
Let y be 45*(-1)/((-9)/(-3)). Let d = y - -19. Solve -9 = -2*b + 3*i, -d*b + 5*i + 16 = i for b.
3
Let p(u) = 87*u - 606. Let r be p(7). Let s = -11 - -15. Let x be (-10)/(2/s*-1). Solve -x = -4*a, -4*a = -4*h - 1 - r for h.
4
Suppose -7*h = 64 - 99. Solve 5*g - 25 = h*t, 4*t - 10 + 26 = 0 for g.
1
Let w(a) = a**3 - 3*a**2 - 8*a + 26. Let x be w(3). Solve -4*l + 5*m = 20, -4*m + 5*m - 4 = -x*l for l.
0
Suppose 0 = -3*k - 3*k - 108. Let v = k + 25. Solve -3*j + j - v = -3*l, 3*l = 3*j + 6 for j.
1
Let y(d) = d**3 + 9*d**2 + 11*d - 2. Let q be y(-8). Let z = -21 - q. Solve 3 = -4*s - 2*l + z, 3*s - 2*l + 2 = 0 for s.
0
Let g be (0 - ((-21)/(-15) + -3))*5. Let i be 18/g*10*6/45. Solve 0 = 3*c + 3*b + 18, 4*c = i*b - b + 6 for c.
-1
Suppose 44 = 3*p - 4*n + 12, -3*n + 5 = 5*p. Let m be 0 + -6*p/(-8). Solve m*k + k = -3*u + 16, -k + u = -4 for k.
4
Suppose 0 = 4*c + 7*c - 275. Suppose c = 4*q + q. Solve -5*v - 5 = 5*g, -2*v - 3*v = -q for g.
-2
Let g = 241 - 239. Solve 3*l - u + 11 = -2*u, 5*u - 10 = -g*l for l.
-5
Suppose 5*u - 185 = 585. Suppose -6*k - 40 + u = 0. Let x = k + -10. Solve 4*h + x = -3*w, 6*w = w - 4*h - 7 for w.
1
Let l be 96/7 + 4*2/28. Suppose 0 = 3*s + 4*f - 7 - 33, 2*s - 32 = -4*f. Suppose -s = 2*t - l. Solve 0 = -j + u + 1, 0*j + t*u + 7 = j for j.
-2
Let c = -12 + 17. Suppose 0 = -2*y - 4*z + 9 + 15, -3*z = c*y - 32. Let x be (3 - 3)/(y/2). Solve x = n + 5*f - 4*f + 8, 3*f = -n - 14 for n.
-5
Let d be ((-3)/(-2))/(2/(-4) - 0). Let m be 16/6 + 2 - (-2)/d. Solve -a - 4*q = 12, -m*a + q - 14 = -0*a for a.
-4
Suppose o + 17*o + 162 = 0. Let q be ((-4)/(-6))/((-2)/(-36)). Let a be (-4)/q*o + 9. Solve 5*j + 13 + a = -3*t, 0 = -t - 2*j - 10 for t.
0
Let l(d) be the first derivative of d**2 - 10*d + 7. Let a be l(5). Solve 0*j - 3*j + 4*k = 14, j - 4*k + 18 = a for j.
2
Let b be (24 + -3)/(-3) - -10. Solve 6 = -4*l + l, -4 = 2*q + b*l for q.
1
Let j be 15/(-6)*(0 + 18/15). Let x be (-3 + j)*(-8)/12. Solve -3*m + x = 3*t - t, 0 = -t - m + 3 for t.
5
Let h = -4 + 14. Suppose -5*z - 5*d = -h, d = 3*z - 3 - 15. Solve 3*c - z*o = -37, 3 = 3*o - 12 for c.
-4
Suppose -h - 3*o - 1 = 0, -9*o - 52 = -3*h - 7*o. Solve 3*t = -5*q + h, -4*t - 5*q + 2*q + 4 = 0 for t.
-2
Suppose 6*i = 2*i + 8. Suppose 3*v + s = 13, -2*s + i = 2*v - 0*s. Suppose -15 - 9 = -v*u. Solve -5 = 5*g, -5*p - 5 = -u*p + 2*g for p.
-3
Suppose -96 = -5*b - 19*b. Solve -17 = 3*m + s, s + s = -b for m.
-5
Suppose i + 12 = 4*b, -2*b + 0*i + 12 = -2*i. Let l be 0 + (-16)/136 + (-4)/(-34). Suppose l = b*v + 2 - 16. Solve -5*u = a - v, -5*a = -5*u - 0*a + 25 for u.
2
Suppose 198 = 4*t + 2*u, 3*t - u = 2*u + 153. Suppose -10*q - 20 + t = 0. Solve 2*h + 7 = q*w, h + 4*w - 7 = 6*h for h.
1
Suppose 337 = 3*l - 5*c, -3*l + c + 149 = -204. Let d = -96 + l. Solve -n + 5*i = -d, 4*n - 3 = -i + 5 for n.
3
Suppose -3*y - 2*k = -19, -2*y + 3*k = k - 6. Suppose -t = 3 + 12. Let z be ((-6)/(-10))/(-1 - 18/t). Solve -b + 0*o = z*o - y, o + 7 = 4*b for b.
2
Suppose -4*r + m - 40 = -48, -26 = -2*r - 5*m. Let k(x) = x**2 - 4*x - 4. Let u be k(-3). Solve -2*c + 2*g + 5 = u, r*g = 12 for c.
-2
Let c(m) = m**2 + 3*m + 26. Let w be c(0). Let l be -1*12/(-2) - w/26. Solve l*b + n = -5, 2*n = -5*b - n - 15 for b.
0
Let o = -353 - -357. Solve 8 = -2*y - 5*t - 2, o*y - 4 = -4*t for y.
5
Let v = 475 + -468. Solve 0 = -5*s - a + 11, -4*s + 5*a = -5*s + v for s.
2
Let h = -44 + 122. Suppose 5*r = 8*r - h. Solve 0 = z + 4*l, 4*z - 5*l + r = 5 for z.
-4
Let j = 9 + -9. Suppose 6*m + j*m = 12. Solve 3*q - 9 = 4*s, 2*s = m*q + 3*q - 1 for s.
-3
Let q(b) = -b**2 + 29*b + 65. Let t be q(31). Solve -2*n = 2*n - 8, -t*x + 5*n - 13 = 0 for x.
-1
Let o = 29 + -29. Solve 0 = -3*k + 9, o = -3*j + 5*k - 2*k - 12 for j.
-1
Let n = 27 + -23. Suppose u = 3*t 