 + 7 for s.
0
Let q = 8 - 3. Let i be (-2)/8 + 18/8. Let h = 3 - i. Solve -q*y = 3*g - 32, 0 = 4*y - 15 - h for g.
4
Suppose 68 = 5*j - j. Suppose 3*h + 2*s - j = 0, -4*s + 13 = -h - 0*h. Suppose -h*r = -2*r - 5. Solve q = -5*p - 14, 2*p + 3*q = r*q + 4 for p.
-2
Suppose 0 = -11*q - 42 + 130. Solve 2*o + 4*b = -18, -q = 3*b - b for o.
-1
Let a(q) = -q**2 + 6*q - 2. Let w be a(5). Suppose 2*k = -w*k. Suppose -2*o - 4*r = -0*r - 30, 4*r - 25 = -o. Solve 5*i - 5*s - 25 = k, o*i = s + s + 19 for i.
3
Let k = -2 + 5. Let w(f) = -f**3 + 4*f**2 - 1. Let m be w(k). Solve -2*x - l + m = 3*l, 3*l = 2*x + 20 for x.
-4
Let b be ((-20)/(-15))/((-4)/(-6)). Solve -b*g + h - 7 = 0, 0 = -2*g - g - 4*h + 17 for g.
-1
Suppose -5*q = 5*s - 35, -6*s = -3*s + 4*q - 23. Suppose -2*h + 3*j + 9 = h, -h + 7 = -s*j. Let v = 5 + -3. Solve -v*b - 10 = -4*w, -b + 1 = 2*w - h for b.
-1
Let z(m) = 8*m**2 + 3. Let y be z(0). Solve y*k + 15 = -3*q + 6*q, -3*k = -q + 9 for q.
3
Let p(q) = q**2 + 5*q - 2. Let u be p(-6). Solve 4*c - 28 = 4*t, c + u*c = t + 19 for t.
-4
Suppose -6 = -4*t + 2*i, 11*t + 4*i = 9*t - 12. Solve t*a = 2*u + 5*a - 30, -4*u + 32 = 3*a for u.
5
Let k = -1 + 6. Solve 3*t + z + 2 = -4, -2*t + k*z + 13 = 0 for t.
-1
Let f = 3 + -3. Suppose x - 5 = -3*m, 4*m = -f*x - x + 8. Solve -4*l = -o + 20, -2*l + m*l = -5*o + 16 for o.
4
Suppose 5 = 5*k, -4*z - 5*k - 2 = -15. Solve 0*w + 3*w + 7 = -z*m, -4*m - 11 = 3*w for w.
-1
Let z(a) = -a**3 + 5*a**2 - 4*a + 4. Suppose -5*p + 12 = -2*p. Let k be z(p). Let q be 1/1 - k/(-2). Solve 2*c = 4*d + 12, -2*d - 13 = -q*c - d for c.
4
Let c(u) = -u**2 + 7*u + 1. Let h be c(6). Suppose -h*s = -2*s. Let f be (-1 - -4)/(2 - 1). Solve -3*a + 15 = s, -f*t - 3*a = -0*t - 27 for t.
4
Let d(k) = 5*k + 57. Let r be d(-11). Solve -l + r*s = -0 + 5, -4*l + s = -8 for l.
3
Let l be (-21)/(-6) - (-1)/2. Let d(v) = -2 + 4*v - l*v - v. Let i be d(-2). Solve 0 = 3*t + 2*k - 5, i*t = -2*t + 2*k for t.
1
Suppose 4*n + 12 = 5*n. Let g = n - 8. Let s(l) = -l**3 + 5*l**2 + 2. Let w be s(5). Solve 2*d - d = 4, 0 = -w*t + g*d - 16 for t.
0
Let n be 1/3 - (-8)/3. Solve -5*v = g - 17, -v - 4*v + 9 = -n*g for g.
2
Let p = 1 - -4. Suppose f - 3*n + 5 = 0, -5*n + n = f + 5. Let x = -1 - f. Solve 3*q + w - 14 = 2*w, 29 = p*q + x*w for q.
5
Let l = 50 + -47. Solve 0 = -3*y - l*o, -2*y - y - 5*o = 4 for y.
2
Let l = -22 + 28. Solve -3*k - 12 = 0, -p + l*k - 3*k = -17 for p.
5
Let w = 0 + 4. Let h = -8 + 13. Solve -11 = w*l + h*j, 2*l - 1 = -j - 2 for l.
1
Let x(q) = q + 10. Let m(n) = 10*n + 90. Let t(j) = 6*m(j) - 55*x(j). Let r be t(3). Solve 3*i + 21 = 4*v - 9*v, -r*v - 19 = 2*i for i.
-2
Suppose 4*n - 1188 = -2*n. Let c be (-4)/(-10) + n/55. Solve 5*u = 3*p, 6*u = -c*p + u for p.
0
Let u be (2 + 0)/((-18)/(-45)). Solve -u*t - 1 = -2*q + 8, 0 = -2*t + 5*q + 9 for t.
-3
Suppose -40 = -5*s - 5*k, -s + 5*k = -4*s + 30. Let o(l) = l**3 - 5*l**3 + 3*l**3 - l + 5*l**2 + 3*l. Let x be o(s). Solve -4*y = c - 6, -4*c - y + 4 = x for c.
-2
Let m = -16 + 22. Let h = m - 4. Solve -h*d - z + 3 + 2 = 0, 31 = 4*d - 5*z for d.
4
Let z = 29 + -15. Solve 4*i - 3*s - 27 = 0, 2*i - 2*s - z = 2 for i.
3
Suppose -13 - 12 = -5*y. Let u = 4 - -18. Let f(x) = x**3 + 5*x**2 + 2*x - 3. Let m be f(-4). Solve 4*i - u = -y*k + i, -22 = -k - m*i for k.
2
Let v be (3/1)/(12 + -11). Suppose k - 24 = -3*k - 4*w, 5*k = w. Solve o - 3*a = -k, v*a = 2*o - 7*o - 5 for o.
-1
Let y be (20/(-5) - -8) + (-39)/(-3). Solve -3*d + d - 5*z = -y, 25 = 5*z for d.
-4
Let u(n) = -2*n - 6. Let c be u(-5). Let s(i) = -i**2 + 4*i + 2. Let w be s(c). Solve -w*m + 2*v - 16 = 0, -3*m - v = 2*m + 10 for m.
-3
Let l = 7 + -3. Suppose -x - 10 = l*x. Let n(v) = -8*v. Let z be n(x). Solve z = -4*c, -2*c = 5*i + 3*c for i.
4
Let v = 1 - 1. Suppose -s + 5 = -v*s. Solve -s*f + 17 = 4*k - 18, f = -5*k + 28 for k.
5
Suppose 6 = 8*o - 5*o. Solve -15 - o = -5*s - 3*h, 2*h = -2 for s.
4
Suppose -1 = f - 3*j, -2*f = -0*f - 4*j. Solve 4 = t - 5*t + 4*g, 0 = -2*t - f*g - 6 for t.
-2
Suppose -9*a = -7*a. Suppose a = -f - 2*f + 15. Solve 0 = 4*s - 3*s - f*k - 25, 29 = 5*s - k for s.
5
Let l(a) = a**3 - 6*a**2 + 4*a + 2. Let r be l(5). Let h be (r - (3 - 11)) + 3. Solve 4*v - 5*n - 7 = 0, 4*v - h - 6 = -2*n for v.
3
Let a = -10 + 13. Suppose -p - 15 = -0*g - 4*g, 5 = a*p - 2*g. Solve p*d - 2*z - 6 = -31, -3*d + 5*z = 15 for d.
-5
Let z(g) be the second derivative of -g**4/6 - g**3/6 - g**2 + g. Let y be z(-3). Let a = -7 - y. Solve 0 = 5*b - f - 4*f + a, 2*b = -2*f + 12 for b.
2
Suppose -3*z - 21*d + 22*d = -15, 0 = z - d - 7. Suppose -2*p + 31 = 7. Solve -4*n = 5*j - 24, z*n - p = 2*j - 4*j for j.
4
Suppose -5 - 3 = -4*u + 2*z, 1 = -3*u + 5*z. Solve -3*a + 2*s + u = -1, -4*a = -3*s - 4 for a.
4
Let p(s) = 2*s + 2. Let l be p(-7). Let h be l/9 + (-2)/3. Let n be 3/((-7)/(-2) + h). Solve -q - 11 = 3*x - 2*q, 0 = n*q + 2 for x.
-4
Let x(a) = a**3 + 9*a**2 + 5. Let d be x(-9). Solve -q = 4*w + 8, d*w + 21 + 4 = -5*q for q.
-4
Suppose 0 = y - 3. Solve -2*t + 2*f = -6*t, f = y*t for t.
0
Let l = 12 - 2. Suppose 4*f = 2*f + l. Solve -2*d = -5*s - 20, 0*s + 4 = -s + f*d for s.
-4
Let o = -40 + 42. Solve -t + 21 = o*q + 3*q, 5*q + 4*t - 24 = 0 for q.
4
Suppose -4*g - 1 = -13. Solve -5*k - 6*u + 31 = -4*u, 0 = -g*k + u + 12 for k.
5
Let i = -2 + 7. Let r(c) = -c**2 - 11*c - 7. Let d be r(-10). Solve 13 = w + 3*w - o, 3*w - i*o = -d for w.
4
Let y be 7/((-42)/(-186)) + (-1 - 3). Solve 3*f - 2*x = -8 + y, f - 7 = x for f.
5
Let i be (-62)/(-6) + 2/3. Suppose 3*f = -r + 19, 2*f + 22 = 4*f + 3*r. Solve 3*s - 8 = f*q - 3, 3*q - i = -s for s.
5
Let z = -1 - 0. Let s be (-2)/((z/2)/1). Let b = 48 + -44. Solve -y = b*y, 0 = s*q - y - 12 for q.
3
Suppose 0 = o + 2*k - 15, -o + 57 = 4*o + k. Let u(p) = p**2 - 10*p - 9. Let z be u(o). Solve -4*n + 8 = 4*y, -5*y + 3*n = z*n - 22 for y.
4
Let w be 6/8 + 15/(-4). Let m be (2 - w)/((-1)/(-1)). Solve 4*b - 2 = 2, 2*c + m*b - 11 = 0 for c.
3
Suppose -2*d - 6 = -3*n, 15 = -4*n - n - 5*d. Solve n = -2*i + 4*l + 10, -i - i - l = -5 for i.
3
Let d(b) = -b**2 - 8*b + 5. Let u be d(-6). Suppose -3*h = -5 - 1. Solve -4*x = -h*c + x + u, -4*c = 4*x + 8 for c.
1
Suppose -i + 21 = 2*i - 4*g, -3*g = -4*i + 21. Solve 0 = 3*q + 3, 2*c + 7*q = i*q for c.
2
Let w(n) = 4*n**2 - n - 1. Let q be -1*-1*3/(-3). Let s be w(q). Solve 2*t = -g + 12, t + 3*g + 9 = s*t for t.
5
Let y(f) = 3*f**2 + 3*f - 3. Let h be 0 + 1 + 3/3. Let a be y(h). Solve 5*c = -b - 3, 5*b - c - c = -a for b.
-3
Let y = 1 + -1. Let c(k) = k + 13. Let h be c(y). Let s = -4 + h. Solve s = 3*u + 4*j, -4*u - j - 3 + 15 = 0 for u.
3
Suppose y + 6*j = j - 1, -5*j = 5. Suppose -2 = y*k - 10. Solve -k = x + u, -3*x + 2 = u + 8 for x.
-2
Suppose -2*k - 43 + 1 = 0. Let a = -3 - k. Solve 3 + 18 = 3*g + 4*m, 3*g = -3*m + a for g.
3
Suppose -1 = -4*b + 7. Suppose 0 = -4*g + 2*g - 4*r + 20, 5*r - 3 = 3*g. Solve b*t - 11 = x, -g*t - t = 4*x - 8 for x.
-3
Suppose 0*c - c = 12. Let y = c - -9. Let o be (2*y)/(-5 - -4). Solve -5*t = b - 5, 3*b - o*t + t = -5 for b.
0
Let k(s) = 3*s - 4. Let c be k(4). Solve c = -4*o, 0*o - 3*o = -n + 9 for n.
3
Let a(g) = 3*g**2 + g - 1. Let f be a(-3). Solve -2*u - 4*n = -n - 22, 3*u = -2*n + f for u.
5
Let i be (-40)/18 + 4/18. Let o be (-4)/(-2) + i + 3. Solve 3*g = 3*j + 18, o*g + 5*j + 6 = -16 for g.
1
Let i be 6/15 - (-18)/5. Solve 0 = b - 0*b + i*v + 14, -3*b + 4*v = -6 for b.
-2
Let x(y) = -y**2 - 9*y - 10. Let l(b) = -b**3 + 8*b**2 - 2*b + 11. Let c be l(8). Let n be x(c). Solve 4 = 2*u - 4*z - 6, -3*u + 5*z = -n for u.
-5
Let d = -119 + 123. Solve 0 = -4*m - 3*c + 4*c + 15, -d*c - 27 = -5*m for m.
3
Let n = 6 - 5. Suppose -n = -2*r - 7, -4*d + 25 = 5*r. Solve d*v = 5*v + 25, 3*g + 24 = 3*v for g.
-3
Let l(n) = 4*n - 5. Let o be l(2). Solve -o*x = -5*d - 7, -4*d - 7 = -0*d - x for d.
-2
Suppose -61 + 163 = -3*c + 2*p, -c + 5*p - 47 = 0. Let x be c/12*(-3)/2. Solve 5*f - 4*b = -b - 35, b = x*f + 21 for f.
-4
Suppose -7*u + 3*u + 8 = 0. Suppose 4*v - 3*v + u*g = 13, 5*v + 4*g - 41 = 0. Solve -v*t - 2 = 2*f + 5, 0 = 2*t + 2 for f.
-1
Suppose 174 + 26 = 5*u. Let d = u - 28. Suppose q + 2*q + l + 4 = 0, 0 = 5*q - 3*l - d. Solve 0*y + k = 3*y - 9, q = -4*y - 4*k + 28 for y.
4
Suppose -2*m + 1 = -13. Suppose -5*x + 83 = -m. Sol