
Let h(s) = 3*s - 15. Let c be h(7). Solve 2*k + 5*v - c = 0, k - 4*v + 9*v = 3 for k.
3
Let k = 229 - 227. Solve 3*o = 3*u + 2*u - 10, 3*u + k*o - 6 = 0 for u.
2
Let s be 0/((1 - 5) + 6). Suppose 3*t - t = s. Solve t = -h + 4*d - 5, 4*h + 2*d - 2 = 7*d for h.
3
Let o = 17 + -13. Solve -2*u - v = o - 0, 5*v = -3*u + 1 for u.
-3
Let h(v) = -v**2 - 8*v - 5. Let y be h(-6). Let s = y + -5. Solve -4 = -t, 2*j - s*t + 10 = -0*t for j.
-1
Let x = 53 + -38. Let z = x - -1. Solve -3*c + f = 5, -3*f - f - z = 0 for c.
-3
Let j(u) = 5*u - 3. Let b be j(2). Solve 2*m + q - 3 = 4, -m + b = 4*q for m.
3
Let y = -151 + 155. Solve -o - 19 = y*b, 0 = -4*o + 3*b - 0*b + 19 for o.
1
Let s = 134 + -132. Solve -a + q = -9, 2*a - 10 = -3*a - s*q for a.
4
Let a = -171 - -173. Solve 4*w = -2*y - 30, -25 = 4*y - y + a*w for y.
-5
Let i(g) = 2*g - 2. Let d be i(-5). Let o be ((-1)/3)/(2/d). Let a be (-2 + o - -1) + 2. Solve -4*f + a*l - 19 = -9*f, -4*f - 2*l = -16 for f.
5
Let w(q) = q**2 + 5*q + 9. Let x be w(-4). Solve -2 = 5*f - 2*h, x*h = 3*f - 0*h - 14 for f.
-2
Let f(y) = y**2 + 6*y. Let m be f(-6). Suppose i - 4 = -m. Suppose i = 3*l - 2. Solve -2*q - 2 = -l*d + 2, 0 = -5*d - 10 for q.
-4
Let b be 25 - (1 - (-1)/1). Solve 4*x - b = -c, -4*c + 17 = x - 0*x for c.
3
Let l = -5 + -1. Let v be ((-12)/(-10))/(l/(-15)). Solve 2*p + 1 + 4 = -5*n, -p + v = -3*n for n.
-1
Suppose 3*l + 6 = 4*m + 7, 3*m - 3 = l. Solve 5*f = a + m*a - 6, -15 = 4*f + a for f.
-3
Suppose -5*s - 21 = -1, 28 = 4*d + 3*s. Solve 2*j - 3*o - 2 = -7*o, 2*o - d = -4*j for j.
3
Let k be 160/24*18/5. Suppose -2*g + 2 + 26 = i, 2*g = i + k. Solve 4*o = b - 0*o + 21, 3*b - 2*o + g = 0 for b.
-1
Let x be (41 - -1) + (-3)/(-3). Let i be 0 + 4/(-2) + 20. Solve -4*b - 5*p - x = -i, 0 = 5*b + 5*p + 25 for b.
0
Suppose -u + 12 = -3. Suppose 3*f - 25 = 4*m - 8, -u = -f - m. Suppose -p + 21 = 2*p - 3*s, 5*p - f = -3*s. Solve -2 = x - 0*x - w, 5*w - 5 = p*x for x.
-5
Suppose -17*s - 64 + 489 = 0. Let x be (1 + -1)/(1 + 0). Solve x = 5*c + t + 29, 0*c + 5*t + s = -c for c.
-5
Let t(g) = -g + 7. Let d be t(3). Let i be 5/15 + (-2)/6. Solve 5*q + d*w = -w + 40, 4*w - 12 = i for q.
5
Suppose -3*o - 16 = -5*r, 0*r + 3*r = -4*o + 27. Suppose -o*m = -d - 0*d - 6, 3*d = -4*m + 21. Solve 3*l + 12 = -3*k, -d*l + 4*k + 2 = -21 for l.
1
Suppose 17 = 3*w + j, -5*w + 3*j + 1 = -w. Solve w*g - 8 = 0, 8 = 4*z - 6*z + 4*g for z.
0
Let j = 1 + -1. Suppose -2*x = -5*m + 10, 3*x + 5*m - 27 - 8 = 0. Let k be -1*3*(-26)/6. Solve -x*p - 2*s - 26 = j, -k = 4*p + 2*s - 3*s for p.
-4
Let v = 2 + 1. Suppose -5*p - 3*f = -6, -2*p + v = -6*p - 5*f. Solve 5*r - 8 = -2*x - 2*x, 6 = -3*r + p*x for r.
0
Let x be (-4 - 66/(-12)) + (-2)/(-4). Let j be (-4)/(-8) - 37/(-2). Solve -v = -d + 5, -2*d + 3*v + j = x*d for d.
4
Let y(r) be the first derivative of -r**2/2 - 3*r - 1. Let v be y(-5). Solve -v*j - 3*s - 4 = 0, 10 = -5*j + 3*s - 0*s for j.
-2
Let p = -5 + 13. Let s = p + -5. Solve 3*m - 3*h = -s, 4*m = m + h - 1 for m.
0
Let r = -8 + 11. Let i be 80/100*30/(-4). Let s be 6*r/i*-1. Solve c - 21 = -3*w + 3*c, -4*w - s*c = -11 for w.
5
Let z(d) = d**2 - 10*d + 12. Let p be z(9). Solve p*s + 12 = 3*w, 0*w + w = -s - 6 for s.
-5
Let c be (-4*1 + 1)*-1. Let x(l) = -l**2. Let f be x(-1). Let r = f + c. Solve -d = -2*s - 4, r*s + 4 = -2*d + 4*d for s.
-2
Let c = 9 + -4. Suppose c*s - 12 = 4*s. Solve -2*t = -4*z - s, -6*z = -3*z + 4*t + 20 for z.
-4
Suppose v + 3*v = 0. Solve v = p + 3, -4 + 5 = w - 2*p for w.
-5
Let q be -10*(5/2 - 3). Suppose c - 22 = -2*l, 2*c = q*l + 4*c - 57. Solve 2*n = 5*u - l, 5*n - 2*u - 11 = -4*u for n.
1
Suppose 5*k - 5 = 10. Solve -29 = 4*w - k*s, 0 = w - 3*s - s + 17 for w.
-5
Let s = 5 + -1. Let x = 11 - s. Let a = 11 - x. Solve -q + 6*z + 4 = 3*z, -1 = 3*q + a*z for q.
1
Let x(h) = 3*h - 8. Let b be x(4). Solve -g + 3*f + 21 - b = 0, 2*f + 28 = 4*g for g.
5
Suppose 0 = p - 4*i - 4, 3*p - 2*p + i + 1 = 0. Suppose -6 = -p*l - 3*l. Let c be l - 1 - (3 + -2). Solve c = 5*y - 3*y - 6, -3*k - 5*y + 18 = 0 for k.
1
Suppose 0 = -q - 3*q + 16. Solve -3*f + q*d - 19 = -2*f, -5*f = 4*d - 1 for f.
-3
Let q be 3/(-3 - -2) - (-16 - -6). Solve 20 - q = f - 4*i, 0 = -4*f + 5*i + 30 for f.
5
Let a = 17 - 14. Let c = -13 + 18. Solve 3*w + 18 = 2*v - a*v, -c*w - 28 = v for w.
-5
Let w = 44 + -11. Suppose u - 3*u = 5*b - 41, 0 = -4*b + 20. Suppose w = 5*k + u. Solve z + 0*l - 2*l = -5, -k*z + 20 = 5*l for z.
1
Let c be (4 - (-4)/(-1))/3. Solve -3*k = -c*p + 5*p - 13, 4*k = -3*p + 10 for k.
1
Let t = 155 + -135. Solve -4*f + 5 = -0*u - u, 4*u - 2*f + t = 0 for u.
-5
Let n be 0 - (-2 - 0) - 6. Let j be 87/5 + n/10. Suppose 5*q - j = m, -5*m + m - 5 = q. Solve -x = 2*x + 4*k - 28, -3*k + 24 = q*x for x.
4
Let s(r) = r**2 + 2*r + 2. Let j be s(-2). Solve -z - 8 = 3*o, -2*z + j*o + 1 = 9 for z.
-5
Suppose -8 = -2*n + 6*n. Let m(z) = -3*z + 1. Let g be m(2). Let k be (n/6)/(g/45). Solve 3*a + 4*r = -3, -5*r + k - 5 = 2*a for a.
-1
Let b be (0 - 1 - 7)/(-2). Suppose -4*j - j = b*h - 36, 4*j + 4*h = 32. Solve -20 = -j*v, -3*v = r - 2*v - 10 for r.
5
Suppose 4*l - 40 = -3*d - 11, -l + 20 = 5*d. Let m = l - 3. Solve -2*z + m = -2*g, 4*g - g = 5*z - 1 for g.
-2
Let r(s) be the third derivative of -s**6/120 - s**5/15 + s**4/24 - s**3/2 + 4*s**2. Let z be r(-5). Solve 2*o - 7*o + z = -2*a, -12 = -4*o + 2*a for o.
5
Suppose 5*f + 2*x = -25, 0*x - 6 = -3*f + 3*x. Let s = f + 3. Suppose -3*a = -s*a. Solve a = 5*l, -5*k - 20 = 2*l + 2*l for k.
-4
Let t = 1 - -4. Let x = 7 - t. Solve 4*j = -x*i - 5 + 13, -2*j + 5*i - 8 = 0 for j.
1
Suppose 0 = -3*x - x + 32. Let q = 4 - x. Let w(i) = -2*i - 3. Let h be w(q). Solve f = -h*z - 23, 2*f - 2*z = f + 12 for f.
2
Suppose -3 + 6 = c. Suppose 0 = -c*f - 4*r - 3, 2*f - 2*r = -6*r - 6. Solve -f*a - 7 = -b, 3*b - 2*a = 4*b + 3 for b.
1
Let m be -2 + 4 + 0/2. Let f be -2 + 0 - (-6 + m). Solve 0 = -3*u + 4*p - 9, p + f*p = 2*u + 6 for u.
-3
Suppose 5*a + 1 = -29. Let p = 6 + a. Solve -2*c - 4*q = -p*q - 14, 3*q = 5*c + 30 for c.
-3
Suppose -3*o = -x - 4*o, -4 = -5*x - o. Let w be x/((-2)/(-6)*1). Solve -3*k - v = -10, -2*v + 5 = w*k - 9 for k.
2
Suppose -z = -5 + 1. Suppose -m + 6 = 2*m, -5*b + z*m - 8 = 0. Let n = 2 + b. Solve p - y - 4*y = -12, -2*p = -n*y + 8 for p.
-2
Suppose -4*j = -2*j, 2*r - 3*j + 46 = 0. Let n = -20 - r. Solve 2*b = 2*w - 2, 5*b + 10 = n*b for w.
-4
Suppose -2*o + 3*f + f + 18 = 0, 3 = 2*o - f. Let p be o/(2 - 15/7). Solve r - s + 0 = -3, 0 = -2*r + s - p for r.
-4
Suppose 3*a + 16 = -2. Let n be (-40)/a - (-12)/(-18). Solve -2*p + 2 = -2*i, -n*p - 5*i = -p - 45 for p.
5
Suppose 3*h + 4*p + 9 = 24, 5*h - 4*p = 25. Suppose h = i + 1. Let t(m) = m + 1. Let n be t(7). Solve 0 = i*f - z - 4, 2*z = -5*f + n - 3 for f.
1
Suppose -8*j + 7*j + 4 = 0. Solve -5*a - j*w = -a - 8, -8 = 2*a - w for a.
-2
Suppose 7 - 7 = 2*k. Solve 4*y + 10 = 2*x, -3*y + 3*x + k*x = 15 for y.
0
Let v(n) = 6*n + 4. Let o be v(3). Let s = o - 20. Solve -5*i + s*d = -2*d - 11, -4*i = 2*d - 14 for i.
3
Let l(z) = z**2 - z. Let q(d) = 2*d**2 + d - 4. Let f(u) = 3*l(u) - q(u). Let k be f(4). Solve 3*i + 4*n - 4 = 17, k*i = -2*n + 18 for i.
3
Let z be (3/(-2))/((-3)/8*4). Solve -3*t + 4 + z = -5*d, -d = 4*t + 24 for t.
-5
Let h(d) = 4*d**3 - 5*d**2 - 15*d - 4. Let t be h(-10). Let y be (-4)/(-7) - t/98. Solve 5*i = -5*p - y, -p + 4*i - 2 + 13 = 0 for p.
-5
Let s = 65 + -40. Solve 2*k - 20 = 4*v + 3*k, 5*k - s = 5*v for v.
-5
Let z(o) = 2*o + 1. Let v(q) = -4*q - 3. Let m(c) = -3*v(c) - 5*z(c). Let x be m(5). Solve -6 = -3*l + 3, x = 2*g + 2*l for g.
4
Suppose n + 5*w = w - 18, w = -3. Let q be (-20)/n - 10/(-15). Solve q*i + 4*a - 12 = 0, 3 + 9 = 4*a for i.
0
Suppose -s - 5*f = s - 65, -4*s + 124 = 4*f. Let x be (-6)/(-5)*s/9. Solve -m + 3*u + 15 = -x*m, 5 = 3*m - 2*u for m.
-1
Let l = -18 - -34. Let w(h) = h**3 - 5*h**2 + 4*h + 1. Let z be w(4). Let v be -3 + (1 - z) + 7. Solve -c - v*y - l = 0, -c - 5*y + 3*y - 10 = 0 for c.
-4
Let v be (-1)/(-8) + (-93)/(-24). Solve -y = v*q - 0*y - 10, 5*q = 5*y + 25 for q.
3
Let s(v) = -2 + 3*v + 2 - 1. Let c be s(1). Solve -5*r + b = 15, 7*r = c*r - 3*b - 35 for r.
-4
Suppose 2*o + o - 6 = 0. Suppose s - 2*s = -1. Let m be 1 + 3 + (2 - s). Solve -3*z + 9 = m*j, 0 = j - o*j for z.
3
Suppo