Solve 6 + n = 2*a for a.
4
Suppose 6*z + 99 = 9*z. Suppose 11*l = 12*l - z. Solve l = 5*j + 8 for j.
5
Let k = 17 - 6. Let c(s) = -s + 12. Let t be c(k). Suppose -8 = -3*m - m. Solve -m + t = j for j.
-1
Suppose 33*j - 54 = 6*j. Solve j*i + 0 = 6 for i.
3
Let v be ((-20)/14)/((-60)/210). Solve v*b + 3 = -22 for b.
-5
Let n(j) = 15*j + 30. Let o be n(-4). Let y be (o/(-25))/(0 - (-3)/15). Solve -y*c - 3 = -3*c for c.
-1
Let q be -8*-39*2/24. Solve 13*x - 26 = q for x.
4
Let v(m) = m - 8. Let g be v(13). Suppose -g*a = -a. Suppose -3*d + d = a. Solve 4*t + t = d for t.
0
Suppose 7*g + 43 = 57. Solve 3*u - 5 = g*u for u.
5
Let g = -10 + 22. Let r be 2*-3*(-10)/g. Suppose 2*v = -r*k + 5 + 16, -k = -v. Solve d - v = 4*d for d.
-1
Let o be 3 + -2 + 0/(-4). Let y be o/(-2 + 22/10). Solve -3*m = 2*m + y for m.
-1
Let o(i) = -i - 10. Let g be o(-5). Let z be 216/30 - (-1)/g. Suppose -z + 17 = 5*u. Solve -u*m = -m + 1 for m.
-1
Let y = -100 + 107. Solve 3*a + 1 = y for a.
2
Suppose -a + 8 = -q, 2*q = -13 + 3. Suppose a*n = -n + 12. Suppose n*b + 2*c = 0, 2*b = 4*b - 2*c. Solve -k - k + 2 = b for k.
1
Let r be -2*(-4*(-7)/(-14) - 6). Solve -r = 3*x + 5*x for x.
-2
Let z = 128 + -89. Solve 8*q = 15 - z for q.
-3
Suppose o = -6*u + 2*u + 31, -5*u = o - 36. Solve -4*s - o = 7*s for s.
-1
Let r(g) = g**3 - 3*g**2 - 12*g + 14. Let w be r(5). Solve w*q - q = 15 for q.
5
Let o be 3/2*(-16)/(-12). Suppose o*f = 8, -3*q = 5*f - 18 - 11. Solve 0 = 6*u - q*u + 12 for u.
-4
Suppose -5*v - 5*y + 75 = 0, -8*v + 5*y + 21 = -5*v. Solve -v*u = 2*u + 28 for u.
-2
Suppose -4 = 4*y, -5 = -p + 3*y - y. Suppose 9*o + 28 = p*q + 4*o, -2*q - 4*o - 18 = 0. Suppose b = -q, 0*k + 7 = k - 4*b. Solve 0*i - k = -i for i.
3
Let k be 3*1/(-4)*-4. Let w(f) = 18*f - 14. Let n(m) = 21*m - 14. Let j(g) = -5*n(g) + 6*w(g). Let i be j(8). Solve -k*v = -v + i for v.
-5
Let a be 1 + ((-44)/77 - (-18)/7). Solve 9 + a = -6*s for s.
-2
Let j = 90 - 88. Suppose j*b = 11 - 1. Solve 0 = -4*c - 3 - b for c.
-2
Let k = 24 - -21. Suppose -k = -4*g + 5*d, -9*d = -3*g - 6*d + 30. Solve -g*r = -r + 12 for r.
-3
Suppose 0 = 5*u + 4*c - 7*c - 9, -3*u = -2*c - 5. Solve -u*a - 5 = -11 for a.
2
Let u(y) = y**3 - 5*y**2 - 12*y - 11. Suppose 0 = 5*s + 2*a - 39, s - a - 8 = -3. Let b be u(s). Solve 0 = -3*w - 0*w - b for w.
-1
Let i(c) be the second derivative of c**5/20 + 11*c**4/12 + c**3 - 11*c**2/2 - 2*c. Let a be i(-10). Solve 9 = 4*d + a for d.
-5
Let n = -7 + 17. Let h = -24 + 22. Let q be 1/h - 54/(-12). Solve -2*v - n = -q*v for v.
5
Let o(d) = -5*d**2 - d + 14. Let q(r) = -r**2 + r + 1. Let m(w) = -o(w) + 4*q(w). Let k be m(-7). Solve -14 - 2 = -k*x for x.
4
Let t(b) = -4*b + 5. Let z be t(-7). Suppose -z = -6*h + 15. Suppose 2*y - 4*m = 10, y + 3 = m + h. Solve -5*p = -20 - y for p.
5
Let t(y) = 2*y**2 - 52*y + 79. Let g be t(25). Solve 4*h = g - 21 for h.
2
Let i = 10 + -5. Suppose i*f = -x - 19, 3*f - 2*x + 18 = -f. Let j be 10/f*12/(-15). Solve -j = 2*o - o for o.
-2
Suppose -20 = 5*d, 0*m + 12 = -4*m - 5*d. Suppose 3*p = 6*t - m*t + 12, -5*t = -p + 4. Solve -2 = p*g + 2 for g.
-1
Let x(f) = -f**3 + 3*f**2 - 1. Let v be x(2). Suppose -v*o = 6 - 51. Let l = o + -10. Solve -l*n - 3 + 13 = 0 for n.
2
Let u(o) be the second derivative of o**5/20 + o**4/2 + o**3 + 9*o**2/2 + 2*o - 5. Let j be u(-5). Solve 0 = -w + j*w - 12 for w.
4
Let d be -58*(-4 - ((-1)/2 - 3)). Solve 0 = 11*c + d - 7 for c.
-2
Let d be (2 - 1) + (-25)/(-5). Let q = d - 15. Let g be 54/(-15)*30/q. Solve 0*u = -3*u - g for u.
-4
Let t(s) = -55*s**3 - s**2. Let r be t(1). Let q be (1 + 2)*r/(-14). Solve 3*j + 0*j = q for j.
4
Suppose 3*o - 1 - 2 = 0. Suppose 2*n - 7*n - f = -47, 5*f - o = n. Let d = -9 + 14. Solve -2*t + n = -d*t for t.
-3
Let c(r) be the second derivative of r**3/6 + 11*r**2/2 + 30*r. Let q be c(-3). Solve 0 = -11*l + q*l for l.
0
Let g(d) = -4*d - 7. Let a be g(-3). Suppose a*z = z + 40. Solve 0*j - 5*j + z = 0 for j.
2
Let p = 0 + 1. Suppose -5*t + 10 = 5*z, 16 = 4*z + t - p. Let q(c) = -c**3 + 10*c**2 + 8*c - 1. Let n be q(-1). Solve z*w = n*w for w.
0
Let c = 10 - 26. Let p be c/(-9) - (-12)/54. Solve 8 = -p*b - 2 for b.
-5
Suppose -o = u - 11, -17 = -5*u - 42. Suppose -3*c + 11*c = o. Solve 4 = c*m + 2*m for m.
1
Let w(o) = 46*o - 225. Let s be w(5). Solve -5 - s = -5*z for z.
2
Suppose -d + 2*d = 5. Let r be (-624)/(-40) + 56/90 + 8/(-36). Solve -d*c + c = -r for c.
4
Suppose 12 = z + 10. Suppose 24 = 4*u + z*b, 0*u + 3*b + 12 = 2*u. Solve u*n - 3*n = -15 for n.
-5
Suppose 0 = w - 2*w + 4. Let m = 5219 - 5218. Solve -5*h + m = -w for h.
1
Let c(h) = h**2 + 9*h - 7. Let u be c(-10). Suppose 3*f + 0 - 1 = -z, -u = -3*f - 3*z. Suppose 4*v + 0*v - 48 = f. Solve -4*w = -0*w + v for w.
-3
Suppose 4*x + 168 = 4*a, -a - 4*x + 14 = -43. Solve -49*w = -a*w - 20 for w.
5
Let f(n) = 2*n + 4*n + 2 - 2*n. Let k be f(-1). Let a(r) = -4*r - 4. Let z be a(k). Solve 5 = -z*p - 7 for p.
-3
Let c = -64 - -78. Let q = c + -14. Solve q = -3*t + 2*t - 1 for t.
-1
Suppose -3*o - 10 = -19. Suppose -3*p - 25 = 2*p, -3*k - o*p = 6. Solve -20 = k*d + d for d.
-5
Suppose 5*m = -0*m + 175. Suppose 7*l = 3*l - z + m, -2*l - z = -17. Solve l*v = 6*v + 6 for v.
2
Let t be -3 + 2 + (-6 - -7). Let z be ((-6)/(-4))/(1/2). Solve t = 2*f - 3*f - z for f.
-3
Let o = -1 - -3. Let z(i) = -i**3 + 4*i**2 - 3*i + 1. Let g be z(o). Suppose 1 - 4 = 4*x + 3*y, g*x = -2*y - 2. Solve x = -3*c - 5 + 17 for c.
4
Let h(f) = 2*f**2 + 33*f - 9. Let q be h(-17). Solve i + 3 - q = 0 for i.
5
Suppose 4*z - 3*q = 18, 4*z - 5*q = 2*z + 16. Suppose -z*s + t = -0*s - 11, 2*s + 3*t = -11. Solve s*f = 7*f for f.
0
Let s = 65 + -56. Let k be 7 + -6 + (1 - 2). Let v be -2*(-2 - k) - 2. Solve -v*u - 3 = -s for u.
3
Suppose 0 = -c - 0*c + 15. Suppose 11*i - c = 6*i. Suppose -s + 2 = -0. Solve s*t - 5 = -i for t.
1
Suppose 0 = -3*q + 4*w - 3, -w = 4*q - 5 - 10. Suppose q*t = t + 4. Solve 2 + 4 = t*o for o.
3
Suppose 104 + 210 = -5*g - 3*s, -247 = 4*g + s. Let j = g + 64. Solve 11 = j*h - 4 for h.
5
Let q = -8 - -10. Suppose 2*o + q*a - 20 = 0, 3*o + 4*a = -0*a + 26. Suppose 0*c + o = c. Solve -4*z - 6 + c = 0 for z.
2
Let c be 0*1*1/2*2. Suppose -8 = -i - 3. Suppose 0 = i*z - d - 25, 2*z + 3*d + 5 = -2. Solve -z*u - u = c for u.
0
Let c(x) = -x**2 + 2*x + 41. Let v be c(7). Solve -v = -17*i - 23 for i.
-1
Suppose 8*d + 3509 - 3525 = 0. Solve -d - 49 = -17*k for k.
3
Suppose 0 = 4*a - 2*u - 6, 12*a - 5*u + 6 = 9*a. Solve -2*g = -a*g - 2 for g.
-2
Let m = -11 - -15. Suppose 4*o + y - 34 = 0, m*o - 24 = -5*y + 2. Solve 4*n + o = -3 for n.
-3
Let l = 11 + -10. Let g be ((-7)/7)/(l/(-3)). Let y = 2 + g. Solve y + 3 = 2*i for i.
4
Let z = 69 + -75. Let i be (-8)/z + 22/6. Solve -2*x + 3 = i for x.
-1
Let k be (20/6)/(175/735). Solve -k + 0 = 7*r for r.
-2
Let d be 28/10 + 1/5. Let j be ((-2)/d)/((-14)/63). Solve -2*z = -j*z + 4 for z.
4
Suppose 0 = 3*a + 2*a. Let z = a + 0. Suppose -593 = -g - 4*r - 567, -2*g - r + 10 = 0. Solve -g*n - n = z for n.
0
Suppose 2*y - 36 = -y. Suppose -13*o = -y*o. Let b be o - 0 - 22/(-11). Solve b*r = 3*r - 5 for r.
5
Suppose -3*u + 31 = -5*m, -2*u + 5*m + 42 = 18. Solve 10 = u*d + 38 for d.
-4
Let l(i) = 2*i**2. Let b be l(-2). Let k be (-11)/(4/(6 - 2)). Let u be (4/16)/(3 + k/4). Solve 0 = 3*m - b - u for m.
3
Let p(v) = -v**2 - 19*v - 10. Let g be p(-10). Let j = g - 65. Solve 3*t = -0*t - j for t.
-5
Let y = 2 + 0. Let i(a) = -12*a + 5*a**y - 3*a**2 + 5*a**2 + a**3 + 20*a + 14. Let k be i(-6). Solve k*q = -2*q for q.
0
Suppose 13*a - 144 = -35*a. Solve 24 = a*j + 9 for j.
5
Let a(t) = -t**2 + 2*t - 1. Let b(r) = r**2 - r. Let m(c) = 3*a(c) + 5*b(c). Let p be m(-2). Solve -i - 1 = -p for i.
2
Suppose 0 = 4*g - 1 - 31. Suppose 7 = t + g. Let h be (2 - 4)*t + 0. Solve 0 = -3*r + 8 - h for r.
2
Let b(m) = -m**2 + 11*m - 12. Let f be b(0). Let x be (-3 + (-42)/f)*0. Solve x = -2*i + 7*i + 5 for i.
-1
Let f be -10 - (1 + 0 + -4). Suppose l - 2*x - 13 = 3, -3*l - 5*x + 15 = 0. Let v = l + f. Solve -v*a - 20 = -7*a for a.
5
Let s = 12 + -10. Let z be -4*((-12)/15 - 1/5). Solve s*n - n = z for n.
4
Let i(c) = 2*c. Let l be i(1). Suppose 3*o + g - 21 = -1, 5*o = l*g + 15. Solve 3*m = o*m - 8 for m.
4
Let v(j) = -j**3 - 2*j**2 - j. Let t be v(-2). Suppose