 = -7. Solve -3 = -b*c + 12 for c.
5
Suppose 0 = -2*a + 4*s - 4, -3*a + 5*s + 1 = 6. Let l(y) = 9*y**2. Let h be l(-1). Let k be (-4)/((-3)/h - 0). Solve a - k = -3*r for r.
4
Suppose k - 5*k = 3*p + 8, 0 = 3*p + k + 20. Let q be (3/4)/((-2)/p). Solve 0 = 2*h - 13 + q for h.
5
Let u be 15/10*(-10)/(-3). Suppose n = 2*v - 3, u*n - 1 = 3*v - 16. Solve -5*k - 16 + 1 = v for k.
-3
Let p be 3/1*2/6. Suppose 11 = 4*k - p. Solve w = 5 - k for w.
2
Suppose 4*g - g = 348. Let p = g + -65. Suppose 0 = -5*f - 5*c + 34 + p, 0 = 2*f + 3*c - 38. Solve -3 + f = 5*x for x.
2
Let k be 126/8 - (-6)/24. Let d = k + -16. Solve -2*h + 6*h + 12 = d for h.
-3
Let y be -6 - (-6)/(0 - 3). Let g = 13 + y. Solve 0 = -b + g*b for b.
0
Let n(i) be the first derivative of i**3/3 - 2*i**2 + 3*i - 1. Let a be n(3). Solve a*f = 4*f - 16 for f.
4
Let v(x) = -x**3 + 7*x**2 - x - 1. Let p be v(7). Let t = -1 + p. Let s be 2/4 + t/(-2). Solve 0*g + s*g = 10 for g.
2
Suppose -r = 5 + 4. Let g be 2/6 + (-24)/r. Suppose 16 - 1 = g*s. Solve 3 = s*y - 7 for y.
2
Let v(g) = -g**3 + 3*g**2 + 4*g - 3. Let r be v(3). Let w be ((0 - 0)/(-6 + 7))/1. Solve l + 2*l - r = w for l.
3
Let a = -15 - -16. Solve -5*m - a = -21 for m.
4
Suppose 5 = -6*l + 5. Solve l*f + 15 = -3*f for f.
-5
Let w(q) be the third derivative of q**4/24 + 11*q**3/6 + 3*q**2. Let t be w(-6). Suppose i = -5*n, 7*n = 3*n - i. Solve n = -5*y - t for y.
-1
Let q(b) = -b**3 + b**2 - b + 3. Let n be q(0). Solve n*y - y = 10 for y.
5
Let s(n) be the third derivative of n**5/60 - n**4/12 + n**3/2 + n**2. Let m be s(3). Solve -q - m = q for q.
-3
Let q = 1 + -3. Let l(s) = -s**3 - s**2 + 3*s + 3. Let h be l(q). Solve -c + 0*c = -h for c.
1
Suppose -4*n - 4*z - 20 = 0, -2*n + 2*z + 10 = -0*z. Solve n = -3*h + 2*h - 2 for h.
-2
Let h(f) be the first derivative of -f**2/2 + 2*f + 2. Let y be h(2). Solve 2 = -m - y for m.
-2
Let s = 64 + -49. Solve 2*g - s = -g for g.
5
Let t be -2*3/(-6)*5. Solve -f + 0*f - t = 0 for f.
-5
Let a be 8/10*30/12. Let w = a + 0. Solve 2*q + w = -2 for q.
-2
Let c(n) be the first derivative of -n**4/4 - 8*n**3/3 + 4*n**2 - 4*n - 2. Let m be c(-9). Solve m*l = -0*l for l.
0
Let z = -13 - -15. Solve z*l - 11 = -3 for l.
4
Suppose 0 = -0*n - 4*n + 5*p + 20, -16 = 4*p. Suppose -5*z - 3*b + 23 = n, 2*z - 4*b = -8*b + 12. Solve -x - 1 = -z for x.
3
Let u be -3*(1 + 6/9). Let w = 7 + u. Suppose 6*d - w*d + 2*a = 0, a = 0. Solve d = 5*f - f + 16 for f.
-4
Let i = 92 - 89. Solve -3*a - i = -0*a for a.
-1
Let m(l) = l**3 + 2*l**2 - 3*l. Let h be m(-3). Suppose h = -5*t + 1 + 14. Solve 2*k - 5 = -t for k.
1
Let w = 109 + -104. Solve -w*u - 3 - 2 = 0 for u.
-1
Let b = 2 + 6. Let v = b - 6. Solve 3 + 7 = -v*q for q.
-5
Let j be 30/(-4)*(2 - 4). Solve -4*f + 7*f = j for f.
5
Let x(k) be the second derivative of -k**5/20 + 5*k**4/6 - k**3/6 + 13*k**2/2 - 3*k. Let g be x(10). Solve -g*w - 2 = -14 for w.
4
Suppose i = -2*w - 2*i + 16, w + 5*i - 22 = 0. Solve w*m + 2*m + 4 = 0 for m.
-1
Let u(s) = -s - 2. Let v be u(-4). Suppose v = 2*g - 3*g. Let a = g + 5. Solve 0*b - 3*b = -a for b.
1
Let d = -88 + 89. Solve f = -4 - d for f.
-5
Suppose 0 = -5*h + k, 6*h - 3*k = 4*h - 13. Let p be (-5)/((-10)/4) - h. Solve v + p - 4 = 0 for v.
3
Let i be 6/(-9) - 200/(-12). Let k be 4 + -3*i/12. Solve k = -4*h + h for h.
0
Let p be 6 - (-3)/(-3) - 2. Suppose 0 = 2*c + p*c. Solve c = -t - t for t.
0
Suppose -4*d = 5*j - 10, -2*d - 5 = -2*j - 1. Let l(g) = -g**3 - 9*g**2 - 9*g - 3. Let o be l(-8). Solve -4*h + o*h = d for h.
0
Suppose 2*c - 5 = 3. Let s(u) = -9*u - 4. Suppose -h - 2 = -0. Let t be s(h). Solve -5*x + c = t for x.
-2
Let w = -20 - -27. Solve -2*f + 10 = -w*f for f.
-2
Let y(r) = r**3 - 6*r**2 + 5*r - 2. Let z be y(5). Let t be 3 - (5 - 3) - z. Solve -t*w + 0 = 3 for w.
-1
Suppose 4*y = 3 + 5. Suppose -i = 4*z - 4*i - 20, z = -i - y. Solve -z*p + 2 + 6 = 0 for p.
4
Let s be (-3)/(-6)*2*8. Let a = 11 - s. Suppose a = -5*k + 13. Solve -z = k*z for z.
0
Let x(t) = -t**3 + 6*t**2 - t + 6. Suppose 0 = 2*w - 11 - 1. Let o be x(w). Solve o = -2*v + 3*v + 2 for v.
-2
Suppose 2*p - l - 27 = 0, 33 = 5*p - 2*p - 3*l. Let g(z) = -z**3 + 7*z**2 - 8*z + 2. Let k be g(6). Let j = p + k. Solve -2 = -s - j for s.
-4
Suppose 0*n - 4 = -2*n - 4*o, 5*n + 4*o + 8 = 0. Let p be 3*(-6)/9 + n. Let g be p/((-1 - -4)/(-3)). Solve g*h + 25 = h for h.
-5
Let g(d) = d**3 + 8*d**2 - 9*d - 1. Let l be g(-9). Let n be 185/20 + l/4. Let u be n/6*(-8)/(-3). Solve 2*v + u = -6 for v.
-5
Let a = 123 - 123. Solve 4*w - 4 - 4 = a for w.
2
Suppose -y + 2*f - 2 = 0, -2*y = 3*y - 5*f. Suppose y*q = 10, -2*o - 5*q + 16 = -9. Solve o*x + 15 = -5*x for x.
-3
Suppose -11*o + 5*b = -6*o - 50, 2*b = -8. Solve 9 = o*q - 3 for q.
2
Suppose 5*o = 4*o + 20. Suppose 2*p = 7*p - o. Solve -p*v = 14 - 2 for v.
-3
Let w be (2 - 2) + (31 - 1). Suppose 5*t + 0*t = w. Solve -6*i + 3*i - t = 0 for i.
-2
Suppose -2*s = -2*v - 4, -2*s - 5*v = -0*s - 32. Solve 0 = -s*u + 4*u - 2 for u.
-1
Let x = -1 - -7. Let c = -5 + x. Solve a - c = -2 for a.
-1
Let t(a) = -18*a - 7. Let h be t(-1). Solve -31 = -4*u - h for u.
5
Let t be (-1 - -1)/(12 + -10). Solve t = 2*o - 0*o - 8 for o.
4
Let w be ((-6)/(-15))/(4/60). Solve m - w = -2*m for m.
2
Let f(j) = 3*j**2 + j - 4. Let n be f(2). Solve z + z = -n for z.
-5
Let m be ((-1)/3)/((-3)/9). Let r be 2 + m*(22 - -1). Solve 0*u = -5*u + r for u.
5
Let y = -1 + -3. Let b = -3 - y. Solve -2*i - 5 = -b for i.
-2
Suppose 2*c + 5 = 3. Let v(a) = -3*a**3 - 1. Let n be v(c). Solve -t - n = t for t.
-1
Suppose -5*b - y = -0*y - 57, -48 = -5*b - 4*y. Let o = 16 - b. Solve -o*l = -6*l - 10 for l.
-5
Suppose -3 = -2*r - 5*w, -w = r - 0*w - 3. Let z = 5 - r. Let x = z - -2. Solve -8 = x*o + o for o.
-2
Let t(h) = -h + 9. Let b be t(9). Solve b*r - 3 = -3*r for r.
1
Let i(b) = -b**3 - 4*b**2 + 9*b + 12. Let l be i(-6). Let a = 24 + -12. Suppose 0 = 5*s + h - l, -2*h = 4*s - a - 12. Solve 0 = -s*o + o + 10 for o.
2
Let m = -23 + 26. Suppose -m*h = t - 0*t, -2*t + 50 = -4*h. Solve 2*r + t = 7*r for r.
3
Let y be 1 + (0 + 1)*4. Suppose 8*j = 4*m + 3*j - 2, -2*m + y*j = 4. Suppose -3*p + 46 = 5*c, 5*c = p + m - 5. Solve -2*q = 2*q + p for q.
-3
Let g(m) = -m**2 - 6*m + 2. Let d be g(-6). Suppose 35 = 5*n - d*a, a + 7 - 2 = 0. Solve n*h + 6 = 1 for h.
-1
Let x = -51 + 53. Solve -s - x*s = 3 for s.
-1
Suppose -7*c - 4*b = -2*c, -3*c = -5*b. Let x(d) = 3 - 3 - 4 + 2*d + c*d. Let o be x(3). Solve -6 = o*y - 0*y for y.
-3
Suppose 5*a + 34 = -3*f + f, 2*f = -a - 2. Let r = -6 - a. Suppose 5*y - 4 - 11 = 0. Solve -r*j = y*j for j.
0
Suppose 0 = 2*x - 4*x. Let b(m) = m**3 - 3*m**2 - 3*m + 1. Let d be b(4). Solve x*o - d = 5*o for o.
-1
Let s be 0/(2*3/(-3)). Suppose -2*c = -0*c. Suppose -15 = 2*u + 4*f - 5, 5*f + 25 = c. Solve v + s*v = u for v.
5
Let r be 2/9 + 210/27. Let i = -3 + r. Suppose 5*u = -4*c + 14, -2*c + 4*u = -3*c - 2. Solve -1 + c = i*k for k.
1
Suppose -4*l + 2*l - 35 = -3*a, 5*a + l = 80. Solve -a = 3*c + 2*c for c.
-3
Let y be (1 + (-9)/6)*2. Let k be (y + 8/(-2))/(-1). Solve -9 + 34 = -k*l for l.
-5
Suppose -39 + 15 = 3*r. Let a = r + 5. Let n be ((a - -1) + -1)*-1. Solve -q - 16 = n*q for q.
-4
Let q = 5 + 0. Solve 3*x + 8 = q*x for x.
4
Let k = 88 - 86. Solve 1 = -g - k for g.
-3
Let x = -7 + 41. Let n = x - 26. Let g = -2 + 5. Solve -i - g + n = 0 for i.
5
Let v be 6*1/(2 + 1). Suppose 0*d = -d + 46. Suppose -2*i = 2*y + v*y - d, -3*i = 2*y - 21. Solve -5*n = -n - y for n.
3
Let l be 3 + 2/((-4)/(-2)). Solve -4*k - 16 = l for k.
-5
Suppose -3*c - 7 = 11. Let u(h) be the second derivative of -h**5/20 - 7*h**4/12 - 7*h**3/6 - h**2/2 + 7*h. Let w be u(c). Solve -w*d - 16 = -d for d.
-4
Suppose -20 = i - 3*i + 4*d, 3*d - 11 = -5*i. Let l(t) = 2*t - 4. Let j be l(i). Solve -3*b - j = 8 for b.
-4
Let o = -25 - -28. Solve -o*y + 2 = -y for y.
1
Let d(g) = g**2 + 10*g + 10. Let a be d(-8). Let b be ((-24)/(-16))/(a/(-8)). Solve b*w - 2 + 0 = 0 for w.
1
Let h be ((-4)/(-14))/(3/21). Suppose -3*w + 20 = 2*k + h*k, -20 = -4*k + w. Solve -4*i - k = -1 for i.
-1
Let m(o) = -o + 7. Let c be m(7). Suppose c*d - 2*j + 5 = 3*d, 11 = 5*d + 2*j. Solve -d*t = -4*t - 4 for t.
-4
Let l = 2 - -5. Let u = -4 + l. Solve -u = -5*a + 2 for a.
1
Let x(o) = o**3 + 6*o**2 + 5*