 7. Let h be (-2 - (j + 2))*1. Solve -p - p + 6 = h for p.
3
Let p = -16 - -6. Let h = -9 - p. Solve h = 4*l + 5 for l.
-1
Let u be (5 + 1)*(-25)/(-50). Solve -u*p = -0*p - 6 for p.
2
Suppose -20 = -3*s - 2*s. Solve 3*f - 4 = s*f for f.
-4
Suppose 0*h + 3*h - 5*d = 26, 0 = -3*h + 3*d + 18. Solve 17 = -3*w + h for w.
-5
Let i(s) = -3*s**2 - 6*s**3 + 5*s**3 - 6*s**2 + 3. Let x be i(-9). Suppose 0 = -x*c + 4*c - 6. Solve -c - 4 = -5*t for t.
2
Suppose 3*h - 2*h = 12. Suppose -4*b = -5*g + 16, g + h = 5*g - 3*b. Suppose c = 3*f - 11, -3*c - 5*f + f + 32 = g. Solve r - 15 = -c*r for r.
3
Suppose 3*m = -5*v - 50, -5*v - 40 = -v + 2*m. Let n be v/(-6) - 2/(-6). Suppose r = -0 + n. Solve b - 6 = -r*b for b.
2
Suppose 7*r - 4*r - 15 = 0. Suppose -i = i + n - 41, 0 = -n + 3. Suppose i = 3*j - r. Solve j = 4*b - 0 for b.
2
Let t = 0 + 0. Suppose -p = 2*s - 74, -2*s + t*p = 4*p - 86. Suppose -3*j - s = -4*c, -15 + 4 = -c + 3*j. Solve -3*g = -7 - c for g.
5
Let t(b) = -b**2 - 5*b. Suppose -4*k = 2*m + 3*m + 5, 2*k - 3*m = -19. Let j be t(k). Suppose 3*w = -j*w. Solve w*i - 20 = 5*i for i.
-4
Let s(q) = -q - 6. Let f be s(-6). Let p = 6 + f. Solve p = -4*g + 6*g for g.
3
Suppose b - 5*q + 3*q - 12 = 0, 4*b - 2*q = 30. Suppose b*g = g. Suppose 2*n = -g*n. Solve n = i - 1 - 1 for i.
2
Let v(j) = j**3 + j - 6*j**3 + j**3 - j**3. Let n be v(-1). Solve n*l + 8 = -12 for l.
-5
Suppose -4*y + 3*y = 3*g - 2, 4*g + 19 = 3*y. Solve y*k + 8 = 23 for k.
3
Let x = 114 + -114. Solve x*t = 3*t for t.
0
Suppose 2*u - 20 = 7*u - 4*h, -52 = 4*u + 4*h. Let v = -6 - u. Suppose -v*y - 2*n = 2*n + 8, 0 = -2*y + n + 7. Solve 0 = -d + y*d for d.
0
Suppose -6*l + 11*l = 30. Solve m + l = 4 for m.
-2
Let w be (-16)/(-7) + (-8)/28. Suppose -13 = w*u - 1. Let n = -4 - u. Solve 2 - 4 = n*m for m.
-1
Suppose 3*x - 4*b - 6 = 0, 2*x - 2*b = -b + 4. Let v be 8 - 8 - (0 - x). Solve 0 = -2*l - 0 - v for l.
-1
Suppose 4*m + 20 = 8*m. Suppose -2*c - 25 = -7*c. Suppose -40 = -5*h - c. Solve -3*g = -m - h for g.
4
Let o(k) = -k + 5. Let b(l) = -l**3 - 5*l**2 - l - 2. Let g be b(-5). Let n be o(g). Suppose 9 = n*v - 11. Solve -8*j + v = -3*j for j.
2
Let f = 2 + 2. Suppose l = -z + 8, 3*l - 5*z - 41 = 15. Solve -f*s = -s + l for s.
-4
Let c = 154 + -135. Suppose -a + 2*m = -10, 9*m - 4*m = a - 19. Solve -3*j = -a + c for j.
-5
Let y(j) = j**3 - 6*j**2 + 7*j - 5. Let x = -7 - -12. Let w be y(x). Solve -w*s + s + 8 = 0 for s.
2
Let q = 73 - 69. Suppose -3*f + 2 = -16. Solve -q*o = -o - f for o.
2
Let f = -170 - -176. Solve -f*y + 8 = -4*y for y.
4
Let r(b) = -b**2 - 4*b + 1. Let i be r(-3). Suppose i*u = 3*u + 2. Suppose -u*j = j. Solve j = -2*a + 3*a - 1 for a.
1
Let j be 4/((-8)/(-12)*-3) + 4. Solve -j*v = -7*v + 25 for v.
5
Suppose -2*y + 5 + 5 = 0. Solve -y = -2*p - 3 for p.
1
Let x be (-25)/(-2)*(-36)/15. Let u be (-6)/(-5) + 6/x. Solve 5*h + 9 = -u for h.
-2
Let o = 40 - 20. Solve o = 3*c + c for c.
5
Let i be (-7)/(-2) + ((-44)/(-8))/11. Solve 3 = i*q - 9 for q.
3
Let z = -15 + 20. Solve 0 = -z*p + 17 - 2 for p.
3
Suppose k = -k + 6. Suppose -k*n - 3 + 15 = 0. Solve 0 = -n*d + 20 - 4 for d.
4
Let h(m) = 5*m**2 + 1. Let s be h(1). Let r(l) = -7*l**2 + 6*l**2 + 6 - s*l + 0*l. Let a be r(-6). Solve k - 25 = a*k for k.
-5
Let u(v) = -10*v + 13. Let p(s) = 3*s - 4. Let f(d) = 7*p(d) + 2*u(d). Let w be f(4). Solve 3*o = -w*o - 20 for o.
-4
Let z = 8 - 12. Let s = 7 + z. Let g = -3 + s. Solve g*o + 8 = -4*o for o.
-2
Let k be 6/((18/(-15))/3). Let y = -9 - k. Let z = 8 - y. Solve 3*a = a - z for a.
-1
Let w(t) = -t + 1. Let p be w(1). Let r be (-2 - -1)/(-1) + -1. Suppose -s + 0*s + 4 = r. Solve s*y + 2 - 6 = p for y.
1
Let c(u) = 4*u**3 - 2*u**2 + 2*u - 1. Let m be c(1). Solve m*k = -0*k + 9 for k.
3
Let c(t) = t**3 + 7*t**2 + 5*t. Let j be c(-7). Let m = -19 - j. Solve 0 = 3*b - m + 1 for b.
5
Suppose -5*q + 5*i - 20 = 0, i + 2*i = 2*q + 12. Solve j + q - 5 = 0 for j.
5
Let l(c) be the second derivative of -c**5/20 - 7*c**4/12 + 3*c**3/2 + 4*c**2 + 6*c. Let z be l(-8). Solve g + 3*g - 16 = z for g.
4
Suppose 10*g - 5*g - 4 = -3*j, 2*g = -3*j - 2. Let u be 4/4 + 2/(-2). Solve g*o = -u*o + 4 for o.
2
Suppose -2*l = 2*l + 20. Let f = l - -5. Suppose -3*d = -f*d. Solve d = 5*t + 12 + 8 for t.
-4
Let c(n) = n**2 - 8*n + 9. Let q be c(7). Solve -q*s - 3*s = 0 for s.
0
Let z be ((-8)/(-3))/(34/(-153)). Let f be -4*3/z*2. Solve 3*v - f*v = 2 for v.
2
Let k(v) = v**3 - 6*v**2 - v + 8. Let b be k(6). Solve b*f - 7 = 1 for f.
4
Let a(f) = -f + 3. Let t(l) = 2*l - 3. Let q(v) = 4*a(v) + 5*t(v). Let j be q(3). Let b = -6 + j. Solve b = u + 2*u for u.
3
Let t(p) = -2*p**2 + 37*p + 19. Let r be t(19). Solve r = 7*d - 4*d - 3 for d.
1
Suppose -4*u = -3*u - 4. Let r be (-6)/4*20/(-6). Suppose r*y - 25 = g, 0 = y - u*y + 15. Solve -5*m = -g*m - 10 for m.
2
Let z(l) = -7*l**2 + 3*l**3 + 7*l - 2*l**3 + 0*l - 2. Let j(w) = -2*w + 2. Let y be j(-2). Let i be z(y). Solve -i*o + 6 = -o for o.
2
Let m = -22 - -27. Suppose d - 25 = -m*n, -4 + 24 = 4*n + 2*d. Solve g + n = -0 for g.
-5
Let d be (-22)/55 + 24/10. Solve -x - x = d for x.
-1
Suppose -t = -0*t - 3. Let v be -1 + (-3 - 0) + 6. Solve 0 = t*g - 5 + v for g.
1
Let t be 30/(-9)*(-12)/10. Suppose -1 + 73 = t*g. Suppose 0*a - a - g = -4*j, -3*a - j + 11 = 0. Solve a*k = -7 + 1 for k.
-3
Suppose 0 = -2*j + 2*m - m - 2, j - 8 = -4*m. Solve i - 2*i - 1 = j for i.
-1
Let f(i) = i. Let o be f(2). Suppose -4*u - 8 = -5*u - o*p, -2*p - 16 = -5*u. Suppose -5*z + 2*v - 2 - 1 = 0, v = u*z. Solve z = -4*k + 5 for k.
1
Let o = 5 + 0. Suppose -z + l = 2, -6*z + 6 = -2*z + 3*l. Solve z = -o*h + h - 8 for h.
-2
Let n(m) = -6*m - 1. Let h be n(-1). Solve h*w + 0 = 5 for w.
1
Let c = -3 + 6. Let d = c - -1. Let r(u) = -u - 3. Let t be r(-3). Solve 2*g - d = -t*g for g.
2
Suppose -13 = -4*q + 7, 3*m + 4*q = 29. Solve -m = 2*k - 13 for k.
5
Suppose 2*x - 2 = 4*m, x = -2*x - 3*m + 12. Solve -4 = x*l + 2 for l.
-2
Let k = -5 - -30. Let w be 5/(-2)*(-40)/k. Solve -w = -i - 2 for i.
2
Let y(v) be the second derivative of 0 + v**2 - 4*v + 1/2*v**3. Let b be y(3). Solve -2*d - b + 1 = 0 for d.
-5
Suppose 4*s - 5 = -13. Let f be 2/(-4*s/8). Solve f + 3 = -h for h.
-5
Let x be (((-80)/6)/4)/((-2)/9). Solve 4*w - x = 5 for w.
5
Let o(w) = -5*w - 36. Let m be o(-8). Solve -m*j + 16 + 4 = 0 for j.
5
Let n = -667 + 671. Let y(v) = 3*v**2 + 1. Let b be y(-1). Suppose 0 = -7*l + 2*l. Solve l = 4*q + b + n for q.
-2
Suppose -3*u - 15 = -6*u. Solve 6 = u*z - 9 for z.
3
Let v(w) = -w**2 - 3*w + 7. Let p be v(-5). Let o be -3 + p + 4 - -3. Let l be ((-33)/9)/((-2)/6). Solve 3*f = -l - o for f.
-4
Let d(m) = -10 - 2*m + 2*m + m. Let c be d(0). Let p be (-1*5)/(2/c). Solve p = -8*s + 3*s for s.
-5
Suppose 27 = 5*z - 2*z. Suppose y - z = -4. Solve 4 = y*i - 4*i for i.
4
Let w = -12 - -12. Solve w*y + 2*y - 6 = 0 for y.
3
Let b(q) = -q**3 + 4*q**2 + 5*q - 6. Let u be b(5). Let d(m) = -m**3 - 5*m**2 + 4*m - 8. Let f be d(u). Solve -f = -x - 3*x for x.
1
Suppose 0 = 3*i, 3*i - i - 10 = -2*o. Solve 6*w = w - o for w.
-1
Suppose 4*i = 2*z - 10, -3*i + 4 - 1 = 2*z. Solve -3*w = -0*w - z for w.
1
Let j(u) = -u**3 + 2*u + 1. Suppose 2*n + 5 = s, s - 2 = -4*n - 3. Let p be j(n). Solve 1 = d - p for d.
1
Let q = -4 - -3. Let n be (q - -3) + (-6)/(-2). Solve -2*c = -5 - n for c.
5
Let k be (-2 + 7 + -10)*(-2)/5. Solve -3*b + k = -1 for b.
1
Let i(n) = -9*n - 4. Let m be i(-2). Let z = m + -12. Solve z*b = -2*b for b.
0
Let c(i) = -i - 6. Let l be c(8). Let k = l + 20. Solve 2*t = k*t + 16 for t.
-4
Suppose 0*l = -l + 2. Suppose 2*k + 26 = 6*k - 5*b, -4*k + 14 = b. Suppose 5*q + 5*t - 10 = 0, 0 = -5*q - k*t + 1 + 13. Solve -q = -0*w + l*w for w.
-3
Let w = 24 + -16. Solve 5*q + w + 7 = 0 for q.
-3
Let t(k) = k**2 - 2*k + 3. Let c be t(0). Solve 0 = -c*o + 6 - 21 for o.
-5
Suppose -5*m + 4 = 9. Let f be m/(12/15 + -1). Solve 3 + f = 2*d for d.
4
Let u be 9/((-45)/(-50)) - 4. Solve 2*c + 2 = u for c.
2
Let r(a) = a**3 - 7*a**2 - 9*a + 11. Let j be r(8). Solve 6 = -g + j*g for g.
3
Suppose -8*j - 2*j + 20 = 0. Solve 0 = -j*f - 3*f for f.
0
Let w(k) = 2*k - 2. Let f be w(-1). Let u be -1*12/f*1. Solve u = -5*o + 23 for o.
4
Suppose 0 = -0*m - 3*m + 18. Suppose 5*x - 16 + m = 0. Solve -x + 14 = -3*k for k.
-4
Let w be