9*p + 15 = x for p.
4
Suppose -34 + 8 = -3*w + 2*p, -10 = -5*w - 5*p. Suppose 8 = -3*g - 4, 0 = -q - g + w. Solve 9*j - 4*j + q = 0 for j.
-2
Let p = 383 - 355. Solve 7*n - p = 7 for n.
5
Let r(a) = -a**3 - 12*a**2 - a - 9. Suppose -4*y + 60 = -9*y. Let q be r(y). Solve q*j - 2*j = -3 for j.
-3
Suppose -13*i + 26 = -0. Solve -f + 3 = -i for f.
5
Let x be 1 - 0 - 7 - -6. Let s be (2/(-4))/(1/16). Let u = s - -11. Solve u*r + r - 4 = x for r.
1
Let z(l) = -l**3 - 18*l**2 - 21*l - 14. Let c be z(-17). Solve c = -u + 52 for u.
-2
Let k = 252 - 248. Solve k*o - 17 = 3 for o.
5
Let l(f) = 2*f**2 + 3*f - 5. Let h be l(-3). Suppose -h*v + o = -1, -o = -2*o + 3. Solve z - 2 = v for z.
3
Let o = 397 + -396. Solve 0*z + z = -o for z.
-1
Let z be (-6)/14*1 - (-2759)/623. Suppose 2*p - 8 = -2*p + z*n, 2*n = -5*p + 38. Solve -t = 4 - p for t.
2
Suppose 30 = 2*x + d, 5*d - 16 + 121 = 5*x. Let q = x + -15. Solve 0 = q*n - 7*n + 15 for n.
3
Let g = 19 + -51. Let a = -53 - g. Let i be (a/14)/((-3)/4). Solve 0 = v + i*v - 6 for v.
2
Let r(q) = -q - 5. Let j be r(-8). Suppose -3*y + 9 = -j. Suppose 0 = -y*g - 0 + 40. Solve b + g = -b for b.
-5
Let x(m) = 2*m + 4. Let v be x(-8). Let a = 23 + v. Suppose 0 = -t + 3*t - g - a, 4*t + 2*g - 26 = 0. Solve -t - 2 = 2*y for y.
-4
Suppose -4*m - 5*q = -2*m + 3, 5*m - 4*q - 9 = 0. Let i = 36 - 32. Suppose 5*l - 11 = -5*r + l, -5*r + 2*l + 17 = 0. Solve -i*y - m = r for y.
-1
Let q(p) = p**3 + 8*p**2 + 7*p + 2. Let c be q(-7). Let y(f) = -f**3 - 5*f**2 - 7*f + 5. Let b be y(-4). Solve -c*k + b = 21 for k.
-2
Let h(z) = -z**3 + 3*z**2 + 4*z - 2. Let f be h(5). Let x be (f/(-4))/((-4)/(2/(-1))). Solve 20 + 0 = x*k for k.
5
Let c = 181 - 166. Solve -11*x + c*x + 4 = 0 for x.
-1
Let x be 38/5 - (-18)/(-30). Suppose 47 = 2*v + x. Solve -6*s + 2*s = v for s.
-5
Let b be (10 - 7 - (-50)/(-5)) + 12. Solve 9 = -b*v + 4 for v.
-1
Suppose 17208 = 6*n + 66*n. Solve 0 = -5*u - n + 219 for u.
-4
Let w(p) be the third derivative of -p**4/8 - p**3 - 8*p**2. Let g be w(-3). Solve 6 = -0*c + g*c for c.
2
Suppose 4*d = 4*p - 4, -20*d = -21*d - 5*p + 17. Solve d*z = 4*z for z.
0
Let i = 7 - -3. Let a = i + -23. Let g(w) = w + 15. Let m be g(a). Solve 0 = m*v - 7 - 3 for v.
5
Suppose -24*w + 145 - 49 = 0. Solve -2*n = 2 + w for n.
-3
Let p be (-1)/4 - (-136)/32. Let u be 144/15 - 4/(-10). Solve p = -2*h + u for h.
3
Let o be ((-290)/40 - -5)*-8. Solve 21*f = o*f for f.
0
Let c = -35 + 40. Let a be 2/5*c*2. Solve -1 + 9 = a*i for i.
2
Let p(y) be the first derivative of -y**4/4 + 25*y**3/3 + y**2/2 - 20*y + 20. Let r be p(25). Solve -4*x + r*x + 2 = 0 for x.
-2
Suppose c = -0*c + 110. Suppose 3*x - a = 58, 5*x + 5*a = -0*a + c. Solve u = 6*u - x for u.
4
Let p(y) = y**2 - 12*y - 2. Let s be p(9). Let w = -24 - s. Let m = 7 - w. Solve -m*x + 3*x = -1 for x.
-1
Suppose 3*g + 0*g = 0. Let q = 1152 + -1150. Suppose g = q*v + 3*v. Solve 2*t - 5*t - 6 = v for t.
-2
Suppose -2*i - 5 = -47. Suppose i = -o + 24. Solve 4*j = j - o for j.
-1
Let o(d) = -d**3 - d**2 - d - 3. Suppose 3*m = -0*a + a - 4, -5*a + 3*m - 4 = 0. Let w be o(a). Solve -3 = -w*j + 6*j for j.
-1
Suppose -7*u + 10 = -2*u. Suppose -u*v = 2, 3*z + 2*v = 3 + 7. Suppose -2*g - g - 16 = -l, -z*g - 20 = 0. Solve 4 = -i + l for i.
-3
Suppose -3*x + 6 = 3*i - 0, 3*i = x + 6. Let h be (x - -2)*10/20. Let j(u) = u + 7. Let y be j(-4). Solve h = 2*z - y*z for z.
-1
Let t(w) be the first derivative of -w**4/4 - 2*w**3/3 - 3*w**2/2 - 6*w - 8. Let z be t(-2). Solve -4*a + 16 + z = 0 for a.
4
Suppose 4*g + 82 = -3*h + 5*h, 5*h = -3*g + 166. Suppose 10*j - h = 5*j. Solve 0 = 4*d + 1 + j for d.
-2
Let l = -31 + 35. Let f(b) = -b + 2. Let w be f(-3). Suppose -8 = -3*v - 5*q, -4*v = -3*q + 7*q - 8. Solve w*z - l = v for z.
1
Suppose 4 = -3*v - 185. Let s = v - -68. Solve 0 = -0*x + s*x for x.
0
Suppose l + 4*l = 0. Suppose -2 = -l*s - s. Solve -7*w = -s*w + 25 for w.
-5
Let k = -1788 - -1842. Solve -2*f - k + 58 = 0 for f.
2
Let z(f) = -9*f**2 + 4*f - 1. Suppose -5*k + 3*k = -8. Let m(q) = -q**2 + q. Let o(c) = k*m(c) - z(c). Let i be o(-1). Solve w + 25 = i*w for w.
5
Let k(f) = f**2 - 4 - 18 + 6*f + 0 + 5*f. Let p be k(-14). Solve 4*m + 0*m - p = 0 for m.
5
Let t(u) = -u**3 - 3*u**2 + 6*u - 5. Let w be t(-5). Suppose 0 = -55*p + 60*p + 75. Let m = w + p. Solve -3*d + 0 + 12 = m for d.
4
Suppose -100 = 36*x - 26*x. Let r = -8 - x. Solve -r*q = 3*q - 5 for q.
1
Let q(l) = 14*l - 94. Let v be q(7). Solve 0 = v*n - 25 + 17 for n.
2
Suppose -5*p + 10 = -4*k + 3, -6 = -2*p. Solve -3*h = k*h + 5 for h.
-1
Suppose 10 = 5*g - 5*x, x = 4*g + g - 10. Let l = -7 - -12. Solve -g*n - 12 = -l*n for n.
4
Let l be (-4 - 44/(-10))/((-7)/(-140)). Solve 2 = -10*y - l for y.
-1
Suppose -d = -4*a - 19, 5 = -d - 16*a + 14*a. Solve 9*c - 3*c = -d*c for c.
0
Let q(k) = k**3 + 37*k**2 - 5*k - 182. Let d be q(-37). Solve -6*g - d*g = 0 for g.
0
Suppose 0 = -4*j + 5*h + 23, 4*j + j = -3*h + 1. Let k(q) = -4*q - 4 + 4*q - q - 3*q. Let o be k(-2). Solve -2*s - j = -o for s.
1
Let p = -125 - -134. Solve -9*i = -6*i + p for i.
-3
Let b = -18 - -23. Let c(p) = 4*p + 13. Let v be c(b). Let k = -2 + 2. Solve k = 5*h + 13 - v for h.
4
Let o(y) = 2*y - 11. Let m(w) = 5*w - 23. Let u(k) = 6*m(k) - 14*o(k). Let q be u(-5). Solve 10 = h - q*h for h.
-2
Suppose -1 = u - 5. Let x(r) = 2*r**3 - 4*r**2 + 2*r + 1. Let g be (1 + (-3 - 0))/(-1). Let o be x(g). Solve -i = -o*i - u for i.
-1
Let s(i) = i**2 - 13*i - 39. Let b be s(-3). Solve 0 = 5*r + b + 16 for r.
-5
Let i = 24 + -21. Suppose c - i = -1. Solve p - c*p = 1 for p.
-1
Let w = 773 - 700. Solve 5 = 72*x - w*x for x.
-5
Let i = -419 + 419. Solve i = -11*h - 20 - 35 for h.
-5
Let w(r) = 7*r + 24. Let s be w(-3). Let c = -12 + 17. Let t = 2 - 0. Solve -s*v + t = c for v.
-1
Let r = -299 - -300. Solve -2*c + r + 3 = 0 for c.
2
Suppose 0 = -f - 0*f + 18. Let b = f + -14. Suppose -3*i - i + 5*u + 100 = 0, -b*i + 100 = u. Solve i = 2*s + 3*s for s.
5
Let v = -2 - 4. Let r be 1*(1 - -16) + 9 + v. Solve -g - r = -6*g for g.
4
Suppose 6 = -0*a + 2*a. Suppose 6 = 2*c + 2*n, 5*n - 13 = -2*c + 2. Let p = a + c. Solve 2*m + 5 = p for m.
-1
Suppose 3*g = -y - 31, -94 - 44 = 4*y + 5*g. Let t = 42 + y. Solve -z + t*z = -8 for z.
-2
Suppose -h + 24 = 10. Suppose 3*m = q + 12, 5*m - h = -q + 14. Solve 0 = -m*a + 2*a + 3 for a.
1
Let t = 17 - 10. Let k = -3 + t. Let h be 0 + (-4 + 12 - k). Solve 2*l + 10 = h*l for l.
5
Let w = -3031 - -3094. Solve 2 = -13*a - w for a.
-5
Let f = -21 + 21. Suppose f + 8 = 2*m. Let k be (m*1)/(8/8). Solve -6 - 6 = k*q for q.
-3
Suppose -15*n + 45 = 9*n - 9*n. Let c = 7 + -4. Suppose -c + 2 = -m. Solve -n - m = -g for g.
4
Let q(h) = -8*h**3 + 2*h**2 + 2*h. Let y be 2/((-4)/(-2) - 4). Let f be q(y). Solve 0 = 3*o - f + 2 for o.
2
Let g = 11 - 5. Let y = 107 + -111. Let u be (y/g)/(12/(-54)). Solve -6 - 9 = u*h for h.
-5
Let x(m) = 4*m**2 - 16*m + 9. Let i be x(4). Solve 5 = -g + i for g.
4
Let j(x) = -x**3 + 10*x**2 + 2*x - 14. Let p be (-510)/(-18) - 6/(-9). Let m = -19 + p. Let o be j(m). Solve -s = -o + 1 for s.
5
Let x(z) = 13*z - 1. Let k be x(1). Suppose 0 = -6*p + 2*p - k. Let c be (1/(-3))/(p/9). Solve 3*g - 2*g = c for g.
1
Let z = -1 - -6. Suppose -z*k = 0, -3*k = -4*g + 1 + 11. Solve 2*h = -h + g for h.
1
Let v(t) = t**3 - 4*t**2 + 3*t + 4. Suppose 0 = 5*a - 3*a - 6. Suppose -4*u = -5*w - 27, a = -3*u - 0*u - 4*w. Let p be v(u). Solve 6 = p*g - 7*g for g.
-2
Let g be ((-6)/5)/((-24)/60). Suppose g*t - 2 = 4. Solve 3*a + 1 = -t for a.
-1
Suppose -3*z - 5*y + 6 = -7*y, -2*y = 0. Solve 4*q = z*q for q.
0
Suppose -3*r - 3 + 6 = 0. Suppose -1 = -h + 2. Let j = h - r. Solve 3*m = j*m - 4 for m.
-4
Let i be (5 - 5) + 0 + 1. Suppose -5*f + g + 24 = -3*g, 0 = -g - i. Solve -3*h + 5 = -f*h for h.
-5
Suppose f - 2 = 3*h - 2*h, f - 2 = -3*h. Suppose f*t - 5 = -3*t. Solve -1 = -a + t for a.
2
Let g = 124 + -116. Solve y = 5*y - g for y.
2
Let o be (18/(-4))/((-17)/34). Solve 0 = 6*f - o*f + 12 for f.
4
Let a(v) = 4*v**2 + v - 1. Let m be a(-1). Solve m*d - 5 = d for d.
5
Let h be 3 + 4 - 3/(-3). Let l = -3 + h. Let x(w) = w**3 - 5*w**2 - w + 5. Let n be x(l). Solve n*s + 1 = s for s.
1
Let j(c) be the second derivative of -c**4/12 + 11*c**3/6 + c**2 - 17*c. Let b be j(11). 