-4
Suppose 167 = 3*z - z + 3*x, 0 = -5*z + 5*x + 355. Solve 20*f - z = f for f.
4
Let v(f) = -f**3 + 4*f**2 + 5*f + 2. Let p be v(5). Let m(z) = z**3 + z**2 + 3*z + 4. Let b be m(-2). Let n = 21 + b. Solve k + n = -p*k for k.
-5
Suppose 8 = 2*w, 2*g - 3*w + 0*w - 26 = 0. Suppose -13*v - 42 = -g*v. Solve 15 = 4*n + v for n.
2
Let i be (365/(-10))/(1/(-2)). Let r = i + -71. Solve m = r*m + 4 for m.
-4
Let i = 15 + -8. Let t be (-2)/3*-1*(8 + -2). Suppose 0 = g, -t*g - 3 - i = -5*o. Solve -2*l = o*l + 16 for l.
-4
Suppose 4*o = -2*w + 3*w + 35, o = 4*w + 5. Suppose 0 = h + 5*y - 46, -2*h + 12 = -y - 25. Let t = -18 + h. Solve 0 = -t*f - o for f.
-3
Let b = -1553 - -1557. Solve 73*q - 74*q - b = 0 for q.
-4
Suppose k + k = 10. Let q(z) = 8*z + 4*z**2 - 4 - 3*z - 8*z + z**3. Let s be q(-4). Solve k*p + s = p for p.
-2
Suppose 3*g - 2 = 1. Let u(j) = -j**3 + 5*j**2 + 7*j - 4. Let r be u(6). Suppose 2*w - 3*z = -8, -r*w + w + 22 = 5*z. Solve -w = k + g for k.
-3
Suppose 4*i + 17 = 37. Solve i*x + x = 12 for x.
2
Suppose -17 = 2*o - 21. Solve o*g + 6*g - 40 = 0 for g.
5
Let l(a) = -a**3 + 6*a**2 - 7. Let c be l(5). Solve -2 = -4*u + c for u.
5
Suppose -2*u + 2*v + 21 = 3*u, 0 = -5*u - v + 12. Let j(t) = 7 + 13*t**2 - t**u + 4*t - 5*t - 8*t**2. Let b be j(5). Solve -p - b = -3*p for p.
1
Let k(b) = 5*b**2 + 21*b - 1. Let l(a) = 3*a**2 + 11*a. Let u(x) = -4*k(x) + 7*l(x). Let s be u(5). Let v be (-3)/1 - s - -3. Solve v - 3 = 3*t for t.
1
Let w(d) = 6*d**3 - 27*d**2 - 11*d - 4. Let f(v) = -7*v**3 + 28*v**2 + 11*v + 5. Let u(z) = 4*f(z) + 5*w(z). Let h be u(12). Solve -j = -5*j - h for j.
-3
Let k = -13 + 17. Suppose -5*o = 3*r - 35, k*o + 4*r - 10 - 10 = 0. Let g = o - 9. Solve p = -5 + g for p.
-4
Let c(z) = -1 - 2*z + 1 + 4*z. Let i be c(8). Solve -5*d + i = 6 for d.
2
Suppose 2*w - s - 5 = -w, s = 2*w - 5. Solve 8*z - 11*z + 15 = w for z.
5
Suppose 0*z + 2*z = 0. Suppose -n + 6 + z = 0. Suppose 0 = -n*y + y + 10. Solve 7 - y = -r for r.
-5
Let x be (-10)/(-6)*(-1014)/(-130). Solve x*a - 2*a = 0 for a.
0
Let h be (-1 - (2 - 1)) + 120/6. Let x = -17 + h. Solve x = -2*t - 9 for t.
-5
Let n(d) = -d**2 - 7*d. Let h(z) = 14*z + 5. Let x(a) = -5*a - 2. Let l(f) = 3*h(f) + 8*x(f). Let i be l(-3). Let s be n(i). Solve s*v = 2*v + 8 for v.
-4
Let k(c) = 28*c - 180. Let i be k(7). Solve -i*a = 39 - 7 for a.
-2
Let v(t) = -3*t**2 - 41*t - 84. Let p be v(-11). Solve g - p = -9 for g.
-5
Suppose -5*y + 174 = y. Suppose -z - 27 = -y. Solve -z*v + 7 = -3 for v.
5
Let r be -4*2*(-4)/16. Suppose 0 = 5*t, -r*y - t - 12 = -6*y. Solve -7*v + y*v = 0 for v.
0
Let s be 3/1*(1 + 0). Suppose 2*m - t - t = -10, 0 = -m - s*t + 7. Let d(c) = -c**2 - 2*c. Let a be d(m). Solve 3*r + r = a for r.
0
Let d(b) = -b**3 - 9*b**2 + 9*b - 6. Let p be d(-10). Let r(h) = -h**3 - h**2 + 6*h + 1. Let k be r(2). Suppose x - p - k = 0. Solve x*z = -20 - 5 for z.
-5
Let j be (-82)/(-21) - (0 + 22/(-231)). Solve -j*l + 15 = 35 for l.
-5
Suppose 0 = -2*a, 3*a = -5*z + 7*a + 25. Let h(o) = o**2 - 3*o + 2*o**3 + 12 + o - 6*o**2 - o**3. Let t be h(z). Solve -t*c = -6*c + 8 for c.
2
Let v(u) = -u**3 - 7*u**2 - u + 32. Let k be v(-6). Solve 3*c = k*c - 1 for c.
-1
Let j be 19 - (0 - 8/(-4)). Suppose -8*s = 1 - j. Solve -s*b + 0*b = 4 for b.
-2
Suppose -18 = -2*w + 5*j, 0 = 11*w - 8*w - 2*j - 16. Solve 2*v = 2 + w for v.
3
Suppose 0 = 727*b - 756*b + 1131. Solve 2*u + b - 35 = 0 for u.
-2
Let r(y) = 11 - 4*y + 10 + y + 4*y. Let d be r(-13). Suppose 2*t - d = -0*t. Solve -t*g - g = 5 for g.
-1
Suppose 0 = 2*d + 3*d - 20, -g + 74 = -2*d. Let k = -74 + g. Let p be 23/7 - 4/14. Solve -p*a = 7 + k for a.
-5
Let q = -104 + 36. Let i = q - -77. Solve s - 4*s = -i for s.
3
Let i be 1 - (1 + 0)*-12. Suppose i = 3*d - t, 3*d + 0*d - 2*t - 17 = 0. Let s(m) = -2*m**2 + 45*m + 25. Let p be s(23). Solve 0 = d*v - 1 - p for v.
1
Let s(o) = o**2 - 17*o - 50. Let h be s(20). Solve -z - z + h = 0 for z.
5
Suppose -3*a = -2*t + 2*a + 29, 11 = 3*t - a. Let p(l) = l**3 - 6*l**2 - 5*l - 10. Let i be p(7). Solve -t = k - i for k.
2
Let g(j) = j**3 + 8*j**2 + 6. Let p be g(-8). Solve 0 = 2*w - p + 14 for w.
-4
Let f = 12 - 2. Suppose 11*d = f*d. Solve 3*n = -6 - d for n.
-2
Let g be (18/4 - 4)/(3/42). Solve 0 = 8*t - g*t - 4 for t.
4
Let i = -2 - -7. Suppose i*x = x. Solve x = -t - t + 8 for t.
4
Let r = -4 + 11. Let s(h) be the third derivative of h**5/30 - h**4/24 + h**3/6 + 14*h**2. Let t be s(1). Solve 20 = -r*x + t*x for x.
-4
Let l be (1 + 152)*(-2 - 63/(-27)). Let m = l + -49. Solve -m*d = 2*d for d.
0
Let l be 10 + -3 + 1 + -2. Suppose -4 = -q + l. Let f = q - 7. Solve 5 = -f*a - 10 for a.
-5
Suppose q + 11 + 1 = 4*l, -2*q = -5*l + 18. Let r = l - -2. Suppose -12 = r*c - 5*c. Solve g - 5*g - c = 0 for g.
-3
Let m be (-15 + 14)/((-1)/(-3)). Suppose 4*k - 23 = -3*b - 2, k + b = 6. Let f = m + k. Solve -5*j - 10 + 35 = f for j.
5
Suppose 2*v + 5*d + 69 = 0, 5*v = 2*v - 5*d - 96. Let l = 47 + v. Solve 0 + l = -4*m for m.
-5
Let v(q) = -14*q**2 + 1 + 13*q**2 - q + 7*q**2 - q**3. Suppose -2*f = -f + u - 6, -3*u = -5*f + 6. Let t be v(f). Solve i = 6*i - t for i.
5
Suppose 7*r = 3*r - 3*f + 67, -5*r + 5*f = -75. Solve -5*x = 4 + r for x.
-4
Let y(g) be the second derivative of -g**3/3 - 10*g**2 + 6*g. Let n be y(-12). Solve -n*s - 6 = -6*s for s.
3
Let o = -9909 + 9909. Suppose u - 3*i - 7 = -1, 2*i = -4. Solve u = -3*g - o*g + 9 for g.
3
Let t(c) = -c**3 + 2*c**2 + 5*c + 2. Let m be t(4). Let g be 1/2 + 5*(-5)/m. Solve 2*q + 2 = g*q for q.
2
Let u = -3686 + 3691. Suppose -2*i + 5*i - r = -3, 5*r - 15 = i. Solve 2*o - 1 - u = i for o.
3
Suppose -2*h - 5*k = -0*h - 25, 3*h - 2*k = 66. Solve -9*o + h = -5*o for o.
5
Suppose 4*j + 66 = 4*v + 6*j, -5*j - 5 = 0. Solve -o - 12 = -v for o.
5
Let b(j) = -2*j + 36. Let t be b(16). Let i be (t + -3 + -1)*-1. Solve i = -6*y + 3*y - 15 for y.
-5
Suppose 5*z - x - 99 = -18, -5*z - 4*x + 76 = 0. Let j be -6 + 3 + -1 + z. Solve -4*k + j = -k for k.
4
Suppose 0 = 2*f + 11*f - 1170. Let r be (6 - 1)*72/f. Solve -r*s - s = 0 for s.
0
Suppose -2*j = -y - 9, -26 = -j - 2*y - 14. Solve 0 = 5*m - j*m + 4 for m.
4
Suppose -3*y + 4 - 23 = -2*n, 3*n = 2*y + 26. Let x be 1*4 + -1 + 0. Let z = n - x. Solve z*w = 3*w + 6 for w.
3
Let t(w) = -7*w**2 + w - 9. Let q be t(-3). Let x be 30/q - 34/(-10). Suppose n - 2*n + 2 = 0. Solve 15 = -x*f - n*f for f.
-3
Let d = 433 + -432. Let m(k) = k**2 + 3*k - 5. Let t be (9/6)/((-1)/4). Let h be m(t). Solve -4*r - d = -h for r.
3
Suppose 0 = -4*y - p + 32, -y + 31 = -3*p + 10. Solve -3*a = -3 + y for a.
-2
Let u be (-2)/9 + -6*5/(-135). Let r(t) = t**3 + 6*t**2 - t - 4. Let c be r(-6). Suppose u = -c*x + 5*x - 9. Solve 0 = x*g + 6 for g.
-2
Let c(s) = s**2 - 6*s. Let a be c(6). Let b = 0 - a. Suppose -12*k - 1292 = -1328. Solve -k*t + b*t = 0 for t.
0
Let d(u) = -u + 9. Suppose 5*m - 30 = -5*x, 0 = 5*m - x - 27 - 3. Let b be d(m). Suppose 2*v = 6*v - 4, b*j + 1 = v. Solve k = -j*k for k.
0
Let m be -26 - (1 - (2 + -2)). Let x = m + 35. Solve -5*b = -b + x for b.
-2
Suppose 5*i - 74 = 176. Suppose 0 = 40*x - 35*x - i. Solve x = 3*t + 1 for t.
3
Let h(s) = -s + 3. Suppose 5*x = -2*z + 10, -2*z + 2*x - 4 = 2*z. Let u be -1 - ((z - -3) + -4). Let m be h(u). Solve -v = m - 4 for v.
1
Let a = -18 + 8. Let l = 8 + a. Let h = 0 - l. Solve c + 0*c = -h for c.
-2
Let u be 2/(24/4) + (-8)/(-12). Let z(p) = p**3 + 7*p**2 + 7*p - 8. Let c be z(-6). Let s = u - c. Solve a - s = -2*a for a.
5
Let b be (-1)/(2 + -1)*-13. Let p = -10 + b. Solve -p*t = -t - 8 for t.
4
Suppose -2*l - 5 = -13. Suppose l*s - 44 = -5*c, 0 = s - 5*s + 4*c + 8. Solve -4*n + 2 = -s for n.
2
Let f(g) = 6*g**2 - 44*g + 27. Let r be f(7). Solve -r = -9*m + 14 for m.
3
Let z(u) = -9*u - 6. Let d be z(3). Let b = d - -16. Let v = -12 - b. Solve 13 = -2*j + v for j.
-4
Let b = 132 + -129. Let h be 0 + b/(3 + 0). Solve -h + 3 = 2*j for j.
1
Let w(g) = -7*g**2 - 18*g + 2. Let u(o) = -6*o**2 - 17*o + 3. Let b(j) = 5*u(j) - 4*w(j). Let c be b(-7). Solve 4*s = -c*s - 16 for s.
-4
Suppose 0 = 4*g - 1 - 11. Suppose 4*n = -g*o + 4, 5*o + 4 = 7*n - 3*n. Solve o = -5*t + 4 + 1 for t.
1
Let y(o) = 2*o**2 - 12*o - 12. Let q = 43 + -36. Let k be y(q). Solve -4*m - 10 - k = 0 for m.
-3
Suppose 3*g + 30 = -2*g. Let l(q) 