 = -2*b - 6 for b.
-1
Suppose 2*d - 38 = -30, -2*d - 4 = -3*h. Solve 4*j - 4 = h*a, 2*j + 5*a - 9 = 7 for j.
3
Let t(q) = -q. Let l(y) = 11. Let n(v) = -l(v) + t(v). Let m be n(-16). Solve -3*a + 3 = -3*i, 0*a - m*a + 10 = 0 for i.
1
Let x(g) = g**3 - 4*g**2 - 14*g + 16. Let m be x(6). Suppose -3*z + 66 = 2*z - 2*a, -m*a = 3*z - 24. Solve 0*y - p = -y, 3*y + p = z for y.
3
Suppose 4*k + 4*s - 112 = 2*k, -5*k + 262 = s. Suppose 6*o - k = -22. Solve -6*i - 3*v + 2 = -2*i, o*i + 15 = 5*v for i.
-1
Suppose -11*t = -17*t + 12*t. Solve -r + 4 = t, r - 11 = -u - 2 for u.
5
Let i be (-12)/(-4 - -8) + 6. Let f = 2 + i. Solve -10 = -f*l + q, -25 = -3*l - 2*l - 2*q for l.
3
Suppose 0 = 5*v + 125 + 25. Let l = v + 32. Solve 2*z - c + 1 - 13 = 0, 0 = l*z + 4*c - 2 for z.
5
Let f be (-630)/75*(-10)/4. Suppose b + 3*b = 96. Solve -m - 4*m - 2*o = f, -4*m - b = 4*o for m.
-3
Let q be 9/5 + (-23)/(-115). Solve 3*t = q*r - 1, 4*t - 2 = 7*t - r for t.
-1
Let a(z) = -222*z + 225. Let c be a(1). Solve -2*k + 3*x + 9 = -6, -c*k - 2*x = -3 for k.
3
Let z be (-356)/89*2/(8/(-6)). Solve -2*n + 5*y - 21 = 0, 2*n - y + 3 + z = 0 for n.
-3
Let u(p) = p**3 - 33*p**2 + 32*p. Let v be u(32). Solve 3*a + 2*b = -5 - 2, v = -5*b + 5 for a.
-3
Let l be (-1)/((-129)/(-86) + (-7)/4). Solve 0 = q - 3, -21 = 3*f - q - l*q for f.
-2
Let k(j) = 12 - j - 4 + 9. Let x be k(10). Let w be (-2)/2 + (6 - 1). Solve 5*g = w*l + x - 2, -3*g - 3*l = -3 for g.
1
Suppose -6*p + 16 = -p + 2*g, -p - 1 = -g. Suppose 2 = -q + 2*l, -2*q = -0*q + p*l - 14. Suppose -5*f + 14 = q. Solve 2*k = 4*k + i + 5, -f = -k - 5*i for k.
-3
Let q = -242 + 257. Solve 2*k + 35 = y + 4*y, q = 2*k + 5*y for k.
-5
Suppose 4*q + 42 = 6*q. Let t = -2 + -15. Let y = t - -17. Solve -4*a = 4*n, -3*n + y*a = -4*a + q for n.
-3
Suppose 3*j - 15 = -2*j. Let l = 33 + 44. Let w = l + -67. Solve -2*b + 10 = j*g, -b + w = b - 3*g for b.
5
Let i(q) = 9*q**2 - 2*q + 2. Let h be i(1). Suppose -13*t = -h*t - 24. Solve -2*r + s = -3, 0*r - r - s = t for r.
-1
Let x be 4/(-6) + (-234)/(-27). Suppose p = x - 4. Solve -5*n - 5*t - 25 = -0*n, t + p = 0 for n.
-1
Let d = 683 + -680. Solve -w + 6 = -d*j, -4*j = 2*w - 3*w + 7 for w.
3
Suppose q - 31 = 4*n, q = 3*n - 4*n + 6. Suppose -j = -q - 1. Suppose g = -2*b + j, -6*g - 2*b + 20 = -g. Solve 0*t - g*t = z - 15, 0 = -5*t + 3*z + 10 for t.
5
Suppose 2 = 2*b - 2. Solve -4*w + 0*p = b*p - 4, -5*p - 12 = -w for w.
2
Let b(z) = -z**3 + 7*z**2 + 7*z + 8. Let o = -13 - -21. Let d be b(o). Let c(s) = 10*s - 16. Let m be c(2). Solve -2*a = -m*l + 10, d = -5*a + 10 + 5 for l.
4
Let g = 345 + -336. Solve -2*j + 4 = -4*c, g*j - 7*j + 2*c = -14 for j.
-4
Let o(q) = -2*q**3 + 63*q**2 - 35*q + 124. Let b be o(31). Solve 3*c + 5*w + 6 - 15 = b, 4 = 4*c + 4*w for c.
-2
Suppose 648*p + 325 = 661*p. Solve -4*s + 3*s - 13 = 4*i, -5*s = p for i.
-2
Let o be 3/(-2) - (-6)/4. Let u = 9 + o. Let d be (-10)/3*u/(-6). Solve 21 = -d*h + 2*t, -4*h - 7 - 2 = t for h.
-3
Suppose 2*m - 3*m = 1. Let d be (-8 - -8)/(m + -1). Solve -3*t = -9 - d, -l - 3*t + 10 = 0 for l.
1
Let k(n) = n**3 + 10*n**2 + 9*n + 5. Let r be k(-9). Suppose -7 = -r*d + 3. Let w be (-8)/32 - (-305)/20. Solve 3*t - 25 = d*t - 5*x, -w = -3*x for t.
0
Suppose z - 5*j - 30 = -53, 0 = -5*z - 2*j + 20. Solve -15 = -5*u + a + 1, 1 = u + z*a for u.
3
Let a be 7 + (-34 + -1)/(-7). Let y = 7 - -2. Let s = a - y. Solve 15 = -l - 2*l - 2*v, l + 5 = s*v for l.
-5
Let m = 32 - 8. Let f(j) = -j**2 - 5*j + 4. Let v be f(-6). Let i = 7 + v. Solve 0 = i*q - 0*n - n - m, n = -4 for q.
4
Let u(p) = 2*p**2 - 23*p + 33. Let w be u(11). Solve 4*x + w = i + 6, -i = 0 for x.
-4
Let b be (324/729)/((-2)/(-18)). Let s be (-32)/(-2) - (1 + -2). Solve -b*j + s = -a, a + 5*j = -a + 31 for a.
3
Suppose 0*i = i + 19. Let t = i + 33. Let g be 3/15 + (-18)/(-10). Solve -5*c = u - t, 0 = -g*c - 2*u + 12 for c.
2
Let h be 3/(-6) - (-27)/6. Suppose r - h*r + 15 = 0. Suppose -2*b + 2*x = b - 13, -r*b + 30 = 5*x. Solve -3*f = b*j + 16, -j - 3*f + 1 + 3 = 0 for j.
-5
Let f = 46 + -34. Solve 3*l = 4*c + f, -3*c - 5*l = 2 + 7 for c.
-3
Let z be (-52)/(-24) - 37/222. Solve 3*s + z*g = s + 16, -2*g + 19 = 3*s for s.
3
Suppose 13 = g + 3*c, -7*c = -12*g - 3*c + 36. Suppose 0*u = -2*u + 5*p + 26, 20 = 4*u - 2*p. Solve 0 = 3*o + 3*i + 27, -2*o = -g*o - u*i - 22 for o.
-5
Suppose -4*l - d = -3*d + 8, 3*d = 2*l + 8. Let a be (-1 + l)*(-45)/18. Let s be 3/(-9)*(-16 + -2). Solve 2*m - a = -3*w + 4*w, -3*m + s = -w for m.
1
Let g = -119 + 123. Solve -f = g*k + 14, 5*f + 23 = -5*k + f for k.
-3
Suppose q + 11 = 2*z, 5*z - 3*q - 22 = 7. Solve l = 3*x + 13, 4*x + x = z*l - 31 for l.
4
Suppose -3*m + 1 = 16. Let b be (-4)/(-8)*(-140)/m. Suppose 5*q + 0*g - 22 = 3*g, -5*q + g = -b. Solve 8 - 2 = v - 2*r, -q*v + 3*r + 7 = 0 for v.
-4
Suppose 53*n - 530 = -53. Solve -3*b - n = 3, 3*u = 3*b + 9 for u.
-1
Let s = -28 + 16. Let p(u) = -u**3 + 7*u**2 - 8*u + 11. Let o be p(6). Let w be 5*(s/(-20) - o). Solve y + w = k + 3, k - 4*y = 8 for k.
4
Let p(f) = f**2 + 23*f - 45. Let s be p(-25). Solve -t + 1 + 8 = s*q, -4*t = 4 for q.
2
Let z(w) = -w + 12. Let r be z(7). Suppose -3*n + 10 = -r. Solve -4 = 2*d + n*a, -2*a = a for d.
-2
Let j be -2*(-3)/2 + -39 + 41. Solve 2*l - 2 = 5*a - 3*a, 0 = -j*a - 5*l + 5 for a.
0
Let g(l) = l**3 - 13*l**2 - 15*l + 14. Let w be g(14). Suppose 0 = 30*t - 29*t - 5*k + 6, t - 4*k + 3 = 0. Solve 5*x - t + 29 = w, 4*z - 12 = -2*x for z.
5
Let t = 12 + -6. Let f(h) = -6 + 7*h - h**3 - 3 - 4 + 4*h**2 + t. Let b be f(5). Solve 2*c + 4*n = 12, -b*n - 2 + 11 = -4*c for c.
0
Suppose 2*x = -u + 11, 3*x - 5 = 5*u + 5. Suppose x*t + 0*t = 0. Solve 0 = 3*w - 2*q + 2, 3*w + t*w + 2*q = 14 for w.
2
Suppose k + 4*k + 27 = 4*h, -2*h - 5*k = 9. Let j be ((-144)/(-30))/(8/20). Solve 4*w + 4 = l + 3, -h*l = 3*w + j for l.
-3
Let v be (3/(-6))/(6/(-12)). Suppose -n + 0*n + 2 = 0. Solve n*d - v = -x - 3, 5*d = -10 for x.
2
Let v(r) = 13*r**2 - 4*r + 12. Let g be v(3). Let x = 135 - g. Solve 3*b + k - 3 + 2 = 0, b + 4*k + x = 0 for b.
2
Let f(a) be the second derivative of a**5/20 + 3*a**4/4 + 13*a**3/6 - 5*a**2/2 + 7*a. Let j be f(-7). Solve -8 = -2*k - 3*d, -d = j*d - 6 for k.
1
Let j = -131 + 140. Solve s + j = -2*h - 0*s, 5*h + 5*s = -30 for h.
-3
Let u be 1/3*16 - (-14)/21. Solve -m - u - 5 = 3*o, 0 = -4*m - 3*o - 8 for m.
1
Let w(g) = g**2 - 28*g - 89. Let r be w(31). Solve 0 = 4*f - 2*k + k + 17, -r*f - 5*k = 11 for f.
-4
Let d(c) = -3*c + 2*c + 13 - 4. Let v be d(11). Let y = v + 7. Solve 0 = 4*u - 2*z - 6, -y*u + 0*z + 3 = -4*z for u.
3
Suppose -4*a = -m + 5*m + 68, -3*m - 55 = 4*a. Suppose -31 = -j - 10. Let q = j + m. Solve q = -2*n - 2*n + 2*v, 2*n + 5*v = -28 for n.
-4
Let y be -3 + 3 - (-5 + 0). Suppose 0 = -y*c - 8*c + 65. Solve 3*q = 4*p + 15, -2*q = 5*p + 18 - c for q.
1
Suppose 13*k - 11*k - 3*z - 65 = 0, 4*k = 3*z + 115. Solve -t - 3*w - k = 3*t, -4*t - 4 = -4*w for t.
-4
Let c be 40/(-3)*(-27)/12. Suppose -2*u = 4*m - c, -u + 0*u + 15 = 5*m. Solve 3*l - 3*s - 18 = 0, u = 2*l + s - 6*s for l.
5
Let k(q) = -6*q**2 + 92*q + 72. Let v be k(16). Solve c + 1 = -12*i + v*i, 0 = -2*c + 2*i + 8 for c.
3
Suppose -3*q + s = -10, 2*s = -2*s - 4. Solve q*h = 2*b - 6*b + 1, -2*b + 3*h = -23 for b.
4
Let c(k) = k**3 + 4*k**2 + k + 8. Let q be c(-4). Solve -4*f - 4 = 4, q*b = -3*f + 2 for b.
2
Let o(m) = m**2 + 6*m - 3. Let q be o(-7). Let f be 7 + (-40)/(6 - -2). Solve -3*t + u = 5, q*u - 10 - f = 4*t for t.
-1
Let x(m) = -3*m + 41. Let s be x(12). Suppose 3*c + 1 = s*a, -4 = -3*a + a. Solve -3*n - 2*u + u = 2, -6 = 3*n - c*u for n.
-1
Let f(t) = -t**2 + 22*t - 15. Let q = 32 + -12. Let d be f(q). Solve -5*s + 2*j - d = 8, 3*s = 2*j - 23 for s.
-5
Let i be (-6 + 6/3)/(-1). Suppose i*s = 2 + 6. Suppose s*o - 5 = 5. Solve 0*l - 3*u - 3 = -l, u = -o*l - 1 for l.
0
Let q = 319 - 317. Solve 0 = 5*m - 3*m + 3*g - q, g - 12 = 5*m for m.
-2
Let q(s) = 19*s**2 - s. Let g = 12 - 13. Let l be q(g). Solve -t + l = 4*v, 0 = v + 2*t + 9 - 21 for v.
4
Suppose 400 = 2*j + 2*j. Suppose j = 3*d + 2*d. Solve -3*z = -5*h - 8*z - d, z - 2 = 2*h for h.
-2
Let t(m) = -m**2 - 11*m - 7. Let k = 23 - 33. Let g be t(k). Solve -4*a + 3 = -3*i, 4*i = -3*a - 1 - g for a.
0
Suppose 247 = -7*l + 450. Solve r + 19 = 4*q, 4*r = 