3*t - a = -4*w + 9 for t.
-1
Suppose -11*s = -12*s. Solve 2*r + 8 = w, 3*r - 2*r + 5 = s for w.
-2
Let p = 10 - 16. Let b = -4 - p. Let s = 16 - 11. Solve -b*c - 16 = s*l, l = 3*c - 0 - 10 for c.
2
Let d(y) = -y**2 - y + 6. Let h be d(0). Solve 2*t = 5*k + 4*t - 9, 0 = 3*t - h for k.
1
Let a be 0/(-1 - -2) + 0. Let y = -23 - -48. Solve a = 5*m - y, -2*m + 22 - 2 = 2*d for d.
5
Let b = 159 + -155. Solve 3*k + 13 = -i, -5 - 5 = b*i - 2*k for i.
-4
Let a(c) = c**3 - 3*c**2 - 4*c + 3. Let b be a(4). Suppose 6 - 2 = d. Solve b*t = -0*s + 4*s - 4, -32 = -4*t - d*s for t.
4
Suppose -4*k + 6 = -k. Let l(v) = v**2 - 4*v + 3. Let s be l(4). Solve 2*h = -s*q - 1 - k, -9 = 3*h for q.
1
Let i be ((-1)/(-1))/(1/2). Let y be (8/10)/(2/35). Suppose -4*j + 36 = -h + 5*h, i*j = 2*h - y. Solve 2*u = -4*n + h, n - 6*n - 5 = -5*u for n.
1
Suppose 7*z - 5*z = 16. Suppose 2*a - z = -4. Solve -5*y + a*u + 7 = 0, 5*u + 1 = -y - 3 for y.
1
Suppose -18 = -2*d + 4*d. Let i be 2/4 + 36/8. Let b be 3/(i/((-60)/d)). Solve x - 1 = -b*r - 0, r + x - 4 = 0 for r.
-1
Let j be (-8)/(-12) + 7/3. Suppose -g = j*g - 32. Solve -3*x + 4 = -2*z, 0 = 4*x + x - 3*z - g for x.
4
Suppose 3*t = -2*h - 3 + 1, 2*h = 2*t + 18. Let z be (-12)/(3 + (-55)/15). Solve m = h*v + z, 3 = -3*v + m - 9 for v.
-3
Let s = 14 - 15. Let r = 4 + s. Solve w = -5*v + 2*v - r, -3*w - 5 = 5*v for w.
0
Let w = 11 + -6. Suppose 0 = i - 4*a - 21, 3*i + 0*a + w*a + 5 = 0. Solve r + 1 = 0, 0 = -3*o + r - i*r - 13 for o.
-3
Suppose -4*v - 12 = -3*u - 0, -12 = -5*v - 3*u. Suppose 0 = j - v - 7. Suppose 3*n - 2*g = -g + 9, 4*n - 3*g = j. Solve -4*l - a = -n, a = -2*l + 3*a + 2 for l.
1
Suppose -27 = -4*w + 3*k - 7, 22 = 3*w - 4*k. Suppose -w*n - 12 = -5*n. Let q be (2 - 5)/((-3)/2). Solve 3*c + 20 = -n*p, 0 = -c - 3*c - q*p - 20 for c.
-4
Let v be 3/((-8)/(-6) + -1). Suppose -31 = -4*s - 5*c, -c - 17 = -2*s - 4*c. Solve 3*t + 3*q = t + v, -13 = -s*t - 5*q for t.
-3
Let h = -2 + 6. Let t be 1/3 - 5/(-3). Solve -2*k = t*i - h, -i + 1 = -0*i for k.
1
Let i be 5 + -10 + 8 + -2. Solve -2*r = -s - i, 0 = -3*r - s + 3*s + 3 for r.
-1
Suppose 3*x - 19 = -3*i - 1, -2*i - 4*x = -20. Suppose -j + 3 = -i. Solve 0*u - 4 = -4*v - 4*u, -5*v = 3*u - j for v.
1
Suppose 53*s - 35 = 46*s. Solve s*b + 3*l + l = -17, 0 = b - 5*l - 14 for b.
-1
Suppose -6*k = -k + 10. Let m be 3*((-2)/k - 0). Suppose m*u = u + 4. Solve -h + 10 = -2*q, -u*h - 7 = -3*q - 22 for h.
0
Suppose -4*n + 7 + 1 = 0. Let a be 6/2*n/3. Solve -2 = -q - 2*k, -a*k = -q - 4*q - 14 for q.
-2
Suppose 0 = 5*x - 3*q - 1, 3*x + 3*q - 15 = -0*q. Let i(l) = l**2 + 7*l. Suppose 5*h + 7 = 4*h. Let v be i(h). Solve v = 3*o + 15, -x*m + o = 3*o + 6 for m.
2
Let i = -48 - -52. Let c be (-12)/(-10)*20/6. Suppose i*v = 5*m + 25, 4*v + 16 = 8*v + c*m. Solve 4*o + 40 = -v*x, -x + 0*o - 14 = 2*o for x.
-4
Let d be 5 + (-6 - -4) - -4. Suppose -d*y + 3*y = 0. Solve y = -2*l + 4*g - 30, 2*l = -3*l - 5*g for l.
-5
Let a(z) = -2*z + 24. Let m be a(11). Solve -5*j - 5 = 2*d, m*j = j - d + 2 for j.
-3
Suppose 7*q - 14 = -0*q. Solve -3*i + q*k - 2 = -13, 2*i + 3*k - 3 = 0 for i.
3
Suppose -3 - 55 = -2*b. Solve 2*l + b = -l + 5*z, 2*z = 3*l + 17 for l.
-3
Suppose -43*d + 41*d = -28. Solve s = -o - 7, -4*s - 19 = 5*o + d for o.
-5
Suppose -31*m + 33*m = 8. Suppose 5*b - m*k = 18, -2*b + 27 = 2*k + 3*k. Solve n = -b*a + 2*a - 1, -4*n - 19 = a for n.
-5
Suppose -3*r = -8*r. Let n(z) = -2*z - 12. Let k be n(-9). Solve r = 4*c + 20, -c - 11 - k = 4*l for l.
-3
Suppose 0 = 5*p, -i - 5*p = -0*i - 4. Let l(a) = -a + 7. Let o be l(3). Solve i*u - o = -2*w - 0*u, -w - 4*u = -2 for w.
2
Suppose 0*m + 7*m = 35. Solve m*z - j + 15 + 8 = 0, 0 = -5*z + 2*j - 21 for z.
-5
Let m = -10 + 4. Let p be (-2 + -2)/((-4)/m). Let a be (-15)/p + 2/(-4). Solve -v = 1 - a, 5*x + v + 4 = 0 for x.
-1
Let m(v) = -v**3 - 5*v**2 - 2*v - 6. Let i be m(-5). Solve -i*d = 5*y, -d + 1 = -0*d + y for d.
5
Let d be 1*(-1)/1 + 9. Let u = d - -5. Solve o + u = 4*o - 5*t, -10 = 5*o - 2*t for o.
-4
Suppose 0 = 4*x - o, 5*o = -23*x + 24*x. Let z(h) = h**3 - 3*h**2 + h - 1. Let t be z(3). Solve x*l + t*l + 5*w = 6, 0 = 5*l - 5*w - 15 for l.
3
Suppose 3*x + 8 = 17. Let s(o) = 2*o + 1. Let u be s(x). Solve 5*b - 3 - u = 0, 4*b = -5*w - 12 for w.
-4
Let v be 4/6 + 24/(-9). Let d be -1*12/(-3) + v. Solve -5 = a, -27 = -2*q + 7*a - d*a for q.
1
Let w be 47/3 + (-2)/3. Let x be (-6)/w - 4/(-10). Suppose x = -2*v + v + 4. Solve -4*u = v*h + 4, 6 = -8*u + 3*u - 4*h for u.
-2
Suppose 0 = -5*s + 3*a - 7*a + 2, 0 = -3*s - 2*a + 2. Suppose -38 = -s*b - 12. Solve y + 0*i - 4*i = -b, 3*y + 4*i - 25 = 0 for y.
3
Suppose 0 = -3*p - 2*i - 2, -4*i = p - 5*p + 24. Let m(g) = 4*g - 4. Let j be m(-4). Let f be (-12)/10*j/8. Solve 4*x - o = -f, 4*x + 11 = 3*o + p for x.
0
Let q(h) = -h - 14. Let a be q(-16). Solve 4*t - 8 = -4*g + a*t, 4 = 2*g - 4*t for g.
2
Let z be (-1 - -6)*132/55. Solve 7*a - 3*a + 3*v = -15, 3*v + z = -3*a for a.
-3
Let r be 1/7 + (-28)/(-49)*5. Solve 3*v + 14 = -l, 8 - 1 = -2*v - r*l for v.
-5
Let r = -4 + 5. Suppose 4*h - 11 = r. Let i be (1 - h)/(4/(-10)). Solve -i*z + m = 10, 2*z - 4 = z - m for z.
-1
Suppose 6 = -d - 1. Let u = d - -9. Solve 0*j + u*r = 5*j - 6, 0 = -4*j - 4*r - 12 for j.
0
Suppose 6*q - 3*q = 27. Solve 6*r = 3*r + q, c = 2*r - 2 for c.
4
Let m(v) = v**3 + 2*v**2 + 2. Let h be m(-2). Let r = 20 + -18. Solve h*t - 3 = 7, r*t - 1 = -3*d for d.
-3
Let q = 5 - 1. Solve 5*s - 5 = -5*p - 0*p, 2*s + 16 = q*p for s.
-2
Let p(o) = 21*o**2 + 1. Let q be p(1). Suppose -b = -3 - 2. Suppose -3 = -b*k + q. Solve 5*z + 20 = -k*v, 8*z - 3*z - 10 = 5*v for v.
-3
Suppose -z + 2*g - 1 = 0, 0 = -z - 5*g + 4*g + 5. Solve 3 = 5*n - 3*d - 15, z = -3*d for n.
3
Suppose 3*d - 9 = 0, 3*a + d - 3*d = 9. Solve 8 = -a*n - 4*c + 1, -11 = n + 4*c for n.
1
Suppose 6*d + 1 = 13. Solve d = -3*y - 2*q, -y - 3*q + 11 = -0*y for y.
-4
Let d = 4 + -6. Let h = d - -2. Let n be h - 0 - (-2 - -1). Solve -5*o = 4*y - 32, 4*y - n + 5 = 4*o for o.
4
Let r = -37 - -48. Solve r = -4*t + c + 2*c, -4*c = 12 for t.
-5
Let q be 76/18 + 32/(-144). Suppose o + q = 22. Solve -4*r - b + o = 0, r - 1 = -b + 5 for r.
4
Suppose -4*c - 5*g = -32, -4*c + 3*g - 8 = -2*g. Solve -2*q - 3*k + 17 = 0, 5*q + c*k = 2*q + 18 for q.
1
Let q(o) = -3*o - 43. Let m be q(-16). Solve -5*t = -5*i, 0*t + m*i = -3*t + 8 for t.
1
Suppose -2*p = -6 - 8. Let c(a) = -a**2 - 5*a + 1. Let f be c(-3). Solve -3*l + p = 2*x, 10 = -2*l + 2*x - f*x for l.
5
Suppose 11*f - 84 = -17*f. Suppose -s = -4*s + 6. Solve -f*m = s*m + 2*x - 1, -5*m = -4*x - 13 for m.
1
Suppose 2*t = -o + 6 + 17, -5*o - 3*t + 108 = 0. Suppose 2*g - 4*q = g + o, 0 = -4*g - 4*q + 124. Solve -m = 4*x - 4*m + g, 5*x + 19 = -2*m for x.
-5
Suppose 4*v = 4*w, 0*w + 3*w - 16 = -v. Solve 3*t + 15 = 2*l + 38, -20 = -v*t for l.
-4
Suppose 0 = -a + 8 + 22. Let r be 0/3*(1 - 2). Suppose 0*y + 3*y = r. Solve y = 5*o - v - 0*v + a, -2*v = -o - 15 for o.
-5
Let u(r) = r**3 + 5*r**2 - 7*r - 7. Let s be u(-6). Let j be (s*4)/((-1)/5). Solve 7*h = 2*h - 4*o + j, -5*h + 3*o + 20 = 0 for h.
4
Let k be 30/8 + 24/(-32). Solve 4*c + s = k, -3*s - 2 = 4*c - 3 for c.
1
Let o be (-4 - 7)*(0 + -1). Solve 3*b - o = -q, -3*b + 1 + 0 = -q for q.
5
Suppose 2*g - 616 = r, -3*g + 2*r + 453 = -469. Suppose -4*y + g = y. Suppose 3*c - c = y. Solve 4*h - c = -5*p, -p = -2*h + 2*p - 1 for h.
4
Suppose -3*q + 17 = -x, 3*x + 2 + 4 = 0. Suppose 4*u - 3*u = q. Solve c + 4 = u*n - 22, 0 = -5*n + 3*c + 28 for n.
5
Let v = 4 - 2. Let o = v + -1. Let l = 2 - -1. Solve -5*j = -l*i + 4, -o = 2*j + 3*i - 4*i for j.
1
Suppose 0 = 6*b - 10*b + 40. Suppose 2*p + b = 7*p. Solve -3*y + 2*k = -5, 0 = -3*y - k - p*k + 30 for y.
5
Let y be ((-1)/(-2)*-4)/(-4)*6. Solve 0 = -y*f - 4*z + 1, 2*f - 4*f = -4*z + 26 for f.
-5
Let x(r) be the second derivative of -r**3/6 - 5*r**2/2 - 2*r. Let c be x(-5). Suppose 3*p - 7*p - p = 0. Solve -s + 4*b = -18, c = -p*s + 2*s + 5*b + 16 for s.
2
Let f be (-140)/6*(-30)/20. Let d be (-4)/(-14) - (-235)/f. Solve 3*w + 0*o + o - d = 0, 0 = 3*w + 3*o + 3 for w.
4
Let a(b) = -b**3 - 3*b**2 + 4*b + 4. Let m be a(-4). Let k(j) = -j - 7. Let c be k(-7). Suppose -2*p = -c*p. Solve -3*o - m = -3*q + 2, -3*q = p for o.
-2
Suppose 2*y - 7 = -3. Let b = y - -2. Sol