 2 = k. Solve j + 2*j = v for j.
1
Let m(i) = -i + 4. Let g be m(3). Solve -1 = 2*c + g for c.
-1
Suppose -7*y + 2*y + 4*d = -42, 2*d - 18 = -4*y. Suppose -2*s = -s + 2*c + y, -s + 5*c = -22. Let b be 30/18*(1 + s). Solve 1 = -4*q + b for q.
1
Suppose 4*m + 1 = 5. Solve 4 = 5*j - m for j.
1
Suppose 0 = 3*j - 3*k - 27, -4*j + 3*j - 3 = 3*k. Let p(y) = 3*y - 3. Let d be p(j). Let z = d - 11. Solve -z*i - 20 = i for i.
-4
Let l(m) = 9*m**2 + 1. Let y be l(-1). Let q = -10 + y. Solve -w - 5 = -q*w for w.
-5
Suppose 0 = -2*g + 4*t - 4, -4*g - 2*t = -0*t + 38. Let x = g - -13. Solve 10 + 10 = -x*m for m.
-4
Let a(m) = m**3 + 5*m**2 + 4*m + 2. Let p be a(-4). Suppose 3*t + 14 = -2*s - p*t, -5*s + 2*t + 23 = 0. Solve 0 = -0*q + s*q for q.
0
Let m = -9 + 13. Let x(g) = -g**3 + 5*g**2 - 3*g - 2. Let n be x(m). Let r be (1/n)/((-1)/(-2)). Solve -r = -d + 2 for d.
3
Let j = 56 - 56. Solve -3*y - 12 = -j*y for y.
-4
Let b = 1 - -4. Suppose 4*c = -g + 13, 3*c - 5 = b*g + 22. Solve -c*y = -9*y + 10 for y.
2
Suppose -z + 3*z = -26. Let l = 17 + z. Solve 4*o + 0*o = -l for o.
-1
Let u(p) = p + 1. Let k be u(2). Let z be 24/14 - 2/(-7). Let b be (z - 3) + 3 - 2. Solve b*c = k*c for c.
0
Suppose 0 = -5*l + 12 + 18. Suppose 0 = -l*a + a. Solve a*k + 1 = -k for k.
-1
Suppose 0 = 3*t + t. Let b = 17 + -12. Suppose t = b*k - k. Solve z = -k*z for z.
0
Let l = -18 + 12. Let q be (2/4)/(l/132). Let n = -6 - q. Solve -2*d - n = 1 for d.
-3
Suppose x = 5*x + 16. Let v be 1/(-4) + (-1)/x. Solve v = -5*g + g - 16 for g.
-4
Let i be (6/(-4))/((-7)/14). Suppose -i*u = -5*u. Let h be 1 + (4/2 - u). Solve -2 = -h*b - 14 for b.
-4
Let x be 0 - ((-4)/2 + -1). Let r be 4/14 + 78/21. Solve 17 = -r*w - x for w.
-5
Let m be -2 + 1 - (-6 - (-3 + -2)). Let l = 6 - 3. Solve m*q = l*q for q.
0
Let k = 18 + -16. Solve 0*q + k*q = 2 for q.
1
Suppose 6*v - 4 - 26 = 0. Solve 0 = v*p - 0*p - 5 for p.
1
Let z(s) be the first derivative of s**4/4 - 2*s**3 + 3*s**2 - 4*s - 1. Suppose -15 = 2*l - 5*l. Let u be z(l). Solve p - 6 = -u for p.
5
Let m(c) be the third derivative of -c**6/120 + c**5/60 + c**4/24 - c**3/6 - 2*c**2. Let p be m(1). Let l = 15 - 11. Solve p = l*z + z for z.
0
Suppose 3*r - 15 = -2*r. Let j = r - 0. Solve -j = m - 5 for m.
2
Suppose 0*h + 3*s = -2*h + 20, 2*h = -2*s + 16. Solve -1 = 5*q + h for q.
-1
Suppose -2*x = -s - 0*s - 46, -4*x - s + 98 = 0. Suppose 0 = 5*b + 2*o + 1, x = b - 5*o + 8. Solve 4 = 5*p - b for p.
1
Let o(f) = -f**2 + 5*f - 7. Let n be o(5). Let k = n - -9. Solve 0 = k*l + l - 6 for l.
2
Let a be 2 + 14/(-2) - -7. Solve 5*i + 8 = -a for i.
-2
Let f = 12 + -9. Suppose 1 - 7 = -f*m. Solve -9 - 1 = m*g for g.
-5
Let j(v) be the second derivative of -5*v**3/6 - 3*v. Let a be j(-2). Suppose 4*u - 3*n + 8*n - a = 0, -4 = -2*u - 2*n. Solve u = -4*t - 9 - 3 for t.
-3
Suppose 4*a - 2*u = 16, -6*a + 3*a + 5*u - 2 = 0. Let q be (2 + -2)/(-2) - 0. Suppose -4*i = 4*m, 4*m - m = 2*i - 25. Solve q = -i*y - 1 + a for y.
1
Let g = 7 - -6. Suppose 2*s - g = -5*p, 4*p - 2*p + s = 5. Let u = p + -3. Solve u = -0*v + v + 4 for v.
-4
Let z(v) = v**3 - 3*v**2 - 4. Let b(i) = -2*i**3 + 2*i**2 - i + 3. Let h(x) = 2*b(x) + 3*z(x). Let q be h(-5). Let a = 5 - 2. Solve q*t = 3*t - a for t.
-3
Suppose -3*g + 20 = -16. Suppose 3*x - g = -x. Suppose 0 = 4*m - 4*y - 0 - 4, y - 5 = -2*m. Solve -1 = m*v - x for v.
1
Let n be ((-10)/(-15))/(4/18). Solve -f = -1 + n for f.
-2
Let c(s) = -s**3 - 11. Let w be c(0). Suppose -2*m + 50 = 12. Let x = w + m. Solve 2*l = 6*l + x for l.
-2
Suppose -1 = 4*w - x, x + 2 - 3 = 5*w. Suppose 2 + 3 = 2*q - a, w = 3*q + 2*a + 10. Suppose f - 5*b - 9 = q, -2*f + 4*b + 20 = 2*f. Solve -2*n = -f*n - 4 for n.
-2
Let b(h) = h + 14. Let i be b(-14). Solve i = 3*y + 2 - 5 for y.
1
Let s be (-18)/(-4) + 3/(-6). Solve -s*x + 5 = 1 for x.
1
Let b = 33 - 33. Solve b = j + 5 for j.
-5
Suppose -4*k = -2*h - 3*k + 7, -2*k - 6 = 0. Suppose -2*r + 20 = h*r. Solve -9 + 4 = r*w for w.
-1
Let p = 13 + -9. Suppose 0 = p*q - 3*b - 9, b = -0*q - q + 4. Let l be 1/q - 14/(-3). Solve 2*y = l*y + 9 for y.
-3
Suppose 5*a - 20 + 10 = 0. Let t be (a - -2)*(-1)/(-4). Solve -4*y - t + 9 = 0 for y.
2
Let z be ((-8)/(-6) + -1)*0. Solve x + x - 10 = z for x.
5
Let g(q) = 2*q**2 + 3 - 2 - q - 3*q**2. Let m be g(0). Suppose -2*k + 14 = 2*p, 2*k + k - 25 = -4*p. Solve -k + m = -2*w for w.
1
Suppose 3*r = -4*i + 15, -r + 3 - 5 = -i. Suppose 2*z = -i*l - 0*z + 23, 0 = -3*l + 2*z + 7. Solve 10*o = l*o for o.
0
Let b(t) = -t**2 - 4*t. Let l be b(-4). Solve l = -2*a + 2 + 2 for a.
2
Let i = 92 - 85. Solve -2*m = -i*m for m.
0
Let f = 85 + -132. Let m = f - -110. Suppose 5*z - 4*r - 7 = m, -4*r + 20 = 0. Solve 4*h - 2 = z for h.
5
Suppose -2*c = -3*c. Suppose m + 2*m - 9 = 0. Suppose -m*w = -c*w. Solve w*d = -4*d + 4 for d.
1
Suppose -3*u = -r, 0*r - u = -5*r. Solve 5*a + 5 = -r for a.
-1
Let x(j) = j. Let y(h) = -6*h - 1. Let l(q) = -5*x(q) - y(q). Let r be l(-5). Let s = 7 + r. Solve 1 + s = -4*t for t.
-1
Let q = -1 - -2. Let z(k) = 2*k**3 + k**2 - 2*k + 1. Let r be z(q). Suppose r*j + 2*j = 8. Solve 0 = -j*b - b - 3 for b.
-1
Suppose 16 - 1 = c + 5*z, -5*c - 2*z + 29 = 0. Solve 2*g - 1 = c for g.
3
Let f = 8 - 1. Solve -f - 3 = 5*q for q.
-2
Let g be 4 + -3 + 1 + -1. Let s = 6 + -3. Solve -s - g = -4*x for x.
1
Let u be -2 + -1 + (8 - 2). Suppose 5*g = g + 8. Solve g*q + u*q = -25 for q.
-5
Let a be (-4)/(-6) - 156/(-36). Solve -a*i + 7 = 2 for i.
1
Suppose 0*z - 2*z - 16 = 0. Let c = 10 + z. Solve 5*w - c - 13 = 0 for w.
3
Let u(l) = -l**3 + 3*l**2 + 4*l - 4. Let k be u(3). Suppose s = -0*s + k. Let v be (-8)/(-3) - s/12. Solve -9 = v*o + 1 for o.
-5
Let s be (-4)/(-1)*(-8)/(-32). Solve s + 1 = o for o.
2
Suppose 8 = 2*c - m - 0*m, -18 = -4*c + 3*m. Solve 0 = -2*l - c*l for l.
0
Let a(k) = 2*k + 1. Let c be a(-5). Let q(t) = t + 11. Let w be q(c). Solve 0 = -w*m + 3*m for m.
0
Let h be 352/48 - 2/6. Let x be (-8)/(4 + -2) + h. Solve 0 = b - x for b.
3
Suppose 0*x - x = -3*g - 1, 0 = -2*x + g + 7. Solve 2*s - x = -12 for s.
-4
Let t be 4/10 + 16/10. Suppose -3*l - t*l = -10. Solve -l*s + 0*s = 0 for s.
0
Let c be (2/3)/(2/6). Solve -a - c = -6 for a.
4
Let k = 44 + -41. Solve -p + 4*p = -k for p.
-1
Let d be ((-2)/(-6))/((-3)/(-27)). Solve -4 = -h - d for h.
1
Suppose -5*p - 20 = -2*z, -5*z = -3*p + 8*p - 15. Let h be (-7)/(-21) - 95/(-3). Let f be 10/(-4)*h/(-20). Solve 1 = -f*q + z*q for q.
1
Let g(r) = -11*r**2 - 28*r + 36. Let m(h) = -4*h**2 - 9*h + 12. Let x(u) = -3*g(u) + 8*m(u). Let q be x(-13). Solve 2*c - q + 11 = 0 for c.
-5
Let p = 1 - -4. Let m = -2 + -1. Let c = p + m. Solve -t = c*t for t.
0
Suppose 6*q - 2*q + 3*r - 17 = 0, -31 = -2*q + 3*r. Let z(s) = 1 - 8*s + 5*s - q. Let n be z(-5). Solve -n = -4*m + 2*m for m.
4
Let q(f) = f**3 - 8*f**2 - 9*f + 3. Let o be q(9). Suppose y - 4*l - 12 = 0, 3*y = -2*l - o - 3. Solve -2*d - 2 = -y*d for d.
-1
Suppose -3*g + 5*z = 259, -4*z = -8 - 12. Let j be g/(-9) - (-3)/9. Solve 1 + j = -5*o for o.
-2
Let q = 5 + -7. Let z be 0*(3 + q - 0). Solve 4*a - 2 + 10 = z for a.
-2
Let h(i) = -i**3 + 2 - 6*i**2 - 6*i**2 + 5*i**2. Let m be h(-7). Solve 0 = -3*v - m - 1 for v.
-1
Suppose 2*u + 15 = 5*f, -7 = 2*u + f - 22. Suppose m = u*m. Suppose m = a + 1 - 2. Solve -2*j + a = -3 for j.
2
Let f(m) = m**2 + 2*m - 1. Let t be f(-4). Suppose 3*k - 8 = 5*k. Let z = k + t. Solve -3 = -z*i - 0 for i.
1
Let j(b) = 13*b**2 - 3 + 4 - 14*b + 1 + b**3. Let s be j(-14). Solve s*g - 3 = 5*g for g.
-1
Suppose 4*t - i - 18 = i, -2*t - 5*i = 21. Let w = 5 + 0. Solve -w*a + t*a = -9 for a.
3
Suppose -f + 10 = 3*f + t, 3*f = 3*t. Let s be ((-1)/(-1))/1 + f. Solve -4*p - 1 = s for p.
-1
Let y(z) = z**2 - 3. Let q be y(-3). Let n be (21/9 + -2)*q. Let h(a) = -a**3 + 2*a**2 + 2*a. Let s be h(n). Solve s*o - 8 = -0 for o.
2
Suppose r + 2 = 32. Suppose 4*f - 9*f = -r. Solve f*j - 3*j + 12 = 0 for j.
-4
Suppose z = -0*z. Suppose 0 = 6*o - 9*o + 6. Solve -4 = o*f - z for f.
-2
Let i be 20/3*(-12)/(-8). Let c be -5*1/i*-4. Solve p = 3*p - c for p.
1
Suppose -4*p + 4*m - 16 - 4 = 0, -15 = 4*p - 3*m. Suppose p - 4 = -l. Solve 4*i - l = -0*i for i.
1
Let o(l) = l**2 - l - 3. Let u be o(-3). Suppose 3 = 2*y + i, 2*y + 3*i + u = -2*i. Solve -8 = -y*q + 7 for q.
5
Let x be 6 -