 2 + 4 = d + a. Suppose 3*r = -15, 0 = d*v - 4*r + 3*r - 15. Solve 0 = 6*y - v*y - 4 for y.
1
Let w = -34 - -34. Solve w*g - g - 1 = 0 for g.
-1
Let b(a) = a**2 - 8*a + 10. Let l be b(7). Suppose -l*o + 7 = 1. Solve -o*y = 2*y for y.
0
Suppose -19 = 4*p + 5. Let o be 3 - (-2 - (1 + p)). Let l be (0 - 1) + (-4)/(-2). Solve -b - l + 3 = o for b.
2
Let x be (-4)/1*(-16)/32. Solve -b - x*b = 12 for b.
-4
Suppose -3*v = -3*w + 24, 7*w - 8*w - 4 = 3*v. Suppose 0 = -2*h - 2*p - 6, -3*h + 3*p + 15 = -0*p. Let c be h/1 + (-2)/2. Solve w*q + 7 - 27 = c for q.
4
Let g = 38 + -36. Solve 0 = -4*c + g - 10 for c.
-2
Suppose -3*s + 4 = -2. Let x be (-7)/(-3) + (-14)/(-21). Suppose x*y - 15 = 9. Solve -2*c = s*c + y for c.
-2
Let x(o) = -4*o + 5. Let q be x(0). Let r = 1 + 0. Suppose 0 = -m + 3 + r. Solve 0 = -m*n + 11 + q for n.
4
Suppose b - 4 = 4*j - 16, 5*b = 4*j + 4. Solve -d + j = -3*d for d.
-2
Suppose -5*t = -0*t - 5. Suppose -4*i - 2*v - t = -v, 0 = 2*i + 4*v - 10. Let u be (-1)/5 + i/(-5). Solve -3*r = -u*r + 6 for r.
-2
Let j be 15/12 + (-3)/12. Solve -j = 3*s - 10 for s.
3
Let u be (-2)/(4 - 2)*0. Suppose -2*k + u*k = 0. Suppose -8 + 32 = 2*c. Solve 2*v + c - 2 = k for v.
-5
Suppose -4*u + 14 = -k, k + 3*k + 8 = 4*u. Solve u = -5*c - 16 for c.
-4
Let q be 1 - (-4 + 9 - 8). Solve q*n + 0 - 20 = 0 for n.
5
Let t be ((-18)/(-4))/9*4. Solve -t*d + 9 = 3 for d.
3
Suppose 3*j - 3 + 18 = 0, 2*b - j = 5. Solve -g + 0*g - 4 = b for g.
-4
Suppose 0 = -2*r - 0*u - 4*u + 28, -r - 4*u = -22. Suppose 2*v - 2*c = -5 + 1, c = 5*v - r. Solve -v - 7 = -3*a for a.
3
Let m = -58 + 62. Solve 0 = -0*s - m*s for s.
0
Let x = -25 + 27. Solve -x*l + 4*l = 8 for l.
4
Let z(t) = t - 9. Let s be z(14). Suppose -5*u = -s*k, -2*k + 5*u = -0*u + 15. Solve 2*v - 3 = -k for v.
-1
Let m = 92 + -85. Solve m*s + 16 = 3*s for s.
-4
Let h = 10 - 7. Suppose 0 = y + 3*p + 2 - h, -y = -4*p - 8. Suppose l = y*l - 6. Solve c + l*c = 9 for c.
3
Let s be (-2)/(-7) - 132/21. Let r be 1*3 - (s - -7). Solve -6 = 4*l - r for l.
-1
Suppose 0 = 2*r - 2 - 6. Solve r*n = n - 6 for n.
-2
Suppose 23 - 3 = 5*p. Suppose -5*r = 0, -5*j + 0*r - 5*r + 10 = 0. Suppose -j*k = -0*k - 8. Solve -p - 8 = k*u for u.
-3
Let s(p) be the first derivative of -p**4/4 - 7*p**3/3 - 7*p**2/2 - 4*p - 7. Let m be s(-6). Solve -j + 6 = m*j for j.
2
Let q = -3 - -6. Suppose 0 = -3*j + 2*u + q*u + 26, j - 4 = 4*u. Let k be 8/(-14)*(-42)/j. Solve 0 - 8 = -k*m for m.
4
Let i be 4 - 3/(9/(-6)). Solve 3 = -3*o - i for o.
-3
Let j = 6 + -19. Let x = 19 + j. Solve -5*w + x = -4 for w.
2
Let g be -2 + ((-12)/4 - -5). Solve -n = -g + 3 for n.
-3
Let s = 27 + -24. Let k be (3 + s)/(-2) + 4. Solve 4*t + 9 = k for t.
-2
Suppose 22 = 5*w - 2*s - 17, -2*s + 3 = w. Solve 3*n - w = -1 for n.
2
Let g be (-4 + 5)*(-6)/(-2). Solve 5*u + g = -7 for u.
-2
Let d be -2 - ((-2)/(-2) + 2). Let u(b) = b**3 + 4*b**2 - 6*b. Let h be u(d). Solve h*p = 3*p for p.
0
Let u = -55 - -59. Solve 0*f + u*f = 0 for f.
0
Let u(z) be the first derivative of z**2/2 + 6*z - 7. Let l = -7 - -3. Let o be u(l). Solve -10 = 4*i + o for i.
-3
Suppose 0 = 5*b - 0*b - 10. Let w = -16 + 26. Let g be (24/(-20))/((-4)/w). Solve f = -b*f + g for f.
1
Let b(v) = 2*v**2 - 2*v. Let u be b(2). Suppose 2*d + 3*p = 6*p + 135, 3*d = -u*p + 160. Let z be ((-1)/3)/((-5)/d). Solve -2*n - z = -0*n for n.
-2
Let m = -51 + 57. Solve v = m - 1 for v.
5
Suppose -l - 4*l - 5 = 0. Let s = 3 + l. Let r = s + -2. Solve 3*f + r = 3 for f.
1
Let t(l) = -3 + 2*l - 1 + 5*l - 1. Let x be t(2). Solve h - x = 4*h for h.
-3
Let s be (-5 + (-9)/(-2))*0. Solve -n - 5 = -s for n.
-5
Suppose 5*i = -3*l - 76, -i + l = 5*l + 22. Let x = 34 + i. Solve 0 = 6*y - y + x for y.
-4
Suppose -2*f + 3 - 1 = 0. Let r be 0/f*6/(-12). Suppose r*y - 5*y = -3*o + 3, -5*o = 2*y - 5. Solve y = i + 2*i + 15 for i.
-5
Suppose -5*x + 0 = 4*b + 2, x = 4*b + 14. Suppose 2*u - 3*f - 7 = 0, -3*u - 6*f + 19 = -x*f. Solve 4 + u = -3*j for j.
-3
Let w(g) = -2*g**2 - 35*g - 11. Let b be w(-17). Solve 2 = 4*m - b for m.
2
Let i be (4 + -6)*(2 + -3). Solve 3*f + i*f = 0 for f.
0
Let y be (3*-1)/((-27)/36). Solve b - 2 = -y for b.
-2
Let o be (-4)/(-10) + 52/20. Suppose 5*y = -i + 19, 4*y + o*i - 21 = 3. Solve -9 = -3*j + y for j.
4
Suppose y + 2*y + 3*p - 27 = 0, 0 = -2*y + 4*p. Solve y = 5*t - 9 for t.
3
Let z be (-52)/(-9) - 6/(-27). Let q be (3/(-2))/((-3)/z). Solve 12 = w + q*w for w.
3
Let i(u) = -u + 11. Let f be i(6). Suppose -f*o = -0*o. Solve -3*j + o + 9 = 0 for j.
3
Suppose -7*b = b. Let c = 31 + -20. Let s = c + -7. Solve b*w - 4 = -s*w for w.
1
Let o(x) = x - 4. Let h be o(-3). Let t = -5 - h. Solve -z = -1 - t for z.
3
Let y = 13 - 8. Suppose -y*w + 9 = -6. Let l = w - 1. Solve -l = n + 1 for n.
-3
Let i(j) = j**3 - 24*j**2 + 24*j - 22. Let c be i(23). Solve 3*d = c + 5 for d.
2
Let h(c) = 3*c - 1. Let r be h(4). Solve -3 = 2*p - r for p.
4
Let y be 14/10 - (-12)/(-30). Solve -v = -y - 2 for v.
3
Let g(b) = b**3 + 12*b**2 - 11*b + 26. Let m be g(-13). Solve m = 9*u - 6*u + 3 for u.
-1
Let t = -2 + 0. Let k(h) = 2*h**2 + 2*h - 2. Let s be k(t). Solve 0*y + y = -s for y.
-2
Let v be 1/((3/3)/1). Solve v + 3 = 4*a for a.
1
Suppose 5*p + 5 = u, -4*u = -5 - 15. Suppose p = -5*n + g + 70, 0 = -3*n + 5*g + 5 + 15. Solve 2*o = -o + n for o.
5
Suppose -4*g - 2 = -10. Suppose 3*n - g*l - 8 = 6, -5*n - 5*l = -40. Let x = -1 - -4. Solve x*b + 6 = -n for b.
-4
Let r = 75 + -71. Solve -18 + 6 = -r*u for u.
3
Suppose 4*o - 55 = -o. Suppose -2*f - o = -3*m, f + 0*f + 13 = 4*m. Solve m - 4 = -h for h.
1
Suppose -2*q + 4 = -4. Solve j = -q*j for j.
0
Let r = 14 - 12. Let b = -4 + 9. Solve -b*q - r - 23 = 0 for q.
-5
Let c(q) = -q**3 - 3*q**2 + 1. Let w be c(-2). Let o(k) = -k**2 - 2*k + 4. Let n be o(w). Let y(u) = 10*u - 1. Let g be y(n). Solve g = -5*j - 1 for j.
-2
Let v = -5 - -15. Let z = -6 + v. Solve z = 2*n - 0*n for n.
2
Let y(v) = v**2 + 3*v + 4. Let z be y(-3). Let l = z + -2. Solve -l*q + q = 5 for q.
-5
Suppose -106 = -5*z - 91. Solve -z*t - 1 = 5 for t.
-2
Let o(l) = -l**3 - 7*l**2 - 7*l + 6. Let u be o(-6). Suppose 3*h = h + u. Solve 3*j = -h + 3 for j.
-1
Let t = 17 + -12. Solve -29 + 9 = t*g for g.
-4
Let y be ((-30)/25)/((-3)/(-5) + -1). Solve -2*o = -y*o - 4 for o.
-4
Let g(u) = u**3 + 7*u**2 - u - 8. Let i be g(-7). Let l be 2/2 + i + 3. Suppose -5*x + 36 + 14 = 0. Solve x = -2*v - l*v for v.
-2
Let g be (-20)/(-3) + 2/(-3). Let y = -2 - -6. Suppose 3*f = y*v - 14, 10*f - 5*f + 20 = 5*v. Solve g*k = v*k + 8 for k.
2
Let y(g) = -g - 2. Let o be y(-6). Suppose 3*t + 9 = 3*z, 3*t - 3*z + o = -z. Solve b + t = -b for b.
-1
Let w be ((-3)/2)/((-21)/56). Solve -2*n + n - w = 0 for n.
-4
Let x(y) = 12*y - 1. Let s be x(1). Let c = -7 + s. Suppose 0 = 4*r - 8*r. Solve -c*i - 1 - 15 = r for i.
-4
Suppose 7*s - 8*s = 10. Let r = -8 - s. Solve 0 = -r*u - u - 9 for u.
-3
Let m(q) = q**2 + 6*q + 3. Let o be (-3)/4 + 105/(-20). Let r be m(o). Solve r*x + 3 = -3 for x.
-2
Let m = -8 - -12. Let r(n) = -m + 3 + n + 9. Let j be r(-8). Solve 3*t = 6 - j for t.
2
Let h(s) = -s**3 + 8*s**2 + s + 2. Let n be h(8). Suppose -4*b + 4*k = 2*k + n, -2*b + 5 = k. Suppose 4*j - 2*j - 6 = b. Solve 3 = j*x - 4*x for x.
-3
Let v = -30 - -45. Solve -4*p - v = p for p.
-3
Let q be ((-25)/(-2))/(18/36). Solve -q = -0*v + 5*v for v.
-5
Suppose 13*k + 12 = 9*k. Let l be 0*(2 - (-3)/k). Solve 3 = -l*t - t for t.
-3
Suppose 3*k = -2*k + 80. Suppose -k = 3*p - 5*p. Suppose -p = 2*u - 4*u. Solve -6*h = -u*h for h.
0
Suppose 11*h = -h. Solve h = 3*v - 5 + 14 for v.
-3
Suppose -12*z = -13*z + 4. Solve 3*b - 1 = z*b for b.
-1
Let g = 54 + -49. Suppose 8*s - 3*s = 10. Solve s*c + 6 = g*c for c.
2
Suppose 3*z + r = -z - 4, 2*z = -r - 4. Solve -3*m - 3 = -z for m.
-1
Let f be 35 - (0 - -2 - 2). Suppose f = -0*r + 5*r. Let q = r + -4. Solve 0*g = -q*g + 3 for g.
1
Let s(t) = t - 7. Let u be s(5). Let v(a) = -a**2 - 3*a - 1. Let o be v(u). Suppose -4*j + 3*d + 15 = 0, -j - d = 3*d + o. Solve 2*f + 9 = j for f.
-3
Let i(j) = j**3 - j**2 + 4. Let k be i(0). Let t = k + -2. Solve 2*f = 8 + t for f.
5
Suppose -i - 3*i = -8. Solve i + 7 = 3*j for j.
3
Suppose 0 = -3*q - 399 + 1827. Let t(r) = -r**2 + 21*r - 18. Let g be t(18). Let v be q/g - (-2)/(-9). Solve 4*k + 7 = -