+ s for z.
4
Let p be -20 + (4 - 5/1). Let m = -18 - p. Solve 0 = m*g - 4 + 1 for g.
1
Suppose 0 = -4*t - l + 11, 6*t = 3*t - 5*l + 21. Suppose -j - 4*d - 10 = 0, -4*j + 2*d = -t*j - 10. Let i be (13 - 8)*(3 - j). Solve -a = -i*a - 12 for a.
-3
Let v(l) = 5*l - 1. Let g be v(2). Suppose b = 4*b - g. Solve b*f = 4*f for f.
0
Let d = 523 - 499. Solve 4 = d*q - 20*q for q.
1
Let y be (-2)/(-4) - 54/12. Let v be (y + 1)*(-40)/24. Let q be 1/(-6) - 122/(-12). Solve -v*w + q*w = 0 for w.
0
Suppose -5*z + 40 + 10 = 0. Solve 0*u - z = -5*u for u.
2
Suppose -5*b + 9 = -16. Let y(i) = 13*i - 42. Let t be y(b). Solve -5*d + 2 + t = 0 for d.
5
Let y be ((-54)/(-135))/(1/(-5)). Let x be (9 + 1 - 5) + y. Let s be 2/(-5) - (-336)/15. Solve -x*m - s = -7 for m.
-5
Suppose -v = -k + 29, 124 = k + 5*v + 101. Solve 0 = 7*y - k - 7 for y.
5
Suppose 5*y + 12*k = 7*k + 45, 5*y = 4*k + 9. Solve -y*s + 4*s + 1 = 0 for s.
1
Let q(l) = -l**2 - 7*l + 10. Let h be q(-8). Suppose 4*a - 7*u + 2*u - 10 = 0, h*a + 2*u = -4. Solve a*m - 2 = 2*m for m.
-1
Suppose 3*l - 7*l = 88. Let o = l + 24. Solve o*k = k for k.
0
Let h = 16 + -4. Let x(w) = -4*w**2 - 30*w - 46. Let k be x(-5). Solve k*b - 8*b - h = 0 for b.
-3
Let i(w) = w**3 + 4*w**2 - 12*w + 3. Let f be i(-6). Solve -f*v + 10 - 19 = 0 for v.
-3
Let t be 36*((-1292)/(-133))/(12/14). Solve -t*o = -413*o for o.
0
Let u(o) = o**2 - 12*o + 2. Suppose 2*f + 26 = 2*h + 10, 3*f = 2*h - 12. Let x be u(h). Suppose -7 = -4*g + 5*y, 4*y + 0*y = 5*g - 20. Solve -x = 2*s + g for s.
-5
Let h(v) = -v**3 + 8*v**2 - 7*v. Suppose b + 5*n - 2 = 0, -3*b + 5*n = 2*b - 40. Let w be h(b). Suppose 0 = 8*c + 203 - 211. Solve m + c - 4 = w for m.
3
Let f(o) be the second derivative of o**3/6 - o**2 + 3*o. Let t be f(4). Suppose -t*j = 3*j - i - 25, 0 = 4*i. Solve 10 + 5 = j*p for p.
3
Suppose 649 = 8*t + 569. Solve -1 = t*f - 1 for f.
0
Suppose -k - 5 = -4*z + 15, 0 = -3*z + k + 14. Solve 3*w = -3 + z for w.
1
Let p be (-6)/9 + (-20)/(-3). Suppose -5*m - n = -p, -4*n = 2*m + 2 + 10. Solve -2*s + 2 = -m for s.
2
Let j(d) = 20*d + 20. Let v be j(-1). Solve -10 + v = 5*u for u.
-2
Let h = 4 + 12. Suppose 43*q - 39*q = h. Solve -4 - 4 = q*i for i.
-2
Let m = 519 + -517. Solve m*g = -13 + 3 for g.
-5
Let j(q) = -2*q + 110. Let y be j(50). Solve 36 = -2*t - y*t for t.
-3
Let f = 604 + -601. Solve -5*n - f*n = -24 for n.
3
Let k(t) = -4*t - 4. Let n(z) = -7*z - 9. Let c(d) = 5*k(d) - 3*n(d). Let u be c(-7). Solve -m + 5*m = u for m.
0
Let q be (0 + 3)*(-10)/3*-2. Suppose -q = -2*n - 10. Solve -22 = -n*k - 7 for k.
3
Let f = -21 - -11. Let x be (-2 - (0 - f))/(-2). Suppose -2*h - x = 0, -c + 1 = h - 1. Solve 5*i - 4*i = c for i.
5
Let v(c) = c**3 + 3*c**2 + 2*c - 1. Let u be v(-6). Let r = 127 + u. Let k = 1 + 5. Solve -3*q = -k - r for q.
4
Let w(u) = u**3 + 12*u**2 + 11*u + 3. Let g be w(-11). Suppose 5*f = -g*f + 64. Solve 0 = 3*r + 1 + f for r.
-3
Let h(z) = -4*z**2 + 29*z - 26. Let l be h(6). Solve l*i + 2*i + 24 = 0 for i.
-4
Suppose p + 236 = 3*c, 0 = c + p + 31 - 103. Solve 0 = 6*z + 65 - c for z.
2
Let d = 41 + -21. Let f be 1*(-8)/d*-5. Solve k + k = -f for k.
-1
Let q(h) = h**2 - 10*h + 6. Let s be q(7). Let r = -10 - s. Suppose 2*p - r = -3*p. Solve -11 = -3*c + p for c.
4
Let i(q) = -3*q**3 - 2*q + 1. Let c be i(1). Let j be (-15)/((-1)/c + -1 + 0). Solve -4*r - j + 4 = 0 for r.
-4
Let k(l) = -l - 4. Let y be k(4). Let s be y/(-6) + 34/51. Solve s*x + 2*x - 8 = 0 for x.
2
Suppose 0 = 3*c - 2*o - 68, 4*o = 2*c - 38 - 18. Solve 0 = 8*b - 3*b + c for b.
-4
Suppose 0*x - x = -3. Let j(d) be the second derivative of -d**3/6 + 3*d**2 + 10*d. Let m be j(x). Solve -m*c - 1 = 2 for c.
-1
Let x be 4*(-3 + 35/10). Suppose 4*p - 4*o - 32 = 0, p + o - 20 = -x*o. Solve -5 + p = -3*a for a.
-2
Let k be 11 + -10 + 0/1. Solve -w + k - 2 = 0 for w.
-1
Let y(t) = t**2 - 3*t - 9. Let k(r) = r**2 - r - 5. Let l(v) = -5*k(v) + 3*y(v). Let i be l(-1). Solve -s - 3*s + 12 = i for s.
3
Suppose 54 = 5*o - 51. Suppose -2*l + 4*u - o = -u, 0 = 5*l - 2*u. Solve 7*p - l*p + 15 = 0 for p.
-3
Suppose 9*r = 374 - 149. Solve -13*d = 12 - r for d.
1
Suppose 2*x - 12 = -4. Suppose f = w + 1, -4 = -x*f - w + 6*w. Solve 0 = l - f for l.
1
Suppose 39 + 24 = 7*r. Suppose -6*f - r = -9*f. Solve -4*s + f*s - 4 = 0 for s.
-4
Let s = -632 + 642. Solve -11*i = s + 1 for i.
-1
Suppose -12 = -2*b - h, -6*h - 16 = -2*h. Solve -k + b*k + 21 = 0 for k.
-3
Let g(s) = -2*s + 44. Let k be g(21). Let w = 14 + -6. Solve -2*f = k*f + w for f.
-2
Suppose 5*x + 20 = 0, 154 = -5*w + 5*x + 384. Let s = -27 + w. Let d = s + -13. Solve 10 = 4*h - d for h.
3
Suppose -6*w = -10 - 8. Suppose 4*g + 3 = w. Solve -s + g*s - 4 = 0 for s.
-4
Let z(y) = 8*y**2 - 69*y - 20. Let g be z(9). Let t(u) = -8*u + 1. Let m be t(-1). Solve 4*h + m = -g for h.
-4
Let o = 21 - 17. Suppose 4*s + 3*j - 11 = 0, 2*s - o*j - 1 = -j. Solve 15 = n + s*n for n.
5
Suppose o - 1 = -3. Let x be (5/(-10))/((-1)/o). Let k = -1 - x. Solve -2*r + 6*r + 12 = k for r.
-3
Suppose 4*w + 20 = 6*w + 2*o, -3*w = o - 20. Suppose 2*i - 8 = 3*i + 2*x, -4*i = x - 3. Let h be i/(10/4*(-16)/(-60)). Solve h - w = j for j.
-2
Suppose 10 = 4*m + 2*q, 23*q - 7 = -m + 24*q. Solve -13 = -9*u - m*u for u.
1
Suppose 0 = -2*c + a + 4*a - 7, 5 = -c + 3*a. Let r be (133/(-38))/((-14)/16). Solve c*z = r - 24 for z.
-5
Let x be ((-60)/9)/((-2)/6). Let z be 35/x - (-2)/8. Suppose 2*f = -o + 12, f = 5*f + 3*o - 26. Solve 12 - z = f*j for j.
2
Let y(f) = 2*f**2 - 6*f + 15. Let x be y(5). Let t be 10/(-4)*(-84)/x. Solve t*m + 25 = m for m.
-5
Suppose -7*c = 6 + 85. Let k = 7 - c. Solve -i - 3*i = k for i.
-5
Suppose -3*o + 5*o + 3*w = 21, 0 = 12*o + 4*w - 84. Let z(m) = -m**3 - 6*m**2 - 6*m - 2. Suppose -2*f - 14 + 4 = 0. Let a be z(f). Solve -a*v - 12 = -o*v for v.
4
Let j = 164 + -164. Solve -5*y - 4 - 1 = j for y.
-1
Let f = -5 + 13. Suppose -f = 7*b - 3*b. Let v(i) = i**3 + 3*i**2 + 1. Let p be v(b). Solve -p = o - 0*o for o.
-5
Let h be (-4)/20 + 2/10. Suppose -5*p + 25 = 3*g - 2, 2*p = h. Suppose -d + 4*n - 8 = g, -23 = -d - 4*n. Solve -w - 8 = -d*w for w.
4
Suppose -o + 110 = -5*a, 2*o = -0*o - 10. Let r = -12 - a. Let k be 8/5*(16 - r). Solve 2*p - 4*p = k for p.
-4
Let h(q) = -16*q + 172. Let l be h(10). Solve 0 = -i + 16 - l for i.
4
Suppose 13*s = -22*s + 1610. Solve 43*t + 3 = s*t for t.
1
Let f(o) = 0*o - o**3 - 2 - o**2 + o + 0. Let r = -84 - -82. Let x be f(r). Solve 1 = k - x*k for k.
1
Let z be (24/(-12))/(4/(-58)). Let m = 29 - z. Let f be 2/7 - (-2)/(-7). Solve m = i + 1 - f for i.
-1
Let c(o) = -9*o + 3 + 15 + o + 2*o. Let m be c(3). Solve m = 3*s - 1 - 14 for s.
5
Let u be 2 - (-3)/6*2. Suppose -4 = u*r - 19. Let j be (-3 - 18/(-4))/((-21)/(-70)). Solve -r*c = -j - 0 for c.
1
Let l(h) = 17*h - 126. Let p be l(8). Solve -o + p*o = 9 for o.
1
Let u(j) = -39*j + 390. Let s be u(10). Solve s = 10*a - 30 - 10 for a.
4
Let q be (-36)/270 + (-364)/(-30). Solve 17*o = 14*o - q for o.
-4
Let r(w) = 47*w - 326. Let a be r(7). Suppose -5*x = 2*g - 29, 5*g = 5*x + 3*g - 41. Solve x = a*l - 8 for l.
5
Let x(y) = -y + 13. Let z be 1*(6 - 1/1). Suppose -u - 58 = -4*r - r, 0 = z*r + 2*u - 49. Let b be x(r). Solve 2*n = -b*n + 4 for n.
1
Let p be (26*21/14)/(3/(-2)). Let v(m) = -m**3 - 27*m**2 - 27*m - 22. Let y be v(p). Solve 5*i = y*i for i.
0
Suppose -1841*c = -1849*c + 224. Solve 0*l - c*l = -84 for l.
3
Let o(j) = -5*j + 8. Let d be o(0). Suppose -d = -4*m + 2*m. Solve 4*z = -m - 16 for z.
-5
Let q(i) = -i**2 + 7*i + 8. Let y(c) = -c - 1. Let j(o) = q(o) + 6*y(o). Let h be j(2). Suppose 0 = -3*m - h*t - 4*t, m = -2*t. Solve -3*z - 2*z - 20 = m for z.
-4
Suppose 3*l = 20 + 64. Let s = l - 12. Suppose -15 = -3*k - 2*y - 5, s = 3*k - 4*y. Solve 0 = m - k*m for m.
0
Suppose -3*v + 14 = -2*d, 2*v - 8 = d + 1. Suppose v*b + 19 = 2*p + b, 0 = -4*p - b + 3. Suppose -t + 2 + p = 0. Solve f = -3 + t for f.
1
Let n be 2/(-6) - 646/(-57). Solve -17*x + n*x - 24 = 0 for x.
-4
Let p = 593 - 566. Solve 5*y = -22 + p for y.
1
Let v = 28 + -24. Suppose 3*g - 2*c = -g + 12, g - 10 = v*c. Solve 25 = g*w + 3*w for w.
5
Let d(w) = 11*w**2 - 13*w + 75. Let a(r) = 5*r**2 - 7*r + 38. Let k(z) = -13*a(z) + 6*d(z). Let j be k(-16). Solve 2*u = 12 - j for u.
4
Suppose -3*w + 2*a =