w = 10, -4*p - 1 = 3*w + 18. Let a be v(p). Let f = -2 - -7. Solve f*x + a = x for x.
-4
Let y be (2 - -10)/(3/3). Suppose 0 = 4*c - y, -2*c = 3*s - 5*c - 6. Suppose 5*t = 5*x + 15, 4*t - 3*t + 15 = -s*x. Solve t = -3*m + 2*m + 4 for m.
4
Let g(j) = -j**3 - 5*j**2 + 2*j - 1. Let n(f) = 3*f**3 + 14*f**2 - 6*f + 2. Let c(l) = 8*g(l) + 3*n(l). Let y be c(-2). Solve -s + 1 = y for s.
-1
Let j be 9/6 + 1/(-2). Suppose -g - j = -6. Solve 3*u + g = 2 for u.
-1
Let f = 8 + -5. Suppose 4 = f*c - 2*c. Solve -g + c = -0*g for g.
4
Suppose -27*h = -23*h. Suppose h = -n + 7 - 5. Solve 0 = -4*b - 2 - n for b.
-1
Let c be 30/((-4)/(-2)) + 240/(-60). Solve c*b = 6*b + 10 for b.
2
Suppose 3*x - 15 = -0*x. Suppose 0 = 2*i - 3*i. Solve i = -x*y + y for y.
0
Suppose 13 = -y + 4*y - h, -25 = -3*y + 4*h. Suppose 0 = -4*v + 3*v, -y*b + 2*v = 0. Solve -8 = 4*w - b*w for w.
-2
Suppose -5*v = -5*y - 15, v + 4*y - 4 = -6. Solve s = -v*s + 15 for s.
5
Let a(y) = -y**3 - 13*y**2 - 11*y + 17. Let w be a(-12). Solve -1 - w = -3*g for g.
2
Suppose d = -3*d + 20. Let b be (-3)/6 + d/2. Suppose j = -2*y, 0 = -3*j - 3*y + 5 - 2. Solve -j*f = b*f for f.
0
Suppose 2*t - t + 2*j - 1 = 0, 0 = 2*j + 2. Suppose t*n - 2 = 4. Solve n*f + 18 = 8 for f.
-5
Suppose -7*g + 2*g + 45 = 0. Let j = -5 + g. Solve a = 2*a - j for a.
4
Suppose 0 = 3*r + 2*u - 6, -5*r + 4*u = -16 - 16. Let f(n) = -n**3 + 4*n**2 + n - 1. Let x be f(r). Solve 2*d = -x*d for d.
0
Let w = 63 + -1. Let h = 11 + -7. Let r be w/h + (-1)/2. Solve -5*t - 35 + r = 0 for t.
-4
Let j(t) = t - 4*t + 4*t + 4. Let z be j(3). Solve -32 = 5*p - z for p.
-5
Let i(r) = r**3 - 7*r**2 + 8*r - 4. Let f be i(6). Suppose -3*w = -w - 8. Suppose -6*p + h + 6 = -p, -w*h - f = -4*p. Solve x = -4 + p for x.
-3
Suppose 0*f - 3*f = 0. Suppose f = -l + 2 - 0. Suppose 14 = -l*s + 4*i, 4*s + 0*i - 2 = 2*i. Solve s*k = 2*k + 3 for k.
3
Let i(g) = -g**2 + 2. Let c be i(0). Let m(a) = 7 - a**3 - 2 - 6*a**2 - 2*a**c. Let v be m(-8). Solve -4*o - o = -v for o.
1
Suppose -3*w = -3 - 9. Let l(f) = f**2 - 3*f + 1. Let r be l(w). Suppose -4*d = -r*c + 56, -5*c + d = 6*d - 65. Solve 0*q + c = -4*q for q.
-3
Let r(l) = -l**3 + 10*l**2 - 8*l - 2. Let j be r(9). Suppose -j*g + 3*g = -12. Solve -g*h + 2 = 8 for h.
-2
Let p(v) = v**3 + 4*v**2 - v - 3. Let f be p(-4). Let n(c) = c - 5. Let i be n(6). Let r = f - i. Solve 0 = 4*l - r*l - 20 for l.
5
Let s = -4 + 6. Suppose 3*n + 2*d = 10, 0*n - 2*n + 10 = -s*d. Suppose -10 = n*u - 26. Solve -4*l = -2*l - u for l.
2
Let b be (-4)/(1/(-1)*1). Solve -u + b*u - 9 = 0 for u.
3
Let n = 28 - 28. Solve 0 = -n*h + 2*h + 6 for h.
-3
Suppose 3*f + 3*l = 63, -4*l + 3 = -f + l. Suppose i + 2*t = 8, 1 = 3*i + 3*t - f. Solve -3*g - i = -7*g for g.
1
Let c be 2 + 6*2/4. Suppose -c*f = -6*f + 9. Let x(m) = -m + 7. Let s be x(4). Solve -6 = s*u + f for u.
-5
Suppose 0 = -b + 3*f - 6*f - 9, 3*b - 21 = 3*f. Let s(l) = 3*l - 3. Let j be s(b). Let y = j - 4. Solve -6*t = -y*t for t.
0
Let t(z) = -2*z**3 - 2*z - 2. Let q be t(-2). Let m be (-12)/q - 10/(-6). Solve -i + 0*i + m = 0 for i.
1
Let m = 3 + 7. Solve -3*g = -2 - m for g.
4
Suppose -3*o = -4*h - 1, 4*o - 5*h + 4 = o. Let g = 18 - o. Suppose 1 + g = l. Solve 0 = -x + 4*x + l for x.
-4
Let g(u) = u**2 - u. Let x be g(2). Solve 7*z = x*z + 25 for z.
5
Let t(y) = -y**3 + 8*y**2 + y - 5. Let r be t(8). Solve r*m = 2*m for m.
0
Suppose 0 = -3*v - a - 0*a + 16, 0 = a - 4. Solve 4*p + v + 12 = 0 for p.
-4
Let x = 48 - 42. Solve s + 1 = x for s.
5
Let s = -36 - -43. Solve s = 3*i + 13 for i.
-2
Suppose -2*q + 16 = j, j - 10 = -0*q - 5*q. Let u be ((-6)/5)/((-6)/j). Solve y = -u*y for y.
0
Let c(m) = -5*m**2. Let j be c(1). Let w = j + 2. Let a = 11 + w. Solve -3*b = -5*b - a for b.
-4
Suppose -4*f = -2*c + 12, -3*c + 10 = 3*f - 8. Suppose -2*k = b - 14, -20 - 10 = -5*b - 2*k. Let p = c - b. Solve p*x = x + 2 for x.
2
Let n(f) = -f**3 + f**2 + 2*f + 25. Let z be n(0). Solve -p + z = -6*p for p.
-5
Let z = 0 - 10. Let p be (z/4)/((-7)/14). Solve 2 + 13 = p*d for d.
3
Let r = 48 - 12. Solve 5*b - r = -16 for b.
4
Let u = 21 - 32. Let o = 13 + u. Let p be (0 - -1) + (-1)/1. Solve o*s - 4 = -p*s for s.
2
Suppose -2*u = 2*c - 12, 0 = 2*u - u - 4*c + 14. Solve -x + u + 1 = 0 for x.
3
Let w be (-2)/4*(5 - 5). Solve -2*u - 2*u = w for u.
0
Let y(l) = 9*l - 63. Let h be y(7). Solve h = 7*t - 2*t - 10 for t.
2
Suppose 0*y + 100 = -4*y. Let z = y - -18. Let i(o) = -o**3 - 8*o**2 - 7*o + 2. Let a be i(z). Solve 6 = 2*v + a for v.
2
Let u = 85 + -60. Solve -s - 4*s = u for s.
-5
Suppose -5*o - 21 = 29. Let t = 254 - 384. Let j be 2/o - t/25. Solve v - j*v = -8 for v.
2
Let r = 1 + -1. Suppose -5*n + 10 = -r. Solve -n*j = -10 - 0 for j.
5
Suppose 7*b - 115 = 2*b. Let d be (-44)/(-10) + 3/(15/(-2)). Solve d*v - 3 + b = 0 for v.
-5
Let d(p) = p**2 - 8*p + 9. Let j be d(7). Suppose c + 2 = j*c. Solve 1 = -c*t - 7 for t.
-4
Suppose -3 - 17 = -3*o + 5*u, 3*u - 6 = 0. Let s = o - 8. Solve s = 2*v - 8 for v.
5
Let y = 21 - 6. Solve -4*p + 7 - y = 0 for p.
-2
Let j(z) be the first derivative of -z**3/3 + 9*z**2/2 - 6*z + 1. Let b be j(8). Solve -3*g = b*g - 10 for g.
2
Suppose 0*h - 12 = -4*h. Suppose c - 7 = t - 2*c, -h*t - 2*c = -12. Solve -5*p + t + 8 = 0 for p.
2
Suppose -6 = -3*r - 0. Solve 0 = -r*t - t - 12 for t.
-4
Let g be (-2 - (-15)/12)*-8. Solve 0 = -g*q + q for q.
0
Let d = -10 - -14. Solve -d*v = v + 5 for v.
-1
Let q(b) = -b + 2. Let m be q(2). Suppose m = n - 1 - 2. Let t be 1/(3 - 105/36). Solve -t = j + n*j for j.
-3
Let i(o) = -o**3 + 3*o**2 - o - 1. Let j be i(2). Let a be (0 + -1)/j + 1. Suppose -2*u + 4 = -0*u. Solve 0 = -u*k - a*k + 2 for k.
1
Suppose -15 = 4*v - 159. Let k = v - 26. Solve -6*q + k = -q for q.
2
Suppose 4*a = -4*o + 28, -o = -4*o + 4*a + 49. Solve -2*s - o = -1 for s.
-5
Let u = 5 - 2. Let s be 3/(-21) - (-104)/91. Solve -u*g + 8 + s = 0 for g.
3
Let g be 16/(-6) + (-2)/(-3). Let x = 7 + g. Solve 4*v + x = 21 for v.
4
Suppose -5*f + 0 = -10. Suppose m + 5 = f*m. Let r = m + -3. Solve -3*d = r*d - 25 for d.
5
Let v(o) = -4*o**3 + 3*o**2 + 2*o + 5. Let a(g) = -3*g**3 + 4*g**2 + 2*g + 6. Let k(t) = -5*a(t) + 4*v(t). Let x be k(-8). Solve -4*s - 2 = x for s.
-2
Let g = 5 - 0. Suppose -g*n + 52 = 2*s, -2*n + 4*s = -4*n + 24. Let x(p) = -p**2 - 13*p + 3. Let o be x(-13). Solve -2*h + n = o*h for h.
2
Suppose -u + f = -1 - 4, 2*u = f + 7. Solve -u*v + v = -4 for v.
4
Suppose -9 = 4*k - 7*k. Solve -v + 2 = -k for v.
5
Let y(g) = g**2 + 4*g - 8. Let w be y(-6). Solve -4*b + w = -16 for b.
5
Let c be 2/(-4) + 85/10. Solve 2 = -3*j + c for j.
2
Suppose 0 = 2*g + 5*t + 7, -5*g + 4*g = t - 1. Solve 4*r - 2*r = -g for r.
-2
Suppose -l + p + 13 = l, -l + 2*p + 14 = 0. Solve 0 = n - l*n - 6 for n.
-2
Let i(h) = -h**3 + 7*h**2 - 5*h - 6. Let y(v) = -4*v - 2. Let t be y(-2). Let j be i(t). Solve -2*w + 0*w = j for w.
0
Let i = -4 + 8. Suppose -4*b + 6 + 2 = 0, 0 = -4*x + i*b + 4. Solve -1 = -x*l + 2 for l.
1
Let j(c) = -10*c - 11. Let t be j(-2). Solve 5*b = t + 11 for b.
4
Let n(p) = p**2 - 3*p + 2. Let b be n(3). Let s be (-2 - -2)*(-1)/1. Suppose 2*f - 17 + 1 = 0. Solve s*m = b*m + f for m.
-4
Let n be 24/(-9)*3/(-4). Suppose r + 4*o - 11 = -0*r, 3*r - 3*o = 3. Suppose 0 = -r*h - n*d + 7, 44 = 5*h - 4*d + 3. Solve 0 = -2*m - 3*m + h for m.
1
Suppose 0 = -y + 4*g + 11, 4*y - g - 4 = 10. Solve 6*f + 12 = y*f for f.
-4
Suppose 2*t + 3*j + 2 = -1, j = -t. Suppose 0 = -t*n - 6, 0*n - 84 = -4*k + 2*n. Solve -6*b - k = -2*b for b.
-5
Let x(j) = -j**2 + 7*j + 4. Let q be x(5). Let r be (-2)/(-7) + 66/q. Suppose 5 = r*v - 0. Solve h + 3 = v for h.
-2
Suppose 6 = 5*w - 2*w. Suppose -w*m = -3 - 1. Suppose -7 = -m*l + 17. Solve 0 = -6*k + 2*k + l for k.
3
Suppose -v = -4*v. Suppose 7 = -v*w + 2*w + j, -w = -3*j - 7. Suppose 0 = 3*m - 0 - 3. Solve 15 + m = w*p for p.
4
Suppose 0 = 2*x - x. Suppose 5*m - 3*z - 14 = -z, -4*z - 8 = x. Solve -s = -m*s + 1 for s.
1
Let c be (-6)/(-2)*(-30)/9. Let v(u) = -u**2 - 10*u + 4. Let d be v(c). Solve 0 = d*k + 7 - 15 for k.
2
Let l(f) = 5*f - 13. Let p(u) = 6*u - 13. Let r(g) = -7*l(g) + 6*p(g). Let n be -6*(9/2)/3. Let w be r(n). Solve 3*o = w*o - 4 for o.
4
Suppose 0 = -2*l + 8*l - 24. Solve -3*o + 2*o = -l for o.
4
Suppose -27 = 2*n - 5*n. Suppose -2*f 