= 3, 2*g + 22 = -4*p for g.
-1
Let v(d) = d**2 + 9*d + 9. Let y be v(-11). Solve 5*n = -2*c, 0 = -5*c - 0*c + 3*n - y for c.
-5
Suppose -c - 25 = -3*c - 5*q, 3*c - 2*q = 9. Solve -5*i = -x + 7, c*i - 1 = 2*x - 5*x for x.
2
Let a(v) be the third derivative of v**4/12 - 3*v**3/2 - 6*v**2. Let w be a(9). Solve m + 2 - 10 = -3*u, 2*m = u + w for m.
5
Let y = 18 + -2. Suppose 3 = o - 4*o, z - 3 = -2*o. Solve -2*k - 21 = -4*x - 1, 2*k + z*x - y = 0 for k.
-2
Let c be 9/(-6)*-4 - 0. Let t = c + -5. Let w = 1 + t. Solve w*h = d - 3*d - 4, 2*d - h = -10 for d.
-4
Let u(l) = l**3 + 11*l**2 - 3*l - 9. Let k be u(-11). Let c = 7 + -6. Let y(a) = 4*a**2 + a - 1. Let v be y(c). Solve n = v*b - k, -b + 3 = 4*n + 14 for b.
5
Let y(r) = r**2 + 14*r - 15. Let z be y(-15). Solve -f + z*f - c = 0, 2*f = -3*c + 1 for f.
-1
Let s(q) = -q + 2. Let i be s(0). Suppose 0 = -5*a - 3*x + 25, 0*x = -4*a + 3*x - 7. Solve -4*c - 32 = -4*w, i = 5*w - w + a*c for w.
3
Let b(v) = 5*v**3 - v**2 - v - 1. Let i(p) = -p**3 - p**2 - p. Let a(x) = b(x) + 4*i(x). Let u be a(6). Solve -g + 2 = -2*t, 2*t - u - 5 = -5*g for t.
0
Suppose 0 = j - 5*j + 16. Solve -4 = j*s + x + 7, -3*s + 4*x + 6 = 0 for s.
-2
Let g be ((-6)/4)/((-3)/8). Solve -10 + 3 = h - k, -4*h = g*k + 4 for h.
-4
Suppose 28 - 38 = -5*c. Let l = 5 + -2. Solve 2*a + 1 = z + c, -l*a - 4*z = 15 for a.
-1
Suppose 4*l - 16 = 12. Suppose 0*v = 4*v + 12. Let h(o) = o**3 + 3*o**2 - o. Let b be h(v). Solve m - 4*q + l = q, b*q - 3 = 0 for m.
-2
Let g be (1 - 2)/(1/12). Let h = g - -17. Solve j - f = -j - 4, h*j + 10 = -f for j.
-2
Suppose 3 = -x + w + 8, -x = -5*w - 17. Solve -2 = 2*j - i - 0*i, -x = 2*j + 3*i for j.
-1
Suppose 3*j = 7*j - 20. Solve -2*s - 7 = -j*z, -s + z + 2*z = 4 for s.
-1
Let q = -141 - -143. Let l = 1 + 3. Solve l*z + 20 = 0, -q*z + 0 = 4*o - 2 for o.
3
Let c(h) = 5*h**3 - 2*h**2 + 2*h - 1. Let w = 3 - 2. Let p be c(w). Solve p*j + 10 + 1 = -5*y, -5*y = j - 1 for y.
1
Suppose -5*l + 6 = -4, 4*l - 8 = 4*o. Suppose -2*p - 8 = -4*d - 0, -6 = -3*d + 3*p. Solve 2*y = -4*g - 20, -d*y + 2*g - 2 = -o*g for y.
-4
Let p(n) = -n**2 + 4*n + 3. Let j be p(4). Suppose 5*c = -5*g, 0 = -c + j*c - 2*g - 8. Solve 0*z - 5 = 5*v + c*z, v = 5*z + 26 for v.
1
Let q be ((-18)/8)/(6/(-16)). Let s be ((-2)/q)/((-3)/99). Solve -3*c - b + s = 0, -c + b + 4*b + 25 = 0 for c.
5
Suppose -2*t - 6 = 5*c, -3*c = t + 1 + 3. Solve 0 = u + 2*z - 6*z - 2, -t*z = 2 for u.
-2
Let p = -20 + 14. Let f = p + 8. Suppose 0 = -5*j - f*w - 0*w + 10, 5*j - 4*w - 10 = 0. Solve -i = -v, 11 = v + j*i + 2 for v.
3
Let s = -23 + 25. Solve -i = s*i - 3*c - 18, 0 = 3*i - 4*c - 19 for i.
5
Let h(t) = t**2 + 6*t + 6. Let m = -8 + 3. Let k be h(m). Solve 4*j + k = f - 7, -4*j = 3*f - 8 for j.
-1
Let n be ((-2)/6)/((-3)/27). Let b(a) = a**2 - 2*a - 5. Let r be b(4). Solve r*v - 7*v + 12 = n*m, 6 = 2*m + 2*v for m.
0
Let n(b) = 0 + 9 - 4 + 6*b**2 + b**3 + 5*b. Let d be n(-4). Solve 2*s - 3 = -z, -5*z + 10 + d = -2*s for s.
-1
Let t = 63 - 58. Solve t*h - 19 = -p + h, 21 = 3*p + 3*h for p.
3
Let h(k) = 3*k**2 + k + 4. Let c be h(0). Solve 20 = -2*x + c*b, 4*x + 0*x + 20 = 3*b for x.
-2
Let g be (-3)/(1/((-2)/1)). Let i be g/(4 - 2) - 1. Solve 5*l - 16 = 3*y, 2*y - 2*l + i = -6 for y.
-2
Suppose -32*f = -40*f + 80. Solve 10 = -l - 3*m, l + f = 2*l - m for l.
5
Suppose -3*v = v - 16. Suppose i + 0 = v. Solve -3*o - 15 = i*q, 15 = -2*q - 0*q - 3*o for q.
0
Let t = 1 - 6. Let k = -2 - t. Solve k*a - 5*b = 2*a + 6, -5*a - 18 = -b for a.
-4
Suppose 5*z - 100 = -d - 4*d, 5*d = -3*z + 110. Solve -2*o + 4*v = v + d, v = 2*o + 15 for o.
-5
Let k(q) = -q**3 + 7*q**2 - 5*q - 3. Let b be k(6). Suppose -b*d - d = -108. Solve -5*i = o - d, 6 = 3*i - i - 2*o for i.
5
Let k(f) = f**2 + 4*f + 4. Let c be k(-4). Suppose c*t - 8 = 5*x, -3*t + 4*t - 2 = -4*x. Solve 3*n = -2*d, d + d - n = x for d.
0
Let x be ((-12)/21)/(4/(-14))*1. Solve 2*o + 35 = -3*o + 2*l, 0 = -5*o - x*l - 15 for o.
-5
Let a = 9 + -5. Suppose -4*n + 54 = -3*o, -20 = -3*n + 4*o + 24. Let u be n - (1 - -3 - 2). Solve -u = 2*c + 6*j - 3*j, -4*c = -a*j - 20 for c.
1
Suppose 18 = 2*q + 6. Suppose -y + 4*r + 23 = 0, -2*r = -2*y - 7*r - q. Solve -3*f = p + y, -f + 2*p + 5 = 6*p for f.
-3
Let l(p) = -p**3 + 5*p**2 - 2*p - 3. Let f be l(4). Let c = 11 - 16. Let d = c + 10. Solve f*v - r - 12 = 0, 3*v + d*r - 24 = -0*r for v.
3
Suppose 0 = -7*o + 3 + 25. Solve 0 = 5*a - 5*l - 5, o*a + 6 = -l - 10 for a.
-3
Suppose 9 = -a - 2*a. Let f = a + 3. Let q be 13/3 + (-4)/(-6). Solve f = q*z + 5*j - 2*j + 37, 3*z + 7 = 2*j for z.
-5
Let g be ((-4)/(-8))/(2/12). Solve -16 = -g*l - 5*o, 0 = 4*o - 3*o - 5 for l.
-3
Let t be 1/2*(-2)/(-1). Let g be (-3 + 1 + t)*-5. Suppose -6 = g*a - 2*y - 27, -4*a + 27 = -5*y. Solve -5*s - j + 4 = 0, a*j = 2*j - 1 for s.
1
Let r(p) = p**2 + 6*p + 9. Let y be r(-5). Solve -s + y = 3*x, -3*x - 2*s - 2*s = 11 for x.
3
Let n be 0 + 0 - 3*-1. Suppose 9 + 0 = n*a. Solve a*c + 4 = x, 4*c = -5*x - 1 + 2 for x.
1
Let m = -30 - -34. Solve -2 - 2 = -2*v, 2*p - m = -4*v for p.
-2
Let i(n) = n**3 + 3*n**2 - 10*n + 3. Let g be i(-5). Solve 0 = -u + g - 0, -j + 10 = 5*u for j.
-5
Suppose -d = 4*c - 10, -3*c + 2*c + 6 = 2*d. Solve 0 = -4*h - s + c*s - 20, 3*s = -h - 5 for h.
-5
Suppose 0*s - 6 = s. Let v be ((-3)/s*0)/(-1). Let j = 5 - v. Solve -4*o + 3*o + 2*w + 5 = 0, 0 = j*o + 3*w + 40 for o.
-5
Suppose -j + 3*j = 10. Solve 4*v + z = -3*z, 20 = -j*v - z for v.
-5
Let z = -38 + 47. Solve 5*n - 5*t = -15, 3*n + 8 = -5*t - z for n.
-4
Suppose -8 = -9*g + 7*g. Suppose 8 = -u + g*t, u + 2*u - 2*t - 6 = 0. Solve 2*d + 6 = 5*x, -6 = -u*d + 6*d + 2*x for d.
-3
Let i be (0 - 0)*(-3 + 3 + -1). Let w(p) = -p + 14. Let x be w(10). Let n be (-6)/x*(2 - 4). Solve -5*d - n*s = i, -s = -0*s for d.
0
Let q(h) be the third derivative of h**5/60 + h**4/8 + 2*h**3/3 - 7*h**2. Let n be q(-3). Solve 2*o - 2*f = 6, 4*o + n*f = 5*f + 15 for o.
4
Let s(m) = 2*m + 2. Let p be s(4). Suppose -5*t + 1 = -4*r, 2*r - 4 = t + 3. Suppose -r = -2*u - 0. Solve -3*l + p = g, -12 = u*g + g - l for g.
-2
Suppose -b - b = 2, -2*k + 10 = 2*b. Solve -3*o + 17 = -4*s, -5*o + 2*s - k*s = 25 for o.
-1
Suppose 0 = 5*y - 4*y - 14. Solve -4*t = 4, 2*a - 5*a + t - y = 0 for a.
-5
Let r be ((-6)/(-8))/(8/(-5 + 197)). Solve 3*c - 3*d - r = 0, 10 = -3*c - d - 3*d for c.
2
Let l = 12 - 5. Suppose -23 + l = -4*z. Solve 5*k - 2*x - 13 = 0, -5*k + z*x + 4 = -7 for k.
3
Let l(z) = 0*z + z + 21*z**2 + 2*z - 2*z. Let c be l(-1). Solve -4*h - c = 5*r, 0 = -2*r - 0*h + 2*h - 8 for r.
-4
Let c be (-8)/20 - (-28)/(-5). Let y = c - -8. Suppose 54 = g + 2*g. Solve -22 = y*v + 4*a, 2*v - 7*a = -3*a + g for v.
-1
Let l be 4/10 - (-5)/50*26. Solve 4 - 7 = -l*z, 0 = 4*t - 4*z + 24 for t.
-5
Let n be ((-10)/6)/1*-3. Suppose -2*u - 3*c - n = 0, -3*u - 18 = -6*u + 4*c. Solve -1 = 3*f - 4*f + 2*w, 18 = u*f + 4*w for f.
5
Let c(l) = -l**2 + 4*l + 3. Let j be c(7). Let y be j/4*4/(-6). Solve -5*n - 10 = 3*s - 8*s, -y*s = -3 for n.
-1
Let k(v) = v - 2. Let i be ((-7)/4)/((-1)/4). Let l be k(i). Suppose 3*b = 19 + l. Solve 2*u = -2*o - 0*u + b, o - 4*u + 1 = 0 for o.
3
Let o = -4 + 9. Let u(m) = -4 + m**3 + 9*m + 0*m**3 + 2*m**2 - 10*m**2. Let p be u(7). Solve -b + 4*n = 6, -5*b = -o*n + p + 5 for b.
-2
Suppose 0 = -9*v + 14*v - 20. Solve -7 - 9 = -v*c - 4*q, -3*c + 5*q = -12 for c.
4
Suppose -73*c + 2 = -72*c. Solve 4*v - 15 = a, c*a + 17 = 5*v - 4 for v.
3
Let j = 13 + -23. Let r = -5 - j. Suppose 0 = -r*k + 28 + 97. Solve 70 = 5*u + 5*d + k, -d = 5*u - 25 for u.
4
Suppose 0 = -5*v + 5*l, -l + 16 = 5*v - 2*l. Suppose v*q = 4*d + 4, 4*d - 24 - 8 = -5*q. Solve 0 = 3*h - 5*b - 30, 9 = q*h + 3*b - 2 for h.
5
Suppose 0 = -h - 3*h - 24. Let p(t) = t**2 + 7*t + 1. Let z be p(h). Let y = z + 10. Solve -y*c = 0, -4*q - c + 2*c = 0 for q.
0
Let n be (-5 + 14)*(-2)/(-9). Solve 0 = -n*t + 5*k - 10, -4*t - 2*k + 18 = -2*t for t.
5
Let v = 131 + -109. Let u be 1/(-3) - (-46)/(-6). Let h = u + 13. Solve -4*x = -3*b - v, h*x = 3*b - 4*b + 18 for x.
4
Let q(i) be the second derivative of i**3/6 + 9*i**2/2 + 3*i. Let f be q(-4). Solve -2*c - 6 = -3*z + 1, -f*c = -5*z + 5 for z.
5
Suppose -3*c - c = -4, 0 = -5*l - 3*c + 73. Solve v + 5*a = 15, 4*a - 5*a + l = -2*v for v.
-5
Suppose -2*n - 1 + 5 = 0. Sol