.
-1
Suppose 0*y = 2*y - 2. Let w(c) = 8*c**2 - c + 2. Let x be w(1). Solve y - x = -2*p for p.
4
Let u = 4 + -2. Suppose -2*h + 7*o = 2*o + 7, -5*o + 34 = h. Suppose 0 = -f - 2*k - 3, f + 0*k + 3*k + 5 = 0. Solve -u*y - h = -f for y.
-4
Suppose y + 1 = -5*k, -4*k = -3*y - 0*y - 3. Solve 5*g + k*g + 20 = 0 for g.
-4
Let f = 9 - 6. Suppose -3*t + 6 = -0*r + f*r, 2*t = r + 4. Solve -t*i - 20 = 3*i for i.
-4
Suppose 42 = 5*h + 4*d, 3*h - 28 = -0*d - d. Suppose 5*b - 25 = h. Solve 0 = 5*o - 8 - b for o.
3
Let b = -11 + 19. Solve b = -2*x - 0 for x.
-4
Let f be (4 + 0)/4 - -2. Solve s - f*s = 4 for s.
-2
Let f be 5*-5*6/(-15). Solve f*u - 25 = 5*u for u.
5
Suppose 18 - 6 = -4*d, d + 39 = -2*o. Let k = o - -24. Solve -k + 4 = -m for m.
2
Let t = 54 + -49. Solve -t*f + 3 = -12 for f.
3
Let b(j) = j**2 + 7*j + 6. Let c be b(-6). Suppose 0*s - 2*s = -14. Solve c = -2*w - 3 - s for w.
-5
Suppose -4*h - 2*k = -36, -8*h + 5*k = -3*h - 75. Let n be (13/(-26))/(1/(-2)). Let j = n + 3. Solve 3 - h = -j*b for b.
2
Suppose 3*i = -i. Let d = 2 + i. Solve 2*b + 12 = -d*b for b.
-3
Let h be ((-15)/(-6))/1 + 1/(-2). Solve -3*j + 2*j = h for j.
-2
Let b(k) be the first derivative of -k**2/2 - 5*k - 2. Let w be b(-7). Let n be -8*(0/2 - 1). Solve w*a + 0*a - n = 0 for a.
4
Suppose -5 = 3*w - 2*w. Let l = 13 + w. Solve 5*m + l = m for m.
-2
Let m = -6 + 7. Suppose 5*x - 9 - m = 0. Let w = -2 + 2. Solve x*i = 8 - w for i.
4
Let k = -6 + 12. Suppose 0 = -3*h + k, -h - 28 = -2*w + h. Solve n - w = -3*n for n.
4
Suppose g + 5*z = 6*g - 35, 4*z - 17 = -5*g. Let r be 20/(-6)*(-12)/g. Let x = r + 0. Solve -t = -5*t - x for t.
-2
Let k = 8 - 7. Suppose 2*i - 3 = k. Solve i*n + 0*n + 4 = 0 for n.
-2
Let k(h) = 2*h - h**2 - h + 0*h + 0*h + 1. Let q(p) = -p**3 + 3*p**2 - 3*p + 11. Let v(y) = -4*k(y) + q(y). Let i be v(6). Solve 7 = 2*t - i for t.
4
Suppose 4*p + p + 10 = 0. Let i be 4/p*-2*1. Suppose -s = i*s. Solve -2*x - 2*x - 16 = s for x.
-4
Let p = 13 - 11. Let g(h) = -h**3 + 6*h**2 - h + 8. Let s be g(6). Let i = -8 - -12. Solve -i*o = -s*o - p for o.
1
Let w = 0 + 3. Suppose f - 5 + 3 = 0. Solve f + 10 = w*u for u.
4
Let y = -16 + 32. Let d = y + -13. Let j(q) = -q**2 - 6*q - 3. Let k be j(-5). Solve -k = -i - d for i.
-1
Suppose 208 = -2*s - 0*s. Let f be (1/(4/s))/(-2). Solve 7 = 4*o - f for o.
5
Let j(t) be the second derivative of -t**5/20 - 5*t**4/12 - 5*t**3/6 - t**2 - t. Let f be j(-4). Solve 3*n - 5 + f = 0 for n.
1
Let x(y) = y**3 - 8*y**2 - 10*y + 13. Let l be x(9). Suppose 4*g = -0*g + 4. Solve l*q = 7 + g for q.
2
Suppose -4*c - 14 = 2*l, -2*l = 2*c + 2 + 6. Let i = c + 17. Solve 2 - i = 3*j for j.
-4
Let t be 7 + (2 + -8 - -3). Suppose y = -0*y + t. Suppose d - 4*d = -6, 0 = -4*o - 5*d + 10. Solve -4*m = -y - o for m.
1
Suppose 3*c - 9 - 31 = -4*a, -4*c + 9 = -a. Suppose -a = 4*q + k + 4*k, -2*q - 2*k - 2 = 0. Let n be (-9)/3*q/(-3). Solve -2*s - 4 - n = 0 for s.
-3
Suppose 0 = -4*h + n + 14, -h + 14 = 2*h + n. Suppose -5 = h*i - 257. Let s be (-2)/7 - (-396)/i. Solve 2*t = -0*t + s for t.
3
Let x be -2 + (-5)/((-1)/1). Solve -z - 1 = x for z.
-4
Suppose 3*q + 27 = 57. Solve 0*t - q = 2*t for t.
-5
Let y = -13 - -15. Let i = y + -2. Solve -3*q - 6 = -i*q for q.
-2
Suppose 6 = 3*n - 3*w, -3*n - 3*w = -7*n + 10. Let b = 5 - n. Solve 4 = -3*a + b for a.
-1
Let r be (-1)/(-2) + (-9)/(-2). Let p = 0 + 4. Solve p = -c + r*c for c.
1
Let k(t) = 0*t - t + 9*t + 1. Let g be k(-1). Let f be g/(-28) - (-19)/4. Solve 3*w + 2 = f*w for w.
1
Let o(k) = k + 3. Let x be o(-5). Let m be (x/5)/(6/(-30)). Solve 0*i + m*i = 0 for i.
0
Let z be ((-40)/(-12) - 4)*-3. Suppose -o = -z*o + 2. Solve w = -o*w for w.
0
Suppose 3*h - 15 = 33. Let z be 68/10 - (-2)/10. Solve -z*i - h = -3*i for i.
-4
Let p = -64 - -166. Suppose 38 = -5*d - p. Let f be (d/(-6))/(10/15). Solve 18 = -5*t - f for t.
-5
Let u be 4/(-18) - (-55)/45. Let b(v) = v. Let d be b(0). Let p be 1 - u - (d + -2). Solve 2 = -p*s + 4*s for s.
1
Let v(r) = -2*r**2 - 3*r**2 - 4*r + 5*r**2 + r**2. Let t be v(2). Let x(w) = -w**2 - 9*w. Let l be x(t). Solve -q = 4*q - l for q.
4
Suppose -b = -o - 3*o + 13, -11 = -5*o + 3*b. Solve -5*c + o = -7*c for c.
-2
Suppose 11 = -4*r + 5*r. Let o be ((-3)/(-2))/(2/(-4)). Let i be 3/o - (-4 + -1). Solve i = -5*v - r for v.
-3
Let g be (-3)/(-4 - 5/(-2)). Let z(u) = u + 9. Let f be z(-5). Let h(q) = q**2 - 3*q + 2. Let a be h(f). Solve g*r = a*r - 12 for r.
3
Suppose 28 - 28 = 3*h. Solve h*y - y - 4 = 0 for y.
-4
Suppose -4*m = -9*m. Suppose a + 4*a - 20 = m. Solve -x = -a*x for x.
0
Let n = -92 + 92. Solve g + g + 8 = n for g.
-4
Let s be 20/8 + 1/(-2). Solve 3*q + s = -1 for q.
-1
Suppose 3*s - 2*s = -3*i + 16, -i = -3*s + 8. Let k(o) = 20*o - 23. Let x(v) = -7*v + 8. Let j(u) = -6*k(u) - 17*x(u). Let m be j(2). Solve i*g + 4 = -m for g.
-1
Suppose 9 = 4*r + 3*w, -2*r + w = 6*w - 15. Let l(n) = -2*n - 3. Let o be l(-2). Suppose -y + o = -0. Solve -5*u - 4 - y = r for u.
-1
Suppose -3*j = -4*l - 0*l - 8, -4*j + 2*l + 14 = 0. Suppose k - 15 = -j*k. Suppose 5*m + k = g + 6, 3*g - 2*m = 4. Solve -6*z = -g*z + 12 for z.
-3
Suppose 2*z + 3*c - 6*c - 11 = 0, -z - 4*c = 0. Suppose 0 = -8*g + z*g + 12. Suppose 0 = 4*q - 5 + 1. Solve -g*i + 7 = q for i.
2
Let q(a) be the third derivative of a**4/4 - a**3/3 + 5*a**2. Let b be q(1). Solve j = -b*j + 5 for j.
1
Suppose p + 6 = 4*p. Solve -3*t - p*t = -15 for t.
3
Suppose 17 = 2*g + 15. Solve 16 = -5*k + g for k.
-3
Let i be 26/(-6) - (-2)/(-3). Let w be (0 + 2 + i)/(-1). Solve -w = -s + 2 for s.
5
Let x be 6/(-5)*(14 - -1). Let h = x - -26. Let k = h + -5. Solve -s = k*s for s.
0
Let c(w) = -2*w - 10. Let s be c(-5). Solve s = 7*u - 2*u for u.
0
Let u be (-275)/(-33) - (-4)/6. Let h(l) = -l + 6. Let v be h(0). Solve -v*w = -3*w - u for w.
3
Suppose 3*r + 2*y = -2 - 18, 2*y - 8 = 4*r. Let g be r/((-3)/(6/4)). Solve g*z - 6*z = 0 for z.
0
Let w = 2 + -1. Let o be (-21)/(-6) - 2/(-4). Let y = w + o. Solve -y*p + 0*p = -15 for p.
3
Suppose -3*o + 5 = -25. Solve o = -2*p - 0 for p.
-5
Suppose 8*r + 4*m - 21 = 3*r, -4*m + 16 = 4*r. Let p(a) = -a - 6. Let i be p(-5). Let g be 0/(-2) + i - -3. Solve g + 8 = -r*v for v.
-2
Let u(q) = 2*q**2 - 29*q - 6. Let z be u(15). Solve 3 = 3*v + z for v.
-2
Suppose 27 - 33 = -3*g. Solve 0 = d - 3*d - g for d.
-1
Let d(i) = -2*i**3 - i**2 + 6*i + 3. Let x be d(-2). Solve 4 - x = h for h.
1
Let b(i) = -4 + i**2 - 3*i**2 - 6*i**2 + 0*i**2 - i**3 - i. Suppose 4*u + 32 = -0*u. Let a be b(u). Solve 0 = a*w - 7*w + 6 for w.
2
Let v be 8 - (-16)/(4/(-1)). Solve 8 = -r + v for r.
-4
Suppose 3*w = -3*i - w + 21, -2*i + 3*w = 3. Solve -i*o + 2*o = -4 for o.
4
Let x = -2 + 13. Let a = 18 + -26. Let l = x + a. Solve -6*h - 15 = -l*h for h.
-5
Let d(c) = c**2 + 4*c + 2. Let x be d(-4). Let s(b) = -x + b + 5 - 1. Let y be s(0). Solve y*q - 4 = 6 for q.
5
Suppose -6*b = -3*b - 18. Let k = b - 1. Suppose 2*t - 5 = k. Solve -5*d = -0 - t for d.
1
Let h = 21 + -17. Suppose -5*s + 4*a - 66 = 0, -3*s - 3*a + 3 = 21. Let t = s + 34. Solve -t + 8 = -h*l for l.
4
Let s = 13 - 9. Let d be (-3 - 0)/((-3)/s). Solve 0 = d*y - 7*y - 6 for y.
-2
Suppose 5*n = 3*x + 125, 2*n + 125 = 7*n + 4*x. Suppose 0 = c + 5*d - n, -d = 5*c - 3*c - 5. Solve w - 4 + c = 0 for w.
4
Let t(m) = -m + 13. Let w be t(9). Suppose 0 = -i - w*i. Solve i*n + 3*n = 12 for n.
4
Let j = -11 - -6. Let l(y) = -y**3 - 5*y**2. Let i be l(j). Solve n + i = -4 for n.
-4
Let f = 28 + -25. Solve 2*k - f = -1 for k.
1
Let s(t) = -t**3 + 5*t**2 - 2*t - 3. Let k be s(4). Let d = k - 3. Suppose 0 = -d*z + 2 + 38. Solve -3*h - z = h for h.
-5
Let w(l) = 5*l - 10. Let z be w(2). Solve -y - y = z for y.
0
Let t(n) = 2*n**3 + 2*n**2 - 3*n + 1. Let z be t(1). Solve -3*f = -f - z for f.
1
Suppose 2*d - g = -5*g + 2, -5*g + 8 = 3*d. Suppose -l + 6*l - 3*o = d, 2*o - 6 = 0. Solve h - 15 = l*h for h.
-5
Let i = 16 - 1. Suppose f - 4*a + 1 - 18 = 0, -43 = -5*f - a. Suppose g + 12 = -3*o + 3, -3*o = -g + f. Solve g = -6*r + r + i for r.
3
Suppose 4*p + 2*q - 48 = 5*q, -q = p - 5. Solve -7*z - 8 = -p*z for z.
4
Suppose d + 2 - 4 = 2*q, 0 = -q. Let s be (-8)/(-2) - 0 - d. Solve 4*h - s*h = -2 for h.
-1
Let c(w) = w**3 - 9*w**2 + 8*w + 5. Let x be c(8). Suppose -v = -x + 3. Solve 1 + 1 = v*m for m