 for a.
5
Suppose r = -4*r. Suppose 2*s - 5*b + 39 = -r*s, -s + 5*b - 27 = 0. Let x be (-2)/(0 - (-2)/s). Solve v - 22 = 5*j, 0 = -2*v + j + x - 4 for v.
2
Suppose 0 = 5*x + 5*y - 85, x + 4*y - 14 = 6. Solve -2*h + 2*v = 3*h - x, 4*v - 12 = -h for h.
4
Let j = 50 + -47. Solve -j*q + 24 = -4*h, q + 4*h + 1 = -7 for q.
4
Let c be -3*2/3*-1. Suppose -2*d + 12 = 4. Solve -r = -c*f + 4 - 7, 11 = -d*f + r for f.
-4
Let q(y) = y**2 + y + 2. Let f be q(-3). Let v(c) = -c**3 + 2 - 2*c + 6*c**2 - 2*c**2 - 4. Let b be v(2). Solve -3*d + 2*n = -b*n + f, -5*d - 4*n = 24 for d.
-4
Suppose -q + 2*q - 5 = 0. Let d(m) = -m**2 - 3*m**2 + 2*m - 5*m + m**3 - 7. Let u be d(q). Solve 2*z - u*l + 4 = 0, l = 5*z - 2*l + 10 for z.
-2
Suppose 5*o + 5*m + 20 = 130, 4*m + 83 = 5*o. Let i(y) = -y. Let c be i(-5). Solve o = b - 5*d, -2*b + c*b = 5*d + 17 for b.
-1
Let w be 0 + 0 - 1 - 7. Let n be (-26)/w - (-3)/(-12). Solve 0*d - 2*d = -p - 4, 5*d + p - n = 0 for d.
1
Suppose -r - r + 6 = 0. Suppose 2 = 5*x - 23. Suppose h = 2*h - x. Solve r = l + h*b + 5, 0 = -2*b for l.
-2
Let g = 7 + -6. Suppose p + t = g, 2*p = 2*t - 0*t + 6. Suppose 0 = p*i, 4*h - 4*i = 9 - 1. Solve -2*v - h*s = -0*s + 2, -9 = 3*s for v.
2
Let l(x) = -x**3 - 6*x**2 + 6*x - 3. Let j be l(-7). Suppose 0 = -j*f + f. Suppose f = 4*o - 5 + 1. Solve 5*a - o - 15 = -z, 0 = 3*z - 2*a + 20 for z.
-4
Let j = 17 - 4. Let n be (-4)/(-8) - (-2)/(-4). Solve j = -2*o + f, n = -o + f - 0*f - 9 for o.
-4
Let w be (-38)/(-8) - 18/24. Solve -p - 16 = 4*a, -w*p + 33 + 8 = -5*a for a.
-5
Let q be 4/(-6) - 2/(-3). Suppose -20 + 5 = 5*p - 5*c, q = -p + 4*c - 12. Solve p = 2*j + 2*v + v - 22, 25 = j + 5*v for j.
5
Let k(z) = -z**3 + 6*z**2 + 14*z + 18. Let f be k(8). Solve -3*l - f*h + 17 = 7, 2*l - 3 = -5*h for l.
4
Let t be 2/8 - (-105)/(-20). Let w = t - -7. Solve -w = -5*j - 3*a, j - a - 2 = -0*a for j.
1
Let j(q) = q**3 + 7*q**2 + 6. Let n be j(-7). Let w(s) = 4*s + 6. Let a be w(n). Suppose -a = -m - m. Solve 0 = 2*p - 4*o - o - m, -p - 3*o = 20 for p.
-5
Suppose 15 - 5 = 5*r. Solve 5*s + 3 = 2*w + 11, -2*s = -2*w - r for s.
2
Suppose -7*b + 2*b + 25 = 0. Solve -b*d - 18 = -0*d + s, -4*d - 2*s = 12 for d.
-4
Let w(t) = -t - 6. Let h be w(-7). Let p = h - -3. Solve -3*q + a = 12, -a - p = q - 0*a for q.
-4
Suppose 121 = 4*w + 5*o, -8*w - 106 = -12*w - 2*o. Solve 0*t = 2*t - 4*p + 26, -3*t - w = -3*p for t.
-3
Suppose 5*m + k = -0*m + 11, m + 2*k = 4. Solve h - 21 = 4*p - 6, m*h = 4*p + 10 for p.
-5
Let f be -2*5/(-20)*6. Suppose 1 = f*j - 14. Let h = 1 + -1. Solve h = -5*x - 10, j*x = 2*b + 3*x for b.
-2
Let y(j) = -j - 4. Let s be y(-9). Suppose -s*u + 9 = -4*f + 2*f, -5*u - f + 18 = 0. Solve 0*p + t - 4 = -4*p, 3*t = u*p - 18 for p.
2
Let i(a) = 5*a - 2*a - 2*a + 2*a - 6. Let b be i(12). Solve -9 = 3*v - 6*v + 3*d, -5*v - 4*d - b = 0 for v.
-2
Let s = -12 - -14. Solve 12 = -s*b + 5*v - 0, b = -2*v + 3 for b.
-1
Let m(j) = 2*j - 10. Let f be m(5). Let s = 2 + f. Solve b = -0*u + 5*u, s*b + 5*u = 0 for b.
0
Suppose 0*b = -b + 3. Let x be (8/10)/((-2)/(-5)). Suppose -2*h + 12 - x = 0. Solve 1 = -h*i + 3*q + 11, -i + b*q = -2 for i.
2
Suppose -4*q - 54 = -2*v, -3*q - v - 43 = -2*v. Let o = 30 + q. Solve -4*t - 3*r + 20 = 0, -2*t - 4 = -r - o for t.
5
Let z = 16 + -12. Suppose 4*o = -z*s + 72, -2*s + 0*s = 3*o - 34. Let b be (-21)/(-12) + (-2)/(-8). Solve 4*g + g - 2*w = s, 2*g = -b*w - 6 for g.
2
Suppose 0 = 5*w - 0*a - 5*a + 10, -3*w = 2*a - 4. Let s(u) = u. Let k be s(7). Let q = k + -5. Solve w = -x + 4*b - 6, -2*b + 2 = x + q*b for x.
-2
Suppose -s - 5*u - 17 = 0, 4*s + u + u - 22 = 0. Solve -5*g = -z - 5 - s, 3*z - g - 3 = 0 for z.
2
Let t = 3 + -1. Solve 0 = 4*i - 5*a - 16, -4*a + 6 = -t*i - 5*a for i.
-1
Let u(v) = v**2 - 6*v + 3. Let g be u(6). Solve -4*b = -4*i + 20, 4*b - g = 3*i - 20 for b.
-2
Suppose 4*y - 11 = 3*q, 3*y - 2*q + 7*q = 1. Solve 14 + 10 = -s - 4*v, -12 = -y*s + 4*v for s.
-4
Let p = 2 - 0. Let t be (16/2)/1 + -3. Let g = -3 + t. Solve -4*o + p*c + 0*c - 30 = 0, g*c = -2*o for o.
-5
Let j(k) = -k**3 + 3*k**2 - 4. Let g be j(3). Let i be 10/g*(-4)/2. Solve x - s = 0, -x - 3*s + i*s = 0 for x.
0
Let c = 4 + -16. Let g be (-15)/c + 18/24. Solve -2*w - 5*a + 18 = 0, -g*w + 8 = 3*a - 2 for w.
-1
Let n = -5 + 5. Let f be 0 - (1 - n) - -5. Solve -2*p = f*a - 4, 5*a + 0 = -3*p + 5 for p.
0
Let q be (2 - (3 + 51))/(-2). Solve -4*d - 3*h = q, -5*d - 3*h - 23 = 8 for d.
-5
Suppose 0 = -2*n + 5*s - 3*s + 28, -n - 3*s + 14 = 0. Suppose -4*l = -2*h - n + 38, -2*l = -5*h + 84. Solve -3*x - 5 = f - 2*x, 2*f + 4*x = -h for f.
-1
Let k(z) = z**3 - 8*z**2 - 9*z + 3. Let f be k(9). Let d = f + -5. Let m be 1*(2 + (-2)/d). Solve 0 = m*t + 2*i + 13, 10 = -2*i - 3*i for t.
-3
Suppose -2*h + 7*h - 36 = -4*i, 3*i = 3*h. Solve -5*l - i = 3*d, 0*d - 10 = 5*l + 5*d for l.
1
Let f = -18 + 22. Suppose -3*u = -3*t + 15 + 6, -2 = f*t + 2*u. Solve -t*b = -r - 5, 4*r = -5*b - r + 20 for b.
3
Let k = -19 + 24. Solve 2*c + 5*i = k, -3*i = -1 + 4 for c.
5
Let z(x) = -x**3 + 7*x**2 - 7*x + 6. Let t be z(6). Let y be -1 + 3 - (9 - 2). Let n = y - -6. Solve -7 = -4*q - 3*c, 3*q - 5*c + 1 + n = t for q.
1
Let g(o) = o**3 + 6*o**2 + 4*o - 2. Let n be g(-5). Let s = 3 + -3. Suppose -2*j + 5 + n = s. Solve 4*p - j*z = -16, 5*p + 5 = -z - 9 for p.
-3
Let h(w) = -w**3 - 7*w**2 + 6*w - 1. Let t be h(-8). Suppose -6 = -2*r - 2*l, 5*l - 2*l = r + 17. Let j = r + 3. Solve 3*d + t = 3*b, -j = b - 2*d - 8 for b.
3
Let p be (12/(-8) + 2)*28. Solve 5*y + p = 3*j, y - j - 14 = 4*y for y.
-4
Suppose -2*c + 5*c = 0. Suppose c - 6 = -2*m. Solve -19 = -2*f - 3*t, m*t + 7 + 4 = 4*f for f.
5
Let t = 1 + 4. Solve m = 4*v - v - 14, m = -t*v + 10 for m.
-5
Let n be 4/14 + (-75)/(-7). Suppose -4*s = 12, -5*u + 3*u = -s - n. Suppose 0 = l + 1 - u. Solve -2*p - 1 = l*r, -2 + 12 = -4*p + 2*r for p.
-2
Suppose -2*j = -3*j - 13. Let w = -8 - j. Solve 2*z - 3*r = 3*z + 13, 0 = -w*z + 4*r - 8 for z.
-4
Let d(v) = 7 + v**2 - 15*v + 12 - 3. Let z be d(14). Solve 0 = 4*i - n - n - 10, -10 = -i + z*n for i.
0
Let s(a) = a**3 - 8*a**2 + a - 4. Let q be s(8). Suppose i = -5*d + 29, 4*i + 9 = d + q*d. Solve -2*o + 0*g = -i*g - 4, -5*o = -2*g - 18 for o.
4
Let o = 17 + -6. Let a = 14 - o. Suppose 2*u - 25 = -a*u. Solve u*b = -4*k + 7, k + 11 = 4*k - 2*b for k.
3
Let w = 5 - 2. Solve -w*r = 2*r + 5*a, 5*r - 3*a = 16 for r.
2
Let n = 46 + -85. Let f be (n/(-6))/(1/2). Solve -5*p - 2*w + 0*w = -f, 0 = 3*p + 3*w - 15 for p.
1
Let v(h) = 13*h - 1. Let k(g) = -g - 6. Let i be k(-8). Let r be v(i). Let l = -17 + r. Solve 3*z + l = 3*j - 7, 2*j - z - 7 = 0 for j.
2
Let a be (-1)/(-4)*(10 + 2). Suppose -l = -a*l. Solve 0 = -l*w + 3*w - 4*g + 4, 4*w - 5*g = -4 for w.
4
Suppose 4*b - 17 = -1. Suppose b*c - 17 = 3. Solve 5*n = z + c + 10, 0 = n + z - 3 for n.
3
Let l be 16/9 - 6/(-27). Suppose -5*w + l*n = -35, n = -2*w - n. Let d be (1 - (0 - -3)) + w. Solve -5*k = -d*i + 2 - 20, -i - 5*k = -14 for i.
-1
Let a(v) = v**3 - v + 2. Let i be a(0). Suppose -3*d - 16 = -4*w, -w + 4*d = -0*w - 4. Let m = w - i. Solve -r - 4*s - 7 = 0, m*r - s = s - 4 for r.
-3
Suppose 7*l - 11*l = -12. Solve -5*g - 18 = u, -u - 4*g - 6 = -l*u for u.
-3
Suppose -10*k + 9*k + 4 = 0. Solve 5*w - 2*u = 4*w - 5, -20 = k*w + u for w.
-5
Let g be 4/(-10) - (-4)/10. Let j = -14 - -17. Solve -z = -h + 6, g = -j*h + 3 + 3 for z.
-4
Let p be (-114)/(-30) + 1/5. Suppose -4*n - 38 = -3*i - 3*n, 5*n - 14 = -2*i. Solve 3*f + z + 13 = 4, p*f + i = 5*z for f.
-3
Let q = 15 - 15. Solve -u - 3*b + q = -10, 0 = -3*u + 4*b - 22 for u.
-2
Let c(o) = 2*o**2 - 2*o. Let f be c(2). Suppose -12 = -4*r + f. Solve -3*i - 31 = r*n, -4*i - 26 = -6 for n.
-4
Let m be 2 + (-14 + 3 - 2). Let b be (-2)/m + 6/(-33). Solve 5*j - 5 = b, -4*w - w - j = -1 for w.
0
Let v be 5 + (-3 - -1 - 1). Suppose a + 2*a = 0. Solve a = -4*n + v*x - x + 7, 9 = -3*x for n.
1
Let c(i) = i**2 + 8*i - 5. Let r be c(-9). Let a be 0*(0 + -5)/(-10). Solve 4*w - r = -2*l - a, w - 4*l + 8 = 0 for w.
0
Suppose 0 = 2*t - 1 + 5. Let q be (1 + 1 + t)/2. Suppose q = 3*c + c - 20. Solve 0 = g - 5*p + 21, 3*p = c*g + p - 10 for g.
4
Let d be ((-10)/15 - (-13)/6)*4. Let w be (-1 + -17)/(4/(-6)). Suppose -w - 29 = -2*q. Solve 3*n - d*n = 4*v - q, v = 4 for n.
4
Let u be 1/((-