 Let x be c(1). Solve 0 = -s - x, -v + s = -4*s - 19 for v.
4
Let c = -8 + 24. Let p = 21 - c. Solve 3*f = -a - p, a + 0*a = -f - 1 for a.
1
Let i(g) = -5*g + 45. Let u be i(8). Solve b - 8 = 2*f - u*f, -f + 3 = 0 for b.
-1
Let v be (32/20)/((-2)/(-5)). Let i = 0 + 3. Solve -2*f = 5*x, -i*x + 0*x + v = 2*f for f.
5
Let h = 16 + -14. Suppose h*c - 7 = 3. Solve c*r - 5 = 2*d, 5 = 3*d + 5*r - 0*r for d.
0
Let q = 0 + 6. Suppose 2*z + z + q = 0. Let s be (1 - z) + 0/3. Solve -3*n + 12 = 0, 0 = 5*b - 7*n + s*n + 31 for b.
-3
Let a = 14 - 9. Let j(x) = -x**2 + 3*x - 6. Let n be j(a). Let v = n - -41. Solve -p = -4*t + v, 3*t + 4*p = p for t.
5
Let b be ((-2)/(-3))/((-6)/(-27)). Suppose 2*f = -4*k - 4, b*f + 2*f - 12 = k. Solve -16 = h - 4*c, 5*c - f = 18 for h.
0
Suppose 2*i + 10 = 5*n, -3*n = i - 0*i - 17. Suppose l - i = 4*g, g = 3*l - 12 - 3. Solve l*d - 5*o = -10, -o = -6*o + 15 for d.
1
Let p(g) = g**3 - g**2 + 10. Let j be p(0). Suppose -5*k = 4*v - 8 - 24, 5*v - 5*k + 5 = 0. Solve j = -3*m + 4*c - 9, -v*m = -c + 16 for m.
-5
Let y = 6 - 0. Let x be ((-4)/3)/((-4)/y). Let d be 2/3*9/3. Solve -x*s + 7 = -s + t, -s + 2*t = d for s.
4
Suppose t - 5*h - 29 = 0, 2*h = 5*h + 15. Solve t*i = -o + 3, 0*i + 5*i + 3*o - 2 = 0 for i.
1
Suppose -2*n - 9 = -v, -5*n = 4*v - 2*n - 14. Solve v*c + 0*l = -l, -c = -4*l for c.
0
Let a(j) = 2*j**3 - 4*j**2 + 4*j - 4. Let w be a(2). Solve -5*s - 1 - w = -5*g, -s + 11 = 2*g for s.
3
Suppose 0*o - 4*o + 2*d = -10, 0 = -4*o - 4*d + 28. Solve -2*g + 3*t - 6 = 0, 0 = 3*g - o*t + 2 + 6 for g.
0
Let u be 6/(-3) + (6 - 2). Suppose -4*r - 3 + 7 = x, -3*x = u*r - 2. Let s = -3 + 5. Solve -s*n + x = -2*v + 8, 5*v = -3*n + 4 for v.
2
Suppose -m + 0*m + 2 = 0. Solve 0 = -a + 5*n + 5, n + n = -2*a - m for a.
0
Let c = 2 - 0. Let j(p) = 3*p - 119. Let g be j(41). Solve 2*o = -4*a + g, c*o - 21 = a - 3*o for a.
-1
Let j be 0 + 12/(-16)*-4. Solve -a - 4*d + 2 = 3, -j*a + 2*d + 11 = 0 for a.
3
Let r = -46 + 51. Suppose 8 = -4*h - 8, 0 = 2*i + 4*h - 22. Solve g + 2*d = 9, -r*g - 2*d + 5*d = -i for g.
5
Suppose -q + 12 = -3*l, 20 = 4*q - 0*l - 5*l. Solve -c - 3*f = 0, q = -2*c - 4*f - 0*f - 2 for c.
-3
Suppose 4*l + 0*p - 44 = -2*p, 4*p = l - 11. Solve -3*w + 4*a = l, -w + 29 = 2*w + 4*a for w.
3
Suppose g - 6*g + 15 = 0. Let r = g - 3. Suppose r = -0*c + c. Solve -3*w + v = -c*v - 7, -3*v = -6 for w.
3
Suppose -5*c - 44 = -3*a, -a - 9 = 5*c + 3. Suppose 0*d - a = -4*d. Solve d*x = r + 9, r + 6*x = x + 26 for r.
1
Let n(c) = -c + 14. Let k be n(12). Let s = k + -2. Solve -5 = -3*q + 4*z, q + s*z - 4*z - 15 = 0 for q.
-5
Let z = 3 - -1. Suppose -z = -2*b + 4*y, -y - 3*y = 4. Solve -12 = -4*f - 5*x, b*x + x = -2*f for f.
-2
Let m = 24 + -20. Solve -1 + 11 = -5*u, 3*v - 2 = m*u for v.
-2
Let i(d) = d + 14. Let o be i(0). Solve 6*p + 14 = 2*y + 3*p, -4*y - p = -o for y.
4
Let r(p) = -111*p**3 - 4 + 3 - 3*p + 2*p. Let j be r(-1). Suppose -y - 24 = -l + 2*y, 0 = -4*l - 3*y + j. Solve 3*x = -3*k - l, 3*k + 5*x + 37 = 2 for k.
-5
Suppose q = 2*q - 2*m - 12, 24 = 2*q - m. Suppose q = 6*s - 3*s. Solve s*i + 10 = 5*y, -4*y - 2 = -5*y + 2*i for y.
2
Let q(u) = -u**3 - 6*u**2 - 6*u - 22. Let o be q(-6). Solve 0 = 3*w + 14 - 2, -2*t - 3*w = o for t.
-1
Suppose -25 + 10 = -3*r. Let i be (35/7)/(-1 - -2). Solve 5*q = -s - 1 - 15, -i*s - r = 0 for q.
-3
Suppose -w - 5*s = -3*w + 8, 0 = 4*s. Suppose -x + w*x - 9 = 0. Solve 2*d - 2 = -2*i, -x*i = 5*d - 1 - 0 for i.
2
Let s be -1 + 4 + 33/(-11). Solve -j = -5*u, s = -j + 4*u - 0*u for j.
0
Let b(u) = 2*u + 28. Let x be b(-12). Solve -3*d = 7*l - 2*l - x, 5*l = d + 12 for l.
2
Let l = 87 + -49. Let t be (2/3)/(4/6). Solve w = b - t, 9 - l = -5*b - 3*w for b.
4
Let j(k) = -k**2 + 2*k + 3. Let v be j(4). Let h(s) = s**2 + 3*s - 7. Let q be h(v). Suppose g = 6*g - 25. Solve 0 = 5*m + g*b - 30, 3*b = 4*m - q - 14 for m.
5
Let d(g) = 2*g**2 + 10*g + 6. Let c be d(-7). Let l be (-53)/(-3) + (-3)/(-9). Let i = l - 11. Solve -2*b = -3*o - i*b + c, b = -2*o + 11 for o.
3
Let x be (12/3 - 2)*2. Solve 0 = -4*b + 2*m - 6, -4*b = 5*m + 45 - x for b.
-4
Let p be 1/4 - 1/4. Suppose 0 = -3*s - 0 + 3. Suppose -4*c = -8, -2*i - 5*c = -19 - s. Solve -5 = -j, i*x + p*j = 4*j for x.
4
Let i be (6/4)/(0 + (-6)/(-60)). Solve 3*d - i = 0, -d = 5*j - 3*d + 20 for j.
-2
Suppose 31 = 5*y - 2*m + 12, 0 = -4*y + 2*m + 14. Let q = 4 - 6. Let n = y + q. Solve -r + 10 = -3*z, -4*z = -n*r + 1 + 9 for z.
-4
Let v = -32 - -55. Let a = 38 - v. Solve -2*z = -5*y - a, 20 = -0*y - y - 3*z for y.
-5
Let v(t) be the first derivative of -t**3/3 - 4*t**2 + 2*t - 1. Let n be v(-8). Solve -z + n*z = -a + 8, 13 = -4*a + 5*z for a.
3
Let x be (-1 - 1) + 3 + 3. Solve -x*q = -q + 4*g + 27, 6 = -2*g for q.
-5
Let q = -29 - -58. Suppose -6*r + q = -r - 4*d, 0 = -4*r - 2*d + 18. Solve 2*t - 9 = g, -r*t - 3*g = 3 + 2 for t.
2
Let t(p) = 2*p**2 - 18*p - 13. Let r be t(10). Let f(s) = s**2 + 7*s + 8. Let u be f(-6). Solve 3*m - 18 = 3*z, u*m - r = -3*z - 0 for z.
-1
Let x be (-3 - (0 + 8/(-4)))*-2. Solve p = 3*c + 15, -c - 2*c = x*p + 6 for c.
-4
Suppose -6*m = -9*m - 60. Let u = 35 + m. Solve -4*c - 19 = -x + 1, 3*c = -5*x - u for c.
-5
Suppose -2*q - 3*c = -c + 6, -4*q + c + 13 = 0. Solve q*f = -2, f = -5*y + 4*f - 2 for y.
-1
Suppose 28 + 102 = 2*i. Suppose -5*q + 15 = 0, -4*q + i - 9 = 4*u. Solve -t + j = -2*j + u, -4*t = 2*j + 2 for t.
-2
Suppose 3*r = 2*r - 0*r. Solve 4*w - 4 = -2*n, w = -r*n - 2*n - 5 for w.
3
Let y be 4*(3/4 - (-4)/(-16)). Solve 3*w - 3*a - 30 = 0, 0 = 3*w + y*w + 2*a - 15 for w.
5
Let q = 14 - 10. Let d be ((-3)/6)/(-1)*q. Solve -d*a = 0, -4*a - 5 = 5*w - 0 for w.
-1
Let a = -6 - -9. Let p be 1 - 2 - (a + 0). Let f = 0 - p. Solve -4*n + 0*n + 12 = -5*s, -2*s = -2*n + f for s.
-4
Let b be (-4)/(-6)*(-45)/(-6). Let a be (b - 13)*6/8. Let g be (a/(-9))/((-4)/(-18)). Solve -u = 3*f - 4, -f = g*f + 3*u - 7 for f.
1
Suppose -8*u + 2*u - 12 = 0. Let t(w) be the first derivative of w**3/3 + w**2/2 - 1. Let z be t(u). Solve -n + 5 = 1, -z*j - 3*n + 18 = 0 for j.
3
Let y(j) = -j + 10. Let o be y(5). Suppose f + 0*f = 3*c + o, -4*c + 20 = 4*f. Solve -k + c*k = x, 5 = x for k.
-5
Let a = 0 + 3. Suppose 17*c - 40 = 15*c. Suppose 4*j + c = 3*x, 0 = j + j + 4. Solve -3*q = x*k - 17, -4*q = -a*q - 4*k + 5 for q.
3
Suppose 4*w = -0*w + 20. Solve 0 = -m - 5*f - 0 + w, -m = -f + 1 for m.
0
Suppose -148 + 12 = -4*s. Solve -5*d - 3*u - s = 0, u - 12 = 3*d - 0*u for d.
-5
Suppose -4*w - w + 4*v = -33, w - 3*v - 11 = 0. Let k = 250 - 250. Solve -z + 3 + k = w*c, -5*z - 11 = -c for z.
-2
Let n(i) = i**3 - 2*i + 3. Let u be n(2). Let s = u - 5. Solve s*d = -g - 3, 0 = 4*g - 3*d - 48 + 16 for g.
5
Suppose 3*l + 23 - 68 = 0. Suppose -3*a = 2*a + 20. Let m = l - a. Solve 0*t - 10 = 2*t + 2*h, -5*h - m = -t for t.
-1
Let b be ((-8)/(-10))/(4/10). Suppose d = -w + b*w + 30, 60 = 2*d + w. Solve 2*a = -5*t - 15, -4*a + 4*t - 2*t = -d for a.
5
Suppose -20 = -n + 5*p, 3*n + 2*p + 15 = -10. Let f = n - -9. Suppose 5*c - 2*c = 0. Solve 25 = -f*j + 5*s, 2*j + 5*s = -c*j - 5 for j.
-5
Suppose -8*x = -2*x - 30. Solve -3*c = 5*g + 23, x*c + 6*g + 21 = 2*g for c.
-1
Let d = -12 + 14. Let s(a) = -4*a - 2*a**3 + a**3 + 5*a + 4*a**2. Let w be s(4). Solve -d*q - 5 = 4*h - 1, 4*q = -w*h for h.
-2
Let m(x) = x**2 + 5*x + 6. Let n be m(-4). Suppose 2*b - 8 = -2*j, -2*b + 4*b + j = 7. Solve -3*c = b*o - 12, n*c + c = o + 16 for c.
5
Suppose -v = 6*v - 133. Solve -3*y + 5*g - g - v = 0, 0 = -4*y - 5*g - 15 for y.
-5
Let z = 5 - 3. Suppose -14 = -4*x + z. Let v(l) = l + 1. Let h be v(x). Solve 2*j + 3*j - 50 = 5*a, 2*a - 15 = -h*j for a.
-5
Suppose -4 = -4*k + 4. Let y be (-2)/4*1*-22. Let c be 6/(-33) - (-46)/y. Solve -2*g + v - 4*v = c, -k*v = 4*g + 8 for g.
-2
Suppose -2*r + 13 = 4*q - 3, -18 = 4*r - 2*q. Let h be r/8 - (-25)/4. Solve -y - 5*o = -h*y + 10, 0 = -3*y + 2*o + 5 for y.
1
Let j be 3 + (-12)/4 + 3. Solve j*p + 29 = -3*y - y, 0 = 4*p + 2*y + 22 for p.
-3
Let g be ((-2)/2 + 2)/((-6)/(-6)). Solve 0 = -2*k + h - g, 3 = 4*k - 3*h - 0 for k.
-3
Let s(g) = -g + 8. Let w be s(0). Let u be (-1)/(-5) - 3/15. Suppose i - w = -u*i. Solve 6 = -4*d + k - 0*k, -4*k = i for d.
-2
Let f be (-54)/63*(-7)/2. Solve -21 = -4*n + 2*b - b, -f*b = 4*n - 1 for n.
4
Let i = -5 - -9. Suppos