 a*k = 2 + 1, 4*y = -k + 4 for y.
1
Let s = -13 + 18. Suppose i = s - 1. Suppose i*y - 30 = -2. Solve -4*v + 17 - 5 = 0, -y = -4*g - v for g.
1
Let k be (0/(-7 - -3))/(-1). Suppose -5*j + 50 = -k*j. Solve -j = -q - q + 2*t, 3*q = -2*t + 15 for q.
5
Suppose 4*h + l - 25 = 0, -5*h + 10 = -6*l + 3*l. Solve -q + h = 5*j - 2*j, 0 = 4*q - j - 7 for q.
2
Suppose -1 = t - 5. Suppose t*r + 2*j = 8, 4*r = 3*r + 2*j + 12. Solve -5*s + 2*s - 1 = -r*m, 4*m + 11 = -s for m.
-2
Suppose 119 = 3*f + 35. Suppose 2 = -4*l - 3*q + 29, l - f = -5*q. Solve -4*h = l*s - s - 12, 2*s + 5*h - 17 = 0 for s.
-4
Let v = 5 + -2. Let i be -5*57/(-3) + -3. Let d be i/28 + 6/(-21). Solve d*r = -c + v*c + 20, c = -4 for r.
4
Let t(n) = 153*n + 768. Let c be t(-5). Solve c*u = -4*m + 5, 12 = 5*u - 7*u + 5*m for u.
-1
Let y = 1 + -10. Let u(m) = -5*m - 10. Let t be u(y). Let q = -32 + t. Solve 5*c - 4*r = 33, c + 3 = -r - q*r for c.
5
Let d(h) = h + 15. Let b be d(-13). Let n(z) = 2*z**3 - z**2 - 4*z + 1. Let r be n(b). Solve -r*c + 4*q = -19, 2*q - 5*q = 3 for c.
3
Let m be (9 - 5 - 8) + 15 + -8. Solve 4*l + 1 = -5*k, m*l - 7 + 0 = 4*k for l.
1
Suppose 0 = 2*u + 30 - 38. Solve 0*t - 4 = -4*t - a, u*a + 12 = -2*t for t.
2
Suppose 78 = -7*q + 99. Solve -t = -5*p - 9, 8 = p + q*t - 3 for p.
-1
Let c be 136/102 - 2/(-3). Solve -c*t - l - 14 = 0, -4*t - t + 5*l - 5 = 0 for t.
-5
Suppose -3*x - 4*g + 20 = x, 3*x - 15 = 4*g. Let s be 6/2 + -6 - -3. Suppose 0*p - 2 = -p, -3*o + 5*p - 1 = s. Solve 3 = -5*a + 2*u, x*a + o = u - 1 for a.
-1
Suppose -3*b + 5*l = -7, 2 = b + l - 3. Solve b*h + 13 = 5*n, h + 5 = -3*h - 3*n for h.
-2
Let u(f) = -5*f**2 - 1. Let t be u(-1). Let r(d) = -1465 + 1465 - 2*d. Let o be r(t). Solve -3*p - 3*a = -0*a, -3*p = -a - o for p.
3
Let l = -9 - -9. Suppose 0 = 2*z - 6*z + r + 47, -2*z + r + 25 = 0. Suppose 4*k + z = -1, 3*u - 39 = -k. Solve t - 4*w + 2*w = u, l = 4*t + 3*w - 1 for t.
4
Let n = 743 - 743. Solve -5*v + m - 11 = n, 6*v = 3*v - 5*m - 1 for v.
-2
Let d = -119 - -122. Solve d*f = -x - 11, x + 7 = 2*f - 3*f for f.
-2
Let n(q) = 19*q + 10*q - 7 - q**2 - 8*q. Let l be n(20). Solve 3*m - l = -g - 3*g, -3*g + 18 = 5*m for g.
1
Let q(k) = k**2 - 13*k + 2. Let h be q(6). Suppose 16*r - 20*r - 108 = 0. Let b be 16/h + r/(-5). Solve 5*s - b*c = -25, 3*s = -c - 3 - 0 for s.
-2
Let l(b) = 11*b + 11*b + 26 - b**3 - b + 21*b**2. Let v be l(22). Solve 2*n = -0*n - v*c + 26, n - c = 1 for n.
5
Suppose 31*v - 19*v = 0. Solve v = -3*r + r - x + 2, -5*r + 31 = -4*x for r.
3
Let w = -196 + 203. Solve -3*a + 2*o + 5 = w, -5*o + 28 = 4*a for a.
2
Let x = 1 + -1. Let n(v) = v**2 + 6*v + 4 + 8*v - 13*v - 2. Let b be n(x). Solve -8 = 2*c - 7*c - 4*d, b*c - 4*d + 8 = 0 for c.
0
Let c be 188/16 - (-2)/8. Let a = 4 + -4. Let h = -59 + 64. Solve 5*m = 2*y - 20, a*y = h*y + 3*m + c for y.
0
Suppose 0 = -2*q - 78 + 12. Let s = -29 - q. Solve -2*x - 8 = 2*r, 0 = s*r + x + 3 - 2 for r.
1
Let i(d) = d**2 - 2*d. Let s be i(2). Suppose -3*m + 14 - 5 = s. Solve 4*h = m*l - 4, 5*h + 5*l = l + 26 for h.
2
Let i be (78/5)/((-3)/(-15)). Let x = -51 + i. Let o = 37 - x. Solve 0 = 5*g - 4*m - 20, -10 - o = -5*g - m for g.
4
Let n = -4 - -7. Suppose -n*z = 2*z - 20. Suppose -z*g + g = 0. Solve -3*h + 2*x + 0 = -1, 3*x + 15 = g for h.
-3
Suppose 86*x = 77*x + 45. Solve x*z + 4 = -3*i, 0 = 2*z + i - 4*i - 11 for z.
1
Let y be 1 - -3 - (-4)/(-2). Let p be 0*((-23)/(-2) - 12). Solve i = y*h - p*i + 15, -h = -5*i + 30 for h.
-5
Let p(b) = -b**2 + 16*b + 3. Let r be p(16). Suppose -v - 6*f + 15 = -f, -2*f + 6 = -3*v. Solve 0 = -i - 4, -w + v*i = -r*i - 9 for w.
-3
Let t(i) = -i**3 + 9*i**2 - 12*i + 36. Let u be t(8). Solve -9 = 4*x + b, 6 = -5*x - 0*b + u*b for x.
-2
Suppose 2*x + 376 = 5*w, -x = -w + 54 + 20. Let s = 96 - w. Solve -5*t - s = -5*u, 8 = -0*u + 2*u - t for u.
4
Let p(x) = x**3 - x**2 - x - 9. Let r be p(0). Let h = 11 + r. Let d be (3/6)/(h/4). Solve -d = s - 4*s + 5*z, 4*z - 2 = s for s.
2
Let o(d) = d**3 - 4*d**2 - 5*d. Suppose 2*l = 33 + 3. Let i = l + -13. Let g be o(i). Solve 0 = 4*r - q - 13, g*r + 5*q - 27 = -3*r for r.
4
Suppose -52*g = -16*g - 360. Solve 5*c + 2*b - g = 0, 2*c - 4*c + 4 = -b for c.
2
Suppose y + 151*m - 13 = 154*m, -5*y = m - 17. Solve 3*l = -2*r + y*l, 0 = -3*r - 4*l - 22 for r.
-2
Suppose 2*t = y + 2, -2*t - y + 8 = y. Suppose t*u = -u. Solve j + 6 = -r - u*r, 5*j - 2*r = 5 for j.
-1
Let w = 1667 - 1665. Solve 5*j + 4*n = -12, 5*n = -2*j + 4 - w for j.
-4
Let d be (-132)/(-48)*8/2. Let j be 10*(3/6 + 1). Let r = j - d. Solve r*s + 0*s + 3 = 5*b, 2*b + 5*s - 21 = 0 for b.
3
Let y = 14 - 10. Let t(o) = -5 - 5*o + 6*o + y*o. Let x be t(5). Solve 4*s - 2*i - x = -7*i, -5*s - 5*i = -20 for s.
0
Let g = 126 + -124. Let s be (1/2)/(2/8). Suppose -s*w + m = -3, 2*w - g*m + 0 = 2. Solve -2*a = -3*r - 0*r - 16, w*r = -2*a + 6 for a.
5
Suppose -36 = -23*z + 11*z. Let q(c) = -c + 1. Let b be q(2). Let d be (-3 + 5)*b*-1. Solve -z*r = -d*f - 9, -f + 3*f = -3*r + 21 for f.
3
Suppose 14*x = 11*x + 4*d + 13, -2*d = 4*x - 10. Solve x*k + 3 = -3*j, -30 = -3*j + 4*k - 12 for j.
2
Suppose -5 = -p - 0. Let k = -131 - -218. Suppose k = 5*r - 4*h, -3*h = 5*r - h - 69. Solve 0 = -5*c + d - r, 4*d - 15 = p*c - d for c.
-3
Suppose -3*w = -23*k + 25*k - 5, 3*w - k - 20 = 0. Solve -n - 2*y = 2, w = -5*y - 5 for n.
2
Let t(d) = 3*d - 11. Let w(x) = -x. Let m(i) = -t(i) - 4*w(i). Let z be m(-14). Let l = 5 + z. Solve -4 = -5*j - v - 17, j = -l*v - 8 for j.
-2
Suppose -8*q + 3 = -7*q. Let k(g) = 2*g - 11. Let z(v) = -v + 5. Let y(o) = -6*k(o) - 14*z(o). Let f be y(q). Solve -c = 2*c - 5*n - 24, f*c - 3*n = 15 for c.
3
Suppose 5*g + 14 = -2*i + 5*i, g = -i + 2. Solve 5*j = -i*f - 1, j - 3 = -5 for f.
3
Let m be (24/30)/(2/10). Let b = m + 0. Let k be b + (-2)/(-3 + 5). Solve -4*a + 6 = 5*g - k*a, 0 = -3*g - 2*a + 5 for g.
1
Let n(y) = y**2 - 5. Let j be n(3). Suppose t + 3*v - 12 = -v, -4 = -j*v. Solve -3*k + t = -2*i, 3*k = 2*i - 6*i - 16 for k.
0
Suppose 0 = -5*y - 3*v - 7, 5*y - 2*v + 7 = -5. Let w = y - -7. Solve -4*s = h + h + 12, 14 = -w*s - 2*h for s.
-2
Suppose 7 + 29 = 12*h. Solve h*g = -2*f - 5, 2*f - 5*g - 5 = 6*f for f.
5
Suppose -3*y = 1 + 11. Let u be 1*y/((-4)/(-5)). Let g be (u/15)/(2/(-24)). Solve 15 = 4*d - l, 0 = -g*d + l + l + 14 for d.
4
Let q(w) = -2*w - 9. Let d be q(-10). Suppose u = -2 + d. Suppose -5*x + 11 = -u. Solve -4*m + 36 - 3 = 5*b, 0 = x*b - 20 for m.
2
Let h(o) = 2*o**2 + 39*o + 19. Let d be h(-19). Solve -l = 5*a + 19, 4*l + 3 + 13 = d for a.
-3
Let f(m) be the first derivative of m**2/2 - 10*m - 1. Let g be f(7). Let t be g/(12/(-20)) - 1. Solve -3 - t = j - s, -2*j - 2*s = 6 for j.
-5
Let p(j) = j**3 - 16*j**2 + j - 13. Suppose 3*d = 26 + 22. Let a be p(d). Solve a*w = -o + 5, -4*o + 11 = o + w for o.
2
Suppose -f = -2*f - 42. Let q be 18/16*2*(-56)/f. Solve 5*c - q*a + 0 = -1, 0 = 2*c - 5*a - 11 for c.
-2
Let h(w) = -w - 5. Let k(u) be the second derivative of u**4/12 + 13*u**3/6 + u**2 + 3*u. Let x be k(-12). Let l be h(x). Solve -2 = -z, -2*z + 4 = v + l for v.
-5
Let i = 2134 + -1219. Let r be (-6)/8 - i/(-20). Suppose -3*j + 8*j = -4*o + 25, -3*o + 5*j = -r. Solve 4*w + x = 8, -3*w + 8*w - 2*x = o for w.
2
Let f(y) = 3*y - 7. Let q be f(6). Suppose -2*w + q = 7. Suppose -n - 2*n + 15 = 0, 3*h = w*n - 10. Solve u = h, -4*z + 3*u = -6 - 10 for z.
4
Let t = -64 - -68. Solve 0 = -5*r - 3*b + 2, r + 20 = -r + t*b for r.
-2
Let v(h) = 8*h - h**3 + 2 - 4*h + h + 3*h**2 + 0*h**2. Let t be v(4). Let y = -3 - -6. Solve 0 = -i + 1, -i - t = y*g - 1 for g.
-2
Suppose 62 = -4*m - 5*l - 119, 175 = -5*m + 4*l. Let q = m - -44. Solve 5*a = 2*b - b - 13, -q*a - 21 = 3*b for a.
-3
Suppose 3*a - g - 6 = 0, -4*g = -0*a + 4*a - 24. Solve -y - a*y + m = 6, y + 5*m = 9 for y.
-1
Suppose 0 = o - 4*n - 3, 0 = -4*n. Suppose -l = -4*g - 0 - 5, o*g + 2*l = -12. Let u = 6 + g. Solve 2*z + 5*c - 2 = 0, 0*z - u*c + 12 = -z for z.
-4
Let f be 2/(-4)*5/((-25)/(-260)). Let t = 28 + f. Solve -u + t*v + 5 = 0, -v + 18 = 5*u - 4*v for u.
3
Let k(t) = t**3 + 10*t**2 + 8*t - 9. Let m be k(-9). Suppose 3*h + 7*y - 9 = 4*y, y = m. Solve -h*s = -5*w - 3, 0*s + w = -5*s + 5 for s.
1
Suppose 2 = -5*j - 4*h + 16, 3*j + 3*h = 6. Suppose -j*z - 14 = -5*z. Let m = 30 + z. Solve r + 0 =