
-3
Let k be (-2 - (0 + -2)) + 3. Suppose g = -k*g. Solve g = -2*u - 2*u - 12 for u.
-3
Suppose 7*c = 2*c. Solve p + p + 10 = c for p.
-5
Let s(o) = o - 2. Let u be s(9). Solve -4*k + u = -1 for k.
2
Suppose 12 = -0*w + 4*w. Let j be (-15)/(-18)*w*2. Solve 7 = 3*g - j for g.
4
Let l = 3 - 1. Let z be (-57)/(-95) + 3/(-5). Solve z*u = u + l for u.
-2
Let a be ((-6)/15)/(4/(-20)). Solve a*s + 12 = -2*s for s.
-3
Suppose -6 = -3*f - 3*d, -d - 19 = -f - f. Suppose 3*a + 84 = 7*a - 4*k, -a = 4*k - 21. Suppose 0 = 5*q - 4 - a. Solve 13 = q*r - f for r.
4
Suppose -4*u + 67 = -o, 5*o + 60 = 2*u + 13. Solve q + 3*q + u = 0 for q.
-4
Suppose 4*f + 12 = h, 0 = 2*h - f - 3. Solve 2*u - 6 = -h*u for u.
3
Let a = -48 + 48. Solve a*c + 3*c - 12 = 0 for c.
4
Let j = -7 - -7. Solve j = -w + 6*w for w.
0
Let z(q) = q**2 + 8*q + 9. Let v(p) = -p**3 + p**2 - p - 1. Let n be v(2). Let c be z(n). Suppose 4*d = -4*i - 5 + 29, -4*d = -2*i. Solve -c*m = d*m for m.
0
Let h(q) = q + 5. Let k be h(-3). Let n = -4 - -3. Let b = n + k. Solve 2*a + b = -1 for a.
-1
Let c(z) = -z**2 - 8*z - 4. Let b be c(-7). Let r = 16 - b. Let x = r - 7. Solve 0 = m + m + x for m.
-3
Let u(n) = 3 - 5 - 2 + n**2 - 5*n. Let p be u(6). Solve p*y - 3 = 1 for y.
2
Suppose 3 = x - 2*r, -r + 6 = -0*x + x. Solve 3 = 2*k - x*k for k.
-1
Suppose 2*p + 10 = 0, 5*p + 13 = d + 2*p. Let h = 17 + d. Suppose -2*q = 2*u - 30, 4*u + h = -0*q + q. Solve -2*x = 3*x - q for x.
3
Suppose -4*t - 12 - 272 = 0. Let j = 110 + t. Suppose 26 = 2*x + 3*b, -113 + j = -5*x - 3*b. Solve q + x = 5*q for q.
4
Let m(h) = -h**2 + 7*h. Let u be m(6). Let t be (-2 - 3/2)*(-4)/7. Solve t*w - u = 2 for w.
4
Let n(q) = -q - 2. Let m be (-176)/6 - 4/6. Let i be 5*-3*(-8)/m. Let t be n(i). Solve 0 = t*c + 2 + 8 for c.
-5
Let a(w) = -w - 3. Let n be a(0). Let s be (18/(-3))/(-1*1). Let g = s + n. Solve g*m + 4 = 4*m for m.
4
Suppose -10 = 2*d - 16. Suppose -y - 2*y + 15 = 0. Suppose 0 = i - 25 + y. Solve -d*h = 2*h + i for h.
-4
Suppose -5 - 5 = -z - 4*i, 6 = 3*i. Solve 0*a - 2 = -z*a for a.
1
Suppose 0 = 2*o + o - c + 77, 4*o + 2*c = -106. Let s = 100 + -116. Let p = s - o. Solve -y - p = -6*y for y.
2
Let o = -31 + 43. Let b(k) = -2*k**3 + k + 3*k**2 + k**2 + 6 + k**3 - 5*k**2. Let p be b(0). Solve -3*t - o = -p*t for t.
4
Let x be (-6)/3 - (-4)/(-2). Let q be (6/x)/((-1)/2). Solve s = 2*s + q for s.
-3
Let h(m) = -m**3 - 7*m**2 - 4*m - 3. Let v be h(-6). Let c be 69/15 + 9/v. Solve -c*t + 6 = -2 for t.
2
Suppose 4*v - 4 - 4 = 0. Let r = v + -2. Solve r*j - 3 = -j for j.
3
Let i(u) = u - 6. Let w be i(0). Let y be 2/w - (-5)/15. Solve -a + y = -2 for a.
2
Let o be 2 + -2 + (-4)/(-2). Solve -8 = -o*d - 2 for d.
3
Suppose 5*v + m = 2*m - 23, 0 = 3*v + 4*m. Let z be 4/2 + (v - -5). Suppose -5*p = s - 9 - z, -3*p - 2*s + 3 = 0. Solve -p*b - 25 = -8*b for b.
5
Let u(q) = 4*q**2 + 3*q**3 - 2*q**3 - 11 - 10*q - 14*q**2. Let o be u(11). Solve o = -0*w + 4*w - 16 for w.
4
Suppose 5*m = 15, 0 = -3*c + 5*m - 2*m + 3. Solve 6*g = 4*g - c for g.
-2
Let k be -3*1/((-1)/(-1)). Let r(p) be the second derivative of p**5/20 + p**4/6 - 5*p**3/6 - 2*p**2 + 3*p. Let z be r(k). Solve z*b = 7*b for b.
0
Let o(r) = -r - 1. Let d be o(-1). Suppose 5*h - 2*g + d*g = 24, 18 = 3*h - 3*g. Suppose -5*n = -2*m + 32, 6 = 3*m + 3*n - 42. Solve -h*b - m = -0*b for b.
-4
Let t(y) = y**3 + 8*y**2 + 11*y - 4. Let f be t(-5). Solve -5*b + f = 1 for b.
3
Let a(l) = -l**2 + 6*l - 1. Let f(w) = -w**3 + 6*w**2 - 4*w. Let b be f(5). Let z be a(b). Solve z*t + t = -20 for t.
-4
Let z be 1/2*(-30)/(-5). Solve z - 4 = -o for o.
1
Let m(a) = -2*a - 1. Let f(c) = c. Let b(j) = 5*f(j) + 3*m(j). Let r be b(-3). Suppose 9*w = 12*w. Solve -o + 5 + r = w for o.
5
Let q be -1 + 1 + -1 + 2/2. Solve q = 3*n - 0*n for n.
0
Let c = 21 - 15. Suppose c = -2*x + x. Let w = x + 10. Solve -d + 9 = -w*d for d.
-3
Suppose 0 = 3*c - 63 - 21. Let s be (-19)/(-4) + 7/c. Solve -12 = -s*m - 2 for m.
2
Let g be (-4 + (5 - 1))*-1. Solve -5*k + 2*k = g for k.
0
Suppose 53 = -3*n + 104. Solve n = 3*z + 5 for z.
4
Suppose -b + 3*s = 9, -s - 3*s = 4*b - 28. Solve 0 = 7*f - b*f for f.
0
Let r(f) be the first derivative of f**3/3 - f**2 + 2. Let g be r(5). Suppose 2*u - 4*y - 4 = 12, -5*y + g = u. Solve 3*a - a = -u for a.
-5
Suppose 111 = o + 2*h - h, -5*o = -4*h - 591. Suppose 5*j - 105 = -4*x, j - 4*j + o = 5*x. Solve 0 = -t + 5*t - x for t.
5
Let g be ((-12)/18 - 1/3) + 1. Solve 4*n - n - 6 = g for n.
2
Suppose 0 = -3*u - 6, -h - u + 12 = -6*u. Let p(l) be the second derivative of -l**4/12 - l**3 + 3*l**2 + 2*l. Let r be p(-6). Solve 0 = -h*m - r - 4 for m.
-5
Let a(k) = -k - 3. Let n be a(-5). Suppose -4*m = -b - 9, -2*m - m + 15 = n*b. Solve -m*l - 2 = 4 for l.
-2
Let k(t) = -t**3 + 2*t**2 + t. Let s be k(-1). Suppose 0 = -0*d + s*d. Solve d = n - 2*n + 4 for n.
4
Let h(f) = -3*f + 2. Let p be h(-1). Solve 3*b - p*b + 4 = 0 for b.
2
Suppose 14 = 4*v + 2. Suppose v*f - 2 = 2*n + 5*f, 1 = -f. Let m be 25 + (-1 + n)/1. Solve -4*d - 4 = -m for d.
5
Let p(v) be the second derivative of -v**3/6 - v**2/2 - 2*v. Let d be p(-2). Suppose 4*o + 3*y = o + 33, -d = y. Solve -2*l - l - o = 0 for l.
-4
Let a(b) = -b**3 - 5*b**2 + 5*b - 1. Let h be a(-6). Suppose 0 = w - 1, -w = 2*o - 6*o - 9. Let k(x) = -2*x - 1. Let c be k(o). Solve -c = h*m + 2 for m.
-1
Let o(l) be the first derivative of -l**4/4 + l**3/3 + 3*l**2/2 - 2*l + 2. Let g be o(2). Suppose -5*u = -g*u - 85. Solve -5*h = u + 8 for h.
-5
Suppose -1 = -2*l + 23. Solve 7*c - 4*c - l = 0 for c.
4
Let m(q) = 2*q - 5. Let h(n) = -5*n**3 + n + 1. Let u be h(-1). Let s be m(u). Suppose -s*p = -25 - 35. Solve -2*r = r + p for r.
-4
Suppose 2*q + 2*q - 52 = 0. Let z be 1*(5 - 3) - -103. Suppose 4*w - 11 = z. Solve -w = -4*b - q for b.
4
Let w(a) = a. Let r be w(-2). Let k be (r/(-6))/((-1)/(-9)). Suppose 5*n - 1 = 9. Solve 1 = -n*i - k for i.
-2
Let l be (-33)/(-11) + (-2 - -7). Solve 5*n - 7*n = -l for n.
4
Let h(z) = z**3 + 5*z**2 - 2*z - 5. Let u be h(-5). Suppose 4*v + 12 = 2*v + 4*i, 0 = 2*v + 4*i - 28. Suppose v*m - 3 - u = 0. Solve 0 = 3*f - m*f - 1 for f.
1
Suppose c + 13 = 19. Let j = c + -2. Solve 0 = 2*d - j*d for d.
0
Suppose 0 = 2*j - 0 - 2, 5*a - 5*j - 5 = 0. Let m = a + -1. Let y = m + 0. Solve 4 + y = -5*l for l.
-1
Let g(c) = c**3 + 12*c**2 - 14*c - 5. Let x be g(-13). Let p(b) = -b**2 + b - 3. Let m be p(0). Let k be (-6)/9*m + 2. Solve -4*n + x = -k for n.
3
Let i = 11 + -10. Suppose -2*a + 1 = -2*g - 1, -i = -a. Solve -3*k + 12 = -g for k.
4
Let u(l) = l - 1. Let r be u(3). Solve 2*f + 0 - r = 0 for f.
1
Let u = 12 - 11. Solve y + 4 = -u for y.
-5
Suppose -3*c = 3*p - 9, -p - 39 = 2*c - 7*c. Let s be 2 + (-1 - c/1). Let k = 10 + s. Solve -k*o + 0*o = -16 for o.
4
Let v be 4/6 + 4/(-6). Let c = 6 - 1. Suppose 2*g - 3*s + 2 = 0, -4*s - s = -c*g. Solve v*x = g*x + 4 for x.
-2
Suppose -4*r = -m - 2, 3*m + 1 = -r + 8. Suppose b - 4 = 3*p, m*p + 1 + 1 = 0. Solve -b + 5 = -4*u for u.
-1
Let z be -3*(3/9 + -1). Suppose 4*h = 2*h + z. Solve h = x - 2 for x.
3
Let o be -1 + 0 - (4 - 5). Suppose 4*a = w + 14, -2*a + 14 = -0*a - 4*w. Solve o = -a*s + 4 + 2 for s.
2
Let m(l) = -l**3 + 4*l**2 + 6*l - 2. Let v be m(5). Suppose 0*z - 18 = -s + 5*z, -v*s = 3*z. Solve 2*w - s = 5 for w.
4
Let p(b) = -8*b**2 - 2*b. Let f be p(2). Let r = 50 + f. Solve 0 = 3*v - r - 1 for v.
5
Let g(h) = 4*h**3 - 2*h + 1. Let m be g(1). Solve 4*k + 3 = m*k for k.
-3
Let j = -3 + 6. Solve 20 = -j*z + 8*z for z.
4
Let f = 10 - 6. Suppose 0 = -6*p + 2*p + f*n + 80, -n = 4. Solve -3*z - z = p for z.
-4
Let c be 1 - (-1*1)/1. Suppose -3*u + 4 = b, 2*u + u + 2*b = -1. Suppose -5*s - u*t = -8*t - 80, 4*t + 46 = 3*s. Solve -4*m = -s + c for m.
4
Let n(k) = k + 29. Let p be n(-27). Solve p - 8 = -2*v for v.
3
Let q(v) = -v**2 - 6*v + 9. Let f be q(-7). Solve -f*z + 0 = -2 for z.
1
Let r = 23 - 21. Solve -r = 2*s - s for s.
-2
Suppose -3*f + 70 - 25 = 0. Solve -6*q = -q + f for q.
-3
Let c(j) = -j**3 + 6*j**2 + j - 5. Let v be c(6). Solve -2*u - v = -7 for u.
3
Let c be -50*2/(-8)*2. Suppose -5*x = -2*z + c, -4*z = x + 3 + 2. Solve 4*f + f = z for f.
0
Let m(h) = -h - 6. Let t(v) = -2*v - 12. Let w(b) = 5*m(b) - 3*t(b). Let c be w(-3). Suppose -4 = -4*y, -2 + 25 = 4*x - y. Solve -3*d +