n + 11 = 0. Suppose 4 = s - 3*d - g, -4*s + 24 = -3*d. Solve s = 4*t + 2 for t.
1
Suppose 2*z - 2 = -4*n + 4, -8 = 2*n. Solve z = 3*b + 5 for b.
2
Suppose 0 = 7*x + 14 - 42. Suppose -11 - 5 = -x*f. Solve 0 + f = -m for m.
-4
Let o be 1/(-1)*0 - -1. Let s be 23 + -13 + -9 + 1. Solve 0 = s*u - o - 1 for u.
1
Let f(j) = -2*j - 2. Let c be f(-5). Suppose -3*o + c*o + 3*y = -33, -3*o - 14 = -4*y. Let m be o/45 - 276/(-45). Solve m = 3*n + 3 for n.
1
Let h = 130 - 128. Solve h*g - 1 = g for g.
1
Let h = -16 - -20. Suppose 3*x = 2*u - 12, -2*x - 16 = -h*u + 2*x. Solve u = -o - 2 - 0 for o.
-2
Let z(h) = h - 7. Suppose c + 2*j = 1, -4*j + 2*j = 8. Let x be z(c). Solve x*y - y - 5 = 0 for y.
5
Let j(c) = -c**3 + 6*c**2 + 8*c - 6. Let k be j(7). Let d(m) = 4*m + 1. Let v be d(k). Solve -v + 0 = z for z.
-5
Let g = 24 - 15. Suppose -g = -5*r + i, r = 5*r - 2*i - 6. Solve t = -r*t for t.
0
Suppose 5*w - 305 = -5*s, -4*s - 3*w + 159 = -84. Let v = -58 + s. Solve 3*m = 5 - v for m.
1
Let v = 71 + -138. Let y = v + 71. Solve 1 = h - y for h.
5
Suppose 14 = 7*x + 14. Solve -l + 3*l = x for l.
0
Let y(g) = -g**2 - 11*g + 15. Let d be y(-12). Let t be (d - (-8)/(-4))*5. Solve 3 = -t*m - 7 for m.
-2
Suppose -9*d + 14 = -2*d. Let h be -4*(-6)/40*10/d. Solve -h*l = -6*l + 9 for l.
3
Let r(y) = y**2 - 5*y + 2. Let t be r(0). Suppose -4*c + 4 = -2*j, 3*j - t = 4*c - 2*j. Solve o = c*o for o.
0
Let n(f) be the second derivative of -f**3/2 + 25*f**2/2 + 4*f + 7. Let k be n(7). Solve 0 = -a - a - k for a.
-2
Let u(s) = s**3 - 7*s**2 - 8*s + 1. Let c be u(8). Solve c = -7*j + 1 for j.
0
Let z(c) = -1. Let h(u) = -2*u + 5. Let f(a) = -h(a) + z(a). Let l be f(5). Solve 2*k = -0*k + l for k.
2
Let j(u) = -u**3 - 4*u**2 + 8*u - 20. Let m be j(-6). Solve 3*r - m = -19 for r.
-5
Suppose v - 4*i = 4, 3*v - i + 3 - 4 = 0. Suppose 0 = g - v*g - 4. Suppose -4*s = -5*w + g, -5*s - 4 + 12 = -3*w. Solve -2*l + s = 2*l for l.
1
Suppose -5*t = -4*u + 45, -64*u = -62*u - t - 21. Solve 10 = u*s - 5*s for s.
2
Let b be 2/(-7) - 240/(-56). Solve b*l = 6*l for l.
0
Suppose 0 = -j - 4 + 5. Let i be (6/10 - j)*-10. Suppose 3*z - i = z. Solve r = 1 - z for r.
-1
Let g(p) be the third derivative of p**6/120 + p**5/10 + 7*p**4/24 - p**3/3 + 17*p**2. Let t be g(-4). Solve -2*z - t = 4 for z.
-3
Let j = 2669 + -2657. Solve c + 9 - j = 0 for c.
3
Suppose 0 = -4*t + t. Suppose 3*s - 62 + 22 = y, t = -s - 4*y - 4. Let b(c) = -c**3 + 11*c**2 + 12*c + 4. Let g be b(s). Solve -g = n - 2*n for n.
4
Let p be -4 - (92 - (-4 + 3)). Let r = -94 - p. Solve 3*d - r = -0*d for d.
1
Let o = 75 - 73. Suppose 2*j + h - 4 = 0, -o*j + 3*h = -j - 16. Solve j = 3*w - 2 for w.
2
Let w(a) = -4*a + 125*a**2 + 0*a**3 - a**3 - a - 130*a**2. Let g be w(-4). Solve 0 = g*t - 3*t + 2 for t.
-2
Suppose 4*v - 11 = -5*r, v + 2*v = -3*r + 9. Solve -v*y = 3 - 15 for y.
3
Let k(y) = 3*y**3 + 15*y**2 + 25*y + 17. Let s(d) = 10*d**3 + 46*d**2 + 76*d + 52. Let z(g) = 7*k(g) - 2*s(g). Let j be z(-11). Solve -2 - j = 3*v for v.
-2
Let y = -33 - -135. Suppose 2*m = i + 16, i + 8 = -5*m + 3*m. Let x be 2/i + 17/y. Solve x = -2*t + 3*t - 4 for t.
4
Let u = -26 - -31. Suppose -4*g + 4*v = -12, -u*g + 0*v = -v - 19. Solve g*s + 13 = -7 for s.
-5
Let d = 942 + -870. Solve d*g - 68*g + 16 = 0 for g.
-4
Suppose 2*l - 3*l + 15 = 0. Let j = l + -11. Solve -j*f + 2 + 2 = 0 for f.
1
Suppose 50*k - 1040 = -2*k. Solve 25*f - k*f = 0 for f.
0
Let d(u) = -u**2 + 7*u - 1. Let m be d(6). Suppose m*g - 4*q + 1 = -3, 3*q = 3. Suppose -3*f - 15 = -0, -3*k + 3*f = -15. Solve g = 2*a - k*a for a.
0
Suppose 2*m = -2*h, 3*m + 75 = 2*h + 100. Solve -6*r = -m*r + 3 for r.
-3
Let y(a) = 4*a - 148. Let c be y(37). Suppose -5*h = -q - 42, 2*q - 26 = -3*h + 3*q. Solve -2*f + c*f = h for f.
-4
Suppose 6*h - 3*h + 5*o - 105 = 0, -2*o + 126 = 4*h. Let j be h/(22/4 - (4 + 0)). Solve -g + 5*g + j = 0 for g.
-5
Let m(g) = -5*g**2 + 31*g - 2. Let f be m(6). Solve -f*t + t + 3 = 0 for t.
1
Suppose 6 = n - 0. Let s(w) = 4 - n + w - 5. Let d be s(12). Solve d = a - 0 for a.
5
Suppose -4*l + 47 = -7*c + 4*c, -5*l = -5*c - 65. Suppose 3*x - g - l = 0, -2*x + 20 - 3 = -3*g. Solve -7 = -4*t + x for t.
2
Suppose -3*f = -3*d + 4*d + 5, 0 = -2*d - 3*f - 1. Solve d*c = 10 + 6 for c.
4
Let x = 410 + -396. Solve -5*t + x = -1 for t.
3
Suppose 84*q - 89*q - 2*r + 98 = 0, 3*q - 58 = -r. Solve 12*g - 6*g = -q for g.
-3
Suppose 4 = -2*s + 5*i, -4*s = -3*s - 5*i + 12. Solve 2*q + s = -0 for q.
-4
Suppose -5*v + 3*k + 39 = 0, 2*v + k = v + 3. Suppose 0 = -z + 2*z - 15. Solve z = q - v*q for q.
-3
Suppose 0 = -5*i + 13 + 17. Suppose 0 = 2*v - i*v. Solve 3 = -z - v*z for z.
-3
Let c(j) = 2*j**2 - 35. Let g be c(5). Suppose 16*o - g*o = 3. Solve -3*v = -0*v + o for v.
-1
Let w be (4 - 1) + (1 - 1). Suppose -w*l - p - 11 = 4*p, -3*p - 21 = -3*l. Solve -6 = l*t - 0*t for t.
-2
Suppose -2*n = l + 3, -24*n + 25*n = -2*l - 6. Solve n = 2*f + 34 - 28 for f.
-3
Let g = 27 - 17. Let m = g + -5. Suppose -2*f + 6 = f. Solve m*h = 12 - f for h.
2
Let b = -13 + 13. Suppose 5*y = 2*q + 107, -y - y - 2*q + 54 = b. Solve -5*d - y = 2 for d.
-5
Let i be (2 - 5)*21/(-9). Suppose 4*k = q + i + 8, -k = -4*q - 15. Suppose -15 = -3*x - k. Solve -x*h = h for h.
0
Suppose -3*k = -7*k + 16, 5*k = m + 6. Solve 26 = -3*j + m for j.
-4
Suppose -b - 16 = -2*t, t + 6*b - b + 14 = 0. Let k(s) = -s - 7 + 7 - t. Let h be k(-8). Solve 0 = 3*g - h*g - 3 for g.
3
Let p(o) = -o**2 + 2*o + 3. Suppose 5*k + 20 = -5*q, k + q = 2*k. Let t be p(k). Let h be 8/t*(-30)/12. Solve -4*f + 20 = h for f.
4
Let y be (14/5)/((-4)/300*-5). Let q = -42 + y. Solve q*f = f for f.
0
Suppose -2*q + 4*j = -10, -4*j = -5*q + 6*q + 1. Solve -q*o = -8 - 7 for o.
5
Let p be 0/(66/6 + -9). Solve -30*f + 37*f = p for f.
0
Let a(c) = c**2 + 29*c + 203. Let y be a(-11). Suppose o + o = 2*x, 4*x - 5*o = -4. Let u = 1 - 1. Solve u = -x*r - r + y for r.
1
Suppose 0 = 6*p - 10*p + 2*l + 72, 3*p - 3*l = 54. Let n(v) = -v**3 + 17*v**2 + 19*v - 16. Let f be n(p). Solve 0 = x + 3 + f for x.
-5
Let u = 6 - 1. Suppose 0 = -3*t + 4*l + u, 0*l - 7 = -2*t - l. Suppose -4*v = 3*j - 9, -2*v + 2*j + t*j = 15. Solve 0 = -v*y - 2*y + 2 for y.
1
Let t be (-11 - 1)*(-3)/9. Suppose -t*b + 9 = -b. Solve b*o - 20 = -o for o.
5
Let z(o) = o**2 + o - 1. Let m be z(1). Let q(y) = 16*y**3 - 3*y**2 + 2*y. Let k be q(m). Solve 0 = 2*f - 5*f - k for f.
-5
Let c be 5 - 1/(2 + -1). Solve -17*f = -15*f + c for f.
-2
Let k(s) be the first derivative of s**2/2 - 2*s - 7. Let h be k(4). Suppose -v + h = -1. Solve 8 = -v*c + 2 for c.
-2
Let s(x) = -2*x**2 + 23*x + 17. Let n be s(12). Suppose -15 = -2*w + m, -4*w - n*m - 14 = -51. Let u be 1/2 + 20/8. Solve h = -u*h - w for h.
-2
Let r be (-15)/6 - -2 - 25/(-10). Suppose 6*a = 8*a - r. Solve 4*d + a = 3*d for d.
-1
Let w(r) = r**3 - 4*r**2 + 3*r + 3. Let b be w(3). Suppose 0*v + b = v. Suppose -2*k = -f - 25, k - v*f - 7 - 18 = 0. Solve k = -10*z + 5*z for z.
-2
Let g be (-6 + 8)/((-2)/(-4)). Solve -s - 3*s - g = 0 for s.
-1
Suppose 79 + 21 = -3*i - 2*j, 3*j = -i - 38. Let w = 44 + i. Solve w = 4*n - 0 for n.
3
Let k = 9 - -17. Let q = -25 + k. Solve l = -0 + q for l.
1
Let h(s) = 6*s + 4. Let r be h(5). Let l = 47 - r. Solve -l = 5*f - 3 for f.
-2
Let x = -143 + 148. Solve 0 = -v + x*v for v.
0
Let c = 236 - 233. Solve c*z = -4 + 1 for z.
-1
Suppose 0 = r + 19 - 4. Suppose -13*l - 61 = 4. Let m = l - r. Solve o - m = -o for o.
5
Let d(i) be the third derivative of -i**5/60 + i**4/8 + i**3/3 + 7*i**2. Let a be d(3). Let w be (-6)/(-1) - a/2. Solve -3 - 7 = -w*q for q.
2
Let x be 4 + 2 + (-10)/5. Solve 2*d - 3*d - x = 0 for d.
-4
Let k be 40/2*54/45. Solve 3*v = -5*v + k for v.
3
Let w(q) = q**2 - 24*q + 51. Let y be w(22). Solve -3*m - y = -1 for m.
-2
Let l = -2165 - -2207. Solve -5*x - 37 = -l for x.
1
Let x = 446 + -446. Solve x = -8*t - 21 - 11 for t.
-4
Let l be 1 + (-23)/(-7) - 20/70. Suppose 0 = -l*r + z + 34, 5*r + 4*z = 3*z + 47. Solve 2*p - r = 5*p for p.
-3
Let h be (-4 + 11)*(-6)/(-21). Suppose 0 = 4*c - h*r - 10, -3*c + 2*r - 3*r = -5. Solve 10 = -0*b - c*b for b.
-5
Let r = 576 + -574. Solve -r*o - o = -3 for o.
1
Suppose -5*f = 2*f - 35. Suppose -i = f*i. Suppose i = 5*b - 17 - 13. Solve b*y + 15 = y for y.
-3
Let g be 22/(-33