- c, b - q*o = 0 for b.
5
Suppose c + 191 = -2*w + 4*w, 5*c = -5*w + 485. Let o be w/(-9)*(-12)/8. Solve 3*n + 4*m = -o, -4*m - 15 = n + 1 for n.
0
Let c = -1 + 7. Solve -2*z = 3*d - 10, 25 = 5*z - c*d + 3*d for z.
5
Let i(v) = v**2 - 6*v + 5. Let m be i(5). Let p be m + (-3 - -4) - 1. Solve p = 3*n - 6*n + 6, -5*n + 4 = -3*h for h.
2
Suppose 22 + 8 = 3*i. Let u = i + -7. Solve -7 = 2*c - u*b, -2*c - 2 = b + 1 for c.
-2
Let j = 22 + -18. Let f be 11/j - (-1)/4. Solve 5*g - 5*p = -25, -f*g + 13 = -2*g + 5*p for g.
-2
Let b(q) = q**3 + 9*q**2 + 13*q. Let v be b(-4). Solve 5*z = 4*o + 13, o + 6*z = z + v for o.
3
Suppose -7*d - 40 = -2*d. Let i = d - -10. Solve -x = 2*y - 3 - 11, 3*x - 22 = -i*y for x.
4
Let l(s) be the first derivative of -3 + 2*s - 1/2*s**2. Let h be l(2). Solve h*k = -4*k + 3*c - 6, 2*c = 2*k + 2 for k.
-3
Let y = -5 + 5. Let i be (1 - y - 1)*-1. Solve i = 5*x - 10, 3*h = -4*x + 2*x + 4 for h.
0
Let v be 2 + (2 - 6/1). Let r be v/((-16)/6)*4. Solve 5*i - 2*f + f - 5 = 0, -i = r*f - 1 for i.
1
Let m(z) = z + 8. Let n be m(-8). Let l(o) = -2*o - 11. Let g be l(-13). Suppose j - g = -2*j. Solve 3*f + d + 1 = n, -j*d + 2*d + 15 = 0 for f.
-2
Let y be (6/(-9))/(2/(-18)). Suppose y*n - 10 = n. Let h be -1*(1 - 0)*0. Solve h = -4*k + a, -18 + n = 4*a for k.
-1
Suppose 0*b + 5*b - 10 = 0. Solve 12 + 2 = -4*t + 3*h, -b*t - 5*h = 20 for t.
-5
Suppose 0 = -5*i + 2*z - 6, 6*i - 9*i + 4*z - 12 = 0. Solve i = u - p - 3, u + 3*p = -0 - 1 for u.
2
Let v(c) = c**2 - 5*c + 4. Let p be v(5). Suppose 2*i + 4 = 5*t, 2*t - 5*i + 7 = -4. Solve -3 = -2*o - t*y + 1, -5*o - p*y = -10 for o.
2
Let g = 38 + -33. Solve -19 = g*j - 2*f, -2*f + 18 = -4*j + f for j.
-3
Let b be (1 - 2)*(3 + -2)*-4. Solve -4*y - 2*u + u - 20 = 0, 5*y + b*u + 25 = 0 for y.
-5
Let x be 0 - (0 + 0)/(-2). Suppose 2*h = -f + 9, -3*h + 18 = f + 2*h. Solve x*m + 5*d = m + 30, -20 = f*m - d for m.
-5
Let q(m) = -4*m - 1. Let w be q(-3). Let i = 25 - 20. Suppose -w = -i*b + 4. Solve -3*g = b*x, x + 3*g - 4 = -0*g for x.
-2
Suppose 2*i + 7 = 3*v - 8*v, 4*v = 5*i - 32. Let y be (v + 0)/3 - -4. Suppose 5*g - 4*g = y. Solve 2*a - g = k, -3*a + 3*k + 4 = -2 for a.
1
Let p(v) = v**2 + 8*v + 3. Let f = -9 + 1. Let w be p(f). Let h = 7 - w. Solve -1 = h*q - g + 3, -4*g = q + 18 for q.
-2
Let k be (48/(-9))/(2/6). Let t be (k/(-4))/((-4)/6). Let a = t - -13. Solve i + a = 2*z, -4*i = 2*z - 0*z - 22 for z.
5
Suppose -7 = -2*x + 3. Suppose -4*d = 3 + x, -3*d - 1 = f. Solve 1 = 3*h + r, -5*h + f*r = 6 + 19 for h.
-1
Let u be (1 + -5 + 2)*-2. Suppose -4*l + 67 + 29 = 0. Let h be -1 + l/3 + -2. Solve h*b - 20 = -q - q, 4*b = u*q - 12 for q.
5
Suppose -3*j = -3 - 6. Suppose -10 = o - j*o. Solve 4*s - 41 = o*v, -s - v = v + 6 for s.
4
Suppose 0 = 3*y - 6*y + 6. Solve 16 = 3*m - 3*g + 2*g, -12 = -y*m + g for m.
4
Suppose -5*u + 3*u + 9 = -5*x, 0 = -4*u - x - 37. Let d = 11 + u. Solve -2*j = d*o - 7*o + 14, -2*j - 5*o + 31 = 0 for j.
3
Suppose 0 = 3*n - 15 - 9. Solve 13 = -5*v + 2*g, g = -4*v + 5*g - n for v.
-3
Suppose 0 = 4*n - 3*h + 13, 10 = -3*n - h - 3. Let t = 2 + n. Let b = t + 2. Solve j = 4*v, b = 3*v + 5*j - 9 - 14 for v.
1
Suppose 0 = -4*a - 0*a. Let h be 3*(0 - -1) + a. Solve -h*y + 0*y = -5*f - 3, -3*y + 3 = 3*f for y.
1
Suppose 3*b = 7*b + 4. Let m = b + 33. Suppose v + 2*v = 4*i + m, 14 = v - 2*i. Solve c - 18 = v*x - 2, 4*c + 16 = -4*x for x.
-4
Suppose 4*u - u - u = 0. Solve 0 = 2*n - 2*o, -5 = -2*n - u*n - 3*o for n.
1
Suppose 18 - 15 = 3*m. Let w(k) = 6*k**2 - 2*k. Let i be w(m). Solve 0 = 2*g - x - 12, 2*x + i = -0*x for g.
5
Let c(b) = -b**3 - 2*b**2 + 3*b. Suppose -2*v = q - 13, 4*q + q - 59 = -4*v. Let p = 8 - q. Let a be c(p). Solve a*r + 2*m - 7 = 3*r, -5*m + 15 = -5*r for r.
-1
Let m(g) = -g**3 + g**2 - g. Let c(n) = 4*n**3 + 9*n**2 + 12*n - 14. Let a(f) = c(f) + 3*m(f). Let x be a(-11). Solve -2*i - x = -y + 3*y, 4*i + 21 = y for i.
-5
Let s be 10/(-20) + (-19)/(-2). Solve 4*x - u + 2 - s = 0, -4*x - 2*u = 2 for x.
1
Suppose 2*i = 2*n - 36, -2*n + 4*n = -3*i + 11. Let t = -8 + 11. Let f be (8 + -2)/t - 0. Solve -f*h = 5*x, 6 + n = -5*h - 3*x for h.
-5
Let z be 2/(-10) + 51/5. Let j be z/(-25) - 17/(-5). Solve -5*i = -j*i - 2, 5*q = i + 19 for q.
4
Suppose -u - 9*j + 28 = -4*j, 35 = 5*u + 4*j. Solve 4*l - g = -17, l = u*l + g + 13 for l.
-5
Let t(c) = c**2 + 8*c + 9. Suppose 34 = -4*v + 3*p, -5*v + 4*p - 6 = 37. Let g be t(v). Solve -6 = y + 3*y - g*h, -5*h = 25 for y.
-4
Let u(j) = -j. Suppose -6 = 2*h - 0*h. Let d be u(h). Solve -d*p + 2*p + 16 = 3*i, 3*p = 3*i for p.
4
Let n be (-9)/6 - 23/2. Let z = -9 - n. Solve -3*s - 15 = -2*s + 5*y, 0 = -z*s + 3*y + 32 for s.
5
Let g be (0/2)/((-1)/(-1)). Solve g = -4*l - 2*j - 6, -j - 3 = l - 0 for l.
0
Let i = 72 + 63. Suppose u = 6*u - i. Solve -4*l + 5*l + 3*o = -17, -l - u = 5*o for l.
-2
Let i(a) = -a**2 - 15*a - 17. Let c be i(-12). Let m = -17 + c. Solve -16 = 4*w, -4*f - m*w = w + 12 for f.
0
Let t be (15/6)/(-1)*2. Let x(d) = d**2 + 4*d - 4. Let c be x(t). Let h be -2 + (1 - c - -2). Solve 0 = -4*s, 8*i - 3*i - 2*s = h for i.
0
Let v = 8 + -5. Suppose 4 = v*x - x. Solve 0 = -x*d - 4*k - 16, 3*k + 15 = 4*d - 7*d for d.
-2
Let i = 5 - -1. Solve -2*g - 5*w = -i, 5*w - 1 = -g + 2 for g.
3
Suppose 4*o = 2*y + 15 - 3, 0 = -4*o - 2*y + 20. Suppose o*l - 5 = -1. Solve x + 4*s - 8 = 0, 2*s = -l + 5 for x.
0
Let d be -1 - (-2 + (-3 - 11)). Solve -3*u + d = f, 2*f = 7*f + 2*u - 23 for f.
3
Suppose -t + 2 = -5*m, 3*t + 3 = -5*m + 9. Let i = 5 - m. Solve 5*y + 2 + 3 = i*u, y + 5 = 0 for u.
-4
Suppose 0 = -4*l - 0*l. Let s = 10 - 7. Suppose -s*q = -6*q + 15. Solve -q*w = -5*g, 4*w + l + 15 = g for g.
-5
Suppose 0 = -3*j + 10*j - 7. Solve 0 = -2*z + 7 - j, 0 = 5*g - 5*z - 5 for g.
4
Let q(m) = -2*m - 17. Let g be q(-10). Solve 3*h - 1 + 5 = y, h - 4 = g*y for h.
-2
Let g(v) = v - 6. Let s be g(11). Suppose -6 = 2*n - s*n. Solve -4*q + n*p + 2 + 8 = 0, 5*p + 5 = 0 for q.
2
Let c = 3 - 0. Let z be c/(-2 + 1) + 8. Solve -b - 3*l + 9 = 0, z = -3*b - 0*b - l for b.
-3
Let n be (4/(-12))/((-3)/63). Suppose -2*t = -3 - n. Suppose 2*j = -3*j + 45. Solve -2*m + t*v + 15 = -4*m, 3*v + j = 0 for m.
0
Suppose r + 12 = 4*r. Suppose 0*m + 48 = r*m. Solve -2*s - 31 = 5*v, -7 - m = 3*s + 2*v for s.
-3
Let h(o) = o**2 - 8*o + 7. Let u be h(8). Let v = -6 + 22. Let a be 180/v + (-9)/(-12). Solve 4*f - a = 4*k, 0*k = -4*f - k + u for f.
2
Let v(u) = -u**2 + 9*u - 6. Let b be v(8). Suppose z - 10 + 5 = -b*j, 0 = -j + 3. Let m be 2/z - (0 + -2). Solve m = 4*o + 5*k - 9, -k + 4*k + 1 = 4*o for o.
1
Let v(p) be the third derivative of p**5/60 - p**4/6 - p**3 - p**2. Let b be v(6). Let j be 0*3/b*-1. Solve -2*k - 2*r - 5 + 1 = j, 3*r = 2*k - 16 for k.
2
Let c be (-3)/6 - 10/(-4). Let q be (-1 - 0)/(1/(-3)). Let b = -118 + 148. Solve -q*i - b = 3*d, -3*d + i - 20 = c*i for d.
-5
Let m = -109 - -60. Let t = 74 + m. Solve 4*c - n + 15 = 0, 4*c = -n - 0*n - t for c.
-5
Suppose 21 + 17 = 2*f. Solve 3*i + 13 = -4*c, -f = 4*i + i + 4*c for i.
-3
Let f(d) = -d**2 - 12*d - 14. Let t be f(-10). Let y = t - 3. Suppose 7*m - 2*m = 5, -28 = -5*l - y*m. Solve -p + 3*w + w + 2 = 0, -l*w + 10 = 5*p for p.
2
Let c(f) = -f**3 - f**2 + f + 2. Let g be c(0). Let p = -2 + 5. Solve -4*w + 6 = 3*l + w, p*w - 3 = -g*l for l.
-3
Let t = -3 + 8. Suppose 0 = -3*p + t + 1. Solve -2*g + 14 = 3*j, 0 = j - p*g + 3*g - 5 for j.
4
Let r(x) = -x**2 - 4*x + 1. Let v be r(-2). Solve 4*p = 4, a + 3 = 2*a + v*p for a.
-2
Suppose 5*v - 15 = -5*p, -p = -5*p - 3*v + 12. Solve 0*m = p*m + 4*w - 13, -3*w = -12 for m.
-1
Let j(h) = -h**3 - 6*h**2 - 6. Let c be j(-6). Let k be (c/(-1))/(2 - 0). Solve -4*s - 17 = -k*a, 3*a - 3 = -0*a - 3*s for a.
3
Let f be 112/28 + (1 - 3). Solve -f*s = -3*m - 11, -m - 2 = 2*s - 1 for s.
1
Let m(q) = -q**3 - q**2 + 5*q + 2. Let a be m(-3). Solve -3*i - 5*c + 13 = i, -c = -a for i.
-3
Let f be (0 - -7)*(-2 - 85/(-35)). Solve 2*o - 9 = -4*t - f, 4*t = 3*o + 11 for o.
-1
Let g be 8/(-8) - (0 + -2). Suppose -2*y - g - 43 = -2*c, -c = 2*y - 10. Solve -u - 20 = -5*s - 2, -4*s = -2*u - c for u.
-3
Suppose -3*n - 35 = -5*m, -n + 0*n - 25 = -5*m. Let v = m - 5. Let w be 2 - v/(-1)*1. Solve g - 2*q + 0 = -w, 2 = 2*q for g.
1
Let i be (-1)/2*(-96)/12. Solve -d = -2*k + i + 2, k = 