 + 0 = 8. Suppose 6*z + 0 + 0 = f. Let s(v) = 5*v. Let x be s(1). Solve n = -z + x for n.
5
Let f = -273 + 285. Solve -f = -13*g + 1 for g.
1
Suppose -4*u - 26 = -d, 5*d + 2*u = 4*d + 2. Solve -8*t = d - 2 for t.
-1
Let l(t) = -t**3 - 16*t**2 - 15*t + 3. Let a be l(-15). Suppose -6*k = a - 27. Solve c - k + 1 = 0 for c.
3
Suppose 2*i + 5*q = 10, 9 - 58 = -3*i + q. Solve -i*f - 14 = -8*f for f.
-2
Let s(p) = 15*p + 51. Let n be s(-2). Suppose -3*i + 2*i = 16. Let t = n + i. Solve t*y - y - 4 = 0 for y.
1
Let y(q) = -q**3 + 4*q**2 + 6*q - 6. Let n be y(5). Let k = -3 - -5. Let g be 16*(n + 3/k). Solve -v + g = -3*v for v.
-4
Let q(g) = -g**2 + 4*g + 2. Let u be q(4). Suppose 0 = -u*l - 8*l + 30. Solve l*j - 9 = -0*j for j.
3
Let j = 112 + -106. Let n be (j - (-56)/(-12))*3/2. Solve n*f - 6 = -f for f.
2
Suppose -3*g + 24 = g. Let j(s) = s**2 - 7*s + 6. Let w be j(g). Solve 4*n - 5 + 25 = w for n.
-5
Let t(q) = q**2 + 8*q + 8. Let o be t(-6). Let f be o/(62/22 + -3). Suppose 0 = -5*z - 5*d - 7 + f, -5*z = -5*d - 25. Solve 3 = -z*b + b for b.
-1
Let n be -2 + 20/(-25)*-5. Solve 2*i + n = 4*i for i.
1
Let j be ((-85)/(-34))/(2/12). Suppose -b = -4*b + 6. Solve b*z + j = -3*z for z.
-3
Suppose 0 = -4*m + v + 28, 0*m + 3*m = -3*v + 21. Let s(a) = a**2 - 7*a + 15. Let z be s(m). Solve -2*k - z = k for k.
-5
Suppose 5*t + 5*n = 8*t + 11, -11 = -t - 2*n. Solve t*w + 1 = 4*w for w.
1
Suppose 61 - 45 = 4*v + f, -f = 3*v - 13. Suppose -2*n = -0*n + 6. Let a be n*((-8)/6)/2. Solve 0 = -v*j + a*j for j.
0
Let x = 277 - 274. Suppose -7*c + 3*c = -16. Suppose -c*m + 3 + 9 = 0. Solve 2*g - x - m = 0 for g.
3
Suppose -5*f = 3*c - 20, -3*f + 6 = 2*c - 5. Solve -f = 4*h + 13 for h.
-5
Suppose 3*s + 12 = 2*x, x - 6*s + 11*s + 7 = 0. Solve 0 = -x*q - q for q.
0
Suppose -10 + 0 = -5*d. Suppose -3*i + 2*q = i - d, 0 = 5*i - 3*q - 3. Suppose i + 10 = 5*z. Solve z = -2*k - 2 for k.
-2
Let b be (-2)/(-6) + 32/(-96). Solve 3*i - 1 + 13 = b for i.
-4
Suppose 273*u - 283*u + 1110 = 0. Solve u*y - 103*y - 24 = 0 for y.
3
Suppose 15 = 5*g, -21*v + 19*v + 5*g = 9. Solve -43 = v*i - 40 for i.
-1
Suppose 132*c - 148*c = -32. Suppose i + 1 = -2*g - 0*i, -i - 1 = g. Suppose g = -5*x - 5*f, 2*f = -4*x + 4*f. Solve x*u - c = -u for u.
2
Suppose g = 2*y - 4*g - 5, -y - 5*g = -10. Let n be 1/3*(-2 + y). Solve -2 + n = -i for i.
1
Let y be 95/20 - 6/8. Solve -y*v + 20 = -9*v for v.
-4
Let z(k) = 13*k + 75. Let t be z(-5). Solve -21*g = -31*g - t for g.
-1
Let a be (-21)/24 - 3/24. Let r be (a/(-3))/((-3)/(-18)). Suppose 0 = g - 8. Solve r*n + g = 6*n for n.
2
Suppose -5*c + 10*c + 232 = -2*i, -4*i + 112 = -2*c. Let r = -45 - c. Solve r*v = -v for v.
0
Suppose 0 - 7 = 2*w - 5*p, -15 = -3*p. Let q(h) = -h**2 + 15*h - 16. Let i be q(13). Let d = i - w. Solve 1 + d = -2*z for z.
-1
Let z(s) = -17*s - 5. Let p be z(-1). Solve p*g - 9*g + 12 = 0 for g.
-4
Let b(r) = r**3 - 5*r**2 + 3*r + 4. Let k be (-1)/((35/(-20))/7). Let y be b(k). Solve -2*m - m - 12 = y for m.
-4
Suppose -x = 2*x - p + 68, p = -4*x - 79. Let c = 24 + x. Solve -c = 4*k - 3*k for k.
-3
Suppose 0 = q - 5*g - 32, 5*q = 2*q + 5*g + 56. Solve b = 8 - q for b.
-4
Let d = 30 - 26. Suppose 0 = -2*n + 10 + d. Solve 2 = -5*k + n for k.
1
Suppose 0*l = -l + 23. Let u = l + 103. Let y be u/27 - (-4)/(-6). Solve -y + 1 = v for v.
-3
Let w(j) = j**3 - 9*j**2 - 10*j. Let p be w(10). Let q = 8 + p. Let b be (q/18)/(20/90). Solve t = -b*t for t.
0
Let n = -519 + 530. Solve 7*z = -3 - n for z.
-2
Let s(x) = x**2 - 7*x + 10. Suppose -2*j + 11 + 2 = f, 9 = 2*j - 3*f. Let z be s(j). Suppose 3*y + 44 - 53 = 0. Solve t = -y*t - z for t.
-1
Suppose 4*s + 26 = 26. Suppose s = 22*y - 24*y. Let o(q) = q + 1. Let z be o(2). Solve 6 = -z*x - y for x.
-2
Suppose -3*s + 8 + 1 = 0, 0 = -3*n + 3*s + 24. Suppose -n*y + 6*y = 0. Solve 2*k - 2 - 2 = y for k.
2
Let m = 203 - 196. Suppose -5*i - 5*o + 37 = -i, 0 = -5*i + o + 10. Solve -m - 8 = -i*k for k.
5
Let k(l) = 2*l - 18. Suppose 2*g - 29 = -3*x, -4*g + x + 28 = -3*x. Let b be k(g). Solve -7*j + b*j = 25 for j.
-5
Suppose 0 = -4*d - 6*m + 5*m + 15, -m + 5 = 2*d. Solve -2*k + 3 = d for k.
-1
Let k = -14 - 0. Let r(u) = -2*u - 9. Let x be r(k). Suppose -4*a + 2 + 12 = -3*j, 3*a - x = -2*j. Solve -17 = 3*z - a for z.
-4
Suppose 0 = 3*u + u + 148. Let k = -37 - u. Solve j + k*j = -2 for j.
-2
Suppose -4*u = -6*u - 2*l - 12, 4*l - 8 = 4*u. Let x be ((-2)/u)/(11/22). Solve 0 = 4*c - x - 3 for c.
1
Suppose 3*p + 5 = 4*q, -2*p - 3*p + 11 = 3*q. Suppose 5*m = -5*a - 10, -q*a - 5*m = a + 10. Let k(c) = 2*c + 2. Let u be k(a). Solve -u*w = -4*w for w.
0
Let n(o) = 2*o - 14. Let x be n(8). Suppose 3*r - 5 - 2 = 2*s, 0 = 5*s - r - 15. Suppose 14 = s*c - x*m - 0, 4*c = -m + 5. Solve h = c*h for h.
0
Let w = -780 + 790. Solve 6*j - w - 2 = 0 for j.
2
Suppose -n = n. Suppose n = -5*t + 5*s + 15, -4*t - 3*s - 6 = -s. Suppose t*r = -4*r. Solve -l + 2*l = r for l.
0
Let b be 6 - (4 + -1) - 3. Suppose -4*n - 3*k - 3 = b, 0 = -5*n + 5*k + 5. Solve n = 5*i - 0*i - 5 for i.
1
Let j(t) = t**3 + 8*t**2 + 4. Let r be j(-8). Suppose -2*x - 10 = -4*l, -r = -x - 5. Suppose c = 3*v - c - l, -25 = -5*v - c. Solve 2*n - v = 2 for n.
3
Suppose -6*q = -5*q - 4. Let w(t) = 19*t**2 + t - 2. Let l be w(1). Suppose v + l = q*v. Solve 0 = 3*x + v + 3 for x.
-3
Let a(q) = -2*q - 4*q**2 + 0 + 3*q**2 - 2 - 26 + q**3. Let o be a(0). Let t = o - -34. Solve -s = t - 1 for s.
-5
Suppose 5*t - 104 = -8*t. Solve t = 4*k - 6*k for k.
-4
Let i = -17 + 20. Suppose 6*r - 5*h + 5 = 8*r, 0 = r + 2*h - i. Solve 0 = r*x - 0 + 10 for x.
-2
Let d be (-1 - 0) + (-3 - -4). Suppose 17*k - 12*k - 15 = d. Suppose 5*s = 4*t + k*s + 4, 3*t = 3*s - 6. Solve -c - 1 + 3 = t for c.
2
Suppose -2*q - 7 = -3*y, -3*y + 11 = 2*y - 4*q. Solve 0*k + y*k - 12 = 0 for k.
4
Let y be -8*1/(6/(-3)). Let h be (15/3 + -5)*1. Solve h*z - 16 = -y*z for z.
4
Suppose 0 = 15*y - 13*y - 78. Solve y*n - 30 = 33*n for n.
5
Let b = 33746 + -33743. Let d be (-4)/14 - (-2)/7. Solve d = -b*o - 3 for o.
-1
Let n be (-3)/(-2)*(-36)/(-27). Let y = n + -2. Let g = y + 6. Solve -l + g = -3*l for l.
-3
Suppose -5*g - 18 = -28. Solve -g*x + 9 = -5*x for x.
-3
Let b be (-7)/(14/64) - 2. Let j be (-12)/(-10)*(-85)/b. Solve -o - 2*o = j for o.
-1
Let v be (-72)/16*-1*6/9. Solve v*f = -10 - 5 for f.
-5
Suppose -2*u = 6*u - 64. Suppose u = 12*b - 8*b. Solve -t - b*t - 9 = 0 for t.
-3
Suppose 0 = -22*v - 13 + 211. Solve 24 = 3*f + v for f.
5
Let s(m) = -m**3 + 3*m**2 - 3*m + 28. Let z be s(4). Solve z = 4*n - n - 6 for n.
2
Suppose 0 = -73*z - 24*z + 30652. Solve -314 + z = -k for k.
-2
Suppose 31 = n - 3*b, 93 = 2*n + n - b. Let i = -28 + n. Solve -k = 2*k - i for k.
1
Let l = -109 + 116. Solve 8*k - 23 + l = 0 for k.
2
Let z(b) = b**3 + 4*b**2 - 23*b - 82. Let q be z(-5). Solve p + 9 = q for p.
-1
Let t = 75 + -43. Suppose 36*k = t*k + 20. Solve 9 + 6 = -k*o for o.
-3
Suppose z = -y + 10, -4 - 21 = -2*y - z. Solve 4*l = -l + y for l.
3
Let r(o) = o**3 + 13*o**2 + 10*o - 20. Let p be r(-12). Let x be p + 1/((-2 - -1)*1). Solve x*q = 6*q for q.
0
Let r be (-3)/(-3) + 19/(-19). Solve r*x + x = -7*x for x.
0
Suppose 3*q = -3*a + 33, a = 11*q - 10*q + 1. Solve 0 = a*t + 18 for t.
-3
Suppose -22*i + 16*i + 24 = 0. Solve 0 = -12*y + 8*y + i for y.
1
Suppose -3 - 3 = -2*o. Let h be (-20)/190 + 78/19. Suppose h*n + o*n = 0. Solve n = -0*k + 2*k + 2 for k.
-1
Suppose -26 = 8*l - 586. Let x be 2/(16/l) - 6/8. Solve 0*q = -4*q - x for q.
-2
Let y(d) be the first derivative of d**4/4 - d**3 + 3*d**2 - 13*d + 15. Let u be y(3). Solve -u*k = -0*k - 10 for k.
2
Suppose 5*l - 3*l - 15 = -3*d, 3*l = 5*d - 25. Suppose 22 - 22 = 8*t. Solve -5*j + d = -t for j.
1
Let q(w) = -4*w**3. Let i be q(-1). Solve i*z - 3 = 7*z for z.
-1
Let y(g) = -33*g - 165. Let z be y(-5). Let j(a) be the third derivative of -a**5/60 - a**4/6 - a**2. Let r be j(-3). Solve r*m + 3 + 0 = z for m.
-1
Let i be 565/35 + (-15)/105. Solve -3 + 67 = i*h for h.
4
Suppose 2*l + 21 = -5*y, 24 = -5*y - 0*y - 3*l. Let i = y - 7. Let b = -6 - i. Solve -b = 5*a + 1 for a.
-1
Suppose 3*x - 39 + 6 = 0. Let k = 17 - x. Solve s = -2*s - k for s.
-2
Suppose 2*u = 5 + 21. Suppose -h = -2*a - 10, h - a - 16 = 3*a. Suppose h*f - u = -1. Solve 0 = -m + f - 7 for m.
-4