t a(p) = -p**2 + 5*p - 3. Let v be a(3). Suppose 8 = v*i - i. Solve 0 = -s - 0 - i for s.
-4
Suppose 29 = 5*n - g, -3*n = n + 3*g - 27. Solve 0*t = -2*t - n for t.
-3
Let a(q) = -3*q - 2. Let j be 10/(-25) - 8/5. Let n be a(j). Solve 4 = n*s - 3*s for s.
4
Suppose 2*s - 2*k = 4, -2*s = 3*k - 0 - 4. Solve -1 = -s*j + 3 for j.
2
Let b be (-4)/10 - 2/(-5). Solve 4*w + b*w = 16 for w.
4
Let g(p) = 2*p. Let c be g(2). Let k = 6 - c. Suppose -4*n = 4*w - 3*n, 0 = 2*w + 3*n + 10. Solve -k*v = -v - w for v.
1
Suppose 7*l - 22 - 20 = 0. Solve 0*v - 2*v = -l for v.
3
Let g be (2 + (-8)/12)*3. Suppose 0 = 4*w + l - 5 - g, w + 2 = 4*l. Solve w*b + 15 = -3*b for b.
-3
Let y(f) = f**2 + f + 15. Let k be y(0). Suppose 7*w = 2*w + 5*h + k, h = -2. Solve 3*q - 2 = w for q.
1
Let w = 60 + -60. Solve 0 = 3*h - w*h + 3 for h.
-1
Let g(p) = -p**2 - 6*p + 1. Let r be g(-6). Let y be (r*2)/(2/4). Suppose 2*j + j = 6. Solve 6 = -y*f - j for f.
-2
Let y be (-14)/(-5) - 2/(-10). Solve -y*k + k + 6 = 0 for k.
3
Let h(w) = 3*w**3 - 2*w**2 - 2*w + 7. Let d(s) = s**3 + s**2 - s + 1. Let n(y) = 2*d(y) - h(y). Let p be n(3). Solve p*q = -q + 5 for q.
1
Let s(w) = -w**3 - 9*w**2 - 6*w + 8. Let g be s(-8). Let r = g - -11. Solve -r*z = z - 12 for z.
3
Let k(b) = -b**3 - 5*b**2. Let d be k(-5). Suppose d = -2*q + 6*q. Solve z + 3*z + 20 = q for z.
-5
Suppose -5*s - 15 = w, 2*w + 2*s + 3 = -3. Let p = w - -6. Solve 2*x = p*x - 12 for x.
3
Suppose 0*z + 5*z - 17 = -4*l, z - 1 = 0. Let v be 1/2 + l/(-6). Solve v = 3*c + 1 + 8 for c.
-3
Let c(a) = 18*a + 26. Let z be c(0). Solve 0 = 5*v + z - 6 for v.
-4
Let y be 1/1 - 3 - -3. Suppose -5 = -s - y. Solve -s*d - 7 = 5 for d.
-3
Let d(n) = 2*n + 33. Let i be d(-15). Solve 4 - i = l for l.
1
Suppose -5*h + 6 = -2*h. Suppose y = h*y. Solve y = -z - 3*z for z.
0
Let m = 25 - 23. Solve -m*g - 3*g = 0 for g.
0
Let h(a) be the second derivative of a**4/12 + a**3/2 - 5*a**2/2 + 3*a. Let k be h(-5). Let t be 3*(0 + 1) + k. Solve -s - t = -5*s for s.
2
Let q = 21 - 11. Suppose -q = 2*y - 22. Solve -j = j - y for j.
3
Let x(k) = -k - 6 + 2 - 12 - 1. Let m be x(-17). Solve m = -3*z + 6*z for z.
0
Let w be (-1)/(-3) + 90/54. Solve z + w = 7 for z.
5
Suppose -4 = -2*j + 4*a + 2, -5*j = 2*a - 51. Suppose -3*n + j = -0*n. Solve i - 4 = -n for i.
1
Let w(y) be the third derivative of -y**6/120 - y**5/15 - 5*y**4/24 - y**3/2 - y**2. Suppose -15 = -0*v + 5*v. Let n be w(v). Solve 20 = n*k + 2*k for k.
4
Let n(b) = -b**3 + 8*b**2 + b - 6. Let p be n(8). Solve -p*y = 2*y for y.
0
Let k = -1 - 3. Let b be (-6)/k + 74/(-4). Let r = -8 - b. Solve r = -3*p - 0 for p.
-3
Let o(f) = f**3 + 9*f**2 + 10*f + 9. Let v be o(-7). Let q = -24 + v. Suppose 2*m + 20 = 6*m. Solve m*b = -2 - q for b.
-3
Suppose h + 6 = 12. Solve 5*c = h*c for c.
0
Let m = 25 + -22. Solve 3 = -m*t + 12 for t.
3
Let w be (-5)/((-20)/36) - -3. Suppose 0 = 2*x + 5*f + 16, x - w = 2*f - 2. Solve 1 = s + x for s.
-1
Let f be 4*(-8)/16 + 2 + 2. Solve 0 = -3*p + f*p + 3 for p.
3
Let b(h) = -2*h + 24. Let g be b(12). Solve -3*l + 9 = -g*l for l.
3
Suppose -1 + 6 = 2*b - d, 6 = b - 4*d. Suppose i + 18 = 4*l, -2*i = -l - 0*i + 8. Suppose 12 = l*j - j. Solve -j = -2*w - b*w for w.
1
Suppose -14*u + 151 + 17 = 0. Solve 5*x - u = x for x.
3
Let s be 16/(-8)*(-4)/2. Solve -s*r = -5 + 1 for r.
1
Let u = 20 + -17. Let b = 0 + u. Solve n = -0 + b for n.
3
Let h be 918/221 + 2/(-13). Solve 0 = 6*p - h*p - 2 for p.
1
Suppose b - 17 = -3*p + 6, 3*b + 15 = 5*p. Solve 0 = y - 1 + p for y.
-5
Suppose -t = -3*l + 9, -3*t + 8*t + 2*l = 6. Solve 0 = 2*u - t*u for u.
0
Suppose -4*k - 2 + 18 = 0. Suppose -z + 6 = d - 3*z, 0 = 3*d - k*z - 12. Let p = 2 - d. Solve 0 = -p*l - 2*l - 20 for l.
-5
Let w be (-3 + 1)*(-84)/(-24). Let u = w + 11. Solve 0 = 2*j - 14 + u for j.
5
Let m(n) = -n**2 - 7*n + 2. Let c be m(-7). Let k be c/8 - 1/4. Let p(l) = -l**3 + l**2 + l + 8. Let u be p(k). Solve -4*d - u = 4 for d.
-3
Let r = -23 - -39. Suppose 3*g = -r + 136. Suppose 2*q + 2*q = g. Solve -q = -4*d - d for d.
2
Let t(j) = -3*j + 1. Let u be t(-2). Suppose 6*v - 48 = -18. Suppose -v*s = -18 - 2. Solve -u = s*g + 9 for g.
-4
Suppose -4*t + 18 = -6*t. Let o(q) = -q - 5. Let s be o(t). Solve 6 = 5*d - s for d.
2
Suppose 0 = 2*h + h. Suppose h*q - q = -5. Solve q*n + 3 = -2 for n.
-1
Suppose 3*x + 2*n = -136, -2*n = 2*x - 0*n + 92. Let q(d) = -d + 7. Let w be q(9). Let l be (-52)/x - w/(-11). Solve -o + l = 3 for o.
-2
Let t = 25 + -25. Solve 12 = -4*k - t for k.
-3
Suppose -5*f - 2*k + 17 = 0, 5*k = 5*f - 36 - 9. Let j = f + 1. Let p(z) = -z**2 + 3*z + 4. Let s be p(3). Solve -s*d + j + 6 = 0 for d.
3
Let r = 19 + -17. Solve 2*z + 12 = -r*z for z.
-3
Let d(t) = -3*t**3 - 2*t**2 - t. Suppose -9 = -6*x + 3*x. Suppose 2*r = 4*r - 5*s - x, -3*r - 2 = -s. Let q be d(r). Solve 0 = -0*m + q*m - 6 for m.
3
Suppose 2*t + 2*t - 64 = -3*d, 0 = 5*t - 5. Solve 0 = 5*l - l + d for l.
-5
Let r(f) = -f + 12. Let v be r(7). Solve v*m = 2*m - 12 for m.
-4
Let a be ((-3)/6)/((-1)/(-12)). Let w = 8 + a. Let n be 8 + -3 + w + -1. Solve n*r - r = 10 for r.
2
Suppose 4*p + 22 = -5*b, p = -3*p - 12. Let u be 2/(-4) + (-7)/b. Solve 0 = -u*s - s - 20 for s.
-5
Let p = 70 - 67. Suppose -2*a - 3*a = -20. Suppose -v - p*h = v - 16, 0 = a*v - 4*h - 12. Solve 7 = 3*s - v for s.
4
Suppose -3 = -2*o - 11, 3*g = -2*o + 13. Solve 5 = -3*y - g for y.
-4
Suppose 5*v - 50 = a + 79, -3*v - 3*a + 81 = 0. Let r(g) = 9*g + 1. Let f be r(1). Solve -4*s + v - f = 0 for s.
4
Suppose 0 = -2*r + 2*i + 2*i + 24, -12 = -3*r - 2*i. Suppose r*j = 4*j. Suppose j = -3*c - 15, -k - 5*c - 4 = 13. Solve 0 = -k*d + 4*d + 16 for d.
4
Let x(s) = -6*s + 2. Let j(b) = 5*b - 3. Let m(l) = -5*j(l) - 4*x(l). Let u be m(0). Solve -2 = -a - u for a.
-5
Suppose 0 = o + 3*o - 12, -5*q = -3*o - 1. Solve q*f + 4 = 6*f for f.
1
Let r = -16 - -10. Let b(i) = 11*i**2 + 25*i + 3. Let f(g) = 5*g**2 + 12*g + 1. Let m(w) = r*b(w) + 13*f(w). Let c be m(4). Solve 0*q = -c*q - 3 for q.
-1
Let a = 0 + 3. Let h be (-2)/(-10) + 18/(-15). Let o be h - -3*3/3. Solve a*x = -o*x - 15 for x.
-3
Let m be (0 + (2/(-4) - -1))*6. Solve -4*l = -m*l - 1 for l.
1
Suppose 2*a - 3 = 3. Solve 2*c = -a*c + 5 for c.
1
Let i = -93 + 93. Solve 6*w - 6 + i = 0 for w.
1
Let v = 3 - -1. Solve 20 = v*a - 0*a for a.
5
Suppose 0 = -0*t + 5*t + 3*f - 16, 2*t - 2*f = 0. Solve -t*v - v + 15 = 0 for v.
5
Let t be (-75)/(-20)*(-8)/(-6). Solve 0 = t*v + 5 for v.
-1
Let v(c) = -c**3 + 7*c**2 - 6*c - 6. Let q be v(5). Suppose 3*o - o = q. Solve -3*p + o = -8 for p.
5
Let v(u) = u**2 - 4*u. Let s be v(6). Suppose -q - x - 2 = 0, x + 2 = -5*q + s. Suppose -1 - 2 = -2*k - z, 0 = -q*k - z + 5. Solve -k*o + 2 = -o for o.
2
Let q be ((-3)/(-9))/(3/27). Solve -4*t = -q*t for t.
0
Let x be 9*(-6)/(-9) - -4. Solve -6*s - 16 = -x*s for s.
4
Let z(j) = -7 - 13*j**2 + 8*j + 4*j**2 + 8*j**2. Let h be z(7). Solve h*a + 16 = 4*a for a.
4
Let w(y) = 2*y**3 - y**2 + y. Let h(d) = d**2 + 2*d - 1. Let j be h(1). Let t = 3 - j. Let c be w(t). Solve x = -c + 6 for x.
4
Let u be (-1 + -1)*3/(-2). Suppose -7*k + 10*k = 0. Suppose k*q = q - u. Solve -4 = b + q*b for b.
-1
Suppose p + 32 = 9*p. Solve -1 - 3 = p*y for y.
-1
Suppose -4*s + 21 - 9 = 0. Solve s*n + 10 = 5*n for n.
5
Let t = -9 - -14. Let o = 26 - 18. Let i = o - t. Solve -f + i = -2*f for f.
-3
Let k(a) = a**2 + 14*a. Let t be k(-14). Solve 0 = -t*w + 5*w - 10 for w.
2
Suppose -1 = -5*v + 4*v. Solve -c = -0*c + v for c.
-1
Let q be (-4)/(-2)*(-2)/4. Let g be 78/15 + q/5. Solve -1 = k - g for k.
4
Let a be 3*1 + 0/4. Solve n = -1 + a for n.
2
Let l(u) = -u + 7. Let c be l(4). Solve -c*x + 16 = x for x.
4
Let h = 1 - 4. Let m be (2 - 9/h) + -3. Solve -1 = m*z - 5 for z.
2
Suppose 2*k + 24 = 34. Solve -7 - 8 = k*d for d.
-3
Let y(o) = -o**2 + 3*o - 2. Let r be y(2). Solve r = h + 1 + 1 for h.
-2
Let c(w) = -w**3 + 17*w**2 - 16*w + 5. Let o be c(16). Solve 2 = -o*n + 3*n for n.
-1
Let n = 3 + -1. Suppose 3*k = n*k + 5. Solve -2*o - k = -7*o for o.
1
Let m(c) = -2*c**2 + 4*c + 3. Let p(o) = -3*o**2 + 5*o + 3. Let w(k) = 4*m(k) - 3*p(k). Let r be w(0). Solve 4*d + r = 19 for d.
4
Let x be (4 - -3)*2 - 4. Solve -x = -0*z - 5*z for z.
2
Suppose -8*a - 3*a = -66. Solve -3*p + p + a = 0 for p.
3
Suppose -5*s - 