)/(-6) - (1 - 0). Solve -8*y = -3*y - h for y.
1
Let y = -6 + 14. Let h be y/(-6) - (-2)/6. Let a be h/(-1 + (-1 - -1)). Solve p + 2 = -a for p.
-3
Suppose 0 = 3*n + 3*d + 9, 0 = -n + 5*n + 2*d + 2. Solve 2*z - n = -0 for z.
1
Suppose 0*z = -5*z + 10. Let n be z/1 + 0 + -2. Solve n*k = k - 2 for k.
2
Let s = -7 + 14. Let m(z) = z**3 - 6*z**2 - 7*z + 1. Let q be m(s). Let b = 6 - q. Solve 3 = -b*v - 17 for v.
-4
Suppose 2*i - 2 - 4 = 0. Let j = i - 4. Let t = j - -5. Solve g - t = -2 for g.
2
Let d(w) = -3*w - 7. Let z be d(-5). Suppose 0 = 5*v + 2*a - 19, -5*v = 3*a - 13 - z. Solve 0 = j - v*j - 10 for j.
-5
Let z be ((-210)/45)/(3/((-18)/4)). Solve 5*m + 18 = -z for m.
-5
Suppose 0 = -5*t - 8 + 18. Solve m - t = -0 for m.
2
Suppose -12 = -3*a, -3*o - 3*a + 34 = 13. Let s be ((-12)/15)/(2/(-15)). Let w be (0 - (-2)/s)*6. Solve w = -o*u + 2*u for u.
-2
Let b be -2 + -1 - (-45)/9. Solve -l = -b*l for l.
0
Let a(r) = 2*r**2 - r. Let u be a(1). Let g(n) = -4*n + 2. Let i(q) = -q**2 - 1. Let b(h) = u*i(h) - g(h). Let c be b(3). Solve -j + 1 = -c*j for j.
1
Let p(x) = -9*x + 2. Let r be p(-5). Suppose 0 = 3*q - 7 - r. Solve -2 = -4*n - q for n.
-4
Let i be 2/(-4)*78/(-3). Suppose -2*g = -6, 0 = -2*l + 3*g + 2*g - i. Solve -13 + l = -3*y for y.
4
Suppose -2*b = a + 8, -1 = -3*a - b - 0. Solve 4*c + a = 3*c for c.
-2
Let r be (-2)/(-7) - (-5)/((-175)/10). Solve 0 = 4*w - r*w - 4 for w.
1
Suppose 5*z = 4*n + 5, 4*n = z - 4*z + 3. Solve -4*r + 6 + 2 = n for r.
2
Let q = 1 - 1. Let h(y) = 1 + 0*y + 0 - y. Let o be h(-7). Solve q*r - o = -4*r for r.
2
Suppose 4*d - 3*d + 11 = i, -5 = d + 2*i. Let r(u) be the second derivative of -u**3/6 - 5*u**2/2 + 10*u. Let y be r(d). Solve -o = -3*o - y for o.
-2
Let i(p) = -p - 6. Suppose -5*z = s - 28, s - 3*z - 1 = -13. Let t = s - 13. Let d be i(t). Solve -d*c = -0 + 4 for c.
-1
Let s(h) = h**3 + 7*h**2 + 5. Let k be s(-7). Suppose -z - k = -2. Let v = z + 15. Solve r = 5*r + v for r.
-3
Let p(w) = -w**2 - 9*w - 3. Let m be p(-9). Let b = m - -7. Solve -b*h = -1 - 15 for h.
4
Let b = 10 - 8. Suppose -4*s = -b*s - 6. Solve -5*w + s*w = 0 for w.
0
Let n be 52/20 - (-4)/10. Suppose -4*f + 3*f + 5*q - 11 = 0, 0 = -5*f - 2*q + 26. Solve n*u + f = -u for u.
-1
Let j = -7 + 11. Let p be -2 + 15/(4 - 3). Suppose 5*q + 5*o - 3*o - 19 = 0, p = 3*q + 2*o. Solve q*s + j - 19 = 0 for s.
5
Suppose -2*s - 1 = 2*q + 5, -4*q = -5*s + 12. Solve p = -s*p for p.
0
Let s = -7 + 11. Solve s*b = -0*b for b.
0
Suppose 2*w + 6 = 0, 0 = q + w + 3*w + 20. Let p(d) = -d**2 - 7*d + 8. Let a be p(q). Suppose 5*j + a = 5. Solve 1 = 2*c - j for c.
1
Let x(k) = -k**3 - 15*k**2 + 4. Let n(q) = -4*q + 5. Let v be n(5). Let p be x(v). Solve -3*m + 5 = -p*m for m.
-5
Suppose 2*a + 4 = 2*y, y = 2*a + 3 - 2. Solve -y*v = -v - 4 for v.
2
Let a(d) = -3*d. Let g be a(-1). Let i(u) = u**3 - 2*u**2 - 3*u + 2. Let n be i(g). Let m = -2 - -14. Solve -m = n*c + 2*c for c.
-3
Let a = -19 + 21. Solve i - a = -6 for i.
-4
Let j(d) = 6*d**2 - 13*d - 4. Let a(y) = -7*y**2 + 14*y + 3. Let v(u) = -5*a(u) - 6*j(u). Let n be v(9). Solve -6*i + 4*i = n for i.
0
Suppose 5*i = 4*y - 20, 4*y + y - 25 = 5*i. Solve -3 = -3*f - i for f.
1
Let i(v) = -v**2 + 6*v - 6. Let p be i(4). Solve -a - 2 - p = 0 for a.
-4
Let n(u) = 2*u + 2. Let g be n(1). Solve 3*v - 1 + g = 0 for v.
-1
Let j(l) = -2*l + 9. Let a be j(6). Let z be (-4)/a*(-60)/(-8). Solve 2*g - z = 4*g for g.
-5
Let t = -11 - 3. Let n be 1 + 0 - (t - 1). Solve 0 = -4*o - 0*o - n for o.
-4
Suppose -10*y = -4*y - 18. Solve -y*o + 6 = -6*o for o.
-2
Let j(p) = 3*p**2 - 2*p - 1. Let s = 1 + -3. Let f be j(s). Solve 3*d - 6*d = -f for d.
5
Suppose -11*n + 9*n = -12. Solve 2*j = -j + n for j.
2
Let c(m) = -m**3 - m**2 + 2*m + 5. Let q be c(-2). Solve 6 = -q*v - 19 for v.
-5
Let q = -4 - -5. Let r(i) = 4*i**3 - 2*i + 1. Let s be r(q). Solve 3*j - 9 + s = 0 for j.
2
Suppose 0 = 2*g - 2*c - 8 + 2, 5*c + 3 = g. Solve -2*n = g*n for n.
0
Let b(f) = -f**3 + f**2 + 4*f + 1. Let m be b(3). Let g = m - -8. Solve -10 = 8*n - g*n for n.
-2
Let b(x) = -x**2 + x + 3 - 14*x + x. Let s be b(-12). Solve s*q - 4 = 5 for q.
3
Let q(j) = -j**3 - 13*j**2 + 2. Let y be q(-13). Solve -4*i = -y*i + 10 for i.
-5
Let v = 83 + -68. Solve 2*a + v = -a for a.
-5
Let u(b) = 2*b + 12 + 2*b - 5*b. Let v be u(8). Suppose g + 1 = v. Solve g*a + 20 = -a for a.
-5
Suppose -3 = 4*b - 3*b. Let i = 5 + b. Let x be (1 + (1 - i))/1. Solve x + 1 = -h for h.
-1
Suppose 4*z + 15*z - 6*z = 0. Suppose -2*m + 0 = -4. Solve z = -b + m*b - 4 for b.
4
Let l = 68 + -98. Let w be (l/(-9))/(6/9). Solve 0 = w*f - 2*f for f.
0
Suppose -5*x - 4*x = 0. Solve -3*c + c - 2 = x for c.
-1
Let h(d) = d - 7. Let z be h(5). Let m be (-2)/7 - (-48)/21. Let o be 0/(m/2 - z). Solve -x - x = o for x.
0
Let a be 0 - 2*(-2)/1. Let i = 37 + -22. Solve a*t - i = -t for t.
3
Let z = 8 - -3. Solve -9 = -5*c + z for c.
4
Suppose 0 = 15*u - 14*u. Solve u*b + b = -2 for b.
-2
Let y(i) = i**2 - i - 8. Let k be y(4). Let m = -2 + -6. Let a be 60/m*8/(-10). Solve -k*u + 2 = a for u.
-1
Let k = -6 - -7. Let i be (-2 - -2 - k) + 7. Solve -d + i = d for d.
3
Let n be (3/6)/((-1)/(-30)). Solve 0 = v - 6*v + n for v.
3
Let y = -53 - -32. Let h be ((-12)/y)/(4/14). Solve 2*t + h*t - 8 = 0 for t.
2
Let m(g) = g**2 + 3*g - 8. Let n be m(-5). Solve -3*s + 17 - n = 0 for s.
5
Suppose k = 3*q - 22, -10 = -q - k + 2*k. Solve u = q*u + 20 for u.
-4
Suppose -12 = 4*p - 4. Let u be p/5 + (-198)/(-45). Solve -g = -0*g + u for g.
-4
Let j(h) = 2*h**2 + 3*h + 2. Let y be j(-2). Suppose 5*b - 1396 = 4*g, -7*b - g + 1376 = -2*b. Let i be b/20 - 2/(-10). Solve -5*n = i - y for n.
-2
Let s be -1*1/(-1) + 0. Let o be (s - -5) + 4 + -4. Let a be (-4)/(-6) - (-26)/o. Solve -a*n = -6 + 21 for n.
-3
Suppose 0 = 2*k + 10 - 2, 3*q - 21 = 3*k. Solve -10 = q*f - 1 for f.
-3
Suppose 8*x - 6*x = 8. Let t be 1/(-4) + 17/x. Solve 9*n = t*n for n.
0
Suppose o - 3 = 5*w, 11 - 2 = 3*w + 3*o. Suppose -2*d = -w - 10. Solve -14 = -d*r + 1 for r.
3
Let m(h) = h**2 + 2*h. Let g be m(-4). Let y = 37 + -35. Solve 5*d + y = -g for d.
-2
Let h = 10 + -7. Solve -2*s = h*s - 5 for s.
1
Let y(t) = -t - 5. Let v be y(-5). Suppose 2*c + 2*u - 8 = 2, 4*c - 2*u - 8 = v. Solve 0*h = c*h for h.
0
Let m be -1 + (-1)/2*38. Let o be (3/(-2))/(15/m). Solve 0 = -2*q + o - 12 for q.
-5
Let t(n) = 2*n + 3. Let s be t(1). Let l(r) = 2*r**2 - 7*r + 5. Let i(c) = -c**2 + 3*c - 2. Let u(y) = -5*i(y) - 3*l(y). Let w be u(s). Solve -2*x = -w*x for x.
0
Let h(m) = m**3 + 5*m**2 + m - 2. Let o be h(-4). Suppose -4 = -3*q - o. Let v be (-18)/(-3) - 0 - q. Solve 5*b + v = -17 for b.
-5
Suppose -8 = -t - 0. Let f be 2/4*t*1. Suppose -4*p + 3*n = -15, -3*p - n + 25 = f. Solve p*s = 5*s - 2 for s.
-2
Let w be 54/(-12)*(-30)/9. Solve -2*q + w = q for q.
5
Suppose 0 = -0*y - y. Let t(w) = 9*w**3 - w + 1. Let z be t(1). Let s = 5 - 2. Solve s*v = -y*v + z for v.
3
Let v = -62 - -115. Let h = -33 + v. Solve 5*c = c - h for c.
-5
Let w(i) = i**2 + 2*i - 4. Let k be w(-4). Let q be (-4 + 3)/(1/(-5)). Suppose -k*z = 3*p - q, -p - z - 16 = -6*p. Solve -p*y = y for y.
0
Let o(z) = z - 1 - z**2 + 2 - 2*z. Let r be o(0). Solve -r = s - 2 for s.
1
Let r = -7 + 7. Solve r*f = -f + 4 for f.
4
Let p(k) = -4*k - 20. Let x be p(-6). Solve 3*v = x*v + 4 for v.
-4
Let r be 2 - (-3)/3 - 0. Suppose -t + r = -2. Solve -15 = t*z + 5 for z.
-4
Let f = 5 + -3. Suppose -2*a = a + 3*v - 33, -f*v = -a - 4. Solve a*z - z = -5 for z.
-1
Let t(d) = -d - 1. Let j(x) = 2*x. Let q be j(-1). Let h be t(q). Solve -4*p + h = 9 for p.
-2
Let f be (-42)/9*12/(-8). Solve -f = 4*v + 1 for v.
-2
Suppose -2*u + 15 = 7. Solve u = 3*l + 1 for l.
1
Suppose -6*r = -8*r + 2. Let t(d) be the third derivative of d**4/4 - d**3/6 + d**2. Let o be t(r). Solve -3*m + 8*m - o = 0 for m.
1
Suppose 0*j + j = -3. Suppose 5*q = 3*d + 13, -3*q + 6 = -2*d - q. Let y be (3/j)/(d/10). Solve -3*p - y = -p for p.
-5
Suppose -q = -4*q. Solve f = -q*f for f.
0
Let y(c) = c**2 + 9*c + 8. Let a be y(-9). Let m = 35 - 32. Solve -a = m*t - t for t.
-4
Let m(l) = -l - 2. Let i be m(-7). Solve 0 = -i*g + 4*g + 2 for g.
2
Suppose -4*w + 10 - 2 = 0. Solve -w = -3*t + 1 for t.
1
Let v = 2 + 0. Solve -3*p = v*p + 20 for p.
-4
Let p(j) be the first 