 3*b = 10, -q*o + 30 = -0*o - h*b for o.
1
Let j be -6*4/(-8)*1. Suppose 3*u - 31 = -4*n, 11 = -u + n + j*n. Solve 3*h - 2*i = 2, -5*h + 6*h + 21 = u*i for h.
4
Let a = -154 - -160. Solve -5*n = -3*g - 1, 4*g + 0*n - a = 3*n for g.
3
Let g(h) = 121*h - 482. Let f be g(4). Solve -2*r + 0*z = 4*z + 16, r - z = -f for r.
-4
Let d be 4/(-14) - 32/(-14). Suppose -2*k + d = -4. Suppose -n - 4*y + 3 + k = 0, -8 = -2*n - 4*y. Solve 3*a = -n*w + 10, -4*w - w - 2*a = -14 for w.
2
Let c be ((-1)/6 + (-77)/(-6))*-6. Let p = -54 - c. Solve -p - 8 = 3*l - 5*a, -5*a + 40 = -5*l for l.
-5
Let i = -4 - 6. Let t be (i/(-3))/((-18)/(-27)). Solve 0 = o - 5*o - 4*u - 4, 4*u + 22 = t*o for o.
2
Let f(x) = x + 16. Let y be f(-16). Suppose y = 12*a - 6*a. Solve -2*s + c + 4 - 9 = a, s = -2*c + 5 for s.
-1
Let t(n) = 2*n - 26. Let m be t(11). Let x be 8 + m + (-4 - -4). Solve x*v - 16 = 0, -k = -4*k - 4*v + 1 for k.
-5
Let y(x) = -101*x + 101. Let n be y(1). Solve n = 3*i - 3*f + 3, -2 = -3*i + 4*f - 8 for i.
2
Suppose -t - 5*c - 24 = 4, 5*t + 117 = -2*c. Let h = t + 21. Let g = 1 - h. Solve 2*q + g*s + 8 = 4*q, 3*q + 3*s = -3 for q.
1
Let i(f) be the second derivative of f**5/20 + 2*f**4/3 + 3*f**3/2 - 3*f**2/2 + 16*f. Let j be i(-4). Solve -6 = -5*n + z - 1, 4*n + 5*z = -j for n.
0
Suppose -6*r + 24 = -0*r. Suppose -r = f - 0*d - 3*d, 3*d - 14 = -4*f. Suppose n - f = 1. Solve -4*s = 4, 6*s = -n*m + 5*s - 13 for m.
-4
Let s(h) = h + 16. Let r be s(-10). Suppose -5*v + r + 4 = 0. Suppose 11 - 59 = -2*l. Solve 4*w - l = v*b, -w - w + 20 = -3*b for b.
-4
Let l(c) = 4*c - 38. Let f be l(16). Solve 3*n = 2 + 4, -5*n + f = -4*g for g.
-4
Let t = -13 - -15. Solve -t*v - n - 11 = 4, -4*v + 3*n - 5 = 0 for v.
-5
Suppose 0 = 2*n - 15 + 11. Suppose -5*x + 11 = 3*q, x + q + 5 = 6. Solve -f - 2 + 21 = -x*w, 3*w = -n*f - 17 for f.
-1
Suppose 0*r + 75 = 4*r + 5*o, 18 = 2*r - 4*o. Let t = r - 12. Solve 3*q + 3*b = -3, -3*q + t*b + 17 = 2 for q.
2
Suppose 0 = -9*s + 86 + 31. Solve 6*t - 7*t + 3*c + s = 0, -3*t + 14 = -4*c for t.
-2
Let o = 52 - 26. Let c = o + -23. Solve -3*b = -c*u - 15, 3*b + 12 = -4*u + 5*b for u.
-1
Suppose 0 = -4*y - 1 + 13. Solve -r = -o + 1, -y*o - 5 + 17 = 0 for r.
3
Suppose 0 = 5*z + 10, -z + 1 = l - 2. Suppose -p + l = 1. Suppose -p = -4*j + 4. Solve w + j*i = -9, 4*i = 2*w - 20 - 2 for w.
1
Let c be (((-42)/(-9))/(-7))/((-4)/24). Solve -6*u + u - f = -4, -3 = u + c*f for u.
1
Let b be 4 + 0/(4/(-2)). Let j(w) = 11*w + 44*w**3 + 7*w**2 - 10 - 45*w**3 + 2*w. Let r be j(8). Solve b*h - 5 = -5*z + h, 5*z - 2*h - r = 0 for z.
4
Suppose 3*z + 5*f - 22 = 0, 8*z + 4*f = 10*z. Solve 5*s = -z*x - 8, -2*s = -2*x - 0*s + 14 for x.
3
Let w be ((-9)/2)/((-12)/16). Let v(h) = h**3 + 27*h**2 - 28*h + 19. Let l be v(-28). Suppose -6*s = -5 - l. Solve -s*i - 2*p - 6 = w, 8 = -4*p for i.
-2
Suppose -2 = -2*j + 2. Suppose -2*x + 1 + 1 = -l, -4*l + 10 = x. Solve 5*t + 2*q = -20, -3*t + l*q = t - j for t.
-2
Let y = -46 + 50. Suppose t - 11 = 5*o - y, t - 3*o - 5 = 0. Solve t*b = d + 1, 3*b = 5*d - 3 + 8 for d.
-1
Suppose -5*i + 12 - 2 = 0. Solve -14 = 4*a - i*v, 0 = a + v + 3*v + 8 for a.
-4
Let z(n) = -n**3 + 3*n**2 + 4. Let x be z(3). Let w be (-1 + -3 + x)/2. Suppose 0 = 4*c - w*c - 20. Solve -3*a = 2*u + 8 - 1, c*u + 13 = -3*a for a.
-1
Suppose -r = -3*g - 2*r - 8, 2*g + 5*r = -27. Let x = g - -3. Suppose -7*p - 91 = -14*p. Solve 9 = -0*t - 2*t + 3*l, p = t + x*l for t.
3
Suppose z - 6 = 3*z + 4*x, -3*z + 5*x + 35 = 0. Suppose -2*v + 4 = -6*v, -z*b + 4*v = -14. Solve -b*k - 7 = 3*r, -3*k + 0*r = -4*r - 32 for k.
4
Suppose 3*s + 4*c - 5 = 0, -6*s + 17 = -s - 2*c. Solve -2*y - 12 = 3*p, -s*y + 2*p - 5 = -0 for y.
-3
Let r be (32 - 32)/(-2 + 1) + 3. Solve -2*l = 3*c - r + 21, 4*c + 7 = 3*l for c.
-4
Let d be 8/10*20/8. Let a(x) = 3*x + 89. Let g be a(-29). Solve 0 = -d*z + g*i - 8, 2*i + 2 - 6 = -2*z for z.
-1
Let d(u) = 5*u + 5. Let s be d(-3). Let a be (4/6)/(s/(-60)). Let i = -4 + 6. Solve -f + i = 0, -a*v + 4*f = -1 - 7 for v.
4
Let p(u) = -4*u**2 + 25*u - 55. Let j(x) = 7*x**2 - 49*x + 110. Let q(f) = -3*j(f) - 5*p(f). Let n be q(19). Solve 4*w - 6*w = -i - 12, -n*w + 20 = -5*i for i.
-2
Let o be (0/2)/(-14 + 12). Solve -2*l - 3*a + 10 = 0, -a = 2*l - o*a - 2 for l.
-1
Let u(c) = 13*c**3 - 3*c**2 + 3*c + 1. Let t be u(1). Solve -3*h + 0*h - 5*s = 10, -2*h - t = -4*s for h.
-5
Let k(c) be the first derivative of c**3/3 - 3*c**2/2 + 2*c - 44. Let b be k(3). Solve 5*m - 7 = 5*d - 17, m - b*d = -2 for m.
-2
Let o(y) = 5*y**2 + 19*y. Let p be o(-4). Solve 4*t - 5*t = -2*g + 8, 3*g + p*t = 23 for g.
5
Let w be (-3)/(1 + 7/(-10)). Let c be (24/w)/((-6)/80). Suppose -5*l = o - 5 + 4, 0 = l - 3*o + 3. Solve -4*j + l*j = 4*i - c, -5*j = -20 for i.
4
Let p(c) = c**3 - 7*c**2 + 9*c - 13. Let o be p(6). Suppose -x - 4 = -2*b - 4*x, 3*b + o*x = 5. Solve -4*f = 5*v + b, -2*f = -2*v - 2 - 0 for f.
0
Let c be (-3)/((3 + -8)/35). Suppose -c = -9*v + 15. Solve -v*j = -3*a + 32, 0 = -a + 4*j + j + 29 for a.
4
Let d be 15/2 + 1/2. Let w be (-30)/(-8) + 2/d. Solve -4*m = -4*i + 32, 17 + 20 = -w*m + 5*i for m.
-3
Let i be -6*(-25)/45*(-12)/(-5). Let p = -3 + i. Solve 3*u + 22 = p*t + 4*u, -u - 28 = -5*t for t.
5
Suppose 4*m - 113 = -m + 3*x, m = x + 23. Suppose -4*g + m = 2. Solve 5*v - i = i - 26, -5*v - g = 5*i for v.
-4
Let q = 6 - 3. Let r = -85 + 86. Let w = q + r. Solve -p - w*i + 16 = 0, 3*p = i + 3 + 6 for p.
4
Let r = -61 + 67. Solve 4*j + 0 + r = 5*s, -14 = 5*s + j for s.
-2
Let t be -25*(-4)/60*9. Solve -2*j + t = 3*f, 4*j + 5*f - 2*f = 21 for j.
3
Let f = -474 + 478. Solve 4*w = 4*h + 8, 0 = f*w + 5*h - 0 + 1 for w.
1
Suppose -4*m + 5 = -z - 9, 0 = 2*z + 4*m - 20. Solve 4*a = z*a - 3*t - 21, -a + t + 2 = 0 for a.
-3
Let k = 83 - 63. Solve -k = 2*z + 5*u - 0*u, 2*u = z - 8 for z.
0
Let w(b) = -b**3 - 7*b**2 - 10*b - 12. Suppose -2*u = 4*a + 32, 0 = a + 4*a - u + 26. Let p be w(a). Solve d - 3*q = -p, 2*d + 2*d = 4*q - 8 for d.
3
Suppose 0 = 319*r - 325*r. Solve r = -5*k + 2*p + 17, 2*p = -k - 2*p - 1 for k.
3
Let c(b) = b - 1. Let j(g) = -3*g - 1. Let n(m) = 2*c(m) + j(m). Let q be n(-7). Solve q*y - 7*z + 2*z = 20, 5*z = 0 for y.
5
Let j(n) = n**3 + 27*n**2 + 48*n - 38. Let f be j(-25). Solve -5*t + 1 = 3*h - f, 0 = 5*t - 10 for h.
1
Let p be 19 - (-69 + 9)/(-6). Solve p*t - 4*w + 2 = 4*t, 3 = -3*t + 3*w for t.
2
Suppose 3*f - 2105 = -2069. Solve o = 3*m - f, 0*o - 9 = -2*m + o for m.
3
Suppose 2*a + 3*k = 6*a + 117, -a - 53 = 4*k. Let z = a - -51. Let m = -14 + z. Solve -4*q - m*b + 16 = 0, q - 12 = -2*q + 2*b for q.
4
Let i be 14/4*(-6)/(-7). Let s(t) = -4*t + t - 2*t**i + 5*t**2 + 2 - 3*t + t**3. Let r be s(3). Solve -5*y + r*q - 25 = 7*q, y + 3*q + 11 = 0 for y.
-2
Let x(t) = t**3 + 19*t**2 + 17*t + 11. Let n be x(-18). Solve n = -5*k + p, -k - 1 = -p + 8 for k.
-5
Let t(r) = 6*r**3 + 367*r**2 + 61*r + 3. Let q be t(-61). Solve -7 = 2*l + m - 1, -2*m + q = -l for l.
-3
Let s(z) = -4*z + 8. Let p(d) = 1. Let j(m) = 3*p(m) - s(m). Let v be j(2). Solve -t - v*f = 10, -t + 5 + 5 = -2*f for t.
2
Let x be (-8)/84 - 1548/(-378). Solve -2*i = -2 - 0, j + x*i = 7 for j.
3
Let s be (0/1)/(2/1). Suppose s = -5*a + 48 - 18. Let j be (a/(-7))/((-14)/98). Solve -3*g + 12 = z, -4*z + 8 = j*g - 2*g for z.
-3
Suppose -4*a + g + 7 = -7, 0 = 5*a + 3*g - 26. Let w be (12/(-33))/(1/(-11)). Solve a*z + 4 = w*n - 0*z, -n - 3 = -3*z for n.
3
Suppose -31 + 41 = 5*x. Solve -x*i - 5*c = -0*i - 11, 5*i - 17 = -2*c for i.
3
Let w be ((-6)/14)/(22/(-154)). Solve 3 = 5*u - 4*t, 3 = w*u + 2*t - 4*t for u.
3
Let v(c) = -c**3 - 7*c**2 - 10*c + 2. Let j be v(-5). Let r = -8 + 6. Let p = 3 - r. Solve -4*z + 3*z + 2 = -s, 0 = j*z + p*s + 17 for z.
-1
Let i(v) = -14*v + 159. Let c be i(11). Solve -c*l - 9 = 4*j + 20, 0 = j + 2*l + 11 for j.
-1
Suppose 5 = 6*p - p. Suppose 4*w + 2*m = 0, 3*w + m + 2*m = 0. Suppose 2*r = -w*s + 3*s - 15, -4*s = 4*r. Solve -3*l - s*o - o = 5, -o = -p for l.
-3
Let q(c) = c**2 + 7*c + 9. Let n be q(-6). Solve 4*x + 10 = -n*d + 1, 4*x = 3*d + 9 for d.
-3
Let w be 15/12 + 3/(-12). Let k be 6 + -5 - (w - 1). Solve -3*o + 5*o = 2*n, 2*n - o - k = 0 for n.
1
Let h(k) = 18*k**2 - k - 1. Let i be h(-1). Let f(r) = -10*r - 16. Let z be f(-8). Let u = 66 - z. Solve o = 3*m - i, 7*m = u*m +