0
Suppose 5*f = -4*i + 3, -i = i + 4*f. Solve i = n + 3 for n.
-1
Suppose 4*d + 10 - 50 = 0. Suppose -5*x + 0*x + d = 0. Suppose -u + x = -3. Solve u*o - 39 = -14 for o.
5
Suppose -c + 0*c + 10 = k, -4*k - 32 = -4*c. Suppose -3*n = -0*n - c. Suppose -n*f + 5 + 4 = 0. Solve 19 = -4*y + f for y.
-4
Let k(m) be the third derivative of m**7/5040 + m**6/120 - m**5/30 + m**2. Let b(j) be the third derivative of k(j). Let p be b(6). Solve 2*c = -c + p for c.
4
Suppose -u + 76 = 2*p + 7, -3*p + 104 = 2*u. Solve -14 = -5*y - p for y.
-4
Let v be (((-10)/(-4))/5)/((-1)/(-4)). Solve v*g = 4*g - 4 for g.
2
Let m be 2 - 0 - 0/2. Suppose 3*t + m = -1. Let i(b) = 3*b**2 - b. Let g be i(t). Solve -2*v - 2*v = g for v.
-1
Let f be 11 - 8 - -4*2. Solve f - 31 = 4*s for s.
-5
Suppose -4*z = -2*v - 62, 2*z + 2*z = -v + 59. Let r = z + -13. Solve -2 = -0*n - r*n for n.
1
Let x = 0 - 0. Suppose 0 = n - x*n. Let c be ((-3)/2)/((-3)/6). Solve t + 2*t - c = n for t.
1
Let f be 18 - (-4 - (0 - 7)). Let o be ((-9)/f)/((-2)/10). Solve 0 = o*b - b - 6 for b.
3
Suppose -6 = -5*g - 1. Solve -3*o + g = -2 for o.
1
Suppose 52 - 4 = 2*y. Let z be (-4)/6 + y/9. Suppose -z*q - 2*q = -2*j - 22, 2*q + 4*j = 16. Solve q*u - 10 = u for u.
2
Let n(s) = s - 3. Let i be n(5). Let q = -6 + 10. Suppose 5*g + 3*h = q*h + 15, -5 = -h. Solve 0 = i*v + g - 14 for v.
5
Suppose b = -g - g - 3, 5*b - 5*g - 15 = 0. Let a be (10 - b)/(6/4). Solve 2*t - a + 2 = 0 for t.
2
Let x be (-10)/(-35) - (-4)/(-14). Suppose -7*i = -3*i - 12. Solve 0 = -x*p + i*p for p.
0
Suppose -4 + 16 = 4*z. Solve -3 = -2*w + z*w for w.
-3
Let z(r) = -r**3 + 5*r**2 + r - 5. Let m be z(5). Suppose -3*s + 3 = -0. Solve v + s = -m*v for v.
-1
Suppose f + 1 - 5 = 4*m, 5*m = -2*f - 5. Let g(j) = -2*j**3 - 2*j**2 - 3*j. Let w be g(-2). Let u be (-19)/(-7) - (-4)/w. Solve u*p - 5 - 4 = f for p.
3
Let q(m) = -m**2 - 6*m + 6. Suppose -5*a + 5*z - 20 = 0, 4*a + 3*z + 45 = 15. Let w be q(a). Solve w = -4*h + 22 for h.
4
Suppose -18 = -5*u + 22. Suppose -u*d + 17 = -3*d - x, 0 = d + 2*x - 10. Suppose 0 = -d*a + a. Solve -5*m - 15 - 10 = a for m.
-5
Suppose 3*z - 5 = 3*c - 2, 4*z = -c - 1. Suppose 2*n = -z*n. Let q be (1/2)/((-2)/(-8)). Solve n = -q*s - 2*s - 16 for s.
-4
Suppose 10*w - 19*w = -18. Solve 4 = -w*o + 2 for o.
-1
Let t(j) be the second derivative of -j**5/20 - 7*j**4/12 + 7*j**3/6 + 2*j**2 + 2*j. Let s be t(-8). Solve -s - 13 = -5*i for i.
5
Let p(r) = r**2 + 3*r + 2. Suppose 0 = -g + 2*g + 3. Let j be p(g). Solve -j*b + 3 + 3 = 0 for b.
3
Let a be 34/9 - (-4)/18. Solve a*r + 8 + 8 = 0 for r.
-4
Suppose 0*w - p - 11 = w, 29 = -3*w - 5*p. Let g = 16 + w. Solve 0 = g*c + 14 + 1 for c.
-5
Suppose -4*j = -2*j + 22. Let v = -3 - j. Solve -v = 4*u - 0 for u.
-2
Let r = -2 + 4. Suppose w - 5*a = 5 - 2, 0 = r*a. Solve 1 = 2*l - w for l.
2
Suppose -4*b = 2*o - o + 5, 5*b - o - 5 = 0. Suppose 2*a = -3*i - 8, -8 = -2*a + i - b*i. Let u = 13 - 10. Solve -4*d - a = -u*d for d.
-2
Suppose -g - 6 = -2*x, g - 2*x + 3 = 3*x. Let w be 1/(-1 - 10/g). Suppose -7*i + w = -3*i. Solve -i = k - 2*k for k.
1
Let k(f) = -f**3 + 4*f**2 - f - 2. Let g be k(3). Suppose g*d + d = -25. Let z(v) = -v**2 - 6*v - 5. Let s be z(d). Solve s = -2*o + 1 + 3 for o.
2
Let p = 8 - 4. Suppose -5*z - 10 = -3*t, 4*t - 21 = 2*z - 3. Suppose -p*q = -3*q - z. Solve -2*y - q = 7 for y.
-4
Let h = -52 + 54. Solve h*b + 0 + 4 = 0 for b.
-2
Suppose -2*h - h + 17 = 2*y, 0 = -4*y + 3*h - 11. Let x(w) = -w + 3. Let t be x(-3). Let l be ((-3)/(t/(-16)))/y. Solve -5*v = -v - l for v.
2
Suppose 3*t - 35 = -4*b, -4*t + 5*b + 5 = 2*b. Let n be (0 + -4 + 4)/(-2). Suppose n = -t*d + d. Solve d*f = 5*f for f.
0
Suppose -c = -3*z - 3, 2*z + 2*z - 34 = -5*c. Suppose 0 = -3*q - 3*j - c, 3 = -j + 6. Let v(y) = y + 11. Let u be v(q). Solve i = u*i for i.
0
Let v(x) = 3*x**3 + 5*x + 11. Let n(z) = -2*z**3 - 4*z - 10. Let q(p) = -4*n(p) - 3*v(p). Let b be q(0). Suppose 1 = 2*c - b. Solve -c*f + f = 0 for f.
0
Let q be (7/4 + -1)/((-243)/(-1296)). Suppose 16 = -4*c, -12 = 6*y - 2*y + 4*c. Let b = 11 - y. Solve 10 = q*k - b for k.
5
Let c = 28 - 22. Solve -16 = -5*p - c for p.
2
Let i = 78 + -76. Solve 2*r = -i*r for r.
0
Let z(o) = o**2 - 5*o - 5. Let u be z(6). Solve -u = 2*v - v for v.
-1
Suppose 4*x - 10 - 18 = -4*s, -5*s = 4*x - 30. Let a(u) = u. Let o be a(4). Solve -o*b - x + 1 = 0 for b.
-1
Let m be (9 - 3) + -2*1. Suppose 1 + 23 = m*y. Solve 2*c - 2 = -y for c.
-2
Let d be (-2)/(-5) - (-114)/15. Let s = d - 0. Solve s + 1 = 3*k for k.
3
Suppose 2 + 13 = q. Solve 4*i + 5 + q = 0 for i.
-5
Let g(r) be the third derivative of -r**5/60 - 3*r**4/8 + 13*r**3/6 - 4*r**2. Let u be g(-10). Suppose -3*y + 5*y = 4. Solve s = -y + u for s.
1
Let w be -3*(-2 + (-34)/(-6)). Let a = -7 - w. Let v(y) = y - 3. Let m be v(a). Solve z - 3 = m for z.
4
Let i(v) = v**2 - 8*v - 2. Let h be i(6). Suppose 0 = -n - 3*n + 80. Let j = h + n. Solve 4*u - u = j for u.
2
Suppose 0 = -4*v - 2 + 26. Suppose 5*t + 0*t = 10. Solve -z - t*z + v = 0 for z.
2
Let i = -2 - -4. Let x be (-1)/(-3)*i*-6. Let k be 19/7 - x/14. Solve 2 = k*u - u for u.
1
Let m(j) = j**3 - 9*j**2 + 9*j + 7. Let q = -14 - -22. Let l be m(q). Solve -3*c + l = 2*c for c.
3
Let i be 64/40 - (-4)/10. Solve 0 = 3*o + i*o + 10 for o.
-2
Suppose 0 = -8*h + 5*h + 12. Solve 2*q = h*q + 2 for q.
-1
Suppose 2*m = 6*m - 4. Solve m = 5*d + 11 for d.
-2
Suppose 2*r + 4 = u, -3*r = -4*u - 0*r + 11. Let k be 3 + (-1 - -2)*0. Suppose 2*j + u*d = 6*j - 18, 3*j - 36 = -k*d. Solve -3 - j = 5*t for t.
-2
Suppose -4*x + 8*x = 8. Solve 0 = -a - x + 4 for a.
2
Let i = 103 + -100. Solve -i = -3*m + 12 for m.
5
Let d be -3*(-32)/36 + (-3)/(-9). Let o be 4/18 - (-16)/9. Suppose 0 - 4 = -o*b. Solve -d = -b*g + 5*g for g.
-1
Suppose 2*i = 3*i. Suppose 4*q + i*q - 20 = 0. Suppose -q = -3*g + 4. Solve g*k + 3 = -0 for k.
-1
Let x = -10 + 10. Solve x*m = -m for m.
0
Let c(l) = 3*l + 20 + 0*l - 6*l + l. Let v be c(0). Solve -v = 6*t - t for t.
-4
Let a(d) = d**3 + 8*d**2 + 7*d + 11. Let t be a(-7). Solve 5*v - 9 = t for v.
4
Let k = -77 - -80. Let y(p) = -p**3 + 6*p**2 + 6*p + 9. Let f be y(7). Solve -k*j - f*j = -10 for j.
2
Suppose -74 = -4*l - 46. Solve -3*n + l*n = -8 for n.
-2
Let a(c) = -c**3 - 16*c**2 - c - 8. Let d be a(-16). Solve 4*h - d - 12 = 0 for h.
5
Suppose -4*z - 32 = -2*n, -3*n + 4*z + 2 = -6*n. Let g(w) = -2*w - 2. Let k be g(-2). Let o(f) = 3*f**2 + f. Let l be o(1). Solve l*d - k = n*d for d.
-1
Let q be 434/248 - 1/4*-1. Solve -9 = -q*f - f for f.
3
Let x(a) = -a**2 - 9*a + 2. Let t be x(-8). Solve 0 = -3*b + 5*b - t for b.
5
Let h(b) = 6 + b**2 + 0*b**2 + 10*b + 0. Let u be h(-9). Let v = u - -4. Solve 3*c - v = 4*c for c.
-1
Suppose 0 = 47*w - 50*w + 9. Solve t + w - 2 = 0 for t.
-1
Let o = 54 - 50. Let t = -4 + 6. Solve o*h = t*h for h.
0
Let w be (2 + (-7)/3)*-12. Suppose 0 = -w*d - 2*j + 12, -d - 4*j = -13 - 4. Solve 0 = -q + d + 1 for q.
2
Suppose -4*c + 3*c = -2. Let b = c - -3. Solve 15 = -b*l - 0*l for l.
-3
Let s(z) = 4*z + 1. Let w be s(1). Let v(g) = g**3 - 4*g**2 - 7*g + 2. Let f be v(w). Let y = -1 - f. Solve 0 = 2*p - y + 3 for p.
2
Let n(y) = -y**3 + 8*y**2 - 7*y + 2. Let x be n(7). Let h(l) = -l + 2. Let d be h(x). Let w be (-2)/(1/(-1) + d). Solve -w = 4*z + 2 for z.
-1
Suppose -3 = -o - 1. Solve -o*j = -j - 4 for j.
4
Suppose -23 = -4*y - 0*y + 3*d, y + 13 = -3*d. Solve 2 = 4*j - y*j for j.
1
Let j = 3 - 0. Suppose 4*t = -2*y + 48 + 34, j*t - 3*y = 84. Let m be t/5 + (-4)/(-10). Solve 0 = -2*c + 7*c - m for c.
1
Suppose 3 = 4*z - 1. Let a be 1/z + (-74)/(-2). Solve -13 + a = -5*r for r.
-5
Suppose -9 = -3*r + 3. Solve -v - r*v = -15 for v.
3
Suppose -20 = -g - 3*g. Solve g*i - 2*i = 15 for i.
5
Let i(x) = -x**3 + x**2 + 2*x - 2. Let g be i(2). Let f be (g/3)/((-12)/54). Suppose -1 = 5*t + 4, 4*d + f*t - 21 = 0. Solve -b - b - d = 0 for b.
-3
Suppose -4*f = 11 - 15. Solve -3 = -4*s + f for s.
1
Let x be 6/(-9) - 2/6. Let p be x + -3 + (-6)/(-1). Solve 5 = 3*t + p for t.
1
Let h = -25 + 27. Solve -3 = h*j - 9 for j.
3
Let b(o) = o**3 + o**2 - o - 1. Let p be b(0). Let c = 4 + p. Suppose 0 = 7*h - c*h. Solve -4*y + 0 + 8 = h for y.
2
Let z be -2*3/((-3)/10). Solve 5*k = k + z for k.
5
Let o = 124 + -124. Solve -c + o*c = 0 for c.
0
