 + 10, 21 = 2*v + 3*a. Solve 0*x - 12 = -v*x for x.
4
Let a(r) = -r**2 + 7*r - 1. Let l be a(6). Solve 0 = l*g - 2*g - 6 for g.
2
Let r be (-70)/(-6) - 1/(-3). Let u = r - 27. Let t be u/10*16/(-6). Solve 0*x - x = t for x.
-4
Let y = 13 - 21. Let k = 9 + y. Suppose -k = -5*q + 9. Solve -q*g + 3 = -3*g for g.
-3
Suppose -m = -2*m + 12. Suppose 16*g = 19*g - m. Solve -g*w + 13 = 33 for w.
-5
Suppose 3*x + 6 = 0, a + 5 = x + 4. Let r = a - -4. Solve -2*f + r = -f for f.
1
Let t(c) = 7*c**3 + 2*c - 1. Let b be t(1). Let j(u) = u**2 - u + 5. Let f be j(0). Suppose l - f*w = -0*l - b, 4 = -2*l + 4*w. Solve -l*m + 0*m = -10 for m.
5
Let r(y) = -y**2 + 15*y - 14. Let o be r(14). Let f = 38 + o. Suppose f + 38 = 4*k. Solve 0 = 4*u + k + 1 for u.
-5
Suppose 0 = 4*i - 7*i. Solve i = 3*v - 3 - 6 for v.
3
Let x = 5 + 11. Suppose -4 = p - x. Solve 2*z = 2 - p for z.
-5
Let z(v) = -v**2 + 7*v + 4. Let g be z(6). Solve 0 = 5*k - 0*k + g for k.
-2
Let l(q) = 2*q - 4. Let k be l(4). Solve 0 = -5*i + 9 - k for i.
1
Suppose -21 = -5*f + 9. Solve 2*y - 16 = f*y for y.
-4
Suppose 2 = -2*n + 16. Suppose -n*q = -3*q. Solve -4*z + 2*z + 6 = q for z.
3
Suppose -51*c = -54*c + 9. Solve c = q + 6 for q.
-3
Suppose 7*k = 9*k. Solve k*b = -4*b - 16 for b.
-4
Suppose 3*d + 14 + 10 = 3*w, d + 1 = 0. Suppose -12 = -o - 2*u, 4*u = 2*o + w*u - 20. Suppose 0 = a + 1 - 5. Solve o*k - a = -12 for k.
-2
Suppose -2 - 4 = 3*v. Suppose -13 = -2*i - 3. Let x = v + i. Solve 6*t - x*t = -15 for t.
-5
Let o = 3 + -1. Suppose -5 = -s + o*s - w, 5*w = -4*s - 38. Let m be (s/3)/((-5)/15). Solve -m + 1 = -3*x for x.
2
Let h(m) = -23 + 0*m + 6 - m. Let n be h(-7). Let v be (n/(-8))/((-1)/(-4)). Solve v = -5*t - 5 for t.
-2
Let v(o) = o**3 - 9*o**2 - 9*o - 6. Let w be v(10). Solve -w*y + 12 = -y for y.
4
Suppose 3*t = 3*v + 36, 0*t = -t - 2*v + 3. Let h = t - 9. Solve -3*x - x + 8 = h for x.
2
Suppose 5 = 2*i + 1. Suppose -i*f = 2*f + 8. Let k be 10/4 + (-1)/f. Solve 0 = -0*c - k*c for c.
0
Let r be (-3)/3*-6 + 3. Suppose -4*d - 16 = 0, 0 = 5*o - r*d + 4*d - 100. Solve -5*k - o = -41 for k.
5
Let p = -6 - -1. Let w be (-2)/p + 24/15. Solve w*u = -0*u + 4 for u.
2
Let r(h) = h**2 + h. Let q(t) = -t**2 + 7*t - 4. Let a be q(6). Let k be r(a). Let u(d) = d**2 - 6*d + 6. Let z be u(k). Solve 0 = -2*l + 4 + z for l.
5
Let s(j) = -2*j**2 + 2*j + 4*j**3 - 4*j**3 + 3*j**3 - 1. Let g = -5 - -6. Let d be s(g). Solve 10 = -3*i - d for i.
-4
Let x(d) = -3 + 1 + 14*d - 13*d. Suppose 0 = -2*k - 2*s + 15 + 1, -4*s - 16 = -4*k. Let u be x(k). Solve -5 = -u*q + 3 for q.
2
Let l = 40 + -34. Let z(s) be the second derivative of s**4/12 - s**3/6 - 3*s**2/2 + s. Let i be z(3). Solve -i*c = 3 - l for c.
1
Let c(i) = i - 6. Let h be c(9). Solve 0 = -w + 2 - h for w.
-1
Suppose -2*l + 5*y + 25 = 0, -2*y = -l - 0*y + 11. Solve 0 = l*c - 15 - 5 for c.
4
Suppose 3*d - 4*t - 68 = -d, 0 = -5*d + t + 81. Suppose 0 = 2*y - 6*y + 28. Suppose 0 = -f - y*q + 4*q + d, -137 = -5*f + 4*q. Solve 0 = 4*h + h + f for h.
-5
Suppose -2*p - 6 = r, 3*p - 4*r + 24 = 4. Let o be (p/2)/((-14)/119). Solve 3*g = -5 + o for g.
4
Let b = 91 - 86. Solve 0*o + b*o = 0 for o.
0
Let v(r) be the third derivative of -r**6/120 - r**5/10 - 7*r**4/24 - r**3 - 2*r**2. Let w be v(-5). Solve -w*j = -0*j + 4 for j.
-1
Let n(o) = o**3 + 5*o**2 + 7*o + 4. Let s be n(-4). Let a = 6 + s. Let g = a + 5. Solve 2*h - g*h + 4 = 0 for h.
4
Let q(h) = 2*h**2 - 2. Let u be q(2). Solve -4 + u = -2*t for t.
-1
Suppose 0 = -0*i - 2*i. Solve i = 4*l - 0*l for l.
0
Suppose 5*h + k - 22 = 0, 12 + 14 = 4*h + 5*k. Solve h*w = 2*w for w.
0
Let x(w) = -69*w**3 + w**2. Let l be x(-1). Let v = l - 49. Solve 0 = 5*b - 1 + v for b.
-4
Let m = 17 + -12. Let v(p) = p**3 - 5*p**2 + 5*p. Let u be v(4). Suppose -c = u - 8. Solve c*q = m*q for q.
0
Suppose 5*f + 65 = -3*q, 87 = -5*f - q + 32. Let d = -10 - f. Solve j + 4 = -d*j for j.
-4
Let d(t) = -2*t + 2. Let q be d(4). Let g = q - -7. Suppose 2*c + 2*n + g = 3, -3*n = 3. Solve -2 - 2 = -c*k for k.
2
Let s be (-1)/(15/6 - 3). Solve -p = -s*p for p.
0
Let r = -40 - -43. Solve -4*t + 7*t = r for t.
1
Suppose -4*z + 2*j + 4 = -18, -z = 4*j + 17. Solve r = -z*r - 16 for r.
-4
Let g be (-4)/10 - (-4)/10. Let f = 19 + -16. Solve g = -f*l - l + 20 for l.
5
Suppose 4*r - 16 = 0, 0*i + 3*i - 4*r = -7. Solve -j + 4 = i for j.
1
Suppose 6 = -2*a - 16. Let p be (-6)/15 - ((-23)/(-5) - -2). Let c = p - a. Solve -11 = -c*k - 27 for k.
-4
Suppose 7*m = 2*m - 15. Let f(l) be the first derivative of l**2/2 + 5*l + 3. Let k be f(m). Solve -k*t + 0 = -2 for t.
1
Let a = -24 - -29. Suppose -a*k + 15 = 5*r, 5*k + 0*r = -r + 11. Solve 0*x = -k*x + 4 for x.
2
Suppose -4*y + 10*p - 12 = 6*p, 5*p - 15 = -y. Solve y = 2*d + 2*d for d.
0
Let l(y) = -y. Let d be -1 - (1 - (1 + -1)). Let a be l(d). Suppose a*h + 3*h + 5*o - 20 = 0, -2*o = 4. Solve h = -i + 1 for i.
-5
Suppose -2*r + 25 = 5*t, -4*t + 7*r - 4*r = 3. Solve -8 = t*f - 5*f for f.
4
Let b(i) = 7*i + 2*i + 19 - 2*i**3 + 9*i**2 + 3*i**3 - 7. Let a be b(-8). Solve -2*k = 2*k - a for k.
1
Let s(a) = -a**2 + 5*a + 1. Let k be s(4). Suppose k*x - 5*t = 55, -4*x - 3*t = -17 - 6. Let i be (-59)/(-4) + 2/x. Solve 6*y - 3*y + i = 0 for y.
-5
Let s = 10 - 6. Suppose 2 = -3*f + s*f. Solve -f*d + 1 - 7 = 0 for d.
-3
Suppose -4*d - v = -5, 3*d + 4*v + 10 = 2*d. Suppose -d*x + 4 = -x. Solve -a + 2*a = x for a.
4
Let s be (-2)/10 + 2/10. Solve s = 4*i - 0*i for i.
0
Suppose -6*r + 5 = -4*r + i, 5*r + 4*i = 17. Solve -3*d + r = -2 for d.
1
Suppose -p - 18 + 20 = 0. Solve -4 = -0*x - p*x for x.
2
Let o(s) = -s**3 - 6*s**2 - 7*s - 3. Let g be o(-5). Solve 3*h - 16 = -g for h.
3
Let t be 17/5 + 2/(-5). Suppose 0 = -t*f - 2*f. Solve f*d = 2*d - 2 for d.
1
Let u = 4 - -10. Solve 0 = -2*l + 6 - u for l.
-4
Let l(u) = -u - 1. Let w be l(-6). Suppose 3*k - 2*g - 4 = -k, 20 = 5*k + w*g. Solve -3*d - 3 = -k*d for d.
-3
Let d be 69/15 - (-4)/10. Suppose -5*y + 10 + d = 0. Suppose 28 = y*p + 10. Solve -s + p = 2 for s.
4
Let l be 8/9*(-18)/(-4). Solve 0 = 6*b - l*b - 4 for b.
2
Suppose -4*d = -11 + 3. Suppose -4*y + 2*y = d. Let u be (-6)/(-4)*(-2)/y. Solve u = s + 2 for s.
1
Suppose 14 = 3*x - 1. Let g(l) = -3 - 2*l - 2*l - 2. Let a be g(-2). Solve -a*w = -x*w for w.
0
Let t(q) = -q**3 - 8*q**2 - q - 4. Let w be t(-8). Solve -2*u = -4 - w for u.
4
Let u = 8 + -8. Solve 2*n + 2 + u = 0 for n.
-1
Let l(m) = -m**3 - m**2 + m - 1. Let h be l(0). Let g = h - -1. Solve g = x + 2*x + 6 for x.
-2
Let b be -3*(2 - 1)*(-1 + 0). Solve 5 - b = w for w.
2
Let m be (-2)/5 + (-44)/(-10). Let c = 322 + -313. Solve -m*z + c = -7*z for z.
-3
Suppose -l = -4*l. Suppose 3*g + 2*z + l*z = 17, 2*z = -5*g + 31. Suppose -3*b + g*b = 0. Solve b = -k - 4*k + 10 for k.
2
Let l(v) = -v**2 + 8*v - 5. Let a(b) = -b**3 + 9*b**2 - 6*b - 11. Let f be a(8). Let k be l(f). Solve -4*x = x + k for x.
-2
Let t be (-3 - 44/(-16))/(3/(-24)). Solve -t*x + 3 = 13 for x.
-5
Suppose -x - 13 = -4*a, 2*a + 0 = 8. Let t = x + 1. Let s = 6 - t. Solve s*w + 16 = -2*w for w.
-4
Let w = 16 - 16. Suppose w = -4*u + 3*u. Solve 0 = -u*g - g + 1 for g.
1
Let w be (-2 - 12) + -1 + 4. Let b = w + 13. Solve -b*f = -2 - 2 for f.
2
Let i be 25/4 - 1/4. Let d be (8/i)/((-3)/(-9)). Let h be (6 + (-1 - 1) - 0) + -2. Solve -d = -h*f + f for f.
4
Let x = 5 + 4. Let f(h) = -h**3 + h**2 + 2*h. Let v be f(2). Suppose v = -j - 0*j - 5*i + 9, 0 = 3*j - i - 11. Solve x = j*o - 3 for o.
3
Suppose b = -0*b + 4*j - 4, -4*b + 1 = j. Solve b = -7*i + 2*i for i.
0
Suppose 16 = -4*x + 48. Solve -4*o = -0*o - x for o.
2
Let d(u) = -u. Let o be d(-9). Let b(k) = -k**3 + 9*k**2 - k + 10. Let f be b(o). Solve -2 = -3*c + f for c.
1
Let l(j) be the first derivative of -j**4/4 + 2*j**3 + j**2/2 + 4*j + 2. Let s be l(6). Solve -2*f = 3*f - s for f.
2
Suppose -2*s + 2 = -2. Let k be s/(-10) + 21/5. Solve -k*m + 5*m = 0 for m.
0
Suppose -5*b = 4*t - 145, -163 = -3*t - t + b. Suppose -3*r = r - t. Let c be 68/r + 3/15. Solve 15 = -c*l + 2*l for l.
-3
Suppose -3*q = 2*g - 5*g - 12, -5*g = 5*q - 20. Suppose -2*d + 5*z = -28, g = -3*d - 0*z + 5*z + 32. Solve d*y - 7 = 13 for y.
5
Suppose -8 = f - 2*t, -2*f - 1 = -t + 6. Let a = f - -2. Let x = 8 - 5. Solve -x*d + a - 3 = 0 for d.
-1
Let f(q) = 2 - 3 + q**2 - 2*q 