w be i(4). Suppose 0*p + w = -p. Let o be 6/(-3)*p/2. Solve a = -o*a for a.
0
Let x(s) be the first derivative of s**3/3 - 7*s**2/2 - 13*s + 3. Let z be x(9). Suppose 0 = -m + z*m - 80. Solve 5*g + m = 5 for g.
-3
Let v = -2017 + 2057. Solve h - 37 = -v for h.
-3
Let a be (2 - -14)/((-10)/(-5)). Suppose 0 = 2*u + 4*t - 12, -a*u + 3*u - 3*t + 16 = 0. Solve 0 = -2*q - 6 - u for q.
-4
Let w be (-4)/(-7) - (-342)/63. Suppose -12 = 2*g - w*g. Suppose z = 4*a - 22 + 5, 0 = 5*a - 25. Solve -9 - z = g*x for x.
-4
Let m = 20 - 24. Let h = m - 23. Let k be (-50)/(-18) + (-6)/h. Solve 0 = -s + k - 7 for s.
-4
Suppose -9*t = 14*t - 21*t. Solve t = -5*h + 8*h - 3 for h.
1
Let a be (6/4)/(1/2). Let j(v) = -v**2 + 49*v - 178. Let y be j(45). Solve -y = a*r - r for r.
-1
Suppose 2 = 2*u - 4*y, -1 = 7*y - 8*y. Solve 0 = -u*c - 6*c for c.
0
Suppose -d + 5*s - 125 = 4*d, -d = -5*s + 9. Let u = d + 54. Let m = -257 - -259. Solve -7*y = -m*y - u for y.
5
Let w(d) = d**3 + 8*d**2 - 13*d - 15. Let m be w(-8). Let p = 91 - m. Solve 5 = -p*r - 1 for r.
-3
Suppose 0 = 3*f + 3*o - 42, -5 + 3 = -2*o. Suppose f - 33 = -4*j. Solve -2*g + j*g + 15 = 0 for g.
-5
Let t be 49/14 - 15/(-30). Let f(x) = 5*x - 3*x - x + 2. Let c be f(-2). Solve -d - 3*d - t = c for d.
-1
Suppose -2*s + 20 = 5*x + s, 3*x + 3*s = 12. Solve -19 = -x*j + 1 for j.
5
Let s(j) = -j**3 + 5*j**2 + j - 1. Suppose 6*u = 3*u - 4*n + 5, u + 3*n = 0. Let h be (-3)/u + 2 + 4. Let l be s(h). Solve l*y - 2*y + 2 = 0 for y.
-1
Let h(q) = q**3 + q. Let y be h(1). Let p(i) = i**2 - i - 2. Let m be p(y). Solve -5*l + l = m for l.
0
Let k(r) = 70*r + 3 + 0 - 39*r + 62*r. Let m be k(-3). Let p be m/(-14) - (-2)/7. Solve -6*l - p = -l for l.
-4
Let q be 18*(30/9 - 4 - -1). Suppose 3*p - 3 - q = 0. Solve 7*v = p*v + 12 for v.
3
Let u = 2 + 2. Let y(p) = -p**2 - 4. Let x be y(0). Let c be 11 - x*(-1)/(-2). Solve 3*o - c = -u for o.
3
Let l(i) = -1. Let z(m) = m**2 - 11. Let a(q) = 3*l(q) + z(q). Let p be a(7). Solve -15 + p = -5*w for w.
-4
Let x(l) = -53*l**3 - l**2 - l. Let k = -13 + 12. Let g be x(k). Let q = g + -37. Solve 5*n + q = n for n.
-4
Suppose -2*f = -4*f + 114. Let o = f + -57. Solve t = -o*t + 2 for t.
2
Let b(y) = 2 + 1 - 1 + y. Let m be b(6). Suppose 7*q - m*q + 4 = 0. Solve f + q = 1 for f.
-3
Let t = -791 - -798. Solve 15*o - t*o = 7*o for o.
0
Suppose 5*c + 15 = 55. Suppose -4*u = u + h - 41, -4*u - 3*h = -24. Let b(v) = v**2 - 11*v + 22. Let o be b(u). Solve o*n - c = -0 for n.
2
Let i be (-4 + -1 + (-1)/(-2))*-2. Let k be (-3)/(-9) + 51/i. Solve 3*l = k*l for l.
0
Let q(u) = -7*u**2 + 15*u + 11. Let l(h) = 13*h**2 - 29*h - 21. Let i(v) = -6*l(v) - 11*q(v). Let z be i(9). Solve 1 = -2*k - z for k.
-3
Suppose -11*k = -4*k - 280. Solve -6*p + 10 = k for p.
-5
Let i be (-4)/14 + 37/7. Let b(w) = -w**2 + 20*w - 17. Let l be b(19). Suppose -4*a - 2*y + 82 = 0, l*a - y = 3*y + 46. Solve -4 = -i*q + a for q.
5
Let n be (-4 - 1) + 1*-2. Let p = n + 10. Suppose -l + 6 = d, d + 5*l + 1238 = 1264. Solve 0 = 4*f - d - p for f.
1
Let o = 1 - -11. Let c be (-4)/o - 46/(-3). Suppose -4*h = -c + 3. Solve -3*g + 15 = h for g.
4
Let x be (-28)/(-70) + 22/(-5). Let m be 4 + x + -2 + 4. Solve -m*w + 1 + 5 = 0 for w.
3
Let p(r) = -r**2 + 4*r + 5. Let k be p(0). Suppose 2*v = -3*n + 4 + 5, -k*v + n = -14. Solve t - 5 = -v for t.
2
Suppose 0 = -2*t - 6*u + 9*u + 29, 0 = -4*t + 5*u + 55. Solve t*p = 5*p + 5 for p.
1
Let v be (3 - 4)/(2*(-3)/30). Let t = -8 - -14. Solve t = 2*r - v*r for r.
-2
Let y be 1*-9 - (-3 - 2). Let g be -3 + 4 + y - -6 - 0. Solve g = 3*o + 6 for o.
-1
Suppose 0 = -5*c - 4*l - 57, 3*c + 42 = 3*l - 8*l. Let f(i) = 2*i**2 + 4*i. Let w be f(c). Let m be (-8)/(-6)*w/28. Solve m*z = 3*z for z.
0
Let y be 33/5 - (-27)/(-45). Solve 6*m - y + 0 = 0 for m.
1
Let a = -281 - -285. Suppose 2*q - 9 - 3 = 0. Solve -q = 6*x - a*x for x.
-3
Suppose 6*s + 170 = s. Let q = s - -37. Solve q*u - 4*u + 1 = 0 for u.
1
Suppose -v = 16*v - 34. Solve -v*t + 4 = -t for t.
4
Suppose -55*j = -9*j - 184. Solve -1 + 21 = -j*l for l.
-5
Let d be ((-20)/35)/((-4)/14). Suppose 2*x = 3*x + d. Let r be (-48)/36*3/x. Solve 0 = 2*v + r*v + 8 for v.
-2
Let a(j) = 0 - j + 0 + 1. Let c be a(1). Suppose -5*y + 5*u = -15, c*y - 21 = -y - 5*u. Solve 3*x - x + y = 0 for x.
-3
Suppose -5*p - 2 - 3 = 0. Let x be (p/3)/(5/30). Let u be 0*x*3/6. Solve 7*r - 3*r = u for r.
0
Suppose -2*g = -1 - 1. Suppose -2*v - g = -7. Solve 4*x + 11 - v = 0 for x.
-2
Let h = -12 + 15. Suppose 0 = -s - 5*a + 20, 0*a - 15 = -h*a. Let b be ((-9)/(-12))/(s/(-20)). Solve -25 = b*y + 2*y for y.
-5
Let o(r) = -13*r + 99. Let y be o(7). Solve -7*l = -y*l + 1 for l.
1
Suppose 2*n + 3*j = 4, -2 + 8 = 3*n - j. Let m = n + -4. Let w be m/7 + 23/7. Solve 4*x = w*x + 3 for x.
3
Let n(t) = 2*t - 2. Let u be n(4). Let y(x) = -x**2 + 8*x - 3. Let m be y(u). Solve 0*v = 3*v + m for v.
-3
Let s(x) = -15*x**2 + x. Let z be s(-1). Let i = 36 + z. Let v(c) = c - 2. Let b be v(5). Solve -b*w = -8*w + i for w.
4
Let z(k) be the third derivative of 1/10*k**5 + 0*k - 2*k**2 + 0 + 1/120*k**6 - 2/3*k**3 - 1/24*k**4. Let u be z(-6). Solve 3*b - 1 = u for b.
1
Let z(r) = r**2 + 4*r - 7. Let p be z(-6). Suppose -10 = -5*k - p*t, -2*t + 2 = 3*k + 2*t. Solve -2 = -v - k for v.
-4
Let c(x) = 4*x**3 + 21*x**2 + 5*x + 2. Let j be c(-5). Solve 0 = -t - j + 4 for t.
2
Suppose 0*a + 3*a = 15. Let b be (-1)/(-12)*2 + 153/54. Suppose 10*o - b*o - 105 = 0. Solve 0*n + o = a*n for n.
3
Let l = 103 + -60. Let t = -38 + l. Let h be (1/(-3))/((-8)/24). Solve 4 = -t*v - h for v.
-1
Let y(s) = -97*s + 559. Let q be y(5). Solve 5*n - q = -64 for n.
2
Let u = -39 - -33. Let t be 4/(-1) - (u + -1). Solve -g = -t*g + 10 for g.
5
Let l be -48*(48/32 + (-22)/12). Solve -u - l = -5*u for u.
4
Suppose -r - 4*x = 2, -5*r + 0 + 14 = -4*x. Suppose -i + 18 = r*i. Suppose i*f = 3*f. Solve d + d - 10 = f for d.
5
Suppose 3*h = -2*h + 20. Suppose 3*t = h*x - 12, 6*t - t - 38 = -3*x. Solve 3 = -3*p - x for p.
-3
Let t be 0 + 15/(5 + -2). Solve t*z = 4*z + 1 for z.
1
Suppose 28*g - 366 - 222 = 0. Solve 14*s = g - 63 for s.
-3
Let j be (-3)/(3 + (-9)/2). Suppose -11 = -j*u - 9. Let w be u + (-2 - (-5 - -1)). Solve o = -0*o - w for o.
-3
Suppose -3*b - 4*m + 36 = -b, -3*b - 2*m + 42 = 0. Suppose -21 = -7*x - 0. Suppose -2*p = -x*p + 8. Solve b = -5*o - p for o.
-4
Let d(x) = 21*x**3 - 3*x**2 + 4*x. Let h be d(1). Solve h - 74 = -13*n for n.
4
Suppose -3*w + 2*r + 0*r = -13, -4*w + 19 = -r. Suppose 0*k + k - w = 0. Solve k*t + 24 = -1 for t.
-5
Suppose 0 = 35*b + 11*b. Solve 51*p - 55*p = b for p.
0
Let j = 242 + -199. Solve -42*t + j*t - 4 = 0 for t.
4
Let f be (-62)/(-10) - (-1)/(-5). Suppose 3*m - 13 - 7 = 2*v, -16 = m + 5*v. Solve -f = -m*l + l for l.
2
Suppose 5*j + 15 = 0, 4*l - 44 = -4*j + 28. Solve -l = 4*g - 9 for g.
-3
Let m be (7/14)/(1/42). Solve -2*p = 5*p + m for p.
-3
Let f = -5 - 1. Let u = f - -16. Solve 3*k + u = k for k.
-5
Let m(j) be the first derivative of 2*j**3/3 + 3*j**2/2 + j - 4. Let k(s) = -s**2 + 3*s + 8. Let f be k(5). Let g be m(f). Solve 0 = l - 4*l - g for l.
-1
Suppose -3*o - a + 11 = 0, 3*o = 3*a - 9 - 0. Suppose 27*h - 743 = -635. Solve 0 = -o*k + h*k + 10 for k.
-5
Let l = -10 - -12. Suppose -l*x - 4*x - 18 = 0. Let h = -1 - x. Solve h*p - 5*p = 12 for p.
-4
Let p be ((-308)/10)/(-2) - 126/315. Solve -p = 5*w - 20 for w.
1
Let k(d) = -4*d - 1. Suppose -w + 4*w = -3. Let v be k(w). Suppose -1 + 7 = 4*r - v*n, -4*n - 7 = -5*r. Solve 0 = r*m - 4 - 5 for m.
3
Suppose -2*t = 6*u - u - 20, 3*u = 12. Solve 8 = -t*p + 4*p for p.
2
Suppose -93 = 60*w - 453. Let g(p) = -p**2 - 13*p - 14. Let u be g(-10). Solve w*o = 2*o - u for o.
-4
Suppose -5 = -5*f + 4*g - 2, 3*g = 5*f - 6. Suppose f*i - 28 = -4*i. Solve 2*p - i*p + 4 = 0 for p.
2
Suppose -46*l + 48*l = 2*a + 28, l - 10 = 3*a. Solve l = 20*n - 24 for n.
2
Suppose -3*r + 1 = -14. Suppose r*q - q = 12. Suppose 3*g - 14 = 2*o, -3*g - 3*o + 44 = 5. Solve 0 = q*n - g*n for n.
0
Let s = 1226 - 1193. Solve 6 = 13*f - s for f.
3
Let m(r) = -4*r**3 + 5*r**2 + 4*r + 3. Let i be m(-3). Suppose b + i = 5*b. Suppose 4*z = -t - 3*t + b, -17 = -3*z - t. Solve 14 + 2 = -z*w for w.
-4
Suppose -6*c - 136 + 460 = 0. Solve -c*v - 15 = -51*v for v.
-5
Suppose r - c - 