- h = 6 for a.
-1
Let r be 2/7 - (-18)/(-14). Let f = 6 + r. Suppose -v = 5*t - 5*v - 21, -3*t + 17 = 2*v. Solve 2*i - 5*n = 0, 0 = -i + t*n - 0*n + f for i.
-5
Let x(h) = 46*h + 94. Let m be x(-2). Solve -2*i = w + m*w - 16, 0 = -5*i - w + 27 for i.
5
Let a = 479 - 476. Solve 10 = t + 3*s, a*s - 7*s + 17 = 5*t for t.
1
Let w = -2 + 6. Suppose 5*x - 27 = -4*o, -6 = 2*o - 8*x + w*x. Suppose 0 = -o*m - 2*m + 55. Solve -f - 3*f = -k + 8, -3*k - f + m = 0 for k.
4
Let g be (-11 + (-4 - -16))/(1/4). Solve 10 = 4*l + 4*b - 6, g = -3*l + b for l.
0
Let k(o) = 11*o - 2*o - 43 - 7*o. Let u be k(24). Solve 3*b = -0*b + a - 11, 0 = -2*b + u*a - 29 for b.
-2
Let x(d) = -d**3 + 31*d**2 - d + 57. Let p be x(31). Solve -l = 2*r + 4, r = -4*l + 10 - p for l.
-4
Suppose b - 4*b + 9 = 0. Solve -2*x = 4*o - 16, -b*x = 2*o - 5*o + 3 for x.
2
Suppose p + 60 = 4*p. Let o(h) be the first derivative of h**2 + 5*h - 3. Let r be o(0). Solve 5*m + 8 = 3*m - 4*c, -5*c + p = -r*m for m.
-4
Suppose 4*a = 4*n + 44, -12 = -5*a - 4*n + 52. Let q = -4 - -7. Solve q*s + a = 0, 2 = d - s - 0 for d.
-2
Let n be (-4)/6 + (-16)/(-24). Let t(h) = -h + 7. Let d be t(10). Let o be 6 + d - 0/1. Solve -o*f = -5*c - 7, 2*c - 5*f + 18 = -n*c for c.
1
Suppose -y = -3*q + 9, -4*y + 17 + 27 = 4*q. Solve 4*v = 4*g + 16, 4*v + y*g - 2*g = 0 for v.
2
Suppose -5*b + 0 = -15. Suppose -14 = -4*n - 3*v, 4*n + v = 8 + 10. Let y = -540 + 540. Solve b*d + 5*a = y, d = -2*d + n*a for d.
0
Let j(q) = -8*q**2 + 29*q - 15. Let z be j(3). Suppose 2*m - 1 - 3 = 0. Solve -1 - 3 = 2*r + 2*n, z = m*r + n + 3 for r.
-1
Suppose o = -4 - 9. Let b(z) = z**3 + 12*z**2 - 12*z + 19. Let w be b(o). Let g be ((-1)/(-2))/(1/10). Solve -g*i - 4*j - 21 = 0, 4 = -2*j + w*j for i.
-5
Let h(g) = -g - 9. Let y be h(-9). Suppose -s + 21 - 3 = y. Let x = -18 + s. Solve 0*d + 4 = -4*d, x = 2*f - d - 7 for f.
3
Suppose 0 = 7*f - 11*f - 28. Let i be (7/f)/(2 + 15/(-6)). Solve -h + 7 = 2*a, -i*a - 5*h + 23 = 4 for a.
2
Suppose 0 = -9*k + 4*k + 75. Let q be 32/(-20) - 6/k. Let c be (-14)/28 - q/4. Solve -5*o - 3*x + 5 = c, -7*x - 1 = -o - 3*x for o.
1
Suppose -11 = 3*t - 119. Suppose -t = -15*c + 9. Solve n - 5 = -0, -3*f = c*n - 15 for f.
0
Let m(r) = 3*r**2 - 5*r + 3. Suppose o - 3 = 4*i, -o = 5*i - 6*i - 3. Let z be m(o). Solve 0*b + z = -b - 2*a, 5 = -3*b + 2*a for b.
-5
Let i = -351 + 353. Solve v - 25 = -5*q, i*q = 2*v + 3*q - 5 for v.
0
Suppose x - 352 + 349 = 0. Let m = -16 - -16. Suppose -3*v + 0*v + 27 = m. Solve 2*o + o = -3*b - 9, -v = -b + x*o for b.
0
Suppose 2*k + 5*t + 2 = 4*t, -5*k - 4*t = 11. Solve k + 0 = -p, 5*f - 4*p = 29 for f.
5
Let b(p) = p**2 + 41*p + 269. Let g be b(-33). Suppose 0 = -2*t - 2, -4*n - t + 5*t = -4. Solve -3*i + g*u - 35 = n, 5*u = 3*i + 2*u + 27 for i.
-5
Suppose -3*h = p - 10, -4*p - 3 = 3*h + 2. Suppose h*a - 6 = 4. Let l be 1 + (-1)/(-1) + a. Solve 4*q + 4 = -l*f + 16, -2*q + f = 3 for q.
0
Suppose 145 = -q - 2*s, q + s + 143 = -0*s. Let g = -125 - q. Solve -3*b - 1 = 3*j - g, 0 = j - 1 for b.
4
Let l(y) = -4*y**2 + 26*y - 12. Let x be l(6). Solve s - b = -3*s, x = 5*b - 20 for s.
1
Let p = 321 - 318. Solve 5*h + 2*f = 22, -p*h + 9 = -0*h - 3*f for h.
4
Suppose 5*d - 5*k = 45, -2*k - 3*k + 11 = 2*d. Let s = -197 - -197. Suppose s = -f + 5*f - d. Solve 4*l - b = f*l + 1, 3*b + 9 = 3*l for l.
-2
Let v = 3 - -2. Suppose 6 = 3*u + 2*l, -4*u + 5*u + v = -3*l. Solve 3*a + u*h + 18 = a, -4*a - 16 = 3*h for a.
-1
Suppose -2*s + 8 = -4*c, 0 = 3*s + 2*c - 45 + 9. Solve g - 3*j = -4 - s, -20 = 5*g - 5*j for g.
1
Suppose -j + 5*v - 4 - 4 = 0, -3*j + v + 4 = 0. Solve -5*k = -4*r + 4, 1 = j*r - r + 4*k for r.
1
Suppose -13*q = -18*q + 35. Solve c - 3*m - q = 1, m = -1 for c.
5
Let o be 8 - (-2)/(2/(-3)). Let h = o + -4. Solve -j + 16 = -3*l, -3*l + 2*l - h = 4*j for l.
-5
Let u(s) = -9*s - 6. Let j be u(-1). Suppose b + 5 = y, j*y - b - 7 = -2*b. Solve -4*g = -y*m - 18, -g = -1 - 2 for m.
-2
Let c(n) = n - 3. Let w be c(4). Suppose w = -4*f + 5. Let i be (f + -2 + -1)*-1. Solve 0 = -3*y - 3*a + 15, 0 = y + a - i*a - 1 for y.
3
Suppose 8*u - 3*u + 3*h - 117 = 0, -4*u - 5*h + 91 = 0. Let m(o) = -2*o + 52. Let y be m(u). Solve -5*d - y*c = 0, -2*c = -d + c for d.
0
Let r be -1*(0 + (4 - 5) + -3). Solve r = d + 5*v, 2*d = 5*v - 3 - 4 for d.
-1
Let k(l) = -7*l - 7. Let a be k(-1). Solve -4*f + 2*t + 16 = a, 0*f - 4*t = f - 4 for f.
4
Let i be 8/3 - 13/(-39). Let o be (-3 + (9 - 4))*i/2. Solve 0 = -4*s, -o*k - 5*s = -s + 12 for k.
-4
Suppose g - 15 = -2*g. Suppose 0 = -2*v - 4*h + 8, g*v - 4*h - 4 = v. Solve -2*u + l = 4, v*l + 8 = 5*u + 4*l for u.
0
Let c(s) be the second derivative of -s**5/20 + s**4/12 + s**3 + 3*s**2/2 - 18*s. Let i be c(3). Solve -i*b + 4 = -4*x, b - 5*x - 5 = -0 for b.
0
Let t be 2/6 - (-392)/12. Suppose -28*o + t*o = 60. Solve -4*k = 4*u, 5*k + o = 2*k for u.
4
Suppose -5*d + 4*d = 5*b + 3, -5*d - 15 = b. Let c be (((-20)/3)/(-5) - 1)*b. Solve c = -4*i - 5*a + a + 8, -4*a + 8 = 5*i for i.
0
Let s = -29 - -29. Suppose s = -5*p + 7 + 13. Let y(q) = -q**3 - 4*q**2 + 3*q - 7. Let m be y(-5). Solve -p*d - 4*r = -24, m*d + 2*r + 0*r - 14 = 0 for d.
2
Suppose -6*u + 26 = 2. Solve c + 1 = -4*d + 11, -d - 6 = -u*c for c.
2
Let u(m) = 6*m - 2. Let l(y) = 11*y - 3. Let r(b) = -3*l(b) + 5*u(b). Let s be r(-2). Let x be 3 - ((s - 2) + -16). Solve z = 4*t + 3, 4*z + t = x - 4 for z.
3
Let s = 15 - 11. Suppose -o + 80 = s*o. Suppose i - 2*i + o = 0. Solve -2 - i = -5*u - 4*l, 10 = 5*l for u.
2
Let k be (-7)/14 + 35/(-2). Let o be (-3768)/54 + 4/k. Let t be 20/o - 65/(-7). Solve -2*q - 2 = 2*z, z - 2*q + 5*q = -t for z.
3
Suppose -37*c + 68 = -20*c. Solve 3*y - 9 = 0, -c*y + 0*y = -k - 17 for k.
-5
Let x be 20/22*(-165)/(-30). Solve q + d + 0 = -3, 2*q + 3*d + x = 0 for q.
-4
Let s = 27 - 27. Solve k = -u - 1, 0 = -s*k + 2*k - 5*u - 12 for k.
1
Let w be ((-96)/(-216))/((-6)/(-27)). Solve 10 = 5*d, w*h - d - 6 = d for h.
5
Suppose 20*j + 30 = 90. Solve 4*d + 16 = -j*p - 1, -d + 3*p = 8 for d.
-5
Let b = -627 + 629. Solve -5*k - b + 0 = 4*n, 2*k - 3*n + 10 = 0 for k.
-2
Let d = 32 + -29. Suppose 7*u = d*u + 4. Let h be 1 + (5 - 2) + u. Solve -4*r = -h*n + 30, 3*n + 2*n + r - 5 = 0 for n.
2
Let q = 20 - 13. Suppose 6*v = q*v - 5. Suppose 3*g + 4*m = 11, -v*m = g - 15 + 4. Solve 9 = 5*a + 34, 0 = -2*c - a - g for c.
2
Suppose -18 = -2*q + 5*n - 23, 0 = -3*n + 9. Solve 4 = -k - i, -i = 3*k - q*k + 4 for k.
0
Let r be (-6)/(-2) + (-1 - -3). Let h(q) = -q**2 + 6*q - 3. Let v be h(r). Suppose -d = -v*d + 12. Solve 5*c + 4*g - 7 + 2 = 0, c + 3*g - d = 0 for c.
-3
Suppose 0 = -0*s + 3*s - 9. Suppose 27 = 3*c + 3*x, -c + s*x + x - 16 = 0. Solve 3*d = c*n - 12 - 10, 4*n = 4*d + 24 for d.
-2
Let j(b) = -b**3 + b**2 + 2. Let r be j(5). Let t = 57 + r. Let q = -27 - t. Solve 5 = 2*w + x + q, 0 = -x - 3 for w.
-3
Let k(w) = -107*w**3 + 7*w**2 + 0 - 2 + w + 106*w**3. Let a be k(7). Solve -2*b = 4*x + b + 3, -a*x - 4*b = 5 for x.
3
Let r be 6/4 + 7/14. Suppose -3*x = -7*x - r*i + 54, 2*x - 2*i - 18 = 0. Solve 3*a - 2*t = 4, 0 = -4*a + 2*t - t + x for a.
4
Let l(p) = -7*p**3 + 2*p**2 + p. Let g be l(-1). Suppose -g*x + 15 = -17. Solve x*d + t + 6 - 20 = 0, 0 = -3*d - 4*t + 17 for d.
3
Let p = -223 - -225. Solve -11 = -4*z - 5*t - p, -4*z - 2*t = -6 for z.
1
Let n = -22 - -19. Let d be 1/((1/n)/(-1)). Solve -c - 7*i = -d*i + 4, 4*i = -4 for c.
0
Let y(o) = 10*o**2 + 25*o + 1. Let k be y(-3). Solve -3*d = b - 11, 3*b = 4*d + 4*b - k for d.
5
Let w be -10*8/(-160)*6. Solve -3*t + 2*v + 4 = 0, -3*t + 8 = -w*v + 5*v for t.
2
Suppose -2*z + a - 4*a = 6, 2*a + 4 = 2*z. Solve 3*k = -3*r + 21, z = 4*k - 0*r + 5*r - 32 for k.
3
Suppose -32 = -425*c + 417*c. Solve -2*w + 2*f = -2*f - c, 0 = -2*w + 2*f + 2 for w.
0
Let f be (14/(-2))/(49/(-14)). Solve -f + 0 = i, d = -3*i - 5 for d.
1
Let x = -68 + 69. Suppose 2*b - x - 3 = 0. Solve 0 = 3*q + n - 4, -5*q + 2 = -5*n + b*n for q.
1
Suppose -3*c + 2 = -2*x, -3*x + 8*x - 21 = c. Suppose 10 = 7*s - x*s. Let k = 40 + -12. Solve 0 = -a + s*z - k, 3*z = a + 2*a + 24 for a.
-3
Let m be ((-268)/(-2))/(1 - (5 + -3)). Let o = -120 - m. Solve 0 = 2*l + 4*s + o, 5*s - s = -l - 15 for l.
1
Suppose 3*x - 4 = 5*c + 7, 0 = -4*x + 4*c + 12. Solve -15 = 5*j, -6*a + 4*a - 4*j = x for a.
5
Let c b