for l.
-4
Suppose 2*m = 3*v - 12, 0 = 2*m - 0*v - 2*v + 12. Let o(c) be the second derivative of c**3/6 + 9*c**2/2 - 50*c. Let a be o(m). Solve -9 = a*y + 6 for y.
-5
Let r(y) = 3*y**3 - 11*y**2 - 5. Let s be r(4). Solve 0 = -16*a + s*a - 10 for a.
-2
Let t(z) = -6*z**2 - 28*z - 14. Let q be t(-4). Solve -2 = q*h - h for h.
-2
Suppose 2*s - 4 = 0, g + 10 = 4*g + 5*s. Solve g = 3*q - 2*q for q.
0
Let v be 426/15 + (-12)/30. Suppose 2*f + 28 = v. Solve -3*a + 4 + 5 = f for a.
3
Let w(j) = 5*j**3 - 21*j**2 + 4*j + 6. Let m be w(4). Solve -s - m = -7*s for s.
1
Let g(r) = -r - 22. Let m be g(8). Let u be 58/18 + m/135. Solve -5*y + u = -2 for y.
1
Let m(d) = d**2 + 15*d + 44. Let q be m(-3). Solve 14*z + 30 = q*z for z.
-5
Suppose 6*b = 3*b + 4*j + 23, j = b - 7. Suppose -3*m + 23 = 4*u, -b*m + 2 + 3 = 0. Suppose 4*y + y = u. Solve -2*x = y - 9 for x.
4
Let v = 57 + -52. Let a = -37 + 40. Solve -a = -z - v for z.
-2
Suppose 5*i + 23 = 4*f, 5*f + 2*i - 619 = -615. Solve 11*x - 24 = -f for x.
2
Let h be (3*(-16)/(-12))/(4/6). Suppose f + 10 = h*f. Solve 0 = k + 2 + f for k.
-4
Suppose -4*b - 126 = 3*b. Let d = 26 + b. Solve -d = 2*u - 0*u for u.
-4
Let i be 2 - ((-4 - -3) + 3). Suppose 6*t + 10*t = 80. Suppose 2*l = 5 + 5. Solve -t*f + l + i = 0 for f.
1
Suppose d + 2*l - 8 = 0, -3*l - 12 = -2*d - 5*l. Let t be -1 - (-1 + (-10)/2). Suppose -3*p + 6*p - 5 = 5*k, 3*k + 19 = t*p. Solve -k = -d*z - 6 for z.
-1
Let l = -1 + 4. Let k = 26 - 13. Suppose -4 = l*q - k. Solve -8 = z + q*z for z.
-2
Let b(f) = 2*f**3 + 19*f**2 - 8*f + 20. Suppose 4*u + 54 - 14 = 0. Let p be b(u). Solve p = -14*w + 10*w for w.
0
Let r be (-3)/(-1)*26/6. Suppose 2*s - 6 + 58 = 5*o, -56 = -3*o - 5*s. Suppose -r*a + o = -9*a. Solve -a*h + 0*h = 0 for h.
0
Let j(i) = i**2 - 12*i - 276. Let u be j(-12). Solve -4*w + u*w = -40 for w.
-5
Suppose -4*s + 34 = 2*g, -2*g = g + s - 31. Let h(m) = m**2 - 2. Suppose 10 + 0 = 5*n. Let t be h(n). Solve 5*l - t*l - g = 0 for l.
3
Let b = 110 + -299. Let k be b/(-54)*1*2. Suppose 2*p - k*p + 10 = 0. Solve -6*x - 20 = -p*x for x.
-5
Let v = 4 - 4. Suppose 4*y - 6*y = v. Let a be y - 2/4*-4. Solve 0 = -a*w - 0*w for w.
0
Suppose 13*w = 9*w + 68. Suppose 15*g - w - 28 = 0. Solve 12 = -g*d - 3 for d.
-5
Let y = -1057 + 1061. Solve -y = 3*c - 19 for c.
5
Suppose 8*d - 3*u = 12*d - 23, -d - 4*u - 4 = 0. Solve 0 = 2*s - 6*s - d for s.
-2
Let r be (-7)/(-2) - 9/(-18). Solve 12 = 2*q + r for q.
4
Let z(c) = 2*c - 6. Let a be z(3). Let y = 8 + -6. Suppose 0 = 4*p - y - 46. Solve a*j - p = -3*j for j.
4
Let z(q) = q**2 + 9*q + 10. Let m be z(-10). Suppose -3*y + 4*r + m = -0*r, y + 5*r = -25. Suppose -5*f + y*f + 100 = 0. Solve -4*g = g - f for g.
4
Suppose 116*z - 24 = 110*z. Let j(h) = -h**2 + 2*h - 1. Let d be j(1). Solve 3*f + z - 1 = d for f.
-1
Let v(l) = -2*l + 5. Let s be v(0). Solve -19 + 24 = -s*h for h.
-1
Suppose 6 = -2*h + 14. Suppose b + h*b = -100. Let t be ((-15)/(-4) + -4)*b. Solve 0 = -6*d + t*d for d.
0
Suppose -4*l + 3*m + 5 - 2 = 0, 4*m = l - 4. Solve 0 = -l*w - 3*w - 12 for w.
-4
Suppose 0 = -0*r + 2*r - 70. Let p = 61 - 17. Let z = p - r. Solve 2*i + i - z = 0 for i.
3
Let w = 8 + -15. Let z = w + 7. Let x(s) = -s**2 - 7*s + 2. Let r be x(-7). Solve z*m = -r*m - 6 for m.
-3
Suppose -207*t - 5*v + 1 = -205*t, t - 1 = -2*v. Solve t*m = -2*m - 2*m for m.
0
Let w(n) = -3*n + 24. Let h be w(-1). Solve h = -27*m + 36*m for m.
3
Let m = -225 + 227. Solve -3*n + m*n = 0 for n.
0
Let p(s) = -s**3 - s**2 + s + 12. Let n be p(0). Suppose -2*k - 6 - 2 = 0, -3*x - 15 = -3*k. Let u = x + 11. Solve n = -u*y - 2*y for y.
-3
Let f(l) = l**2 + 28*l - 150. Let d be f(-33). Solve -5*x + d = -0*x for x.
3
Let k be -6*18/27*(-6)/8. Suppose 0 = 4*r - 0*r - 2*g - 6, 4*r + 9 = -k*g. Solve 5*h + 2 + 3 = r for h.
-1
Let u(w) = w**3 - 6*w**2 - 6*w + 13. Let g be u(6). Let k = -15 - g. Solve -f - f - k = 0 for f.
-4
Let r(n) = -2*n**2 + 10*n - 14. Let w be r(3). Let z be 2 + -4 + 9 + w. Solve 1 = z*x - 4*x for x.
1
Suppose -2*x - 8*x + 220 = 0. Suppose 4*z - 2*k = x, 0*z - z - 2*k = -13. Solve 3 - z = -4*t for t.
1
Suppose -3*p - 24 = -4*p. Suppose -p = -0*f - 6*f. Solve -j - j = f for j.
-2
Let h be 4/42 + (-26)/273. Solve h = -32*u + 29*u - 12 for u.
-4
Let w(u) = -6*u + 103. Let b be w(12). Solve -23 + b = -4*z for z.
-2
Let g be 3 + -5 + 3 - -3. Suppose 0 = g*i + i. Let y be (-3)/24*2 + 105/20. Solve -y*a - 25 = -i*a for a.
-5
Let d(h) = 6*h + 6. Let l be d(6). Let m = l - 40. Solve -2*v - m*v = -20 for v.
5
Let y = 462 - 458. Solve 4*p - y = -16 for p.
-3
Suppose 0 = 8*z - 151 + 111. Solve -11*g - z = -16 for g.
1
Suppose -3*z + 176 = -181. Let l = z + -116. Solve -i - l*i = 0 for i.
0
Let j(g) = -g**3 + 5*g**2 + 3*g - 14. Let p be j(5). Let w be 4/2 - (5 + (-8)/p). Solve 3 = -w*x - 2 for x.
-1
Suppose -20*f - 85 = -245. Solve -f = 5*j - 33 for j.
5
Let d(l) = -3*l - 3. Let g be d(-1). Suppose g = -2*u - 3*v + 2*v, -4 = -2*v. Let c be (-1 - u)/(2/(-1)). Solve -5*j + c*j - 10 = 0 for j.
-2
Let p(j) = -2*j**3 + 2*j + 2. Let k be 85/(-20) - -4 - (-2)/8. Let i be p(k). Solve -4*b + i*b = -2 for b.
1
Suppose 5*w - w + 4 = -m, 4 = -2*w. Suppose -h + 10*u = 6*u - 5, -5*h = u - m. Solve 2*s - 3 = h for s.
2
Let x = 203 - 197. Solve -7*c - x = -13 for c.
1
Let b(i) = -i**3 + 18*i**2 - 30*i - 32. Let t be b(16). Solve 0 = -t*w - 3*w + 3 for w.
1
Let v(z) = -z + 2. Let f be v(2). Suppose f*h + 5*h = -120. Let a be (-32)/h - 8/6. Solve a = 4*c + c for c.
0
Suppose 19 = -2*o + 3*k + 47, -3*o - k + 20 = 0. Solve 7*i + 2 = o*i for i.
2
Let q(j) = -j**2 + 6*j - 2. Let g be q(5). Suppose 4*f = -2*y + 16, -3*y + 18 = g*f - 0*y. Let l = 722 + -717. Solve -l = -k - f for k.
3
Let x be 0 - (-6)/10 - 51/(-15). Let r be (6/(-4))/(7/(-14)). Suppose c + r*c = x. Solve -5*s + c + 4 = 0 for s.
1
Let n(a) = 2*a - 6. Let h be n(5). Let q = 57 + -54. Solve -q = -y + h*y for y.
-1
Let i(h) = 7*h + 49. Let b be i(-7). Solve -u + b*u = 0 for u.
0
Suppose -4*c = -0*c - d - 38, -2*d + 41 = 5*c. Solve -32*b + 35*b = -c for b.
-3
Let g be (-2 + 1)*(3 + (-12)/4). Solve 2*v + 0 - 6 = g for v.
3
Let i = -331 + 342. Solve -7*v + i - 18 = 0 for v.
-1
Suppose 64*x - 53*x = 33. Solve -x*r + 2 + 13 = 0 for r.
5
Suppose -18*i + 394 = 34. Solve 23*n = i*n + 15 for n.
5
Suppose 2*s = 3*v + 2, 0 = -5*s - 0 + 5. Suppose -5*o + 5 + 5 = v. Solve 4*n - o = 2*n for n.
1
Let u = -3 + 8. Let s(p) = 89*p**2 - 1. Let v be s(1). Let c be 16/v - 260/(-22). Solve -c = -u*a + 2*a for a.
4
Let b(f) = f**2 + f + 2. Let w be b(5). Suppose -3*o = 9 - 9. Solve o = 5*t - 12 + w for t.
-4
Let q be ((-28)/(-7) + -4)*(-3 + 4). Solve 0 = -q*s + 12*s + 60 for s.
-5
Suppose 69*p = 70*p - 15. Solve 0 = 2*c - 13 + p for c.
-1
Let p be -7*9*(-8)/84. Suppose -p*h + 16 + 8 = 0. Solve -2*q + 4*q + h = 0 for q.
-2
Suppose 86 = 12*l - 202. Solve -l = -8*j + 2*j for j.
4
Let y = 1786 - 1777. Solve y = 4*b - 3 for b.
3
Let l = -33 - -40. Suppose -3*k + l + 2 = 0. Solve -2*j + 3 = -k for j.
3
Let d = 15 - 11. Let g = 86 - 40. Let x = 50 - g. Solve -5*f = -x*f - d for f.
4
Let n(k) = -1 + 3*k**2 - k**2 + k - 2. Let a be n(-3). Let w(x) = -10*x - 130. Let g be w(-13). Solve 3*i + g*i = a for i.
4
Let d(m) = -2*m + 3*m**2 - 5*m + 8*m**2 + 4 + 6 - m**3. Let i be d(10). Suppose 2*v + 4*r - i = 0, v = -2*v - 2*r + 44. Solve 2*c = -c - v for c.
-4
Suppose 14 = 2*k - 32. Suppose 0 = 3*a + 3*f + 6, 4*a - 5*f - 4 - 6 = 0. Suppose a*j - 19 = -2*s + 3*j, -5*j - k = s. Solve 0 = -v - 0 - s for v.
-2
Let s(y) = -2*y**2 - 3*y + 2. Let l be s(-2). Suppose 0 = 3*b - l*b. Solve -3 = -3*h - b for h.
1
Let k = -37 + 33. Let a(q) = q**2 - 8. Let h be a(k). Solve h = r - 5*r for r.
-2
Let q = 7 - 5. Let h(t) = t**2 + 11*t - 16. Let j be 13/((-2)/(-6)*(-6)/2). Let x be h(j). Solve -q*g - 3*g - x = 0 for g.
-2
Suppose 18 = 3*z - 3*q, -8 - 32 = -2*z - 5*q. Solve -4*s - 6*s = -z for s.
1
Let c(l) = 2*l**3 - 25*l**2 + 30*l - 7. Let j(i) = -i**3 + 12*i**2 - 15*i + 4. Let d(t) = 3*c(t) + 7*j(t). Let g be d(7). Solve -3*k = -g*k + 6 for k.
-2
Suppose 7*r = 6*r. Solve r*l + 12 = -6*l for l.
-2
Let z be -4 + (4 - (-2 + 0)). Suppose b = -3*b + 4*m + 4, 0 = z*b + 2*m - 10. Solve 0*c + b = -c for c.
-3
Suppose 0*l - 8 = -4*l. Let w be 2/(l + (-8)/6). Let s = -120 + 122.