 7*z + 5*v - 10, 0 = -z + p*v + 8 for z.
3
Let s = 69 - 68. Solve p + s = 0, 5*p + 5 = -0*k + 4*k for k.
0
Let d = -15 - -35. Let q = -4 + 1. Let m = q + d. Solve 5*a = -4*b + 41, 0 = -0*b + 3*b + a - m for b.
4
Suppose 0 = -11*r + 2*r + 27. Suppose -4*a + 3*w = -w - 68, -48 = -r*a + 4*w. Solve 0*h - 3*h = 2*q - 15, 0 = 4*h + 4*q - a for h.
5
Let v(d) = -d**2 - 2*d + 13. Let z be v(-4). Suppose 0 = -h + 3*h - 4. Suppose -3*w = g - h + z, 3*g - 5*w = 33. Solve -2*t + g = p - 1, -p - t + 2 = 0 for p.
-3
Suppose -h - 2*h = 11*h. Solve 5*d = i + 9 - h, 0 = 2*i + 2*d - 6 for i.
1
Let f(l) = 1 + 4*l**3 + 0*l**3 - 4*l**2 - 5*l**3 - l. Let o be f(-4). Solve -o*t - 5 = -4*n, t + 2 = 5*n + 1 for n.
0
Suppose -7*k + 18 = -4*k. Suppose 2*z = -k, z + 13 = -v - 4*z. Let l(i) = 2*i**2 + 2*i. Let u be l(-2). Solve -u*s + 20 = -5*r + v*r, -s = 2*r - 5 for r.
0
Let k = -40 - -27. Suppose 3 + 65 = 4*l. Let p = k + l. Solve 2*v - s = 3, 2*s = -p*v - s + 21 for v.
3
Suppose 0 = 2*b - 5*b. Suppose b = c + 4*c - 5*h + 20, -c + 16 = 4*h. Solve 3*g + 5*d = -5, g + g + 5*d = c for g.
-5
Let z be -1 - ((-3 - -3) + -5). Suppose -y + 12 = 4*y + 2*g, y = -z*g + 6. Solve 0 = f + y*s, -4*f + 2 = 2*s - 4 for f.
2
Suppose 70*w - 75*w + 4*x + 46 = 0, -10 = w + 4*x. Solve -3*q - f - w = 0, 3*q + 0*f = -3*f for q.
-3
Suppose 3*x = -4*x + 28. Suppose a + 2*m = x*a + 1, m - 20 = -5*a. Solve 4*o - 7*o = a*f + 18, -o + 12 = -5*f for o.
-3
Suppose t = -5, 2*b = 7*b - 5*t - 145. Let v be -2*(39/6 + 3). Let f = v + 20. Solve b = -5*x - 3*s + 2*s, -s = -f for x.
-5
Let s(m) = -m**2 + 33*m + 242. Let y be s(-6). Solve 4 = u + h, -3*h + y + 14 = 5*u for u.
5
Let u be -1 + 4 - (2 + 2). Let g be u*(3 + -4) + 1. Let j = g + 5. Solve 3*d = n - 0*d + j, -4*n - 12 = -4*d for n.
-1
Let c(g) = g**2 + 2*g. Let p be c(-3). Suppose -4*w - 6 = p*t - 5*t, 0 = -4*t - w + 21. Solve l - 11 = -5*m, 0*m - t*l - 35 = -5*m for m.
3
Suppose 0 = -6*a - a + 63. Let b be 0 - 3*(-6)/a. Solve 0 = -o + 3*r + 8 - b, -7 = -o + 4*r for o.
3
Let z be (-5)/4*1*-100. Suppose -4*l = -5*f - 25, f = -2*l + 2*f + 17. Let o be z/l - (-1)/2. Solve 3*t - q = -t - 8, -o = -t + 4*q for t.
-3
Let u be 6 + (3 - 4/1). Suppose 3*d + 2*r + 33 = -3, -u*d - 76 = -2*r. Let l be d/(-77) + 84/22. Solve 2*a + g - 5 = 0, -3*a + l*g = -2*a - 7 for a.
3
Let c = 0 - -41. Suppose -36 + c = i. Let y be (3 - (-1 + 1))/1. Solve j + i = 0, 0 = -2*z - 0*z - y*j - 21 for z.
-3
Suppose 2*d - 8 = -2*x + 6, -2*d - 5*x = -23. Let i = 15 - 3. Suppose -66*y - i = -70*y. Solve 4*p = 2*t, 5*t + d*p - 11 = y*p for t.
2
Let x be (50 + -53)*(5 + -1)/(-2). Solve 5*u = 4*r - 9, x*u + 2 = 4*u + 2*r for u.
-5
Let j(s) = s - 12. Let l be j(15). Solve 5*h + 1 = u - 0, -2*u + 2 = -l*h for u.
1
Let l = -20 - -52. Let x = -24 + l. Solve -z + x = -3*z + 5*v, 5*v - 14 = -4*z for z.
1
Let n(m) = m**2 + 5*m + 8. Let d be n(-4). Suppose -a + 1 = 4*z, 3*z - 1 = -a + 1. Solve 10 = 3*l - d*y, 3*l - a - 2 = y for l.
2
Suppose 4*b - 34 = -6. Solve 2*v - 5*y - 27 = 3*v, -v - y - b = 0 for v.
-2
Let x = 55 - 43. Let b(n) = 2*n - 20. Let m be b(x). Solve -3*i + m*i = -5*s + 5, -3*s = -3*i + 15 for s.
0
Let k = 2302 - 2298. Solve 3*a - 12 = -a, k*f - 17 = a for f.
5
Suppose 27*u - 25 = 22*u. Suppose 2*i + u*y - 19 = 3*i, -3*y = -4*i - 8. Solve 5*b + 4 + i = -3*d, -3*d - 1 = 4*b for b.
-4
Let x = 54 + -52. Solve 3*c + c - 4*k + 40 = 0, -5*c + x*k = 35 for c.
-5
Let s = 7 + -3. Let g be (s/2)/(1/8). Suppose g = -4*f + 88. Solve 0 = 4*v - 8*v - 2*p + f, 2*p = -5*v + 21 for v.
3
Suppose 0 = 3*q + 7 - 1. Let u be (q/(-2) - -4) + -3. Suppose -u*s = 2*s - 16. Solve -s*b - 3*l = -2, -5 = 2*b + 3*l - 3 for b.
2
Let h(p) = p**3 - 18*p**2 + 25*p - 131. Let d be h(17). Suppose -2*y + y + 32 = 0. Solve 0*u = -5*o - d*u + 5, 3*o - 4*u = -y for o.
-4
Let v(q) = q**2 + 6*q + 2. Suppose -6*t = 30 + 6. Let r be v(t). Solve 5*f = 5*h + 5, f + 0*h = -r*h - 8 for f.
-2
Let v(f) = 27*f + 220. Let b be v(-8). Solve -2*j - 2*j + 16 = -b*h, j - 2 = 0 for h.
-2
Let u(s) = s. Let t(l) = l - 30. Let o(a) = t(a) + u(a). Let h be o(15). Solve h = -5*m + b, -6*b = m - 4*b for m.
0
Let x be (-1 - 3)*(-10)/(-16)*-2. Suppose -n - 5*v = 23, -2*n - v + 4 - 5 = 0. Suppose 0*o - 6 = -n*o. Solve -15 = x*g + 5*i, -4*i - 5 + o = -g for g.
-2
Suppose 11 = 6*b - 13. Solve -2*s + 4 = b*o, -s = s for o.
1
Suppose -6 = 5*c - 56. Suppose 5*z + 0*z - c = 0. Solve 4*s + 16 = 0, 5*n + 4*s - z*s = -8 for n.
0
Let p be ((-282)/(-235))/((-1)/45*-3). Suppose v + 2*v = 4*u + 10, -20 = -v - 2*u. Solve -5*n + 2*h - p = -3, -v = -2*h for n.
-1
Let u(c) = -c**3 - c**2 + c - 11. Let q be u(-3). Solve -3*o + 5 = -6*m + q*m, o - 6 = 5*m for m.
-1
Let d(b) be the first derivative of 2*b**2 + 30*b + 12. Let p be d(-7). Solve p*o + 1 = a, 5*a - 3*a - 18 = -4*o for a.
5
Suppose -v - 32 = -3*v. Let s = v - 38. Let y = 35 + s. Solve -5*l - 2*b = b + 17, b = 3*l + y for l.
-4
Suppose 0 = -i - 0*i + 34. Suppose 3*x + c = -3*c + 128, 3*x + 3*c - 123 = 0. Let d = x - i. Solve 0 = -d*t - 4*y - 26, -t + 0*y = -4*y - 11 for t.
-5
Let n = 9 + -5. Suppose 4*h + 5*d + 4 = 0, n*h + 3*d - d - 8 = 0. Solve 3*s = -0*i + 5*i - 23, -h*i = 3*s - 13 for s.
-1
Suppose 4*s = 5*a + 609, -5*a = 5*s + 328 + 272. Let z = -84 - a. Suppose 3*q = m - 4*m - 6, z = 4*m - 5*q. Solve 11 = 2*l + m*l - 3*y, y = l - 3 for l.
1
Let m be ((-168)/(-60))/((-2)/(-30)*-1). Let z = -34 - m. Let u = 26 - 16. Solve 4*i - 4 = 4*s + z*i, 2*s + 4*i + u = 0 for s.
3
Let u(o) be the first derivative of -o**4/4 - 13*o**3/3 - 6*o**2 + 3*o + 3. Let h be u(-12). Solve 0 = 5*w + 2*z + 11 + 10, h*w + 9 = -3*z for w.
-5
Suppose -6 = -5*f + 3*f. Let m = 22 + -20. Solve 5*k + 21 = -m*u, -5*k - 26 = -k - f*u for k.
-5
Suppose -a + 5*a + 96 = 0. Let t be (-9)/(-2)*a/(-54). Suppose 0 = -t*u - u. Solve 28 = 2*m - 5*w, 3*m - 2*w + 2 - 22 = u for m.
4
Suppose -4*v = -69 + 65. Solve 2*t - v = 3*f - 3*t, -t - 1 = -f for f.
3
Let z = 779 + -775. Solve -4*h + 13 = 4*a - 7, -2*a + z = 0 for h.
3
Let x = -2431 - -2431. Solve -3*f + 4 = -2*l + 2, x = 3*f for l.
-1
Let a be ((-4)/(-9))/(14/126). Solve -a*w + i = 16, -13 = w + 3*i + 4 for w.
-5
Let f be (124/20 - 3) + 12/15. Solve 2*k - f*k - 4 = 3*x, 0 = -3*x - 4*k - 8 for x.
0
Suppose 3*c + 77 = -4*c. Let n = c - -14. Solve -3*i + w - n*w + 11 = 0, 4*w + 23 = 3*i for i.
5
Suppose 6*z = z - 20. Let p = z - -6. Solve 3*t - s = 12, -4*t = -p*s - 21 + 3 for t.
3
Let l(d) = -3*d**2 - 26*d - 11. Let i be l(-8). Solve -15 = i*p + 4*z, 3*z + z = 5*p + 15 for p.
-3
Suppose 0 = -2*q + 3*q - 5. Suppose -y = -q, -3*c - 3*y + 20 = 2*c. Suppose u - c = 3*k, 10*u - 5*u + 2*k = 22. Solve -u*h = w - 0*w + 13, -h - 17 = 3*w for w.
-5
Suppose -4*j - 8 = -4*p, -3*j + 18 = p + 2*p. Let d be 7 + 133/14 + 9/6. Solve -4*o + d = a + 2*a, 2*a = -p*o + 16 for o.
3
Let b = 22 + -50. Let l = -8 - b. Suppose -x - l = -6*x. Solve 5*p - 3*z = -8 + 45, -x = z for p.
5
Let b be (-100)/40*(-8)/10. Solve 5*k - b*a - 25 = 3*a, 0 = -4*k - 2*a - 4 for k.
1
Let o(a) = a**2 - 3*a - 68. Let l be o(-7). Solve 0 = 4*x - f + 15, 3*x - l*f - 2*f - 5 = 0 for x.
-5
Let t(a) = a**2 + 26*a + 91. Let m be t(-22). Solve 2 = -2*n - 5*j - 23, -j - m = 0 for n.
-5
Suppose -2*j = -4*u - 44, -2*j - 5*u - 49 = -4*j. Let z = -545 - -549. Solve 2*i + z*s = 7*i - 15, -4*i - 5*s + j = 0 for i.
3
Let s = -247 + 263. Solve 3*b + 37 = 3*z + 2*z, -s = 4*b for z.
5
Suppose 2*j + 14*j - 48 = 0. Solve -5 = z + 2*f - j*f, 3*z + f - 1 = 0 for z.
-1
Suppose 5*d - 112 = 188. Suppose b - 6*b + d = 0. Suppose 0 = 4*s - 0*s + b, 2*m - s - 13 = 0. Solve -3*o + 4*l + 1 = 0, 0*o - m*o + 3*l = -9 for o.
3
Suppose -5*c - 36 = -3*z - 3, 4*z = -5*c + 44. Solve 3*q - u = z, -q - 3*q - u + 3 = 0 for q.
2
Let w = -218 - -226. Let c(q) = -2*q - 3. Let h be c(-3). Solve 0 = -r - 5*b - w, -h*r + 2*r = b for r.
2
Suppose -5*c - 3 = -2*k - 1, 4*k - 4 = -4*c. Suppose 5*m = -3*d + 7 + 2, 5*m = c. Suppose -24 = -0*g - 3*g. Solve 0*i - 2*i + g = -3*u, -4*i + 16 = d*u for i.
4
Suppose 8*r = 22 + 138. Suppose 7*h - r = -6. Solve 3*n + h*k = -12, 0 = -4*n - 0*n - 2*k - 14 for n.
-2
Suppose -i + 2 = -1. Let a = 22 - 22. Let t(n) = -2*n + 4. Let w be t(a). Solve -2*s + 2*z + 2*z = 2, w*s = -i*z - 26 for s.
-5
Suppose -5 - 39 = -11*o. Solve 2*v + o*y - 4 = 0, -v + 