 9 = 0 for d.
-1
Let o(x) = x**3 - 19*x**2 + 24*x - 7. Let q be o(18). Let h = -98 + q. Solve -15 = -5*l + 5*y, h*y + 12 = -l - 1 for l.
-1
Suppose 81 = -3*y + 3*c, 0 = 4*y + 2*c + c + 94. Let u be (-50)/y*((-6)/(-4) + 0). Solve -3*o - 4*b - 11 = -2*o, u*o - b = 6 for o.
1
Let a = -9 - -14. Suppose -i + 2 = -5*n + 6, -i - 4 = a*n. Suppose 2*w - 3*w + 20 = n. Solve r = 2*b - 0*b, -4*r = 2*b + w for b.
-2
Let i = 5 - 3. Suppose 89 = 3*t - i*y + 24, 0 = -5*t - y + 130. Let q = 27 - t. Solve -4*s = 0, q*s = f + 5*s + 1 for f.
-1
Let a = 12 - 12. Suppose -v + a - 2 = k, -4*v + 12 = -k. Solve 3 = -b - 3*j, -2*b + 6*b = 2*j + v for b.
0
Let i be (-27)/(-24) - (-2)/(-16) - -1. Solve 0 = b - 3*r - 8, -r + i = 4*b - 3*r for b.
-1
Let l(f) = 4*f**2 - 3*f. Let t be l(-3). Let y = -33 + t. Solve 4*s + 3*j - y = 0, -j - 15 = -5*s - 0*j for s.
3
Let s(r) = r**2 - 5*r + 4. Let l be s(5). Solve -3*u + 2 = m + 6, l*u + 27 = 3*m for u.
-3
Let k(m) = 2*m**3 - 31*m**2 + 22*m - 97. Let f be k(15). Solve 4*p = -4*i - 16, -p + f + 3 = -2*i for p.
1
Suppose 5*d - 119 = 4*t - 6*t, 5*d + 4*t = 113. Let s = 29 - d. Solve -m = s*y + 5, 0 = m - 2*m + 5*y + 13 for m.
3
Suppose 16*x - 17*x = 0. Solve j = -5*s + 15, 2*s + 2*s + j - 11 = x for s.
4
Let k(x) = -3*x**3 + 18*x**2 + 21*x + 7. Let v be k(7). Solve -5*q + 12 = -2*p, -p = 5*q - v - 17 for q.
4
Suppose -3*y + 373 - 358 = 0. Solve -y*b + 22 = -f - 2, f = 1 for b.
5
Suppose -p + 4*q = 60, -4*p + 6*q - 218 = q. Let u = p + 56. Solve -4*n + 4 = u*b, 2*n = 7*n - 2*b + 16 for n.
-2
Let t(g) = -g**3 + 3*g**2 + 3*g + 3. Let r be t(4). Let o(x) = -2*x - 17501 + 17501. Let m be o(r). Solve 16 = 2*f + 5*q, 6*f - q = m*f - 12 for f.
-2
Let y be ((-5)/10)/((-1)/6). Suppose 145*c - 30 = 140*c. Solve -5 = -4*g + y*t, g + 0*g + 4*t = c for g.
2
Let q = 2719 + -2699. Solve 2*y + q = -f + 6*y, 4*y - 28 = 3*f for f.
-4
Let f be -2*6/8*-2. Suppose 3*i - s - 91 = 0, -i = -f*i + 5*s + 39. Suppose h = 5*h - i. Solve 10 = -n + 8*z - 3*z, -n + 4*z - h = 0 for n.
0
Let h = 190 - 185. Solve -3*t - h*k - 37 = 0, 5*t + 41 = t - 5*k for t.
-4
Suppose 0 = 5*n - 2*n + 3. Let p = n + 4. Solve -r + 3*r = v - p, -5*r - 4*v = 27 for r.
-3
Let v be ((-552)/(-460))/(-3*(-6)/45). Solve 0 = -v*r + 4*d + 10, 0*r + 3*r + d + 10 = 0 for r.
-2
Suppose 4*h - 3*h - 2 = 0. Suppose -53*u = -28*u - 33*u. Solve -h*a + 1 = r, -5*a + 5*r + 40 = -u*a for a.
3
Suppose 0 = -4*g - 12, 2*a = -5*g - 10 - 1. Let n = -37 - -30. Let c = 12 + n. Solve 3*o + 4*l - 22 = 0, 0*l = -c*o + a*l + 2 for o.
2
Let b = -133 - -133. Solve 0*z + 5*z = 10, -5*j - 2*z + 9 = b for j.
1
Let c(t) = 2*t**2 - 50*t + 94. Let h be c(23). Solve m + 0*j = -3*j - 3, 4*m + h*j + 2 = 0 for m.
0
Let m = 383 + -364. Solve 0*i + 4*i = 5*s + 17, 2*i + 3*s = -m for i.
-2
Let v(g) = 2*g**2 - 4*g. Let s be v(4). Let z be (-62)/(-14) + (s/14)/2. Solve -2*t = z*w + 13, -6*w = t - 3*w + 7 for t.
-4
Let q(w) = 6*w**2 - 2*w. Suppose -5*u - 21 + 1 = -5*m, -3*u - m + 8 = 0. Let y be q(u). Solve -3*h + 5*j + 20 = 0, y*h - 21 = -j + 2*j for h.
5
Let w(a) = a**2 + 4*a. Suppose 2*r + 4*j = 3*r - 4, -4*j + 12 = 3*r. Let c be w(r). Solve -c + 12 = 5*s, -3*t - 3*s = 21 for t.
-3
Suppose -u + 2*u = 4. Let f be (6 - (u + -3)) + -3. Solve 0 = -2*o - 2*c - 0*c + 8, -23 = -f*o - 5*c for o.
-1
Suppose 0 = 2*c - u - 13, 2*c - 6*c = 5*u - 5. Suppose -2*h = h + c*h. Solve -3*j - 3*f + 27 = h, 0 = -4*j + 4*f + 2 - 6 for j.
4
Suppose i = 5*i - 24. Suppose 0*n - 30 = -i*n. Solve -2*m + 4*u = -4 - 8, 3*m = -n*u - 26 for m.
-2
Suppose -5*d - 3*r = -27, -4*d + 10*r + 4 = 8*r. Solve 3*u = o + 5, -o - 2*o = 3*u + d for u.
1
Suppose 2*q - 468 = q. Let r be (-4)/(-14) + q/28. Suppose 64 - 36 = 7*x. Solve 0 = -5*o - 5*s - 10, -4*o + x*s - r = -s for o.
-3
Suppose -491 - 229 = -80*f. Solve 3*o = 4*b - b, -o + f = 2*b for o.
3
Suppose 15*l - 34*l = -475. Solve 4*i - 3*q + l = 0, -7*i - 3*q = -3*i + 7 for i.
-4
Let c be ((-2)/6)/(-3 + (-153)/(-54)). Solve -1 - 1 = 4*o + d, -5 = o - c*d for o.
-1
Let f = -17 - -4. Let b = 23 + f. Suppose 5*m = b*m - 60. Solve 3*z + z - 2*y - 16 = 0, -3*z + 3*y + m = 0 for z.
4
Let b = 4 + -3. Suppose y - b = 1. Suppose 17*q - 118 + 50 = 0. Solve -2*i - y*i - 2 = -2*h, 0 = i - 5*h - q for i.
-1
Suppose -2*u = 7 + 105. Let j = u - -64. Solve -4*w - 3 - j = i, -3*w = i + 8 for w.
-3
Suppose 5*b + i - 11 = 0, -4*b + 2*b + 4*i + 22 = 0. Solve 0 = j - 2*t - 9, -9 = j + b*t + 7 for j.
-1
Let n be (2/2)/((-3)/(-153)). Let u = n + -37. Suppose u*i - 17 = 13*i. Solve 5*v + 2*w = 16, 4 + i = 3*v + 5*w for v.
2
Let j = -67 + 76. Suppose 4*z - 5*z = -3, 1 = n - 2*z. Suppose -5*a = 2*b - n, -a - b - 7 = -2*a. Solve 0 = -4*m - 4*p, -m + a*p - j = p for m.
-3
Suppose 2*i + 10 = -4*s, -5*i = s - 10*i - 25. Solve c + s*c + 10 = 3*t, 5*c + 5*t = 50 for c.
5
Let m(o) be the first derivative of o**4/4 + 17*o**3/3 + 15*o**2/2 - 16*o + 7. Let v be m(-16). Solve 24 = -5*a - 2*w, -5*a - w = -v*a + 22 for a.
-4
Let t be (-164)/(-16) + (7/4 - 2). Let c be 2 - (19/(-5) - t/50). Solve -d + c = 2*b - 3*d, -3*b + 4*d = -9 for b.
3
Suppose -2 - 22 = -12*a. Solve a*u + 5*v - 6 = -2*u, 0 = 3*u + 4*v - 4 for u.
4
Suppose -12 = 3*c - 0*c, -16 = -4*m + c. Solve -2*y = -3*t + m - 1, -y = 4 for t.
-2
Let s(z) be the first derivative of z**3/3 + z - 5. Suppose d = 2*d + 2. Let p be s(d). Solve -4*w + 8 = 0, -2*w = 2*u - p*w for u.
3
Let k = 3 - -14. Suppose -k - 55 = -3*c. Suppose -10*r + 6*r + c = 0. Solve i + 4*y = r*i, 2*y + 6 = i for i.
-4
Let v = 7 + -1. Let w be v/4 - 3/(-2). Solve w*j - k + 2*k = 4, 4*j - 4*k = 0 for j.
1
Suppose 2*i - 6 - 2 = 0. Let a be (12/i)/((-1)/(-15)). Let g be a/27 - (-2)/6. Solve j - f + 1 = -0*f, -g*j + f = 4 for j.
-3
Let z be 4 + 1/(4/72). Let j(y) = y - 20. Let a be j(z). Solve 0*t - 3*m + 7 = a*t, -3*t - 6 = -m for t.
-1
Let r be 5 + 0 + 41 + -44. Solve -1 = 2*t - s - 0, -3*t = -5*s - r for t.
-1
Let s = -55 - -57. Solve 0 = 5*d - 3*j - 16, -2*d - 6*j - 4 = -s*j for d.
2
Let d(b) = -b - 3. Let k be d(-11). Let u be (48/80)/(9/30). Solve 2*w + k = u*c - 6, -3*c + 19 = -2*w for c.
5
Let u be ((-9)/12)/(2/(-8)). Let s = -73 - -101. Suppose 2*k + u*g = 4, 6*g = k + g - s. Solve -k = 5*y + 2, -5*y - 20 = 2*h for h.
-5
Let q(b) = b**3 + 7*b**2 - 37*b + 2. Let z be q(4). Solve p = -3*n - 14, 2*n + z = -3*n - 3*p for n.
-3
Let b = 43 + -39. Let y be (-1 - b)*72/(-90). Solve 0 = 2*h - o - 6, -h - y*o - 2 = 2*h for h.
2
Let h(y) = 2*y**2 + 3*y - 6. Let i be h(2). Suppose -4*b + i*b - 12 = 0. Solve 0*d + b*d - 5*j = -35, -4*j = d - 11 for d.
-5
Suppose 5*j + 2*l + 3 = 0, 0*l = -3*j - 5*l - 17. Solve -2*f + 5*m = 3, 2*m = -4*f + 5*m + j for f.
1
Let n(k) = -7*k**2 + 10*k**3 + 3 + 2*k**3 - 6*k - 13*k**3 + 2. Let o be n(-6). Solve -5*g - 3 - 5 = 4*t, 35 = 5*t - o*g for t.
3
Let p(x) = x**2 - 3*x + 2. Let b be p(2). Suppose -3*r = -b - 6. Solve -3*i + 4 = r*n, -n + 4*n - 23 = 4*i for i.
-2
Let z = 57 - 56. Let x be 2*-1*z/2*-5. Solve -9 = -2*h - 3*p, -2*h + 0*h = x*p - 19 for h.
-3
Let g(h) = -5*h + 35. Let m be g(6). Solve 0 = -3*x + m*r + 22, -3*x + x - 2*r - 12 = 0 for x.
-1
Let c(b) = -b**3 + 6*b + 6. Let s be c(-2). Solve -s*j = 3*t - j - 1, -2*t + 9 = -j for t.
2
Let y(k) be the second derivative of -k**4/12 + 7*k**3/6 + 5*k**2/2 - 10*k. Let f be y(7). Solve -3*v + x = -3*x + 20, f*x - 26 = 4*v for v.
-4
Let z = -219 + 222. Solve z*x - 4*o + 26 = -0*x, 14 = -2*x + 2*o for x.
-2
Suppose l = -l - 24. Let d = 24 + l. Let h be (-4 + d - 1) + -3. Solve -o = o - 2*b - h, 10 = -2*b for o.
-3
Suppose 3*h - 5*c + 4 = 0, 7*c - 12 = -5*h + 6*c. Solve -3*g - 2*a - h = -8*g, 5 = -g - 5*a for g.
0
Suppose 54 - 39 = 5*r. Solve -2*f = -l - r, 5*l + 33 = 8 for f.
-1
Suppose 9*s - 42 = -15. Solve 3*k - l = 14, -2*k - l = -s*l - 16 for k.
3
Let q = -59 - -53. Let l be ((-4)/q)/(2/21). Solve -3*g = d - 8, 4*d + l = -3*g + 3 for d.
-4
Let m be (1 + 5)*1/3. Suppose 0 = 54*y - 47*y - 21. Solve y*g + t = -12, -g + m*t + 2 + 1 = 0 for g.
-3
Let h(q) = 4*q + 16. Let p be h(-11). Let n be (-126)/p + 1/(-2). Solve 2*b + 12 = 4*k, -n*k + 6*b + 12 = 2*b for k.
3
Let x = 984 - 982. Solve x*a = -5*h - 10, 0 = -2*a - 3*a - 5*h - 10 for a.
0
Suppose 3*b + 5*f - 15 = -2*b, -2*b = f - 6. Let c be ((b/1)/6)/((-6)/(-36)). Solve k = -c*l - 4 - 3, 2*l + 6 = -k 