 for l.
1
Let q(w) = 2*w. Let j be q(4). Solve 29*p - 27*p + j = 0 for p.
-4
Suppose 2*c + 13 = -5*j + 43, -5*j + 5*c + 30 = 0. Suppose 6*q - 8*q + j = 0. Suppose -7 = q*y - 22, h + 3*y - 19 = 0. Solve r + 15 = h*r for r.
5
Let r be ((-100)/12 + 3)*(-36)/24. Let m be 6/(14/4 + -2). Suppose r = -0*f + m*f. Solve -f*d = -d + 4 for d.
-4
Let t = -189 + 195. Solve -t = a + a for a.
-3
Let k(b) = -b**2 + 11*b + 18. Let y be k(10). Suppose 0 = 3*a + a - y. Solve 3*i - 20 = a*i for i.
-5
Let h = 1124 + -1124. Solve h = 4*c - 17*c for c.
0
Suppose 6*n = 14*n - 112. Suppose -22 = -3*t - 5*s + 7, -5*t + 23 = 2*s. Solve -t*a = n - 5 for a.
-3
Suppose 5*b = 25 - 5. Let m = b - 2. Solve -m = 3*h + 4 for h.
-2
Suppose 14*x - 18*x + 24 = 0. Let o be (-1)/(-5) + (-57)/(-15). Suppose c = o*c - x. Solve 0*s + s + c = 0 for s.
-2
Let q be ((-3)/(-5))/((-4)/(-20)). Suppose -2*y - 3*n - 13 = 0, -2*n = -q*y + 3*n - 67. Let s be (y/(-3))/((-2)/(-3)). Solve 0 = -2*x + s*x for x.
0
Suppose 8 = 830*y - 828*y. Solve -y*x + 12 = -4 for x.
4
Suppose -27*x = -196 - 128. Solve -8*w = x + 20 for w.
-4
Let a be (-183 + (4 - (2 - 0)))/(-1). Suppose -a = -7*f - 6. Solve c + 4*c = f for c.
5
Let u be (28/3 - 5)/((-2)/(-12)). Suppose 2*s + 4*v - u = -0*s, -4*s + 24 = v. Solve 10 = -0*c - s*c for c.
-2
Let n be (3 - 4)/(1/(-2)). Suppose -4*i + 0*i = -n*m - 82, -3*i - 2*m = -51. Let g = 32 - i. Solve -1 + g = -3*f for f.
-4
Let o(h) = -4*h + 60. Let y be o(14). Let m be (6/(-4))/((-6)/60). Solve y*q - q = -m for q.
-5
Let d be 2/(-8) - (-4 + (-67)/(-4)). Let s = d + 14. Solve -s - 2 = j for j.
-3
Suppose 2*g = -3*g + 10. Suppose f - g*f = 0. Let y = -127 + 132. Solve 3*s - y*s + 2 = f for s.
1
Suppose -3*d = -3*n - 54, d - 4*n - 13 = 14. Let i be 0/(d/6*12/(-15)). Solve 2*j - 3*j = i for j.
0
Let d(f) = 9*f - 7. Let c be d(2). Let a be (c - 0) + (-34 - -33). Solve 0*x - a = -5*x for x.
2
Let x be (25/(-10))/((-5)/6). Solve x = -2*r + 7 for r.
2
Suppose 0 = -44*h - 137 + 665. Solve -8*r + 12 = -h*r for r.
-3
Suppose -7 + 5 = -4*f + 5*o, -f - 7 = -5*o. Let x(d) = -d - 1. Let j be x(4). Let i(n) = n**3 + 6*n**2 + 4*n - 3. Let r be i(j). Solve -f - 3 = r*s for s.
-3
Suppose 16*n - 160 = 8*n. Solve -4*t - t - n = 0 for t.
-4
Suppose 3*z = -3*x - 6, 15*x - 11*x + 8 = 3*z. Solve 33*y - 34*y + 3 = z for y.
3
Let y = -6 - -1. Let h be y + 20 + 0 + -2. Let d = -13 + h. Solve 0*b - 2*b = d for b.
0
Suppose -8*t + 15*t = 14. Solve 5*h + t = 6*h for h.
2
Let n be (-66 + 46)/(-2*(-1)/(-3)). Solve y - 11*y = n for y.
-3
Suppose 3*j + 5*q - 13 = 0, -6 = -3*j - 2*q + 1. Solve -k + j = -0*k for k.
1
Let f = 62 + -61. Solve 3*j - f = 2 for j.
1
Let u(d) be the first derivative of d**3 - d - 2. Let i be (2/3)/((-4)/6). Let v be u(i). Solve v = -2*s + s for s.
-2
Suppose 2*r - 2*h - 8 = 0, h = -r - 0*h. Let m = 2 + r. Let s = -125 + 125. Solve -5*z - m + 29 = s for z.
5
Suppose -200 = 2*s - 7*s. Suppose s = 9*o - 4*o. Let q be 68/16 - 2/o. Solve 6 + q = -5*w for w.
-2
Let j(m) = m**2 + 5*m + 17. Let b be j(-5). Suppose -12*s = -b*s + 10. Solve 18 = -4*x - s for x.
-5
Suppose 2*f = 3*f - 2*f. Suppose 13 = 3*a - q, a + q + 1 = -f*a. Solve -y = a*y for y.
0
Suppose -55 - 59 = 19*v. Let i = 4 - 7. Let r be 4/(-8) + i/v. Solve r = 4*g - 2*g for g.
0
Suppose 3*c + 12 = 0, c - 38 = 3*p - 51. Solve -p*m + 6*m - 9 = 0 for m.
3
Suppose -3*y = -3*h + 4*h - 70, 4*h = -y + 16. Suppose -u + 2*p = -2*p - 23, -y = -3*u + 3*p. Solve -u*c + 0*c - 12 = 0 for c.
-4
Let g = -22 - -37. Let d(j) = j**3 - 28*j**2 + 47*j + 130. Let i be d(26). Solve i = -6*p + 3*p + g for p.
5
Let t = 14 + 48. Suppose 168 = -10*d + 18. Let p be t/10 + 3/d. Solve -2*g - 2 = -p for g.
2
Let w(j) be the second derivative of j**3/6 - 3*j**2/2 - 9*j. Let p(v) = v**2 + 9*v - 4. Let u be p(-10). Let z be w(u). Solve z*b - 2*b = 5 for b.
5
Let u = -23 + 44. Let r = -16 + u. Solve -2*o - 5 = r for o.
-5
Suppose -3*z + 13 = -v, 2*z = 5*v + 11 + 15. Let c be (-6)/v + 35/10. Solve -4 = 3*k + c for k.
-3
Let q be 10/(-4) + (-456)/(-48). Solve 3 - 17 = q*s for s.
-2
Let v = 1614 - 1574. Solve -v = 8*w - 0*w for w.
-5
Suppose 11 = a - r, -7*a + 5*a - 5*r = 13. Solve 2 = -p + a for p.
4
Let w = -231 - -234. Solve -w*i - 6 = 9 for i.
-5
Suppose 0*w + l - 16 = -5*w, -28 = -2*w + 5*l. Let v = -50 + 62. Suppose 3*b - 3*m = 9, m - v = 2*b - 6*b. Solve w*s = 1 + b for s.
1
Let o(u) = -u**3 + 6*u**2 + 6*u + 10. Let a be o(7). Suppose 50 = 3*b - z, 2*z = -a*b - 3*z + 74. Let h = b - -2. Solve 7*d = 2*d - h for d.
-4
Let a = 6 - 1. Suppose 3*y + 3 = -4*i, 0*y - 3*y - 3 = i. Solve a = -n - i for n.
-5
Let q(o) = -4*o + 20. Let n be q(6). Let y be 4 - (-2)/4*n. Solve -3*k + y = -4 for k.
2
Let b be 11/(-55) - (-51)/5. Let u(q) = -q**3 + 8*q**2 + 19*q + 16. Let p be u(b). Solve -p*m + 3*m = -6 for m.
2
Suppose -2*c + 5*y - 22 + 74 = 0, -5*y = -5*c + 145. Let p = -27 + c. Let i = -10 + 10. Solve -n + i*n = p for n.
-4
Suppose 9*j - 4*j = -26*j. Solve -3*m + j*m = 15 for m.
-5
Let w(y) = -16*y - 60. Let t be w(-4). Solve 0 = -t*f + 4 for f.
1
Let r be ((-3)/2)/((-7)/(-112)). Let w = r + 24. Let j(a) = a + 6. Let t be j(-4). Solve w = t*y + y - 12 for y.
4
Let a(w) = w**3 - 7*w**2 + 2*w - 9. Let m be a(7). Suppose m*d = -4*p - 14, -p - p + 5*d - 22 = 0. Let s be (-8)/12 - 4/p. Solve -g + s*g = 4 for g.
-4
Suppose 4*w + v = 2*w + 242, -3*w + 374 = -4*v. Let q = w + -118. Solve -q*g + 7*g = -15 for g.
-5
Suppose 9*k - 22*k = -429. Solve 11*x = -k - 0 for x.
-3
Let t = 23 - 22. Let b be -8*(-5)/40*(0 + t). Solve 5*k = -4 - b for k.
-1
Let v = -9 + 10. Suppose 0 = y - 5*y + 12. Solve y - v = 2*j for j.
1
Suppose o - 6*o = 5. Let d be ((-3)/5)/(o/5). Let n be ((-1)/(-1 - -4))/((-2)/12). Solve -d*f - n*f = 0 for f.
0
Let a(l) be the first derivative of l**4/4 + 5*l**3 + l**2/2 + 15*l - 41. Let u be a(-15). Solve u = 2*y + 1 + 9 for y.
-5
Suppose -y + 5*w = 15, -11*y + 15*y = w - 3. Solve 2*u - 3*u = y for u.
0
Suppose -30 = q - 6*q + 2*o, -5*q + 40 = -4*o. Solve -6 = -q*c + 6 for c.
3
Let p = 12 + -7. Let b = -19 + p. Let j = b + 37. Solve 5*k + 3 - j = 0 for k.
4
Suppose -w = 3*w - 4*s - 56, -w + 4*s = -23. Let h(v) = -v**3 + 12*v**2 - 11*v + 7. Let b be h(w). Suppose -3*c - 1 = -b. Solve 16 = -c*j + 6*j for j.
4
Let v = 17 + -10. Let a be (-2 + 2/(-3))/((-5)/(-15)). Let h be (a/6)/(2 - 32/12). Solve h*i + 20 = v*i for i.
4
Let x be (-2 - 88/(-16)) + 6/(-4). Solve x = -10*g + 8*g for g.
-1
Let q(u) = -u**2 - 11*u - 6. Let n be q(-10). Let d be n/22 + 192/33. Solve 25 = i - d*i for i.
-5
Suppose -w - u + 2 = 2*w, 6 = -w - 2*u. Suppose 4*v - 32 = -4*l, 0*v - 4*v = w*l - 22. Suppose -2*s - 3*s = 3*h + l, 0 = 3*h - s - 1. Solve h = 4*b - 4 for b.
1
Let n(y) = y**2 - 7*y + 6. Let k be n(7). Let s be (1*(-2)/k)/((-16)/48). Solve 4 = -3*t + s for t.
-1
Suppose -7 = -5*s + 33. Suppose -r - 3*i - 4 = 0, -4*r + i = -i - 26. Let n = s - r. Solve o = -n + 5 for o.
2
Let c(x) = -26*x**3 - 2*x**2 - 3*x - 2. Let p be c(-1). Solve 60*k = 55*k + p for k.
5
Suppose 1512 - 28 = 14*p. Solve p = 3*w + 100 for w.
2
Suppose -3*b - 10 = -5*b. Suppose -4 - 6 = -b*x. Solve -3 = -n - x for n.
1
Let f = 240 - 225. Solve 3*a + f = 3 for a.
-4
Let n = -2590 + 2596. Solve 0 = 19*a - n*a - 65 for a.
5
Let r(m) = -m**3 - 9*m**2 + 11*m + 10. Let t be r(-10). Suppose -g + 3*g + 52 = t. Let y be 1/(-3) + g/(-6). Solve 2 = y*n - 6 for n.
2
Let o(t) = -14*t - 123. Let d be o(-9). Suppose 2*p + p = 0. Solve -d*x + 8*x = p for x.
0
Let i(f) = -2*f**2 - 12*f + 43. Let t be i(-8). Solve t*k + 48 = -5*k for k.
-3
Let s be 1 + 5 + 2 + -6. Solve 3*k + s = k for k.
-1
Suppose 5*t = n + 21, n + 2*t = 3*t - 1. Let p(h) = h**3 - 4*h**2. Let z be p(n). Suppose z = -8*s + 3*s + 30. Solve l = 4*l + s for l.
-2
Suppose 5*o + j - 12 = 0, -4*j + 5*j = 4*o - 15. Let u be o/(-12) + 2/8. Suppose 20 = 4*d - 4*z, u = -3*d + 5*z + 27 - 12. Solve -d*i + i - 4 = 0 for i.
-1
Let p = 19 - 7. Solve p*o = -13*o + 10*o for o.
0
Suppose -45*n = -2 + 2. Solve n = -2*x + 3 + 7 for x.
5
Suppose 5*v + 2*f = 32 - 13, 5 = 5*v - 5*f. Solve c - 20 = -v*c for c.
5
Let t = -270 + 279. Solve 2*h = 5*h - t for h.
3
Let b(s) = 6*s**2 + 37*s + 6. Let t be b(-6). Solve t = 2*u - 6 + 2 for u.
2
Suppose 0 = 5*j + 9*j + 574. Let y = j + 48. Solve 0 = 5*v - y 