 for j.
0
Let v(x) = 6*x + 2. Let g be v(3). Suppose 2*m + 3*m - g = 0. Solve -5*u + 3*f + 5 = -30, 5*u - m*f - 40 = 0 for u.
4
Suppose 3*v - 7 - 2 = -3*z, v + 9 = 2*z. Suppose 0*q = -z*q + 12. Solve -k + q*a = 10, 4*k - 15 = 6*a - 5*a for k.
5
Suppose 2*s - 2*m - 6 = -0*m, -5*s + 3*m + 13 = 0. Let z be 1/2*(-6 + 52). Solve -i - 4*i + s*n - z = 0, -i + n = 7 for i.
-3
Let y be -2 - (14/(-2) + 3). Let p(u) = u**2 - u + 2. Let g be p(y). Solve g*x = -2*s + 5*s + 19, -5*x + 22 = -2*s for x.
4
Let i(o) = -o**3 + 9*o**2 + 12*o - 17. Let t be i(10). Solve 0 = -2*x + 2, -j - t = -0*x + x for j.
-4
Let f be 2/4 - 42/(-12). Let h = f + 4. Solve -4*q = q - 3*k - h, q - 5*k = -16 for q.
4
Suppose 4*d = -10 - 38. Let q = d - -17. Solve -3*m - 3*o + 16 = -4*o, q*m - 3*o = 28 for m.
5
Let r be 2/(0 - -4)*10. Let x be r*(-5)/((-5)/4). Let a be (x/6)/((-2)/(-3)). Solve -n - a*k + 7 = -0*n, 0 = 5*n + 3*k - 13 for n.
2
Suppose -11*c + 7*c = -396. Suppose 12 - 66 = -3*u + 3*a, 4*u + 5*a = c. Solve 3*s - 12 = -q + 7, u = s + 4*q for s.
5
Suppose 2*u - 3 = 2*v - 1, 5*v + 3*u = 27. Solve 0 = 4*i + 4*p - 2*p + 24, 21 = -v*i - 3*p for i.
-5
Let p = -76 - -81. Solve -4*a = h - 5 - 16, p*a + 5 = 5*h for h.
5
Let q = 13 - 13. Let a(u) = u**2 - 12*u + 1. Let p be a(13). Solve -4*v + 5*f = -p, q = 2*v - f - 4 - 0 for v.
1
Let u(v) = -6*v - 13. Let n be u(-3). Solve 0 = -6*h + h + 3*z + 17, 3*h = -n*z - 17 for h.
1
Suppose 0 = 4*x + 5*q + 63, 0 = x - 8*q + 3*q - 3. Let g = -10 - x. Solve -2*r - 1 = -3*j, -2*j + g = -r + j for r.
1
Let o(n) = 2*n - 8. Suppose -2*a = 2*c - 4, -5*a = -0*a + 4*c - 15. Let x be o(a). Suppose -x*k + k = -10. Solve r + 3*l + 0 - k = 0, -4*r + 8 = -2*l for r.
2
Let t(q) = q**3 - 5*q**2 + 3*q - 12. Let o(i) = -i + 23. Let x be o(18). Let k be t(x). Solve -y - 11 = -4*w, -k*w = 5*y - 10 - 27 for w.
4
Let h(x) = 4*x - 5. Let a be h(4). Let j = 16 - a. Solve 2*r - 4*y = -20, -8*r + 12 = -4*r + j*y for r.
-2
Let m = -12 + 17. Let d(k) = k**3 - 5*k**2 + k + 1. Let q be d(m). Solve 3*a - q = 0, 2*i + 1 + 15 = 3*a for i.
-5
Let b(h) = -h**3 + 4*h**2 - 3*h + 2. Let c be b(3). Solve -c*k = -4*k + g - 5, k = g - 1 for k.
-4
Suppose -4*k + 3 = -17. Solve 4*j - 3*p - 13 = -3, -5*p = k*j - 30 for j.
4
Let u = -1 - -5. Suppose u*m - 5 = -1. Solve 2*w + m = -5*n + 30, 0 = 4*n - 20 for w.
2
Suppose -3*v + 2*v = -3. Let n = v + 0. Solve -15 = -n*d - 5*x, d + x = -0*x + 3 for d.
0
Let o(x) = x**3 - 6*x**2 + 4*x + 5. Let d be o(5). Suppose -3*b - b = d. Solve -2*p - 4*l - 30 = b, p + 10 = -2*l + l for p.
-5
Suppose c = -2*r + 17, -c + 24 = 3*r + 2*c. Suppose -5 = -r*y + 4*y + 5*t, -3*y + 11 = t. Solve 3*p - 6 = 0, -y*z = -4*z - 3*p + 5 for z.
-1
Let f be (-3)/(-9) + (-31)/3. Let i = f + 14. Solve -8 = 2*m, -m + 22 = 5*r - i*m for r.
2
Suppose -4*q - 5*r + 59 = 0, -2*q = -3*r - 23 - 12. Solve -3*i + 5*i - 10 = -2*a, -4*a + q = 0 for i.
1
Suppose 4*m + 2*c = 48, -2*m - 2*c = -13 - 11. Let j be (54 - 3) + 21/7. Let o be m/j + (-7)/(-9). Solve -11 = -4*w - 3*l, -w - l = o - 4 for w.
2
Let g(y) be the second derivative of -y**3/6 - 4*y**2 + 8*y. Let l be g(-11). Solve -2*d - n + 0 = -4, 16 = l*d - n for d.
4
Suppose -2*v + 5 = 3*v. Suppose 0 = 5*q - v - 14. Suppose -4*z - 4 = -4*n, -2*z + q = 3*n - 0*z. Solve -2*k + n = 3*t - 2, 2*t - 13 = -5*k for k.
3
Suppose 6*u = 3*u + 15. Let o = -3 + u. Solve -x = -o*y, -y = -0*y - x + 2 for y.
2
Let u(i) = i**3 + 13*i**2 - 16*i - 21. Let q be u(-14). Solve 4*r + w = -2, -q*r + 3*r + 5*w = -10 for r.
0
Let j(s) = 6*s**2 - 3*s - 3. Let h be j(-2). Solve r = 3*m - r - 11, -5*m + h = r for m.
5
Let q be (-4)/(-5)*40/16. Solve 3*b - q*z + 19 = 0, -4*b - z - 3*z + 8 = 0 for b.
-3
Suppose 4*p - 32 = 2*u - 8, u - 3 = -p. Solve 4*m = p*m + 3*b - 13, 33 = -4*m + 5*b for m.
-2
Let z be ((-2 - -3) + 0)*1. Suppose -5*n - 18 = 4*t, n + 9 + z = -4*t. Let c be 9/(-3) + (-8)/t. Solve 0*k = -k - 3*r - 11, -r = 5*k - c for k.
1
Let b = -28 - -28. Solve 0 = -2*o + 4*k + 2, -4*o - o + 3*k + 19 = b for o.
5
Let b = 8 - 0. Suppose 42 = 5*c - 4*j, 2*c - 7 = j + b. Solve 4*r - c - 7 = 5*x, 4*x + 26 = -2*r for x.
-5
Let k = -1 + -1. Let i = 2 + k. Suppose 3*t = -4*u, 0*t - u = -2*t + 11. Solve i*m - 16 = -m + t*g, 2*g + 8 = -3*m for m.
0
Suppose -1 - 11 = -2*p. Let y = p - 1. Suppose 0*j + 42 = 2*j. Solve y*u = -3*q - j, -3*q + 4 = -4*u + q for u.
-3
Suppose 5*q - 6 - 9 = 0. Solve -15 = q*h, -5*t + 25 = -h - 2*h for t.
2
Let w(q) = -q**3 + 16*q**2 + 19*q - 32. Let x be w(17). Suppose 6 = 3*z - 0*z. Solve z*h - 5*u = 13 + 6, -4*h + x*u = 2 for h.
-3
Let c be ((-1 - 0) + 0)*(-14 - 3). Solve -7 = r - p, 0 = 4*r + 5*p - 0*p - c for r.
-2
Let w be 1 + 2/(-4)*2. Suppose -r + 9 = -2*k, k = 3*r - w*k - 12. Let y = -6 + 12. Solve r*v = f + y, 0 = -2*f + v - 0*v - 2 for f.
0
Suppose 3*f + 16 = 31. Solve -3*w = g - 6, f*w + 4*g = -g for w.
3
Let o = -25 - -40. Let j be (5/((-10)/(-8)))/2. Suppose -m = i - 1, m - 1 = 2*m + j*i. Solve h - m = -c, 0 = 4*h - 7*c + 2*c + o for h.
0
Let k(n) be the third derivative of 0*n + 1/120*n**6 + 1/12*n**4 + 0*n**3 - 1/20*n**5 + 0 + n**2. Let w be k(2). Solve -3*m - z - 5 = -0*m, 2*z + 4 = w for m.
-1
Suppose l - 5*l + 4 = 0, -3*l + 18 = 5*j. Solve 2*f = 3*q + 4, -4*q + 4*f - 12 = j*f for q.
-4
Suppose u + 15 = 6*u - 5*o, -u = -3*o - 3. Let f(t) = -t + 6. Let g be f(6). Solve u*y = c - y - 13, 5*c - 5*y - 35 = g for c.
5
Let n = -2 - -2. Let o = -3 + 7. Suppose 0*d = 5*d - 3*v - 30, 0 = -d - o*v - 17. Solve r + d = n, 4*a - 5*r = -0*r + 19 for a.
1
Let h be (-1)/5 - 312/(-60). Solve 3*x + 7 = o, o - 6*o + h = -5*x for x.
-3
Let b(n) = n - 3. Let i be b(9). Let v be 4/6 - (-116)/i. Solve 2*j + 5*l + 5 = 0, 4*j + v + 2 = 2*l for j.
-5
Let r(v) = 15*v**2 - v - 2. Let j be r(-2). Suppose -j = -5*k - 5*b, k - 4*b + 3*b = 10. Solve -q - 2*q = 2*g + k, 0 = 4*q - g for q.
-1
Let h = 36 + -34. Solve 10 = -v - 4*w - h, v + 2*w = -6 for v.
0
Let z be (2 + -3 + 11/4)*4. Let o = 1 - -3. Suppose -13 = -3*m - r, 0 = m - 2*r + 5. Solve -4*t + 7*t = m*l, -3*t + z = o*l for l.
1
Suppose -3*w - 3*b + 9 = -b, -4*w + 2*b = -26. Solve -5*k - 8 = -3*p, w*p + 6*k - 2 = 3*k for p.
1
Let z(b) = -2*b**2 - b. Let d be z(-1). Let n be d/2 + 5/2. Solve 3*o + 3 = 2*g, 15 = n*g + 3*g for o.
1
Let c = -1 - -6. Solve -5*z + 6 = 3*d - 5, c*z - 4*d - 32 = 0 for z.
4
Suppose 3*p - 1 = 8. Solve p*f = 2*f - a - 5, -2*f = 5*a + 19 for f.
-2
Let t = 16 + -13. Solve 5 = l - 5*m, -3*l - t*m = -6 - 9 for l.
5
Let t(q) = q**2 + 2*q - 7. Let y be t(-5). Let w = y - 5. Solve 0 = -5*n + w*b - 4*b, 2*b = n + 11 for n.
-1
Let u(w) = 2*w**2 - w - 1. Let s be u(-1). Solve -2 = -4*m + 2*q, -2*m - 2 + 8 = -s*q for m.
-2
Let j be 1 - -1*(3 - 2). Let q(g) = -g**3 + 6*g**2 - 5*g - 3. Let a be q(5). Let w = -3 - a. Solve -20 = 4*f + 2*t, -f - 5 = -w*f + j*t for f.
-5
Suppose 13 = -2*b + 1. Let k(n) = 4*n + 7. Let v(r) = -r - 1. Let o(d) = -k(d) - 3*v(d). Let u be o(b). Solve -2 - 6 = -3*i - p, -u*p + 13 = 3*i for i.
1
Suppose -5*l = 5*h - 20, 5 = 4*h - l - 6. Solve -2*p - 18 = -4*x, -5*p - h*x + 25 = x for p.
1
Let z(j) = -2*j - 5. Let m be z(-5). Let b = -5 + m. Solve 0 = -3*h + i - 10, -5*h - 4*i - 20 - 25 = b for h.
-5
Suppose -2*o = 3*o. Suppose -4*n + 8*n - 12 = o. Solve -5*x + 20 = -p, 0 = -x - 4*p + 7 - n for x.
4
Suppose -4*j = 3*z - 20, 3*z + 7 = 4*z + j. Suppose -z = -5*r + r. Suppose -r*o + 7*o = 15. Solve -s + d + 2 = -3, -5*s + 25 = -o*d for s.
5
Let f = 33 + -30. Suppose 4*r + r = 10. Solve -m - 14 = -5*g, -2*m + r*g - 7 = -f*m for m.
1
Let f(a) = a**2 + 6*a + 3. Let r be f(-6). Let w = -12 + 8. Let v = w + 6. Solve 5*z - y + v*y - 24 = 0, 3*z = r*y + 18 for z.
5
Let p be 8/(-10)*(-5)/2. Suppose -2*l - 2 = p*m + 2*l, -3*l = 5*m - 9. Solve -k = -x - 3 - m, -14 = -4*k + 2*x for k.
1
Let b = 25 - 13. Solve -4*f - f + 5*u = 10, -f + 3*u = b for f.
3
Suppose -s + p = 2*s + 3, -3*p + 9 = 5*s. Let v be 1/(-4) - (-34)/8. Suppose 0 = -s*m + v*m - 40. Solve 2*t - 5*k = -m + 4, 4*k = t + 3 for t.
-3
Suppose 2*g = 4*g - 2. Let n = g - -1. Suppose 5 = n*u - 1. Solve 4*j = -4*t + 32, -4*j + 5 = -u*t - 2*t for t.
3
Suppose o - m = 4*m - 10, -4*o + 23 = m. Solve -5*z + 4*t - 3 + 2 = 0, -3*z - 11 = -o*t for z.
3
Let v = 15 + -13. Solve -v*p - 4*x = -10, -3*x + 24 = -0*p - 4*p for p.
-3
Su