*d for d.
0
Suppose j + 15 = 5*m, -4*j + j = -2*m - 7. Solve 8*w - j*w = 0 for w.
0
Let x = 33 - 15. Solve -x = 4*k - 2 for k.
-4
Let r(k) = -k**2 - 8*k - 4. Let m be r(-7). Suppose -36 = -4*c - 5*c. Solve -x + m*x + c = 0 for x.
-2
Let f = -37 + 37. Solve 0 = 3*q - f + 3 for q.
-1
Let k = -6 + 6. Let f = -5 + 5. Solve f = -k*u - u for u.
0
Let a(s) = 14*s + 11. Let v(d) = -5*d - 4. Let g(m) = 6*a(m) + 17*v(m). Let k be g(-4). Solve -k*b + 0 = -4 for b.
2
Suppose s + s = 8. Suppose -2*r + 5*c = 1, 5*r - 5*c + 2 = 7. Let g = 2 - r. Solve -s = u - g for u.
-4
Let l(y) be the first derivative of -y**3/3 - 5*y**2/2 + y + 4. Let b be l(-4). Solve 3 = -b*i - 7 for i.
-2
Suppose 5*b - 10 = 55. Solve b = 4*z - 7 for z.
5
Let p(d) = d - 1. Let n be p(7). Suppose -r - r = -n. Suppose 5*i + 2*h = -2*h + 36, -r*i + 4*h = 4. Solve 1 = q + i for q.
-3
Let j = -3 + 6. Suppose -5*p + j*o = -97, 1 = -3*o + 4. Solve -q + p = 3*q for q.
5
Let t be -2*(-4)/6*6. Suppose 5*o = o + t. Solve 5*b = -o - 3 for b.
-1
Let d(h) = h + 3. Let x be d(5). Suppose 5*l - 24 = 2*l. Let s = x - l. Solve s = -0*c - 5*c - 25 for c.
-5
Suppose -13*v = -16*v. Solve v*s = 4*s for s.
0
Suppose 2*r = 2*n, -3*n - 2*r = -0*r - 20. Suppose -g + 2 = -0*g. Solve g*b + n = -6 for b.
-5
Suppose -4*t = -2*x + 4*x + 4, 0 = 3*t + 9. Solve 2*g = -x - 2 for g.
-3
Suppose 12 = -2*y + 4*q, 2*y - 8 = -q - 0. Let u(i) = i**3 - 3*i**2 + 3*i - 2. Let h be u(y). Solve h*m + m = 1 for m.
1
Suppose 6 = -3*k + 6*k. Solve -k*b = 3*b - 5 for b.
1
Suppose 1 - 10 = -3*u. Suppose -2*s - 40 = u*s. Let g = 13 + s. Solve n = g*n - 12 for n.
3
Let y = 3 - -1. Suppose -4*x = -2*p + 6, y = -4*p + 16. Let q = 0 + 4. Solve x = 8*l - q*l - 12 for l.
3
Let i(q) = q**2 + 0*q - 7*q + 0*q - 12. Let y be i(9). Solve w - 1 = -y for w.
-5
Suppose 5*l = 10 + 10. Let j = -2 - -7. Solve -l = i - j*i for i.
1
Suppose t - 4*v + 17 = 0, 3*v = 2*t + 3*t. Solve -5 = t*b + 10 for b.
-5
Let a(m) be the third derivative of m**5/60 + m**4/6 + m**2. Let q be a(-4). Solve q = d - 2*d for d.
0
Suppose -2*d = -3*n - 5*d + 3, -3*n - d + 9 = 0. Solve -n*x + 12 = 4 for x.
2
Let w = 157 - 154. Solve 0*l = 3*l + w for l.
-1
Suppose -c - 11 = -2*v + v, 3*c = 5*v - 57. Let s = v - -4. Let o be 3*(-2 - s/(-6)). Solve 4*u = o*u + 6 for u.
3
Let m be 1 - (-2 + 6)/(-4). Suppose -8 = m*j - 12. Solve 2*b - 20 = -j*b for b.
5
Let b(u) = u**2 + u + 4. Let y be b(-4). Let r be 8/(-6)*3/(-1). Let v = 13 - r. Solve -y - v = 5*k for k.
-5
Let h = -17 - -17. Solve -2*d - d + 9 = h for d.
3
Let o = -4 - -4. Suppose o = 17*f - 19*f. Solve 6 = -2*v - f for v.
-3
Suppose 2*i - 3*h = 2*h - 23, 0 = 5*h - 25. Solve -f - i = 1 for f.
-2
Let y be (27/15)/(18/60). Solve -r = -4*r + y for r.
2
Suppose 0 = y - 6*y - 20. Let o be 1*y + 2 + 4. Suppose 2*j + o*t = -3 - 1, -5*j - 7 = 4*t. Solve b + j = -2 for b.
-3
Let u(h) = -3*h. Let s be u(-2). Suppose -s*m = -4*m. Let b(i) = i**3 + 7*i**2 + 5*i - 5. Let c be b(-6). Solve -c = -w - m for w.
1
Suppose -14 = -r - 0*r + 4*l, 0 = l + 3. Suppose v = -r*v. Suppose -6*a + 3*a = -15. Solve -a = -5*f - v for f.
1
Let o(i) = 3*i - 4*i + 3*i - 4*i. Let l be o(-1). Solve 0 = -5*r + 3*r + l for r.
1
Let n = -5 - -1. Let f = n - -6. Suppose f*j - 5 = -t, 4*t = -2*j + 4 + 4. Solve w = -w - j for w.
-1
Let p(l) = l - 1. Let h be p(3). Suppose -h*j = -0*j - 18. Let s = 1 - 1. Solve -3*f + 6*f + j = s for f.
-3
Let a = 6 + -1. Solve -4*i - i + a = 0 for i.
1
Let r be (-6)/(-4) - (-9)/6. Let t be (-5)/(-2)*(-88)/(-110). Solve -t*a = a - r for a.
1
Let x(u) be the third derivative of u**6/120 - 2*u**5/15 + 7*u**4/24 + 2*u**3/3 - u**2. Let n be x(7). Suppose -n*o + 27 = 7. Solve y = -0*y - o for y.
-5
Let p(y) = y**2 - 1. Let g be p(4). Solve 0*l - 3*l - g = 0 for l.
-5
Suppose 0 = -18*s + 19*s - 27. Let h = s - 19. Solve -2*y - h = -4*y for y.
4
Suppose 5*r + 12 = 42. Solve 0*k + r = -3*k for k.
-2
Let s be 2*3/(-6) + 13. Let z = -7 + s. Solve -z*y + 2*y = 15 for y.
-5
Suppose 4*w - 3*a - 11 = 0, 5*w + 3*a - 8 = -1. Let d be (1/2)/((-6)/(-24)). Let t = d - w. Solve t = -2*k + 12 - 4 for k.
4
Let l(b) = -b**3 - 8*b**2 - 10*b - 10. Let i be l(-7). Suppose -5*f + i + 16 = t, -10 = -2*f. Solve -t*j = -7*j for j.
0
Let w(v) = v**3 - 15*v**2 + 15*v - 9. Let a be w(14). Solve -a*x = -1 + 21 for x.
-4
Suppose 2*n - 3*n = 0. Suppose 3*c - q - 6 = n, c + 1 = -2*q + 3. Solve -4*g = -c*g + 10 for g.
-5
Let c = -9 + 15. Suppose 20 = c*s - s. Solve -3*x = -x + s for x.
-2
Suppose -d = -6*d + 10. Suppose -1 = -d*t + 3. Suppose j - 4 = -4*k - 5, -5*j = 4*k - 11. Solve -3 = -t*r + j for r.
3
Suppose 7 = 5*f - 3. Let h = f - 0. Solve -k + h*k = -3 for k.
-3
Let z = 0 + 2. Let t be 0 - (8/(-4) + -18). Let n = -17 + t. Solve z*l + n = 3*l for l.
3
Let j(g) = g**2 - 4*g + 5. Let k be j(2). Let x(v) = 2*v**2 - v. Let b be x(k). Solve 3*y + 8 + b = 0 for y.
-3
Suppose -375 = -2*k - 371. Solve 8 = k*l + 4 for l.
2
Let d(v) = 4*v - 1. Let p be d(-2). Let w be 1/(3/p*-1). Suppose -15 = -w*l - 3*y - 0*y, 0 = 5*l + y - 13. Solve -l*s - s = 3 for s.
-1
Let x(a) = a + 1. Let t be x(2). Let n = -1 - -1. Let f = t + n. Solve 2*b - f - 1 = 0 for b.
2
Let d = 0 - 0. Let m(y) be the second derivative of -y**5/20 - y**4/12 + y**3/3 + y**2 - y. Let r be m(-2). Solve -q + r*q = d for q.
0
Let w(s) be the first derivative of s**2/2 + 8*s - 1. Let q be w(-4). Solve q*n + 0*n = -8 for n.
-2
Let h(c) = -c**3 - 4*c**2. Let l be h(-4). Let n = 20 + -12. Suppose l*r + r - 13 = -3*o, -4*o + n = -r. Solve -4*t - 1 = -o*t for t.
-1
Suppose u - 15 = -2*u, -4*n = 4*u + 88. Let a = -14 - n. Suppose 5*c - a = 7. Solve -c*m + m - 3 = 0 for m.
-1
Suppose 0 = -3*m + 4*r + 1, -3*m + 5*r = -0*r + 4. Suppose 5*x - 5 = 5, 0 = -2*y - 2*x + 12. Let q = m - y. Solve -6*a - 12 = -q*a for a.
-4
Let y(b) = 6*b**2 + 51*b + 25. Let f(d) = d**2 + 10*d + 5. Let q(n) = -11*f(n) + 2*y(n). Let i be q(9). Solve 0*r + i = -r for r.
-4
Let u(a) = a**3 + 9*a**2 + 7*a - 4. Let w be u(-8). Solve -w*s = -9*s + 10 for s.
2
Suppose 4*t - 4*a - 12 = -a, 0 = -t - 3*a + 3. Suppose z - 1 = 2. Suppose -3*r + z = -0*r. Solve t + r = g for g.
4
Let i(v) = -6 - 4*v - 6 + v**2 + v + 6. Let k be i(5). Solve -k*h + 5*h = 4 for h.
4
Suppose 5*c - 2*c = 0. Let i be (1 + 4 - 1) + 1. Suppose 3*y - i - 1 = c. Solve 6*g = y*g - 4 for g.
-1
Let w(d) = -5*d - 10. Let a(r) = r + 1. Let c(o) = 6*a(o) + w(o). Let s be c(6). Solve t = s*t - 3 for t.
3
Let a = 34 + -34. Solve a*h - 3*h = 0 for h.
0
Let w(x) = -14 + x**2 - 3*x**2 + 10*x + 3*x**2. Let y(o) = o**2 + 11*o - 15. Let a(c) = 6*w(c) - 5*y(c). Let h be a(-7). Solve 18 - 3 = -h*p for p.
-3
Let i = 0 - -3. Suppose 13 = 2*j - 5*q, 7*j + 3*q - 13 = i*j. Solve 0 = j*h - 2*h + 10 for h.
-5
Let n be ((-30)/8)/((-12)/16). Solve -a = -0*a + n for a.
-5
Let u(m) = -4*m - 2. Let w be u(-2). Let n(c) = -c**2 - 4*c. Let d be n(-6). Let s be (-8)/w*d/8. Solve 0*a = -s*a + 4 for a.
2
Let j = -7 + 11. Solve -t = -2*t + j for t.
4
Suppose -15*v + 14*v = -2. Solve v*c = 5*c + 12 for c.
-4
Let o(p) = p**3 + 9*p**2 + 9*p + 10. Let w be o(-8). Let b(x) = 4*x + x**3 + 0*x**w + 4*x**2 - 4 - 11*x. Let c be b(-5). Solve 0 = -i + c - 1 for i.
5
Let k = -4 - -7. Suppose -k*r = -u - 23, 3*r + 2*u - 19 = 7*u. Solve 2 = 3*q + r for q.
-2
Suppose -5*c - 15 = 3*y + 2*y, 3 = -4*c - y. Solve 16*b - 15*b - 5 = c for b.
5
Suppose -1 = 5*h - 6. Solve 4*c - 5 = -h for c.
1
Let i = 70 - 54. Suppose 4*f - 16 = -0*p + 4*p, 4*p = 2*f - 8. Suppose 5*z - 3*w = -8 - f, 4*z + w = 4. Solve -i = -z*j - 4*j for j.
4
Let d be 2/(5/10 + 0). Solve 2*s = d*s for s.
0
Suppose 5*j = -4*l + 31, -j + 0 = -5*l + 17. Suppose q + 12 = l*q. Solve 0 = -b - q*b for b.
0
Suppose 4*y + y + 4*a - 32 = 0, -2*y - 1 = -3*a. Let t(f) = 3*f - 12. Let c be t(6). Solve -y*h + c*h = 4 for h.
2
Let t(l) = 9*l - 12. Let m be t(2). Solve -5*c = -m*c - 4 for c.
-4
Let k be 18/12 - 1/(-2). Suppose -4*m = -2*i - 8, -k*m = -4*m + 6. Solve -i*x = -0 + 8 for x.
-4
Suppose 2*z = 6*z. Let b = 3 + z. Solve -4*i + b*i = 4 for i.
-4
Let r = -15 - -27. Solve -2*a = -6*a - r for a.
-3
Let n = 8 + -12. Let f = n + 4. Let a(o) = -o**2 - 6*o + 4. Let j be a(-4). Solve f = 3*u - 6*u - j for u.
-4
Let y be 2 + 4*2/(-2). Let b be ((-6)/(-3))/y*0. Let l(q) = -q**2 + 8*q - 9. Let m 