0 = v + 4*b + j for v.
3
Let d = -17 - -9. Let a be d/(-16)*2*8. Solve 0 = -2*l + c - 6 - 1, -3*l + 4*c = a for l.
-4
Suppose -o + 44 = -4*b + 2*b, -5*o = -3*b - 52. Let l = 44 + b. Let i be (l/(-15))/((-3)/36). Solve 5*q + 4*y = 18, 4*q + 2*y - i = -4 for q.
2
Suppose -f + 2*l = -3*f + 4, 5*l - 10 = 3*f. Suppose f = 5*a - 25, 0 = 4*v - 5*a + 73 - 28. Let m = v - -8. Solve 1 = -m*q + 5*d, q + 3*d - 1 + 6 = 0 for q.
-2
Let k(t) = 2*t**2 - 2*t + 1. Let v be k(2). Let s = -47 - -51. Let l = s - 4. Solve -n + d + v = l, 5*n + d = n + 10 for n.
3
Let y be (-1224)/(-561) + (-4)/22. Solve 4 = g - 2*x + 1, -3 = y*g + 5*x for g.
1
Suppose -82 = 16*k - 82. Solve 3*m - 3*a - 9 = k, 2*m - 29 = -3*m - 2*a for m.
5
Let i be (-1 + -1 + 3)*16. Suppose 0 = 3*h + h - i. Let j = 7 - h. Solve -17 = -3*o - 4*r + 15, 0 = -3*o - j*r + 27 for o.
4
Let x be 9/(-6)*(-40)/4. Suppose -4*w + x + 5 = 0. Solve w*v - i - 25 = 0, v - i + 1 - 10 = 0 for v.
4
Let v = -24 + -3. Let y = v + 32. Solve -n = y*d + 6, -d = -5*d - 8 for n.
4
Let p = 17 - 10. Solve -2*x = -5*x + 4*f - p, -3*f - 6 = 0 for x.
-5
Suppose 0 = -3*s - 12, -3*s + 1 = -2*o + 21. Solve h + 2 = 5*l - 10, -2*l = -o*h + 6 for l.
3
Let d(l) = -l - 3. Let f be (112/(-14))/((-4)/(-10)). Let y be d(f). Solve y = -2*g + 3*q, g + q - 4 + 0 = 0 for g.
-1
Let h = 275 - 272. Solve -3*n - 31 = 4*w, -h + 7 = 4*w - 4*n for w.
-4
Let i be ((-8)/3)/((-18)/27). Suppose 153 - 29 = i*w. Solve 10 = -2*m, 5*v + 4*m + 4 = -w for v.
-3
Let t = 69 - 66. Suppose 4*s - t*c - 3 = 0, -c - 1 = -0*s + s. Solve 5*n = -4*x - x + 20, -3*n = s for x.
4
Suppose -3*a = 4*t - 31, -19 = -t - 2*a + 5*a. Solve -t = 3*m + 5*k, -m - 4*k + 8*k - 9 = 0 for m.
-5
Suppose 5*i + 0*i = 0. Suppose -3 = -3*k - i. Suppose 19*j - 27*j = -40. Solve -j*y - r + 5 = 0, -y - 3*r - k = -16 for y.
0
Suppose -117*d + 156 = -39*d. Solve 0 = 2*z + q - 5, 2*q - 6*q - 4 = d*z for z.
4
Suppose -2*y - 6*y + 0*y = 0. Solve y*x + 29 = 2*x - 5*n, -3*n = 2*x + 11 for x.
2
Suppose -7 = -5*l - 2*m, -3 = -3*l + 2*l - 2*m. Let n be -3 + 12 + l + 0. Let w = 24 - n. Solve -2*b = -2*t + w, -b - 8 = t - 5 for b.
-5
Let g(u) = 5*u - 20. Let d be g(5). Solve -l + 17 = -5*b, d*l = -5*b - 1 - 4 for l.
2
Let d(b) = -b - 7. Suppose 0 = 3*t - 4*v - 4 + 32, 0 = -2*t - 4*v - 32. Let i be d(t). Suppose 0*h - h + i = 0. Solve -c = -5*x - 6*c - 5, 5*x = h*c + 45 for x.
4
Let r be 3/2 - (-12)/8. Let t(c) = -2*c - 3. Let o be t(-4). Suppose r*w + 6 = o*w. Solve p - 8 = -w*p + y, -3*p - 3 = -3*y for p.
3
Let r(y) = -y**3 + 7*y**2 + 86*y - 624. Let z be r(8). Solve 2*p + 3*p = 5*m, z = m + 4*p - 25 for m.
5
Let j = -390 + 395. Solve -6*u + u + 5 = -5*r, -j*r = -u + 13 for u.
-2
Suppose 5*q - 99 = 2*q. Suppose -q + 1 = -2*x. Let z = x + -16. Solve -3*a - 10 = -4*y, -y + 0*y - 4*a + 12 = z for y.
4
Suppose -2*r + 5*t - 13 = 0, 0*r - 22 = 3*r - 5*t. Let v = -7 - r. Solve 5*c + v*n = 3*n - 9, -4*c + n - 7 = 0 for c.
-2
Let z(w) = -3*w**3 + 4*w**2 - 1 - 22*w + 2*w**3 - 1 - 14*w**2. Let x be z(-7). Solve 0 = -3*s + x*k - 37, -13 = 4*s + k - 2 for s.
-4
Let h = -17 + 24. Let r be -2 - -1 - (-5 - -2). Solve -2*t + h*t - 5 = 0, -w - 2*t - r = 0 for w.
-4
Let o = -8 + 22. Let v = -62 + 62. Solve v = 5*m + 4*s + 5, 3*m + 0*s - o = s for m.
3
Let v = -369 - -387. Solve 4*w = 3*q - v, -4*q = -3*q + w + 1 for q.
2
Let m be -1 - (-3)/(-3)*-7. Let x be ((-8)/6)/((-4)/m). Suppose -26 = -4*a - 3*q, 0 = 3*a - 0*q + q - 22. Solve -a*t + x*h + 24 = -3*t, 2*h = -4 for t.
4
Let n be -13 + -2 - 24/(-4). Let u be 4/n - (-132)/54. Let o be 0 - 1*-1*3. Solve i = o*g + 6, u*i + 5*g + 1 - 2 = 0 for i.
3
Let b = -1846 - -1856. Solve 12*n - 14*n + y + b = 0, -2*y = 0 for n.
5
Let p be (-1)/(((-20)/52)/5). Let i be 2/p + (-740)/(-260). Solve 4*u + g - 12 = -i*g, -2*u + 3*g + 1 = 0 for u.
2
Suppose -4*j + 2*j + 16 = 2*u, 2*u + 12 = 5*j. Solve -n + j*o = n + 8, -3*o + 15 = 3*n for n.
2
Suppose 0 = o - 2*k + 6, 5*k - 9 = -o + 20. Solve 5*c + o*x - 1 = 10, 4*c + 8 = x for c.
-1
Suppose -9*d + 3*d = -24. Suppose 0 = -d*n + 2*c + 22, -3*n - 5*c + 3 = -2*c. Solve 0 = -n*x + 5*p + 1, x - 4*p = 3*x - 20 for x.
4
Let s = -633 - -636. Solve -5*x + f - 2*f = -2, 6 = s*f for x.
0
Let p be (-2)/3 - 540/(-81). Let r be ((-8)/p)/(16/(-120)). Solve -3*a - 5*l = 29, -5*a - 17 = 3*l + r for a.
-3
Let d = -112 - -112. Solve d = 4*h - 3*n - 7, -6*n - 26 = 3*h - 2*n for h.
-2
Suppose 0 = 4*h - j - 20, -h + 0 - 2 = -2*j. Solve 3*u + 24 = -3*c + h*u, 4*u = 3*c + 28 for c.
-4
Suppose -5*o - 5 = 0, 0*o = 2*b + 2*o - 2. Solve -i + 5*u = i - 29, -b*i = -4*u - 24 for i.
2
Suppose 0*m + 2*i = 5*m - 5, 0 = -3*i + 15. Solve 5*t + 14 = -3*j - 16, m*j + 3 = 4*t for j.
-5
Suppose 0 = 2*c + 4*u - 4 - 2, u - 24 = -5*c. Solve -c*n = -3*l - 1 + 4, -4*l + 4 = n for n.
0
Let w be (1 - 0)*(-5 - (-1 + -7)). Solve -4*i = -2*p, w*p - 1 = 5 for i.
1
Let p(f) = 2*f**2 + 5. Let m be p(-4). Suppose 36*x - m*x + 16 = 0. Solve 2*b - 5*y = -9 + 38, 2*y + x = 3*b for b.
2
Let y(m) = m**3 - 48*m**2 + 46*m + 50. Let h be y(47). Solve 8 = -s - 6*l + 4*l, s + h*l + 11 = 0 for s.
-2
Suppose -3*v = -0*u - 5*u + 10, -4*v = 0. Solve 2*q = 4*i + u, 3*q - 6*i = -2*i - 1 for q.
-3
Suppose 5*m + 130 = -3*x - 2*x, -2*x - 58 = 5*m. Let a = x + 35. Suppose 7 - a = -b. Solve 0 = -5*j - 2*y - 8, 8*y = -b*j + 3*y - 20 for j.
0
Let d(i) = -90*i + 760. Let c be d(8). Solve 5*f = 5*g - 0*g + 5, 5*f + c = -4*g for f.
-4
Let y = -415 + 418. Solve 13 = -2*n - 6*p + y*p, 2*n - 3*p = 17 for n.
1
Let u = -836 + 869. Solve 4*l + 5*a = -0*a + u, 10 = 2*a for l.
2
Let u(x) = -x**3 - 4*x**2 + 5*x + 2. Let l be u(-5). Let b = -28 + 26. Let j = l - b. Solve j*k - 4*q = q - 21, -2*k = q - 7 for k.
1
Suppose 0 = -4*d + 3*c + 2, 0*c = 3*d - 3*c. Let f = -11 + 3. Let h be 4/(f/d) + 3. Solve 0 = -h*o + 2*r - 3*r - 2, 4*o = 4*r + 8 for o.
0
Suppose 33*m = 35*m - 130. Suppose -57 + m = 4*b. Solve u + 19 = 5*t, -2*t + 3*u + 26 = -b*u for t.
3
Suppose -4*t + 47 - 11 = 0. Suppose 43*b = 18*b + 200. Let m be 0/1*(t - b). Solve 3*h + 2 = 5*y + 13, 5*h + 2*y - 8 = m for h.
2
Let o be (-36)/(-45) - 21/(-5). Suppose 2*j - q - 3*q = 12, -5*j = o*q. Solve -5*w + 31 = -4*a, -2*w - 5*a = j*w + 8 for w.
3
Let f = -301 - -303. Solve -2*r - 25 = -5*w, w - 2*w + 5 = -f*r for r.
0
Let b be (-2)/(-6)*10/((-40)/(-12)). Solve 2*u + 2 = 2*q, 4*q = 3*u + 2*u + b for q.
4
Let c(y) = -y**3 + y**2 + 3*y - 2. Suppose -24 = -5*f - 0*q + 3*q, -5*f - 2*q = -9. Let i be c(f). Let d = i + 14. Solve 4*o + s = 6*s + 25, d*s = -3 for o.
5
Let t(j) = -j**3 - 6*j**2 - 7*j - 7. Let r be t(-5). Suppose 0 = -i + r - 1. Suppose -w = -i*w + 3. Solve 8 = -2*q - 2*h, 0 = w*h - 7*h - 16 for q.
0
Let p = 627 - 623. Solve 0 = 6*i - 3*i + 9, -4*z + p*i + 8 = 0 for z.
-1
Suppose 10 = 2*u - 2. Suppose 0 = -2*l - u + 20. Suppose -2*f + 4*p = -4, -3*p = f - 9 - 8. Solve w + l + 11 = 3*y, 4*y + 4*w = f for y.
5
Let z = -30 - -33. Suppose z*d = 5*d. Solve d = -4*f + 6*f - 6, 4*f + 4 = 4*j for j.
4
Suppose 161 + 19 = 4*m + 5*s, 2*s = 5*m - 192. Solve 4*l - 4 = 4*d, -5*l + d - m = 5*d for l.
-4
Let t = 51 + 12. Suppose 60*k + 6 = t*k. Solve 2*v - 5*y = k, 4*v + y - 1 = 3 for v.
1
Let l(r) = -2*r**2 + 32*r - 28. Let u be l(15). Solve -u*t = -2*h - 6, -5*t + 0*t + 15 = 2*h for h.
0
Suppose -5*n - 25 = 0, 5*n = -6*q + 10*q - 25. Solve q = -3*p - t - 3, 0 = -t + 3 for p.
-2
Let i = -807 - -811. Solve -18 = 2*p - 4*y, -6 = -5*y + i for p.
-5
Let d = 672 - 642. Suppose -4*i + 2*i = 0. Suppose t - 3*p + i + 2 = 0, -4 = -2*t + 2*p. Solve -5*a - 5*f + d = -15, -3*f = t*a - 31 for a.
4
Let l = 1948 + -1945. Let f(j) = j + 7. Let v be f(-6). Solve a - 3*z = -0*a - v, l*a + z = 7 for a.
2
Let a(b) = -2*b + 3. Let z be a(0). Solve -z*o + 0*n - 35 = 5*n, 0 = o - 3*n - 7 for o.
-5
Suppose -10*k = -13*k + 147. Let w = -39 + k. Solve 5*y = 3*i - w, -3*y = -5*y + i - 4 for y.
-2
Suppose -12*b + 238 - 58 = 0. Suppose 3*t = -b + 30. Solve t*n - 5*l + 5 = 0, -4*l - 3 = -2*n + 1 for n.
-4
Suppose 0 = 5*z, o - 2*z - 4 = -3. Suppose 2*y - o = 5. Suppose -2*m = -y*i + 6, 6 = 5*m + 3*i - 0. Solve 3*f = -5*c + 4*f + 15, m = -3*c + 2*f + 9 for c.
3
Let l = -729 - -739. Solve 17 = -3*r + 2, 2*r + l = -4*i for i.
0
Suppose 5*h = 4*h - 3*h. Let q(d) = -8*d**3 - 2*d**2 - 2*d - 1. Let w be q(-1). Let y be 3/