 = 5*p - 2*g + 12 for p.
-2
Let b(s) = 19*s**2 + s - 1. Let h be b(1). Let c = -12 + h. Suppose 0 = 2*d + 5*o - 27 - 14, 0 = -4*d + 5*o + c. Solve -a + 4*j = -3*a + d, 0 = a + j for a.
-4
Suppose -4*t - m + 21 = 0, -2*t + 17 + 11 = 4*m. Suppose -t = -5*p + 1, -5 = -u - p. Solve -u*c - k = 13, 5 = -4*k + 1 for c.
-3
Let k be (1*(-24)/14)/(4/(-42)). Solve -4*q - 16 = 5*d - 0*d, 4*d - 2*q + k = 0 for d.
-4
Let m(b) = b**2 + b - 3. Let g be m(-3). Suppose z - 6 = g. Solve 2*r + z = l, -2*r - 2 = -r + 2*l for r.
-4
Let j = -49 - -69. Suppose i = -3*h - 1 + j, 4*i + 29 = 3*h. Solve -4*g + 4*m + 31 = -g, -g - 3*m = h for g.
5
Suppose 55 = -2*a + 13*a. Solve 2*z + a*w - 12 + 37 = 0, z = 5*w + 25 for z.
0
Let j = -144 + 147. Solve -2*h + h = 2*s, -5*s - h + j = 0 for s.
1
Let p(h) = -2*h**2 + 4*h**2 + 0*h**2 - h**2 - 3 - 2*h. Let n be p(4). Solve n*y = m + 4*m - 5, 24 = 3*m + 4*y for m.
4
Suppose 4*t + 0*x - 3*x - 139 = 0, 2*x + 179 = 5*t. Suppose 2*f + t - 7 = 0. Let k be (4/5)/((-6)/f). Solve -k*i = 3 + 1, 0 = -2*v - i - 8 for v.
-3
Let v be 2/5 - 36/(-10). Suppose -29 = -5*d - 0*d - v*s, -2*d = -2*s - 8. Suppose 0 = 4*o - 209 + 189. Solve d*k - 10 = -4*u, o*k = -5*u + 10 - 0 for k.
2
Let f be (-12)/9*(-3 + 0). Solve 3*t - 9 = y, f*t - t = 3*y + 3 for t.
4
Suppose -15*q + 30 = -5*q. Solve 2*d - 2*h + 2 = -0*h, -d + q*h + 5 = 0 for d.
-4
Let p = 6 - 14. Let c be 68/p*-2*1. Solve -5*f - h = -c + 2, 2*h = -4*f + 18 for f.
2
Let d = -12 + 20. Suppose -i + 5*q + 14 = 0, d = 5*i - i + 4*q. Solve 0 = i*f - 4*g + 20, 0*f - 2*f + 5*g - 22 = 0 for f.
-1
Suppose -1 = r + 4*g, -4*r + g = -4*g - 17. Suppose 20 = 2*z + 4*o, -3*z + 24 - 3 = r*o. Solve -4*h + 0*p = -2*p + 28, z*h + 16 = -p for h.
-5
Suppose 3*s = 5*i - 15, -3*s = -5*s. Solve 2*n = -n + i*g - 15, -n = -4*g + 20 for n.
0
Suppose 17*b - 24 = 11*b. Suppose -2*r + 7 = 3*c - 9, -r - c = -7. Suppose r*l + 1 = f - 4, b*l + 20 = 4*f. Solve i = 3*t - 4*t, 0 = f*i - t for i.
0
Suppose 2*v - 15 = -3*v. Solve -4*h = 2*x + 2, -h - v*x - 14 = 2*x for h.
1
Suppose 0 = -2*d - 3*d + 35. Suppose d*h - 2*h = 25. Solve m = -o + 6*m - 13, -5*o - h*m + 25 = 0 for o.
2
Let t = 0 - -7. Suppose 5*s + 14 = o + 3*s, 3*s = 5*o - 63. Let g = o + -9. Solve g*r - t = 2*q, 2*q + 8*r + 1 = 5*r for q.
-2
Suppose 2*g = -3*i + 7, -4*g - 10*i + 9 = -9*i. Let m be (-1 + 4)*(-32)/(-6). Solve m = -2*q - 2*h, g*h = -6 - 0 for q.
-5
Let x = 5 - 6. Let w be 25/15 - x/3. Solve 5*q - w = -2*o - 5, 5*o - 2 = -3*q for q.
-1
Let w be 22/8 - (-1)/4. Solve g - 2*g + 5*u - 16 = 0, -4*u + 28 = w*g for g.
4
Suppose 4*q - 1 = -3*i + 1, -20 = -5*q + 5*i. Suppose -5 - 3 = -2*j. Let s = 8 - 5. Solve 2*b - q*f = 0, s*f + j - 2 = b for b.
-1
Let v(o) = -o**2 + 7*o + 11. Let t = 20 - 12. Let w be v(t). Solve 3*g - 20 = -5*a, 7*g = w*g + a + 19 for g.
5
Suppose o = 2*l + 6, -4*o + l = o - 48. Suppose -g = f - o, 3*f + f = 5*g + 31. Solve -4*i + 2*q = 26, 0*q + 5*q - f = -4*i for i.
-4
Let r be 90/(-15)*10/(-6). Solve 0 = -2*x - r, -12 = -w + 2*x + 1 for w.
3
Suppose -3*b + b = -6. Let k(z) = z**2 + 1. Let w be k(b). Solve 2*t = 4*o - 22, -t + 0*o + w = 5*o for t.
-5
Let i(m) = -m - 2. Let b be i(-6). Let o be (-21)/(-6)*4/2. Suppose 0 = -o*q + 5*q + 8. Solve g + b*c - 23 = 0, q*c - 13 = 2*g + 1 for g.
3
Let o be 4 + (0 - 4/4). Suppose c = -o*c + 20. Solve 3*l - 3*g + 1 + c = 0, 2*l + 8 = 4*g for l.
0
Suppose -26 = -4*d + 2*d. Let z be 5 + (1 - 2 - -1). Let a be z - (1 - (1 - 0)). Solve 5*m + 2*o = -2*o + d, -m + a*o = 9 for m.
1
Suppose -4*f - 4*a + 3 = -5, -a = 2*f - 5. Solve 8 = -0*j - 2*j, f*v + 17 = -5*j for v.
1
Let f = -3 - -5. Suppose -4*a = 5*r + 14 - 1, -2*r - 10 = 0. Suppose 0 = 5*y - a*n - 3, -f*y + 5*y - 1 = 2*n. Solve -2*k - s = 0, 2*s - 3*s + 10 = -y*k for k.
-2
Suppose 2*n + 3*n = 2*i + 97, -4*i + 121 = 5*n. Solve -4*m + n = -m + 3*a, -3*m = -4*a - 7 for m.
5
Suppose 3*b + 2*g = 4, -3*b + 8*b = -2*g + 12. Suppose -1 = b*q + o + 2*o, -o = 4*q - 5. Solve -2 = -3*v + q*u - 1, 0 = v - 4*u - 17 for v.
-3
Suppose v + 0 - 12 = 0. Let g be 82/8 - 3/v. Solve 5*p = n - g, -n + 5 = -3*p - 1 for n.
0
Let u be (3/(18/4))/((-62)/(-279)). Let n be 6/4*4/3. Solve 0 = 5*m + 20, 3*i + u*m + n + 7 = 0 for i.
1
Let w(h) = -h - 10. Let f be w(-18). Solve u - 2*k = -u + f, 2*u + 5*k = -27 for u.
-1
Let d be 0 - ((-10)/2 - -1). Solve -3*z = -b - 2*b, 5*b = d*z + 1 for z.
1
Suppose -5*v - 2 = 2*z + 2, 0 = 2*z + 3*v. Suppose 5*a - 8 = z*a. Let s(b) = -2*b - 5. Let t be s(-4). Solve 24 = -y + 5*d, t*y - a - 4 = -d for y.
1
Let a(w) = -6 + 0*w**2 - w**2 + 10 - 14*w. Let n(t) = -4*t + 6. Let l be n(5). Let d be a(l). Solve 2*k + 5*p + 13 = -2, p = d*k - 3 for k.
0
Let j(c) = -4*c - 1. Let v(k) = -k. Let y(m) = j(m) + 2*v(m). Let p be y(-1). Solve 0 = -p*w - 2*x + 1, -x + 3 = -0 for w.
-1
Let b(q) = 2*q**2 + 2*q + 6. Let f(p) = 1. Let z(k) = b(k) - 5*f(k). Let j be z(-2). Solve -24 = j*w + i, 0*w + 3*i - 18 = 3*w for w.
-5
Let c = 11 + -10. Solve -g - 25 = -0*g + 5*r, -g + r - c = 0 for g.
-5
Let k(i) = -i**3 - 8*i**2 - 6*i + 9. Let t be -4 - (3 + -1 - -1). Let y be k(t). Solve -4*u = y*c - 24, -5*u + c - 6*c = -35 for u.
5
Let c(i) = 4*i**3 + i**2 - i + 1. Let r be c(-2). Let o = 37 + r. Solve -z = -3*m - 0*m + 3, 4*z - o = 0 for m.
2
Suppose 0 = 4*d + y - 5*y - 72, -3*d - 3*y + 54 = 0. Suppose 3*v + d = 2*i, 3*i - 3 = -v + 2. Solve 2*b + 35 = 7*b - 3*w, 4*w + 8 = -i*b for b.
4
Let f(s) = 2*s + 20. Let q be f(13). Solve -5*m - 5 + q = 4*v, 0 = 4*v - 2*m - 6 for v.
4
Let j(b) = -b - 20. Let y be j(-22). Solve m - y*m - 2 = p, m = 5*p - 8 for m.
-3
Let v(m) = -3*m - 33. Let q be v(-11). Solve d + 4*n - 20 = q, n - 4 = -2*d + 2*n for d.
4
Let x = 9 - 5. Suppose 3*w - x*y = 6*w - 17, 0 = 2*y + 2. Solve -u - 1 = -v, 0 = -5*v + 4*u + w + 1 for v.
4
Suppose -2*g = 4*q - 7*q - 84, g = 4*q + 47. Let y = g - 6. Solve -5*p - 5*m + y = -m, 2*p = -2*m + 14 for p.
5
Let o(w) = -w**2 + 3. Let u be o(-3). Let c(f) = -f - 4. Let x be c(u). Solve -x*y - 3*s = -4*y - 7, -2*y - 5 = -s for y.
-2
Let f be 1 + (-6 + 4)/(-1). Let d be 2 - 0/1 - -1. Solve -i + 8*o + 1 = d*o, 0 = -f*o - 3 for i.
-4
Suppose -j + 2 = 2. Solve 5*n - r + 12 = j, n + 0*n - r + 4 = 0 for n.
-2
Suppose -3*f + 15 = 3*z, 4*f + 41 = 4*z + f. Let n = -5 + z. Solve 4*l - 23 - 2 = -5*k, l = n*k + 2 for l.
5
Let c(m) = m**3 + 2*m**2 - 4*m + 1. Let a be c(-3). Solve -3*g - 23 = -4*j, a*j = 2*j + 3*g + 19 for j.
2
Let o(s) = 2*s**2 + 2*s + 1. Let x be o(-2). Let l(h) = -2 - x + 3 - h. Let p be l(-4). Solve p = 2*r + 4*z - 11 + 27, 2*z + 8 = 0 for r.
0
Let n be 2*1/(-5) + 410/25. Solve 2*z = -3*k + n - 0, 15 = 3*z for k.
2
Let x be (-3 - 1)/(8/(-12)). Let a be x*2*(-2)/(-4). Solve -4*d + 8 = -2*h, -2*h - d - a = -4*d for h.
0
Let z be (-2)/1*1/2*-2. Solve a - 11 = -3*x, x - 4*x = -z*a - 23 for a.
-4
Let w be 1/(-1) + (-1)/(-1). Let f(t) = t**2 - 3*t - 14. Let h be f(6). Solve w = -2*p + 6*p + 2*l + 10, 4*p + h*l = 0 for p.
-5
Let m = 4 + -2. Let u(h) = 2*h**2 - 4*h + 2. Let g be u(m). Suppose 0 = -v - g*v + 51. Solve -4*n = 5*a + 21, 3*a = -0*n + 2*n - v for a.
-5
Suppose 3*z + 0 = -4*n - 12, 4 = -3*n - z. Solve -5*i = 5*a - 25, -3*i + 3 = -n*a - a for i.
2
Let o = 36 - 27. Suppose 0 = 2*z - 3 + 13, -m + z + 3 = 0. Let i(b) = b**2 + 1. Let w be i(m). Solve p - w = -2*d, -p + 2*d = 5*d - o for p.
-3
Let d be 1*((9 - -1) + -5). Solve -2*g = 6*x - x - 31, 2*g - d*x = -19 for g.
3
Suppose 0*k - 24 = -4*k. Solve -5*x + 1 = o - 2*o, k = 2*o - 2*x for o.
4
Let k(m) = -m**2 + m + m**2 + m**2 - 9*m**3. Let h be k(-1). Let f be (2/1 - -1) + h. Solve 3*z + z - f = 0, -3*z + 9 = -3*p for p.
0
Let f = 7 + -4. Solve 30 = 2*h + 4*r + 10, 0 = -4*h - f*r + 20 for h.
2
Let s = 4 + -4. Solve 0 = 5*i + 3*k + 3, 0 = -3*i - 3*k - s*k - 3 for i.
0
Let i = 176 - 173. Solve i*o = 3*h + 15, o = -4*h + 2*o - 11 for h.
-2
Let b = -12 + 8. Let f(g) = -g + 5. Let m be f(b). Suppose -3*z = -5*k - 7*z + 35, -k - 4*z - m = 0. Solve 9 + k = -2*p + 4*y, 0 = 2*p + 3*y - 15 for p.
0
Suppose -2*m - 4*p = -0 + 8, 4*m - 5*p = 23. Suppose -4*j + 21 = -3*r + 2*r, -3*j + m*r + 22 = 0. Solve d + 0 = w + 1, 16 = j*w for d.
5
Let k = 8 + -6. Let x(h) = h. Let z be x(-2). Let d be (-39)/z - k/4. Solve 3*p - 4*l + 5*l = 16, 0 = -3*p - 4*l + d for p.
5
Suppose 6*c - 3*c - 11