 p - 2 = 0. Solve -q*x + 23*x - 95 = 0 for x.
5
Let w(a) be the second derivative of -a**4/12 + 5*a**3/6 + 3*a**2 + a. Let n be w(6). Let b(r) = 11*r + 125. Let o be b(-11). Solve -3*p - p - o = n for p.
-1
Suppose -2*m + m = m. Suppose 0 = u + 7*t - 2*t - 3, -3*u - 9 = -3*t. Let w = -1 - u. Solve d + 1 + w = m for d.
-2
Let i(g) = 21*g**3 - 2*g**2. Let m be i(-1). Let k = m - -36. Solve -12 = -5*t + k for t.
5
Let s(m) = -m**3 - 2*m**2 + 11*m + 3. Let c(w) = 2*w**3 + 4*w**2 - 23*w - 6. Let r(p) = -6*c(p) - 13*s(p). Let v be r(-2). Solve 0 = -5*f + v + 8 for f.
3
Let i be (-49)/(-2) - (-2)/(-4). Let o be i/20*20/6. Solve 0 = -o*c + 5*c - 1 for c.
1
Let n = 217 + -209. Solve -10 = -10*f + n*f for f.
5
Suppose 0 = -3*d + 5*d + 48. Let z = 29 + d. Solve 15 = -2*b + z*b for b.
5
Suppose 0 = -3*s + s + 4. Let x(u) = u**2 - 4*u - 10. Let j be 4 - 0 - (-1 + -1). Let f be x(j). Solve -f*r + s = -0*r for r.
1
Suppose 2*i - 8 = 0, 0*i + 4*i + 14 = -5*n. Let t be 7*n/21*-1. Solve -t*p = -7*p + 15 for p.
3
Suppose -4*p = -8*p + 40. Let c be (39 - 0)/(3/2). Suppose -p = -3*x + c. Solve 0 = -4*g - x + 4 for g.
-2
Suppose -49*f - 18 = -52*f. Solve 5 = n + f for n.
-1
Let s(z) = -3*z + 42. Let b be (-14)/(-3)*(21 - 18). Let j be s(b). Solve j*m = m for m.
0
Suppose 34*w - 27*w - 35 = 0. Suppose 6 - 1 = w*z. Solve -z - 5 = 2*k for k.
-3
Let v(d) = 12*d - 21*d - 19 - 15. Let w be v(-6). Solve n + 4*n = -w for n.
-4
Suppose -4*w + 8 = -0*w, -4*w - 4 = -4*n. Let g be 0 - 0/(1 - 2). Solve n*t + g*t = 3 for t.
1
Suppose 4*o + 2 - 18 = 0. Suppose o*d - 15 = -7. Solve 11 - d = -3*w for w.
-3
Suppose -5*f = k + 11, 5*k - 3*f = -2 + 31. Let c(n) = -n**3 + 10*n**2 - 19*n - 13. Let t be c(7). Solve u - k = -t for u.
3
Suppose -265 = -5*o - 2*a, o + a = 3*o - 115. Let n = o - 52. Solve m = -n*m - 8 for m.
-2
Let w(x) = -55*x - 3. Let c be w(1). Let k = -54 - c. Solve -k*u = -u for u.
0
Suppose -o = -2*m - 5, 47 = 2*m + 5*o + 22. Solve m = 6*b - 31 + 7 for b.
4
Let c(d) = -d**3 + 7*d**2 - 23. Let p be c(6). Solve -p*u + 37 = -15 for u.
4
Let i be (-2)/(-6)*(-18)/(-2). Suppose 75*c - 69*c = 24. Suppose -i*n - c*u + 3 = -u, -5*u = n + 11. Solve -2*v = 6 + n for v.
-5
Let l be -2 + 4 + -1 + 3. Suppose 0 = -6*b + 3*b - 6, 0 = 3*i - 2*b - 19. Solve -i*p - l = -p for p.
-1
Let m = 699 - 692. Solve 3*y - 8 = m*y for y.
-2
Let o be (-2 + -5 + 4)*10/(-6). Suppose -2*m - 4*d = 6, o*d + 9 = -2*m - 0*d. Solve 0*t - m*t = 3 for t.
-1
Suppose -x + 0*x + 2*l - 3 = 0, -x - 1 = -l. Suppose 3*j + 3*b + 5 = -2*b, 5*j - x = b. Solve j = 2*k + k + 9 for k.
-3
Suppose q + 10*q = 0. Let y be 20/(-25)*(-15)/(-6). Let b be (1/y)/(2/(-8)). Solve q*j - b = -j for j.
2
Let u be 2/(6/15*1). Let j(d) be the third derivative of -d**5/60 + d**4/3 + 15*d**2. Let g be j(u). Solve -l = 2*l - g for l.
5
Let p(k) = k**2 + k + 1. Let q be p(0). Let l be 2/(-10) - 792/40. Let f = l + 25. Solve q = 3*x - f for x.
2
Suppose 0 = -3*j - o + 6 + 24, j = 4*o - 3. Solve 4*i - j*i = -10 for i.
2
Let y(j) = j**3 - 2*j**2 - 2*j - 1. Let s be ((-57)/76)/(2/(-8)). Let b be y(s). Solve b*w - 6 = -w for w.
2
Let a be 5/6 - 9/(-54). Suppose 0 = 3*l - 4*p - 30, -p + 2 = l - a. Let f = -4 + l. Solve f = 3*b - 7 for b.
3
Suppose 0 = 3*a + 5*z + 4, 4*a - 5*z - 18 = -0. Let r = -21 - -22. Solve 0 = 3*i + r + a for i.
-1
Suppose -3*s - 12 = -s + 4*f, 24 = -4*s - 3*f. Let c = s - -6. Suppose -4*l + 8 + 32 = c. Solve -g = g + l for g.
-5
Let t = 15 - -10. Suppose 56 = -512*z + 514*z. Let r = z - t. Solve r*k = 2*k - 5 for k.
-5
Let k(f) = f**2 - 9*f + 21. Let s be k(6). Let i = -12 - -14. Solve -s*p + 5 = i*p for p.
1
Suppose 7*t = 31 + 11. Suppose 5*o = -1 + t. Let l(h) = 2*h**2 + h. Let v be l(o). Solve -2*p - v = -p for p.
-3
Let z be (-9)/(0 - -1) - 1. Suppose 3*v = -6, 3*r + 2*v - 40 = 7*v. Let u = z + r. Solve s = -u*s for s.
0
Suppose 1 = 4*i - 7. Let a be ((-3)/3)/5*5. Let f be ((-18)/12)/(a/2). Solve -g - f = i for g.
-5
Let m = 581 + -399. Let j be (-3)/(-7) - 78/m. Let i = 11 - 7. Solve 2*q + i + j = 0 for q.
-2
Let y be 3*-1 - (-3 - 3). Suppose 5*a - 127 = 3*f, 19 + 16 = a - 3*f. Suppose -3*j = -4*q - a, -4*j + 3*j + 4*q = -21. Solve 4*h + j = -y for h.
-1
Suppose -2*f = 2*v - 8 - 18, -5*v + 74 = 2*f. Solve 5*p = p + v for p.
4
Suppose -42 = -4*q - 5*a, 3*a + 38 = 32. Solve z + 8 = q for z.
5
Suppose 3*x + 28 = 5*n, 5*x = 4*n + x - 24. Suppose 5*r - 17 = 3. Suppose 2*s + 0*p = -2*p + r, -2*s - 4*p + 4 = 0. Solve s*u + n = -1 for u.
-3
Let z = -340 - -343. Solve -z*p + 2*p = -4 for p.
4
Let t(j) = -j**2 - 4*j + 2. Let d be t(-6). Let i be (-3)/30*-6 + (-34)/d. Solve i = 6*c - 2*c for c.
1
Let j = 1183 + -1163. Solve -11*y + j = -7*y for y.
5
Let r be 10/30*0 - -158. Solve 4 = 156*s - r*s for s.
-2
Let u = 83 + -35. Suppose -37*a + u = -33*a. Suppose h - a = -h. Solve -f = -h*f - 10 for f.
-2
Suppose -2*j = -5*f - 7*j + 5, 3*f - 5*j - 35 = 0. Suppose -f*p - 29 = -69. Solve 3*u = 5*u + p for u.
-4
Suppose 5*l - 4*i = -13 - 3, -3*l + i = 4. Solve l*g + 5 = g for g.
5
Let y(a) = 3*a**3 + 4*a**2 + 2*a - 2. Let g be y(1). Solve 0*w = g*w for w.
0
Let p = 24 + -22. Suppose 0 = p*a + 3*a. Suppose -t + 0*t = a. Solve f + f = t for f.
0
Suppose 4*h - 169 = -153. Solve 3 = h*y - 9 for y.
3
Suppose k = -2*k - 18. Let p(j) = -j**2 - 8*j - 5. Let d be p(k). Suppose d + 1 = 4*f. Solve -f*l - 1 = -l for l.
-1
Let k be (-5)/(-15) + 42/9. Suppose 0 = -4*m - g + 15, g - 4 = -k. Let b be m*15/36*3. Solve -2*u - 3*u - b = 0 for u.
-1
Let l = 2937 + -2923. Solve -l*r - 32 = 10 for r.
-3
Suppose -4*n + 20 = -4. Suppose r - 2*d - 5 = 0, -2*r + n = -5*d - 6. Let s be (2 + r - 2)/1. Solve -3*k - 8 - s = 0 for k.
-3
Suppose 43 = -4*w + 5*f, 4*f = 3*w + f + 30. Suppose -3*a + 2*o + 29 = 0, a = -3*a + 5*o + 27. Let p = a + w. Solve -c - p = -3*c for c.
3
Let z = -23 + 30. Suppose 0 = 4*w - z*w + 9. Solve -b = -0*b + w for b.
-3
Let w = 372 + -367. Solve 164 - 154 = -w*b for b.
-2
Let p be (-10)/(-8)*4/10*0. Solve -5 = 5*c - p*c for c.
-1
Let a = 29 + -11. Suppose 3*d + 0*d = a. Suppose -3 + 315 = 26*q. Solve d*i - q = 2*i for i.
3
Let v(k) = 3*k**2 + 47*k - 6. Let a be v(-16). Let t(w) = -w**3 - 6*w**2 + 6*w + 1. Let y be t(-7). Let d = y - -2. Solve d = -4*n - a for n.
-5
Suppose -40*k + 217 - 57 = 0. Solve k*q - 8*q = -20 for q.
5
Let t(m) = m**3 + 5*m**2 + 2*m + 4. Let o be t(0). Solve s = o - 3 for s.
1
Let q = -44 + 64. Suppose q = 3*n + n. Solve 5*x + 0*x = -n for x.
-1
Suppose 3*a = i + 7, 4*i - 3*i - 8 = -2*a. Let u = 9 - 6. Solve -u = i*c - 7 for c.
2
Let y(f) = 6*f**2 + 2*f - 2. Let n be y(1). Solve -n*t - 26 = 4 for t.
-5
Suppose 80 = 4*q - 2*z, 2*q = 2*z + 11 + 27. Solve -q*v = -30*v + 27 for v.
3
Suppose 0*g = -5*g + 20, 5*f - 27 = 2*g. Solve f*q + 8 = 3*q for q.
-2
Let i be (-4)/(-3) - 28/21. Solve h + 0*h + 1 = i for h.
-1
Let p be ((-227)/(-3))/(39/117). Solve -242 + p = 3*y for y.
-5
Let s(v) be the first derivative of -v**2/2 + 8*v + 3. Let f be s(6). Let u be (32/(-12))/(16/(-36)). Solve -u = 4*p - f for p.
-1
Let t be 2 + -4 + 132/30 + 21/35. Let k = -2 + 2. Solve 2*v - t - 7 = k for v.
5
Let m(i) = -18*i + 374. Let h be m(20). Solve -h*a + 9 = -17*a for a.
-3
Let z = 59 - 52. Suppose -z*s = -s - 30. Let h be (-52)/(-16) + (-2)/8. Solve s = h*r - 4 for r.
3
Let g be 4/2 - 312/(-4)*1. Let d = -75 + g. Solve -3*s = -d*s for s.
0
Let t(w) = w**2 - 10*w - 14. Let b be t(-2). Solve 0 = -3*z + b*z for z.
0
Let s(m) = -m**2 + 3. Let k be s(0). Suppose -1 + k = 2*f. Let v be ((-2)/2 + 1)/(-252 + 253). Solve -2*q + f - 3 = v for q.
-1
Let i(l) = 3*l + 15. Let o be i(-5). Let r be ((-33)/(-11))/(-1 - o). Let f be (r/2)/(2/(-4)). Solve x = -f + 4 for x.
1
Let w(k) = k**2 - 7*k + 5. Let v be -3 + (-3 - -10)*1. Let b be w(v). Let h = b + 10. Solve -h*g = g for g.
0
Suppose -2*h + 35 = 1. Suppose y - 29 = -h. Solve 0 = 4*l - 8 - y for l.
5
Let k = -8 + 17. Suppose 4*t - k - 3 = 0. Let a(y) = -y**3 + 8*y**2 - 4*y + 4. Let b be a(7). Solve 0 = t*c + 2*c - b for c.
5
Suppose 17 = 4*l + j + 1, 4*l - 8 = -3*j. Suppose 0 = 3*w - i - 17, 5*w - 6*i - 45 = -i. Solve 5 = -l*g + w*g for g.
-5
Let b = -264 - -266. Solve b*c = -4 + 6 for c.
1
Suppose 6*p + 12*p = 108. Solve -p*y - 2 = -4*y for y.
-1
Let q be -2 - (-1 + -2 - 6). Suppose 0 = 3*w + 1 - q. 