
-2
Suppose 2*b + 2*t - 115 - 1 = 0, b - 2*t = 61. Suppose 4*a + 4 = 0, -4*m - 2*a + b = 13. Solve -4*z + 4 + m = 4*s, -5*s = -3*z + 4 for z.
3
Let k = 96 + -172. Let v = -73 - k. Solve 28 = v*n - 5*p, -5*p + 6 = n - 6*p for n.
1
Let v(z) = z - 16. Let i(l) = l. Let b(y) = i(y) + v(y). Let r be b(11). Solve 2*d + r = 4*m, -3*m - 2 - 1 = -4*d for d.
3
Let a = -466 + 471. Solve -2*r + 22 = 4*h, -4*r = 5*h + a - 34 for r.
1
Let h(i) = i**2 - 9*i - 6. Let d be h(10). Suppose d*b = 2*b. Solve 0 = -4*u + 8, 5*s - 5*u + 2*u + 21 = b for s.
-3
Let p = 465 - 461. Solve 0 = -4*f + 2*i + 14, -i + p = -5*f + 14 for f.
1
Suppose 0 = -3*n + 2*p + 31, 2*n - 3*p - 28 = 2*p. Let w be -5 + 3*(-12)/n. Let g = 9 + w. Solve g = -4*v - z - 7, -4*z + 22 = -2*v - 4 for v.
-3
Let i = 930 - 914. Solve k = -3*o - 3*k + i, k - 4 = 3*o for o.
0
Let p(q) = q - 16. Let b be p(19). Solve -4*g = -3*a - 31, 0 = b*g - 6*g - 2*a + 2 for g.
4
Let o = -46 + 25. Let q be ((-56)/o)/((-4)/(-6)). Solve 4*u + 1 = 5*a - 19, -2*u - a = -q for u.
0
Let q(b) = b + 8. Let a be q(-1). Let j(n) = -n**2 + n + 3. Let l be j(3). Let i be 14/3 - (-2)/l. Solve 4*c = i*o + 4, -a = c - 5*c + 3*o for c.
4
Let x(o) = o**2 + 2*o + 1. Let i be x(-3). Let h be 0/(4/i*2). Solve -2*m + h*m = -3*v + 15, 6 = 2*v for m.
-3
Let o(y) = y - 2. Let m be o(14). Let j = 12 - m. Solve n - 4 = -v + 2, v + 4*n - 15 = j for v.
3
Suppose d - 3*n - 23 = 0, 81 = -10*d + 15*d + 2*n. Let r be (-62)/(-1 + (1 - 2)). Solve 3*x - 4*u = -r + 6, 0 = 3*x - 2*u + d for x.
-3
Suppose -4*z + 3*y = -19, -8 = 5*y - 3. Solve -f = -a - 0*f, -2*f + 12 = z*a for a.
2
Let q(g) = -g**3 - 6*g**2 + 15*g - 3. Let x be q(-8). Let u(t) = -t**2 + 6*t. Let i be u(x). Solve -i = 2*a + m, 0 = -0*m - 4*m + 20 for a.
-5
Let n be -2 + 4 - (-3)/3. Suppose -n*o = -19 + 1. Solve 3*w - o = 0, -1 = -2*y - w + 1 for y.
0
Suppose 31 = 2*c + 2*s + 3*s, -2*c + 16 = 2*s. Suppose -3*j - 4*v = -2*v - 10, 3*v = -c*j + 9. Solve -4*h + 2 = 3*r + 4, -j*h - 4*r = 0 for h.
-2
Let r(d) = -18*d + 111. Let a be r(6). Solve -5*i - 5 = 0, a*t = -2*t - 5*i + 10 for t.
3
Suppose -23 = -5*b + 17. Suppose b*c = 11*c - 12. Solve 3*m + 4 + 0 = -c*d, 5*d - 4*m = 26 for d.
2
Let s = -202 + 183. Suppose -3*z - 79 = 2*z - 2*u, u + 3 = 0. Let j = z - s. Solve -3*c + 4*r = 1, j*r + 2 = c + 3 for c.
1
Let w be -3*1*(2 + -3). Suppose 5*j = 5*y - 2*y, -3*y = -w*j - 6. Suppose 2*u - 20 = -j*u. Solve -u*p = -20, -3*f - p = -2*f - 8 for f.
3
Suppose 102*w - 109*w + 35 = 0. Solve w*i - 10 = 0, -4*s + 3*i - 13 = -3 for s.
-1
Suppose n - 7 = 3*w, -4*w + 1 = 2*n - 3. Suppose 0 = 3*f - 12, -f = -n*c + 4*f - 8. Solve 0 = -4*k - 2*r - 26, -5*k - 8*r - 45 = -c*r for k.
-4
Let y = -244 - -248. Solve 0 = y*k + 5*v + 11, 2*k = -2*k - 2*v - 2 for k.
1
Let j(n) = n**2 - 9*n - 109. Let p be j(16). Solve 10 = -4*y + p*v, 10 - 4 = 3*v for y.
-1
Let c = 24 + -15. Let a(q) = 2*q**2 - 17*q - 6. Let v be a(c). Suppose -p - 35 = -v*l, 18 + 29 = 3*l + 2*p. Solve b - 4*b = -w - 17, -5*w - l = 3*b for b.
4
Let b be 1 + -5 + 84/14. Suppose 21 = 4*i + c, b*i - 6*c + 17 = -c. Solve 5*m + i*n = m + 4, -5*m = 3*n + 1 for m.
-2
Let b be 5*(-3)/(-30) + 10/4. Solve w - 5*i = 4*w - 29, b*w + i = 13 for w.
3
Suppose -5*h + n + 1 = 0, 5*h - 5*n = -3 + 8. Solve h = -5*v + 10, -d - v + 7 = -0*v for d.
5
Suppose -5*c = 7*c + 38 - 74. Let s be 3/2*40/12. Solve -s*m + 2*b = 0, -c*m + 5*b = m for m.
0
Suppose -12*m = -3*m - 27. Suppose 5 = z - 2*k, 0 = -4*z + m*z + 4*k + 3. Solve -h = -0*h + d + 7, -5*h + 2*d - z = 0 for h.
-3
Suppose 5*n - 12*n = -39*n. Solve 3*d + 0*d = 6, 5*y + 2*d + 6 = n for y.
-2
Let f(u) = -u**2 - 11*u. Let n be f(-7). Suppose 2*k + 2*y = n, k = -3*k - 2*y + 66. Solve 0 = 5*o - z + k, o - 2*o - 2*z = -5 for o.
-3
Suppose 3*f + 14 = 5*f. Let u be f/(98/4) + (-75)/(-7). Solve 5*v - 14 = -s, -3*v + 2*s + u = -0*v for v.
3
Let r(y) = -2*y**3 - 12*y**2 - 2*y - 9. Let f be r(-6). Solve -5*b = -3*v - 29, -f*b + b + v = -11 for b.
4
Suppose 246 - 219 = 9*f. Solve 2*k + 4 = f*h, 4*k - h = h - 8 for k.
-2
Let y be ((-304)/95)/((-4)/10). Suppose -y*s = -15 - 9. Solve -3*x + f = -13, 5*x - s*f = x + 19 for x.
4
Let p(w) = 3*w**3 - 15*w**2 - 2*w + 12. Let o be p(5). Let v be -2 - 2*(-5 + o). Solve v*l - 2*m = 12, 4*l + m - 30 = -6 for l.
5
Suppose r = -r - 106. Let u = -15 - r. Suppose -15 = -5*a + 3*y, 0*a - 3*a - 4*y = -u. Solve 0 = 4*i + 3*m - a, -3*m = 4*i + 2*m - 2 for i.
3
Suppose 2*y + 5*o = 64, 2*y + 3*o - 6*o = 32. Solve 3*x + 5*d + y = 0, -2 = x - 3*d - 4 for x.
-4
Let t = 843 + -842. Solve 2*q - 1 = 2*i + t, 5*q - i = 5 for q.
1
Let d(x) = -6*x - 6. Let u be d(-4). Let y = u + -21. Let q be (-8 + 2)*(y + 2). Solve -f + q*f = -2*o + 21, 0 = -f - 4*o + 15 for f.
3
Let k(t) = t**2 + t + 2. Suppose -l = -0 + 23. Let q = 21 + l. Let b be k(q). Solve b*f + 5*m = m, 5*f - m + 6 = 0 for f.
-1
Let x be 2 + 2 + -2 + -2. Suppose x = 5*c - y + 3*y, 2*y = 2*c - 14. Let u be 5 + -2 - (1 + -2). Solve -11 = -3*h + u*j, -c*h + 3*h + 4*j = -23 for h.
-3
Let a be (-1)/(-3)*(-18)/(-6). Solve 5*n - 5*s - a = 4, 0 = 3*s + 15 for n.
-4
Suppose 157 = -9*o + 184. Solve -4*x = -3*y - 7, 4*x + o*y - 1 = -0 for x.
1
Suppose -5*t + 2 = 2*c, -5*t + 2*c - c = 1. Suppose u + 2*u - 9 = t. Suppose 3*o = -3, -4*o = u*n - 11 + 3. Solve 3*k - 2*r = -10, 3*k - 7*k - n*r = 20 for k.
-4
Suppose 0 = 9*h + 158 - 230. Suppose 0 = 3*u + 5*x - 17, 2*u + u = -x + 13. Solve 0 = 4*k - h, -u*j - k + 2 = -4*k for j.
2
Suppose -2*s = 3*y + 5, 50*s + 2*y + 5 = 49*s. Let c be 1/(-5) - 21/(-5). Solve 7*d = s*o + c*d - 22, -3*o = 2*d - 17 for o.
5
Suppose 2*t + 4*d + 17 = 7*t, -4*t - 5*d = -30. Let x(u) = -u + 5. Suppose 7*j = 3*j. Let l be x(j). Solve 0*s = -2*r - t*s + 17, -l*r = -5*s + 45 for r.
-4
Suppose -9 = -7*m + 4*m. Solve -5*g - z + 22 = 0, 5*z = m*g - 1 - 1 for g.
4
Let q(i) = -2*i + 25. Let m be q(5). Suppose -s - m = -4*s. Solve 0 = 2*f + s*y - 20, -y - 2*y + 12 = 0 for f.
0
Let t be (-20 - -14)*12/(-18). Solve 5*s - 7*s = -t*n - 8, 0 = -s + 3*n + 4 for s.
4
Let m = -2 + 3. Let k be (-230)/(-25) + m/(-5). Suppose -3 = -2*s - o, s + 23 = 4*o + 11. Solve s*r + 2*l = 5*r + 5, r - 2*l = -k for r.
1
Let k = 113 + -108. Solve -2*f - 5*v + 31 = 0, f + k*v = 11 + 17 for f.
3
Let f = 1 + -4. Let s be 2*(0 - -2)*f. Let o = 14 + s. Solve -q - 1 = 3*g, 15 = 3*q - g - o for q.
5
Suppose -3 = u - 6. Let q = -51 + 58. Suppose q = b + 2. Solve -u*l + 2 + 21 = b*c, -24 = -5*c - 4*l for c.
4
Let i(d) = d**3 + 16*d**2 + 34*d + 14. Let g be i(-14). Let b = g + 72. Solve 14 = o - 3*p, 5*o + b*p - 5 + 3 = 0 for o.
2
Let n = -1336 - -1338. Solve 0 = -3*s - n*h - 0*h - 15, 10 = -2*s + 5*h for s.
-5
Let y(n) = -2*n + 6. Let a be y(-11). Let q be a/(-5) - (-6)/10. Let t(m) = m**2 + 2*m - 7. Let s be t(q). Solve -3*v - 3*l - 10 = v, 4*v = -2*l - s for v.
-1
Let d(k) = 3*k - 10. Let z(a) = -3 + 0 + 0 + 2 + a. Let i be z(5). Let j be d(i). Solve -3*g = -o - o - 9, 5*g - j*o = 15 for g.
3
Let o = 673 - 667. Solve 3*f + 3*k - o = 0, 0 = -2*f - 2*f + 4*k - 24 for f.
-2
Let q be (2/6)/((-53)/(-795)). Solve -w - 5*r = -15, 4*r - 13 = q*w + 28 for w.
-5
Let y(w) = 2*w**3 - 95*w**2 + 47*w + 3. Let q be y(47). Solve q*k = -5*t - 10, -5*t = -k - 3*t + 15 for k.
5
Let p = 97 - 214. Suppose 5*y - 5 = 10. Let x be ((-2)/6)/(y/p). Solve -4*d - 14 = 4*u - 3*u, x = -2*u - 3*d for u.
-2
Suppose -15*j + 25 = 10. Solve -2 = -3*p + j, -3*v + 4*p = 19 for v.
-5
Suppose -2*c + 0 - 5 = 5*a, -3*c + 2*a + 21 = 0. Suppose -7*i = -2*i + n - 22, -15 = c*n. Solve -q - 2*q + 5*d = -35, 5*q - 5 = -i*d for q.
5
Let y(d) = 7*d - 3. Let r(t) = 4*t - 1. Let b(l) = -5*r(l) + 3*y(l). Let x be b(8). Let f = 4 - x. Solve -o - 2*a = 5, 2*o + 3 = -f*o + 3*a for o.
-3
Let a(m) = 55*m**3 - m. Let f be a(-1). Let n = -51 - f. Solve 5*k + z = -12, k - n*z - 4 = -0*z for k.
-2
Let j = -24 - -31. Suppose j = 4*s - 1. Solve x + 12 = -s*a, -5*a - 10 = -a - 5*x for a.
-5
Let h(c) = -c**2 + 7*c - 2. Let x be h(4). Let j = x - 7. Suppose -2*g - j*g + 15 = 0. Solve 6 = 2*y + 4*v, -g*y - 26 = -v - 7 for y.
-5
Let f = -16 - -20. Suppose 6 - 30 = -2*d. Solve -3*s + z + d = 0, -f*s = z + z - 26 for s.
5
Suppose -6*x + 30 = 12. Suppose u + 4 = 3*p, p + 0*u + x*u = 18. Solve -4*s = -v - 0*s - 8, p*v - 2*s + 4 = 0 for v.
0
Let z be 84