 -2*p + 24 for p.
-4
Let m(p) = -15*p**2 - 92*p - 9. Let a be m(-6). Solve 3*w = a, 0 = -2*r + 4*w - 7*w - 7 for r.
-5
Let i be 0/(-1) + 2 + -2. Let r be i + -2 + 3 + 4. Let g = 49 - 32. Solve 3*y + r = 4*t + g, -2*y = -t - 3 for y.
0
Let h(v) = v + 16. Let i be h(-11). Suppose -i*t - 2 = -4*o + 4, 4 = 4*t - o. Solve 7 = -p + n, t*p - 7*p + 4*n - 30 = 0 for p.
-2
Suppose 4*j - 19 + 7 = 0. Let k be (-5 - -2) + j/1. Solve k = 4*r - 4*c - 16, -26 = 4*r + 5*c - 6 for r.
0
Let a = -94 + 94. Solve -2*n = 3*g - a*g - 12, -g = -n + 1 for g.
2
Let d = -4 - -6. Let j be -9*5/(-6)*d. Suppose -z + j = o, -o - 3*o - 3*z = -64. Solve 5*t + 2*w = 3, 4*w = -3*t + 6*t + o for t.
-1
Let b(y) = y**2 + 12*y - 5. Let x be b(-12). Let g be x/((-10)/(-4) + -3). Solve k - 4*a = -15 + 2, -k = -3*a + g for k.
-1
Let s be 10 - 15 - 0/2. Let t = 10 + s. Solve 4*o + u - 19 = -0, -u = -2*o + t for o.
4
Let y be (-18)/(-5) + (-2)/(-5). Solve -5*a + 4 = 2*f, -y*f - f = 2*a - 10 for a.
0
Let k be (-2)/(-7) + 104/28. Suppose -6 + k = -u. Solve 2*o - u*l = -18, -2*o - 16 = 2*o + l for o.
-5
Suppose 0 = 2*s + s - 6. Suppose 0 = 3*t + s*t - 15. Suppose -14 = -2*u + t*m + 8, -5*u + 29 = -m. Solve -u = -v, -9 = y - 0*v - 2*v for y.
1
Let q be 8 + (0 - (1 + 1)). Solve -c + 4*t + 17 = -4*c, q = -3*t for c.
-3
Suppose -4*b + 5*p + 3 = -5, -3*b = -4*p - 6. Suppose -b*h + 24 = -26. Solve -5*k = -5*w + h, 13 - 5 = 2*w for k.
-1
Suppose -2*n - n = 3*v + 3, 0 = -5*v - 15. Suppose -n = -5*b + 18. Let z = -14 - -16. Solve 0 = b*c - 2*r + 10, 3*c + z*c = -3*r + 4 for c.
-1
Suppose 0 = -2*o - 3*r - 8, -2*o - 3 = -o + 2*r. Let s = 9 + o. Solve 3*l = 2*p + 4, s*p + 4*l = -7 - 11 for p.
-5
Let s(w) = -4*w**2 + 7*w + 7. Let v(b) = 3*b**2 - 6*b - 6. Let y(f) = -6*s(f) - 7*v(f). Let c be y(1). Solve -c*d + 5*o - 30 = 0, -3*d - 2*d - 13 = 4*o for d.
-5
Suppose 45 = -0*y + 3*y. Suppose -3*f = -1 + 10. Let m be 5 + (-3 - (1 + f)). Solve -4*b = -m*p, -5*b + 10 = -y for p.
5
Let m = -32 + 35. Solve 2*u = -x - m - 4, -x + 4*u = -11 for x.
-1
Let d = -1 + 1. Let q be (-2 - -1 - d) + 1. Suppose -4*u + 3*v - 1 = 0, 4*v - 15 = -v. Solve -3*s + p + 10 = u*p, 5*s - p - 14 = q for s.
3
Suppose -q - 3*q - 4 = 0. Let m = 3 - q. Solve -d - 3*d - 12 = -m*a, -2*a = -5*d for d.
2
Suppose -5*x = -12 - 8. Let d = 7 - x. Solve -4*y - 22 = y - 3*z, -d*y + 5*z = 10 for y.
-5
Suppose -2*a + 0*a - 3*z = 5, 0 = 5*a + 5*z + 5. Solve f = -x + 4, -x - 16 = -a*f - f for x.
-1
Let z(p) = -p**2 + 6*p - 2. Let b be z(5). Solve 5*t = 0, -b*t + 7*t + 4 = -4*l for l.
-1
Let w(r) = 6*r**2 + 2*r - 2. Let b be w(-2). Solve -5*x = -4*y + 5*y - b, -15 = -y - 4*x for y.
3
Let r be (2 + -2 + 2)*2. Suppose -3*x = 5*w - 15, -2*x + 6 + 4 = 4*w. Let p = 8 - x. Solve -4*q + r*u + 16 = 0, 4*u = q - p*q - 16 for q.
0
Let r(s) = -s**3 + 8*s**2 - 4*s + 2. Let v = -3 - -11. Let z be r(v). Let t be (-5)/(z/(-4))*-3. Solve 5*u + 6 = x + 4*u, -x - 3 = t*u for x.
3
Let m = 194 + -191. Let g be 1 - 2 - (1 - 2). Solve g = -2*y - 5*u - 2, -4*u + 3 = -m*y - 5*u for y.
-1
Let c(w) = -w**2 - 3*w + 8. Let b be c(-4). Solve b*y - 10 = -2*r, -3*y - 32 = -4*r - 12 for r.
5
Let f(l) = l**2 + 13*l - 10. Let g be f(-14). Solve 0 = -2*i + 2*u - 5*u + g, 5*i - 4*u + 13 = 0 for i.
-1
Suppose -11 + 23 = 6*z. Let o(w) = w - 2. Let f be o(5). Solve f*y + 7 = -t, 0 = -z*y - 4 for t.
-1
Let m = 6 - 4. Let n(a) = -a - a**m - 4*a - 2 - 1 - 1. Let y be n(-3). Solve -b = 3*o - y, 2*o + 16 = 6*o + 4*b for o.
-1
Let k be (-2)/4*0/(-3). Suppose z + z = k. Suppose 0 = -3*g + 8 + 25. Solve g = -3*s - 2*f, -5*s = -z*f + 5*f + 25 for s.
-1
Let n(t) = -t**2 + 10*t - 5. Let j be n(10). Let o(i) = -4*i. Let v be o(j). Solve -2 - v = 5*d - 3*m, 6 = 3*d + 3*m for d.
-2
Let t be 8/(-20) + 26/(-10). Let y = 7 + t. Solve -y*i - n + 0*n = 17, -2*i - 11 = n for i.
-3
Let m be (4/(-2))/(-2)*2. Let g be 0/((-1)/m*2). Solve -4*c + y = 3*y - 14, g = -2*c - 2*y + 6 for c.
4
Let n be 12/9*-6 - 3. Let c(a) = a**3 + 11*a**2 + a + 13. Let j be c(n). Solve -2*y = -5*h + 24, 10 = -3*y - j*y for h.
4
Let q = 4 + -1. Let p = 5 - q. Solve f - p + 4 = 0, -5*j = f - 23 for j.
5
Let w(c) = 2*c**2 - c + 4. Let a be w(0). Solve -4*s + 4*h - 17 = 15, -3*h = a*s + 11 for s.
-5
Let m be 60/8*2/3. Suppose -6 = -m*y + 4. Let r be (-2 - -3)/(2/10). Solve 4*k + 6 - 2 = -y*w, r*k = 5*w + 10 for w.
-2
Let g(y) = -y**2 - 6*y + 4. Suppose 5*p - 30 = 2*p. Suppose -p = t - f, 2*f = t + 3*f. Let h be g(t). Solve -4*b = 2*n - 28, -3*n - 2 = -b - h for b.
5
Suppose 0 = -5*b + 25, -2*b = -5*z - 0*b + 5. Suppose 2*h = -h + 12. Solve -k = 4*i + 17, z*k - h*i = -2*i + 19 for k.
3
Let x be 441/27 - (-1)/(-3). Let o(h) = h - 3. Let b be o(5). Let p(i) = 4*i - 2. Let u be p(b). Solve -x = -4*z + 4*d, -z + d = -2*z - u for z.
-1
Let g(b) = -3*b + 4. Let a be g(3). Suppose p - 3 = 2*l + 2, 7 = 5*l + 4*p. Let x = l - a. Solve -k + 13 = x*w + 4, w - 7 = -5*k for k.
1
Let s(f) = -f**2 + 4*f + 7. Let i be s(5). Suppose b = -3*b + 4*p - 8, 2*b - p = -i. Solve -l + g + 3 = b, 0 = 2*l - 7*l - g + 27 for l.
5
Let y(q) = -q + 9. Let v be y(16). Let t = v + 11. Solve -t*k = -5*k + 4*g + 14, -4*k - 3*g - 20 = 0 for k.
-2
Suppose -4*g - 36 = -4*h, -3*h - 5*g - 2 = 3. Let d = h + -3. Suppose 12 = d*m + m - y, 20 = 5*m - y. Solve -4*z - z = -m*u - 26, z - 4*u - 18 = 0 for z.
2
Suppose w = -t - t + 1, -14 = -4*w + 2*t. Solve 2*l + 2*r + r + 5 = 0, 5 = -w*l - 2*r for l.
-1
Let q(l) = l**2 - 5. Let v be q(5). Suppose v = -0*z + 2*z. Let x be (-6)/z - (-56)/10. Solve 2*u = -x*r + 12, 0 = 4*u + 4*r - 5 - 7 for u.
1
Suppose 4 + 26 = -5*w. Let s = w + 9. Solve -s*y = 5*d + 17, -2*d - y = 2*y + 5 for d.
-4
Suppose 5*r + 2 = -8. Let u be r/(-6) - 34/(-6). Solve 0 = 4*k - 2*p - u, 0 = -0*k - 3*k + 5*p + 15 for k.
0
Suppose q - 5*l = -18 + 7, -5*l + 7 = 3*q. Let g be q/(1*(-1)/(-12)). Let y = g - -17. Solve 5*o + 0*o = 2*w, y*w = o + 23 for o.
2
Suppose -2*t + 8 - 2 = 0. Let u be (t - 12/3)*1. Let y be u/(-2)*(-60)/(-6). Solve v = y*g + 15, 25 = 3*v - g - 4*g for v.
5
Suppose 2*i + 0*i = -4*j + 6, -4*i = -3*j - 56. Solve -2*a - i = -5*n - 4*a, n - 3*a = 9 for n.
3
Suppose -11*h - 35 = -16*h. Solve -h*d - 3*z = -2*d + 4, -3*d + 3*z - 12 = 0 for d.
-2
Let x = 90 - 86. Solve -5*v + 5*y - 25 = 0, -v - 25 = x*v - y for v.
-5
Let t(d) = -d**3 - d**2 + 4. Suppose 2*l - 6*l = 0. Let o be t(l). Solve o*c + 5*q + 12 = -3, -5*c - q = 3 for c.
0
Let b be (54/(-5))/(26/10 - 3). Solve -8*y + 3*y + b = 4*w, -w + 3 = 0 for y.
3
Let d(s) = s**2 + 2*s - 1. Let t be d(-4). Suppose 5*i - 22 - 23 = 0. Let n = i - 6. Solve 0 = -3*m - n, t*z - 2*z + 4*m = -24 for z.
-4
Suppose 3*z - 5*u = -19, 5*u + 0 - 23 = z. Let p = z + -2. Solve 2*t - 6*t + 3*i - 28 = p, t + 5*i - 16 = 0 for t.
-4
Suppose -q + 25 = -x, -2*x + x = 2*q - 62. Solve 3*y + q = -5*t, 0*y = 5*t + y + 23 for t.
-4
Suppose 0*y - 2*y + 8 = 0. Solve y*v + 7 = -q, -5*v + 5*q - 18 = 22 for v.
-3
Let x = 52 - 51. Let w be (3/(-4))/((-1)/4). Suppose -w*j = -11 - 1. Solve 3*m - j*l - 23 = 0, -x = -4*m + 2*l + 23 for m.
5
Suppose -173 - 87 = -13*b. Solve 4*f + 4*s = 5*s - 8, 5*s = b for f.
-1
Let j(k) = 2*k**2 - 38*k + 39. Let m be j(18). Let u(i) = 8*i + 1. Let g be u(1). Solve p + 3*p + 5*d - 35 = 0, m*d = g for p.
5
Let d = 18 - 5. Solve -d = -4*l - 3*t, -1 - 6 = 5*l - 4*t for l.
1
Let s be (3/(-2))/(2/(-4)). Solve s*h + 3*j = -0*h + 6, -3*h + j = 10 for h.
-2
Suppose 0*k = 3*k - 9. Let v be 2 + (3 - (2 + -8)). Solve -k*s + v = 3*m - 5*s, -m = -5*s + 5 for m.
5
Let k be 51/21 + 3/(-7). Solve -4*s = k*f + 10, -1 = f - 4*f + 2*s for f.
-1
Let s = -159 - -163. Solve -24 = -5*q - 4*y, -5*y + y = -2*q + s for q.
4
Let x be (-9)/(1 + 2) + 3. Solve a + 24 = i - 4*a, x = -i + a + 8 for i.
4
Suppose -4*s = -8 - 0. Solve 0 = b - 4*a + 4, 0 = s*b + 2*a + 3*a - 5 for b.
0
Suppose 12 = 3*b + b. Let f be ((-10)/4)/((-14)/28). Solve -3*i - b*h = -6, 0 = -f*i - 0*h + 4*h + 37 for i.
5
Let j = 13 - 12. Let v be ((-3)/(-5))/(j/5). Solve -z + 8 = -v*f, -5*f - 14 = -3*z - 6*f for z.
5
Suppose k + 2 = 5*m, 5*k + 10*m - 20 = 5*m. Suppose 40 = 5*v - w - 2*w, v = -k*w - 10. Solve -5 = z - v*j, 0*z - 5 = z + 3*j for z.
-5
Let o be (-70)/(-8) - 2/(-8). Let s = 19 - o. Let i(c) = c. Let t be i(5). Solve 0 = t*k + 2*j + 2*j + s, 0 = -3*k - 2*j - 6 for k