 -d + 12 = d. Let b = d - 6. Solve s + 2 + 3 = b for s.
-5
Let n = -20 - -52. Suppose -2*r - 16 - 10 = -4*h, 4*r + n = 3*h. Solve 12 = -h*w - 0*w for w.
-3
Let d be (25/5 - 5)*1. Solve -3*w + w - 10 = d for w.
-5
Suppose 1 - 3 = -2*n. Let x be 10*n + 2/(-2). Let p = -6 + x. Solve -p = c + 2 for c.
-5
Let v(y) = -y**3 + y - 6. Let g be v(0). Let q(s) = s**3 + 6*s**2 + 6*s - 4. Let b be q(g). Let p be (-16)/b + 33/5. Solve p = k + 3 for k.
4
Let l(q) = 3*q - 3. Let t be l(2). Suppose 0 = x - t*x. Solve 3*g = -x*g + 3 for g.
1
Suppose o - 40 = -4*o. Suppose 0 = -o*p + 3*p. Solve p = 3*b - 6*b for b.
0
Let o(x) = -x**3 - 5*x**2 - 3*x + 4. Suppose -6 = 2*t - n, 4*n = -4*t - 9 - 15. Let w be o(t). Solve i = 1 - w for i.
1
Let p(b) = b**2 - 6*b + 15. Let z be p(6). Suppose -k = 5, -y + z = k - 4*k. Solve -4*m + y*m = 12 for m.
-3
Suppose -117 - 21 = -5*n + 4*j, 4*n - 129 = -3*j. Suppose -5*i = 2*s - 13 - n, 28 = 3*i - s. Let b = 12 - i. Solve c - 4 = b*c for c.
-2
Suppose 0 = -y + 3*r + r - 15, 12 = 3*r. Solve 2*m = m + y for m.
1
Let a = 16 - 12. Solve -1 = z + a for z.
-5
Suppose 50 = 4*x + z, 0 = -4*x + x - 4*z + 44. Solve -x = 3*a + a for a.
-3
Let o be 24/(-15) + 4/(-10). Let v be 4/6*(-15)/o. Solve 0 = -v*n - 2 + 27 for n.
5
Suppose -3*n + 5 = 4*c - 3*c, -5*n = -2*c - 12. Let t = 1 - -10. Suppose 2*v = -2*l - n, -v + l + 2*l = -t. Solve -v*i = 3*i for i.
0
Let p(i) = -3*i**2 - 5 - 5*i - i + 2*i**2. Let k be p(-4). Solve 0*m + k*m + 9 = 0 for m.
-3
Let y be (-9)/(-5) + (-3)/(-15). Let d(m) = m**3 - 2*m**2 + m - 2. Let w be d(y). Let b be (-1 - -1) + 1 + 2. Solve b*l - 6 = -w for l.
2
Suppose 0 = -5*k - 3*l + 11, -l = 4*k + 3 - 16. Suppose -j - 30 = -k*j. Solve j = c + c for c.
5
Let x(h) be the second derivative of h**5/20 + 7*h**4/12 + 7*h**3/6 + 7*h**2/2 - 2*h. Let i be x(-6). Let o(m) = 4*m. Let r be o(i). Solve 4*b = r + 8 for b.
3
Suppose 57 = 9*m - 33. Solve 30 = 4*d + m for d.
5
Let c(u) = 4*u + 1 - 5*u + 5. Let r(l) = l - 2. Let j be r(8). Let i be c(j). Solve i = 6*t - 3*t - 9 for t.
3
Let s(p) = p**2 - 4*p + 2. Let h be s(5). Suppose 0 = 12*j - j - 132. Solve j = -h*f + 3*f for f.
-3
Let t(u) = u**2 + 6*u - 2. Let c be t(-6). Let p = c + 3. Let h be (-50)/(-12) - p/6. Solve -h*l = -l for l.
0
Suppose -4*w = -3*w - 5. Solve -w*f - 6 = 9 for f.
-3
Let a(v) = -v**2 - 4*v + 7. Let h be a(-5). Let b(c) be the first derivative of c**2 + 7. Let z be b(h). Solve -l + z = -1 for l.
5
Suppose 3*l + l = 48. Let z = -5 + l. Let i be 3 - 0*1/3. Solve -1 + z = -i*n for n.
-2
Suppose -2*s + 7*s = 20. Solve s*b + 1 = -3 for b.
-1
Suppose 2*r = -2*k - 6, 2*r = 3 - 13. Suppose -4*o + 6 = 3*z, -o - k = 2*o - z. Solve -4*s + 0 + 12 = o for s.
3
Let p(l) = -l**2 + 4*l - 1. Let f be 1 - (-1 - -2 - 3). Suppose 0 + 9 = f*u. Let k be p(u). Solve 7*d - k*d + 5 = 0 for d.
-1
Suppose -5*a + 5*l - 5 = 0, -2*a + l = 2*l - 7. Solve 0 = y + a*y for y.
0
Let u(j) = -j**2 - 3*j + 13. Let k be u(-6). Let c be (-18)/k + 12/30. Solve 0 = -c*r + 20 for r.
5
Suppose 5*q = a - 21, 5*a - a + q = 0. Let r = 4 - a. Suppose -r*w + 4*w = 6. Solve w*h - 3*h = 6 for h.
2
Let y(s) = -6 - 11*s + 4*s**3 - s**3 - 2*s**3 + 8*s**2 - 5. Let c be y(-9). Solve 2*z = c*z + 20 for z.
-4
Let g(k) = -k**2 - k + 7. Let a be g(-8). Let y be a/(-4) - 12/48. Solve -h = 3*h - y for h.
3
Let a be (-1 - 2)/(0 - 1). Let o be 10/(-15) - (-41)/a. Suppose -4*z + 3 + o = 0. Solve -19 = z*w - 3 for w.
-4
Let s be -3 + (2/(-2))/((-6)/30). Solve s*o = -0 - 4 for o.
-2
Let i be (0 - 4)*(-4)/8. Solve -l - 2 = -i*l for l.
2
Let f be (40/(-12) - -2)*-21. Suppose 5*l = l + f. Solve -l = 2*d - 1 for d.
-3
Suppose -36*q + 31*q + 25 = -b, -5*b + 5 = q. Suppose 3*r - 28 = -4*m + 10, -4*r = -m - 38. Solve b = -r*d + 5*d for d.
0
Suppose -c = -2*c + v + 2, 2 = 5*c - v. Solve q - 1 = -c*q for q.
1
Let r be ((-5)/20)/(2/(-1 + -7)). Let c(o) = -o + 3. Let a be c(3). Solve a*k - k = r for k.
-1
Suppose -5*o + k = 4*k - 56, 2*o + k - 22 = 0. Let v(q) = q**2 + 14*q + 15. Let t be v(-13). Solve -4*z - t - o = 0 for z.
-3
Suppose 4*g + 3 = 7*g. Solve -g = 4*k + 15 for k.
-4
Let q(s) = s + 1. Suppose 3*z - 9 = -3*h, 0 = 4*z + 2*h - 13 + 3. Suppose z = 2*t - 0. Let b be q(t). Solve -b*o - 4 = 2 for o.
-3
Suppose -4*m + 3*p + 2 = -13, -2*m = p + 5. Solve m = -4*z + 3*z - 5 for z.
-5
Let u be -11 + (-2)/8*0. Let n = -10 - u. Solve -n = -5*q + 4*q for q.
1
Let k = -85 - -85. Solve 0 = 2*q - k*q - 10 for q.
5
Suppose 6*f - 28 = 3*f - 4*d, 4*f + 3*d - 28 = 0. Solve 0 = 3*r - f*r for r.
0
Let x(g) = g + 3. Let j be x(-6). Let t be 3 + -5 + 7 - j. Solve -3*c + t + 1 = 0 for c.
3
Let b be (-32)/(-14) - 2/7. Let c = -5 - -5. Solve -3*q + b + 7 = c for q.
3
Let f be ((-9)/6 - -1)*-2. Let z be (7 - f)/(4/2). Solve z*u = -2*u - 10 for u.
-2
Suppose -2*t + t + 2 = -2*l, -4*t + 2*l = -14. Solve -t*i = 16 - 0 for i.
-4
Let p = -4 - -7. Solve 0 = -0*a + p*a - 9 for a.
3
Suppose 11 = -2*p + 4*v - 3*v, 4 = 2*p + 2*v. Let r = p - -5. Suppose -u = -4*n - 20, -r*u + 2*n + 10 + 0 = 0. Solve -2*y + y - 2 = u for y.
-2
Suppose 3*c + 7 = d - 7, -2*d + 3*c + 19 = 0. Let m be (6/(-4))/((-15)/10). Let y be m + -1 - 0/3. Solve y = -d*a + a for a.
0
Suppose -2*i = 2*i. Solve 3*b + 6 = -i for b.
-2
Let n be 30/(-9)*(-12)/(-10). Let x = 7 + n. Let v = -2 - -7. Solve -v = -2*a - x for a.
1
Let y be ((-4)/(-6) + 260/(-210))*-7. Solve 5*o - y*o = -3 for o.
-3
Suppose -3*n - 11 = -0*n + 5*a, 2*a + 8 = 0. Solve n*v + 5 - 17 = 0 for v.
4
Let k(c) = -c**3 - c**2 - c + 3. Let m = -6 + 6. Let j be k(m). Solve -4*n = -3*n - j for n.
3
Suppose 3 - 19 = 2*q - 4*v, 3*q + 24 = 4*v. Let w be (-20)/q - 2/(-4). Suppose -y + 3*r = 16 - 11, 8 = -y + 4*r. Solve -y*d = -5*d + w for d.
3
Let k be 54/12*(-4)/3. Let o be (-15)/(-10) - 111/k. Solve 3*t - o = -t for t.
5
Suppose -2 = -4*l + 2*l. Let b = 3 - l. Suppose b*f + 2 = 4. Solve 5 + f = -2*m for m.
-3
Suppose 0*l = -l + 5. Let h = -1 - -6. Suppose 3*m + 5 - 2 = -4*x, -h*x + 30 = -3*m. Solve -x*v - 2*v - l = 0 for v.
-1
Suppose c + v - 5 = 0, 0 = -4*v - v. Solve 0 = -f + c*f - 4 for f.
1
Let o be (-2)/(4/(-30))*1. Solve -3*b = 2*b + o for b.
-3
Suppose 2 = 2*q - 2. Solve 0 = -4*j - 2 - q for j.
-1
Let g = 4 + -6. Let q be 2/(-3)*9/g. Suppose 0 = -q*b + 3*i - 1 + 7, i = -b - 2. Solve b = m - 0*m - 4 for m.
4
Let i(b) be the first derivative of b**4/4 + b**3 - 3*b**2/2 + 4*b - 1. Let m be i(-4). Suppose m = w + 2*w. Solve w*k = -k - 4 for k.
-4
Suppose 4*f + 24 = 8*f. Suppose -4*u = -f*u. Solve 4*v - 2 + 6 = u for v.
-1
Suppose -4*p - 3*p = 0. Solve p*q + 4*q - 16 = 0 for q.
4
Let h = -35 - -38. Solve h*s - 6 = -0 for s.
2
Let l(x) = 3*x - 7. Let m be l(7). Let s = m + -10. Solve s - 12 = -4*p for p.
2
Suppose 2*v - 3 = -v. Let u be (2 - -1) + (v - 0). Solve u*i = -0*i + 4 for i.
1
Let c = 9 - 3. Solve -a + 4*a = -c for a.
-2
Let g be 6/(((-12)/(-14))/(-3)). Let a be (-6)/21 + (-90)/g. Solve -i = a*i for i.
0
Let m be (-2)/(2/4*-4). Let j = -19 + 22. Solve 2*s = j*s + m for s.
-1
Suppose 2*y + 3*y - 3*n = 112, 5*n = -y. Solve 2*a - y = 7*a for a.
-4
Let x(n) = -n**3 - 7*n**2 - 6*n + 2. Let j be x(-6). Let f = -2 + 4. Suppose -6 + f = 4*k + 2*h, 3*k + 2 = -h. Solve k = -m - j for m.
-2
Let m(q) = q**3 + 5*q**2 - 2*q - 5. Suppose -b - b - 10 = 0. Let z be m(b). Suppose c + 35 = 5*u, u - 2*c + c - 11 = 0. Solve -x - z = -u*x for x.
1
Let f be 20/4 - (0 - 0). Suppose -4*r = 5*w - 53, -r = -0*r + f*w - 17. Solve 3*g + r = -g for g.
-3
Let i(l) = -l**3 + 3*l - 3. Let j be i(2). Let b = -3 - j. Solve 3 = -5*q - b for q.
-1
Suppose 4*h - 9 + 1 = -2*b, 0 = 3*b - 2*h - 4. Let t(g) = g**2 - 4*g - 6. Let w be t(5). Let a = 5 - w. Solve b*p - a = -p for p.
2
Let j = 52 + -46. Solve j*d - 3*d + 3 = 0 for d.
-1
Let s = 7 - 5. Solve -10 = -s*h - 2 for h.
4
Let p = 5 + -3. Let x = 6 + p. Let k(c) = -3*c - 5. Let m be k(-3). Solve m*i = -8 - x for i.
-4
Suppose 4 = 7*h - 10. Solve 2*i + 2 + h = 0 for i.
-2
Let t(h) = -3*h - 4. Let a be t(-2). Solve c + a*c = 6 for c.
2
Suppose 0 = -3*q - 3*q. Let v = 3 + 0. Suppose -5*o + v = -w - 3, 5*o + 5*w - 30 = q. Solve 3*k + o*k - 10 = 0 for k.
2
Let q be 3 - ((-2 - -1) + -2). Let w = 9 - q. Solve -1 - w = -n for n.
4
Let y be 8/(-10)*(-5)/1. Suppose 3*k + k - 108 = -2*p, 5*k = -y*p + 141. Suppose 3*q - 