2 = i*p - 2*n for p.
2
Let y be (-1 - 15)*2/(-8). Solve -2*a + 25 = -3*w - 0, 35 = 3*a - y*w for a.
5
Let n = -42 - -52. Solve -4*o = -4*b - n - 18, 10 = 2*o for b.
-2
Let f be -35*4/(-20) - 1*2. Solve -4*a + 5*b = -0*a + 27, -f*a - 3*b - 6 = 0 for a.
-3
Suppose 5*l = l + 68. Let g(x) = 5*x - 18. Let w be g(4). Suppose 2*v - 5*v + 6 = 0. Solve -w*q - c = -13, l = -v*q + 3*q + 4*c for q.
5
Let g(m) = m**3 + 6*m**2 + m + 8. Let b be g(-6). Suppose -3*c = 2*a - 7, -b*a + 29 = 3*a - 4*c. Solve a*h - 24 = 6*l - 3*l, -l + 4*h - 15 = 0 for l.
-3
Let r be 60/25 - (-9)/15. Solve 0 = r*x - 15, -3*b - 4*x + x = -18 for b.
1
Suppose 2*f + 90 = 5*u, f - 5 = 2*f. Let k be 0 + (-1*6)/(-3). Solve u = 4*t, -k*a + a + 2*t - 8 = 0 for a.
0
Let i = -20 + 25. Solve 0 = -2*g - 2, 2 = -2*w + i*g + 11 for w.
2
Suppose 0 = -2*b + m - 1, -2*m = -3*b + 1 - 4. Let w(c) = 7*c**2 - 1. Let l be w(b). Solve -3*i - 6 = -l*i - 3*s, 3*i + 4*s = 8 for i.
0
Let t = -46 - -46. Solve -3*s + 0*w - 11 = 2*w, t = 2*s - 5*w + 20 for s.
-5
Let s(b) = 5*b**2 - 2*b + 1. Let g be s(1). Let w be (2/g + 1)*2. Solve -w*n = -0*n, 5*q + 10 = n for q.
-2
Suppose -2*j = -6, -57 = 3*p - 2*j - 0*j. Let s = p - -22. Solve 2*k + 2*w + 10 = 0, -5*k + s*w - 5 = 20 for k.
-5
Suppose -18 = -3*y + 9. Let k = y + -4. Solve 3*n = -5*f + 30, -k*n + 3*n - 5*f + 25 = 0 for n.
5
Let d = 38 - 38. Solve d = -2*s + 6*s + 3*m + 23, 1 = 2*s - m for s.
-2
Let w(u) = -u + 17. Let g be w(14). Solve 24 = -4*m + 2*q - g*q, 2*m + 30 = -5*q for m.
-5
Suppose -4*h + 0*r = -r + 4, 3*h = -r + 4. Suppose h = 4*a - 2*a. Solve a = 2*v - 2*q - 6, 0 = -3*v - 2*q - 1 + 5 for v.
2
Suppose v - 38 = -5*x, 0 = 3*x + 3*v - 4*v - 26. Solve z = -2*s, -z - 2*s + x = -4*z for z.
-2
Let w(j) = j**2 + 4*j + 3. Let x be ((-20)/6)/(6/9). Let t be w(x). Solve 5*g - 8 = -3*q + 3*g, 2*q + 2*g - t = 0 for q.
0
Let c be 24/(-21) + 1 - 132/(-42). Solve 3*z = 3*p - 5 + 14, c*p + 13 = 5*z for z.
2
Suppose 2*q = -f - 2*q + 18, -2*f + 12 = 2*q. Solve u - 2*h - 25 = -f*u, -2*h + 5 = 3*u for u.
5
Suppose -4*h + l = -7, -5*h - 5*l + 7 = -4*h. Suppose -5*q - 8 = 2, -1 = t + 3*q. Solve -h*p = -g + t, -5*p = -p for g.
5
Let o(u) = 10*u**2 + 12*u**2 - 20*u**2 - u. Let y be o(-1). Solve -5*c - 41 = -4*r, -11 = y*c - 5*r + 24 for c.
-5
Suppose b - 1 = -2*g + 10, 6 = 2*b. Suppose g*z = -5*v + 2 - 1, -2*v + 4 = -2*z. Solve 5*p + 0*f - v = -4*f, -4*f - 5 = -p for p.
1
Suppose 16 = -s - 4*a, -4*s - 3*a = -2*a - 11. Solve -2*g - 15 = -5*g - 2*j, 0 = s*g + 5*j - 27 for g.
3
Let s be (-2)/1 - 1*-6. Suppose -5*i - s*c + 0*c + 309 = 0, -4*i - 2*c = -246. Suppose 2*z + 15 - i = 0. Solve 0 = -5*t + 10, -t = 5*o - 0*t + z for o.
-5
Let k(q) = -3*q - 36. Let l be k(-13). Let s be 2 + 0*2/4. Solve -s*f = l*y + 13, -5 = 3*y + 5*f + 5 for y.
-5
Suppose -v + 5 = 0, 3*g + 2*v - 13 = 3*v. Let y = 9 - g. Suppose -2*x + 9 - 1 = 0. Solve y*n + 10 = -5*j, 4*j = -x*n - 16 - 0 for n.
-5
Suppose -3*l - 4 = -4*l. Let k = l + -1. Solve -5*m - k*v + 30 = 0, -3*v = 3*m - 6 - 18 for m.
3
Let t(o) = -o**3 + 9*o**2 + 11*o - 7. Let n be t(10). Suppose 4*k = -3*c + n - 7, -c = 5*k - 6. Solve -x - d + 2 = -k*x, -9 = -3*d for x.
1
Let i be -17 - -19 - (0 + -1). Solve b - i = -d, -5*b + 2 = -3 for d.
2
Let y(p) = 2*p - 10. Suppose 7*q - 70 = 2*q. Let n be (-1 + -1)*q/(-4). Let v be y(n). Solve -5*z - 5 = 4*x - v, 7 = -x + z for x.
-4
Let t = -12 - -14. Suppose -t*m - 6 = -4*m. Solve 3*p = -m*n + 8 + 7, 0 = -4*p for n.
5
Let b(t) be the first derivative of 1/3*t**3 - 1/2*t**2 - 2 - 3*t. Let r be b(5). Solve 5*q - 23 = -3*u, u + 5*q - r = 4*u for u.
1
Suppose 6*m - 11*m = -50. Let d = 15 - m. Solve -5*b - 3 - 17 = w, -5*b - 20 = d*w for w.
0
Let a(q) = q + 3. Let i be a(-3). Suppose -5*f - 7 - 42 = -2*x, i = -3*x + 2*f + 57. Solve -y + 4*c = -6*y - x, c + 18 = -4*y for y.
-5
Suppose -4*j + j + 4*r = -7, 0 = -4*r + 8. Let o = 13 + -8. Suppose 31 = d - 8. Solve -s = 5, d = o*u - j*s - 1 for u.
3
Let o = -1 - -3. Suppose 4*i - 22 = -58. Let s be o/(-3) - 24/i. Solve 2*m = -3 - 3, 0 = s*l + m + 1 for l.
1
Let q(p) = p**3 - 4*p**2 + 5. Let y be q(4). Let u = -6 - -11. Let v = u - 2. Solve -v*i = 3*t, y*t - i - 2*i + 16 = 0 for t.
-2
Suppose -7*n + 16 = -3*n. Suppose 3*l - n*q = 69, -2*l + 104 = 3*l - 3*q. Solve u + 4 = -5*k + l, 2*u - 4*k = -12 for u.
0
Let p(j) = j**3 - 2*j**2 + 7. Let a be p(3). Solve 5*r - 35 = -5*v, 3*v - a = v - 3*r for v.
5
Let z = -41 - -43. Let i(o) = -6*o - 8. Let l be i(-8). Solve -7 = -3*a - z*f, 3*f + 2*f = 4*a - l for a.
5
Suppose 10 = 2*o - m - 2, 2*o = -2*m + 12. Suppose 4*l = o*l. Suppose 25 + l = 5*j. Solve -5*v + 6*b - b - j = 0, -2*v - b - 5 = 0 for v.
-2
Let a be (-80)/(-15) - 3*(-4)/(-36). Solve -o = 2*c, -6*o - a*c = -o for o.
0
Suppose a + 3 = -3. Let l = a - -10. Suppose -l*y = 33 - 113. Solve c + y = 5*k - 3*c, -k = 5*c + 25 for k.
0
Let h be 2/3*-6 + 4. Solve -5*w - 5*u - 30 = h, w + 10 = 4*w - 4*u for w.
-2
Suppose 7*u = 2*u. Let k be (-1)/((-2)/8)*1. Suppose 3*d - 32 = -d + k*i, -2*d + 16 = 2*i. Solve u = 2*y - 2*s - d, -5*s = 3*y - 4*y + 24 for y.
-1
Let o be (-4)/(-14) + (-111)/21. Let y = o - -12. Solve 2*d = -4*n - 10, 0 = d + 2*d + 4*n + y for d.
3
Let b(a) = -3*a - 2. Let w be b(-3). Suppose 6*d + 5 = w*d. Solve 0 = -0*z + d*z - n - 22, 0 = -3*z + n + 12 for z.
5
Suppose 5*c - 8*c - 11 = -4*y, -y = -2*c + 1. Solve 0 = 4*j + c*k - 12, k = -3*j - 4*k + 20 for j.
0
Suppose -3*i = -9 - 0. Let b(z) = z - 4. Let q be b(i). Let w = 3 - q. Solve -2*d - w = -5*l, 8 = 4*l + d - 3 for l.
2
Let q be (-32 + 0)*(-2)/4. Let k = q - 10. Solve -c + k*c = 4*s + 5, -s = -2*c - 1 for c.
-3
Let w be 2/1*15/2. Let j be 0 + w/3 + 1. Solve 2*t + 5*k = 6*t + 1, -2*k = j for t.
-4
Let g = -6 - -6. Suppose y + g - 2 = 0. Solve 0 = -2*q - 3*i - 8, -y*q - 2*i - 20 = 3*q for q.
-4
Let h(n) = 6*n - 7. Let p be h(2). Suppose 2*t + 3*i - 7 = -3*t, t + 4*i + 2 = 0. Solve t*l = -4*w + l - 16, 20 = p*l for w.
-5
Let r = -30 - -21. Let l be (9/(-4))/(r/24). Suppose -d = -2*q - 7, d + 5*q = 3*d - 16. Solve 0 = -5*u + s - 19, 2*u - l = -0*s - d*s for u.
-3
Let o be (-1)/24*-6*(-1 + 9). Let n = -2 - -2. Suppose n = 6*y - 2*y - 8. Solve -o*b + 0*p - 4*p + 10 = 0, -p + y = b for b.
-1
Let s(y) = y + 3. Let v be (-90)/40 - (-1)/4. Let c be s(v). Solve -4*o + c + 0 = -g, -2*g + 5 = -o for g.
3
Let l = -2 + 5. Suppose 3*y + 5*a = 10*a + 5, -12 = -4*y + 4*a. Solve -2*m + y*i - 10 = -7*m, -l = 3*i for m.
3
Suppose -3*j - 3 = 3*y, -2*j = 2*y - y - 1. Let r be ((-1)/(-3))/((-1)/(-6)). Solve 2*x + m = 3*m - 2, -r*x + 14 = j*m for x.
3
Suppose -5 = -0*y + 5*y. Let q = y + 17. Suppose -2*h = 5*t - 13, 10 = 2*t - 4*h - 0. Solve -l - 3*l + q = 0, 24 = 4*o + t*l for o.
3
Let a(o) = -o + 1. Suppose 3*v = -v + 8. Let k be a(v). Let w(l) = -2*l. Let m be w(k). Solve 2*b - m = -5*s, -3 = -4*s - b - 2 for s.
0
Let w = 17 + -13. Let o(p) = -p + 2. Let s be o(0). Solve -w*t - 27 = 5*a + 8, 0 = t - a + s for t.
-5
Let y(f) = -f**2 + 9*f - 8. Let n(d) = -d**3 - 4*d**2 + 5*d + 7. Let w be n(-5). Let k be y(w). Solve 2*i + 1 = o, -o - k*i + 15 = -i for o.
5
Suppose 4 - 1 = 4*m - z, 5*m = -3*z - 9. Let q be (1 + 0)*m/1. Solve x - 2*w - 10 = q, -2 = -0*x - 3*x - w for x.
2
Suppose -3*j = -2*m - 9, -m = 3*m + j - 3. Solve 0 = -i - m*i + 1, i + 2 = l for l.
3
Suppose -4*g = -2*y - 13 - 19, 3*y + 5*g - 7 = 0. Let f(h) = -h - 5. Let r be f(y). Let l = r + 0. Solve -n = 0, -2*n = -5*w + l - 6 for w.
-1
Suppose 17 = 3*r - 2*q, 5*r + 5*q - 25 = -5. Let a be (3 + 0)/(-9)*-9. Suppose -2*k + 15 = a*k. Solve -p = s - 6*p - 22, k*p = -r*s - 30 for s.
-3
Let z(w) = w**3 + 5*w**2 + 5*w + 6. Let g be z(-4). Solve -2*r + 9 - 20 = -5*q, g*r - 4*q = -10 for r.
-3
Let m be 2/12 - (-129)/(-18). Let h = 2 + m. Let b = h + 7. Solve b*r - 4 = 2*w, -4*r = -5 - 15 for w.
3
Let p = 38 + -16. Suppose -2*c + 5*c - 5*u = p, -3*u - 6 = 0. Let w = -2 + 5. Solve 0 = c*n - 5*f - 6 - w, -n - f = 9 for n.
-4
Let k be (-2)/(-8) - (-19)/4. Solve -s - 9 = -3*m, m + 4 - k = s for s.
3
Let w be (-18)/(-4)*4/6. Let q = w - 1. Let n be 10*(-2 + q + 2). Solve -3*p = -d - n, -2*d - 7 = -p + 8 for d.
-5
Suppose 3*d - 5*d = -12. Let h = d - 6. Let g = h + 17. Solve -4*x - 5*c + g = 0, -2*x + c - 3 = -3*x for x.
-2
Let a = 2 + 0. Suppose 5*w = -3*h - h - 10, -2*w +