/18*(-9)/12. Solve -1 = -d + h for d.
2
Suppose h = -4*h - 105. Let i be (-6)/h - 12/(-7). Solve -2*d - 8 = i*d for d.
-2
Suppose 0 = -5*b - 2*n, -2*n = 5*b + n. Suppose -v - 2*v = -6. Solve -k + v*k = b for k.
0
Suppose -11 = 3*s - h, -2*h = -4 - 0. Let r be 2 + 6/2 + s. Solve r*p - 2 = 3*p for p.
-2
Let d(b) = 5*b**2 + 2*b - 3. Let z be d(1). Solve -2 - 18 = z*c for c.
-5
Suppose 12 = 2*k - 4*z, k = 7*z - 2*z. Solve 3*x + 2*x = k for x.
2
Let m be (-4)/12 - 210/(-9). Suppose -3 + m = 5*i. Suppose 4*b = 4, -31 = -5*s - 4*b + 23. Solve 2*c + s = i*c for c.
5
Let d = 5 - 0. Suppose -5*y = 4*h - 1, -3*y - h - 3*h - 1 = 0. Suppose -5*k = -5*x - 60, 3 = -2*k - 5*x - y. Solve k = -d*w - 17 for w.
-5
Let v = 32 - 32. Solve v = 2*x - 6*x for x.
0
Suppose 53 = 3*f - 5*h, 3*f - 2*f = 5*h + 11. Let n = -14 - -25. Let w = f - n. Solve 0 = 4*y + y + w for y.
-2
Let u = -109 + 112. Solve -u*p = -4*p for p.
0
Let p(l) be the second derivative of l**5/20 - l**4/6 - l**3/6 + l. Let c be (-2)/6 + 20/6. Let g be p(c). Solve 0*h = 3*h + g for h.
-2
Let f(p) = 2*p + 7. Let q be f(-6). Let a(c) = 6*c - 1. Let m be a(1). Let i = q + m. Solve 3*d = -i*d + 3 for d.
1
Let i be 3 + 2/4*-2. Suppose g + 3*s - 13 = 3*g, i*s = -4*g + 14. Let u = 14 - 10. Solve 3*k = u*k - g for k.
1
Let i be (2/2)/((-2)/(-4)). Let b be -2*(-1)/2 + 4. Suppose -20 = -a - 0*a + 4*m, b*m = -a - 16. Solve i*g = 14 - a for g.
5
Let k(o) = o**3 - 7*o**2 + 6*o - 4. Let j be k(6). Let c be j/2 + (6 - 1). Solve 0 = -i - c + 5 for i.
2
Let v be (4 - 2)*(1 - 0). Suppose 0 = -3*d - v*d. Solve d = -5*q + q - 4 for q.
-1
Suppose 3*h = 5*a + 19, 5*h - 4*a + 2*a - 38 = 0. Solve -5*z + 2 = -h for z.
2
Let v(i) = -i + 10. Let j be v(7). Solve j*b = b for b.
0
Suppose 8 - 2 = 3*a. Suppose a*i - q + 1 = -3, -3*q + 12 = i. Let h be 60/4 + 1 + -4. Solve i*x = -4*x - h for x.
-3
Let f = 102 + -102. Let l be (1 - (-5)/(-2))*-2. Solve j - l*j = f for j.
0
Suppose -5*o - 2*i - 19 = 0, 8 = -4*o - 2*i - 2*i. Let r be (1 + 3 + o)*-3. Solve -a = -r*a - 6 for a.
-3
Suppose -5*s + 3*o - 4*o + 78 = 0, 5*s - 5*o - 90 = 0. Solve -3*n - s = n for n.
-4
Let j be (-72)/(-4) + 1 + 1. Let r = -16 + j. Solve -2*i = -r*i for i.
0
Suppose 3*v + 12 = 4*d - 0, 8 = -2*v. Solve 4*i = 16 - d for i.
4
Let w(h) = -h**2 - 6*h + 7. Let x be w(-7). Solve x = -j - j for j.
0
Let w(s) = -s**2 + 5*s + 5. Let i be 6 + -1 + 0/(-2). Let p be w(i). Solve 0 = 2*r - 3*r + p for r.
5
Let l be (-2 + 1)*2 - -5. Solve l*z - 11 = 1 for z.
4
Suppose -1 = 3*x - 7. Suppose -l = -1 - x. Solve -5*k = -13 + l for k.
2
Suppose j - 2*j = -6. Let c(r) = j*r - 3*r - 2*r**3 - r + r**2. Let h be c(-2). Solve t + 3*t - h = 0 for t.
4
Let x(t) = t**3 + 4*t**2 - 8*t - 7. Suppose 0 = -v - 5. Let n be x(v). Solve -d + n = -3*d for d.
-4
Let s be 3 + 1 + -1*2. Suppose s = -2*z + 6. Suppose 6 = 2*i - i - 2*f, 2*i = 3*f + 12. Solve 0 = -u - z*u - i for u.
-2
Suppose g = 2*h - 31, -2*g + g = 2*h - 29. Let v = h - 3. Solve 3 + v = 5*c for c.
3
Let l(c) = c**3 + 10*c**2 + 8*c - 8. Let s be l(-9). Suppose 3*p - 12 = 3*g, -5*g + 19 = 5*p - s. Let h(b) = b - 1. Let y be h(3). Solve -o - y*o = g for o.
0
Let s be (1 - 2)*3*-1. Solve 0 = q - s - 0 for q.
3
Suppose 3*x = -x. Solve 3*v = -x + 3 for v.
1
Suppose -y + 0*y + 2 = 0. Solve -i + 1 = y for i.
-1
Let w(t) = t + 5. Let c be w(-4). Let l(a) = a**3 - a**2 + a - 1. Let s be l(c). Suppose s = -2*k - 3*k. Solve k = 2*u - 4*u - 8 for u.
-4
Let g be 3*(-2)/6*(-6 - -2). Solve 0*l = 2*l - g for l.
2
Let i(p) = p - 1. Suppose 4*c - 26 - 2 = 0. Let q be i(c). Solve -f + q = f for f.
3
Let a = 6 - -4. Solve -5*h = -a*h + 10 for h.
2
Suppose 3*n + 223 - 5 = 2*q, -3*n - 214 = -q. Let v be (-2)/(-12) - n/12. Suppose 0 = v*k - 4*k - 4. Solve k = -4*s - 2 for s.
-1
Let d = 7 - 5. Suppose 5*k = d*l, -k = -3*k - l. Let h = k + 2. Solve -2*i = h - 4 for i.
1
Let b = -24 + 36. Let a be (-5)/3*b/(-10). Solve 4 = 3*k - a for k.
2
Let v be (-2 - -1)/(1/(-21)). Let q = v - 1. Solve -q = -6*y + y for y.
4
Let r = 16 - 16. Suppose 2*v = -r*v. Solve 6*h - h = v for h.
0
Let d(w) = -w**3 - 7*w**2 - 8*w + 3. Let y(t) = 6*t**3 + t**2 - 1. Let a be y(-1). Let c be d(a). Solve 4*n = n + c for n.
5
Let z(i) = 2*i**2 - 3. Let m be z(-3). Let n = m + -8. Let g be (-2)/n + (-92)/(-28). Solve 5*p + 8 = g for p.
-1
Suppose 16 = 4*h, -8 = -2*c + 3*h - 20. Suppose -3*a = -d - 5*a, -3*a = 0. Suppose w - 12 = -4*l + 46, d = -3*l - 3*w + 39. Solve c*u - 3*u = -l for u.
5
Let y = -4 + 7. Solve 4*k - y - 5 = 0 for k.
2
Let c(q) = -q - 4. Let r(o) be the second derivative of o**4/12 + o**3/6 - 7*o**2/2 + 3*o. Let g be r(0). Let j be c(g). Solve 8*m - j*m = 15 for m.
3
Suppose -2*c - 3*c = -60. Solve -v + c = 2*v for v.
4
Suppose 0 = -2*i + 6 - 2. Solve -i*l - 2*l = -12 for l.
3
Let g(r) = -r**3 - 13*r**2 - 2*r - 10. Let x be g(-13). Solve p = 5*p - x for p.
4
Suppose -5*l - 4*v = 31, -3*l + 2*v = 2*l + 37. Let g = 9 + l. Solve -g*z - 10 = -0*z for z.
-5
Suppose -2 = -2*p + 8. Solve p = n + 4*n for n.
1
Let o(p) = 2*p**2. Let y be o(1). Suppose -4*v - 16 = -4*q, 5*v - 12 = -5*q + 2*q. Suppose -4 = 2*j - 8. Solve q + j = -y*w for w.
-3
Let p = 6 - -10. Suppose 4*j - j - 2*i = p, 0 = -j + i + 7. Let h = -5 + 7. Solve -k = -h*k - j for k.
-2
Let b = -31 + 33. Solve -2 = b*g + 2 for g.
-2
Suppose 17 = -3*w - 22. Let u = w - -15. Solve 0 = -m + 6 - u for m.
4
Suppose 43 = 5*k - 5*n - 7, -k = -5*n - 10. Solve 2*b = -3*b - k for b.
-2
Let u(t) = 3*t. Let c be (-4)/(-18) + 7/9. Let h be u(c). Suppose -h*b = -b. Solve b = 5*j - j + 12 for j.
-3
Suppose 0 = -2*p - 2*m + 4, 3*m = -p + 5*m - 4. Suppose 2*f - 20 = 5*x, -f - 4 = x - p*x. Solve f = 3*s - 10 - 2 for s.
4
Let b be 7 + -2 - (4 - 1). Suppose -b*s + 12 = 8. Solve 0 + 10 = -s*n for n.
-5
Suppose 2*m + 3 = -5*x, -m = -3*m - 2*x. Let l be (0 - 0 - m) + 3. Solve f = -l*f + 6 for f.
2
Let d be (-4 - -2) + 1 + 2. Let g(j) = -j**3 - j**2 - j. Let h(x) = x**2 + 6*x + 5. Let y be h(-5). Let k be g(y). Solve k = 2*c - 7 - d for c.
4
Let x be 6/(-9)*(1 - (2 + 2)). Solve -x*i + 9 = -5*i for i.
-3
Let o be ((-6)/(-4))/((-21)/(-56)). Solve -p - 3*p = o for p.
-1
Suppose -7*i + 20*i = 0. Solve i = b - 2*b - 1 for b.
-1
Let u(w) = -2*w - 9. Let h be u(-6). Let g be (-22)/44*1/((-1)/8). Solve f - g = -h for f.
1
Let y = -5 + 9. Suppose 0*s + 4*s = 8. Suppose -s*a = -y*a. Solve a*t + 8 = -4*t for t.
-2
Let g(y) = -y**2 - 5*y + 4. Let x be g(-5). Let m be (-3)/(-2)*(-16)/(-12). Suppose -2*q = m*q. Solve q*j = x*j + 4 for j.
-1
Suppose 0*a + 4*a = -16. Let b = a - -6. Solve -4*y = -b*y - 10 for y.
5
Let q = 59 - 39. Solve 5*h + q = -5 for h.
-5
Let z be (4/6)/(6/63). Let g be 4*(105/12)/z. Solve -g*h - 7 - 8 = 0 for h.
-3
Let p be (((-10)/4)/(-5))/((-8)/(-320)). Solve -v = -5*v + p for v.
5
Let o be 6/9*3 + -12. Let h be (-34)/o + (-12)/30. Suppose 5*m - 12 = 4*d, -6 + 2 = -2*d. Solve -u - m = -h*u for u.
2
Let b(r) = r**3 + 9*r**2 + 6*r - 8. Let p be b(-8). Solve p = 5*l - l for l.
2
Let s be (-1)/2 - 2/(-4). Solve s = 4*l + 2 - 10 for l.
2
Suppose -5*h = -2*h - 54. Suppose 3*p - 11 = 5*c + h, 2*c = p - 11. Let w = 75 - 73. Solve w*q - 5 = -p*q for q.
1
Let t = 11 + -4. Let v be 12/t - 2/(-7). Solve -p + 3 = v*p for p.
1
Let o(j) = -j**2 - 5*j - 2. Let g be o(-4). Solve -1 = 3*w - g*w for w.
-1
Let t(o) = -o**2 - 10*o + 2. Let u be t(-10). Solve 0 = -u*y + 4*y + 8 for y.
-4
Let i be (2/(-6))/((-2)/90) - 0. Suppose z = -0*z + 3. Suppose 0 = 2*b + z*b. Solve g + 2*g - i = b for g.
5
Let h(k) = -k + 4. Let j(z) = 2*z - 11. Let g be (-3 + 5)/(-2)*3. Let t(f) = g*j(f) - 8*h(f). Let s be t(1). Solve 0 = s*q - 0*q for q.
0
Let m be ((-3)/(-18)*-2)/(2/(-12)). Solve -m - 2 = 2*c for c.
-2
Let f be (-12)/(-10)*50/15. Suppose 3*h + 2 = 5*o, f*h - 4*o = -2*o + 16. Solve -1 = n - h for n.
5
Let a be -1 - (2 - (4 - -2)). Solve a*i + i = -12 for i.
-3
Let v(q) = q**3 + 6*q**2 + 3*q - 5. Let h be v(-5). Suppose 2*m = 7*m + h. Let i = m - -1. Solve i*w = -w for w.
0
Suppose 5*b + 2*c - 20 = 0, -b - 4*c = -6*b - 10. Let z(q) = q**3 - 4*q + 3. Let w be z(b). Solve -w + 4 = -s for s.
-1
Let w(v) = -5*v**3 + 34*v**2 + 16*v - 49. Let r(i) = -i**3 + 7*i**2 + 3*i - 10. Let y(h) = -11*r(h) + 2*w(h). Let s be y(9). Solve 4*c - 1 = s for c.
1
Suppose 2*j + 4*w - 2 + 1