+ 2*v = -3*v - 5, -c + 4*v + 4 = 0. Solve -a*i + 6 - 16 = c for i.
-2
Let v be (-1 - -3 - 0) + 2. Let s = 0 - -10. Solve -s = v*g - 2 for g.
-2
Suppose q - 9 = -2*q. Suppose 2*j - 2*n + 2 = 0, q*j - 5*n + n = -8. Suppose 0 = -2*y + 20 - j. Solve 0 = -4*b - y - 4 for b.
-3
Let m = -14 + 24. Suppose -4*w = -m - 6. Solve 0*y - w = -y for y.
4
Suppose 6*i = 3*i + 9. Suppose d = i*d - 3*j, 2*j = 5*d. Solve b = -d*b for b.
0
Let h = 7 + -4. Solve 5 = h*z + 2*z for z.
1
Suppose 4*n + 2 + 2 = 0. Let g(t) = -t + 1. Let k be g(n). Suppose -5 + 7 = z. Solve -z*p = k*p - 16 for p.
4
Let z = -48 - -51. Solve 14 = -z*x + 2 for x.
-4
Let p(y) = -2*y**2 + 7*y - 2. Let m be p(3). Solve 0 = 4*a + 11 + m for a.
-3
Let l = -6 - -15. Solve -2*w = 1 - l for w.
4
Suppose -4*w = -12, 2*l - 10 = -2*l + 2*w. Let f(o) be the second derivative of -o**3/3 + 5*o**2/2 - o. Let u be f(-5). Solve b + l*b - u = 0 for b.
3
Let i = 56 - 54. Solve j = -3 - i for j.
-5
Let a(i) = i**3. Let v be a(0). Solve -3*t + 5*t = v for t.
0
Suppose 0*m - 1 = -m. Let q(c) = -c**3 + 4*c**2 + 3. Let j(t) = -t - 1. Let w(z) = m*q(z) + 3*j(z). Let g be w(2). Solve 0 = g*r + 2*r - 8 for r.
2
Suppose -5*a - 4*d + 55 = 23, 0 = 4*a + 2*d - 28. Let m = -6 + a. Solve 2*h + m = -6 for h.
-4
Let n(i) = i - 8. Let u be n(12). Suppose r + 10 = -u*y, 8*y = 4*r + 3*y - 44. Solve s + s - r = 0 for s.
3
Suppose 3*q - 45 = -0*q. Let n = q + -15. Solve n = -5*g + 6 + 4 for g.
2
Let t = 65 + -57. Solve 3*f + 5 - t = 0 for f.
1
Suppose 2*a - 3*w = w + 24, -4*a + 3*w + 28 = 0. Suppose a*z + s = 12, -5*z = s + 4*s. Suppose 0 = -r + 3*i, 34 + 4 = 5*r + 4*i. Solve -5*p + z = -r for p.
2
Suppose 0 = -4*j + 8. Let g be 8 + -6 - 8/j. Let m be 2/(g + 4) - 1. Solve -4 = -q - m for q.
4
Suppose 3*r + 30 = 5*r. Suppose -d - 2*d + r = 0. Suppose -4*z + 18 = 2*c, -z - c + d = -0*c. Solve z*y = y - 6 for y.
-2
Let x be (-2 - -6) + 6/(-3). Suppose -72 = -4*n + 8. Solve -6*y + x*y = -n for y.
5
Let g(o) = o**2 + o - 1. Let a be g(0). Let u = 6 + a. Solve -4*s - 1 + u = 0 for s.
1
Let b(o) = o**3 + o**2 - o + 2. Let v be b(-2). Let f be v*((-2)/4 + 0). Suppose 3*x + 3*y - 9 = 0, -5*x + f*x + y = -3. Solve -z + 2 = -x for z.
3
Suppose -12 = -3*a - 0. Let t be (-49)/(-4) + (-1)/a. Solve w - t = -2*w for w.
4
Let l be (-6)/(-10) - (-153)/45. Suppose 5*m + 4*h - 18 = 2*h, -l*m + 15 = h. Solve d + m = 3*d for d.
2
Let l(s) be the first derivative of 1/2*s**2 + 3 + s. Let f be l(3). Solve 6 = -f*r - 2 for r.
-2
Let h(d) = d - 2. Let m be h(2). Suppose 6*f - f + 3*s = 74, -40 = -3*f - 4*s. Let n be (-1)/(3 + f/(-5)). Solve m*a - n*a = -10 for a.
2
Let r = 178 + -175. Solve -r = -2*j + 7 for j.
5
Suppose 0 = 3*w + w + 8. Let d = w - -6. Solve -5*b - d = -29 for b.
5
Let t be (3/(-1))/((-2)/4). Let n be (3/(-3))/((-1)/t). Solve r - n*r = -25 for r.
5
Let h be (-1 - -1)/(6/(-3)). Let c(s) = s**2 - 8*s + 10. Let a be c(7). Solve h*y - 9 = a*y for y.
-3
Let u = -117 - -120. Solve 0 + u = q for q.
3
Suppose -9 = -3*q - 0. Suppose -s = -q*s + 10, 0 = -3*j - 4*s + 50. Solve -3*d = -d - j for d.
5
Suppose 0 = -6*l + 3*l - 27. Let z = l - -13. Solve -10 = -z*i - i for i.
2
Suppose -2*d + o - 4*o + 2 = 0, 4*o - 12 = -5*d. Solve d*m - 2 = 2 for m.
1
Let y(i) = i**3 + 10*i**2 + 16*i + 2. Let k be y(-8). Solve k = 2*p + 4 for p.
-1
Let n be (-12)/(-5)*20/6. Solve n = -3*r - 7 for r.
-5
Let t = -11 - -15. Solve -15 - 5 = t*r for r.
-5
Suppose -p + 4*c - 12 = 0, 3*p - 4 - 5 = -3*c. Suppose -6*l + l = p. Suppose l = i - 4*b - 8, 0*b + 10 = -3*i - 5*b. Solve i = 2*q - 0*q + 8 for q.
-4
Let x(p) = -14*p. Let d be x(-1). Suppose -d = -4*o + 2. Solve o*y - 16 = -0*y for y.
4
Suppose -5*g + 49 - 14 = 0. Suppose 2*b = z - 33, -3*z - 115 = 4*b - 24. Let m = -15 - b. Solve m = k + g for k.
-3
Suppose 2*b - 132 = -4*n, -3*b + 223 = -5*n + 6*n. Suppose 5*z - 4 = b. Let m = 10 - 6. Solve m*w + 0*w = -z for w.
-4
Let n = 8 - 7. Suppose 2*r + n = -5. Let v = 3 + r. Solve -2*m - 2 = -v*m for m.
-1
Let s(h) = h**2 - 10*h - 9. Let i be s(11). Let p(d) = -d**2 + 4*d - 3. Let o be p(3). Solve -i*c - c + 9 = o for c.
3
Let v = 0 + 2. Let k be 0 + 3 + (-3)/1. Let s = 2 + k. Solve 4*q - s*q = v for q.
1
Let b(j) = -j**2 - 10*j + 11. Let w be b(-11). Solve w*v - 5 = -v for v.
5
Let t be (-15 + 16)/((-2)/(-4)). Solve 8 = t*v + 2*v for v.
2
Suppose g + 12 = 2*q + 3*g, 0 = 5*q - 4*g - 3. Solve 20 = -7*p + q*p for p.
-5
Let b be 7*-3*21/(-9). Let q = -29 + b. Suppose 3*y + 4*o - q = 0, -14 = -5*y - 5*o + 11. Solve -3*k + y = -3 for k.
1
Let b(f) be the third derivative of -f**6/120 + f**5/60 - f**4/24 + f**3/6 + 2*f**2. Let v be b(1). Solve -5*s + 5 = -v for s.
1
Suppose -11 - 21 = -4*c. Let z(x) = x**2 + 2*x - 4. Let g be z(-4). Suppose -16 = -4*q - 2*m, g*m + 5 = q + 5*m. Solve 0 = -q*p + 7*p - c for p.
2
Let l(p) = 0*p - 3 + 3*p**2 - 2*p + 4. Let a(n) = n + 1. Let b be a(0). Let c be l(b). Solve c*t - 1 = 1 for t.
1
Suppose -14 = -2*f + 5*f - 2*h, -3*h + 8 = 2*f. Let x be (16/(-20))/(2/(-5)). Let p = x - f. Solve m + 1 + p = 0 for m.
-5
Let l(v) = -v**2 - 11*v - 14. Let c be l(-10). Let y be (-39)/(-6) + 2/c. Solve -21 = 3*t - y for t.
-5
Let k = 0 - -5. Suppose 3 + 12 = k*g. Solve -7 = -g*h - 1 for h.
2
Suppose -5*u + 63 = -2*u. Suppose -1 + u = 4*b. Suppose a = -b*m + 3*a + 100, 2*m - 4*a - 40 = 0. Solve 0 = 3*c + c - m for c.
5
Let z(g) = g**2 - 4*g + 1. Let l be z(2). Let t = l - 3. Let m(h) = -h**2 - 7*h - 1. Let k be m(t). Solve 0 = k*q - 2 + 17 for q.
-3
Suppose 9*l - 4*l = 0. Solve l = 2*v - 2 + 10 for v.
-4
Let p be (3 - 5)/(-2*3/15). Solve -p*k + 0 = 5 for k.
-1
Let t be (2 - -1)*4/3. Suppose s - 2*s = -t. Let d be ((-2)/6)/(s/(-36)). Solve -3 - 3 = d*v for v.
-2
Let f = 0 + -8. Let r = -1 - f. Solve -4*c = -r*c - 3 for c.
-1
Suppose -i = 3 - 4. Let s = 5 + i. Solve -3*b - 3 - s = 0 for b.
-3
Let c(i) = -2*i + 28. Let s be c(13). Suppose -4*x - s = 4*k - 6, -5*k + 4 = 4*x. Solve 0 = o - k*o for o.
0
Let f = -19 + 13. Let l = f - -7. Solve -m - l = -0*m for m.
-1
Let g be (-3)/8 - 123/(-8). Solve -g + 0 = -5*n for n.
3
Suppose 4*v - 12 + 0 = 2*l, -l + v - 2 = 0. Suppose 2 = 4*s + 2*n, l*s + 2*n + 3 = 5*n. Solve 2*f - 6*f + 16 = s for f.
4
Suppose -5*s = -0*s + 35. Let c = s - -10. Let w be 10/c*(-18)/(-15). Solve -g = 3*g - w for g.
1
Let p = -110 - -114. Solve -11 = -p*c - 3 for c.
2
Let r = 2 - 2. Solve g - 2*g + 5 = r for g.
5
Let b(t) = 4*t - 2. Let n be b(1). Suppose -4*x - 5 + 1 = 4*a, -5*a = 2*x + n. Solve p + 4*p = a for p.
0
Let w(b) be the first derivative of b**4/4 + 5*b**3/3 - 3*b**2 - 3. Let o be w(-6). Solve j - 1 - 4 = o for j.
5
Suppose -x + 1 + 5 = 2*w, x + 10 = 2*w. Let g = x - -5. Solve t + 4 = g*t for t.
2
Suppose -3*g + 30 = 7*g. Solve -2*w = g*w for w.
0
Let a(v) = -2*v + 6. Let u be a(4). Let g = u + 6. Solve g + 2 = 2*p for p.
3
Let i(d) = 2*d - 4. Let b be i(3). Solve 0*c - b*c = 0 for c.
0
Let y(c) = -c - 6. Let x be y(-14). Solve -x = -0*f - 2*f for f.
4
Suppose -z - 5*c + 17 = 0, -z + 3*c - c = 11. Let s be (-2 - -1 - z) + 0. Solve s*w + 0*w + 2 = 0 for w.
-1
Let a be -15*(-2 + (3 - 2)). Solve -b = 2*b - a for b.
5
Let x = -16 + 20. Suppose m + x = 6. Solve -t + m*t = 1 for t.
1
Let c(d) = -d**3 - 4*d**2 + d + 9. Let f be c(-4). Let l be (4/(-14))/(f/(-70)). Let n = 2 + -2. Solve t = -n*t - l for t.
-4
Let j = 4 - 2. Suppose 0 = -4*h - 30 + 42. Solve -1 = j*v - h for v.
1
Let i be 1 - -2*(-3)/(-2). Solve i*l - 25 = -l for l.
5
Let w = 14 + -14. Suppose -47 = -5*k - 3*o, o + 21 = 3*k - k. Let v = 8 + -5. Solve w = v*j - j + k for j.
-5
Let c(t) = -t + 4. Let u(z) = z - 1. Let p(f) = -c(f) - 3*u(f). Let j be p(-3). Suppose 0*l - l + j = 0. Solve -w = -2*w - l for w.
-5
Let j be (-3)/(0 - (-3)/10). Let t = 10 + j. Let z = 2 - t. Solve 4*a - 6 = z*a for a.
3
Let q(f) = f**2 - 9*f + 4. Let w be q(9). Solve -7 = w*a - 23 for a.
4
Suppose -4*g + 9*g - 25 = -4*q, -3*q + 2*g = -13. Let a be 9*((-24)/9 + 2). Let k be (-9)/a*(-12)/(-9). Solve q*j = k*j + 12 for j.
4
Suppose 0 = -2*z + 4 + 2. Let v(a) = -3*a - 21. Let m be v(-9). Suppose 5*b = 2*p + 35, 0*b - 5*b + 10 = 3*p. Solve z = -b*l + m*l for l.
3
Let o = 3 + 4. Solve -4*q + 13 = -o for q.
5
Suppose 3*n + 2*l - 25 = -2, 2*n - 4*l = -6. Suppose -2 = -n*u + 8. Let p(m) = -m**2 - 9*m - 7. Let 