 4*d + 5 for d.
-3
Let u be 20/(-16) - 1/(-4). Let g = u + -1. Let d be ((g - 6)*1)/(-2). Solve b = -1 + d for b.
3
Suppose 3 - 15 = -6*p. Let h be p/4 + 5/(-10). Solve q - 4*q = h for q.
0
Suppose -a - a + 4 = -2*o, 0 = 5*a - 2*o - 10. Solve 0 = a*b + b - 15 for b.
5
Let g(h) = h**3 + 3*h**2 - 11*h - 3. Let b be g(-5). Solve -2*u + 4 = -b for u.
3
Let x be 2 - (2 + -6) - 3. Let c(l) = 3*l - 4*l + 4 + 0. Let j be c(x). Solve 0 = q + j - 0 for q.
-1
Let r = 2 - -3. Suppose -2*u - r*g + 16 = -g, 5*g = -u + 20. Solve 4*v + u*v = -8 for v.
-2
Suppose -3*x - 1 + 7 = 0. Suppose a = -x*a. Solve a = -3*g + 6*g - 9 for g.
3
Let u = -7 - -11. Suppose -8*j + u*j + 12 = 0. Let c = -23 + 25. Solve c*x - 1 = j for x.
2
Let t(n) = 16*n. Let d(m) = 304*m. Let b(a) = -5*d(a) + 96*t(a). Let v be b(1). Solve 0 = -2*y + 6*y + v for y.
-4
Suppose 0*t = t - 1. Let r be (t + (-20)/12)*-3. Solve -r = 4*k - 18 for k.
4
Let t(w) = -4*w**2 + 8. Let b(i) = 3*i**2 + i - 7. Let m(y) = 5*b(y) + 4*t(y). Let g be m(3). Solve 2*u + g*u = -5 for u.
-1
Suppose -3*b - b = -4. Solve -b = f - 4 for f.
3
Suppose -5*n + 5*r - 15 = 0, 3*n = -5*r + 39 - 8. Suppose 0 = -2*z - 4 - 6. Let t(k) = -k**2 - 6*k - 3. Let q be t(z). Solve -n*d - 4 = q for d.
-3
Let u(r) = 6*r - 42. Let n be u(8). Solve n*h = h - 10 for h.
-2
Suppose -5*b - c = -15, -b + 3*b - c = -1. Suppose 0 = -2*y - b, m + m + 5*y - 1 = 0. Solve m - 7 = -4*n for n.
1
Suppose -3*c + 5 + 1 = 0. Suppose -z - 2*j + 3 = -5, -12 = -4*z - 3*j. Solve 2*f + c*f - 12 = z for f.
3
Let i(f) = -2*f. Let n be i(-2). Let k(j) = j**2 - 3*j - 13. Let x be k(6). Solve 0 = -n*z - x + 1 for z.
-1
Suppose 2*b + 2*q - 6 = -0*b, -4*b + 4*q + 4 = 0. Let s be 5/2 + (-1)/b. Solve -3*o = -s*o - 3 for o.
3
Let m = 2 + 3. Let n = 7 - m. Solve -n*g + 3 = -3 for g.
3
Let o = 5 + -2. Suppose -j - 6*u + 2*u = -o, 0 = -3*j + 4*u + 9. Solve -j*i = i for i.
0
Let a = -2 - -6. Solve a*j - 9 = j for j.
3
Let r = 2 + 2. Suppose -r*s + 6 = -2. Solve -s*c - 16 = 2*c for c.
-4
Let s = -6 + 12. Solve -2*i = -5*i + s for i.
2
Suppose 4*c + 1 - 5 = 0. Let w(d) = d**3 + 4*d**2 + 3*d + 4. Let u be w(-3). Solve 3*s = -c + u for s.
1
Let a(t) = -t + 4. Let h be a(-4). Solve -4*s = -h - 4 for s.
3
Suppose -47*c + 54*c - 28 = 0. Solve -c*y = 5 - 25 for y.
5
Let w(u) = u**2 + 3*u + 2. Let g be w(0). Solve g = 3*o - 5*o for o.
-1
Let l = -7 + 7. Suppose l = -t + 4*t - 27. Solve -4*p = -p + t for p.
-3
Let v = -3 + 3. Suppose -5*m + r = -13, 4*m - 4*r + 5*r - 5 = v. Solve 5 = -3*w + m for w.
-1
Let x be (1*-1)/(6/(-30)). Suppose -x*u + 13 = -7. Solve u - 10 = -2*h for h.
3
Suppose 5*s + 15 = w + 5, 2*s = -w + 3. Let c be 0/(s + -1 + 0). Solve g + 1 - 6 = c for g.
5
Let r(o) be the second derivative of o + 1/6*o**3 + 0 + 2*o**2. Let j be r(0). Solve -4 = 2*f + j for f.
-4
Suppose 3*q = -0*q. Solve -v = -q*v for v.
0
Let i = -9 - -13. Let s be (16/(-20))/(i/(-10)). Solve 7*h = s*h for h.
0
Let a(r) = -r**2 - 11*r + 26. Let p be a(-13). Solve 3*u + p = 3 for u.
1
Let c = -21 - -30. Solve 4*v = 3 + c for v.
3
Suppose z - 4 = 3*x, -x + 5*x - 16 = -4*z. Suppose x = 6*f - f + r - 25, -4*f + r = -11. Let g be 2*(22/f - 1). Solve -v = -4*v + g for v.
3
Suppose 4*f + 19 = -3*g - 6, -5*f - 39 = -4*g. Let o = f + 12. Solve -o = -2*r + r for r.
5
Let w = 1 - -3. Let s(l) = 5*l**3 - 8*l**2 + 5*l + 7. Let z(q) = -6*q**3 + 9*q**2 - 6*q - 8. Let g(p) = w*z(p) + 5*s(p). Let c be g(4). Solve c = -f + 3 for f.
-4
Let t(u) = -u**2 + 2*u + 1. Let a be t(2). Let c(j) = -2*j**2 - 4*j + 19. Let l be c(-4). Solve l*k + 2 = -a for k.
-1
Suppose -3 = -3*v + 3. Solve s - v*s + 1 = 0 for s.
1
Let d(u) = -3*u - 1. Let g = 8 - 10. Let n be d(g). Suppose 4*a + 20 = 5*i, -4*i - i - 5 = a. Solve i = -n*w + 6 + 9 for w.
3
Suppose -4 = -0*n - 2*n. Let f be (-1)/10*2 + (-122)/(-10). Let u(d) = -d + 7. Let x be u(5). Solve -x*y + f = n for y.
5
Let l(d) = -3*d**3 + 3*d**2 - 3*d + 5. Let u(a) = 10*a**3 - 8*a**2 + 10*a - 15. Let o(y) = 7*l(y) + 2*u(y). Let x be o(5). Solve -25 = -5*i - x*i for i.
5
Suppose -5*p - 3*g = -44, 2*p = g + 13 - 2. Let x = 7 - p. Solve 2*o + x*o = 2 for o.
1
Let o be (-3 - (-21)/9)*-3. Solve -2*j + o = -3*j for j.
-2
Let p(k) = 11*k**2 - 3*k + k**3 - 6 - 2*k**3 - 5*k**2. Let l be p(5). Suppose -l*a + 5 = -7. Solve 1 + 14 = -a*t for t.
-5
Let s be (5/2 - 1)*-6. Let v be 2*(s/2 + 0). Let j = v - -18. Solve 2*x - j = -x for x.
3
Let l(p) = 26*p - 1. Suppose 0 = 3*x - 8*x. Let d be (1 - x) + 0 + 0. Let z be l(d). Solve 4*u - z = -u for u.
5
Let d(w) = -w**2 + 9*w - 6. Let h be d(8). Suppose 0 = 2*p + 4 + 4. Let v be -6*(-1 - -3)/p. Solve v = -h*i - 1 for i.
-2
Suppose 5*i - 2*i = 6. Suppose -2*r + i = 4. Let u = 2 - r. Solve -5 = -u*g + 7 for g.
4
Let q = -4 - -8. Suppose -4*i + 49 = 5*w + 5, 0 = 4*i - q*w - 8. Suppose 0 = -2*a + 5*a - i. Solve 0 = -z + a - 1 for z.
1
Let h = 14 + -12. Let y = h + 0. Solve 1 = -n - y for n.
-3
Let l = 68 + -64. Let r = -13 + 18. Solve -r = -l*g + 3 for g.
2
Suppose 5*m = -j + 7, 10 = 3*j + 6*m - 2*m. Suppose j*k = 6*k. Suppose 0 = 2*o + 6, 0 = -4*p - 4*o + 3*o + 17. Solve 0 = p*w - k*w for w.
0
Let v be 6/(-8)*(6 - 14). Let b be (-1 - 3/(-6))*v. Let n be 0*(-1 + 4)/b. Solve n*o + o - 3 = 0 for o.
3
Suppose -2*n = 5*a - 102, -a - a + 37 = -3*n. Let o be 0/(-1) - (-6 + 1). Suppose h + a = o*h. Solve -28 = -h*u - 8 for u.
4
Suppose -5*z + 22 = -3*r, 2*r + 28 = 4*z - 3*r. Suppose q - o + 7 = 0, 2*o = 3*q - z*q + 10. Let g = q - -7. Solve 0 = g*s + 2*s for s.
0
Let n be 2*(-20)/(-16)*8/10. Solve n*i = -i + 3 for i.
1
Suppose -4*i - 5 = -9*i. Let k be ((-20)/(-15))/((-3)/(-9)). Solve i - k = -3*p for p.
1
Suppose -5*o = -5 - 5. Let n be (o - 2)/(1 + 0). Solve n = -k - k + 2 for k.
1
Let l = 2 + -2. Suppose 5*k - 19 - 6 = l. Suppose 5*r = -3*h + 8, k*h + 0*r - 24 = -3*r. Solve h = -5*f + 21 for f.
3
Let j(p) = p**3 - 3*p**2 + 2*p + 4. Suppose 0*a + 3 = a. Let y be j(a). Suppose -q + y = 4*q. Solve 0 = q*k + k + 12 for k.
-4
Suppose 0 = 3*v - 3*b - 54, -3*b - 96 = -4*v - 29. Suppose i + 5 - v = 2*s, 6 = 3*i. Let k be s/(-9) + (-4)/(-6). Solve -7 = 2*g + k for g.
-4
Let u be (-6 + 3)*2 + 4. Let q be (-135)/30*u/3. Solve -4 = -q*z + 11 for z.
5
Suppose 0 = -5*w + 5*g + 5, 3 = -3*w + 5*g - 4. Solve w*a = 4*a - 8 for a.
-4
Let o = -7 + -1. Let t(r) = -5*r**2 + 15*r + 17. Let p(z) = -2*z**2 + 5*z + 6. Let s(u) = o*p(u) + 3*t(u). Let a be s(-6). Solve 2*i + a = -i for i.
-3
Let b(s) = -4*s + 1. Let n be b(-1). Suppose -j + 2*f = j - 8, -5 = 5*f. Let i = -3 + j. Solve i + n = -y for y.
-5
Suppose 3*x = 8*x. Let p be (x/2)/2 - -10. Let o = -10 + p. Solve -4*a + 0*a - 4 = o for a.
-1
Let v = 5 - 1. Solve -20 = -v*j - j for j.
4
Let x = 37 + -33. Solve -7 - 1 = -x*c for c.
2
Let i(f) = f - 1. Let w be i(5). Let m be 1/4 + 27/w. Suppose 2*c = m*c. Solve u + 3 = -c*u for u.
-3
Let x(k) = 2*k**3 - 3*k + 3. Let h be x(1). Solve -3 = v - h*v for v.
3
Let m be (-2)/(-6) - (-184)/24. Suppose -2 = 3*o - m. Solve -o*y = y - 12 for y.
4
Suppose 0 = -3*n + 11 - 2. Solve -n = y - 1 for y.
-2
Suppose 8*v = -2*v + 20. Solve -6 = -v*n + 4 for n.
5
Suppose 2*j + 63 = -j. Let r be (j/(-9) + 2)*3. Suppose -11 = 4*w - 31. Solve -4*u - w = -r for u.
2
Let q be -2 + (2 - 3) - 3. Let h(k) = -k - 1. Let r be h(q). Suppose -3*d - 2*d - 5*z = -r, -3*d + 15 = -z. Solve g = d*g for g.
0
Let b(r) = -3*r**2 - r - 8. Let p(z) = z**2 - z + 1. Let h(c) = b(c) + 4*p(c). Let l be h(8). Solve -6*n + n = l for n.
-4
Suppose -4*z = -2*l + l - 13, 3*z - 1 = -l. Solve z*x - 3 = x for x.
3
Let k be 1 + -1 - -2*2. Let t = -13 - -17. Let c be (t/5)/(k/10). Solve -3 = -c*s - s for s.
1
Suppose 6*h - 25 = h. Suppose -3*d + 0 - 6 = 0. Let y be d*1/(-2)*h. Solve 5*a - y - 5 = 0 for a.
2
Let g be 2 - (6/8 + (-44)/16). Solve 0 = -7*q + g*q for q.
0
Let p(v) = v - 4. Let g be p(8). Solve 0*a + g*a = -20 for a.
-5
Let g(p) = p - 8. Let u be g(6). Let w be (-5)/u + (-1)/2. Solve -5*t - w - 18 = 0 for t.
-4
Suppose 0 = 5*k + 2*q - 0*q - 14, 2*q = 4*k - 22. Suppose 2*a - i = 11, -5*i = -k*a - i + 28. Suppose -2*c = -2*m + 8, a = -3*m + 4*m. Solve j + c = -4 for j.
-4
Let w(k) = -4*k - 8. Let s be w(-9). Suppose -3 - 15 = -p - 4*a, -5*a = 4*p - s. Solve -p*d = -3*d for d.
0
Suppose 2*t - 6 = 2*o - 2, -3*t + 15 = 0. Suppose -5*f