lve -p + 0 = -5*o + 4, -1 = -g*o + 4*p for o.
1
Let n = -17 - -21. Solve -n*b - 2*v + 8 = 0, 4*b + 3*v + 0*v = 6 for b.
3
Suppose -12 = -q - 5. Let u = 1 - 0. Suppose -4*m + 15 = -u. Solve -3*z = -4*y - q*z - 4, -m*y + 20 = -2*z for y.
3
Suppose 0 = -3*r + 3*m + 24, 5*r + m - 7 = r. Solve -4*y - 2 = y + 2*n, -5*y - r*n + 2 = 0 for y.
-2
Let i(j) = -j - 1. Let d be i(-3). Suppose m = -0*u - d*u + 3, -3*m = 4*u - 5. Solve -5 = -4*t - 5*r, -u*t + 7*t + 5*r - 10 = 0 for t.
5
Suppose -4*t + t = -12. Let m = 21 - 17. Suppose 88 = 5*y - y. Solve 4*w - 3*c = 29, -2*w + m*w - t*c - y = 0 for w.
5
Let w be 112/(-63) + (-2)/9. Let c be (w + 0)*(-1)/2. Solve -4*j - 2*q = 3*q + c, 4*q - 1 = -5*j for j.
1
Suppose -3 = 3*f - 15. Let o be 2/3*3*1. Suppose w - o + 0 = 0. Solve -5*v - w*m - 14 = 0, -2*m + 2 = -5*v - f for v.
-2
Let k = 10 - 6. Let q = -60 + 34. Let v = q - -45. Solve m = k*p - 14, -5*p + m = -m - v for p.
3
Suppose -5*a = v - 65, v = 3*a - 4*a + 13. Let r(w) = w**3 + 5*w**2 - 3*w - 4. Let s be r(-5). Solve -s = 4*u - 3*c, -2*u + 4 + a = 3*c for u.
1
Suppose 0 = 3*i + 2*k - 5*k - 60, 0 = i + 4*k - 20. Suppose 1 = 2*s + 5*w, 0 = -s + 10*w - 9*w + 4. Solve -q - 4 = -2*v, 2*q = -s*v - 0*v + i for q.
4
Let o = -7 - -11. Let m(z) = -47*z**2 + 2*z + 1. Let q be m(-1). Let f be ((-2)/4)/(o/q). Solve u + 4*n + 6 = 3*u, f = -3*n for u.
-1
Let x(h) = h + 17. Suppose -v - 28 = 3*v. Let y be x(v). Solve 0 = -0*q + 4*q, -2*m = 3*q - y for m.
5
Suppose -y + 3*y - 8 = 0. Solve 5*n = -3*b - 35, 0*b = -y*b + 2*n - 12 for b.
-5
Suppose 0 = 2*q + 3*q. Solve 0 = w + 2*w - 3*f + 6, -f = q for w.
-2
Suppose 2*u - 18 = -8. Solve 6*d - d - 13 = 3*w, -w - u*d + 29 = 0 for w.
4
Suppose 2 + 8 = d. Solve 2*t - 4 = 5*m, 3*t - m = -2*t + d for t.
2
Let l(z) = -z**3 + 3*z**2 + 6*z + 3. Let f be l(3). Solve -3*r - 2*r - q + f = 0, 4*q = -4*r + 4 for r.
5
Let c = -30 - -31. Solve 5*b + 40 = 3*k - 8*k, 2*k = b - c for k.
-3
Suppose b + 8 = -0*b. Let i be (16/(-10))/(b/20). Suppose 0 = -4*l - 4*r + r - 1, i*l - 4*r = 20. Solve 4*j + l*t = -0*t + 4, j + 9 = 2*t for j.
-1
Suppose 0 = v + 5*l + 24 - 2, -3*l - 9 = 2*v. Suppose -2*d = 2*d + 3*o - 4, -32 = -5*d + v*o. Let i = d - 2. Solve -3*y - 2*g - 12 = 4, i*y - 2*g = -4 for y.
-4
Suppose 2*u + 2*u - 28 = 0. Let w(v) = v**2 - 8*v + 10. Let z be w(u). Let k be (-2)/3 - (-8)/z. Solve 4*p - l - 22 = k*l, -4*p - l + 14 = 0 for p.
4
Suppose -g + 4*j + 7 = 0, -3*g = -6*g + 4*j + 21. Suppose -2*n + g*n = 30. Suppose 6*q = q - c + 16, -4*q = 2*c - 8. Solve n*s = q*s - 2*r, -s - 8 = -3*r for s.
-2
Let u(z) = 2*z + 43. Let x be u(-19). Solve -1 = -h, -x*h = 2*f - f - 10 for f.
5
Let k(i) = i**3 + 7*i**2 + 6*i - 3. Let n be k(-6). Let v be (-3 - (-5 - n))/(-1). Solve 4*t - 3 = 3*d + v, 0 = 2*d + 3*t - 3 for d.
0
Let a(t) = -2*t + 29. Let o be a(12). Solve 0*p = 5*q - 3*p + 28, 2*p = o*q + 27 for q.
-5
Let v = -1 - -16. Solve 8*d - 5*c - v = 4*d, 3*c - 8 = -d for d.
5
Let j(r) = -4*r + 1. Let d be j(-1). Solve 10 = -2*n + 3*o, n - d*o = -2*n - 17 for n.
1
Let c be (0*2/(-4))/(-1). Suppose -3*h + 2 = 2*k - 4, -5*h - 4*k + 8 = c. Solve -h*n - j - 10 = 0, 7 = -3*j + 1 for n.
-2
Let r be (-45)/60 + (-30)/(-8). Let p be (r/(-4))/((-2)/8). Let d(m) = -4*m - 4. Let n be d(-4). Solve 5*s - 5*j = -40, p*j = -5*s + j - n for s.
-4
Suppose 2*q + 3 = 3*i - 6, -2*i + 10 = 0. Solve 4*f - q*p + 5 = 0, -f - 5*p + 10*p - 14 = 0 for f.
1
Suppose 4*h - 46 = -b - 4*b, -5*h = -2*b - 74. Suppose -4*a + h = -2. Solve 0 = -3*v + 3*f - 18, -a*v - 2*f = f + 10 for v.
-4
Let k(d) = d. Let w(o) = 10*o - 1. Let c(a) = 18*k(a) - 2*w(a). Let z be c(-1). Solve 6 = 3*u, -n = -0*n - z*u + 7 for n.
1
Let c(g) = g**2 + 12*g + 2. Let v be c(-12). Suppose v*h - 2*f - 6 = 0, 6*h - h - 3*f - 17 = 0. Suppose -h*y = -9*y. Solve y = -4*x + 6 + 2, x = s + 2 for s.
0
Suppose -12*x = -8*x - 20. Solve z - 4*q + 9 = -5*q, -5*q - x = -5*z for z.
-4
Suppose 0 = -2*u - 3*x + 7, -5*x = 4*u + 3 - 14. Let p(s) = -4*s**3 + s**2 + s. Let j be p(u). Solve 4*i = -5*h + 29, -i + 0*i + h = j for i.
1
Suppose -5*x = -3*t, 0 = -5*x + 3*x - 3*t + 21. Let j = 5 - -3. Suppose -5*h + j = -2. Solve 3 = 2*q + x*u - 9, -h*q - 2*u = -8 for q.
0
Suppose -14*g = -16*g + 4. Solve 8 = -3*k - r + g*r, r + 24 = -5*k for k.
-4
Let d(q) = q**3 - 16*q**2 + 14*q + 19. Let i be d(15). Let b = 0 + i. Solve -t - 5*k + 21 = 0, -3*t + 7 = -b*t + 2*k for t.
1
Let u(h) = h**2 + 10*h + 3. Let z be u(-10). Suppose -7 - 3 = -5*k - 5*g, z*k = 3*g - 6. Solve -4*x + k*x + 24 = -4*v, -4*v + 8 = 4*x for x.
4
Suppose h + 3*l - 19 = 0, -5*l - 25 = -3*h - 10. Solve -2*d + 2*n - h = 0, -7 = 5*d + 4*n - 3*n for d.
-2
Suppose 4*a - 8 = 2*j, -j + 5*a - 28 = -3*j. Solve 5*g + 2*c = 26, -j*c = -2*g - g for g.
4
Suppose 0*t + 2*t = 2. Let f be t/2*8/2. Let m = -22 - -42. Solve -3*i + 7*i = m, -5 = -5*j + f*i for j.
3
Let k = -45 - -65. Solve -3*q + 15 = -x, -x = -q + 5*q - k for x.
0
Suppose -35 = -5*s - 5*v, -2*s - s + 4*v - 7 = 0. Let y(i) = -i**3 + i**2 - i + 2. Let n be y(0). Solve 0 = s*x - 4*f - 13, -4 = -n*x - 3*f - 1 for x.
3
Let t = 45 - 25. Suppose t = -2*d + 6*d. Solve -2*s = -d*x - 9, 4*s + 4*x = 3*x - 15 for s.
-3
Let m = 43 - 25. Solve 5*a + m = 4*b, -3*b + 2*a = 3*a - 4 for b.
2
Suppose f = 3*f. Suppose 0*c - 4*c + 12 = f. Suppose -5*v + 31 = 2*d, d - 13 = -3*v + v. Solve d*k - 6 = 2*k - c*x, -3*x = 5*k + 6 for k.
-3
Suppose -22 = -5*k - 3*v, v + 1 = 2*k - 10. Solve 0 = -k*c + c + 2*f - 2, 2*c - 2 = -2*f for c.
0
Let s be 2/(-4) - 21/(-14). Let x(n) = 7*n**3 - n**2 - n + 1. Let m be x(s). Solve 2*p - m = -2*w - 2*w, -3 = -4*w - 5*p for w.
2
Let a be 19/3 - 1/3. Suppose -5*n - 4*p = -a*p - 15, 2*n = -2*p + 20. Let q = 1 + 1. Solve x + q*d = 1, 0*x = x - n*d + 13 for x.
-3
Let k(w) = w + 1. Let f be k(-2). Let p = f - -5. Solve 2*u - 4 = -3*o - o, -p*o + 16 = -u for u.
-4
Let g be (2 - -7) + (-2 - -2). Let j(n) = n**3 + 9*n**2 - 11*n - 10. Suppose 3*a + 25 = -5. Let k be j(a). Solve k = -4*f - t + 6 + g, -f + 4*t = -25 for f.
5
Let x be (1 - 0)/(2/46). Let c = 34 - x. Let d be 2 - (1 + -1)*-1. Solve r = -2*r - 2*l + c, d*r + 5*l - 11 = 0 for r.
3
Let t(o) = -o**2 + 4. Let n(y) = -y**3 - y**2 + y - 2. Let f be n(-2). Let r be t(f). Solve -w - 2*w + r*h = 1, 5*w - h = 21 for w.
5
Let i be -5 + 9/3 + 7. Suppose -3 = -2*n - x, 3*x + 10 + i = 0. Solve 11 = -b - 2*h, b - h - n = -0*b for b.
-1
Let i(s) = 2*s**2 + 2. Let z be i(-2). Suppose -z = -4*d + 10. Let r(o) = -o**2 - 7*o - 7. Let a be r(-5). Solve -n - 15 = -4*u + d, 0 = a*n for u.
5
Suppose -5*d - 12 = -17. Solve 3*n = -l - 2, d = 4*n + 5*l - 0 for n.
-1
Let i = 22 - 19. Solve -5*g + 23 = -4*r + 6, -i*r = -4*g + 14 for g.
5
Let a be (1/(-1) - -2)*1. Solve -5*d - 28 = -s, 3*d = d - 3*s - a for d.
-5
Let y = -25 + 19. Let l(g) = -2*g - 9. Let h be l(y). Solve -4 = -4*f + 2*s, -2*f + 4*s = -h*f - 17 for f.
-1
Let n(h) = h**2 + 3*h - 5. Let s(u) = u**3 + 6*u**2 - 6*u + 2. Let i be s(-7). Let x be n(i). Solve -3*b - 7 = x, -y - 3*b = 17 for y.
-5
Suppose 27 = -5*z - n + 184, 37 = z + 3*n. Solve -3*f - 2*f = j - 27, 3*j + 5*f = z for j.
2
Let w = -6 + 6. Let o be (3/2)/(-3)*w. Solve o = 4*l - 20, 10*j - 5*j - 4*l = -20 for j.
0
Let q(m) = -m**2 - 4*m - 4. Let r be q(-2). Solve -k + 1 = -5*y, -y + 5 = -r*k + 5*k for k.
1
Let i = -34 + 36. Solve -o = -5*r + 8, r + 3*o + i*o + 14 = 0 for r.
1
Suppose 4*a - 20 = 8. Let b = -3 + a. Solve -4*t + 20 = b*m, 4*m + 4*t + t - 24 = 0 for m.
1
Let n = 21 - 42. Let q = 26 + n. Solve -12 = -q*i - u - 0, 2 = u for i.
2
Let m be 1/4 + (-3)/12. Suppose 3*k - l - 14 = m, -6*l = -2*k - l + 31. Solve -9 = 2*a + i, -4*i = -i - k for a.
-5
Let x(t) = t**3 - 5*t**2 - 2*t + 5. Let q be x(5). Let b(n) = n**3 + 4*n**2 - 5*n + 3. Let c be b(q). Solve -9 = -4*l - 6*g + g, -g = c*l + 7 for l.
-4
Let w = 66 - 58. Solve x + 2 = -4*k - w, 5*x - k = -8 for x.
-2
Let d(t) = 11*t + 3. Let c be d(0). Solve 0 = -2*o + 8, c*a - 20 = -a - 5*o for a.
0
Let g(b) = -b - 9. Let k(u) = -1. Let p(a) = 2*g(a) - 6*k(a). Let w be p(-8). Solve -3*f - 12 = 3*v, 7*f - 5*v = 4*f + w for f.
-2
Let y = 0 + 4. Suppose 2*n + l = -3*l + 16, -l + y = 2*n. Suppose g + 14 = 3*b, 4*g + 3 = -5. Solve b*f + 4*h + 8 = 0, n*f - 2*h = -3*f + 9 for f.
1
Let j(k) = -k**2 + 8*k - 5. Let c be j(7). Let 