c + 7 = 5*q for q.
-3
Let d(c) be the first derivative of c**2/2 + 3*c - 3. Let n be d(0). Suppose -b = -n, 4*b + 35 = 5*p - 13. Solve 2*t - p = -t for t.
4
Suppose -3*l - l = 5*z - 2, 2*z = l + 6. Let d be 4 + -2*2/l. Solve -5*s = -4 - d for s.
2
Let j = -30 - -34. Solve -2*v - 2*v = -j for v.
1
Let v be 2/1*(-42)/(-4). Suppose -3*r - 3 = -18, -4*x - v = -5*r. Let m = 36 + -27. Solve x - m = 2*u for u.
-4
Suppose 3*x - 6 + 0 = 0. Suppose -x = 2*d - 6. Let r be d/(-4) + 126/12. Solve -t + r = 4*t for t.
2
Suppose 0 = -f + 4*k + 12, -3*f - k + 15 = -6*k. Let a = 549 + -544. Solve f = -r + a - 3 for r.
2
Let y(j) = -j + 5. Let t be y(4). Suppose -3*a = -7 + t. Solve 3 = -a*d - 5 for d.
-4
Let n(p) = p**2 + 8*p - 7. Let l be n(-9). Suppose h - 4*m + 14 = -1, -l*h = 2*m - 20. Suppose 3*t = 15, 2*t - 17 = h*f - 92. Solve -4*k + f = 5 for k.
3
Let x(f) = -f**2 - 6*f. Let w be x(-6). Let g = 42 - 30. Let h(m) = -m**2 - 10*m - 12. Let u be h(-8). Solve -u*i = -w + g for i.
-3
Suppose -2 + 0 = o. Let v = 5 + o. Solve w - v = -2 for w.
1
Let h be 0/(-2)*(13 + -14). Solve h = -8*g + 3*g for g.
0
Suppose -8 = -u - u. Solve 0 = 5*i - 11 - u for i.
3
Suppose 0 = -4*p - 8. Let v be ((-1)/p*4)/1. Solve 0*g = -v*g - 4 for g.
-2
Let g(y) = 2*y - 16. Let x(m) = -3*m + 17. Let d(c) = -4*g(c) - 3*x(c). Let w be d(-6). Solve w*f = 3*f - 8 for f.
-2
Let o be (10/(-30))/(2/(-30)). Solve 5 = 5*t - o for t.
2
Let o(l) = l**3 + 7*l**2 - l - 4. Let r be o(-7). Solve -r*n - 2 = -n for n.
-1
Let f = -55 + 59. Solve -1 - f = -p for p.
5
Let k(s) = s**3 - 4*s**2 + s + 2. Let d be k(4). Suppose -d*c = -2*c. Let p(r) = -r**3 - 3*r**2 + r + 4. Let l be p(-3). Solve -a + l - 4 = c for a.
-3
Suppose -8 = 3*k + 7, 0 = -3*a + 4*k + 38. Solve 0 = a*y - 3*y - 6 for y.
2
Let f be (-6)/(-4)*(5 + -3). Let r be (-6)/(-2) + -1 + -6. Let n be r/(-1) - (0 + -1). Solve n - f = -d for d.
-2
Suppose 0 = -d + 2*j + 19 - 2, -5*d + 37 = 2*j. Let l be (-26)/(-4) - (-1)/(-2). Suppose 0 = 3*q - l*q + 6. Solve -q*k + d = 3 for k.
3
Suppose -2*l + 1 + 0 = -5*h, -2*h + 2 = 0. Let q(x) = -x**2 + 3*x + 4. Let a be q(l). Let y be (1/(-2))/((-1)/8). Solve 2*b - y = a*b for b.
-2
Suppose -5*c = -2*c. Suppose -3*o = -5*v + 3, 2*v + 4*o + 10 - 32 = c. Solve 0 = -v*i + 6*i + 6 for i.
-2
Let c = 60 + -57. Solve -5*i + c*i - 4 = 0 for i.
-2
Let z = 2 + 1. Let u(o) = o**3 + o**2 + 8. Let h be u(0). Solve q = -z*q + h for q.
2
Let d be (-14)/(-35)*1 + 4/(-10). Solve d = -6*g + 2*g - 4 for g.
-1
Suppose -27 = -3*t - 12. Solve -3 - 7 = -t*m for m.
2
Let x(u) = u**3 + 8*u**2 - 8*u + 9. Let g be x(-9). Solve g = -2*d - 14 + 4 for d.
-5
Let m(x) = 2*x**2 + 6*x - 3*x**2 + 7 + 0*x. Let o be m(7). Solve o = 4*b - b - 6 for b.
2
Let n(d) be the second derivative of -d**4/12 - 3*d**3/2 - d. Let v be n(-9). Solve -3*a + v*a - 3 = 0 for a.
-1
Let w = 14 + 6. Suppose -6*y = -y + w. Let i be 1/(((-3)/y)/3). Solve -i*a - 12 = -a for a.
-4
Let s be ((-52)/(-12) + -3)*3. Suppose 3*u = -s*c + 3, 2 - 4 = -2*u. Solve -q = -c*q for q.
0
Let r be 1*3*20/12. Let z = -2 + r. Solve -v - z = -2 for v.
-1
Suppose -3*d - 5 = x, 2*d - 7*d - 25 = 5*x. Solve 0 = -3*u - d*u for u.
0
Let h(d) = 2*d + 20. Let b be h(-9). Solve 7*f - b*f = 10 for f.
2
Let t be 3 + (0 - (-1)/1). Let k be 2/(2 + 8/(-6)). Solve t*b = -11 + k for b.
-2
Suppose 0 = 5*w - 31 - 9. Suppose 6*c - 4*c = 0. Suppose c = -i - 3*i. Solve i = -5*o - 3 + w for o.
1
Suppose 2*u - 3 = 3. Solve 0 = -0*s + u*s + 9 for s.
-3
Let p be 8 + -1*(2 + 0). Solve -2*g = g - p for g.
2
Let d be (-3 - -6)*-1 + 2. Let y(k) = k + 1. Let c be y(d). Solve -s + 1 = -c for s.
1
Let y be (0/4)/(2 + -1 - -1). Solve z = -y + 4 for z.
4
Suppose 2*u - 2*x - 2*x = 20, 3*u - 10 = 2*x. Let w(g) = g**3 + 10*g**2 + g + 13. Let n be w(-10). Solve -q - n*q = u for q.
0
Let d(f) = f + 3 + 0*f - 11 + f. Let t be d(6). Let a be (t + -1 - 3) + 3. Solve a*l - 3 = 9 for l.
4
Let x be -1 + 11 + 0/3. Let m = x - 0. Suppose -m = 3*n - 34. Solve 0 = 2*r - n + 2 for r.
3
Let i(f) = f**3 - 4*f**2 - 7*f + 6. Let y be i(5). Let s be y/(-22) + 326/22. Solve 0 = 4*x + s - 3 for x.
-3
Let t(o) = 8*o**2 - 3*o - 2. Let w be t(-1). Let s = w - 1. Solve -c = -3*c - s for c.
-4
Let b = -2 - -9. Let f(o) = -o**2 + 6*o - 1. Let r be f(5). Solve -b = -r*h + 5 for h.
3
Let r be 0/((-1 - 0)*2). Let l be (r - 0)/(4/2). Solve l*j + 2*j - 8 = 0 for j.
4
Let p be ((-4)/10)/((-7)/35). Solve 3*q = 2*q - p for q.
-2
Let l(j) = -j**2 + 12*j - 28. Let z be l(4). Solve -4*n + 5*n = z for n.
4
Let y(w) be the third derivative of w**4/8 - w**3/6 + w**2. Let u be y(1). Suppose -10 - u = -3*d. Solve 3*p = p - d for p.
-2
Suppose 0 = -3*o - 1 - 14. Let p = o - -5. Solve p = 5*l + 2 - 27 for l.
5
Let l be 1/(-1 + (-8)/(-7)). Let d = -80 + 82. Let v(j) = 2*j**2 - 4*j + 3. Let f be v(2). Solve -l = f*p + d for p.
-3
Let w = 10 - 6. Suppose 0 = t + 1 - w. Solve 2*l + t = 11 for l.
4
Let y be ((-192)/224)/(4/(-14)). Solve -y*m = -6*m for m.
0
Let o = -9 + 13. Suppose o*z - 2 = 2*d + 2, -5*z + 2 = -4*d. Solve -z*u - 6 = u for u.
-2
Suppose -12*d = -8*d - 8. Solve 4 - d = -n for n.
-2
Let l(i) = 9*i - 5. Let u(r) = -r**2 + r. Let g(f) = l(f) + u(f). Let t be g(8). Suppose y + 4*z + 0*z = 17, -5*z + 10 = 0. Solve -4*k = -t - y for k.
5
Suppose -4*i - 21 = -m, 2*m - 2*i + 7*i + 23 = 0. Solve -1 = 2*v + m for v.
-1
Let v = 138 + -138. Solve v = -7*n + 4*n + 12 for n.
4
Let m be ((-6)/4)/(6/(-12)). Let p be 1/(((-3)/29)/(-3)). Suppose 4*b = 8, -b - p = -5*i - m*b. Solve i*s = -16 + 1 for s.
-3
Let l = -14 - -33. Solve -5*t + l = 4 for t.
3
Let q be 1/(((-9)/(-12))/3). Suppose -3*t - 30 = -q*j - 2*t, 5*t - 4 = -2*j. Solve 2 + j = -3*b for b.
-3
Let w(c) = 2*c**3 - c**2 + c. Let k be w(1). Solve -3 = -t + k for t.
5
Let m = -13 + 21. Let p = 8 - m. Solve -2*s - 3 + 1 = p for s.
-1
Let o(l) = 4*l**2 - l + 1. Let n be o(2). Let y = -10 + n. Let s be 3 + (1 - 1 - 1). Solve s*d = -y + 1 for d.
-2
Let k be 12*(-2 + 1)/(-3). Suppose 5*m = -k*q + 4, -6 = 6*q - 5*q + 3*m. Solve u = -u + q for u.
3
Let w(a) = 2*a**2 - 2*a - 4. Let f be w(-2). Solve g + g = f for g.
4
Suppose -4*c + 18 + 6 = 0. Solve -a = -c*a for a.
0
Let a(i) = i**3 - 14*i**2 + 12*i + 21. Let v be a(13). Suppose 5*j - 11 = 9. Solve -j*p + v = 20 for p.
-3
Suppose -5*k + 2*k + 6 = 0. Suppose -2*d = -k*h, 0*d - 2 = 3*h - 4*d. Solve h*s = -1 + 9 for s.
4
Let k = 13 - 13. Let j = 7 - 5. Solve k = j*w - 5*w - 9 for w.
-3
Let t be (0/64)/((-4)/(2/(-1))). Solve -23*b + 19*b + 4 = t for b.
1
Let x = -88 + 100. Solve -4*t + 7*t + x = 0 for t.
-4
Suppose -z = -2*z - 1. Let i be -3*2*z/(-2). Let p = 6 + i. Solve -16 = w + p*w for w.
-4
Let z be 0*(-2 - (-5)/2). Let i = 309 + -304. Solve 6*f - f + i = z for f.
-1
Let c = -50 + 55. Solve -c*q + 6 = 16 for q.
-2
Let f(z) = 5*z**3 - z**2 + 1. Let k be f(1). Solve -y = -0*y - k for y.
5
Let h(q) = -4*q + 4. Let n be h(-2). Solve 0 = -3*l + n for l.
4
Suppose -5*a + 13 + 2 = 0. Solve -5*n - a = -28 for n.
5
Let x be 45/10 - (-1)/2. Suppose 18 = -x*a + 58. Solve 5*r = -a + 18 for r.
2
Let q = 8 - 6. Let f(h) = -h**3 + 5. Suppose -2*a = -0*a. Let s be f(a). Solve q*d - s = -3*d for d.
1
Suppose 5*u + 7 + 18 = 0. Let s = 9 + u. Solve -5*m - 3 = -s*m for m.
-3
Let b = 41 + -29. Let p(k) = 2*k + 2. Let s be p(0). Solve -s*x = x - b for x.
4
Suppose 6*r = 24 + 24. Solve y = -y + r for y.
4
Let h be (-6)/24 - 22/8. Let w = 6 + h. Let q = 35 - 10. Solve 2*d + q = -w*d for d.
-5
Suppose 0*n - 3*n = 0. Suppose -4*z = -5*y - 4 + 36, 2*y - 3*z - 17 = 0. Solve q - y*q = n for q.
0
Suppose -t + 3 = -4*t, -p - 1 = -3*t. Let r be (-4)/p + (-1)/1. Solve 0 = -4*n - r*n + 4 for n.
1
Let u(t) = t**2 + 6*t + 1. Let q be u(-6). Let m(c) = -c**2 + 1. Let o be m(q). Solve o = -p - 6 + 1 for p.
-5
Suppose 4*i - 7*i + 12 = 0. Solve -i*p + 18 = -2 for p.
5
Suppose -5*j + 3*w + 115 = 0, -5*w - 16 - 109 = -5*j. Solve c = -4*c - j for c.
-4
Let j be 10*(1 + (-1)/2). Let x = j + -2. Suppose 0 = 2*q - x*q + 2. Solve -q*v = -v + 5 for v.
-5
Let f(q) = -q + 2. Let j be f(2). Let a(t) = 2*t**2 + 6*t + 5. Let r be a(-5). Solve r = -5*y - j*y for y.
-5
Suppose l + 5 = 0, 3*l = -3*s - 0*s - 6. Solve -s + 0 = 3*v for v.
-1
Suppose -12 = -5*v + 2*g + g, -v - 4*g = 16. Solve v = t - 2 for t.
2
Let h(m) = -m**2