- b - 7 = -2*x for x.
5
Let p = 1 + 3. Solve -p*w - 33 + 7 = 2*a, 5*a = 2*w - 5 for a.
-3
Suppose 3*t + t - 16 = 0. Solve 3*f - 3*k + 6 = 2*k, -t*f = 2*k - 18 for f.
3
Suppose 0 = 3*g - 0*g. Solve 4*c - 8*c = 5*w - 5, g = -4*c - 2*w - 10 for c.
-5
Let t = 7 + -5. Suppose h + t = 5. Suppose 0 = 4*q + m - 2*m - 22, -5*q = -m - 27. Solve -q*b + 5 = 0, -h*c + 6*b - 16 = 2*b for c.
-4
Let z be 2 + (-22 - 0) - 4. Let q = z + 26. Solve -2*a - q = 0, -2*a + 10 = 4*b - 0*a for b.
3
Suppose -371*l + 370*l + 1 = 0. Let o(d) = -d - 2. Let c be o(-2). Let h = c + 3. Solve -5*x - 4 = 5*w + l, h*w + 2*x + 1 = 0 for w.
1
Let u(o) be the second derivative of o**3/6 - o**2 - o. Let c be u(3). Let s = -4 - -8. Solve s = 2*m + x - 6*x, 4*x - c = 3*m for m.
-3
Let g(o) = 14*o. Let s(n) = n**3 + 3*n**2 - 4*n + 2. Let i be s(-4). Let t be g(i). Suppose -4*k + t = 4. Solve 0 = 3*r + d + 8, -k = -r + 4*r + 3*d for r.
-3
Let p = -5 + 7. Suppose -38 = -2*o - 2*x, p*o + 2*x + 2*x = 44. Solve 4*i - 6*a + a - o = 0, -3*i - 2*a = -12 for i.
4
Let j(v) = -v + 3. Let c be j(-2). Solve -2*q + 0*x = -x - 4, 5*q + c*x = -20 for q.
0
Let q(c) = c + 6. Let p be q(-2). Solve 2*w = p*x - 3*w + 25, -x = 5*w for x.
-5
Suppose -5*d - f + 10 = -2*d, 5*d = 5*f - 10. Solve 0 = 5*a - 15, -2*a = -d*n - 20 + 4 for n.
-5
Let y = -379 + 714. Suppose 5*j - y + 140 = 0. Suppose -4*g + j = -z, 2*g - 4*g + 33 = -5*z. Solve 5*t + u - 6 = -u, g = 2*t + 3*u for t.
0
Suppose -4*p - 15 - 113 = 0. Let j be 3/(-4) - 472/p. Suppose 1 = 5*m - 9. Solve -s - 2*b = 3*b + 19, -m*s + j = -3*b for s.
1
Let o(c) = c**3 + 9*c**2 + 7*c + 4. Let p be o(-8). Suppose 2*z = -z + 12. Suppose 3*h = 4*h - 5. Solve -z*l - 3*n = l - 12, 3*n - p = h*l for l.
0
Let p(z) = -2*z - 10. Let y be p(-7). Suppose -r - y*r = -45. Let f be 4/20 - r/(-5). Solve h + 12 = -5*c, f*c = -h - 7 + 1 for c.
-2
Suppose 0 = -4*u + 16 - 0. Let s(y) = y**3 + 5*y**2 + y - 10. Let k be s(-4). Solve -3*x + k*b = -1, u*x + 24 = -2*b + 2 for x.
-3
Let x be 83*((-1)/(-1))/1. Suppose -4*h = -4*a - 9*h + 85, x = 4*a + 3*h. Let f = 0 + a. Solve 0 = 2*p - o + 4, 5*p - p + o + f = 0 for p.
-4
Let p = -8 + 11. Let d = -3 - -3. Suppose 0 = -d*r - 5*r, r - 4 = -x. Solve x*w - 6 = 3*h + 2*w, -w - p = 0 for h.
-4
Suppose -3 = 3*n - 6*n. Solve -2*g - n = -m - g, 3*m + g = 15 for m.
4
Suppose 4*p - 8 + 36 = 0. Let k(r) = r + 2. Let y be k(p). Let j = -3 - y. Solve 5*o - 25 = -5*i, j*i + i - 15 = o for i.
5
Suppose 2*c + 23 = 5*h, -3*h - 4 = c - 20. Solve -3*u + q - 3 = -2*q, -5*u + q = h for u.
-1
Suppose 3 = 3*z - 0*z. Let d be (2 - z)/1*4. Suppose -2*n + 17 = 7. Solve 0 = -2*j + d*f - 10, -17 = 3*j - n*f - 2 for j.
-5
Let o = -7 - -4. Let p be o/(-9) + 40/6. Let g be 3/(0 + 1/p). Solve s + 2 = -2, -v - 5*s - g = 0 for v.
-1
Suppose -6*n + 75 = -n. Suppose c + 2*t = -t + n, 20 = 4*c + 4*t. Solve 12 = 5*w - 0*g - 3*g, c = w - 4*g - 16 for w.
0
Suppose 0 = n - 4*k + 3*k - 14, -2*n = 3*k - 13. Solve -u - 3 = 5*x + 2, n = 3*u + 2*x for u.
5
Suppose -3 = a - 8. Let m(b) = -b**3 - b**2. Let k be m(1). Let i be (3 + k)*0 - -2. Solve 2*g - g - 10 = 3*o, -i*o = a*g - 16 for o.
-2
Let o = 106 + -99. Solve -4*g - 8 = 3*i, 3*g = -5*i - o + 1 for i.
0
Suppose -4*b + 8 = 5*u, 5*u + 0*b = b - 2. Solve 5*o - f + 5*f - 4 = u, 0 = o - 3*f - 16 for o.
4
Suppose -4*o + 9 = -o, o = j - 8. Let m = j + -9. Let b be ((-3)/(-2))/((-3)/(-8)). Solve -m*l - t - 18 = 2*l, -b*t + 3 = l for l.
-5
Suppose -j = -0*j. Suppose -4*o = -j*o. Solve o = 2*h + 3*u + 6, -6*u = 5*h - u + 15 for h.
-3
Let z = -27 - -32. Solve 0 = 3*w + u - 11, w - 13 - 12 = z*u for w.
5
Let z = -91 + 95. Solve 8 = -z*v - 0*v, 0 = 4*s - v + 2 for s.
-1
Let b = 13 - 9. Suppose -b*t + 2*t + 14 = 0. Suppose -t*a = -3*a - 8. Solve -5*d - 20 = f, -2 + 18 = -a*f - 2*d for f.
-5
Let r(n) = -n**2 + 6*n + 12. Let u be r(7). Solve -u*h + 26 = -4*d, h + d - 6 = 2*d for h.
2
Suppose 108 = 2*h + 4*h. Solve -3*m + h = -7*m + r, 4*r - 2 = 2*m for m.
-5
Suppose 5 = -m, 2*r - 32 = -r - 2*m. Solve -7*x + 3*x - 4*u = -16, -4*x - 2*u + r = 0 for x.
3
Let g = 8 - 5. Let m(v) = -52*v**3 + 1. Let l be m(-1). Let f = -24 + l. Solve -i = -2*i - 4, -g*u - 5*i - f = 0 for u.
-3
Let f(i) = 2*i**3 + 9*i**2 - 5*i + 3. Let a be f(-5). Solve -18 = 3*r - 2*t, a*r + 5*t + 1 = -r for r.
-4
Let m = 29 + -29. Suppose m*i + 3*i = 9. Solve -3*d - 4*n = -i*n - 3, 3*n = d + 9 for d.
0
Suppose -2*i - z = -0*i - 7, z - 3 = 0. Suppose -4*n + 26 = i*a - 4*a, 3*n = 2*a + 20. Solve -3*d = -4*v - 0*d - 27, 3*v = -3*d + n for v.
-3
Suppose 4*u + 12 = -0*u. Let i = u - -5. Let c be 30/8 - 1/(-4). Solve i*y = -r + 5, c*y - 6 = -r + 3*r for r.
1
Let j(a) = -a + 12. Let s be j(-8). Suppose -4*y = v - 30, -4*v - 2*y - s = -70. Solve -4*u - 4*g + g - v = 0, 1 = -3*u + g for u.
-1
Let s = -139 + 149. Let r = -3 + 6. Solve 0 = 2*t + 6*p - r*p + s, 5*t = -5*p - 20 for t.
-2
Let w = -20 + 31. Solve -q - 8 = 3*v, 0 = -4*q - 10*v + 5*v - w for q.
1
Suppose -3*u = 5*t + u - 8, -5*u - 19 = -t. Let d be (-7)/7 - (-8)/2. Let r = 3 - d. Solve 0 = -r*k + 2*k - p + 8, 0 = 2*k + t*p - 2 for k.
-3
Suppose -8*q = -5*q. Solve m - 5*y = -q*y + 2, -5*m + 5*y - 10 = 0 for m.
-3
Let p(n) = -n**2 + 3. Let s be p(0). Solve s*c = g - 5, -4*g + 0*c - c - 19 = 0 for g.
-4
Let k be 3 + -1 + -2 + 0. Suppose 6*w - 5*w - 13 = k. Suppose 5*h + 5 - 25 = 0. Solve 0 = j - h*r - w, -4*r - r = 3*j - 5 for j.
5
Let n(p) = p**2 + 5*p + 14. Let y be n(-4). Suppose w = 4*w - 6. Solve 5*q - 5 - 6 = 2*o, y = 2*o + w*q for o.
2
Let v be (0 - -1)/(1/4). Suppose -4 = -4*p + 2*p. Let g be (p - (-3)/(-15))*5. Solve -g + v = 5*f, -3 = -4*o - f for o.
1
Suppose -2*k = 2*k + 28. Let d(q) = -q**3 - 6*q**2 + 8*q + 10. Let i be d(k). Suppose -t - 24 = -i*t. Solve 4*a + t = -2*u, 0 = -2*a + a + 3*u - 3 for a.
-3
Suppose -5*h + y = -2*h + 11, -2*h - 3*y = 22. Let u = 20 - h. Solve u = 5*q + 2*m, -5*q + 2*m - 7*m = -40 for q.
3
Let d(b) = b**3 + 11*b**2 - 13*b - 9. Let g = -27 - -15. Let r be d(g). Solve -3*j + r = 0, -n + j + 0 = 1 for n.
0
Let w = -43 - -43. Solve w = -2*b + 2*c - 4, -22 + 4 = 5*b + 3*c for b.
-3
Let f = -5 + 5. Suppose 2*n = -5*p - 6, 4*n + 5*p + f = -2. Solve 9 = -5*r + n*r + 2*u, 2*r - 2*u = -8 for r.
-1
Let k = 8 + -11. Let g be (5 + k)*3/2. Solve -6*u + u - 17 = g*i, -3*i = -5*u - 23 for u.
-4
Let v(d) = -2*d. Let g be v(-2). Solve -g*i + 2*a = 4 - 2, 3*i + 34 = -5*a for i.
-3
Suppose 0 = 4*x - 4*v - 12, 4*x + 28 = -4*v - 0*v. Let j = x + 6. Solve -16 = -0*d + j*d, d = r - 4 for r.
0
Let i be (44/(-55))/(((-12)/(-15))/(-4)). Solve -i*j - 5*t = 7, 0*j - 3*t = j for j.
-3
Let t = 4 - -10. Let j be 248/t + 6/21. Solve 5*w + j = 2*y - y, w + 2*y + 8 = 0 for w.
-4
Suppose n = -3*h + 9, -2*h + 2 = 5*n + 9. Let a = 152 - 148. Solve a*q - 2 = -2*m - 4, 4*m - h*q = -16 for m.
-3
Let h(s) = -s**3 + 4*s**2 + 5*s + 3. Let p be h(5). Let j = -121 + 125. Solve 7*i = -j*g + 2*i - 12, p*i = -4*g - 4 for g.
2
Let v = 11 + -10. Suppose 6 = s + v. Let c = 13 + -1. Solve 0 = 4*m - p - 3*p - c, 3*m = -s*p + 25 for m.
5
Let j(n) = n - 5. Let w be j(8). Let l be 3 + w/(-1 + -2). Solve -2 = -q - l*b, -5*q = -2*b + 18 + 8 for q.
-4
Let l(d) = d - 1. Let c be l(6). Suppose -c = -u, i = 2*u - 9 + 2. Solve -2*q + 4 = 6, 4*j + i*q = -11 for j.
-2
Let d(x) = -10*x**2 - 22*x - 4. Let w(a) = 3*a**2 + 7*a + 1. Let l(i) = -2*d(i) - 7*w(i). Let t be l(-4). Solve -5*n - 12 = j, -3*n = t*j + 4 + 12 for j.
-2
Let v be (-30)/(-7) + (-26)/91. Solve t = 3*m - 7, 3*t + 4*m + v = -4 for t.
-4
Suppose 18 = -l + 7*l. Solve -9 = k - 5*z + 3*z, 0 = -l*k - 5*z - 5 for k.
-5
Suppose -3*o + 1 + 5 = 0. Let h(p) be the third derivative of -p**5/60 - 3*p**4/8 - 5*p**3/3 - 2*p**2. Let y be h(-7). Solve 0*u - u + y = 4*l, 0 = l - o for u.
-4
Suppose 3*d + 2*v = -0*v + 8, 5*d - 4 = -v. Let o = -6 + d. Let w be 16/6 - 2/o. Solve w*g = 4*n - 9, n + 6*g - 2*g = 7 for n.
3
Let n be 0 - -1 - (-2 - -2). Solve n = 2*t + 2*a - 9, -5*a + 15 = -5*t for t.
1
Suppose 2*l + 2 - 10 = 0. Solve -l*u + o + o + 6 = 0, -u = 5*o - 18 for u.
3
Let h(t) = t**2 + 5*t. Let c be h(-6). Let p(f) = f**2 - 3*f + 2. Let o be p(c). Solve 0 = 2*a + 4*k + 24, 0*a - o = a + 4*k for a.
-4
Let r = -166 + 235. Let q = r - 33. Solve -h - 2*c = 7, 2*h - q + 14 = 5*c for h.
1
Let f(b) = b**2 - 2*b