 5*q = -30, -5*f + q - 3*q + b = 0. Solve 4*c - f*x = 25, -x - 6 = 2*c - 1 for c.
0
Let o = -7 - -8. Suppose o - 9 = -4*j. Suppose 3*n - 45 = -j*n. Solve 3*f + 2*y = -y - 9, -3*y - n = 0 for f.
0
Let v(y) = -y**3 + 9*y**2 - 10*y + 23. Let i be v(8). Solve 0 = f - 2*f + 3*a, -5*a = -4*f + i for f.
3
Let j = -25 - -29. Suppose 2*v + j = 5*o + 7, v = -5*o + 9. Solve y = -n - 5, -v*n - 2*y = -0*y + 16 for n.
-3
Suppose -9 = -4*p - 2*r + 5, -p - 2 = -5*r. Solve 0*g = -p*f - 4*g + 4, 2*f = -g - 4 for f.
-4
Let z(s) = -2*s**2 - 10*s + 219. Let j be z(8). Solve -3*f = 9, -7*f = 2*y - 2*f + j for y.
2
Let b = 1559 - 1539. Solve -3*r - 15 = -3, 4*k = r + b for k.
4
Let y be 7 + 0 + (-635)/(-127). Solve 9*v - y*v = -15, -z - 5*v = -25 for z.
0
Let x(v) = -v - 2. Let t be x(-5). Suppose 0*w + 4*w - 23 = 3*g, w = -3*g - 13. Solve -4*b - t*y - 11 = 0, -w*b + y = -2*y + 19 for b.
-5
Let u = -13 - -18. Suppose -15 = 2*o + 5*a, -a - 17 - 3 = -3*o. Solve 0 = o*i, u*w + i = -2*i for w.
0
Let i = 1419 + -1416. Suppose -5*q + 26 = 6. Solve -n + i = -5*b + q*b, 2*n - 2 = 0 for b.
-2
Let a be (60/(-10) - -2) + 7. Solve -5 = h - 5*f, -4*h - h = a*f - 31 for h.
5
Let w(y) = y**2 - 3*y - 5. Suppose -3*i - 3 + 0 = 0, 2*i = -h - 12. Let p be h/4*120/(-50). Let b be w(p). Solve 0 = -3*r + 5*k - b - 12, 4*r + 2*k = 10 for r.
0
Suppose 4*z = 9*z. Suppose 0 = -z*o - 3*o - 240. Let l be 3/(-2)*o/15. Solve j + 2*j + l = 4*a, 4*j = 0 for a.
2
Let n(b) = -2*b + 23. Let s be n(3). Solve -7*k - 5*j = -8*k - 10, 3*k - 2*j + s = 0 for k.
-5
Suppose -z = -5 + 3. Let u = 4 - z. Suppose -2*n + 33 = 5*p, u*n - 5*n - 3 = -3*p. Solve -4*s = d - 12, -2*d + 3*d = p*s - 24 for s.
4
Suppose -40*p - 16*p + 280 = 0. Let j = -13 - -29. Solve -p*m + 3*m = -5*y + 16, 4*y = j for m.
2
Suppose 0 = -4*p - 3*u + 52, p + 0*p = 3*u + 28. Suppose 3 = -3*o + 4*o - 5*x, -4*x + p = 0. Solve 19 = -5*z + 5*v - 21, -o = 4*z - v for z.
-5
Let d(h) = 4*h**2 - 3*h + 4. Let x be d(2). Suppose 3*c = -2*c - 2*u - 62, c + x = -2*u. Let j be 36/(-16)*16/c. Solve 0 = 3*n, 15 = -4*l + j*n - 1 for l.
-4
Let q = 15 + -15. Let x be (0 - q)*(-2)/4. Suppose 3*k + 5*p + 13 + 1 = 0, -4*k - p + 4 = x. Solve -4*c + 3*h - 4 = -11, 5*h + k = -3*c for c.
1
Suppose 2*a - 24 = z, -4 = 4*z + 4. Solve -j = -2, -4 = -3*i - a*j + 6*j for i.
-2
Let n be (174/9)/(7/(-21)). Let f = 62 + n. Solve 3*o + r - 4 = -r, -f*r + 8 = -o for o.
0
Suppose -4*j + 18 = a + 2, 2*j - 8 = a. Suppose 5*v - y = -0*y + 12, a = v - 2*y + 3. Solve 8*l - v*l = 3*o + 5, o + l = 9 for o.
5
Let a(t) = t**2 + 26*t - 22. Let w be a(-27). Solve -w*f = 2*k + 17, 3*f - 4*k + 26 = f for f.
-5
Let f = 42 + -44. Let v be 2 - 1 - (4 + -2)/f. Solve s = 6*s - v*a + 2, -3*a - 18 = 3*s for s.
-2
Suppose -k + 2*b = 2*k - 25, 5*b + 10 = -3*k. Suppose 2*o - 5*o - 4*h + 26 = 0, k*h = 2*o + 21. Solve -2*d + o*i = -0*d - 4, -5*d = 4*i - 19 for d.
3
Let k(s) = 2*s**3 - 31*s**2 + 17*s - 26. Let i be k(15). Solve 3*j + 2*b - 18 = -b, -i*j - b = -15 for j.
3
Let s = 569 + -565. Solve -4*b + s*z + 20 = 0, 5*b + 5*z + 17 = 2*b for b.
1
Suppose -3*d + 1704 = 1692. Solve -4*k + 5*w + 12 = w, -d*k + 5*w + 13 = 0 for k.
2
Suppose 34*f + 44 = 45*f. Solve -2*s + 20 = f*j, 0 = 3*j + 4*s - 14 - 1 for j.
5
Suppose -10 = -2*p + 4*q - 0*q, 15 = 3*p + q. Solve p*o - 6*o + v + 2 = 0, -4*o + 2*v = -12 for o.
4
Let h = 313 - 311. Solve h*w + 23 = -4*s + 5, 0 = 2*s - 4*w - 6 for s.
-3
Suppose -2*i = -y - 9, 18*y + 16 = 3*i + 14*y. Suppose -4*m + 5*o = 0, -2*m + 3*o = -m. Let b = m - -4. Solve 0 = -i*h + x + 1, 8*h + b = 3*h + 3*x for h.
1
Let q be (-88)/(-40) + -2 + (-59)/(-5). Let i be 141/(-12) + (-1)/4. Let d be i/(-16) - (-27)/q. Solve -3*u + 2 + 1 = -d*f, 0 = 3*u - 4*f - 7 for u.
-3
Suppose -14*t - 5 = -33. Solve -a + 15 - t = 3*f, f - 5*a = 15 for f.
5
Let a(c) = -c + 9. Let h be a(6). Let x(t) = -3*t + h + 3*t**2 - 9 + t**3 + t**2. Let r be x(-4). Solve 5*z + 3*n = -23, r*z - 3*z - 4*n + 8 = 0 for z.
-4
Suppose -53 = -5*x - 18. Let v be 33/(-55)*(2 - x). Solve -5*k = v*t + 13, t = 2*t + 5*k + 11 for t.
-1
Let x = 3 + -14. Let w = x - -13. Let v = 36 - 23. Solve -v = -u - 3*n, -2*u + 3*n - n = -w for u.
4
Let w be 0 + 3*111/9. Suppose 0 = -16*o + 11*o + 10. Suppose -2*h + w = h + o*k, -k = h - 14. Solve 4*n + 5 = -x - h, -16 = 2*n - 4*x for n.
-4
Suppose 5*s - 2*y = 24, 0*s = 2*s + 4*y. Suppose 0 = z - 3*v - 12, -5*z - 3*v + s*v = -4. Solve z = -3*d - 3*f + 3, 4*d + f = -11 for d.
-4
Let v(f) = -f**3 - 4*f**2 - 6*f - 3. Let h be v(-3). Solve 2*o + h = -5*i - 2*o, -4*i - o = -4 for i.
2
Let x be 21/6 - (-2)/4. Suppose 6*y = x*y. Solve -4*h - 5*a + 3 = y, -2*a + 4 = -6*a for h.
2
Let g(z) = 3*z + 28. Let b be g(-9). Let k be b*((-6)/(-3) - -3). Solve t - 1 + 6 = -2*d, t + k*d = -8 for t.
-3
Suppose 9 = 3*m, -5*m = 137*i - 134*i - 150. Solve n + g = -1, 0*g - 5*g = -5*n + i for n.
4
Suppose 14*t = 3*t. Solve -3*p = t, -p = 2*y - 7 + 1 for y.
3
Suppose -130*a + 127*a + 6 = 0. Solve -5*c - 17 = -2*m, -4*m - 10 = -a*c + m for c.
-5
Let f be (0 - (-2 - -1)) + 14. Suppose -7 - 10 = -o + 3*w, 3*o + 5*w + 19 = 0. Let p be 3 + -1 - (-1 - (0 + o)). Solve p*y = 2*y + x + 15, -f = 5*x for y.
4
Suppose 4*c - 2 = -k - 0*c, -2*k = -c - 4. Solve k*v - 7 = w, w = 5*v + 16 - 38 for v.
5
Suppose -i + 3 = 3*m, 0*m = m - 4*i - 14. Let t be ((-10)/7 + m)*(-63)/(-18). Solve -4*z = -u - 4, -5*z + 3 = -2*u - t for z.
1
Let r = -1 + 5. Suppose 2*d - 12 + 0 = -4*t, -3*t = r*d - 9. Let h(u) = -u + 7. Let x be h(d). Solve -x*s = -2*s - 5*y - 20, 4*s - 16 = -y for s.
4
Suppose 82*t = 76*t + 12. Solve 5 = -2*f + t*g + 3*g, 4*f = g - 1 for f.
0
Suppose 5*u = u + 20. Let o be (-11 - -9)*-1*20. Suppose -5*j + o = 10. Solve 0 = 3*k - u*n, -j*k + k - 28 = n for k.
-5
Let j(o) = -o**2 + 2*o + 2. Let i be j(0). Suppose i*z = -7*z + 27. Solve 2*k = a - 4, 0 = a + z*a - 3*k - 11 for a.
2
Let k be 0/(24/11 - 4/22). Let j = 13 + -8. Let s = j - k. Solve -5*a - 15 = -s*r, -3*a - 3*r - 2*r = 25 for a.
-5
Suppose 3*m - 54 = -9*s + 4*s, 18 = s + 3*m. Solve 3*u = -4*c + s, 3*u = u - 2*c + 6 for u.
3
Suppose -5*f + 35 = -5*h, f - 7*h - 23 = -2*h. Solve 0 = -r + g - 4, f*r - 23 = 7*r + 3*g for r.
-5
Suppose 819 = -6*b + 13*b. Let o = b - 112. Solve -o*t + 2*g + 4 = 1, 0 = -t + 5*g - 4 for t.
1
Suppose -1128*d - 24 = -1136*d. Solve -3*y = -d*t - 18, 16*y - 17*y + 4 = t for y.
5
Suppose -21 = 3*z + o - 7, 2 = -o. Let x be 0/(z/(-2)) - -2. Suppose -3*g - x*g = 0. Solve -3*h - 3*v + 8 = 2*h, h - v - 8 = g for h.
4
Suppose -o + 4 = 0, 0 = 2*t + 3*o - 4*o + 4. Suppose -c - 40 + 45 = t. Solve 19 = 4*k - 2*r - 7, -30 = -3*k + c*r for k.
5
Let k = -16 - 30. Let n = k - -82. Solve n = 4*l + 4*c, -8 = -2*c - 0*c for l.
5
Let x = 141 + -96. Suppose 0 = -x*z + 41*z + 36. Solve 3*q = z, -q = d - 0 - 4 for d.
1
Let a(v) = v**3 - 7*v**2 + 3*v - 17. Let i be a(7). Suppose 2*d = 4*l + 42, -44*d = -40*d - 2*l - 96. Solve g + 25 = 2*n - i*g, 3*n = -5*g - d for n.
0
Let c(o) = -7*o - 12. Let j be c(-4). Suppose 0 = -0*s - 8*s + j. Solve w = 5*w + 2*f + 22, 10 = -s*f for w.
-3
Suppose 4*r = -2*o + 18, -7 = r - 4*o - 16. Solve r*n + 2*b = 15, 2 = 2*n - 4*b + 20 for n.
1
Let v = -1038 - -1040. Solve -3*y + 15 = v*s, 2*s = 2*y - 0*s for y.
3
Suppose 0 = -j + g + 4, 2*g = 4*j - 8*j + 4. Solve -3*q - 13 = q + r, -8 = -q + j*r for q.
-2
Let m = 72 + -20. Suppose -2*w + 61 = 3*w + v, -4*w + m = 4*v. Suppose 2*a - 4 - 2 = -3*o, w = 4*a + 2*o. Solve k = -k + t + 12, -28 = -a*k + 4*t for k.
4
Let r(j) = 3*j - 16. Let i be r(8). Suppose h - i = 11. Solve -z = -5*u + h, -2*z + 0*z - u = 5 for z.
-4
Let y be (119/(-187))/(1/(-11)). Solve -l - y = -4*t - 1, -2*l = -2*t + 6 for l.
-2
Suppose -u + 5*t - 16 = 0, -40 = -5*u + 4*t - 9*t. Solve 4*b - 1 = -u*k + 7, 5*b + 26 = 4*k for b.
-2
Suppose -3*x - 2*u = -5*x - 20, x + 13 = 2*u. Let z(j) = -j**3 - 8*j**2 - 5*j + 16. Let s be z(x). Solve l + 3 = -p, s*l + 0*l = -10 for p.
2
Suppose 18*a - 129 = -129. Suppose -4 + 0 = -2*c. Suppose -5*z = c*r + 2*r - 123, -3 = -z. Solve a*u + 12 = 3*u + y, r = 3*u - 4*y for u.
5
Let g = 73 + -72. Let a(z) = -7*z + 1. Let n be a(-1). Suppose 0 = 2*c - 4*q, 2*c + 5*q - 1 = n. Solve 0 = -4*x - 5*w + c*w, x + w + g = 0 for x.
3
Suppose -12 = 2*x + 2*x. Let u(i) = -i**3 - 2*i**2 + i + 3. Let c be u(x). Su