c, -3*p + 8 = 3*c - p for c.
0
Let a be (-40)/(-12)*(-30)/25. Let w be 16/32 - 6/a. Suppose w*f + 4*h + 32 = 6*f, -4*h = 4*f - 56. Solve -4*b - 4*o + 17 = -f, 3*o = 6 for b.
5
Suppose -46*w + 53 + 85 = 0. Solve 4*s - 25 + 8 = -w*n, 4 = n + s for n.
-1
Let h = -10 + 12. Let d(q) = 6*q**2 + 4*q + 4. Let p be d(-2). Solve -2*a = -5*a - 5*x - 25, 5*x + p = -h*a for a.
-5
Suppose -4*b = -3*n + 26, 2*b = -2*n + 3*b + 14. Suppose 0 = -2*v + n - 0. Solve 4*s + 21 = -v*o, 9 = 4*o + 3*s + 30 for o.
-3
Suppose -6*v + 9 = -9. Solve -4*y + 5*u = 6, 7*u + 28 = -5*y + v*u for y.
-4
Let t = 12 - 10. Suppose 0 = 5*p - t - 138. Solve 0*s + p = 5*s + 3*v, 0 = -s - 4*v + 9 for s.
5
Suppose 818 = 4*a + 802. Solve -4*z = a*k, -k + 5*z = 4*k for k.
0
Suppose -28*r + 16*r + 60 = 0. Solve -5*o = -k - 8, r*k - 2*k - 14 = -4*o for k.
2
Let h = -39 - -36. Let d be -4*(-1 - h/4). Solve -a - 28 = -5*x, -x + 2*a = -2*x - d for x.
5
Let w = -9 - -9. Let n(v) = v + 22. Let f be n(w). Let d = f + -14. Solve -2 = 3*z + 3*m - 2*m, 4*m = -d for z.
0
Suppose -3*i + i = 18. Let z = i - -11. Suppose z*y + y = 9. Solve y*j = 3*n - n + 16, 2*n = -3*j - 4 for j.
2
Let z = -470 - -471. Solve 3*i = -12, -z = -4*r + 2*i + 7 for r.
0
Let n be (23/6)/(28/168). Suppose -3 = 5*m - 28. Suppose m*l = -15, -t = t - 5*l - n. Solve 2*y - t*f = -14, -f + 11 = -y + 3*f for y.
-3
Suppose 4*s - 2*j = 244 - 64, -5*j - 186 = -4*s. Let o = 47 - s. Solve 0 = c + r + 2, -o*r = 3*c - 6*r - 24 for c.
3
Let g be ((-12)/(-16) - 52/(-16))*1. Solve 2*m + 0*m - g*z = 16, 4*z + 12 = 0 for m.
2
Let a be 0/((24/(-32) - -1)*4). Suppose 0*b - 4 = 3*b - 5*s, 2*b + 3*s = 10. Suppose 0 = b*j + 2*j - 20. Solve a = 5*q - 1 - 24, -u = -j*q + 22 for u.
3
Let z = -631 - -634. Solve 0 = r + 3*d + z, d = 2*r + 2*d + 6 for r.
-3
Let q(x) = -53*x - 313. Let i be q(-6). Solve -a + v + i = 5*v, -2*a = -5*v + 16 for a.
-3
Suppose 3*b = 8*b - 25. Let p = -8 - -12. Suppose -32*h + 388 = 65*h. Solve p*g + 4 = 2*m + 2*g, -b*m + 37 = h*g for m.
5
Suppose 40*f - 209 = -49. Solve -2*c - 7 = -5*b + 8, 12 = -5*c + f*b for c.
0
Let d(u) = -5*u + 137. Let n be d(26). Solve 2*p = -3*c - n, 2 = -c - 2*c - p for c.
1
Let n(w) = -3*w**2 + w + 35. Let i be n(0). Let c = i + -32. Suppose 0*q - q + 6 = 0. Solve -c*g = -q, -2*m + 2*g = -0*g for m.
2
Suppose 0 = 12*x - 14*x - 3*a + 25, -5*a = -25. Solve 4 = y - x*t, 5*t = -5*y + t + 20 for y.
4
Suppose 24*a - 23 = 73. Solve -a*w - 5*x = -4*x - 8, -10 = -5*w + 4*x for w.
2
Let b(c) = 5*c**2 + 19*c + 4. Let r be b(-4). Solve -2*w + 0*p + r = 2*p, 2*w = -p + 7 for w.
3
Let u(i) = 8*i**2 + i - 2. Let f be u(-2). Let l = -20 + f. Solve 4*o + 0*o = 3*a - 4, 2*o + l = 3*a for o.
2
Suppose 9*z = 4*i + 4*z - 68, 4*i - 3*z - 60 = 0. Let a be -1 - (-13 - i/(-4)). Suppose a*k - 18 = 3*k. Solve k*b - 29 = 4*n, -b = b - 6 for n.
-5
Let u be ((-9)/(-21))/(21/98). Solve -4*h - u*n + n - 6 = 0, 0 = -5*h - n - 8 for h.
-2
Let w = -10 - -16. Let s be (w/4 - -3)*6/9. Solve k + 10 = -3*v, s*v - 25 = -4*k + 4*v for k.
5
Let n = 477 + -457. Solve -5*d - n = 5*r, -6 = -r + d + 3*d for r.
-2
Let d(c) = c**3 - c + 2. Let m be (0 - (3 + -2))*(3 - 3). Let z be d(m). Solve 4*n = 2*s - 6*s + 28, 9 = s + z*n for s.
5
Let z = -38 - -40. Suppose -2*c - 4*g + 16 = 0, z*c - 2*g = 6*c - 14. Solve -y = -3*k + 4*y - 20, k = c*y - 8 for k.
0
Let v = 159 + -154. Solve -2*m - 2*m = 16, v*t - 24 = m for t.
4
Let j(u) = 3*u**3 + 24*u**2 + u + 12. Let o be j(-8). Solve 11 = -0*l - 3*l - 4*v, -o*l + 6 = -5*v for l.
-1
Suppose -5*n - 3*m = -332, m - 3*m = 3*n - 200. Suppose 11*v = 266 + n. Solve 0 = -2*b - 5*i - v, 4*i = -5 - 11 for b.
-5
Let u be ((-81)/12)/(4/((-64)/3)). Let k be 54/8 - 27/u. Solve -k*r + 3*i + 16 = -2*r, -16 = -4*r - 4*i for r.
4
Suppose 0*u + 2*q + 8 = 2*u, 5*u + q - 20 = 0. Solve 28 = -5*l - d, 4*l + 7 + u = 3*d for l.
-5
Suppose -b + 2 = 2*q - 3, 0 = -4*q + 4*b + 28. Solve 4*c - 16 = -3*g, 2*g + 2*c - 3*c + q = 0 for g.
0
Let s(t) = 18*t + 132. Let a be s(-6). Solve 4*c = 4*r + a, -3*r - 28 = 2*r - 4*c for r.
-4
Suppose 0*g = 5*g - 20. Let r(o) = 57*o + 516. Let z be r(-9). Solve 4*c + g + 0 = -4*n, z*n = -5*c - 9 for c.
-3
Let v(r) = -16*r - 69. Let j be v(-5). Solve 2*b = -t + 7 - 0, -t = 3*b - j for t.
-1
Let d = 253 - 248. Solve 1 = d*f + 2*w + 10, 5*f + w = -12 for f.
-3
Suppose 15 = 5*o + m, -7 = -5*o + 3*m + 8. Solve -2*r = -2*h - 16, -4*r = o*h - 6 - 5 for h.
-3
Suppose 9*n + 12*n = -26*n. Solve -5 = -3*t - 5*h, n = h + 1 + 1 for t.
5
Let d be 5*(-1)/((-40)/48). Solve 4*h = -2*b - d, 2*h + 5*b - 3 = 6*b for h.
0
Suppose 112*b - 120 - 216 = 0. Solve 0 = 2*s - f - 3*f - 24, 0 = -4*s + b*f + 28 for s.
4
Let n be (-1)/((-4)/12 - 0) - -13. Suppose 14 = 5*a - 4*v - 6, 0 = -4*a - v + n. Solve -k - a = -2*c, 2*k - 32 = -2*k - 4*c for k.
4
Suppose 0 = -5*s - 8 - 157. Suppose 5 = -d - 4*d. Let f be (-110)/s + d/3. Solve -4*v - 24 = 4*n, 3*n = v - f - 3 for n.
-3
Let i(q) = -q - 6. Let v be i(-6). Suppose 0 = -y + 9 + 5. Solve s - 2*s + 2*g = v, 5*s = 3*g - y for s.
-4
Let u(t) = t**3 - t**2 - 2*t + 11. Let i be u(3). Suppose 0 = 2*b + 3*b - 25. Solve -b*c + 3*z = -c + i, -4*z - 6 = 2*c for c.
-5
Let g be (-360)/(-48) - (-1)/2. Suppose q - 2 = -h, -h - 4*q = h - g. Solve m + t + 3*t = 5, 3*t = h for m.
5
Let f be (16/2)/24 - (-11)/3. Solve -2*y + f*p - 24 = 0, 0*y = 3*y + 3*p for y.
-4
Suppose 0*h - 3*h = 4*z + 7, 2*z = -5*h + 7. Suppose -h*a + 0 = -12. Solve 2*k + 2*d + 4 = -a, -k = -4*d - 1 for k.
-3
Let w be (-2 - -5) + 0/1. Let o(m) = w*m - 2*m - m**3 - m - m**2. Let s be o(-2). Solve -5*t - 19 = -a + 3*a, -s*t - 14 = a for a.
-2
Suppose 5*j - 5*g - 15 = 0, -2*j + 3*g = -6*j - 9. Solve j = s + 4*p - 1, 3*s - 2*p = s + 12 for s.
5
Let h(t) = -t**3 - 5*t**2 + 19*t + 37. Let j be h(-7). Solve -5*i - 2*x - 20 = -3*x, j*i = x - 5 for i.
-5
Let o = -42 - -47. Suppose o*t - 16 = -1. Solve t*q - 3*v + 5*v = 5, 4*v = 3*q - 17 for q.
3
Let v be (-2)/(-4)*-5*(-3 - -1). Let u be 0 - -5*(-4 - -6). Let p(k) = k**3 - 10*k**2 + 2. Let w be p(u). Solve w*h - s = -v*s + 10, 0 = -5*h - 4*s + 7 for h.
-1
Suppose -10*q = -7*q - 9. Let m be (-1 + 1)/((-6)/q). Solve 3*j - 5*c - 1 = m, 2*c + c - 3 = 0 for j.
2
Let f be ((-21)/(-21) + 0 + 0)*11. Let g be ((-6)/(-3) + 1)/1. Solve u = -4*t - 1, -g*u + f = -2*t - 0*t for u.
3
Let z(i) = i + 18. Let m = -15 - -1. Let u be z(m). Suppose -u = -3*s + 2. Solve -5*r = -3*v - 0 - 5, 24 = -s*r - 4*v for r.
-2
Suppose 4*h = -2*c, 11*h = 2*c + 10*h - 5. Solve 8*g = 5*g + 3*z, 0 = -c*g + 4*z for g.
0
Suppose 3*q = -2*q - 120. Let y = 40 + q. Solve 3*n = 2*o - 3 + 15, 5*o + 4*n - y = 0 for o.
0
Let f = 0 + 2. Suppose 0 = y - 5*k + 11, k + 8 + 1 = 3*y. Suppose y*w = 3 + 5. Solve -3*g = -4*x + 23, -w*x - 3*x + 27 = -f*g for g.
-1
Let c(u) = -u**3 + 7*u**2 - 4*u - 9. Suppose 4*z = -5*d + 50, 2*d = -d + z + 13. Let v be c(d). Solve p - 3*p + 2*k + 2 = 0, 0 = -v*p - 4*k - 32 for p.
-4
Let s(k) = -k**3 - 9*k**2 + k - 22. Let f be s(-10). Let d = -64 + f. Solve -q = 4*m + q - d, 0 = 4*m + q - 6 for m.
2
Suppose -3*r - 12 = r. Let a be (-8)/(-24) - (-1)/r. Let v be (1 - 0)/(2/6). Solve 0*x = -2*u - v*x - 8, a = -u - 3*x - 4 for u.
-4
Let g(p) = 3*p - 4. Suppose -d = -20 + 18. Let z be g(d). Solve 3*r = -h - 9, h - 9 = -z*h + 3*r for h.
0
Let l(j) = -28*j - 252. Let q be l(-9). Let b be 3/9 + 22/6. Suppose 2*i = -w + 10, -3*w + b*i + 18 = -62. Solve 2*f - 1 + 11 = -2*t, -4*f + t - w = q for f.
-5
Suppose -w = -3*m - 7, 0 = 5*w - 2*m - 1 - 8. Let c be (-3 - -3)/(w/1). Solve -4*t + 0*d + d = -15, c = -2*t - 5*d + 35 for t.
5
Suppose -2*a - f - 11 = -14, 5*a - 6 = -f. Solve -5*y - 4*w = -2*y - a, -8 = -2*y + w for y.
3
Suppose 0 = 5*m + 5*r - 25, 4*r - 10 = 2*m + r. Solve -3*q = o + 5 - 4, m = 5*q + o for q.
1
Let k = -90 + 109. Solve 4*y - k = -3*p, 3*y + 2*p = -0*p + 13 for y.
1
Suppose -8*h - 5*h - 3*h = 0. Solve h = 5*l - 2*s + 11, 3*l = l - 4*s - 14 for l.
-3
Suppose 0 = 5*p - 4*v - 23, 19 = 5*p + 4*v - 6*v. Solve -4*x + 6*w = p*w - 15, -2*x = w - 5 for x.
3
Let c(f) = f + 1. Let r be c(-2). Let x be (1 - r)/(26/117). Let t = 9 - x. Solve -3*d + 3*q = -6, 1 = -d - t*d + 4*q for d.
3
Let a = 649 - 633. Solve 3*m - 4*p - a = 0, -3*p - 3 = -0 for m.
4
Suppose -106*m + 3*h = -105*m - 6, 3*h = -3. Let o = 6 + -4. Let r(