0, a = 3*a + v*x + 22 for a.
-5
Suppose 0 = -4*q + 20. Suppose 0 = q*l - 7*l + 16. Solve 0*m = 5*v - m - l, 0 = 3*v + 3*m + 6 for v.
1
Suppose 0 = 3*z - 4*p + 13, -4 + 14 = -2*z + 3*p. Let s(u) = -u**3 - u - 5. Let j be s(-3). Solve -j + 6 = -3*r + 5*l, -r + z = l for r.
3
Let i = 4 + -1. Suppose -2*b + 6 = -0*b. Suppose h - b = 0, h = 3*x + 3*h - 6. Solve -15 = -3*n, 0 = -x*r - r - i*n + 13 for r.
-2
Let i = -22 - -26. Solve 5*d - 8 = -a, -i*d + 11 = -5*a - 7 for d.
2
Suppose 0*w - 3*l = w, 20 = 5*w - 5*l. Suppose -m = -o - w, 4*m + 4*o = -m + 15. Suppose 2 - 8 = -m*c. Solve -2*u = 2*i + 6, c*i - 4*i = -4*u - 6 for i.
-1
Let o be 3/18 - (-75)/(-18). Let t = 12 - o. Solve -9 = -3*s, 4*p - 2*s = -6*s + t for p.
1
Suppose 0 = u - 5*u - 3*o + 55, 5*o + 15 = 0. Solve 2*v + 4*m = -u, 0 = -2*m - 0 - 6 for v.
-2
Suppose -6 + 30 = 4*j. Let u be (-52)/(-8) + 1/(-2). Suppose 4*z - u = j. Solve 5*b = -z*h - 17, -5*b = 5*h + 9 + 6 for b.
-4
Let g be (-12)/21 + 72/28. Solve -2*r - 4 = -g*o + 4, 2*o = 0 for r.
-4
Suppose 0 = 2*o - o - 5*y + 9, 5*o + 45 = -3*y. Let a be 3 - 6 - 1*o. Solve -2*i + 10 = 4*s, -5*i + 4*s = -5 - a for i.
3
Suppose 3*m + 13 - 2 = 4*q, 5 = q - 3*m. Let z(x) = 8*x + 1. Let k be z(1). Solve -4*t + 12 = 0, -4*a + k*a - t = q for a.
1
Let q be ((-3)/(-12))/((-2)/(-40)). Solve 5*y - f = -1, -3*f - 16 = q*y - y for y.
-1
Let u = 1 - -5. Solve 3*d + f = 4*f + u, 3*d - 5*f - 10 = 0 for d.
0
Let l = 31 - 27. Solve -5*z = l*i - 40, -i + 0*i = -4*z + 11 for z.
4
Let t = 1 + 3. Let k be 1*2/(-4)*-8. Solve t*c = -3*n - 4, -k*n + 0*n - c = 14 for n.
-4
Suppose -4*u - 10 = -0*u + 5*x, 4*x = -8. Suppose 5*o - 10 + 0 = u. Solve -5*v = -o*m + 19, 0 = 6*v - 2*v + 3*m + 6 for v.
-3
Let r = -2 + 2. Suppose r = -f - 2 + 6. Let p(c) = -5*c + 1. Let i be p(-4). Solve -a + d = f + 1, -5*a - i = -d for a.
-4
Let a(v) = -11*v**3 - v**2. Let n be a(1). Let y be 6/4*n/(-9). Let j = y - 0. Solve m + 2 = -4*t + 7, 0 = -j*m + t - 8 for m.
-3
Let n be (11 - 1)*2/5. Let q(k) = k + 1 + k**2 - 6 + k. Let w be q(-4). Solve w*t - 10 = -a, -5*a - 40 = t - n*t for t.
5
Suppose -7*p + 5*p + 6 = 0. Suppose 3*h + 20 = 2*q, -h - 14 = -p*q + 2. Solve 2*w - w - 2*v = 1, v = -q*w + 22 for w.
5
Suppose -5*s = -10*s. Suppose 2*v = -s*v + 4. Let g(r) = -r**3 - 3*r**2 - 2*r - 3. Let n be g(-3). Solve d = 2*d - 1, 0 = n*h + 5*d - v for h.
-1
Let m(h) = h**2 - 4*h. Suppose 0 = -2*k + 4 + 4. Let s be m(k). Let p be 0 + (1 + s)*5. Solve p*u - i - 9 = 0, 6 = 2*u - 0*i + 2*i for u.
2
Suppose 11*r = 13*r - 6. Solve -r*u + 4*a = 2*a + 12, -5*a = -4*u - 16 for u.
-4
Let j(t) = -t**2 + 13*t - 8. Let c be j(12). Solve 0 = -2*v - 8, -c*a - 3*v = -4*v - 12 for a.
2
Let z(d) = d**2 + 7*d + 12. Let i be z(-5). Solve 5*v = 3*p - 31, p - 2*p + 12 = -i*v for v.
-5
Let s(k) = 3*k - 12. Let t be s(5). Solve -u + f + 2 = 0, t*u + 2*f + 2*f + 15 = 0 for u.
-1
Let y be (-2 + 0)*20/(-8). Let c be (-33)/(-12) - 1/(-4). Suppose c*o = -0*o + 9. Solve -3*d - d = o*k - 5, y*d + k = 20 for d.
5
Let b = -11 - 28. Let m be (-1)/(-3) - 143/b. Solve m*f - k = 11, -2*k + 4 = f - k for f.
3
Let k = 66 - 31. Solve -3*t = -b - 10, -2*b - 4*t + k = t for b.
5
Let h be 10*(0 + 5/25). Solve -5*p + 25 = 5*u, p + 1 = -h*u + 3*u for u.
3
Let k be 1 + -1*(0 + 0). Suppose -p - 4*c - 19 = k, c = p - 5. Suppose 0 = o - p*o - 4. Solve -s + 11 = -5*m - o, 12 = -m + 2*s for m.
-2
Let x = -38 + 41. Solve 2*h = -3*a - x*h - 22, -a + 4*h = -4 for a.
-4
Let x be ((-9)/12)/((-1)/4). Suppose -x*a + 3 = -3*y, 5*a = -2*y - 2*y - 31. Let b = 1 - a. Solve -l - 9 = b*d, 0 = 2*d - 2*l + 4*l for d.
-3
Let s be 28 + 3*6/(-9). Suppose o - 3*o + s = 0. Suppose -3*v - o = -5*y - v, -2*y + v + 5 = 0. Solve -y*l - x = 3*x, 3*x = -l + 5 for l.
-4
Suppose 0*m - 2*m = 5*f - 38, 3*f - 23 = -m. Solve -2*b - 14 = -5*u - 5, -5*b = 2*u + f for u.
1
Suppose 0 = -2*s - 0*s + 4. Let b(y) = -y**2 - 5*y + 10. Let v be b(-7). Let g be ((-5)/4)/(1/v). Solve -s*k = -n + 7, -4*n + 16 = -2*n - g*k for n.
3
Suppose -k = 3*k - 16. Suppose 1 = -k*o - 3. Let x be 4/20 - o/(-5). Solve -c - 8 = -x*c - 5*n, 4*c - 16 = -4*n for c.
2
Let q be (4/(-8))/(((-11)/6)/11). Solve -13 = 4*j + 3, -12 = -q*f + 3*j for f.
0
Let t(u) = u**3 + 4. Let g be t(0). Suppose -g*w + 8*w = -8. Let m be ((-7)/w)/7*8. Solve 2*d - m = -5*a - 15, 4*d - 8 = 0 for a.
-3
Let l(j) = j**3 - j**2 + j + 9. Let v be l(0). Let s = -4 + v. Suppose -4*c - 4*y = -36, 0*y + 2*y + 17 = s*c. Solve c*o + 15 = 5*u, -5*u - 3 = -4*u + o for u.
0
Suppose -5*c + 0*c + 35 = -o, -4*c + o + 29 = 0. Solve 4*r = 5*v - 16, 2*r = -v + c - 0 for v.
4
Let a(g) = -g - 3. Let y be a(-9). Solve -4*p + 3*l = -2, -4*p - 3*l = -4*l - y for p.
2
Let y be (-26)/22 - (-16)/88. Let b be y/(1/10*-2). Suppose -3*f - b = -53. Solve -2*a + f = 3*l, 3*l - 4*l - 3*a = -10 for l.
4
Let q(y) = -5*y**3 + y**2 - 1. Let m be q(-1). Let r = 3 - 0. Let b = -26 + 32. Solve r*d + b*t - t = -10, -4*t + 29 = -m*d for d.
-5
Let o = -12 + 21. Suppose 2*n - 9 = m - 2*n, -n - o = -4*m. Let v = 0 + m. Solve 4*l + v*k + 40 = 8, -2*l + 10 = -5*k for l.
-5
Let v = -21 + 26. Solve -3*m - 1 = 3*y + 2*y, -v*m + 15 = 0 for y.
-2
Let a(m) = 2*m**2 + 14*m + 6. Let f be a(-8). Solve 0 = -4*l + o + f, -3*o = 3*l - 0*l - 9 for l.
5
Let u = 26 - 17. Let y = u - 8. Let t(a) = a**2 - a - 1. Let b be t(-2). Solve -5 = b*v, 0 = 3*o - 2*o - 2*v + y for o.
-3
Suppose 0 = 10*r - 10 - 20. Solve -4*z = -2*v - 2*z + 2, r*z + 1 = 5*v for v.
-1
Suppose l - 9 = -2*l. Solve -l*h = -z - 11, -9 = -h - 0*h + 3*z for h.
3
Let u(h) = -h**2 - 8*h. Let p = -19 - -11. Let f be u(p). Suppose 0 = -f*o + 4*o - 48. Solve -2*v - w + o = 0, 2*v + 3*v = -w + 24 for v.
4
Let i = -109 - -112. Solve 5*a - 3*o = 16, -5*a = -i*a - 4*o + 2 for a.
5
Suppose -4*h + 3 + 3 = -w, 5*h - 5*w = 0. Let z = 2 - 1. Suppose -1 = -v + z. Solve -2*d - 9 - 5 = -v*f, -4 = h*f + 4*d for f.
4
Let j = 2 + 1. Let h be (j - 1)*14/4. Let r(g) = g**2 - 8*g + 9. Let f be r(h). Solve p + i = 1, -2*i = -p - 1 + f for p.
1
Let v be 7/14 + 69/2. Solve 0 = 5*p + 3*m + v, -m - 6 = 4*p - 3*m for p.
-4
Let n(y) = y**3 + 7*y**2 + 6*y + 4. Let i be n(-6). Solve -5*o - 15 = 4*a, -a = -i*o - 2*a - 1 for o.
1
Let l(c) = c + 17. Let n be l(-7). Suppose -2*x = -x - n. Solve 4*g = 3*i - 35, -g + x = 5*i + 2*g for i.
5
Let z(h) = -5*h - 5. Let b be z(-4). Let k = b + -13. Solve -2*s - 16 = -a - 2*a, -k*a = -4*s - 24 for a.
2
Suppose 0 = q - 2*q + 2. Suppose -3*t = -q*t - 3. Let l(c) = -c**2 - c + 3. Let h be l(0). Solve -4*o + t*y + h = -11, -4*y - 6 = o for o.
2
Let q = 27 - 22. Solve r = 3*f - 14, -8 = -q*r + f - 36 for r.
-5
Let s be (-3)/1 + (-18)/(-6). Let z = s + 5. Solve -4 = i + b + b, z*b = 4*i + 16 for i.
-4
Let b(m) = 2*m - 6. Let t be b(6). Let s = -4 + t. Suppose 155 = 24*o + 35. Solve o*z = -s*h + 20, z - 2*z = -4 for h.
0
Let m = 8 + 1. Let o(q) = q - 7. Let a be o(m). Suppose -2*y = 4*v - 20, v + a*v - 18 = -3*y. Solve -w + 18 = -5*j - 0*w, -12 = 4*j - y*w for j.
-4
Suppose 7*k - 5 = 16. Solve 2*z + j = k*z, 6 = 5*z - 2*j for z.
2
Suppose -2*v - 2*v = -2*v. Solve -3*o + 2 = 2*g + 6, v = -5*o for g.
-2
Suppose -6*q + 2*q = -12. Let h(l) = l**3 - 2*l**2 - l - 4. Let d be h(q). Let r be (21*-1)/(1 - d). Solve 3*m + r = -0*v - 3*v, -5*m - v - 27 = 0 for m.
-5
Let j = 19 - 16. Solve -2*o - 8 = b + 3*b, -4*b - 10 = j*o for b.
-1
Suppose -g + 3 = 1. Solve 2*t + g*l = 6*l - 12, 4*t + 2*l = 6 for t.
0
Let o be (5/(-10))/((-2)/8). Let l be 10/25 - 26/(-10). Suppose -3*j + l = -42. Solve 3*u + o*i = j, 3 = u + u - i for u.
3
Suppose 4*q - 18*w + 19*w = 8, 2*q - 18 = 3*w. Solve -q*f - 4*l - 25 = -0*f, -21 = 3*f + 3*l for f.
-3
Let i = 211 - 207. Let x = -2 + 5. Solve 0 = -x*u - 5*r + 3, 2*u + 2 = i*u + 4*r for u.
1
Let a be ((-72)/(-12))/(3/4). Let c = -4 - -5. Let n = c + 1. Solve n*r = -2*z - a, 0*z + 4*z + r = -10 for z.
-2
Let d = 3 - 5. Let q(l) = l**2 + l. Let b be q(d). Let n(u) = u**2 + 4. Let j be n(0). Solve b*k = 5*r + 18, 0 = -2*k - k - j*r - 19 for k.
-1
Suppose 2*i = -2*i + 12. Let h(v) = 4*v + 111. Let u be h(-27). Solve 6 + 9 = -x + u*n, -15 = 3*x - i*n for x.
0
Suppose -8 = -z - z. Suppose -3*v + 16 - 7 = 0. Solve v*s = 5*n - 34, -4*s + z*n = -2*s + 26 for s.
-3
Let r(q) = q**3 + 3*q**2 - 3*q - 2. Let y be r(-3). Solve 0 = 3