 for c.
-3
Let o be 5/3 - 8/12. Let z be o - 1 - (1 - 3). Suppose 4*d - 31 = -5*x, -z*d - x = -6*x + 7. Solve d*w - 5*w = 0 for w.
0
Let x = 21 - 18. Solve 2*s + x = 13 for s.
5
Let y be 4 - 1 - (13 - 1). Let k = -7 - y. Solve 3 + k = -n for n.
-5
Let x = 17 + -12. Let b be 0/((-1 - x) + 4). Solve 2*q - 7*q = b for q.
0
Let d(i) = i - 1. Let k be d(5). Suppose -r = -k*r + 18. Solve -4*h - 14 = r for h.
-5
Suppose -4*j = -0 - 24. Let k be (-15)/j*4/(-5). Solve k = b - 1 for b.
3
Suppose -7*n - 14 = -35. Solve -6 = n*q + 3 for q.
-3
Let j = -1 + 4. Let d be (2 - j)*(-1 - -1). Let c = -3 + 3. Solve c = -4*n - d*n - 16 for n.
-4
Suppose 0*u + 23 = u. Suppose b + 3*b - 16 = 0. Solve -b*t = -7 + u for t.
-4
Let q(n) = n**3 - 4*n**2 - n + 4. Let k be q(4). Let o = -130 - -135. Solve f + o = -k*f for f.
-5
Suppose -3*j + 14 = -4*s, 4*j = -4*s + 40 - 12. Suppose j*g = 5*g + 3. Solve 0*r = 3*r - g for r.
1
Let g be ((-28)/10)/(2/(-5)). Let k = 11 - g. Suppose z - 5 = 0, -3*u + 2*z = 4*z - 13. Solve -c = u - k for c.
3
Let s = 2 + 0. Let h = 4 - 4. Suppose 2 = -h*a + 2*a. Solve -s*k + k = a for k.
-1
Suppose 0 = 3*v - 3 - 3. Suppose v*i - 6*i + 16 = 0. Solve -i*l - 7 = 5 for l.
-3
Let v(z) = z**2 + 6*z + 5. Let b be v(-6). Suppose -b*c = 4*f - 18, f - 3*c + 2 = -2. Solve -f*d = -d + 5 for d.
-5
Let a(y) = -y**2 + 12*y - 9. Let u be a(11). Let h = 15 - 10. Solve u*r = 5 + h for r.
5
Let m(t) = -t**3 - 7*t**2 - t - 5. Let x be m(-7). Suppose 0 = -q - x*q. Solve q*a = a - 3 for a.
3
Suppose s + 3*s = -8, -4*h - 2*s + 8 = 0. Solve 6 = h*i - 0 for i.
2
Let j(y) = -y**3 + y - 2 + 3*y**2 + 6*y - 2*y. Let r be j(4). Solve -4 = -r*b - 0*b for b.
2
Let v(g) = g**3 - 6*g**2 + 2*g - 12. Let k be v(6). Solve -3*h + 7*h + 8 = k for h.
-2
Suppose 0 = -39*k + 32*k + 14. Solve -3 + 1 = -k*f for f.
1
Suppose 7*k = 4*k + 2*n + 11, k - n - 5 = 0. Let b be k + 1 - 0/1. Suppose 0 = b*i + 6*h - 2*h - 26, 0 = -5*h + 25. Solve 0 = -z - i + 7 for z.
4
Let b(n) = -2*n**2 - 2*n + 2. Let h be b(-3). Let x(u) = u**3 + 11*u**2 + 9*u - 8. Let t be x(h). Suppose 0 = t*v - 3*v. Solve v*m - m + 1 = 0 for m.
1
Suppose -13 - 15 = -4*j - u, -10 = -5*j + 5*u. Let w = -2 + 7. Solve -w = -j*c + c for c.
1
Let w = -2 + 5. Suppose -5*u + 4 = -w*u. Let x = 2 - u. Solve x = 4*n - 0*n + 8 for n.
-2
Let j(r) = r**2 + 5*r + 5. Let h be j(-5). Solve -a = 4*a + h for a.
-1
Suppose 0 = -2*x + 6*x - 8. Solve x*j + 3 = 11 for j.
4
Let b(z) = -2*z**3 + 21*z**2 + 12*z - 11. Let v be b(11). Solve -2*a + 2 = -v*a for a.
1
Let t(a) = a + 8. Suppose 3*j + 5*i = 2, -j - 10 - 4 = -2*i. Let k be t(j). Solve s - 1 + k = 0 for s.
-1
Let y(r) = -2*r**3 - 2*r**2 + 3*r + 2. Let m be y(-2). Suppose -4*b + 7*b - 4*v = -m, v - 8 = -b. Solve b*p - p = -15 for p.
-5
Let y be (-26)/3 - (-18)/27. Let a = -8 - y. Solve a = t + 2 for t.
-2
Let j(o) be the second derivative of -o**3/6 - o. Let p be j(-6). Let i be 1 - 5/((-15)/p). Solve -i*u + 1 + 11 = 0 for u.
4
Let y be -6*((-28)/(-8))/(-7). Solve -y*z - 2*z = 5 for z.
-1
Let z(l) = -l**3 - 5*l**2 - 6*l - 5. Let v be z(-4). Suppose -11 = w + 4*m, 5*w - v*w = 5*m + 43. Solve -4*h = 11 + w for h.
-5
Let c = 6 - 3. Solve 4*d - c + 11 = 0 for d.
-2
Let h(l) = l**3 - l**2 - l + 2. Let g be h(2). Solve g*x + 4 = -0 for x.
-1
Let d be (36/45)/((-1)/(-5)). Solve d*b - 7 = 1 for b.
2
Let j(v) be the first derivative of -3*v**2 - 1/3*v**3 - 2 + 0*v. Let u be j(-6). Solve u = 2*d + d + 12 for d.
-4
Suppose -3*o + 10 = 4*i, -4*i + o + 4 = 2. Solve 2*v = 5 + i for v.
3
Suppose -3*w + 22 = 4. Let m = w + -4. Solve -2*a - m*a = 0 for a.
0
Suppose 2*v = -y - 8, 2*v + 9 - 1 = 0. Suppose 12*b - 7*b = y. Solve k = -b*k - 1 for k.
-1
Let t(n) = 7*n**2 - 2*n - 1. Let b = -1 - -3. Let h be t(b). Let l = 3 - -2. Solve -h = l*s - 8 for s.
-3
Let c(b) = -3*b - 1. Let l be c(-5). Suppose 0 = 3*p - 4 - l. Solve 3*w - p = -3 for w.
1
Let d = -2 - -4. Suppose 0 = d*u + 2*u. Solve 4*c = -u*c - 12 for c.
-3
Suppose -2 = -x - 2*q - 1, -x + 5*q = -29. Solve -2*z = z - x for z.
3
Let z be 9/(-2)*2/(-3). Let o be (-1)/(-3)*0/z. Solve o = -4*n + 12 - 0 for n.
3
Let h(r) = 7*r**3 + r. Let t be h(1). Let o(u) = -9 + t + 3*u - u**2 + 5*u + 14. Let z be o(9). Solve -z*g = -2*g for g.
0
Let v = 45 - 43. Solve c - v*c = -5 for c.
5
Let q be -1 + -4 + (-32)/(-2). Let h = -8 + q. Solve -h*j - 16 = -1 for j.
-5
Let p = 5 - -3. Suppose -40 + p = -2*n. Suppose 4*v - 8 = n. Solve -q = -4*q + v for q.
2
Let m(f) = -f**3 - 2*f**2 - f + 2. Let s be m(-2). Suppose 5*i - x = 1, 0 = -5*i - 7*x + 3*x + 21. Let h be (s - -5) + (i - 0). Solve 0 = -5*g + 10 + h for g.
4
Suppose 0 = -3*l + 2*l + 4. Suppose 16 = -l*k, -z - 2*z + 2*k + 8 = 0. Solve z = 2*y - 1 - 1 for y.
1
Suppose -8*d = 14 - 38. Let h(g) be the second derivative of g**3/6 - 3*g**2/2 - g. Let q be h(6). Solve d*r + q = 15 for r.
4
Let x be 4/(-22) + 192/88. Solve -8 = 4*n - x*n for n.
-4
Suppose -5*s = -0*s + 5, 2*s = f - 9. Suppose f = w - 2*b, 5*w - b - 11 = b. Let q be ((-2)/4)/(w/(-16)). Solve -r + q = r for r.
4
Let h be ((-12)/14)/(4 - (-29)/(-7)). Solve 4*d + h = -14 for d.
-5
Let t(y) = y**3 + 15*y**2 - 16*y + 6. Let c be t(-16). Solve -2*x + 4*x = c for x.
3
Let f(m) = m + 16. Let z be f(-9). Solve -3 = 4*i - z for i.
1
Suppose -4 - 1 = -z. Solve 8*n - z*n = 15 for n.
5
Let z = 20 + -20. Solve z = -4*s + 5 + 11 for s.
4
Suppose -5*p = -2*p. Let g be p + (-30)/(-4 + 1). Solve -3*s + 5 = -g for s.
5
Suppose 0*v = 4*v + 20. Suppose 2*y + 3 = -3. Let h = y - v. Solve q - h = -3 for q.
-1
Suppose 6*g - 12 = 2*g. Let q = -2 + 2. Suppose q = -7*s + 4*s. Solve s = 2*n - g*n + 1 for n.
1
Let m be (-6)/(-15) + (-2)/5. Suppose -4*w = -y - 10, -y + 0 + 2 = 2*w. Solve -w*q + q = m for q.
0
Suppose 2*m = -4*y, m = y - 9 + 3. Let h = y + 3. Suppose 0*g + 3*g = 4*t - 115, 5*t - 100 = -h*g. Solve a - t = -4*a for a.
5
Suppose o + o = -5*h + 23, 0 = 4*h + 3*o - 24. Let i(w) = w - 1. Let s be i(h). Solve -s = -3*y - 11 for y.
-3
Let t be (-243)/(-6)*(-2)/(-1). Let y be (2/6)/(9/t). Solve -l - 2*l - y = 0 for l.
-1
Let r(p) = -3*p. Let q be r(-1). Let s(m) = 2*m + 4. Let y be s(q). Solve 0 = 2*w - y for w.
5
Let i = 226 + -218. Solve 0 = 6*g - 4*g - i for g.
4
Let m be (-1)/(2 + (-11)/5). Suppose -g + 5 = 0, -m*g + 16 = -2*p - 3. Solve 0 = -0*x + p*x for x.
0
Let j = -44 + 46. Suppose -7 = -m - 1. Let g be (3 - m)/(-3)*j. Solve -g = -3*z + z for z.
1
Let h be (4 + 3 - 1)*2. Solve -4*l - h = -l for l.
-4
Let s be (-15)/2*(-2)/3. Suppose 2*i = -2*v + 3 - 1, -i + 13 = -s*v. Solve -i*a - 4 = a for a.
-1
Let t be (-4 - (-4)/2) + 4. Suppose -t*b - 3*z = -5, 30 = 3*b - 2*b - 4*z. Suppose -w = 3*w - 4. Solve -b = -3*h - w for h.
3
Let p(j) = 3*j**2 + 3. Let q be p(3). Suppose -6*k = -k - q. Suppose o = k*o. Solve 6*d - 4*d = o for d.
0
Let s(j) = j**3 + 3*j**2 + 2. Let y be s(-3). Solve y*z + 3*z = -10 for z.
-2
Suppose -5*o - 25 = 0, -d + 4*o - 4 = -5*d. Solve 0 = d*f - 2*f for f.
0
Suppose -3*k - 5*l = 5, 0 = k - 0*l + l - 1. Suppose -2*c = -c - 6. Solve -14 = k*i + c for i.
-4
Suppose 4*u + 33 = i, 3*i = -4*u - 0*i - 29. Let m be (0 - u)*(-27)/(-18). Solve -m = -2*x - 2 for x.
5
Let w be 3/(4*12/32). Solve c - w = -4 for c.
-2
Suppose 0 = 4*y - 4*h - 16, 5*h = 5*y - y - 17. Let p = -3 + y. Solve 3*w + p = -3 for w.
-1
Suppose -5*k + 25 = 2*j - 5*j, -5*k - j + 5 = 0. Solve -3 = -p - k for p.
1
Suppose 643 = 22*h + 93. Let d = -1 + 3. Solve -d*m = 3*m + h for m.
-5
Let v = -19 - -28. Let r = v + -6. Solve -r*t - 3 = 12 for t.
-5
Let p be 22/8 - (-3)/(-4). Suppose p*t - t = 5. Let h(c) = -c**3 - 3*c**2 + 5*c + 5. Let d be h(-4). Solve -3*k - t = d for k.
-2
Suppose 0 = u - o + 4*o - 11, -3*u + 3*o - 3 = 0. Let r(s) = s**2 + 10*s + 8. Let q be r(-9). Let t = u - q. Solve 0 = 4*a + 9 + t for a.
-3
Let b be (1 - 92/(-18)) + (-27)/243. Solve -b*a + 7*a = 1 for a.
1
Let k = -42 + 48. Suppose -5*p = -5*m - 10, 0*p - 5*m = 3*p - 6. Solve p + k = 4*c for c.
2
Suppose -4 = -2*i + 6. Suppose 5*t - 5*l = 90, t + 3*l + 69 = i*t. Solve 3*g + 0 - t = 0 for g.
5
Suppose 5*s - 4*s = 6. Suppose 3*d - s = d. Let y = 5 + -3. Solve 0 = y*n - d*n for n.
0
Suppose -3*r + 2*r = 0, 5*x = -2*r - 35. Let m = -5 - x. Suppose m*p + p = 5*f + 47, -4*p + 48 = -3*f. Solve -n + p = 2*n for n.
3
Let w(d) = d + 1. Let