- 1, -7 = -3*i - c for i.
1
Let i(a) = -a**2 + 3*a. Let m be i(2). Let n(o) = o**2 - 9*o + 9. Let g be n(7). Let s = 0 - g. Solve s*u - 15 = -3*r, 0*u + 10 = -u + m*r for u.
0
Suppose 4*u + 0*u = 0. Suppose 0 = -8*f + 141 + 91. Let q = -27 + f. Solve -l - q = u, x - l = -0*l for x.
-2
Let d be ((-244)/(-12))/((-2)/(-6)). Let w = -50 + d. Let o(b) = 5*b**2 + b + 1. Let t be o(-1). Solve -i + 12 = -3*h - 1, w = -4*h - t*i for h.
-4
Suppose -6*q + 8 = -2*q. Suppose 3*y - 3 = -0. Let u be 27/9 + 1/y. Solve 2*v + 4*o + 3 = 1, -u*v + q*o + 6 = 0 for v.
1
Suppose 0 = -2*l - 2*c + 20, 2*l + 3*c = 50 - 35. Solve 0 = f - 3*d - 17, -5*f + 15 + l = -4*d for f.
2
Let g be (-4)/10 + 168/70. Let v(u) = u**3 + 4*u**2 - 4*u + 10. Let t be v(-5). Solve -g*c - t*s + 7 = -2, 9 = 3*s for c.
-3
Let w(r) = -r**2 + r + 10. Suppose 4 = 4*m - 3*m. Suppose o - 4 = q, 8 = -q + m*o - 8. Let v be w(q). Solve -p - 10 = 2*s, 3*p = -4*s + 8*s + v for p.
-2
Let n = -116 + 167. Let z be (n/(-8))/(-3) + (-2)/16. Solve z*v = -5*i + 13, -4*i + 3*i - 11 = -3*v for v.
4
Let t = 243 + -237. Let g be (-92)/(-28) + (-4)/14. Suppose -4*r + 5*h = -t*r + 35, -4*h + 42 = g*r. Solve -2*o + 4*d = 30, -o = -2*d + 5*d - r for o.
-5
Let y = 15 + 19. Suppose -y*m + 32*m = -8. Let k be (-1 - (-5)/2)*2. Solve k = -m*s - 5*l + 4*l, -4*s + 12 = -4*l for s.
0
Let h = -1 + 6. Suppose 17 = a + 7*t - h*t, 2*t = -4*a + 38. Solve 9 = -d + 4*q, -4*d + q = 14 + a for d.
-5
Let a(i) be the second derivative of -i**3/6 + 3*i. Let v be a(-3). Let y be 1/(4 + (-11)/v). Solve x + y = -0*x - 5*j, 2 = 2*x + 2*j for x.
2
Suppose -2*o + 4*w = -32, -2*w - 56 = -5*o - 0*w. Solve 5*g + 5 = 0, -g = 2*h + g + o for h.
-4
Suppose -3*d + 5*m = 76, d + 0*m + m + 12 = 0. Let b = 11 - d. Solve 4*y - q = q - b, y + 13 = 2*q for y.
-5
Let s(j) = j**2 + 9*j + 17. Let x be s(-7). Solve 4*i + 3*q = -i + 10, 5*q = -x*i - 10 for i.
5
Let r(f) = 13*f + 67. Let b be r(-5). Solve -b*c = 4*z - 9 - 7, 8 = 2*z - 2*c for z.
4
Suppose -3*t + 5 = 2*p, -3*t + 0*t + 4*p = -35. Suppose -62 = -5*o - 2. Let i = 8 + -3. Solve -3*g - 4*l - i = 0, g + t*l - 3 = -o for g.
1
Suppose -224*d + 222*d = -10. Solve d*z + 2*g - 6 = 16, -2*z + 2*g + 6 = 0 for z.
4
Let b(j) = j**2 + 11*j. Let q be b(-10). Let d be 2/6 + q/(-6). Suppose -13 + 1 = -4*p. Solve -p*s - d*l = -s, 3*s - l = -4 for s.
-1
Suppose 3*r - 66 = -12. Let i = r + -15. Solve -5*d = g + 17, -d - d + i*g = 0 for d.
-3
Suppose -2*k = -12 - 2. Let b(h) = -h + 10. Let r be b(k). Suppose -2*x = -5*j - 23 + r, -2*j + 6 = 2*x. Solve -4*w + 3*v = 8*v + 1, x*w + 17 = -v for w.
-4
Let b be (-30)/(-25)*110/33. Solve 10 = -2*v + 4*v - b*o, o = 5*v - 7 for v.
1
Let a be 91/21 - (-4)/6. Suppose 2*w - 3*d - 10 = 0, w - 21 = 2*w + a*d. Let c be (-3 + (-2)/1)*w. Solve 10 = -4*n - 0*b - c*b, -2*n = -5*b - 10 for n.
0
Let a(p) = -p + 4. Let g be 17/8 - 2/16. Let q be a(g). Suppose 0*o + 5*o - 6 = -q*i, 0 = 5*o. Solve 2*f - 18 = -4*u, -i*u + 2*f + 17 = -0*u for u.
5
Suppose -9 = -6*v + 3*v. Let h(x) = x**2 - 15*x + 19. Let z be h(14). Suppose 2*n + m - 1 = 1, n + z*m + 8 = 0. Solve 2*d + 13 = v*c, 4 = 2*c + n*d - d for c.
3
Suppose 0 = -5*b - 1608 + 1618. Solve -2*x - 8 = 2*p, -p + b*x - 4*x - 8 = 0 for p.
0
Suppose -43*r = -44*r + 2. Let c be 1*((r - -1) + -3). Solve f - 5*f + 5*a - 33 = 0, c = -2*a + 10 for f.
-2
Suppose 3*w - 9 + 12 = 0. Let h = 2 - w. Let x be h*(-3)/(-36)*92. Solve 3*l = 9, 9*s + x = 4*s + l for s.
-4
Let u(p) = p**3 + 8*p**2 - 12*p - 23. Let h be u(-9). Solve -4*g + 5*z = -11, -z - 7 = h*g - 0 for g.
-1
Let u = 5 + -2. Suppose -2*g + 58 = -0*g. Let w = g + -21. Solve -4*q = u*y - w, 3*q - y + 6 = q for q.
-1
Let i(j) be the first derivative of -j**3/3 - 2*j**2 + 2*j - 17. Suppose 2*v = -3 - 3. Let o be i(v). Solve 2*q - 2*c + 2 = 0, o*q - 5 - 2 = -c for q.
1
Suppose -5*a + 0*a + z + 15 = 0, 5*a - 15 = -5*z. Solve x + 0*v = v + 1, 3*v = a for x.
2
Let w(y) be the first derivative of 2*y**3 - 3*y**2 + 6*y - 36. Let n be w(2). Solve -4*g + g - b = -n, 0 = b - 3 for g.
5
Let n(k) = 0 - 7 + 7*k - 10 - 10. Let p be n(5). Solve -w - 4*d = w + p, 5*d + 9 = -2*w for w.
-2
Let i = 3 - 6. Let m = i - -3. Solve 2*j - 6 = m, -k = -3*k - 4*j + 4 for k.
-4
Let p(y) = 2*y**3 + y**2 - 3*y + 1. Let u be p(1). Let o be -2 - ((u - -1) + -21). Solve -18 = -3*s + r, -4*s - 4*r = -5*s + o for s.
5
Let n(p) = p**3 + 23*p**2 + 24*p + 50. Let k be n(-22). Let w be k - (-6)/(3 - 9). Solve 2*c - 10 = l, 3*c = 3*l + 4*c - w for l.
0
Let j be ((-5)/(-2))/((-2)/(-8)). Suppose j*d - 20 = 8*d. Solve 0 = -4*u - 5*n - 0*n - 30, -4*u = -5*n + d for u.
-5
Let t be 594/243 + 24/(-54). Suppose 3*b = -4*c - 2, 0*b + 4*b - 10 = c. Solve 3*i + 0 - t = -2*z, 4*z - b*i = 4 for z.
1
Let x(c) = 20*c - 50. Let y be x(3). Solve 0 = 5*z - y*z - p + 6, 0 = -z + 5*p - 4 for z.
1
Let h = -598 - -604. Solve 2*n = -p, 0 = 4*n + n + 4*p - h for n.
-2
Suppose 6 = -2*q + 5*q. Suppose -2*t = -5*g + 18, -q*t - 3*t - 5*g + 25 = 0. Solve -3*x + 5*f - 5 = 0, 2 - t = f for x.
0
Suppose 4 = t + q - 3, q - 1 = 0. Solve -y + 2*j + 5 = 0, 3*y = -5*j - 2 + t for y.
3
Suppose 3*s - 8*s + 85 = -4*k, 4*s + 36 = -2*k. Let n be 1/(4/k*-1). Solve -11 + 3 = -2*b, 0 = n*x - 4*b + 41 for x.
-5
Let f = -13 + 26. Solve 0*k - 3*k = 5*j - f, 0 = -4*j + k + 7 for j.
2
Let u be (77/2)/7*-2*2. Let i = 22 + u. Solve i = -k, 0 = 3*g + 5*k - 3 - 0 for g.
1
Let a(r) = -r**3 + 9*r**2 + 11*r - 5. Suppose -2*m = -3*n + 22, 4*n + 3*m = -0*m + 52. Let u be a(n). Solve 0*s = 2*k - 3*s - 18, 4*k + u*s = -8 for k.
3
Suppose -3*m - 1 = -p - 13, 2*m - 9 = p. Solve 4*u + 17 = 5*f, -3*u + 5 = m*f + 11 for u.
-3
Let l be -2 - 1 - 27*2. Let g = l - -70. Solve -g = q + 4*a, -6 = 3*a - a for q.
-1
Suppose 3*z - 3*j = 0, z + 5*j - 14 = 4. Suppose 0 = 80*c - 310 - 90. Solve -3*r + 0*n = -c*n - 27, -24 = -z*r + 4*n for r.
4
Let k = 92 - 82. Solve -2*t + 6 = o, 0*o - k = -4*o - t for o.
2
Suppose x + 0*x = 6. Let n = -545 + 548. Solve -2*j - 4*p - 22 = -x, -n*p = -4*j + 23 for j.
2
Let w = -45 + 45. Solve 0 = 3*d - w*t - 2*t - 19, 0 = -4*d + 2*t + 24 for d.
5
Let k(v) = -v**2 + 14*v + 35. Let r be k(-2). Solve 2*i + 5*b = 0, -r*i - 5*b = -0*b for i.
0
Let c be 60/24*(-1 - (-5 + 2)). Solve 10*h = 5*h + 5*v - 20, 2 = h + c*v for h.
-3
Let x be (-33)/(-2) - (-1)/2. Suppose 5*i = 2*l - 31 + 5, 5*l + i = 11. Let w be (-3 - -2)*-5 - 0. Solve 0 = -l*v + 4*y + 5, -w*v + y - 3*y = -x for v.
3
Suppose 8*d - 3*d + s = 16, 8 = 5*d + 3*s. Solve -v = d*y - 0*y + 3, -5*v + 31 = -3*y for y.
-2
Let h(m) = -m - 6. Let g be h(-8). Suppose -2*f + 6 = g. Suppose 0 = -2*w, 2*u + 5*w = 2*w + 6. Solve f*o = -2, 4*o = 2*d - u*d - 7 for d.
-3
Let r(w) = 510*w - 510. Let z be r(1). Suppose p - 6 = -4*m + 14, -39 = -3*p - 5*m. Solve -4*q + 19 = -i, -4*i = q - z*i + p for q.
4
Suppose 4*h + 2*q - 10 = 0, -h - 4*q = -q + 5. Solve -4 = 4*m - 4*v, v + h*v = -5*m + 15 for m.
1
Let d be (6/3)/(-2 - -3). Let z(h) = h**2 - 3 + 2*h + d - 3*h - 1. Let i be z(-2). Solve -g - 9 = -i*g - 2*a, -a = 2*g - 6 for g.
3
Let k = -72 + 94. Let c = -21 + k. Solve 5*g + 17 = p, 4*p + c = 9 for g.
-3
Let z be 4*1 + 1 + -1. Let n = 66 - 61. Suppose -n = -2*l + l. Solve -p + 17 = -4*b, l*b + z*p = b + 8 for b.
-3
Let s(x) be the second derivative of -x**5/20 - 5*x**4/12 + x**3/2 + 3*x**2/2 - 8*x. Let l be s(-6). Solve -2*v = 2*j + v - l, 0 = 2*j + 5*v - 31 for j.
3
Let q be -1 + 1 + 1 + 1. Suppose q*x + 2*x = 16. Suppose -4*r + 20 = x. Solve 2*c = a - 13, -r*c + 4*a = -a + 41 for c.
-4
Let r = 8 - 4. Suppose -3*q = -4*y - 5, -r*q - 2*y = -14 - 0. Suppose -u + 2*g + 2 = -5*u, 3*g + q = 0. Solve 2*o + 2 = 2*n, 0 = -u*o + 3*o + 4*n - 18 for o.
2
Suppose 6*t + 3 = 21. Suppose -7*q + o = -3*q - 27, o = t*q - 21. Let x be (15/q)/(5/10). Solve 2*d + 4*a + 12 - 2 = 0, a - 20 = -x*d for d.
5
Let h be 26/6 - (-1 - (-12)/9). Let d be (-6)/(-9)*(h - 1) - -3. Solve -5*m = -5*o - 10, 3*o - d*m = -0*o for o.
-5
Let a = -5 - 1. Let g(z) = 13*z**3 - z**2 - z - 1. Let s be g(-1). Let x be s/a - (-3)/(-9). Solve -13 = -4*t + v + 4, 0 = 2*t + x*v + 4 for t.
3
Suppose -5*a + 217*m + 19 = 220*m, -3*a + 18 = 4*m. Solve 2*r + 4*d = -16, a*r + 5*d + 6 = 3*r for r.
-4
Let v = -121 - -169. Suppose 20*x + v = 24*x. Let n(t) = t**2 - 7*t + 9. Let p be n(6). Solve -w = 3*r