). Solve -12 = -d*h - 3*h for h.
4
Suppose 12 = -p + 4*p. Suppose t + 37 = 3*j, 4 = 2*j - 3*t - 23. Let v(k) = -k**2 - k. Let h be v(0). Solve h*b + j = p*b for b.
3
Let o = -9 + 14. Suppose o*u + 3*x = 8, -2*u - u + x = -16. Solve -u*i + 0*i = -4 for i.
1
Suppose -5*d = 23 - 73. Suppose -d - 10 = -2*g. Let l be 55/g - (-3)/2. Solve 0 = -4*f - l - 13 for f.
-5
Let h be -50*(-2)/(-15)*3. Let a be 1/8*-2*h. Solve 0 = -5*q + a + 15 for q.
4
Suppose 0 = -3*c + 3*i + 18, -4*c - 3*i = -6*i - 25. Suppose -13 + c = -2*l. Solve o + l*o = -20 for o.
-5
Suppose -i + 3*k - 6*k = 13, 2*i = -2*k - 6. Solve 2*u = u - i for u.
-2
Suppose 0 = 2*l + 12*l - 42. Solve -4*r = -l*r for r.
0
Suppose -4 = 4*n, 5*n - 9 + 30 = -4*y. Let t = y + 6. Suppose h + h - 24 = 0. Solve -h = -i - t*i for i.
4
Let k be (-3)/9*-2 + (-28)/(-12). Solve -k*s + 0*s = -6 for s.
2
Let u = 11 - 6. Suppose i = u*i - 20. Suppose -2 = -y + i. Solve 0 = -2*b + y*b - 25 for b.
5
Let c(b) = -b**3 + 5*b**2 - 4*b + 5. Let u be c(4). Solve -2*i - u = -15 for i.
5
Suppose 8*m = 6*m. Suppose 0*j - 34 = -2*j + 4*a, 5*a - 5 = m. Solve 1 + j = -5*f for f.
-4
Suppose -3*d - 3*t + 6 = 0, -5*d - t - 2*t = -16. Solve 3*f = 2*f + d for f.
5
Suppose 48 = 4*f + 2*j - 6*j, -5*j + 60 = 3*f. Solve -6*c = -c + f for c.
-3
Let t = 10 - -16. Let w = 64 - t. Suppose 4*i - w + 6 = 0. Solve -2*k = -0*k - i for k.
4
Suppose 2*r + b - 4 = 0, -3*r + 7*r - 10 = -b. Let f = -1 + r. Solve 2*t = -f*t for t.
0
Let z be (-2)/((9/3)/(-6)). Suppose 0 = -3*r + z*r. Suppose 2*w + 5*t - 22 = -0*w, -t = r. Solve -w = -4*i + 5 for i.
4
Let z = 14 + 2. Suppose 19 + z = -5*l. Let r = -6 - l. Solve -4 = -x - r for x.
3
Suppose -46 = -7*q + 10. Solve -q = -z - z for z.
4
Let h(a) = 0 - 4 + 2*a**2 - a**2 - 6*a. Let c be h(7). Suppose 2*k = -c*p + 5, k - 6 = -7*p + 2*p. Solve -4*b = -k - 7 for b.
2
Let w be 14/(-4)*(-72)/42. Suppose -w*j + 2*j - 2 = 5*z, 0 = 2*z + 2*j + 2. Solve -15 = z*t + t for t.
-5
Let b = 7 + -4. Suppose 0 = -b*w - z + 64, -2*z - 3*z + 60 = 2*w. Solve -2*d + 6*d = -w for d.
-5
Let d be (-3)/(-6) - (-1)/(-2). Let n(u) = -u**2 - 10*u - 6. Let w be n(-9). Solve w*k = -d*k for k.
0
Let q(f) = -f - 6. Let v be q(0). Let y = v + 6. Solve -3*h + 15 = -y*h for h.
5
Let v = -3 + 6. Let k be 5/(v*(-1)/(-3)). Solve 0 = -z + k - 2 for z.
3
Suppose 2*j - 4*i - 24 = -j, -j + 7 = -i. Solve 0 = -5*x + j*x - 2 for x.
-2
Suppose 0 = -9*m + 13*m - 16. Solve 4*o + 0 = m for o.
1
Let c(h) = -h**2 + h. Suppose -3*d = -0*d. Let k be c(d). Let n be 3 - (-1 + -1 + 0). Solve k = -5*a + n for a.
1
Let n = -2 + 7. Suppose n*x - 7 - 3 = 0. Suppose -2*o + 0 = -x. Solve 0 = a - o for a.
1
Suppose -5 = w, -4*n + 0*w - 2*w = -10. Solve -n*h = 25 - 10 for h.
-3
Let s(n) = n**3 + 7*n**2 + 7*n + 6. Let h be s(-6). Let j = 10 + -6. Suppose j*r = -r. Solve q + r*q + 4 = h for q.
-4
Let k(y) be the third derivative of y**6/720 + y**5/60 - y**4/12 + y**2. Let b(w) be the second derivative of k(w). Let c be b(3). Solve -c*a - 4 = 1 for a.
-1
Let q be (-2)/(-9) + (-4)/18. Let o be (q + -1)/((-4)/20). Solve 8 = -o*d - 12 for d.
-4
Suppose -3*y + 0*y + 6 = 4*o, 0 = 4*y + 3*o - 1. Let x be 1/(y + 1) - -3. Solve x*w + 4 = w for w.
-4
Let u(q) = -2*q - 12*q**2 + 2 + 0*q**3 + 10*q - q**3 + 5*q. Let l be u(-13). Solve -6 = l*o - 4*o for o.
3
Let r(i) be the first derivative of -i**4/4 + 2*i**3 + i**2 - 7*i - 5. Let o be r(6). Solve -o*z = -0*z - 5 for z.
1
Suppose 3*o = -3*r + 15, -3*r + 17 = o + r. Solve o = 5*g - 4 for g.
1
Let w be 8 + (-2 - -3)*-1. Solve -8 = 5*v + w for v.
-3
Suppose -3*c - 414 = -5*z, -2*z = z + 4*c - 231. Let g = -19 - -34. Let y be z/g + 4/(-10). Solve 0 = y*q - 1 - 9 for q.
2
Let o = -126 + 132. Solve 2*y - 16 = -o for y.
5
Let a(c) = c**2 + c. Suppose 2*f - 2 = 4*f. Let k be a(f). Solve 3*p + 12 = -k*p for p.
-4
Let q = -13 + 16. Solve q = 2*g + 7 for g.
-2
Let t(r) = r**2 + 3*r + 7. Let s be t(-5). Solve -4*w = -s - 3 for w.
5
Let d = 81 + -81. Solve d = m + m for m.
0
Let g be -4 + 20/(2 - -3). Solve g = i + 9 - 4 for i.
-5
Suppose 3 = t - 6. Let b = t + -6. Suppose -c + 10 = b. Solve -3*r - 1 = -c for r.
2
Let c(b) = -b**3 - 12*b**2 + 3. Let g be c(-12). Solve g + 1 = h for h.
4
Suppose -7*z = -2*z - 10. Suppose n = 2, -u = u - 2*n + z. Solve -4*b = u - 5 for b.
1
Let v = -2 - 0. Let f be 9/6*v/(-1). Suppose -3*s - 3*w = -f, -3 = s - 3*s - w. Solve -b + s = 5 for b.
-3
Suppose 3*w = h + 4, -w = -2*h + 6*h - 10. Solve 0 = -w*v + v - 5 for v.
-5
Let r(l) = -l**3 + 6*l**2 + 2. Let z be r(6). Let q(h) = h**2 + 12*h - 1. Let f be q(-8). Let m be z/7 + f/(-7). Solve 0*c = m*c for c.
0
Let m = 21 - 18. Solve -m*d = -0*d - 15 for d.
5
Let h(i) = -i**2 + 14*i + 20. Let r be h(14). Solve -3*v - 2*v = r for v.
-4
Let x be -4 + (1 - -6) - -7. Solve -6*d + 4*d = x for d.
-5
Suppose -3*h + 5*i = -26, 5*h + i - 4 - 2 = 0. Suppose 20 = -4*m, -4*z - 4*m = -h*m - 2. Solve z*o = -5 - 1 for o.
-2
Let w be (5 - 3)*(-3)/(-2). Let g be (6/3)/(2/w). Solve u + g + 0 = 0 for u.
-3
Suppose 0*a - 6 = -2*a. Suppose 4*m = -4*q, 0*q - 4*q = 2*m - 2. Let d be (-5 + 1)/(-4)*q. Solve -a*o + d = -2*o for o.
1
Suppose -4*s - 2*n + 8 = s, -5*s - n + 9 = 0. Suppose 3*o - 286 = s*q, 0 = -q - 1 + 2. Suppose 2*c = 5*c + 12, c - o = -4*i. Solve 0 = 2*d - 7*d - i for d.
-5
Let k(z) = -5 + 2 - z**2 + 1 + 5*z - 2. Let t be k(4). Solve 4*s = -t*s - 16 for s.
-4
Let k = -1 - -1. Let a = -7 + 10. Let y(d) = -d**2 + 7*d - 2. Let l be y(6). Solve k = -a*i + l*i - 3 for i.
3
Suppose 20 = -4*m - 0*m, 2*l = 4*m + 30. Let q(p) = -3*p**3 + 2*p**2 + 2*p + 1. Let w be q(-1). Suppose 3*x + 10 = w*x. Solve x = -l*n - 0 for n.
-2
Suppose z = -3*k + 17 - 2, -3*k = 2*z - 15. Let b = 5 - k. Suppose 3*h + 4*p - 12 = b, -p - 4 - 12 = -4*h. Solve -9 = d - h*d for d.
3
Suppose 3*l = 9 - 0. Solve -l*v - 4 = v for v.
-1
Let x be 2/(-2) + (-3)/(-1). Let u = 32 - 32. Solve u = 2*o - x + 4 for o.
-1
Let x(m) = m**2 - 19*m - 17. Let t be x(20). Solve t*f = 7*f + 12 for f.
-3
Let y(k) = k**3 + 5*k**2 + 6*k + 8. Let c be y(-4). Solve c = 8*o - 3*o - 15 for o.
3
Let a(m) = m - 4. Let g be a(4). Suppose l = -j - 3, 3*j - l - 31 = 4*l. Solve j = -g*u + u for u.
2
Let b(k) = k**3 + 3*k**2 - 2*k - 3. Let a be b(-3). Let l be 3*(11/a - 1). Solve 4*d + l + 12 = 0 for d.
-5
Suppose -5*s + 18 = -2*s. Solve -g + s*g - 15 = 0 for g.
3
Suppose -p - 4*p - 32 = -4*x, 3*x - p = 24. Suppose -y + 5 = -x. Solve 2 = 5*a - y for a.
3
Suppose 4*s + 4*c = s + 10, 5*s + c - 28 = 0. Solve -2*k = -s*k for k.
0
Suppose -c + 4*x + 5 = x, c + 9 = -4*x. Let b be ((0 - c) + 0)*2. Suppose -4*n + 3 = -3*r, -r + b = 3*n + 3. Solve d + d = n for d.
0
Let d(h) = h**3 - 7*h**2 + h + 3. Let l be d(7). Suppose -2*s - 2*a = -2, -6*s + s + 9 = 3*a. Solve -j = -s*j + l for j.
5
Let r(i) = -i**2 - 9*i + 4. Let a be r(-6). Let y(v) = -10*v**2 - v. Let w be y(-1). Let o = w - -15. Solve 4*k - a + o = 0 for k.
4
Let x(t) = 78*t - 3. Let v be x(2). Let d be 2/(-5) + v/45. Solve 0 = 2*g - d*g + 1 for g.
1
Suppose 0*m = 5*m - 10. Suppose 4*w + 3*v - 2 = 53, v - 25 = -m*w. Solve -2*k + 0*k = w for k.
-5
Let u(z) = z**2 - z + 3. Let x be u(0). Suppose -2*k + 13 = x. Solve -i - 4*i = -k for i.
1
Suppose 16 = -3*y - 3*n - 2*n, 3*n = 2*y + 36. Let o be (-1 - 5)*6/y. Solve -8 + o = -5*s for s.
1
Suppose 5*y - 5*p = 0, y = 3*p + 2 + 2. Let t(g) = g**2 - 5*g - 10. Let a be t(8). Let x = a + y. Solve -i = -5*i - x for i.
-3
Let k be (-5 - 5)/((-4)/14). Suppose 5*r - k = 40. Let i be r*(-1)/(1 - 2). Solve -i = 4*x + x for x.
-3
Let v be (-2)/(-7) - (-47)/7. Solve 0 = -2*g + v + 3 for g.
5
Let j = -11 + 13. Let v be (3 - (0 + 1))*j. Solve v = -2*r - 0 for r.
-2
Let t = 3 + 0. Suppose -6*o + 3*o = -t. Solve -a = -6 + o for a.
5
Suppose -220 = 6*u - 17*u. Solve 0 = l - 6*l + u for l.
4
Let k be 8 - 1/2*-2. Let z = k + -7. Solve p - z = 3 for p.
5
Suppose 4 - 5 = -w. Let o be (w + 1)/(2/7). Solve 2*j - 10 = o*j for j.
-2
Let q = 1 + -1. Suppose q = 6*z - 2*z - 20. Solve f - z*f - 20 = 0 for f.
-5
Suppose 6 + 0 = z. Suppose a - 6 = d - 4*a, 3*a = z. Solve -9*m = -d*m + 25 for m.
-5
Suppose 12*n + 12 = 18*n. Solve 3*s + n = 2*s for s.
-2
Suppose -30*o - 1 = -31*o. Solve -q + 3 = o for q.
2
Suppose v + 2 = 3*v + 2*y, 5*v - 13 = -y. Solve v - 7 = 4*s for s.
-1
Let u(g)