7 = 2*l + p for l.
5
Let q = 20 - 14. Let o = 8 - q. Suppose o*j = r + 7*j + 7, 3*r = 3*j + 15. Solve l - 12 = -r*l for l.
3
Let l(a) = 6*a**3. Let n be l(1). Suppose 4*k = n + 6. Suppose k*b = b. Solve 3*h + 0 - 3 = b for h.
1
Suppose 5*y - s - 3*s = -4, 2*s - 2 = -y. Suppose 5*w + 3 - 18 = y. Solve -3*q + w + 0 = 0 for q.
1
Suppose -4*h + 12 = 2*l, 5*l = -2*h - 0 + 6. Let n be 0*(-1 - l/3). Solve -w + 1 = -n for w.
1
Suppose 4 = -2*s - 0*s. Let k(q) = q**2 + 3*q + 2. Let p be k(s). Let c = 1 - -28. Solve -5*w + c - 4 = p for w.
5
Let n be 4/(16/(-2))*-4. Solve -4 = -2*c + n for c.
3
Suppose -30 = -4*g + 5*p, -2*g + 2*p - 6*p + 2 = 0. Let u = -5 + g. Solve -3*q - 24 + 9 = u for q.
-5
Let b(x) = x**3 + 9*x + 1. Let y(s) = s**2 - s - 1. Let m(w) = -b(w) - 5*y(w). Suppose 4*n = -7 - 9. Let o be m(n). Solve 0 = -p + o*p for p.
0
Suppose 3*q + 6*b - 3*b = 12, 3*b = 3*q - 42. Suppose 7 = 5*o - 18. Suppose -o*n = q - 29, -4*x = -3*n. Solve 5*t = x + 7 for t.
2
Let h = -17 - -33. Suppose -3*t - t + h = 0. Let b(r) = -r**2 + 7*r - 5. Let q be b(t). Solve 0 = q*l - 3*l + 8 for l.
-2
Let w(g) = g**2 + 6*g - 1. Let p(m) = m + 3. Let u be p(-9). Let d be w(u). Let i = 2 - d. Solve 0 = -i*s + 6 - 3 for s.
1
Let w(l) = 11*l**2 - l. Let h be w(1). Let a(g) = g**3 + 11*g**2 - 12*g + 1. Let x be a(-12). Solve h - x = 3*f for f.
3
Let r = 2 - -1. Suppose -3*z + 4*b - 8 = -2*z, -27 = -z - r*b. Suppose 2*m + m - z = 0. Solve -11 - m = -3*a for a.
5
Suppose -2*v - 15 = -m, 3*m + v = -6 + 30. Solve -4*s - m - 3 = 0 for s.
-3
Let x = 70 - 64. Solve 3*n - x - 3 = 0 for n.
3
Suppose -3*u - 4*b = -21, -15 = -b - 4*b. Suppose -2*g + g = -u. Solve -g*p + 4 + 2 = 0 for p.
2
Suppose 0 = 3*x - 5*a + 23, 0*x = 2*x + 3*a - 10. Let b be 2 + x/2*0. Solve 0 = 2*v + b - 12 for v.
5
Suppose 0 = -3*u - 5*a + 14, 3*u = 2*u - 2*a + 5. Let g(c) = 4*c**2. Let z be g(1). Solve z*s - u = 5 for s.
2
Let r be ((0/3)/3)/2. Let o be 6/(3 + -1) - r. Solve -o*w = -5*w for w.
0
Suppose -5*c + 5 = -a + 24, -a + c + 15 = 0. Let h be (-500)/(-14) + 4/a. Suppose 5*n - 3*n - 9 = -j, h = 4*j - 4*n. Solve z - 4*z = j for z.
-3
Suppose -3*d = 9, s - 3 = 2*s + 2*d. Suppose n - x = -s*x + 10, 18 = 4*n - 3*x. Suppose -k + 4 = -n. Solve -q + k = q for q.
5
Suppose -2*y = 2*s - 36, 0 = -5*s - 4*y - 33 + 120. Solve -4*v = -v + s for v.
-5
Let w be (3/(-5))/(10/(-50)). Solve w*z - 3 = 9 for z.
4
Suppose -2*p - 4*m = -4*p + 14, 4*p + 3*m - 6 = 0. Suppose p*l + 2*v = -10, -3*l + 3*v + 10 = -5. Solve -4*n + l*n = 0 for n.
0
Let z(t) be the first derivative of t**3/3 - 2*t**2 + 7*t + 2. Let c be z(5). Solve 6*l - c = 2*l for l.
3
Let b = 16 + -14. Let k(y) = -3*y - 1. Let j be k(-1). Solve b*t = -j*t + 4 for t.
1
Let q(g) = 8*g**2. Suppose 2*u = i + 5, -5 - 8 = 5*i - 4*u. Let w be q(i). Suppose -2*n = -w + 2. Solve -n*j + 15 = -0*j for j.
5
Let f = 2 + 23. Let j = f + -18. Solve 3*l - j*l = 4 for l.
-1
Suppose 8*o - 27 + 11 = 0. Solve 0 = -3*r + 14 - o for r.
4
Suppose -6 = 2*g, 0 = 5*m - 3*g - 1 - 13. Solve -m = -b - 3 for b.
-2
Let c = 11 + -7. Let k(d) = -d**2 + 3*d + 1. Suppose 3*f + h - 1 = -0*h, 2*f + h = -1. Let w be k(f). Solve w*a + c = -2 for a.
-2
Suppose -v = -18 + 6. Suppose -2*d = d - v. Let j = d - 2. Solve -j*s = -7*s + 15 for s.
3
Suppose -4 = -0*u - 4*u. Suppose 3*n + u = 13. Let r be -2 + 0 + 3 - -4. Solve -n = -r*x - 14 for x.
-2
Suppose 4*f + 5*k = 3*k + 102, -3 = -k. Let t = 406 - 401. Solve t*l = -f + 4 for l.
-4
Let s be (-2 + 4 - 2)*1. Let g(j) be the first derivative of j**4/4 - j**3/3 + j**2/2 + 7. Let l be g(s). Solve l*d - d = 2 for d.
-2
Suppose 4*p = -3*x + 47, -23 = -2*x - 2*p + 7. Suppose q - t = 7, x = -0*q + 4*q - t. Let b = -25 + 30. Solve -q*y + y = -b for y.
5
Let n(l) = -2*l - 10. Let w be n(-7). Let t(m) = m**3 - 3*m**2 - 4*m + 2. Let s be t(w). Suppose k - 6 = -s. Solve -5*a = -k*a + 4 for a.
-4
Let b be (12/4)/12 + 2/(-8). Let v(n) = n**2 - 2*n + 3. Let j be v(2). Solve -j*i + 9 + 6 = b for i.
5
Suppose -8*z + 4*z = -20. Suppose z*d - 75 = -5*u, 3*u = -2*u + 25. Solve -3*g = 5 + d for g.
-5
Let z be -4 - 14/(-1) - 4. Let d be z/(-33) + (-435)/(-33). Solve 5*r = d + 7 for r.
4
Let l = -5 + 1. Let j = l - -28. Suppose 0*f - m - j = -5*f, 4*m + 8 = -2*f. Solve -4*r + 0 = -f for r.
1
Let o(d) = d**3 + 5*d**2 - 10*d - 9. Let c be o(-6). Suppose 3*m = c - 6. Suppose 0 = -u + 1 + m. Solve -u*t + 8 = -4 for t.
3
Let u be (-11)/(-4) + (-1)/(-4). Let k be (4/(-6))/((-2)/(-36)). Let s = -7 - k. Solve u*p + 8 = s*p for p.
4
Let g(n) = -n**3 + n**2 + 4*n + 7. Let k be g(3). Solve 0 = -w + k for w.
1
Let q = -26 - -32. Solve -3*b - q = -b for b.
-3
Let t = 8 - 11. Let z(a) = -a**3 - 4*a**2 - 5*a - 3. Let m be z(t). Suppose 4*o - 5*o - d + 9 = 0, 0 = m*o + 4*d - 26. Solve 2*s - 7*s = -o for s.
2
Let l be (-1 - (-1 - 1)) + 4. Suppose k + 2*k = 60. Solve 0*g = l*g - k for g.
4
Suppose -5*x + 4 + 6 = 0. Solve x*z + 2 = 4*z for z.
1
Let l(g) = -2*g**2 + 31*g + 18. Let b be l(16). Solve -f + b = f for f.
1
Let o = -23 - -27. Solve 0 = -2*k - 2 - o for k.
-3
Let u(b) = -b**3 + 7*b**2 - 5*b. Let v be u(6). Let i(h) = h**2 - 5*h - 5. Let s be i(v). Let y be 5 - (0 + (s - 1)). Solve y*t - t - 8 = 0 for t.
2
Let h(w) = -w**3 - 4*w**2 - 2*w - 2. Let l be h(-4). Suppose -2*k = -2*g, 2*k = l*k. Let f(x) = x**2 - x + 2. Let m be f(g). Solve m = -z - 3 for z.
-5
Suppose 3*s + 2*w = -s + 8, 5*w - 20 = -3*s. Let m be 10/2*(2 + -1). Suppose 0 = 10*t - m*t - 20. Solve -t*v + s*v - 16 = 0 for v.
-4
Suppose 4*w + 16 = 0, -2*n + 3*w = -0*n + 24. Let z = n - -36. Suppose q = -q + 2*h + z, -45 = -5*q + h. Solve q = x - 4*x for x.
-3
Let o(y) = -y**3 + 6*y**2 + 7*y + 9. Let u be o(7). Suppose 0 = -u*q + 10*q. Solve q = -0*r + 4*r + 20 for r.
-5
Let i(h) = -4*h**2 + 4*h + 4*h**2 + h**2 - 3*h + 4. Let x be i(0). Solve -4 = 2*b - x*b for b.
2
Suppose -21 = 5*g - 6, -4*r = 3*g + 21. Let x be r/12*-4*2. Solve -x*z - 10 = -0*z for z.
-5
Let v = -1 + 1. Solve v = f - 5 + 1 for f.
4
Let h(g) be the second derivative of g**4/12 - g**3 - 3*g**2/2 - 3*g. Suppose 3*w = b - 2*b + 19, -27 = -5*b + 2*w. Let l be h(b). Solve 2*c - 4 = l*c for c.
-2
Let i = 9 + -5. Let w be (-2)/i*0/(-7). Solve 0 = -v - w*v - 1 for v.
-1
Suppose 4*f - 1 = -3*v, 0 = -f - 4*f - 10. Let r = v - 1. Solve -r*h = 3 + 3 for h.
-3
Suppose 5*m - 54 - 16 = 0. Let n = 18 - m. Solve 9 = n*o - 3 for o.
3
Let y(x) = -x**2 - 15*x - 31. Let t be y(-12). Solve w = t*w + 8 for w.
-2
Let t(y) = -y - 5. Let g be t(-5). Suppose -3*h + 14 + 1 = 0. Solve h*m - 15 = -g for m.
3
Suppose 5*k + 29 = -s, 4*k = -2*s + 4*s - 12. Let d = k + 8. Let m be 1 + 0/2 + d. Solve -24 = m*o - 8 for o.
-4
Suppose 0 = x - 5*q - 23, 6 = 5*x + 2*q - 1. Suppose x*w + 2*w = 0. Let h be w/3*3/(-9). Solve 4*t + h = 12 for t.
3
Let f = -3 - -6. Solve 2*t = f*t - 1 for t.
1
Let s(b) = -b. Let w be s(1). Let y be (-2 - w)*-2 + 4. Suppose 2*l = 3 - 1. Solve -f + l = y for f.
-5
Let r be (0 + -5)*((-80)/(-25) - 4). Solve l = -r*l + 5 for l.
1
Let j = 0 + 2. Let s be 5 - (0 + j - 3). Solve s*t - 10 = t for t.
2
Suppose 4*z + 11 - 33 = -2*q, 3*z - 16 = -q. Let g = q - -8. Let p be g/(-15) - 28/(-5). Solve 0 = -p*h - 23 + 3 for h.
-4
Let b = 74 + -62. Solve 0 = r - 5*r - b for r.
-3
Let z(d) = -2*d - 11. Let w be z(6). Let u = 27 + w. Solve -8*f + 4*f + u = 0 for f.
1
Let y be ((-7)/2)/(2 - (-10)/(-4)). Solve -2*h - 5 = -y*h for h.
1
Suppose 3*v - 3*l - 6 = 0, 3 = 3*v - 4*l - 6. Suppose 3 = 5*f - 2*f. Let o be f - (v - -2) - -8. Solve 0 = -o*r + 4*r - 4 for r.
-1
Suppose -5*d - 5*c - 15 = 0, -3*c + 8 = -5*d - 15. Let q be d/(-18) - 43/(-9). Solve -3*f + 7 = -q for f.
4
Let h = 2 + -2. Let z = h - 0. Solve 9 = 3*t - z for t.
3
Let i be (-60)/36 + (-2)/6. Let y be i*(60/8)/(-5). Solve 0 = w + y*w + 16 for w.
-4
Let l be -1 + 1 - -8 - 1. Suppose -11 - l = -3*r. Let j be (-6)/(-21) - r/21. Solve j = m - 2*m - 3 for m.
-3
Let i = -4 - -6. Suppose j - 3 = f - 0, -i*j - 3*f + 11 = 0. Let h be 2/8 - (-15)/j. Solve -h*d + 1 = -7 for d.
2
Let t be 1 - (0 + 1) - -2. Suppose 15*h = 20*h. Solve t*b - 2 = -h for b.
1
Let x = -49 + 53. Solve x*w = w - 9 for w.
-3
Let j(d) be the second derivative of 1/6*d**3 - 1/12*d**4 + 1/20*d**5 - d - 1/2*d**2 + 0. Let x be j(1). Solve x*z = -3*z for z.
0
Suppose o + m = -