
Let z(o) = -2*o**2 + 12*o + 4. Let s be z(6). Solve -g - s*n = -12, -g + 5*n - 24 = -9 for g.
0
Let i = 2 + -2. Let g(r) = r**3 - 3*r**2 - 2*r - 3. Let x be g(4). Let v = x - i. Solve -4*f - 5 = -z - 6, 2*f - v*z = -13 for f.
1
Let r = -8 - -13. Suppose 5*k + 5*s = -25, -k - 5*s - 25 = -r*k. Solve k = -4*m - 3*f - 35, 0 = m + 2*m - 3*f for m.
-5
Let p(j) = 2*j - 7. Let v be p(6). Suppose 2*u + 2*i = -4, 0*i - 2*i - 10 = v*u. Let k be (u/5)/((-1)/10). Solve s - 5 = k*w + 6, 0 = 5*w - 4*s + 22 for w.
-2
Let g be 3 + 4*(-3)/(-6). Suppose -5*z + 9*s - 4*s = -15, -g*z - 2*s = -43. Solve y - z = 3*v - y, -2*y + 3 = v for v.
-1
Suppose -5*l = -3*t - t - 28, 5*t = -l - 6. Solve 4 = q + l*m, -2*q + m + 0*m = 1 for q.
0
Let h(i) = i + i + 4 - i**2 - 3*i - 4*i. Suppose 22 - 7 = -3*d. Let g be h(d). Solve -4*t = g*z + 28, 3*t - 4*z - 20 + 6 = 0 for t.
-2
Let k(q) = -8*q - 6. Let o be k(-1). Solve 0 = -3*f + 3*g - 6, 3*g + o*g = -5*f + 10 for f.
0
Let i = 8 - 4. Suppose -f - 4*p = 3 + 7, 0 = 2*f + 4*p. Solve i*d + 5*w - 16 = 0, -f + 3 = 3*d - w for d.
-1
Suppose -7*w + 18 = -4*w. Let d be (-5)/(-2) + w/12. Suppose 31 + d = 2*o. Solve -o = 3*g - 5*b, 4*b + 4 = 4*g + 16 for g.
1
Let y(h) = -h**2 - 13*h + 3. Let q be y(-13). Solve -7 = -q*z + 4*u, z + z = -u - 10 for z.
-3
Let f = 37 + -25. Suppose 2*n + 0 = 6. Solve -d = -0*u - u + 4, -n*u - f = 5*d for u.
1
Suppose 30 = 3*x - h, h + 3*h + 50 = 5*x. Let f be (x/(-15))/(2/(-12)). Let k = 6 - f. Solve 5*r + 4*u = -21, -2*r - k*u = -7*u - 18 for r.
-1
Let w(n) = 6*n. Let y be w(2). Suppose s - 1 - y = -2*u, 4*s + 4*u = 32. Solve 0 = -4*z - b - 3, 0*b + s = -z - b for z.
0
Let j(k) = -2*k + 19. Let v be j(8). Solve 0*o = m - 3*o - 5, v*o = 2*m - 4 for m.
-1
Suppose -4*i - 4*v + 16 = 0, 0*i - 2*v + 4 = -2*i. Suppose -y = -1 - i. Solve -5*b + 3 = -2*b + c, c = -y*b + 1 for b.
2
Suppose 3*s = 2*j, 2*j + 4 = s + 4*s. Solve -4*d = -5*u - 9, 0*u = d - s*u - 3 for d.
1
Suppose t - 4*t = -9. Suppose -40 = -t*f - 2*f. Solve 2*c + a = -4*a + f, -5*a + 14 = -4*c for c.
-1
Let k = 49 - 45. Solve k*i + 2 - 1 = -5*g, -8 = 2*i for g.
3
Let w(s) = -9*s + 1. Let c be w(-1). Suppose 21*r - 26*r = -c. Solve r*t - 3 + 1 = 0, -2*i = 5*t - 3 for i.
-1
Let g(i) = -i**2 + i - 4. Let z be g(3). Let o be 20/z + 1*4. Solve 4*b + 5*y - o*y = -8, -3*y - 12 = 0 for b.
1
Let z = -25 - -27. Solve -z*q + 4*q = 5*b - 10, -4*q = 20 for b.
0
Suppose 7*v = 17 + 193. Solve -5 = 4*p - 5*s, 0*p + v = 2*p + 4*s for p.
5
Let p be (6/(-9) - 0)*156/(-8). Solve 0*y - 4*u = -y + p, u = y - 1 for y.
-3
Let m be 9 + 12/9*-3. Solve 2 + 3 = 3*y - a, y + 3*a = m for y.
2
Suppose -39 + 19 = -5*r. Solve -o + 5 = -2*o - 4*a, r*a = 2*o - 14 for o.
3
Let b be ((-15)/10*1)/(6/(-32)). Solve w - 4 = 2*q, b = -4*q + 4*w - w for q.
-2
Suppose 5*x - 2 - 18 = 0. Solve 8 + 2 = -2*u + x*a, -5*a + 32 = 4*u for u.
3
Suppose 0*a + 10 = 3*a + l, 0 = -5*a + 4*l + 28. Let x be 15 - (-4 + 16/a). Solve 0 = 3*s + x, -3*k + 2*s + 11 = -8 for k.
3
Let w = -8 + -15. Let s = -33 - w. Let l be ((-8)/s)/(8/20). Solve 5*f - 1 + 4 = 3*k, -l*k - 5*f + 2 = 0 for k.
1
Let w = -7 - -10. Let j = 6 + -2. Solve -w*g + 4 = 16, -z = -j*g - 19 for z.
3
Let l be -1 + (-30)/(-8) - 42/56. Solve -z = g + 2, -2*g + l*z = -3*g for g.
-4
Suppose -2*i - 6*i = -40. Solve -3*v = 12, -i*a + 3*v + 2 = -0*a for a.
-2
Suppose 2*p + 3*p - 4*o = -20, -3*p + 2*o - 10 = 0. Suppose -b = -p*b - 3. Solve -11 = -3*i - 5*z, -b*z + 12 = -0*z for i.
-3
Suppose -12 = 2*u - 0*u + 3*k, 4 = u - k. Let f = 1 - u. Suppose -a = f - 4. Solve 0 = -a*n - 5*g + 20, 4 + 0 = 4*g for n.
5
Let a(w) = -19*w**3 - w**2 + 2*w - 1. Let k be a(1). Let y = -29 - k. Let h be 2/(16/y + 2). Solve -5 + 35 = -3*x - 3*o, h*x - 2*o = -15 for x.
-5
Let t(j) = -j**2 + 7*j - 5. Let c be t(6). Suppose -2*k = c - 5. Let r be k*13 + -1 + 3. Solve 3*m - 2 = 5*m - 2*i, -4*m + r = 4*i for m.
3
Let b = 29 - 23. Solve 3*p + p + 5*h = -14, 2*p - b = 4*h for p.
-1
Let s = 305 + -290. Let v(z) = 6*z - 1. Let g be v(1). Let d(h) = -h**3 + 6*h**2 - 2*h + 1. Let l be d(4). Solve -b + g*u + l = 0, 2*u + u + s = 2*b for b.
0
Let n be (2/(-3))/(6/(-27)). Let p(o) = -2*o - 10. Suppose 2 + 32 = -2*a. Let z be p(a). Solve -4*d + 4*t - z = 0, 0 = n*d - 2*t - 0*t + 13 for d.
-1
Let m(d) = -16*d**3 + 2*d**2 - 1. Let k be m(-1). Solve 5*h = 3*b + 31, -3*h - k = -8*h - 4*b for h.
5
Let j be 288/20 + 2/(-5). Let v be 172/j - 8/28. Suppose -2*c + v = c. Solve -18 = 4*r - m, 2 = c*r - 4*m + 14 for r.
-5
Let a = -7 - -13. Let k(r) = 8*r - 5 + 3 + 1 - r**2. Let d be k(a). Solve 26 = 3*v + 5*y, v + 3*y = d + 3 for v.
2
Suppose 3*u - 8 = -u. Let i be u*3 + (1 - 3). Solve 3*o = 5*v + i, -2*v - o = -3*o for v.
-2
Suppose -3*f + 9 = 2*g, g = -5*f + 4 + 4. Let n(x) = 2*x**2 + 1. Let l be n(1). Suppose l*o + 2*o - 10 = 0. Solve -o*z + 5*z + 12 = 0, -z = g*u - 5 for u.
3
Let r(h) = h**3 - 2*h + 1. Let i be r(1). Solve 5*n - 2*u - 23 = i, u = -n - 2*u - 9 for n.
3
Suppose -b - 4*b - 19 = -j, -3*j = 4*b. Solve 3*w = 7*p - 3*p - 4, 5*w = -j*p + 4 for w.
0
Suppose -c - 5*k = -10, -6*k - 17 = -4*c - 3*k. Solve 3*t + 11 + 14 = -c*w, -t - w - 7 = 0 for t.
-5
Let d be 1 - (1 - (-3)/(-1)). Let w = -1 - -3. Solve 0 = p - w*u - 2, 4*p - u + 4 = d*u for p.
-4
Let i be (11 - 2)*(-30)/(-9). Suppose -i = -5*n + 30. Let u = -3 - -6. Solve 0 = 4*y - u*k + 13, -2*k - 3*k = 3*y - n for y.
-1
Let k be (-196)/(-14) - (-2)/(-1). Let u(g) = -g**2 + 13*g - 7. Let j be u(k). Solve -r = -j*l + 1, -5*l - r + 0*r = -9 for l.
1
Let r be 1148/16 - (-2)/8. Let y = -107 - -156. Let q = r - y. Solve 0 = 5*k - t + q, 5*k + 9 + 12 = 2*t for k.
-5
Let j = 9 + -9. Solve -5*z + 3 + 2 = 3*s, 5*s = j for z.
1
Suppose 2*z - 16 = -2*u, 0 = 4*z + 3*u - 5*u - 62. Let b = z + -9. Suppose 0 = 2*j + b, -4*l + 0 = 5*j + 2. Solve -l*h + 4 = -0*h, 0 = -5*a + 3*h - 31 for a.
-5
Let d be 1/(-3) - (-128)/6. Suppose 4*s - 15 - 1 = 0. Suppose -1 = s*z - d. Solve 2*x = 2*l - 8, -z*l + 6 = -2*l for x.
-2
Suppose -3*i + 3 + 9 = 0. Solve 7*v + 4*t = 3*v + i, 4*t - 19 = v for v.
-3
Suppose 5*l - 15 = 3*p, l - 4*l = -9. Let i be (-1 - (-8 + 1)) + p. Solve 2*j = i + 2, 4*m - 4*j = -4 for m.
3
Let m = 32 + -11. Let g = -8 + 14. Suppose 0 = 4*c + 5*y, -2*c + g*c - y = 0. Solve -3*p + 6 = -5*o, -3*p - 4*o + c*o = m for p.
-3
Let u = 0 - -5. Suppose -145 = -u*v - 0*v. Solve 3*f - 5*t + t + v = 0, 0 = -f - 5*t + 22 for f.
-3
Let w be (5 + -6)/((-1)/5). Let q(b) = 2*b + 0*b - w*b. Let t be q(-1). Solve n - t*d = -4, -3*n + 3*d = -2*d + 4 for n.
2
Let t be (1 - -2)*(-4)/(-6). Suppose 2 + 1 = -h. Let c = h + 3. Solve c = -t*z + o - 3 - 0, -z - o = -6 for z.
1
Suppose -4*a = 2*z, 3*a - 2*a - 3 = 0. Let k be ((-39)/z)/((-1)/(-2)). Solve 3*b + 12 = -3*w, 2*w - k = -w + 2*b for w.
1
Let o = -2 - -4. Let h = o - -13. Solve 2*n - h - 2 = -5*p, 0 = 3*n + 5*p - 13 for n.
-4
Suppose 4*i - 2*z - 23 = 3*z, -i - 13 = 5*z. Suppose o + 4 = k, 10 + 0 = 4*k + i*o. Solve w + 6 = -k*x, -3*w = 2*w - 5*x - 10 for w.
0
Let r = -28 + 43. Let n = -11 + r. Solve -3*k - 3*c + 8 = -c, -c + n = -3*k for k.
0
Let c be (-3)/2*2 - -5. Suppose 3*j - 2 = c*j. Solve 4*r = -3*q + j, 9 = 3*r - 4*q - 5 for r.
2
Let p(c) = c**2 - 2*c - 3. Let o be p(-3). Let r be (-2 - -8)*4/o. Solve -2*a = -a + w - 2, -5*a - 11 = -r*w for a.
-1
Let a(x) = x**2 - 8*x + 5. Let h be a(5). Let y = -5 - h. Solve 14 = -3*k + 5*b, 4*k + 11 = 4*b - y for k.
-3
Let f = 0 + 3. Solve -f*c = -2*a + 2, 2*c + 4 = -0*c + 2*a for c.
2
Let g = 24 - 19. Suppose 33 = 2*f + g*y, 0 = 5*f - 2*f + 2*y - 22. Solve 4*q - 16 = f*k, 7*q - 13 = 3*q + 3*k for q.
1
Let k = 6 + 9. Let g = 21 - k. Suppose g*b - 9 = 3*b. Solve 35 = 5*p - 5*m, 5*p - b*m - 32 = m for p.
4
Let a(t) = t**2 + t - 6. Let h be a(0). Let y be h/21 + (-23)/(-7). Solve 3*u = -7*c + y*c + 17, 9 = 2*c + u for c.
5
Let y = -172 - -179. Solve -2*a = 2*z - 12, a + 5*z = 17 - y for a.
5
Suppose 3*n - 1 = 8. Solve 3*g = n*x + 12, -g - 5 - 1 = x for g.
-1
Suppose -14 = i + 4*t, 5 + 0 = 2*i - 3*t. Let v be -7 + 0/(4/i). Let o be (0 - -4)*(-6 - v). Solve 5 = -4*l - 3*f, 3*f = -o*l - l - 4 for l.
1
Suppose k + 0*k - 2 = 0. Let g be 3 - k*(-1 - 0). Solve -5*d + 10 = i - 6*i, g*i + 37 = -4*d for d.
-3
Let s be -10 + 11 - (0 + -1). Solve -6*z + 5 = -z - 5*j, s*j = -3*z + 3 for z.
1
