 + 3. Let l be y(-7). Suppose -l*c = -16 - 8. Solve -17 = -5*a + c for a.
5
Suppose -4*r - 4*p = -2*r - 60, -r + 30 = -2*p. Suppose 4*w - r = 30. Let c(z) = z + 1. Let v be c(5). Solve q - v*q = w for q.
-3
Suppose 3*o - 5*z = -13, -4*o = -4*z + 4 - 0. Suppose 3*d = -3*a + 6, d + o*a - a = 0. Solve -i = -2 + d for i.
-1
Suppose 4*o - 26 - 54 = 0. Let h = 158 - 154. Solve -s = h*s + o for s.
-4
Let q = 3 - 1. Suppose g - q - 3 = 0. Solve 1 + 4 = -g*o for o.
-1
Let t be (-3 - 1/1) + -1. Let b = -4 - t. Solve o - b + 2 = 0 for o.
-1
Let m be 13 - ((-1 - -6) + -2). Solve -m*u + 15 = -5*u for u.
3
Let v(o) = -2*o**2 + 4*o + 1. Let r be v(2). Solve -j - r = -5 for j.
4
Let d = 46 - 30. Solve -3*p - p = -d for p.
4
Let o be 1/(0 + 1 + -2) + 6. Solve -o*f + 9*f = -16 for f.
-4
Let b be 623/(-35) + 1/(-5). Let m be (3 - 4)*3 - b. Solve -y + m = -4*y for y.
-5
Let x = 18 + -9. Suppose -4*i + 4 = 0, 0 = j + 3*j - 3*i - x. Suppose -6*s + 2*s = -4*o - 16, -3*o = j*s - 24. Solve -s = 3*u + 9 for u.
-5
Suppose 1 = -4*k + 5. Let r(h) = -h**2 + 12*h - 18. Let o be r(10). Solve l + k = o for l.
1
Let o = -6 - -7. Suppose -2 = 2*y - 3*z + 2, 5*y - 15 = -5*z. Suppose -y = -u + o. Solve u*n = 4*n + 8 for n.
-4
Suppose 0 = -2*y - 4. Let g(z) = 3*z - 1. Let u be g(y). Let k = u - -7. Solve k = s + 3*s for s.
0
Let b(i) = -i**2 + 10*i - 18. Let a be b(9). Let f be (12/a)/((-1)/9). Suppose 0*r = 2*r - 10. Solve -v - f = -r*v for v.
3
Let i = 7 + -11. Let r be (1 - i)/(1 + 0). Solve 20 = -5*s + r for s.
-3
Let x be 1/4 - (2 - (-55)/(-20)). Solve 3*k = -x - 11 for k.
-4
Suppose 0 = -2*j + 3*j - 1. Suppose -3*z - 3*a = -7*a - 21, 3*z - 3*a - 24 = 0. Suppose -j = -g + z. Solve 5*c - g = 3 for c.
3
Let z(k) = -2*k**3 - 5*k**2 - 3*k - 3. Let g be z(-3). Let a be (18/g)/((-2)/(-5)). Solve 0 = a*q - 7 - 8 for q.
5
Let o(p) = -7*p**3 - p**2. Let k be o(-1). Solve -3*b = -k*b + 3 for b.
1
Let g(m) = m**3 - 7*m**2 - 7*m - 6. Let l be g(8). Suppose -5*r - 25 = -7*v + 2*v, 3*v - 10 = 2*r. Suppose v = -l*c + 3*c - 3. Solve 0 = -q - c - 2 for q.
-5
Let b = -16 - -19. Solve -b*q + q = 0 for q.
0
Suppose -1 = 8*w - 9. Solve -2*m - 3 = -w for m.
-1
Suppose -14 = -w + 3*q, w + 11 = 2*w - 2*q. Solve 0 = -3*m + 2*m + w for m.
5
Let u be (-8)/(-8)*0/1. Suppose 2*r + 0*v - 29 = -3*v, -5*r - 5*v + 65 = u. Suppose 4*b - r = 2. Solve 5*i = 4*i - b for i.
-3
Suppose 0 = -6*u + 2*u. Suppose 2*n = -u*n. Suppose -2*k = -3*h + 6, -4*k - 4*h + n*h = -28. Solve -k*l = l for l.
0
Let a be (11/33)/(1/9). Solve -a*c - c = -8 for c.
2
Let w(f) = -f**3 + 7*f**2 + 2*f - 1. Let i be w(7). Let o(y) = y + 6. Let j be o(-4). Solve -3*a - j = i for a.
-5
Let i(m) = 2*m**2 + 13*m - 20. Let x be i(-8). Solve -3 = -x*f + 9 for f.
3
Let a = -5 - -7. Let p = 4 - a. Let x(n) = -n**2 - 3*n + 2. Let h be x(-3). Solve -h*l = -0*l - p for l.
1
Suppose 5*o = -2*g + 6*g + 62, -5*g = -2*o + 35. Suppose 0 = -2*d - 2*h - 2 + o, -3*d + 14 = 4*h. Let b = -4 + 7. Solve -d = y + b for y.
-5
Suppose 0 = -2*q - 10, 2*q + 6 = -p - p. Suppose -8 = -p*h - 2*h. Solve -h + 6 = -b for b.
-4
Let h(j) = -j - 13. Let k be h(-9). Let v be k/6 + (-32)/(-12). Suppose -v*x - 6 = -3*a, -a + 5 - 3 = 0. Solve -5*w + 2 + 8 = x for w.
2
Suppose -2*i + 6 = -2*h + h, -12 = -4*h - i. Suppose h*w = 4*w. Solve -5 = v - w*v for v.
-5
Let z be 5 + 0 + (-2)/1. Let l(w) = -4*w + 2*w + w + 2*w. Let y be l(z). Solve -x + y = -2 for x.
5
Suppose 5*t + 3 = 8*t. Solve 4*d = -t - 3 for d.
-1
Let s be 22/33*15*1. Solve s = 2*c - 0*c for c.
5
Let c be 8/56 + (-6)/(-7). Solve 0 = -0*p - p - c for p.
-1
Let v be 239/3 + (-5)/(-15). Suppose 0 = -0*f + 4*f - v. Solve -b = -5*b + f for b.
5
Suppose 0*s - 8 = 2*s + 4*i, 40 = -5*s - 5*i. Let k be (-183)/s - 3/(-4). Suppose 0 = -5*x + 46 - k. Solve -l - x = l for l.
-3
Let i(m) = 2*m**2 - 3*m + 3. Let w be i(2). Suppose 6*s = s + w. Let j be (-2)/(-3)*(s + 2). Solve -j*o + 5 = -o for o.
5
Let d(q) be the first derivative of 1/4*q**4 - 2*q**3 - 3 + 0*q + 7/2*q**2. Let v be d(5). Solve 0*t - 2*t + v = 0 for t.
5
Let v be (-4)/(-22) - 420/(-110). Suppose y - 3 = v*y, -4*i - 5*y = -19. Solve -i*u = -3*u - 15 for u.
5
Let o(v) = -2*v**3 - 14*v**2 - 3*v - 15. Let b be o(-7). Solve 5*i = b + 4 for i.
2
Suppose 2*u + 0*u = 0. Solve 4*t + t = u for t.
0
Let l be (2/1)/2 - -1. Suppose 5*j - 17 = -2*q, 3*q + 3*j - 3 - 9 = 0. Solve h + l = -q for h.
-3
Let n = 54 + -50. Solve -o = o - n for o.
2
Suppose 4*p = -10 - 14. Let s be 3/p*0/4. Solve s = -t - 2 - 1 for t.
-3
Let w be ((3 + -3)/1)/(-2). Suppose -z + 4*z = w. Solve z = -5*d + 10 - 0 for d.
2
Let t = -3 + 3. Let n be -1 + (-3)/(3/(-7)). Suppose 0 = 3*k - 6*k + n. Solve t = -2*g + 4*g - k for g.
1
Suppose -3*k - 10 = -5*b, 0 = -3*k + 3*b - 5*b + 25. Suppose -6 = k*y - 21. Solve -2*u - y = -5 for u.
1
Let q be (-4)/12 + 22/3. Suppose 0 = -2*l - i + 6 + 3, 3*l - 3*i = 0. Let u be -1 - 6/(18/(-15)). Solve -l*v = -q*v - u for v.
-1
Suppose -3*r + 21 = 2*o, o = 4*o + 2*r - 19. Let u(x) = 10*x - 5. Let y be u(3). Solve 8*a - y = o*a for a.
5
Let o be (-8)/(-48) - 1/6. Solve o = i + 1 + 4 for i.
-5
Let o be 1*(2 + -4 - -4). Solve o = u - 0 for u.
2
Let d = -8 - -13. Let m(i) = i**2 + 4*i + 5. Let t be m(-5). Let q = 14 - t. Solve q = -d*x + 9 for x.
1
Let w be (-2)/(-5) - (-648)/30. Let o = 35 - w. Solve -7 - o = 4*n for n.
-5
Let t = 13 + -9. Suppose -4*b = -t*v - 0*b, 2*v = -b + 6. Solve 0 = a + v*a - 9 for a.
3
Suppose -1 = -3*y + 5. Suppose 3*r + 5*f = 22, 4*r - 24 = -2*f - y*f. Let o be 8/3 - 4/(-12). Solve o*n - r = 2*n for n.
4
Let g = -18 - -7. Let f be -1*g/((-22)/(-12)). Let q(i) = -i**3 - 2*i**2 + i - 4. Let v be q(-3). Solve f*x = v*x + 12 for x.
3
Let l(f) = f**3 + 11*f**2 + 5*f - 9. Let h(n) = -n**2 + n + 1. Let b(v) = 2*h(v) + l(v). Let g be b(-8). Solve 3*u - 4 = -g for u.
1
Let b be -2 + 4 + -1 + 3. Suppose f + 5*l = -12, 3*f + l = b*l + 18. Solve -f*t = t - 8 for t.
2
Let s(o) = o + 2. Let l be s(2). Solve -l = -2*z + z for z.
4
Suppose -3*u - 1 = -5*o + 3, 0 = 4*o - 5*u + 2. Solve -o*m + 2 = 4 for m.
-1
Let f(m) = m**2 + 8*m + 16. Let i be f(-6). Solve -j + 3*j - i = 0 for j.
2
Let r(u) = u**2 - 5. Let v = 29 - 26. Let c be r(v). Solve -w = -c*w for w.
0
Let z(j) = -j**2 + 4*j + 13. Let f be z(6). Solve -f + 21 = -4*w for w.
-5
Let m be ((-10)/(-4) - 2)*0. Suppose 0 = 3*l - m*l. Suppose y + y = -j + 2, -5*y - 5*j - 5 = l. Solve 1 = -q - y for q.
-4
Let h be (-3)/(-4)*(-16)/(-6). Solve 0 = -h*f + f for f.
0
Let o be 2/5 + (-7)/5. Let w be (0 + 1)*(o - -1). Solve -5*j - 15 = -w*j for j.
-3
Suppose -6*s = -3*s. Let n be s/(5/(15/6)). Solve 5 = -n*i - i for i.
-5
Suppose -3*o - 12 = 4*m, 0*o = m + 2*o + 8. Suppose -2*l + 1 + 3 = 2*k, 0 = 5*l - 5. Solve m = -x - 6 + k for x.
-5
Let g(a) be the first derivative of -8*a**3/3 - a + 1. Let t be g(-1). Let p be (-57)/t + 2/(-6). Solve p = -7*k + 4*k for k.
-2
Let q(u) = 3*u**2 - 3*u + 2. Let d be q(2). Let g(z) = 1 - d*z + z - 2*z. Let x be g(-1). Solve 0 = 2*w + 2 - x for w.
4
Let n be (-1)/((-2)/8) + (0 - 0). Solve -4 = n*y + 8 for y.
-3
Suppose -4*o - 4 = -2*o - 4*i, o + i - 1 = 0. Solve w - 2*w = o for w.
0
Suppose -2*r + 30 = 4*q, 4 = 2*r - q - 11. Let v = r + -3. Suppose -2*m - v = -3*m. Solve 18 - m = 3*i for i.
4
Suppose -6 - 18 = -4*y - 4*q, -5*y + 5*q + 10 = 0. Solve -y = z - 0*z for z.
-4
Let x(y) = 6*y**3 + y. Let m be x(-1). Let n = m - -11. Let t be 60/(-8)*n/(-6). Solve 3*i = t*i + 10 for i.
-5
Suppose -2*l = 3*l + 50. Let f = l + 16. Solve 4 = -5*u - f for u.
-2
Suppose 5 - 1 = 2*l. Let b be 3/(-3)*0/l. Solve b*u - u + 4 = 0 for u.
4
Let h = 59 + -53. Solve -4 = 2*z - h*z for z.
1
Let g be 2 - (-1 + (2 - 1)). Let d = -116 + 141. Solve 3*n + d = -g*n for n.
-5
Let c(f) = -f - 3. Let j be c(-9). Solve -3*p - j = -0 for p.
-2
Suppose 0 = -5*u - 2*k + 73, -u - 29 = -2*u - 4*k. Let l = u - 8. Solve -2*y + 7*y = l for y.
1
Let d be (20/(-12))/(6/9 + -1). Solve -d*q = -q + 4 for q.
-1
Let o = 0 - 0. Suppose 0 = -o*x + 3*x. Suppose -3*i + x = -6. Solve 7*a + 20 = i*a for a.
-4
Suppose -f + 2*f + 5*g = -30, 2*f + 12 = 2*g. Let a be (-2)/f - 57/(-15). Suppose 2*r - 16 = -2*r + 4*o, -a*r - o = -6. Solve 3*j + r*j - 25 = 0 for j.
5
Suppose -119 - 6 = -5*b. Solve u = -4*u - b for u.
-5
Let f = -5 - -10. Suppose -3*w + 5*