q*n + 7 for c.
3
Suppose 3*f - 12*f = -36. Solve -8 = l - 3*c - 0, 3*l - 28 = -f*c for l.
4
Let j(o) = -o**3 - 10*o**2 + 10*o. Let l be j(-11). Let u = -8 + l. Solve 0 = -2*h + 4, -2*k = -u*h - h + 16 for k.
-4
Let h(z) = z**3 - 10*z**2 + z + 6. Let t be 2/(-4)*(2 + -2). Suppose 3*m + t*m = 30. Let x be h(m). Solve -6*y - 12 = -3*s - y, 4*s - 3*y = x for s.
4
Let f be 1*-3*8/(24/(-29)). Solve 0 = -5*x - 4*v - f, 3*v + 1 = -2 for x.
-5
Let j = 10 + -8. Suppose -j*i = -0 + 2. Let x = i - -6. Solve -x*o + 25 = 5*p, 5*o - 7*p + 2 = -3*p for o.
2
Let s be (-5)/((-15)/(-9)) - -7. Suppose 0 = s*f - 22 - 2. Suppose h = 4*j - j + 18, -h - 5*j = 22. Solve -2*t = -2*g - f, h*t = g + 6*t + 11 for g.
-5
Let m(f) = -f**3 - 2*f**2 - f + 2. Let h be m(-2). Solve -2*v - 7 = -3*s + 7, -h*s = 3*v + 4 for v.
-4
Suppose t + 2*a - 34 = -3*t, 4*a = 2*t - 2. Let r(z) = z**3 + 9*z**2 + 2. Let c be r(-9). Suppose -3*n = -17 - 7. Solve -c*p = -u - t, 0 = 3*p - n*p + 25 for u.
3
Let p be 1/2 - (-46)/4. Suppose 69*t - 67*t = 8. Solve -t*r - 2*x = 4, -3*x = -0 - p for r.
-3
Let w = -39 - -42. Solve -5*s + 34 = -w*x, -17 = -5*s + s - x for s.
5
Let s be (0 + 1)/(4/16). Solve 3*l = -5*h + 20, -s*l + 5*h = 16 + 4 for l.
0
Let h(v) = -v. Let b be h(-2). Let p be (-4 - -4)/(-1 + b). Suppose -4*q = 4*c - p*q - 16, -2*q - 4 = -2*c. Solve s = -c*z - 6, -s - 3 = z - 1 for s.
0
Let s be (1 + 0 + -2)*0. Solve 0 = 2*x, s = 2*f + 6*x - 4*x for f.
0
Let x(u) = u**2 + 5*u + 1. Let z be x(-8). Let s = -4 - -6. Suppose 2*m = -3*m. Solve -3*i + s*g - z = -m*g, 4*g - 35 = 3*i for i.
-5
Let r(s) = -s**3 - 5*s**2 - 2*s + 12. Let x be r(-4). Solve 0*z = -x*z + 4, -5*w - 4*z - 16 = 0 for w.
-4
Suppose -5*i = -3*i. Suppose i*l - 4*n = l, 2*n = -3*l + 10. Solve 4 = -f, -f - 1 = q + l for q.
-1
Let a = 11 - 7. Let b be a + -5 + (-2)/(-2). Suppose 6*f - 2*f = b. Solve -3*g + 2*s - 6 = -s, 4*g + 3*s + 8 = f for g.
-2
Suppose 0*v - 3*v + 21 = 0. Let c(q) = 3*q + 7. Let r be c(6). Suppose -5*b + 0*b = -r. Solve 5*t + v = -g, 8 = 2*t - g + b*g for t.
-2
Let a(z) = z - 1. Let r be a(6). Solve 8 = 2*i - 5*f - 11, 4*i - r*f = 13 for i.
-3
Let g(c) = -c**3 + 7*c**2 - c + 8. Let w be g(7). Let n be w/((-3)/(-3 - 3)). Solve 0 = -3*b + 2*s - 14, -b + 0 = s - n for b.
-2
Suppose 2 = l - 4. Let g be l*(5/3 - 2). Let q = g - -2. Solve -3*v = -t - v - 6, 3*t - 3*v + 6 = q for t.
2
Let q be ((-3)/(-2))/((-3)/(-8)). Solve -4*u - 5*k - 3 - 1 = 0, -q*u - 4 = 2*k for u.
-1
Let u(y) = y**3 - 9*y**2 - y + 12. Let n be u(9). Solve 4*j = -n*r + 7*r, 2*r = 5*j - 9 for r.
3
Suppose -2*q + 3*s - 1 = 2, 4*s = -q + 4. Solve 2*b - 6 = c, -4*b + 4 + 0 = q for c.
-4
Let u be -3*(-4)/12 + 3. Suppose u*w = 5*t + 22, -w - 8*t = -4*t + 5. Solve 0 = -3*f + 5*s + 4, 0*f - w*s - 10 = 2*f for f.
-2
Let f = 3 + 0. Let q(p) = -p**3 + 4*p**2 - 2*p - 3. Let g be q(f). Let d be 1/((-1)/(-3) + g). Solve 3*h + 2*h + 2 = 3*c, 2*c - d*h - 2 = 0 for c.
4
Suppose 4*f + 16 = 0, 3*z - 15 = -3*f - 54. Let t = 21 + z. Let h(k) = -k**2 + k. Let r be h(0). Solve 0 = -r*d + 3*d - t, -2*b - 4 = -3*d for b.
4
Let z(q) = q**2 + 8*q + 10. Let w be z(-7). Solve 0 = -w*g - 6, 0 = -s - g - g - 5 for s.
-1
Suppose -5*k = -4*k - 2. Solve -3*r = 7*y - k*y, r = -4*y for y.
0
Suppose 4*d - 24 = 4*l, d - 2*l - 3 = -0. Solve -3*i + 6 + d = m, 5*i + 4*m - 32 = 0 for i.
4
Suppose 5*z - 4*q - 25 = 0, 4*q - 11 = -4*z + 9. Solve 3*r - 5*x + z = 0, -6*r = -2*r - 3*x - 8 for r.
5
Suppose -4*c - 5*d + 21 = 0, -7*c + 3*d + 13 = -3*c. Solve 4*g - 14 = 2*p - 4, -c*g + 5 = -p for p.
-5
Let y = -100 + 62. Let c = y - -54. Solve -2*w = -4*u + 10, w - 3*u - 6 + c = 0 for w.
5
Suppose -5*n + 10 = -5. Solve 4*m - n*f = -2*f - 10, -m - 5*f - 13 = 0 for m.
-3
Suppose -i = -5*p - 54, -47 = 4*p + i + 2*i. Let r be p/(-1) - 2 - -2. Suppose 90 = 4*h + 3*k, -k + 0*k + 2 = 0. Solve -l - r = m + 2*l, m + h = -5*l for m.
4
Suppose -3*i = 3*b - 9, -3*i = -0*i + b - 7. Solve t + 6 = 3*y + 2*y, -2*t + i = 4*y for t.
-1
Suppose 9 = -4*j + 29. Solve -b + 3*r + 6 = 5, 4*b - 3*r = -j for b.
-2
Let d be ((-2)/(-2))/1 + (0 - 1). Solve b + 9 = -u, -4*u = -5*b - d*u for b.
-4
Let i be (1 + -4)*(-40)/30. Solve i*v + 4*s + 4 = 0, -8 = 4*s + 4 for v.
2
Suppose 5*q + 7*w = 2*w + 45, 5*w - 25 = 0. Solve 19 = -4*l + v, -q*l - 2*v = v + 23 for l.
-5
Suppose -4*j + 43 = -5*n - 7, -5*j + 46 = 2*n. Let y = j - 10. Suppose -3*k = 2*g - 15, -4*k - 4 = -16. Solve 18 = -5*r + g*p - 2, -4*r - 4*p - 16 = y for r.
-4
Let a be (-4)/64*-4*8. Solve 0 = -a*g, 1 + 5 = 3*o - 2*g for o.
2
Let b = 7 + -5. Suppose -7*i = -7 - 7. Solve 0*y - 2*k + 2 = -2*y, -i = b*k for y.
-2
Let w(q) = -q - 2. Let x be w(-7). Suppose -v + 0*v + 3 = 0. Suppose 3*d - v*n - 9 = 0, -n = 4 - 3. Solve -4*r + 3*b + 3 + 6 = 0, -d*r + x*b + 1 = 0 for r.
3
Let r(c) = -c**3 + 8*c**2 + 10*c - 5. Let v be r(9). Solve 0 = 3*m - 15, v*t + 0*t + 21 = 5*m for t.
1
Let h(n) = -n + 12. Let i be (1 - 0) + (7 - 4). Suppose 5*x + 2*l = 7*l, i*l = 0. Let k be h(x). Solve -5*t + w - 18 = 0, 2*t + k = -2*w - 0*w for t.
-4
Let d(i) = -31 + i + 31. Suppose -2*l + 2*t - 2 = 0, 4*l + 4*t - 14 = 6. Let x be d(l). Solve -3*r + 4*z = 0, 0 = -r - 3*z + x*z for r.
0
Let b be (1 + 3/(-2))*0. Suppose t - 20 = -4*t. Suppose n = t*n - 3*f - 21, -5*n = f - 29. Solve 3*v + s - 16 = b, s + 25 = 4*v + n*s for v.
5
Let d(n) = -n - 1. Let k(q) = 4*q**2 - 6*q. Let u(m) = -2*d(m) + k(m). Let v be u(2). Solve 3*l - 2*a = 4*l + 10, 3*l - 4*a - v = 0 for l.
-2
Suppose 0*l - 5*n = -3*l + 11, 0 = 5*l + 2*n - 70. Solve 0 = -2*p + 2*h - l, -5*h + 23 - 3 = 0 for p.
-2
Suppose 2 = -2*y + 3*o - 2, -3*o + 24 = 3*y. Let u = 655 + -653. Solve 10 = -2*x + y*j, x - j = -2*j - u for x.
-3
Let g be (0/((-1)/1))/1. Let h be g - (4/(-1) - -1). Solve -m = -4*d + h + 15, 3*m = 6 for d.
5
Let l be 2/(-6) - (-24)/18. Suppose r = l + 4. Solve 5*m + s - 10 = 0, -r = s - 0*s for m.
3
Let f(b) = b**2 + 4*b - 12. Let x be f(-8). Solve 0 = p + h + 3*h + 1, -3*p = -5*h + x for p.
-5
Let j = -10 - -10. Solve -4*x - 20 = 4*m, 2*x - 5*x + 2*m = j for x.
-2
Suppose 0 = -2*n - b + 4, 0*b + b + 14 = 4*n. Solve 3*m = m + n*w - 8, 5*w = 5*m + 10 for m.
2
Let g(x) = 12*x**3 - x**2. Let l be g(-1). Let u = -7 - l. Let i = u + -3. Solve 5*r + 5 = -i*d - 6, 3*r = -4*d for d.
3
Let d be 0 + (0 - 0)/(-1). Let u(z) = -z**3 - 8*z**2 + z + 7. Let o be u(-8). Let b be (-1)/(o + (-2)/(-3)). Solve 5*w = d, 4*p - 3*w - 7 = -b for p.
1
Let d be 8 + -4 + 3 + -2. Let x(u) = u**3 + 6*u**2 - 7*u + 2. Let r be x(-7). Let g be ((-2)/r)/(2/(-8)). Solve -d*w - 4*s - 6 + 2 = 0, g*w = -s - 1 for w.
0
Suppose 0 = a + 4*r - 0*r + 14, a + 2 = -r. Suppose 2*i - 6*i + 44 = 0. Let b = 13 - i. Solve 3*h + 2*z + 7 = b*h, -a*z - 16 = 4*h for h.
-3
Suppose 2*b = 4*a - 8 + 2, -15 = 5*b + 2*a. Let k = b + 9. Let j be 2/k - 42/(-9). Solve -j*t + 20 = 5*y, -3*y = 4*t - 6*t - 2 for y.
2
Let k(m) = m**3 + 6*m**2 - 5*m + 17. Let q be k(-7). Solve -q*y - p - 10 = p, -3*p - 12 = 3*y for y.
-2
Let l(c) = c**2 - 3*c - 2. Let t be l(4). Let n(o) be the second derivative of o**4/12 + 16*o. Let j be n(t). Solve 5*f - 9 = -3*k - 1, -j = k for f.
4
Let w be (-4)/(-18) - 14/63. Solve -i = d - 4 + 1, -d + 2 = w for i.
1
Let b be (0/(-2))/(26/(-13)). Solve 4*m - 23 + 3 = b, 3*m - 7 = 4*d for d.
2
Let x = 18 - -12. Let r = 3 - 3. Suppose r = -3*z + 6. Solve m = 5*y - x, -z*y + 10 = -4*y - 4*m for y.
5
Let n be (8/(-5))/((-18)/45). Let t(p) = -p**2 + 14*p - 14. Let r be t(9). Solve -5*a + h = 3*h - r, 3*a = -n*h + 27 for a.
5
Let d = -13 + 9. Let x(n) = 6*n**2 - n - 3 + 3*n - n**2 + n**3. Let h be x(d). Solve 20 = h*k - 5*b, k - 4*b - 12 = 7 for k.
-1
Suppose 12 - 2 = 2*n. Suppose -5*f - 17 + 49 = -3*t, 0 = -5*f - n*t. Solve 4*g + o + 20 = 0, 2*o - 4 = f*g + 4 for g.
-4
Let l(p) = -p**3 + 5*p**2 + 3*p - 7. Let j be l(5). Suppose -3*t + j = -t. Solve m - h - 20 = -2*m, 0 = 4*m + t*h for m.
5
Suppose 0 = -u - h - 3, -4*u = h - 0*h - 3. Let j be (21*(-4)/(-6))/2. Let t = j - u. Solve 3*z + 6 = -0*o - t*o, 10 = -5*o - 5*z for o.
0
Let v = -4 - -5. Suppose 3*t = 3*r - 3, 5*t - v = -r + 4*r. Solve -r*d = -m - m - 21, -4*d + 26 = -2*m for m.
-3
Suppose 5*t = 2*t + 90. Solve 2*k + 4*u + t = 0, 4*k - 2*k - 5*u - 15 = 0 for k.
-5
Let t(z) = -4*z + 7. Let j be t(-5). Suppose 0 = -5*y + 3*w +