- 4*s + 1 - a for c.
5
Let t be 0 + -8 + (-40)/(-4). Solve 3*u = -3*q, q - 6 = 3*u - t*u for u.
-3
Let x(z) = -4*z + 3*z + 0 + 1. Let r be x(-3). Solve 3*w = 12, -2*w + 14 = -2*j - r for j.
-5
Suppose -y + 4*g - 25 = 0, -6*y - 5*g = -2*y + 163. Let d = y - -39. Solve -5 + d = -a - 5*c, -3*a = 4*c + 2 for a.
-2
Suppose -5*b = -8*b + 66. Let w be 1/(42/6 + -8) - -6. Solve -3*l - w*m + b = l, -3*l + 5 = -2*m for l.
3
Let h be ((-175)/(-10) - 19)*32/(-6). Solve 3*t = x - h, 5*t + 31 = 5*x + 11 for t.
-2
Let q be (6/9 - -1) + (-4)/(-12). Solve 2*g + 5 = -5*p, q*p - g - 12 = g for p.
1
Let d(h) = h**2 - 2*h + 1. Let v be d(1). Suppose v = -15*z + 16*z - 5. Solve z*j + 20 = 0, -j = 3*m - 2*j - 1 for m.
-1
Suppose 0 = -5*x + 5*m + 435, -3*m + 2*m = 2*x - 162. Let h = -79 + x. Solve -5*w = -4*p + 22, -8 = h*w - 0 for p.
3
Suppose -2*u - 43 = -51. Suppose 3*z - 2 = 7. Suppose -14 = -4*o + 2*o - 4*x, 4*o = z*x + 72. Solve -3*c + u*q + 12 = 0, -4*c = 2*q - 1 - o for c.
4
Let l(d) = 6*d**2 + 156*d + 1. Let k be l(-26). Solve 0 = f - 5*w + 7, -5*w = -2*f + k - 10 for f.
-2
Let u(g) = 4*g + 34. Let l be 8/(-5)*(4 + 1). Let z be u(l). Solve 3*k - 8*k + 12 = 3*w, -z*w - 5*k = -13 for w.
-1
Suppose 9*b - 58 - 167 = 0. Let z = b + -22. Suppose -l + 4 = 5*f + 2, -3*l + 6 = 3*f. Solve -5*v - 6 = 2*o, 0 = -z*o + l*o + 5*v - 3 for o.
-3
Suppose -4*c + 2*g + 10 = 0, 18*g = 5*c + 16*g - 15. Solve -a - 9 = -2*l - 1, c*l - 5*a - 30 = 0 for l.
2
Let q(z) be the second derivative of z**4/12 + z**3/6 - 7*z**2/2 - 17*z. Let i be q(-4). Solve -i*k + 5*s = -0*s - 20, 3*s + 12 = 4*k for k.
0
Let r be (-4)/(-9)*-3*27/(-18). Solve -5*z + r*z + 37 = -5*k, 2*z - 5*k - 33 = 0 for z.
4
Suppose -2*t + 2*n = -5*t + 34, -64 = -5*t + 4*n. Let l be -3*(-15 + 1)/2. Let d be (-4)/(-3) + 182/l. Solve r - 4*q + t = 3*r, d = 2*r + 3*q for r.
2
Suppose 33*j + 291 = 489. Solve 2*t + 2*d = d + 3, t + 2*d - j = 0 for t.
0
Let b be (-5)/2*((-108)/15)/6. Solve -b*c - 12 = 2*n, c + 3*n + 13 = -c for c.
-2
Let g(u) = 58*u - 111. Let m be g(2). Solve m*q + 6*a = a - 40, a = 3*q + 4 for q.
-3
Let c = 489 - 483. Solve 3*d + 15 = 4*f, -d + 11 = -c*d + 2*f for d.
-1
Let h be (-3)/3*(3 - (3 + -1)). Let u be h/2*(9 + -19). Solve 2*n + 2*g - 3 + 9 = 0, u*n + g - 1 = 0 for n.
1
Let d = 2523 + -2513. Suppose 3 + 3 = 3*i. Solve 7*b = i*b + d, -3*n = -2*b + 13 for n.
-3
Let v(w) = w + w**2 - 2 - 8*w - 4 + 1. Let y be v(8). Solve -g - y*t - 10 = 0, 2*g + g + t - 10 = 0 for g.
5
Let i(n) = -n**2 + n + 29. Let a be i(5). Suppose 3*x = 2*h - 3, -5*h + h + 4*x = -8. Suppose 3*s - 18 = -h. Solve 0 = s*z + v - a, -5*v + 10*v + 5 = 0 for z.
2
Suppose -a + 20 = 5*z, 8*z = -4*a + 7*z + 23. Solve -2*b - 5 - a = 0, l - 2*b - 11 = 0 for l.
1
Let i(a) = -a + 8. Let c be i(7). Let g be (1 - 0 - 2)/c. Let o(x) = x + 1. Let k be o(g). Solve 4*y = -4*v - 0*v - 4, k = y + 3*v - 5 for y.
-4
Let k = 25 - 10. Let m(t) = t**2 + t - 12. Let z be m(-4). Suppose k = -z*u + 5*u. Solve 2*s + 4*h + 6 = 0, -3 = 2*s - 5*h + u for s.
-3
Suppose w - c - 26 = 4*w, 4 = -w + 2*c. Let g be (8 + -2)/(6/(-4)). Let u be (18/(-4) - g)*w. Solve 3*t + 1 = y - 1, 0 = 3*y + u*t - 19 for y.
5
Suppose 0 = -6*j + 11*j - 225. Let u = -40 + j. Solve 2*t = -4*b + 6, 5*t - 3*b = 23 + u for t.
5
Let u be (-2)/5 + (-46)/10. Let d(o) = 3*o**3 + 5*o**2 + o**3 - 5 - 5*o**3 - o + 2*o**3. Let p be d(u). Solve 0 = 2*w - 4*k - 8, k + 5 = -p*w + 2*w for w.
2
Let k be -31 + 3/(-3)*(-1)/(-1). Let n = k - -34. Solve -n*v + 2 = -5*w, 4*v - 4*w + 2 = 6 for v.
1
Let n(i) = -i + 10. Let g(t) = 9*t**3 + t**2 - 2*t + 1. Let m be g(1). Let h be n(m). Let b be (-24)/(-4) + -3 - h. Solve 5*a + 15 = b*a, 2*z - 5*a = 35 for z.
5
Let c(r) = r**3 - r**2 - 13*r - 4. Let f be c(6). Let n = 102 - f. Solve k + n*l - 15 = 0, k + 2*l = 4*k + 25 for k.
-5
Suppose 5*b - 8*b - 15 = 0. Let q(l) = 2*l**3 + 7 + 5*l**2 + 2*l**3 - 2*l - 3*l**3. Let j be q(b). Solve -5*a = c + j, c - 7 = a + 2*a for a.
-3
Suppose -5*p + 4*p + 16 = 4*f, 0 = -4*p - 2*f + 22. Suppose p*b = 0, -2*s - 32 = -3*s + 2*b. Let r = s - 16. Solve -5*a - 4*u = -a + 16, 4*a - 5*u = -r for a.
-4
Let v = -79 + 82. Solve 2*k = -3*c - 18, 5*c - v*k + 2 + 9 = 0 for c.
-4
Let w = -16 - -15. Let z be -2 + w + 0 + 6. Suppose -13 = 3*p - 5*p - z*x, -22 = -4*p - 2*x. Solve -3*d + 3*b + 30 = 0, -10 = d + 2*d + p*b for d.
5
Suppose 3*x - 4*x = -5. Solve -c = l - 4 - 1, -x = -5*c + 5*l for c.
3
Suppose -4*y - 6 = 2. Let w = -4 - -6. Let c = w - y. Solve 4*b = n - c*n - 6, 4 = b - 2*n for b.
0
Suppose 75*f - 73*f = 0. Solve -2*z + 2*k + 2 + 2 = f, -4*z = -k + 4 for z.
-2
Suppose -65 = 8*x - 97. Solve x*u + 4*l = l - 4, 4*l = -5*u - 4 for u.
-4
Suppose g + 3*c - 4*c = 6, 4*g = c + 27. Suppose -g = -w - 5. Solve -3*u - 3*k = w*u, 0 = 5*u + k for u.
0
Suppose 4 = -b + 3*b. Solve 6 = 5*n + 4*d, 4*n + b*d - d = -4 for n.
-2
Suppose -2*p - 7 = -37. Solve -5*a + 18 = c, 0*c - 2*c = 3*a - p for c.
3
Suppose -3*b = p, 2*b - 5*p = -p. Suppose b*l = l. Suppose 0 = 2*u - 4*w + 16, -w = u - 2*w + 3. Solve u*f + 5 = 3*n - l, -3*n - 23 = 5*f for n.
-1
Suppose -n = 4*v + 11, 2*n - 7*v + 2 = -10*v. Solve 2*j = q - 10, q = -4*j + n*j + 6 for j.
-4
Suppose 20 = 10*v - 30. Solve 2*k + 2*i = i - v, 0 = 4*k - 2*i + 14 for k.
-3
Suppose 91*l = 92*l - 6. Solve -u = -5*h - 12, 0 = 5*h + 9 + l for u.
-3
Suppose -2*y + 6*y = -3*s + 83, -66 = -3*y - 3*s. Solve -y = -m + 4*i, 4*i + 32 = 4*m - 0*i for m.
5
Let v be (6/4)/((-3)/(-4)). Let g(l) = -l**3 - l + 5. Let d be g(0). Solve 0 = d*t - 25, 4*x + 9 = -t + v for x.
-3
Let s(x) = 4 - 13 - 7*x + 0 - 7*x**2. Let b(g) = -3*g**2 - 3*g - 4. Let a(r) = -5*b(r) + 2*s(r). Let p be a(0). Solve -2 - 2 = -q + 3*u, p = 3*q + u for q.
1
Let d be (12 - 4)*1*-3. Let s = -41 - d. Let j = s - -20. Solve 8 = -3*h + 4*a, 5 + 1 = j*a for h.
0
Suppose 5*q + 25 + 10 = 0. Let m = -3 - q. Suppose -4*w + 7*w = 0. Solve -4*c + 3*k = 10, -13 = 5*c - w*k - m*k for c.
-1
Let x = -1630 - -1632. Solve -2*u - 34 = 5*h + 1, -x*h - 25 = 3*u for h.
-5
Let t(p) = 23*p**2 - 6*p - 2*p - 34*p**2 - 4*p - 10 - p**3. Let x be t(-10). Solve -2*v = 3*q + x, -5*q + 2*q = 3*v + 15 for v.
-5
Let p = -86 + 89. Solve 4*b + 4*a - 20 = 0, 2*b + p = a + 7 for b.
3
Let j be 1 + (0 - (0 + -1)). Suppose 14*z + 196 - 224 = 0. Solve 5*l = 3*o - 18, z*o + l = -j + 1 for o.
1
Let u(c) = -2*c**3 - 19*c**2 - 9*c + 7. Let f be u(-9). Solve 4*q + y + f = 0, -4*q - 8*y - 27 = -11*y for q.
-3
Let q be -2 + (28/7 - -3). Solve -3*z = 6, -q*z - 2 = -3*s + 23 for s.
5
Let f be (-2 + -4 + 3)/((-2)/6). Let a(x) = -x**2 + 11*x - 13. Let o be a(f). Solve 3*s + 3*v = 21, -o*s + v + 15 = -8 for s.
5
Let x(k) = k**2 - 36*k - 285. Let b be x(-7). Solve b = 4*a - 3*m, a + 2 = -m + 6 for a.
4
Suppose 5*d - 14 = -2*t, 3*t - 3*d = -0*t. Suppose -22 = -5*z - v, -z + 0 + t = -v. Solve 4*o + o = 3*w + 2, 3*w - z*o + 4 = 0 for w.
-4
Let i be ((-2)/2)/(1/(-3)). Suppose 7 = -4*f - d + 4*d, 0 = -2*d + 2. Let r = -1 - f. Solve r = 3*c + 15, 11 = i*t - 3*c - 4 for t.
0
Suppose -7 = -d + 3. Suppose 2*h - 4*u - 8 = 0, u + 3*u + 12 = 4*h. Suppose 4*w = h*w + d. Solve w*k + 3*x + 20 = -2*x, 3*x - 9 = 4*k for k.
-3
Suppose 110 = -21*s - 79. Let n = 16 - 5. Let d = s + n. Solve -2*f + z = -0*z + 10, f + 3*z = d for f.
-4
Let s be (-24)/(-30) - 11/(-5). Solve 2*p + 8 = 4*g, 4*g - s*g - 11 = -4*p for p.
2
Suppose 2*t + 20 = -0*t. Let p(w) = -5*w - 47. Let n be p(t). Solve 3*d - 10 = -d + 2*g, g = -n*d + 15 for d.
4
Let s(q) = q**3 + 6*q**2 + 12*q + 16. Let a be s(-3). Solve -2*p + 2*g - 18 = -6*p, p - 2*g - a = 0 for p.
5
Suppose -3*p = -8*p + 20. Suppose 3*i = 8 + p. Suppose -l - 11 = y + 2*l, 4*l + 16 = -y. Solve t - i = 0, -4*h + 14 = -6*h + y*t for h.
1
Let j = 78 + -75. Solve 0 = -j*g - b + 7, g + 20 = 5*g - 4*b for g.
3
Suppose 8*z + 4*q = 3*z + 41, 5*q = -2*z + 30. Let s be 0*(1*-3 + (-30)/(-12)). Let d be (-16 - -21)*1*(s - -1). Solve -26 = -2*x - z*p, p - 3*p = -x - d for x.
3
Let h = 494 + -485. Solve -5*q + 3*l = -17, -q + 2*l + 0*l = -h for q.
1
Let k = 271 - 267. Solve 5*h + 27 = -4*g, 5*g + 21 = 2*h - k*h for g.
-3
Let k be 3 + (-9)/3 - 2. Let y be k/7 + (-2)/(-7) - -2. Let u be (-1 - (-2 - -2))*-2. Solve 3*w = 5*g + 20, u*g + 6 = 5*w - y for g.
-4
Let h be 2/4 + 75/(-6). Let o be (-68)/(-11) - h/(-66).