18 = 3*z, -x + 0*z + z - 1 = 0 for x.
3
Let p(a) = 14*a - 32. Let q be p(3). Solve 5*x = q, -c - x + 8 = 2 for c.
4
Let p(l) = -l**3 + 6*l**2 + 2*l - 6. Let k = -45 + 51. Let s be p(k). Solve 5*h = -2*q - 23, 3*q + s + 0 = 2*h for h.
-3
Suppose -19*x + 11*x = 88. Let w = 7 + -13. Let c = w - x. Solve 0 = 4*r - 4*v + c*v - 13, -v + 17 = 5*r for r.
4
Let z be (-212)/(-18) - 4/(-18). Let g be z/(-4) + 7/1. Solve 0 = -i, g*k + 1 = 3*k - 3*i for k.
-1
Let m = -113 + 111. Let c be 16*(-1)/m - 8/2. Solve 2*l + c + 19 = -3*i, -l = i + 9 for l.
-4
Let u(r) = 7*r**2 + 90*r - 13. Let f be u(-13). Solve f = -5*q - 4*y + 6, 5*y = 4*q + 2*y + 20 for q.
-2
Suppose o + x - 2 = 0, -x = 91*o - 87*o - 11. Solve -2*z = -o*q + 4, -4*q = -9*q - 3*z + 13 for q.
2
Let z = 19 - 9. Suppose 4*f = 2*f + z. Suppose -f*n - 5*x = -0*n, 3*x + 10 = 2*n. Solve -10 = -n*l, 2*l = -v + l for v.
-5
Let p(g) = -120*g + 364. Let q be p(3). Solve 0 = -3*n - 2*c - 1, 5*c + 3 + 11 = q*n for n.
1
Let f(h) = h**3 - 17*h**2 + 15*h + 25. Let b be f(16). Suppose 10 = b*z - 4*z. Solve 0*p + z*y - 9 = -p, 0 = -4*p + 3*y - 8 for p.
1
Let y = 706 + -704. Solve y*a = -b - 3, -7 = -5*b - 0*a + a for b.
1
Suppose -3*g = 3*f - 15, -14*g - 52 = -4*f - 10*g. Solve 0 = -4*l + 2*b + 7 + f, -b - 17 = -5*l for l.
3
Let x be 16/(-24) - (-34)/6. Solve -4*r = 4*i - 4, 3*i + x*r + 4 - 1 = 0 for i.
4
Let r be (-16)/12*15/(-10). Suppose 17 = d + 3*f, r*f + 2*f = 2*d + 16. Solve 8 = 2*h - d*b, -5*b - 14 = -h - 2*b for h.
-1
Let q(g) = -11*g**2 + 5*g - 3*g**3 + 3 + 5*g**2 + 4*g**3. Let n be q(4). Let z be (-30)/n*18/15. Solve -2*v + 2 = -2*f, 4*v + 4*f = -0*f + z for v.
1
Let j be -4 + 10 + (-4)/1. Suppose -3*h + 12 = j*w, h = -2*w - 0*w + 8. Solve 0 = 3*o - 3*y - 3, o - w*y = -o for o.
3
Let l(j) = -2 - 4 + j - 6*j - 4. Let v be l(-3). Solve b - 15 = 6*b - w, 2*w - 20 = v*b for b.
-2
Let b = -157 - -162. Solve -5 = m, 3*z + 0*m = -b*m - 16 for z.
3
Let h(b) = -b**2 - 10*b + 12. Let q be h(-11). Let p be 1/(q*5/10). Solve -d + 5 = -x - p, 4*x = -2*d - 16 for x.
-5
Let s(k) = -k**2 + 10*k - 19. Let t be s(7). Suppose 3*d - 5*d + 10 = 0. Suppose t*v - d = v. Solve -w - v*p = 14, 4*w + 4*p + 22 = p for w.
-4
Suppose -4*b = p - 13, 3*b = -0*p + p + 1. Let d be 15*4/10*5. Suppose 5*j + d = 3*a, 3 = -2*a - 2*j + 7. Solve 2*m + a*l = 19, b*l = 3*m - 0*l for m.
2
Suppose -f = -h + 12, 5*h + 0*f - 66 = -f. Let s = -3 + 3. Suppose 0 = 3*r, s*c + 2*r = 2*c - 10. Solve 4*l + 4*q - 20 = 16, h = -3*l + c*q for l.
4
Suppose -5*g = -0*g - 15. Let i be 4*4/(-12)*g. Let y be i*(3 - 16/4). Solve 0 = -m + 5*m + a - 21, -3*m + y*a = -11 for m.
5
Let m be 21 + (-7)/14*0. Solve -3 = -3*q + q + y, -5*y = -4*q + m for q.
-1
Let x be 8/20 - (-146)/10. Suppose x + 5 = 5*o. Let n be ((-13)/2)/((-1)/2). Solve 0 = 4*p + z - n - 1, o*z = -5*p + 12 for p.
4
Suppose -15 = -5*z, 4*r - 8*z - 99 = -9*z. Solve -4*g - 12 = 4*k, -5*g + 0*k = -4*k + r for g.
-4
Suppose 2*s + 641 = 645. Solve 5*r = 4*a - 5 + 24, s*r - 3*a = 9 for r.
3
Let l(q) = -3*q + 7. Let y be l(-3). Suppose 14*r - 65 = -9. Solve 20 = -2*w + 5*a, -2*w + y = -w + r*a for w.
0
Let n be (9/6 - 2)*-26. Let h = n - 13. Suppose h = -3*k + 2*k. Solve 0 = j - 3*q - 4, -q = -j - k*q + 4 for j.
4
Suppose -4*l = -3*z - 23, -l = 3*z + 13 - 0. Suppose -t = -0*t - 5. Solve -5*v = -l*c - 0*v + 6, 3*c - t*v = 9 for c.
3
Let h = -25 + 19. Let m = -3 - h. Suppose -4*q + 8 = 2*a - 16, m*a - 21 = -3*q. Solve -a*r = 3*p, r + 2*p + 3 = 4 for r.
-3
Let d(q) = q**2 + 5*q + 3. Let m be d(-8). Solve -3*x = 5*w - 4*x + m, w = 2*x - 9 for w.
-5
Let h = 202 - 198. Solve -5*n - 3*d - d + 1 = 0, h*d - 31 = 5*n for n.
-3
Let i be (-58)/(-18) - (16/(-9) - -2). Suppose -i*n - 51 = -7*p + 4*p, -51 = -3*p + 5*n. Solve 0*t + 2*t + 5*q = -p, -q = -4*t - 1 for t.
-1
Suppose 110*s - 100*s = 70. Solve 4*i + o = -s, -5*i - 2*o = -2*i - 1 for i.
-3
Suppose 0 = -2*j + 6. Let q(b) = -15 + 0*b - j*b + 11. Let c be q(-3). Solve 0 = -2*y + 2*z + 6, -2*y - c*z = 3*y - 15 for y.
3
Let r = -221 - -226. Solve -j - 2 = 0, -r*u - 2*j = -0*j + 9 for u.
-1
Let c(n) = 34*n + 174. Let r be c(-5). Solve 0*l + 3*l = j - 5, 5*j - 6 = -r*l for l.
-1
Let p(y) = -y**3 + 6*y**2 - 10*y - 11. Let c be p(5). Let d = 43 + c. Solve 0 = 2*v - u - d, 2*v = 5*v + 5*u + 22 for v.
1
Suppose -q + 1 = -0. Let v(d) = -d - 6. Let n be v(-17). Suppose -n = -5*a - q. Solve -b - a*u + 4 = -0*b, 0 = 4*b + 4*u for b.
-4
Suppose 5*q - 13*n = -18*n + 155, 5*q - 2*n - 183 = 0. Solve 0 = -5*f - 3*k + q, 5*k + 30 = -5*f + 75 for f.
4
Let k = 135 - 129. Solve u + 4*v - 21 = -k, -2*u - 5*v = -18 for u.
-1
Suppose b - 3*x + 3 = 0, b = -2*b - 4*x + 56. Solve h + 4 = -2*g, 3*h + g + b = 4*g for h.
-4
Suppose 3*o - 12 - 3 = 0. Solve 0 = o*g + 2*j - 5*j - 32, 2*j + 4 = -g for g.
4
Let n be 5/(3*(-30)/(-72)) + 36. Solve -4*x + 4*y - 36 = 0, 4*x - 5*y + n = -0*x for x.
-5
Suppose 0 = -6*y + 16 + 8. Solve 4 = -4*f + y*n, -3*f + 4*n - 3 = 4 for f.
3
Let m = 131 + -123. Let s be m/(-28) - (3 - 132/21). Solve s*a = n + 11, -5*n + 3*n - 4 = 3*a for a.
2
Let c(w) = 2*w**2 + 4*w + 5. Let k be (-78)/(-6) - (-4)/(-1). Suppose -5*v + k - 34 = 0. Let l be c(v). Solve 4*q = 5*n + l, 2*n = -q - q + 4 for q.
5
Let u be 1/2 - -6*40/96. Solve -2 = -r - r, 2*c + u = 3*r for c.
0
Let g be 27/7 - (-113)/791. Solve 6 = -3*v - g*o + 2*o, -9 = 3*v + o for v.
-4
Suppose -2*k - 3*k = -20. Let q = k + 2. Suppose -q*l + 4 = -4*l. Solve 5*t = 3*b + 17, -5 = -5*t - l*b + 17 for t.
4
Let f be 13/4 - 2/8. Solve -5 = j - c, -4*j = 2*c + f*c + 11 for j.
-4
Let h = 122 + -120. Suppose h*l - 6*l = 0, 0 = 5*w + 5*l. Solve -1 = 4*m + 2*a + 3*a, -3*a - 3 = w for m.
1
Let s be 413/(-28) + (-1)/4. Let y be 10/15*s/(-2). Suppose 3*v + 3*f = -0*v + 12, y*v - 12 = -3*f. Solve 3*m + 3 = -t, -2*t + v*m - 4*m - 4 = 0 for t.
0
Suppose 363 = 214*t - 181*t. Solve 0 = 3*l + 5*u, 5*l = -5*u - 1 + t for l.
5
Suppose 0 = -2*y - l - 26, -1 = l + 3. Let f = y - -27. Let v(h) = -h**2 + 7*h + 4. Let k be v(6). Solve 5*o + 3*g - f = 0, k = 2*o + 5*g - 2*g for o.
2
Suppose b + 5*p - 11 = 0, -2*b + 5*p - p + 36 = 0. Let t(o) = 2*o - 3. Let u be t(3). Suppose 2*k - u = 7. Solve -4*x = v + b, 4*x = -k*v - 0*x - 16 for v.
0
Suppose l + 4*d + 7 = 0, -l - 45*d = -40*d + 10. Solve -3*z + 2*z = l*p - 4, 0 = z - 4 for p.
0
Let p(s) = -s**3 - 17*s**2 - 5*s + 176. Let u be p(-16). Solve x + u*m = m + 3, 0 = -3*x - 5*m + 9 for x.
3
Let p(k) = -k**2 + 10*k. Let f be p(10). Suppose 16 - 6 = 2*b. Suppose -5*u + 6*u - b = f. Solve -5*o + 0*o = -w - 29, 4*w = u*o - 41 for w.
-4
Suppose -8*m + 407 = -89. Suppose a = -a - m. Let q = -20 - a. Solve -3*u + 3*d + q = d, -2*u = 4*d + 14 for u.
1
Let l be 5/(-16 - -1) - (-7)/3. Solve -2*d = -6*d + q + 5, 2 = -l*d - 4*q for d.
1
Suppose 0 = 3*j - 16 + 22. Let w(d) = 7*d**2 + 5*d + 8. Let m be w(j). Solve 2*o + 3*o - 29 = z, 4*z - 2*o = -m for z.
-4
Let h = 10 - 7. Suppose 2*n + h*p = 0, -n + 5*n - 20 = -p. Suppose -3 = x + 4*c - c, -4*x + n = 3*c. Solve 3*g = 9, v + 4*g - x = 12 for v.
3
Let x(v) = v - 12. Let d be x(14). Solve 7 = 3*y - d*n, -2*y = -7*y + 3*n + 12 for y.
3
Let k(u) = u**3 - 5*u**2 + 2*u - 8. Let a be k(5). Solve -a*i - 4 = 2*y, 3*i = 2*y + 2*i - 11 for y.
3
Let c = -22 + 47. Suppose 4*s = f + c, -2*s = f - 1 - 4. Suppose s = 2*b - 1. Solve 2*q + k = -k, -b*k = -6 for q.
-2
Suppose -2 = x - 10. Suppose -x = -5*m + 37. Let o be (-6)/(-2)*6/m. Solve -3*f = o + 7, -5*f - 11 = -4*n for n.
-1
Suppose -3*t = 9, 2*t = -5*r - 4 + 13. Solve -5*v + 7 - 27 = r*y, -5*v = -4*y + 20 for v.
-4
Let o = -49 + 94. Let w = o + -20. Solve -8*h + 3*t - 5 = -4*h, h + w = -4*t for h.
-5
Suppose 3*w = 5*x - 27, 0 = 2*w - 2*x - 0*x + 14. Let k be (w - -2) + (-4 - -11). Solve y + 5*u = -9, 5*u = k*y + 24 - 9 for y.
-4
Let g(o) = -3 - o + o**3 - o**2 + o**3 + 4 + 3*o**3. Let x be g(1). Suppose x*z - 26 = -6. Solve -z*n + 2 - 8 = -4*q, -q = -3*n + 2 for n.
2
Suppose -38 = 13*d - 51. Solve -2*y = 3*p + 6 - 2, -d = 3*p + 5*y for p.
-2
Let b(g) = -g**3 + 3*g + 3. Let t be b(-2). Suppose 12*x - 7*x = -50. Let w = x + 34. Solve 5*h + 0*j + w = j, 2*h = t*j - 28 for h.
-4
Let k be -1 + -5 - -11 - (2 + -12). Solve 0 = -4*m + 5*z - k, -5*z = 7*m - 3*m - 15 for m.
0
Let q be 1/(-1) + (1 - -32). Suppose -5*f = -q - 78. Solve