 = -4*r for r.
3
Let i(h) = -h**3 + 4*h**2 - 4*h + 5. Let v = 33 + -30. Let c be i(v). Solve k = -t, 3*t - 8 = c*t + k for t.
4
Let f = 778 - 773. Solve -3*a - 4*d + 1 = 0, 5*d = -4*a - 4 + f for a.
-1
Let s(y) = -y**3 - 10*y**2 + 9*y - 20. Let o be s(-11). Solve 5*k = p + 16, -5*k + 12 = -o*p + 5*p for p.
-1
Let b(k) = 3*k**3 - 20*k**2 + 12*k + 2. Let x be b(6). Suppose -5*v = -v. Solve 0 = x*z - 2*c, v*z + 5*c = 3*z - 8 for z.
-4
Let k be 95*2/35 + 6/(-14). Solve k*s = 2*l + 15, -4*l = -2*s - 0 + 6 for l.
0
Suppose -5*n = 2*y + 6, 0 = -4*n - 2 - 6. Let w be 12/(-10)*-10 - (0 - -3). Solve i - y*i + 2*v + 13 = 0, -w = 2*i + 3*v for i.
3
Let m(k) = -19*k + 44. Let d be m(2). Let n be (-1 - 4)/(3/(-3)). Solve d*w + 10 = 3*w + 2*j, -j + n = -w for w.
0
Let k(w) = -w**3 + 7*w**2 - 2*w. Let r be k(5). Suppose -l = 4*l - r. Suppose 3 = i + l, 13 = -3*m - 5*i. Solve -5*p = 2*o + o + 12, m*o = -5*p - 11 for o.
1
Let w(s) = -5*s - 22. Let v be w(9). Let c = v + 72. Solve 0 = 5*o - o - 5*d + 14, d = c*o + 7 for o.
-1
Suppose 3*m = -2*v - 123, -5*m + 238 = -4*v - 3*m. Let a = v + 63. Solve h = -2 - 0, -a*x = -5*h - 13 for x.
1
Let r = -184 - -188. Solve -a = 3*k - 0*a - 17, -r*k - 3*a = -31 for k.
4
Let y be -1 - -12 - (-1 + 4). Let l(r) = r + 8. Let n be l(-10). Let a be (-111)/(-39) + n/(-13). Solve k + a = 3*i, 3 + y = -2*i + 5*k for i.
2
Let d be (-10)/15 - 4/(-6). Suppose 5*s = -4*y + 2*y - 20, d = -3*s - y - 13. Let w be (5/(-2))/(s/12). Solve -4*l = w*v + 32, 0 = -2*l + 3*v + 6 - 0 for l.
-3
Suppose 0 = 5*s + 36 + 9. Let k(b) = -b**3 - 10*b**2 - 10*b + 6. Let t be k(s). Suppose 3*r + 6 = t. Solve 4*o + r = 3*a, -3*a - a + 5 = -5*o for a.
5
Let o(h) = 2*h**3 + 62*h**2 - 64*h + 6. Let r be o(-32). Solve -4*c + 1 = 2*v + 13, -2*c - r = 4*v for c.
-3
Let y(g) = g + 28. Let t be y(-23). Solve -q + 2*k = 6*k + 8, -t*q + k = -2 for q.
0
Let y be 4*4/32*4. Suppose 0 = g + y - 4. Solve 3*w = 2*w + g*x - 4, w + 4*x - 20 = 0 for w.
4
Let v(u) = u**2 + 11*u - 2. Suppose -2*n - 13 = -n. Let p be v(n). Suppose 0 = -6*c + p. Solve c*g + 3*f = 6, -2*f + 15 = 3*g - 5*f for g.
3
Let a be 3 + (-3 - -4) + 1. Suppose 0 = -s + h + 5, a*h + 35 = -s + 10. Let v(j) = -j + 3. Let q be v(s). Solve q*o = -5*t - 37, 0 = -2*o + o - t - 9 for o.
-4
Suppose x + 2*p = p + 3, -2*x = 5*p - 9. Let a be (22/(-33))/(11/(-9) + 1). Suppose 0 = -a*z + 19 - 4. Solve 0 = -7*t + x*t + j - 5, z*t = -5*j - 35 for t.
-2
Let h = 902 + -888. Solve 4*w + 2*r - h = 0, 3*r - 8 + 7 = -w for w.
4
Let u be (-9)/((-27)/(-6))*-4. Suppose 5*h - 8 = -3*b + u, -4*b = -4*h. Solve -5*r = -3*o - 4, -2*o + b = -2*r + 6 for o.
-3
Suppose -17*r = -60 + 9. Solve 0 = r*z - 9*b + 4*b - 1, 0 = 5*z + 2*b + 19 for z.
-3
Suppose -3*r - 3*y = 6, 32 = 3*r - 3*y + 8. Solve -5*k = x + 15, r + 9 = 4*k - 4*x for k.
-2
Let w be (-282)/(-6) + (3 - 1). Let o = -44 + w. Solve 0 = -o*b + 2*b - 5*r + 9, -2*r + 8 = -b for b.
-2
Let h(x) = -x**3 - 18*x**2 - 16*x + 11. Let r be h(-17). Let l be 532/95 - r/(-10). Solve -l*d = -b - 13, 2*d = b - 2*b + 1 for d.
2
Let a(t) = -t**2 + 9 - 2 + 0*t**2 + 1 - 4*t. Suppose 0 = 2*j - 6*j - 20. Let r be a(j). Solve -2*q - 2 = 5*d + 2, r*d + 4 = -2*q for d.
0
Let u(j) = -9*j - 4. Let y be u(-1). Let g(v) = -v**3 + 5*v**2 + v - 4. Let r be g(5). Solve 0 = 5*p + 3*d, y*p - 2*d - 26 + r = 0 for p.
3
Let h(k) = -19*k + 726. Let t be h(38). Solve -4*d - 4 = t*b, 4*d = 3*b + 32 - 1 for d.
4
Let s be (-18)/21*(287/(-21) - -9). Solve 5*v + s*g - 9 = 0, -v - 1 = g - 3 for v.
1
Let q = 181 - 169. Solve 0 = -0*b + 4*b + u - 15, 3*b - q = -u for b.
3
Suppose -48*v = -55*v + 105. Solve -v = -g + 5*p, 4*g + 3*p - 4*p = 22 for g.
5
Let d(p) = -p**2 - 17*p - 26. Let g be d(-15). Solve -m + 2 = m + 3*r, 4*m + 3*r - g = 0 for m.
1
Let o(i) = 2*i**3 - 9*i**2 - 4*i - 1. Let n be o(5). Suppose n*g - 6*g = -6. Solve b - 3*m = -0*m - 20, -g*b - 2*m - 5 = 0 for b.
-5
Let i(p) = -p**3 + 11*p**2 + 15*p - 31. Let z be i(12). Solve -3*n + z*y = 19, n - 4*y = -0*n - 11 for n.
-3
Let r = -5 + 22. Suppose -y + 3*j = -r - 0, -3*y = 2*j - 18. Solve 0 = 5*h - 3*a + 10, -a - 2 = -3*h - y for h.
-2
Let x = -15 - -21. Suppose -3*p + 2*p = -4*w - 4, 2*w - 20 = -5*p. Suppose -3 + w = -k. Solve k*j = f + 14, -29 = -4*f - x*j + j for f.
1
Let r(i) = 2*i**2 + 3. Let f be r(0). Solve -5*n - 15 = 4*z, f*n - z + 9 = -2*z for n.
-3
Let h be ((-5)/(25/(-35)) - -3)/2. Solve -t + 13 = 5*j - 1, 0 = 3*j - h*t + 14 for j.
2
Suppose 2*r + 112 = -5*j, -2*r - 15 - 53 = 3*j. Let z = -15 - j. Solve -2*h + 2*f = 2, -2*h = z*f - 2*f - 26 for h.
3
Let a be 0 + -3*2/(-3). Suppose -k - 9 + 1 = 2*u, 3*k - 26 = 4*u. Suppose -5*b - k = -v - 7*b, b = 1. Solve 0 = -a*d + 5*f, 4*d + 0*f + 2*f = v for d.
0
Let l(x) = -x**2 + 7*x + 20. Let y be l(9). Suppose -3*i + y*t + t + 12 = 0, -i - 2*t = -10. Solve 2*h - 6 = i*h + 5*a, -5*a = 10 for h.
1
Suppose 120 = -50*g + 74*g. Solve -2*r = 3*o - 4*o - 7, -20 = g*o - 5*r for o.
-1
Let o = -35 - -39. Suppose 3 = -4*n - 17, o*w + 4 = -4*n. Solve 10 = 5*q - 5*u, -w*q + 0*u + 5*u = -6 for q.
4
Let s = -500 - -503. Solve 2*z + r = 0, 5*r + 13 - s = 0 for z.
1
Suppose 39*a = 2*a + 407. Solve -5*z - 23 = -4*m + 10, -2*m - a = 3*z for z.
-5
Suppose -10 = -4*n - 5*h, -15 + 0 = -n + 5*h. Solve 2*u = -5*r + 11 + 2, n*r - 21 = -4*u for u.
4
Let v be (-2 + 7)/((-6)/2 - -4). Solve v*u + 3*j = 30, 0 = -5*u + j - 2*j + 20 for u.
3
Let p(r) = -r**3 - 10*r**2 - 16*r - 60. Let z be p(-9). Solve -25 = 5*n, -3*w + 0*w = -z*n - 18 for w.
1
Suppose k = -4*w + 4*k - 24, k = 3*w + 13. Let b = w - -4. Let g be -2*b/(8/(-20)). Solve -4*r = 3*a + 3, -6*a - g = -a + 4*r for a.
-1
Let t be (34/(-51))/(6/(-27)) - -1. Solve 5*m = t*m - 2*k + 12, 0 = 4*m - 4*k for m.
4
Let f = 100 - 24. Let s = f + -53. Solve -3*w + 4*c = -11, 5*c - c + s = -w for w.
-3
Suppose -133 = 3*j - 22*j. Solve -5*m + d - 1 = j, 5*d + 18 = -4*m for m.
-2
Let t = 160 - 158. Solve -t*k - 4 = 0, p - 5 = 3*k + 2*k for p.
-5
Let u = -499 + 523. Solve -7*f + 2*f - y + u = 0, -4*y - 19 = -3*f for f.
5
Let n = -423 + 428. Solve -2*b + 11 = -i, 5 - 35 = -n*b + 5*i for b.
5
Let f(s) = s**2 - 2*s - 1. Let z be f(-1). Let r = z + 4. Suppose 11 = 3*y - i + 1, 0 = 4*y + 4*i - 24. Solve -y*l - 16 = -2*g + r*g, 2*l - g = 1 for l.
-1
Suppose 5*q + 6*a - 73 = 3*a, 5*q - 5*a - 65 = 0. Solve 2*c - x - 4 - 5 = 0, 0 = -4*c - 2*x + q for c.
4
Let g be 2/(-2)*(-6 - -7) - -1. Solve -9*j + 4*j + 3*h = 3, h + 4 = g for j.
-3
Let i be -4*(-6)/(-144) - 19/(-6). Let l = -1 - 4. Let m = l + 8. Solve 4*q + m*p = 17, 2*q - i*p = 15 - 2 for q.
5
Let h(r) = -2*r**3 + 59*r**2 - 38*r + 262. Let a be h(29). Suppose -5*c + 25 = -3*x, x = -4 - 1. Solve -a = c*u - d, -5*u - 4 = d - 4*d for u.
1
Let b be (0/(15/(-5)))/((-1)/(-1)). Suppose -2*h - 37 + 43 = b. Solve 5*f - 37 = -5*g - 12, -h*g + 15 = -5*f for f.
0
Let j be (12 + -13)*8/(-4). Solve 2*m - 1 + 5 = 0, j*b + 20 = -5*m for b.
-5
Let x = 530 + -530. Solve x*z = -5*a + 4*z - 5, -2*a + z - 5 = 0 for a.
-5
Suppose 4*s = 4*s - 4*s. Suppose s = 7*n + 3*n - 20. Let v be 1/(-4) + 10/8. Solve 0 = t - v, n = d + 5*t - 6 for d.
3
Let v be -15 + 1 + (1 - 2). Let j be (-51)/v - (-3)/5. Let t be ((-3)/2)/(j/(-8)). Solve 0 = 4*g - t*o - 24, 0 = -5*g + 2*o + 2*o + 31 for g.
3
Suppose -202 = -37*r + 57. Let a = -5 - -8. Solve n - r = -3*p, -10 = -4*p + 2*n - a*n for p.
3
Let q = -11 + 16. Let o(a) = 15*a**2 + 3*a - 2. Let l be o(1). Suppose -3*j + l = q*v, 4*j - j - 11 = -4*v. Solve -10 = 5*f - v*w, 0 = w - 1 - 0 for f.
-1
Let u = -151 - -171. Solve -24 + 4 = 4*d, 5*d + u = -o for o.
5
Let d be -1*(-16)/(-2) - -1 - -3. Let v be (-4 + (-4)/d)*-1. Solve b - 12 = v*b - 3*f, 2*b - f = -8 for b.
-3
Let k(o) = o**2 - 12*o - 16. Let i be k(12). Let f = i - -23. Suppose 2*d + 18 = -3*l + f*l, -l - 2*d = -2. Solve l*p = -5*s - 5, -2*s + 5*s - 29 = 4*p for s.
3
Let u = 12 + -8. Solve -2*j = -u*g + 18, g = -4*j - 0 - 9 for j.
-3
Let n be (0/(3 + -5))/5. Solve -d = -2*y - n*d - 7, 0 = 5*y + 2*d + 13 for y.
-3
Suppose -10*t - 6*t = -176. Suppose 7*b + 16 = t*b. Let p be 25/2 - (-1)/(-2). Solve 3*z - 16 = b*g + 7*z, -2*g + 2*z + p = 0 for g.
1
Let x = 13 + -11. Suppose 0*y - 13 = 3*y + 5*c, -2*c - 18 = -x*y. Suppose -2*v - y*l + 8 = -0*l, 0 = -3*l. Solve -5*k + w + 5 = 18, 2*k = w - v for 