 -3 - 1 for p.
2
Let w be (15/2)/(3/(-6)). Let l = w + 17. Solve m = 3 - l for m.
1
Let q be (9 + 3)*2/6. Suppose -3*j - 7 = q*o, j + 4*j + 33 = 4*o. Solve o = -4*i + 2*i for i.
-1
Suppose -3*j + 4 = -2. Let s(q) = q + 1. Let b be s(4). Suppose -b*k - 3 = -2*t, k - 4*k + 7 = t. Solve z + j - t = 0 for z.
2
Suppose 5*r + 2*u - 18 = 0, -2*u = r + u - 1. Solve -r*c + 2 = -3*c for c.
2
Suppose 2*n - 30 = 4*p - 6, -4 = 3*n + 4*p. Solve n*x + 5 = 3*x for x.
-5
Suppose 6*k - 18 = k + 3*a, 4*k = -2*a + 10. Solve -k*r + r - 6 = 0 for r.
-3
Let u(z) = -z**3 + z**2 + 4*z - 2. Let i(v) = v**2 + 1. Let w(t) = -2*i(t) - u(t). Let c be w(4). Let n be -1 - c/3 - -6. Solve 0*q = n*q + 25 for q.
-5
Let x be 3 + (-1)/2*0. Let b be (-2)/((-3)/((-6)/(-4))). Suppose y + b = x. Solve -y*a - 2 - 2 = 0 for a.
-2
Let z(f) = f. Let i(s) = -s. Let g(y) = -3*i(y) - 2*z(y). Let m be g(-9). Let b be m/(-6) - 1/(-2). Solve -b*d + 0 = -6 for d.
3
Let f = 10 - 5. Suppose 5*n = 5 + f. Solve 2*a = -2 - n for a.
-2
Suppose 4*n - 17 - 7 = 0. Let a be (30/n)/(1/2). Solve f = -f - a for f.
-5
Let a(x) = -x**2 - 9*x + 8. Let k be a(-8). Suppose 0 = 2*w - 2, 17 = -j + 2*w - 7*w. Let z be j/(-8) - (-4)/k. Solve 0 = z*v - 14 - 1 for v.
5
Suppose 0*v - 4*v = -32. Suppose 5*u - v*u + 3 = 0. Solve u = s - 4 for s.
5
Suppose -9 = -6*x + 3*x. Let h = -3 + x. Solve 2 = -h*o - 2*o for o.
-1
Let u be -5 - -1 - (2 - 3). Let k be (-3)/(9/u)*1. Solve 3*d = k + 2 for d.
1
Suppose 3*k = 3*c, 0 = -3*k + 6. Let x = -94 + 109. Solve c*l - x = 5*l for l.
-5
Let d be ((-6)/(-4))/(9/12). Suppose d*n = -3*n + 25. Let u be n*(-2)/(-6)*3. Solve u + 4 = -3*w for w.
-3
Let w = 0 - 0. Suppose 3*l - 18 = -w*l. Solve l*h = 2*h - 4 for h.
-1
Suppose 0 = 3*d + r + 2*r - 3, 4*r = 2*d - 8. Suppose d*z = -z. Let u be 3 - ((-2)/(-1) - z). Solve -2*s = -5 - u for s.
3
Let c = -11 - -45. Suppose 4*j - c = 2*z + 44, -z + 1 = 0. Solve 0 = -5*u + u - j for u.
-5
Suppose f + 10 = 2*b, -2*f - 2*b + 10 = 3*f. Suppose -2*a - 1 + 13 = f. Solve -a - 2 = 2*o for o.
-4
Let q = -12 - -38. Solve 0 = 3*p + q - 11 for p.
-5
Let p = 16 + -4. Let q(t) = -t**3 + 8*t**2 - 8*t + 9. Let s be q(7). Suppose -s*i = -3*i + p. Solve 3*x + i = 27 for x.
5
Let i(z) = -z**3 + 12*z**2 - 16*z + 14. Let m(g) = g**2 + g. Let y(h) = i(h) + 2*m(h). Let a be y(13). Solve -a = -2*t + 1 for t.
1
Suppose 0*u = 2*u - 4. Suppose 0 = -6*v + u*v - 368. Let q be 1/6 + v/(-24). Solve 2*z = q*z - 2 for z.
1
Let u = 2 - 0. Suppose -4*v = 5*b, u*b = -0*b - 3*v. Suppose 0 = -2*p - b*p + 4. Solve 4*t - p*t = 0 for t.
0
Let m = 16 + -11. Suppose o + 2*o - 4*d = -31, 0 = 5*d - m. Let u = 21 + o. Solve i + u = -3*i for i.
-3
Suppose -7 = 3*m - 10. Suppose r - 3 = 3. Let s be (1 - m)/(6/r). Solve 0 = 5*h - s*h - 15 for h.
3
Let x be (-30 + 0)*1/(-2). Let q be ((-5)/x)/((-2)/18). Suppose 3*b - q*f + 5 - 14 = 0, 5*b = 2*f + 15. Solve 5*w = b*w + 6 for w.
3
Suppose 0 = -5*h + 23 + 32. Let j be (-2 + 0)*-1 + 1. Suppose 4*r + 5*t = -9, -4*r + j*t + h = 4*t. Solve 0*w = -r*w + 16 for w.
4
Let o = 0 + 3. Suppose -4*t + b - 53 = 200, 2*b - 186 = o*t. Let m be t/(-12) + 1/(-3). Solve 5*n - 10 - m = 0 for n.
3
Let i = -49 + 49. Solve 3*p - 2*p - 4 = i for p.
4
Let y(p) = -p**2 + 3 - 4 - 4*p + 5*p - 2*p**3. Let r be y(1). Let v be (-22)/r - (-4)/(-12). Solve o = -4 + v for o.
3
Let y be 33/12 + 1/4. Suppose 0 = f - y*f. Solve f*l = 4*l - 12 for l.
3
Suppose 4*x = 2*d - 3 - 7, 2*x = 3*d - 11. Let s = 1 - x. Solve -b - 5 = -s*b for b.
5
Let q = 17 - 14. Solve -q - 22 = -5*l for l.
5
Let q(x) be the second derivative of x**4/6 + x**3/6 - x**2 + x. Let r be q(-2). Suppose 0 = m - r - 1. Solve 0 = m*p + 4 + 1 for p.
-1
Let x be (-1 - 4/6)*(-72)/20. Solve -n - n + x = 0 for n.
3
Let v = -6 + 10. Suppose 0*d = -v*d + 20. Solve -8 = d*j + 7 for j.
-3
Let w(r) = -3*r**2 - 24*r - 1. Let m be w(-8). Let d(b) = 2*b**3 + b**2 + 2*b + 1. Let f be d(-1). Let u be (f - m) + 6 + -3. Solve 0*g = -g - u for g.
-2
Let w be 4 - (4 + -2 + -2). Solve 0*y + w*y = -12 for y.
-3
Let q be 53 - 2/(3 - 1). Suppose 2*v + q = 4*z, 0 = 4*z + 2*v - 42 - 18. Let f be z/(-4)*(-20)/35. Solve f*i + 1 = 3 for i.
1
Let i(x) be the first derivative of -x**2/2 - 4*x - 1. Let c be i(-7). Solve -2*b - c*b + 5 = 0 for b.
1
Let q be 4/3 + 2/3. Suppose 2*r - i = 2 - 1, -8 = -r - 2*i. Let t be (6/(-12))/(r/(-20)). Solve 1 - t = q*a for a.
-2
Let n(m) = 3*m - 15. Let p be n(7). Solve -3*y - 9 = p for y.
-5
Let w = 4 - 0. Let s = w - 1. Solve -4*o = -s*o for o.
0
Let c(g) = -g**2 - 9*g - 9. Let x be c(-9). Let k be 2*(-1)/6*x. Suppose -1 - 11 = -k*f. Solve -f*q = -2*q for q.
0
Suppose 0 = -4*m + 2*m + 10. Let v(l) = l**3 - 5*l**2 + 7. Let s be v(m). Solve 13 + s = 5*h for h.
4
Suppose -2*q - q = -3*c - 9, -c - 9 = 2*q. Let x = c + 15. Suppose 3*t - 6 = 2*m + 12, 3*t - 3*m - 18 = 0. Solve t*a = a - x for a.
-2
Let p(l) = l**2 - 7*l - 2. Let r be p(5). Let b be ((-16)/r)/((-2)/(-3)). Solve 3 = -b*z + z for z.
-3
Suppose -2*t = -3*t + 3. Suppose 2*b = n - 13, -4*n - 2*b - b = -63. Suppose -t*q = 2*q - n. Solve 3*d + q = 4*d for d.
3
Let h(d) = -2*d - 7 + d + 1. Suppose 0 = 5*c - 3 + 33. Let w be h(c). Solve 3*y - 8*y - 25 = w for y.
-5
Suppose -4*j + 61 = -5*f, 60 = 5*j - 7*f + 4*f. Let b = j + -5. Suppose b*k - 5*k = -2. Solve -k + 17 = 3*n for n.
5
Let a = 3 - 3. Let l = -2 - -12. Let z(i) = -i + 12. Let r be z(l). Solve r*u = -a*u for u.
0
Let a = 1 - -4. Solve -a*j - 8 - 12 = 0 for j.
-4
Let d = -11 + 0. Let n = -4 - d. Solve 4*p - n - 1 = 0 for p.
2
Let m be 2 + 2 + (-9)/3. Solve 0 = -q + m for q.
1
Let r = 17 - 17. Solve r*b = 4*b for b.
0
Suppose -42 = -2*k - k. Let i be 8*(-3)/(-6)*2. Let b = k - i. Solve b = -4*p - 2 for p.
-2
Let m(j) = 3*j**2 - j - 1. Let i(w) = -w**3 + 5*w**2 + 2*w - 7. Let d be i(5). Let z be m(d). Solve -4*n - z = -3 for n.
-5
Suppose 3*t - 3 = -0*t. Suppose 3*p = j + 7, 4*p - 2*j = 5 + t. Solve -p + 0 = -2*g for g.
2
Suppose -u + 6 + 0 = i, 29 = 5*u + 4*i. Solve 4*l - u*l + 3 = 0 for l.
3
Suppose d + 0*d - 1 = 0. Suppose -3*o - w = -17, -3*o + w + 3 = -10. Let i be (2 + -3)*3*-1. Solve -o - d = i*c for c.
-2
Let d(g) = g**3 + 6*g**2 + g + 6. Suppose b = -2*k - 4, -b - 4*k = -2*b - 10. Let c be d(b). Suppose 1 = -5*y + 16. Solve 2*i - 1 - y = c for i.
2
Suppose c - 8 = -2. Solve 2*k + 0*k - c = 0 for k.
3
Suppose -l + 0*l + 3*r + 28 = 0, 0 = 3*l - 5*r - 68. Let v be (-34)/(-8) + 2/(-8). Solve l + v = 4*i for i.
5
Suppose 4*p - 2*u = u + 4, p = -u + 8. Suppose 6 = m + p. Solve -m*o = 1 + 7 for o.
-4
Let r = -17 + 22. Suppose 0*k = -2*k + 3*w + 25, 0 = r*k - w - 30. Solve -k*z - 1 = -4*z for z.
-1
Let j(n) = 3*n - 9. Let l be j(4). Suppose l*w = -h + 5*h + 29, 10 = -2*h. Solve -w*s = s for s.
0
Suppose 3 = 8*w + 3. Solve 2*u - u = w for u.
0
Let y(j) be the first derivative of j**2 + 2. Let q be y(-1). Let a = q - -5. Solve -2*h - a*h + 15 = 0 for h.
3
Let u(a) = a**2 + 8*a + 3. Suppose 4*k + 36 = -0*k. Let r be u(k). Solve r - 4 = -2*n for n.
-4
Let j be (-5 - 24/(-3))*4/3. Solve 4 = -j*z - 4 for z.
-2
Suppose 0 = 5*x - 0*d - 3*d - 14, x - 3*d + 2 = 0. Let q = -2 - -1. Let a = 3 + q. Solve x = -2*v - a for v.
-3
Let v be (5/(-4))/((-2)/16). Suppose 4*a = v + 2. Solve 2*t - 3*t + a = 0 for t.
3
Suppose 0 = 2*x - w - 2*w - 6, -3*x + 3*w + 6 = 0. Suppose x*b - 4 = 4*b. Let n = 0 - b. Solve n = 2*y + 5 for y.
-2
Let g = 9 + -8. Suppose -2*t + 4*f + 10 = 0, 3 = -t - 5*f + g. Let k be -1*2/(-1 + 0). Solve t*j + 11 = k for j.
-3
Let r(x) = -x - 4. Let i be r(-6). Let k = i - 5. Let n = k - -7. Solve 0 = 3*s + 19 - n for s.
-5
Suppose m + 2*m + 45 = 4*v, -4*m + 4 = 0. Suppose v*n = 10*n. Solve n*h + 2*h + 6 = 0 for h.
-3
Let c = -97 + 100. Solve c*f = 11 - 2 for f.
3
Suppose -2*a = -0*a - 4. Suppose -a*l + 2 + 4 = 0. Solve 6 = -l*i + i for i.
-3
Suppose 3*h - 2*m = 2, h + 2*m = 5*h - 6. Solve z - h*z + 12 = 0 for z.
4
Let t = -40 - -44. Solve 2*s = 3*s + t for s.
-4
Suppose -14 = -w + 18. Suppose -3*x - 3*g - g + 34 = 0, -3*x - 2*g = -w. Suppose 0 = -4*d + m - 0*m + 21, 3*d = -5*m + x. Solve -d*t + t = -16 for t.
4
Suppose 2*g - 3*g + 2 = 0. Suppose 0 = -5*k + 5*z + 10, -3*k + 12 = g*z + z. Let v be (1 + -1)/(-1 + -1). Solve -k*a + v = 12 for a.
-4
Let p = 2 + 2. Suppose 6*r = 4*r + z - 1, -3*r + p*z - 14 = 0