x be m(-3). Solve -w = x*w - 15 for w.
3
Let p(w) = -5*w + 6. Let y be p(-5). Let a be 6 + 6/((-6)/2). Solve 11 - y = a*v for v.
-5
Suppose i - 8 = -i. Suppose i*g + 4*x = 12, 0 = -2*g - 5*x + 10 - 1. Solve 0 = g*c - 0 + 10 for c.
-5
Let u(i) be the first derivative of 1/2*i**2 + 3 + 0*i. Let m be u(0). Solve m = -0*k + k for k.
0
Let w be (3/2)/(3/8). Let v = 103 - 95. Solve -w*x + 0*x - v = 0 for x.
-2
Let y be 0 - -27 - -1 - 69/23. Let w = 23 - 13. Solve -3*v - y + w = 0 for v.
-5
Let i be (-12)/(-42) + 99/21. Solve 2*n - 1 = -i for n.
-2
Suppose -5*n - 20 = 4*a - 8*a, 5*a = 4*n + 16. Suppose -3*r - 2*r = -30. Suppose -r*c + c = -15. Solve a*p - c*p = -15 for p.
5
Suppose 3*a - 39 = 2*x + 14, 2*a - 29 = -5*x. Solve 3*b = 8 - a for b.
-3
Let t be 47/6 + (-13)/(-78). Let y(x) = x**3 - 9*x**2 + 10*x - 10. Let k be y(t). Solve 3*j = k*j - 9 for j.
3
Suppose -2*h = -5*a + 6, -5*a - 4*h = -4 + 16. Suppose -5*y - 16 + 1 = a. Let x = y - -8. Solve -x*j = 33 - 8 for j.
-5
Let u = -3 + -3. Let y be u/12*(0 + 0). Suppose -2*d = -y*d - 8. Solve -d*c + c = 0 for c.
0
Suppose u + 1 - 8 = -5*g, 3*g + 6 = -4*u. Suppose 25 = 4*n + 3*y, -y - y - 2 = -g*n. Solve 4 = 2*h - n*h for h.
-2
Let n be (-5 + 3 + 2)/(0 + 1). Solve n = -5*y + y for y.
0
Suppose -4*v - 20 = -8*v - 4*d, 2*v + 20 = 4*d. Solve v = g + 2 - 1 for g.
-1
Suppose 0 = 9*k - 0 - 18. Let d be (6/(-4))/(6/(-16)). Suppose 15 = -q + d*q. Solve -k = n - q for n.
3
Let y(j) = j**2 + 4*j**3 - 1 - 3*j**3 + 0*j**2. Let w be y(1). Let s = -734 + 738. Solve 0 = -s*c + w - 17 for c.
-4
Let m = 5 + -1. Solve m*x + 22 = 2 for x.
-5
Let t(y) be the third derivative of y**6/120 + 2*y**5/15 - 11*y**4/24 - 13*y**3/6 - 4*y**2. Let z be t(-9). Solve 6*v - v + z = 0 for v.
-1
Let x be -1*((-3)/3 - 3). Solve x*n + 0 = -20 for n.
-5
Suppose -3*w - 4*o = 13, 8 = -3*w - 0*w + o. Let f be (0 + w + 3)/4. Solve f*z = z + 1 for z.
-1
Let d = 18 - 12. Suppose 2*h + 0 - d = 0. Solve -12 = -0*b - h*b for b.
4
Let k(p) = p**2 + 3*p - 2. Let h be k(1). Solve -i = h*i for i.
0
Let q(h) = -h**3 + 5*h**2 - 4*h. Let v be q(4). Solve 0 = -b - v*b for b.
0
Suppose 0 = 2*g - 5*g + 6. Suppose 0*q - g*p = -2*q + 8, 0 = -q + 2*p + 5. Solve 0 = -0*l + q*l for l.
0
Let u be (12 - -8) + 1/(-1). Suppose -5*b + u + 31 = 0. Solve -p - b = -6*p for p.
2
Let h = -14 - -15. Let m be 5/h + -1 + -1. Solve m*j = j for j.
0
Suppose -75 - 175 = -5*r. Suppose 0 = 5*u - 0*u - r. Solve 2*a = -0*a - u for a.
-5
Let r(w) = -w**2 + 4*w + 9. Let d be r(7). Let b = d - -20. Solve -5*n = -b - 12 for n.
4
Let l(r) = -r**2 + 6*r + 5. Let q be l(5). Let z = q + -4. Solve -s = -3*s + z for s.
3
Suppose -3*m - 4*t + 19 = t, -25 = -5*m - 5*t. Let f be (0 + 1)/(m/18). Suppose 3*i = f*i. Solve i = -4*u - 5 - 3 for u.
-2
Let h(u) = -u**3 + 4*u**2 - u - 1. Let g be h(2). Solve 4 - 9 = g*z for z.
-1
Let s(u) = -4 - 4 + 0*u**3 - u**3 + 9*u - 9*u**2. Let o be s(-10). Solve -2*m + 6 = o for m.
2
Suppose 0 = -4*k + 20, 3*j - 8 = 4*j - 4*k. Solve j = 2*d + 2*d for d.
3
Let x(r) = r**2 - 2*r - 1. Let s be 2/3*27/6. Let v be x(s). Solve v = 2*a - 4 for a.
3
Let t be (14/(-4) - -1)*-2. Let u(y) = -3*y - 8. Let x be u(-7). Suppose 2*n - x = 1. Solve -t*p + 8 = -n for p.
3
Let z be 3/(9/102) - -3. Let s = -22 + z. Let q = s + -5. Solve q = v + v for v.
5
Let c be 19 + (-3 - 1*-2). Suppose -5*y = -0 + 40. Let t be y/6*c/(-12). Solve -4*m - t = -3*m for m.
-2
Let t = 11 + 4. Solve -t = y + 2*y for y.
-5
Suppose -6*z = -2*z. Let k = 10 + -7. Solve a + k = -z for a.
-3
Let u(p) be the third derivative of p**5/60 - p**4/8 - p**3/6 + p**2. Let h be u(4). Suppose z + h = 7. Solve 0*w - w - z = 0 for w.
-4
Suppose -u = 4 - 6. Let o(j) = j - 5. Let k be o(5). Solve u*n - 2 = -k*n for n.
1
Let o(r) be the first derivative of -r**2/2 + 2*r - 4. Let u be o(0). Solve 4 = -l + u*l for l.
4
Suppose -1 = -y + 1. Suppose y*x - 7*x + 10 = 0. Suppose 4*p - 2 = 5*l, -3*l + 7*l - 2 = x*p. Solve 2*q = p*q for q.
0
Suppose 2*f = 4*f + 3*q - 4, 0 = 4*q. Let n = f + -2. Suppose -4*a + k = -a - 14, -a - 2*k = n. Solve 0 + a = -4*x for x.
-1
Let y(m) = -m + 11. Let s be y(-8). Solve -7 + s = 4*c for c.
3
Suppose 2*k - 7*g + 3*g = -4, -4*g = -12. Let j be (9/6 + -1)*k. Suppose -n = j*n - 15. Solve 11 + 4 = n*d for d.
3
Let q(n) = n**2 + 19*n - 18. Let o be q(-20). Solve z = -o*z + 12 for z.
4
Let i = 39 + -35. Let g = 0 - 1. Let f = g + 8. Solve 1 = -i*o - f for o.
-2
Let r be -2 - (-3)/(6/4). Solve r - 4 = k for k.
-4
Let i be (6/2)/(1/(-5)). Let l = i - -15. Solve 5*q + 0*q + 15 = l for q.
-3
Suppose 27 = 3*q - 48. Let c(o) = o**3 + 7*o**2 - o - 7. Let z be c(-7). Solve z = p - 6*p + q for p.
5
Let q(v) be the first derivative of -v**2/2 + v - 2. Let g be q(1). Let f = -1 - -3. Solve -f*c - 6 = -g for c.
-3
Suppose -k - 2*r + 7*r - 2 = 0, 3*k - 5*r = 14. Solve 0 = -i + 3*i - k for i.
4
Let b(i) = -i**3 + 7*i**2 + 7*i + 10. Let v = 19 + -11. Let o be b(v). Solve -o*j = 3 + 5 for j.
-4
Suppose -5*v = -10*v + 25. Solve -c = -0*c - v for c.
5
Suppose -r - 29 = -4*n + 14, -212 = 4*r + 4*n. Let g be 5*(r/(-15) + -3). Solve -j = -0 - g for j.
2
Suppose 3*i - 5*v + 1 = -12, -2*v + 9 = -5*i. Let w be i/(-2)*(-2 + 2). Solve w*f = 5*f - 15 for f.
3
Let b(a) = a - 9. Let x be b(8). Let n be (-2)/((-15)/(-17) + x). Suppose 7*k = k. Solve 4*q - 1 + n = k for q.
-4
Suppose 3*v = -v - 12. Let f = v + 6. Suppose -d + 0 + f = 0. Solve -15 = -8*z + d*z for z.
3
Suppose -l = 3*l + 5*x - 13, 0 = l - 2*x. Solve -2*m + 6 = -l for m.
4
Let f = 389 + -389. Suppose 2 = -2*l - 2. Let q(j) = j**2. Let b be q(l). Solve -g + f = -b for g.
4
Let y be 2 + 0*2/(-6). Suppose -5*b - 9 = k - y*b, 5*b = k - 15. Solve k*o - 4 = o for o.
-4
Let n = 6 - 1. Let t(a) = -4 + 1 + a**2 - 1 + n - 2*a. Let h be t(2). Solve 0 = 5*s - 4 - h for s.
1
Let w be 221/65 - (-2)/15*-3. Solve 0 = w*z - 0 - 6 for z.
2
Let b = -3 + 5. Suppose -u - b*u = 0. Solve u + 3 = -l for l.
-3
Suppose 0 = -i - k + 3, 0 = -4*i + 4*k + 1 + 19. Solve -p - i*p + 10 = 0 for p.
2
Let y = 86 + -83. Solve 2*d = y*d + 5 for d.
-5
Suppose 0 = -r - 2*k - 2*k, 3*r = k. Suppose -f = 24 - 36. Solve -3*l + r*l = -f for l.
4
Let h be (-1)/(-1 + 30/33). Let k = h - 6. Suppose k*t = t. Solve t*g = -g - 4 for g.
-4
Suppose b = -7*b + 48. Solve 0 = -3*o + b*o for o.
0
Let j = -6 + 7. Let s be j/(-3*(-3)/54). Solve -5*c - s = 4 for c.
-2
Suppose 0*s + 105 = -3*s. Let f be 20/s*(-21)/6. Suppose -5*k + 4 = -2*y, 3*k + 2*y - 8 = 4. Solve 2*p - k - f = 0 for p.
2
Suppose u = -0*u. Solve u = m + m + 4 for m.
-2
Let v be 5/3 + -5 + (-39)/(-9). Solve -2*u + u - v = 0 for u.
-1
Let y(n) = -n**2 - 14*n + 4. Let b be y(-14). Solve 0 = b*d - 0*d + 8 for d.
-2
Let h be 5/(5/5*1). Suppose -5 = u - 16. Solve -h*z + u = 1 for z.
2
Let q(b) = b**2 - 11*b + 15. Let j be q(10). Solve -j*c + c = -20 for c.
5
Let r(p) = -p**2 - 9*p - 14. Let j be r(-7). Solve 16 = -j*l + 4*l for l.
4
Let s be (8/3)/4*9. Suppose 5*i + 5*j + 4 = 3*j, -2*i - 3*j = s. Suppose p + 4*r + 18 = 0, p = -2*r + 3*r + 7. Solve d - p + i = 0 for d.
2
Let v be (-1 - 2)/(6/8). Let a be ((-4)/7)/(v/14). Solve 4 = -a*b - 0*b for b.
-2
Suppose 4*b - 9 = -4*h + 7, -3*h = -3*b. Suppose 35 = 3*g - 34. Suppose -5*n + g = -h. Solve -25 = -4*w - n for w.
5
Let k(s) = -s**3 + 5*s**2 + s - 3. Let q be k(5). Suppose -q*o + 3 = o. Let x be (-2 - -2)*(o + 0). Solve x*p + 6 = 2*p for p.
3
Suppose 22*j - 10*j = 60. Solve 7*v = 12*v + j for v.
-1
Suppose -3*c - 2*k + 34 = 0, 0*c - 2*c + 2*k = -26. Let g be 3/c - (-17)/(-4). Let j = -4 - g. Solve 5 = -m - j*m for m.
-5
Let c be 0/(-2)*(-5 - (-44)/8). Solve 3*a + 0 + 6 = c for a.
-2
Let x(f) = -f - 3. Let r be x(-5). Suppose -5*o = -5*g - r*o + 47, -4*g + 42 = 2*o. Suppose 3*h + 2 = -g, -q - 2*h = 3. Solve -10 + 30 = -q*t for t.
-4
Suppose 90*s = 95*s - 25. Solve -6*j + j = s for j.
-1
Let x(k) = 0*k**2 + 2*k + 0*k - 1 - 2*k**2 + k**3. Let b be x(2). Suppose 0 = -v - b*v. Solve v = -4*t - 12 for t.
-3
Let v be (-2)/3 + (-14)/6. Let y be (-200)/6 + (-1)/v. Let n = y - -49. Solve -2*o - 2*o = -n for o.
4
Let l be 22*1/4 - 10/(-20). Solve -x = x + l for x.
-3
Suppose 48*w - 52*w + 8 = 0. Solve w*v + 0 + 8 = 0 for v.
-4
Let o = -2 + 5. Suppose 5*s = o*s - 20. Let y = -5 - s. Solve -5*u + 10 + y = 0 for u.
3
Suppose 