
0
Suppose 5*a + 6 = 51. Let f = 12 + -7. Suppose -4*j = -f*j. Solve 4*x + a = 3*h, 2*h - x - 6 = -j*h for h.
3
Let x be (-1)/7 - (-203)/49. Solve 0*u = -4*u + 2*n - 10, x*n = -u - 16 for u.
-4
Suppose 8*w + 3*w = 132. Let n(s) = -s**3 + 5*s**2 - 3*s - 3. Let m be n(3). Solve -3*d = 2*p + w, -p = d + m - 2 for p.
0
Let o(d) = d**2 + 6*d - 10. Let v be o(-8). Suppose 0 = -5*y - 5*b + 40, -220*b = 3*y - 221*b - 44. Solve 2*i - 20 = v*i, 0 = -w - 3*i - y for w.
2
Let n be (-4 - -6) + -1 - 3. Let t = 0 - n. Solve 0 = -3*q - 5*p - 2 - 2, -4*p - 12 = -t*q for q.
2
Let h be ((-6)/(-18))/((-3)/(-72)*4). Solve 5*q - 3*s + 2 = -4*s, -h*q = -4*s - 8 for q.
0
Let b = 119 + -82. Suppose -i = -n + 2, 3 = n + 3*i - 7. Suppose -4*h + 3*y + 1 + 1 = 0, -3*h = -5*y + n. Solve -w = -h*f - 5, -b = 4*f + 2*w - 7 for f.
-5
Let o(f) = f. Let r be o(2). Suppose -r*s + 5 = -s. Suppose -2*y = -a - 1, 3*y + 3*a + 3 = 2*y. Solve -2*k = 5*d + 20, 5*d + 35 = -y*d - s*k for d.
-2
Let f(p) be the first derivative of -p**2/2 - 2*p - 2. Let a be f(-6). Solve -3*w + 4*g - 20 = -g, -8 = a*w - 2*g for w.
0
Let z(y) = y**2 - 6*y + 3. Let o be z(6). Solve o*q = 4*a - 3, -2*a + a - 8 = q for a.
-3
Suppose 0 = -i + 4*h - 6 - 11, 2*i + 14 = 4*h. Solve 4*a = 8, -2*v + i*a - 2*a - 4 = 0 for v.
-1
Let k be 2/(-3)*(-19 + 13). Let j be (-3)/k + (-69)/4. Let g = 24 + j. Solve 10 = -2*w, -g*s - 3*w - 27 = -2*s for s.
-3
Let p(c) = -27*c - 23. Let u be p(-1). Solve -7 = g + u*f, -4*f = -0*g - 5*g + 37 for g.
5
Suppose -175*v - 198 = -193*v. Solve -s + 2*d + v = 0, 0 = -10*s + 5*s - d for s.
1
Let k(z) = -z**2 - 5*z + 86. Let m be k(-12). Solve s = 2*j + 4, m*j + 0*s - 4*s = 2 for j.
-3
Let g = 1230 + -1225. Solve 2*h - 5*r + 3 - g = 0, r = 0 for h.
1
Let r(v) = -v - 1. Let l be r(-1). Let i be (-1 + 4)/(-4 + 3). Let k = l - i. Solve 0 = -4*t + t + k*s - 12, -4*s + 15 = -3*t for t.
-1
Suppose 4*k - 8 = 0, 5*r - 70 + 9 = -3*k. Solve 0*v = v + 3*f + 8, 2*v + f + r = 0 for v.
-5
Let d = 29 + -41. Let q = 17 + d. Let j be 26/6 - (-36)/(-108). Solve o - 4*g = -q, j*g = 2*g for o.
-5
Let q = -14 - -24. Let y(b) = b**3 + 7*b**2 + 6*b + 3. Let v be y(-6). Suppose 0 = v*h + 2*h - q. Solve h*t - j = 14, 24 = 5*t - t - j for t.
5
Let t be (4/((-60)/25))/((-10)/36). Suppose 4*m + t - 28 = -2*r, -3*r + 4*m + 3 = 0. Solve p = r*x - 19, -2*p = -0*x - 4*x + 14 for p.
1
Suppose -208 + 216 = 4*o. Solve a + u = -2, -o*a + 6 = -6*a - 3*u for a.
0
Suppose 5*x - 80 = -2*h, 0 = 4*x + 4*h - 26 - 38. Solve 2*i = 4*t + 16, 0 = -0*t - 2*t - 3*i - x for t.
-5
Suppose 0*o - 2958 = -6*o. Let v be (-1)/(-2) - o/(-34). Solve -2*d - d - q = v, 5*d + 4*q + 32 = 0 for d.
-4
Let l = -384 + 386. Solve -l*b = 5*u, 5*u = 5*b + 2*u for b.
0
Suppose -38 = -2*g - 17*g. Solve -h + 0*h = -l + 4, -3*h - 9 = -g*l for h.
-1
Let p(v) = -35*v + 2. Suppose 13 = -3*k + 1, m + 3 = -k. Let w be p(m). Let a = w - -37. Solve 0 = -a*s + 2*t + 22, -s + 2*t = 2*s - 19 for s.
3
Let q(f) = 41*f. Let u be q(2). Let g = -81 + u. Solve -2*r = -3*r - o - g, 16 = 4*r - o for r.
3
Let w be (-6)/5*110/(-33). Let i be (3 - w) + (0 - -1). Solve 0 = 2*h - 5*g + 21, 5*h + g = -i*h - 12 for h.
-3
Suppose c + f = -1 - 2, -c - 13 = 3*f. Suppose -12 = -2*p - c*p. Suppose -3*a + 5*n - 20 = 0, 4*n = 2*a + 14 + 2. Solve -5*u = -4*r, a = -4*u - 2*r - p*r for u.
0
Let u(k) = 9*k - 8. Let o be u(7). Let t = o - 35. Suppose 3*j = -4*w + 25, 5*j - 2*w + 7*w = 35. Solve -t = -4*g, m - j*g + 23 = 5*m for m.
2
Let h = -303 + 309. Solve 2*d + 4*s + h = 0, -4*s - 2 = 10 for d.
3
Suppose 0 = -2*u + 5*u - 6. Let j be 3*3 - 0/u. Solve -3*i = p - 13, 3*p + 3*i - 6 = j for p.
1
Let i be (-2)/(-9) - 4200/189. Let g = -7 - i. Solve -4*y + d + 3 = 0, y + g = -y - 5*d for y.
0
Suppose -2*b - b + 6*b = 0. Let h be b - (-660)/54 - 2/9. Solve -2*o = -2*z, -3*z - o + 0 - h = 0 for z.
-3
Let o(f) = f**2 + 9*f - 10. Let c be o(-10). Suppose c = n - 3*n + w - 4, 12 = n + 3*w. Solve 3*s - 4*i + 26 = n, -5*s + i - 30 = -3*i for s.
-2
Let l be 1/(-2)*(5 + -3). Let i be 12/8*(-2)/l. Let t = -89 + 91. Solve -3*q - q - t*s = 10, -5 = -q - i*s for q.
-4
Suppose 78 = 4*s + 3*v, -2*s = v + 4*v - 32. Let p be 36/(-21)*1/(3/(-21)). Let c = s - p. Solve -3*h + z = 3*z + c, 11 = -5*h - 2*z for h.
-1
Let w = 1955 - 1952. Let u(x) = -x + 6. Let s be u(6). Solve -3*r + w*b = -21, s = -7*r + 3*r + 5*b + 31 for r.
4
Let i(o) = -42*o**2 - o - 1. Let h be i(-1). Let y = -33 - h. Solve -w + b = 7, -2*b + y = b for w.
-4
Suppose -12 = -k + 2*u, -9*u + 12*u = -5*k + 21. Solve -5*m - 25 = 4*i, m - 25 = k*m + 2*i for m.
-5
Suppose -5*z + 9 = -11. Let f(w) = -w**3 - 6*w**2 - 8*w + 5. Let x be f(-4). Solve -5*t - 30 = -z*i, 5*t = 5*i - 40 + x for t.
-2
Let t = 527 + -523. Solve c = -q - 5, 14 = -t*q - 0*q - 2*c for q.
-2
Suppose -30*f = -40*f. Solve -i = t - 5, f*i = 5*t - 5*i - 15 for t.
4
Let o(d) = -29*d**3 - 4*d**2 - d + 1. Let j be o(-1). Solve 5*m + 15 = -4*y - 2, -5*m + y - j = 0 for m.
-5
Suppose 50 = 4*y + 18. Let t = 571 - 529. Let s be (-3)/12 + t/y. Solve 0 = -c + 3*a - 11, -s*a - 4 - 6 = 4*c for c.
-5
Let b = -104 + 104. Suppose o = -5*p + 54, p - 3*o = 5*p - 52. Suppose -5*v - 2*d - p = b, -d = -4*v - 0*d + 5. Solve v = 2*s - 3*a + 11, -3*a - 1 = -4 for s.
-4
Let g = 37 - 19. Let u(n) = -n**3 - 11*n**2 + 6*n + 162. Let v be u(-10). Solve v*k - 5*s - 1 = k, 0 = -4*k - 2*s - g for k.
-4
Suppose i - 4*v = 45, -13*i + 9*i + 3*v + 128 = 0. Let c = -6 - -9. Solve k - 16 = -4*x, -c*x = -8*x + k + i for x.
5
Let s be (-2)/(-5) + (-5)/(-50)*56. Let g = -1 + s. Solve -5*p - 5*i + g = 0, -5*i + 9 = 3*p + 2 for p.
-1
Let u(k) = 15*k - 60. Let z be u(4). Solve 0 = -2*j - f + 6, z = 2*f + 9 - 13 for j.
2
Suppose -41*r - 35 = -240. Solve 4*m + 28 = -4*w, r*w + 4*m - 3*m + 23 = 0 for w.
-4
Suppose 87 = 3*n + v, 6*n - n - 4*v = 128. Let w = 36 - n. Solve -q + 2*o + w = 0, 4*q = 3*o + 1 + 6 for q.
-2
Let s = 11 - -48. Let w = s + -57. Solve l = w*l + 5*k - 14, -2*l - 5*k = -13 for l.
-1
Let h = 1724 + -1722. Solve -3*b + h*z = -4, -3*b + 5*b - 6 = 3*z for b.
0
Let o = -52 + 49. Let m be (2/1 + -3)/1 - o. Solve -k = -4*t + m*t - 8, -4*k = -2*t - 14 for t.
-3
Suppose 5*y = 3*y + 62. Let f(o) = o**3 - 4*o**2 - 3*o - 6. Let l be f(5). Suppose v - 13 = q + q, l*q = 3*v - y. Solve -4*a - 15 = -v*w - a, 3*w - a = 5 for w.
0
Let f = -31 + 49. Let v = f - -5. Suppose -d - 28 = -4*o - 5*d, 2*o - d - 8 = 0. Solve -2*z = 5*s - v, 7 = -z + o*s - 4 for z.
4
Let c = 111 + -239. Let a = c - -130. Solve g - 1 + 10 = 2*i, -2*i + a*g = -8 for i.
5
Suppose -24 - 64 = -88*i. Solve 0 = -h + 2*g - 4, -4*g + 5 = -h - i for h.
-2
Let d(p) = p**3 - 2*p**2 - 2*p + 4. Let y be d(2). Solve y*r + 3*r = 2*k - 18, -5*k + 5*r + 35 = 0 for k.
3
Let l be (-3)/(-3 + -9) - 30/(-8). Solve -5*m - 29 = -l*t - 1, 0 = -3*t + 4*m + 22 for t.
2
Let y(o) = 9*o**2 + o - 1. Let u be y(1). Let m = 13 - u. Suppose -m = -4*l - 0. Solve -5*s - 4 - l = 5*f, -2*f = s + 5 for f.
-4
Suppose 4*f - 3*b - 35 = 0, 5*f + b + 0 = 20. Solve 5*m - y = -8, -f*m - 6 = -2*y - 0*y for m.
-2
Let l = 681 + -677. Solve 5*z + 0*z + 18 = 2*c, -z = l*c - 14 for z.
-2
Suppose -4*l - 17*k + 16*k + 102 = 0, 3*l - 3*k = 69. Solve 0 = -5*m + l, 3*m = -5*v - 0*m + 15 for v.
0
Suppose 8*o = 28*o - 60. Solve w + o*r - 19 = 5*w, w + 3*r = 14 for w.
-1
Let j = -163 - -213. Let d be 45/j*(-4)/(-3)*5. Solve -5*b = z + 28, -z = -d*z + 2*b - 5 for z.
-3
Let b = 120 + -231. Let d = -59 - b. Suppose 3*f - 7*f = -d. Solve 0 = -v + 5*y - f, 4*v - 3*v = -2*y + 8 for v.
2
Let a(q) = q**3 + 13*q**2 - 3*q - 35. Let z be a(-13). Solve 2*d + z*w + 2 = 0, 5 = -0*d - 3*d - 4*w for d.
-3
Let j be 1*((-4)/14 + 34/119). Suppose -t + 14*t = j. Solve 0*s + 5*s - 3*g + 19 = t, 4*g = 12 for s.
-2
Let f be 24/6 + -5 + 4. Solve 5*d + 0*l - 10 = -f*l, 2*l + 10 = 5*d for d.
2
Let n(r) = 7 + 4*r - 1 - 6*r. Let h be n(0). Let p be (-6)/5*30/(-9). Solve -3*s = -i - 6 - 1, p*s - 3*i = h for s.
3
Suppose -5*c + 22 = 5*q + 7, 2*q - 4 = -c. Let j = 531 + -529. Suppose -16 = -6*r + 2*r. Solve -r*a + j*a - c*p = -4, 5*a = p + 22 for a.
4
Suppose 26 + 230 = 64*x. Solve 3*p = -4*j - 16, -p - 4*p + 16 = -x*j for j.
-4
Let i be (-8 - 0)/(8/(-36)). Let d = i + -17. Suppose -d = -5*j - 4. Solve 3*p = j*q + 27, 0 = -3*q - q - 4*p - 4 for q.
-5
L