 p.
2
Let n = 8 - 8. Let s = 4 - n. Solve 3*i + 3 = 3*v, i + s*i = -5*v + 25 for v.
3
Suppose 0 = -b - 2 + 4. Suppose -4*s + 5*h = -40, b*h = 7*s - 3*s - 40. Solve s = -2*o - 3*m, o + 2*m + 7 = 2 for o.
-5
Let l(y) = -2*y - 1. Let d be l(-2). Solve -d*z = -5*f - 21, -2*z + 7 = -0*z - f for z.
2
Suppose t = -43 + 44. Solve -5*l - 3*f - t - 3 = 0, 4*f = -4*l for l.
-2
Let i be 4 - (-42)/(-12) - (-30)/4. Solve -5*j = -5*v + 2*v - 20, -v + 2*j - i = 0 for v.
0
Suppose -5 = 5*a + 20, 7 = x + a. Suppose -5*m = -13 - x. Solve 5*y - 4*i + 21 = 0, -8 = -m*y + y - 3*i for y.
-1
Let u(s) = 2*s + 1. Let q be u(1). Solve 9 = -3*x, 0*x + 12 = -i - q*x for i.
-3
Let k(q) = -q**2 - 11*q + 26. Let s be k(-13). Solve 0 = -s*c + 3*c + 4*b + 19, -4*c = -b for c.
-1
Suppose k - u = -5, -u = -5*k - 3*u + 10. Solve -3*t + 3*x = -18, k = -4*t - t + x + 14 for t.
2
Let x = -149 + 151. Solve -6 = 4*l - x*g, -10 = -2*l - g - 3 for l.
1
Let t(l) = -4*l + 12. Let h be t(3). Solve 4*u - 2*c - 10 = 0, h = 9*c - 5*c + 20 for u.
0
Let g = 4 + -10. Let a = -4 - g. Solve -3*d + 20 = -0*f + 4*f, 0 = -d + a*f for d.
4
Let h be 8 + (1 + -4 - 0). Solve 5*s + 20 = -h*i, -3*i + 17 = -3*s - 1 for s.
-5
Let x(u) = 2*u + 1. Let d be x(2). Let q(k) = -k**2 - 7*k - 3. Let r be q(-6). Solve -m = -1, 0*j = -d*j + r*m + 7 for j.
2
Let x be ((-78)/(-12) + -6)*4*2. Solve x*g - a - 5 = 0, 2*g - a = 3*g for g.
1
Suppose -2*b + 24 = -0*b. Let j = b - 8. Solve -t - 3*x - 4 = -j*x, 0 = 4*t + 4*x + 16 for t.
-4
Suppose h = -2*f + 61, 4*h - 1 = -21. Let j be 0/(-5) - 0/1. Suppose -5*d - a = -j*d - 13, 4*a = d - 11. Solve 0 = 4*k + y + 11, f = -2*k - d*y + 8*y for k.
-4
Let s = -8 - -11. Let i(p) be the third derivative of p**4/24 + 13*p**3/6 - p**2. Let o be i(-9). Solve -s*a + 22 = -8*r + 3*r, o*a = 16 for r.
-2
Let i be (3 - -7)*1/2. Solve 10*h - i*x = 5*h - 15, 2*x - 14 = 4*h for h.
-4
Let h(l) = 4*l - 17. Let r(d) = d - 1. Let q(j) = -h(j) + 6*r(j). Let p be q(-4). Solve -p*x + 7*x - 6 = t, -3 = -5*x - t for x.
1
Let k = 1 + -3. Let n be k/9 + (-2)/(-9). Suppose t = -3*o + 18, t + 4*o - 24 + 1 = n. Solve -5*b - 14 = r, -r = -3*b - t*r - 7 for b.
-3
Let z be 4*1*(-9)/12. Let g be 1/((z/(-24))/(-1)). Let n be ((-4)/8)/(2/g). Solve n*t - 4*o = 4 + 2, -2*t = 3*o + 15 for t.
-3
Let o be (-16 + -4)/(-2 - -1). Let f = o - 15. Solve 26 - 7 = 5*c - 4*v, 0 = -f*c - 3*v + 12 for c.
3
Let y = 7 - -5. Suppose 0 = -7*j + y*j. Solve -26 - 1 = 3*m - 5*w, 4*m + 5*w + 1 = j for m.
-4
Let l(u) = -2*u - 6. Let j be l(-6). Let s be (2/j)/((-1)/(-6)). Solve b + g = -4*b - 16, -s*g + 4 = b for b.
-4
Let t(u) = -u**3 - 3*u**2 - u - 1. Let q be t(-3). Let m be -10*q*2/(-8). Solve -2*r = m*j + 18, -j = -2*r + 4*r + 10 for j.
-2
Suppose -1 + 11 = 2*n. Suppose 15 + n = 4*u. Solve 8 = k + 5*w + 1, -u*w + 25 = -5*k for k.
-3
Suppose 4*v = 11 + 9. Suppose 0 = y + 3*i, -v*i = -i. Suppose 0 = 2*n - y*n - 22. Solve 3*b - 1 = j, 2*b + n = 5*b + 4*j for b.
1
Let y be -6*(2/(-6) + 0). Let n = 8 + 5. Let a = -8 + n. Solve -3*u + 5*g + 20 = 0, y*g = a*g + 12 for u.
0
Let q = -12 - -14. Solve d = -0*d - q*m - 4, m + 5 = d for d.
2
Let r = -53 + 59. Solve -3*p - 6 = 2*n, r*p = 2*n + 2*p + 6 for n.
-3
Let u = -5 + 6. Let o be u/(-2) + 36/8. Solve o*z + z - 35 = 4*a, 2*a + 3*z + 1 = 0 for a.
-5
Let j be (4/6)/((-2)/9). Let q = -11 - 7. Let h be ((-2)/(-4))/(j/q). Solve -h*m - 34 = -5*y - 0*m, -4 = -2*y - 2*m for y.
5
Suppose -6*o = -30 + 6. Solve 0 = -o*r - 16, -2 - 5 = -3*n + 4*r for n.
-3
Let p(v) = -v**3 + 4*v**2 + 2*v + 2. Let a = 8 - 4. Let w be p(a). Suppose -2*n + w = -0*n. Solve 7 = f - k, -n*k = 3*f - f + 7 for f.
4
Let y = -4 - -5. Suppose -u - 12 = -5*u. Suppose -2*l + 19 = -0*l - 3*j, -3*l - 9 = u*j. Solve 5*s - n + l = s, -5*s = -2*n + y for s.
-1
Let v be 1586/14 - (-6)/(-21). Let g = v + -74. Let q = g - 24. Solve -5*w - 4*c - q = 0, -5*w + 4*c - 9 = 6 for w.
-3
Let n(p) = -p**3 + 7*p**2 - 6*p - 1. Let l be n(6). Let y be (-9 + 9)*l/2. Solve -4*u + r = 3, -4*u + 4*r = -y*r + 12 for u.
0
Let m(a) = -a + 12. Let d be m(12). Solve 0*k + 3*n + 7 = 4*k, d = 4*k + 4*n for k.
1
Let x = 9 - 6. Let a = x - 1. Solve 7 = h - 5*t, 3*t + 11 = -h + a for h.
-3
Let d = -10 + 15. Let t = 33 - 23. Solve 5*f = 5*g + d, -2*f = 2*f - 2*g - t for f.
4
Let y(n) be the first derivative of -n**4/4 - n**3 + n**2/2 + 3*n + 8. Let j be y(-3). Solve 5*w + j*w = 5*v - 5, 0 = -4*w + 3*v - 6 for w.
-3
Let b be ((-4)/10)/(6/(-15)). Solve -2*g + d + b = 5, -2*d + 8 = -g for g.
0
Suppose -8 = -5*i + q, 5 = -8*i + 4*i - 3*q. Let z = 2 + i. Solve -7*g + 3*g = -z*v + 4, 8 = -2*g for v.
-4
Let j = 16 + -11. Suppose 3*r - 7 = -3*y + 14, y - 23 = -j*r. Suppose -5*z + 8 = 5*c - 2, -z - 3*c = 4. Solve -5 = -3*d + 5*b - y*b, -z*d - 13 = 2*b for d.
-1
Suppose -7*p = -3*p - 8. Solve 0 = -3*w - p*c - 4, -2*c - 15 = -w - 3 for w.
2
Let x(t) = t**3 - 4*t**2 - 3*t - 5. Let c be x(5). Solve 5*m = -g + 20, 2*g + 32 + 3 = c*m for g.
-5
Let f(z) = 3*z. Suppose i + 13 = 4*j, 4*j - 3*i - i - 4 = 0. Let g be f(j). Let x = -7 + g. Solve 2 = -x*u + 2*h + 16, -5*u + 29 = 3*h for u.
4
Let j be 0 + 12*4/(-6). Let d = 13 + j. Suppose 12 = -4*m, 5*g = 4*m + 10 + 22. Solve 0 = -2*n + g - 0, a - 13 = -d*n for a.
3
Suppose -4*q - 13 = c - 0, -c = 2*q + 5. Let n be q/3*18/(-4). Let b be 25 - -3 - (-1 + 3). Solve 5*t = -l - b, -5*l + 2*t = n*t + 25 for l.
-1
Let t be 1 + (-1 - -1 - -12). Suppose h = -2*y + t, 4*h - 22 = -y - 5. Solve 14 = -3*s - 4*n, 2*s - y*n = -s + 31 for s.
2
Let m = 1 + -1. Let o = 48 - 46. Suppose o*x - 6 = -m*x. Solve 0 = 4*k + 5*b - 4, -3*b + 4 = x*k + b for k.
-4
Let j be 7 + (-2)/(4 - 3). Suppose 0 = -4*w + o + 5, -j*w + 5*o - 5 + 0 = 0. Suppose w*f - 5*f = -12. Solve 3*i - 1 = f*i, -3*s - 5*i = -10 for s.
5
Let x be -1*2*4/(-4). Solve -3*v = -x*m + 6, 0 = 2*m + 3*v + v + 22 for m.
-3
Let y be (-39)/9 + (-4)/(-12). Let q(w) = -w + 1. Let p be q(y). Solve 0 = 5*n - x + 19, p*n - 1 + 24 = -3*x for n.
-4
Let t(i) = -2*i + 1. Let m be t(6). Let c = m + 7. Let v be c/(2*(-2)/16). Solve -2*x = p + x + 15, -v = 4*x for p.
-3
Suppose 0 = -3*c + 4*d + 26, -2*c - 3*d + 4 = d. Solve 4*y - 24 + 8 = -q, -q = 2*y - c for y.
5
Let v(t) = -t**2 - 4*t. Let h be v(-5). Let j be 7 + h - (-4)/2. Let y = -15 - -21. Solve j*s = 4*g - 4, -3*s = 4*g + y + 11 for g.
-2
Let o = 2 + -2. Let n be (o - 2)/(1/5). Let r be n/(-4) - (-1)/2. Solve 0 = -2*a - 2*c + 12, -r*c + 13 + 7 = 4*a for a.
2
Let r = 339 - 337. Suppose 2*g - 7 = 4*q - 17, 2*g = -2. Solve r = q*i + 5*p - 0, 8 = 4*p for i.
-4
Suppose -2*u + 8 = 5*h - 12, -h - 4*u + 22 = 0. Solve -h*b = -t - 1, -5*t + 0*b = 2*b + 17 for t.
-3
Suppose t + 20 = 4*z - 0, 0 = -4*t. Solve -2*c + 2 = -2*a, -3 = z*c + 3*a - 0 for c.
0
Let l be 5/(-2)*24/(-20). Solve -l*q - q - 22 = -u, 0 = 4*q + 2*u + 16 for q.
-5
Let d = 14 - 9. Let j = -181 - -183. Solve -2*q - d*v + 10 = 0, 0*v - 26 = j*q - 4*v for q.
-5
Suppose u - 20 = -3*u. Suppose -13 = -u*h + t - 2*t, -2*t - 10 = -2*h. Solve -h*m = 3, -3*v - 2*v - 3*m = -17 for v.
4
Suppose 0 = -5*t + t + f + 17, 4*t + 2*f = 14. Let q(d) = -6*d. Let r be q(-1). Let l be 2/(3/r + 0). Solve t*m - l*j = -36, 3*m - 5*m = 4*j - 6 for m.
-5
Let c be (5/(-4))/((-2)/8). Suppose -5 = x - 4*d + 5*d, 2*x - d + 22 = 0. Let m = x - -11. Solve m*g = -2*g - 20, 35 = c*b - 2*g for b.
5
Let u = 40 - 39. Solve -3*k - 14 = p + u, -p - 3 = 0 for k.
-4
Let t(c) = -3*c - 19. Let d be t(-8). Solve -5 = -d*i - 3*p + 8*p, 5*i = 2*p + 17 for i.
5
Suppose -g = -0*g + 5. Let h = g - -11. Solve -h*q + q - 3*c = -15, -5*q + 25 = 5*c for q.
0
Suppose 5 = 4*j + j. Let l be j/(-2 - -1) - -4. Solve -2*n = p - 3*n - 2, l*p - 5*n - 16 = 0 for p.
-3
Let f(l) = l**2 + 5*l + 8. Let x(z) = -z + 1. Let b(d) = -f(d) + 3*x(d). Let t be -4 - (0 + 12/4). Let n be b(t). Solve 0 = 4*j + 16, 16 = -n*o - o - j for o.
-4
Suppose 4*r = 2*r - 28. Let h be r/(-4) + (-4)/(-8). Solve -3 = -2*t - j - 4, -t + h*j = 23 for t.
-3
Suppose -3 - 2 = 5*n. Let k be (8/20)/(n/(-5)). Suppose -3*c = -2*d - 8 - 14, 0 = d + 5. Solve 5*j + 3*z + 8 = 0, k = j + j - c*z for j.
-1
Let k = 80 + -54. Solve 5*t = 20, 5*l - k = -t - 3*t for l.
2
Let w(y) = 4*y - 9*y**2 - 4*y. Let k be w(1). Let m = 16 + k. Solve 5*s + 2*a = 21 - 10, 2*a - m = -s for s.
1
Let o be (-1 + (-6)/(-4))*8.