3*l - 1. Let j be t(-3). Let v be (j + 10)*8/6. Let c = 17 - v. Solve 8 = -c*q + q for q.
-2
Suppose 0 = z + 2*z + 5*l - 26, 4*z - 29 = -l. Solve 3*c + z = -5 for c.
-4
Let i = 0 - -1. Suppose -o = 2*o + 12. Let u = 25 + o. Solve -4*n + i = u for n.
-5
Let v = 141 - 126. Solve 11*q + 12 = v*q for q.
3
Suppose -5*z - m = -2*m - 111, -66 = -2*z - 5*m. Solve z - 3 = 4*n for n.
5
Suppose 0 = -4*t + 8*t - 2*k - 24, -3*t + 8 = k. Let i(n) = n**3 - 4*n**2 + 4*n - 1. Let v be i(3). Solve -r - v = -t for r.
2
Suppose 4*y = -4, -2*c = -4*y - y - 29. Solve j + c = 4*j for j.
4
Let y(c) = -2*c. Let p be y(-1). Let a be (14/(-21))/(3/(-9)). Solve 2*i - a = p for i.
2
Let p(z) = -z. Let i(y) = y + 4. Let s be i(-3). Let b(j) = -2. Let k(t) = s*b(t) + 2*p(t). Let q be k(-6). Solve -2*w = 3*w + q for w.
-2
Suppose 3 = 2*y - 3*n, -2*n = 2*n - 4. Solve y*x - 4*x - 3 = 0 for x.
-3
Let t be 2 - (-2)/(-3 - -4). Suppose -3*z - 5*s + 1 = -4*z, -2*z + t*s = -4. Solve -g = -1 + z for g.
-3
Suppose -5*t = 5*f + 15, -2*f + 2*t = t - 9. Suppose 3*w = f*w + 2. Let v = w + -2. Solve s + 2 = -v for s.
-2
Let l be (-1 - 2)/(-4 - (-3)/1). Solve 0 = -l*y - y - 8 for y.
-2
Suppose 38*z = 40*z - 10. Solve -2*q - 6 = -z*q for q.
2
Let d(t) = t**2 - 2*t + 2. Let a be 2/((-1)/(-4)*-2). Let s = a + 6. Let z be d(s). Solve z - 4 = -x for x.
2
Suppose -22 = -6*i + 2. Let o(b) = b**3 + 2*b**2 - 5*b - 2. Let d be o(-3). Solve -5*f = -d*f + i for f.
-4
Let z(g) = -5*g + 4. Let a(s) = -s + 1. Let w(h) = -4*a(h) + z(h). Let k be w(2). Let t be -2 + 0/k + 8. Solve -4*n = -2*n + t for n.
-3
Let p be 2 - (1 + 2)/(-3). Let y(q) = -q**3 + 3*q**2 + q. Let m be y(p). Solve 16 - 1 = m*h for h.
5
Let t be -5*-1*(-1 - -2). Suppose -t*l + 14 = 3*c, -5*c - 14 = -4*l + 12. Solve l*b - 1 + 21 = 0 for b.
-5
Suppose -28 = 4*f - 4. Let n be ((-2)/f)/(10/300). Suppose 0 = 2*l + 1 + 7, 0 = r + 3*l + 10. Solve -r - n = 4*m for m.
-3
Suppose -p = 4*p - 15. Let l = -12 + 15. Solve 2*j + l = p*j for j.
3
Let c = 14 - 1. Let o = c + -3. Suppose t + t - o = 0. Solve -t = 3*f - 20 for f.
5
Let z = -4 + 15. Suppose 0 = -5*r - 1 + z. Solve -4*a + 4 = -r*a for a.
2
Let m = 13 + -8. Suppose -x + 28 = 4*h - 8, 4*x - 34 = -m*h. Solve -y = -6*y + h for y.
2
Let c(v) = -2*v**3 - v**2 + 3*v + 1. Let b be c(-2). Let h = 5 - b. Let z = h - -10. Solve z = 5*g - 7 for g.
3
Let s be (-3)/(3/2) - 5. Let m be 1*(-33)/(-3)*s. Let p = -52 - m. Solve -4*b - b = p for b.
-5
Let h(i) = i**2 - 6. Let d be h(0). Let x be (2/d)/((-2)/18). Solve 0 = -x*k + 2*k + 2 for k.
2
Suppose 2*i + c = 4*c + 25, 2*i = c + 15. Suppose 2*m + 2*z - 2 = i*z, -24 = -4*m + z. Suppose -w + 18 = 5*k, 2 = 2*k - 4. Solve 0 = -v - m + w for v.
-4
Let z be 1*(8/(-4) + 1). Let k = 4 - z. Solve -3*o = 2*o + k for o.
-1
Let a be ((-18)/6)/((-3)/4). Solve -a*o + 9 + 11 = 0 for o.
5
Suppose a = 2 - 2. Solve -5*c + 0*c = a for c.
0
Suppose 31 - 4 = 3*m. Suppose u + q - 6 = 0, -m = -0*u - 2*u + q. Solve 0 = 3*t - u*t - 6 for t.
-3
Suppose -u + 2*g + 3*g + 1 = 0, 4*u + 11 = 5*g. Let v = u + 6. Solve -2*f + v = -4 for f.
3
Suppose v + 0*j + 5*j - 11 = 0, 3*v + 2*j = -6. Let n be 4 - (3 + -1) - -9. Let p be v/(-6)*(4 + n). Solve -c = -6*c - p for c.
-2
Let o be (-3)/(-9)*0 - -2. Suppose 9 - 41 = -o*p. Suppose -z - 4*z + 25 = 0. Solve -y + p = -z*y for y.
-4
Let f = -2 + 11. Let y(q) = q**2 - 10*q + 5. Let m be y(f). Let b = m + 5. Solve 2*n - 3*n = -b for n.
1
Let p = 0 + 8. Suppose 0 = 5*h - 3*t - 29, 4*h - 2*t - p = 14. Solve -3*c = -c + h for c.
-2
Suppose 3*s - 4 = 4*n, n - 18 = -3*s - s. Suppose 24 = -2*a + 82. Suppose 2*w = -8, -2*w - a = -4*f + f. Solve 0 = -f*y + n*y for y.
0
Let d(t) = 8 - 7*t**2 + 5*t**3 - 2*t**3 - 2*t**3 - t. Let n be d(7). Solve 3*x = n - 16 for x.
-5
Let i(c) = c**2 + 9*c + 10. Let u(z) = z**2 + z - 7. Let f be u(0). Let m be i(f). Let a be (-2)/m*-2 + 12. Solve -5*v + 4 = -a for v.
3
Let g be (-3)/(-6)*(15 + -3). Let q be (1/2)/(2/60). Solve -q = g*i - 3*i for i.
-5
Let w be (-3)/3 - -5 - (-15)/3. Solve -w = -0*c - 3*c for c.
3
Suppose 2*h + 3*l - 15 = 18, 3*l = 2*h - 15. Let j = h - 10. Solve -v = -j*v - 2 for v.
-2
Suppose 0*y - 3*y = 0. Suppose y*r - 12 = -4*r. Let f(g) = g**3 - g**2 + g + 3. Let v be f(0). Solve 3*s + r = -v for s.
-2
Suppose -5*s = -15, -g + 12 = -0*g - s. Let v = g + -11. Solve -h - h = -v for h.
2
Suppose 8 = f + 4*r, 0*r - 12 = 3*r. Let z = f + -13. Let t = 9 + z. Solve -3*a + 7*a = -t for a.
-5
Suppose 16 = -3*x + 7*x. Suppose 3*q + n - 31 = 2*n, 0 = 3*q + x*n - 56. Solve -4*z + z = -q for z.
4
Let x = -119 - -122. Solve -x*t = -6*t for t.
0
Suppose 2*y - 9 = -5. Let h be y - (-1)/(2/6). Solve 10*d - 5 = h*d for d.
1
Let i be 3/2 - 1/(-2). Suppose -5*r + 4*b + 31 = 0, 0 = -4*b + i*b - 8. Suppose 0 = c + 5*u + 17, -2*u + 4 = r*c + c. Solve 0 = -c*w + w - 8 for w.
-4
Let j be (-2)/(-4)*0/(-1). Let v(f) = -3*f**2 + 8 + 4*f**2 - 2*f**2 - 5*f. Let p be v(-6). Solve j = -p*w + 4*w for w.
0
Let s = -73 + 74. Let u = -1 + 1. Solve j = -u*j + s for j.
1
Let f = -3 + 6. Suppose -f*o - 16 = -7*o. Solve o = 4*v - 16 for v.
5
Suppose 0 = -3*b + b + 4. Suppose -3*o + 26 = -4*m, 2*o + 4 = -2*m + 12. Suppose 4 + 16 = 5*y. Solve -b*g + y = -o*g for g.
-1
Let x(a) = a**3 - 2*a**2 + 3*a - 3. Let y(i) = -i**3 + 2*i**2 + 2*i - 1. Let w be y(3). Let h = w - -6. Let r be x(h). Solve 0 = r*d - 7*d for d.
0
Suppose 1 = -3*c + 4. Let g be 0/(c + -1 + -1). Solve 0*m - m - 3 = g for m.
-3
Suppose 2*b + 0*d = -d + 2, -6 = 4*b - 3*d. Let w = 2 + 0. Suppose -n - w*n = b. Solve n = 5*z + 5 + 5 for z.
-2
Let k = 4 - 1. Solve 9 = k*r - 3 for r.
4
Suppose 0 = -5*d - 0*d + 75. Let t be (-3)/d - 152/(-10). Solve -5 = -4*i + t for i.
5
Let j = 24 - 19. Solve 0*w + 5 = -j*w for w.
-1
Suppose -2 = 3*v - 5. Let x(h) be the second derivative of 5*h**3/6 - h**2/2 - 7*h. Let y be x(v). Solve t + y = 9 for t.
5
Let o(m) = m**3 + 7*m**2 - 10*m - 12. Let t be o(-8). Solve z + 3*z - t = 0 for z.
1
Let d be -5*(0 + (-18)/(-15)). Let j be 3/(0 + (-1)/d). Solve -4*s + j = 6 for s.
3
Suppose -3 = -3*q - 0*q. Solve 2*k + 5 = q for k.
-2
Let a(r) = -4*r + 35. Let v be a(8). Solve -6 - v = 3*i for i.
-3
Suppose 6*x = x - 20, -3*h + 33 = -3*x. Suppose 5*z = h + 13. Suppose z*j = 11 - 3. Solve j*k = -2*k for k.
0
Suppose -3*j + 10 = -0*j + 5*s, -8 = -j - 4*s. Solve 5*u - u + 4 = j for u.
-1
Let q be 1 - (2 - 16/4). Solve 10 = -v + q*v for v.
5
Suppose 0 = 2*f - 7 + 3. Solve 0*x + f*x = -8 for x.
-4
Let m(i) = 9*i - 21. Let g be m(4). Let c(y) = 3*y - 2. Let u be c(2). Solve u*h = h - g for h.
-5
Let k(v) be the second derivative of -2*v**3/3 + v**2/2 + v. Let z be k(-1). Solve -z*t - 10 = -0 for t.
-2
Let w = -20 - -35. Let l = w + -12. Solve l*j - 2 = j for j.
1
Let x = -6 + 10. Suppose -3*f + 18 = -2*g, -4*g - 2*f - 14 = 3*f. Let j be -4*(g/(-4) + -2). Solve 0 = j*w - x*w for w.
0
Let j be 4*-3*(-4)/6. Let z be 8 + (-4 - (-1 + -2)). Solve -3*v + z*v = j for v.
2
Let w be (-38)/(-6) - (-2)/(-6). Let g(u) = 0 + u + 6*u**2 - 2*u**3 + u**3 - 4. Let c be g(w). Solve -4*h - 2 = c for h.
-1
Suppose 3*c = -a - 4, 4*a - 14 = a + 4*c. Let x be 15*(0 - (-2)/3). Let r = 20 - x. Solve 0 = 4*p - a + r for p.
-2
Let t be (-12)/(-10)*10/3. Suppose 2*k - 4*c + 16 = 0, -2*k = -3*k + 5*c - 23. Let a = 15 - 15. Solve k*o = -a*o + t for o.
2
Suppose -u + 2 = -0*u. Suppose 0 = -2*r + 8 - u. Solve -r*a + 12 = -7*a for a.
-3
Suppose 5*v + 19 = 2*r + 1, -3*r - 3 = 0. Let g = 4 + v. Solve g = -2*o - 3*o for o.
0
Suppose -4*v + 16 = -2*x, v + 0*x - x - 6 = 0. Let k be -2 - -8*(2 - 1). Solve k - v = -w for w.
-4
Let c(p) = p**2 - 17*p - 11. Let z be c(18). Solve -3*q = 1 - z for q.
2
Suppose 5*d + 2 + 3 = -4*z, 2*z + 1 = -d. Let l be d*3*(-10)/6. Solve -8 = -l*b - 3 for b.
1
Let m be 40/24 + (-2)/(-6). Suppose m*y = -u, -3*u - 20 = -3*y - y. Solve 3 - 9 = y*o for o.
-3
Let v = -1 - -6. Let z be (2/5)/(2/(-10)). Let y = z + v. Solve y*h = -2*h - 25 for h.
-5
Let i = 6 - -1. Suppose i*y - 16 = 3*y. Suppose 0 = y*q + 19 - 59. Solve -4 + q = 3*l for l.
2
Let q(d) = -16*d + 1. Let o be q(-6). Let l = o + -69. Suppose a - 3*a = -l. Solve -5*z + a - 4 = 0 for z.
2
Suppose 0 = -3*l - 0*l - 6, -2*b - 2 = -4*l. Let m = b - -7. Solve 0 = -5*h + m*h for h.
0
Suppose -2*q + 3*l = 6, 4*l = -5*q + 7 + 1. Sol