 = w*d - 3 for p.
1
Suppose -2*d - 6 = -4*d + 4*p, -2*d + 5*p + 7 = 0. Let i = d - -2. Let z(x) = 3*x. Let n be z(1). Solve i*o = 3*a - a - 11, -4*a = -o + n for o.
-5
Let q(c) = c**2 - 17*c - 10. Let m be q(18). Solve 3*t + j = m, 0 = 4*t - 3*j - 17 + 2 for t.
3
Let b(q) = 20*q**2 + 6*q - 5. Let h be b(1). Let j = 1 + -1. Solve -12 = -4*l + 2*v + 2*v, -3*l - 3*v + h = j for l.
5
Suppose -4*x + 5 + 3 = 0. Solve -3*l - 4*q = 14, -3*l - x*q + 0 - 4 = 0 for l.
2
Suppose 3*k = 3*w + 2*w - 11, -3*w + 18 = 2*k. Suppose 3*n - k + 0 = 0. Solve -a - 4*g = a - 26, 3*a + n = 2*g for a.
3
Let u = -66 + 71. Solve -3*j - 4*k = 2*j - 28, u*k = -j + 14 for j.
4
Suppose 0 = -2*q + 1 + 9. Let j = q + -3. Solve 12 = -3*h - 3*p, 4*h + p + j = -5 for h.
-1
Let b(s) = -5 + 0*s**2 - s**2 + 4*s + 3. Let l be b(4). Let f = l + 17. Solve 3*q = -g - 1, f = 3*g + 2*g + 5*q for g.
5
Let o = 23 + -21. Solve i + 10 = 3*y + 2, -4*y - o*i = -24 for y.
4
Let r(a) = -3*a + 6. Let j be r(1). Solve 5*d - j*i + 15 = -5, -2*d + 4*i - 8 = 0 for d.
-4
Let o be (3/2)/((-9)/(-6)). Let p be 2*(o + -3 + 3). Solve -6*d = -5*l - 2*d - 20, 20 = p*l + 4*d for l.
0
Let b be 6/9 + (-88)/(-12) + -4. Solve a + b*a - 3*z + 14 = 0, 4*z - 12 = 0 for a.
-1
Suppose 4*s + b + 2*b = 2, -3*s + 2*b + 10 = 0. Solve -4*q + 4 + 14 = -2*f, 2*q - s*f = 14 for q.
2
Suppose -u + 15 = -0*u. Let y = -5 - -14. Solve y = h + 2*x, u = -4*h + 5*x - 14 for h.
-1
Suppose -6 = -5*n - 41. Let j = 7 + n. Solve 3 = -3*i - 0, 2*g + i - 9 = j for g.
5
Suppose -20*z - 20 = -25*z. Solve 5*m = 4*u + 5, -z*u - 5*m + 8 = -37 for u.
5
Let u = 7 + -2. Suppose -5*b = -5*l + 25, 13 + 12 = u*l - b. Solve l*t + 0*w = 3*w - 12, -1 = w for t.
-3
Suppose f + 11 = 3*r, f + 3*r = 6*f - 5. Solve 25 = -5*d - 4*y, -7*d = -f*d + y + 15 for d.
-5
Let c be ((-48)/28)/(2/(-7)). Suppose 2*i + c = 4*i. Suppose -4*y = -y - 9, -4*y = 3*z - 18. Solve -4*w - 7 = i*j, j + j + z = 0 for w.
-1
Suppose 0*i + i = 3*o - 8, 2*i - 12 = -o. Solve -3*v + 35 = -o*p, 6*p + 30 = 2*v + 2*p for v.
5
Suppose -k + 4*m = 2*k + 3, 5*m = -2*k + 21. Solve 0*s + 3*d = -s, k*d = s + 6 for s.
-3
Suppose 5*b = u - 0 + 5, -4*b + 33 = 5*u. Solve -b*a - a = -5*i - 31, 5*a = -2*i for a.
2
Let u be (-2)/(-4) - (-42)/28. Solve -5*r + 5*h = 6*h - 22, -5*r - u*h + 19 = 0 for r.
5
Suppose -u - 4*x = -3*x + 4, 0 = -4*u - 3*x - 20. Let y = -5 - u. Suppose 2*n = -0*n + 38. Solve -y*b + 20 = 2*b - 5*c, -3*b = 4*c - n for b.
5
Suppose 2*s - 2 + 48 = 0. Let a = -16 - s. Suppose 8*y = 4*y + 4. Solve -4*j - y = 3, -a = -2*u + 3*j for u.
2
Let s be 7 + -5 + (3 - 5). Solve 4*h - 4*a - a + 31 = s, 2*h + 5 = -a for h.
-4
Let o be 1/((-5)/15) - -13. Solve 2*b + 6 = 0, 2*l + 5*b - b = -o for l.
1
Let q be (1 - 18/4)*-2. Suppose -p = 2*p - 12. Suppose -p*l = -10 - 2. Solve l*g = -k + q, -37 = -6*g + 3*g + 5*k for g.
4
Let m = -11 + 13. Solve 4*x - d - 3 = 0, 3*x + 2*d - 26 = -m*d for x.
2
Suppose -1 - 7 = -4*z. Suppose 2*u + 3 = 3*d, -6 - 16 = -z*u - 2*d. Solve 3*w - 4*t = -4, -u = 3*t - 0 for w.
-4
Let r be ((-10)/4)/(1/(-2)). Solve -2*z = r*q + 3*z - 15, 6 = 5*q + 2*z for q.
0
Let w(p) = p**3 + 6*p**2 + 7*p + 10. Let x be w(-5). Let d(g) = -g**2 + 4*g. Let u be d(4). Solve x = -5*v - 3*h + 8 + 6, u = 3*v - 3*h - 18 for v.
4
Let o(p) = p + 1. Let v be o(-2). Let t be (1/v)/(3/(-45)). Solve 4*h - 5*n + t = 0, n - 19 = h + 3*h for h.
-5
Let z be 11/(-1) + -1 + 3. Let x = -6 - z. Suppose 0*b + 4*i = -x*b + 33, -2*b + 5*i = -45. Solve -3*t + t - 14 = -2*s, 0 = 3*t + b for s.
2
Suppose -3*r + 4*h = -27, 4 = 5*r + 4*h - 9. Let s = 8 - r. Solve -4 = g - 3*i, 3*g - i + 1 = -s*i for g.
-1
Let n be 3/3 - (-3 - 1). Let g = 30 + -12. Solve -f + n*f - w = g, -10 = -4*f - 3*w for f.
4
Let n be 9 + (4 - (1 - -4)). Solve -13 = -4*c - 3*g, -4*c = -2*c + 2*g - n for c.
1
Let l(k) = k**2 - 16*k + 33. Let p be l(16). Solve -5*z + 3*j = 5*j + p, -4*z = -j + 16 for z.
-5
Let n = 72 - 128. Let u = n + 88. Suppose -5*v + 3*t = -u, -3*t = v + 6 + 2. Solve v*h - 6*o + o = -6, 2*h = o for h.
1
Suppose 0 = -g + 3*a + 15, 0 = 2*g + 2*g - a - 16. Suppose g = q + 1. Solve 3*t + 3*x - 21 = 0, t - 3*x + 5 = q*x for t.
5
Let p(z) = -z**3 + 3*z**2 + 7*z. Let u be p(5). Let x be u/(-6) + 2/(-4). Suppose -x*m - 8 = -4*m. Solve -m*f = -8, -k + 0*f - 2*f = -6 for k.
2
Let c be (1 + -2 + 2)*0. Suppose -m - 4 = c, b - 4*m - 8 = -3*b. Let f = 1 - b. Solve -f*s = -s + 2, -4*s = -5*v + 24 for v.
4
Let u be (-54)/(-12) + (-1)/2. Solve 4*b + 24 = -4*q, -b = 4*q + u + 11 for q.
-3
Let b(z) = -z + 11. Let w be b(6). Let c(l) = 2*l - w*l - l - l**2 - 1. Let h be c(-3). Solve 5*m + h*r = 9, -r = -m - 3*m + 15 for m.
3
Suppose -2 = f - 4. Solve 0*h = -3*h + f*v + 11, 5*h = -v + 1 for h.
1
Let f be 6/18 + (-14)/(-3). Solve -4*c + f*m = -37, -3*c = -5*m - 14 - 20 for c.
3
Suppose -5 = -5*g + 5. Solve -2*u + 3*u = 4*k - 22, -16 = -g*u - 4*k for u.
-2
Suppose 0 = 10*s - 108 + 28. Solve -3*d + s*d + r = 17, 5*d - r = 13 for d.
3
Let q be (-6)/(-9)*-6 + 7. Solve -g = 5*v + 14, q*g - 9 = 3*v - v for v.
-3
Let b be 22/4 + 1/2. Suppose 0 = 2*v - 0*v - 4. Suppose -2*r + v = -2. Solve 0 = -y + 3*y - r*g - b, 5*g - 17 = -3*y for y.
4
Let a(b) be the second derivative of b**5/20 + b**4/3 - b**3/6 - 2*b**2 - 2*b. Let w be a(-4). Solve y - 5*u = 15, 2*y - 3*u - 9 = -w*y for y.
0
Let g(o) = -o**2 - 18*o + 3. Let k be g(-18). Solve u = -p - 4*u + 5, -k*p + 4*u = 23 for p.
-5
Let k be (-12)/(1/(-4) + 1). Let d be 5/4 - (-4)/k. Solve 3*n + 4*a + 9 = 41, -n - d = -a for n.
4
Suppose -2*r + 10 = j, -3*j = -4*j + 2. Solve o = 5*m + 5, -3*m + 2*o + r = -0*m for m.
-2
Let m be 2/(-10) - (-338)/65. Suppose -2*b - 5*d - 17 = -2, m*b - 15 = 5*d. Solve b*p - 3*p + 12 = q, 3*p = -4*q + 3 for p.
5
Suppose 4*y - 3*y + 5 = 0. Let q = 4 + y. Let d be q + (5 - 1 - 1). Solve -d*x = 0, 3*a - 4*x = 6*a - 6 for a.
2
Let u(y) = 10*y + 0*y**2 - 2*y**2 + 5*y**2 + 1 - 4*y**2. Let x be u(10). Let d be (-1)/(-3)*(14 + x). Solve -3*c = 5*m - 7, 0*c - d*c + 21 = -m for c.
4
Suppose -18*y + 11*y = -98. Solve -4*i - w + y = 0, 2 - 4 = -i - w for i.
4
Let n(w) = -w**3 - 13*w**2 - w + 10. Let i be n(-13). Solve i = 3*o + 2*t, 5*o - 5*t - 3 = 2 for o.
5
Let o be 2/(1*(-2)/(-2)). Let b = o - 0. Suppose q = -b*q. Solve -4*w + 4*u - 3*u - 6 = q, 4*u - 11 = 3*w for w.
-1
Suppose 4*q - 4 = 4*i, -2*q - 4*i - 4 = 2*q. Solve q = 2*k - 5*y + 19, 11 = 2*k - 0*y + y for k.
3
Let p(c) = c**2 + 2*c - 1. Let s be p(-2). Let u be (-10)/2*(0 + s). Solve -4*t + 18 = u*y, -4 = -y - 2 for t.
2
Suppose -15 = -21*g + 16*g. Solve 6 = g*j - 4*a + a, 5*j = a + 2 for j.
0
Suppose 16*x + 21 = 23*x. Solve -2*j = j - x*k + 12, -5*k - 5 = 0 for j.
-5
Let y be -2 - (-10)/3*3. Suppose -2*q = -6*q + y. Suppose q*x - 5 = 3. Solve 3*f + 18 = i, -5*f + x*i + 0*i = 37 for f.
-5
Suppose 5 = -2*d + 5*g, -2*g = g - 3. Let o = -7 + -7. Let m be 4/o - (-32)/14. Solve 2*r + m*z = 6*r + 10, -5*r + 2*z - 11 = d for r.
-1
Suppose 59 - 1 = 29*d. Solve u + 3*q - 4 + 12 = 0, d*q = -4*u - 22 for u.
-5
Let a = 8 - 3. Suppose 0 = -2*s + 2*r + 12, a*s - 26 = s + 5*r. Solve -o - 12 = 5*i - s*o, -8 = -2*o for i.
0
Let a be (14 - 5)*(-2)/(-6). Solve -a*t + d - 3*d - 2 = 0, -5*t + 1 = -d for t.
0
Suppose -11 = 5*b + 34. Let g be -3 - (b + (-4)/2). Solve -p + g = 4*o, -2*p - 3*o = -2*o - 9 for p.
4
Suppose -20 = k + 58. Let r be 4/14 - k/21. Suppose 0 = -6*o + r*o. Solve -2 = l + 4*j + 2, -2*l + 5*j + 18 = o for l.
4
Let u = 95 + -86. Solve 5*j - 26 = -4*d, 2*d = -2*j + 3 + u for d.
4
Let j(w) = -w + 7. Let p be j(-23). Solve 5*a - n - 4*n + p = 0, 10 = 3*a + 4*n for a.
-2
Let s be 7/3 + 4/(-12). Let c be (-3*s)/3 + 2. Suppose 2*x = -c*x + 10. Solve -10 = 2*r, 15 = x*i + 3*r + 5 for i.
5
Let x be (-2 - 0) + 3 - -3. Let d = 6 - x. Let a = d - 2. Solve 2*j + 6 = h, -h + 16 = -4*j - a for j.
-5
Suppose 0 = 12*c - 9*c. Solve g + 3*g - 12 = c, -3*g = 4*r - 9 for r.
0
Suppose 0 = 2*f - 5 + 1. Solve -1 = 4*l - 3*a, -f*a = -2*l - a - 3 for l.
-4
Let z be (1 + 0)*(-3 + -1). Let y = z - -4. Solve 0 = 3*a + j + 10 - 4, y = 4*j for a.
-2
Suppose 5*j - 3*c + c - 4 = 0, -5*j = 3*c - 19. Solve v + 5*t - 18 = 0, -3*v + j*t = 2*v + 18 for v.
-2
Suppose 0 = 2*h - z + 2*z - 5, -8 = -h + 5*z. Solve 0 = 5*x - 3*u + 12, h*x = x + u - 5 for x.
-3
Let y = 8 + -3. Let p = -5 