 0*a + 4 = -c*a for a.
-2
Let k = 12 + 3. Let x be 24/k + 6/15. Solve 0 = -2*v + v + x for v.
2
Suppose b = 2*d + 3*d - 18, 2*d - 21 = 5*b. Suppose d*v + y - 15 = 0, -4*y + 14 = 2*v - 6. Solve n = -v*n for n.
0
Let o(h) = 2*h**3 - 2*h**2 + h. Let d be o(1). Let y = -2 + d. Let z be 2*y/(-3)*3. Solve 0 = -z*p + 4*p for p.
0
Let f be (-2)/5 + (-2)/(-5). Let p = -5 + 8. Let k = 10 - p. Solve f = 3*q - k - 8 for q.
5
Let n be 2 - -1 - (0/5 - -3). Solve -h = -n + 2 for h.
-2
Let x be 372/8 - 3/(-2). Suppose 2*f - 2 = x. Solve 0*a = 5*a - f for a.
5
Suppose 11 - 1 = 5*r. Suppose -2*m = -2*q - r, -2*q - 2*q + 4 = 0. Let l be (-77)/(-14) + m/(-4). Solve l*z = 17 + 8 for z.
5
Let j(s) = s**3 + s**2 - 2*s + 1. Let o(a) = a**3 + 2*a**2 - 3*a + 1. Let r(h) = -4*j(h) + 5*o(h). Let z be r(-7). Solve z = -3*m + 2*m for m.
-1
Suppose 2*p = 4*x - 2, -5*x - 6*p + 3*p + 19 = 0. Solve -x*z + 0 = 2 for z.
-1
Suppose 0 = -f + 3*f - 8. Suppose -3*u + f = -2. Solve -m = -2 - u for m.
4
Let d be 1/(-4) + -2 + (-200)/(-32). Solve -9 = d*c - c for c.
-3
Let j be 33 + (0/(-3))/3. Suppose -5*q + j = 2*g + 13, q - 4 = 3*g. Let h = -1 + 3. Solve -2*w = -h - g for w.
1
Let h = -9 + 5. Let u be (-1)/2 - 2/h. Suppose -6*s = -3*s + 3*d - 15, d = -3. Solve u = -z - z - s for z.
-4
Let c(f) = f + 13. Let r be c(-10). Solve 0 = r*x + 2*x - 20 for x.
4
Let z be 1 + 5/5 + 1. Solve 0*w + z = 3*w for w.
1
Let f(n) = -5*n + 2*n - 3*n. Let l be f(-1). Suppose -l = -5*c + 4*o - o, -o - 2 = c. Solve c = 2*g - 12 + 4 for g.
4
Suppose 0 = -4*n - 4, -5*b + 0*n = 4*n - 6. Solve b*t - 5 = t for t.
5
Let i be 3*-2*(-4)/8. Solve i = -3*f + 15 for f.
4
Suppose r = -2*r + 18. Let f = -6 + r. Solve f*d + 4*d + 4 = 0 for d.
-1
Suppose 4*m - 30 = -2*b, -4*b + 0*b = 2*m - 24. Suppose -m*c = -c - 40. Solve 3*w - c*w = -15 for w.
3
Let r(j) = -8*j - 29. Let s be r(-4). Solve 5 + 1 = s*z for z.
2
Let z(f) = 2*f**3 + 2*f**2 - 8*f + 5. Let j(m) = -m**3 - 3*m**2 + 7*m - 4. Let i(c) = 3*j(c) + 2*z(c). Let b be i(4). Solve -6*d + 8 = -b*d for d.
2
Let v(a) = a**2 - 9*a - 10. Let i be v(10). Solve -t + i*t = -2 for t.
2
Suppose -8*b = -6*b + 3*d - 20, 0 = -3*b + 3*d. Solve 19 = -b*l - 1 for l.
-5
Let d be (-80)/25*5/(-2). Solve 3*s + d = -1 for s.
-3
Let y(o) = 4 - 5 + 2 + 6 - o. Let b be y(7). Suppose 0 = -4*u + 54 - 18. Solve 3*p + u = -b for p.
-3
Let i be (1 - 6)*16/(-10). Suppose 0 = j - h - 8, -3*j = -0*j + h - i. Suppose 0 = 5*p - 3*k - 30, j*k = -7*p + 2*p - 5. Solve 0*t - 6 = -p*t for t.
2
Suppose o = 2*l - 17, -o = 2*l - 3*o - 14. Solve x - l = -5 for x.
5
Suppose 3*m - 18 = 15. Solve 0 = -3*x + 1 + m for x.
4
Let x(c) = c**3 + 4*c**2 + 4. Let k be x(-3). Solve -3*f = k - 4 for f.
-3
Let y be 3*(-2 + (-1 - -2)). Let z = -7 - y. Let j be (z/(-3))/(2/6). Solve -k = j*k for k.
0
Suppose -5*w - 8 = -9*w. Suppose 3*z + g - 8 = z, 4*z + 4*g - 24 = 0. Let u = z + -2. Solve u*q + q - w = 0 for q.
2
Suppose -2*v = 2*v - 140. Suppose 15 = v*j - 30*j. Solve 0 = -j*s - 15 + 3 for s.
-4
Let h(i) be the second derivative of -i**3/3 + 5*i**2/2 - 2*i. Let f be h(-4). Solve 5*t + f = 28 for t.
3
Suppose -5*v + 39 = 2*f, -2*v + 3 = 4*f - 35. Solve f*m = 3*m for m.
0
Let s = 48 + -46. Solve -2*r = s - 6 for r.
2
Let i = 39 - 33. Solve -n = -i*n - 5 for n.
-1
Let p(m) = 1 + 3*m + 0 - m + m**2 - 5. Let h be p(-6). Solve -h = -3*x - x for x.
5
Let j(n) = n**3 + 12*n**2 + 2*n + 3. Let f be j(-5). Let o be 4/(-22) - f/(-77). Solve o + 7 = 3*p for p.
3
Let l = 7 + -2. Suppose 5*j + 2*m - l = -2*m, -3*j = 3*m. Let g be (-2 - 1)*(-8)/12. Solve -3*c + j = g*c for c.
1
Suppose -u + m + 7 = 2*u, 4*u - 8 = m. Let q be (14 - 12) + (1 - u). Solve 3*s = q + 4 for s.
2
Suppose 3*j - 10 = 14. Solve -3*h - 4 = j for h.
-4
Let q(f) be the first derivative of f**4/4 + 8*f**3/3 - f**2 - 12*f - 4. Let b be q(-8). Solve 0 = -b*z - 2 + 14 for z.
3
Let s = 35 - 31. Solve n = -1 - s for n.
-5
Suppose v = -3 + 6. Suppose v*t - 2 = 7. Solve 12 = s + t*s for s.
3
Let d be (-4)/(-22) + 248/88. Solve -7*v = -d*v for v.
0
Suppose -4*n = -9 - 7. Suppose 18 = 3*f + 3*t - 0*t, 0 = n*f + 3*t - 22. Solve 0*p - f = p for p.
-4
Let t(v) = v**2 - 9*v + 2. Let n be t(9). Solve n*a = -1 + 5 for a.
2
Suppose 0 = -3*s - 3, 4 = 4*d - 4*s - 0. Suppose -3*r + 4*r = d. Suppose 3*y + y = r. Solve y*k + 10 = -2*k for k.
-5
Suppose 2*l - 4*i = 14, -2*l + 5*l - 57 = -3*i. Solve y = 4*y - l for y.
5
Let i = 14 - 14. Let d be ((0 - i)/4)/1. Solve d*z = -2*z - 2 for z.
-1
Let p = 7 - 2. Suppose 0 = 2*k + 5*z - 5, 0*k + 10 = k - p*z. Suppose 0 = -w - 3*s + 6, -w + 2 = k*s - 8. Solve w = m + 2*m - 9 for m.
3
Let v be (-4)/14 + 144/112. Solve -3*f = -v - 14 for f.
5
Let g(t) = -t**3 + 6*t**2 + 8*t - 2. Let m be g(7). Suppose 0 = 5*n + 5*v - 35, 0 = 4*n - 2*v + m*v - 23. Solve -n*i - i + 15 = 0 for i.
5
Suppose 2*h = -2*h - 12. Let n be 1/(-3)*h + -2. Let b be -1*n*(4 - 2). Solve b*t = 7*t - 20 for t.
4
Let m = -3 - -3. Suppose m*i = i - 2. Solve -1 = 3*z + i for z.
-1
Let s = -18 - -21. Solve -2*v - 1 = s for v.
-2
Let o(q) = q**3 - 5*q**2 + 5*q + 4. Let f be o(4). Solve 0 = -3*c + c + f for c.
4
Let s = -1 - -5. Suppose -4*t + 2*t + s*m = -12, 3*m + 10 = 2*t. Solve 3*o - t*o = 5 for o.
5
Let k = 27 - 27. Solve 25 = -k*h + 5*h for h.
5
Let t = -7 + 13. Let g = t - 3. Let h(c) = -2*c**2 + 15*c - 5. Let r be h(7). Solve -z + g = -r for z.
5
Suppose -n - 12 = 4*f, -15 = -7*n + 2*n + 5*f. Solve -i = -n*i for i.
0
Suppose 0 = 3*n - m - 45 - 3, 80 = 5*n + 4*m. Solve q + 3*q = n for q.
4
Let x = -4 + 12. Let i(v) = 2*v**2 + 3*v. Let w be i(-2). Solve -w*g - x = 2*g for g.
-2
Let n(c) = -c + 18. Let m be n(18). Solve m = 5*w - 10*w + 25 for w.
5
Let o = 48 - 44. Solve 0 = o*w + 1 - 9 for w.
2
Suppose 2 = -2*k - 0*z - 2*z, 3*z = 4*k - 31. Let w = -24 - -31. Solve -k*t + w = -1 for t.
2
Let a(r) = -r + 2. Let m be a(4). Let c be (30/(-9))/(m/3). Solve 6 = -c*o - 9 for o.
-3
Let m = -80 - -80. Solve m = 4*s - 6 - 14 for s.
5
Let f be (36/(-24))/((-3)/16). Solve 3*u - f = -u for u.
2
Let k = -7 - -12. Suppose 0 = -k*f - f. Solve f*l + 3*l - 15 = 0 for l.
5
Let b(d) = -d**3 - 3*d**2 + 4. Let i be b(-4). Solve 0*o = -5*o + i for o.
4
Let t be 2/(-4) + 114/12. Let l = -2 - -4. Suppose 0 = 2*a + l*a. Solve 3*c + 3 - t = a for c.
2
Let l(k) = k**2 + 8*k - 6. Let r be l(-7). Let j = -9 - r. Solve j*t = t + 15 for t.
5
Let u be 8/2 - (-1 + 2). Suppose -4*t + 11 = u. Solve -1 = t*a + 1 for a.
-1
Suppose 22*l - 15*l = 0. Solve l*w + 5*w = 0 for w.
0
Let p be (0/(5 + -3))/(-1). Solve 0 = 5*x - p + 5 for x.
-1
Let v be (-36)/10 - (-2)/(-5). Let k(p) be the third derivative of p**5/60 + p**4/12 - 5*p**3/6 - 23*p**2. Let a be k(v). Solve -2*g - a = g for g.
-1
Suppose 5*p - 3 - 12 = 0. Solve s + p = 4 for s.
1
Let a be (-8)/(-5) + (-12)/(-30). Let v(r) = -3*r**2 - 4*r + r**2 + 3*r**a + 2. Let b be v(4). Solve 0*d = d - b for d.
2
Let j = 21 + -16. Solve -2*w = -w + j for w.
-5
Suppose -w = h + 6, -2*h + w = -0*w. Let i be (h/(-5))/(4/60). Suppose 0 = -0*d - d + 9. Solve -5*j + i = -d for j.
3
Let d be 0 + (-2)/4*-2. Let z = 9 - 9. Suppose z = -2*f - 1 + 7. Solve d = -f*k - 2 for k.
-1
Suppose -2*k + 5*b + 39 = 0, -b - 31 = -3*k + b. Solve -5*i - 17 = -k for i.
-2
Suppose 12 = 4*l, 5*l - 4*l - 6 = -h. Solve -2 = y + h for y.
-5
Suppose -s + 5 - 23 = -z, -2*z = 3*s - 21. Suppose 5*b = 4*t - 20, -3*t + z = 2*b + 3*b. Solve -5*r + t = -10 for r.
3
Let f = 17 + -15. Solve 0 = f*k - 8 - 2 for k.
5
Let x(i) = -i**3 + 8*i**2 - 7*i + 4. Let g be (28/(-10))/((-6)/15). Let y be x(g). Let r = y + -1. Solve 7 = -r*h + 1 for h.
-2
Let m(t) = 1. Let j(k) = -7*k - 7. Let p(c) = j(c) - 2*m(c). Let s = -22 + 16. Let n be p(s). Solve n - 13 = 5*q for q.
4
Let c be (-4)/(16/(-7))*4. Let v = 32 - c. Solve 0 = -2*g - 3*g - v for g.
-5
Suppose 2*m + 23 = 5*m - 4*n, 0 = 2*m - n - 17. Let i = -6 + m. Solve -3 = -0*o + i*o for o.
-1
Suppose 5*r - 25 = -5. Suppose -14 = 2*g - r*s, 2 = s - 3. Suppose 4 = g*o - 5. Solve -t - o*t = -4 for t.
1
Suppose -5*k - 26 + 46 = 0. Solve z + k*z = 25 for z.
5
Suppose -y = -s + 4, 0*s - 4*s - y + 1 = 0. Suppose -1 = -j + s. Solve 0 = j*g - 4*g for g.
0
Suppose -5*n - f = -29, 4*n + 3*f - 21 = -0*f. Solve n*d + 12 = 3*d for d.
-4
Suppose 2*n - i = 12, -5*n + 0*n = -2*i - 28. Suppose -n*l