e -m*v + 5 = 5*k - 10, v + 4*k = 9 for v.
1
Suppose 4 = -b + 1, 4*u - 164 = 4*b. Let k = u - 22. Suppose -v + 4*j + k = v, -5*v + 2*j = -16. Solve -2*s + v = w - s, 3*w = 2*s - 14 for w.
-2
Let b be 5*(-3 - 24/(-5)). Suppose 0 = -b*c + 4*c. Solve -3*s - 5*q - 11 = 29, 2*s - 4*q - 10 = c for s.
-5
Suppose -2*m - 2*m = -52. Suppose 0 = 44*q - 22 - 198. Solve -i + 2*g - 9 = -0*i, -m = q*i - 2*g for i.
-1
Let b(d) = d**3 - 7*d**2 + 7*d - 9. Let z be b(6). Let t be z/(-1) - 4/4. Solve 4*p + p = -x - 4, -t = -2*x for p.
-1
Let j = -16 + 16. Solve 2*d - 5*f = -j*f + 17, 3*d + 4*f = -32 for d.
-4
Let y = -5 + 8. Let k be (-1 - -2)*2 - -2. Let b = -3 + k. Solve i + b = -u, u - y*u - 17 = -3*i for u.
-4
Suppose 0 = -2*i - i + 9. Solve 8*k - 9 = i*c + 3*k, 5*c - 16 = -2*k for c.
2
Let u be 12/6*5 + 0 + 4. Solve 2*f + 18 = 4*p + p, -3*p - 5*f = u for p.
2
Let h be (1/(-2))/((-1)/(-4)). Let s = -2 - h. Suppose -2*p - 3*p - 2*i + 9 = s, -i + 6 = 3*p. Solve 30 = -5*y + 2*w, p*y + 5*w = 6*y + 37 for y.
-4
Let m = 47 - 42. Solve -n - m*p - 20 = -5*n, n + 4 = -p for n.
0
Let i be (-1 - (-3 - -2))/(-1). Suppose 2*l - 4*l = i. Suppose 6 = -b + 2*r, -3*r - 15 = -6*r. Solve -5*f + b = -s + 2*s, -5*f + 3*s - 12 = l for f.
0
Let t = 36 + -35. Solve 3*c + 18 - t = 4*q, q = -c - 1 for c.
-3
Let n(o) = -o**2 - 4*o + 4. Let c be n(-4). Suppose -l + c - 2 = 0, 3*i + 2*l - 13 = 0. Solve i*b - 2*u + 5*u - 3 = 0, 5*b - 2*u - 26 = 0 for b.
4
Let q(y) = y**3 - 19*y**2 - 20*y + 10. Let v be q(20). Solve 4*k + v = 3*p, -7*k + p = -3*k + 6 for k.
-1
Let t = 6 + -10. Let z = -4 - -8. Let k be z/(3 + t/2). Solve -2*b - 2*b = -5*x + 3, 0 = 3*x - k*b + 3 for x.
3
Let g(c) be the third derivative of -c**5/60 - c**4/6 + 5*c**3/6 - 3*c**2. Let o be g(-5). Solve o = -2*k - h + 3, 0*h + 2*h = -2*k + 2 for k.
2
Let v = 2 + 2. Suppose 2*j - z - 2*z + 2 = 0, -3*j - 1 = -4*z. Suppose -o = -3*o + 2, 0 = h - j*o + 2. Solve -v*t + 23 = -h*u - 3, 2*u - 6 = -2*t for u.
-2
Let j be 2/(-4) + (-49)/14 + 6. Solve k = 4*n + 4*k + 19, j*n + 2*k = -10 for n.
-4
Let c(l) = -11*l - 5*l**2 + 7*l - 12 + l**3 + 12*l. Let b be c(5). Solve 3*k = -5*t - 14, -3*k + b = k - 5*t for k.
2
Let x(n) = n**2 - 6*n - 12. Let p be x(8). Solve 3*g + 21 = 3*z + 8*g, -12 = -p*g for z.
2
Suppose -2*x + 4*o = -8, 5 = 3*x - o - 2. Let u = 4 - x. Solve 3*j + u = -4*t + 24, 0 = -5*t + 2*j + 16 for t.
4
Let l be 3/(-2)*8/(-6). Solve -h = 3*j - 0*j + 2, 10 = -l*h for j.
1
Let b = -56 - -66. Solve -b = -2*s - 0*j - 2*j, 5*s - 2*j - 25 = 0 for s.
5
Let p = 7 + -3. Suppose 5*n + 4*k = 7, n + n - 14 = p*k. Solve -3 = n*m - b, -4*b = -0*m - 2*m - 12 for m.
0
Suppose 18*d = 22*d - 16. Suppose 0 = -3*x + 2*x - 6. Let f be 2/(2 + x/4). Solve d*i - 3*j + j - 16 = 0, -10 = -f*i - j for i.
3
Suppose 11 + 7 = 3*y + i, y - 5*i + 10 = 0. Solve -22 = -o + y*w, 0 = -4*o - 2*w + w + 4 for o.
2
Suppose -t + 3*t - 10 = 0. Solve 5*y - o - 3 = 0, 4 = -2*y - 3*o - t for y.
0
Let q(g) = -g**2 - 6*g + 6. Let y be q(-6). Solve -1 = 3*i - i - 5*k, y = -3*i + 3*k for i.
-3
Let p be ((-8)/2)/(-21 + 20). Solve j - p*u = -3*j - 12, -j + 9 = 3*u for j.
0
Let x be (-6 - -5)/(2/(-80)). Solve 3*m - 5*f + x = 0, -7*f = 3*m - 4*f for m.
-5
Let l be 15/30*0/1. Solve 5*z + y + 7 = l, 0*z = z - y - 1 for z.
-1
Suppose 4*f = f. Solve -o - 2*o - 2*k - 4 = 0, f = -5*o - 2*k for o.
2
Let o(x) = 3*x**2 - 2*x - 1. Let p = 1 - -2. Suppose -d = -0*t + t - p, -4*t = 5*d - 11. Let a be o(d). Solve -3*n - 15 = 3*m, a = -5*n - 21 for m.
0
Suppose -20 = -k + 2*h, 4*k - 5*h = -k + 115. Suppose -4 = 2*x + k. Let d be (9/(-15))/(3/x). Solve -j - j + 4*z = 8, 0 = 5*j + d*z - 6 for j.
0
Let r(w) = -w**3 - 7*w**2 - w - 3. Let m be r(-7). Suppose -c = -2*i - 0 - 1, -4*c + m = -i. Solve -3*u - 5*y = 25, 0 = 5*u + 2*y - i + 10 for u.
0
Let b be 1 + 1 + -3 + 33/3. Solve 2*p - b = -5*q, -4*q + 7 = -5*p - 34 for q.
4
Suppose 0 = o - 3 - 3. Suppose 3*r - 66 = -o. Let v be (-5)/2*(-12)/15. Solve -5*g + 2*u = -r, u = 4*g - v*u - 16 for g.
4
Let l be (-3)/(9/(-14)) - 6/(-18). Solve -4*u = -3*m + 11 - 40, 4*m = -l*u + 13 for u.
5
Let k be 4/(-14) + 0 + 99/77. Let x = 4 + 0. Solve x*s + 0*s - 5*u - k = 0, 2*s - 3 = 5*u for s.
-1
Let l be 7/((-2)/4*2). Let t = l - -12. Solve 3*r = f + 14, 2*r = 2*f + t + 11 for r.
3
Let p = 40 - 35. Solve 2 = 2*r + p*y - 4, -3*r - 3*y = -9 for r.
3
Let q(h) = h**2 - 2*h - 10. Let o be q(5). Solve o*b = -25, -5*p - 2*b = 3 + 7 for p.
0
Suppose 0 = -12*h + 17 + 43. Let p = -9 + 14. Solve p = r + 3*c, h = -0*r + r + 4*c for r.
5
Suppose 6*k - 44 = 4*k. Let a = 1 + 2. Solve 0 = -5*p - y - 15, a*y = p + k - 3 for p.
-4
Suppose -2*t = -4*d + 12, 2*t = t - 2. Let z be (-6)/(-15) + 26/10. Solve -5*l - 4*i = -5, -2*l - z*i = d - 4 for l.
1
Let h(s) = -s + 1. Let u(y) = 4*y + 4. Let l(j) = 5*h(j) + u(j). Let v be l(9). Let g = 5 - v. Solve i = g*i + 4*m, 0 = -2*i + m - 3 for i.
-1
Let a = 26 - 26. Solve -3*x + 1 + 2 = -3*t, t + x - 5 = a for t.
2
Let j = -1 + 1. Suppose -s - s + 8 = 4*g, 3*g = 5*s - 20. Suppose -6 = s*h - 7*h. Solve j*u = -5*f + h*u + 11, 2*u - 7 = -f for f.
3
Let v = -24 - -24. Solve v*q - 10 = 2*q, -5*n - 2*q - 35 = 0 for n.
-5
Suppose 4*o + 16 = 2*t, 4*t - 4*o - 12 = 4. Solve -v + l - 7 = -3*l, 4*v - 3*l + 2 = t for v.
1
Suppose -4*q = -6 - 30. Let c be ((-1 + 0)*-84)/1. Suppose 0 = 5*x + r - c, 2*x - 4*r - 20 = -4. Solve 5*w = i - q, 0 = -4*w - i - 4*i + x for w.
-1
Let o(s) = s**3 + 12*s**2 + 10*s - 16. Let v be o(-11). Let f be (-12)/(-30) - 8/v. Solve -4*m = x + 5, 2*x + 0*m + 10 = f*m for x.
-5
Suppose 2*f = 4*y - 4, f + 5*y = -0*f + 12. Suppose 3*r = -f*r + 20. Solve -4*u - r = -c + 11, -3*u - 14 = 2*c for c.
-1
Suppose -3 = 3*a + 2*r + 1, -4*r - 14 = 3*a. Let f be (-212)/(-44) + a/11. Let t = f - 3. Solve 4*m + 24 = 4*u, -3*u - m - m - t = 0 for u.
2
Suppose 0 = 3*q - 4*g + 20, 2*q + 3*g - 6*g = -15. Let u = 1 + q. Solve 2*z + 5*a - 2 - u = 0, -2*z + 4*a - 6 = 0 for z.
-1
Let b(q) = q - 2. Let t be b(2). Suppose 0*w - 4*w + 48 = t. Let s be (-6)/5*(-40)/w. Solve 5*h - u = 0, -s*u = -12 + 32 for h.
-1
Let g(s) = s**3 - 14*s**2 + 12*s + 15. Let z be g(13). Let v be 0/4*z/(-6). Solve 0 = 3*m + w - 8, v*w - 6 = -4*m + w for m.
2
Let k = 4 - 0. Suppose -3*j - h + 3 = 0, k*h + 15 = 3*j - 3. Let v = 57 - 25. Solve v = 6*z - 3*z + 4*p, 0 = 4*z - j*p - 6 for z.
4
Let c(r) = r**3 - r**2 + 1. Let b be c(2). Suppose q = b*q - 20. Suppose -4*p = p - 25. Solve -q*k - 15 = -5*h, 2*k = -p*h + 6*k + 14 for h.
2
Suppose 7*j = 8*j - 4. Suppose -2*k + 128 = j*s, -2*k = 1 - 5. Solve -2*c - c = -4*q - s, q = -4 for c.
5
Suppose 4*v = -5*z + 19, 3*z - 5*v + 0 = 4. Suppose 0 = -3*j - 1 + 10. Solve -j = 3*w + z*l, -3*l - 1 + 8 = -2*w for w.
-2
Let j = 17 - 17. Solve -4 = -4*l + l - 4*v, j = -5*l + 5*v - 5 for l.
0
Suppose -t + 7 - 5 = 0. Solve 0 = c + 4, -4*r + t*c + 2*c - 4 = 0 for r.
-5
Suppose 3*o + 3*m - 6 = 0, 4*m + 11 = 2*o - m. Solve 5*y + 10 = 0, 3*w - w = o*y + 12 for w.
3
Let u = 78 + -73. Solve -3*k = l + 4, -4*k - 4*l = -u*k - 10 for k.
-2
Let p be ((-5)/(-2))/(1/12*6). Solve 0 = -p*q - 4*t - 33, -4*q - q - 35 = 5*t for q.
-5
Suppose -13*m = -11*m. Suppose m = -w + 3 - 1. Solve -g = -3*t, -w*g + 6*g = 5*t for t.
0
Suppose 3*b = -5*a + 20 + 8, 5*b = -3*a + 20. Suppose 8 = a*k - k. Solve -3*m - 4 = 5*z + 21, -k*m - 16 = 3*z for m.
-5
Suppose 5*n + 5 = -2*m, 2*n - 45 = -2*m + 7*n. Solve 1 = z + c, 7*z = 4*z + 4*c + m for z.
2
Let t be (-52)/(-14) + (-2)/(-7). Suppose 0 = -t*f - 8 + 24. Solve 15 = -f*s - 5*m, 3*s + 3*m = 3 - 12 for s.
0
Let o be 1 + -1 + 2 + 1. Suppose -5*d = 2*r - 0*r - 54, -o*r = -d + 4. Solve -4*y = 2*j - d, j = 4*y + 4*j - 13 for y.
1
Let u be (-12)/(-42)*(9 + -2). Solve 2*t - u*x - 8 = -22, -3*x = -4*t - 26 for t.
-5
Suppose -5*g - 5*a = -35, -2*a - 35 = -5*g + a. Suppose -g = h - 9. Solve -2*f + 9 = -v, -v - h*v - 23 = -5*f for f.
4
Let v(d) = d**3 + 0*d**2 - 2*d**3 - 3*d**2 - 2. Let i be v(-4). Solve m = 4*p - i, 2*p + 3*m + 4 = -2*m for p.
3
Let h(p) = p**3 + 2*p**2 + p + 5. Let q be h(0). Solve -n + 2*n - 8 = 3*u, n = q*u + 10 for u.
-1
Let z be (-1 + (-1)/(-2))*(-10 + 6). Solve 0 = z*s + 7*b - 3*b - 26, -4*s = -b - 16 for s.
5
Let h = 19 - 17. Solve 4*q - q - 9 = h*b, 2*b = -5*q + 15 for b.
0
Let t be (22/4)/((-3)/6). Let g = 11 + t. So