-4 + p for a.
1
Let t = 49 - 31. Let x = -17 + t. Solve x - 2 = w for w.
-1
Let y(z) = -21*z - 172. Let c be y(-10). Solve 5*w + c - 43 = 0 for w.
1
Let r(x) = -x**3 + 3*x**2 + 2*x + 1. Let m be r(-2). Suppose 0 = -3*k - 5*n + 37, -2*n + 3 = -2*k + m. Solve 0 = -2*z + 1 - k for z.
-4
Let m(v) = v**3 - 20*v**2 - 17*v + 7. Let j be m(21). Solve -96*p - 10 = -j*p for p.
-2
Suppose -59*y + 49*y + 40 = 0. Solve -y = -2*j - 2*j for j.
1
Suppose 0 = r - 3*r + 4. Suppose 14 = -2*f + 5*w, -4*w + 6 = r*f - 16. Solve 1 = 2*k - f*k for k.
-1
Let g be (2 - -2) + ((-35)/7 - -29). Solve -5*z - 8 = -g for z.
4
Suppose 4*d = -12, 0 = 5*r - 5*d - 22 - 33. Solve -t - 6 = -r for t.
2
Let z(s) = s - 3. Let q be z(11). Solve -k - q = 3*k for k.
-2
Let x be -7 + (-2 - -4) - (-1 - 39). Solve 28*b - 21*b - x = 0 for b.
5
Let v be (-21)/1*15/(45/(-2)). Suppose -v*n + 39 = -n. Solve n*p = 5*p + 4 for p.
-2
Suppose -19 + 10 = -3*j. Suppose -33 = -3*i + 4*o - j*o, 12 = 2*i - 4*o. Solve -5*w + i = -8*w for w.
-4
Let j be (-10 + 6 - -6) + -2. Solve j = -2*m + 7*m - 15 for m.
3
Let y = -21 + 18. Let b be (-8)/12*2*y. Suppose -b*s = 16, -3*z - 2*z - 2*s + 67 = 0. Solve 2*x + z = -x for x.
-5
Suppose l = 2*l. Suppose l = 2*s - 4*f, f = -4*s - 2*f + 11. Let o = -6 - -8. Solve -s - o = 2*x for x.
-2
Let i(f) = -5*f**3 - f**2 - 5*f - 5. Let y be i(-1). Solve 3*h = y*h - 5 for h.
5
Let m(y) = 6*y - 2*y - 2*y. Suppose -423*s = -420*s - 3. Let n be m(s). Solve b + 3 = n for b.
-1
Let x(a) = -a**3 - 3*a**2 + 3*a - 2. Let w be x(-4). Solve -w*b = -b for b.
0
Suppose w + u + 15 = 0, -6*w - 61 = -2*w + 5*u. Let o = w - -6. Let q(v) = -3*v - 12. Let p be q(o). Solve -g + p = 3*g for g.
3
Suppose 0 = -5*d + 2*d + 9. Suppose -p + 12 = 2*y, -y - d*y + 12 = 0. Suppose 0 = -c + 2*l - 10, -p = 4*c - 4*l + 14. Solve -15 = -c*x + 5*x for x.
-3
Suppose 5*v + 2*j + 193 + 150 = 0, -4*j = 4*v + 272. Let h = v - -69. Solve h = -2*d - 5 - 3 for d.
-4
Suppose 2*g + 150 = -g. Let a = -47 - g. Solve q = a*q for q.
0
Let p = -9 + 2. Let v = 27 - p. Solve -5*t - v = -9 for t.
-5
Suppose 5*q - 19 = 6. Suppose 30 = q*j + j. Suppose 5*n - 6 = 4. Solve j = -n*s + 3 for s.
-1
Suppose -3*d + 10 = -o, -5*d + 0*d = -5*o - 10. Let v be (36/(-15))/((-6)/20). Suppose -8*m + 4*m + v = 0, -5*s - 5*m + 110 = 0. Solve -o*h + 6*h = -s for h.
-5
Suppose -168*p - 165 = -201*p. Solve -2*a = -p*a for a.
0
Let y(q) = q**2 - 4*q + 4. Let l be y(4). Let v be -9 + 4 + (15 - 0)/3. Solve l*h - 6*h - 10 = v for h.
-5
Let y be ((-6)/3)/((-4)/(-12)). Let w be 2/y - 610/(-30). Let r = w - 20. Solve r = 3*t - 7*t + 8 for t.
2
Suppose -8*h = -75 + 3. Solve h*b + 1 = 10 for b.
1
Let c = 184 + -169. Solve c = 2*a - 5*a for a.
-5
Suppose 0 = -3*a + 2*y + 7, y = -4*y + 5. Suppose 5*u - 3*u = a*u. Solve -i - i = u for i.
0
Suppose 0 = 2*l - 12. Suppose -l*j + j = 0. Solve -r + 3*r = j for r.
0
Let l be (-2)/2 - (0 + -1). Let z be (-72 + (3 - 0))/(-3). Let m = z + -14. Solve 3*i = -l*i + m for i.
3
Let z(r) = -r**3 - 8*r**2 - 13*r. Let n be z(-6). Let t be 0 - (-5)/(10/n). Let y be 8*(4 - 9/t). Solve g + g - y = 0 for g.
4
Let a be (2 - -7)*(-1 + 2). Solve -11*n = -a*n - 4 for n.
2
Let x = 810 + -806. Solve -2*b - x = -b for b.
-4
Let k(x) = x**3 + 9*x**2 + 8*x + 4. Let n be k(-8). Suppose -13 = -3*f - n. Solve -f*w + 4 = -7*w for w.
-1
Let v(l) = l**3 - 22*l**2 + 23*l - 23. Let t be v(21). Suppose -2*g = 3 - t. Solve 3*k = g*k + 10 for k.
-2
Let p(d) = d - 11. Let x be (-2)/(1*(-1 + 3)). Let a be (x - -12)*(9 + -8). Let m be p(a). Solve -5*l + 10 + 15 = m for l.
5
Let d = -85 + 92. Let b be (d + 25/(-5))*2. Solve 0 = -3*w + b*w + 3 for w.
-3
Let w be ((-210)/(-12))/(-7)*-2. Solve w*q + 0 = -20 for q.
-4
Let g(r) = 3*r - 52. Let u be g(19). Solve 24 = z + u*z for z.
4
Suppose -2*c - 1 + 5 = 0. Let t be (0 - (3 - 2))/(8/(-112)). Suppose -c*o - 8 = -t. Solve w = -o*w for w.
0
Let b be -3*1 - 112/(-14). Let f = -22 + b. Let s = -15 - f. Solve s*c = -3*c + 20 for c.
4
Let i(s) = s**2 - s - 21. Suppose -4 = -5*d - 29. Let m be i(d). Solve m = 3*b + 15 for b.
-2
Let g(h) = -h + 1. Let t be g(-4). Suppose 572 = 67*v + 37*v + 52. Solve -t*d = -0*d - v for d.
1
Suppose 0*u = u - 4*w - 17, 3*w = 2*u - 19. Suppose 0 = -u*r + 9*r. Let n = r - -5. Solve -z = -0 - n for z.
5
Let d be 2/(-1 - 24/(-22)). Let j = -20 + d. Solve j*u = u for u.
0
Suppose 0 = -4*v + 2*t - 3*t + 67, 4*v - 87 = 3*t. Solve -8 = 5*q - v for q.
2
Let u(z) = z**3 + 18*z**2 - 42*z - 34. Let i be u(-20). Solve 0 = i*y - y + 20 for y.
-4
Suppose -4 = -3*n - t, 5 = -5*n - 2*t - 2*t. Suppose -11*z + z + 200 = 0. Solve l = -n*l - z for l.
-5
Suppose -9 = -22*m + 21*m + 2*a, 21 = m + 2*a. Solve -9*r = -4*r + m for r.
-3
Let g(u) be the second derivative of -u**5/20 + u**4/12 + u**3/6 + 3*u**2/2 - 2*u. Let k be g(0). Let m = 11 + -6. Solve -k*x = -m*x + 10 for x.
5
Let x(c) = -7*c**3 + c. Let r be x(1). Suppose -7*g - 70 = -2*g. Let u = r - g. Solve 3*v + v - u = 0 for v.
2
Let y be 57/12 + (-1)/(-4). Suppose -y*k = -9*k. Suppose -2*q = -k*q - 10. Solve -q = -2*j + 5 for j.
5
Let p be (-1)/(4 + 84/(-20)). Solve -p*a = -6*a - 2 for a.
-2
Suppose -66 = -c - 2*c. Let x = -21 + c. Let l = 17 - x. Solve l = 5*m + 6 for m.
2
Let z be (74/6)/(10/30). Solve 5*t = -z + 12 for t.
-5
Let v = 50 + -18. Let m = -29 + v. Solve 0 = w + m + 1 for w.
-4
Let w be -1 + (-78)/(-66) + (-62)/(-22). Suppose 5*g = -4 - 1. Let m = 3 + g. Solve 0 = -m*l + 5*l - w for l.
1
Let w(x) = -x**2 - 23*x - 31. Let a be w(-22). Let m be (-30)/a + 2/(-6). Solve -m*o - 1 = -2*o for o.
-1
Let t(a) be the first derivative of a**3/3 + 10*a**2 - 12*a - 11. Let z be t(-19). Let v = z - -36. Solve n + 0*n + v = 0 for n.
-5
Let x be 2 + -3 + 116 + 3. Let p = -118 + x. Solve p*s + 3*s = 3 for s.
1
Let p(t) be the second derivative of t**5/20 + t**4/6 - t**3/6 + 3*t**2/2 - 18*t. Let x be p(0). Solve f + x*f + 12 = 0 for f.
-3
Suppose 0 = 2*n + 2*k - 10, 2*n = 5*k - 0 + 3. Suppose -n*z + 5*j + 7 = -44, -5*z = -3*j - 80. Let q = -16 + z. Solve q*f + 2*f = -25 for f.
-5
Let n(w) = -14*w - 33 + 5*w**2 + 39*w + 29 - w**3. Let y be n(8). Solve -i - 12 = -y*i for i.
4
Let c = -2761 + 2878. Solve 120 = k + c for k.
3
Let r(g) = -g**3 - 4*g**2 + 8*g + 20. Let u be 17/119 - 36/7. Let a be r(u). Solve a*n = n for n.
0
Suppose 0 = -5*p + 5*z - 90, -p + 7 = 5*z + 1. Let g = p - -54. Suppose -3*j = 2*j - g. Solve m - 5*m = j for m.
-2
Let z(d) = -27*d + 5*d**2 - 4 - 7*d**2 - 2 - 5. Let f be z(-13). Solve -n = -f - 2 for n.
4
Let p = -59 - -59. Suppose -h - h = -p*h. Solve h*j + 5 = -j for j.
-5
Suppose 4*n - 2*f = 42, 11*n - 7 = 10*n - 3*f. Solve -10 = 12*y - n*y for y.
-5
Let s(d) = 7*d + 10. Let t be s(-3). Let x = t - -19. Solve x = -2*f - 0 for f.
-4
Suppose -5*i + 5 + 13 = 4*s, -i + 10 = 4*s. Solve 10 = 4*w - i*w for w.
5
Let a be -3*((-19)/95 - 14/30). Solve -a*p = p for p.
0
Let f be (16/20)/(2/10). Let b = 145 - 147. Let x = f + b. Solve x*q = q for q.
0
Suppose -29*r = -37*r - 264. Let u be (-27)/r + 2 - 14/(-77). Solve c + u = 5 for c.
2
Suppose -15*g = -38*g + 1288. Solve -10*a - g = -16 for a.
-4
Suppose 608*a - 27 = 599*a. Solve 6 + 9 = -a*f for f.
-5
Suppose -5*g - 5*g + 130 = 0. Let l = g - 7. Solve l - 1 = -b for b.
-5
Suppose -7*u = -11*u + 36. Suppose -2*c = -2*k + k - 3, -u = -5*c + 3*k. Solve c*r + r = -4 for r.
-4
Suppose 3 = j - 2*w, -9*j + 11*j = -3*w + 20. Let u = -3 - -8. Suppose -10 = -5*h + u. Solve j = h*t + 16 for t.
-3
Suppose k - 14 + 11 = 0. Solve 0 = -5*y - k - 12 for y.
-3
Suppose -3*f + 7 = 4*f. Let d be ((-12)/(-8))/(f/2). Solve -2*k + d - 11 = 0 for k.
-4
Suppose 0 = -4*k + k + 9. Let q be (1*(k + -2))/1. Let r be q/(-3)*0*-1. Solve -2*b - 10 = -r for b.
-5
Let v be -8 + (1 - -1) + 1. Let w(a) = a**2 + 3*a - 7. Let m be w(v). Suppose -m*k = 2*k - 20, -4*u + 3*k = -68. Solve h - u = -3*h for h.
5
Suppose -19*l + 70 = -44. Suppose -3*r - 12 = r + h, -h + 6 = -2*r. Let q = r + 23. Solve l*u = u + q for u.
4
Suppose 2 = -5*j + 3*o + 5, 5*o - 20 = 0. Solve 0 = -r - j + 1 for r.
-2
Suppose -6*u + u - u = 0. Suppose 0 = k + 3*k - i - 8, 3*k + i - 6 = u. Solve -n + k = n for n.
1
Suppose -o - 2*t = 1, -4*t = -4*o + 7 + 37. Let u be (4 - (5 + -3)) + 60. Let c = u - 60. Solve c*z + o = -3 for z.
-5
Let d = -538 + 559. Sol