p + 2*p for p.
-4
Suppose -z + 17 - 14 = 0. Solve z*l + 19 = -5*u, 4*u - 2*l + 4 = 2 for u.
-2
Suppose 3*b + 10 = 46. Solve 5*q + 15 = -3*d, -4*q - 4*d - b = -5*d for q.
-3
Let o be (-6)/33 + 277/33*3. Solve 3*t - 3 = -c + 10, 0 = 4*c + 3*t - o for c.
4
Suppose -q = 2*q - 12. Suppose -2*p - 2 = -0*p + 5*h, -5*p + 22 = -h. Solve c + p*k - 28 = -4*c, 3*c - q*k = 4 for c.
4
Suppose 0*q = 4*q + 16, 5*b + 5*q + 20 = 0. Let u(f) = f**2 + 3*f - 7. Let n = 4 - 9. Let l be u(n). Solve -w + l = -3*r + 10, 4*w + 4 = b for r.
2
Suppose 0 = -2*g - 1 + 5. Let q be (6/8)/((-9)/(-48)). Let f = -1 - -1. Solve -4*j = 4, f = p - q*p - g*j + 4 for p.
2
Let h(p) = 3*p - 19. Let b be h(7). Let z = -4 - -7. Solve b*k = -4*s - 10, z*k + 4 - 21 = 2*s for s.
-4
Let d(v) = -v**2 + 6*v - 6. Let h be d(4). Solve 0*p - h*p = 0, 2*p + 25 = 5*y for y.
5
Suppose -2*b = -2*i - 7*b, 2*b = -i + 1. Let k be i + -1 - (-2 - -2). Solve 0 = -2*d + g + 8 + k, 4*d + g - 18 = 0 for d.
5
Let n = -1 + 4. Let h = 11 + -7. Solve n*o - r = 19, -h*o = o + r - 21 for o.
5
Let q = -23 - -23. Solve -4*w = 2*d - q*d - 6, 4*d = 2*w - 8 for d.
-1
Let c(a) = a**3 + 3*a**2 + 0*a**3 - 2*a**3 + 13*a**2 + 1. Let x be c(16). Solve s = f - x, 2*f + 5*s + 10 = 33 for f.
4
Suppose -5*q - 9 - 1 = 0. Let l be (0/q)/((-24)/(-8)). Solve 0 = 5*f, 3*k - 2*k - 4*f + 4 = l for k.
-4
Let s(r) = -r**2 - r. Let c be s(0). Let i = 3 - c. Suppose 11 = m - i*t - t, 5*m + 2*t - 11 = 0. Solve -o - 4 = 3*j + 7, -23 = 4*j + m*o for j.
-2
Let w = 3 + -3. Let f be (1 - w)/((-2)/(-4)). Solve -f*p = -n + 3, -p = -6*p + 3*n - 7 for p.
-2
Let h = 0 + 4. Let o = -11 + 18. Suppose -2*s + 3*t + o = -15, 2*t + 4 = 0. Solve -7 - 4 = h*q + v, s = -3*q - v for q.
-3
Suppose 16 = 4*t, -5*u - 5*t + 6 + 19 = 0. Solve 3*j = -3*a + 6, 4*j + 0*j = 5*a - u for j.
1
Let f = 129 + -125. Solve 10 + 1 = -3*q - 2*x, 26 = -f*q + 3*x for q.
-5
Let r(s) = -s**3 + 5*s**2 - 2*s - 5. Let w = -7 + 11. Let f be r(w). Solve v = 5*u - 7, -v = -2*v - f*u + 9 for v.
3
Let q be (-3 + -31)*2/(-4). Let m = 8 - q. Let o = -5 - m. Solve 2*n - 3*g = 13, -o*n - 4*g = -n + 6 for n.
2
Suppose f = 2 + 2. Let a be (5 - -10)*(-1)/(-3). Let x be (2 - a)*6/(-9). Solve -4 = -f*i - 2*n, -6*n + 18 = -2*i - x*n for i.
-1
Let y be (-4)/(-3)*15/2. Let r be (24/y)/(2/10). Suppose 4*v - 6 = 10. Solve 3*b + 4 - 26 = -4*j, -v*j + r = -2*b for b.
2
Let a = 3 + -1. Suppose 0 = -0*y - a*y + 50. Solve -5*w = 5*n - y, -3*n = w - 3 - 4 for w.
4
Let u(h) = h**3 + 7*h**2 - 2*h - 8. Let v(k) = 2*k + 7. Let o be v(-7). Let g be u(o). Let c = g - 3. Solve 2*a = 3*a + 2*p - 6, 5*a = -c*p + 9 for a.
0
Let q = 2 - -1. Suppose -4*w = -q - 5. Suppose 2*n + 7*p - 5 = w*p, 3 = 5*n + 3*p. Solve 0 = 3*c - 4*o - 16, -4*o = 5*c - n*c - 16 for c.
4
Let g(u) = 3*u**2 - u. Let y be g(-1). Suppose 0 = y*i - 6*i. Let w(c) = -c**3 - 16*c**2 + 2. Let b be w(-16). Solve 5*o - b*o - 9 = i, 0 = -l - 4*o + 15 for l.
3
Let k = 171 + -159. Solve 2 + 6 = 3*h + 2*n, 0 = 3*h - 3*n + k for h.
0
Suppose -5*y + 2*p + 120 = 0, 2*p + 0*p + 24 = y. Solve 5*l + 24 = o, -2*l + 0*l = -4*o + y for o.
4
Suppose -5*j - 21 + 6 = 0. Let q(z) = -z**3 - 4*z**2 - 5*z - 2. Let x be q(j). Let u = x - -2. Solve u + 2 = -2*f, 3*f + 10 = g for g.
-2
Let w(m) = m + 2. Let g be w(0). Suppose 3*j + g*j = 10. Solve -3*a + 4 = j*q - 0*a, -2*a - 10 = -5*q for q.
2
Let x(q) = 3*q + 15. Let n(r) = 4*r + 15. Let i(w) = -4*n(w) + 5*x(w). Let m be i(0). Solve 5*h + m = -4*f, 3*h + 10 = -4*f - 7 for f.
-5
Suppose 5*t = -3*u + 13, t = 3*u - 7*u + 6. Solve 0 = 2*h - 3*c - t - 1, -2*h + 2*c + 4 = 0 for h.
3
Suppose -2*p + 241 = 5*k, -k = k - 2. Suppose -4*y + 5*d + p = 0, -4*d - 5 = 3. Suppose 3*r - y = -3. Solve 4*s = -4*t + r, -2*t + 2 = -s + 4 for s.
2
Let u be 23 - (-2 + 4 + -2). Let j(m) = m - 4. Let g be j(7). Solve u = -2*v + g*v + 5*s, -19 = -5*v - s for v.
3
Let p(v) = 1. Let a(i) = i + 3. Let u(q) = a(q) - 2*p(q). Let c be u(5). Solve 5*m + 2*y + 15 = 0, c = -2*m + y - 5*y for m.
-3
Suppose 2*o = -2*b, 3 = 5*o - 2. Let d = b + 1. Solve t - 3*u + 7*u + 6 = d, -2*t + 8 = -2*u for t.
2
Suppose -5*n + 4*n + 3 = 2*m, -5*n = -3*m + 24. Solve -2*y + m*l = 18, 2*y - 2*l + 17 = -y for y.
-3
Let n be 6/9 - (-21)/9. Solve -n*p = -5*p + 3*f + 16, -3*f = 3*p + 6 for p.
2
Suppose -i - 28 = 3*i. Let n be (-12)/i - 4/(-14). Let g(s) = 3*s - 2. Let q be g(n). Solve 0 = 2*u + 4*m - 20 + 6, q*m - 10 = 2*u for u.
1
Suppose -f - 5 = -2*n - 1, -5*n = -3*f - 12. Suppose c + n*c = 0. Solve -12 = 4*d - w, -4*d + 2*d - 2*w - 6 = c for d.
-3
Let d be ((-4)/7)/(4/(-14)). Solve n - 3 = -d*v, 9 = -4*n + 29 for v.
-1
Let m be ((-6)/4)/((-3)/6). Solve 5*y - 2*k = m*k - 5, -2*y - 2*k + 6 = 0 for y.
1
Let n(g) = g**2 + 3*g - 4. Let p be n(-4). Solve 5*y - 2*s + 7 = p, -4*y - 2*s = -3*s + 5 for y.
-1
Let h(a) = -a**3 + 6*a**2 + 2*a. Let m be h(6). Solve 4*v + m = 4*o, -v = -o + 2*o - 7 for o.
5
Let a = 14 + -2. Let y(h) = h**3 + 4*h**2 - h + 1. Let r be y(-4). Solve r*w - a = 4*w - 4*p, 0 = -2*w - 2*p + 12 for w.
4
Let o be (1/(-2))/(1/(-10)). Solve -3*u - g - 14 = u, o*u = -3*g - 21 for u.
-3
Suppose -q + 0*q = 6. Let h = 8 + q. Solve 4*d = h*y + 14, -6*y + 3*d - 21 = -y for y.
-3
Let i = 7 + -5. Suppose i*l - t = 3*l - 10, 2*t = 4*l - 70. Solve -4*f + l = -3*j, -f - 20 = j + 3*j for f.
0
Let u be 13 + -5 - (-4)/(-2). Solve 0 = -5*f - 4*l - u, 6 + 0 = -f + 4*l for f.
-2
Suppose 5*w = -u - 0*w + 18, -5*u - 4*w = -27. Suppose 4*l = u*l. Suppose 0*d - d + 3 = 0, 4*n + 5*d - 51 = l. Solve 2*p + 4 = 4*v - 2*p, 5*v - n = 4*p for v.
5
Let l be (-2)/4*(-1 - -1). Suppose l = -2*t + 10, 5*f - 5 = t - 0*t. Solve 3*m + 2*d = 5, f*m + 2 = -0*d + 4*d for m.
1
Let g be (-2)/((-2)/5 + 0) - 1. Solve j - 10 = g*x, -12 = 3*x - 0*j - 3*j for x.
-2
Let k be (-2)/(2 + 0) - (-3)/1. Solve -7 = k*v - 2*x - 3, 5*v + 3*x = -26 for v.
-4
Suppose -11 = 4*m + 3*u - 2, -1 = -u. Suppose n + 5 = -4*n. Let j = n - m. Solve 4*x = -4*z - 8, x - z - j - 6 = 0 for x.
3
Suppose 2*u + 13 = 2*t - u, u = -3. Solve -2*s = 3*l + t*s - 10, 2*l - 4*s = 0 for l.
2
Suppose 2*m - 9 = -m. Suppose -m*f + 3 = -3. Solve 0 = -5*o - w + f*w + 23, -4*o - w + 22 = 0 for o.
5
Suppose 0 = -2*g - 8. Let s be (-6 + 3)/(2/g). Solve r + 5*k = -s - 11, 4*r + 23 = -5*k for r.
-2
Suppose -5*d + 5 = -2*y, 3*y + 0*d = 4*d + 3. Suppose 0 = -y*x + 28 + 47. Solve -4*a - 16 = -4*h - 4, 3*h + x = -5*a for h.
0
Let s(l) = l - 3. Let a be s(5). Suppose -2*i - 24 = 4*n, -18 = 3*n - 0*n + a*i. Let z be ((-12)/10)/(n/15). Solve -z*k + 0*k = -5*o - 14, -2*k = 4 for o.
-4
Let y(s) be the third derivative of s**4/24 + s**3/6 - 5*s**2. Let m be y(1). Solve -3*t + 5 = -m*l, l - 19 = -5*t - l for t.
3
Let o(p) = p**3 + 2 + 5*p**2 + 6*p**2 - 2*p**2 + 8*p. Let b be o(-8). Solve h = -2, 5*f + 0*h - b = -4*h for f.
2
Let s = 5 - -31. Suppose -5*v - s = -5*q + 164, q + 5*v - 40 = 0. Solve -w = -h - 1, -q = 6*w - w + 4*h for w.
-4
Let q be -1*-7*(4 + -3). Suppose 0 = 2*a - q - 9. Solve 5*f = 3*x - 5 - a, 4*f = -2*x - 6 for x.
1
Let a(p) = -p**3 + p**2 - p + 2. Let u be a(0). Let r be (-4 + -1)*(u - 3). Solve -r*l + 5 = 5*q, 2*l = -0*l + q + 2 for l.
1
Let o be (-9)/6 - -1*33/6. Solve -2*p = -o*m - 2, -3*m = m - p + 5 for m.
-2
Let m(a) = -a**2 + 16*a - 13. Let j be m(13). Suppose -24*c + j*c - 6 = 0. Solve p - 8 = c*p - 4*q, -4*q = -p - 8 for p.
0
Let d = -12 - -8. Let z be 12/20 - d/10. Suppose z + 5 = 2*s. Solve -2*o + s*y = 2*y + 5, 4 = -4*o - 4*y for o.
-2
Suppose 3*m = 8*m - 10. Suppose -m*s - s - 5*v + 23 = 0, -5*s + 5*v = 15. Let y = -1 + s. Solve y = -3*a - r - 1, -5*a + 4*r = -0*r - 21 for a.
1
Let p(j) = -j - 1. Let t be p(12). Let d = t + 32. Suppose -3*s - 50 = -5*s. Solve 4*l = -5*u + 3*l - s, u + d = -3*l for u.
-4
Let u(z) = 2*z + 1. Let t be u(1). Suppose -2*x = -5 - t. Solve b - 2 = -5*i, -i + 8 = x*b - 3*i for b.
2
Let s be 1/4*(-2 - 2). Let u be (s/2)/(4/(-160)). Solve 0 = -n - w - 4 - 0, 5*w + u = 0 for n.
0
Let g = -185 + 101. Let i be (g/35)/((-3)/10). Suppose -7*x = -3*x - i. Solve -10 = 2*v, -x*v = -d + 3*d for d.
5
Let y be -2*(-2)/(-8)*0. Suppose -5*f + 25 = y, 5*g = -4*f + 38 + 2. Solve 3*q - 3*j - 1 = -g, 4*j - 3 = 3*q for q.
-1
Let z be -66*(9/(-3))/6. Suppose u - 137 = -4*u - g, -3*g = u - z. Solve 2*o - 4*l + 6 = 0, -o - 3*l + u = 2*o