*z - 23 + v = 0 for z.
3
Let x(p) = p**2 + 18*p - 5. Let b be x(-18). Let o(w) = 5*w**2 + 12 + 7*w - 4*w**2 + 0*w**2. Let i be o(b). Solve -i*a + 0*a + 4 = 0 for a.
2
Let s = -53 - -57. Suppose 5*i - k - 14 = 3*i, s*k = 2*i - 20. Solve 4*b = i*b + 10 for b.
-5
Let s = 25 - 23. Solve -t + 3*t + s = 0 for t.
-1
Let n be (6/8)/(3/(-10))*-6. Suppose 5*y - 2*c = n, -3*y - 6*c + 3*c + 30 = 0. Solve 5*d = y - 20 for d.
-3
Let j = -11 + 11. Suppose -3*l + 3 + 3 = j. Suppose 2*k = -k + 15. Solve -l*o = 13 - k for o.
-4
Let l = 13 + -11. Suppose -l*g + 6*g = 5*p + 12, 5*g = -3*p + 15. Solve -4*y + y - 12 = p for y.
-4
Let w = 192 + -124. Let j = w - 61. Solve 4*o + 9 = -j for o.
-4
Suppose 0 = 4*b - 15 - 5. Suppose -b*a + 0 + 20 = 0. Solve -a*y - y = -25 for y.
5
Let s(n) = 19*n**2 + 3*n + 1. Let b be s(-1). Solve b*z + 0 = -17 for z.
-1
Suppose 21*t - 258 - 981 = 0. Solve 61 = 2*l + t for l.
1
Suppose -2*i + 3*a + 29 = 0, -i + 4*a = i - 32. Solve -5*s + i = -7*s for s.
-5
Let l(d) = d + 8. Let n be l(-7). Suppose 4*o - 72 = -4*r - 16, -4*r = o - 53. Suppose r = 4*j + n. Solve 2 = -t - j for t.
-5
Suppose -2*t - 4*x + 53 = 3*t, 3*t - 19 = 4*x. Suppose -4*h = -51 - t. Solve -h = 2*g - 7 for g.
-4
Let t(p) = p**2 + 7*p + 9. Let y be t(-6). Suppose -4*r + 24 = -h + 3, 3*h = -y. Suppose -u + 3*k + 6 = 0, 2*u = 4*k - 3 + 11. Solve -5 = -u*a - r*a for a.
1
Suppose 0 = -29*t + 25*t + 12. Solve 18 = -t*j + 6 for j.
-4
Let z(a) be the first derivative of a**4/4 + a**2 + a + 4. Let s be z(-1). Let n be (2 + -1)/((-1)/s). Solve n*d = d - 2 for d.
-2
Suppose -5*q + 105 = -4*c + 2*c, -c - 81 = -4*q. Suppose 7 = 2*b - 1. Suppose 0*m = -b*m. Solve 5*i + 4 - q = m for i.
3
Let c = 337 - 334. Solve -4*g - c*g = 28 for g.
-4
Let n be (1 - 3)*1 + 1 + 6. Let m = -3 + n. Solve -f = m*f for f.
0
Let f be (-4)/(-1) + -2 - 0. Let a be 3*(-1 + f) + 2. Solve -2*d = -a*d + 15 for d.
5
Let b(m) = -33*m - 131. Let z be b(-4). Solve z = 5*n + 21 for n.
-4
Let l(i) = -i**3 + i. Let s be l(-2). Suppose s*w - w - 90 = 0. Suppose 0*m - w = -3*m. Solve -a = -m*a for a.
0
Let y be (4/(-5))/(((-4)/35)/(-2)). Let t = -7 - y. Suppose 0*s + s = 3*c + 18, 0 = -2*s - 2*c + 20. Solve -3*q + s = -t*q for q.
-3
Let o = 31 + -29. Let u be (-77)/(-15) + o/(-15). Solve -6*v = -v + u for v.
-1
Suppose 3*q + 6 - 15 = 0. Let b = 107 - 89. Suppose 0 = v - q*v + b. Solve 2*k - 5*k = v for k.
-3
Let o = -246 - -248. Solve -o*r = 3*r - 25 for r.
5
Suppose -15*z + 10*z = -9*z. Solve z = 5*t - 10 for t.
2
Let f be 2 + 12 + -5 - -2. Suppose 4*h + 14 = 66. Let i = h - f. Solve -2*z = i*z for z.
0
Suppose w - 4*w + 9 = 0. Suppose -w*f + 45 = 18. Let k = 19 + -17. Solve k*d + f = 1 for d.
-4
Suppose 7 = -4*j + 59. Let f = j - 10. Let u be f - 4/(-2) - 3. Solve -u*m + 6 = -0*m for m.
3
Let q(w) = -7*w**3 - 2*w**2 - 2*w - 1. Let n be q(-1). Let u = -2 - 4. Let y = n + u. Solve -2*o - o - 9 = y for o.
-3
Let x(r) = -6*r**2 + 2*r + 3. Let l be x(-1). Let f = 8 + l. Solve f*c - 4 = 11 for c.
5
Let r(y) be the second derivative of -y**4/12 + y**3/2 + 2*y**2 + 10*y. Let l be r(4). Suppose -3*b + 20 = b + 2*d, -2*d - 4 = l. Solve -3*c + 6 = -b*c for c.
-2
Suppose 0 = h - 2*h - 4*t - 2, t - 9 = -5*h. Suppose h = 3*s - 10, 8 = 5*x + 2*s. Let d be 3*-2*(-2)/6. Solve 6 + x = -d*g for g.
-3
Let d(g) = -g**3 + 4*g**2 + 5*g - 4. Let m be d(4). Suppose 23*v - 27*v = -m. Solve -2*r + v - 2 = 0 for r.
1
Let b be (-1)/(-2) - 140/8. Let k = -17 - b. Suppose k*h + h - 4 = 0. Solve p - h = 2*p for p.
-4
Let y be 2/(-9) - (-1)/((-9)/(-605)). Solve 9*l + 22 - y = 0 for l.
5
Let t = -14 - -18. Suppose 5*i = -3*h + 15, i + 1 = t. Solve h*b - 4*b = 4 for b.
-1
Let s be (-6)/1*(-2)/6. Suppose -4*u + 14 = 5*v, -u - 5*v = 5 - 1. Solve u = -s*g - 0*g for g.
-3
Let s(z) = -2*z**3 - 21*z**2 + 8*z - 9. Let g be s(-11). Solve -g = -54*h + 48*h for h.
4
Suppose 28*t + 12*t = -22*t. Solve 4*z + 85 - 81 = t for z.
-1
Suppose 0 = a + a + 2. Let j be a/(-1*2/38). Let l = j - 13. Solve l = 5*o - 2*o for o.
2
Let m = 7 - 4. Suppose 0*x = m*x + 9. Let k be x + (-2)/((-8)/12). Solve -d - 1 = -k for d.
-1
Let c(h) = -17*h - 46. Let x be c(-6). Let j be (-4)/3*(-294)/x. Solve -6*g - 5 = -j*g for g.
5
Let j = 19 + -19. Suppose -3*l + 0*m - 2*m + 2 = j, -l = 4*m - 4. Solve 3*n - 4 + 1 = l for n.
1
Let b(r) = -r**2 - 6*r - 6. Let f be b(-5). Let o = 1 + f. Suppose 20 - 75 = -11*k. Solve -y = -o - k for y.
5
Let i = 2518 + -2514. Solve -2*f + 6 = -i*f for f.
-3
Let d(a) = -a**2 + 3*a + 7. Let x be d(3). Suppose -5 = -3*m + x. Solve m*l - 1 = 3 for l.
1
Suppose 85 + 35 = 5*q. Let y be 104/q - 3/9. Solve -y*f + 5 = f for f.
1
Suppose -2*w = -6 - 6. Let m(x) = -x**3 + 15*x**2 + x - 11. Let a be m(15). Let p be (-1 - 4 - -4) + a. Solve -p*u + 9 + w = 0 for u.
5
Suppose -8*m + 210 = 34. Let d = 14 + -10. Suppose 0 = -3*s - x + 23, 5*s + 14 = 4*s + d*x. Solve -m + s = 4*y for y.
-4
Let m(u) = -u**3 - 11*u**2 + 13*u + 24. Let k be m(-12). Solve 11*r - 7*r + k = 0 for r.
-3
Let c be 5*(14/(-5) + -2). Let g be c/40 - 4/10. Let l(i) = i + 1. Let r be l(g). Solve -m + 6*m - 5 = r for m.
1
Suppose -6*p - 22*p = -224. Solve 3*l = p*l - 25 for l.
5
Suppose 0 = -6*a + 3*a. Let g = 159 + -79. Suppose -4*d = d - g. Solve -4*u + 4 + d = a for u.
5
Suppose 12 = 4*k + u, 3*k + 2*k - 4*u - 36 = 0. Suppose 0 = -2*f - 4*c - 12, k*f + 12 = -2*c - 2*c. Solve f*h = h + 1 for h.
-1
Let w = -43 + 16. Let r = w - -47. Solve 0 = 5*u - u + r for u.
-5
Let d(k) = k**3 + 11*k**2 + 10*k + 3. Let m be d(-10). Let b be m/(-2)*(-48)/(-18). Let a be ((-10)/(-15))/(b/(-18)). Solve -5*x = -a - 12 for x.
3
Suppose 4 = 14*s - 38. Solve -s*f + 6 = -5*f for f.
-3
Let n(j) = j**2 - 5*j - 9. Let z be n(5). Let a = z - -12. Solve -a*o = -1 - 14 for o.
5
Let h = -14 + -25. Let n = 39 + h. Solve n = 2*d + 3 + 5 for d.
-4
Let n(k) = -2*k - 4*k - 3 + 5*k + 4*k. Let b be n(2). Suppose b*u = 4*u - 3. Solve 0 = -5*g - u - 22 for g.
-5
Let d be 1/(-5) + (-4368)/(-140). Solve 0 = 32*q - d*q - 3 for q.
3
Let m(t) = t - 4. Let s(n) = -n + 5. Let o(g) = 5*m(g) + 6*s(g). Let k be o(-6). Let c = 0 + 4. Solve -8*w = -c*w - k for w.
4
Let d be 6*(4 - 51/9). Let x be 240/39 + d/65. Solve -x*y + 4*y = 8 for y.
-4
Let h(v) = -v**2 - 2*v + 7. Let w be h(-5). Let g = -34 - -45. Let p = g + w. Solve p*i = -i for i.
0
Suppose l = -5*y - 25, -5*y = -3*l + 2*l + 35. Let c be 72/20*(-45)/y. Suppose 0 = -c*r + 24*r. Solve r = -5*w - 28 + 3 for w.
-5
Let l be 0 - 3/(-6)*-2. Let k(z) = -7*z - 4. Let s be k(l). Solve s*r - 6*r + 9 = 0 for r.
3
Suppose -3*p - 8 = -35. Solve 12*y = p*y for y.
0
Let n(f) = -5*f**2 + 4*f + 10. Let o be n(-4). Let d = o + 88. Solve 2*g = -d*g for g.
0
Let f = -307 + 312. Solve y + 1 = f for y.
4
Suppose 2*h + 22*h = 6336. Solve -4*o = h - 244 for o.
-5
Suppose 0 = 33*z - z. Let k be -4*((-2)/(-1) + -3). Suppose -5*h = -3*h - k. Solve z*v + h = -2*v for v.
-1
Suppose 24*w = 26*w + 2, w = -q + 12. Solve q = 2*z + 21 for z.
-4
Let t(d) = -d**3 - 16*d**2 + 5. Let n be t(-16). Let b = -9 + 2. Let i = 7 + b. Solve i = -j + n*j for j.
0
Suppose -49 = -10*j + 221. Let w be ((-4)/6)/((-18)/j). Solve 2*t + 7 = -w for t.
-4
Suppose -3*c + 5*c = -6, -3 = -5*n - 4*c. Suppose -b - 5*f = -14, -n*b + 4*b - 2*f = 0. Suppose 0 = b*g - 25 - 35. Solve -2*l = 3*l + g for l.
-3
Let t = -6 - -33. Suppose -t + 127 = 4*m. Solve 0*c - m = -5*c for c.
5
Let f(l) = l**3 + 25*l**2 + 4*l + 129. Let p be f(-25). Solve 9 - p = 10*a for a.
-2
Suppose -2*y + 9 = -1. Suppose -22 + 7 = -y*f. Suppose 0 = -x + s, -5*x = -0*x - s - 16. Solve q - x = f*q for q.
-2
Suppose 30 + 10 = 4*x. Let v be (-6)/(1 - x/4). Let j be (-25)/(-30) + 20/(-24). Solve j*k = v*k - 12 for k.
3
Let n(i) = i**3 - 10*i**2 + 13*i + 32. Let b be n(8). Solve -5*h = -b*h + 15 for h.
5
Suppose 7*h - 14 - 7 = 0. Solve h = 3*k - 4*k for k.
-3
Let p(s) = -s + 8. Let t = -18 - -22. Let m be p(t). Solve -9 = m*g - g for g.
-3
Suppose 6*v - 30 = 12. Solve -v*w + 5 = -8*w for w.
-5
Let p = 85 - 84. Let n be 2/(-2)*(0/4)/p. Solve n = -2*i + 3 - 5 for i.
-1
Suppose -10 = 2*m, 2*i - 63 = 20*m - 17*m. Solve -6*c - i = 2*c for c.
-3
Let n(i) = i**3 - 2*i**2 + 4. Let g be n(2). Suppose -3*v = -2*t - 2 + 3, 2*t = -g*v - 20. Let m be (-6)/(9/(18/t)). Solve -m*l + l + 6 = 0 for l.
3
Let 