et o be -4 - (-8 - (-5 + 4)). Solve 4*k = o + 9 for k.
3
Let p = -11 + 7. Let z be (-7)/5 + (-4)/(-10). Let t be -6*(z - 2/p). Solve -t*d = 12 - 0 for d.
-4
Let x(q) be the second derivative of q**4/6 - q**3/2 + q**2 + 3*q. Let g be x(2). Solve -4 - g = -4*y for y.
2
Let z(k) = k**3 - 8*k**2 + k - 8. Let y be z(8). Suppose -d - 2*d + 3 = 0. Suppose 3*q - d = 5. Solve y*p - q*p + 6 = 0 for p.
3
Let v = 8 + -5. Let a be (-2 - -2) + v + -1. Solve a*h + 25 = 7*h for h.
5
Suppose 2*l = 2*h - 3*l + 1, l = 5*h - 9. Suppose h*p = p. Solve p = -0*q + 5*q for q.
0
Suppose -5*h + 2 = -2*m + 3, -3 = -3*h. Suppose 0*f = m*f. Solve 0 = -f*p - p for p.
0
Let c = -10 + 20. Let k be 2/1*15/c. Solve 0 = -k*p + 5*p + 10 for p.
-5
Suppose -55 = -3*x - 13. Let t = x - 8. Solve -t = c + 2*c for c.
-2
Suppose w + 4*w + 15 = 3*c, c + w = -3. Let x(r) = -3 - 2*r**2 - 1 - 2*r + 3*r**2. Let p be x(4). Solve p = a - c for a.
4
Let j(g) = -7*g**3 + 2*g + 1. Let n be j(-1). Suppose 4*k - k = n. Solve k*a = 5*a + 12 for a.
-4
Suppose -9 = 2*q - 5*z, q + 0*q - 5*z = -12. Suppose g = q*g. Solve -3*p + g*p - 6 = 0 for p.
-2
Suppose -3*y + 4*p + 24 = 0, -2*y - p = 2*y - 13. Solve -y = -0*v + v for v.
-4
Let n(y) = y + 1. Let a be n(-4). Let w = a - -3. Suppose m = -3*m - 3*r + 4, 5*m - 5*r - 40 = w. Solve -3*f = m + 2 for f.
-2
Let k be (-6)/(-24) - (-22)/8. Let f be 0/((-3)/(k/(-2))). Solve -4*v - 4 - 4 = f for v.
-2
Let u be (-3 - 2)/(0 - -1). Let a(b) = -b - 3. Let c be a(u). Let j(z) = z**3 - 8*z**2 + 6*z + 7. Let h be j(7). Solve h = c*w + 2*w for w.
0
Suppose 0 = -h - 3*n - 6 - 5, -27 = -3*h + 3*n. Solve -25 = f + h*f for f.
-5
Let f be 18/2 + -1 + 1. Let g be ((-24)/f)/(4/(-18)). Let u = -32 - -36. Solve c = u*c + g for c.
-4
Let y(x) = x - 3. Let l = 0 - -3. Let b be y(l). Let c be 3/2 - 1/(-2). Solve b*s = -c*s + 8 for s.
4
Let y(a) = a - 3 - 6*a + 2 - 1 - 7*a**2 + a**3. Let n be y(8). Suppose v - 4*i - n = 2, v - 5*i - 29 = 0. Solve 0 = q + v - 2 for q.
-2
Let c be (-17)/(-4) + 7/(-28). Solve -3*l + c*l + 1 = 0 for l.
-1
Suppose 2*c = 4*c. Solve c = 2*a - 2 + 8 for a.
-3
Let q(w) = -w**3 + 6*w**2 + w - 6. Let t be q(6). Suppose 3*b - u - 6 = t, 0*b + 5*u = -3*b + 6. Solve -6*n - 20 = -b*n for n.
-5
Let j = 87 + -85. Suppose 3*g - 2*f = -0*f + 12, 0 = 5*g + 3*f - 20. Suppose -5*z = -2*z + p + g, 3*z + 5*p + 20 = 0. Solve 3*d + j*d = z for d.
0
Suppose 4 = -4*h + 3*k - 0, 2*h - 3*k + 2 = 0. Let a be (-2 - 0) + (-2)/h. Suppose a = 2*v - 4. Solve -4 + 14 = -v*o for o.
-5
Suppose -2*f + 2*t = -2*t + 12, -3*t + 23 = 2*f. Solve 0 = -c + f*c + 15 for c.
-5
Let v(c) = 2*c**2 + 3*c - 3. Let y be v(3). Suppose -y = -4*i + 4*j, 5 - 23 = -5*i + 2*j. Solve i*k + 8 = -2*k for k.
-2
Let k be ((-18)/15)/(2/(-15)). Solve 6 + k = 5*z for z.
3
Let b = 37 + -35. Solve 0 = -v - v + b for v.
1
Let r be 1/((-12)/9)*-64. Suppose 0*m = -3*m + r. Solve m = 3*p - 7*p for p.
-4
Suppose 3*i - d - 11 = 0, -2*i - 4*d = i - 16. Solve -4*f + 4 = -i for f.
2
Let j(y) = -y**3 - 3*y**2 + 2*y + 1. Suppose 0 = -5*f - t - 22, 10 = -5*f + 6*t - t. Let s be j(f). Let o = s + -6. Solve -p - o = -4 for p.
1
Let g(p) be the first derivative of p**4/4 + 11*p**3/3 - 13*p**2/2 - 7*p - 3. Let m be g(-12). Solve -m*o = -29 + 4 for o.
5
Let v(x) = -x + 1. Let w be v(-3). Let n be 1/(-3) - 57/(-9). Suppose w*p - 14 = i, i + 0*p = -p + n. Solve -b = -i - 1 for b.
3
Let j(u) = u**2 + 4*u - 1. Let h be j(-5). Solve -3 = h*r - r for r.
-1
Let o = 27 + -12. Solve -2*f - f + o = 0 for f.
5
Suppose 6*z - 4 = 5*z. Solve z*m - 16 = -0*m for m.
4
Let u = -8 + 7. Let n(z) = -21*z - 1. Let l be n(u). Let f be 15/l - 6/8. Solve f*d = -5*d - 15 for d.
-3
Suppose -s + 5*s = 16. Suppose 0 = 3*a - 1 + 4. Let g(q) = -q + 1. Let h be g(a). Solve h = 2*w - s for w.
3
Let n = 19 + -5. Suppose -2*j = 2 - n. Solve 0 = j*a - 2*a + 12 for a.
-3
Suppose -3*n = n + 4. Let f be n/((-2)/10) - 2. Solve -9 = f*g - 0*g for g.
-3
Suppose -z = -3*l - 11, -2*z = 3*l - 9 - 31. Solve 0 = -4*c + 3 + z for c.
5
Let y(l) = 4*l**2 + l. Let i be ((-2)/(-4))/((-4)/(-8)). Let p be y(i). Solve p = -v + 2*v for v.
5
Suppose 0 = -2*b + 3 + 3. Solve b*l + 5 = -2*l for l.
-1
Suppose -3*g = -0*g. Solve 3*o + 2*o + 25 = g for o.
-5
Let o(b) = b**3 + 33*b**2 + 33*b + 35. Let m be o(-32). Solve -m*r = 2*r for r.
0
Suppose -4*q - 3 = -11. Solve -8 = -q*u - 0*u for u.
4
Let u = 22 + -22. Suppose -2*q + 2 = -2. Solve -q*v + 6 - 14 = u for v.
-4
Suppose -3*w = -2*w - 2. Let i(s) = s**3 + 6*s**2 - 8*s - 7. Let o be i(-7). Solve q = -o*q - w for q.
-2
Let i(q) = 9*q - 9 + 2 - q + 5*q**2 - 4*q**2. Let o be i(-9). Solve 6 = -4*w + o for w.
-1
Suppose 2*n - 13 = -y, -2*n + 25 = 3*n. Suppose -m + y*m = 0. Suppose m = v - 5. Solve -v = -3*w + 7 for w.
4
Let u be (-2)/2*(1 - 1). Solve 0 = -2*l - u*l + 6 for l.
3
Suppose 0 = -h - 3*j + 3, -1 = 2*j - 3*j. Let i = -18 + 20. Solve h*b = i*b for b.
0
Let h = 7 + -5. Let a(u) = 1 - 3*u**2 - u**2 - h*u + 0*u**2 + 3*u**2. Let i be a(-2). Solve 0 = -z - i for z.
-1
Suppose -6*i = -3*i - 6. Suppose -2*d = i*d. Suppose -5*t + 1 = -14. Solve -k - 2 - t = d for k.
-5
Let b = 5 - 2. Solve b*v - 6 = -21 for v.
-5
Let x(i) be the first derivative of -5*i**2/2 - i - 1. Let r be x(-1). Solve -u = -r*u for u.
0
Let i be (3/2)/(((-36)/(-9))/24). Solve -h - i = -4*h for h.
3
Suppose 12 = -3*c + 42. Solve -c*q = -8*q for q.
0
Suppose -29 = -5*a + 71. Solve 6*o - o = -a for o.
-4
Let z be (-11 + 8)/((-6)/4). Let m = -20 - -10. Let f be z/3 + m/15. Solve -8*u + 4*u - 16 = f for u.
-4
Let z be -2*36/16*(-2 + 0). Solve z*q = 4*q + 10 for q.
2
Let v = 4 - 0. Suppose -p + 2 = 2*m - 8, -2*m - v*p + 22 = 0. Solve m*q - 2 = 1 for q.
1
Let m(r) = 2*r**2 + 6*r - 5. Suppose -3*c + 14 + 4 = 0. Let n(i) = -i**2 - 5*i + 4. Let s(b) = c*n(b) + 5*m(b). Let v be s(1). Solve 0 = v*f - f for f.
0
Suppose 3*y - 2*c - 16 = 46, 5*y - 99 = -c. Let z = y + -16. Solve 0 = -9*d + z*d - 10 for d.
-2
Suppose 15 = -5*r + 90. Suppose -5*c + 0 = -r. Solve 2*f + 1 + c = 0 for f.
-2
Let b = 9 - 4. Solve b*k = 2*k for k.
0
Let b = -6 - -5. Let w be -14*b/2*1. Suppose 4*x + 3 - 2 = -y, -x = -2*y + w. Solve y*d + 0 = -3 for d.
-1
Let b = 47 - 46. Solve -3*u - b = 8 for u.
-3
Let t(v) = -v**3 + 2*v**2 + 2*v - 1. Let q be t(2). Let f be -7*(q + 0 - 2). Let w = -5 - f. Solve -2*g = -g + w for g.
-2
Suppose 24 + 4 = 2*d. Suppose 0 = -2*o - 2*l + d, -3*l + 27 - 4 = 4*o. Solve -2*j = -0*j + o for j.
-1
Let f(b) = b + 5. Let o be f(-5). Suppose 0 = 2*n + 3*n - 45. Let y = n - o. Solve -21 = -4*l - y for l.
3
Let k(m) = m + 8. Let c be k(-8). Suppose 30*o + 16 = 34*o. Solve c = -0*w + o*w - 20 for w.
5
Let f(g) = -g + 9. Let m be f(7). Solve -1 - m = -3*h for h.
1
Let u be (32/(-12))/(1/(-6)). Let x be 0 - (-7)/(28/u). Solve 0*d - 4 = x*d for d.
-1
Let a(o) = o**3 + 5*o**2 + 5*o + 3. Let x be a(-3). Suppose 3*y - 9 = x. Solve 3*w + y - 8 = 0 for w.
1
Let q be (-16)/12*(-6)/4. Suppose 30 = -j - j + q*z, 2*z - 50 = 3*j. Let p be 1/(-4) + (-5)/j. Solve 0 = -3*w - p*w + 3 for w.
1
Suppose -l + 1 = -0*l. Let i be 3/((0 - 0) + l). Solve -i*v = -5*v + 4 for v.
2
Suppose -5*g + 25 = 5*f, 25 = 4*f + f. Solve g = 4*y - 7 + 3 for y.
1
Let r be 60/25 + (-4)/10. Solve -r*a - 12 = a for a.
-4
Suppose t + 0*t + 2*i - 10 = 0, -20 = -4*i. Solve t = -5*o + 9 + 11 for o.
4
Let t = 5 + -1. Let h be ((-45)/30)/(1/(-4)). Suppose 0 = -6*a + 2*a. Solve h*j - t*j = a for j.
0
Suppose 2*m - 11 = -3*d, 2*m - m = 3*d + 1. Suppose 0 = 4*h - 3*j + 1, -2*j = h + 2*h - 12. Solve m = 2*n + h*n for n.
1
Let a = -6 - -6. Solve 0 = q + 3 - a for q.
-3
Suppose 15*g = 10*g + 10. Let f(j) = -2*j. Let a be f(-4). Solve -g*v = 2*v + a for v.
-2
Let z = 0 + 2. Suppose 0 = -2*b + b - 3*q, 0 = -z*b + q + 7. Let j(d) = d**3 - 3*d**2 + d - 3. Let x be j(b). Solve x*a = -4*a for a.
0
Let k(c) be the second derivative of c**3/6 - c. Let i(f) = f**3 + f**2 - 6*f. Let x(v) = -i(v) - 6*k(v). Let z be x(-1). Solve z = -0*j + 3*j + 6 for j.
-2
Suppose -14*w = -9*w - 25. Solve w*x + 15 = 40 for x.
5
Suppose 5*r - 14*r = 0. Let t(v) = -v + 4. Let b be t(3). Solve -j = b - r for j.
-1
Let o be (8/10)/((-4)/(-20)). Solve o*v - 6 = 6 for v.
3
Let q(x) = -4*x - 1. Let m be q(-1). Solve 2*h - m = 1 for h.
2
Let k = 34 + -34. Solve k = -2*z - 3*z for z.