olve p - 4*t = 7 + 8, 2*p = i*t + 21 for p.
3
Let k(m) = -2*m - 6. Let u be k(-5). Solve -n - 8 = 3*o, u*n = o + 11 - 4 for n.
1
Let i be ((-2)/4)/((-4)/168). Suppose 0 = 3*t + 6 - i. Suppose -t*f = -9 - 1. Solve -3 = q - 3*p + f, 4*p = 2*q + 4 for q.
4
Let a = 4 + -4. Let u(y) = -y**2 - 4*y + 8. Let v be u(-6). Let d be (0 + a)*v/8. Solve 3*k = x + 22 - 3, d = k - 3*x - 17 for k.
5
Let z(v) = v**2 - v - 2. Let a be z(-2). Suppose l = -a*l. Solve 0 = -3*q - y + 3*y + 11, l = -2*q + 3*y + 14 for q.
1
Let y be -1*(0 - 1)*-1. Let h be (0 + 0)/(y + -1). Suppose -3*z - 15 = -x, 0*x - 5*z = -2*x + 26. Solve 0*c - 9 = -x*c - 2*a, 3*c - a = h for c.
1
Let l = 1 - -7. Let x be ((-3)/2)/((-3)/(-8)). Let n = x + l. Solve -n*r = -s - 3*s + 28, -1 = 3*r + 2*s for r.
-3
Suppose -2*s + 12 = 2*s. Solve d - 3*x = 2*d + 6, -4*d + s*x + 21 = 0 for d.
3
Suppose -4*z - 16 = -6*z - 4*f, -z + f = -5. Solve -z = 3*h - 3*b, 4*b + 0 = 8 for h.
0
Suppose 0*m + 7 = m + t, 3*m = 4*t. Let x be (1/2)/(1/4). Let w be 0*(10/4 - x). Solve w = -v - p, -m*p = -v + 2*v - 6 for v.
-2
Let w be 10/(-50) - (-128)/(-10). Let h = -9 - w. Suppose 0*r = 2*r - 34. Solve 3*j + h*v = r, v = -j + 3*v - 11 for j.
-1
Suppose 2*v + 2 = -3*x + 5, -3*x - 12 = -3*v. Solve v*r - 11 = m, 0*r + 5*m = -2*r - 4 for r.
3
Let b(n) = 1 + 0*n + 6 + n. Let z be b(-5). Solve -5*c - 18 = 4*w - 0, 4*w = 5*c + z for c.
-2
Suppose y + 4*p - 4 = -20, 3*y - 17 = p. Suppose 0 = 5*v + 3 - 73. Solve l - y*k + v = 0, 5*k - 17 = -5*l + 13 for l.
2
Let m be -2*(10/(-4) + -1). Suppose -4*k = -5 - m. Solve b - 4 = 4*d - 13, -k*b = -5*d + 6 for b.
3
Let w = 26 - 8. Suppose -2*n + w = -2. Let i = -2 - -4. Solve -i*j + n = 0, -5 = -l + 5*l + 3*j for l.
-5
Suppose -4*w - 30 = -w. Let x be w/(2*(-2)/2). Let d(f) = f - 5. Let b be d(5). Solve -r + 4 = 0, -i - x*r + 7 + 15 = b for i.
2
Suppose -4*i + 2*i = -14. Suppose -3*d + 5 = -i. Let o(l) = -l**2 + 3*l + 3. Let z be o(3). Solve -3*x = z*p - 24, x = 5*x - 3*p - d for x.
4
Suppose -2*z - 240 = -5*r, -2*r + z = -4*r + 105. Let u = r - 34. Let x be -2 + (10 - 2 - 1). Solve -3*i - u - 2 = 3*s, -x*i - 10 = s for s.
-5
Let i(b) = b**3 + 6*b**2 - 18*b - 11. Let x be i(-8). Solve 2*l = -l - x*f + 18, -l - 2*f + 7 = 0 for l.
1
Suppose 5*i = 5*f + 60, -2*i + f = 2*f - 24. Solve -6*o = h - o + 15, -h = -4*o - i for h.
0
Suppose 1 = -u - 2*k, -5*u - 2 = 5*k - 7. Solve -b = u*b + 5*o + 17, -b = 3*o + 6 for b.
-3
Let w be 26/143 - 260/(-22). Solve 4*g = 2*y + 2 - w, -4*g = -4*y + 8 for y.
-1
Suppose -3*j - 30 = -13*j. Solve -j*q = -b + 3*b + 25, 3*b + 20 = -q for b.
-5
Suppose 71 = 5*a + 2*m, 4*a - 4*m - 38 - 30 = 0. Solve -4*p - 6 = -0*p + 2*v, -2*p = -5*v - a for p.
0
Let t = 2 - 0. Suppose t*r + s = 4 + 2, -4*r + 12 = 4*s. Solve -r*y - 23 = 4*f, 2*y - 5 = 3*y for f.
-2
Suppose -2*c = 8 - 0. Let r = c + 6. Suppose 3*m + b = 10, -14 = -5*m - 5*b + 6. Solve -2*u = -5*f, -r*f + m*f - 23 = 5*u for u.
-5
Suppose -g - 2*p = -15, 5*g - 5*p - 13 = 47. Solve 2*w = -2*w + l - g, -9 = 4*w + 3*l for w.
-3
Let y = -63 - -67. Solve 0 = 4*r - s - 20, 3*r + 8*s = y*s + 15 for r.
5
Suppose -6 - 6 = -3*r. Solve f + 2*j - 3 = 0, 0*f - 3*j + 7 = r*f for f.
1
Let f be -3 - 1 - 54/(-6). Solve -4*q = -k + 16, f*q + 3 = -k - 8 for q.
-3
Let s(q) be the first derivative of -1/2*q**2 + 2 + 5*q - 1/3*q**3. Let j be s(0). Solve h - 1 = -t + 3*h, 4*t - 7 = j*h for t.
3
Let o be 0 + 0 - 1 - 11. Let q be 40/o + (-1)/(-3). Let w be 17/(q + 2)*-1. Solve 3*z + n - 3 = 0, -5*n - w = -3*z + 2*z for z.
2
Let v be (-6)/(-14) - (-288)/63. Solve -g = v*z, -17 - 8 = 5*z - 4*g for z.
-1
Let u(a) = -a**3 - 4*a**2 - a. Let f be u(-4). Suppose -f*n + 0*n + 8 = 0. Solve -5*d + 10*d = 5*z + 5, z - 2*d = n for z.
-4
Suppose -2*a = -s - 4, 2*a = -s - 0 - 4. Suppose 7*q - 2 = 3*d + 3*q, 0 = 3*d - 3*q. Suppose 0 = t + d*t - 3. Solve 3*k = -j - a*j + t, 2*k - 10 = -3*j for j.
4
Suppose 3*x + 3*h - 12 = 0, -x + 8 = 4*x + 2*h. Solve 0 = t + 2*b + b + 16, x = t - b - 4 for t.
-1
Let m be 0 + 2 - 1 - 7. Let h = -4 - m. Let q be h - -1 - (-3 - -2). Solve o + 2*b = 0, -2*o + 3*b + q = 18 for o.
-4
Let n(x) = x**3 - 4*x**2 + x - 5. Let w be n(4). Let j be w + (0 - 1 - -2). Solve -2*k - 4*o + 20 = -3*k, 4*k - 2*o + 24 = j for k.
-4
Suppose 29 = 3*j - 7. Let a be 0 + (-3)/(9/j). Let n be (1 + a)/(-3) + 1. Solve 10 = -2*o + 4*t, 0 = -o - n*t - 0*t + 3 for o.
-1
Let n = -1 + 4. Suppose -12 = -n*o + 4*t, -t - t = 0. Solve 4*l - 7 = o*v + 25, -l = v for v.
-4
Let n(t) = -t**2 + 7*t + 1. Let k be n(7). Let s(h) = h**3 + 2*h - 1. Let x be s(k). Solve 3*v + 9 = x*a, -3*a = 3*v + 2*a - 12 for v.
-1
Let z(f) = f**2 + f - 4. Let i be z(-3). Suppose -i*a - 2 = -8. Let j = 7 + -2. Solve -j*v = -3*u - 2, -v = 5*u - 3*v - a for u.
1
Let z(b) = -b - 2. Let m be z(-5). Let o(r) = -r - 3. Let g be o(-5). Suppose g*a = -4 + 50. Solve -3*h + 13 = -2*y, -m*h + a = 3*y + h for y.
1
Let d be (16 - 14) + (0 - 0). Solve -j + 8 = -3*v - 2*j, -2*v - 4 = d*j for v.
-3
Let o(t) = t + 2. Let h = 0 + -2. Let j be o(h). Solve -4*l = 0, 3*q + 3*l - 4 + 19 = j for q.
-5
Let h be (-3)/((1/1)/(-1)). Suppose 2*u = 3*u - 11. Solve u*q - 6*q - 22 = a, -3*q + h*a = -6 for q.
5
Let y be (279/162 - 2/9)*2. Solve 3*g - 3*x = -0*x + 6, 0 = -y*x for g.
2
Suppose -3*o = -4 - 5. Let g be (-1)/2*(5 - 3). Let h = g + o. Solve -2*r - h*y + 7*y - 25 = 0, -y = -3*r - 18 for r.
-5
Suppose y = 2*h - 39, 2*h + 0*h = -4*y + 24. Let x be (-2 - h/2)/(-1). Solve 2*m - 4*f = -m + 10, -3*m + 5*f + x = 0 for m.
2
Let s(f) = f**2 - 22*f - 75. Let v be s(25). Solve -2*p + 5*n + 3 = -5, n + 2 = v for p.
-1
Let q be (-4)/10 - ((-57)/5 + -1). Solve -5*l + 4 = -3*x, l + q = 2*l + 5*x for l.
2
Let j be (-4)/20 + 123/15. Suppose 3*y + z = 7*y - 10, 4*z = -j. Solve -s = f - 6, -3*f = y*f + 2*s - 18 for f.
2
Let n = 0 - -3. Solve 0 = c - 2*o + 7*o + 14, o + n = 0 for c.
1
Let t = -66 + 70. Solve -12 = -2*u - t, -3*p - 4 = -4*u for p.
4
Let y = -12 - -10. Let v be ((-3)/y)/(2/4). Solve v*s = -s - 4, 4*s = -g for g.
4
Suppose 17 = 5*a + 7. Solve -2*h + 3 = y + 5, -5*h - y - a = 0 for h.
0
Let t = 6 - 14. Let x be (2 - 3)/(4/t). Solve 4*q - 31 = -5*v - 0*q, x*v + 10 = 4*q for v.
3
Suppose -a - 18 = -2*i - 2*i, 5*a + 26 = 4*i. Solve i*k - 2*d + 15 = -d, 2*d + 10 = -2*k for k.
-4
Let l be (-1)/(30/(-25) - -1). Solve 5 = -l*t - 2*p - 16, 18 = -4*t - p for t.
-5
Suppose 0 = -7*l + 4*l. Solve -q + 12 = 3*u, 5*u - 4*q - 30 - 7 = l for u.
5
Suppose -5*x + 19 = 9. Solve -2*k - 6 = 4*z - x, 3*k - 27 = 5*z for k.
4
Suppose 7*g = 3*g. Let u(p) = -3 + g - p + 2*p + p**2. Let v be u(-3). Solve -3*o - a = 4*a + 17, 0 = o - a + v for o.
-4
Let d be (3 - 1) + 0 - 2. Let b be 1 + d/((-9)/(-3)). Let u be b - (-2)/(-2)*-10. Solve 8 = -4*t, 4*v - 2*t = u + 5 for v.
3
Let x = 6 - 4. Suppose x*n + 3*y = -2, 2*y = -5*n + 4 + 2. Let w be 4/(-2) + 0 + 11. Solve -5*m = -0*m - 3*s - w, 4*m = -n*s + 16 for m.
3
Let r(s) = -s**3 + 4*s**2 + 5*s - 6. Let p be r(4). Suppose -x - p = 6. Let d = 34 + x. Solve i - 3 = c, 5*i + c - d = -5 for i.
2
Let m(z) = z**3 - 2*z**2 - 3*z + 3. Let g be m(3). Solve -3*b + g*c + 2 = -2*c, -3*c + 1 = -4*b for b.
-1
Suppose -19*i = -26*i + 70. Solve -5*r + t = -i, -4*r + 4*t + 4 + 20 = 0 for r.
1
Let v(z) = -2*z**3 + 2*z**2 + 2*z - 2. Let b be v(2). Let t be (b/(-4))/((-6)/(-4)). Solve -4*h + 5*f = 2*f - 9, 0 = f - t for h.
3
Let c = 12 + -12. Solve -2*a + 4 = -0*a - 3*y, c = -4*a + 4*y for a.
-4
Let t(z) = z**2 - 7. Let d be t(-3). Solve d*o + 9 = 3, -3*k + 9 = 2*o for k.
5
Suppose 5*v - 4*v = 3. Suppose 1 - v = 2*w. Let c be 1 + w + 1 + -1. Solve 3*m - 3*s - 15 = c, -3*m - 3*s = s - 8 for m.
4
Let k = 10 - 7. Solve -4 = k*w + s, s = -w - s + 2 for w.
-2
Suppose -1 + 7 = 2*w. Suppose w*r = -3*s - s, -4*r - 7 = 3*s. Suppose s*d - 3 = 6. Solve -n + 16 = -4*n - 2*i, -5*i - 19 = -d*n for n.
-2
Let p be (-10)/3 + 4/(-6). Let z be 4/3*(-6)/p. Suppose 0 = n - 4*i - 24, -n + 0*i + 51 = 5*i. Solve -3*x - 2*x + n = 4*a, 0 = 2*x - z*a for x.
4
Suppose -2*z + d = 0, -2*z - d + 5 = -3. Solve -24 = -q - 3*q - 4*w, -3 = -q + z*w for q.
5
Let b be (-3 + 1)*(-3)/6*2. Solve 0*i - 5*i = -3*t + 30, t + b*i = -1 for t.
5
Suppose -4*q = q - 10. Suppose u - q*c = 14, -2*c = -2*u + 3*u + 6. Solve 0*x = 2*x + m + u, 3*m = 6 for x.
-3
Let 