 + 21, 4*z - h = j for z.
1
Let f = -12 + 12. Let p = 19 + f. Let n = -14 + p. Solve -2*d = -4*a + 19 + n, -3*a = 3*d - 9 for d.
-2
Let f = -1394 + 1397. Solve f*i = 8*i + 4*v + 14, -5*i - 9 = -v for i.
-2
Let v(n) = -n + 13. Let t be v(7). Solve 16 = -2*r - r - 5*s, 0 = -5*r + 2*s - t for r.
-2
Let l = -2 - 0. Let f be -2*(4 + l)*-4. Let h be (-4)/f - 170/(-8). Solve -2*m + h = -5*r - 0*m, 3*r + 11 = 2*m for r.
-5
Let u = -391 + 394. Solve -u*w + 4*w - 5 = 4*q, -5*w = 3*q - 25 for q.
0
Suppose -2*h + 5 = -1. Suppose 0 = -14*f + 21*f + 12 - 47. Solve -j = h*z + 5, -3*z = -f*j - 7*z - 14 for j.
-2
Let w(u) = 1. Let h(b) = -9*b - 14. Let p(s) = h(s) + 4*w(s). Let f be p(-2). Suppose -3*k - 2 + 8 = 0. Solve -5*t - 14 = -t - a, 0 = k*t - a + f for t.
-3
Let m = -52 - -66. Suppose -m*l + 92 = -48. Solve -2*n + 4 = -4*j - 6, 5*j = 5*n - l for n.
-1
Suppose 4*k + 4 = 20. Let o be k/(-14) + 60/14. Let j be (0/(-5) - -6) + (-2)/2. Solve -6*m = o*u - 4*m + 20, 5*u = 5*m + j for u.
-3
Let c be 6*(-10 + 6)/(-8). Solve 5*i = -3*t + 29, -i - c*t + 21 = 8 for i.
4
Let i(q) be the second derivative of -3*q**5/4 - q**4/12 + q**3/6 + q**2/2 - 10*q. Let k be i(-1). Solve 3*x + 2*w - 6 - k = 0, x + 2*w - 12 = 0 for x.
4
Suppose o + 5*c + 10 = 2*o, 4 = -4*c. Suppose -186*r = -1684 + 10. Solve 2*j + 14 = 2*l, -2 = -3*j - o*l + r for j.
-3
Let d(z) = -z**2 - 2*z + 1. Let t be d(-3). Let h be (t + 4)/(2/3). Let y = -6 - -8. Solve -y*a = 2*v, -h*v + 2*a + a - 30 = 0 for v.
-5
Let l = 12 + -19. Let y(c) = -c**3 - 7*c**2 - c - 4. Let i be y(l). Solve 2*q - 3*q = -2*h - 1, 0 = i*q - 4*h - 3 for q.
1
Suppose -y = -2*m + 4*y + 29, -y + 5 = 5*m. Suppose 5*o = m*o + 6. Solve 0 = 5*c + o*h - 4 + 16, -2*c + 12 = 5*h for c.
-4
Let x = 68 - 66. Suppose x*h + 0*i - 12 = -4*i, 5*i = 5*h. Solve 2*s - 25 = 3*o + 6*s, -4*o - 4 = -h*s for o.
-3
Let v be (-12 - -27) + (-30)/3. Solve x - 2 = r, -v*r + 10 + 16 = 4*x for x.
4
Let z be 13/(39/(-18)) - -7. Solve -5*g + 5*u = 1 + 4, -3*g = -u - z for g.
1
Let z(t) = -3*t - 11. Let w be z(-8). Suppose -3*l + w = -4*n, 4*l + 7*n - 2*n = 7. Solve -4*c = -4*a - 28, -17 = -2*a + 4*a - l*c for a.
-4
Let z = -103 - -106. Solve z*w = 3, w = 3*o + 22 - 6 for o.
-5
Let v(y) = 10*y**2 - 9*y - 2. Let d(i) = -9*i**2 + 10*i + 2. Let x(b) = 6*d(b) + 7*v(b). Let u be x(-1). Solve 0 = 6*q - q + 3*z - 37, 3*z = -q + u for q.
5
Let f(q) = -q**3 - 10*q**2 - 5*q - 50. Let n be f(-10). Solve 4 = -n*g + 4*g - 4*i, 4 = -3*g - 4*i for g.
0
Let m be 1/(-3) + 16/3. Let j be ((-11)/(22/28))/(-1*2). Let g be 1*(-8)/(-24)*15. Solve -2*h + g*h - j = -2*q, -q - m*h = -7 for q.
2
Suppose 5*k - 11 = 3*l - 43, 3*k + 12 = 0. Let h(f) = f**2 + 3*f - 3. Let q be h(-7). Suppose -l*w = w - q. Solve -27 = 3*z + 4*r, w = 2*z - 5*r - 0*r for z.
-5
Suppose -3*q + 25 = -8*q. Let j(p) = 8 - 252*p**2 + p - p**3 - 1 + 247*p**2. Let d be j(q). Solve 0 = -d*c - 0*r + 4*r - 10, r = 5*c - 2 for c.
1
Let o(z) = -z. Let a be o(-3). Let n be ((-12)/(-3) + -3)*a. Suppose -n*w + 2 = -40. Solve 0 = -p - 2, -w = -2*f - 4*p + 7*p for f.
4
Let h be ((-6)/8)/(3/(-12)). Suppose 4*b + 5*i - 58 = 109, 4*b = -4*i + 172. Let p = -23 + b. Solve -4*k - p = h*c + k, 4*c - 15 = 3*k for c.
0
Suppose 4*a = 5*a. Suppose a = -4*h + 6*h - 4. Suppose -41*g + 37*g = 0. Solve f = g, 6*f = h*x + f for x.
0
Suppose 237 = 3*h + 204. Solve -3*g + 2*b - 1 = 0, g + 3*b - 7 - h = 0 for g.
3
Let q(o) = 5*o - 86. Suppose u = 4*f - 72, -f - 3*u + 18 = -u. Let i be q(f). Solve -3*s - 5*w = 15, 4*w + 9 = -i*s - 11 for s.
-5
Let p be (4/(-3) - -1)/(7/(-63)). Solve -i - 30 = 5*f, 0 = -p*i + 4*f + 5 for i.
-5
Let h(a) = 2*a**2 + 6*a + 5. Let f be h(-3). Suppose -f*j = 5*y, 0 = 3*y + 1 + 14. Solve -2*d - 4*o + 8 = 0, 0 = -3*d - j*o + 11 for d.
2
Let x be 615/25 - (-6)/(-10). Suppose -4*i + 36 = -4*v, v = 5*i - 51 + 2. Suppose -2*l + 3*o + 11 = -i, 5*o = -25. Solve 0*r + 3*r - x = -3*w, l*w = 5*r for w.
5
Let h be 30*1 - (0 + 0). Suppose 36 = -3*w - 18. Let a = w + h. Solve 2*p - 4*q = -14, 0*p + 3*q = 3*p + a for p.
-1
Suppose -2*o - 6*y = -5*y - 112, 4*y + 254 = 5*o. Let l = -49 + o. Solve 0 = 5*k + 2*g + 15, 3*g - 10 - 5 = l*k for k.
-3
Suppose -13*k + 3*k + 50 = 0. Solve -5*b + 20 = 2*g, -5*g + 3*g = -k*b for b.
2
Suppose 5*r - 2*m = r - 50, 48 = -3*r - 2*m. Let b = r - -14. Suppose b = l + l - 18. Solve 0 = 3*f + 4*c + 5, 5*f - l = 2*c for f.
1
Let i = 675 + -672. Suppose -49 = -0*o - 3*o - 5*v, 2*o + 4 = 4*v. Suppose 6*k - 3*k = -4*c + 11, -k + 3*c + o = 0. Solve z + s = -i + k, 2 = z - s for z.
2
Let n = -14 - -9. Let f(b) = b**2 + 4*b - 5. Let y be f(n). Let w = -45 + 49. Solve y = 3*t, -4*t = w*i - 6 - 6 for i.
3
Suppose -4*i = 4*f - 20, 5*f + 62*i = 58*i + 22. Solve 5*c - 5*q - 15 = 0, -f*q = 2 - 4 for c.
4
Let x(g) = 9*g**2 + 7*g + 3. Let a be x(-1). Solve 0 = 4*y - 4*k + 28, -a*y + 12*k - 3 = 15*k for y.
-3
Let u(g) = -9*g + 256. Let v be u(28). Solve 5*y - 15 = 5*x, -v*x + 2*x = -5*y + 12 for x.
-1
Suppose 0 = 2*p - 9 + 1. Suppose 0 = 55*b - 52*b - 6. Suppose -1 = 3*y - b*y + 2*s, -3*y + 5*s = -52. Solve p*r - 19 = -o + 3, -3*o + 3*r - y = 0 for o.
2
Let n be 3/(9/12 + 0). Let j(v) = v**2 - 3*v - 1. Let m be j(n). Let r be -3*(-2)/(-10)*-5. Solve g + m = -4*f, 2*f = r*g + g - 24 for g.
5
Suppose 3*u = a + 10, -a - 2*u + 2 = -4*a. Solve -5*w + 1 = -a*w - 4*x, -5*w - 9 = -4*x for w.
-5
Let g be (-1)/1 - ((-2)/(-2) - 5). Solve -a + 4 = 0, 2*p + 5*a - 2 = g*a for p.
-3
Let v(o) = -2*o**2 - 2*o + 5. Let q be v(-2). Solve 4*t + 9 = 3*t - 4*j, -j - q = 0 for t.
-5
Let y(o) = o + 14. Let f be (-3 - (-2 + 2 + 4))*-1. Let i be y(f). Solve -2*k - 5*a = -19, -3*k - 2*a - 3*a = -i for k.
2
Let d = -1368 - -1372. Solve -2*z - 2*o = 12, -o = -5*z - d*o - 22 for z.
-2
Suppose -1 = k - 6. Suppose -2*z + 6 + 2 = 3*c, -5*c = -z - 22. Let y = 9 - 5. Solve -k*t - y*d = 8, -4*d + c = -4*t - 6*d for t.
0
Let v be ((-6)/7)/(4/(-28)). Solve 4*i = 4, 4*i - 7 = 3*r + v*i for r.
-3
Suppose g = 4*o - 12, -2*g = -4*o + 7 + 1. Solve -o*c - 4 = -4*m, -4*c - 9 = -0*m - 5*m for m.
5
Let w be 4 - 120/100*10/(-3). Suppose -24*f = -22*f - w. Solve 0 = -3*i + 3*l - l + 8, f*i - 24 = -4*l for i.
4
Let b = -192 - -192. Solve 3*c + 5*g - 26 = b, -4*c - 10 = -c - 4*g for c.
2
Suppose -4*d + 4 = -2*d. Suppose d*v = v + 4. Solve -2*h + 0*m = -3*m + 25, 0 = -v*h + 4*m - 40 for h.
-5
Let d(c) = 2*c**2 + 2*c - 7. Let w be d(2). Solve 2*b - 6*b = 5*v - 7, 0 = 2*v - w*b - 16 for v.
3
Let k(z) = z**2 - 2*z - 137. Let v be k(13). Solve 5*j - 2*m = -v*m + 28, -4*m = -2*j for j.
4
Let x(i) = -2*i**2 - 17*i - 16. Let b be x(-7). Suppose 2*c + 3 = 9. Solve -4*n = c*t + 28, 0*n - n - 24 = b*t for n.
-4
Let h be -4 + (-1 + 3)*(-10)/4. Let t be h - -11 - (-6)/2*1. Solve 2*p - 7 = -g + 2, -t*p + 15 = 0 for g.
3
Suppose 2*h - 14 = -6. Let v = h - 26. Let x = v + 41. Solve -2*i + 2 = 4*j, j + j + x = 3*i for i.
5
Let k(g) = -g**3 - 6*g**2 - 7*g - 1. Let u be k(-5). Suppose -2*p - u = -3*p. Suppose 12*r - p*r = 0. Solve s - 7 = -2*s + 4*t, r = -s - 5*t - 4 for s.
1
Suppose 0 = -206*s + 217*s - 66. Solve -5*k - n = 4*n + 30, 2*k - n + s = 0 for k.
-4
Let p(c) = c + 8. Let o be p(6). Let d = o - 10. Let i be (3*-1)/((-60)/140). Solve -13 = -2*b + i*b + x, 23 = -d*b - 5*x for b.
-2
Suppose 5*u + 253 = 263. Solve -2*i = u*g - 6, 4 = -g - 5*i - 1 for g.
5
Let m = 121 + -118. Let z = 21 + -6. Solve y - 2 = -m*v + 4*v, 3*y - z = 0 for v.
3
Let p(o) = -o**2 + 7*o - 6. Let q be p(6). Suppose q = -b - 2*b. Solve -2*l - 10 = 3*k - 3*l, -k - 3*l - 20 = b for k.
-5
Let g = 123 - 119. Solve -5*w - 5*o = -12 - 8, -g*w = -3*o + 19 for w.
-1
Let d(q) = 16*q**2 + 4*q - 12. Let u be d(4). Let j be 6/(-4)*u/(-78). Let l = -10 + 15. Solve 2*a = -2*o - 6, a = -l*o + j*a + 12 for o.
0
Let j(r) = r**3 - 3*r**2 - 3*r - 3. Let g(p) = p**2 - 2*p - 11. Let u = 8 - 3. Let w be g(u). Let x be j(w). Solve -3*o - 5*v - 20 = 0, 4*v + 3 = -x for o.
-5
Suppose 4*s - 94 + 23 = -m, s = -4*m + 14. Solve q + 1 = -h, -s = -3*q + 7*h - 3*h for q.
2
Suppose -5*s + 2*s = -19*s. Solve p - 3*z = 5 - s, -4*p = 5*z + 31 for p.
-4
Suppose -3*k - 13 = -5*v, 0 = -3*k + 6*v - 5*v + 7. Solve 4*z + 8 = -4*o, z - 6 = -k*o - 2 for z.
-4
Let y(z) = 2*z + 29. Let d be y(-14). Let n be (3 - d) + (10 - 7). Solve 4*k - 3*k = n*w - 18, -2