v - b. Solve g + s = -0*g for g.
-2
Suppose -18*p = -19*p. Suppose -j - 4*x - 5 = p, -2*j = x + 2*x. Solve -j*n = -n + 10 for n.
-5
Let c(y) = 2*y + 11. Let b be c(-12). Suppose -13 = 4*p + 39. Let i = b - p. Solve -d = -i*d - 1 for d.
1
Suppose -16*c = -242 + 210. Solve 3*z = 2*z - c for z.
-2
Let x = -44 + 69. Let b be (-9)/((5/4)/(-5)). Let d = b - 31. Solve d*v - x = -0*v for v.
5
Suppose -2*p + 104 - 20 = -5*q, 4*p = -3*q + 194. Solve -p = 11*j - 3 for j.
-4
Let s be 0 + 4 + 0/1. Suppose 2*h + 3*p = 4*p + 9, s*p = -h + 9. Suppose h + 1 = 3*b. Solve b*n = 7*n - 10 for n.
2
Suppose 4*i = -4*z + 32, 0*i - z - 4 = -3*i. Let a(o) = -13*o - 6. Let j be a(-1). Suppose -6*g = -j*g. Solve g = 3*q - 0 - i for q.
1
Let j(h) = -h - 7. Let q(r) = 1. Let b(p) = -j(p) - 2*q(p). Let o be b(-2). Solve o + 0 = -3*k for k.
-1
Suppose -5*t + t = -12. Let n = 9 - 1. Solve 0 = -t*z + n - 20 for z.
-4
Let h(x) be the second derivative of x**5/20 + x**4 - 13*x**3/6 + 3*x**2/2 - 2*x. Let z be h(-13). Let k be (-1)/(-4 + 6/2). Solve -2 = -z*v + k for v.
1
Let z(w) = 4*w + 11. Let k be z(-2). Suppose k*x = -2*b + 38, 2*b + 36 = 4*b + 2*x. Solve 0*q + b = 4*q for q.
4
Let l = -74 + 80. Let f be 27/l*(-4)/(-3). Solve 2*v = f*v - 12 for v.
3
Let q be 3/(-5) - 4/10. Let a(g) = -4*g - 1. Let r be a(q). Let x(s) = s**3 - 4*s**2 + 5*s - 4. Let l be x(r). Solve -h = h - l for h.
1
Let g(z) = -z**2 + 10. Let i be g(5). Suppose -m + 4*a = 3 + 8, -3*m - 33 = -2*a. Let q = m - i. Solve -5 = -3*b + q for b.
3
Let y(c) = c**3 - 5*c**2 + c + 1. Let n = 2 + 3. Let h be y(n). Suppose a - h*a = -100. Solve -6*t + a = -t for t.
4
Let u(c) = -c - 16. Let s be u(-5). Let z = s - -15. Solve -v - 7 = -z for v.
-3
Let h(c) = -c**3 - 3*c**2 - c - 3. Suppose -3*n + 7*n + 12 = 0. Let d be h(n). Solve d = -j + 2 for j.
2
Suppose 7 = p - 2*k, 0 = 3*p + 2*k - 5*k - 15. Suppose 22 = 5*w - 3*y, y - 1 - 3 = -4*w. Suppose 5 = 2*r + 3*r. Solve -w*b + p = -r for b.
2
Suppose 23*v - 7*v = 0. Solve j = -v*j - 2*j for j.
0
Suppose -69*r = -58*r - 55. Solve 10 = r*z + 5 for z.
1
Let p(g) = -g**3 + 4*g**2 + g. Let o be p(4). Let v = 494 - 492. Solve o = -v*j - 0 for j.
-2
Let i(s) = s**3. Let c(n) = 5*n**3 - 17*n**2 + 18*n - 5. Let u(l) = -c(l) + 6*i(l). Let t be u(-18). Solve -t*r - 5 = 15 for r.
-4
Let g(u) = -2*u + 17. Let s be g(9). Let q be (s - -3)/(1/6). Solve 37 - q = 5*i for i.
5
Let h be 62/8 + 3/12. Solve 0*a + 4*a + h = 0 for a.
-2
Let i be 70/30 - 3/9. Solve -2*o - i = 6 for o.
-4
Let a be 6 + (2 - 1) + (-3 - 0). Solve 7 = -a*f - 9 for f.
-4
Suppose -5*m - 2*x = -63, -5*m + x + x = -47. Suppose 2*f = m*f - 45. Solve -1 = 3*v + f for v.
-2
Let o(c) be the third derivative of 0 - 1/30*c**5 - 1/30*c**6 - 1/6*c**3 - 1/12*c**4 + 0*c + 6*c**2. Let f be o(-1). Solve 0 = 4*n + 7 - f for n.
-1
Suppose -7*g + 30*g - 378 = -4*g. Suppose 2*t - 4 = -3*t - 2*q, 7 = -t - 3*q. Let z be 2/(-3) - t/(-3). Solve z = 5*p + g + 1 for p.
-3
Let h = 25 - 22. Let p be -1*(h + -4 + -5). Suppose 4*q - 2 - p = 0. Solve -3*m + 2 = -q*m for m.
2
Let k(l) = -3*l**3 + 2*l**2 - l + 2. Let o be k(2). Let n be (-4 + o/(-4))/(-1). Solve n = -i - i for i.
0
Suppose b - 19 = -4*x, -112*b + 108*b + 5*x + 13 = 0. Solve 2*s - 10 = b*s for s.
-2
Let m(g) be the second derivative of -g**3/6 - 13*g**2/2 - 6*g. Let x be m(-14). Let s be (x - (4 - 3)) + 3. Solve 2*w + s*w = -10 for w.
-2
Let q = -28 + 33. Let w(z) = z - 8. Let v be w(9). Solve -q = 2*g + v for g.
-3
Let w(i) = i**2 - 33*i - 190. Let u be w(-5). Solve u = -14*j - j for j.
0
Suppose -175*d = -169*d - 54. Let q = 10 + 1. Solve -q*m = -d*m + 6 for m.
-3
Suppose -2*x - 1 = -4*d + 19, 3*d = -2*x + 15. Solve 24*z - 22*z = x for z.
0
Let c(u) = 3*u + 26. Let x be c(-8). Solve 3 = x*i - 5*i for i.
-1
Let w(g) = 28*g - 277. Let f be w(10). Suppose k - 15 = -2*k. Solve 2*h + f*h = -k for h.
-1
Let k(u) = u + 34. Let l be k(-31). Solve -251 = l*b - 260 for b.
3
Let x(y) = -y**2 - 10*y + 7. Let s(q) = q + 16. Let a be s(-11). Suppose -35 + a = 3*p. Let u be x(p). Solve -u*w = -2*w + 25 for w.
-5
Let j(n) = n**3 - 12*n**2 - 12*n - 10. Suppose 25 + 14 = 3*b. Let g be j(b). Solve 0 = 4*a - g + 19 for a.
-4
Suppose 3*j - 2*z = 14, j + 2*z - 4*z = 6. Suppose -j*k - 3*h - 8 = -5*k, 0 = 5*k + h - 8. Solve f = k*f for f.
0
Let g(q) = -2*q - 12. Let z be g(-8). Solve l = z + 1 for l.
5
Suppose -7*v = -3*v. Suppose -i - i + 8 = v. Suppose -10 = -9*h + 4*h. Solve 2*d - i = -h*d for d.
1
Suppose 0 = 3*w - 7*w - 4*m + 40, 3*w - 38 = -5*m. Suppose -w = -5*n + 14. Solve -9 = n*o - 7*o for o.
3
Suppose 3*l + 5*d = 31, 4*l - 33 = -7*d + 2*d. Solve 6*p + 12 = l*p for p.
-3
Suppose -9 = 2652*k - 2653*k. Solve 0 = 3*r - k - 0 for r.
3
Let h be 8 + 1 + 0 + -18 + 15. Solve -h*o + 3*o + 3 = 0 for o.
1
Let b(x) = -x**2 - 15*x - 12. Let c be b(-14). Suppose c = -0*r - 2*r. Let g be (3 + r)*(-8)/(-4). Solve g*v = v for v.
0
Let v = 33 + -24. Suppose 5*n - v = -4. Suppose -n + 9 = 4*p. Solve 9 + 1 = -p*y for y.
-5
Let b(w) = w**2 - 7*w. Suppose -4*p + 2*d = -2 - 18, 15 = p + 2*d. Let c be (-1 - 6)*p/(-7). Let h be b(c). Solve h + 1 = -n for n.
-1
Let j be 1 + 4/(-4)*-23. Solve 0 = -j*d + 29*d + 10 for d.
-2
Let f(g) = -g**3 - 14*g**2 - 12*g + 21. Let m be f(-13). Suppose 7 = -b + m. Suppose 1 = -x + 6. Solve b = x*z - 4 for z.
1
Let x(a) = a**2 + a. Let c be x(-3). Let d be 0 - (9 + -1)*(4 + -5). Let b = -6 + d. Solve 0 = -c*p + b*p + 12 for p.
3
Let p be 4/(-8)*(25 - 31). Solve 4*h + 3 = p*h for h.
-3
Suppose -9*b + 16 = -2. Suppose -v = 0, 4*r - v = -b*v + 32. Let x be 3 + -3 + (2 - 0). Solve -r = x*t + 2 for t.
-5
Suppose -7*g + 55 + 85 = 0. Suppose 3*j = 3 + 12. Solve r - j*r = g for r.
-5
Suppose 54*z + 5 = 55*z, -2*h = 3*z - 41. Let o be 2/5 - (-134)/(-10). Let b = o + h. Solve b = -u + 5 for u.
5
Suppose -9*c = -8*c, 3*c + 72 = 4*j. Solve b = -5*b + j for b.
3
Let r = 5 + -11. Let v be (-5 - -11)*(-1)/r. Solve -6 = -o - v for o.
5
Suppose 171 - 3 = 14*w. Solve 0 = 5*d - w*d - 21 for d.
-3
Let m(k) = -25 + k + 83*k**2 + 0*k - 82*k**2. Let z be m(-6). Solve -2*g + z + 3 = 0 for g.
4
Let o be 664/(-72) - 2/(-9). Let r be (4/1)/(o + 8). Let y(x) = -5*x - 16. Let m be y(r). Solve 0*c + m = -2*c for c.
-2
Let n = -21 - -79. Let j = -56 + n. Solve -j*s + s + 4 = 0 for s.
4
Suppose 2*x - 15 = -5*g, -3*x + 0*x = -g - 14. Let b be 3*-1 + (g + -1 - -24). Solve -b + 9 = -3*p for p.
4
Let y = 152 - 149. Let c(o) = -o**2 + 13*o - 8. Let q(i) = 2*i - 6. Let v be q(9). Let z be c(v). Solve z*s = y*s for s.
0
Let l(z) = -z**3 + 22*z**2 + 29*z - 7. Let u be l(23). Let n = 134 - u. Solve w + n*w + 16 = 0 for w.
-4
Suppose -2227 + 6877 = 93*w. Solve 3*a = -7*a + w for a.
5
Let b(r) = r**2 + 22*r + 43. Let p be b(-2). Solve -37 + 22 = -p*d for d.
5
Let w = 4 + 0. Let r = 38 + -34. Suppose -w*n + 2*n + r = 0. Solve 5*o - n = 3 for o.
1
Let i(p) = -5*p**2 - 33*p - 10. Let t be i(-6). Solve t*j = 3*j for j.
0
Let r(h) = 3*h**2 + 16*h - 5. Let l be r(-6). Solve -3*s + 2 = -l for s.
3
Suppose 4*d - 3*d = -2*l + 1, 0 = 3*l + 4*d + 1. Suppose 13 = -r + l. Let p be (30/r)/(2/(-4)). Solve 0 = -p*u - 0*u for u.
0
Let q be 237*4/6 + -2. Suppose 0 = -3*w - 10*w + q. Solve 0 - w = -3*n for n.
4
Let u(s) = 3*s + 6. Let j be u(4). Solve w - 10*w = -j for w.
2
Let c = 2 - 6. Let l be (c/6)/((-6)/27). Suppose 4*f - 8 + 0 = 0, 18 = 3*b + l*f. Solve -b*y + 2 = -2*y for y.
1
Let k = -426 + 443. Solve 0 = -5*o + k - 2 for o.
3
Let a(w) = w**2 + w + 2. Let s be a(0). Suppose 5*c + 3 + 3 = -s*v, -4*v + 3*c = 12. Let j be (2 + 1)/(v + 4). Solve j*p - 5 + 2 = 0 for p.
1
Suppose -4*b + 9*b = 0. Let y(u) be the first derivative of 5*u**3/3 + u**2/2 - 2*u - 7. Let q be y(1). Solve n + b*n = q for n.
4
Let x(u) = -u**2 - 12*u - 23. Let z be x(-9). Solve -z = 5*o + 1 for o.
-1
Suppose -3*q = -7*q - 48. Let h = -13 - q. Let v be (-3 - -3)/(-1 + h). Solve 4 = t - v*t for t.
4
Let d be ((-1)/(-3))/(8/48). Suppose -2*a + 32 = t - 0*t, -20 = -d*a + 5*t. Solve 0*c - a = 5*c for c.
-3
Suppose 15 = 4*p - 3*p + 4*a, 2*p - 2*a + 20 = 0. Let v(n) = -3*n - 5. Let o be v(p). Solve 0 = -4*t - 10 - o for t.
-5
Suppose -12 = -2*v + 4*x, -3*x = 2*v + 53 - 44. Solve v = -0*l + 7*l + 28 for l.
-4
Let l be (-99)/44 - 3/4. Let k be (-5)/60*l*16. Solve 0 = 4*f + 4 + k f