 16 = -4*a, 2*b + 3 = -3*a - 2. Solve -p = b + 2 for p.
-4
Let z(c) = c**2 - 2. Let p be z(2). Let h = -3 - -5. Suppose p = -g + h*g. Solve 0 = 6*w - g*w + 12 for w.
-3
Let z = -6 - -13. Let t = 12 - z. Suppose -l - 20 = -t*l. Solve l*p = 8 - 3 for p.
1
Suppose f + 4*f = 5. Suppose -3 = -3*x + r, -r - f = 2. Solve x = -0*c + 3*c - 12 for c.
4
Let r(q) = -3*q**2 - 6*q + 12. Let c(t) = 2*t**2 + 3*t - 6. Let j(z) = 5*c(z) + 3*r(z). Let i = -9 + 13. Let g be j(i). Solve g = -k - k for k.
-5
Let y(m) = -2 - 2*m**2 - m + 2*m + m**3 + 4. Let v be y(2). Let z be -4*1*(-45)/12. Solve c = v*c + z for c.
-5
Suppose 2*j = 2*q - q + 5, -20 = 4*q. Solve -3*h = -j*h for h.
0
Let r(t) = -5*t**3 - t**2. Let k = 18 - 19. Let h be r(k). Solve b = -3*b - h for b.
-1
Suppose -5*a + 128 = -a. Let k = -27 + a. Solve -2*p - 1 + k = 0 for p.
2
Let b = -5 + 21. Suppose -2*d = -a - a + b, 40 = 2*a + 4*d. Solve -a = t - 5*t for t.
3
Suppose 17*c = -0*c + 187. Let b = 5 - 1. Solve b*k - 31 + c = 0 for k.
5
Let b be 3/((-5)/(-10)*2). Solve 0 = -b*x + 9 - 12 for x.
-1
Let m = 9 - 10. Let t be -1 + m - (0 + -7). Solve 12 = t*g - 13 for g.
5
Suppose 3*r + 3 = -2*l, -5*r + 3*l - 6 = -1. Let v be r*(12/4)/(-3). Solve 0*w - w + v = 0 for w.
1
Let f be ((-2)/3)/1*-27. Suppose 3*b - f = 3*z, -27 + 3 = -5*b - z. Solve -b*d = -4*d - 3 for d.
3
Let k = -18 + 20. Solve 0 = 2*i - k - 4 for i.
3
Suppose -2*k + 3 = -k. Suppose 97 - 22 = k*c. Suppose -a + 1 = -5. Solve c = p - a*p for p.
-5
Let y(p) = 9*p - 3. Let k be (2/(-7))/(4/(-28)). Let w be y(k). Solve 0 = -4*j + j + w for j.
5
Let l be (0 - (-4)/(-3))*-3. Let n(g) = -g**3 - g - 2. Suppose p - q + 10 = q, 5*p = 3*q - 22. Let u be n(p). Solve 0 = -l*m - 0*m + u for m.
2
Let c(i) = i**2 + 8*i + 15. Let b be c(-5). Solve -4*w + w - 15 = b for w.
-5
Let v(r) = -2*r - 12. Let q be v(-6). Solve 0 = -f - q - 1 for f.
-1
Let s be (0 + 1 - 2)*-1. Solve -2*k + 3 - s = 0 for k.
1
Suppose 10 = -3*z + 8*z. Let x = -11 + 10. Let o = z + x. Solve -o + 6 = -5*d for d.
-1
Let v be 26/8 - 1/4. Solve v*o + 2 = -13 for o.
-5
Let o(y) = y**3 - 7*y**2 + 3*y - 10. Let x be o(7). Let r = 13 - x. Solve -r*q = -3*q + 4 for q.
4
Let i(l) be the third derivative of l**6/120 + l**5/30 - l**4/12 + 2*l**3/3 + 2*l**2. Let q be i(-3). Solve 11 + q = 3*v for v.
4
Suppose -15*s + 13*s + 4 = 0. Suppose 0 = -p + s. Solve -2 + 0 = -p*q for q.
1
Let d(j) = 7*j. Let g be d(1). Let o be ((-1)/3)/((-2)/12). Solve o - g = 5*n for n.
-1
Let l = 61 + -59. Solve l*d = 4*d + 10 for d.
-5
Suppose 5*r = -3*l + 46, 8*r - 5*r - 5*l = 14. Solve 0*g - r = -2*g for g.
4
Let d = -4 + 7. Solve d = 3*g - 3 for g.
2
Suppose 0 = 3*y + 5*z + 5, 3*y + 0*z = z + 19. Solve 8 = y*u - 7 for u.
3
Let s(a) = -a**2 + 5*a - 2. Let r = -39 - -24. Let n = -11 - r. Let j be s(n). Solve 1 + j = -3*x for x.
-1
Let z be (2/6)/(7/210). Solve -x + z = 4*x for x.
2
Let u be (-1)/(-3 - 20/(-8)). Suppose -b = 6*o - o - 22, -u*b - o = -8. Solve f + b*f = 3 for f.
1
Let h be ((-10)/4)/((-1)/(-2)). Let p = h - -5. Solve 5*c + p - 10 = 0 for c.
2
Suppose 0*j - 2*j = -24. Let w = -10 + j. Solve -w*n + 9 = -5*n for n.
-3
Let o be 30/7 + 2/(-7). Solve h = -o + 2 for h.
-2
Let n(s) = -s**2 - 3*s + 3. Let d be n(-3). Suppose -d*j - 2*c = 2, -j = 3*j + 3*c + 3. Solve 1 = -b - j for b.
-1
Suppose 144 = -0*l + 4*l. Suppose 3*i - 24 = i - 3*w, 5*w = -3*i + l. Solve -4*g + g = -i for g.
4
Suppose 0 - 9 = -v. Let w be ((-12)/v)/((-2)/9). Solve -6 = -3*c + w for c.
4
Suppose 3*p - 2*r = -2*p + 142, 4*p = 3*r + 108. Let x = p + -23. Solve 0 = 5*k - x - 8 for k.
3
Suppose -4*a - 36 = -0. Let m = a - -11. Let d(p) = p**3 - p**2 - 2. Let j be d(2). Solve m*s + 16 = -j*s for s.
-4
Let m = 143 - 140. Solve 0 = w - m*w - 2 for w.
-1
Suppose -3*z - 2 = -2*d, -3*z + 16 = -z + 3*d. Suppose 0*u + 40 = z*u. Let r = 89 - 89. Solve -6*g + 2*g - u = r for g.
-5
Let m(i) = i + 13. Let d be m(-10). Let b be (-1)/(-7) + 8/(-56). Suppose -o + 3*t + 17 = b, 2*o + 5*t + 0*t = -21. Solve -o*h = h - d for h.
1
Let i = 5 + -1. Let q be (-4)/(-3 + i) - -15. Solve -q = -4*p + 1 for p.
3
Let q(f) = -3*f. Let n be q(7). Let a(p) = -29*p**3. Let v be a(-1). Let c = v + n. Solve 0*j + 2*j = -c for j.
-4
Let v be (-3)/(-2)*(2 + (-28)/21). Solve -v = -n - 6 for n.
-5
Suppose 0 = 3*u - 3*x - 10 - 14, 0 = -4*u - 4*x + 64. Suppose -z - 2 = -q - 6, -u = 4*q - 3*z. Solve 4*h + q - 4 = 0 for h.
1
Let m(f) = f**2 + 4*f + 6. Let c be m(-5). Let q = -3 + c. Let z = q - 8. Solve z = 2*l + l - 3 for l.
1
Let w = 22 - 14. Solve l + l = w for l.
4
Suppose -10*z - 11 + 41 = 0. Solve -z*c = 2*c for c.
0
Suppose -3*n - 9 = -4*l, -2*l + 1 + 0 = -5*n. Solve -l*m - 14 = -2 for m.
-4
Let x(j) = j**2 + 17*j + 23. Let h be x(-16). Solve 12*a - h*a + 15 = 0 for a.
-3
Let q = -11 - -11. Solve 4*v = -q*v for v.
0
Let j = 5 + 0. Suppose -4 - 6 = -j*f. Let w = f + -2. Solve w = -3*k - 8 + 23 for k.
5
Let g(c) = 2*c**2 + 8*c. Let p be g(-6). Let y = -18 + p. Solve 0 = y*m - 2*m for m.
0
Suppose -2*b - 5*r + 4*r = -2, 5*b - 2*r + 4 = 0. Solve b = -5*h + 2*h - 15 for h.
-5
Let a(f) = -6*f - 2. Let s be a(-2). Solve -7*i = -2*i + s for i.
-2
Suppose -6 = -j - 4*w - 18, 0 = j + 2*w + 6. Suppose j = -i - 3*i. Solve i + 6 = 2*d for d.
3
Let w(f) = -12*f - 1. Let z be w(-1). Let j = z + -7. Suppose -j*v = -v. Solve v = -k - 0 - 1 for k.
-1
Suppose 3*v + 3 = 9. Solve -b + 3*b = v for b.
1
Let c = -1 - -1. Suppose 0 = 5*p - 5*q - 55, -2*p + c = 5*q - 15. Solve 3*h = h - p for h.
-5
Suppose 2*i = -i + 12. Suppose g - 7 = -2*b, -3*g + 5 = -i. Suppose -3*j - d + 32 = 4*d, -5*j + 28 = b*d. Solve -p - 3*p - j = 0 for p.
-1
Let o(g) = g**2 + g - 4. Let c be o(2). Solve 7 = c*t - 3 for t.
5
Suppose 2*k + 0*k + 28 = 0. Let s be (k/6)/(2/(-6)). Suppose -5*u + s = -3. Solve 5*d - u = 18 for d.
4
Suppose -4*d + 1 = -23. Let h be (-2)/(1 + d/(-4)). Suppose h*j = -2*y + 24, 13 = 3*j - 3*y + 2*y. Solve j*u + 2 = 7 for u.
1
Suppose 10*k = 14*k - 12. Let g be 6/(-4)*(0 - 2). Let h be (-4)/g*6/(-4). Solve h*t = -k*t - 15 for t.
-3
Suppose 2*t - 4*m - 4 = 6, -5*t = -4*m - 13. Let c(a) = -6*a - 3*a + 4 + 5*a. Let b be c(-3). Solve -t + b = -5*v for v.
-3
Let v(o) = -o**2 + 4*o + 6. Let u be v(6). Let a(n) = n**2 + 5*n - 2. Let h be a(u). Solve h = x + 3*x for x.
1
Let h(q) = 4*q - 5. Let y(j) = -4*j + 6. Let g(d) = 5*h(d) + 4*y(d). Let u be g(1). Solve 3 = u*b - 6 for b.
3
Let x be 5/(-5)*-2 + -1. Solve -x = q + 2 for q.
-3
Let c be 30/4*48/30. Suppose -c = 5*p + 33. Let w = -6 - p. Solve 5*j - w = -13 for j.
-2
Let f be (-2)/1 + (-1 - -7). Suppose 0 = -3*p - w + 23, -f*w = 2*p - 16 - 16. Solve p = s + 4 for s.
2
Suppose -2*i + 5 = -1, 5*i = -2*a + 21. Suppose -p = -a + 2. Solve 1 + p = 2*o for o.
1
Let z be 1/(5/80) - -4. Solve 3*x = 7*x - z for x.
5
Let w = 3 + -5. Let y be 6/(w/2) - -2. Let g be ((-4)/6)/(y/54). Solve 0 = u - 4*u + g for u.
3
Suppose 1 = -2*j + j, 4*j - 8 = -3*m. Solve 8*x + 4 = m*x for x.
-1
Suppose -u + 5*u - 5*c + 132 = 0, 0 = 4*u + 4*c + 96. Let w(y) = 17*y + 1. Let f be w(-1). Let o = f - u. Solve 5*d = -3 - o for d.
-3
Let r(s) = 4*s**3 + s**2 - 1. Let g be r(1). Let l be 4/(-10)*10/2. Let o be (-52)/(-16) - l/(-8). Solve -5 = -g*u + o for u.
2
Let v = -22 - -22. Solve a - 4 - 1 = v for a.
5
Let x(k) = -k**3 + 3*k**2 + k - 2. Let w be x(3). Let i(a) = a - 6. Let l be i(8). Suppose 5 + 5 = l*y. Solve y + w = 3*v for v.
2
Suppose -s = -4*s - 3. Let c be 0/(s*(3 - 1)). Let o(w) = w + 7. Let b be o(-5). Solve -b = -c*z + z for z.
-2
Suppose 0 = g + 3*q - 4, 0*q = -q. Solve 2*a + g = a for a.
-4
Suppose -15 = 27*o - 32*o. Solve -o*h + 2*h + 2 = 0 for h.
2
Let d(s) = 6*s**2 + s - 1. Let z be d(1). Suppose z*x - x + 3 = 2*b, 3*b - 5*x = 12. Solve -b - 3 = 3*g for g.
-4
Let j be -2 + (-4 + 2)*-1. Suppose -6*h = -2*h - 12. Solve h*p + 2*p - 5 = j for p.
1
Let q(x) = x**2 - 4*x - 5. Let y be q(5). Suppose 5*p = 9*p. Solve y = -i - p + 3 for i.
3
Let k = -6 - -8. Let h(i) be the second derivative of i**3/6 - i**2/2 - i. Let l be h(k). Solve -14 = -3*m + l for m.
5
Suppose 10*f - 156 = 6*f. Suppose -a + r = 3*a - 79, 2*a - r = f. Solve -a = 3*p - 8 for p.
-4
Suppose -i = 2*n + 7 - 6, -5*n + 2*i + 11 = 0. Let v be (-1)/((1/(-3))/1). Suppose -v*h + 2*f + 3 = -7, -2*h + 2*f + 8 = 0. Solve x = h*x