l for a.
1
Let d(j) = -7*j + 10 + j**3 - 10*j**2 + 4*j**2 + j**2. Let w be d(6). Solve -w*y + 1 = -5*c, 3*c - y + 19 = 8*c for c.
3
Suppose -16 + 96 = -4*x. Let l = x - -16. Let f = 1 - l. Solve -5*w = f*p - 15, 4*w = p - 3*p + 2 for w.
-2
Let t = -24 + 28. Suppose 5*d - 3*y = -5, t*y - 24 - 2 = -3*d. Solve -13 = -2*x + v, -5*x + d*v = -3*x - 16 for x.
5
Let d = 41 - 32. Suppose -5 = 2*c - d. Solve m = c*l - 5, 3*l - 4 = 2*l for m.
3
Let y(a) = -7*a + 23*a - 4*a - 8*a + 28. Let u be y(-6). Solve 5*l + 4*z = u*l + 2, 4*z = 4 for l.
-2
Let d = 83 - 79. Solve -2*x - 5 - 5 = -4*r, 16 = d*r for x.
3
Suppose -2*j - 20*j = -88. Solve -3*v - 15 = -g - 2*g, -5 = g + j*v for g.
3
Suppose 0 = -0*u + u - 4. Let z be -3 + ((-20)/(-1))/u. Solve 2*b + z*g = 6 - 0, 3*b - 2*g = -11 for b.
-1
Let l = 16 - 6. Let t = l - 6. Suppose 2*w = -3*i - 4, 2 - t = w. Solve -25 = -5*d - i*n + 3*n, 2*d = -2*n + 10 for d.
5
Let r(u) = -u**3 - 5*u**2 - u + 17. Let a be r(-4). Solve 0 = -a*q + 5*j, -2*j + 6 = 3*q - 3*j for q.
3
Let g = -64 + 33. Let n = g + 34. Solve -15 = 3*h, -2*a - n*a - 5 = h for a.
0
Let x(k) be the first derivative of -k**3/3 - 6*k**2 - 10*k + 34. Let z be x(-11). Solve d - 22 = -4*y, -3 = -2*d + z for y.
5
Let q be 50/10*1 - -3. Solve 5*a + 3*l - 19 = -q, 4*a + 2*l = 10 for a.
4
Suppose -t = -2*m - 0*t + 9, -2*m + 3*t = -15. Suppose y - m*y - y = 0. Solve -3*b + b + 6 = y, 0 = -5*s + b - 23 for s.
-4
Suppose 12 = 4*s, -5*y + 4*s - 3 = -1. Suppose -20 = -5*z + 5*v, y*z - 4*v - 12 = -0*z. Solve o + z*d + 10 = -d, -5*d = 2*o + 16 for o.
2
Let m(y) be the second derivative of -y**3/6 - 3*y**2/2 + 19*y. Let t be m(-6). Suppose 4 = w + 2. Solve -w*r + 3*r = -3*q + 9, -t*r - 9 = -3*q for q.
3
Let o(y) = -2*y**2 - 18*y - 6. Let u be o(-8). Suppose -a - 5*i - u = -0*i, 2*a + 62 = 4*i. Let c = -20 - a. Solve h - 3*h = c*d, 0 = 3*d - 3*h for d.
0
Suppose -m + 36 = 33. Solve 2*y - n - 24 = -2*y, -m*y + 35 = -5*n for y.
5
Let l(g) = g**2 - 2*g + 3. Let x be l(2). Suppose -21*q = -18*q - 12. Let b(p) = -p + 17. Let u be b(q). Solve w - 5 = -z, -z + u = z + x*w for z.
2
Let y(z) = -2*z + 13. Let t be y(-9). Let p = t + -29. Suppose -3*n + p = -13. Solve -3*q + 4*r = -23, 14 = 2*q - n*r - 6 for q.
5
Let x(i) = i**2 + 6*i - 7. Let f = -18 + 17. Let d(t) = -6*t**2 - t - 2. Let n be d(f). Let a be x(n). Solve 3*v + 6 = -3*k + 3, -k - 5 = a for v.
4
Let b = 647 - 632. Solve 0 = -5*k + 4*f - f + b, -2*k - 5*f = -6 for k.
3
Let i(z) = 12*z**2 + 13*z - 28*z**2 + 11 + 18*z**2. Let y be i(-6). Solve -2*u + 12 = -3*t - u, -y*u = 15 for t.
-5
Let r = 18 + -15. Solve 5*h - 19 = -3*i, 2*i + 35 = 5*h - r*i for h.
5
Let y(j) = -j**2 + 36*j + 7. Let x be y(0). Solve x*l - 6 = -u + 2*l, -5*u = -2*l + 24 for u.
-4
Let p(k) = 2*k + 2. Let t be p(-1). Suppose 0 = 5*c + 5, -2*m - 3*c + 0 + 23 = t. Let s = m + -8. Solve -v - x = -2 + s, -v - 5*x = 3 for v.
-3
Let w(n) = n + 23. Let g be w(-18). Suppose s = -g*s. Suppose -3*q + 26 = -4*r, s*r - r - 52 = -4*q. Solve 4*b = -3*k - q - 13, -4*k = -4*b + 8 for k.
-5
Suppose 0 = -2*l - 0*l - 18. Let s be (1 - 123/(-9)) + (-3)/l. Solve -3*y = 5*p + 32, 3*y + 9 = -3*p - s for y.
-4
Let u(j) = -2*j - 9. Let t be u(-5). Suppose 3*k = x + 9, -2*k = -t - 5. Let o be x*-1*3/9. Solve 3*c = -w - o - 5, 5*w + 25 = -c for c.
0
Suppose -2*o + t + 12 = 0, t - 12 = 4*t. Suppose -o*c + 16 = -0. Suppose -3*r + c = -5. Solve 3*x + 5*d = 5, 0*d - r = -x - 3*d for x.
0
Suppose -m - m + 4 = 0. Let o = -8 + 12. Suppose 0*h = -q - 2*h - 6, 4*q + 3*h + o = 0. Solve 12 = q*b - 4*i, -5*b = m*i + 21 - 3 for b.
-2
Let b(a) = a**3 + 7*a**2 - 6*a + 19. Let g be b(-8). Let c be (-6 + 5 + g)/(4/30). Solve r + 15 = -5*z - r, 0 = -5*z + 4*r - c for z.
-3
Let x(h) = 35*h - 268. Let c be x(8). Solve 2*s = -2*n, n = -7*s + c*s + 30 for n.
5
Let j = 53 + -33. Let b = j + -15. Solve -d = 2*n + 7, 0*d - 2*d - 18 = b*n for d.
1
Let s = 188 + -182. Solve l = 4*u - s, l + 0*u + 1 = -u for l.
-2
Let x = 9 - 7. Let z(n) = n**3 + 12*n**2 - 14*n - 9. Let s be z(-13). Solve 3*u = p + 6 - x, -s*p + 8 = 0 for u.
2
Let s be (8/(-12))/(4/6). Let t be 45/s + (2 - 0). Let l = t + 70. Solve -5*m = 3*f + l, 11 = -m + 4*m - 5*f for m.
-3
Let h be 4 - (-180)/(-54) - 13/(-3). Solve h*s = -5*w - 40, 3*s + 4*w = -32 + 3 for s.
-3
Suppose -9*l = -10*l + 3. Suppose 4*c - 3*k - 10 - 13 = 0, -l*c + 11 = 4*k. Solve b + q - 13 = -b, 0 = -q + c for b.
4
Let p be (-1 + 2)*1*2. Let c(n) be the first derivative of -n**4/4 - 3*n**3 + 4*n**2 - 15*n + 43. Let d be c(-10). Solve -v - 2 = 0, -d*t - p*v + 3 = 2 for t.
1
Let t(r) = r + 8. Let f be t(-8). Let p(h) = -4*h**2 + 6*h + 2*h**2 + 3*h**2 + 6 + f*h**2. Let z be p(-5). Solve -c = o + 2, -1 - z = -5*c - o for c.
1
Let c(m) = -3*m - 1. Suppose -h = -5*h + 108. Let l = -28 + h. Let z be c(l). Solve 4*r = y - 0*y - 5, -z*y - 2*r = 0 for y.
1
Let i be (-2 - 0) + (4 - 0). Suppose 3*v + 3 + 0 = n, 4*n = -4*v - 4. Let f be -1 - -5*(n - -1). Solve i*c = 6, f*c - 32 = 4*j - 0*c for j.
-5
Let d(h) = h**2 + 5*h + 6. Let x be d(-4). Suppose 0 = -2*t + 2 + 2. Let z = 1 + t. Solve z*q + x*v - 13 = 2*q, -v = -5*q + 21 for q.
5
Suppose -35*q + 12 - 12 = 0. Solve -2*u - 5 = h + 2*h, q = 5*u + 4*h - 5 for u.
5
Suppose -17*o = -13*o - 84. Let n be (63/o)/(0 - (-1 - 0)). Solve -z - 2*f - 5 = 0, -n*z - 2*f = 2*z - 7 for z.
3
Let h be (15/15)/(1 - (-1)/(-2)). Let o(w) = 2*w**2 - 2*w - 1. Let p be o(2). Solve -4*v - v = -5*n + 25, -h*v = p*n for v.
-3
Let h(t) = t**3 - 7*t**2 - 8*t - 4. Let g be h(8). Let v = g + 1. Let r be (-80)/(-12)*v/(-2). Solve r = -x - 3*f, -x - 5*f - 28 = -5*x for x.
2
Suppose -r - 3*b + 20 = 0, 2*r + b = 2*b + 26. Suppose 11*y = 19 + r. Solve y*x - 2*l = -2*x + 35, 2*l + 5 = -x for x.
5
Let b be 0 - 23 - (1 - 1). Let d = -23 - b. Let r be 3/(-2)*1*-2. Solve 4*n = -r*j + 13 + 8, d = -4*j - n + 15 for j.
3
Let o(t) = -5*t - 218. Let g be o(-44). Solve 4*q = 4*m - 0*m, -4*m + 3*q - g = 0 for m.
-2
Let o be -2 - (-12)/10*70/21. Solve 0 = -4*y - 3*x + 10, 5*x + 3 = o*y + 11 for y.
1
Suppose -5 = -z + 4*o + 5, -z + 3*o + 9 = 0. Suppose -z*y = -10*y. Solve b - 3 = -2*b, y = 2*p - b + 1 for p.
0
Suppose g + 4 = 0, g + 12 = -4*b + 2*g. Let p be (3 - 2)/((-1)/b). Let n = -2016 - -2021. Solve 3*i = -3*u - 24, 0 = 4*u - p*i + n - 13 for u.
-3
Let u(f) = -10*f - 9. Let p(c) = 3*c + 3. Let v(x) = 7*p(x) + 2*u(x). Let l be v(0). Let d be (-6)/l*(-3)/2. Solve d*z + 17 = k + 3*k, 4*k - 5 = -z for k.
2
Let f = -141 + 143. Solve s = 3*s + f*o + 6, -4*s - 14 = 5*o for s.
-1
Let x(i) = i**3 - 7*i**2 + 11*i - 6. Let g be x(4). Let a = g + 13. Solve -3*q - 4*v - 14 = 0, 3*q + q - a*v - 23 = 0 for q.
2
Let s = 216 - 212. Solve -5*d = 4*c + 9, 0*c + 8 = -3*c - s*d for c.
4
Suppose 141*p = 128*p + 65. Solve 2*d = -3*m - 3 + p, -14 = -5*d - 3*m for d.
4
Let t(q) = -q**2 - 5*q - 1. Let w be t(-3). Let l(n) = -6*n**3 - 3 + 2 + w*n**3 + 2. Let h be l(-1). Solve -c + r = -2*c - 2, -2*r = 5*c - h for c.
2
Let j = 35 + -31. Let f(t) = j - 10*t + 2 - t**2 + 15*t. Let q be f(6). Solve 0*g + 2*g + 3*a - 2 = q, g = -a for g.
-2
Let n = 42 - 32. Suppose n*j - 7*j - 9 = 0. Solve -2*t = 2*t - z + 21, -2*z = t + j for t.
-5
Suppose 6*t = -7 - 5. Let s be (8/(-2) - 2/t) + 3. Solve -2*n - j = -s*n + 4, 5*n + j = -4 for n.
0
Suppose -14 = 16*j - 94. Solve 0*g + g = 2*d + 5, -j*g + 25 = 2*d for g.
5
Let v(t) = 7*t**2 + 3*t - 3. Let z(c) = -13*c**2 - 7*c + 6. Let o(x) = -11*v(x) - 6*z(x). Let s be o(-10). Solve 2*j - 2*f = 3*j + s, -3*j = -f + 14 for j.
-5
Let m be (104/12)/2 + (-2)/(-3). Solve -m*t - 11 - 11 = h, t - 2 = 3*h for t.
-4
Let l(w) = 6*w + 3. Let b be l(-2). Let z = b + 13. Suppose -4*f + 5*v = -30, -3*f + 6*f - 4*v - 23 = 0. Solve 5*a = -3*h - z + 11, 4*a = -3*h + f for h.
-1
Let b = -916 + 918. Solve 2 = 2*u + y + y, b*y - 8 = 0 for u.
-3
Let k = 613 - 609. Solve c = 5*h, 4*h + k*c = 3*h for h.
0
Suppose -4*y = 5*u - 24, -9*u = -14*u + 5*y + 15. Suppose -j = -6*j + 50. Suppose 4*i - j = -2. Solve 4*h - 5*q = -9, 4 = -2*h + u*q - i*q for h.
-1
Let t(w) = -w - 3. Let y = -8 + -3. Let d be t(y). Suppose 6*h = 4*h + d. Solve -2*p = -h*m - 4, 2*m + 3*p - 5 = 7*m for m.
-1
Let i = 1137 - 1126. Solve 11*o + l - 5 = 9*o, 0 = o - 4*l + i for o.
1
Let t = -102 - -103. Solve -2*y = 3*f - 2 + t, 4*y 