 ((-1)/1 + 4)*k. Let p be 4/((-4)/z) + -3. Solve -4*h + 2*d - 3 + 1 = p, -5*d + 5 = 4*h for h.
0
Let t(a) = -2*a**3 + 9*a**2 + 7*a - 7. Let l be t(5). Solve l = 2*s + 3*z + 1, 4*s + 16 = -z for s.
-5
Let g = -984 - -986. Solve 3*x = 3*p + g*p + 35, p - 21 = -5*x for x.
5
Let l = 1770 - 1764. Solve 2*t = 4*o, -2*t = l*o - o for o.
0
Suppose 0 = 123*p - 109*p - 28. Solve -2*n - 4*j - p = 0, 5*j = -4*n - n for n.
1
Let x = -42 + 47. Suppose 5*n + 5 = 3*p, -2*p - 1 = -2*n - 3. Let f be 3 - (3 + -2 - n). Solve k + x*m + f = 0, 9 = 3*k + 3*m - 0 for k.
4
Suppose 0*h = -4*h. Suppose 3*q = 4*l - 3 - 28, 0 = 4*l + 5*q + 9. Suppose -l*w - 7 + 19 = 0. Solve h*t - 2*t - 7 = x, 18 = -w*t - 3*x for t.
-1
Let n(g) = 3*g**2 - g - 5. Let u be n(2). Solve 0*z + 2*z + 10 = 2*f, 4*f - u = -z for z.
-3
Let n(m) = 13*m**2 + 52*m + 49. Let z(i) = -9*i**2 - 35*i - 33. Let y(g) = -5*n(g) - 7*z(g). Let c be y(-6). Solve -3*v + c*l = 10, 0 + 4 = -4*v + 3*l for v.
2
Let a be 40/(4/8*4). Suppose -2*w - 3*w + a = 0. Let x be w*1/4*3. Solve 5*g + 4 - 3 = 4*d, -5*d + 2*g = x for d.
-1
Let q be -71*(4 - 3)*-1. Let w = -43 + q. Solve 2*j = 3*p - 7 + w, -2*j + 1 = p for p.
-5
Suppose -32*f + 31*f + 5 = 2*a, 0 = 3*f + 3. Solve -2*w - a*d - 14 = 0, w - 5*w = 2*d + 12 for w.
-1
Let i(r) = r**3 + 3*r**2 - 5*r + 1. Let q be i(1). Solve q*c + 4*x = -3*c + 19, -3*x - 7 = -2*c for c.
5
Let l = 32 + -30. Suppose 0 = -5*g - l*m + 602, 0*g + 5*m + 235 = 2*g. Suppose 12*t - 4*t = g. Solve -2*i + 5*v = t, 5*i + 5*v = -14 + 64 for i.
5
Let m be (-3)/9*(2 - 1)*-12. Solve 4*t + 4*f - 15 = 1, 8 = m*f for t.
2
Suppose -9 = -3*r - r + 3*a, -r = a + 3. Suppose r = m + 4*m - 10. Let i(c) = -9*c**3 - 2*c**2 - c. Let y be i(-1). Solve -5*b + b - 8 = 0, x + m*b = -y for x.
-4
Suppose -2*t - 2*t = 8. Let m be ((-16)/(-10))/(t/20). Let n be (-24)/m*(-8)/(-3). Solve 3*k = -4*w, -n*k = -5*w - k for w.
0
Suppose 9 = -c + 4*c. Suppose -l = c*l + 20. Let h = l - -8. Solve -o - h*i + 10 + 4 = 0, 4*o - 2*i + 14 = 0 for o.
-1
Suppose 0 = -2*t + 7*t - 50. Let w = 20 - t. Suppose -w = -2*p - 3*p. Solve 2*z + 2*z - 4*c + 12 = 0, 0 = 2*z + p*c - 6 for z.
0
Let d = -17 - -19. Suppose 0 = -7*i + d*i. Let j = i - -2. Solve 0*f = -3*v + 3*f + 6, j*v + 4*f + 20 = 0 for v.
-2
Let l(g) = g**3 - 14*g**2 + 11*g + 14. Let q be l(13). Let m be (-4)/q - (-11)/3. Solve 4*a = 4*x + 4, -9 - m = x + 2*a for x.
-5
Let j be (-52)/(-8) + (-9)/(-6)*-1. Solve 0*w - j = -4*w - 3*n, 3*n = w - 20 for w.
5
Suppose -3*r - 98 = 4*q, 4*q + r = 2*r - 90. Let l = -21 - q. Solve 0 = -z - 5*h - 4, z = -l*z + 5*h - 12 for z.
-4
Suppose 0 = a - 3*x + 2*x - 6, -2*a + 4*x = -10. Let b be (2 - 5) + a + -4. Let h be -4*1/(2 - 4). Solve 0 = -i - 4, b = -4*t + h*i - 4*i for t.
2
Suppose 3*t - 15 = -4*i - 6, -4*i - t + 3 = 0. Solve i = -5*h - 0*h + 3*w - 15, -3*h = 4*w - 20 for h.
0
Let s(g) = g**3 - 50*g**2 - 2*g + 124. Let n be s(50). Solve 0 = r + r - 4*i - n, 3*r - 5*i = 31 for r.
2
Let s = -122 - -130. Suppose 3*z = s + 7. Solve 2*a + l - 6 = -l, 0 = 5*a - z*l - 15 for a.
3
Let b(l) = -l**3 + 30*l**2 + 2*l - 58. Let k be b(30). Solve 0*j + 5*j + 24 = k*f, -5*j + 4*f = 28 for j.
-4
Suppose -3 = -3*v + 3. Suppose 5*c + v*k - 30 + 10 = 0, 0 = 4*k + 20. Suppose h = -c + 9. Solve 2 = f + j, -j - 2*j - h = 0 for f.
3
Let b be (-4 - 0) + 3 + 3. Let y be -2 - (4 - 13)*b. Let o = -13 + y. Solve -21 = -m + 5*t, -2*m - o*t = -7*m - 5 for m.
-4
Let z be (5*(0 - -1))/1. Suppose 2*v - z = v. Suppose -3*m - 5 = -x + v, -5*m = -3*x + 22. Solve -3*u = -x*y - 6*u - 10, 5*u - 18 = 2*y for y.
-4
Suppose 0 = 26*x - 35*x + 18. Solve 0 = -l + x*l + 4*d + 15, 19 = 3*l - 4*d for l.
1
Suppose 0 = -5*x - 2*f + 115, -2*x - 21 + 88 = 5*f. Suppose -10*t = -61 + x. Solve 2*k = -2*u - t, 5*k = -u - 2*u for k.
3
Suppose 26*m = 23*m + 225. Suppose -h + 4*h = 0, -m = -5*t - h. Solve t = -3*x, -6 = 2*a + 3*x + 5 for a.
2
Let g be 2/(-15) - (-3)/(-45)*-2. Suppose g*f + 15 = 3*f. Solve -4*m - m = f, -m + 8 = 3*c for c.
3
Suppose 34 = -3*c - 5*a, -2*c = 2*a + a + 21. Let v(h) = -2*h - 3. Let i be v(c). Let f be 2*5/(10/i). Solve -5*k = -f*y, -y - 4*k = -5*k for y.
0
Let b be (-2)/(-2)*3 - -3. Let q be (-2)/6 - (-56)/b. Let k(i) = i + 1. Let m be k(q). Solve -o - 22 = 7*t - 2*t, 3*o = 4*t + m for o.
-2
Let a = 299 - 294. Solve -4*t = a*w + 32, -3*w + 5*t + 1 = -2 for w.
-4
Suppose 5*p = -m - m + 106, p - 133 = -3*m. Let u = m + -38. Solve -2*z - 2*h - 35 = -7*z, -4*z - 3*h + u = 0 for z.
5
Let a(x) = 3*x + 16. Let q be a(-8). Let h be (-30)/q + 12/(-16). Solve -b + 10 = -0*n + 4*n, -3*n = h*b - 3 for n.
3
Let n = 32 - 27. Let p(r) = -r**2 + 5*r + 3. Let v be p(n). Solve 8 = -2*o + l, 5 = v*o - 2*l + 16 for o.
-5
Let q(o) = 8*o**2 - 6*o**2 + 2*o**2 - o. Let b be q(-1). Let p = b - 3. Solve -p*f - 4*v = -4, 0 = -5*f - v - 0 - 17 for f.
-4
Suppose -5*f + i + 4 = 0, -3*i - 2 = -5*f - 0. Let y = -13 - -16. Solve 5*z = -3*m - 15 - f, 2*m - 2 = y*z for z.
-2
Suppose 5*x + h - 11 = x, -2*h - 11 = -3*x. Let f be (-2)/(33/(-9) + x). Solve 0 = -f*q + 3*o - 6 + 24, -3*q + 10 = o for q.
4
Let a = -4499 - -4504. Suppose 5*g = -3*p + 24, 3*g + 25 = p - g. Let h = p + -8. Solve 5*m = -h*j + a, 1 = m + 5*j - 8 for m.
-1
Let i(j) = -3*j + 14. Let w be i(5). Let x(s) = -20*s**3 + s**2. Let g be x(w). Solve -g = -5*u + 4, -18 = -p - 3*u for p.
3
Let n be 10/4*52/65. Let s be 10/5 + (n - -1). Solve 2*h = s*h, -5*m + 3*h = -15 for m.
3
Let f(s) be the first derivative of s**3/3 + 7*s**2 + 3*s + 3. Let k be f(-14). Suppose 5*x - 9 = 2*x. Solve -x*j - 6 = k*b + b, 2*j = 3*b - 4 for b.
0
Suppose -29 = 4*a - 5. Let n be (0 - -4)/((-12)/a)*1. Solve m = 4*r + 10, n*r = -3*r + m - 13 for r.
-3
Let o be 4*((-15)/20)/((-6)/28). Suppose 13*l = o*l - 3. Solve 0 = -5*t - y + 17, 0*y + 3 = 3*t + l*y for t.
4
Suppose -2 = -l + 3. Suppose 32 = l*a + 3*w, 3*a - a = -4*w + 24. Suppose -a*u + 45 = u. Solve -u = 3*r + 3*x, 6*r = 3*r + 3*x - 9 for r.
-3
Suppose -17 = 4*v + 5*x - 65, 2*v = -4*x + 24. Solve 4*k - v = 0, 5*k - 7 - 3 = -a for a.
-5
Let l be 216/(-30) + 2/10. Let p be ((-6)/l)/((-30)/(-140)). Suppose y = -3*t - t - 18, 0 = p*y + t - 3. Solve 29 = y*a - 5*b, -a + 5 + 2 = -b for a.
2
Suppose z - 31 - 10 = 0. Suppose 4*o = 45 - z. Solve 3*s + o + 0 = x, -2*s + 1 = x for x.
1
Let d(b) = b**2 + 9*b - 11. Let o(r) = r**2 - r - 1. Let m(v) = d(v) - 2*o(v). Let y be m(9). Suppose -l - 8 = -y. Solve -3*z = s + l, -2*s = 2*z - 4 + 2 for s.
2
Suppose -46 = -9*u - 10. Solve -u*r - 16 = 4*g, g + 4*r + 12 = r for g.
0
Let b = -45 + 79. Solve 2*u + 15 = -v, -4*v - 5*u - b = 11 for v.
-5
Suppose 0 = 13*v + 3*v - 80. Solve 2*i + 10 = -v*c - 3*i, 2*c = 4*i - 16 for c.
-4
Let m(t) = t**2 + 6*t + 8. Let r be m(-5). Let w(q) = q**2 + 4*q - 2. Let z be w(-11). Let k be (-4)/6*z/(-10). Solve -o + 7 = h, -k*h = -o - 20 + r for h.
4
Suppose 2*z + 8 = p - 0*z, 0 = 2*z + 4. Suppose n = -3*o - 85, -2*o - p*n - 11 = 59. Let r = o + 31. Solve 3*d - 3 = -r*v, 3*v = -d - 2*d + 3 for v.
0
Let g(k) = -k**3 + 2*k**2 + 9*k + 1. Let a be g(4). Solve s + 12 + 4 = 4*i, -3*i = -5*s + a for i.
5
Suppose 0*b = -4*x - 2*b + 64, x - 16 = -2*b. Let f = 38 - x. Let i = f + -22. Solve -5*o - 5*n - 20 = i, 0 = o + 3*n + n + 13 for o.
-1
Let w = 6256 - 6253. Let g be 1 - 1 - 4/(-1). Solve 4*a + g*p = w*p + 18, 2*a + 5*p = 0 for a.
5
Let o(z) = -z**2 - 21*z + 4. Let k be o(0). Solve 0 = 4*x - 5*x - 2*n + 3, x = -k*n + 1 for x.
5
Let v(t) = t**2 - t - 157. Let y be v(0). Let z = y + 160. Solve 3*o + 9 = z*p, 2*o + 3*p - 1 = 8 for o.
0
Suppose -19*b = -5*x - 22*b + 57, 3*b - 3 = x. Solve -3*t + 17 = 4*h, h + h = -t + x for t.
-1
Let a = -108 + 112. Solve 0*h + 4 = a*h - 3*x, -h + 2*x = -1 for h.
1
Suppose -k + 7 + 8 = 0. Suppose 0 = 11*l - 6*l - k. Solve -p - l*h = 1, -6*p = -2*p - 4*h + 4 for p.
-1
Let b = -154 + 163. Solve 5*q = -4*f - b - 13, 4*q = 2*f - 2 for q.
-2
Suppose 3*w + 19 = -11. Let z(l) = 530 - 1046 + 526 + l. Let s be z(w). Solve -5*g + s*g = 3*j, 0 = 5*g for j.
0
Suppose -133*l = -143*l - 30. Suppose 2*f = -3*f. Let b = f - l. Solve -o = -p + 7, -b*o + 6*o - p + 15 = 0 for o.
-4
Suppose 4*f + j = 119, 2*f - 4*j = -2*f + 144. Let h = 33 - f. Solve 0 = v + 3*q, 0 = 6*q - h*q for v.
0
Let k = -1135 - -1139. Solve k*g = 6*g + 3*m + 22, -4*g + m - 16 = 