+ 103 = z for w.
2
Suppose 2*r + 11*r = 819. Let z = r + -43. Solve -z = -6*w + w for w.
4
Suppose -3*z = -8*z. Let q = -229 + 233. Solve 0 = -z*l - q*l for l.
0
Let n = -17 - -17. Suppose n = -4*l + l. Let y be 10*1 + l + -2. Solve -4*c = y + 8 for c.
-4
Let o = -22 + 27. Let y = 3 + 2. Solve -2*x + o = -y for x.
5
Suppose -6*b = -b. Suppose b = -2*x - 2*z + 3 - 5, 3*z - 1 = -5*x. Suppose 3*g = -2*c - 0*c + x, -g - 5*c = -5. Solve g = -3*h - 7 - 5 for h.
-4
Let c = -567 - -706. Solve 0 = c*n - 138*n + 5 for n.
-5
Let d be (2 + -3)/((-1)/(-2)). Let g be (19 - -3) + d + 1. Let y be 72/g + (-3)/7. Solve -1 = 2*p + y for p.
-2
Suppose 3*f = i + 10, 4*i + 24 = -0*i + 4*f. Let v be 8/(-20) + (-2)/(-5). Let l be v/((i + 10)/3). Solve l*u - 4 = u for u.
-4
Let x(p) = -p**3 - 9*p**2 - 2*p - 2. Let u be x(-9). Solve 24*i = 28*i + u for i.
-4
Let k(l) = l**3 + 6*l**2 - 8*l - 3. Let h be k(-7). Suppose -h*s = -8*s + 4. Let f = -1 + 4. Solve -a + s = -f for a.
4
Suppose 3*g = 31 + 89. Let k be g/30*((-21)/(-6) + -2). Solve -k*a + 7*a = 0 for a.
0
Suppose 4*s - 7*s = -2*x - 14, -8 = -4*x. Suppose b = 3*j - s, -5*b = 2*j - 3*j - 26. Let i(r) = 2*r. Let q be i(1). Solve -4*l - q = -b for l.
1
Let a be 168/(-70)*20/(-6). Suppose a*k - 3*k - 40 = 0. Suppose -3*b + 0 + 1 = -m, 5*b + 15 = 5*m. Solve -b*i + k = 2*i for i.
2
Let z = -29 - -32. Solve 15 = -z*b + 6*b for b.
5
Suppose 0*w + 6 = -3*w. Let b(q) = -4*q - 6. Let x be b(w). Solve -8 = x*a - 0*a for a.
-4
Let r(c) = -10*c + 534. Let z be r(51). Solve -k = -7*k - z for k.
-4
Suppose -s - 4*s = 0. Solve s = 10*r - 8 + 18 for r.
-1
Let x(n) = 7*n**3 + 2*n**2 + 3*n + 11. Let k(y) = -6*y**3 - 3*y**2 - 4*y - 12. Let t(z) = -6*k(z) - 5*x(z). Let f be t(-7). Solve -f = -l - 2*l for l.
1
Let x(m) = -m**3 - 21*m**2 + 3*m + 4. Let b be x(-21). Let h = b - -59. Solve h = 7*g - 3*g for g.
0
Suppose -5*l + 15 = 3*a - 1, 0 = a + l - 6. Let u be 54/14 + 1/a. Solve u = 4*f - 0 for f.
1
Suppose -54 = -6*q - 3*q. Suppose 0 = 10*w - q*w. Solve 4*d + w*d = 12 for d.
3
Suppose 2*m = -r - 0*m - 20, r + 4*m + 22 = 0. Suppose 2*z - z = 18. Let c = z + r. Solve -u - u - 10 = c for u.
-5
Suppose -4*j = 2*w - 6, -4*j + 2*w + 241 - 247 = 0. Suppose r = -3*y - 0*y + 12, 5*y - 20 = -r. Solve j*d - 2*d = r for d.
0
Let r = 17 + -14. Let j be (-24)/(-9)*r - 2. Let d = 11 - j. Solve 0 = -x - 0 - d for x.
-5
Suppose 3 = -2*u + 25. Let f(x) = -2*x - 5. Suppose -v - 46 = -42. Let o be f(v). Solve -1 = -o*m + u for m.
4
Let m = 369 + -362. Solve 3 + m = -2*i for i.
-5
Suppose -o + 6 = -2. Let y = -4 + o. Let s(l) = -l**2 - 6*l + 3. Let r be s(-6). Solve r*t + t - y = 0 for t.
1
Let y = 1479 - 1470. Solve 7*h = y*h + 6 for h.
-3
Let j(t) = -11*t**2 - 55*t + 12. Let k be j(-5). Solve 0 = -17*n + k*n for n.
0
Let p = -85 + 104. Solve -1 = 9*g - p for g.
2
Let i(w) = w**3 - 3*w**2 - 3*w + 18. Let m be i(3). Solve 11*l = -m - 2 for l.
-1
Let r(y) = 17*y + 12. Let o be r(0). Solve -2*v - 2*v = o for v.
-3
Let x = -7626 + 7629. Let m be ((-1)/1)/((-3)/9). Solve 0 = -0*o + m*o - x for o.
1
Let w(v) = 10*v**3 + v**2 - 3*v + 3. Suppose -29 = -5*n - 24. Let t be w(n). Solve t = 3*p - 1 for p.
4
Let b be ((-3)/(-3))/((-2)/(-10)). Let f(v) = -v**3 + 4*v**2 + 6*v - 2. Let a be f(b). Suppose 3*j + 2*p - 3 = 0, 0*j = -3*j - 4*p - a. Solve j = i + 2 for i.
1
Let p(g) = 9 + 11*g**3 - 2 - 6*g**2 - g - 3. Let q(a) = -4*a**3 + 2*a**2 - 1. Let x(u) = -3*p(u) - 8*q(u). Let i be x(2). Solve i*r - 6*r = 12 for r.
-3
Suppose 4*d - 2076 = 4*k, -3*d = -d + 4*k - 1056. Let i be (-4)/6 - d/(-54). Let x(y) = -y + 14. Let t be x(12). Solve 5*b = t*b + i for b.
3
Let t(v) = v**3 + 7*v**2 - 11*v - 10. Let q be t(-4). Solve 25 = -77*i + q*i for i.
5
Let v = -72 + 75. Solve -2*l = v*l for l.
0
Suppose -85*w + 67*w + 324 = 0. Solve -w*o + 51 + 21 = 0 for o.
4
Let g(l) = -l + 3. Let c be g(-4). Suppose -c*f + 52 = 6*f. Solve -11 = 5*r + f for r.
-3
Let b be 24*1/4*-2. Let q(a) = -12*a + 76. Let o be q(7). Let w = o - b. Solve 2 = -w*v + 6 for v.
1
Suppose -69 = -7*z + 78. Solve z*j - 17 = 46 for j.
3
Suppose 0 = -2*l - 1 + 21. Let s be (10/(-4))/((-3)/(-6)). Let y be (-8 - -5)/(3/s). Solve -25 = -y*d - l for d.
3
Let q be (-6)/(-8) + (-6 - (-145)/20). Suppose 3*d = 2*o + 27, 3*o + q = -d - 0. Solve 16 = -3*m + d*m for m.
4
Let u be (-29)/(-4) + 6/8. Suppose -z - 3*z = -4*q - u, 8 = 5*q + 4*z. Solve q = -0*i - i for i.
0
Let u = -37 + 54. Let g = u + -3. Solve 0 = -3*l + g + 1 for l.
5
Let t(f) = 2*f**2 - 68*f + 70. Let v be t(33). Solve 2*w = -v*w for w.
0
Let y be (5/(-2))/(2/4). Suppose -3*b = -93 - 33. Let d be (y + 0)*b/(-35). Solve 6*h - d = 3*h for h.
2
Let p(c) = -c**2 - 22*c + 8. Let w be p(-9). Suppose -3*l + 73 = -w. Suppose 0 = x - j - 22, 5*x - l = -3*j + 28. Solve u = 5*u - x for u.
5
Suppose -33 = -5*i - 3*o, 29*i + 17 = 32*i - o. Solve -i*w + 20 = -11*w for w.
-4
Let s be (-76)/(-12) + (-8)/6. Suppose 0 = p + s*d - 29, -10*p + 5*p + 3*d = -5. Solve -p = -2*x + 3*x for x.
-4
Suppose -25*t + 3 = -47. Solve f = t + 1 for f.
3
Suppose -4*q + 5*f = -19, 25*q - 24*q = -3*f + 9. Solve -4*d - q = 2*d for d.
-1
Let g(h) = h**3 + 13*h**2 + 37*h - 9. Let d be g(-5). Solve -2*j + d = -4 for j.
5
Suppose -4 = -g - 8, -3*g - 17 = w. Let x be (-3)/(-1)*8/(-6). Let k be 8 + w + x/(-2). Solve c + k - 1 = 0 for c.
-4
Let i(t) be the third derivative of t**4/24 - 11*t**2. Let j be i(2). Solve -c = j*c for c.
0
Let c(s) be the first derivative of s**3/3 + 13*s**2/2 + 3*s - 4. Let p be c(-13). Solve p*g - 4 = -7 for g.
-1
Suppose 3*i + 7 = -5*t + 8, 6 = 4*i + 2*t. Solve i*a = -60 + 56 for a.
-2
Suppose -35*v + 65*v = 13710. Solve -v*m = -459*m + 4 for m.
2
Let f be (-150)/(-100) + 11/2. Solve -4*x = -27 + f for x.
5
Let a(c) = c**2 - 23*c + 109. Let y be a(7). Let r = -3 - -6. Let p be r/(6*y/(-66)). Solve 3*q = -p - 4 for q.
-5
Let g be 5/15*(-1 + 13). Solve 3*d = g*d for d.
0
Suppose d = -10*d + 22. Solve -8 = -0*o + d*o for o.
-4
Let w be (1 + 4 - 6)*-7. Let m = -3 + 5. Solve m*f - w*f = 5 for f.
-1
Let m = 33 + -26. Let l(v) = 2*v - 8. Let a be l(m). Suppose -a*t = -t. Solve 6 = -t*z - 3*z for z.
-2
Suppose 0 = -5*z + 3*i - 34, -4*z + 5*i - 10 = -5*z. Let r(d) = -d**3 - 4*d**2 + 3*d - 6. Let o be r(z). Solve 1 - o = 3*f for f.
-1
Let j(n) = -n**3 - 37*n**2 + 37*n - 20. Let w be j(-38). Solve 14*r = w*r + 16 for r.
-4
Let q = 569 - 564. Solve -7 = -q*a + 13 for a.
4
Let x(d) = -14*d + 28. Let c be x(2). Solve 2*k + 5*k + 7 = c for k.
-1
Let z(d) = d - 8. Let n be z(10). Suppose 12 = 4*q, -n*s - 5*q + 17 = -0*s. Solve 3*b - s = 8 for b.
3
Let m be (-3 + 1 - -25)/(5/5). Solve 2*o = 17 - m for o.
-3
Let v be (16/24 - (-8)/6)/2. Let f = -11 - -17. Solve f = -s + v for s.
-5
Let p = -53 - -53. Suppose 2*r - 5*a - 1 - 15 = p, a + 11 = 3*r. Solve -v + r*v = 4 for v.
2
Suppose 0 = -8*s - 3*d, 7*s - 3*s = 3*d. Solve j = -s - 2 for j.
-2
Let p(f) = 4*f + 17. Let y(o) = -11*o - 51. Let z(w) = 17*p(w) + 6*y(w). Let h be z(8). Let j be 0/(h + -4 + 3). Solve j = 2*b + b for b.
0
Let f be 0*(-2)/8*-2. Suppose k - 41 + 38 = 0. Suppose f = -v - 3*g, -1 = 4*g + k. Solve q = v*q for q.
0
Let i(f) be the second derivative of f**3/6 + 3*f**2 + 30*f. Let h be i(-1). Solve -3*o = -2 + h for o.
-1
Let k(h) = -h**3 + 30*h**2 - 28*h - 5. Let d be k(29). Solve d = -3*l + 9 for l.
-5
Let j = -33 - -45. Suppose 9 = -3*d - 3*o, 6*d - 3*d - 4*o = j. Solve 3*f + 2*f + 25 = d for f.
-5
Suppose 19 = y - 0*n + 3*n, -5*n + 41 = 4*y. Let u(d) be the third derivative of -d**4/24 + d**3 - d**2. Let x be u(y). Solve 3*k - 5 = x*k for k.
5
Let r = -42 - -44. Let q be (r - -12)/(3 - (-3 + 4)). Solve 0 = -q*n + 2*n - 20 for n.
-4
Let p = 179 + -176. Solve -a = -0 + p for a.
-3
Suppose 3*o - 1 - 2 = 0. Let t be ((o - -1) + -2)*-1. Let n be (2 + -4 - -2)/(3 + -1). Solve t*y + y = n for y.
0
Let i be (16*1/3)/(9/27). Solve 4*q - 8*q = -i for q.
4
Let z be (-4)/52 - (-7)/91. Solve z = w + 7 - 2 for w.
-5
Let u be 186/4 + -5 - (-9)/(-6). Let q(d) = -d**3 - 4*d**2 + 2. Let w be q(-4). Suppose -v = -5*l - w*v + u, l = -v + 8. Solve a = -a + l for a.
4
Let b be 6732/(-528)*4/(-3). Solve -b = -9*g - 8 for g.
1
Suppose 5*o - 3*p = -6, -3*o - 3 + 13 = 5*p. Suppose z = -3*z - 72. Let r = 24 + z. Solve r = 2*w - o*w for w.
3
Let t be