- 1. Let t(f) = 6*f**2 - 3*f - 1. Let h(x) = 5*d(x) - 6*t(x). Let j be h(7). Solve -7 = -3*y + j for y.
5
Let r be (-2)/1*(-80)/16. Solve 0*s = -2*s - r for s.
-5
Let k(w) = 9*w - 7. Let z be k(3). Solve 2*n = -2*n + z for n.
5
Let k = -1 - -4. Let w = 6 - 1. Suppose 1 = -v + 3. Solve -k + w = v*d for d.
1
Let u(x) be the third derivative of -x**6/24 + x**5/30 + x**4/12 + x**3/6 + x**2. Let o be (-4)/(-8) + 9/(-6). Let z be u(o). Solve -2*l - z = -0 for l.
-3
Let j be 110/50 + 1/(-5). Solve f = -j*f for f.
0
Let g be 2/(-8) + (-119)/(-28). Let n = g + -2. Solve -n + 4 = k for k.
2
Let j = 23 + -23. Solve j = 2*q + q - 15 for q.
5
Let u(x) be the third derivative of -x**6/120 - x**4/24 + 7*x**2. Let j be u(0). Solve j*c = c - 5 for c.
5
Let w(z) = z**3 - 3*z**2 + 2*z - 4. Let q be w(3). Suppose 0 = -8*o + 3*o - x + 8, 3*o - 8 = x. Suppose o*l = -3*l + 15. Solve h - l = q*h for h.
-3
Let m = -9 + 15. Let n be 1/(14/4 - 3). Suppose 0 - 10 = -n*j. Solve j*o - 19 = m for o.
5
Suppose 2*r = 4*c, -3*c - 1 + 6 = r. Solve -c - 4 = -5*y for y.
1
Let g = 3 - 1. Let p(l) = l + 9. Let h be p(-4). Suppose h*z + 13 = 4*n + 55, 0 = 4*z + g*n - 44. Solve 0 = -r - 4*r + z for r.
2
Suppose -v = -5*l - 119, 2*l - 5*l = 2*v + 74. Let h be (0 + 1)/((-3)/l). Solve 4*i = -4 - h for i.
-3
Let a(u) = -u**2 - 3*u + 3. Let q be a(-3). Solve -3 = -q*j - 0 for j.
1
Let i = -5 + 9. Suppose -t = i*t - 110. Solve 7 - t = -3*c for c.
5
Let d be 3 + -1 + 1 + 3. Suppose -3*x + 15 = -9. Let f = x - d. Solve -f*l = -3*l + 1 for l.
1
Let p be 64/10 + (-8)/20. Suppose 3*g = 2*i + 26, p*g - 73 = 2*g - 5*i. Solve 0 = -c - 2*c + g for c.
4
Let y = -3 + 7. Solve -i = i + y for i.
-2
Let y = 4 + -3. Let n be (2 - (y + -3)) + -2. Solve -t - 4 = -n*t for t.
4
Suppose -q + 4 = 4*x, -5*q + 4*x = 28 - 120. Suppose -4*r - 14 = -w, w + 0*w - 5*r = q. Suppose c + c - w = 0. Solve -4*s = -c*s - 4 for s.
4
Let z(l) = l**3 + 7*l**2 + 6*l - 7. Let r be z(-6). Let g be r + 8 + (0 - -1). Solve -g*w + 0*w = -2 for w.
1
Let z be 6*2 - (0 - -3). Let a be (-1)/(-3)*(-3)/(-1). Solve 2*r - z = a for r.
5
Suppose -q = 4*n + 3 - 0, 3*q = 4*n - 9. Solve n*s + 3*s - 6 = 0 for s.
2
Suppose -g = 3*g. Let n be 2/5*(10 + g). Solve -6 = n*v - v for v.
-2
Let r = -12 + 13. Suppose 0 = -4*x - 4*p + 28, -3*x + 0*p + p = -r. Solve -2 = -x*n - 0 for n.
1
Let c(l) = l**2 + 9*l + 18. Let b be c(-6). Solve b = 2*z - 0*z - 6 for z.
3
Suppose -a - 6 = -2*g, -2*g + a - 6 = 6*a. Let w be -1*1/g*-2. Suppose -4 = 4*c, -4*c + c - w = p. Solve 2*h - 12 = -p*h for h.
3
Suppose -2*m + 3*n - 1 + 4 = 0, -m - 1 = n. Suppose 5*d - 3*l = -4*l + 11, 5*d - 19 = l. Let u be d/((-6)/4) - -2. Solve 3*p + u*p + 12 = m for p.
-4
Suppose -j + 4*f - 8 = 0, -4*f = 3*j + 15 - 39. Suppose 0 = -9*h + 4*h - 60. Let g be (3/(-2))/(h/8). Solve -g = -j*a + 3*a for a.
1
Suppose 4*d = 9 - 1. Suppose 0 = d*u - 3 - 3. Solve q + u*q = 4 for q.
1
Suppose -4*p + 11 = -5*t, 0 = 2*p - 0*t - 2*t - 6. Suppose -17 = -p*k + 15. Let n = -4 + k. Solve 1 = n*c - 3 for c.
1
Let i(n) = -n. Let h be i(-5). Suppose -m = -0*m + h*s + 3, -2*m + 20 = -3*s. Suppose m*v = 4*o + 4*v - 31, 5*v + 25 = 0. Solve 0*l = -o*l for l.
0
Suppose 0 = 5*z - 5*u + 30, -5*z + 3*u - 2*u = 10. Let a = z + 6. Solve a*g + 3 = -2 for g.
-1
Suppose 4*y + 20 = 4*p, -p + 0*p - 4 = 2*y. Solve -p - 2 = 2*c for c.
-2
Let z = 36 + -24. Let f = z - 8. Solve f*j = 9*j for j.
0
Let t(p) = p**3 + 9*p**2 - 9*p + 13. Let c be t(-10). Solve -2*q = -c*q - 5 for q.
-5
Let p(b) = 29*b. Let d be p(1). Suppose 3*l = -5*j + d, -3*j = -l - 2*l - 3. Solve -l*s + 5*s = 2 for s.
1
Let l(o) = -o**2 - 5*o - 1. Let m be l(-4). Solve -4*j - m = 13 for j.
-4
Suppose -5*r + 13 = -2. Let t = -3 + r. Suppose d - 2 + t = 0. Solve -n = -d*n - 3 for n.
-3
Suppose f = 3 - 0. Suppose 0 = -5*d + 25, 13 = 2*b + f*d - 18. Suppose 2*k - 2*v + 0 - b = 0, 3*k - v = 12. Solve -k*a + 7 + 1 = 0 for a.
2
Let q(g) = -g**3 + 11*g**2 - g + 13. Let u be q(11). Solve u*x = 2 + 2 for x.
2
Let d = 71 - 40. Let h = d + -21. Let l(s) = 2*s. Let w be l(2). Solve w*v = -v - h for v.
-2
Suppose 4*u + 7 = -5*c + 30, -3 = -3*u + c. Solve -3*h + h = u for h.
-1
Let p(n) be the second derivative of n**4/12 - n**3/2 - 3*n**2 + 3*n. Let b be p(5). Solve 0 = -b*v + 21 - 1 for v.
5
Let q(p) = 2*p - 7. Let x be q(6). Solve 0 = -g + x - 8 for g.
-3
Suppose 16 + 104 = 5*s. Suppose 0 = -h + 4*o - s, 1 = h - 5*h - 3*o. Let p = 5 + h. Solve 13 - p = 3*l for l.
4
Suppose -4*v = -2*m + 4 - 2, -2 = -2*m. Solve n + 0 + 5 = v for n.
-5
Let i be 3 + 0 + 6 + -4. Solve -i*v = -36 + 11 for v.
5
Let o be (-7)/(1*(-1 - 0)). Let a = -7 + o. Suppose -2*u = -3*r + 11, -u + r - 2*r = -7. Solve a = u*q + q + 12 for q.
-4
Let o(a) = a**3 + 13*a**2 - 13*a + 17. Let i be o(-14). Suppose i*m + 4*z - 26 = 0, 5*m - 7*z + 10 = -3*z. Solve m*p + 12 = 6*p for p.
3
Let y = -22 + 27. Solve -y = -3*l - 2 for l.
1
Let j = -28 + 30. Solve -2*n - j = -4 for n.
1
Suppose 115 = 5*b + 40. Let m = b + -12. Solve -2*d - d = -m for d.
1
Suppose -3*f = -4*f - 3*p - 3, 0 = 3*p + 12. Let b(l) = l**2 + 3*l - 5. Let t be b(-4). Let u be 0 + (t - 0) - -2. Solve -2*r + u = -f for r.
5
Suppose -3*r = 4*s - 0*s - 9, 0 = -2*s. Suppose -8*d = -7*d - r. Solve 6*y = d*y - 9 for y.
-3
Suppose t = -3*t - 4. Let y = t + 3. Suppose 2*q + y = 4*q. Solve -4*u - 5 = -q for u.
-1
Let p(i) = -i - 4. Let f be p(-4). Let a(q) = 2*q**2 - 2*q. Let o be a(-2). Let n = o - 11. Solve -2*l + 7 + n = f for l.
4
Suppose -5*i + 221 + 229 = 0. Suppose -5*l - 5*h + i = 0, -3*l + 31 + 25 = 4*h. Suppose 0 = j - 5*y + l, -4*j + 8*y - 5*y + 4 = 0. Solve 0*d - 16 = -j*d for d.
4
Let j = 17 + -11. Solve -4*z = -j*z for z.
0
Let z = 27 - 25. Solve -z*q + 3*q - 5 = 0 for q.
5
Let x(d) be the third derivative of 0 + 1/10*d**5 - 1/120*d**6 + 4/3*d**3 - 2*d**2 + 1/4*d**4 + 0*d. Let m be x(7). Solve 2*o - m = o for o.
1
Suppose 14*x - 13*x = 2. Solve -o = x*o + 6 for o.
-2
Let v(n) = -n**2 - 7*n + 3. Let r be v(-7). Let m be ((-65)/5)/(-2 - -1). Solve 2*z = m - r for z.
5
Let b = 0 + 0. Suppose -4*v = -12, 2*c - 2*v - 106 - 48 = 0. Suppose 0*r - c = -4*r. Solve -7*h + 3*h + r = b for h.
5
Let r(w) = -w**2 - 10*w + 1. Let k be r(-9). Suppose 0 = 2*a + k - 32. Solve 5*x + 9 = -a for x.
-4
Let d be 1/4 + (-28)/112. Solve 0 = 5*y - d*y - 5 for y.
1
Suppose -f + 2*z = -3*z + 7, 0 = 4*z - 8. Suppose 3*p + 2*p = 20. Solve t = f*t + p for t.
-2
Let k(j) = 2*j**2 - j - 3. Let n be k(-3). Suppose 4*m = 3*h - 6, -2*h - 2*h + n = -2*m. Solve -2*l = l + h for l.
-2
Let s be -1 - 5/(-7) - 390/(-91). Solve 6 = -s*y - 14 for y.
-5
Suppose 0 = 4*x - 4, -4*q + 4*x + 9 = -43. Suppose 25 = 5*c, -b + 5*c - q = 4. Solve -4*k - b = 1 for k.
-2
Let x(f) = -f**2 + 4*f. Let m be x(3). Suppose m*t = -2*t + 15. Suppose q + 7 = -0*q + t*v, v = 4*q - 5. Solve 0 = -q*y - 0 + 2 for y.
1
Let r be 4/(-2)*(0 + 1). Let p be (2 - 3)*(r - 3). Solve 11 = -p*a - 9 for a.
-4
Let q(i) = -3*i**3 - i**2 + i + 1. Let t be q(-1). Solve t = 2*k - k for k.
2
Suppose -4*d + 0*d + 2 = 2*v, 2*v = -2*d + 4. Solve -v*x = x for x.
0
Let d = 18 + -14. Solve -5 = 3*z + d for z.
-3
Let o = -10 + 7. Suppose -40 = -3*u - 2*u. Let a = o + u. Solve a*h = h + 12 for h.
3
Suppose 3 = -5*y + 8. Solve 2*r - 5 = y for r.
3
Suppose 6*t - t = -c + 96, t + 4*c = 4. Solve 0*m = -4*m - t for m.
-5
Let s(p) = p**3 - 8*p**2 + 6*p + 9. Let t = 19 - 12. Let w be s(t). Solve -4*r + w + 2 = 0 for r.
1
Let h(f) = -f + 12. Let s be ((-1)/(-3))/((-4)/(-108)). Let n be h(s). Suppose -q + n*q = 0. Solve 3 = g - q*g for g.
3
Let l be (-5)/(-20) - (-11)/4. Suppose -2*q = 0, q - 5 = -t - l*q. Solve u = -t - 0 for u.
-5
Let t be -2 - 4/((-4)/27). Let x = t - 18. Let k = 5 + x. Solve k = 5*a - 2*a for a.
4
Suppose 21 = 2*a + 7. Let n = a + 24. Let d(o) = o + 10. Let b be d(-6). Solve -b*v = n - 11 for v.
-5
Let g = -13 - -21. Let f be ((-2)/5)/(2/(-20)). Solve -3*a + f = -g for a.
4
Let t be (11/3 + -4)*0. Solve t*q + 4*q = -8 for q.
-2
Suppose -1 = -2*b - 7. Let m(w) = w**3 - 5*w**2 - 7*w + 3. Let r be m(6). Let x be b*((-8)/r)/(-2). Solve -4*h - x = -0*h for h.
-1
Let w = -3 - -9. Let j be 0 + -1 - (-5 - 2). Let u be w/(j/2) - 0. Solve 2*y + 10 - u = 0 for y.
-4
Suppose 0 = -2*r - 3*r. Suppose -3*x + 9 = -r*x. Solve 3 = 2*t - x for