 7 = 3, 0 = -5*v - f*p + 24 for v.
4
Let t be -15 + 19 + (-1 - (0 - 1)). Solve 0 = g + 2*s + 9, -t*s - 30 = 5*g + s for g.
-3
Let y be 0 + -4 + 2 + 1. Let j = 6 + y. Solve -4*k - j*g = -k - 3, 1 = k - 2*g for k.
1
Let q = 0 - 0. Let o(d) = 5 - 2*d + 15 + d**2 - 3 + 3*d. Let r be o(q). Solve -r = x + 3*p, -p - 2*p = 15 for x.
-2
Let r = 19 + -17. Suppose -r*m = -m - 18. Solve -w = 3*o + 3*w + m, -3*o = 3*w + 15 for o.
-2
Let q = 28 + -16. Let u be (-3)/18 - (-2)/q. Solve 4*g + 4*j = 8, -3*g + j + u*j - 6 = 0 for g.
-1
Suppose -3*f + 8 = -2*f. Solve 4*x = 3*u - 2 - 7, -x - f = 5*u for x.
-3
Suppose -6*l + 27 = 3. Solve -2*n - 5*a - 1 + 21 = 0, 0 = -5*n - l*a + 16 for n.
0
Suppose -p - 3*o = -5 + 4, -5*p + 57 = 2*o. Let l = -9 - -13. Solve p = 5*i - 2*d, 5*i = d + l*d + 25 for i.
1
Let c = 17 - 13. Let h(n) = -4*n**3 - 2*n**2 + 1. Let q be h(-1). Solve 5*j - 25 = -q*l, c*l - 2*j - 6 = 2*l for l.
5
Let d(l) = 2*l + 5. Let b be d(0). Solve 0 = -5*u + b*g + 50, 2*g + 25 = 2*u + u for u.
5
Let v be 286/110 - 4/(-10). Solve 2 = -4*w - 2*d - 6, v*d - 10 = 5*w for w.
-2
Let w(h) = -h**2 - 5*h. Suppose m = -4 - 1. Let r be w(m). Let a(i) = -i**3 + i**2 + i - 2. Let u be a(-2). Solve 5*x - 4*t + 7 = r, 0*x + 3*t - u = x for x.
1
Suppose 129*q - 131*q = -32. Solve 4*m = -i + 11, -6*i = 5*m - 4*i - q for m.
2
Let l(s) = -s**2 + 8*s + 3. Let w be l(8). Solve 0 = -5*o - w*v - 10, 0 = -o - 2*o - 5*v - 22 for o.
1
Suppose h - 16 = 4*y + 17, 4*h - 168 = 4*y. Solve -4*r + 5*o = h, -2*o + 5 = -4*r - 5*o for r.
-5
Suppose 0 = -s - 4*s + 10. Solve h + i = 10, s*h - i = h for h.
5
Suppose 4*k + 34 = -k - 4*d, 30 = -5*k - 5*d. Let g = -6 - k. Solve 3*s = 2*q - 6*q, -s - g*q = 0 for s.
0
Let s(n) = -n**3 + 21*n**2 + n - 19. Let f be s(21). Solve -3*a = -0*j - 3*j - 6, 2*a + f*j + 4 = 0 for a.
0
Suppose b + 40 = 6*b. Solve r = -4*l - 17, -4*r + b = -4*l - 4 for r.
-1
Suppose -5*v - 5*n - 10 = -2*n, -3*v - n = 2. Let j = 8 - v. Let w = j - 3. Solve -4*m + w = 0, 2*u + u + 4*m - 13 = 0 for u.
3
Let f(z) = -z**3 - 12*z**2. Let h be f(-12). Suppose 2*l - 5*l = h, 0 = 4*x - 2*l - 8. Solve -5*n + 18 = x*t, -4*n = n + t - 19 for n.
4
Let t(d) = d**2 + 2*d - 20. Let b be t(4). Let l be (-2)/(-3)*3/2. Let c = l + 2. Solve -h = c*h + 5*u + 3, -h - b = -2*u for h.
-2
Let a(d) = d**2 + 11*d - 2. Let l(s) = -s**2 - 12*s + 3. Let p(o) = 7*a(o) + 6*l(o). Let c be p(-5). Solve 19 = 5*f - 2*u, 2*f + 0 = c*u - 2 for f.
5
Suppose -4 = -5*a + 6. Suppose -213 = q + 4*q + 4*u, -a*u - 129 = 3*q. Let f be 4/(-18) + (-10)/q. Solve -i - 2*j - 12 = 0, f*i + 4*i = -5*j - 33 for i.
-2
Let k(z) = 2*z**2 - 3*z + 1. Let h be k(3). Let q = h + -6. Solve 3*b - 4*o = -12 - q, 3*o - 11 = 2*b for b.
-4
Suppose -5*o - 7 - 5 = -m, -3*m - 4*o = 2. Let j = m + 1. Suppose 0 = -2*d - d. Solve j*b + 2*g = 8, 3*b + d*g + 4*g - 4 = 0 for b.
4
Let k = 6 - 7. Let b be (k/2)/((-2)/8). Solve 0 = 3*w + g - 2*g, b*g = -5*w - 11 for w.
-1
Suppose 2*b = -3*b + 3*c + 69, 2*c = -b + 6. Suppose -4*m + b = -m. Solve y + 2*x - x + 7 = 0, 0 = -m*y + 2*x + 2 for y.
-2
Let x(y) = -15*y + 4. Let w be x(-4). Let i be w/5 - (-1)/5. Solve 0 = 5*f - 25, 3*f - i - 22 = 5*a for a.
-4
Let k(b) = -b**3 + 10*b**2 + 4*b - 12. Let d be k(10). Let n = 41 - d. Let j = 3 + -2. Solve -m - 5*p - n = 0, j + 14 = 3*m - 3*p for m.
2
Let x(u) = 3*u**2 - 12*u + 9. Let f(c) = -2*c**2 + 6*c - 5. Let m(b) = 5*f(b) + 3*x(b). Let y be m(-6). Solve p + z + 4 = -2*z, 0 = -y*z - 2 for p.
-1
Let b be (-119)/28 + 4 + (-42)/(-8). Solve b*l = -d - 11, -l - 1 - 2 = d for l.
-2
Suppose 4*y = 3*y + 14. Let p = 17 - y. Solve 2*w - 3*q = -1, -p*w + q = w - 13 for w.
4
Suppose 4*w = 20, w - 12 + 5 = -2*n. Solve d - 5*o = 4*d + n, 3*o = 4*d - 18 for d.
3
Suppose -5*r - 15*r = -80. Solve -4*u - 6 - 7 = h, -3*h - r*u = 23 for h.
-5
Let h(f) = -f - 7. Let x be h(-9). Solve -3*w + 2*m - 1 = 0, -4*w = -3*w - x*m - 1 for w.
-1
Let i(x) = 12 + 5*x + 2*x - 6*x. Let k be i(0). Suppose 0 = c - 4 - k. Solve -3*f - 2*l - 2*l = -c, 0 = 4*f - l + 4 for f.
0
Let g(j) = -j + 1. Let b be g(-2). Solve -2*u - 5*m + 23 = u, -4*u + b*m = 8 for u.
1
Suppose -2*g + 12 = g, 3*p - g = -34. Suppose 0*j - 5*j = 40. Let z be 3/(2 + j)*p. Solve 0 = d - 5*i - 24, 16 = i - z*i for d.
4
Let c = -3 - -6. Suppose c*a - 3 - 9 = 0. Solve -4 = 5*g + a*u, 23 = -3*g + 2*u + 3 for g.
-4
Suppose 5*v - 27 = -12. Solve -8 = 4*t - 2*y, 0 = -4*t + v*y - 8 for t.
-2
Let v(c) = -c**2 - 12*c - 4. Let n be v(-13). Let q = n - -22. Let y be 1 - 1*(0 + -2). Solve 0 = d + 3*l + y, -1 = -3*d - 4*l - q for d.
0
Let t(s) = -2*s + 16. Let b be t(7). Solve -3*z + b*m - 7 + 3 = 0, -2*z - 3*m = 7 for z.
-2
Suppose -2*w + 17 = -55. Let u = -10 + w. Solve 3*z - 5*z = -2*x + 2, 4*x + u = -2*z for z.
-5
Suppose 3*k - 4*k + 4 = 0. Suppose -m - 15 = -6*m. Let j = m + 0. Solve j*s = 6, h - 28 = -k*h - 4*s for h.
4
Suppose 1 + 11 = 3*u. Solve 5*r + 10 + u = t, 3*r - t = -8 for r.
-3
Suppose -3*z - 30 = -30. Solve 5*g = 4*f, z*g = 2*f - g for f.
0
Let j(i) = 5*i - 4. Let r be j(5). Solve 0 = 3*g - 2*v - 17, 6*g + 4*v - r = g for g.
5
Suppose 0 = -x - 2*n - 4, 0 = x + 2*x + 4*n + 6. Let v be (16/12)/(x/3). Solve -v*u - 24 = 5*o, 16 = -2*u + 3*o - 6*o for u.
-2
Let f = 18 - 14. Solve y - 2*u + f = 0, 0 = 2*y - 5*y - 2*u + 12 for y.
2
Suppose 0*m - 5*m = -4*c, -4*m + 5*c + 9 = 0. Let p = m + 8. Solve 0 = 2*q - 5*v + 6, -1 = p*q - 5*v + 11 for q.
-3
Let q be (-10)/(-1*(1 + 1)). Suppose -3 = 3*i - 3*b + 3, -2*i = -b + 9. Let r = i + 12. Solve -3*c + 0 = -r*p - 13, -q*c = -4*p for p.
-5
Let c be 9/4 - 5/(-4 - -24). Solve -c*p - u + 6*u = 14, 0 = 4*p + u + 6 for p.
-2
Suppose -6*x + 37 = 1. Suppose -7*a + x = -4*a. Solve -5*g - 17 = -a*n + 8, 5*g + n = -10 for g.
-3
Let i be (-33)/(-9) + 2/6. Let x be 9/(-2)*i/(-6). Solve 4*r = -3*t - 18, -5*r = -2*t + 8 + x for t.
-2
Let a(f) = 2*f**3 + 11*f**2 + 6*f + 10. Let c be a(-5). Solve 11 = 2*n + w, 4*n = -c*w - 9 + 40 for n.
4
Let c = 139 + -40. Suppose -2*n - c = n. Let u be (-2)/10 + n/(-15). Solve 0*i - 3*d = 2*i, u*i - 16 = 5*d for i.
3
Suppose 8 = -5*i + 48. Let p be 0 - (-1 + 1 + 0). Solve c - i = 4*q, 3*c + 0*c - 4*q = p for c.
-4
Suppose 5*g - 3*v = -1 + 4, g + 3*v = -3. Suppose 3*q = -g*q. Let b = q + 3. Solve 0 = -b*l - 0*l + 4*r + 20, -3*r - 26 = -5*l for l.
4
Let u(s) = -s**2 + 3*s + 2. Let w be u(3). Let y(x) = -x**2 - 9*x - 9. Let i be y(-7). Suppose -5*t + 4*t = -i. Solve g = t*d + 15, d - 11 = w*g + g for d.
-4
Let a(d) = -4*d. Let w be a(-1). Solve 3*l + 20 = -4*c, -5*c + 2 = -w*l - 4 for l.
-4
Suppose -3*b + 2*r = -r - 21, 4*b - 10 = -2*r. Let m = b + -1. Solve -3*i - 9 = 0, m*j = -2*i + 3 - 0 for j.
3
Suppose -2*x - 4*o = -66, 5*x - 3*x - o = 76. Solve 0 = -3*a - 15, 5*a + x = 3*r - 0*r for r.
4
Suppose 0 = 2*l - 64 + 54. Solve 2*f - 10 = 2*u, l*u + 11 = 3*f + 3*u for f.
1
Suppose m + m = 0. Let f(t) = -t + 3. Let a be f(m). Solve 0*g + 11 = a*i + g, -5*i + 9 = 4*g for i.
5
Suppose -13 = 3*n - 2*j - 27, -3*n = -3*j - 18. Let k(o) = -o**2 + 4*o + 2. Let l be k(4). Solve n*h + l*m - 3 = -1, 3*h = -5*m + 7 for h.
-1
Let d = -9 + 6. Let a be -5*(3 + -4) + d. Suppose 3*c - a = 1. Solve -4*h = 2*w + 5 + c, 2*w - 30 = 5*h for w.
5
Suppose 15 - 3 = 2*d + z, 3*d - 17 = -z. Solve d*p - 35 = -3*s, -5*p - 4*s + 34 = -6 for p.
4
Suppose -5*r = 5*p + 10, 5*p - 6 = -2*r + 5. Let q = 12 + r. Solve 4*a + 9 = -u, -6 = -q*u + u - 2*a for u.
3
Let q = 8 - 1. Let f be (-12)/(-42) - (-26)/q. Suppose 2*b = -0*b + f. Solve -3*a - b*j + 19 = 0, -j = 2*j - 15 for a.
3
Let y be ((-9)/6)/((-6)/16). Suppose -y*x + 3*x = 4. Let l be -1*1/(2/x). Solve -l*p = 0, -3*a + 4*p + 2 = -5*a for a.
-1
Let t be ((-14)/(-4))/((-1)/(-2)). Solve -3*b + t = 4*q, -2*q + q + 23 = 5*b for q.
-2
Let b(x) = -x - 1. Let m(n) = 25*n + 2. Let l(t) = 3*b(t) + m(t). Let a be l(-4). Let s be 3/18 - a/6. Solve 4*k - 4*p - 11 = 5, 2*k + 5*p - s = 0 for k.
5
Let u be (-4*(-3 + 1))/2. Let o = 3 - 3. Suppose -3*t + o*t + 9 = 0. Solve 24 = u*l - 5*a, l + t*a = 1 - 12 for l.
1
Suppose -6 = h - 4*h. Let v = -78 + 80. Solve -w - 3*a = -13, -h*w - v*a = w - 11 for w.
1
Suppose -3 = -l - 7. Suppose 4*q = 2*j + 32, -5*j = -4*q + 3 + 47. Let s = l - j. Solve s*x - 3*w + 2 - 1 = 0, 4*w + 22 = -2*x for x.
-5
Suppose 3 = -8*b + 9*b. Solve 10 = 4*m