 + f = -8 for p.
3
Let v(p) = -5*p**3 - 5*p**2 - 9*p - 11. Let b(t) = -14*t**3 - 15*t**2 - 26*t - 32. Let q(u) = -6*b(u) + 17*v(u). Let f be q(5). Solve 4*z + 0 = -f for z.
-5
Suppose 3*v + 4 = 7*v. Let g be 0*(-1)/v + 4. Suppose -a + 5*a - 5*o - 90 = 0, 0 = 4*a - 3*o - 94. Solve -a + 5 = -g*w for w.
5
Let g = 14 - 4. Suppose -4*p = p + g. Let f be p/(-8)*12/3. Solve 1 = 2*l - f for l.
1
Suppose 4*k - 1 = 3. Let x(t) = 5*t**2 - 1. Let g be x(-1). Let c = k + g. Solve 10 + 5 = -c*u for u.
-3
Let z(t) = -t**3 - 5*t**2 + 6*t + 4. Let c be z(-6). Suppose -4*r = 4*l - 12, 5*l + 3*r - 15 + 4 = 0. Solve b + c - l = 0 for b.
-3
Suppose 15 = -0*y - 5*y. Let u be -3 - (-3 + y - -1). Solve -2*f + u = 6 for f.
-2
Let n = 34 + -31. Solve -4*z + n = -5*z for z.
-3
Let g(a) = -a**3 - 5*a**2 + 4. Let j be g(-5). Suppose j*n - 9 = 3*n. Solve 3*h + 6 = -n for h.
-5
Let l = -11 - -22. Let n = -7 + l. Let c be (3 - 22/n)*-4. Solve c = k + 4*k for k.
2
Suppose -3 = 4*m - 15. Suppose 5*d = -4*q + 46, 5*q - 5*d - 24 = 11. Solve -6 = m*c + q for c.
-5
Let g = -9 + 19. Let q = g + -9. Solve 2*p = -q + 3 for p.
1
Suppose 0 = -2*b - 8, q - 3*b + 2 = -8*b. Solve q = 5*d - 2 for d.
4
Suppose -6 = -4*h + 10. Suppose -4*s + 0 + 12 = h*m, m = -4*s + 6. Let n(i) = i**2 + 34*i - 62. Let r be n(-36). Solve 0 = -m*d + r - 0 for d.
5
Let w = -11 + 30. Let x = -16 + w. Solve -6*r + x*r = 15 for r.
-5
Let w = -104 - -108. Solve x - w = -0 for x.
4
Suppose -2*p = 3*p - 65. Solve 0 = -3*d - p - 2 for d.
-5
Let i(c) = 4*c. Let x be i(1). Suppose 4*t - 2*t = x. Solve -2 = t*y - 0*y for y.
-1
Let f = 10 - 4. Let t = 11 + -11. Suppose 4*k - 1 = 11, 5*m + k - 3 = 0. Solve 3*r + t*r + f = m for r.
-2
Let v(j) = j - 7. Let g(t) = -2*t + 1. Let s be g(-3). Let a be v(s). Let c be 6 - 1*(a - 2). Solve -c = 5*p + 12 for p.
-4
Let d be 0 + 2 + -30*(-4)/8. Solve d = 4*w - 3 for w.
5
Let q(x) = -x**3 - 6*x**2 - 3*x + 6. Let r be q(-5). Let b = 6 + r. Solve -v + 2*v = -b for v.
-2
Suppose -3*k + 2*k = -5*p + 29, 5*p - 4*k = 41. Solve -m + 0*m = p for m.
-5
Suppose 4*i = -2*l + 2, -i + 5*l = -3*i - 19. Suppose i*c + 10 = 5*c. Solve -1 = c*g + 14 for g.
-3
Suppose -4*z + 0*f - f = -12, 3*z - 3*f = 9. Let k be 3 - z/(3/1). Let n = -20 + 30. Solve -k*l - n = -4 for l.
-3
Let l(k) = -k**3 - 11*k**2 - 10*k. Let u be l(-10). Let v = 6 - -2. Solve 0*o - 2*o + v = u for o.
4
Let f(r) = -2*r**2 - 12*r + 5. Let a be f(-6). Solve 4*o - a = -25 for o.
-5
Suppose 8 = 6*d + 2. Solve 0 = 4*h + 13 - d for h.
-3
Suppose -2*m + 8 = -0*m. Suppose -v - 6*l = -2*l - 3, 12 = m*v - 3*l. Solve 4*d + v = -13 for d.
-4
Let t(o) = -o**3 - 14*o**2 + o + 29. Let f be t(-14). Solve -k - f = -4*k for k.
5
Let c be 1/(-4) - 18/(-8). Suppose f = t + 5, -2*t + 4 = -4*f - 4*t. Solve -f - 5 = -c*p for p.
3
Let r(o) = o**2 + 6*o - 1. Let b be r(-7). Solve b = d - 4*d for d.
-2
Suppose -13*j + 155 = 38. Solve 2*n = j - 1 for n.
4
Suppose -1 = 5*h - 26. Suppose h*s - 12 = -2*x + 2, -3*s = -3*x. Solve -3*t - x = -t for t.
-1
Let u be (-17 + -3)*(-25)/4. Suppose d + 4*d = u. Solve -g + d = -6*g for g.
-5
Let q(x) = -6*x - 3*x**3 + 0*x**3 + 7 - 4*x**2 + 4*x**3. Let f be q(5). Let n = f + 1. Solve -3*i + 3 = -n for i.
2
Let j(c) = -c**3 - 28*c**2 + 6. Let d be j(-28). Solve 0 = -5*r + d + 14 for r.
4
Suppose -4*f - 14 = -66. Suppose 3*y - f = 5. Solve t = -t - y for t.
-3
Let h = -5 - -8. Suppose -h*x + 1 = -20. Let a(r) = 2*r - 8. Let d be a(x). Solve 2*y + 4 = d*y for y.
1
Let u be 2/5 + 85/(-25). Let q = 3 + u. Suppose 0 = 6*o - o - 5. Solve q = x - 3 + o for x.
2
Suppose -3*i - 4 + 1 = 0. Let z be (i + 6/(-3))/(-1). Let p be 14*1/14*12. Solve p = z*c + c for c.
3
Let t(k) = k**3 - 5*k**2 + 6*k - 5. Let a be t(4). Suppose 0*b - 4*b = 0. Suppose h - 3*h = b. Solve -m + a = -h*m for m.
3
Let n = 7 - 7. Suppose 4*g - 44 - 36 = n. Solve -g = 2*a + 2*a for a.
-5
Let f(d) = d**2 + 5*d + 5. Let u be f(-5). Suppose g = 5, u*g - 41 = -3*h - h. Let l = -8 + 12. Solve -5*m - h = -l*m for m.
-4
Let x(r) = r**2 + 9*r - 6. Let s be x(-9). Let t be (s/(-21))/(4/28). Solve 0 = -0*j - t*j - 6 for j.
-3
Let i(g) = -3*g + 2. Let b be i(0). Solve -4*s + b*s = 0 for s.
0
Suppose -5*j - 2 = -6*j. Solve -j = 5*p + 18 for p.
-4
Suppose 2*n = 3*n - 4. Suppose -n*w + m + 18 = -m, 0 = 2*w + 5*m - 27. Let j(z) = z**3 + 2*z**2 - 1. Let y be j(-1). Solve 3*k + 3 + w = y for k.
-3
Let d = -18 - -29. Let a = d + 94. Let v be (1/3)/(5/a). Solve -m - 3 = -v for m.
4
Let p = -4 - -7. Suppose 3*t - 10 = -4*r, 0*r = -3*t - 3*r + 9. Solve t*k - p*k = 0 for k.
0
Suppose 0 = -2*o - 3 - 3. Let n be (-13)/(-2) + o/6. Suppose 2*k - n*k = -4. Solve 0 = s - 2*s + k for s.
1
Let b = 53 - 74. Let j be 4/14 - 309/b. Solve 3*v + j = 6 for v.
-3
Suppose 3*k = -5*g - 6, 4*g + 3*k - 4*k - 2 = 0. Suppose -3*s = -2*p - 36, -4*p - 11 - 1 = -s. Solve -4*t + g*t = -s for t.
3
Suppose 4*t = -2*z + 29 + 3, -4*z + 10 = -t. Let h(j) = -j**2 + 5*j + 8. Let q be h(t). Suppose -x + q + 3 = 0. Solve o = x*o + 20 for o.
-5
Let b = -93 - -97. Solve 3*y + y + b = 0 for y.
-1
Let c be (-87)/(-29) - (1 - 1)/2. Solve 11 - 2 = c*y for y.
3
Suppose 4*i + 4 = 8*i. Solve 3*h + i = -5 for h.
-2
Let v be (-70)/(-9) + 6/27. Suppose -c = -3*z - 5, -3*c + 6 = 4*z - 9. Solve 3*l + 4 + v = z for l.
-4
Let t = -7 + 10. Let g(w) = 2*w**2 - 14*w + 8. Let i be g(9). Suppose 4*v + t*b - 31 = i, 2*b - 25 = -v. Solve v = 3*s - 6*s for s.
-5
Suppose j - 2 = -3. Let s = -2 - j. Let y be (-26)/(-8) - s/(-4). Solve -1 - 2 = -y*w for w.
1
Let a = 15 - 9. Suppose 0 = 3*o - a*o - 6. Let n be -5*(o - (2 + -1)). Solve 4*b - b = n for b.
5
Let a(n) = n**2 + 20*n + 36. Let s be a(-19). Solve -4*v + s = 25 for v.
-2
Suppose 3*p - 5*y = 4, -2*p - 4*y + 1 = -3*p. Solve 0*r + 3*r = p for r.
1
Suppose 3*g + 4*v = -0*v - 18, 0 = -g + v + 1. Let o be 0/g + -2 - -4. Solve 4 = f - o*f for f.
-4
Let j(i) = 2*i**2 - i - 2. Let x be j(2). Suppose 0 = -x*k - k + 20. Solve -r = -3*r - k for r.
-2
Suppose 4*f + f = 0. Suppose b = t + 7, 0 = -2*t - 5 - 3. Suppose -c - 6 = -b*c. Solve f = -l - c for l.
-3
Let m be ((-50)/6 - 0)*-9. Suppose 5*g + 0*g - m = 0. Let f = g + -11. Solve -3*x + f = -5 for x.
3
Suppose 7*q = 4*q + 60. Suppose 4*d - q = -v - v, 5*d + 5 = -v. Suppose h - 13 = -4*i, 4 + 3 = 3*i - 2*h. Solve v = -7*f + i*f for f.
-5
Suppose 4 = 3*l - 2. Suppose -4*n - v + 35 = 0, 4*n - 3*v + 7*v - 44 = 0. Suppose 3*j = -n + 56. Solve -2*c - l*c = j for c.
-4
Suppose 6 + 4 = 5*q. Let c be (-3 + q)*2*2. Let a be (-6)/(c - -1) - 1. Solve 0 = -2*n - 5 - a for n.
-3
Let r be (-6)/3 + 2 + 4. Solve r*y - 10 = -y for y.
2
Let b(m) = m + 5. Let p be b(-6). Let r(a) = 2*a**2 + 1. Let c be r(p). Solve -2*u + 3 + c = 0 for u.
3
Suppose -m - 3*s = -17, -m = 4*s - 15 - 3. Let q be m/(-35)*(-2 - 3). Solve -q = a + 2 for a.
-4
Let m(h) = h - 2. Let g be m(-7). Let w = -5 - g. Let a be 0/w - 6/(-1). Solve a*r + 25 = r for r.
-5
Let r = 18 + -15. Suppose 3*g - g = 5*q - 13, -5*g - 4 = -r*q. Solve 0 = 2*d - q + 1 for d.
1
Let k(n) = -n**3 - 15*n**2 + 15*n - 12. Let j be k(-16). Solve j*w = 4 - 0 for w.
1
Suppose -4 = -2*s, 5*v - 3*s = -s + 116. Suppose -2*w - 2*w = -v. Let b = w - 4. Solve -b*u = -4*u for u.
0
Let j(k) = 3*k - 6*k + k**2 - 6 - 3*k - k. Let t be j(8). Solve 0 = t*u - 3*u - 1 for u.
-1
Let w(k) = 5*k + 100. Let m be w(-20). Solve -3*f + m = 3 for f.
-1
Let r = 18 - 6. Suppose 0 = -4*a + 8 - 0. Let x = a + -2. Solve -6*d + 2*d + r = x for d.
3
Let h(b) = 19*b**3 - 2*b**2 + 1. Let j be h(1). Solve 5*p + j = 3 for p.
-3
Let p(n) = 3*n - 2. Let a be p(2). Let x = a + -6. Let i be 2 + (-1 - x) - 1. Solve -13 = -3*o + i for o.
5
Suppose 0 = w + 2*w - 3. Suppose -5*n - 25 = -0*r - 2*r, w = 2*r + 3*n. Solve -r*h - 6 = -21 for h.
3
Suppose -4*y - 2*p + 78 = 0, -y + 1 = 2*p - 17. Solve -4*t = t - y for t.
4
Let v(w) = -4*w**3 - 13*w**2 + w + 4. Let z(l) = -3*l**3 - 12*l**2 + l + 4. Let r = 5 - 0. Let c(n) = r*z(n) - 4*v(n). Let h be c(8). Solve 4*t - h = 8 for t.
5
Let d be ((-4)/(-7))/((-8)/(-28)). Let v(c) = -9*c - 83. Let q be v(-11). Solve d*r + 2*r - q = 0 for r.
4
Suppose -2*g + 4*g - 12 = -4*x, 2*g = 2*x - 6. Suppose -5*i + 3 + 7 = g. Solve -i*o = -5*o - 12 for o.
-4
Suppose -3*z - 12 = -6*z. Solve 15 = -z*v + v for v.
-5
Suppose -2*i = -6*i + 24. S