- 7. Let n = s + -2. Solve n*v - q = 1 for v.
1
Let h be 5/(14/(-5) + 3). Suppose -2*l - 4*i + i + h = 0, -l + i + 5 = 0. Solve -2*n + 0*n = -l for n.
4
Let l(q) = 11*q**2 - 5*q. Let u be l(1). Solve u*j - 10*j = -8 for j.
2
Suppose 3*b + 2*q = 13, 0 = 13*b - 18*b + 2*q + 11. Suppose -1 = -3*k + 2*k. Solve k = b*u - 11 for u.
4
Let l(u) = 3*u - 26. Let x be l(4). Let q be (x - (3 - -1))/((-6)/4). Solve -2*y - q = -5*y for y.
4
Let l = 24 + -21. Suppose 0 = -w - j - 6 + l, -3*j = w + 9. Solve 8 = -w*a + 2*a for a.
4
Let s = 322 + -317. Solve -s*l = -8*l + 12 for l.
4
Let o(u) = u + 3. Let l be o(6). Suppose l = -4*y + 33. Solve 3*b = -y - 6 for b.
-4
Suppose 16*g = 126 + 18. Solve g*h - 10 - 8 = 0 for h.
2
Let h be (-378)/15 + 1*(-1)/(-5). Let r = h - -31. Solve 20 = y - r*y for y.
-4
Let c be (-1367)/(-7) - (-10)/(-35). Suppose -4*j - c = -55. Let m = j - -51. Solve 2*k - m = 6*k for k.
-4
Suppose 0 = -4*m - 10 + 26, 5*m - 36 = -4*z. Suppose -a = 2*g - 4, -6*a + 10 = z*g - 5*a. Solve y = -1 - g for y.
-4
Suppose 553 = 51*k + 145. Solve 4*d - 8*d = -k for d.
2
Let r be 0 + 22 + 0 + 1. Suppose -2*k + 49 = 12*f - 13*f, 3*k = -f + 66. Let v = r - k. Solve -3 = -v*w + 3*w for w.
-1
Let n be (-8 + (-1)/(-1))*6/(-21). Solve -14 = -4*j + n for j.
4
Suppose -18*h = -19*h - 39. Let v = 21 + h. Let b = v + 18. Solve 0 = -b*c + 5*c + 5 for c.
-1
Let z = 1565 - 1550. Solve 0 = 34*w - 37*w - z for w.
-5
Suppose -2*g - r - 24 = -0*g, 5*r = 2*g. Suppose 3*n - 4*j - 44 = 0, -3*n - 5*j = -n - 14. Let b = g + n. Solve -3*h - b*h = 0 for h.
0
Let i(z) = z + 12. Let c be i(9). Suppose -4*a = -a - c. Solve 3*r + 8 = -a for r.
-5
Suppose -9*c + 186 = 114. Solve -22*d = -20*d - c for d.
4
Suppose 8*u = 2*f + 5 - 35, -5*u - 49 = -4*f. Solve -2*n = f - 19 for n.
4
Let n(t) = -12*t - 558. Let l be n(-61). Solve -5 = -l*c + 173*c for c.
5
Let x = -31 + 43. Let u be 5/((-270)/x) - (-202)/18. Solve -2*l - 1 + u = 0 for l.
5
Let s = -22 + 22. Let p(o) = -o**2 + 6*o + 4. Let j be p(6). Let g be 1/(2 + 3/(-2)). Solve s = -g*y + j - 0 for y.
2
Let u(h) = -2*h**2 - 17*h - 8. Let r be u(-8). Solve r = -11*s - 4 + 4 for s.
0
Suppose -2*m = 5 + 3, 4*x - 12 = 4*m. Let z be (x - -11) + 4 + -8. Solve 2*l = -z - 2 for l.
-4
Suppose -t - 1 = 0, 4*x - 3*t = -6*t - 87. Let m be 0 + 2 + -5 - x. Let f = m + -13. Solve f*s = -22 - 3 for s.
-5
Suppose -42 = -4*k - 3*k. Solve 0 = -2*o - k for o.
-3
Suppose -30*m + 33*m = 12. Solve 6*y - 8 = m*y for y.
4
Suppose 4*s + 152 = 8*n - 4*n, -4*s - 111 = -3*n. Solve -n*i = -36*i - 25 for i.
5
Let w(h) = h - 5. Let o be w(8). Suppose -2*x + 5*g - 4*g = -2, -24 = -4*x - o*g. Solve 5*t + x = 4*t for t.
-3
Suppose 0 = l + l - 24. Let j = -14 + l. Let p(v) = v**3 + 3*v**2 - 1. Let d be p(j). Solve -d*m = -0*m + 6 for m.
-2
Suppose -10 + 43 = -3*d. Let s(u) = -u**3 - 8*u**2 + 10*u. Let i be s(-9). Let a = i - d. Solve 3*o = -a*o + 25 for o.
5
Suppose 13*j - 14*j + 3 = 0. Suppose 3*n - 44 = 5*p, j*p = -0*n + 4*n - 66. Solve 5*k + n = 3 for k.
-3
Suppose -67 + 227 = -5*t. Let c = t + 35. Solve -2*z - 3 = c for z.
-3
Let o be (-1)/(-6)*-3*-178. Let l = -87 + o. Solve 4*b + 18 = l for b.
-4
Let x(l) = -3*l**2 + 4 - 8*l - 7*l - 1 - 1. Let z be x(-5). Solve 0 = -z*t - 6 - 2 for t.
-4
Let i(x) = -6*x - 222. Let h be i(-43). Solve h = 6*w - 18*w for w.
-3
Suppose -3*i + 7 - 1 = 4*m, 2*m - 4 = -2*i. Solve m = 14*n - 15*n + 3 for n.
3
Suppose 0 = -5*a + 3*a - 18. Let b(n) = n**3 + 10*n**2 + 7*n + 6. Let f be b(a). Suppose f - 64 = -5*z. Solve -k = k + z for k.
-4
Let y(a) = -3*a - 3. Let f be y(-15). Solve -15*s - f = 3 for s.
-3
Let d = 4 - -22. Let h = -24 + d. Solve 0 = -0*t - h*t - 2 for t.
-1
Let t(a) = a - 11. Let z(i) = -3*i + 21. Let d(x) = -5*t(x) - 2*z(x). Let s be d(7). Let k(p) = p**3 + p**2 + 6. Let b be k(0). Solve -b*l - s = -l for l.
-4
Let k be ((-12)/(-16))/(2/8). Suppose 10 = -m + k*m. Suppose -4*l = -n - 55, -10*n = 5*l - 7*n - 90. Solve l = -5*f - m for f.
-4
Let u = 0 - -8. Suppose o - u = -5. Suppose 42 + 0 = o*x. Solve 5*w + x = -1 for w.
-3
Let j(y) = -7*y - 2. Let l(n) = 12*n + 5. Let i(p) = -5*j(p) - 3*l(p). Suppose -3*q + 44 = -4*r, -18 = r - 2*q - 2. Let k be i(r). Solve 9 - 24 = -k*c for c.
5
Let g(t) = t + t - 1 - 3 - 3. Let y be g(5). Let q be ((-24)/(-18))/(4/6). Solve 15 = q*f + y*f for f.
3
Let a(v) = -v + 62. Let i be a(-5). Let c = 69 - i. Let t = 2 - 2. Solve -c*y = -t*y for y.
0
Let j = 1 - -2. Let g(p) be the second derivative of p**4/6 - 4*p**3/3 + p**2 + 13*p. Let r be g(4). Solve -r*a - j = 1 for a.
-2
Let z = -155 - -87. Let j = -68 - z. Let y be ((-4)/(-6))/((-1)/(-3)). Solve -y*d + d = j for d.
0
Let o = 184 - 174. Solve -4*u + 2*u = -o for u.
5
Let v(z) = 4*z**2 + z + 1. Suppose -11 = 3*f - 8. Let h be v(f). Solve 11 + h = -3*y for y.
-5
Suppose -190*a + 378 = -176*a. Solve 0 = 3*q + 15 - a for q.
4
Let y be 8/2*2 + -1. Suppose 2*z = 5*l - 2 - 28, -z + 5 = 0. Let a(m) = m**3 - 9*m**2 + 9*m - 4. Let x be a(l). Solve x*q = -y - 5 for q.
-3
Suppose -k + 4*u - 18 = 0, 11*u - 5 = 10*u. Solve k*l + 3 = 9 for l.
3
Let s(i) = 6*i + 190. Let l be s(-31). Solve -5*u - 5 = -l*u for u.
-5
Let b be 9 + (8 - 7) + -10. Let d = -6 + 18. Solve 4*x = -b + d for x.
3
Let v = -49 + 55. Let o be (40/(6/3))/(v/3). Solve 10 + o = 5*s for s.
4
Let d(i) = i**3 - i**2 - 7*i + 2. Let o be d(4). Let r = o + -17. Solve -4 + r = -y for y.
-1
Let n be 24 + (5 - 98/7). Solve n*a = a + 56 for a.
4
Suppose 2*x = 3 + 13. Solve -7*t + x*t + 3 = 0 for t.
-3
Let l = 24 - 24. Suppose 1 = g - 4*f, 3*g + l*g - 3*f - 3 = 0. Let o be -6*g*2/(-4). Solve -2*j + o = j for j.
1
Suppose 3*o = 2*g + 13, -4 = 5*g + 6. Solve o*k = -0*k + 6 for k.
2
Let u be ((-20)/3)/(-2 + 15/9). Suppose -4*h + 4 = 0, -5*h + u = 2*t + 5. Solve 2*p - 7*p = t for p.
-1
Let y be 1*(-3 + 3) + 9 - 3. Let p be y*(-10)/45*-3. Solve -16 = -p*t + 8*t for t.
-4
Let f = -49 + 52. Suppose 29 = 8*g - f. Solve 0*h - h = g for h.
-4
Suppose 22*p = 2*p - 0*p. Solve -3*f + 14 - 17 = p for f.
-1
Let n = -220 + 227. Solve n = -2*v - 5*v for v.
-1
Let d(f) = 4*f**2 - 16*f + 4. Let z be d(4). Suppose -z*q + 9*q = 0. Solve q = -g - 3 for g.
-3
Let g be 2/7 - (-24)/14. Let k(p) = -p**2 + 3*p - 2. Let d be k(2). Solve d = -r - r + g for r.
1
Let b(k) = -6*k - 51. Let i be b(-9). Solve i*j + 7 = 4 for j.
-1
Let j = -2 + 2. Let x = j - 0. Let f = -154 - -163. Solve 3*i = -x - f for i.
-3
Suppose 1 + 7 = 2*u + 2*o, 3*u + 13 = 2*o. Let m be 2/(1 + 1) + u. Solve m*z - 4*z = -4 for z.
1
Let c(t) = -t**3 + 25*t**2 - 22*t - 44. Let b be c(24). Solve -3 = -b*r - 23 for r.
-5
Let j(q) = -q - 4. Let x be j(-10). Let u be 0 + (-7 - -16) + (-5)/1. Solve -6*y = -u*y - x for y.
3
Suppose -4 = c - v - 2, -v - 1 = -2*c. Solve -c*h - 2 + 5 = 0 for h.
1
Suppose 4*r - 4*s - 15 = 1, -12 = -r - 3*s. Solve 3 = 9*t - r for t.
1
Suppose 63*i - 449 = -134. Solve -2*u + i + 3 = 0 for u.
4
Let o be (8/(-16)*34)/((-2)/2). Solve o - 17 = w for w.
0
Let m be -43 + 43 - (-15 - -1). Solve -m + 34 = 5*v for v.
4
Let f be 9*(4/12 - 0). Suppose f*b + 2*b = 0. Solve b*z = z - 5 for z.
5
Let j(z) = -z**3 - 7*z**2 - z - 1. Let c be j(-7). Solve -c*w + 2 = 8 for w.
-1
Let b = -1069 + 1073. Solve 8*z - 4 = -b for z.
0
Let d(m) = -m**2 + m. Let y(q) = -3*q**2 + 6*q + 3. Let h(n) = -2*d(n) + y(n). Let c be h(-3). Let u = c - -20. Solve 3 = -p - u for p.
-5
Let a be ((-504)/108)/((-1)/12). Solve 60*s = a*s + 16 for s.
4
Let u be -38*(2 + 25/(-10)) - 1. Solve u*p - 13*p - 15 = 0 for p.
3
Let r(d) = -3*d - 4. Let x be r(-3). Suppose -55 = -5*a + 6*o - o, -a + 27 = 3*o. Let b be a/(-20) + (-444)/(-16). Solve -b = -x*j - 7 for j.
4
Suppose 1 = u - 14. Suppose u*o - 12 = 9*o. Solve -2 - o = -d for d.
4
Let m(r) = 3*r**2 + 18*r + 35. Let q be m(-4). Solve q*a + 0 = -55 for a.
-5
Let q = 2622 - 2622. Solve q = l + 5 - 7 for l.
2
Let d(s) = -2*s**3 - s**2 + s + 4. Let x be d(-2). Suppose 10 = 4*a + 5*t, -4*a - 5*t + 2*t = -x. Suppose -n + 5*n = 0. Solve -a*l - 20 = -n*l for l.
-4
Suppose 7*k = k - 756. Let q = k + -102. Let p be (-4)/(-14) - q/84. Solve c = 7 - p for c.
4
Suppose -7*p + 18 = -4*p + 3*o, -4*p + 6 = -2*o. Suppose -p*z + 12 = -2*z. Solve -2*x - z = x for x.
-4
Suppose 18*q - 17*q = 7. Solve -4*a - 3*a = q for a.
-1
Let y(l) = -5*l**3 - 46*l**