1
Let s be 4/2*(3 + -4). Let t be s - 6*(-2)/3. Solve -t*x = 1 + 5 for x.
-3
Let a(k) = -k - 1. Let q be a(9). Let z = 10 + q. Solve z*t + 4*t - 8 = 0 for t.
2
Let k = -1 + 1. Let y(g) = -g**3 + 5*g**2 + g - 2. Let s be y(5). Let v = s + k. Solve v*b + 0*b = -6 for b.
-2
Suppose -5 = v + p, 2*v - 6*v = -p - 5. Let x be 2 + (-3 + 9 - 5). Solve 3*j + x = -v*j for j.
-1
Let d(n) = -n**2 - 11*n + 29. Let x be d(-13). Solve -6 = -x*y + y for y.
3
Let s = -1 - -3. Suppose 0 = 4*n - 16 - 20. Let z = -5 + n. Solve z = -s*p + 6 for p.
1
Let x be 5 - ((-4)/22 + 72/33). Solve -x = -p + 2 for p.
5
Let u(d) = d + 1. Let q be u(3). Suppose q*k - 5 = 3. Solve 0 = -2*p + 3*p + k for p.
-2
Let k be 3*((-4)/(-2) + -1). Suppose 0 = -k*p - p. Solve p = -2*c - 0 + 2 for c.
1
Suppose -18 = -4*b - y, b - 1 = -0*y - 2*y. Let c(l) = -l - 13. Let z be c(-18). Solve b*p + z = -0*p for p.
-1
Suppose b - 7*b + 18 = 0. Solve -b*s + 6*s = -15 for s.
-5
Let z be (-15)/6*-1*8. Let a be z/(-6)*6/(-5). Solve 0 = -j + a*j for j.
0
Suppose 2*r = -0*h + 3*h - 3, 2 = -3*r + 2*h. Suppose -25 = -2*l - 3*l. Solve q - 6*q - l = r for q.
-1
Suppose -3*h = -11 + 2. Let m(z) = z**3 + 5*z**2 - 7*z - 3. Suppose -2*d = u + 3*d + 16, 3*u = -2*d - 22. Let q be m(u). Solve 15 = -h*t + q for t.
-4
Let i(v) = -v**2 + 3*v**3 + 0*v**3 - 6*v**3 - 1 - 2*v. Let d be i(-1). Suppose 18 = 6*h - d*h. Solve 5*n + h = 3*n for n.
-3
Suppose 13*y = 9*y + 8. Solve -3 = -5*x + y for x.
1
Let t(r) = -1 - 6 - 4 + 5*r - 3*r. Let a be t(8). Suppose -5 = -a*f + 5. Solve -f = 4*g + 10 for g.
-3
Let j = 6 - -37. Let s = -31 + j. Suppose -3*f + v = f - s, -4 = 4*f - 5*v. Solve 0*l = l + f for l.
-4
Let d be 3 + ((-14)/2 - -4). Solve d*a + 3 = 3*a for a.
1
Let j = 3 + -7. Let h be (j/12)/((-2)/(-6)). Let a be (1 + -3)*h/2. Solve -v = -2*v + a for v.
1
Let f(a) = -a**3 - 5*a**2 - 5*a - 1. Let d be f(-4). Solve 10 = -j + d*j for j.
5
Suppose -5*m = -5*n + 515, 3*n = -4*m + 263 + 39. Let j be n/10 + 2/(-10). Solve -j + 35 = -5*q for q.
-5
Let k = 38 - 21. Let t = -14 + k. Solve t*c - 2 = -11 for c.
-3
Let b = -9 + 14. Solve 5*f + 5 = -b for f.
-2
Let q(i) = 2*i. Let x be q(-2). Suppose -5*t - 16 = -6. Let p = t - x. Solve -p = 5*z + 3 for z.
-1
Let t = 9 - -5. Let g = 14 - t. Solve g*o - 2*o = 8 for o.
-4
Let p be (-2)/12 - (-76)/24. Solve p*l - 3 = 3 for l.
2
Let o = 136 - 136. Solve o = n - 1 for n.
1
Let q(d) be the first derivative of -d**4/4 + 2*d**3/3 - d**2 + d + 2. Let i be q(1). Solve -20 = -i*t - 5*t for t.
4
Suppose 4*d - 2*l + 1 = 3*l, -4*d - 4*l = -44. Solve 6 = 3*n - d*n for n.
-2
Let v = -19 + 18. Let n be (-6)/9*v*24. Solve 3*j = -j - n for j.
-4
Let o = 31 + -29. Solve o*t = 7*t + 25 for t.
-5
Suppose -6 = -3*s - t + 5, 0 = 4*s - 2*t - 28. Solve -s*c = -2*c - 6 for c.
2
Let o(x) = x**3 - 5*x**2 - 4*x - 6. Let t be o(6). Let s(i) = -i**3 + 8*i**2 + 11*i - 9. Let p be s(9). Let a = p + t. Solve l - 4*l = -a for l.
5
Suppose 2*n - 2*o - 63 = -o, 0 = 5*n - 4*o - 159. Let c = 47 - n. Solve c = -5*h + h for h.
-4
Suppose a = 6*a - 10. Suppose 5*g + 3*h - 28 = 0, 3*h - 14 = -a*g - h. Suppose 10 = 2*l, -4*l + 27 = 4*z - l. Solve 0 = -g*n - 2 - z for n.
-1
Let c be (4/(-1))/2 + 7. Solve c = -10*b + 5*b for b.
-1
Let r = -19 - -21. Suppose 0 = -2*m - 5*s + 23, 7*m + s - 23 = r*m. Solve 0 = m*x - x + 9 for x.
-3
Let z be (0 - (2 - 4)) + 2. Let y(w) = 2*w**3 + 2*w**2 + 2*w + 1. Let h be y(-1). Let n = h + z. Solve n*q + 1 = 10 for q.
3
Let r be (-18)/(-4) + 2/(-4). Let o = -2 - -2. Suppose r*p = -o*p. Solve 3*n + 3 - 12 = p for n.
3
Suppose 0 = -3*i - 13*p + 9*p + 22, 5*p - 16 = 2*i. Solve -4*t = -6 + i for t.
1
Let k = -7 - -9. Suppose -3*j = -2*r - 4*j + 15, -3*r - k*j = -24. Solve 4*g - 8 = r*g for g.
-4
Let t be (-5)/(3/3*-1). Suppose 3*i - 27 = -t*g, -6*g + 3*i = -2*g - 27. Let n(z) = z**2 - 5*z - 2. Let m be n(g). Solve 0 = -m*v - v for v.
0
Let n(g) = 4*g**2 + 1. Let f be 4/8 + (-1)/(-2). Let c be n(f). Let d be -4 + 4 + c + 1. Solve 0 = -2*y + d - 16 for y.
-5
Suppose 0 = 2*f + 5*v - 14, 8 = -3*f + v - 5. Let x be 11 - 1/(-3)*f. Let t = x - 4. Solve q - t = -2 for q.
4
Let f be -2 + 8 + -6 + 2 + 2. Solve -2*p + f = -4 for p.
4
Suppose -2 + 22 = 5*q. Suppose -q*a - 88 = -5*c, 2*a + a = -c + 10. Suppose -v - 2*v + k = -c, 0 = 3*v - 2*k - 11. Solve -3*z - 12 = -v*z for z.
3
Suppose -4*c + 15 = 3. Let t be ((-5)/10)/(1/(-22)). Suppose t*p - 14*p = 0. Solve p - 9 = -c*o for o.
3
Let n be 1346/18 - (-2)/9. Suppose -3*z - p = -n, -z + 2*z - 25 = -p. Solve u + z = -4*u for u.
-5
Suppose -13*d + 8 = -11*d. Solve -d*x + 2*x = 4 for x.
-2
Suppose -3*f + 10 = 2*f. Suppose 0 = -f*c + 6*c. Solve 12 = 4*a - c for a.
3
Let c(j) = 5*j - 2*j + j - j**2. Let l be c(3). Suppose 4*i - 8 = -4*g, -l*g - 2*i + 6 = -0*g. Solve 4*f + 4 = g*f for f.
-2
Let d(z) = -z**3 - 5*z**2 - z - 1. Let s be d(-5). Suppose 3*u - 5*b + 10 = -9, -15 = -3*b. Suppose -2*a + 14 = u. Solve l + a = s*l for l.
2
Let r be ((-5)/(-2))/((-5)/10). Let y be (r - 1) + 3 - -9. Solve y + 19 = 5*g for g.
5
Let o = -7 - -9. Solve 3*n - 5 = -o*n for n.
1
Let c = -22 - -24. Solve 7*k - 10 = c*k for k.
2
Let x(g) be the second derivative of g**5/20 + g**4/6 - g**3/6 + g**2/2 + g. Suppose 6 = -6*z + 3*z. Let j be x(z). Solve 0*l - j = 3*l for l.
-1
Suppose 0 = -7*z + 19 + 9. Solve 0 = -5*q + 4*q + z for q.
4
Let r = 0 - -2. Let u(y) = -y**2 + 5*y - 1. Let w be u(4). Suppose -g = r*g - w. Solve -3*f + 2 = -g for f.
1
Let d = 48 + -92. Let k be d/(-24) - 2/(-12). Let t = -2 - -4. Solve -t*j = k*j + 12 for j.
-3
Let x be ((-36)/42)/((-2)/14). Let n be (18/(-21))/(x/(-21)). Solve 0 = -0*a - n*a for a.
0
Let x be (-6)/16 + (-162)/(-48). Solve x - 4 = -l for l.
1
Let b(l) = l**3 + 16*l**2 - 19*l - 31. Let v be b(-17). Solve -4*y - 5 = v for y.
-2
Suppose 11*n - 10*n - 15 = 0. Solve 5*s + 0*s + n = 0 for s.
-3
Let g(z) be the first derivative of -z**4/4 - 2*z**3 - z**2 - 5*z - 3. Let f be g(-6). Solve -2*b + f*b - 25 = 0 for b.
5
Let g be (6/2)/(3/3). Let o be g/(-6) + (-22)/4. Let q be (-16)/o + (-10)/15. Solve 12 = 6*a - q*a for a.
3
Let i(d) be the third derivative of d**5/60 + d**4/12 - d**3 + 10*d**2. Let q be i(3). Solve 2*v = -v + q for v.
3
Let f = -10 - -10. Suppose 3 = 3*u - 3. Solve f = -t + u*t for t.
0
Let s(p) be the third derivative of -p**4/12 - 7*p**3/6 - 5*p**2. Let t be s(-6). Suppose 4*y = t*f - 64, -6*y + 3*y = 4*f - 45. Solve o - 5*o = f for o.
-3
Suppose 5*c - 1 = 4*v - 3, -5*v + 15 = 0. Solve -3*x - 15 = c*x for x.
-3
Suppose 20*k - 25*k + 25 = 0. Solve -4 - k = 3*b for b.
-3
Suppose -2*s = 2*s - 4. Let x = 1 + s. Suppose -5*z + 3 = -12. Solve 0 = -x*p + z*p + 5 for p.
-5
Let c = 5 + -2. Solve c*i - 5*i = 6 for i.
-3
Let v(o) = o + 4. Let l be v(-4). Let t = l - -3. Suppose -8 = -3*q + 4*j, 4 = -q + j - t*j. Solve 4*i + 6 + 14 = q for i.
-5
Suppose 2*f - 3*v = 5, 15 + 10 = 5*v. Solve 0 = -3*y - 5 - f for y.
-5
Suppose 5*t - 31 = -11, -n - 1 = -t. Suppose -5*a = -n*a - 8. Solve a = k + 3 for k.
1
Let y(b) = -b + 9. Let w(k) = k**2 + 4*k - 5. Let o be w(-6). Let f be y(o). Suppose -4*d + 7*d = 15. Solve -f*i + 3*i + d = 0 for i.
-5
Suppose -z - 2*z = 0. Let l(a) = -a - 8. Let b be l(-8). Suppose -4*y + 2*m = b, y = -4*y - 4*m. Solve z = -y*p + p for p.
0
Let x = 19 - 13. Suppose 3 = -k - o, -3*k + x = k - 2*o. Solve 4*j - j = k for j.
0
Suppose -3*l = -3 - 9. Suppose -b - i + 2 = -0*b, l = 5*b + 2*i. Suppose 5*p - p + 8 = b, -4*s = -2*p - 16. Solve s*c = 25 - 10 for c.
5
Let f be (0 + 0)/(-2 + 1). Let h be -1*(-1 + -1) - -2. Solve -b + h*b = f for b.
0
Suppose 2 = 9*s - 61. Solve -3 = 4*o - s*o for o.
1
Let f(m) = 2*m - 2. Let x be f(4). Suppose -2*y = 3*h, 2 = -5*y - 5*h + 7. Solve 0 = -6*a + y*a + x for a.
2
Let a = 9 - -3. Let x(q) = -2*q**3 - q**2 - 2*q - 3. Let c be x(-2). Solve -c = 5*h + a for h.
-5
Let f(g) = g + 9. Let n be f(-6). Solve 5 + n = 2*l for l.
4
Let v(l) = -l**3 + 12*l**2 + 13*l + 5. Let q be v(13). Suppose b = q*b. Solve -5 = -b*p - 5*p for p.
1
Let w(f) = f + 14. Let a be w(-7). Solve 0 = 5*x - a - 18 for x.
5
Let d(s) be the second derivative of -s**3/2 - s. Let i be d(-1). Suppose y - 9 = -o, -i*o - y = o - 45. Solve -2*w - w = -o for w.
4
Suppose 3 = -4*u + 2*c + 17, -5*u + 5*c + 10 = 0. Solve 0 = -u*p - 9 - 16 for p.
-5
Supp