 for c.
-1
Suppose 0 = 4*w - 78 + 30. Solve v + 6*f = 2*f + w, -v - f = -6 for v.
4
Let f be -5*(1 + (-27)/15). Suppose 5*i - 19 + f = 0. Solve -3*w = -3*s - 12 - i, 0 = -w for s.
-5
Let g = -27 + 47. Solve -g = -4*f - 2*m, 4*f = 3*m + 23 - 3 for f.
5
Let u(v) be the third derivative of 7*v**4/24 - v**3/3 - 3*v**2. Let b be u(1). Solve a + 16 = b*a, 0 = -m - 3*a + 7 for m.
-5
Let c be 1/(((-2)/50)/(-1)). Solve -5*b - 4*k = k, 5*k - c = 0 for b.
-5
Let h = 2 + 2. Suppose -5*j + 10 = -5*q, -3*q - 4*j = -3*j - 14. Solve h*o = q*f - 9 - 8, 2*f + 4 = -5*o for f.
3
Let s = -7 - -11. Let m = s + 2. Solve m = 5*d - 2*p - 4, 4*d = -5*p + 41 for d.
4
Suppose -4*n + 32 = -0*n + 5*v, -3*v = 5*n - 27. Solve 4*d + n*j + 34 + 1 = 0, -3*d = 5*j + 40 for d.
-5
Suppose 0 = 19*q - 7*q. Solve q*y - 2*y = -2*g - 10, -g - 2*y = -10 for g.
0
Suppose 0 = -2*o + 4*z + 18, 3*o + 2*z - 26 = -o. Let n(s) = s - 1. Let c be n(o). Suppose 4*k = 10 + c. Solve -f - 1 = -2*w + k, -5*w - 4*f = 7 for w.
1
Let k = 62 + -58. Suppose -2*q - 1 + 11 = 0. Solve q*r + 4*v = -v + 15, -2*v - 6 = -k*r for r.
2
Let t = -1 + 3. Let o = -3 - -5. Let s be (0/(-1))/(o + 0). Solve s = a - t*j - 3*j - 3, -a = j - 3 for a.
3
Suppose 0*j + 26 = 2*j. Solve -j = -2*o + q + 4*q, 2*o - 2*q - 10 = 0 for o.
4
Let h(s) = -4*s**3 + 3*s**2 + s - 3*s**2. Let f be h(-1). Solve -5*z - 4*o = o, 2*o = -f*z + 2 for z.
2
Let n = -11 - -11. Solve n = 2*j - v + 9, 0 + 3 = v for j.
-3
Let y be 4/10 + (-8)/(-5). Let f be (3/(-8 + 14))/((-3)/(-12)). Solve -7*x = -y*u - 2*x + 13, -f*x - 4 = -2*u for u.
-1
Let h = 0 - -5. Suppose -k + 2*k = 7. Suppose m = -3 + k. Solve -3*l + 15 = -2*y, l - 2*y = -m*y + h for l.
5
Suppose 0*j - 4*l = 3*j + 8, 0 = -4*l - 8. Let f = 11 - 11. Suppose 4*d + 8 = j, f = -5*o - 3*d + 4*d + 12. Solve 0*u - o*u + z + 6 = 0, -3*z = -3*u + 9 for u.
3
Suppose -11 + 3 = -2*q. Let o be 2/3*18/12. Suppose 5*z - 4*a - 61 = 0, z + 6*a - o = 4*a. Solve 2*r - 5 = r, -z = -q*j - r for j.
1
Let h = 10 - 6. Solve 4*s - 3*s + h*n - 10 = 0, 5*s - 5*n = 0 for s.
2
Let u be 7 - 2 - (2 + 0). Suppose -j = -u*j + 10. Suppose -4*g + j = -15. Solve g*z - 22 = 2*f, -5*z + 13 = -5*f - 3*z for f.
-1
Suppose -4*o + 3*n = -24, -17 = o + n + 4*n. Suppose -4 = -c - c. Solve 2*h - o*x = -1, c*h + 2*x + 2 = 6*x for h.
1
Suppose 7*v - 3*v + 36 = -4*f, 5*f - 9 = 4*v. Let k = v + 25. Solve 0*t - 9 = 2*t - r, 3*t + 4*r = -k for t.
-5
Let g be 1786/376 + 2/(8/(-3)). Solve q = -5*j, g*j = -0*j + 2*q for j.
0
Let n be 16 - ((-3 - -3) + -1). Suppose -13 = -4*b - 29. Let f = 7 + b. Solve f*y + s = n, -3 = -5*s + 22 for y.
4
Let l be 133/(-21)*(2 - 5/1). Solve d - 29 = -0*v + 5*v, -3*v = -d + l for d.
4
Suppose 3*r - 11 = -2*w, -2*w + 7 = -r - 0. Let t be 6/12 - (-30)/w. Solve c - 6*c + 3*v = 12, 2*c = 2*v - t for c.
0
Let o(m) = m**3 + 9*m**2 + 7*m - 4. Let y be o(-8). Let q = 7 - y. Solve 0*x + 4*x = 0, -4*g = -q*x - 16 for g.
4
Let u = 13 + -9. Suppose -m = 4, -y - 3*m - 2 = 5. Solve -r + 15 = u*f, -y*f + 2*r + 6 = -r for f.
3
Suppose 22 = 4*q + 10. Let j = 2 + -5. Let o be (-27)/(-2) + j/6. Solve 5*f = 4*i - 16, -f - q*f = -3*i + o for f.
-4
Let k(i) = -i**2 - 2*i + 4. Let g be k(-3). Let z = g - -1. Solve 2*n - 2 = -z*b, -6*b + 4*b - 4*n = -2 for b.
1
Let b = -21 + 35. Solve s = 2*v - 11, -5*v + 3*s = -15 - b for v.
4
Suppose f - 3*y + 27 = 4*f, 2*y - 45 = -5*f. Solve s - t - 6 = -0*t, -2*s - t = -f for s.
5
Let w be 38/9 - (-14)/(-63). Solve -4*p + 5*r = -1 - 4, -w*p = 5*r + 5 for p.
0
Let g(i) = -3*i - 4. Let c be g(-3). Suppose 0 = 5*p + q, c*q + 16 + 8 = -p. Let b be (1 - p) + (-14)/(-2). Solve 0 = -2*f + m + b, m = f - 3*m + 7 for f.
5
Let o(s) = 10*s**2 + 4*s - 4. Let w(n) = 9*n**2 + 3*n - 3. Let g(h) = 5*o(h) - 6*w(h). Let i be g(2). Let r = -9 - i. Solve z = -5*b + 6*z, 20 = r*z for b.
4
Suppose i = -3*a - 12, 0 = -2*i + i + 4*a + 16. Solve 2 = -3*q - 4*j, i = 2*j + 2 + 2 for q.
2
Let x(g) = g**2 + 8*g - 4. Let w be x(-9). Suppose 0 = w*p - 9 - 6. Solve 5*r + 6 + 13 = p*t, -3*r - 25 = 5*t for t.
-2
Let y = -52 + 73. Suppose r + 83 = u + 3*r, -4*u - 4*r = -328. Suppose u = 4*i - i. Solve b + b + y = 5*x, 5*x = 4*b + i for x.
3
Let r(d) = d**3 - 5*d**2 - d + 5. Let o be r(5). Solve 0 = -o*c + c, c = -n for n.
0
Let g(n) = n**3 - 10*n**2. Let h be 272/28 - (-4)/14. Let c be g(h). Solve 6 = -3*w + 4*x - 12, -3*w - 5*x + 9 = c for w.
-2
Let w(u) = u**3 - u. Let z be w(0). Let c = z + 2. Suppose -c*y - 40 = -7*y. Solve -v - 2*a - y = 3*v, -a = -5*v + 4 for v.
0
Let q(f) = f**3 - 7*f**2 + f - 5. Let i be q(7). Solve -5*w - 2*d = 9, 3*d + i = 2*w + d for w.
-1
Suppose 4 = 2*s - 6. Solve -3*i - 3*g - 12 + 3 = 0, 4*i - s*g - 6 = 0 for i.
-1
Let j(x) = -3*x + 1. Let s be j(-1). Suppose 0 = -2*k - 2, -2*k = s*g - 2 - 4. Let l be g/(1*(-2)/(-5)). Solve -4*d = -5*i + 1, -d + l*d = -3*i - 25 for d.
-4
Let w(f) = f**2 - f + 1. Let n be w(0). Suppose -4*z + n = -35. Solve 5*p + 2*v = z, 2 + 5 = 5*p + v for p.
1
Let f = -5 + 13. Suppose -4*z + f = 4*l, 3*l = -z + 13 - 3. Solve 12 = -4*u + 4*w, -2*w + 1 = -3*u - l for u.
1
Let n(a) = -a + 2. Let u be n(5). Let k be -6*u/(1*6). Solve -4*l - s - 15 = 0, 0 = -3*l + k*s - 15 - 0 for l.
-4
Suppose 1 = -o + 4. Solve 5*s - 3*u = -29, -o*u = 5*s + 9 + 2 for s.
-4
Let b be (0 + 0)/(3 - 1). Suppose -4*p + 36 = 4*w, b*w + 4*p = 4*w + 4. Solve 2*d = 3*h + 5, -3*h - 2*d = 17 - w for h.
-3
Let k(d) = -d**3 - 12*d**2 - 10*d + 9. Let t be k(-11). Let n = t - -4. Solve 4*i + h - 1 = 0, -2*h + 2 = n*i - 0*i for i.
0
Suppose -4*h + 0*h = 0. Suppose 0 = -6*q + 7*q. Suppose -k - 4 = q, 2*f - 3*k - 14 = 32. Solve h = c - 3, f = 4*v - c + 4*c for v.
2
Let d be ((-1)/1 + -4)/(-1). Suppose 5*x + 1 = -o, 10 = -d*x - 0. Solve -4*l - o = -q, -5*l - 4*q - 26 = 1 for l.
-3
Let n = -223 + 154. Let u be 2/8 - n/12. Solve -u = -r + 2*p - 2, -2*r - 5*p = 28 for r.
-4
Let d = 7 + -9. Let l be d/4*(-9 - -1). Solve 3*w - 2 - 8 = -5*z, -4*z = -l*w - 40 for w.
-5
Let y = -51 - -71. Solve -4*w + 0*w - y = -2*o, 5*o + w - 17 = 0 for o.
4
Suppose -11 = -5*p - 1. Let a be (1/2)/(p/20). Suppose 0 = 5*m - m - 20. Solve -t = -5, a*f - m*t + 26 = -14 for f.
-3
Let y be ((-27)/6)/(-9)*16. Solve -5*q = -15, 5*l = q - 5 - y for l.
-2
Suppose 0 = 4*x + 5*a - 12, -a = 5*x + 2*a - 15. Solve 2*g - 3 = -o, x + 0 = 5*o - 2*g for o.
1
Suppose -4*w = 4*s - 28, 5*w + 2*s = -0*s + 29. Suppose -5*l + w = -10. Solve 0 = -5*p - l*d + 4, 0 = -0*p + 2*p + 3*d + 2 for p.
2
Suppose 24 = 3*j + 3*j. Solve 2*a + 12 = j*p, 16 = -4*p - 5*a - 0 for p.
1
Let h(c) = -c**2 - 4*c - 4. Let z be h(-3). Let j = -1 - -2. Let n = z + j. Solve 3*b - 4*m = 25, n = -4*b - 2*m + 2 + 2 for b.
3
Let v be (-42)/(-11) + 10/55. Suppose j + 10 = 2*w, 2*w - 19 = -3*j - 1. Solve 0 = -v*z - 2*b - w, 4*b + 16 - 4 = z for z.
0
Let i = -12 - -15. Solve -3*j - 5*u = 2*j, -9 = i*u for j.
3
Suppose 0 = 7*x - 3*x - 24. Suppose 0 = t - 3*b - 0 + 4, -4*b = -4*t + 8. Solve -m - t*h = 3, 0 = x*h - h for m.
-3
Let p = 23 - 22. Solve 4*s = -8, 5*k - p = 2*k - s for k.
1
Let m be (-8)/(-44) - 4/22. Let b be 1 - (0 + -1 + m). Solve -4*q = 0, 0 = 4*v + 6*q - b*q + 4 for v.
-1
Suppose -14*d + 20 = -10*d. Solve 2*s + 5*m - 3 = 0, -5*m + 3 = d*s - 12 for s.
4
Suppose -2*c - 24 = c. Let i = -50 + 46. Let j = i - c. Solve j*h + 20 = 0, 3*t = 5*h - 1 + 17 for t.
-3
Let g = -3 - -10. Suppose 3*m = 2*m + g. Solve -4*q + m = -5*i - 0, 2*i - 2 = 0 for q.
3
Let f(c) = c**2 - 17*c - 33. Let p be f(19). Solve -p*x - 5*i + 20 = 0, 0 = -3*x + 4*i + i + 12 for x.
4
Let r = -38 + 43. Solve -r*v + 4*w - 37 = 0, v + 2*w + 11 = 4*w for v.
-5
Let p = 3 + 1. Let b(u) = u - 2. Let l be b(8). Suppose -2*t + p + l = 0. Solve y + 3*v - 14 = 3*y, t*y = v - 22 for y.
-4
Suppose -2 = 5*l - 27. Solve -5*h + 2*t + 5 = 15, -l*h + 3*t - 15 = 0 for h.
0
Let d be (-2)/((-16)/28)*-2. Let n be ((-1)/3)/(d/42). Solve 2*q + n = 2*g, 3*g + q = -3*q - 11 for g.
-1
Let x be 0/5 + 1*3. Solve z - 3*s = -s - 5, z + x*s = 0 for z.
-3
Suppose -5*m = -4*y + 27, -5*m - 15 = -2*y - 2*m. Solve 0 = 5*g - y*b - 4, b + 2 + 0 = g for g.
-1
Let s be (-22 + 12)/(-1 - 1). Let c(j) = j**3 - 5*j**2 - j + 9. Let v be c(s). Solve 5*n + v*q = -0*q - 11, q = n - 5 for n.
1
Let c = 48 - 46. Solve 2*m - i + 4*i = 13, c*m - 10 = -2*i for m.
2
Let u(t) = -8*t**2