 be 5/15*(-9)/(-3). Suppose 17 = 3*t - c. Solve -b = 0, -5*x - b - t = 14 for x.
-4
Let z(m) = m**2 + m + 3. Let u be z(0). Solve -3*j - 3 - 27 = 3*c, 0 = -c + u*j + 10 for c.
-5
Let z be 1/(-1 + 0) + -3. Let t be z/22 + 114/22. Solve -9 = -3*v - 5*i - 4, -4*v + t*i = 40 for v.
-5
Suppose j - 6 = -j. Suppose -f - 2*v = -7*v + 21, 0 = 3*f + j*v - 27. Solve -2*s - 10 = -f*a, 4 = 3*a + 1 for s.
-3
Let h = -5 + 9. Suppose -h*y + 12 = -5*a - 3, -y + 6 = a. Solve -y*c - 5*u = -4*c, 2*c + 7 = -3*u for c.
-5
Suppose 9 = 5*t - 2*t. Suppose 12 = -t*w, 0 = -4*q + 6*q + 4*w + 8. Solve -s - q = v, -5*v + 0 = -5*s + 10 for v.
-3
Let z = 11 - 2. Let h be ((-51)/6)/((-3)/12). Let d be (h/(-2))/(7 - 8). Solve -z = 3*a + v + 2*v, -d = 3*a - v for a.
-5
Let b be 3/(-2)*12/(-9). Suppose -5*l - 2*v = -5, b*l + 2*v + 9 = -v. Solve 6 = 2*d, -l*d + 5*d = -3*q + 21 for q.
5
Let x be (-5 + 2)/(0 + (-3)/4). Solve -5*y - 4*k = 1, 3*y = -y - 2*k + x for y.
3
Suppose -2*o = -4*j - o + 47, -20 = -4*o. Suppose 14 = 4*f + 2*c, c - j = -0*f - 5*f. Solve -f*i - 5*n + 18 = 0, -3*i - 5 = -n + 2 for i.
-1
Suppose -6*k + 15 = -k. Suppose 2*r + k*r = 0. Solve 2*y - i + 3 = -r*y, -y - 15 = 4*i for y.
-3
Suppose -2*o = -4*h + 22, -2*h + 3*o = 3*h - 25. Solve -l - d = 0, 2*l + 3*d - h = -d for l.
-4
Suppose 0 = 5*m + 4*d - 13 - 19, m - 6 = -d. Solve -q + 3 = -4*y, -2*q - 2 + m = 4*y for q.
3
Suppose 2*z + 12 = 6*z. Let r(d) = -4 - d + 5 - 3 + 0 - 2*d**2 + d**z. Let y be r(3). Solve 16 = -y*i + 2*q, 2*i - 3*i = 3*q + 4 for i.
-4
Let l be (-22)/(-10) + 3/(-15). Solve 0 = -l*w - 5*r - 8, 2*r = 4*w + 13 + 3 for w.
-4
Let j = 1 - -1. Suppose 0 = 10*l - 6*l - 8. Solve -j*p - l*h + 6 = 0, 0 = -5*p + 3*p + 3*h + 11 for p.
4
Let s(d) = 5*d + 1. Let j(u) = u. Let q(z) = -4*j(z) + s(z). Suppose 8 - 1 = m. Let f be q(m). Solve -4*k + 3*n - 4*n = -9, 0 = -5*k + 2*n + f for k.
2
Suppose 0 = 8*a - 4*a - 144. Suppose 2*t = -t + a. Solve -t = -s - 2*x, 5*s - 16 = 2*s - x for s.
4
Let i = -1 + 2. Let k be i*(2 + (1 - 0)). Solve h + k*p = 12, 7*p - 15 = 2*p for h.
3
Suppose -4*k - 2*z + 4 = 0, 2*k + 11 = -5*z + 5. Let c be 1*(1 - k - -3). Solve c*x + 4*f - 16 - 8 = 0, 3*f = 15 for x.
2
Suppose 0 = -3*o + 5*q - 20, 0*o + q - 4 = 5*o. Suppose -5*u - 20 = 0, o*u = -2*s + 3*u + 56. Solve 4*k + s = 5*w, -3*w = -4*k + w - 20 for k.
-3
Let p be 0 - (1 + 2 + -4). Suppose o + p + 2 = 0. Let z = -1 - o. Solve -9 + 41 = 4*n + 4*v, -z = n - v for n.
3
Suppose 30 = -4*y + 98. Let s(n) = 5*n + 307. Let p be s(-61). Solve -5*f + 20 = p*x, -3*f - f = -5*x + y for x.
5
Let m be 0/3*2/4. Suppose 2*a + m*a - 10 = 0. Suppose -3*l = -9*l. Solve -5*o - 5*g - a = l, -4*g = -o - 0*o + 24 for o.
4
Let l(x) be the second derivative of -x**3/6 - 4*x**2 + 5*x. Let j be l(-10). Solve 3*o = -2*p - 2, j*o - 2*p - 3 = -1 for o.
0
Suppose 3*d = -3*t + 7 - 16, -6 = -d + 2*t. Suppose -3*n + 36 = -d*n. Solve -4*c + 0*c = -4*x + n, -c + 4*x - 3 = 0 for c.
-3
Suppose 3*b = 4*l + 39 - 8, 2*b - 26 = 4*l. Solve -26 = 5*q + 3*f, q = -b*f - 12 - 2 for q.
-4
Let j = 8 + -6. Suppose -k + 15 = 2*d, 3*d - 8*k = -3*k + 3. Suppose -d*c = -3*c - b - 13, -2*b - j = -2*c. Solve -5*h - 4*y = 15 + c, 2*h + 10 = -2*y for h.
-1
Suppose 9 = -15*h + 18*h. Solve -s + 0*s - h = 0, -5*s - 5 = 2*m for m.
5
Let o(y) = y**2 + 12*y + 14. Let c be o(-11). Suppose 2*h + 5*k + 25 = 5*h, -c*h + 5 = 5*k. Solve 0 = -5*v - 4*z + 10, 4*v - z = h + 3 for v.
2
Suppose 0 = -v - 3*a, 0*v + v - 3*a + 18 = 0. Let w(t) = -t**2 - 9*t + 8. Let h be w(v). Solve 24 = -2*p + 3*i - h*i, -4 = -4*p + 3*i for p.
-2
Let d = 14 - 12. Solve 0 = -2*v + 4*f + 2 + 6, d*v - 8 = -f for v.
4
Let b(p) = p + 1. Let q be b(4). Solve -4*y - 4*j = -0*j, -q*y + j = -12 for y.
2
Let k(w) be the first derivative of w**2/2 + 9*w - 1. Let h be k(-4). Suppose -6*o = -2*o - 20, -h*n + 50 = 5*o. Solve -4*b = 8, a + 5*b = -n - 1 for a.
4
Let p = -2 + -7. Let r = -4 - p. Solve -3*z + 4*o + 25 = 0, r*o + 20 = 4*z - 12 for z.
3
Let o = 10 - 6. Suppose -o*n - 3*k = -25, 0 = n - k - 3 + 2. Solve -y + q = 8, -2*y - 10 = -n*q + 12 for y.
-5
Let q = -4 + -7. Let v = -6 - q. Solve 5*b = -2*d + 5*d + 34, 5*b + v*d = 10 for b.
5
Let p(z) = -11*z + 1. Let v be p(-1). Suppose -1 = 2*d - 4*j + 5, 3*j - v = 0. Solve 5 = -q - x, q - 3*q + d = -x for q.
0
Suppose 3*v - 111 = -15. Solve 5*c + 2*d = -25, 4*d = -3*c - c - v for c.
-3
Let t be (3 + (-14)/(-4))*-2. Let z = t + 13. Solve -n + 4*k = -3*n - 4, z = -2*k for n.
-2
Let a(b) be the third derivative of b**5/60 + b**4/3 + 3*b**3/2 + 2*b**2. Let w be a(-7). Solve -w*h + 3*f = 2*f - 2, 0 = 2*h + 4*f - 12 for h.
2
Let x be (34/(-85))/(1/(-25)). Solve 5*z = -4*a + 29 - x, 2*a = -z + 5 for z.
3
Suppose p + 8 = 13. Solve -2*n - 2 + 1 = z, -2*n + p = 3*z for n.
-2
Let c = -6 - -15. Suppose c*y - 5*y = 4. Solve 2*r - 5*k = y, 3*r - 4*k + 2 = -0*r for r.
-2
Let d = 6 - 9. Let f = 7 + d. Suppose -f = -w - 2. Solve 3*h + 5 = 5*g - 19, -w*h - 9 = -g for h.
-3
Suppose -6 = 3*s - 6*s, 3*c - 5*s - 14 = 0. Let i be 2/(-7) + 60/14. Suppose i*f - 30 = f. Solve 5*h - 3*b + f = 2*b, -h - 2*b = c for h.
-4
Let k be (-16)/(-32)*(-1 + 1). Solve k = 5*w + z - 18, 2*w - 7*z = -3*z + 16 for w.
4
Let r = 36 - 20. Let a(l) = -l**2 - 3*l + 1. Let z be a(-2). Suppose z*b - r = b. Solve -b = -5*o + o + 4*c, 0 = 4*o + c - 3 for o.
1
Let a = -68 - -72. Solve a*h = -2*x + 10, -x - x + h = 0 for x.
1
Let p(i) = -i - 11. Let r be p(-5). Let t = r - -8. Solve 3*u = f + 4, -t*f + 6*f = -4*u + 16 for u.
2
Let y = 11 + -8. Let z(s) = s + 1. Let w be z(y). Let t be -2 + 8 - (13 - 7). Solve t = -4*i + 4*a + 8, 3*i = -w*a - 8 + 35 for i.
5
Let p(j) = j**2 - 3. Let q be p(-3). Solve 0 = v - 3, -v + 3 = -q*b + 2*b for b.
0
Let z be 4/4 + 1 + -2. Let f(o) = -o**3 - o + 5. Let d be f(z). Solve 0 = 5*a - 15, -s - 4*a = -16 + d for s.
-1
Suppose -5*a + 35 = 4*x, 5*x - 5*a = 10 - 0. Suppose 17 = x*s + 2. Solve 0 = -3*p - 3*q - 21, s*p + q + q = -18 for p.
-4
Let h be ((-1)/(-2))/(5/120). Solve 2*n = -u - u - h, -2*n = 8 for u.
-2
Let f(o) = o + 11. Let n = 14 + -23. Let i be f(n). Solve -i = -3*g + 4*s, 5*g + 5*s + 18 = s for g.
-2
Suppose -3*c - 5 = -i, 2*c + 12 - 2 = 2*i. Suppose -2*y - 4 = 2*a, 30 = 5*y - 0*a - i*a. Solve 0 = 3*u - y*b + 1, 3*u + 4*b = 29 for u.
3
Let n(o) be the third derivative of -o**6/24 - o**5/30 - o**4/12 - o**3/6 - 2*o**2. Let h be n(-1). Solve 4*j + 0*j + 2*p = 24, -j = h*p - 13 for j.
5
Let a be 46/5 - (-2)/(-10). Solve 3*l = -5*r + a, -2*l = -9*r + 4*r - 6 for r.
0
Let k = -15 - -17. Solve -4*c = -k*v + 6, c = 3*c + 2*v + 12 for c.
-3
Let x = 5 - 2. Suppose -q + 0*q - 21 = -3*y, x*q = -2*y + 25. Suppose 4*j - y = -0*j. Solve 2*d = 3*n - 4, -d - j*d - 4*n = -11 for d.
1
Let g(w) = -w + 11. Let z be g(6). Solve 2*m - z*i - 13 - 4 = 0, -m - 2*i - 14 = 0 for m.
-4
Suppose 0 = -4*z + 27 - 7. Solve 0 = -z*a + w + 5, 5*w = 5*a + 11 + 4 for a.
2
Suppose -4*l - 5*d + 430 = 0, -5*l + 76 = 4*d - 457. Suppose -4*t = 5*b - l, 0 = 4*t - 0*b - 2*b - 70. Solve 0 = -5*i + t, 3*q - 2*i = -0 - 2 for q.
2
Suppose -4*o - 3*a + 12 = -0*o, -a = -2*o + 16. Let f be ((-9)/(-6))/(3/16). Let b be (f - 0)*(-17)/(-4). Solve 5*z + 3*w = -b, -2*z + w - o*w = 25 for z.
-5
Let g(c) = c**2 + 2*c + 2. Let q be g(-1). Solve 0*m + 5*o = -3*m - q, m - 1 = -o for m.
3
Let u be -2 + 5 + (0 - -1). Suppose 0 = u*x - 3 - 5. Solve -2*k - x*a = -0 - 4, -5*a = 15 for k.
5
Suppose -104*l = -102*l - 8. Solve 0 = -4*z + 4*t + l, -3 = -z - 0*z + 3*t for z.
0
Suppose -2*r = -5 - 1. Let s be 2*(-1 + 2) - 2. Suppose -3*t = -4*c + 3, 3*t + 3 = -4*c - s*t. Solve 0 = 2*h + 3*u - 7, -2*u - 2 = r*h - c*h for h.
-4
Let v(t) = t**3 + 10*t**2 + 7*t - 13. Let l be v(-9). Solve 0 = l*d - 5, -d + 4 - 1 = 2*m for m.
1
Suppose 4 + 1 = w. Suppose 24 + 1 = w*p. Let s = p - 1. Solve 5*a = 0, -x + 2*a + 2*a - s = 0 for x.
-4
Let n(x) = -x**2 - 6*x + 4. Let d be n(-3). Let b be ((-1)/1)/(2/(-4)). Suppose b*p + 8 = 4*p. Solve 1 - d = 4*a - 4*s, 2*s = -p*a + 6 for a.
0
Suppose 4*m + 4*x = 44, 6*m - 3*x - 79 = m. Suppose z + 0*z = m. Let k be (z/(-4) + 2)*-2. Solve -1 = k*h + n, 0*h + 3*h - 5*n = -13 for h.
-1
Suppose 0 = -3*l + 2*l. Suppose -g - 8 = -5*g. Solve 0 = a - h - 2, 4 = a - g*h - l*h for a.
0
Let v be ((-2 + -1)/(-3))/(-1). Let f(n) = 1 + n - 4*n**3 + n*