5, -p - a - 3 = 0 for p.
-4
Let j(p) = 2*p**2 + 3*p. Let x be j(-2). Suppose 0*t = -t + 6. Suppose 0 = x*k - 2*u + 6, t*k - k = 2*u. Solve 4*v - 4 = 2*n, -k*n + 9 = -v + n for v.
3
Suppose -n - 2 = -2*n. Let r = -1 + n. Solve 0 = 2*g - 3*w - 4, -2*g - 5 = 2*w + r for g.
-1
Let d be ((-7)/(-3) - 2)*45. Solve 0 = -4*k + r - d, 3 = -3*k + 3*r - 15 for k.
-3
Let v = 29 - 27. Solve -3*g + v = -2*t - g, -g = 5*t + 23 for t.
-4
Let h = -3 + 9. Suppose 5*k - 60 = -0*k. Suppose 42 = 4*f + 2*j, 5*f = 4*f - 5*j - k. Solve 2*g - f = t, h*g = 5*g + 4 for t.
-5
Let j(d) = -d + 4. Let m be j(1). Solve c - m*c - 4 = 3*r, -2*r - 3*c - 1 = 0 for r.
-2
Let h(w) = w**2 - 6*w + 7. Let x be h(5). Suppose -f = 5*u - 22, 0 = -5*u + 7*u + 4*f + 2. Solve -4*l - 4*c - x = -u*l, c = 0 for l.
2
Suppose -80 = 2*d - 6*d. Solve 5*s - d = -4*o, -3*s + 21 = 3*o + 6 for s.
0
Suppose 0 = 3*k - 3*z - 12, k + k - z - 8 = 0. Solve -17 + 5 = -4*q + 4*l, -2 = -k*q + 2*l for q.
-2
Let s be (-2)/16*-4*4. Solve -5*y - 32 = 3*c, -c + 4 + 0 = -s*y for y.
-4
Let n be (-3)/(15/6 + -4). Suppose 5*x = 18 + n. Solve -3*g - x*t - 9 = 0, 17 = -4*g - 4*t + 5 for g.
-3
Suppose -a = -2*d - 4, 0*d = -5*d - 3*a + 12. Let q(n) = n**3 + 12*n**2 + n + 15. Let s be q(-12). Solve -s*l + 11 = -5*o, -2*l - o + 3 = -d*o for l.
2
Let o = -11 + 15. Let v be (3 + -2)*(40 + 1). Let r be (-4)/6 - 16/(-6). Solve -3*w + w + r*m = 2, -5*w - v = o*m for w.
-5
Let z(y) = 4*y**2 - 11*y - 1. Let u be z(3). Solve 2*k - 30 = 5*o, u*o - 7 + 0 = -3*k for k.
5
Let y = -10 - -15. Solve -y*w + 25 = 0, n - 12 = 2*n - 3*w for n.
3
Let x = 35 + -16. Let p = 21 - x. Solve -6 = -2*m + 2*l, p*l + 1 = -1 for m.
2
Suppose 0 = -g - g - 8. Let t be ((-8)/(-10))/(g/(-10)). Suppose 5*j - t = 4*j. Solve -2*d - 8 = -j*f, -16 = -3*f + 6*d - d for f.
2
Let t be (-4)/(-18) + 75/27. Let r be (t/(-3) - -7) + -3. Solve 2*j - d - 1 = -j, r*d = 4*j - 3 for j.
0
Suppose -5*p = -19 + 4. Solve 0 = 4*r + p*z - 20, 4*r - z = 2*r for r.
2
Let p(a) = 5*a - 10. Let u be p(7). Suppose -8 = 4*s - 5*d - u, -5*d + 7 = -s. Solve 2*l = 5*r - s, -r + 3 = 2*r - 3*l for r.
2
Suppose -5*h - 10 = -3*a, 3*h + 2*h - a = 0. Suppose 0 = 3*c + w - 2, 5*c = 5*w - 0*w + 30. Let d = -2 + c. Solve 0 = -d*l - 4*l - 4, -2*q + h = 3*l for q.
2
Suppose -13 = -5*j + 37. Solve q - j = -5*d + 20, -q - d + 10 = 0 for q.
5
Let k(a) = 106*a**2 - 16*a - 6. Let v(s) = 21*s**2 - 3*s - 1. Let b(z) = -2*k(z) + 11*v(z). Let o be b(1). Solve r - 3*r + 5*x + o = 0, -4*x = 4*r + 32 for r.
-3
Suppose -3*p + 26 = 2*z, -4*p + 3*p - 5*z + 26 = 0. Solve -g + p = v - 0*v, 3*v = 12 for g.
2
Let k be (-42)/(-4)*(3 + -1). Suppose a - 3*m = -1 + k, 20 = a - 4*m. Suppose a = 3*w + w. Solve 24 = 2*b - w*y, y = b - 3 - 3 for b.
2
Let d = 8 - 4. Let l = d + -9. Let x(m) = -m**3 - 5*m**2. Let j be x(l). Solve -5*r - 3*h - 8 = 0, 4*r + j = -3*h - 4 for r.
-4
Let o(j) = j**3 + 14*j**2 + 12*j - 4. Let m be o(-13). Solve 15 = -z + 6*z, 0 = 3*f + 4*z - m for f.
-1
Let c be 17/1 + 4/2. Let f = -15 + c. Solve -5*x = 4*w - 10, -2*x - w = w - f for x.
2
Let g(f) = f**2 + 7*f + 4. Let u be g(-7). Solve -u*w = -20, 3*h + 0*h + 4*w - 32 = 0 for h.
4
Let m(a) be the second derivative of a**3/6 - 7*a**2/2 + 2*a. Let z be m(7). Suppose c + z = 8. Solve 0 = 5*h - 4*k + 10, 4*h - 3*k = -0*h - c for h.
-2
Suppose 4*c - 15 = 5*b - 3, -4*c + 12 = 5*b. Solve -2*x - 4*v - 1 = -5*v, c*x + 3*v - 12 = 0 for x.
1
Let m be (-8)/(-20) + 13/5. Let a be (m/(-2))/(3/(-4)). Solve r + a*r = -2*s + 19, 4*r - 12 = 4*s for r.
5
Let y = 42 - 14. Let a = y + -13. Solve -g + 4*n + 18 = -4*g, 5*n + a = 0 for g.
-2
Let m(t) = 26*t**2 - t - 2. Let o be m(-1). Solve -5*u + 10*u + 5*i = o, i = 5*u - 25 for u.
5
Suppose 0 = 4*y + 4*z, -2*y + 5*z + 3 = -6*y. Solve -4*j - 23 = y*c, -5*j + c = -0*c + 24 for j.
-5
Let j = -5 + 7. Solve -3*t + 8 = 4*h, 6 = j*t - 4*h - 6 for t.
4
Suppose 0 = 2*f - q - 12, -4*q + 9*q + 40 = 5*f. Solve 0 = f*i - 3*k + 19, 2*k - 17 = 4*i + k for i.
-4
Suppose 0 = -2*n + 4, 4*a - 4 = -0*a + 2*n. Suppose 0 = -a*l + l + 6. Solve -2*b = -5*r - l*b - 9, 2*r = -5*b + 10 for r.
-5
Let c(o) = -o**3 + 2*o**2 + 3*o - 4. Let b be c(3). Let n = b - -5. Let u = -5 + 7. Solve u*w = a + 4*a, 2*a + n = w for a.
2
Suppose -16 = -2*c - 2*j, -3*j - j = 2*c - 24. Let z be (-2)/3 - c/(-6). Let p be 4 + (-3 - (z - 2)). Solve 2*q + 2*q + 5*x = 35, 4*q + p*x - 29 = 0 for q.
5
Let m = 62 + -62. Solve m = l + 2*l - v + 5, 0 = l + 4*v - 20 for l.
0
Let l(f) = -f**3 + 8*f**2 + 9*f + 7. Let n be l(9). Suppose -4*v - n + 31 = 0. Solve r - 4 = v*z - 3*z, 3*r = -3*z + 12 for z.
0
Let q(z) = -z + 5. Let x be (24/20)/((-1)/(-5)). Let s be 4 - x - (-2)/1. Let n be q(s). Solve -l - 4*r + 1 = 2*l, 0 = -n*l + 3*r - 8 for l.
-1
Let i(j) = -1 - 4*j + 3*j + 0. Let h be i(-4). Let v(t) = t**3 - 21*t**2 + t - 13. Let a be v(21). Solve -2*r + h*w - 1 = -2, -2*r - 4*w + a = 0 for r.
2
Suppose -3*d + 1 + 11 = 0. Solve -4*r - h = 20, -2*r - h - d = -2*h for r.
-4
Let z be -31*5/15*-3. Solve -3*x - z = -5*b, 3*b + 4*x - 3 - 4 = 0 for b.
5
Let i be 64/14 + 12/(-21). Solve -j - n - 1 = 0, 0 = -2*j - n - 3*n + i for j.
-4
Let q(a) = -2*a**2 - 24*a + 5. Let f be q(-12). Solve -f*i + 10 = -i - 2*g, -2*g - 2 = -2*i for i.
4
Let i(t) = -t**3 - 3*t**2 - 5*t - 4. Let v be i(-2). Solve 5*d - 29 = -4*h, -7 = v*h - 4*d + 11 for h.
1
Let n(t) be the first derivative of t**3/3 + t**2 - 3*t + 2. Let d be n(2). Solve -4*c - 2 = k - d, -5*k + 15 = -3*c for k.
3
Let c be 1/(((-12)/(-51))/4). Solve -5*h = -3*i + c, -4*i - 11 = 5*h + 13 for i.
-1
Suppose 0 = -4*c + 27 - 7. Suppose -8 = -2*z, -7 - 13 = -2*q - 3*z. Solve b + 15 = -q*b, -o - c*b = 19 for o.
-4
Suppose -38 = -4*b - 4*t - 10, b = 3*t + 15. Solve 3*l + 2 = 2*s + 8, 4*l + 3*s = -b for l.
0
Let b = 14 - 12. Solve -3*c + 15 = b*l, 0 = -3*c + 5*l + 19 - 4 for c.
5
Let g(k) = k**3 + 10*k**2 + 7*k - 11. Let u be g(-9). Suppose -u + 11 = 2*c. Solve -2*x = -c*s + 6, -4*x = -2 + 18 for s.
-1
Let h = 9 + -9. Solve h*r - 9 = 3*u + 4*r, 3 = -u - 2*r for u.
-3
Suppose 8 = 3*x - y, 2*y = x - 0*y - 6. Suppose x = -3*d + 8. Solve 0 = -d*u + 4*u + 2*n - 2, -12 = 4*u - 4*n for u.
-1
Let p = 28 - 26. Solve 2*s = 5*u - p*u - 13, 4*s = -4*u + 4 for s.
-2
Let f be (-8)/6*(-6)/4. Solve f*n + 3*n - 4*o = -17, 0 = -n + 3*o - 10 for n.
-1
Let j = 8 - 6. Let p = 2 - j. Solve p = -g - 2*z - 1 + 3, 3*g = -z - 9 for g.
-4
Let w = 4 - 29. Let h = -37 - w. Let q be h/(-42) + (-19)/(-7). Solve -4*s - 3*t + 12 = 0, 3*s - 23 = -5*t - q for s.
0
Let n be ((-2)/(-2))/((-2)/(-10)). Solve 3*g = -0*g + 5*o + 7, -n*o = -2*g + 3 for g.
4
Suppose -c - 4*c = 0. Suppose 4*h - 2*r + 6 = c, 0 = 3*r - 7 - 2. Suppose 5*o - 7 = -4*j, 11 = -h*j + 2*j - 5*o. Solve a + 6 = 5*v, j*v - 5*v = 5*a - 24 for a.
4
Let b(v) = -3*v - 26. Let w be b(-13). Solve -4*s = l - w, 2*l + 2*s - 8 = 3*s for l.
5
Suppose 1 = -2*y - 5. Let k be (-4)/(y + 28/12). Solve 3*h - 23 = -2*v - 3*v, 2*v - k = 2*h for h.
1
Suppose -v - 3*v = -2*b + 22, 3*v + 21 = 3*b. Solve 4*t = -l - b, 2*t - t + 2 = l for l.
1
Suppose 2*d = -d + 9. Let c be d + 0 + 1 + 1. Suppose 5*t - 6*t + 35 = 0. Solve c*v = 5*x + t, 2*v = 5*v + 2*x - 6 for v.
4
Suppose 5*j = -2*u + 9 - 1, 3*j = -2*u + 8. Suppose 2*h = 4 - j. Solve r = -5*l + 30, h*l - 30 = -4*r - 0*l for r.
5
Suppose 12 = -m - 5*d - 9, 5*m = 2*d + 30. Suppose 0 = k + 2*a - 24, m*k - a = 54 - 3. Solve -2*h = 2*j + k, 0 = j + 2*j + 9 for h.
-4
Suppose -3*b + 21 = 4*t, t - b + 1 = -3*b. Solve q + t = 5*p, -2*p - 2*p = 4*q + 12 for p.
1
Suppose 0 = 2*w - 1 - 7. Suppose -8*t + w*t = -16. Solve 4*a + 2*u - 4 = 0, a - t*u + 13 = 4*a for a.
-1
Let k = 10 - 5. Suppose 4*j = r - 3, 3*r + 5 - 2 = 0. Let b = j + k. Solve 0 = -2*s - b*m - 22, -4*m = -5*s + m - 10 for s.
-5
Let b be 6/9 - (-68)/6. Suppose x = 4*x + b. Let u = 7 + x. Solve 0 = 4*z - 5*k - 17, -3*z = -4*k + u*k + 1 for z.
-2
Suppose 0 = -0*w - 7*w + 14. Solve -a = 4*j - 1 + w, 5*j - 1 = a for j.
0
Let u(z) = z**2 - 5*z - 4. Let d be u(5). Let r = d - -6. Suppose 3*k = t + 4 + 8, 2*t + 4 = r*k. Solve -16 = 2*l - k*h, 3*h - 1 = -3*l - 2*h for l.
-3
Suppose 2*g + 6 = -12. Let p = g - -10. Solve 2*z = l + p, 3*z - 2*l = z for z.
1
Let j = 8 - 17. Let f be 3/(-2)*(1 + 1). Let w be (-58)/(-6) + f/j. Solve -14 = g - 5*g + d, -5*