 - f + 2 = -u, 0 = -4*f for u.
-2
Suppose -15*c - 12 = -18*c. Let d = c - 1. Solve v + 3 = -d*q - 1, 2 = -2*v for q.
-1
Let c(t) = -t**2 - 5*t + 3. Let f be c(-6). Let n be (-32)/(-5) - (-8)/(-20). Let u be -1*12*f/n. Solve u*a + v = a + 13, -4*a = v - 11 for a.
2
Let w be ((-15)/(-9) - 2)/((-5)/30). Solve -5*o - w*z = -o + 14, -5 = z for o.
-1
Let y(s) be the third derivative of 4/3*s**3 + s**2 + 0 + 0*s + 1/24*s**4. Let n be y(-5). Solve b - 4*f + 13 = 0, b + n*f = -f + 11 for b.
-1
Let d = 22 - 18. Suppose d*z + 2*z = 12. Suppose -b = -3*p + 5, -3*p = 4*b - 4*p - 13. Solve 4*v = z*x + 3*x - 3, 0 = -b*x + 4*v + 4 for x.
-1
Let d be -2 - (-3 + 13)/(-2). Solve p + 7 = d*s, -2*s + 0*s = 3*p - 1 for s.
2
Suppose -2*p + 6*a = 3*a - 4, -3*p - 4*a = -40. Solve -4*d - 10 = 2*u, p = -2*u + 2*d - 2 for u.
-5
Let i(q) = q**3 - 2*q**2 - 2*q - 4. Let h be i(3). Let z = 1 - h. Solve -l = -k, -k + 0*k = z for l.
-2
Let l(a) = -a**2 - 8*a - 10. Let z be l(-5). Solve z*m - 15 = 0, -4*j - 4*m = -j - 15 for j.
1
Suppose -4*a - o + 7 + 12 = 0, 0 = -5*a + 5*o + 5. Suppose 0 = -2*h - 8 + 28. Suppose d + h = z - d, -16 = -z + a*d. Solve g = -5*w + 15, z = 2*w - 4 for g.
-5
Let j(i) = -2*i - 8. Let n be j(-5). Let l be n/4*-1*0. Solve y + l*y + 10 = 3*m, -4*y - 16 = 0 for m.
2
Let p be 4/3 - 2/(-3). Let y = -2 - -5. Suppose d + 2*a = 0, -2*a - 10 = -y*d - 3*a. Solve -2*f + d*x = 6, 0 = p*f + x + 1 for f.
-1
Suppose 5*p = 2*w + 14, 4*w + 10 = 2*p - p. Suppose -1 - 8 = -3*r, -18 = -p*c - 4*r. Solve 0 = 4*b - c*o + 1 - 3, 2*b - 8 = -2*o for b.
2
Suppose 9 = 3*k - 3. Let o = 0 + 2. Suppose j - o = -0, -y + 3 = -j. Solve b = -2*a + k*a - 9, -2*b - 21 = -y*a for b.
-3
Let u(g) = 4*g - 3. Let b be u(2). Solve 4*w = -l + 11, 2*l = 7*l + b*w - 10 for l.
-1
Let f(v) = -v + 12. Let d be f(12). Suppose d = 2*m - 33 + 25. Solve -2*h - 2*q + 4 = 0, 3*h - m = -0*q - 4*q for h.
4
Let k(v) = v + 4. Let x be k(-2). Solve -4*d - 5 = -5*b, -x*d - 4 = b - 5*b for d.
0
Let j = -31 - -33. Solve -2*u - j*u + l = 0, -4*l = 16 for u.
-1
Suppose a = -a. Solve a = 2*h - 2*d - 3*d - 11, -4*d = -4*h + 4 for h.
-2
Let n be ((-6)/(-7))/((-1)/(-7)). Let k(r) = -r**2 + 7*r - 2. Let w be k(n). Suppose -10*a + 29 = -1. Solve t - 4*q = -4, -w*q = -a*q - 2 for t.
4
Let o(c) = c**2 - 11*c + 12. Let n be o(9). Let b be ((-12)/(-9))/((-2)/n). Solve 2*a - 10 + 0 = 5*m, -4*a + 20 = -b*m for a.
5
Let f be ((-36)/(-45))/((-1)/(-25)). Solve 5*n - 3*c = -f, -5*c + 14 = -4*n - 3*c for n.
-1
Suppose 0*m - 2*m = 0. Let x = -1 - -1. Suppose 2*b = -x*b + 6. Solve -i + m*g = -b*g - 6, i - g - 4 = 0 for i.
3
Let p(v) = -v**3 + 8*v**2 + v - 4. Let c be p(8). Solve -c*h = o + 21, 4*o = 2*h - 0*h + 6 for h.
-5
Let q(c) = 12*c**3 + 2*c**2 - 1. Let o be q(1). Solve -5 = -z, -3*j - o = -7*z + 2*z for j.
4
Suppose 33 - 113 = -5*x. Suppose 2*p + 6 = 5*p. Solve -r = p*g + 8, g - 4*r + x = -3*g for g.
-4
Let x = -5 + 4. Let r be (-6)/x*6/12. Let w = 3 - r. Solve w = -5*v + 5*a, -3*v - 3*a = -2*a - 8 for v.
2
Suppose 2*s + 15 = 5*n, -14 = -2*s - 2*n + 6. Solve 0*p + p - 3*k + 4 = 0, s*p + 4*k = -20 for p.
-4
Let k(g) = 5*g - 3. Let y be k(7). Let i = -14 + y. Let l = i - -8. Solve -l = -4*b - 2*o, b + o = 8 - 0 for b.
5
Suppose -3*p + c + 12 = p, -4*p + 28 = 3*c. Suppose -4*g - 6 = -3*w, g - 5 + 13 = 4*w. Solve 4*y - 16 = 0, p*t - w*y - 3 + 7 = 0 for t.
1
Suppose 0*t - 35 = 5*t. Let p = -5 - t. Solve 3*w = 2*a, -a = -p*w - 3*a + 10 for w.
2
Suppose 2*l - 4*l = -10. Suppose -3*h + 4*h - l = 0. Suppose x + 16 = h*x. Solve 3*d = 4*d - 4*g, 2*g = -x*d for d.
0
Let y be ((-33)/(-22))/((-3)/(-2)). Suppose -3*g - 4*b = -6, -5*g - y + 11 = -3*b. Solve s + h - g = 0, -s - 3*h + 14 = -6*h for s.
5
Suppose 4*i + 4*s - 4 = 0, 4*i = -s - 4 + 14. Suppose -t + 14 = -0*t + 3*u, 0 = 2*t - 2*u - 4. Solve 4*h + 4 = -3*p, 2*p + t*h + i = 5 for p.
-4
Suppose 7*c - 13 = 8. Solve -q + 4*n + 6 - 21 = 0, -c*n + 11 = -q for q.
1
Let i be 3/4 + (-34)/(-8). Suppose -q + 3 = 2*w, 3 = 2*w - i*q - 6. Solve 2*a - 3*n = n + w, n = -a - 5 for a.
-3
Let o(v) = 5*v - 10. Let g be (-1)/((-51)/12 - -4). Let h be o(g). Solve -z + 6*y + h = y, 8 = z - 3*y for z.
5
Let p be (1 + -1)/(1 - 3). Suppose 3 = -a + c + 16, -9 = -a + 5*c. Solve 4*i + 0*x + x + a = p, -2*x = 4 for i.
-3
Suppose -4*p = -l + 5*l, 3*p + 5*l = -8. Let c be 2*-1*-6 - 1. Solve -p*u - j - c = -4*j, -j + 1 = 0 for u.
-2
Let b(j) = -2*j + 2. Suppose -3*m + 13 = o - 0*o, -4*o + 13 = -m. Let u = o + -8. Let y be b(u). Solve -v + y = v - w, -v - 4 = 4*w for v.
4
Suppose 3*z - 4*y - 58 = 0, 5*y + 3 = -2. Let d(i) = -i + 2. Let c be d(2). Suppose c = -3*v + 42 + z. Solve 4*j + 2*w - v = 0, 3*j - w - 4*w - 15 = 0 for j.
5
Let l(s) = s**3 - 8*s**2 - 9*s - 5. Let q be l(9). Let d(o) = -o**2 - 4*o + 1. Let i be d(q). Let g = i - -7. Solve -3*r = k, -5*k + g*k = -r + 7 for k.
-3
Suppose 4*b = -2*z + 10, -b = -3*b + 4*z + 10. Solve -2*a + 14 = -b*i, 5*i - 4*a + 28 - 4 = 0 for i.
-4
Let y(l) = l**2 + 3*l - 5. Let h be y(-5). Suppose h*g - 18 = 7. Solve 2*u = 4*q + 16, 10 = -0*u + g*u for q.
-3
Let g be 916/28 - 2/(-7). Let p be 6/g + 265/55. Solve 22 = -2*o - p*q + q, 4*o + 3*q + 24 = 0 for o.
-3
Let v be 1 + (-2)/(-5)*5. Solve -14 = -3*q - 2*r, v*q + r - 10 = -0*r for q.
2
Let u = 8 + -3. Let a be (3 - 1 - -2) + -1. Suppose -a*n = -6*n + 9. Solve -n*w - u*d = -5*w - 17, -2*w + 3*d - 11 = 0 for w.
-1
Suppose -v - 4 = -3*z, -5*v = z + 5 - 1. Suppose o = -0*o + z. Solve -2*k = p + 5, -2*k - 1 = 2*p + o for k.
-4
Let s = 0 + 12. Let t = s + -8. Suppose 2*k + t = -6, 0 = -5*g - 4*k. Solve g*m = -16, 2*d + 0*m = m + 4 for d.
0
Suppose 3 = q + 4, 0 = -t - q + 10. Solve -s + 4*a - t = 0, 2*s + 2*a - 16 - 2 = 0 for s.
5
Let a be 3 - (6/3 - 2). Suppose 13 = 3*g + a*p + 1, 5*g - 5*p = 10. Solve 3*z = i - 10, -3*z - g*i - 24 = -6 for z.
-4
Let a(m) = m**2. Let s be a(2). Solve 3*q + 5*c = 5*q - 8, 0 = s*c + 8 for q.
-1
Let i = 9 + -5. Suppose -r = -2*s - s, 0 = -3*s - i*r + 15. Solve -d - s = -3*f, f + 13 = 3*d - 6*d for f.
-1
Suppose -3*n + 35 = -5*p, -5*p = -2*p + 12. Solve -6 = -a + 2*w, -14 = -n*a - w - 39 for a.
-4
Let p(t) be the second derivative of t**4/3 - t**3/2 + t**2/2 + 2*t. Let a be p(-3). Let f = -30 + a. Solve -3*j = -3*u, 3*u - 3*j + f = 4*u for u.
4
Suppose 3*j - 24 = -2*u, 5*u + 5*j - 56 + 1 = 0. Let q = 12 + -7. Suppose 2*b - 4*y = 2, -2*b + q = -y - 0*y. Solve w + b*l + u = 0, 2*w = -w - 4*l - 17 for w.
-3
Let b(m) = -m**3 - 6*m**2 + 7*m + 1. Let p be b(-7). Solve 5*o = -4*a - 12, -o = -a + 7 - p for o.
-4
Let m = -25 - -30. Solve 20 = 5*o - m*z, -3*o + z = -z - 13 for o.
5
Let n = -11 + 10. Let x be (2 + 1)/1 + n. Solve -4*j = -x*p - 8, -3*p = j - 12 + 3 for j.
3
Suppose -2*n - 2 = -3*n. Solve 0 = -0*y + y - 3*r + 9, 19 = -5*y + n*r for y.
-3
Suppose 19 = -2*w + 27. Solve -2*t - 3*x - 2*x - 5 = 0, 5*t - 4 = w*x for t.
0
Let c = -9 - -15. Suppose -c*p = -p - 15. Suppose -9 = -4*r + 7. Solve -p*q + 6 = i, 2*q + 2 - 20 = r*i for i.
-3
Suppose -4*c = 8, -5*r + 21 = -2*r - 3*c. Let q be r + ((-4)/2 - -1). Solve 0 = 3*f + 5*o + 15, 0 = -q*f + 5*o + 15 - 0 for f.
0
Let p be (-20)/(-8)*((-32)/10)/(-4). Solve 2*f + 16 = -p*f - 4*b, -16 = -4*f + 4*b for f.
0
Let f be (32/(-24))/((-6)/9). Solve -5*x + 10 = c + 34, 8 = -4*x + f*c for x.
-4
Let f = 11 + 4. Suppose -2*l + 12 = -0. Suppose -f = y - l*y. Solve 4*t - 4*c = t - y, -27 = -5*t - 4*c for t.
3
Suppose -75 = 10*p - 5*p. Let v = -3 - p. Let n(y) = -2*y**3. Let r be n(-1). Solve -r*h + v = -4*m, 3*m - 3*h + 8 = -h for m.
-4
Suppose 4 = 5*q - 1. Let u be 3/(3/q) + 2. Solve 0 = 5*v - 3*t + 1, -4*v = -t + u + 2 for v.
-2
Let v = -10 - -10. Solve v = y - 3*q + q + 5, 0 = 3*y - 4*q + 7 for y.
3
Suppose 0*g - 20 = 5*y - 5*g, -g = -4*y - 4. Solve 3*f - 24 = -4*a, y*a = -5*f + 3*a + 11 for f.
4
Let z = 1 - 15. Let g = 14 + z. Solve 4*r - 4 = 0, 4*r - 4 = 4*f - g*r for f.
0
Let w(l) = 2*l - 8. Let d be w(5). Let h be (-2 + -6)*d/(-8). Solve h*q + 3*m = 18, -2*m = 4*q - 21 + 1 for q.
3
Let w(c) = -c + 3. Let u be w(-2). Solve 2*p - u*a = -3, -p + a = -0*p for p.
1
Suppose 0 = 3*k - 4*l + 6 + 1, -3*l = 3*k - 21. Solve 4*v + 4*j = -32, 0 = 5*v + k*j - j + 25 for v.
-3
Suppose 3*y + 2*m - 8 = -10, -5*m = 5*y + 10. Solve -t = 4*z - 6, y*t + 2*z = t + 4 for t.
2
Suppose 3