p + k for p.
-2
Let l be (5 + -4)*(1 - 14). Let u = l + 13. Suppose u = -3*v + 5*v. Solve 4 = -v*c - c for c.
-4
Let x be 33 + -3*(8 + -4 + -5). Solve 0 = 4*a - 13*a - x for a.
-4
Suppose 3*i - 84 = -0*z - 3*z, -46 = -2*z + 3*i. Let g = z + -23. Solve -c = -g*c + 6 for c.
3
Let y(m) be the first derivative of 3*m**2/2 + 39*m + 15. Let g be y(-12). Solve 0 = -h - g - 2 for h.
-5
Let o = -35 - -20. Let j be (-5)/(o/66) - -2. Let p = j + -16. Solve 0 = 7*v - 3*v - p for v.
2
Let h = -1 - -76. Suppose f = -0*s - 5*s + h, 5*s + 3*f - 65 = 0. Suppose 4 = 2*t - 2. Solve -t*p - s = p for p.
-4
Let q be 3 + 3 + 1 + -4. Let d be (q - 1) + -2 + 0. Solve d*u = 3*u for u.
0
Suppose 3 = 2*x - 1, 0 = -2*i - 5*x + 14. Suppose 7 = i*m - 7. Suppose -4*u = -m*u. Solve 0 = -4*f - u - 16 for f.
-4
Let w(u) be the second derivative of -u**4/12 - 5*u**3/6 - 3*u**2/2 - 2*u. Let y be w(-3). Suppose 5 - 8 = -y*t. Solve 4*g + t + 3 = 0 for g.
-1
Let c be (36/5)/(3/10). Suppose -47*y + 45*y + 204 = 0. Let d be y/13 + (-6)/(-39). Solve -4*k - c = -d for k.
-4
Let a(h) = -4*h**3 + 16*h**2 + 4*h - 1. Let i be a(4). Solve -i = 4*x + 5 for x.
-5
Let m(o) = 5*o. Let x be m(1). Let s be (0/(-2))/(0 + -2). Suppose -2*w + 7*w = s. Solve w = x*j + 2 + 13 for j.
-3
Let m(u) = 12*u + 20. Let n be m(-1). Solve -7*x - 6 = n for x.
-2
Let t = -7 + 4. Let u be t/6*-1*0. Let d(m) = m**2 + 10*m + 10. Let v be d(-9). Solve -x - 4 - v = u for x.
-5
Let s = -1145 + 1149. Solve 10 - 14 = -s*l for l.
1
Let l(o) = -2*o - 19. Let z be l(-10). Let b(u) = -u**2 - 9*u - 4. Let i = -21 - -13. Let h be b(i). Solve z = h*y - 3 for y.
1
Let l be (-2)/8 + 142/(-8). Let x be l/6*-1*1. Solve -x*a - a - 16 = 0 for a.
-4
Let z = -7 - -24. Let l(v) = -6*v + 25. Let x be l(1). Let f = x - z. Solve 0 = -5*t - 7 + f for t.
-1
Suppose 7*s = 36 - 8. Suppose 0 = -4*v + u + 18, 0 = v + 2*v - s*u - 20. Let a = 9 - v. Solve 29 - 4 = -a*g for g.
-5
Suppose -4*u - 22 = -2*u. Let j = u + 12. Suppose -1 = -2*l + j, 5*l - 13 = -2*x. Solve 0 = x*k + 9 - 1 for k.
-2
Let m be -3 + 16/20*5. Solve -m = a + 3 for a.
-4
Suppose -502 = -23*i - 134. Solve 12*p = i*p + 8 for p.
-2
Let b(q) be the first derivative of q**3/3 + q**2/2 + 16*q + 4. Let h be b(0). Suppose -9 = -c - 5. Solve -c*z + h = -4 for z.
5
Let t(j) = -16*j - 12. Let k(n) = -5*n - 4. Let u be 11 - (1 - -1) - 2. Let v(d) = u*k(d) - 2*t(d). Let z be v(-2). Solve -z*h + 7 = -3 for h.
5
Suppose 15 = 3*i - 4*s, -s = -4*i - 0*i + 20. Solve -i*d + 26 = 1 for d.
5
Let d = -24 + 20. Let k = d + 8. Solve 9*q = k*q + 10 for q.
2
Suppose 0 = 3*q + 3*a + 6 - 9, -5*a = 25. Solve 12 = 2*n - q*n for n.
-3
Suppose 5*r - 15*y - 72 = -11*y, 3*r - 45 = 3*y. Solve 333*o = 337*o + r for o.
-3
Let l(p) be the third derivative of -p**6/120 - p**5/20 + p**4/8 - 2*p**3/3 - 29*p**2. Let d = -1 - 3. Let q be l(d). Solve v - 3 + 0 = q for v.
3
Suppose -2*g = 2*i - 20, -5*g = -4*i + 2 + 2. Solve -3*d - i + 15 = 0 for d.
3
Suppose -4*n = -n - 18. Let a be n/(-4)*(-5 + 3). Let f be 1*(-4 + 2 + a). Solve 4*l = -3 - f for l.
-1
Let y(c) be the first derivative of c**2/2 + 2*c - 6. Let i be y(-2). Suppose -r - 4*g - 8 = i, -5*r - 4 = g - 2. Solve r = -v - v + 2 for v.
1
Let o be -1*(-11 + (1 - 3)). Suppose -o = -x - 11. Solve -5*q - 3 = x for q.
-1
Let q = 210 - 205. Solve 0 = -4*w + q*w + 2 for w.
-2
Let m(x) = -x**2 - 4*x. Let y be m(-3). Suppose -27*k + 34*k = 0. Let w(t) = -t**2 + 6*t + 8. Let c be w(7). Solve 2*d - y - c = k for d.
2
Let u be 16*(-9)/54*9/(-2). Solve -h = 3*h - u for h.
3
Let s(p) = p**3 - 17*p**2 + 7*p + 1. Let t be s(17). Let a be (t/16 + -6)*8/3. Solve 8 = -a*j - 8 for j.
-4
Let r(s) = -2*s - 3. Let n be r(-10). Let f = n + -27. Let v = -7 - f. Solve -v = -3*m - 18 for m.
-5
Suppose 3 = 5*y + 2*c + 1, 2*y + 2*c - 2 = 0. Let v = 4 - 2. Suppose f - 2 = v. Solve i = -y*i - f for i.
-4
Suppose 8*x = 3*x + 2*s - 154, 0 = 4*x + s + 118. Let z = 33 + x. Solve -z = -c + 1 for c.
4
Let t be 48/120 + (-96)/(-10) + -1. Solve t*a + 3 = 12*a for a.
1
Let p = 24 + -29. Let o be ((-1)/p)/(7/105). Solve t + o*t - 12 = 0 for t.
3
Suppose -3*t - 2*t = -15. Suppose -o + 5 = -5*y, 2*o - y + t*y + 2 = 0. Suppose 4*s - 9*s + 35 = o. Solve 5 = -4*u - s for u.
-3
Let q = 225 + -221. Solve 28 = q*g + 8 for g.
5
Let j be (-3)/(-5) + (-54)/(-10). Suppose j - 33 = 3*p. Let x = p + 15. Solve 0 = -4*q - 2 - x for q.
-2
Let c be (-4)/((5/(-245))/((-12)/(-42))). Solve -51*z = -c*z for z.
0
Suppose -2*i + 2 = 3*z - 3, 45 = 4*z - 5*i. Suppose -z*y + 5*o = -20, -2*o - 12 = -2*y + 2*o. Solve -q + y*q = -3 for q.
-3
Suppose h = 3, -u = 3*u + 4*h - 24. Let c(a) = -2*a**2 + 4*a - 1. Let d be c(u). Let s = d + 11. Solve -5*f + s = -16 for f.
4
Let n(y) = y**2 + 21*y + 25. Let r be n(-20). Let j be (-1 + (-5)/(-2))/(15/20). Solve -12 = -r*t - j for t.
2
Let a(k) = k + 3. Let v be a(5). Let l = v + -7. Solve 3*p = l + 5 for p.
2
Let n(s) = -s - 2. Let k = 9 - 7. Let a be -3 - 3 - (k + -4). Let f be n(a). Solve -f*g = 3*g - 5 for g.
1
Let l = -89 - -46. Suppose -3*y - 3*q = 11 + 70, -4*q = -4. Let i = y - l. Solve -v - 4*v = -i for v.
3
Let f = -137 + 144. Solve -2*l + f*l = 0 for l.
0
Let t(d) = 2*d**2 - 3*d + 2. Let f be t(2). Suppose f = 3*u + u. Let s be (-18)/(-9) + u*-2. Solve i - 2*i = s for i.
0
Let k(l) be the first derivative of -2*l**3/3 + 9*l**2 - 12*l + 1. Let o be k(8). Suppose 0*u = o*u. Solve -2*t - 1 + 9 = u for t.
4
Let k be (-4)/(-6) - 49/(-21). Suppose 0 = h + b + 1, -k*h = 4*b + 1 + 6. Solve -1 = -h*q + 4*q for q.
-1
Let y(k) = 12*k - 19*k + 8*k - 1. Let r be y(3). Let t be 8/(-4)*r/(-4). Solve -h - t = -2*h for h.
1
Let o be (-344)/(-28) - (-8)/(-28). Let m(u) = -3*u + 7*u - o + 11 - u**2. Let k be m(3). Solve k*i - i = -3 for i.
-3
Let a(p) = p**2 + p. Let i be a(-2). Suppose 0 = -i*k - 2*k + 16. Let o = 8 - k. Solve -11 = o*g + 5 for g.
-4
Suppose 0 = -5*c + 15 - 35. Let k be (-1 - (3 + -2)) + c + 12. Solve t = k*t for t.
0
Let b(w) = 3*w + 14. Let v be b(-10). Let i be (-4)/v*(0 - -2 - -2). Solve -d - i = -0*d for d.
-1
Let j(c) = -c - 15. Let h be j(10). Let v be h/(-4) + 2/(-8). Let o be (v/5)/((-24)/(-80)). Solve -o*b - 17 - 3 = 0 for b.
-5
Let a(x) = -x**3 - 2*x**2 + x + 4. Let w be a(-2). Solve w*r = -28*r - 150 for r.
-5
Let g = -200 - -202. Solve -25 = -7*w + g*w for w.
5
Let k(y) = -5*y**2 - 67*y - 11. Let x be k(-11). Solve -x*u - 1 = -120*u for u.
-1
Let u(c) = 10*c - 96. Let v be u(10). Solve n - v*n = n for n.
0
Suppose 2*z - 2*d = -7*d + 3, -1 = 2*z + d. Let m be z/(202/(-50) - 48/(-12)). Solve 0 = -3*x - 2*x + m for x.
5
Let x(w) = w**3 + 7*w**2 - 2*w + 5. Let n be x(-7). Let s = n + -6. Let b = s - 13. Solve 2*r - r + 4 = b for r.
-4
Let b(o) be the second derivative of 6*o**2 - 1/12*o**4 - 6*o + 0 - 5/6*o**3. Let y be b(-6). Solve 0 = 2*f - 0*f - y for f.
3
Suppose u = 5*u. Let q = 11 - 6. Suppose 1386*y + 28 = 1393*y. Solve u = -y*x + 3*x - q for x.
-5
Let m = 464 + -463. Solve -m = -x + 4 for x.
5
Let d(o) = o**2 + 9*o - 90. Let u be d(6). Solve 3*b = -u*b + 15 for b.
5
Let b = -4 + 4. Let p(f) = 35. Let w(i) = i. Let o(r) = -p(r) + 4*w(r). Let q be o(10). Solve q = -b*a + a for a.
5
Suppose 8*a = 28 + 92. Solve 7 = 4*o + a for o.
-2
Let r(x) = -x - 7. Let w be r(-9). Let b be (w/3)/((-7)/(-126)). Let m = 45 + -32. Solve b = -5*t - m for t.
-5
Suppose 0 = 2*m - 2 - 12. Let a(j) = -4*j - 31. Let c be a(-9). Let h = m - c. Solve h*t = t for t.
0
Let g = -3 - -8. Suppose -4*c = -g - 7. Suppose 69 = -c*t + 7*t - o, 2*t - 2*o - 42 = 0. Solve -2*v = -6*v + t for v.
4
Suppose 34*f = 70*f - 144. Solve -f = -5*k + 11 for k.
3
Let m = 2419 - 2419. Let o be 2/9 - 208/(-36). Solve 0 = -2*g - m - o for g.
-3
Let d be 4*(27/12 - 1). Solve 0 = y - d for y.
5
Suppose 5 = 3*w - 1. Suppose 0*u = u - w*h - 3, -2*u = 2*h. Solve 0 = -x + 3 - u for x.
2
Suppose -4*g - 2*o + 36 = 2*o, o - 17 = -3*g. Suppose -2*x + 43 = -f, f - g*f + 18 = x. Let m = x + -19. Solve -m*p = p + 3 for p.
-1
Let j = -350 - -352. Suppose 10 = 3*h - 2. Solve 6 + h = -j*t for t.
-5
Suppose x = -6*x - 21. Let p be 3 + 1 + x + 1. Solve p*o = -2*o - 8 for o.
-2
Let z = 8 + 11. Solve 16*f - z*f = 6 for f.
-2
Let q(p) = -p + 1. Let z(u) = -u - 8. Let c(s) = 4*q(s) - 2*z(s). Let b be c(8). Solve -b*o + 0*o = -16 for o.
4
Le