p.
1
Let x(t) = 7*t - 6. Let s be x(3). Solve 2*u = -2*c - u - s, 0 = -3*c - u - 12 for c.
-3
Let w(a) = -3*a - 20. Let q be w(-8). Solve 0 = 3*x - 2*x - 3*l - 14, q*x - 1 = l for x.
-1
Suppose 5*q - 2 = -n + 1, 0 = -n - 3*q + 3. Suppose y + 8 = n*y. Suppose -p + 0 = -y. Solve -5*z + p*f = -7, -5*z - 2*f = 3*f + 20 for z.
-1
Let y = 100 + -98. Solve -4 = v - y*u, 0*u = -4*u + 16 for v.
4
Let n be (37 + -1)*(-4)/8. Let m be n/45 + 2/5. Solve 5*i + c - 29 = -2, i - 2*c - 1 = m for i.
5
Suppose -45 = -4*i + 7. Let x = 13 - i. Solve 4*g + 8 = 4*q, -g - 2*q - 11 = -x*g for g.
-5
Suppose -z + 2*z = 0. Suppose 0 = -z*y - y. Suppose 3*g - 15 = y, 0 = 2*m - 2*g - 2*g - 22. Solve -5*c = 2*t - m + 3, c - 7 = 3*t for c.
4
Suppose 6*d - d - 5 = 0. Solve 2*s - 4*b = 6, -d = -2*s - 2*b - 13 for s.
-3
Let n(m) = m**3 + 6*m**2 - 2*m - 7. Let w be 4/5*15/6. Let h = -4 - w. Let s be n(h). Solve s*o - 4*q = -9*q + 15, -4*o - 3 = q for o.
-2
Suppose -5 = -p - 3. Suppose -3*s = -15, 5*n - 4*s - 7 = -2. Solve -n*x = p*a - 22 + 1, 4*a + 4*x = 12 for a.
-2
Let a(y) = -y. Let z be a(-6). Solve -t - 2*h = -4*h + z, -3 = 3*t - h for t.
0
Suppose -3*o + 83 = -37. Let i be ((-9)/(-6))/(15/o). Solve g = 4*a + 14, i*g + g - 4 = -2*a for a.
-3
Let n be -3*(1 + 40/(-15)). Let f = 0 - -3. Suppose -f*t = t. Solve -2*w - 4*o - 18 = 0, 4*w + t = n*o + 16 for w.
-1
Let o be 72/21 + 6/(-14). Suppose -2*r = -o + 1. Solve -h + 5 = 0, r + 4 = -5*z - 4*h for z.
-5
Suppose -4*n - 5 = k + 12, 15 = -3*k. Let x be 3 + n/(-2)*-2. Solve 3*h + u + 4 = x, 3*u + 2 = -3*h + 4*u for h.
-1
Suppose 2*p - 40 = -3*p. Suppose -p = 4*f + 4. Let s = 0 - f. Solve 2 = -t - k, 5*t + s*k + 8 = 4 for t.
1
Let u be (-2*(-3)/(-10))/(1/(-5)). Solve u*y = -15, 4*z + 18 = 6*z - 2*y for z.
4
Let v be -1 - (1/(-1) + 2). Let k be v - 6*2/(-3). Solve -n - k*n - 6 = x, -5*x - 3*n - 6 = 0 for x.
0
Let y(a) = 25*a**2 + 2*a + 1. Let j be y(-1). Solve 4*w + j = -w + t, 2*w + 14 = -4*t for w.
-5
Let r(y) be the third derivative of -y**6/120 + y**5/15 + 7*y**4/24 - 2*y**3/3 - y**2. Let o be r(5). Let s = -4 + o. Solve -6 = v + 4*f, -s*v = -v - 2*f for v.
-2
Suppose 5 = n + 2*s, 3*n - 15 = -0*n - 5*s. Let u(d) = d + 2. Let l be u(n). Let z = 11 - l. Solve 3*p - 7 = m, 0*p + m = -z*p for p.
1
Let j(r) = 5*r**3 - r**2 + 1. Let m be j(1). Let n = 43 - 39. Solve 0 = -3*g - n*v + 31, m*g - v = -3*v + 33 for g.
5
Let n = -1 + 3. Solve a + n*l + 0*l - 7 = 0, 0 = 3*a + 3*l - 9 for a.
-1
Let n = -99 + 101. Solve 0 = 3*m + 4*t + 24 - 1, 0 = n*m - 4*t + 2 for m.
-5
Let m = 6 - 4. Let h be (1/(-3) + -1)*72/(-16). Suppose 0*c = -m*c + h. Solve 3*s + 5*x = -0*x + 7, 0 = -4*s + c*x - 10 for s.
-1
Let k(z) = -2*z**2 + 5*z - 6. Let r be k(4). Let a = r + 26. Let n = 11 - a. Solve -4*g - j - 3 = 6, -n = 4*g + 3*j for g.
-3
Let w(i) = -2*i. Let p be w(-2). Solve 26 = -p*q - a + 3*a, 2*a - 6 = 0 for q.
-5
Let h = 2 - 0. Solve 2 = 5*m - 2*o, -h*m + 3*m - o = 1 for m.
0
Suppose 0 = -5*j - 55 + 10. Let o = -5 - j. Suppose -2*b - o*v + 6 = 0, -3*v - 8 = 4*b - 20. Solve -b*n = -3*f - 6, -6*f + 5*f = 4*n - 13 for n.
3
Let k(c) = 2*c - 4. Suppose 3*g + 9 = 3*n - n, 5*n - 5*g = 20. Let u be k(n). Solve -2*f - u*t = 3*t - 25, -5*f - 3*t = -34 for f.
5
Suppose -12 - 36 = -3*f. Solve k + 13 = -4*b, 4*k = -0*k + b + f for k.
3
Suppose -5*k + 28 = v, -5*v + 0*v - 5*k + 60 = 0. Solve -2*i + v = -4*r, 4*i + 5*r + 12 - 2 = 0 for i.
0
Suppose 3*a - 3 = 0, a - 19 = -5*l + 2*a. Let p(g) = g**3 + 19*g**2 - 42*g - 4. Let w be p(-21). Let d = w + l. Solve 12 = -4*t, -3*m - m + 4*t - 4 = d for m.
-4
Suppose -5*f - 1 - 4 = 0. Let c be 1/(3/(f + -5)). Let d be (-1)/(-2)*0/c. Solve 0 = -2*t - 4, 2*x + 5*t + 20 = -d*t for x.
-5
Suppose 3*p - p = -4*r + 12, 5*p - 8 = r. Solve t = -0*t + 3*s - 10, r = -t - s for t.
-4
Let s(t) = 1 - 3*t**2 + 7*t**2 + 7 + 14*t. Let z(d) = -d**2 - d - 1. Let b(a) = -s(a) - 3*z(a). Let j be b(-10). Solve 8 = 4*q + c, c = j*q + 6*c + 5 for q.
3
Let m = 57 + -35. Suppose -m = -5*o - 2. Solve o*p = -4*d + 28, d - 6 = -d + 2*p for d.
5
Let w be (-1 + 0)/(14/(-210)). Solve -w = 5*r + 5*d, -3*d - 9 = -2*r - r for r.
0
Suppose 0 = -3*b + 2*p + 3 + 10, -18 = -4*b + 2*p. Let d(v) = v**3 - 4*v**2 + 2*v + 1. Let s be d(2). Let w = b + s. Solve -3 = x + j, j = w*x - 0*j + 12 for x.
-5
Let q be 26/6 + (-4)/(-6). Suppose -5*j = -3*f + 54, -q*f + j = -0*j - 90. Solve 2*s + w - f = -3*w, 0 = 2*w - 4 for s.
5
Suppose -10*m + 9*m = -4. Solve 5*i + 40 = m*y - 5, 5*y - 5 = -4*i for y.
5
Let j = 7 - 4. Solve j*b + 30 = -3*v + 3, -v - 5 = 0 for b.
-4
Suppose 4*t + t - 15 = 0. Solve -t*a - k - 9 = 0, -2*a + 5*k = -0*a + 6 for a.
-3
Let q = 40 - 30. Solve 0 = 5*o - 3*w + 28, 3*w - 23 = 2*o - q for o.
-5
Suppose 0 = 2*a - 0*a. Solve 4*v + 28 = -2*g, a*g + g - v = 1 for g.
-4
Let v be (-3)/(-1 - 0/(-2)). Solve -3*p - v*k = k + 16, -k - 4 = -5*p for p.
0
Let u = 1 - -3. Suppose u*o + j + 8 = 0, -j + 12 = 2*j. Let k(l) = -l. Let p be k(o). Solve 0*y = -y + 2*c - 3, -5 = y - p*c for y.
1
Let x = -6 + 13. Let m = 11 - x. Let h be (6/9)/(m/114). Solve 0 = -4*s + c - 5, 2*s - c + 6*c + h = 0 for s.
-2
Let a(l) = 3*l + 2. Let g be a(1). Solve -m - 3 = -3*o - 3*m, -g*o = 2*m - 1 for o.
-1
Let b(p) = -p**3 - 18*p**2 + 42*p + 43. Let a be b(-20). Solve d - 23 = -a*d + q, 0 = 2*d - 4*q - 22 for d.
5
Let r(d) = -d + 6. Let q be r(6). Let w = 0 - q. Suppose w = -3*m + 7*m + 3*p - 8, m = -4*p + 2. Solve 2*h - 2*a - 6 = 0, -m*h - 12 = -h + 4*a for h.
0
Suppose -4*u - 90 = -22*u. Suppose -2*g - g = -9. Solve u = -j - 3*i, -g*j - 2 = -5*i - 1 for j.
-2
Suppose 2*h + 3 = 13. Solve -6 = -3*v + 5*l + 7, h*v - 4*l - 13 = 0 for v.
1
Let r be (-2 + 4)/4*6. Solve -4*s - r*v = -12, -5*s + 4*v = -1 - 14 for s.
3
Suppose -43 = 2*r + 47. Let m = -11 + r. Let o be m/(-12) - 2/3. Solve 0 = -4*x - 5*q - 2, 0*q + 14 = o*x - 3*q for x.
2
Suppose n = 4 - 5. Let l be 1 + n - (-3 + -24). Solve -5*k = -3*s + l, -s + 5*k = -0*s - 19 for s.
4
Let d(k) = 2*k + 11. Let m be d(-13). Let q be m/(-1)*2/6. Solve 0 = 6*l - q*l - f + 4, 5*f - 2 = -4*l for l.
-2
Suppose 6*u = 2*u + 20. Let m = 0 + u. Let v = 10 - m. Solve 2*n + n - 23 = -v*g, 2*g = n + 7 for g.
4
Let y(f) = f**3 - 11*f**2 - f + 11. Let w be y(11). Solve -3*o - 8 = -2*o - 4*g, o + 4*g = w for o.
-4
Suppose -2*r + 0*r = -2. Suppose o = -2*f - r, -2*f + 4*o = 3*f - 30. Suppose 6 = h + f*h. Solve 5*d + 5*x + 30 = 0, -2*d + h*x = 3*d + 2 for d.
-2
Suppose 0 = w + 2, 15 = -4*b + b - 3*w. Let j = b - -18. Solve 0 = -4*r + 3*s - j, -s = -5*r + 4*r - 5 for r.
0
Suppose 3*l + 30 = 2*l - 5*f, 5*l - 3*f = -66. Let s = -12 - l. Solve -s*p + 0 = i - 5, 0 = 5*p + i - 5 for p.
0
Let d be (-4)/3*135/(-60). Solve 4*k + 0*z + 18 = -z, 0 = d*z - 6 for k.
-5
Let l(f) = -f**2 - 9*f + 12. Let t be l(-10). Suppose 0 = -t*j - 3*j + 20. Solve j*r = v - 13, 3*r + 5*v + 13 = -14 for r.
-4
Let j(q) = q**3 + 6*q**2 - q - 3. Let n be j(-6). Solve -2 = -2*x + 3*d, n*d + 16 = 3*x + 5*d for x.
4
Let o(p) = -p**3 + 10*p**2 + p - 7. Let d be o(10). Solve -3*i = t - 1, 4*i = d*t - 1 - 2 for t.
1
Let d(t) = -t**3 - 4*t**2 + 5*t + 1. Let y be d(-5). Suppose -b + y + 3 = 0. Solve 2*r + 4 = 2*z, 4*z + 0 - 32 = -b*r for r.
3
Let d be 6/(-12) - (-5)/2. Let k be (-9)/(d/(-16)*6). Solve -k = 2*y + 2*y, -2*y - 2 = -s for s.
-4
Suppose 6*o = 4*o + 4. Suppose -2*t + t + 2*l = 0, -5*l + 1 = -o*t. Solve 0 = -5*z - 5*s + 25, -t*z - 5 = -6*s + 3*s for z.
2
Let r(z) = -3*z**3 - 5*z + 1. Let w(q) = -12*q**3 - 21*q + 3. Let f(c) = -9*r(c) + 2*w(c). Let p be f(2). Solve 2*o + p = -5*k, -8 = 2*k + o - 3*o for k.
-5
Suppose -4*a = -5*i - 12, -5*a + 0*i = -i + 6. Let r be (0 + a)*9/(-6). Solve 12 = -3*c, 2*u + r*u - 5*c = 5 for u.
-3
Suppose 0 = b + b - 6. Let v be b - -3*(-1)/3. Solve -3 = -4*s - 5*o - 12, v*s = -2*o - 4 for s.
-1
Suppose -4*i = i + 5. Let x be -6*((-2)/1 - i). Solve -4*k = 3*b + 10, 2*k - 6 = 5*b + x*k for b.
2
Suppose a = z + 4, -4 = -0*z + 2*z. Let w be (a/(-3))/((-1)/3). Solve 0 = -u + w*p, -2*u + 11 = 5*p - 7 for u.
4
Let t(o) = -o**2 - 2*o - 2. Let h be t(-4). Let f = -6 - h. Let c be 0 - 0 - 1*-3. Solve -f*r = -c*p - 45 + 13, 2*r - 4*p = 26 for r.
5
Suppose 13*c - 105 = -2*c. Let v(l) = -3*l + 33. Let g(q) = q - 11. Let a(p) = 8*g(p) + 3*v(p). Let b be a(c). Solve 5*i + 2 = -z 