*a + 0*a - 3 = m for a.
-1
Let j = -28 + 30. Solve 2*t = -j*t - 20 for t.
-5
Suppose -5*u + 30 + 5 = 0. Suppose 5*h - 29 = -2*a, 3*h - 3*a = 16 - u. Solve 14 = -h*c + 39 for c.
5
Let h be ((-6)/(-4))/(1/(-2)). Let j be 15 - (2 - 6/3). Let y be 66/j + h/(-5). Solve -y*n + n + 12 = 0 for n.
3
Let n be ((-32)/(-6))/(18/27). Let h = -1 + 4. Solve -h*p = -p - n for p.
4
Suppose -5*h - 10 = -0. Let o = 2 + h. Solve o = a - 2*a + 1 for a.
1
Suppose z - 1 = -o, 2*z = o - 0 + 2. Let d = z - 1. Suppose d = h - 4 + 2. Solve 3 = -h*u - u for u.
-1
Let d be 2/(-3) - (-4)/6. Suppose -g + 2 = -d*g. Solve 3*u - g = u for u.
1
Let r be (-42)/(-10) + 8/(-40). Let g = r - 0. Solve g = 2*j - 2 for j.
3
Let l be (-1 - -6)*(-3)/(-3). Suppose -2*x + 6 = 3*v, -x = v + x + 2. Let h = l - v. Solve p - h + 2 = 0 for p.
-1
Let i(y) = y**2 + 7*y + 16. Let h be i(-7). Solve -4*d + 8*d = -h for d.
-4
Suppose -2*t - 37 = -3*p, -3*p - 3*t = -t - 53. Solve 0 - p = 3*y for y.
-5
Suppose 4*j - 47 = -3*u, -3*j - u + 2*u + 19 = 0. Let g be (-1 - -1)*2/(-4). Suppose -5*b + 23 - 8 = g. Solve -b*t + t - j = 0 for t.
-4
Let l = 8 - 5. Suppose 4*d = 4*o - 36, -l*o - 4*d + 9*d = -35. Solve 0*w + o = 5*w for w.
1
Let z = -28 - -37. Suppose -2*h + z = 1. Solve 0 = -u + 5*u + h for u.
-1
Suppose 3*x - 15 = 5*g, g - 2 + 5 = -5*x. Let u = g - -4. Solve 0*j + u = -j for j.
-1
Let o = -7 - -4. Let r be o*(-2)/3*2. Suppose 2*b + b = 5*y + 3, -5*b + 5 = -r*y. Solve 3*s + 9 = -y for s.
-3
Let w be ((-8)/(-28))/(1/7). Solve -w*k - 15 = 3*k for k.
-3
Let v be (-1)/(-1 + 2)*0. Suppose -3*y + y + 2 = v. Solve -y + 6 = 5*t for t.
1
Let i be 3/(4 + -5) - -12. Solve -5*h + i = -2*h for h.
3
Suppose -2*c + 10 = -4. Suppose -n = i - 2, c = 2*n - 4*i + 5*i. Let b be n - -1 - 0/5. Solve -5*v - b = -1 for v.
-1
Let n be (0/2)/(-2 - 1). Let t be -2*2/(-4) + -1. Suppose -4*b + t + 7 = 3*u, -2*u = 5*b - 7. Solve n = -y + u for y.
1
Let m be 5/(-45)*3 + 26/6. Solve -4 = -m*v + 4 for v.
2
Suppose 4*g + 64 = 4*v, v + 6*g + 8 = g. Let i(a) = -a**2 + 13*a - 6. Let l be i(v). Solve -15 = h - l*h for h.
3
Let v be 16/(-2)*(-4)/8. Suppose 3*x + 4*d - 6 = -0*x, 2*x + d - v = 0. Solve -2 = -x*u + 2 for u.
2
Suppose 5*f + 15 = -v, -3*v + 2*f + 1 + 5 = 0. Let h = -4 - -1. Let q be 0 - 1 - (0 + h). Solve g - q*g - 5 = v for g.
-5
Let q(z) = 1 - 1 - 1 - 2*z + 4*z. Let o be q(4). Suppose -o*f + 2*f + 10 = 0. Solve 0 = -2*g - 6 - f for g.
-4
Let i(g) = g**2 - 5*g - 10. Let c be i(7). Solve c = 5*r - 1 for r.
1
Let m be (4/(-2))/((-1)/4). Let u(y) = -y**3 - 3*y**2 - 3*y + 3. Let k be u(-3). Suppose 3*v + k = -4*f, m = -0*v - 2*v. Solve f = -2*g + 5 - 13 for g.
-4
Suppose 2*l = -l + 12. Solve l*a = -6 - 10 for a.
-4
Let k(i) = -3*i + 1. Let m(j) = 2*j - 1. Let b(r) = 3*k(r) + 5*m(r). Let v be b(5). Solve 0 = -5*p - v + 13 for p.
2
Let g(p) = -p**2 - 7*p - 5. Let d be g(-6). Let f be 3 + (2 - (3 - d)). Suppose -15 = -4*u + 3*k, 3*k = -5*u - 10 + 49. Solve f*a = -0*a - u for a.
-2
Suppose 0*n = -4*n + 36. Suppose 0*s - 2 = 3*s + 4*m, -4*m - 8 = 0. Suppose -2 = -4*x - 4*i + 3*i, -8 = -4*x + s*i. Solve 5*t - x = n for t.
2
Let y(a) = -a - 1. Suppose i + 3*i = -20. Let q be y(i). Solve -2*o = 4 + q for o.
-4
Suppose -5 = 5*u - 15. Suppose r - 1 = u. Let m = r + -3. Solve m - 2 = -x for x.
2
Let m(t) = t**2 - 9*t + 15. Let j be m(10). Let f = j - 18. Solve 1 = -2*l - f for l.
-4
Suppose 4*f + 13 - 1 = -2*q, -f = 4*q + 17. Suppose -4*o - 7 = 6*d - 3*d, -5*d + 5*o = -35. Let s be d + f/(0 - -1). Solve -s*h + 1 = 11 for h.
-5
Suppose 4*d + z = -3*z + 216, -4*d = 5*z - 221. Suppose -2*j + 5 + d = 0. Solve -2 = 5*y - j for y.
5
Let y(t) be the second derivative of t**4/12 - 5*t**3/6 - 7*t**2/2 - t. Let z be y(8). Suppose -3 = -5*r + z. Solve u = -8 + r for u.
-4
Let z be (-2)/10 + 78/15. Solve -6 = z*m + 9 for m.
-3
Suppose 0 = -74*j + 70*j + 36. Solve -2*c - j = -5*c for c.
3
Let i be (-7 + -3)*(-14)/4. Suppose o = -5*c - 22, i = 5*o - 3*c - c. Solve -4 = -a - o for a.
1
Let b be (-1 + -14)*(2 - 1). Let s be ((-2)/6)/(1/b). Suppose 5*w - 8 = 112. Solve 0 = -s*k + 9 - w for k.
-3
Let k(j) = j**3 + 5*j**2 - 6*j. Let y be k(-6). Let b be 1/((-3)/(-6) - y). Solve -5 = b*a - 7*a for a.
1
Let s = -11 - -11. Suppose -5*o + o + 4 = s. Solve -o + 4 = -k for k.
-3
Suppose -2*f = f - 18. Let u(x) be the first derivative of -x**3/3 + 3*x**2 + 3*x + 2. Let a be u(f). Solve 2*b = -b - a for b.
-1
Suppose -2*r = b + 5, -4*b + 25 = -4*r - 9*b. Suppose -3*f + 2*f = r. Solve 5*q - 8*q = f for q.
0
Let x(p) = 4*p - 6. Let b(z) = -2*z**3 + 4*z**2 - 2*z - 2. Let s be b(2). Let v be x(s). Let t be (2/3)/((-2)/v). Solve -t = -q - q for q.
5
Let u(m) = -m**2 - 7*m - 5. Let t be u(-4). Let z = -6 - -8. Solve 0 = -z*f + t*f for f.
0
Suppose 0 = -k + 3*k - 5*p - 3, 5*p - 33 = -2*k. Let o be (-30)/(-12)*(-4)/(-5). Suppose 4*w - o*a - 4 = 0, 4*w - 4*a = -3 - 1. Solve w*x - k = 6*x for x.
-3
Suppose 0 = 2*k - 40 + 130. Let y = 70 + k. Solve -l - 4*l = -y for l.
5
Suppose 0 = -5*p + 4*i + 11, -5*p + 4*i - i + 12 = 0. Suppose -2 = -2*z, 5*b + p*z + 2*z = 25. Solve -b = -u + 3*u for u.
-2
Let h be (3/4)/(1/4). Let v(c) = c**3 + 6*c**2 + 5*c. Let l be v(-5). Solve t + h = -l for t.
-3
Let w be (3*-1)/(-3 + 4). Let a be -2 - (w/3 + -1). Solve 8 = -4*p - a for p.
-2
Suppose 3*s - 5*a = -2*a + 24, 4*s + 4*a = -8. Solve 0 = 3*t - 6 + s for t.
1
Let g(k) = -k + 10. Let d be g(5). Solve 20 = -d*s - 0 for s.
-4
Let o be -1 + (1 + -3)*-2. Suppose -4*h + q - 8 = -26, -o*q + 6 = 0. Solve h = 3*k + 2 for k.
1
Let u(p) = -2*p + 6. Let x be u(-5). Suppose 4 = -14*o + x*o. Solve -16 = o*b + 2*b for b.
-4
Let m be 6/15 + (-33)/(-5). Let j = m + -16. Let p = -6 - j. Solve 2*g + 1 - p = 0 for g.
1
Let h = 20 - 8. Let r be (2/2)/(2/h). Let b = r - 3. Solve -5 = -b*y + 4 for y.
3
Let y = 48 - 45. Solve -y = n - 4 for n.
1
Let o be ((-5)/5 + -2)*(-1)/1. Solve 3*z + o = 9 for z.
2
Suppose -2*x - 44 = -6*x. Suppose 3*p + 6 = s - x, -s - 2*p = 3. Solve 2*u - s = -1 for u.
2
Let y be 3/6 + 2/(-4). Let b be (y - 0)/(3 + -2). Solve b = -4*j + 2 + 10 for j.
3
Let m = -88 + 114. Solve -5*n = m - 1 for n.
-5
Let x = 27 + -14. Let i = -10 + x. Solve 6*p = i*p for p.
0
Suppose -5*r = -0*l + 3*l - 20, 2*l - 2*r = -8. Solve l = 5*f - 10*f - 5 for f.
-1
Let w(v) = v**3 - 16*v**2 - 17*v. Let q be w(17). Solve q*f + f = 1 for f.
1
Suppose u = -u. Suppose k = -u*k + 4. Suppose 3*w = -w. Solve -k*y + 16 = -w*y for y.
4
Let m be 4/6*15/2. Let c be (-1 + (1 - 0))/(-3). Suppose -3*y = -3*k + 3, c*k + 2*k - 14 = -2*y. Solve -k = -3*g + m for g.
3
Suppose 6 = -2*k - 2*i, 3*k + 8 = i + 19. Solve 0*l + 6 = k*l for l.
3
Let o be (-5 + 2)/(3/(-2)). Suppose f - 2 = -2*f - 4*s, 4*f = o*s + 10. Solve -1 = -f*u + 3 for u.
2
Let q(r) = 8*r**2. Let o be q(-1). Suppose 25 = o*c - 3*c. Solve 0 = c*m - 0*m for m.
0
Let y(s) = -s + 11. Let q be y(8). Suppose b = -q*b + 12. Suppose 0 = -b*o + 3, 0 = 5*f - 5*o - 22 + 7. Solve f + 0 = -2*z for z.
-2
Let y(l) = l + 3. Let i be y(6). Let x be i/15 + 6/(-10). Let n = -1 - -3. Solve 0 = -x*a - n*a for a.
0
Let p(z) = -z**2 - 7*z - 1. Suppose -2*b - 2*b = 3*r + 38, 0 = 4*r + 5*b + 49. Let t be p(r). Solve -t*m - 14 = 6 for m.
-4
Suppose -6*d + 3*d + 15 = 0. Suppose 13 = d*m - 87. Solve 2*r + 2*r = m for r.
5
Suppose 3*c + 0*x + 73 = -2*x, 4*c - 5*x = -105. Let i be (-1 + -1)*c/10. Suppose -k = -i*k. Solve k = -2*j + 3*j - 1 for j.
1
Let q(f) = 15*f**2 + 2*f + 1. Let u be q(-1). Suppose -3*d + 0*a + 35 = 5*a, -2*d + a + 6 = 0. Solve -d*c + 1 = -u for c.
3
Let t = 1 - -4. Suppose -4*a + 2*a = -6. Solve 7 = -t*c - a for c.
-2
Let n = -4 - -6. Let k(c) = 2*c + 5. Let h be k(-4). Let p(o) = -o**2 - 4*o - 1. Let s be p(h). Solve -n = 4*f + s for f.
-1
Let h = -4 - -6. Solve 2*k - h - 2 = 0 for k.
2
Let u(l) be the second derivative of l**3/6 + 5*l**2 - 2*l. Let b be u(-6). Solve b*x = 2 + 6 for x.
2
Suppose 11 = -3*m + 4*o, 32 = 4*m - 0*m + 4*o. Suppose 13 = -4*n + 25. Suppose 4*t - 10 = -n*d + 10, -19 = -2*d + 3*t. Solve -15 = -d*p + m*p for p.
3
Let y(q) = -2*q. Let n be y(-1). Suppose -9 = -r - n*r. Solve -r*a = -21 + 6 for a.
5
Suppose -4 = 5*x - 7*x. Solve 0 = -5*q - 22 + x for q.
-4
Suppose 0 = -5*o - 7 + 12, 5*n - 3*o - 52 = 0. Solve 3*y - n - 1 = 0 for y.
4
Let g = 9 + -8. Solve