 4*p - s*p - 14 = 0, 5*p + 17 = 3*f for f.
4
Let l(h) = -h - 19. Let a be l(-9). Let p = a + 13. Suppose -p*m + 20 = 2*m. Solve m*k = o + 4, 8*o + 3*k = 3*o + 26 for o.
4
Let s = 7 + -5. Suppose -9*b - 16 = -34. Solve -s*k - b = -4*l - 4*k, -l + 5 = 2*k for l.
-1
Let w be -1*36/(-14) - (-69)/161. Solve 0 = -w*s + 7 + 5, 20 = -b + 4*s for b.
-4
Suppose -5 + 41 = 3*m. Let y be (4 - 0) + m + -15. Let t be 4 + -2 + y + 1. Solve -1 = -t*z + u - 24, 3*z + 3*u + 6 = 0 for z.
-5
Suppose 22 = 3*y - n, 4*y + 5*n - 10 - 51 = 0. Let m be (-3)/y + 510/18. Suppose -23*k = -m*k + 75. Solve 3*i = c + k, -3*i = -2*c - 7*i + 10 for c.
-3
Let g = -283 - -273. Let j(n) = -3*n**2 - 5*n - 2. Let u be j(-3). Let t be u/8*(2 + g). Solve -5*q = -f + 24, 3*q - 1 = 2*f - t for q.
-5
Let v = -494 + 496. Solve -4*r + 12 = -0*r - v*d, 2*d = 4 for r.
4
Let j be 10/3 + 1/(-3). Let m = -54 - -55. Let a be 63/9 + m*-5. Solve -j*u + 7*b - 3*b - 10 = 0, a*b + 8 = -5*u for u.
-2
Let d(a) = a**3 - 5*a**2 + 2*a - 8. Let g be d(5). Suppose 0 = 4*b - b + 5*f - 25, 2*f + 6 = g*b. Solve -4*y = -3*i + b, -7*i + 3*i = -y + 15 for i.
-5
Let y be 3/6 + 30/4. Suppose 7*a - 69 = 85. Let c = a + -20. Solve c*j - y = -3*g - 1, -2*j = -3*g - 13 for g.
-1
Suppose -59 = 4*s - 79. Suppose s*q = 8*q - 15. Solve -q*p = -c + 5, -c + 6*p + 3 = 3*p for c.
0
Let l(a) = a**3 - 4*a**2 + 4*a - 36. Let i be l(5). Solve -3 = 3*n - 3*z, 2*z + i = -z for n.
-4
Let l = 48 - 30. Let p be l + -12 - (-2 + 1)/(-1). Solve o + o + 12 = -3*s, p*o + 11 = 2*s for s.
-2
Let c(m) = m**2 - 6*m + 7. Let x be c(6). Solve -3*g - 2*g + p - 15 = 0, -g = -p + x for g.
-2
Let r = -43 - -48. Suppose 0 = d - r*d + 180. Solve j - 2*q - 13 = 0, 2*j = 7*j - 5*q - d for j.
5
Suppose 4*n - 5 - 7 = 0. Suppose -n*d + 7 = -8. Solve 4*x = -d*k + 2, -k + x = -5*k + 6 for k.
2
Suppose -75*x = -72*x. Solve 2*p = 4*d + 7*p - 31, x = 4*d - 4*p - 4 for d.
4
Suppose -3*d = -2*d - 7. Let x = 21 - d. Solve -2*j - 10 = 5*a, -x - 1 = 3*j + 2*a for j.
-5
Let y(a) = a**2 + 4*a + 3. Let i be y(-4). Suppose -11 = -i*u - 2, -u = -3*z + 12. Solve -2*g + 1 = 4*b - g, z*g - 5 = 5*b for b.
0
Let k = 29 - 7. Let v = 77 + -51. Let m = v - k. Solve 0 = 3*y - 4*y + 2, 5*y - 22 = -m*f for f.
3
Let u = -2167 - -2168. Solve -5*i - 2*a - u = 0, -a + 6 - 5 = i for i.
-1
Let x = 5 + 15. Suppose 0 = -23*n + x*n. Solve 0*v - v + 3*k = 10, n = v - 2*k + 7 for v.
-1
Let f be 21/(-6)*(-2 + 12). Let j = f + 37. Solve 4 = -3*c + 5*t, -t = c - 2*c - j for c.
-3
Suppose -2*l = -3*l + 2*q - 5, 3*l - 2*q = 5. Suppose -88 = l*p - 9*p. Suppose 4*d - 5*h = p + 3, -5 = -2*d - 5*h. Solve 2 - 7 = -r + g, -d*r - g + 7 = 0 for r.
2
Let q = 79 - 77. Solve 7 = -3*k + 2*i, 5*k + i - q + 5 = 0 for k.
-1
Suppose -5*w - 6 + 1 = 0. Let z be -4*(w - (-4)/16). Solve -x - 4*i = 10, 5*x + i + z = 10 for x.
2
Suppose 5*i - 176 + 156 = 0. Solve -2*w - i*q - 22 = -2, q + 19 = -4*w for w.
-4
Suppose -m + 25 = 4*o, 3*o - 9*m + 6*m = 0. Solve 0 = -2*h + 4*p + 14, o*h = -5*p + 8*p + 14 for h.
1
Suppose -3*l - r - 26 = 63, 4*l + 104 = -5*r. Let g = l - -33. Solve -2*m - 2*x - g = 0, 9 = -m + x + 2*x for m.
-3
Suppose -28*m + 131 = 19. Solve -q + m*p - 24 = 0, -3*q - 5*p + 9 = q for q.
-4
Let l(o) = 2*o**2 + o - 5. Let t be l(4). Let w be 52/6 + 38/(-57). Let u be -4*(w/4)/(-4). Solve -u*m + j + j - 6 = 0, 0 = -5*m - 3*j - t for m.
-5
Let y(g) = -27*g + 221. Let h be y(8). Solve 0*j = 2*b - 3*j + 7, 4*b = h*j - 11 for b.
1
Let a = 85 + -83. Suppose a*t + 4*s - 4 = 0, -4*t + 4*s + 2 = -6. Solve 3*i = t*w - 15, 3*i - 5*w = 4*i - 12 for i.
-3
Let d = 442 + -442. Solve 5*g + 3*a - 15 = d, 2*g = 4*a - 2 + 8 for g.
3
Let q(i) = 108*i + 328. Let v be q(-3). Suppose -2*s = -0 - 4. Suppose -3*u + 4 = l, -s*u + 5*l - 20 = 2*u. Solve 8 = 2*z - u*z - 4*m, -28 = v*z + 3*m for z.
-4
Suppose 5*b - 15 = 4*b. Let o be (-179)/(-5) - (-4)/20. Suppose -11 = -2*g + s + o, -5*s + b = 0. Solve -u - 4*w = -0*u + g, 0 = -2*w - 10 for u.
-5
Let q = -345 - -486. Suppose -j = 3*j + 8, 2*j = -5*o + q. Solve 3*a - 4*a = -4, -5*k - a + o = 0 for k.
5
Let o = 1 + 4. Solve -p = a + 5, -4*a + o*p + 7 = -0*p for a.
-2
Let t = 14 + -8. Let n = 2511 - 2511. Solve 2*r = -0 - t, n = -q - r for q.
3
Let a be 3*6/((-18)/(-7)). Solve 0 = -5*f + 4*v + 4, -3*f - 4*v = -a*f for f.
4
Let k be -3 - ((2 - 1) + 2 + -8). Solve 5*u + 35 = -5*r, 4*u + r = k - 24 for u.
-5
Let t = -504 + 507. Solve -2*q + 19 = -5*p, -6 = t*p - 3*q - 0 for p.
-5
Let r(v) = v**2 - 6*v + 9. Let g be 10/4 - 36/(-24). Let b be r(g). Solve 2*i = -3*t - 5 + b, -3*i + t + 5 = 0 for i.
1
Suppose -54 = -5*n - j, -2*n - 25*j + 36 = -21*j. Solve 5*q - n = 0, -3*o - 4*q + 23 = -0*q for o.
5
Let s = -1579 - -1604. Solve -2*p - 5*t = -s, -p + 3*t - 10 = t for p.
0
Let d(m) = 8*m**2 + 4 + 4*m - 3*m - 7*m**2. Let s be d(0). Suppose 0*b + 1 = -3*b + u, 0 = -s*b + 2*u - 2. Solve y + b*j = 5*j - 21, 12 = 4*y + 4*j for y.
-1
Suppose 28 = 2*p - 4*w, -70 = -5*p - 3*w - 2*w. Solve 6*r - p = 3*r - 2*o, 0 = 5*r - 5*o + 10 for r.
2
Suppose 882 = -7*o + 1078. Solve 4*g - 5*s - 1 + 6 = 0, -5*g - o = s for g.
-5
Let h(n) = -n**2 + 19*n - 68. Let r be h(5). Solve -2*c - 3*y = 6 - 0, -8 = r*y for c.
3
Let n be 3/9*0 - (-28 - -26). Solve n*u = u + 5, 5*c + 35 = 3*u for c.
-4
Let v = -4 + 7. Let q be (4/6 - 0) + 899/87. Suppose 4*r - 4 = 5*o + q, o - 21 = -4*r. Solve -4*s - c - 4 = 0, -s + v*c - c - o = 0 for s.
-1
Let c(m) = -m**2 - 9*m + 15. Let o be c(0). Suppose 2 = 2*i - 4. Suppose -2*y - 3*v = -10, v = i*y - 3*v - 15. Solve 0 = -y*p - o, 3*z + 2*p = p for z.
1
Let h be (-10)/(-85) + (-24)/204. Suppose 2*p = -r + 7*p + 27, -3*r - 5*p - 19 = 0. Solve 0 = -2*u - r*n + 4, h*u = 2*u - 2*n - 4 for u.
2
Let p(r) = 2*r**2 - 4*r - 3*r**2 + 3*r**2 - 4 - r**2. Let w = -24 + 29. Let g be p(w). Solve 4*q + 7 = -5*d + g, -d + 3*q + 14 = 0 for d.
2
Let b be 5*18/12*2. Solve -b = -5*z + 2*x, 0 = -4*z + 4*x - 0*x for z.
5
Suppose -z - 1 + 3 = 0. Suppose -z + 12 = 5*l. Suppose -2*v + 12 = l. Solve -2*r + 5*a = 27, -5*r - 49 = -v*a - 19 for r.
-1
Suppose 0 = q, -m + 8*q = 3*q - 5. Solve 5*s - 11 = 3*j, 3*s + 3 = -m*j - 4 for j.
-2
Let g = -6 + 6. Suppose g*a = 2*j - 2*a - 6, 2*j + 3 = 5*a. Let h be (-2)/3 + 40/15. Solve -3*k + 2*u - j*u + 14 = 0, -h*u = 5*k for k.
-2
Let i be (-24 - -20) + (8 - -1 - 0). Solve -6*k - 2*z - 14 = -4*k, i = -2*k + z for k.
-4
Let n = -92 - -97. Solve -4*y - 2*p = 0, n*p = 3*y + p for y.
0
Suppose 0 = 4*j - 11 - 13. Let y(w) = -1. Let s(x) = 6*x + 42. Let b(d) = -2*s(d) + 6*y(d). Let l be b(-8). Solve -3*f - 5 = 4*g, 2*f + 4*g - l = j*g for f.
1
Suppose -6*z + 11 = -7. Solve x - 11 = -m - 2*m, x = z*m - 1 for m.
2
Suppose 5*k = x - 9 + 31, 4*x = 3*k - 3. Solve -4*a = 3*d - x*a + 13, -4*a = -2*d - 4 for d.
-4
Suppose -2 = 8*q - 10. Solve p + 0 - q = 0, 2*p + 4 = 3*y for y.
2
Let a be (38 - 20)*2/12*2. Suppose -6 = -6*j + a. Solve -j*l + l = -3*u - 12, 4*u = 4*l - 16 for u.
-4
Suppose 3*a + l = 13, 0*a - 9 = -a - 5*l. Solve -5*m - 4*b = -8*m - 6, 4*b = -a*m - 8 for m.
-2
Let u = -253 - -177. Suppose 5*s = 2*s - 162. Let q = s - u. Solve -2*k + 6 = -h + 1, q = 4*k + 2*h for k.
4
Let t be 4 + 0 - (1 - 0). Let k(s) = -s**2 - 26*s + 6. Let g be k(-24). Suppose 0 = g*b - 50*b - 16. Solve -z = z + t*o - 4, -b*o = -z - 20 for z.
-4
Suppose d = 6 - 1. Let j(m) = m**2 - 9*m + 15. Let h be j(9). Suppose 22 - 1 = -2*b + 5*s, s = 5. Solve -v + b = -a, d*v - 13 - h = -4*a for v.
4
Let k = 133 + -132. Suppose k = -5*m - 4*f, -3*f + 2*f - 4 = 0. Solve -5*h + 4*i = -0*i + 1, -7 = m*h + 4*i for h.
-1
Let a(h) = -h**3 + 5*h**2 + 10. Let x be a(5). Suppose -29 = x*j - 11*j. Let g be j/(-1 - -1 - -1). Solve 0 = 5*s + 5*p - p - g, -4*p - 11 = -3*s for s.
5
Let x(z) = -2*z - 19. Let h be x(-11). Let f be 2/(-3) + 11/h. Suppose 1 = -2*w - m, f*w = -w + m + 13. Solve w*p = -4*n + p + 16, 4*p = -2*n + 22 for n.
3
Suppose -c + 7*c = -180. Let n = 34 + c. Solve -n*k + 3*o = 24, 2*k + 4*o - 22 = 4*k for k.
-3
Suppose 2*u + 0*u = -o + 80, -2*u + 100 = -4*o. Suppose -u - 42 = -14*j. Let c(s) = s + 6. Let h be c(6). Solve -v + j*v + 7 = -3*m, -4*m - h = 4*v for m.
-4
Let x(q) = 2*q**2 - 2*q. Suppose 3*o = 11 - 5. Let s be x(o). Suppose -f - 2 = s*f + 2*y, y + 1 = 5*f. Solve 0 = -4*d - 16, -4*l + f*l + 4*d + 36 = 0 for l.
