 Solve w = -5*u - 0*u + 5 for u.
1
Suppose 4*p = 3*m + 33, 2*m + 13 = 4*p - 17. Solve 16 = -p*n + 10*n for n.
4
Let q(f) = f**3 - 12*f**2 - f + 15. Suppose -4*l + 2*l = -24. Let d be q(l). Solve -2*n + d = 5 for n.
-1
Suppose 0 = 2*d - 0 - 8. Let a(v) = -3*v**2 - 7*v + 2. Let x(q) = 2*q**2 + 6*q - 1. Let g(m) = -3*a(m) - 4*x(m). Let j be g(-2). Solve d + j = -3*o for o.
-4
Suppose -n = 3*h - 56, -3*h + 48 = -h - 2*n. Solve -4*g = g - h for g.
4
Suppose 12 = 9*v + 3. Solve 0 = 4*q + v - 13 for q.
3
Suppose 0*o + 3*o = 3. Let v(r) = 3*r**2 + 1. Let s be v(o). Solve 3*g + s = g for g.
-2
Let z be (-1)/(14/(-6) + 2). Solve 0 = -z*v + 1 - 7 for v.
-2
Let p = 6 - 4. Solve -10 = 4*u - p for u.
-2
Let v be -1*(2 - (-2 + 3)). Let w = v - 0. Let m = 1 - w. Solve -m*g = g + 3 for g.
-1
Let a = -63 - -76. Solve 0 = -2*i - 3 + a for i.
5
Suppose 4*d + 10 = -z, 4*z + 0*z = 2*d + 32. Solve z*q = 2*q + 16 for q.
4
Let x be 12/(-42) + (-130)/(-14). Suppose -s = 2*s - x. Solve -s*k + k = 6 for k.
-3
Let o(u) = -17*u + 1. Let t be o(4). Let k = t + 112. Suppose -d = -4*d + k. Solve 0*b - 5*b = -d for b.
3
Let p(h) = 4*h - 15. Let g be p(6). Solve 0 = 3*b + 3 - g for b.
2
Suppose -2*b + 4*i = 0, -4*b - 2*i = 3*i. Solve b = -2*t - 0*t - 6 for t.
-3
Suppose -11 = j + 3*q, -12 - 1 = -5*j + 2*q. Suppose 5*z - 3*m = 14, 4*m = -3*z + 11 + 9. Solve z*v + 5 = j for v.
-1
Let n(b) = -7*b - 35. Let q be n(-5). Solve q*w - 5*w - 25 = 0 for w.
-5
Let u(r) = -r**2 - 4*r - 3. Let i be u(-4). Let c = 5 + i. Solve 1 = 3*l - c for l.
1
Let y be 8/5 + (-16)/(-40). Solve 3 = -j - y for j.
-5
Let p(q) = 2*q**2 - 4*q + 5. Let u be p(2). Solve 25 = -0*z - u*z for z.
-5
Suppose 2*j + 26 = 4*c, 0*j - 2 = -c - j. Suppose 0 = -r + 3*b + 30, -3*r + 86 = -4*b - b. Solve c*p - 2 = -r for p.
-5
Suppose -w + 3 = -n, -5*n - 11 = -5*w - 4*n. Solve 0 = -z + w*z for z.
0
Let v be (-6)/(-4) - 450/(-20). Suppose -8*g + v = -2*g. Solve -3*a = -2*a + g for a.
-4
Let o = 47 + -32. Solve -2*f = f - o for f.
5
Let r = -1 + 5. Suppose 9*p + 5*j = 5*p - 11, 0 = -p + 4*j + 13. Solve -y + p - r = 0 for y.
-3
Let z(r) = r - 1. Let w be z(6). Suppose -6*j = -w*j - 12. Solve 0 = 5*a + 8 + j for a.
-4
Let y be 2/4 + (-4)/8. Suppose y = 2*p + g - 23, p = g - 0 + 10. Suppose p = -0*w - 3*w - 4*s, 0 = -w + 4*s + 23. Solve -x = w*x - 8 for x.
2
Suppose 2*g + 2*m = -5 - 1, 4*m = -g - 12. Solve -3*k + g*k = -6 for k.
2
Let d(y) = y**3 - 4*y**2 - y + 1. Let j be d(4). Let r be (j + 4 + -1)/1. Solve r = -5*n + 14 + 11 for n.
5
Let x be (-3*3)/(3/(-4)). Suppose 4*c - 4 = x. Solve 0 = -4*i - c + 8 for i.
1
Suppose -15 = 5*o - 5. Let a be (2 + o)/(-1 + -1). Solve a = -t - t - 4 for t.
-2
Let f be (10/(-4))/(-5)*14. Suppose -51 = 3*t + u, -u - 4*u = -3*t - 69. Let n = t + 31. Solve -4*x = n + f for x.
-5
Let g = 10 + -5. Suppose 2*m - 3*q = -2*m, 3*m = -g*q + 29. Solve -m + 23 = 5*h for h.
4
Suppose -3*p - 5*h = -22, 3*p - 2*h + 12 = 5*p. Solve v = p*v - 9 for v.
3
Let p(d) be the first derivative of d**2/2 - 4*d + 1. Suppose 31 = 5*o + 1. Let x be p(o). Solve -2*m - 4 = x*m for m.
-1
Let m be (-160)/(-18) + 2/18. Solve -4*o + 3 = -m for o.
3
Let g(v) be the second derivative of v**4/12 - v**3/6 + v**2 + v. Suppose 0 = 3*s - 4*w - 8, -3*w = -s - 0*w + 6. Let b be g(s). Solve 0 = b*k - 0*k for k.
0
Suppose 3*b - 5*b = 0. Let u be b - (1 - 0)*-1. Suppose -13 = -3*z - 1. Solve z*k - u + 5 = 0 for k.
-1
Let s = 22 + -16. Let o be (90/(-27))/(1/6). Let j = o + 25. Solve 0 = -j*d + s*d + 3 for d.
-3
Suppose 7*d - 8 = 5*d. Suppose 2*h - 20 = 2*i, d*h + h = i + 34. Solve 0 = 3*b + h + 9 for b.
-5
Let a be (-9)/6*4/6. Let b be (1/(-3))/a*9. Suppose -4*c = -3*f + 4, 4*c = f - 3*f + 16. Solve c*w = -w + b for w.
1
Let p be (-4)/(-6) - 4/6. Suppose p = -3*n - 5 - 4. Let f be (-1)/(1*n/6). Solve 4*u = -f + 6 for u.
1
Let g(o) = o**2 + 7*o - 12. Let n be g(-9). Solve 3*k - n = -0 for k.
2
Suppose -18 = -2*k - 8. Solve -h = -k*h + 12 for h.
3
Let l(s) = -s. Let r(w) = 7*w + 2. Let a(n) = 6*l(n) + r(n). Suppose -5*u + 2*u = 2*c - 10, -4*u + 4*c = 0. Let f be a(u). Solve x + f = 6 for x.
2
Suppose 0*p - p = -53. Suppose 3 = -5*q + p. Let y = q + -7. Solve x + y = 2*x for x.
3
Let j = 1 - 0. Let b = 1 + j. Suppose -r + 0*r = -6. Solve -w + b = r for w.
-4
Let v(x) = -11*x - 8. Let a be v(-1). Solve 5 = a*z + 2 for z.
1
Let q be (-2)/(-3) - 6/9. Suppose z + 3*z - 12 = 0. Solve z*l + q*l = -15 for l.
-5
Suppose -16 = -4*o - 2*c, 3*c - 5 = -5*o + 13. Let a be (o + 0)/(1 + -2). Let v = -5 - a. Solve 0*b - b = v for b.
-1
Let s = -3 - -1. Let l = 4 + s. Solve -2*i - 4 + l = 0 for i.
-1
Let i = -2 + 7. Suppose i*n + 0*t = -3*t + 17, 2*n - 3*t - 11 = 0. Let g = 0 - -9. Solve -g = n*z - 1 for z.
-2
Let o be (-9)/2*20/(-30). Suppose 4*d + 31 = 2*q + d, 0 = -2*q + 2*d + 26. Let c = -19 + 29. Solve -q*a = -o*a - c for a.
2
Let t = 31 - 26. Solve -t*v - 23 = -8 for v.
-3
Suppose 2*k + 9 = 23. Solve -4*g + k*g + 15 = 0 for g.
-5
Suppose 5*z = z - 4. Suppose 0 = 2*b + 2 - 0. Let h = b - z. Solve h = -2*o + 5*o - 9 for o.
3
Let y be 4 + 2 + 0 + (1 - 3). Solve f - y = 2*f for f.
-4
Suppose -a = -2*q - 1, -4*a + 2*q + 12 - 2 = 0. Solve -2*o - 15 = a*o for o.
-3
Let h be (-1)/(-1*1/2). Let l be (h - 0)/(5/10). Solve -3*v + l = v for v.
1
Suppose 0*f = 2*f + 4. Let h = 3 + f. Solve 5*g = -19 - h for g.
-4
Let t be 1/((-2)/48*-2). Suppose -2*i = 4*g - 0*i, 0 = 3*g + 3*i + 6. Let c be (-1)/(-4) - 1/4. Solve -g*d - d + t = c for d.
4
Suppose -4*i + 7 = -25. Suppose i*f + 30 = 13*f. Solve f = -6*r + 3*r for r.
-2
Suppose -28 = w - 2*w - 3*i, 5*i + 56 = 2*w. Solve 5*r - 8 + w = 0 for r.
-4
Suppose 0*f - 6 = -f. Let v = -12 + f. Let n be 0/(-3*(-4)/v). Solve 4*c + c - 25 = n for c.
5
Let m be 4 - (3 - (2 + -1)). Solve -y = m + 1 for y.
-3
Suppose 40 = -0*j + 5*j. Let b(c) = -c**2 - 14*c - 22. Let d be b(-12). Solve 0*t + d*t = -j for t.
-4
Suppose 0 = -9*m + 10*m. Solve m*l - 4 = l for l.
-4
Let h(v) = -v**3 - v + 2. Let d be h(0). Solve -2*i + i + d = 0 for i.
2
Let a(g) = g**2 + g + 3. Let k be a(0). Let l = 31 - 22. Suppose j - 20 = -5*c, 4*c = -2*j + 12 + 10. Solve -l = -k*m - c for m.
2
Let o(i) = -2*i + 3. Let g be o(-6). Solve q - 4*q = g for q.
-5
Suppose -3*s - 36 = 2*s + w, 0 = 3*s - w + 20. Let r = s - -8. Let v be (2/4)/((-2)/(-20)). Solve f - v = -r for f.
4
Suppose -2*l = -4*l. Let w = 1 - l. Solve x + 5 - w = 0 for x.
-4
Suppose 2*s = -2*x - 2*x + 44, 2*x - 30 = -5*s. Let d = x + -1. Let p = d - 5. Solve -p*u = -6 - 6 for u.
3
Let z = 16 + -11. Solve 5 = -z*r - 0 for r.
-1
Let d be (11 - -1)/3 - 2. Suppose -4 = d*o - 10. Solve -o*k + 4*k = -3 for k.
-3
Suppose -5*f + 18 = f. Suppose -l = d - 0 - 9, -2*l = -f*d + 2. Solve p - l*p = 0 for p.
0
Let g = 14 - 20. Let t = g - -6. Suppose t*h = 3*h. Solve x = -h*x - 4 for x.
-4
Let n(a) = a - 6. Let i be n(11). Solve -i*r - 4 = -3*r for r.
-2
Suppose 0 = 6*u - u. Let c = u + 1. Solve g = c + 3 for g.
4
Suppose -18 = 5*i - 113. Let s = i + -17. Solve -1 - s = 3*g for g.
-1
Let o(p) = -2*p + 16. Let i be o(7). Solve 0 = -3*r + i*r - 2 for r.
-2
Suppose 0 = 21*d - 23*d + 10. Solve 0 = v - d*v for v.
0
Let c(y) = -8*y - 9*y + 3 - 1 - 3. Let g be c(-2). Solve -4*f - g = -13 for f.
-5
Suppose 4*f = 5*g - 27, 0 = -4*f - 5*g - 0*g - 37. Let h(p) = p + 6. Let x be h(f). Let k be 16/4 - x/(-1). Solve k*m - 10 = -2 for m.
4
Let g(z) = 2*z**2 + 3*z + 3. Let p be g(-3). Suppose -p = -3*j - 3. Let s be 1/((-2)/14*-1). Solve -s - j = 5*u for u.
-2
Suppose 0*f = 2*f - 6. Let l = f - 1. Let b be 1/l*(22 + -2). Solve v = -v - b for v.
-5
Let c = 3 + -6. Let b be 2/(1 + c/9). Solve 0 = b*z - z for z.
0
Suppose 12 = 5*b + 2. Solve 3 = b*p + p for p.
1
Let b(p) = p**3 - 4*p**2 + 5. Suppose n = 5*k - 20, 6*n = 4*n. Let g be b(k). Suppose 6*u - 2 = g*u. Solve m = -u*m for m.
0
Let u be 9 + -1 - (-1 + 0). Solve 4*f - f + u = 0 for f.
-3
Let b(y) = -y**2 - 11*y + 14. Suppose z - 2*p = 6, -4*z - 3*p = 7 - 53. Suppose -4*w + z = 58. Let t be b(w). Solve -t*x = 3*x for x.
0
Suppose -3*l + 0*l + 36 = 0. Suppose 0 = 3*r + r - l. Solve g - 6 = r*g for g.
-3
Let z(v) = 3*v - 1. Let h be z(1). Let o = 2 - -2. Suppose g = -5*j - o*g + 75, 30 = 2*j + 3*g. Solve -j = d + h*d for d.
-5
Let b be -5 - -7 - (0 + 0). Let h = 30 + -18. Solve -b