 for d.
4
Suppose v - 2 = 0, -4*m + 5*v + 67 + 3 = 0. Suppose -17 - 23 = -10*i. Solve -x - i*x = -m for x.
4
Suppose 8*q - 12 = 5*q. Let t be 0/(1 + 4/q). Solve t*l = -l + 5 for l.
5
Let t be 4 - 3 - 4/(-1). Let n be 0/(-2)*13/26. Solve n = 4*g + 3 + t for g.
-2
Let t(w) = -w**3 + 5*w**2. Let m be t(5). Solve l - 3 = -m for l.
3
Let c = 2 - -1. Let j = c + -1. Solve j*q + 1 = 3 for q.
1
Let t(w) = 2*w + 3. Let f be t(-3). Let b(j) = 3*j**2 + 3*j - 6*j + j**3 - j**2 - j. Let i be b(f). Solve i*o - 8 = o for o.
4
Let i(q) = -13*q**2 + 11*q - 7. Let t(j) = -3*j**2 + 3*j - 2. Let f(z) = 2*i(z) - 9*t(z). Let h be f(4). Solve -g = -h - 3 for g.
3
Let k = -18 - -20. Solve 0*n + k*n = 8 for n.
4
Suppose -73*f = -75*f. Let q = 2 + -2. Suppose 2*k + 3*h - 6 + 4 = q, 2*h = -k. Solve f = -j + k - 1 for j.
3
Let j(i) = i**3 - 4*i**2 + 5*i - 2. Let s(w) = w**3 + 8*w**2 - w - 5. Let c be s(-8). Let d be j(c). Solve -2*f = -d*f + 4 for f.
2
Let q be (3 - 18/(-6)) + -1. Solve 5*g + 10 = -q for g.
-3
Let u(n) = -n**2 - 5*n + 8. Let d be u(-6). Solve d*v + 0*v = 0 for v.
0
Suppose -7*o + 3*o + 16 = 0. Suppose -3*n - 15 = -o*d, -3*d + 2*n + 14 = 4. Solve d*u = 5*u - 15 for u.
3
Let q = 5 - 3. Let l = 8 - q. Suppose -10 = b - l*b. Solve -4*n = b + 2 for n.
-1
Let z(v) be the first derivative of 2*v**2 - 2*v - 2. Let c be z(-2). Let u = -3 - c. Solve u - 1 = -3*l for l.
-2
Let c(p) = -p + 1. Let j be c(-2). Suppose -5*r + j + 12 = 0. Solve 0 = -r*w - w + 16 for w.
4
Suppose q + 43 = 59. Solve 3*c + c - q = 0 for c.
4
Let b(q) be the third derivative of -q**6/120 + q**5/10 + 3*q**2. Let t be b(6). Suppose t = s + 2*s - 24. Solve 0*z + s = 2*z for z.
4
Let l = -2 - -2. Let g be -1 + 29*(l + 1). Suppose 4*t - g - 28 = 0. Solve -t = -4*o - 2 for o.
3
Suppose -2*i - 3 = -3*i. Solve -4*k + 1 = -i*k for k.
1
Let w be (-2)/6 + (-288)/(-54). Solve 7*r - w = 2*r for r.
1
Let c(m) = 3*m**2 + m - 1. Let v be c(1). Let u(h) = h**2 - h - 4. Let g be u(v). Solve -2 = g*q + 6 for q.
-4
Let x = 14 - 14. Suppose -b + 1 + 4 = x. Solve -5 = b*w - 25 for w.
4
Let b = -15 + 15. Let y(m) = m + 2. Let s be y(4). Suppose s = -q - 3*a, q + a = -0*q. Solve 0*o + o - q = b for o.
3
Let z = 1 - -15. Let c be z/2 - (4 - 2). Suppose 0 = -0*o + o - c. Solve i + 15 = o*i for i.
3
Suppose 4*g - 104 = u, -7 = g - 4*u - 48. Solve -5 = 5*q - g for q.
4
Suppose 0 = y - 6*y + 15. Solve -y*d + 8 = d for d.
2
Let k be (-2)/(-14) - (-34)/7. Suppose 0 = -5*v - r + 6, 4 = -4*r + 3*r. Suppose v*d - 30 = -k*s, s + 9 = d + 1. Solve 4*m = 6*m + d for m.
-5
Suppose 2*f - 4*j = f + 17, -3*j - 4 = f. Solve 0 = 4*i + 3 + f for i.
-2
Let k(p) = -p**3 + 7*p**2 + 1. Let l be k(7). Solve z - l = 4 for z.
5
Let p be (-99)/22*(-2)/3. Solve -8 + 2 = -p*m for m.
2
Suppose 4*r + 22 = -3*v, 29 = -4*r + 2*v - 3. Let h = 0 - r. Suppose 0 = -z - h + 19. Solve 2*p - 6*p + z = 0 for p.
3
Suppose 27 = -3*k + 6*k. Solve 21 = 4*s + k for s.
3
Let h(g) be the second derivative of g**3/6 - g**2 + 2*g. Let y be h(7). Let t be 2/(-5) + 4/10. Solve -y*b + 7 - 2 = t for b.
1
Suppose -j = -0*j - 8. Solve -j = -0*h - 2*h for h.
4
Let o = 7 - 7. Suppose 16 = 3*y - h, -5*y - 3*h - h + 4 = 0. Solve -3*k + y*k - 1 = o for k.
1
Let w be (-1 + 0)*(0 - 0). Let s be (-6)/24 + (-26)/(-8). Suppose w = 4*i - s*b - 4, -3*i + 32 = 5*b - 0*b. Solve k = -1 - i for k.
-5
Let k be 2/7 + 4/(-14). Let o = 18 + -13. Solve o*m + 16 + 4 = k for m.
-4
Suppose 5*i - 4*v = -9, i + 2*v = v. Let f be (-2 + 3 - 1)/i. Let b = -3 + 6. Solve -n - b*n = f for n.
0
Let z = -29 - -29. Solve z*j - j = 0 for j.
0
Let l = -36 + 11. Let o = 39 + -2. Let w = l + o. Solve -w = 3*i - 3 for i.
-3
Let h(l) = 3*l - 13. Let m be h(6). Solve m = -5*g - 0 for g.
-1
Let q(r) = r**3 + 6*r**2 + 6*r + 6. Let n be q(-5). Solve -3*f + 4 = n for f.
1
Suppose 0*h = 5*h + 2*a - 98, 0 = -4*h - a + 76. Suppose -5*x + x = 48. Let d be (h/4)/(x/(-16)). Solve -u - d = -3*u for u.
3
Let s(b) = b**3 + b**2 - b - 1. Let c be s(-1). Solve a = 1 - c for a.
1
Suppose -4*x + 33 = 3*l, 0 = -3*x + l + 52 - 11. Solve -4*g = -0*g + x for g.
-3
Let d(a) = 0*a + 17 - 3*a + 2*a. Let f be d(13). Solve 2*u = -2*u - f for u.
-1
Let q(n) = -n**3 + 7*n**2 + n - 5. Let h be q(7). Solve b = -b - h for b.
-1
Let d(w) = 0*w - 1 - 2 - 3*w. Let m be d(-2). Let c be 1*(0 - -1)*3. Solve m - 9 = -c*g for g.
2
Suppose f = 3*n - 1 + 10, f + 2*n + 16 = 0. Let k(i) = -i**2 - 6*i - 8. Let l be k(f). Let m = 9 + l. Solve -4 + m = 3*g for g.
-1
Let b = 4 + 0. Solve -6*z - b = -4*z for z.
-2
Suppose -p + 4 = 1. Solve -1 - p = z for z.
-4
Let t = -4 - -5. Solve 3 = 2*g + t for g.
1
Let r = 0 - -3. Let w(q) = q**3 + 0*q**3 - 6*q - 6*q**2 - 2*q**r - 2. Let d be w(-5). Solve d*z = -2*z for z.
0
Let j(n) = -3*n + 1. Let m(d) = 3*d - 2. Let b(v) = -3*j(v) - 2*m(v). Let w be b(8). Solve 0 = -7*r + 2*r + w for r.
5
Suppose 9*l + 4*q = 4*l + 25, -25 = 5*q. Let y = -7 + l. Solve 0 = -y*c - 3*c - 25 for c.
-5
Let x(n) = n**2 - 3*n + 2. Let l be x(2). Solve 2*h - 2 = -l*h for h.
1
Suppose 5*w = -15, -3*w + 1 = -x + 5. Let t(r) = r**3 + 4*r**2 - 4*r + 3. Let z be t(x). Let c be 1/1 - 2 - z. Solve 8 + c = 3*g for g.
3
Let i = -40 - -45. Solve 0*a - i*a - 5 = 0 for a.
-1
Let f(u) = -u**3 - u**2. Let q be f(-1). Suppose -4*a = -q - 4. Solve -1 = 2*l + a for l.
-1
Suppose -3*d + 5 = -2*d. Let h = d - 3. Suppose 3*o + z - 4 = 0, 7*o = h*o - z + 4. Solve -3*a + 0*a - 12 = o for a.
-4
Let i be 13/3 + (-1)/3*1. Solve -3*f + i = -2*f for f.
4
Suppose 0 = 6*v - 4*v. Suppose 4*r = -v*r. Let y be (6/15)/((-2)/(-30)). Solve t + t - y = r for t.
3
Suppose 0 = 2*c + 4 - 10. Solve 2*g = c*g + 3 for g.
-3
Let x(p) = -p. Let s be x(0). Suppose 3*q - 1 - 5 = s. Solve -20 = 2*v + q*v for v.
-5
Let d be (-3774)/(-187) + 4/(-22). Suppose -g = -2*c, -5*c - 3*g = -0*c - 22. Suppose 0 = 3*f + 5*u + 8, -3*f = u + c*u. Solve d = o + f*o for o.
4
Suppose -l + 0 = -2. Suppose -l*d + 0 = -2. Solve 2*w - 7 - d = 0 for w.
4
Suppose -4*d + 14 + 2 = 0. Let s = -17 + -1. Let r be (-10)/(-25) + s/(-5). Solve d*x = r + 4 for x.
2
Suppose -5*b - u = -2*b - 1, 3*b + 5*u - 5 = 0. Suppose -2*d + 3 + 5 = b. Solve -f - d = 3*f for f.
-1
Suppose -2*h = 3*t - 4, -5*t - 4 + 36 = -3*h. Suppose -6 + 50 = -t*x. Let n(s) = s**2 + 10*s - 9. Let y be n(x). Solve y*b = 3*b - 4 for b.
4
Suppose 5*m + 4*r + 22 = -20, 5*r = m + 20. Let w = m + 14. Suppose 2*z - 7 = -y, y + 8 = 2*z + 3*y. Solve 0 = -w*u + 5*u - z for u.
3
Let u = -271 + 276. Suppose 0 = -l - 2*c - 7, -3*l - 5 = -4*c - 14. Let q = l + 3. Solve -15 = -q*w + u*w for w.
-5
Let f be (22 - 4)*(-3)/(-9). Solve -d - f = -3*d for d.
3
Let t(i) = -i**3 + 7*i**2 - 6*i + 7. Let v be t(5). Let k be 32/18 + 6/v. Solve 0 = -0*h - h - k for h.
-2
Let h be (-16)/56 + 116/14. Solve -4 - h = 3*v for v.
-4
Let j(g) = -g - 1. Let h be j(4). Let n = 8 + h. Solve n*r = 8*r + 25 for r.
-5
Let s = -14 + 19. Solve 21 = s*x + 1 for x.
4
Let f = 5 + -5. Let n(y) = 10*y. Let c be n(1). Suppose -5*p + 2*b = c, 2*p + 0*p + 25 = 5*b. Solve p = -f*a + a + 1 for a.
-1
Let m(v) = 90*v. Let k be m(1). Suppose -4*c - 99 = a + k, -2*c - 87 = -a. Let w = -31 - c. Solve -j + w = -6*j for j.
-3
Let l be (-5 - 0 - 1)*-1. Suppose 5*n = -3*t - 2 - 1, l = -2*n. Suppose v = -2*v + 6. Solve 0*f = -v*f - t for f.
-2
Let p(z) be the first derivative of -z**4/4 - 13*z**3/3 - 6*z**2 + 12*z - 3. Let h be p(-12). Solve y = 4*y - h for y.
4
Let w = 1 + -1. Suppose y + 4*y - 12 = 2*p, -2*p + y + 4 = w. Let f be 2/8 - 1/p. Solve f = 3*n + 8 + 1 for n.
-3
Let r(l) = 4*l + 26. Let y be r(-6). Solve 3 = m - y for m.
5
Let a(t) be the third derivative of -t**5/60 + t**4/4 - t**3/3 + 10*t**2. Let l be a(4). Solve 0 = l*h - h for h.
0
Let f(y) = -7*y**2 + 16*y - 19. Let h(k) = -3*k**2 + 8*k - 9. Let w(g) = 2*f(g) - 5*h(g). Let m be w(7). Let n be 2 + 3 - (2 - m). Solve -n*i = i for i.
0
Suppose -w + a + 21 = 0, -w - 3*w + 90 = -a. Suppose 3*k - w = c - 2*k, -1 = -c - k. Let q = c - -6. Solve 0 = -d - q + 1 for d.
-2
Suppose -1 + 10 = 3*j. Let k = -1 - -1. Suppose k*z = z - j. Solve y = -2*y - z for y.
-1
Suppose -80 + 0 = 5*u. Let m = -13 - u. Solve -s + 1 = m for s.
-2
Let s = 2 - 0. Suppose -3*v - 9 = 0, -v + s*v + 3 = 2*d. Let k be (9/(-6))/(-3)*d. Solve -3*f + f + 6 = k for f.
3
Let t be 44