 -0*p for p.
4
Let y(t) = t**3 + 4*t**2 + 2*t - 3. Suppose -3*w + 4*k = 9, 0 = -4*w + k - 0 - 12. Let v be y(w). Solve v*z - 4*z - 20 = 0 for z.
-5
Suppose 0 = -4*s + 2*s - 24. Let t be 2*(-6)/9*s. Solve 0*w - t = 4*w for w.
-4
Let l be (1/(1/(-6)))/(-1). Let x be (-5)/(-2) + l/4. Solve -2*z = -x*z - 4 for z.
-2
Suppose 0*v = -v + 2, 2*v - 124 = -3*s. Let t be 3/2*s/12. Solve t*a + 20 = a for a.
-5
Let z be (2 - (6 + -3))*-4. Suppose 4*w + z*l = 16, 2*w - 4*l = -0*w + 8. Solve w*n = -n + 5 for n.
1
Let r = 13 + -7. Suppose -4*j + q = -11, -5*j - 2*q = r - 23. Let h(x) = x**2 + 3*x - 4. Let l be h(-4). Solve l = -5*n + j + 2 for n.
1
Suppose -4*p = 4*t - 20, -5*p + 2*p = -2*t - 10. Suppose 0 = -q + p - 3. Solve -q + 9 = -2*b for b.
-4
Let r be (-156)/(-18) + 2/6. Suppose -2 = -4*n + 2*q, -2*q + 11 = 4*n - 3. Suppose n*z - r = -1. Solve 6 + 2 = z*u for u.
2
Let l(h) = h**2 - 9*h - 10. Let g be l(10). Solve g = 3*b - 4*b for b.
0
Let a = -5 - -7. Let u be 4/a*3/2. Let f(i) = -4*i - 3. Let t be f(-3). Solve -u = -2*o - t for o.
-3
Let r = -11 - -15. Solve 0 = 5*t - 24 + r for t.
4
Suppose 3*j - 3 - 6 = m, 5*j - 2*m - 14 = 0. Suppose 0 = -5*y + 4*n + 20 + 5, j*y - 4*n - 20 = 0. Solve 5*o - 15 - y = 0 for o.
4
Suppose 0 = v - 0*v - 5. Solve 8 = v*b + 3 for b.
1
Suppose -2 + 6 = 4*w. Solve w = 4*k - 3 for k.
1
Let n be 2*9/(-30)*-10. Suppose -n = -m - 5. Solve -w = m + 4 for w.
-5
Let x(w) = -w**3 - 11*w**2 - 9*w + 13. Let n be x(-10). Suppose 2*r = n*r. Solve r*d + d = 0 for d.
0
Let c be (-6)/9 - (-8)/3. Let t = c + 2. Solve -t*m = -9*m - 20 for m.
-4
Let s be 39/12 - (-2)/(-8). Suppose q + 4*h - 13 = 0, 0*q - 3*h - 9 = -s*q. Solve -q*d - 2 = 8 for d.
-2
Let o(t) = 5*t + 1. Let s be o(2). Suppose -4*w - 3*d = -s, w + 2*w - 7 = -d. Solve 2*c + w = c for c.
-2
Suppose 4*s - 30 = 2*s - 4*u, 0 = -4*u + 12. Let z be (-2)/(-8) - 21/4. Let t = z + s. Solve -2 = -2*h - t for h.
-1
Suppose 0 = j + 1 - 3. Let i be -2 + 0 - -3*j. Solve i = -0*x - 4*x for x.
-1
Let l(k) = -k**3 + k**2 + k + 6. Let r be l(0). Let m be (0 - r)/(3/(-8)). Solve -2*y - m = 2*y for y.
-4
Let i = 4 + -3. Suppose 0 = 4*y - 3 - i. Solve y = -2*t - 1 for t.
-1
Let a = -23 + 26. Solve -3*d - a - 3 = 0 for d.
-2
Suppose 5 = 10*h - 25. Solve 0 = 2*o - h + 11 for o.
-4
Suppose 0 = 5*k - l - 34, 0*k - 5*k - 2*l + 37 = 0. Let x = 42 + -29. Let m = x - k. Solve m - 9 = -3*n for n.
1
Suppose 0 = -0*n - 5*n. Let d be ((-4)/8)/((-2)/4). Suppose n = -w - d + 4. Solve 1 = w*i - 8 for i.
3
Let l be (-2)/4 - 63/(-18) - -1. Solve l*i = 2*i for i.
0
Let u = -9 + 13. Let m = 7 - u. Suppose a - m = 2*n, -3*a = -0*a - 9. Solve -4*p + 3*p + 4 = n for p.
4
Suppose -3*f - 3*a = -12, -8 - 5 = -5*f + 2*a. Suppose -f*p + 10 = -2. Let m be 3/4 - 1375/(-220). Solve -p*v - m - 9 = 0 for v.
-4
Let y(l) = -l - 7. Let v be y(-9). Solve -2 = -4*r + v for r.
1
Suppose -3*v + 3 = 3*z, 0 = -4*v - 0*z + 3*z + 32. Solve v*g + 14 = 4 for g.
-2
Let j be (-2)/((-7)/(7/2)). Suppose 0 = -2*l + 3*l - j. Solve 0 = -h - l - 2 for h.
-3
Let t be (-3)/(-2) + 3/6. Suppose 21 = 3*q - 6. Let b(m) = m**3 - 10*m**2 + 9*m + 5. Let j be b(q). Solve -j = -t*f - 1 for f.
2
Suppose l + y = -4*l - 30, -30 = 3*l + 3*y. Let b(g) = g + 5. Let h be b(l). Solve h = 6*w - 2*w + 8 for w.
-2
Let h be 0 + 7/(14/20). Suppose -2*g - h = -g - 4*t, 4 = -g + 2*t. Solve 2*c + g = -2 for c.
-2
Suppose -o + 15 = 4*n, n + 4*n = 4*o + 3. Solve -o*h + 2*h = -2 for h.
2
Let x = 11 - 10. Suppose 0*f = 2*f. Suppose q + f*q - 2 = 0, -i + 2*q - 2 = 0. Solve 3*m + i = -x for m.
-1
Suppose -4*l = -5*v + 20, -4*v + 16 = -0*v - 5*l. Let g = -1 - -1. Suppose g = -v*d + 2*n - 4, -4*n + 5 + 3 = 5*d. Solve d = c + 2*c - 12 for c.
4
Let t(c) = 2*c**2 + 3*c - 3. Let o be t(-3). Solve 15 = r - o*r for r.
-3
Suppose -5*n - 2*v - 19 = 8, -3*v = -2*n - 7. Let s be (-21)/n - (-5)/(-25). Solve 5*c + s = -6 for c.
-2
Suppose -y = -4*u + 16, -4*y + 12 = u + 2*u. Let b(q) = q**2 + 2*q + 1. Let x be b(-5). Suppose x = -r + 5*r. Solve 0 = u*k - r for k.
1
Let s = -27 + 30. Solve -4*r + 7 - s = 0 for r.
1
Suppose 0 = -0*h + 2*h - 238. Suppose -3*f + h = 26. Solve f - 6 = -5*y for y.
-5
Suppose -7 = -5*i + 3*h - 29, i + 18 = 4*h. Let r = 4 + i. Solve -r = 5*m + 3 for m.
-1
Suppose -a = a. Suppose 0 = -4*z - a*z + 16. Suppose -41*o = -34*o. Solve z*w = -o*w + 4 for w.
1
Let h be 16/4 + (-1 - 3). Suppose 7 = 2*q - 15. Let c = 15 - q. Solve h = c*p - p + 3 for p.
-1
Suppose -2*s - l = -0 + 1, 2*l + 7 = s. Suppose 0*i = -3*t + i + s, t + 3*i = -3. Solve b - 2*b + 3 = t for b.
3
Let v be (-2)/(-5) + 24/15. Let y be (-2)/5 + (-36)/(-15). Solve v*t + y = t for t.
-2
Suppose 0*k + 4*l = -3*k + 29, -16 = 3*k - 5*l. Let i be (2/(-4))/(k/(-18)). Solve -i*v = -2 - 1 for v.
1
Let y be (-2)/(-7) + 828/42. Suppose 3*i = 2*i - 10. Let o be 4/i + 48/y. Solve o*q + 3*q + 15 = 0 for q.
-3
Let q = 10 - 7. Let x be 1/3 - 2/6. Solve m + q = -x*m for m.
-3
Let o(w) = -w**2 + 12*w - 12. Let d be o(9). Suppose 0 = 5*t - 10*t + d. Solve 0 = -0*j + t*j for j.
0
Let z be 148/12 + (-9)/27. Solve 5*v - v = z for v.
3
Let z be (-9)/(-6)*14/3. Solve 5*w - 3 = z for w.
2
Suppose -3*j - 8 + 2 = -3*y, 5*y + 2*j = 17. Suppose -7*g = -y*g. Suppose -48 = -4*r + 2*i, 3*i = -4*r + 3*r + 12. Solve g = -3*c - 0*c - r for c.
-4
Suppose 25 = 5*x - 5*q, -3*q + 0 - 15 = 4*x. Suppose -3*w - 14 = -0*z - z, x = -4*w + 4*z - 8. Let n = w - -8. Solve -n*k + 6*k = 0 for k.
0
Let r be ((-12)/14)/(-3) + (-10)/35. Solve p + 0*p = r for p.
0
Let u = -66 - -71. Solve -u*z + 0 = 20 for z.
-4
Let g be 0 + (-2 - -3)*5. Solve -10 = -3*s + g for s.
5
Let r be 24/16 + 34/4. Suppose 5*u - 19 + 4 = 0. Suppose c - m - 5 = 0, -u*m = 2*m. Solve 0 = -c*b + r for b.
2
Suppose 4*s = 4*q - 2 + 18, 2*s - 5*q - 20 = 0. Solve s*i = 2*i for i.
0
Suppose 5*v = -3*d + 10 - 1, -5*v = 5*d - 25. Let r be (-1)/(-3) - (-48)/(-9). Let z = r + d. Solve -2 - z = -f for f.
5
Let t be (6/(-9))/(2/(-3)). Let r be t*(2 - 0) - 0. Suppose j = -2*h - 10, -3*h - r*h - 25 = 2*j. Solve j = -2*i + 2 - 4 for i.
-1
Let f be 3 + (-1 - (-1 + -2)). Solve 0*m = -f*m + 15 for m.
3
Let j(p) = -26*p**3 - p**2 + p. Let a be j(1). Let v = -16 - a. Solve q + q - v = 0 for q.
5
Let f(j) = -4 + 2*j + 3 - 4 - 1. Let y be f(11). Let u be 1/(-4) + 36/y. Solve i + u = 2*i for i.
2
Let i = -13 - -13. Suppose -4*w + 16 = -i. Solve 5*v = 3*v + w for v.
2
Let u = 14 + -11. Solve u*g + 2*g = 25 for g.
5
Let c be ((-9)/18)/((-2)/(-16)). Let u(i) = i**2 + 4*i + 2. Let k be u(c). Solve 0 = -5*s + k*s - 9 for s.
-3
Suppose 5*g + 3*o - 26 = 34, 4*o = -3*g + 25. Let m be 16/(-5)*g/(-3). Let r = -4 + 6. Solve -2*y - m = r*y for y.
-4
Let z = -4 - -5. Suppose n - 4 = -z. Solve 4*g - n*g - 1 = 0 for g.
1
Let j = 28 + -24. Solve 2*n - 4*n = j for n.
-2
Let q = -4 + 10. Let k(a) = a**2 + 5*a. Let m be k(-4). Let n = q + m. Solve n*r + 1 = -3 for r.
-2
Let w = 8 - 18. Let f = -8 - w. Solve 5 = -f*d - 5 for d.
-5
Suppose 5*i = -2*w + 9, 2*i = -0*i - 5*w - 9. Solve -i*j - 10 = -j for j.
-5
Suppose 4*n - 15 = i + 3, -4*n = -2*i - 24. Let l be i*2/4 + 3. Solve 0 = 5*s - l*s for s.
0
Let h(d) be the first derivative of d**3/3 - 5*d - 3. Let l be h(-3). Solve 0 = -o - 3*o + l for o.
1
Let f = 2 + -2. Suppose -2*u = -f*u - 16. Let x(p) = p**3 - 15*p**2 + 13*p + 17. Let o be x(14). Solve 0 = o*d - u - 1 for d.
3
Let d(n) = -n**2 + 4*n - 4. Let f be d(4). Let j = f + 7. Suppose -5*k + 6 = -3*r, 3*r - 3 = k + j. Solve 6*l - 3 = r*l for l.
1
Let w be 12 - 14 - -5*1. Suppose -w*b - 2 = -8. Solve -4*n = -b*n - 10 for n.
5
Let k be 0 + (0 - -2) + -2. Suppose 8*j - 148 + 20 = 0. Solve a + 3*a - j = k for a.
4
Let a = 17 - 15. Suppose a*w - 5 = -1. Solve 4*g + w = 6 for g.
1
Let u(c) = -5*c. Let o be u(-2). Suppose -3*z = -v - 6, -2*z + o = -5*v + 3*z. Solve v = 5*r + 9 + 11 for r.
-4
Let o be (-36)/3*(-3)/(-4). Let k(b) = b + 3. Let l be k(o). Let j = l + 7. Solve j + 7 = -2*x for x.
-4
Let d = -6 - -8. Let w be 8/2*4/16. Let b = 6 - w. Solve -3*p + b = d*p for p.
1
Suppose w - 4 = 0, 2*v = -4*w - 2 - 6. Let f = -8 - v. Solve 8 = -0*r + f*r for r.
2
Let w be (4/12)/(2/12). Let p be 14/21 - (-1)/3. Solve -j + w*j - p = 0 for j.
1
Suppose -4 = -2*m + 3*k, -k - k - 16 = 2*m. Let d be (-2)/13 - m/26. Solve d = 3*u - u - 8 for u.
4
Le