= -4*y, 2*j - 11 = 3*y + o for y.
-2
Suppose -15*d + 13 + 17 = 0. Let a = -4 - -13. Solve 4*m + 5*u = a, 0 = 4*m + d*u + 1 - 7 for m.
1
Let r be -10 + (-62)/(9 - 11). Solve -3*x - 4*k = -26, 5*k = -x + r + 6 for x.
2
Suppose 0 = -7*c + 165 - 102. Solve 0 = -3*q + 5*v + c, -4*q + 7 + 5 = 5*v for q.
3
Suppose -5*b + 4 = -11, 5*j = -3*b + 19. Solve -4*a + j*o - 4 = -2*a, 2*o = -a - 5 for a.
-3
Suppose q - 3*u - 9 = 0, 2*u + 15 = -3*q - 3*u. Suppose q*t + 24 = 3*t. Solve 4*p = -v + t, p - 2 = -3*v + 2*v for p.
2
Let y = -1 - -5. Suppose 3 + 17 = 4*c. Solve 3*m + 5*q + c = 0, 3*q + 3 = -y*m - 0 for m.
0
Suppose s = -s + 13*s. Solve s = -5*c + 5*h - 25, -7*c + 2 = -2*c + 4*h for c.
-2
Suppose -8 = -2*h - 0*h. Let c be (-9 - -15)*3/9. Suppose 2*r - c*v - 24 = 0, 3*r = 4*v + v + 28. Solve 3*p - 16 = -5*u, -h*p - 3*u + r = p for p.
2
Let q be ((-78)/(-24) - 4)*(-4 + 0). Solve -2*b = n - 6, 5*b - q*b - 10 = -3*n for b.
2
Let d be -3*(-2)/6*4. Suppose 0 = -0*n - d*n - 252. Let u be n/(-4) + 12/(-16). Solve -u = 4*g - b, -5 = 2*g - 0*g - b for g.
-5
Let z(h) = -h**2 + 15*h + 0*h - 3 - 5*h. Let n be z(9). Let v be (-2)/n*(-225)/5. Solve 0*i - q = -4*i - v, q = 5*i + 20 for i.
-5
Suppose -17*z + 13*z = -8. Solve -3*l - 5*f - z = 11, 3*f = -3*l - 9 for l.
-1
Suppose -4*a - 11 = -31. Solve 1 - 22 = 3*b - 3*f, a*f - 15 = b for b.
-5
Let x(m) = -m**2 - 32*m - 108. Let s be x(-28). Solve s*t - h - 19 = 2*h, 3*t + 2*h = -7 for t.
1
Let v(d) = 5 + d + 0 + 5 - 1. Let h be v(-3). Suppose 5*w = h*w - 3. Solve 4*r - 4*l = -l - 32, 27 = -w*r + 3*l for r.
-5
Suppose -c = c - 10. Suppose 12 = -l + c*o, -o - 24 = -4*l + o. Solve -m = -3*p + 10, 4*p + 0*m - 4*m - l = 0 for p.
4
Let v(g) = g**2 - 10*g - 6. Let y be v(12). Suppose y*b + 10 = 13*b. Let d be b + 2 + -2 + 2. Solve 2*t = -s - s - 12, d = 2*s - 2*t - 4 for s.
-2
Suppose -3*m = -89 + 281. Let j = -34 - m. Let t be 57/15 + 6/j. Solve -t*a = 5*l + 6, 0 + 4 = 4*a for l.
-2
Suppose u = -u + 2. Suppose -3*s - h + u = -2*h, s - 17 = -3*h. Suppose 3*b = -b + 2*t + 14, -5 = s*b + 3*t. Solve -3*r = 1 + b, r = -2*z + 1 for z.
1
Let o = 187 - 176. Solve -7 - 2 = -3*c - k, -o = -4*c - k for c.
2
Let v(h) be the second derivative of h**4/6 - 55*h**3/6 + 31*h**2/2 - h - 3. Let u be v(27). Solve -4*n - 3*r = u, 5*n - r - 5 = 9 for n.
2
Suppose 22 = -2*k - 2. Let t be ((-4)/2)/((-2)/k). Let a be 9/t - (-23)/4. Solve 2*v + 0*s - 5 = s, -4*s = -5*v + a for v.
5
Suppose -8 = 6*k + 58. Let h be k/(-2) - 6/12. Suppose 1 = 3*z - h. Solve -2*v + 3*p = 12, -3*p - 14 = z*v - 7*p for v.
-3
Suppose -91 = 5*z + 9. Let i = z - -20. Solve i*f + 14 = 3*x + f, x + 4*f - 12 = 0 for x.
4
Let v = -353 - -373. Solve 2*d + v = 4*y, -6*y = -2*d - y - 24 for d.
-2
Let d(u) = -30*u - 267. Let p be d(-9). Solve 2*j = -p*i - 1 + 6, -4*j - 17 = -3*i for i.
3
Suppose 2*v = -k + 9, 0 = v - 2 - 0. Let w = 9 + -7. Let g be ((-1)/w)/(1/(-10)). Solve -5*t = -4*q - k, -g = -2*q - 3*t - 2 for q.
0
Let g(l) = -8*l + 4. Let q be g(-5). Suppose -q = m - 5*m. Let o be 7/112*-4 + (-51)/(-12). Solve d + 5 = -j, -2*d = -9*j + o*j - m for j.
-3
Let d be (1*(-1 + 4))/1. Suppose 5*y + 5*v + 25 = 0, d*y + v - 2 = -7. Solve y = 5*b - 5, b = -2*i - i + 1 for i.
0
Suppose 0*m - 13*m = 0. Suppose -5*n - 2*p = -6*p - 36, m = n + p. Solve 3*y = n*r - 13, -4*r + y + 10 + 5 = 0 for r.
4
Let m be 0 + -4 + 9 + 0. Suppose 0 = n - 0 - m. Solve 5*p = 4*x - n*x, p + 14 = -3*x for p.
1
Let g(n) = -n**3 - 9*n**2 - 4*n + 34. Let x be g(-8). Solve -5*f - 11 = 4*k - 0*f, -x*k = -5*f + 13 for k.
-4
Let i(t) = 2*t - 2 - t + 0 + 5*t**2. Let q be i(1). Let w(v) = v - 2. Let u be w(4). Solve 3*p = -u*j - 6 - 4, -q*j = -3*p - 16 for p.
-4
Suppose -d + 2 = -g, -4*d - 3*g + 40 - 46 = 0. Solve -4*n - 3*w + 32 = d, 4*n = n + w + 11 for n.
5
Suppose -3 = -14*r + 25. Solve -5*g = x + 22, -22 = x + r*x + 4*g for x.
-2
Suppose -3*a - 1 = -2*a. Let t = 650 + -645. Let v be (a/(-3))/(t/30). Solve 10 = v*i - 3*p, -4*i + 4*p = -25 + 9 for i.
2
Let g(c) = 2*c**3 - 7*c**2 - 7*c + 1. Let j be g(4). Let p = j + 14. Solve 3*y + p = 7*y - 5*l, -2*y = -2*l - 2 for y.
2
Let l = 1 - -1. Suppose 7*h - 2*h = k - 29, -l*h = 10. Suppose -13 = -k*a + 3. Solve y + 4*t + 7 = 0, y + 2*y = a*t + 27 for y.
5
Let k(n) = 2*n**3 + 21*n**2 + 9*n - 2. Let d be k(-10). Solve 0 = -5*b - 3*h + d, -5*b + 0*h + h = -24 for b.
4
Let l(o) = o**2 + 6*o + 5. Let g be l(-5). Let d be (-4)/(-12)*g + 3. Suppose -8*j = -4*j. Solve -2*s + d*u + u = -12, j = 2*s - 5*u - 13 for s.
4
Suppose 16*k - 46*k + 780 = 0. Solve 3*f - 4*q + 4 = 0, k = -5*f - 2*q + 2 for f.
-4
Suppose 0 = 37*b - 114 - 256. Solve -n = -4*s + 2, -9*s + 3*n - b = -13*s for s.
1
Suppose -5*x = -0*g - 3*g + 45, 0 = 5*g - 3*x - 75. Solve g = 3*l + 3*h - 0*h, 2*l - 10 = -h for l.
5
Let g(u) = -u**2 - 7*u - 5. Let y be g(-5). Let l = 66 + -63. Suppose -l = -8*p + 101. Solve -4*z + 3*x - 20 = -x, -x + p = -y*z for z.
-2
Let i = 476 - 439. Solve 2*g = -2*f - 0*g - 18, 3*g = -5*f - i for f.
-5
Suppose 4*h + 5*y - 335 = 0, -6*h = -3*h + 3*y - 249. Suppose -6*a + 11*a - h = 0. Solve 3*k = 5*q + 10, 0 = -0*q + 4*q - 4*k + a for q.
1
Suppose -7*x - 2*x = -27. Solve -g = 4*u - 18, x*u - 6 = 6 for g.
2
Suppose -2 = v + 3. Let m = v + 9. Suppose 11 = -m*h - 0*b - 3*b, -2*b - 12 = -2*h. Solve 2*w = -2*n - 10, w - n + 2 - h = 0 for w.
-3
Let x = 313 + -305. Solve -5*m - 9 = -3*t + x, t - 2*m - 6 = 0 for t.
4
Let b be 58/2 - (-3 - -3). Let o be b - (1 + (3 - 2)). Suppose 4*s - o = -11. Solve 0 = -l - 4*k, -4*l = -s*k + 2*k for l.
0
Let j be (0 - 0) + 8/56*0. Let n be (-22)/(-5) - 8/20. Solve -n*k - 2 = -2*x, -k + j*k - 5*x = -27 for k.
2
Suppose -6*j + 5*i = -9*j - 13, 5*j = 4*i + 40. Solve 0 = j*x - 2*w + 12, 3*x = 4*w - 1 + 2 for x.
-5
Let f(h) = h**3 - 4*h**2 + 5. Suppose -4*v - 12 = -7*v. Let x be f(v). Let p = 9 - 9. Solve -7 = -b - i - p, -b - 5 = -x*i for b.
5
Let p(x) = -x**2 - 9*x + 11. Let z be p(-9). Let c = -6 + z. Suppose 0 = -c*t + 4*g + 13, -3*t + 2*g = -g - 9. Solve -4 = -4*d - 4*f, 5*d = -4*f + 5 - t for d.
0
Suppose -2*x = 13 - 31. Solve 0*p - 4*p + 3*r = -x, 0 = 5*p + 2*r + 6 for p.
0
Suppose -4*m - 3146 + 3182 = 0. Solve -2*l = -2*f, -4*f = -5*f - 2*l + m for f.
3
Let f(h) = 2*h**2 + 47*h + 77. Let g be f(-22). Solve -2*d - 22 = 5*r, r - 4*r - g = -d for r.
-4
Suppose -3*r - 15 = -6*r. Suppose -4*t + 27 - 8 = 3*s, -r = -5*s. Let l(u) = -65*u + 655. Let j be l(10). Solve -5*p - t*c = -21, -p = 2*p - j*c + 17 for p.
1
Let n(z) = z**2 - 7*z + 12. Let s be n(4). Solve s = -g + 3*t, -2*g - 10 = 2*g - 2*t for g.
-3
Suppose -9*m + 13*m - 20 = 0. Suppose 0 = -m*l + 10*l - 25. Solve -5*x = l*a - a - 25, 3*a + 4*x = 19 for a.
5
Let f be 10*(-3)/(-3) + 2. Suppose 0 = -5*i + 32 - f. Suppose 0 = 2*x - 3*x + i. Solve -3*j - 2 = -x*y + 2*y, -j + 4 = 4*y for j.
0
Let p be (-6)/36 + 2/12. Suppose 0*h + 3*h - 6 = p. Suppose 5*b = -5*y, -y + 30 = 3*y - h*b. Solve -4*m = -y*q + 6, -4*m = 3*q + q - 12 for m.
1
Let z(s) = -s**3 - 19*s**2 + 19*s - 18. Let j be z(-20). Solve i + 3*r - 3 = 4*i, 5*i = j*r - 11 for i.
-3
Suppose 2*o + 13 = 3*r, -4*r - 5*o + 18 = -30. Suppose -22 = -r*b - 8. Solve -b*q - 2*q + 5*j = -33, -q + 2*j = -12 for q.
2
Let w(m) = 17 - 38 + 23 + 4*m. Let t be w(0). Solve s = -q - q + 13, 0 = -s + t*q - 3 for s.
5
Let m = -275 + 279. Solve -a = 5*i - 23, m*i + 3*a + 13 = 38 for i.
4
Let n be 40/50 + (-21)/(-5) + -1. Solve 0 = -n*h - 3*b + 12, 3*h + 0*b + 5*b = 20 for h.
0
Let f(g) = 11*g + 763. Let p be f(-69). Solve 3*j + p*d = 11 + 2, 3*d = -2*j + 10 for j.
-1
Let y = 6 - 13. Let h(i) = i**3 + 8*i**2 + 3*i + 4. Let g be h(y). Suppose -4*z + 3*c + 9 = 0, 2*z - 5 = c - 0. Solve -2*o + 12 = -l, 4*l = z*o + o - g for l.
-4
Let c be -2 + 21 + -2*1 + -4. Solve 3*k + 5*a + c = 3*a, 3*k = -a - 14 for k.
-5
Suppose 9*r - 41 = -5. Suppose r*u - 5*u + 4 = 0. Solve u*x + 3*s = -2*s + 3, -4*s - 3 = 5*x for x.
-3
Let j(y) = 5*y**2 + y + 1. Let v be j(-1). Solve -4*g = d + 5, 1 = 5*d - g + v for d.
-1
Suppose 0*k = -3*k + 42. Suppose -96 = 6*m + 2*m. Let i = k + m. Solve 3*j = j - 3*h - 5, -5*j - i*h = -15 for j.
5
Let g be -36*(4 - 18/4). Let w = g + 27. Suppose m = x - 21, 2*m = -2*x + w - 7. Solve y + 5*a + 10 = -10, x = y - 3*a for y.
5
Let d be (0 + 2/1)*1. Suppose -6 - 18 = -d*y. Supp