*p = 72*p - h for p.
1
Let l = 13 - 7. Suppose n + 20 = 5*n. Suppose 6*z - n*z - 2 = 0. Solve 4*k = z*k - l for k.
-3
Suppose b - 14 = 2*a - 0, -3*a + 6 = 3*b. Solve 4*i - 18 + b = 0 for i.
3
Suppose -5*b + 5*g - 20 = -0*g, 16 = -2*b + 4*g. Solve b = -n - 81 + 82 for n.
1
Suppose -14*f + 20*f = -19*f. Let k = -4 + 9. Solve -k*z - 12 + 2 = f for z.
-2
Suppose 0*f = -5*f + 25. Suppose 8 = 4*a - 0. Suppose -f*t = -4*x - 21, 18 = a*t - 0*t - 4*x. Solve -c + t = 4 for c.
-3
Let c(p) = -p**2 - 17*p - 64. Let s be c(-11). Solve -3*g = s*g for g.
0
Suppose 3*b + 4*j = 16, 8 = 7*b - 2*b + 2*j. Suppose -4*x + b*x + 16 = 0. Solve -5*q + q = -x for q.
1
Suppose 5*a - 4*a = j - 4, 16 = 4*j + 3*a. Solve -16 = -j*b - 0 for b.
4
Suppose 16*b - 125 = -13. Solve y - 30 = b*y for y.
-5
Let s be (-12)/8 - (-111)/6. Let w = -14 + s. Let t be (w + 1)/4 + -1. Solve t = 3*l - l - 4 for l.
2
Let u(l) = l**2 - l - 1. Let j be u(-3). Let w = 11 - j. Solve -2*y - 2*y + 12 = w for y.
3
Let x be ((-24)/7)/((-4)/14) - 4. Let a be (-16)/(-6)*(78/x - 6). Solve a + 2 = 3*d for d.
4
Let j(q) be the third derivative of q**5/20 + q**4/6 - q**3/6 + 8*q**2. Let x be j(-2). Let f be x/(-6)*(2 - 2). Solve f = 5*p - 23 - 2 for p.
5
Let f be ((-12)/9)/(-1)*51/34. Solve 0 = -3*q + f + 4 for q.
2
Let f(t) = -4*t**3 + 2*t + 1. Let z be f(-1). Suppose -4*u + 6 = 3*y - 24, -2*y + 20 = -3*u. Let x = -37 + 42. Solve x*o + y = z*o for o.
-5
Suppose x - 2*z = 26, 3*z = -4*x - z + 128. Let j be x/18 - 3/(-9). Solve 2*u = j + 4 for u.
3
Suppose -77 = 7*r - 490. Let g = -57 + r. Solve 0 = q - g*q for q.
0
Let b(a) = 3*a + 96. Let i be b(-32). Let w be 6/(-15)*-10 + i. Solve -2 = m - w for m.
2
Suppose -4*i = 5*c - 5 - 3, 2*c - 5*i + 10 = 0. Let j be (-12)/8*32/(-6). Suppose 0 = -c*f - 4*f + j. Solve f*q = -13 + 5 for q.
-4
Let w = 27 - -1. Suppose 144 = -9*g + g. Let t = g + w. Solve q - t = -q for q.
5
Suppose 4*c - 28 = 3*x, 21 = 3*c - 7*x + 10*x. Solve -c = 3*b + 5 for b.
-4
Suppose 6*z = -44 + 146. Let n = z + -13. Solve n*g - 2*g = 2 for g.
1
Let a = 293 - 289. Solve a*j - 8 - 4 = 0 for j.
3
Suppose a = 4 - 7. Let h be (-7 - -6) + (-1 - a) + 0. Solve 5*m = h - 21 for m.
-4
Let z be (-5)/2 - (20/8 + -12). Solve z*i - 5*i = -10*i for i.
0
Let d(t) = -3*t - 11. Let o be d(-4). Solve 0 = 3*c + o + 14 for c.
-5
Let u(h) = 3*h - 3. Let k be u(7). Suppose -o + 15 = -4*o, x = -3*o - 45. Let g be (-23)/(-5) + k/x. Solve 0 = -g*v - 0*v + 4 for v.
1
Let r be (3/6 - 1)*(-69 + 43). Solve -2*b + 3 = r for b.
-5
Let j = 2 + 0. Suppose 2*f + 73 - 79 = 0. Suppose j*o = -d, -f*d = -2*d - o. Solve -b + 4 = -d for b.
4
Suppose 4*c + 5*z - 3*z = 26, -2*c + 2*z = -4. Let q be 0 + (-6)/(-3) + -5. Let b be ((-1)/q)/(c/15). Solve 3*t - 4 = -b for t.
1
Let f be (-1)/(-2)*-2 - -1. Suppose -3*s + s = 0. Solve s = -n + 3 - f for n.
3
Let h be ((-8)/(-14))/(10/35). Solve -3*k + h = -k for k.
1
Let z(w) = 28*w - 140. Let f be z(7). Solve f - 52 = x for x.
4
Let n(b) = b**3 - 5*b**2 - 8*b - 12. Let l be n(7). Suppose -6*f = -0*f - l. Solve -f*u + 3*u + 8 = 0 for u.
4
Let c = -390 - -393. Solve 9*r = c*r - 24 for r.
-4
Suppose -22*f + 46 = -20. Solve -f*s + 2 = 5 for s.
-1
Suppose i - 252 = -4*z, -2*i + 42 = -2*z - 442. Solve 3*r + 235 = i for r.
3
Suppose -v + 3 + 15 = 5*k, 0 = -3*k + 9. Suppose -5 = 4*o - 85. Solve v*p + 2*p = o for p.
4
Let k = -314 + 328. Solve 8*u = -6*u - k for u.
-1
Suppose 3*k = -k + 12. Solve -k*q + 0 = 9 for q.
-3
Let t be 1*-2 + 6 - 2. Let b = 17 - 23. Let m be b/((-108)/(-40) + -3). Solve -3*l - t*l - m = 0 for l.
-4
Suppose a - 26 = i, -7*a + 3*a - 3*i = -97. Solve 15 = 22*o - a*o for o.
-5
Suppose -10 = -2*n, 3*n + 2*n = 3*t - 2. Let l(w) = w**3 - 9*w**2 + w - 11. Let x be l(t). Let g be x/8 - (-168)/32. Solve g*p - 9 = 6 for p.
3
Suppose -3*d + 16 = -i, -d - 3*i - 2*i + 16 = 0. Let w = -102 - -112. Solve -u + w = -d*u for u.
-2
Let k(x) be the first derivative of -x**4/2 + 3*x**3 - x**2 - 8*x - 19. Let h be k(4). Solve -12 = 4*t - h for t.
-3
Let s = 48 + -44. Let o(t) be the second derivative of t**5/5 + t**3/6 + 2*t. Let i be o(1). Solve -s - i = -3*y for y.
3
Let s(m) = -5*m**3 - 3*m**2 - 2*m. Suppose 0*t + 2 = -2*t. Let n be s(t). Solve -n*a - 3 = -19 for a.
4
Let o be 3 - (4 + (-6)/2). Suppose -10 = -3*g - o*g. Solve 0 = -g*j + 5*j + 15 for j.
-5
Let o = 76 - 37. Let q be (-13)/o*(-1 - -1). Suppose -6 = 3*u + 5*y + 4, 5*y = -2*u - 10. Solve -f + u*f = q for f.
0
Let i = -132 - -136. Suppose -2*l + 5*l + 3*x - 18 = 0, 0 = 2*l - x. Solve l*k - 14 = -i for k.
5
Let f be ((144/(-20))/4)/((-9)/15). Suppose 0*l - l = 0. Suppose l = -a + 6*a - 15. Solve -f*c - 15 = -a for c.
-4
Let s(o) = 3*o - 4. Let j be s(3). Let a(v) = -v**2 + 21*v + 27. Let h be a(22). Suppose -3*p = 3*d - 6*d + 9, 4*d = -h*p - 6. Solve j - d = -2*z for z.
-2
Let q = 25 + -56. Suppose -2*k = 0, 0 = -4*u - 7*k + 2*k - 124. Let d = q - u. Solve -r + 4 = -d for r.
4
Suppose -d = -8*d. Let k = -23 + 41. Suppose 0 = 3*y - 3*l - k, 5*l = 3 + 7. Solve 4*b - y + 0 = d for b.
2
Let w = -24 + 27. Suppose 0 = 4*i - w*y - y + 20, 0 = -2*i - 2*y - 26. Let b = 19 + i. Solve -u - u = b for u.
-5
Let g be 1/((0 + -3)/6). Let n be ((-1)/8*2)/(g/16). Solve -2*h + 2 = -n for h.
2
Suppose -5*t + 3 = 2*d, -8 + 2 = -3*t + 3*d. Suppose 4*y - 9 + 1 = 0. Solve 3*j + t = y*j for j.
-1
Let x(o) = 2*o**2 + o + 2. Let f = -9 + 8. Let k be x(f). Solve -2*u - k*u = 5 for u.
-1
Let z(x) = x**2 - 25*x - 111. Let g be z(30). Solve 0 = g*j - 36*j + 3 for j.
-1
Let p be 11 + 8/(-10)*345/(-46). Solve 6*s = p*s - 11 for s.
1
Suppose -6*b + b = 0. Suppose -5*m + 9*m - 20 = b. Suppose -2*p - m*i + 68 = -2*i, p - 4*i - 56 = 0. Solve -5*n - p + 15 = 0 for n.
-5
Suppose 2*n + 9 = -5*z + 28, 5*z - 25 = -5*n. Suppose r = -n*r. Suppose u = 3*u - 10. Solve r = -4*w - w - u for w.
-1
Suppose -36*u + 4 = -34*u. Suppose -5*k - 2*b - u*b = -6, 9 = 2*k - 5*b. Solve 0*t = 2*t - k for t.
1
Let n = 509 - 491. Solve -n*d = -19*d - 4 for d.
-4
Let n(i) = -2*i + 7. Let h(o) = -o + 4. Let z(r) = 5*h(r) - 2*n(r). Suppose -217*d + 214*d + 18 = 0. Let s be z(d). Solve -y - y = s for y.
0
Let g(t) = -19*t + 21*t + 0 + 2 - 3*t. Let q = -15 + 11. Let o be g(q). Solve -w + o = w for w.
3
Suppose 54*v = -940 + 6880. Solve v*o + 12 = 106*o for o.
-3
Let w(b) = 2*b + 8. Let y be w(-14). Let g = 23 + y. Suppose 5*n - 7 = g. Solve 4*v = 6*v - n for v.
1
Let n = 380 - 378. Solve d = -n*d + 15 for d.
5
Let n be -6 + (-336)/(-54) - 34/(-9). Solve o = n*o for o.
0
Let y(d) = 4*d - 80. Let f be y(20). Solve x - 3 + f = 0 for x.
3
Suppose 6*y - 5*y + 16 = 0. Let s = y - -14. Let z = 1 - s. Solve z*a + 4 = -a for a.
-1
Suppose 4*y - 35 = 5*z, -7*y = -2*y. Let i = -7 - z. Suppose -n - n = i. Solve n*x = 4*x for x.
0
Let u be -16 + 13 + (11 - 8). Solve u = -n - 11*n - 5*n for n.
0
Let n(i) = -i**2 + 5*i + 42. Let b be n(-4). Solve -4*s - 14 + b = 0 for s.
-2
Let i(h) = -2*h - 18. Let s = 84 - 94. Let j be i(s). Solve 5*p + 7 - j = 0 for p.
-1
Let l be 2*((-10)/(-4) + -1). Let m be l/12 - (-42)/(-8). Let b(v) = -3*v - 7. Let u be b(m). Solve y = -y + u for y.
4
Suppose -2*a + 18 = -8*a. Let p(w) = w**2 + 4*w + 4. Let i be p(a). Let c be (-39)/13*i/(-3). Solve c = -z - 3 for z.
-4
Let l be 2/(-11) - (-72)/33. Suppose l - 8 = -3*b. Suppose -10 = 4*m - 5*c, -b*m + c - 2 = -0. Solve -2*w + 5 + 5 = m for w.
5
Suppose 0 = 5*w - 2*m + 8, 2*w - 6 = -5*m + 14. Suppose w*j - 2*j = 5*z - 6, 2*j + 6 = z. Solve -z + 4 = -b for b.
-2
Let o = -2107 - -2115. Solve 34*w - o = 26*w for w.
1
Let s be (-21)/(105/40) - -8. Solve s = -6*u + 11*u - 25 for u.
5
Let x = 2 + -33. Let n = x - -45. Solve n = 5*i - 1 for i.
3
Let j(c) = 2*c. Let m be j(1). Suppose -g - 5*q - 6 + 1 = 0, 3*q = -3. Suppose g = 4*x - 8*x - m*i - 10, -i = 5. Solve x = 4*l - 12 - 8 for l.
5
Let r(g) be the first derivative of 9*g**2/2 + 9*g - 5. Let k be r(4). Suppose 2*x - 5*x + k = 0. Solve -2*q = -7*q - x for q.
-3
Suppose 0 = -5*o + 5*a + 81 - 11, 5 = 5*a. Let y = o + -13. Suppose 2*j = 3*q - 4, 0 = -q - 2*j + y - 6. Solve 0*u - 3*u = q for u.
0
Let y(j) be the first derivative of -j**3/3 - 5*j**2 - 21*j + 24. Let b be y(-4). Solve 0*w = -b*w + 12 for w.
4
Suppose -81 = 9*d - 144. Solve -d = -o - 2 for o.
5
Let m = 15 + 1. Suppose 0 = 4*d + 31 +