
-5
Let c(l) = l + 5. Let j be c(0). Solve 20 = 3*o + j*q, -7 = o - 3*o + 3*q for o.
5
Suppose -5*b + 1 = 16. Let l be 2*3/(-6)*b. Solve 0 = -l*i + 5*x - 31, 3*i - 4*x + 11 = -3*x for i.
-2
Let z(x) = -x**3 + 6*x**2 - 6*x + 4. Let n(q) = -q**3 + 9*q**2 + 11*q - 6. Let g be n(10). Let o be z(g). Solve -5*w = -2*s - 0*w + 14, -5*w - o = -s for s.
2
Let p(r) = -r + 14. Let h be p(11). Solve 2*n + 19 = -h*d - 2*d, -2*d + 2 = -4*n for d.
-3
Suppose -5*m - j + 46 = 0, 3*m - 50 = 2*j + 3*j. Solve 0 = g - 4*g + 3, m = 5*k - 5*g for k.
3
Let g = 13 - -1. Let o be 13/5 + g/35. Solve 3*z - l = -5, -z - 13 = 4*z + o*l for z.
-2
Let b(y) = -y + 14. Let s be b(5). Solve 3*d - 3 = 0, -4*t + 3*d + s = -7*t for t.
-4
Let l be (-10)/4*(-8)/(-10). Let p be -1*(-3 - l) - -1. Solve p*x - 14 = 2*q, 3*q - 4 + 0 = -2*x for x.
5
Let p be (2/(-4))/((-3)/18). Suppose p*d = -2*d + 205. Suppose -d = -4*b + y, -7*b + 53 = -2*b - 3*y. Solve 3*h - 2 - b = 0, -2*o + 4*h - 10 = 0 for o.
3
Let y be (-6)/4*8/(-3). Suppose -y*m - q + 10 = 0, 5*m - 20 = -7*q + 2*q. Solve -t - 3*o - 11 = -m*t, -4*t + 2*o + 14 = 0 for t.
2
Suppose -5*b = 4*q - 0*b - 68, 0 = b - 4. Solve -g - 3*t + q = 0, 16 + 4 = -5*g + t for g.
-3
Suppose 13*y + 12 = 15*y. Solve -5*k + a = y + 14, 0 = 2*k - 4*a + 26 for k.
-3
Suppose -x + 90 = -4*y, -2*y + 3*y + 19 = 2*x. Let v = -33 - y. Let o be (v/4)/(1/(-2)). Solve -2*p = -5*w - 3*p - 29, o*w = 5*p - 5 for w.
-5
Let y = -60 + 91. Solve 3*h - 23 = -0*v - 2*v, y = 4*v + 3*h for v.
4
Let r = 25 + -23. Solve r*g - 5 - 6 = w, 0 = -3*w + 2*g - 13 for w.
-1
Let r be (54/6)/(3/2). Suppose -m = m - r. Solve -17 = 5*z - 3*x, 3*z + m*x = -2*z + 7 for z.
-1
Let b = 25 - 15. Suppose 4*d - b = -2*z, 0 = -8*d + 3*d - 3*z + 15. Solve 2*h - 28 = 4*q - 2*h, -q + 5*h - 23 = d for q.
-3
Let a = 11 - -15. Let o = a + -24. Solve -v - 17 = -5*q, 2*q + o*v + 2 = 16 for q.
4
Let p = -18 + 11. Let m(k) = k**2 + 7*k + 4. Let n be m(p). Solve 5*b + 12 = -n*w, -2*b = 3*w - 0 + 2 for b.
-4
Suppose -5*q = -3*q - 6. Let y(c) = 3 - c - 3*c**2 - c**2 + 7*c**2 + 2*c**3 - c**3. Let s be y(-3). Solve -d - q*t = -s, -5 = 2*d + t - 2 for d.
-3
Suppose 2*i - 1 = 7. Suppose g + 4*g - 10 = 0. Solve i*m - 10 = g*c - 0*m, 0 = -4*c - 4*m + 4 for c.
-1
Suppose -2*c - 16 = -b - 6*c, 2*b - 4*c = -28. Let p be 3 - (0 + b/(-2)). Suppose 0 = r - p - 2. Solve -r*t - 10 = -a, 0 = -t + 2*a - 0*a for t.
-4
Suppose -4*j + 6 = -5*i, j + 4*j = -i + 22. Solve -t = 3*t + i*k - 10, -3*t + 4*k = -13 for t.
3
Let k(j) = j - 2. Let w be k(7). Suppose -u = w*p - 38, -2*p - p = 4*u - 67. Solve 5*n - 13 = -4*r + 10, 2*r = -3*n + u for n.
3
Let u be (-16)/(4 + -6)*3/6. Solve 2*v = 2*s - 10, 2*v + 18 = -0*v + u*s for v.
-1
Suppose 5*c + 0*c - 40 = 0. Let f be -3*(0 + 12/(-9)). Suppose 0 = 3*w - 7 + 4. Solve c = -4*q, -4*g = -f*q - 3 - w for g.
-1
Suppose 3*q - 66 = -3*q. Solve -n - 3*g = -0*n + q, 5*n + 13 = -g for n.
-2
Suppose 0 = 4*g - 3*d - 50, d - 5*d + 14 = 2*g. Solve -3*h + 2*a = 3, h - 5*h - g = -5*a for h.
1
Suppose 5*a + 30 = 5*h, -2*a = 2*h - 3*a - 12. Let y be h/(-4) + 3/(-6). Let u be -15*((-4)/3 + y). Solve 5*i - u = -5*s, 2*s = i + 3 + 2 for i.
5
Suppose -s = 2*s - 6. Suppose -2*z - 5*h = -20, z - 5*h - 8 = 2. Solve -2*g - 4*n + s*n - z = 0, 18 = -3*g - 4*n for g.
-2
Let a be 1 - -1*(-3 + 2). Suppose 2*r = -3*m - 10, -m - 15 = 3*r - a*r. Solve 3*j + q = -j + 8, 2*j - 5*q + 18 = m for j.
1
Suppose -2*d - 3 = -7. Solve -5*l - 35 = -5*t, -3*l + d*l + 1 = 3*t for l.
-5
Let s(o) = o + 25. Let i be s(4). Solve 3*d + 3 = -4*c + i, c + 3*d - 11 = 0 for c.
5
Suppose -7 - 7 = -7*d. Solve 4*p + d*b = -4, -6*p - 6 = -4*p - b for p.
-2
Let q(m) = -m - 1. Let b be q(-5). Solve -b*s + 7*s = -6, 4*s = 4*a + 8 for a.
-4
Let p(h) = -h - 2. Let b be p(-7). Let g = -32 - -35. Suppose 9 = g*a - 2*a + l, -a + b*l - 3 = 0. Solve v = 2*n + 5, 4*n + 3*v - a = 2*n for n.
-1
Suppose -7*u + 30 = -u. Solve 0 = -u*n - i - 18, 2*n - 2 = -0*n - 5*i for n.
-4
Let q(b) = 5*b**2 + 3*b + 3. Let w be q(-3). Solve 12 = 2*z - 2*h, w = 5*z - 4*h + 13 for z.
2
Suppose 5*q - 6 = -l, 5*q - 1 = -5*l + 9. Let w be (q + 0)/(2/4). Let t = 6 - w. Solve 4*x - t = -4*k + 4, 2*x - 5 = -k for x.
3
Let n be (0 + 10)*(-10)/(-20). Suppose 0 = n*j - 2 - 8. Solve 4*r + 24 = -0*r + 3*k, 2*r - j*k = -14 for r.
-3
Let b be -9*(-6)/(-12)*(-4)/6. Solve -10 = f - 3*y, -b = -2*y + 1 for f.
-4
Suppose 3*k - 4*k = 0. Let p = k + 2. Suppose 2*x - 12 = -p*x. Solve 3*b + 4*v = b + 10, -5*v = -x*b - 29 for b.
-3
Suppose -2 = -4*h + 3*h. Suppose h*x - 8 = -0*x. Solve -3*p + 6*p - 3*n - 24 = 0, -5*p + x*n + 36 = 0 for p.
4
Suppose -2*f + 18 = f. Let o = -8 + f. Let r = 4 + o. Solve -2*x + h - r = 0, 2*x + 5*h - 1 = 3*x for x.
-1
Let d = -72 - -75. Solve -h - 5*w = -17, 4*w = -4*h + d*w - 8 for h.
-3
Suppose 4*x + 124 = 44. Let s be ((-6)/4)/(15/x). Solve -4*q - 5*f = -s*q + 7, 3*q = 2*f + 18 for q.
4
Let d be (-9)/(-6)*(-1 + 3). Suppose 17 + 59 = 4*i. Let z be i + ((-2)/2 - -1). Solve 3*m - z = d*g - 7, -2 = g for m.
2
Let m be (-10)/(-4)*24/15. Suppose -m*c - c = 0. Solve 3*z - 5*a = -c*a - 25, 0 = z + 2*a - 10 for z.
0
Suppose -2*p = -4*p - 28. Let i be (-4)/p + (-38)/(-14). Let f = i + 0. Solve f*t = -5*c + 3, -3*t - t = -4 for c.
0
Suppose -z = z. Suppose 0*u - u = z. Let k = -10 + 15. Solve -k*q - 2*s + 9 = -24, u = -3*s + 12 for q.
5
Suppose 0 = -s + 3*s + 4*h - 30, -3*s = -3*h. Let z = 35 - 12. Suppose -2*j - a - 19 = 4*a, z = j - 4*a. Solve 3*f = -j*y - 7 - s, -2*y = 4*f + 16 for y.
0
Suppose 15 = 3*g + 2*g. Suppose 3*b - g = 4*w, -5 = -4*w - b + 12. Let d be (-1 + 2)/(-3)*-6. Solve 4*v - c + 22 = -d*c, w*c = v - 1 for v.
-5
Let x be (-208)/12 - (-1)/3. Let s = -17 - x. Solve 4*k + 4*h = 2*h + 4, s = 2*k + 2*h - 6 for k.
-1
Let i be 36/(-15)*(-20)/(-6). Let b(a) = 0*a + 12 + 4*a - 3*a. Let j be b(i). Solve 0 = -2*m + 10, j*v + 26 = 4*m + 10 for v.
1
Suppose 2*x + 2*x - 17 = -3*q, -3*x + 12 = 2*q. Solve 0 = d + 3*d - 2*h + 6, -q*h - 3 = 0 for d.
-2
Let v(g) = 7*g**2 - 2*g - 1. Let x(k) = k - 1. Let t be x(0). Let f be v(t). Solve -2*o - 22 = -f*y + 3*y, -3*o + 2*y - 11 = 0 for o.
-1
Let b be 17 + (4 - 3 - 3). Suppose 4*o = 3*o + b. Solve 7*y - 2*y = 4*i - 15, 0 = 5*y - 2*i + o for y.
-3
Let a = -8 + 12. Suppose 3*v = 5*s - 11, -2 = -2*s + 3*v - 3. Suppose -s*o - 3*m = -40 + 4, 3*m = 0. Solve q - o = a*q + 5*i, -q + 3*i = -11 for q.
2
Suppose -5*u = -5*b - 15, 0*u - 12 = -4*u - 2*b. Solve u*l + 10 = v, -v = 3*v - 3*l - 4 for v.
-2
Let u = -88 - -103. Solve -4*l - n = -u + 6, 4*l = 4*n + 24 for l.
3
Let l(u) = 6*u**2 - u - 1. Let f be l(-1). Let d be ((-2)/f)/((-1)/9). Solve -3*y - 3 + 1 = -b, d = y - 4*b for y.
-1
Let i(v) = 15 - 6 + 19*v - 18*v. Let b be i(-6). Solve 5*p + 0 = b*g + 11, -2*g - 14 = -5*p for p.
4
Let f(s) = -s**3 - 3*s**2 + 3*s. Let x be f(-4). Suppose 0*a - 2*c = -2*a + 50, 4*a - 2*c = 94. Solve -r + 0*q - x*q - a = 0, -r - 5*q = 27 for r.
-2
Suppose 43 - 63 = -4*x. Solve 0*f - x = 2*f - 5*d, -5*f + 4*d = 4 for f.
0
Suppose 3*k - 14 = n, 5 = 2*n + 3. Solve 4*t - 25 = -k*s, 7*s - 3*s - t + 1 = 0 for s.
1
Let f = 3 + 4. Suppose -5*r - 18 - f = 0. Let t = r + 8. Solve -t*s - q = -7, q + 18 = 2*s + 5*q for s.
1
Let t(v) = v**2 + 16*v + 15. Let s be t(-15). Solve -4*i = -i - 2*h + 6, -i - 5*h + 15 = s for i.
0
Suppose -s - 11 = -4*t, 2*s - 4*t = -2*s - 44. Let n = -9 - s. Solve 4*v = 4*d + d + 13, n*v = 3*d + 7 for d.
-1
Let c(b) = -b**2 + 12*b - 17. Let w be c(8). Solve 3*n + 3*f - w = n, n = 2*f - 10 for n.
0
Let y(c) = -c - 3. Let u be y(-7). Let v be 3/((-36)/(-8)) + 28/12. Solve -v*z - k = u*k + 25, -3*k = 3*z + 21 for z.
-5
Suppose 3*z - 120 = -9*z. Solve 0 = 5*o + 5*j, j + z = 5*o - o for o.
2
Suppose -j = 16 - 18. Solve -1 + 15 = -2*o + 2*r, -j*r + 8 = 0 for o.
-3
Let b(y) = 2*y**2 - 2*y - 1. Let w be b(2). Suppose 6*r - 19 = -1. Let g be w/(r + -2 + 0). Solve 0 = 4*s - g*j - 4, j = -s - 2*s - 10 for s.
-2
Let f = 120 + -117. Solve 4*t - d = 8*t - 3, t = f*d + 17 for t.
2
Let u be ((-2)/2)/((-9)/54). Let z be u/(-14) - 17/(-7). Suppose 15 = 7*o - z*o. Solve 4*a + 24 = -4*y, -o*a - y - 13 = 3 for a.
-5
Let c be -2*6*1/(-2). Let k be c/1*(6 - 5). Let h be 4 + -2 + (-2)/(-1). Solve -r = 4*i - k, 0 = -i + r - 0*r + h for i.
2
Suppose -5*m - 6 = -4*v - 0*m, 