e u - 17 = -r*j for j.
4
Let o(b) = 2*b + 1 + 0 + 2*b**2 + 0*b. Let g be o(-2). Solve -4*l + 1 = g for l.
-1
Suppose -14 = -3*j - 2. Solve k + j*k + 10 = 0 for k.
-2
Suppose 4*i - 4*n - 27 = -7, -5*i + 25 = 5*n. Solve 0 = -i*j + 3*j + 6 for j.
3
Let k be (4 - 4)*((-2)/(-2) - 0). Solve -2*x + 4*x - 8 = k for x.
4
Let p be (-206)/(-14) + (-2)/(-7). Let b = p - 10. Solve c + b = 6*c for c.
1
Let y(q) = 4*q**2 + 2. Let g(r) = r**2 - r. Let k(n) = -6*g(n) + 2*y(n). Let v be k(-3). Solve 0*m = m + v for m.
-4
Let v(k) be the third derivative of -k**5/60 + k**4/3 + k**3/6 - 3*k**2. Let h be v(8). Solve 13 = -3*f + h for f.
-4
Let z(p) = 1 - p - 4 + 5. Let v be z(-2). Suppose 5*a - 30 = -v*l, a + 2*l + l - 17 = 0. Solve -3*q + a*q + 5 = 0 for q.
5
Let i = 36 - 26. Let m = -14 - -17. Solve -s - i = -m*s for s.
5
Let a = -51 - -53. Solve -2*l + l = -a for l.
2
Suppose 16 = 4*r - 12. Let c = r - 4. Solve -2*p + c = -p for p.
3
Let d be -2*(26/(-4) + -1). Let q be (-30)/9*18/(-15). Suppose q*o - 5 = 11. Solve -w - o*w = -d for w.
3
Suppose -9 = -2*k - f, -5*k - f = -14 - 10. Solve k = l + 4*l for l.
1
Let z = -62 - -66. Solve -z*h = -h - 6 for h.
2
Let m(h) = -h**2 + 6. Let w be m(0). Let b be (-8)/(-6) + 4/w. Let j = 19 - 16. Solve -j*p = b*p for p.
0
Let k = 4 + -9. Let z be ((-4)/6)/(k/75). Let f = -2 + 3. Solve z = 3*y + f for y.
3
Let q(n) = -n**2 - 5*n - 2. Let c be q(-5). Let f be -2 + (12 - 2 - c). Suppose -4*o = o - f. Solve 2 = -o*r - 2 for r.
-2
Suppose 0*x - 2*x = -4. Solve -2*s + x = -0*s for s.
1
Let s be (0 - (0 - -5))*1. Let m = -3 - s. Solve -2*q - m*q = 0 for q.
0
Suppose -u - 36 = -4*v - 5*u, -3*v = 2*u - 22. Suppose 28 = 4*k + v*j, 5*k - 62 = 2*j + 2*j. Solve 2*o - k = -0*o for o.
5
Let p be ((-8)/(-5))/((-2)/(-5)). Let z(w) = w**2 - 4*w - 4. Let q be z(5). Solve -y + q = -p for y.
5
Suppose 4*n + 7 = 3*n. Let d = n - -9. Solve 4 + d = -2*m for m.
-3
Suppose -2*c = 0, 0*c = -3*m - c. Solve m = 4*k + 6 + 2 for k.
-2
Suppose -l - 1 = -2. Solve 0 = a + 3 + l for a.
-4
Let c(d) be the first derivative of -d**3/3 + 3*d**2 - 9. Let z be c(6). Solve z = -h - 0*h for h.
0
Let n(g) = 6*g**2 - 2*g**3 + 3*g**3 + 8*g - 2 - 9*g - 3. Let h be n(-6). Solve -h = -s - 5 for s.
-4
Let a(q) = -6*q - 29. Let p be a(-5). Solve 4*k - p = 3 for k.
1
Let m be 32/(-10)*-1*170/68. Solve -2*i + 0 = m for i.
-4
Let v be 3/(-9)*(-6)/1. Solve 2*d + 0 = -v for d.
-1
Suppose 4*j + 2*m - 104 = 0, -4*j = -0*j - 2*m - 88. Suppose 5*k - 4*t = k + j, 5*t + 9 = -2*k. Solve -2 = 5*s + k for s.
-1
Let m = -13 - -18. Let b be (-1 + 23/3)*3. Suppose -b + 80 = m*o. Solve o = -3*q - 0*q for q.
-4
Let u be -2 + 1 + 0 + 10. Solve -5*p - u = 11 for p.
-4
Let h be (-2)/(-6)*-3*0. Solve h = -3*k + k + 8 for k.
4
Let s = 23 - 17. Solve 3*x = -3 + s for x.
1
Suppose -8*k + 5*k + 21 = 0. Solve -2*a = -k*a + 25 for a.
5
Suppose -5*p + 4*j - 1 = 3, j = -4*p + 1. Solve p = 3*z + 5 - 2 for z.
-1
Let w(p) = p - 10. Let k be w(14). Solve -3 - 17 = k*h for h.
-5
Let r(d) = d**3 - 6*d**2 + 3. Let u be r(6). Suppose 2*t - u*l = -2*t + 46, -5*t + 5*l + 55 = 0. Let m = -7 + 11. Solve -m*o = -t - 7 for o.
5
Suppose 3*a - 6 = 3. Suppose -20 = -2*p + 5*o, -4*o = 2*p - 0*o + 16. Let u = -2 - -3. Solve p = 2*s - a + u for s.
1
Suppose -2*f + h - 4 + 5 = 0, 4 = -2*f - 4*h. Suppose f = -q - 3*q + 8. Suppose 0 = -j + 7*b - 2*b - 9, -2*b + 42 = 2*j. Solve 6*v - j = q*v for v.
4
Let t = -2 + 5. Suppose -t*x = x. Solve -4*d - 4 = -x*d for d.
-1
Let z be 5*(-4)/(80/(-28)). Suppose 2*q - j + 20 = z*q, 0 = q - 5*j + 22. Solve i - q = -5 for i.
-2
Suppose 0 = -5*d + 5*w - 50, -5*w + 28 = -d + 6. Let u = 11 + d. Let v be (-21)/6*u/(-2). Solve -2*s = -v*s for s.
0
Let s(q) = -q**3 - 15*q**2 - 4*q - 18. Let u(a) = -a**3 - 16*a**2 - 5*a - 18. Let f(h) = 3*s(h) - 2*u(h). Let t be f(-13). Solve -3*x = -x - t for x.
4
Let r = 23 + -23. Solve 2*x - 4 = -r for x.
2
Let q(p) = 2*p - 6. Let o be q(4). Let x be 2 - (2 - (o + -2)). Solve x = -0*s - 3*s + 9 for s.
3
Suppose -t = -6*t + 10. Suppose 0 = -0*u - u + t. Suppose 4*l - 5*h + 0 = 15, 4*l = -u*h + 50. Solve -35 = 5*n - l for n.
-5
Let j(x) be the first derivative of x**4/4 - 2*x**3/3 + 3*x**2/2 - 4*x + 5. Let i be j(3). Solve 5*v - 1 = i for v.
3
Let g(p) = -p**3 + 8*p**2 - p + 8. Let x be g(8). Suppose 2*w + 10 = -2*k, x = -2*k - 0*k. Let o be (4/5)/((-2)/w). Solve y = 4 - o for y.
2
Suppose 1 - 5 = -i. Let l(w) = -w**2 - 6*w + 4. Let v be l(-5). Let o(x) = x. Let a be o(v). Solve d - a = i*d for d.
-3
Suppose 4*h - 5*r - 20 = -4, -12 = -3*h + 3*r. Suppose 17 = h*w - 47. Suppose 2*m = 6*m - w. Solve 3 = m*p + 11 for p.
-2
Let h = -168 + 170. Solve h*j = -3*j - 10 for j.
-2
Suppose -h - 4 = -6. Suppose 2*y + h*y = 8. Solve -y*t - t = 0 for t.
0
Suppose -h = s - 6, -2*h - 2 - 21 = -5*s. Let x(y) = y**2 - 2*y - 1. Let i be x(3). Solve i*c - s = -3*c for c.
1
Let t be (36/12)/((-6)/(-4)). Solve 0 = -z - t*z for z.
0
Suppose -3*k = 2*l - 4*l - 3, 0 = -2*k + 4*l + 2. Suppose 0*n = h + 3*n, -4*h - 2*n = -10. Solve -2*i + h*i + k = 0 for i.
-1
Suppose -18*z = -15*z. Solve -3 + z = 3*x for x.
-1
Suppose -2*w - 1 = -4*c - w, -5*w - 5 = 0. Solve c = f + 4*f for f.
0
Let f(q) = -12*q. Suppose 3*b + 5*i = 3, -2 = b - i - 3. Let t be f(b). Let p = 18 + t. Solve p*x = 3*x - 6 for x.
-2
Suppose -5*j = -2*j + 5*r + 19, 4*j - 5*r = 33. Let u(n) = -2*n + 22. Let a be u(11). Suppose -j*g = -a*g. Solve g = -0*i - 4*i for i.
0
Suppose 2*p + 5*v - 12 = 2*v, p = v - 4. Let j = -4 + 8. Let l = -25 - -45. Solve p*s = -j*s + l for s.
5
Let f = 19 + 21. Suppose -8*v + f = -3*v. Solve -c = -5*c - v for c.
-2
Suppose 0 = p - 3*p + 16. Solve -p = -2*r + 2 for r.
5
Let k = 4 + -1. Let i be (-282)/(-22) + (-6)/(-33). Suppose 0 = 4*v + 1 - i. Solve 0 = v*s + k + 3 for s.
-2
Let l(o) = o**3 - 4*o**2 + 5. Let c be l(4). Solve 1 = c*i + 21 for i.
-4
Suppose -5 - 3 = -4*z. Let h(p) = -p**3 - p + 2. Let u be h(0). Suppose -6 = -2*d - r, -5*r + 6 = -u*r. Solve d*l + 0 - z = 0 for l.
1
Let j(z) be the third derivative of -z**6/120 + z**5/20 + z**4/8 - 2*z**3/3 + 3*z**2. Let w be j(3). Suppose w*y - y = 0. Solve -v = -y*v for v.
0
Suppose 5*k - 25 = s, -2*s - 5*k = -6*s - 25. Solve 3*x + 0*x = s for x.
0
Suppose 4*p = -p - 15. Let t be (-4 + p)*-1*1. Suppose -10*z = -t*z - 6. Solve -3 = z*r + 5 for r.
-4
Suppose -v + 5*g = v + 125, 5*v + 5*g = -225. Let z be (320/v)/((-1)/5). Let o be z/20 + (-4)/(-10). Solve s + 2 + o = 0 for s.
-4
Suppose 0*r + r - 2 = 0. Suppose -r*q = -3*q. Let s = q + 1. Solve s - 5 = -x for x.
4
Let c(o) = -2*o**2 + 10*o. Let f be c(5). Solve -2*z + 5*z - 3 = f for z.
1
Let h be (1/2)/(4/96*2). Solve h = -2*k + 4*k for k.
3
Suppose d + 2 = 2*d. Suppose d + 2 = 2*u. Solve -h - 3 = u for h.
-5
Suppose -5 = 5*q, -3*p + 0*q + 3 = -3*q. Let a = 0 - p. Suppose 12 = -4*j, 0 = -d + 3*d + 2*j + 2. Solve a = -5*w - 22 + d for w.
-4
Suppose 41 = 3*b - 2*x, -b - x + 6*x + 5 = 0. Suppose 6 = 2*i - i. Solve 0 = -r + i*r - b for r.
3
Suppose 2*z = -4*r + 16, z = 5*r + 8 - 28. Let b = 16 + -11. Solve -w + z*w = -b for w.
5
Let a = 30 - 24. Solve -2 - a = -2*x for x.
4
Suppose -2*m - m = 0. Suppose m*g + 2*g = -4*b, -2*b + 8 = 5*g. Solve 0*n + g = n for n.
2
Let q(t) = t**3 + 7*t**2 + 6*t + 2. Let p be q(-6). Solve -3*u - 11 = -p for u.
-3
Suppose -2*t - 6 = 8. Let c(j) = -j**2 - j - 2. Let h be c(-2). Let a = h - t. Solve -a*s = -4*s + 4 for s.
4
Let a = 28 - 28. Solve 2*q + a*q - 8 = 0 for q.
4
Suppose -5*h + 4*f + 10 = 5*f, -h + 26 = 5*f. Solve -h = 4*n + 3 for n.
-1
Let k = -47 - -47. Solve k = -5*i + 19 + 6 for i.
5
Let l = 104 - 100. Solve -12 = 2*r - l for r.
-4
Let k(x) = x**2 - 4. Let i be k(3). Suppose -i*n = 4*z - 40, 19 = 5*z - 6. Solve -y = -n*y - 3 for y.
-1
Let w(b) = -b - 5. Let s be w(-8). Solve x + s = 1 for x.
-2
Let p(r) = -r**2 + 5*r - 1. Let m be p(4). Solve -m*f + 4 + 8 = 0 for f.
4
Let w be -1 - (6 - 1/1). Let h be -3 + 0 + 2 - -10. Let u be h*(w/(-9))/2. Solve -v + u*v = 0 for v.
0
Let c = 1 - 1. Let l(r) = 3*r - 44. Let j be l(16). Solve c = -f - j*f for f.
0
Let t = -1 - -3. Suppose 2*o + 2*o = -4. Let f be 1*o*9/(-3). Solve -t*x = 1 + f for x.
-2
Let t(m) = m**3 - 17*m**2 + 5. Let r be t(17). Solve r*x + 10 = -0*x for x.
-2
Let h(y) = -y**3 + y**2 + 1. Let s be h(0). So