 for p.
3
Let o(m) = -2*m - 2. Let r be o(-4). Solve r*h - h + 20 = 0 for h.
-4
Suppose 0 = 4*m + 3*h - 2*h - 16, 0 = 4*m - 2*h - 4. Solve 0 = 2*a + 5 - m for a.
-1
Let z = -3 - -6. Suppose -m - 8 = -6*m - 2*t, -z*t + 7 = 5*m. Solve 0 = -7*a + m*a - 20 for a.
-4
Suppose -4*b + 4*n = -60, 12 = 5*b - 2*n - 63. Solve l + b = -2*l for l.
-5
Suppose -3*f - 2*f + f = 0. Solve f*j - 20 = -4*j for j.
5
Suppose 0 = 4*q - a, 12 = -2*a - a. Let l(h) = -3 + 7*h**2 + 7*h**2 + 2. Let y be l(q). Solve -4*u = -y + 1 for u.
3
Let n(f) = f**3 + 7*f**2 - 2*f - 12. Let x be n(-7). Suppose -l + 5*t = -19, t + 15 = -4*t. Solve 0 = x*w - 6*w - l for w.
-1
Let v be -3*3/(-9)*7. Suppose 3*w - v = -1. Solve y + w*y = 3 for y.
1
Suppose -4*h = -h - 15. Suppose h*r = 5*o, -4*r + 6 = -3*r + 2*o. Suppose 3*b = -3*i, -r*b + 2 = 5*i - 2*i. Solve -4*u + 6 = -i for u.
2
Let l(m) = -m**3 + 2*m**2 + 3*m - 3. Let f be l(2). Suppose -f*k = k - 8. Suppose k*h + 4*d = 0, -2*h = -8*d + 3*d - 18. Solve -3*o + h = -o for o.
2
Suppose d = -4*a - 4, -2*a - 3*a + d + 4 = 0. Solve a = -4*o - 5 - 3 for o.
-2
Let n(f) = 3*f**2 + f. Let c be n(-1). Solve -7 = -3*l + c for l.
3
Let p = 33 + -33. Solve p = -3*c + 2*c - 1 for c.
-1
Let w(k) = -k**2 - 12*k - 9. Let o be w(-11). Solve -5*l + o = 7 for l.
-1
Let o be 3*(-3)/(-9) + 11. Suppose -3*d = -3*w - o, -5*w - 8 = -0*d + d. Suppose -4*f - 4 = d*a, 7*f - 2*f + 14 = 2*a. Solve n = -6 + a for n.
-4
Let x be ((-1)/(-2) - 1)*-2. Let d be 0 - (1 - (x - -2)). Let t(r) = r. Let n be t(d). Solve j = -0*j - n for j.
-2
Let v be (-1 + 9)/(1/4). Let r = v + -23. Suppose 0*o = 3*o - r. Solve o = 3*t - 3 for t.
2
Suppose -18 = l - 4*l. Suppose -37 = 4*u - 25. Let a = l - u. Solve -a - 1 = 2*c for c.
-5
Suppose 0 = -d + 3*p + 8, 5*d - p - 2*p = 16. Solve 0 = -d*q + 5 - 3 for q.
1
Let m(k) = 5*k + 5. Let f be m(4). Let w = 1 - -1. Solve -w*j + f = 3*j for j.
5
Let f(k) = -10*k + 3. Let r be f(-3). Solve 5*n = -r + 8 for n.
-5
Let k be (-16)/(-7) + (-6)/21. Suppose 0 = l - k. Solve -l*j = -7*j - 10 for j.
-2
Suppose 0 = -5*j + 3*l + 2*l, 5*j + 3*l = 16. Suppose k = j*k - 3*s + 2, 3*k - 30 = -3*s. Solve -13 = -4*q + k for q.
5
Let o = -637 + 309. Let d be 2/7 + o/(-28). Solve -2*a - d = 2*a for a.
-3
Suppose 2*g = -0*g - k + 13, -4*g + 5*k + 19 = 0. Let r(j) = 2*j**2 - 10*j + 8. Let l be r(g). Solve -3*w = w + l for w.
-5
Let p = -53 + 65. Solve -3*a + p = -0*a for a.
4
Let u(o) = o**2 - 6*o + 1. Let v be u(7). Solve -3*a + 7*a = v for a.
2
Suppose 20 + 16 = 4*i. Let t(w) = -w + 12. Let r be t(i). Solve 10 = r*m - 5 for m.
5
Let a = -8 + 18. Solve 0*n = -2*n - a for n.
-5
Let b(n) = -n**3 + 11*n**2 - 8*n - 19. Let x be b(10). Solve a - x = -4 for a.
-3
Let m = 18 - 16. Suppose -6*c = -m*c. Solve c = 2*r + r for r.
0
Let a(n) = n**3 + 6*n**2 + 5*n + 2. Let k = -1 + -3. Let u be a(k). Solve 2*q - u + 6 = 0 for q.
4
Let k = 1 - -7. Let j = k + -8. Solve -z + j*z = -5 for z.
5
Suppose -34 = -4*y + 2. Let r be 0/((y/3)/3). Solve r = -4*i - i + 25 for i.
5
Let m be 4/((-16)/(-10))*10. Solve -3*l - 2*l - m = 0 for l.
-5
Let l(r) = -r**3 + 6*r**2 + 6*r + 3. Let s be l(7). Let k = 4 + s. Suppose 4*v - 15 = 3*v + 3*f, -2*f + 4 = 4*v. Solve 4*o - 5 - v = k for o.
2
Let o(r) = 5*r - 9. Let c be o(2). Solve 0 = 4*s + c - 5 for s.
1
Suppose 6*p = -p. Solve p = -0*i - i - 2 for i.
-2
Let x = -24 + 28. Solve 0 = j - x + 2 for j.
2
Let k = 7 - 6. Solve 0 = 3*t - k - 2 for t.
1
Suppose 4*d - 5 - 3 = 0. Suppose 0*v = v + 2*r - 2, 0 = d*v + r - 7. Let f = 33 - 33. Solve -v*k - k = f for k.
0
Suppose -6 = 2*h - 18. Let k(s) = s - 5. Let d be k(h). Suppose 0 = -3*m + 31 - d. Solve -m = -5*r + 3*r for r.
5
Let s = -28 - -39. Solve -4*l - s = 5 for l.
-4
Let u(g) = g - 1. Let i be u(-4). Let s = i + 30. Solve -s = t + 4*t for t.
-5
Let w be (-16)/10 + 14/(-35). Let n be (-6)/9*9/w. Solve -n*d + 10 = -d for d.
5
Suppose -6*b = b - 238. Solve 4*z = -14 + b for z.
5
Suppose 2*l + c - 1 = -l, -18 = l + 4*c. Suppose -3*t + 6*t = 5*z, -3*t = -z - 12. Solve -z*a = l*a for a.
0
Suppose 2*h - 4 = 0, -3*r + 3*h + 2 = -1. Suppose -4*q = m + 18, 19 = -3*m + 5*m - 3*q. Suppose m*v - 5 + 3 = 0. Solve 4*z - v = r*z for z.
1
Suppose 0 = -2*s + 5 + 21. Let c = 13 - s. Solve -3*t - 2*t - 20 = c for t.
-4
Suppose -3*u + u + 40 = 0. Suppose 0*r - 4*r = -u. Solve 2*h = r*h for h.
0
Let d(n) = n**2 + 7. Let i be 0*2/(-7 - -1). Let c be d(i). Solve 5*q + 27 = c for q.
-4
Suppose -f + 14 + 11 = 0. Let y = -15 + f. Let b = y + 2. Solve b = 3*z + z for z.
3
Let n be (-3)/((-3)/4 - 0). Suppose -n*h - h + 15 = 0. Suppose 2*p - h*p + 8 = 0. Solve -3*o + p = o for o.
2
Let w(n) = n**3 - n**2 + 2*n - 1. Let y be w(1). Solve v + 0 = y for v.
1
Let g(p) = -p. Let b(z) = -3*z + 2. Let w(o) = -b(o) + 2*g(o). Suppose 0 = -a - 4*c, -5*a - 3*c - 5 = -39. Let j be w(a). Solve 3*v - 6*v = -j for v.
2
Suppose 0 = -2*j + 9 - 1. Let i = -8 + 11. Solve 0 = -i*l + 7*l - j for l.
1
Suppose 2*g = -5*g + 14. Solve 0 = -g*f + f + 5 for f.
5
Let g = 9 + -5. Suppose 0*y + 4*y - 40 = 0. Let m be ((-4)/(-5))/(g/y). Solve m*h - h = -2 for h.
-2
Suppose 0 = -3*o + 2*h - 9, -5*o = 5*h - h + 15. Let n = o - -6. Let a(s) = 2*s - 2. Let q be a(n). Solve -13 = -q*j + 7 for j.
5
Let x(w) = -2*w + 1. Let s(r) = 3*r - 2. Let n(u) = 5*s(u) + 7*x(u). Let f be n(5). Solve h - f*h = 0 for h.
0
Let x(d) = d**3 - 6*d**2 + 4*d + 3. Let f be x(5). Let h be (2 + -2)/(3 + f). Suppose 5*w - 24 = -3*r, -r + h*r = -3. Solve -w*z + 3 = 6 for z.
-1
Let l be 51/9 + 2/(-3). Suppose 3 + 0 = 3*f, -2*f = 3*h - 35. Solve 4*s - l - h = 0 for s.
4
Suppose -1 = -10*t + 29. Solve 4*r = -t + 7 for r.
1
Let x(c) = c**3 - c**2 - c + 2. Let q be x(0). Suppose -3*p + 5*p = q. Let v be -4*(-1 + 0)*p. Solve 2*j - v = -0 for j.
2
Suppose 5*y + f = 4 + 6, -4*f = -y + 23. Suppose -y*k + 16 = k. Suppose -4*h - k*x = x, -3*x - 32 = -4*h. Solve 2*g = h*g + 3 for g.
-1
Suppose 0 = -2*z + 4*t + 36, 5*t = -0*z - z + 25. Solve 4*p - z = -0*p for p.
5
Suppose -2 = -3*m + 4. Solve -12 = -m*s + 6*s for s.
-3
Let f(v) = 4*v - 2. Let z be f(-3). Let h be 4/z - (-2)/7. Solve 5*n - 44 + 19 = h for n.
5
Let p(c) = 2*c - 2. Let i be 2/1*27/(-6). Let r be -1 + -1*i/3. Let m be p(r). Solve 0*u + m = 2*u for u.
1
Let f(l) = l**2 + 2*l + 3. Suppose -5*q - 25 = -0*q. Let h = q + 3. Let t be f(h). Solve 5 = t*w - 1 for w.
2
Suppose 16*k - 17*k + 5 = 0. Let j be 4 - k - (-1 - 0). Solve -3*m + 0*m - 3 = j for m.
-1
Let y(g) = g**3 + g**2 - 8*g - 3. Let n be y(-3). Solve -n*b + 9 = -0*b for b.
3
Let h(g) = g + 11. Let k be h(-7). Let t(c) = -c - 7. Let w be t(-10). Solve -k*l + w = -5*l for l.
-3
Let c be (7/(-3))/(2/(-6)). Let i = c + -7. Solve 4*q - 3 - 17 = i for q.
5
Let v(l) = -l**3 - 2*l**2 - 2*l. Let j be v(-2). Solve i - 20 = -j*i for i.
4
Let d be -2*2/(-2) + 3. Suppose -d*q = -7*q. Solve -2*y + 4 = -q for y.
2
Let m(n) = n - 4. Let s = -4 + 18. Let y = s - 8. Let w be m(y). Solve a + 5 = w*a for a.
5
Suppose -6 = -14*g + 11*g. Let d be 4/(-10) - (-12)/5. Suppose -2*w - 3*h - d = -10, w + 7 = 4*h. Solve g*i + 3 = -w for i.
-2
Let a(p) = -p - 5. Let s be a(-5). Suppose 7 = 5*t - j, -j = -t - s - 1. Let g = -21 - -36. Solve g = 3*b + t*b for b.
3
Suppose -2*x = 2*x - 8. Let s = 9 - 9. Solve -g + x*g = s for g.
0
Suppose 4*l - o = -2*o + 9, 21 = 2*l - 5*o. Solve 0 = l*j + 17 - 5 for j.
-4
Suppose -y + 20 = -4*b, -2*y - 4 = 3*b + 11. Solve h = -y*h + 1 for h.
1
Let i = -1 + 1. Let r = i + -3. Let j(z) = -z**2 - 3*z + 2. Let y be j(r). Solve 0 = -y*l - 2 - 6 for l.
-4
Let h = 4 + 2. Let j(b) = b**3 - 7*b**2 + 7*b - 5. Let u be j(h). Solve 2*z + 3 - u = 0 for z.
-1
Suppose 0 = -4*s + 4*v + 9 - 45, 0 = 2*s - 4*v + 16. Let n = 0 - s. Solve n = 3*l - 2 for l.
4
Suppose -b - 55 = 4*b. Let n = b - -27. Solve u + n = 5*u for u.
4
Let u = -6 + 10. Suppose u*i = 2*i. Let o be 2 + 0 - (2 - i). Solve -2*d - 2*d = o for d.
0
Let h be (2/(-3))/(8/(-12)). Suppose -3*b + 2*g = -h - 32, g + 62 = 5*b. Suppose x - 13 = -2*t, -5*t - 2*x + 30 = -0*x. Solve -b = t*j + 3 for j.
-4
Suppose -2*z = 23 - 47. Solve 0*w - z = -4*w for w.
3
Let q(v) = -8*v - 56. Let x be q(-7). Suppose 9 = -2*o - o, 0 = 2*z - 5*o - 23. Solve x*w + z = -4*w for w.
-1
Suppose 4*a = -3*z + 2*a + 15, -30 = -5*z - 5*a. Solve -k = z*k for k.
0
Le