9 for a.
5
Let p be ((-1)/1)/(0 - 1). Let h be p + (-2)/(4/2). Solve h = -5*m + 2*i + 10 + 5, 15 = -m + 4*i for m.
5
Suppose -z - 105 = 2*z. Let u be 6/(-10) + (-476)/z. Solve w = -4*h - u, -2*w + 3 = -5*w for h.
-3
Suppose -9 = -3*t + 6. Suppose -t*d + 22 = -3*d. Solve -k = o, 5*o + d = k - 13 for o.
-4
Let c = 28 - 24. Suppose 3*a + 2*r + 2 = -0*r, -2*r - 16 = -4*a. Solve 0 = -5*h + a*b - 0*b - 8, -b + c = 5*h for h.
0
Let m = 15 - 0. Suppose 5*c = 5 + m. Let y = 40 - 36. Solve 0 = 3*t - c*t - 2*h + 8, y*h = 2*t for t.
4
Let q(k) = -k**3 - 7*k**2 - 8*k - 8. Let x be q(-6). Suppose 2 = x*h - 18. Let p = 5 - 0. Solve -p*n - 15 = 0, h*a + 3*n + 8 = -1 for a.
0
Suppose 4*d = s + 19 - 8, -4*d + 1 = -3*s. Solve -3*k - m = 11, 30 = -5*k - d*m + 7 for k.
-3
Let a(i) = i**2 + 2. Let g = -2 + 2. Let f be a(g). Solve 2*o = 5*t - 4, 3*o = f*t + 8*o + 10 for t.
0
Suppose 0*v = v + 2*u - 29, -5*v + 150 = 5*u. Suppose -5*o + v = 4*g - g, -3*g + 3*o - 9 = 0. Solve 8 = -4*t - 2*l, l + g*l + 6 = 0 for t.
-1
Let j(c) = -3*c + 2. Let o be j(-6). Suppose r - o = -0*r. Solve 12 = -g - g - 5*z, -4*z = -g + r for g.
4
Let f(y) = y**3 - 9*y**2 + y + 13. Let k be 0 + 4/(4/(-2)). Let r be k/(-7) - 183/(-21). Let a be f(r). Solve 8*d - 3*q - 3 = 4*d, -5*q = -d + a for d.
-3
Let k(i) = -i - 7. Let x be k(-7). Solve x = -3*l + 3*a - a + 7, -7 = -l - 4*a for l.
3
Let n = -2 + 7. Let w be (-2)/(-18)*-3*-9. Suppose w*t - 6 + 14 = 5*f, 5*t - 40 = -5*f. Solve 0*v - 5*c = f*v + 35, -5*v - 40 = n*c for v.
-5
Let f(t) = t**2 + 4*t + 3. Let h be f(-4). Solve -6 = 3*x - 5*p + h*p, -5*p = 5*x + 35 for x.
-4
Let f(s) = -s - 9. Let y(r) = 2*r + 18. Let c = 0 - -6. Let d(a) = c*y(a) + 11*f(a). Let n be d(-6). Solve -n = -t - i - 0, -i = -4*t + 7 for t.
2
Suppose -r + 5*r + 25 = 3*z, -r = -z + 7. Solve 2*i = -3*m - 16, z*m = 2*i + 2 - 10 for i.
-2
Suppose -9*h + 10*h - 5 = 0. Suppose h + 9 = u. Solve 5*f + 12 = 4*o - u, 6 = -3*f for o.
4
Let i be (-2)/(-4)*(-4)/(-1). Suppose i*o = o + 6. Suppose o = k + 1. Solve -2*g - 2*v = -2, -k*v + v = 0 for g.
1
Suppose -2*d + 28 = 4*p, 2 = 3*p - 2*d - 5. Suppose -3*m = -b - 11 - 5, p*m = b + 30. Solve g = 3*l - 3 - 13, -m = -2*l - 3*g for l.
5
Let d be (5/(5/(-8)))/1. Let h be (-4)/6*(-1 + d). Solve h = 4*m + 2*w, 4*m - 5*w - 8 - 33 = 0 for m.
4
Suppose d - 26 = -d - 2*v, 4*d = 3*v + 45. Solve 0 = -3*l - h + 12, -h + d = l + 2*h for l.
3
Let r(n) = n**2 - 18*n + 13. Let v be r(18). Solve -3*d = -2*a - 2, 6*a = 3*d + a + v for d.
4
Suppose 0 = -3*x + 3*w, 0*x = 2*x + 3*w - 20. Solve -2*m - 3*g + 3 = 0, -4*g + x = 6*m - 4*m for m.
0
Let d be (-4)/18 - (-518)/63. Let t = d - 4. Solve 5*u - 25 = t*n, -3*n - 5 = -u - 0 for n.
0
Suppose -21 = t + 5*l - 5, 3*l + 8 = -t. Solve 0 = t*q - f - 18, 5*q + 5 = 5*f + 20 for q.
5
Let g be -1*0/(2 - 6). Let z be (20 - g)*(-7)/(-4). Solve -5*y = -5*j + z, 3*j + j + 17 = -5*y for y.
-5
Let z = 0 - -3. Let w = 8 - z. Suppose -5*u = 3*o - w - 35, -15 = -3*u. Solve 4*s - 3*m - 32 = 0, -o = 3*s + 5*m - 0 for s.
5
Let d = -7 + 9. Let r be 1/(-2) + d/4. Solve 5*h + 2 = z, r = -2*h - 0*z + 5*z - 10 for h.
0
Suppose -5*j + 13 + 2 = 0. Let m = -3 + j. Solve -5*i - 5 - 3 = 4*s, -i + s + 2 = m for i.
0
Suppose -4*b + 16 = -4*o, -o + 2*o + 8 = 2*b. Solve 5*v + 5 = x - o, 5*x - v - 25 = 0 for x.
5
Let y = -15 - -9. Let m be (0*2/y)/(-2). Let n = m - -4. Solve -3*z - o + n = 0, -5*z = 4*o - 5 + 3 for z.
2
Suppose -2*c + 5*c = 9. Solve -3*m - 2*k = -15, m - 3*k = -3 - c for m.
3
Let u be 8/3 - 2/(-6). Suppose -4*l + 2*l = -2*f + 6, -3*l + 16 = 2*f. Suppose -6*d + u = -f*d. Solve -t - 4*k = 8, d*k - 2 + 8 = 2*t for t.
0
Suppose -9*r + 5*r + 56 = 0. Solve 5*w - 3*c + 2*c + r = 0, 5*w + 2*c = -17 for w.
-3
Let h be 4/(-8) + (-1)/2. Let p = -2 + h. Let q = p - -15. Solve -u + q = 5*g, -5*g + 24 = -2*u - u for u.
-3
Let m(g) = g + 3. Suppose -o - 2*o + 2*s - 6 = 0, -9 = -o - 3*s. Let b be m(o). Let c = -415 - -417. Solve 1 = j - 2*q, -3*j - b*q = c*j - 31 for j.
5
Let i be 4/3*(-15)/(-10). Solve u + 0*h + 8 = h, -5*u + i*h = 28 for u.
-4
Let n be 7*(-4)/(8/(-2)). Solve 0 = -o - 2, -b + n*o + 2 = 4*o for b.
-4
Let o be (-1)/(-3) + (-140)/(-12). Solve 2*t + o = -b + 3*b, 3*t + 15 = 2*b for b.
3
Let b be 1267/42 + 1/(-6). Suppose b = n + 2*n. Solve -3*w - 2 = -3*s + 2*s, w - n = -5*s for w.
0
Let q(p) = p. Let n be q(2). Solve 5*i - 15 = -5*f, -9 = -3*i + n*f + 10 for i.
5
Suppose 3*t - 4 - 2 = 0. Suppose 3*k = 2*g, g = -5*k - 15 + t. Let m be 6/((-6)/g + -1). Solve 3*q + v - 13 = -0*q, -2*v + m = q for q.
4
Let r(a) = a**3 - 4*a**2 + 5*a + 4. Let h be (-12)/(-15)*1*5. Let v be r(h). Solve 0 = 2*y - 5*k - v, y - k - 1 - 5 = 0 for y.
2
Let t(q) = -q**2 - 13*q + 7. Let c be ((-2)/(-6))/((-6)/234). Let z be t(c). Solve -3*o - 3 = -4*m, 0 = -4*o - m - z + 3 for o.
-1
Suppose 0*p = 3*p - 12. Let l(w) be the second derivative of w**3/3 - w**2 + 3*w. Let s be l(3). Solve 5*c + s*n + 19 + 13 = 0, 3*c + 24 = -p*n for c.
-4
Suppose -4*u + 3 = x - 0, 0 = -x + 3. Let m(t) = -t. Let z be m(-4). Solve -z = o - 3*y, u*o - 2 = -o - 3*y for o.
-1
Let j be 408/5 + (-12)/(-30). Suppose 3*v + 22 = j. Suppose -3*u = -2*u + 2*x - 7, v = 5*u - 5*x. Solve -u = -q - 4*b, 0 = 2*q + 2*b - b - 3 for q.
1
Let s = 16 + -4. Let i be ((-33)/s + 3)*4. Solve 2*f + 5*p - i = 6, -4*f + 2*p = 22 for f.
-4
Suppose 1 + 11 = 3*i. Suppose 0 = -i*x + 27 + 9. Solve -3*k - 2*k + 41 = -4*q, q + x = k for q.
-4
Let z(f) = f + 16. Let o be z(0). Let c be (o + -4)*1/3. Suppose 25 = -4*y + 5*m, 5*y - 2*m + 5 = -m. Solve -10 = 5*w - 5*i, y = -0*w + c*w + i + 23 for w.
-5
Let x = -13 - -29. Solve -5*q - 2*v - x = -0, -3*q - 2*v = 8 for q.
-4
Let r(z) be the second derivative of z**3/6 - 2*z**2 + z. Let l be r(7). Solve -5*q + 10 = 3*t, -5*t + 10 + 12 = l*q for q.
-1
Let s(q) = -4*q + 44. Let r be s(10). Solve 2*b - p - 6 = -b, r*b - 8 = -3*p for b.
2
Let n(p) = -p**3 + 3*p - 4*p**2 - 11 + 0*p**3 + 6. Let x be (-2)/(((-6)/5)/(-3)). Let u be n(x). Solve -3*w - 12 + 31 = 4*m, -m - u*w + 26 = 0 for m.
1
Let l = 31 + -16. Let b be 432/l - 5/(-25). Solve -25 = 5*d, 2*i - b = i + 5*d for i.
4
Let d(r) = 2*r**2 - 10*r - 10. Let w be d(6). Solve w*o + 1 + 8 = 5*n, 0 = o + n - 6 for o.
3
Let y = -12 - -15. Suppose 3*i - c = i + 12, -2*c - 4 = i. Solve i*z = 4*d + 40, -y*d + z = 17 + 3 for d.
-5
Let g = 7 - 3. Suppose -p = -4*p. Let q = p + g. Solve -4*w = -4*u + q, -2*u - 5 = -w - 4 for w.
-3
Let q(j) = j - 3. Let f be q(5). Let r(a) = a**2 + 8*a. Let l be r(-8). Solve -5*u + 2*d = 7, l = 2*u + 4*d - f*d + 14 for u.
-3
Suppose 5*d - 6 - 3 = 3*v, 8 = -2*v + 4*d. Solve 2*o - 3*o - 3*w = v, -2*o + 4*w - 14 = 0 for o.
-5
Let a(g) = 3*g - 34. Let c be a(12). Solve 5*r + y + 23 = 3*y, -c*y = -r - 3 for r.
-5
Let w be ((-3)/(-2))/((-1)/(-2)). Solve w*x - 2*a = 25, -5*x + 0*x + 20 = a for x.
5
Suppose -4*t = 4*o + 12, 5*o = 3*t + 2*t - 15. Solve t = 2*b + 4*v, b - v - v = 8 for b.
4
Let o(y) = y**3 - 2*y**2 + 3. Let z be o(2). Solve 0 = 4*x - 2*x - z*i + 23, 0 = 3*x + 2*i + 2 for x.
-4
Let q be 6*2/16*4. Suppose z - 2 - 3 = 0. Suppose z*t - 27 = 8. Solve -5*o + q*y + 15 = -2*o, -o = 2*y + t for o.
1
Let s be (-4)/(-4)*-3 - 1. Let v(c) = c**2 + c - 2. Let p be v(s). Solve 3*n - 7*n + p = 2*d, 5 = 4*n + 3*d for n.
5
Suppose -16 = -a - a. Suppose 3*r - r - a = 0. Solve 0 = 4*j - c - 25, -5*j + 5*c + r = -46 for j.
5
Let y be (0/(-7) - -2) + 1/1. Solve -7*a - y*o = -2*a + 26, 2*a + 4 = 2*o for a.
-4
Let s = -1 + 1. Suppose o + 34 = -3*j, -4*j + s*o - 47 = o. Let y = j + 18. Solve 3*d - d + 7 = -3*q, -5*q = -y*d - 30 for q.
1
Let n = -9 - -13. Let i be (-32)/(-5) + (-2)/5. Solve 3*p = 4*a + 1, -5*p + i = -3*p - n*a for p.
-5
Let y be 2/5 - 8/20. Solve 12 = 4*z - 3*x, -4 = 2*z + x - y for z.
0
Suppose 0 = -i + 4*i - 6. Let s be -2 - 1/((-1)/i). Solve -8 = o + 2*o + u, 3*o - u - 2 = s for o.
-1
Let q(m) = 6*m - 1. Let o be q(1). Solve -i - n = 0, 0 = o*i + 2*n - n + 16 for i.
-4
Let p be (-12)/15*3*-5. Suppose -g = -2*i - 8, g + i - 4*i = p. Solve g = -u - 3*m + 4, m + 4*m = 5*u for u.
1
Suppose 2*r + r = -30. Let j = -5 - r. Solve -4*q + 2*z = -0*z, -q - 9 = -j*z for q.
1
Suppose 4*j + 12 = -0. Let k be (1 - 3)*j/1. Solve -4*f + 13 = 5*s, -4*f + 5*s + k = 3*s for f.
2
Suppose 7*t = 4*t + 6. Suppose t + 2 =