 7*v = -i*v - 25 for p.
0
Let w = -6 - -7. Let j be (37 - (2 + 0))/w. Solve -r - 3 = -a, -a + j = 5*r + 4*a for r.
2
Suppose 0*t + 4*t = 0. Suppose 3*z - 2 - 10 = t. Solve 0*g + 21 = -2*g - 3*n, -z*n = -3*g + 11 for g.
-3
Let s be (56/12)/((-2)/3). Let h(w) = -w**2 - 10*w - 9. Let a be h(s). Solve -5 = -3*j - 2*d, -d + 4*d = 2*j - a for j.
3
Let a(z) = z**3 + 8*z**2 - 8*z + 11. Let x be a(-9). Suppose 7 + 1 = x*b. Solve b*i - 31 = 7*k - 4*k, 4*i - 16 = 0 for k.
-5
Suppose -3*i + 8*i = 0. Suppose 3*p - 2*p - 5 = i. Solve 15 = 5*r - 2*d, p*r + d + d = 35 for r.
5
Let m be (-19)/(-5) + (-3)/(-15). Suppose -m*c = -0*c - 12. Solve 4*b = 4*t, b - 10 = -t - c*t for b.
2
Suppose j = -3*j + 20. Suppose -j*v + 291 = -549. Suppose 5*o - 8 - v = 4*l, -3*l = 3*o - 84. Solve 6*q + 4*g + o = 2*q, 3*g + 9 = 2*q for q.
-3
Let i(x) = -x**3 - 11*x**2 - 2. Let p(a) = 4*a**3 + 33*a**2 + 5. Let t(v) = -7*i(v) - 2*p(v). Let y be t(11). Solve -12 = -y*h - 2*f, 8*h - 18 = 3*h - f for h.
4
Let y be 1/(-3) - 104/(-24). Solve s + y*v + 0*v + 14 = 0, 4*s + 5 = v for s.
-2
Let u = 8 + -5. Suppose -4*y + 7 = -b, -2*y - 3*b + 10 = u. Solve h - 8 = -z, -h - y*z + 3*z = -2 for h.
5
Suppose -y + 0 + 6 = 3*q, -5*q = 4*y - 10. Solve 2*l - 6*l + 31 = 5*s, -3*l + 3*s + 3 = y for l.
4
Suppose 4*n + n + 30 = 0. Suppose 5*z = 3*x - 13, z + 3*x - 1 = -0. Let a = z - n. Solve g = a*i + 3, i - 4*i = 4*g + 7 for g.
-1
Let r(q) = 4*q**3 - q**2 - q - 1. Let u be r(2). Solve 4*n = -m - u, -24 = m + 5*n + 6 for m.
-5
Suppose 0*h + 4*h = 8. Solve s = -s - 2*x + 2, 3*s - h*x = -7 for s.
-1
Suppose -4*c = -c - 15. Suppose 0 = -2*k - 10, 6*i = 2*i + c*k + 101. Solve -23 = -g - 5*q - 2, 0 = -g + 3*q - i for g.
-4
Suppose 6 = -2*b + 2*c, 8*c = 3*b + 3*c + 3. Let z be (4 + -1)/(b/(-32)). Let t be 6/(-8)*(-252)/27. Solve -2*m + 0 = -u + t, -4*m = z for u.
-1
Let n = 7 + -4. Suppose 2*h = n*h - 4. Let k be 770/(-60) - -13 - (-34)/12. Solve -k*r + 4 = -h*g + 24, -2*r = 0 for g.
5
Suppose -2*f = f. Suppose 3*s - 55 = -2*s - 5*n, f = s - 3*n + 9. Let w be 2*((-19)/(-5))/((-16)/(-40)). Solve -3*u = -s*u + 5*o + w, 5*o = -4*u - 33 for u.
-2
Suppose 3*l - 101 = -2*o, -5*l - 5*o + 182 = 17. Suppose -r - 5 = -l. Solve 5*i - 2 + r = -2*w, -i - 16 = 3*w for i.
-4
Let u = 98 - 89. Solve -3*r - 2*r - 2*c = u, 0 = 2*c + 4 for r.
-1
Let z be (0 - -1 - 0) + (-1 - 0). Let v be 4/10 + (-13)/(-5). Solve -a + 7*t = 2*t + 4, z = 2*a - 5*t + v for a.
1
Let y = 0 - -4. Let g = 6 - 4. Let i be g/(-4)*-6 + -1. Solve i*s = s + 5*l + 16, -y*l = 12 for s.
1
Let r = -10 - -14. Solve -2*f = -r*f - 5*n + 5, 2 = f + 2*n for f.
0
Suppose c - 2 + 0 = 0. Suppose c*d + 4*m - 6*m = -2, 4*d = -2*m + 8. Solve -4*v = -2*w - d + 7, -3*w = -2*v - 1 for v.
-2
Suppose 5*w - 5 = -2*v, 2*w - 3*v + 4 = -5*v. Let b(h) = -3*h + 1. Let g be b(-2). Let x = 11 + -1. Solve -w*l = g*y - 2*y + x, -4*l + 45 = -5*y for y.
-5
Suppose -24 = -2*d - 2*d. Solve 3*r - 5*t = d, -t = -2*r + 5*r + 12 for r.
-3
Suppose 5*f = -2*t + 43, -4*f - 2 = 3*t - 4*t. Solve 9 = -2*x + 5*l, -3*x + 4*l = t - 4 for x.
-2
Let t = 4 - 5. Let r(n) = 2*n**2 - n - 1. Let s be r(t). Solve 5*l - u - u - 8 = 0, s*l + u = 5 for l.
2
Let c(p) = p**3 - 8*p**2 + 5*p + 10. Let k be c(7). Let g = -32 - -22. Let f be (-2)/k*g/(-1). Solve z = -0*j + 4*j - 11, 0 = j - f*z - 17 for j.
2
Suppose 0 = -2*b - 4*s + 34, s - 50 + 10 = -4*b. Let p(l) = 4*l - 1. Let y be p(b). Solve 4*o + y = -3*f, -4*f - f = -3*o + 10 for o.
-5
Suppose 5*a + 15 = 0, 0 = 5*u + 6*a - a. Suppose u*v = 2*v. Suppose c - 3 = -v. Solve -l - 6 = c*d - d, 14 = -5*d - 3*l for d.
-4
Let f be (-1 - -4 - 5)*-4. Let n = -3 + f. Solve -2*a + 2 = n*m, -a - 4*m + 1 = -0*m for a.
1
Suppose -v - 48 = -w, -w + 4*v = -5*w + 160. Let g = w - 24. Solve -5*s + u - 6 = 0, 0*u = -4*s - 3*u - g for s.
-2
Suppose -2*n = -0*n + 3*f - 29, 3*n - 3*f - 51 = 0. Solve 4*i - 18 = 5*y, 4*y + 0*i = 4*i - n for y.
-2
Suppose -3*a - 9 = -63. Suppose -9 = -3*v, 0*p - 2*p + 2*v + a = 0. Let b be (4/6)/(p/234). Solve 5*r = 3*g + 19, -3*r - 2*r = -g - b for r.
2
Let l be (-2)/17 + 8/68. Solve l = -4*f + 4, -4*t - 3*f = -5*f - 2 for t.
1
Let k(d) = -5*d - 1. Let a be k(-1). Let u = 130 + -118. Suppose -4*i = -a*n - 1 + 9, n - u = -4*i. Solve -n*s + 6 = 2*r, -4*r + 1 = s - 4*s for s.
1
Let u(j) = 2*j**2 + 1. Let f be u(1). Suppose d = -0 + f. Suppose 4*o + 21 = r, -4*r + 4 = d*o - 4. Solve r*n + 2*a - 28 = 0, -4*n + a = -2*n - 4 for n.
4
Let g(d) = d**3 + 9*d**2 + 8*d - 5. Let j be g(-8). Let x(m) = m**3 + 6*m**2 + 3*m - 6. Let z be x(j). Solve 2*k = -1 - 9, z*h = 5*k + 33 for h.
2
Suppose 10 = 2*i + 3*i. Solve -w - 1 = 0, -4*w = -i*u - u + 10 for u.
2
Suppose -3*d = d - 12. Suppose -w = d*w - 12. Solve 5*c + 2*b = w*c + 8, 8 = -c + 2*b for c.
0
Let n = -4 + -3. Let h = n - -12. Suppose -2*l + 94 = 4*i, 0 = -i + 2*i - 3*l - 27. Solve 5*m + 5*p = -30, -p - i = h*m - 2*p for m.
-5
Suppose -4*f = 4*v - 4, f = -4*f + 4*v + 23. Solve 0*n - 14 = -4*x + f*n, 0 = -2*n - 4 for x.
2
Let d be ((-6)/(-5))/(10/50). Let y = -2 + 4. Suppose 3*q + y*q = 0. Solve -5*r = q, -4*u + 4*r + d = -6*u for u.
-3
Let a(f) = -f + 5. Let g be a(2). Solve i - 3*z = 8, 3*i = g*z + z + 19 for i.
5
Let y = -8 - -11. Let u(v) = v**3 + 12*v**2 + 12*v + 16. Let g be u(-11). Solve -3*f + 7*f = -16, 0 = -y*s - f + g for s.
3
Suppose 4*m - 4 = -o + 5*o, 5 = 5*m. Solve -x - 2*t - 7 = -o*t, -4*t - 12 = 0 for x.
-1
Let b be (-11)/2*48/(-132). Solve 2*q - 2 = 2*h, -b*q - 3*q = h + 25 for h.
-5
Suppose 0 = 2*l + l - 12. Suppose 4*m - 4 = l. Solve -o = t + m, o + 3*t + 11 = -3*o for o.
-5
Let p(m) be the second derivative of m**4/6 - 2*m**3/3 + m**2 - m. Let r be p(2). Let k be 2/(-4)*(0 - 4). Solve -r = -3*u + u + k*c, 2*u + 2*c - 18 = 0 for u.
5
Let l(r) = -r**2 + 3*r + 4. Let z be l(5). Let f be 2/6 + (-46)/z. Solve v - 5*x = 18 + 10, -4*v - f = 4*x for v.
3
Suppose 0 = 5*t + 3*j - j - 10, -4*j = 4*t - 20. Solve 0*h + h = 2*r, t = h + 2 for r.
-1
Let a be 0 - (0 - -2)/(-2). Let c be (-20)/(-6) + a/(-3). Suppose 0 = 3*x - 14 - 7. Solve -x = c*y + 5*n, y - 3 = 3*n - 2*n for y.
1
Let h(u) = -u**2 + 7*u. Suppose 31 = -3*w - 2. Let v = -4 - w. Let z be h(v). Solve z*d - 1 = -d, -2*s + 5*d - 5 = 0 for s.
0
Let h(k) = -10*k**3 - k**2 + k + 2. Let o be h(2). Let a be o/24*3/(-2). Solve -a*g = x + 7, 3*x + g + 0 + 7 = 0 for x.
-2
Let q(x) = x**2 - 2*x - 4. Let p be q(4). Solve 0 = -5*o + 2*n - 5 - 4, 0 = 2*o + p*n - 6 for o.
-1
Let y = -8 + 9. Let h be (y - -2) + 1/1. Suppose -z - 10 = z - 5*f, 16 = h*f. Solve p = -z*d + 2*d - 9, -12 = 4*d + 2*p for d.
-3
Suppose 6 = v + 1. Suppose -w + 2 = -q + 13, w = -v. Solve a - 17 = 5*o, -2*o = o - 2*a + q for o.
-4
Suppose -2*s + 52 = -0*s. Suppose 5*c + 6 - s = 0. Solve 14 - c = -3*x - 2*h, 5*h + 25 = -3*x for x.
0
Let s be 4/(-8) - 13/(-2). Let o(z) = 4*z**2 + 74 - z**3 - z**2 - 2*z - 72. Let h be o(2). Solve -p + s = -b, h*p + 2*b = -0 - 8 for p.
1
Let m(i) = -i**3 - i**2 + 1. Let s be m(1). Let a = s - -4. Solve a*n + 2*c - 6 = -n, 4*c = -12 for n.
3
Suppose 0 = b + 5*u - 14, 1 - 5 = -2*u. Solve -5*n = -2*z + 4, b*n + 3*z - 4 + 21 = 0 for n.
-2
Let k be 6/(-8) - (-121)/44. Solve -5*x = -2*t - 6 - 0, k*x - 3*t + 2 = 0 for x.
2
Let d = -3 - -3. Suppose d*g + 24 = 4*g. Solve -3*t - 5*j = -t + 17, -2*j = 4*t - g for t.
4
Suppose 13*i = 67 - 2. Solve 0*w + 5*x = -3*w + 14, -i*w - x + 16 = 0 for w.
3
Let r(m) = -m**3 + 8*m**2 - m + 10. Let i be r(8). Suppose h + 2*b = -3, -15 = -4*h - 3*b - i. Solve 4 = -a + 4*a - j, -a + 2*j = h for a.
3
Let s(j) = j**3 - 5*j**2. Let v be s(5). Solve h + 8*n - 3*n + 17 = v, n = 5*h + 7 for h.
-2
Let w be 96/84*14/4. Solve 0 = -2*a - w*p + 8, -4 + 5 = a - p for a.
2
Let c = 0 + 4. Suppose c*k = 5*k. Solve 4*a + 4*j = k, -2*a = -3*a - 3*j - 10 for a.
5
Let x be ((-4)/5)/((-2)/(-10)). Let j(v) = -4*v - 6. Let p be j(x). Let n be (-3)/15 - (-152)/p. Solve 5*b - 4*d + n = d, -4*b + 12 = 2*d for b.
1
Let m = 147 - 131. Suppose -4*f - 7 = -5*i + 5, 0 = f - 2*i + 6. Solve 3*x + m = f*b, -b = -0*x - 2*x - 9 for b.
5
Let p(r) = -r**2 + 7*r - 6. Let i be p(4). Let y(z) = z - 5. Let x be y(4). Let t be 2/i*3 - x. Solve 0 = -v + 3*w + 1, -3*w - 1 = -3*v + t for v.
1
Suppose 3*f - u - 1 = 0, -f - 2*u + 7 = -u. Solve o = -3*y + 8, 2*o - 3*y - f = -2*y