 + -1. Solve -s*n - y*n = -20 for n.
4
Let h = 32 + -13. Let k = -14 + h. Solve k*c + 20 + 5 = 0 for c.
-5
Let a(o) = o**3 - 8*o**2 - 8*o - 6. Let n be a(9). Solve 4*c - 19 + n = 0 for c.
4
Let m = -1 + -4. Let t(g) = g**3 + 4*g**2 - 4*g + 5. Let h be t(m). Let a = -149 + 152. Solve a*d + 6 + 3 = h for d.
-3
Let k be 2*((-17)/(-2) + -3). Solve -4*z - 1 = k for z.
-3
Let i(f) be the first derivative of -f**4/4 - 2*f**3 + 4*f**2 + 7*f + 3. Let x be i(-7). Solve 0 = -x*y - 2*y - 4 for y.
-2
Let o(k) = -k + 5. Let f be o(5). Suppose q + 1 - 4 = f. Suppose -2*c = -3*z - q*c + 1, 5 = -z + 5*c. Solve 0 = -z*r - r + 2 for r.
2
Let i(c) = c**2 + 6*c + 4. Let x be i(-8). Suppose -2*j = 2*j - x. Let g be (2 - j) + 26/2. Solve -g = 3*z - 4 for z.
-2
Suppose 4*r + 4*t = 64, -20 = -3*r + 7*t - 3*t. Suppose 0 = -2*o + 4*b + r, 4*b + 2 = 3*o - 8. Let z = 3 + o. Solve -h - 2 - z = 0 for h.
-3
Let j = 4 + -4. Solve -t - 3 = -j*t for t.
-3
Suppose 0 = 3*t + i - 4, -3*i + 20 = -t + 2*i. Solve t = a - 3 + 1 for a.
2
Suppose 3*u - 2*u - 3*h - 8 = 0, 4*h = -8. Solve -10 = -7*p + u*p for p.
2
Let i(z) = -z + 9. Let d be i(5). Suppose -d*q + 24 = 4. Solve 0*j = -q*j + 10 for j.
2
Let t(f) = f**2 - 8*f + 14. Let z be t(6). Solve 15 = -7*j + z*j for j.
-3
Let d be (5 + -3)*(0/(-2) + 4). Solve -3 + d = g for g.
5
Suppose l + 11 = 25. Let m be ((-7)/l)/((-2)/8). Suppose -s - 3*s + 24 = 0. Solve o + m*o = -s for o.
-2
Let f be 2/(-3) - (-2)/3. Suppose -4*y + 3*s - 3 = -2*y, 0 = -y + 3*s. Let c be 1 + 0 - 6/y. Solve f = c*m - 7*m for m.
0
Suppose 5*n - 6*n = -3*b + 1, 0 = 4*n - 5*b - 3. Solve 0 = n*y + 2*y for y.
0
Let z be 7/2 - 2/(-4). Suppose -3*n + 5*l = -86, 0 = z*n + n - 2*l - 156. Suppose -k + n = -0*v + 3*v, 0 = -k + 5*v - 8. Solve 4*p - 1 + k = 0 for p.
-4
Let v(b) = b**2 + 4*b + 4. Let k be v(-4). Suppose k*z = -z + 15. Let j = 8 + -3. Solve -z = -2*r + j*r for r.
-1
Suppose -3*p = -0*p + 4*r - 10, -2*p + 4*r + 20 = 0. Solve -4 = 4*n - p*n for n.
2
Suppose 0 = -3*q + 5*f + 10, q = f + 1 + 3. Let v be (3 + -15)*((-12)/(-9))/(-2). Solve 0 = q*z - 12 - v for z.
4
Let n(s) = s**3 + 4*s**2 + 3*s + 3. Let j be n(-3). Solve 2*o = j*o + 3 for o.
-3
Let u(a) = a. Let d be u(0). Solve d = 8*w - 3*w + 5 for w.
-1
Suppose 3*z = -2*s - 2*s - 4, 2*s + 2*z = -4. Solve 0 = -5*o + 3*o - s for o.
-1
Suppose 28*q - 193 = 507. Solve 12*j + q = 17*j for j.
5
Let v = -2 - 2. Let q = 8 + v. Solve -5*o + q = -6 for o.
2
Suppose -1 = 4*i - 13. Suppose -i*j = 13 + 5. Let h be (-18)/j + 0 + 0. Solve -h*m + 4 = -2*m for m.
4
Suppose -21*i = -17*i - 20. Solve -1 = -f - i for f.
-4
Let h(r) = r**3 + r**2 + 2. Let k be (-2)/5 - (-8)/20. Let t be h(k). Solve 2 + t = 4*m for m.
1
Suppose -2*c + 68 = 3*p, 0*p + 4 = p - 4*c. Solve p = -5*w + w for w.
-5
Let f(h) = h + 8. Let a be f(-6). Let r = -243 - -246. Solve v - r*v + a = 0 for v.
1
Let x = 8 + -5. Suppose x*v = 2*f + 3, -2*f + 0 = 3*v - 15. Let h(q) = -q**2 - 2*q + 4. Let m be h(-3). Solve -f*y = -m + 16 for y.
-5
Let v = -5 + 9. Solve 0 = m + v - 0 for m.
-4
Let u = 4 - 4. Suppose 3*z = -u*z. Let c = 2 + 6. Solve -4*f = -z*f + c for f.
-2
Suppose 5*c - 10 = 3*c - 2*q, -5*q = -4*c + 11. Suppose 13*v - 25 = 14. Solve 2*f - v*f = c for f.
-4
Suppose -2*u = -4*s + 2*u + 36, 0 = s - 2*u - 13. Solve -5*m + 0 + s = 0 for m.
1
Let v be 3 - (2/(-1))/(-2). Suppose -v*x + 5 = -x. Suppose -b + 5 = 2*k + 2, 5 = -x*b. Solve -4*d = k - 18 for d.
4
Suppose -4*t = -t. Solve t = -0*m + 3*m - 3 for m.
1
Suppose 0 = -2*j + 4 - 0. Let p(v) = v**3 - 8*v**2 + 2*v - 8. Let h be p(8). Let k = h + -6. Solve -4*o + j = -k for o.
1
Let q be (-2)/((-2)/4*-2). Let b be -1 + q*1 + 3. Suppose -3*w + 26 = 2*f - f, 18 = f - w. Solve f + b = -4*a for a.
-5
Let a be ((-1)/1)/(3 + -4). Suppose -3*j = -5*j + q + a, -5*q = -3*j + 5. Let c = j + 8. Solve -c = -2*k + 6*k for k.
-2
Suppose -6 = 4*c - c. Suppose -z - 29 + 7 = 5*a, -29 = 2*z + 5*a. Let x = c - z. Solve -21 = -x*s + 4 for s.
5
Let u(j) = -j + 2. Let l be u(0). Solve l = 2*k - 4 for k.
3
Let r(d) = 4*d**2 - 2*d - 2. Let i be r(2). Suppose 5 = 5*m - 5. Let g = -5 - -12. Solve -i = g*x - m*x for x.
-2
Suppose -10 = -3*h + 5*l, 2*h + 3*l + 10 = -2*l. Solve b = -h*b for b.
0
Let l(y) = y**3 - 15*y**2 + 7. Let v be l(15). Solve -3 = 5*p + v for p.
-2
Let q(y) = 99*y - 1. Let i be q(-1). Let v be (-2)/8 + i/(-16). Let k be 38/14 + (-2)/(-7). Solve -f + v = -k*f for f.
-3
Let o be -2 + 7 - 4 - 1. Solve 4*g + 6 + 10 = o for g.
-4
Suppose -5*x = y - 3, -3*y = -3*x - 3 - 6. Let t = -2 + 5. Suppose i = t*i - 4. Solve i = -y*s - 1 for s.
-1
Let o(m) = -m**3 + 4*m**2 + 2*m - 6. Let r(y) = y**3 + 8*y**2 - 9*y + 4. Let f be r(-9). Let a be o(f). Solve -3*h = -a + 14 for h.
-4
Let a(m) be the first derivative of -2 - 7*m + 1/2*m**2. Let c be a(8). Solve 0 = 3*v - 13 + c for v.
4
Suppose -5*h - 10 = -5*b + 55, 4*b = -4*h + 20. Suppose 3*t = 2*a + 1, -5*t + b - 2 = 2*a. Solve -y - t = -5 for y.
4
Let n(z) = -z + 15. Let d be n(12). Suppose d*k - 6 = q + k, -5*q + 3*k = 9. Solve q = t - 3 - 0 for t.
3
Let r(w) = -w - 8. Let y be r(-11). Solve -y*f - 4 = f for f.
-1
Suppose -2*k = -2*l - 6, 0 = 5*k + 7*l - 2*l - 15. Suppose 3*y - 17 = -2*s, y - 2*y = k*s - 15. Solve -s = z - 5 for z.
1
Let j(v) = -7*v**2 - 10*v + 13. Let p(y) = 13*y**2 + 19*y - 25. Let x(g) = -11*j(g) - 6*p(g). Let r be x(-5). Solve 1 = r*c - 9 for c.
5
Let m = 119 - 115. Solve -19 - 1 = m*g for g.
-5
Suppose -3*j + t + t + 18 = 0, 0 = 5*j + 5*t - 5. Suppose 0 = -j*h + 3 + 1. Solve -h - 2 = 3*d for d.
-1
Suppose -t + 5*t - 5*b = 0, 0 = t + 2*b. Solve 9*u - 4*u - 15 = t for u.
3
Let d(r) = 4*r**2 - 2. Let c be d(-2). Solve 4*n = -6 + c for n.
2
Suppose -5*d = -2*d + 60. Let c = d + 35. Let s be 4/(-5)*(-4 + -1). Solve -s*w + 3 = c for w.
-3
Let k(u) = -u**2 + 9*u - 4. Let t be k(8). Let y = 3 + -2. Suppose 0 + 2 = -d - t*o, o = -d + y. Solve 4*x = d*x for x.
0
Let p = -4 - -8. Suppose p*y = 6*y. Solve -5*s + 2*s - 15 = y for s.
-5
Let t(o) = o**3 - 12*o**2 - o + 12. Let j be t(12). Solve -2*r + 6*r - 12 = j for r.
3
Suppose 0 = 4*q - 5*q - 3*r + 3, -9 = -3*q + 5*r. Solve 1 + 14 = -q*i for i.
-5
Suppose -2*u - 4*b = 4, 3*b - 8 = 4*u + 2*b. Let j be (-1)/(-2) - 5/u. Let k be (6 - 4)/2 + -1. Solve k*v = -v - j for v.
-3
Suppose -3*h - 20 = -6*h - 2*y, 0 = -2*h + 2*y. Suppose -6*v = -2*v. Suppose 4*x - x - 42 = v. Solve h*t - 2 = -x for t.
-3
Suppose 2*x = -3*x + 10. Suppose -3 = x*y - 1. Let t be 0 - (y - (-1 + 0)). Solve -3*n - 3 + 0 = t for n.
-1
Let y be 2/8*2*-2. Let i be y/1*(-9)/3. Let r be (i - 1)*-2*-1. Solve -23 + 3 = -r*z for z.
5
Let r = -12 + 15. Solve 1 = r*p - 2*p for p.
1
Suppose 0 = -3*w - 5*y + 19, 3*y - 8 = -2. Suppose p - 5*v + 11 = 3, 0 = 3*p + w*v - 12. Let m be (-26)/(-8) + p/(-8). Solve m*b + 0*b = -12 for b.
-4
Let r be (-4)/(-12) - 4/(-6). Let b be (-2 - -3)/(r/4). Solve 4*x - b = 12 for x.
4
Let u be (1/2)/((-5)/(-70)). Suppose -5*t + 8 = -u. Solve -t*h = -h for h.
0
Let c be (-3)/((84/(-8))/7). Solve 0 = -q - c*q for q.
0
Let y(n) = -4*n**3 - n**2 - 2*n - 2. Let g be y(-1). Solve -9 = -g*l - 0*l for l.
3
Let x be ((-2)/(-1) - 3) + 4. Solve 0*k + 6 = x*k for k.
2
Suppose -20 = -5*a - 10. Solve 0 = a*s - 13 + 5 for s.
4
Suppose 1 + 4 = 5*a. Let r = a - -1. Suppose -7*i + 3*i = 3*s - 3, -4 = -2*i - 4*s. Solve i*j = -r*j + 4 for j.
2
Let u be 2/1 + -4 + 14. Let j = -6 + u. Let d = j + -3. Solve 2*g + d*g = -15 for g.
-3
Suppose -2*k = 4*w - 6, 0 = -0*w + 3*w - 3*k. Solve -2*s - 3 = -w for s.
-1
Suppose 7 = 4*v - 5. Suppose -v*c = -c. Solve p - 2*p = c for p.
0
Let x = -1 + 3. Let g be 26/10 + x/5. Suppose 3*p + 4*h = -1, g*h = -4*p + 7*h + 8. Solve -p = t + 2 for t.
-3
Let o(r) = r + 10. Let j be o(-8). Solve -t + j = t for t.
1
Let p(l) be the first derivative of -l**3/3 + 3*l**2 + 2*l - 1. Let q be p(6). Solve -q*a - 4 = 6 for a.
-5
Let a(g) be the first derivative of -10*g**2 - 3. Let l be a(-1). Solve -5*o + o = l for o.
-5
Suppose 9 - 1 = 4*v. Suppose b - m = 7, -10 = -3*b + v*m + 6. Solve -f - b*f = 15 for f.
-5
Let a be ((-2)/4 + 1)*4. Suppose -u = -4*u + 6. Solve -c - a = -u*c for c.
2
Let t = 5 + 0. Suppose 0 = 6*a - t*a - 8. Suppose w - a = -w. Solve w*y - 2*y + 4 = 0 for y.
-2
Suppose r = 2 + 1. Let b be 1 - 1 - (-4)/2. Suppose r*l - 3 = 