or p.
0
Let y(k) = k**2 - 18*k + 34. Let b be y(16). Solve 1 = -b*q + 5 for q.
2
Let p(s) = -s + 2. Let b = 7 + -7. Let x be p(b). Let w = 1 + 2. Solve -g + w = x*g for g.
1
Let s(y) = -y**3 + 11*y**2 + 13*y - 12. Let r be s(12). Solve -b + 4*b + 15 = r for b.
-5
Suppose -3*z = -81 + 9. Let a = 27 - z. Let t = 7 - 5. Solve t*o = 3*o - a for o.
3
Let v = 10 + 6. Let l = 21 - v. Solve 0 = l*b - b - 4 for b.
1
Let b be 6 + 3/(1 + -2). Let r(i) = -i**2 - i. Let y(z) = -6*z**2 - 4*z + 2. Let x(h) = 5*r(h) - y(h). Let w be x(b). Solve -w*u - 10 = 2 for u.
-3
Suppose 18 = 4*o + 2*o. Solve d - o*d = -8 for d.
4
Suppose -5*q + q + 12 = 0. Solve -2*u = q - 11 for u.
4
Let j(o) = o**2 + 4*o - 2. Let y be j(-7). Suppose -y + 21 = q. Suppose 2*p - 2 = 2*w, 2*p = -w + 4*p - 5. Solve -w*f + q = 5 for f.
-1
Let d be ((-4)/10)/((-1)/10). Suppose -2*o + 4 = d*z, -2*z = -2*o + 6*o + 4. Solve 0 = q - z*q for q.
0
Let x be (-3 - -4)/(2/54). Let v = -27 + x. Solve -n = -v*n + 2 for n.
-2
Let f(v) be the first derivative of -1 - 1/2*v**2 - 1/4*v**4 + v**3 + v. Let o be f(2). Solve -3 = -0*l + o*l for l.
-1
Let x = -8 - -12. Suppose 0 = 2*c - x*d + 3*d - 25, -4*c - d + 47 = 0. Suppose -3*j - i = 14 - 37, 5*j - 27 = 4*i. Solve -4*y + c = -j*y for y.
-4
Suppose 4*p = -2*p + 18. Solve p*f + 2*f + 5 = 0 for f.
-1
Let a be -6*2*(-2)/4. Solve -2*j = j - a for j.
2
Suppose -3*i + 0*g + 9 = -g, -2*i + 4*g = 4. Suppose i*s = 3*k - 9, 4*k - 2 = 2*s + 10. Solve h = -k*h for h.
0
Suppose -4*i = -3*v + 29, 3*v - 19 = -0*v + 2*i. Suppose -2*q = -2*n - 14, 4*q - v*n + 0*n = 23. Solve -q*d = -d + 1 for d.
-1
Let c(r) = -r - 1. Let k = 2 - 5. Let v be c(k). Let t be (1 - (v + -1))/(-1). Solve a - 5*a = t for a.
0
Let l(j) = -j**2 + 9*j + 13. Let y be l(10). Suppose 2*d = -y*a + 26, -d = 5*a + 18 - 52. Suppose -2*p - p + a = 0. Solve 0*q = p*q - 4 for q.
2
Suppose 0*p - 51 = -3*j + 3*p, p - 1 = 0. Let u(f) = -3*f**3 + f**2 + 4*f + 4. Let g be u(-1). Solve -6 = -g*k - j for k.
-3
Let r(o) = -2*o - 2. Let m(b) = -b**2 - b - 1. Let j be m(-2). Let i be r(j). Solve -i*v + 4 = -0 for v.
1
Suppose -4*t + 12 + 0 = 0. Suppose 12 = -t*b, -4*a + 14 = -7*a - 5*b. Solve -2 = a*d - d for d.
-2
Let m(k) = 5*k + 3. Let z(v) = 4*v + 2. Let l(j) = 3*m(j) - 4*z(j). Let d be l(-7). Let s be 36/(-2)*d/(-6). Solve -4*b + 8 = s for b.
-4
Suppose 0 = 5*w - 2*w. Solve w = -l + 4*l + 9 for l.
-3
Let x(f) = f**3 - 5*f**2 + 4*f - 3. Let z(r) = -r**3 + 6*r**2 - 5*r + 4. Let a(q) = -3*x(q) - 2*z(q). Let u be a(2). Solve u = 3*h - 8 for h.
3
Let p be 26/7 + 6/21. Suppose -3*i = -p*z - 56, -2*i + 2*z = -12 - 22. Solve -i = -4*a + 4 for a.
4
Let u(i) = i**3 + 9*i**2 - 4. Let f be u(-9). Let n be (-1)/f - (-66)/24. Solve -4*r + n*r = 0 for r.
0
Let v be (66/55)/(2/15). Solve -v - 6 = 5*d for d.
-3
Let n(y) = 11*y. Let f be n(0). Solve -o + f*o = 4 for o.
-4
Let w be (13/2)/(13/(-26)). Let i = 18 + w. Solve 0 = -i*z - 0*z + 15 for z.
3
Let p(t) = -t**2 + 6*t + 4. Let w be p(6). Let x = 16 + -9. Let v = 10 - x. Solve -v*n - w + 1 = 0 for n.
-1
Let j be (1 - -2) + 3*(4 + -5). Solve 3*y + y = j for y.
0
Let w be (-4 - -5) + (-4)/(-2). Let m be (-3)/(-18)*4*w. Solve -m*l = -6*l - 20 for l.
-5
Suppose 2*a - 2*t - 56 = 18, -4*a - 4*t = -140. Let p be 384/a*(-1 - -4). Solve -p = 5*j - 12 for j.
-4
Let i(v) = 2*v**2 + 14*v - 14. Let w be i(-8). Solve 8 = 6*m - w*m for m.
2
Let d = 37 - 30. Solve -4*h - 3 = -d*h for h.
1
Let q(g) = -g**3 + 8*g**2 + g - 9. Let k be q(8). Suppose 3*w + 4 + 5 = 0. Let j be (0/(-3) + w)*k. Solve -4 = -o - j*o for o.
1
Let v(b) = -2*b. Let h be v(-1). Let o(t) be the second derivative of -t**5/20 + t**4/2 + t**3/6 - 3*t**2/2 + t. Let m be o(6). Solve -h*u = -m*u for u.
0
Let c(x) = x**3 + 1. Let o(m) = -6*m**3 + m - 1. Let g(y) = -c(y) - o(y). Let t be g(1). Solve t*h = -1 + 17 for h.
4
Suppose 3*o + 2*p + 5 + 11 = 0, 3*p + 9 = 3*o. Let k be (o - -1)/1 - -2. Let i(h) = h - 2. Let j be i(5). Solve -j = n + k for n.
-4
Suppose 4*u = j - 4*j + 8, -5*j = 5*u - 10. Solve u*o - 20 = -3*o for o.
4
Let v = 3 - 0. Let g(k) = k**2 - 5*k - 7. Let j be g(6). Let m = v - j. Solve -m*q - q = 25 for q.
-5
Suppose -5*y + 25 = -b, -25 = -5*y + 2*b - 3*b. Solve 10*g - y*g = 25 for g.
5
Let w(f) = 5*f**2 + 8*f - 1. Let o(r) = 14*r**2 + 24*r - 2. Let j(b) = -6*o(b) + 17*w(b). Let x be j(9). Solve 0 + x = -4*u for u.
-1
Suppose -q + 2*a = -9, 4*a = 8*q - 7*q - 13. Solve 0 = q*o + 9 + 16 for o.
-5
Let c = -4 - -2. Let h = 0 - c. Let x = h + -2. Solve x*r = 5*r for r.
0
Suppose 40 = 5*b - 0*b + 3*y, -3*b + y + 10 = 0. Let j be (10 - 6)*1*3. Solve -b*k + 2*k + j = 0 for k.
4
Suppose 4*q - r - 45 = 0, 0*q = q - 2*r - 13. Let p be (-1 - -1) + -3*2. Let j = q + p. Solve -4*b - j = b for b.
-1
Let s(m) = -m + 8. Let o be s(8). Solve 2*n - 6*n + 12 = o for n.
3
Let j(b) = b + 5*b - 6 + 122*b**2 - 123*b**2. Let h(l) = l**2 - 4*l + 4. Let m be h(4). Let q be j(m). Solve s + s = -q for s.
-1
Suppose 8 = -0*c + 4*c. Solve 4 = -3*w - c for w.
-2
Suppose -j - 8 - 3 = -5*h, 0 = j - 3*h + 5. Solve 0 = -z - j*z - 15 for z.
-3
Suppose -9 - 5 = -5*t - 4*j, t + 3*j = 5. Solve -g + 2*g = -t for g.
-2
Let g = 26 + -5. Let z(t) = t**2 + 4*t - 1. Let j be z(1). Solve 5*o + g + j = 0 for o.
-5
Let m = 8 - 5. Solve -m*r = -0*r for r.
0
Suppose 5*h - 3 = 3*m, -m + 6*m = -h + 23. Solve 2*v = 4*v + m for v.
-2
Suppose f - 4*f = -48. Suppose -6*c - f = -10*c. Solve -7*o = -c*o for o.
0
Let u = 194 - 189. Solve u*h + 1 = 6 for h.
1
Suppose 4*c - 46 = -2*q, c + 0*c + q = 10. Solve 0 = 3*u + c - 4 for u.
-3
Suppose -7*a + 3*a = 8. Let v be a*(3/(-2) - -1). Solve -v - 1 = -q for q.
2
Let k(i) = i**2 + 0*i - 2*i**2 + 3*i. Let n be k(3). Let x(s) = 4*s**2 + 3*s + 4. Let d be x(-1). Solve 0*f + d*f = n for f.
0
Suppose -3*r - 2*c + 4 = 0, r - 1 = -2*r - 5*c. Suppose 0*s + 2*s = -x + 5, r*s = 5*x - 37. Let f = -5 + x. Solve f*n = n - 2 for n.
-2
Suppose -4*g + 5*g = 0. Let n(p) = -p**3 + p**2 + p + 6. Let s be n(g). Solve -s*j + 15 = -j for j.
3
Let c(d) = 10*d + 4 - d**2 + 3 - 2*d. Let v be c(9). Let o = 1 - v. Solve 0 = -3*q - o + 18 for q.
5
Let a be (9/(-3) + 3)/4. Solve -12 = -a*s - 3*s for s.
4
Let x = -10 - -15. Suppose -4*k - k + z + x = 0, 5*z = k + 23. Suppose k*v + 0*v = 40. Solve 2*o = -2*o - v for o.
-5
Let s(i) = -i**3 - 4*i**2 - 2*i - 1. Let t be s(-3). Let x be 2 - -2 - (4 + t). Solve 4 = -3*d + x*d for d.
4
Let m = 6 + -4. Suppose -r - 1 = 1. Let s = m + r. Solve s*k = 3*k for k.
0
Let k = 1 - -9. Solve 0 = 2*n + 3*n + k for n.
-2
Let v(j) = j - 2. Let s be v(8). Solve -y = 2*y + s for y.
-2
Let t be 0*-2*(4 - 15/4). Solve t*q + 16 = 4*q for q.
4
Let j = 10 - 4. Let i be (-1)/(-4) + 15/4. Let n be 32/j + i/6. Solve 3*a + 0*a + n = 0 for a.
-2
Let i = -10 + 20. Let h = 125 - 122. Solve i = h*s - s for s.
5
Suppose -4*j = 7 - 35. Solve -j*b = -3*b for b.
0
Suppose f + 4*w + 10 = -0*w, 0 = 4*f - 2*w - 14. Let t be 1/(-2) + (-27)/(-6). Suppose q = u + t, u + 3*q = 2*q + 4. Solve f*x - 3*x - 3 = u for x.
-3
Let g = 8 + 1. Let x = -27 - -56. Solve -x = 5*n - g for n.
-4
Suppose 47 = 4*d - 5. Suppose o - 6*o = 0. Suppose o = 4*y + 1 - d. Solve -y*q - 1 - 5 = 0 for q.
-2
Suppose -65*p + 70*p = 5. Suppose 2*u = 2*w - 2*u - 10, -u - 20 = -4*w. Solve -w*x = 6 - p for x.
-1
Let b = -22 - -24. Let l = b - -3. Solve -38 = -l*a - 13 for a.
5
Suppose -r + 3*r = -32. Let g be ((-36)/r)/(3/8). Solve -3*q + g = -9 for q.
5
Let o be 50/4*10/25. Solve 4 - 19 = -o*z for z.
3
Let c = -2 - 1. Let d be 4 + (-1)/(c/(-6)). Suppose -3*o = -3*q + 6, 5*q - 2 - 2 = -o. Solve d = -w - q for w.
-3
Suppose -2*z + p = 21 - 1, -p = -3*z - 28. Let f be (-2)/z + 30/8. Solve 10 = -3*j + f for j.
-2
Let z(u) = 12*u. Let b(d) = d + 1. Let a(v) = -6*b(v) + z(v). Let y be a(3). Solve -3*h - 3 = y for h.
-5
Suppose 13*k = 15*k - 6. Solve -k = -3*y + 9 for y.
4
Suppose -4*w + g - 1 = 0, 0 = 4*w + 8*g - 3*g - 5. Solve w = -3*t + 3 + 3 for t.
2
Let g(y) = -y**2 + y + 12. Let d be g(4). Let n(w) = w**3 - 3*w**2 - 2*w + 0 + 4 + 0. Let l be n(4). Solve -m - 3*m + l = d for m.
3
Let n(t) = -t**3 + 3*t**2 + t - 1. Let j be n(3). Let d(c) = c**3 + 7*c**2 + 3*c + 5. Let k be d(-5). Let z be ((-48)/k)/((-6)/100). Solve -2*u - z = j*u for u.
-5
Let o be (-2)/(-8) + (-21)/84. Solve 2*w - 6*