s.
2
Let i(p) = p**3 + 3 + 3*p**2 - 5 - 6*p + p**3 - p**3. Let a be i(-4). Let g = -1 + a. Solve -q - g = 4*q for q.
-1
Let n be (-4)/(-22) + (-1378)/(-286). Solve 2*s + n = -1 for s.
-3
Let c be (0/(-3))/(1 + 1). Solve 2*k - 14 + 4 = c for k.
5
Let d(q) be the first derivative of 2*q**3 - q**2/2 - 2*q + 6. Let l be d(2). Solve -l = 5*c - 0*c for c.
-4
Let d = 25 - 13. Solve -3*l - d = l for l.
-3
Suppose 0 = 4*b - 11 + 27. Let t = -7 - -14. Let q = t + b. Solve -3*o + q = -4*o for o.
-3
Suppose -3*r = 10*r - 26. Solve -r*h = -h + 4 for h.
-4
Let a be (-15)/(-9 - -4) - (-1 + 1). Suppose 4 = -3*o + 10. Suppose -2*h - o = -3*c, 0 = -c + 3*c - a*h + 7. Solve -3 = c*r - 3*r for r.
-3
Let g(q) = 5*q - 3. Let z be g(-3). Let c be z/(-8)*12/9. Solve c = -2*i - i for i.
-1
Let q be 3/(-2)*(-2)/3. Solve w + 1 = -q for w.
-2
Let n = 11 - 7. Solve x + 0 + n = 0 for x.
-4
Let f be 4 - (-4 - (0 - 3)). Suppose -2*m = -3*m + f. Solve -3*n + m = 2*n for n.
1
Let d = -10 - -9. Let x be 2*d - (1 - 9). Solve 4*y - x*y = -2 for y.
1
Let a(x) = -3*x + 5 - 3 + x**3 + 2*x - x**2. Let m be a(0). Solve 0 = -4*k + m*k for k.
0
Let y(a) be the second derivative of a**3/6 + 9*a**2/2 + a. Let k be y(-7). Suppose 0*u = -k*u. Solve u = -0*o - 3*o + 15 for o.
5
Let q = -35 + 50. Suppose 0 = 4*o - q - 17. Solve o = 4*w - 12 for w.
5
Suppose 12 = 6*j - 6. Solve 4*h - 4 = j*h for h.
4
Let h be (-130)/(-18) + (-9)/((-81)/(-2)). Suppose 0 = 2*m - 0*v - v - 1, -5*v = -5*m - 10. Solve 8 + h = m*w for w.
5
Suppose -5*c + 5 = 4*x - 49, -5*c = -3*x - 47. Solve 2*d = -0*d + c for d.
5
Let u(o) = -o**2 + 8*o + 3. Let y be u(8). Solve j = 4 - y for j.
1
Let z = 2 - -1. Let b = z - 1. Suppose 5*t = b*y + 17 + 23, t - 16 = 2*y. Solve 0 = -t*j + 2*j - 20 for j.
-5
Suppose 7 = 2*s - 1. Suppose 0 = k - s - 8. Solve 0 = 3*h - 6*h - k for h.
-4
Let c = -3 + 15. Suppose k = 5*k - c. Solve -m - k*m = -8 for m.
2
Let h = -15 + 11. Let i be (-16)/56 - h/14. Let y be (i - 0)*(3 + -4). Solve z + 5 = -y*z for z.
-5
Let z(u) = u - 35. Let t be z(0). Let w = 51 + t. Solve q + 3*q + w = 0 for q.
-4
Let y = 16 - 28. Let u(w) = -w**3 - 13*w**2 - 11*w + 13. Let o be u(y). Solve 0 = 5*f - 4 - o for f.
1
Suppose 0 = 2*r + 5*a + 1, r + 5*a + 7 = 2*r. Solve r*g + g - 15 = 0 for g.
5
Let d be 1/(-2) + (-27)/(-6). Suppose -2*j = -4*m - 8, -2*j = j + d*m + 28. Let g be (-22)/j - (-1)/2. Solve -i - i + g = 0 for i.
3
Suppose -2*g - 2*c + 60 = 0, 0 = -2*g - g + c + 74. Let l be g/6 - 4/12. Solve 5*a + 6 + l = 0 for a.
-2
Let v be -2*(-4)/(-24)*3. Let n be (v - -5)/(-16)*-8. Solve -n*w = -5 + 1 for w.
2
Let m = 42 - 61. Let x = m - -27. Suppose -6 = 3*u - 15. Solve -u*z + x*z = 0 for z.
0
Let d(p) = -p + 7. Let l be d(3). Solve -l - 4 = -4*r for r.
2
Let a(o) be the second derivative of -o**5/20 - o**3/6 - 3*o. Let x be a(0). Solve x = 2*d + d - 9 for d.
3
Suppose 2 = -4*t + 2*o, 0 = 6*t - 3*t - o. Let g be 19/7 + (-8)/(-28). Solve 2*b = -t - g for b.
-2
Let c = -4 + 8. Suppose -o - 3*l = 0, o - 3*l = 2*l. Suppose -a + c = -o*a. Solve 4 = a*h - 16 for h.
5
Suppose 0 = a + 3 - 4. Let s be (-15)/12 - a/(-4). Let v(g) = -3*g - 1. Let l be v(s). Solve 0*u = -l*u for u.
0
Suppose 5*z = -3*w + 22, 18 = 4*z - 3*z + 4*w. Suppose 0 = -4*h + 2*d - 26, -z*h + 4*d + 0 - 4 = 0. Let i = h + 8. Solve 5*x - 6*x = i for x.
0
Suppose 8 = 2*q, -52 = -4*z + q - 6*q. Let f = 18 - z. Let b be 1/3 + 1/(-3). Solve b*t - f = -2*t for t.
5
Let j(i) = -i**3 - 8*i**2 + 10*i + 11. Let o be j(-9). Solve 2*p = -0*p + o for p.
1
Let a(r) = r**2 - 10*r + 8. Let d be a(10). Suppose -4*k = 2*h + 8, d = 3*k - 2*h - 0. Solve k = 3*p - 4*p for p.
0
Let y be 3/(-5) - 112/(-20). Suppose -3*x + y = -1. Solve 2 = x*a - 3*a for a.
-2
Suppose -4*s + 22 = 6. Let q be 1*((s - 1) + 0). Solve -q = -y - 0 for y.
3
Let s be (-70)/20 + 1/2 + 23. Solve 4*w = -0*w - s for w.
-5
Let g be 1/(-3*3/(-45)). Let a(m) = 2*m - 5. Let k be a(g). Solve 9 = -k*i - 1 for i.
-2
Let p be 0 + (-6)/12 + (-1)/(-2). Solve -6 = 2*a - p*a for a.
-3
Let b(c) = -2*c - 16. Let x be b(-10). Solve -d - x*d = 25 for d.
-5
Let k(o) = 2*o**2 + 2*o - 1. Let g be k(1). Suppose -3*c + 2*f - 3 = -0*f, -g*c - 3 = 4*f. Let i be 3 + c + 0 + 1. Solve -i*q + q = 0 for q.
0
Let i(m) = -m**3 - m**2 + 4*m + 2. Let d be i(-3). Let k = -5 + d. Solve -k*n = n for n.
0
Let o be (-4)/(-6)*(-6)/(-4). Solve g = -0*g + o for g.
1
Suppose 2*v + 3*v - 10 = -5*w, 0 = -3*w + 2*v + 16. Solve -w*m + 8 = -6*m for m.
-4
Suppose -8 = 5*u - 33. Solve -17 = -4*y - u for y.
3
Let n(p) = -p**3 - 6*p**2 + 8*p + 3. Let r be n(-7). Let z(m) = m**3 + 3*m**2 - 4*m + 3. Let w be z(r). Solve -w + 6 = -g for g.
-3
Let r(t) be the third derivative of 2*t**2 + 0*t - 1/30*t**5 - 1/120*t**6 + 0 + 1/24*t**4 - 1/3*t**3. Let o be r(-3). Solve 0 = o*f - 10 - 6 for f.
4
Suppose 33 = -4*i - q, -4*i - q = -2*q + 31. Let z = i + 13. Suppose z + 16 = 3*t. Solve 2*b - 3 = -t for b.
-2
Suppose -100 = -2*q - s, 2*q - 4*s + s = 116. Let n be q/12 + (-1)/3. Solve -1 - 3 = n*c for c.
-1
Let d(p) = -p**2 - 4*p - 3. Let s be d(-3). Solve s*t = 3*t for t.
0
Let m be (-6)/15 + 1*(-17)/(-5). Solve 0 = -m*f + 6 + 3 for f.
3
Let w be 1 + (-2 - (-2)/2). Suppose w = 2*z + z. Solve z = -3*l - l for l.
0
Suppose 3*b = 5*w - 13, -5*w + 4*w - 7 = -3*b. Suppose -5*t - 5*n = -0*n + 10, 31 = 2*t - w*n. Let h be 3*1/t*1. Solve h = d - 2 for d.
3
Let h = 169 + -161. Solve 0 = -10*l + 6*l - h for l.
-2
Let w be 0/((-16)/4 + 3). Solve -4 = -4*p - w*p for p.
1
Suppose -a - 3*a = -8. Solve a + 4 = 2*j for j.
3
Suppose 28 = -c + 3*c. Suppose 3*m - c = m. Solve -3*j + 4 = -m*j for j.
-1
Let i(p) = p**2 - 1 - 2*p - 5*p**2 + 5*p**2 + 3*p. Let q be i(1). Let x(b) = b**3 + b**2 - b + 2. Let a be x(0). Solve a + q = -3*j for j.
-1
Let o(t) be the first derivative of t**2/2 + t + 3. Let d be o(3). Solve -u - d = -0*u for u.
-4
Let n(w) = -2*w - 6. Let m be n(-5). Solve -5*l = -m*l for l.
0
Suppose 0 = -4*d + 5*f - 4 - 8, -10 = 5*d - 5*f. Solve -3*u + d = 5 for u.
-1
Suppose -r = -4*k + 24, -r - r = 4*k - 12. Solve -k*w - 12 = -2*w for w.
-4
Suppose -2*h + 22 = -4*p, -h + 6*h - 27 = -4*p. Let u be 1/((7/6)/h). Let j = 14 - u. Solve j*i - 9 = 5*i for i.
3
Let m(j) = -j**2 - 15*j - 2. Let s be m(-14). Solve 3*g + s = 7*g for g.
3
Suppose 9*i - 5*i - 36 = 0. Solve 7*a - 4*a = -i for a.
-3
Suppose -5*q + 33 + 17 = 0. Solve -3*x = q - 1 for x.
-3
Let x be (-3)/6*(-2 + 2). Let z be 1/(-2)*(0 - 4). Solve -z + x = -2*u for u.
1
Let t = 2 + -5. Let h(p) = -3*p - 5. Let b(o) = -o - 2. Let q(v) = -7*b(v) + 2*h(v). Let y be q(t). Solve -g + 2 = y for g.
1
Let w be 26/(-143) + 2/11. Solve w = -u - 4*u + 15 for u.
3
Suppose -2*x - x = -2*t + 9, -2*t + 3 = 3*x. Let v be (t/2)/((-6)/(-80)). Suppose 4*d + 7 + 37 = 3*o, 5*d = v. Solve -2*i - 3*i = o for i.
-4
Suppose 0 = 5*m - 3 + 8. Let i = 0 - m. Let x be (i - 0) + -1 + 0. Solve x*q - 4*q + 4 = 0 for q.
1
Let t = 3 - 2. Let p be (-1 - -1)*t/2. Let f be 3 - (-5)/(-6 + 1). Solve 2*b = f - p for b.
1
Suppose 2*x - 38 = -4*h, 23 = -4*h + 8*h + 5*x. Solve 3*j + h = 7*j for j.
3
Let l = 8 - 0. Let s be (2 - (3 - 1))*1. Let z be -2 + 1 - (-1 + s). Solve 3*a - 7 - l = z for a.
5
Let z = -10 + 20. Suppose -10 = 5*n - z*n. Suppose n*y + 10 = 7*y. Solve 3*x - 1 = y for x.
1
Let g be 516/42 - 4/14. Suppose 5*a - 1 = -5*b + 34, -3*b + 20 = 2*a. Suppose 5*h + w - b = 4*w, 0 = -h + 5*w - g. Solve -3*z + 2*z = h for z.
-3
Let d be (-3 + 1)/(-15 + 13). Let f be (d - 1)*13/(-26). Let j = 11 + -8. Solve f*b = -j*b for b.
0
Let r = -19 - -28. Let u be 33/(-55)*5*-1. Suppose -r = -0*y - u*y. Solve -p - y*p = -8 for p.
2
Let p be 182/65 - 1/(-5). Solve -2*d = p*d + 20 for d.
-4
Let a(d) = d + 1. Let r(h) = 4*h + 7. Let x(k) = -3*a(k) + r(k). Let m be x(-3). Solve -m - 3 = -4*f for f.
1
Suppose -5 = -4*y - 3*s + 6, -3*s + 5 = y. Solve 7 = -y*o - 3 for o.
-5
Suppose 24 = -7*f + 3*f. Let u be (2 - 0)/((-3)/f). Suppose 2*s = -2*i + 10, u = -s + i + 3. Solve o = s*o for o.
0
Let n(x) = x**3 + 6*x**2 - 5*x - 4. Let y be n(-6). Suppose 1 = -k - 5*t + 29, 0 = -2*k - 4*t + y. Solve 0 = -5*f + k - 13 for f.
-2
Suppose -2*z = -10 + 6. Suppose 4*p + c = 6, p - c = -2*c + 3. Solve p + z = l for l.
3
Let m = -14 + 14. Solve m*a - 10 = 5*a for a.
-2
Suppose 2*x - 32 = -5*n + 3*x, 5*