i - 10 for c.
0
Suppose -3*f = -2 - 13. Solve 5*n + 15 = 5*b - 5, f*b - 14 = 3*n for b.
1
Suppose -2*z - 4 = -7*j + 4*j, -2*z = -4*j + 8. Suppose -z + 1 = -l. Suppose n + 6 = h, 3*h - 3*n - 8 = -2*n. Solve c = l*y + 4, -c + 3*c + h = -3*y for c.
1
Suppose 0 = -p + 2*p + 5*s + 7, s = 3*p - 11. Suppose -p*f + 0*f = 0. Let j(n) = -n**2 - n + 5. Let w be j(f). Solve -2*t - 20 = 4*i, -i - 2*i - 15 = w*t for i.
-5
Let w be (-2 + 2)/3 + 3. Let q(f) = -3*f - 2*f + 3*f + 2*f**2 - w*f**2. Let l be q(-2). Solve l = y + 5*g, 0 = -g + 1 for y.
-5
Let t = 0 + -4. Let w be (0 + -1)/(t/(-12)). Let g(h) = h**2 + h - 1. Let j be g(w). Solve -4*s + 4*y = -3*s, -4*s + 11 = -j*y for s.
4
Let i(p) = p**2 + 6*p - 5. Let h be i(-7). Suppose -h*q - s = -11, 0 = -q + s + 18 - 5. Solve j = 2*g + 1 - q, g - 21 = 4*j for j.
-5
Let u be (0/3 - -2) + -9. Let m = u + 20. Suppose -2*o = -o. Solve v = 4*n + m, o = 5*v - v + 12 for n.
-4
Suppose y + o - 5 = 2*o, 3*y = 5*o + 7. Suppose -3*i + 10 - 27 = -4*s, -y = -2*s + i. Solve 0*v = 4*h + s*v + 1, -2*h = 2*v for h.
1
Suppose 5*k = p + 10 + 13, -5*k + 3*p + 19 = 0. Solve -l + 15 = k*r, 4*l - 3 = 2*r - 31 for r.
4
Suppose 3*s = -0*s + 12. Suppose -5*h = 0, z = 5*z + 5*h - 8. Let r be (-26)/(-7) + z/7. Solve -p - 3*i = 3*p - 24, r = -s*p + 4*i for p.
3
Let d(p) = -p**2 - 10*p - 13. Let k be d(-8). Solve 2*w - 2 = -k*z, -5*w - 3*z + 12 = z for w.
4
Let x(z) = 3*z**3 + 1. Let g be x(1). Solve 4*l - 5*o - 11 = -2*o, -g*l = 2*o - 6 for l.
2
Let a = -7 - -10. Solve -a*w - 7 = -n, 3*n = 5*w + 15 - 6 for w.
-3
Suppose 3 + 28 = -2*a + 5*m, 0 = -5*a + 3*m - 30. Let n be 2/(a - (3 - 7)). Solve 0 = -3*d - 5*p + p, -5*d = n*p + 14 for d.
-4
Let l = 39 - 35. Solve 7 + 13 = 5*c, c + 16 = -l*o for o.
-5
Let v be -6*(1 - 4)/6. Solve 4 + 6 = -v*l + 4*u, 26 = 5*l + 4*u for l.
2
Suppose 0 = 9*w - 14*w + 20. Solve j = -3, -w*g + 5*j + 4 = 1 for g.
-3
Let j = -46 + 26. Let a be 32/20 - 8/j. Solve -3*f - 3 = -5*s + a*s, 4*s - 16 = -2*f for f.
2
Suppose 3*x + 5 = a, -2*x - 6 = -4*a + 2*a. Solve -10 = 4*j + 2*t, -4*j + a*t - 9 = 5 for j.
-3
Let g be 0 - 0*2/10. Solve -3*d - 5*r + 18 = 2, 5*d - 5*r = g for d.
2
Let g(i) be the first derivative of -i**2/2 - 3. Let f be g(-2). Solve v + 2 = -f*d, -v - d + 3 = 6 for v.
-4
Suppose -5*o + 14 = -16. Suppose -3*q = -2*t - o, 4 = 5*q - 4*q. Solve -3*d = 3*v, -t*d + 2 = 4*v - 0*v for v.
2
Let d = 42 - 35. Solve 3*x - 2*i - 6 - d = 0, 2*x + 4*i - 14 = 0 for x.
5
Suppose 5*v - 20 = -3*o, -8 = 2*v - 3*o + o. Let h be (-1 - -2) + (4 - v). Suppose -h*y + 33 = -y. Solve -2*a - w + y = 0, -w - 3 = -8 for a.
3
Suppose 5*j = -6 + 21. Solve -3*y + x - 14 = 3*x, -5*y - 17 = -j*x for y.
-4
Suppose -3 + 9 = 6*x. Solve -3*a = -3*n - 6, 0 = -4*n + 13 - x for a.
5
Suppose 7 = -3*g - 2*g + u, 0 = -g + 3*u + 7. Let x be (-1)/g + 21/2. Solve -3 = -0*s + s, -4*p + 5*s + x = 0 for p.
-1
Suppose 7*a - 15 = 20. Solve 5*k = -5*u + 10, -a*u = -1 + 11 for k.
4
Let r(u) = -u - 2. Let p be r(-5). Solve -4*l + 4 = 0, p*b + 3*l + 17 = -2*b for b.
-4
Let d be 7*(-3 + 2 - -2). Suppose d*u - 16 = 3*u. Solve -4*g = u*w - 36, 1 + 4 = 5*w - 5*g for w.
5
Let n = 5 + -11. Let k be 3 - (-2)/(n/9). Suppose 2*y + 2 - 8 = 0. Solve -5*g + d + 25 = -d, y*g + 2*d - 15 = k for g.
5
Suppose -r - 9 = -4*r. Solve -p = r*c - 3 - 3, 0 = -2*c + p - 1 for c.
1
Suppose 0 = 3*o + 6. Let q be 0/((-1)/(1/o)). Solve -20 = 4*r + 6*p - p, q = 4*r - 4*p + 20 for r.
-5
Let a be 1*((-18)/4)/(-9)*0. Let b(l) = l**3 - 3*l**2 - 4*l + 3. Let u be b(4). Let c = -4 + 17. Solve 4*r - 3*z = c, r + u*z + 8 = -a*z for r.
1
Let n = 2 - 1. Let h(m) = -2 + m - 2 + 0 + 3. Let s be h(n). Solve 0 = 5*o - t - 28, -t - 18 = -3*o - s*o for o.
5
Let y(a) = -a**2 - 4*a. Let t be y(-6). Let w = -8 - t. Solve 5*o - p + 0*p - 17 = 0, 3*o - w*p - 17 = 0 for o.
3
Suppose 8*r = 4*r. Suppose 0*h + 5*h - 100 = r. Solve -11 - 4 = -5*o + 2*a, -a + h = 3*o for o.
5
Suppose 0 = -0*u + 5*u - 70. Let d(j) be the third derivative of j**5/60 + j**4/4 + 5*j**3/6 + j**2. Let b be d(-7). Solve 5*w - u = 3*z + 2, 4*z - b = 0 for w.
5
Let o(r) = r**2 - 12*r - 13. Let p be o(14). Solve 2*j - 5*n - p = 0, 2*j = -0*j - n + 9 for j.
5
Let a(y) = y + 8. Let v be a(-8). Solve -j = -5*c - 7, 2*j = -v*c - 3*c - 12 for j.
-3
Let g = 5 + 0. Suppose -432 = 2*l - g*l. Let u be ((-2)/4)/((-6)/l). Solve 2*t - 2*o = 18, t - 12 = 4*o + u for t.
4
Let d be -2 + 18*1 + -1. Suppose -3 = j - 6. Let v be (0*(-3)/6)/2. Solve v = -m - j*i - 7, -5*i - d = m for m.
5
Let k be ((-1)/1)/(-2)*6. Let h(l) = 2*l**3 + 2*l - 3 + 0*l - 2*l**2 - k*l**3. Let f be h(-3). Solve o - 4*n - 7 = 0, 2*n + 4 + 0 = f for o.
-1
Let i be ((-7)/3)/((-2)/6). Suppose -i - 1 = -4*f. Suppose 2*y + 2*b = f, 4*y - 13 = -b + 3. Solve -4*w - 2*d + 7 - 21 = 0, -w = d + y for w.
-2
Let q = 16 - 9. Let b(w) = -w + 10. Let l be b(q). Solve -4*h + 26 = -8*h - l*x, -2*h - 14 = 2*x for h.
-5
Let l(v) = 4*v**3 - v**2 - 3*v**2 + 5*v**2 - 1. Let b be l(1). Suppose -q + 4*n = 18, -4*q + 0*n + 28 = 4*n. Solve -14 = b*x - 2*j, -x - 5 = j - q*j for x.
-2
Suppose 0 = -4*v + 78 + 18. Suppose -3*d - 2*t + v = 0, 2*d + 53 = 7*d - t. Solve k = -4*r - d, k = r + 6*k + 12 for r.
-2
Let d be (4/22 - 2/11)/1. Solve -4*z - 4 = -0*a - 2*a, 2*z - 5*a + 10 = d for z.
0
Let o = 33 - 31. Solve 0 = -b + 3*b - 5*q - 4, 4*q - 4 = -o*b for b.
2
Let f be (-5)/(-25)*150/6. Solve 2*u - f*q = -0*u - 30, 0 = -5*u - 5*q - 5 for u.
-5
Let w be (-10)/45 - (-6)/27. Suppose s + s + v - 1 = 0, w = -3*v + 3. Solve -5*x + s*f + 2*f - 16 = 0, 5*f = -10 for x.
-4
Suppose -10 = 5*a, -2*a = s + 4*s - 16. Suppose -s = -n + 5*n. Let o = 5 + n. Solve -o*h = 3*l + 2*l + 5, 0 = -5*h + 4*l + 4 for h.
0
Let l = 3 - -1. Let z be l/(-6) - (-354)/18. Suppose 3*q = 2*q - 2*v + 12, -5*q + 40 = 5*v. Solve 4*i = -c - z, q - 1 = 3*c - 3*i for c.
-3
Suppose 3*m = 12 - 0. Solve 3*z = -g + 8*z + 5, m*z + 4 = 0 for g.
0
Let f(t) = 10*t**2 + 14*t + 3. Let w(k) = 3*k**2 + 5*k + 1. Let x(j) = 6*f(j) - 17*w(j). Let r be x(1). Solve -3*z + r = b, -2*b + 2 = z + z for z.
4
Let d(o) = o**2 + o. Let u be d(1). Suppose u*b = 5 - 1. Suppose 12 = b*h - 3*g, -h = 4*h + 2*g - 68. Solve -4*i = 2*m - 16, 0*m + 3*i - h = m for m.
0
Let l be 5 + (-3 - -1 - -1). Suppose 2*h - 2*v - 8 = 0, -l = -0*h - h + 3*v. Solve h*m + 10 = -2*r + 4*r, 2*r + 2*m = -8 for r.
-1
Let z be 4 - (-4)/(-8)*-62. Solve -3*v + z = 2*v - 2*a, -v + 2*a = -15 for v.
5
Let l = 128 + -122. Let a be (1/3)/(1/9). Solve -l*i = -i - a*h - 35, -5*i - h = -15 for i.
4
Let n = -4 - -20. Suppose 3*j + n = 3*r + j, 0 = 2*r + 3*j + 11. Solve m - r*t + 0*t = -9, -3*m + 5*t = 25 for m.
-5
Suppose -b = -2*b + 75. Suppose b = -3*q - 2*q. Let z = -10 - q. Solve v - z*v - 4 = 4*d, 0 = 5*d + 25 for v.
4
Let q = 22 + -33. Let y = 16 + q. Suppose 25 = 3*z - 2*v + 6, 3*z - v - 17 = 0. Solve x = y*h + 25, 0 = -5*h - 5*x - 20 - z for h.
-5
Let w(p) = -p**3 + 6*p**2 + 2*p - 6. Let k be w(6). Let u = -25 - -36. Let m = u - k. Solve -2*n - 3*q = 17, -7 = -3*n + n + m*q for n.
-4
Suppose 5*c - 9 = -g, 5*c = -g - g + 8. Suppose -c*i + 6 + 9 = h, 8 = 2*i. Let f = 6 + -3. Solve 0 = -3*r - 15, 3*r - h*r = f*o + 26 for o.
-2
Let y be (-2)/(-8) + 75/4. Solve 2*o - 3*f + 8 = f, -2*o - 5*f = -y for o.
2
Suppose 3*p = p. Suppose -3*z - 4*j + 19 = -11, -z + 5*j = -10. Suppose -h - z = -6*h. Solve 2*i = a + 2, h*a + p = i - 1 for i.
1
Suppose 92*k + 16 = 96*k. Solve 5*d + 3*v = -5, 3*d + d - k*v + 36 = 0 for d.
-4
Let f = -76 + 78. Solve -2*s + 3*s + 4 = -o, -3*s + 13 = -f*o for s.
1
Let w be (6/5)/(15/50). Solve -w*m = 5*a + 15, 0*a + 11 = a - 2*m for a.
1
Let n(u) = -u**3 + 4*u**2 + 5*u + 3. Let v be n(5). Solve v*l + z = 20, 3*l + 4*z - 12 - 23 = 0 for l.
5
Suppose 0*r = -6*r + 84. Solve 4*w - 2*z - r = 0, 1 = -4*w - 4*z + 9 for w.
3
Let o(w) = 3*w + 75. Let b be o(-25). Solve b = -3*u - k + 4*k - 24, 3*u - k + 14 = 0 for u.
-3
Let v(x) = -11*x - 23. Let z be v(-4). Solve 6 = 2*f - 4, -4*j + z = 5*f for j.
-1
Let p(b) = -b**3 - 5*b**2 + b - 6. Let f be p(-6). Solve 4*u + 4*n - f = 0, -u + 4*n + 12 = 31 for u.
1
Let q(i) = i**3 + 6*i**2 - 2*i - 8. Suppose 15 = y + 4*y. Suppose 0 = y*k + k + 24. Let w be q(k). Solve 0 = -2*j + 5*z - 27, 0*z = 2*j + w*z - 18 for j.
-1
Suppose o = 2 - 1. Solve 3*c = -5*r - 29, -4*r +