4) - (-2 + 5/7). Suppose -9*i - z = -55. Solve b = 3*b + i for b.
-3
Suppose 0 = -18*l - 27*l + 270. Solve l = -7*w - 1 for w.
-1
Let n be 28/2 - (-20)/(-10). Let i be (n/5)/((-2)/(-5)). Suppose 6 = s - i. Solve 5*d = d - s for d.
-3
Suppose 0 = -2*k + 4*u + 5 + 43, -4*u - 80 = -4*k. Solve -5*p + 9 = -k for p.
5
Suppose -16*a + 30 = -13*a. Let d be ((-5)/a)/((-2)/12). Solve d*y = y for y.
0
Let k be (2 - (3 + -3))*14. Suppose -a + k = a. Let f(v) = -v**2 + 13*v + 17. Let o be f(a). Solve -6 = -i + o*i for i.
-3
Suppose -2*r - 10 = c, -2*c + 71 = r + 76. Solve -10*l - 39 - 1 = c for l.
-4
Let x be ((-4)/2)/(4 + -6). Suppose -6*h + 2*h = 3*q + 23, 2*h = q + 1. Let r be x/((2/h)/(-2)). Solve m - r*m + 5 = 0 for m.
5
Let h = -254 + 254. Solve h = 10*w - 3*w + 28 for w.
-4
Let a = -69 - -86. Solve -a*g = -0*g + 17 for g.
-1
Let x be (-100)/(-15)*(-48)/(-10). Let u = x - 19. Suppose u = 3*r + 5*z - 4*z, -2*r + 7 = z. Solve 0*w - r = -2*w for w.
3
Let a(s) = 3*s**2 + 6*s - 5. Let k be a(-5). Let f = -29 + k. Let m(p) = p**3 - 10*p**2 - 11*p + 13. Let d be m(f). Solve -d = -5*j + 2 for j.
3
Let g be 22*((-2)/4 + -1). Let d = -30 - g. Solve -j - 4 = -d for j.
-1
Let x(p) = p**2 - 4*p + 3. Let f be x(4). Let z = f - -1. Solve -z*h = -3*h for h.
0
Suppose 2*m = 0, 0 = -z + 6*z - 5*m. Suppose -8 = -z*i - 2*i. Suppose 0 = 7*x - 2*x. Solve 0 = 4*l + i - x for l.
-1
Let j(y) = y**3 + 5*y**2 - 25*y - 8. Let x = 12 + -20. Let w be j(x). Solve -4*q + 8 + 4 = w for q.
3
Suppose -9*g + 6*g = 0. Suppose -4*i - 33 = -5*j, -3*j + 3*i + 17 + 4 = g. Solve j*p = 8 + 7 for p.
3
Let u = 1522 + -1473. Solve -8*t - u = -33 for t.
-2
Let d(y) = 4*y**2 - 29*y - 53. Let l be d(-2). Solve -l = -2*c - 13 for c.
4
Let l(f) = 8*f - 2. Let y be l(5). Let t be y/14 - 6/(-21). Let p = 4 + -2. Solve p*i + 3 = -t for i.
-3
Let k(j) = -j**2 + j + 2. Let y(u) = u**2 + 5*u + 6. Let h be y(-3). Let s be k(h). Suppose -5*g - 3*n = 5, s*g + 3*n = -n - 16. Solve -g*t = -t for t.
0
Suppose -4*h = -3*h - 4. Solve 0 = h*z - z for z.
0
Let r(v) = v**3 + 3*v**2 - 6*v - 6. Let f be (1/(-3))/(9/189) - -4. Let x be r(f). Solve 0 = -5*d + d - x for d.
-3
Let h(z) = z**2 - 4*z + 2. Let b be h(4). Let a be -2 - ((-6)/(-2) + -14). Suppose -a*w + 3*w = -12. Solve -w*i - b = 6 for i.
-4
Suppose 30 = 4*g + 2*f, -5*g + 0*g + 38 = 2*f. Suppose 3*a + g = 4*p, -4 = 3*a - 2*p - 0. Solve 0 = -a*l + 3*l + 12 for l.
-4
Let h(s) = -2*s**2 + 40*s + 16. Let r be h(20). Suppose -r*w = -15*w. Solve -12 = -w*y + 3*y for y.
-4
Let n = -263 + 272. Solve 17*d - 16 = n*d for d.
2
Suppose -16*u + 13*u = -9. Suppose x - 6 = -u*g, 2*x - g = -3*x - 2. Solve x*o + 12 = -4*o for o.
-3
Let p = 24 - 13. Let l = p - 17. Let v(n) = -n - 2. Let h be v(l). Solve 0 = 2*j - 4 - h for j.
4
Let a be (-9)/((-54)/(-12)) + 15 + -4. Solve a = 2*x - 11*x for x.
-1
Suppose 13 = 3*s + 4. Suppose 0*y = -s*y. Let f(z) = -3*z**3 - 24*z**2 + 3. Let g be f(-8). Solve g*u + 2*u = y for u.
0
Let a = -43 + -9. Let k = a - -56. Solve 25 = -k*f + 9 for f.
-4
Let v(b) = -8*b**3 - 3*b**2 - 3*b. Let h be v(-2). Let r = -56 + h. Solve -2*c + 16 = r*c for c.
4
Let y(t) = -t**3 - 10*t**2 - 10*t - 9. Let x be y(-9). Solve 4*a + 1 + 19 = x for a.
-5
Let g = 352 + -343. Solve g*z - 12 = 6 for z.
2
Suppose -34 = -2*q - 0*q. Suppose -q = x + 5*h - 0, -3*h = -3*x + 21. Let d be (-75)/(-20) + x/(-4). Solve -5 = 2*o + d for o.
-4
Suppose a - 1 = 5*g + 10, g = -a - 1. Let t(h) = 3*h. Let q be t(a). Let v = 68 - 58. Solve -q*r - 22 + v = 0 for r.
-4
Let h be (-3 - -12) + -5 - -12. Suppose -2*k + 0*k + 14 = 2*i, -4*k = i - h. Solve 0 = j - 0 - i for j.
4
Let g(s) = 8*s + 32. Let h be g(5). Let f = -67 + h. Solve -f*z = 1 + 14 for z.
-3
Let u be 2/(-3)*(-54)/4. Suppose t = 0, 3*t = -n - 1 + 5. Solve u = -w + n*w for w.
3
Suppose 17 = -3*d - 2*s + 90, 3*s = d - 28. Solve 3*t - 19 = -d for t.
-2
Suppose -3*u + 3 = -3*p - 0, -p - 7 = -4*u. Suppose -r - 2 = -u*r. Solve z - 2*z = -r for z.
2
Let w = -152 - -82. Let k = 70 + w. Solve k = -v - 0*v for v.
0
Let h be 5 + (2 - 4)*(-2)/(-4). Suppose y - h*y + 6 = 0. Let u = 8 - 2. Solve u*p = y*p for p.
0
Suppose p - 2*f + 2 = 0, -3*f = -6*p + 4*p - 3. Suppose p*r + 4 = -r. Let m(k) = k**2 + 4*k + 3. Let n be m(r). Solve 3 + n = 3*o for o.
2
Let y(u) = -u + 45. Let a be y(-7). Solve 50*w = a*w - 2 for w.
1
Suppose 5*n + 3*f = -418, 2*n = 6*n - 4*f + 328. Let a = n - -86. Solve 0 = -w - 2*w + a for w.
1
Let w(r) = 7*r - 32. Let g be w(4). Let o(s) = 3*s + 9 + s + 3*s**2 - s**2 + 0*s**2. Let a be o(g). Solve 0 = -0*f + 5*f + a for f.
-5
Suppose -4*o = -11*r + 6*r + 20, o + 4*r = 16. Solve -3*s - 23 + 11 = o for s.
-4
Let o(v) = v**3 + 6*v**2 - 2*v + 15. Let z be o(-7). Let r be z/30*6/(-4). Solve 0 = k - r + 4 for k.
-3
Let a = 6 + -3. Suppose 8 = a*x - 7. Let n(h) = -8*h + 96. Let l be n(12). Solve j + x = -l*j for j.
-5
Suppose 2*c = -2*h + 14, -4*h + 21 = 5*c - 12. Suppose -p - 22 = -3*k - 6*p, 5*p + 10 = c*k. Solve 0 = -2*g + k*g for g.
0
Let k be (-9)/15 - (3 + 159/(-15)). Let v = -4 - -7. Suppose -3*j + 4*l = -44, -j + 20 = -3*l - 3. Solve v*f + j = -k for f.
-5
Let q(z) = 2*z**2 - z - 8. Let d(k) = k**2 - 6*k - 2. Let o be d(0). Let t be q(o). Solve -t*i = 4 - 2 for i.
-1
Suppose 0 = -2*l - 624 + 682. Solve -m + l = 26 for m.
3
Let s be 15/5*(-4)/(-2). Let m be (-10)/15 + 34/s. Suppose 4*i + 2 = m*i. Solve -y = -i*y for y.
0
Let k(a) = -2*a**3 + a**2 - 2*a + 1. Let h be k(2). Let w = -110 - -111. Let o = w - h. Solve -4*p = 4 + o for p.
-5
Let p(i) = 3*i - 16. Let h be p(5). Let r be h/(-4)*-14*(-10)/5. Solve 1 + r = -2*m for m.
-4
Let f(w) = 4*w - 5. Let a(v) = -2*v + 2. Let b(l) = -7*a(l) - 4*f(l). Let g be b(-3). Suppose -g - 28 = -8*m. Solve 0 = -2*d + 3*d + m for d.
-5
Suppose -12*w + 251 = -85. Solve -c = -15*c + w for c.
2
Suppose 2*x - 117 = -5*t - 0*x, 0 = -4*t + x + 91. Let z = -19 + t. Solve z - 1 = -s for s.
-3
Let b be (-4)/10 - (-27)/5. Suppose 5*l - 341 - 94 = 0. Let s = 87 - l. Solve s - 10 = -b*q for q.
2
Let b(k) = -k - 4. Let o be b(-7). Suppose 5*a - 8 = -2*z + 87, 5*z - 160 = o*a. Let m = z - 20. Solve -2*n + m = -7*n for n.
-3
Suppose c = -6*r + 3*r + 8, 10 = 5*c. Suppose -r*h = 8*h. Solve h = 2*j - 10 + 2 for j.
4
Let d(x) = x**3 - 5*x**2 - x + 1. Let q(l) = 2*l**3 - 11*l**2 - l + 3. Let t(w) = -13*d(w) + 6*q(w). Let r be t(-3). Solve -r*j - 3*j = -5 for j.
1
Suppose 0 = 4*n - 12, i + 3*i + 2*n - 18 = 0. Suppose -2*l = -m + i, l + 14 = -5*m + 40. Let u(a) = a**2 - 16*a + 20. Let t be u(16). Solve 0*z = m*z + t for z.
-4
Let o be (-2)/(-19) - 888/(-228). Suppose 2*x - 2*z = 4, -x - 4*z = o*x - 28. Solve -6*u = -7*u + x for u.
4
Suppose 100*m - 105*m + 15 = 0. Solve m*n + 28 - 43 = 0 for n.
5
Suppose 37*d + 12 = 234. Solve -33*s + d = -31*s for s.
3
Let x = 402 + -386. Solve 17*o - x*o - 3 = 0 for o.
3
Let r be (-2 + 2 + 4)*15/20. Solve 0 = -3*i + 2*i + r for i.
3
Let m = -2096 + 2105. Solve 20*k - 22 = m*k for k.
2
Let b(r) = r**2 + 2*r + 58. Let w be b(0). Suppose 25 = w*s - 53*s. Solve 0*u = s*u - 20 for u.
4
Let b(k) = k**3 - 6*k**2 + 7*k - 5. Let f be b(5). Suppose -f*h - 4*y + 15 = y, 3*h = -4*y + 12. Solve x - 5*x - 4 = h for x.
-1
Let l be (90/(-63))/(2/(-7)). Suppose -l = -5*z + 3*t + 2*t, -2*t - 17 = -5*z. Solve 0 = p - 0 - z for p.
5
Let z be ((-3)/(18/16))/(8/(-12)). Let t be (-39)/(-52) - 3/z. Solve t = 2*i - 4*i - 6 for i.
-3
Let s be (3 + -1)/(1/(-4)). Let l(o) = -o**2 - 10*o - 5. Let c be l(s). Let i = -6 + c. Solve -i*m + 11 = -9 for m.
4
Let h(r) be the first derivative of -r**4/4 - 5*r**3 - 25*r**2/2 + 17*r + 24. Let o be h(-13). Solve o*j = 10 + 6 for j.
4
Let o = 12 - -8. Suppose -5*j - 4*q = -j, 3*j + 2*q - 4 = 0. Suppose -2*t + j*t - 8 = 0. Solve 0 = t*a + a + o for a.
-4
Let j = 727 - 699. Solve 10 = 6*v + j for v.
-3
Suppose -54 = -7*z + 4*z. Let d be (-4)/z - (-2 - 32/(-18)). Solve -2*m = -d*m - 10 for m.
5
Let z be 2 - (-18)/(3 - -3). Solve -7*s + 2 = -z*s for s.
1
Let w(d) = -d**2 - 14*d - 6. Let s be w(-14). Let q(z) = 1 - z - 3 - 2. Let k be q(s). Solve -k*i + 0*i = 10 for i.
-5
Suppose 0*h = 3*h - 4*k + 2, -4*k + 8 = 0. Let r(j) = -j**3 + 12*j**2 - 11*j + 4. Let n be r(11). Solve -h*d + 2 = n for d.
-1
Let v be 27/72*-4 + (-34)/(-4). Solve v*h = 5*h for h.
0
Suppose -1 = 12