 a.
5
Suppose -55*k - 36 = -61*k. Solve 0*f = 6*f - k for f.
1
Suppose -10*y = -4937 + 4857. Solve 7*s = y*s - 3 for s.
3
Suppose 135*y = 133*y + 40. Suppose 3*a + 3*l + 6 = -0*a, 0 = 5*a - l - y. Solve -11 = a*n + 4 for n.
-5
Suppose 3*t + 51 - 60 = 0. Solve 7 - 1 = t*q for q.
2
Suppose 11 = 4*x + w - 4, 4*w - 12 = -4*x. Solve 28 = x*b + 16 for b.
3
Let r be 0/(-5 + 2 + 0). Suppose -3*p + 2*z = -22 + 5, -3*z = -4*p + 24. Suppose r*a + 3*a = p. Solve 0 = -2*i + 1 + a for i.
1
Let g = -209 + 213. Solve g*y = 2*y for y.
0
Let p(z) = 2*z + 2. Let a(q) = q - 4. Let h be a(4). Let y be p(h). Solve -y = -s - s for s.
1
Let c = 268 - 283. Let d(v) = -v**2 + v - 1. Let z(n) = -16*n + 4. Let a(k) = d(k) + z(k). Let y be a(c). Solve -y*w = 9 - 0 for w.
-3
Let q(m) = m**2. Let o(g) = g**2 - g. Let n(w) = 4*o(w) - 5*q(w). Let l be n(-3). Solve l*h = 4*h for h.
0
Let j(m) = 19*m + 1126. Let t be j(-59). Solve 21 = t*s - 12*s for s.
-3
Let t(m) = -m**2 + 10*m + 1. Let s be t(8). Let o = 27 - s. Solve -h - h = o for h.
-5
Let o(n) = -n**3 + 53*n**2 - 3*n + 170. Let k be o(53). Solve -17 + k = -3*h for h.
2
Suppose -724 = -122*b - 59*b. Let u(r) = -r - 3. Let p be u(-5). Let w be (-2 - 1*-2) + p. Solve -b*l - 2 = -w*l for l.
-1
Let z = 106 + -106. Solve z = -6*o - 13 - 11 for o.
-4
Suppose -4*c + 10 = c. Let m = -26 + 46. Let v be 15/(-6)*(-16)/m. Solve -v = y - c*y for y.
2
Let a be (2 + 0)*-3 - -11. Solve 0 = -m + a - 1 for m.
4
Let p(c) = c**3 + 4*c**2 - 4*c - 3. Let g be p(-4). Suppose -g = -y - 8. Solve -4*t - y = -1 for t.
-1
Let w(q) = -q**3 + 4*q**2 + 4*q + 9. Let x be w(5). Solve -4 - 12 = -x*m for m.
4
Let i be -3*(-3)/((-9)/(-16)). Suppose -3*s + i = -2*u, -3*s + 4*u + u = -4. Let f = s - 3. Solve 0 = -f*k - 0 + 5 for k.
1
Let k be 5/((-5)/2) + 8. Let v(s) = s**2 - 7*s + 8. Let m be v(k). Suppose 6*z + 7*z - 11 = 15. Solve m*f - z = 2 for f.
2
Let d = -1 - -9. Suppose -3*v = -d*v - 4*s + 100, -s = 5. Let m = v + -18. Solve f - 1 = -m for f.
-5
Let t(v) = -2*v**3 - 5*v**2 - 17*v - 17. Let j be t(-3). Solve -j*f - 4 = -41*f for f.
-2
Let c(m) = -2*m + 8. Let t be c(3). Suppose -i + 5*k = -10, -13 = -t*i - k + 4*k. Solve j = -i + 10 for j.
5
Suppose -11*l = -31 - 24. Solve h + l = 2*h for h.
5
Let i = -307 + 311. Solve -i*s - 9 = -5 for s.
-1
Let h = -21 - -23. Let m = h + 1. Suppose 4*o = 3*s + 28, -16 = -m*s - s. Solve 4 = -2*g + o for g.
3
Let t = -434 + 434. Solve 13*b - 15*b + 4 = t for b.
2
Suppose 2*l - 22 = -3*a, l = -3*l + 5*a. Let r(f) = 3*f**2 - 7*f + 4. Let n be r(4). Suppose -23*o = -17*o - n. Solve l = -b + o for b.
-1
Let j(n) = n**3 - n**2 + n - 1. Let w be j(1). Suppose 0 = -w*g + 3*g - 30. Solve -f + g = -6*f for f.
-2
Let w = -44 - -46. Let v(a) = a**3 + 8*a**2 - 9*a - 3. Let f be v(-9). Let b be -3 + 12 - f*1. Solve -b = 2*h + w*h for h.
-3
Let u = 1462 + -1450. Solve 60 = -8*s - u*s for s.
-3
Let a(l) = -l**2 - 9*l - 6. Let h be a(-8). Suppose 6*g - h*g - 12 = 0. Suppose -g*x + x = -10. Solve 0 = x*j + 4 - 14 for j.
2
Let p = -25 + 43. Suppose -4*o = -13*o + p. Solve 0 = -3*l - o - 7 for l.
-3
Suppose g + s = 6*s - 28, -g - 5*s + 12 = 0. Let i(v) = 0 + 7*v + 5 + v**2 - 9. Let y be i(g). Solve -y*k + 3 = 15 for k.
-3
Let h = 109 + -103. Solve -10*a + 20 = -h*a for a.
5
Suppose 0 = -o + 2 - 0. Suppose o + 10 = 3*h. Solve l = -h + 1 for l.
-3
Let f be 4/(8/(-6)) + 6. Solve -4 = -f*l - 13 for l.
-3
Let d(s) = s**3 + 11*s**2 - 12*s + 6. Let x = 16 + -28. Let u be d(x). Suppose u*a - 11*a = -15. Solve l = -0*l - a for l.
-3
Let h(u) = -11*u - 28. Let s be h(-3). Let a = -18 + 25. Solve 18 = -s*f - a for f.
-5
Let u = -32 + 32. Let w be (u/4 - 3) + 7. Solve -w*i = -9*i - 20 for i.
-4
Let a be -1 - (0 - 11/(-1)). Let s = a - -26. Let p = s - 10. Solve 2*h - p*h = -6 for h.
3
Suppose 5*u - 4*s = 16, -3*u - 12 = -4*u + 3*s. Let w(r) be the first derivative of -r**3/3 + 6*r + 255. Let a be w(u). Solve 2*i - a = -i for i.
2
Let v be (35/10)/(1/8). Suppose 13 - v = -5*q. Solve 0 - 12 = -q*r for r.
4
Let f be (2 + -2)/(4/2). Let a be f + 7 - (7 - 8). Let z be a/3 + (-10)/15. Solve -i + z*i + 3 = 0 for i.
-3
Let f = 15 + 6. Let n = f - 15. Solve -n = b - 3*b for b.
3
Let w be 1/((-4)/(10*-2)). Suppose -w*r - d + 2*d + 5 = 0, -r - 4*d - 20 = 0. Solve 5*v + 2 - 7 = r for v.
1
Let p(s) = 2*s + 39. Let n be p(-18). Suppose 2*t = -n*j + 3, 9 = 4*j + 4*t - 3*t. Solve j*k + 10 = 5*k for k.
5
Let g = 1942 + -1942. Solve -4*a - 339 + 351 = g for a.
3
Let b = -526 - -530. Solve -i - b*i - 5 = 0 for i.
-1
Suppose x = 2*c + 40 + 146, 4*c + 368 = 4*x. Let k = c - -101. Solve -2*t - k + 1 = 0 for t.
-3
Suppose 0 = -4*q + 8*q - 12. Suppose 0 = -2*c + q*s + 23, -6*s + 3*s = 4*c - 19. Solve 3 = 4*w + c for w.
-1
Let w = 10 + -10. Let u be w/1 - (-6 + 3). Solve -y - u = -0*y for y.
-3
Let s be (10 + 0)/(1 + 1). Let m = 915 - 911. Solve -s*a + m + 11 = 0 for a.
3
Let h be -5*(-56)/32 + 2/8. Suppose -p + 3*f + 0*f - h = 0, 5*f - 15 = -5*p. Solve 4*s = -p*s + 16 for s.
4
Let c = 13 + 31. Let i = -41 + c. Suppose -3*g = -4*g + 16. Solve i*n + n = -g for n.
-4
Let f be (3/9)/((21/(-18))/(-7)). Suppose -b - f = 0, 4*b + 11 = 4*t + 3. Solve -4*p + t*p - 20 = 0 for p.
-5
Let f be 54*((-104)/12)/(-13). Solve 7*l = -2*l - f for l.
-4
Let l(d) = 13 + d + 2*d**2 + d**3 - 4 + 5*d**2. Let c be l(-7). Solve c*k - 4*k = 10 for k.
-5
Let t(d) = 4*d**2 + 2*d - 2. Suppose 3*j + 3*g - 36 = 0, 0*j - 2*j - 4*g = -16. Suppose 4*x = -4*v - j, 20 = -5*x - 5. Let y be t(v). Solve -y*z = 23 - 7 for z.
-4
Suppose -3*p = -p + r - 25, -r = p - 12. Suppose 3*c - 55 = -z, -2*c + 4*z + 32 = -0*c. Suppose -c = -2*q - 4*t, -q + 0*t = -4*t + 9. Solve 4 = -q*b + p for b.
3
Let t be (-3)/3 + (17 - -1). Suppose -2*n + t - 5 = 0. Let s = n + 9. Solve -s = -2*d - 3*d for d.
3
Suppose -4 = -m + 2. Suppose -o + 2 = -3. Suppose -2*s = -x + 9, o*x - s - 57 = x. Solve x = -m*y + y for y.
-3
Let z be 4/(-6)*126/(-12). Let a = -17 + 25. Suppose -2 - a = -2*t. Solve -t*k = -z*k for k.
0
Suppose 50*s + 3 = 51*s. Suppose 4*j - 2 = -s*w, -5*w + j - 4 + 15 = 0. Solve 5*g + 7 - w = 0 for g.
-1
Let a be (2 - (2 + 0))/(1 + 1). Suppose 4*c - 2*c - 6 = 0. Suppose -c - 7 = -5*l. Solve 0*s + l*s + 2 = a for s.
-1
Suppose 5*k + 19 = 2*r, r - 9*r = -4*k - 28. Let t(i) = i. Let m be t(5). Solve 0 = -r*w + 1 - m for w.
-2
Suppose -l + 8 = -12. Solve y + l = -3*y for y.
-5
Suppose 37*s - 32*s = 5*a - 100, 2*s = 10. Solve 0 = -a*b + 12*b + 65 for b.
5
Suppose -2*n - 2 = 0, -4*n - 7 = 3*p - 3*n. Let d(m) = -3*m - 3. Let v be d(p). Solve -v*q + q = 8 for q.
-4
Suppose -4*a + 1 = -3. Let y = a + 2. Let l = 30 + -22. Solve l = r - y*r for r.
-4
Suppose -2*i = 2*n - 0 - 8, 12 = 3*n - 5*i. Suppose 15 = n*x - 5. Suppose t - 5*u = -t + 29, -5*t - x*u + 20 = 0. Solve t*o + 12 = 3*o for o.
-3
Suppose -238 - 271 = -4*i + 3*c, -3*c = -3*i + 381. Let b = 130 - i. Solve 0 = -2*g - 0 - b for g.
-1
Let m(a) be the first derivative of a**2/2 - 4*a - 1. Let k be (10 - -17)*(-2)/(-6). Let n be m(k). Solve i = 6*i - n for i.
1
Let i(w) = -8*w - 229. Let u be i(-32). Solve u*g + 15 = 22*g for g.
-3
Let g be 30/(-12)*(-24)/5 - 7. Let s be (2 - (-2 - -1)) + 0. Let a be (28/6 - -2)*s. Solve g*c + a = -5 for c.
-5
Let k = -19 + 25. Let p be (-2)/k + (-64)/(-12). Solve v = p*v - 12 for v.
3
Let a(y) be the third derivative of y**4/12 + 2*y**3/3 + 22*y**2. Suppose 3*k + 4 = -2. Let b be a(k). Solve b = 5*r + 5 for r.
-1
Let s(p) = 9*p**3 - 23*p**2 - 9*p + 6. Let t be s(3). Solve 10*d - t = -35 for d.
-2
Let b = 107 - 91. Let g be 1 - (1/4 + 12/b). Suppose 3*o - 10 = -c, 3*o - 2*o + 5*c = 22. Solve o*x - 4 - 2 = g for x.
3
Suppose 0 = 78*o - 76*o - 14. Let q(h) = -h**3 + 9*h**2 - 13*h - 7. Let z be q(o). Solve s + 4*s + 10 = z for s.
-2
Let q(f) = -11*f**2 - 42*f + 11. Let n(b) = 7*b**2 + 28*b - 7. Let v(c) = -8*n(c) - 5*q(c). Let k be v(-12). Solve 4*i - k = -i for i.
5
Let b(s) = -s**3 - 7*s**2 + 16*s - 13. Suppose 44*t = 42*t - 18. Let h be b(t). Let v be ((-3)/(-2))/(9/12). Solve -v*r + h*r = 0 for r.
0
Let g = -57 + 71. Suppose 23 = -3*m + 5*q, 5*m - 4*q + 28 = m. Let j = g + m. Solve o - 5*o = -j for o.
2
Suppose -6*c + 106 + 38 = 0. Suppose c + 1 = 5*h. Solve h*m = 2*m + 3 for m.
1
Let l(a) be the first derivative of 2*a**2 + 13*a + 29. Let y 