= 5*p - 2*z + 2 for p.
0
Let s(f) = -6*f**3 + 6*f**2 + 7*f. Let c(v) = -v**3 + v**2 + v. Let h(q) = 5*c(q) - s(q). Let w be h(0). Solve -3*o - 1 = -n + o, w = 3*n - 3*o + 6 for n.
-3
Suppose 20*a + 8*a = 112. Solve o = -5*c - 0*c + a, 0 = o - 3*c - 4 for o.
4
Let n(i) = -5*i - 32. Let k be n(-7). Suppose -p - 1 = -2*p, -5 = -k*u + 4*p. Solve 3*h = 4*z + 7*h - 8, 0 = 4*z + u*h - 7 for z.
1
Let s = -18 - 1. Let p be -1 - 12 - (s + 16). Let l be 5*((-32)/p - 2). Solve 3*i = 2*y + l, 0 = -2*y + 3*y for i.
2
Let x = 13 + -1. Suppose -k + 2*k - 3*b + 6 = 0, -5*k + 3*b = -6. Solve -l = -3*a + k, -3*a + x = 2*a - 4*l for a.
0
Let f be (-12 + 5 - -6)*0/(-1). Let j be (-11)/(-4) + (-36)/48 + f. Solve 2*q + 25 - 7 = 4*i, j*i + 16 = -4*q for q.
-5
Suppose 289 + 711 = 50*g. Solve 2*o + 14 = 5*u, 5*u - o = 4*o + g for u.
2
Let j be (-6)/(-21) - 24/(-14). Let m be (j - (-3)/3) + 8. Suppose -4*k - 2*x + 188 = -0*x, 226 = 5*k - 2*x. Solve -2*s = 5*i + m - k, -30 = -5*i - s for i.
5
Suppose -4*j = 25 + 7. Let a(l) = -5*l - 35. Let o be a(j). Solve 3*f - 2*f = o*v + 16, v = 5*f + 16 for f.
-4
Suppose 18*t = -14 - 4. Let h = 3 - -3. Let v be h*t/(-2 + 0). Solve 0 = -3*n - i - 7, 0*n - 3*i = -3*n - v for n.
-2
Suppose 41 = -2*u + 29. Let r be (2/u)/((-6)/72). Solve 5*l = p - 23, r*l + 0*p = 4*p - 28 for l.
-4
Let v = 1014 - 1012. Solve -4*d = -n + 12, d + 4 = v*n - 2*d for n.
-4
Let g = -47 + 37. Let v be (1 + g)*(-10)/45. Let i = 6 - 3. Solve 0 = -l + v*f + 5 + 1, i*l = f + 8 for l.
2
Suppose -2*r + 3*u = -1, 0 = 3*r - 0*r - u - 5. Solve r*q = -5*j + 2*j + 19, -q - 3*j + 17 = 0 for q.
2
Let j = -54 - -53. Let s be (-1 - 9)*(j + 4/10). Solve 2*p + 5*o + 0*o - 15 = 0, 2*o - s = -5*p for p.
0
Let g = -311 - -319. Solve -2*r - 4 = 0, 2*i - 2*r - g = i for i.
4
Let k be 44/12 + 4/(-6). Let t(b) = -6*b - 160. Let x be t(-27). Solve 5*z + k = 5*y - x, 4*z - 4 = -4*y for z.
0
Let q(d) = 2*d + 21. Let l be q(0). Let b = l - 0. Solve -5*g = -3*w - b, -w + 5*g = 4*w + 25 for w.
-2
Let x(l) = -3*l**2 - 14*l - 8. Let r be x(-6). Let u = 32 + r. Suppose u = s + 4 - 7. Solve -2*i - 5 = -3*i - f, -s*i = -4*f + 6 for i.
2
Let u(p) = p + 3. Let r be u(-3). Solve 3*n - 7 = 5*c, -c - n - 2 + 7 = r for c.
1
Let z(p) = -p**3 - 8*p**2 - 7*p + 11. Let u be (0 + 8/12)/(2/(-21)). Let l be z(u). Solve 5*i - o = -9, 4*o - l = -i - 4*i for i.
-1
Suppose 0 = 3*z + 2*r - 10 - 11, -z = r - 8. Let b = z + -1. Suppose 30 = 5*f, 0 = 4*v - 8*f + 7*f - 10. Solve -2*u + 17 = -s - 5*u, -b*s - 36 = v*u for s.
-5
Suppose 0 = -5*g + 20, 3*n + 24 = 5*n + 5*g. Solve 3*y = 4*i + 4*y - 18, -i + 3*y = n for i.
4
Let y be 93 - 29 - (-1*3 + 0). Let a = y - 59. Solve -2*v + 9 = -5*d, 4*v = -3*d + a*v + 3 for d.
-3
Let r = -12 - -17. Suppose 6 = -6*m - 0, -2*m = -d + 5. Suppose d*u - 4*n = 17, r*u = -n + 2*n + 17. Solve u*g - g - 5*j = -18, -9 = -5*g - j for g.
1
Let m = -78 + 96. Suppose -2*h = 3*t - 23, m*t = 4*h + 16*t - 6. Solve -h*q = 5*g + 16, -4*q + 1 - 5 = 2*g for q.
1
Let r = -188 - -188. Let c be (-4)/14 - (-23)/7. Suppose y - c = -0*y + b, 0 = -5*y - 4*b + 24. Solve r = 5*o + 3*u + y - 5, -2*o = u for o.
-1
Let p(r) = 26*r - 334. Let y be p(13). Solve 4*u = -2*f - f + 8, -y*f + 10 = 5*u for u.
2
Suppose -2*q + 5*q = 78. Let j = 28 - q. Let n be (-2)/j*(-9 - 6). Solve -n = -3*x, 3*x - 6*x = 3*i for i.
-5
Let u(k) = -2*k - 32. Let o be u(-16). Solve 5*f - 4*m - 34 = -7*m, -2*f + m + 7 = o for f.
5
Suppose -4*u - 2*n = -50, 0*n = -2*n - 10. Suppose 4*g + 20 = 9*g. Solve b - 5*w = 5, -3*b + g*w = -w - u for b.
5
Let w = 242 - 238. Solve -3*v - w*z - 2 = 0, 5*v - z - 18 + 6 = 0 for v.
2
Suppose 3*p + 6*m = 3*m, 4*p - 3*m - 21 = 0. Solve -2*b - p*d = 13, 0*d + 5*d + 25 = -5*b for b.
-2
Let f(w) = -13*w - 1. Let u be f(-1). Let h be -2*((-9)/(-6))/((-9)/u). Solve 3*p = 4*c - 7, 5*p + 2 - 1 = h*c for p.
3
Let b(s) = -s - 19. Let n be b(-15). Let c be 8*((-2)/n - 0). Solve -2*d - f - 2*f + 15 = 0, 4*d + c*f = 20 for d.
0
Let d(c) = c**3 + 9*c**2 - c + 5. Let u be d(-9). Suppose 5*r - 4*s - 40 = -5, 0 = 2*r + 5*s - u. Solve 0*m - m - r = -2*l, 0 = 4*l + 5*m + 7 for l.
2
Suppose s = 23 - 18. Solve 0*j - s*k = -2*j - 18, 3*j = -3*k - 6 for j.
-4
Let z be (9 + -9)/((-42)/6 + 5). Suppose 0 + 45 = 5*l. Suppose -4*q - 12 = -x, 3*q + l - 3 = 0. Solve -g - 16 = -0*g - 3*h, z = 3*g + 2*h + x for g.
-4
Let s be (-2)/6 + (-62)/(-6). Let j = 71 + -122. Let c be j/68 + 11/4. Solve 2*g + c = 3*l - 3*g, -s = -l - 3*g for l.
4
Let f = 289 + -287. Solve -2*w + 0*w + 6 = -5*a, 4*a = -f*w + 6 for w.
3
Let w = 202 - 141. Let c = -56 + w. Solve 15 = c*y - q + 44, 4*y = -4*q - 4 for y.
-5
Suppose -33 = -17*c + 6*c. Solve 5*b = -25, -2*r = c*r - 4*b for r.
-4
Let z be (-60)/(-16)*4/3 - 0. Let a = -5 + 8. Let u = z - a. Solve 5*q - 3*h + u*h - 4 = 0, 0 = 3*q + h + 4 for q.
0
Let g(c) = -7 - c + 6 - 2*c. Let s be g(-1). Solve -5*n - 5*u = 0, 2*n + s*n - u + 25 = 0 for n.
-5
Suppose 5*x + 1845 = 20*x. Let j = x - 104. Solve o + 5*u - j = 0, -4*o + 3*o + 5*u - 21 = 0 for o.
-1
Let b be (-14)/(-2) - (-10 + 84/6). Solve z - b = -0*f + 5*f, 2*f + 5*z + 12 = 0 for f.
-1
Let c = -81 - -86. Let b be (-16 + -4)*(-2)/4. Solve z + 8*j - 2 = 5*j, b = c*z + 2*j for z.
2
Let z = -699 + 721. Solve -3*f - 14 = v + v, -5*v - z = f for f.
-2
Suppose 2*f - 10 - 11 = -y, -72 = -5*f + 4*y. Let a = -4 - -8. Suppose a*h - 3*q = -4, -6 = 2*h - h - 2*q. Solve 5*s - 32 + h = 3*x, 3*x + s = -f for x.
-5
Let g = -227 - -230. Solve -g*z - 4*m - 4 = 4, 4*z + 4 = -4*m for z.
4
Let v(o) = -o**2 + 5*o + 8. Let n be v(6). Let c be (-43*1)/(-9 + 10). Let p = -41 - c. Solve -5*z + 15 = n*k, p*z + 0*z - 5*k = -23 for z.
1
Let m(k) = -2*k**2 + 12*k - 5. Let f be m(5). Suppose -5*j + f = 0, -s + 3*j = -2*s + 3. Suppose 2 + s = o. Solve a + 12 = 3*p, -2*p = -4*a - o - 6 for p.
4
Suppose -1 = -m + 8. Suppose 4*x - m = -1. Let k be (-1 + -1)*(x - 4). Solve -2*r + k*t = -4, r + 1 = 3*r - t for r.
0
Suppose 0 = -47*g + 29*g + 126. Let q(u) = -u**2 + 10*u - 11. Let b be q(8). Solve -b*m - 3*y = -18, 2*y + g = m + 6*y for m.
3
Let s = 348 - 344. Let h(r) = -r - 8*r - 3 - r**2 + 3*r. Let g be h(-4). Solve -s*c - 2 = -g*i, -c - 4 - 4 = -5*i for c.
2
Let a(i) be the first derivative of -i**4/2 - 8*i**3/3 - i**2/2 - 5. Let y be a(-4). Solve -3*v + 5*u + 10 = 0, -u - 2 = v + y*v for v.
0
Let x = 2 + 0. Let d(p) = -p - 6 + 3*p**x + 3 + 2. Let r be d(-1). Solve 2 = -2*f - 4*u + 14, -3*u + r = 0 for f.
4
Suppose 86*i - 228 = 10*i. Solve i*h + 12 = 0, 6*g - 2*g - 5*h - 16 = 0 for g.
-1
Let v = -935 + 935. Let g be (3 - 2)*-1 + 6. Suppose g*q - q - 20 = v. Solve -7*z - 40 = -2*z + q*p, -4*p - 5 = -5*z for z.
-3
Let j(b) = b**2 - 4*b - 4. Let d be j(5). Let x(u) = u**3 - 16*u**2 - u + 16. Let h be x(16). Solve 0 + d = -4*y + 5*t, h = y + 5*t + 19 for y.
-4
Let r = -12 + 17. Suppose -5*q + 5 = z - r, q - 6 = -z. Solve 3*g + 34 = z*v, -g - 13 = -2*v - 0*g for v.
5
Suppose -c + 693 = 689. Solve 4*j - 7 + 3 = -b, c*b = -j + 16 for j.
0
Suppose 0 = 21*d + 3*d. Solve -4*n + 0*n - t = 0, d = 2*t for n.
0
Suppose 3*y = 2*h - 7 - 13, -5*y + 10 = h. Suppose -h = 2*c, -z = -3*c - 20 + 4. Solve -5*o + 3*b - 11 = 0, 0*b + 3*b + z = 2*o for o.
-4
Let o(h) be the first derivative of h**4/4 + 2*h**3/3 - h**2/2 - 2. Let x be o(-2). Solve 0 = i - f - 6, -2 = -x*i - f - 5 for i.
1
Let o(j) = -j**2 - 15*j - 24. Let t be o(-13). Solve -5*x = 4*y - 8, -2*x = -x - t*y - 10 for x.
4
Let z(j) = -j - 8. Let p be z(-8). Suppose p = b - 1 - 2. Let u = -3 + b. Solve -2*w - l = 3*l, u = w + 4*l for w.
0
Let f be 1660/70 - 4/(-14). Suppose 0 = 2*w - 5*w + f. Suppose 0 = -d - 3*d + w. Solve -5*b = -d*y + 3 + 4, 2*y + 14 = -2*b for b.
-3
Let u be 6 - -2*(-5)/10. Solve 3*q = u*v - 0*v - 17, v + q = 5 for v.
4
Let y = 47 + -23. Suppose 0 = 3*q + 3 - y. Let d be (-3)/((42/(-8))/q). Solve 0 = -2*t - 0 - 4, -4*z = d*t - 8 for z.
4
Suppose 3*x = d - 12, 40*d + 2*x = 38*d. Solve 5*u + p = 7, d*u = 5*u + p - 1 for u.
2
Let n be 134/(-5) + 22/(-10) + 2. Let r = 30 + n. Solve -m - r + 12 = -2*l, 3*m + 3*l + 9 = 0 for m.
1
Suppose 0*i + 2*i = 16. Let f be (-24)/(-15) - i/(-20). Solve 2*m + 2*z + 8 = 0, 2*m - f*z = -0*m for m.
-2
Suppose 0 = 4*p - 2*n - 54, -6*p - 4*n = -5*p - 27. Let x(s) = 15*s**2 + s + 1. Let j be x(-1). Solve m