 - 6. Let m be y(4). Solve 0 = -3*t - m*t - 20 for t.
-4
Let s = 0 - -1. Let a(d) = 2*d**2 + d - 1. Let h be a(s). Suppose 0 = 6*z + 5*z - 22. Solve z = -4*t - h for t.
-1
Suppose -3*d - 3 = 3*x - 9, -x = 5*d - 18. Suppose s - 12 = 4*z, d*s + 2*z + 2 + 4 = 0. Suppose 2*m - 10 + 8 = 0. Solve k + m = -s*k for k.
-1
Suppose 0 = f - s, 0 = f + 3*s + 2 - 10. Suppose -8 = -2*t - f. Suppose -t*l + 6 = 3*b - 2*l, -3*l = -4*b + 21. Solve b*j = -8 + 23 for j.
5
Let g(s) = s**2 + 6*s + 5. Let o be g(-5). Let a(d) = -7*d - 4. Let r be a(-2). Solve o = -5*q - 10 - r for q.
-4
Let z = -2 - -12. Let x be ((-12)/(-5))/(3/z). Suppose x = 2*b - 0*b. Solve 6*q - 2*q = -b for q.
-1
Let p be (-5)/(-3) - 1/(-3). Suppose -3*g = -g - 4. Let u = g + p. Solve -u*q + 10 = q for q.
2
Suppose -3*h = 2*h. Suppose 4*y + 20 = 2*c - 0*y, -3*c + 4*y = -22. Solve 3*f - c*f = h for f.
0
Let x(m) = -m**2 - 7*m + 11. Let d be x(-8). Suppose -6 - 3 = -3*u. Let z = d - u. Solve -4*q + z = -8 for q.
2
Let n = -1 - -1. Suppose -2*k + 4 = 2*b, -b + 5*k + 1 = -1. Solve -4 + n = b*g for g.
-2
Let t = 10 + -5. Suppose 2*y - 3*f + 0*f = -7, 41 = 4*y + t*f. Suppose -y*x + 0*x = -8. Solve -4*k - 6 = x for k.
-2
Suppose -3*d = -3*i - 5*d, 4*i - 11 = d. Let l(f) = f**3 - 2*f**2 - 15*f + 5. Let w be l(5). Solve -1 = -i*o - w for o.
-2
Suppose -f + 2*q = -4, q = 2*f - 12 - 11. Suppose 3*k - f = k. Solve -2*c + 15 = -k*c for c.
-3
Let d = 13 + -6. Let p = d + -5. Solve 5 = p*m + 1 for m.
2
Suppose -69*a = -73*a + 12. Solve a*w - 3 - 9 = 0 for w.
4
Let l(j) be the first derivative of 8*j - 3 - 1/2*j**2. Let g be l(6). Solve -20 = -g*o - 3*o for o.
4
Suppose -x = -5*x + 20. Solve -x*l + 9 = -2*l for l.
3
Suppose 0 = 3*p + 8 + 7. Let s = p + 9. Solve -s*n + 2 + 2 = 0 for n.
1
Let g(y) be the first derivative of y**4/4 + 2*y**3/3 - 2*y**2 + 2*y + 4. Let j be g(2). Solve 4*p + p = j for p.
2
Let x be (-1)/2 - -1 - (-63)/18. Solve 0 = -x*z - 9 - 11 for z.
-5
Let k be 120/4*1/2. Let x = k + -13. Solve 0 = 5*z - x*z for z.
0
Let j = -27 - -49. Solve 5*b = j - 2 for b.
4
Let t(y) = -y + 3. Let x be t(0). Let a = -1 + x. Suppose 0*c = -a*c. Solve u - 2*u = c for u.
0
Let b = 8 - 4. Suppose -58 - 46 = -4*v. Suppose -6 = -4*i - 4*l + 10, b*i = l + v. Solve c + i - 1 = 0 for c.
-5
Let h(d) be the first derivative of -d**2/2 + 16*d + 2. Let l be h(14). Solve 0 = -l*q + 4*q - 6 for q.
3
Suppose 0*j + 27 = 3*j + 5*m, 3*m = -2*j + 18. Solve j = -2*g - 1 for g.
-5
Let i = 5 - 5. Suppose 0 = -c - 2*x - 4, i*c = 2*c + 2*x. Solve g - c = -g for g.
2
Suppose 62*g = 61*g + 4. Suppose -5*a = 20, -7*z + 2*z = a - 576. Let d be (-4)/(-6) - z/(-6). Solve g*s = -s - d for s.
-4
Suppose 3*j + 1 = 10. Suppose 83 = j*y + 29. Suppose 4*g - 5*r - y = 0, -2*r = -g + 5 - 2. Solve g*n = 4*n for n.
0
Let o = -1 - -3. Suppose 3*n - 5*q - 293 = 0, n - 2*q + 174 = 3*n. Suppose -4*w = 3*i - n, -3*i = -w + 19 + 15. Solve o*z = -3*z + w for z.
5
Suppose -2*d + 4*n = -22, n = -2*d - 0*n + 2. Let h be ((-2)/d)/(2/(-6)). Solve 6*s + 16 = h*s for s.
-4
Let f(s) be the second derivative of s**3/6 - 2*s**2 - 4*s. Let r be f(6). Solve 0 = 2*w - 8 + r for w.
3
Suppose 0 = -6*b + 3*b + 6. Solve -w + 12 = b*w for w.
4
Let j be 4/(-1 + -3)*(-2 + -2). Solve 0 + j = -2*a for a.
-2
Let a(r) = -r**2 + 15*r + 20. Let x be a(16). Suppose -2*s - 3*m = -4 + 2, 4*m = -x*s + 8. Solve s = 4*f - 16 for f.
5
Suppose 2*t - 16 = -2*t. Suppose -48 + 16 = -t*n. Solve -n = 5*z - 3*z for z.
-4
Let c = 3 - 0. Let i be (-4 - -5)/(1/c). Solve i*q + 10 = q for q.
-5
Suppose -11 = 5*i - 5*t + t, 4*t - 13 = 3*i. Solve i = -b - 0 for b.
-1
Let a(x) be the second derivative of x**4/12 - 4*x**3/3 - 7*x**2/2 + 3*x. Let q be a(9). Solve q*b - 2 = 4 for b.
3
Let a(l) = l + 3. Let s be a(-2). Suppose -j = -2 + s. Solve 7 = 4*v - j for v.
2
Let m be 7 - (5 + (-9)/3). Suppose 4*n - 7 = m. Solve 15 = n*p + 2*p for p.
3
Suppose 14 = -2*g - 12. Let p = 23 + g. Let h be (8/p)/(2/5). Solve m = 2 + h for m.
4
Let q(l) = 18*l**2 - 2*l + 1. Let y be q(1). Suppose 0*b + 14 = 2*b + 3*s, -4*s + y = b. Solve 7 = 2*d + b for d.
3
Let m = 7 + 3. Let o(a) = -a**2 - 3*a + 1. Let j be o(-2). Suppose 2*w + 8 = 2*c, 1 = 2*c + 3*w + 3. Solve -c*r - m = j*r for r.
-2
Let x = 5 + -3. Let w be (-61)/(-2) + 1/x. Solve w - 11 = -5*l for l.
-4
Suppose 6 = 3*b, -3*h + 8 = -4*b + 8*b. Solve -15 = -h*c + 5*c for c.
-3
Let i be -1 - (-2 + (0 - 1)). Solve 0 = -i*w + w - 3 for w.
-3
Suppose -12*t + 8*t = -20. Solve -t*v = -4*v for v.
0
Suppose -b - i + 3 = 0, -3*b - b + 3*i = -12. Let a be 0/(2/1) - -5. Suppose 4*l = z + 4, 4*z - z - a*l + 5 = 0. Solve 0 = -3*p - b - z for p.
-1
Suppose -3 + 1 = -2*r. Let d be 0/((-2)/r + 1). Solve -3*i + 2*i + 2 = d for i.
2
Let c be (-2 + 0 + 2)/1. Solve -l + 0*l = c for l.
0
Let w be (-1)/5 - 2/(-10). Suppose m + m = -5*h + 14, w = 2*h - 5*m + 6. Let b be h - (3 + -2 + 1). Solve b*p = 4*p - 20 for p.
5
Suppose -b + 3*b = -2, 3*b - 31 = 2*t. Let h = -7 - t. Let v = -4 + h. Solve 4 = z + v for z.
-2
Let n(d) = -d**2 + 3. Let k be n(0). Suppose -a + 4 = 4*i, -a = -0*a + 3*i - k. Solve 2*h + 4 = -a for h.
-2
Suppose 2*l - 3 = 7. Let c = l - 1. Suppose v + v - 18 = -4*a, -v + 15 = c*a. Solve 3 = -3*g - v for g.
-2
Let x = 11 - -5. Suppose 0 = 2*k + 2*k + x. Let t = -4 - k. Solve t*s = -s + 5 for s.
5
Let z(s) = s - 3. Let h be z(4). Suppose 2*u - 24 = -u - o, -4*o - 40 = -5*u. Suppose 0 = j + j - u. Solve -h = w - j for w.
3
Suppose 6*a = a + 25. Let h = 5 - a. Solve h = q - 4 + 5 for q.
-1
Let l = 2 - 2. Suppose -1 + l = -q. Let s = -4 + 6. Solve -3 - q = -s*b for b.
2
Let t be -4*(2 + (-2 - 2)). Let a(m) = m**3 - 7*m**2 - 4*m + 4. Let p be a(t). Let y = 51 - p. Solve -3*h + y = -0*h for h.
5
Let s(d) = 2*d + 1. Let q be s(-1). Let t = q + 5. Solve -i = -t*i - 12 for i.
-4
Let n = -1 + 5. Let l = 6 - n. Let t(a) = -a**2 + 4*a + 3. Let j be t(4). Solve l*d + j = -1 for d.
-2
Suppose 0*h - 4*h = 0. Suppose -o - d + 0*d + 4 = h, -2*o - d + 6 = 0. Solve o = -4*l - 2 for l.
-1
Suppose -2*t + 0*t + 28 = 0. Suppose -3*q - t = -4*q. Solve -5*o + q + 11 = 0 for o.
5
Suppose -4*u + 5*t = -9, -t - 3 - 2 = -4*u. Let c be 1 + (-52)/(12/(-3)). Suppose -c = -3*y + y. Solve -4*r - y - u = 0 for r.
-2
Let j(i) = i**2 - 9*i - 5. Let w be j(10). Solve -m - w = -4 for m.
-1
Let x be 2/(-3)*(-2 - (-20)/(-5)). Solve 4*h - 12 = -x for h.
2
Suppose 2*a + 0 - 8 = 0. Suppose 6 + a = 5*i. Suppose 0 = i*r - 6 - 0. Solve 8 = -r*k + k for k.
-4
Let c(s) = s**3 - 2*s**2 + 3*s - 2. Let i be c(2). Suppose 5*b - 13 = 3*v, -3*v + 4*b = -3 + 11. Suppose -4*o + v = -2*o. Solve i*m - o = 3*m for m.
2
Let b = 2 - -1. Solve b*d = -d - 12 for d.
-3
Suppose 25 = -5*p, -2*v - 3*v - 35 = 2*p. Let m(i) = -i**2 - 7*i - 4. Let z be m(v). Solve z*h = h - 5 for h.
-1
Suppose -6*b = -b - 15. Solve b*u - 2 - 1 = 0 for u.
1
Let b = 17 - 17. Solve 0 = -b*f + 5*f - 5 for f.
1
Let m = -67 + 67. Solve m*d = 3*d - 9 for d.
3
Let a be (-6)/(3/8*4). Let i be (-2)/a - 36/(-8). Solve -30 = i*k - 10 for k.
-4
Let n = 2 - 1. Let l = -5 + 25. Suppose -l = -2*h - 2*h. Solve g + h = n for g.
-4
Suppose 2*s = 56 - 36. Solve -3*k = s - 1 for k.
-3
Let q be 0*1/2*1. Let r(b) = q - 5*b - 4 - 2*b + 3*b. Let n be r(-3). Solve z = -z - n for z.
-4
Let b be (28/10)/(6/15). Suppose 16 = b*k - 3*k. Let r = 1 + -1. Solve -k = -2*s - r for s.
2
Let v = -2 - -6. Solve -4 = v*b - 3*b for b.
-4
Suppose 0*z - 2*z - 2 = -l, -4*l = 3*z - 19. Suppose -4 = 2*f - l*f + 2*p, 3*p + 6 = 0. Solve f*g = 5*g + 15 for g.
-3
Let i(z) = z**2 - 3*z + 1. Let o be i(3). Suppose 0 = -3*l + 4*j + 14, -4*l - 2*j + o = -3. Suppose -5 = -d - 0. Solve -l*y - 3 = d for y.
-4
Suppose -2 = g + 5. Let c(r) = 2*r**2 + 9*r - 10. Let l be c(g). Solve -l = 3*h + 2*h for h.
-5
Let a be (4 - 3) + 10/2. Suppose -2*s + 65 = -3*h, -a*s = -3*s + 3*h - 60. Solve -s = y - 6*y for y.
5
Let k be (-276)/(-48) + 2/8. Suppose 4*x - 100 = -0*x. Solve x = k*v - v for v.
5
Suppose -2*b + 3*o + 493 - 79 = 0, -2*o + 4 = 0. Let p be ((-4)/(-3))/(28/b). Solve p = -5*d + 3*d for d.
-5
Let i(n) = -n - 12. Let c be i(-9). Let d be 1*(-5 - c - -3). Solve -2*m = -3 - d for m.
2
Suppose -5*q = 3*x + 7, -5*q + 2*x = -2 - 11. Let u be q*14 - (-3 - -2). Solve 3*w = -0*w + u for w.
5
Let v(o) = o**3 - 2*o**2 + o - 1.