Let y be v(-10). Solve 0 = -3*h + 12, -y*u + 4*u + 3*h = 4 for u.
4
Suppose -6*y = -2*y - 64. Suppose 3*d + d - y = 0. Let m = 12 - d. Solve x = 5*u + 17 + m, 0 = -4*x - 5*u for x.
5
Let z(l) = 6*l + 5. Let n be z(-4). Let y(v) = v**3 + 4*v**2 - 30*v - 42. Let a be y(-7). Let o = a + n. Solve 3*d + 3*x + x - 35 = 0, 2*d + o*x = 20 for d.
5
Let s be (-1316)/987*(-1 + 1/(-2)). Solve 0 = -z + f + 3*f - 8, 0 = s*z - 3*f + 11 for z.
-4
Let u = -263 - -265. Solve -2*o - 2*o - 23 = q, 4*q - 2*o = -u for q.
-3
Suppose -3*b - 9 = 4*h, 0*b - 17 = -5*b + 4*h. Let m be (0 - 0/4)/b. Solve -4*l = -2*r - 14, r + r - 6 = m for l.
5
Let t(j) = -j - 1. Let s be t(-4). Let g = 96 + -37. Let c = g + -54. Solve 6*f + 15 = 5*h + 3*f, c*f = s*h - 9 for h.
3
Let b = -9 - 2. Let f(l) = -l + 14. Let o be f(-4). Let m = b + o. Solve -a - m = -2*x - 2, 5*x - a - 5 = 0 for x.
0
Let m(y) = -y**3 + 6*y**2 - 4*y - 3. Let s be m(5). Suppose -2*o = n - 4 - 5, -4*n = s*o - 24. Solve 0 = o*l - 5*d + 3, 4*d - 4 = 0 for l.
1
Let i = 54 - 48. Solve 0*z - v = 4*z - 9, -2*v = -4*z - i for z.
1
Suppose -4*y + 36 = 5*y. Suppose -y*g = g - 15. Solve -2*v + 4*q + 0 = 8, 0 = g*v - 2*q for v.
2
Suppose 3*y - 2*c = -15 + 3, 2*y - c = -9. Let t be y/12*0 + 2/1. Let x be (-4)/(-3) + 2/3. Solve 4*j - m - 10 = 14, t*j - x*m - 18 = 0 for j.
5
Suppose k = i + 21, 2*k - k + 3*i = 1. Suppose -k = t - 21. Solve 2*j = -6, t*g = -2*j - 3*j - 15 for g.
0
Let b(k) = -k**2 + 15*k - 24. Suppose d - 2*z = 21, 5 = 3*d - 2*d + 2*z. Let v be b(d). Solve 3*n = 8*n + v*l + 15, -l + 20 = -3*n for n.
-5
Let b = 229 + -227. Let o = 2 + 3. Solve -b*j + 2 = l - 3*l, 3*l + o*j - 13 = 0 for l.
1
Let h be ((-8)/10)/(6/15). Let c be (h - -5)/(1/1). Solve 4*r - 5*a = -2, -3*r + 7*a - c = 4*a for r.
-3
Suppose 0 = -264*k + 271*k - 175. Solve -5*r - k = 0, -2*o - o + 4*r = -20 for o.
0
Let c be -4 + -1 + 20 + -3. Solve -o = w - 4*w, 4*o = -c for w.
-1
Suppose 3*p + 5*u = p + 16, 2*p + 3*u = 12. Suppose 18 = -3*h + 6*h. Let f = h - p. Solve 0 = -r - 1, r = v + f*r for v.
2
Let n(j) = 9*j + 6. Let l be n(2). Suppose -4*v = 4 - l. Solve -p = -3*a + 4*p + 9, -v*a - 16 = 2*p for a.
-2
Let y(u) = 2*u**3 - 3*u**2 - 6*u - 5. Let w be y(3). Solve 11 = -3*f + 3*p - w*p, 0 = p + 2 for f.
-3
Let u be (10 + 2)*6/(-8). Let m be (-300)/(-8)*(-12)/u. Suppose 8*n - 3*n = m. Solve -4*l - 5*s = n, -5*l - 1 = s + 22 for l.
-5
Let a = 267 - 265. Solve -2*z - 2 = 2*s, 3*s + a*s = -z - 9 for s.
-2
Suppose -5*z = 2*s + 3*s - 80, 64 = 4*s - z. Suppose -10*f + s = -6*f. Solve f*a + 15 = -r, a + r + 10 = -2*a for a.
-5
Suppose -3*v - 36 = v. Let g be (-64)/(-144)*v/(-2). Let d = g + 2. Solve -7*i = -3*i - d*n - 12, 1 = 5*i + 2*n for i.
1
Suppose -4*d + 258 = 5*h - 6, -3*d = 12. Suppose h = -0*c + 4*c. Solve 0*v - 19 = 5*z + 2*v, -3*v + c = -z for z.
-5
Suppose -9*x - 7*x + 2032 = 0. Let y = x - 123. Solve -3*d = -n - 7, -y*n = 2*d - 0*n for d.
2
Suppose -2*o - u + 15 + 20 = 0, -2*o + 25 = 3*u. Suppose 5*s + 5*t = 6 + 4, 0 = -s - 4*t - 7. Solve -o = -2*y + 4*n, 0 = 3*y - y + n + s for y.
0
Let v be (-2 - -1) + 4 + -1. Suppose 10 = v*p + 4. Suppose -2*w + 90 = w + o, -3*o - 90 = -p*w. Solve m + w = 3*r - 4*m, -5*r - 2*m = -19 for r.
5
Let n(t) = -52*t + 420. Let c be n(8). Solve 4*y - 20 = -c*o, -6*o + o = 3*y - 19 for y.
3
Let d be (-114)/(-27) + (-2)/9. Solve j - 4*y + 0*y = 13, j = -d*y - 11 for j.
1
Let s be (-1)/(-3 + (-20)/(-8)). Let i = s + 3. Suppose i*h = -0*h. Solve -l = 4*w - 15, -l + 2*l - w + 5 = h for l.
-1
Suppose -4*v = 4*o + 8, -4*v - 4*o - o = 13. Solve -v*g - 3*b - 6 = g, 2*g - 6 = 3*b for g.
0
Let h be (-5 + 5 + 4)*(-1 - -2). Suppose 4*u + 9 = g - 2*g, h*u = -4*g. Solve -5 = 5*j + 4*m - 38, 4*j + g*m = 26 for j.
5
Suppose -2*i + 5 = -i. Suppose 0 = i*c - 50. Solve -4*d = -3*a + 1, 5*d - 9 = -3*a + c for a.
3
Suppose -5*h + 4*u = -96, -5*h + 60 + 40 = -5*u. Solve 4*p + 2*i = -h, i - 3 - 4 = 3*p for p.
-3
Let q be 8/10*45/(-18). Let h be -6*(0/q - (-2)/(-3)). Solve -5*x - h = 2*g, 3*x - 12 = 5*g - 2 for g.
-2
Let v = 11 - 8. Let b = 3352 + -3349. Solve -3*z - z + 5 = 5*x, 3*x = -b*z + v for x.
1
Suppose 121 = -12*x - 47. Let s be x/(-10)*(-30)/(-3). Solve -w = a - 2*a - 5, -4*a = -2*w + s for w.
3
Suppose 86*n - 420 + 76 = 0. Let t(g) = g**3 + 5*g**2 - 8*g - 7. Let u be t(-6). Solve 0 = u*h - 15, -n*h + 8 + 14 = -5*q for q.
-2
Let s be 5/(5 + -4) - 3. Let h(b) = b**3 - b**2 + 1. Let x be h(s). Solve 5*z - x*k + 13 = 38, 3*k + 11 = 2*z for z.
4
Suppose 10*q - 216 + 56 = 0. Solve -3*j = -2*j - 4*w - 16, j + 4*w + q = 0 for j.
0
Let r(h) = h**2 + 6*h + 7. Let b(v) = -2*v - 13. Let o be b(-4). Let a be r(o). Solve 0 = -3*x + 2*p - 14, 10 = -a*x + 3*p - 1 for x.
-4
Suppose -35*b + 18*b = -34. Solve -9 = -3*l - b*x + 3, l - 4 = -4*x for l.
4
Suppose -8 = l - 3*i, i - 44 = -l - 36. Solve l*c - z - 3*z - 24 = 0, 1 = -z for c.
5
Suppose p + 1 - 2 = -4*y, -5*y = p. Suppose -3*s + 1 = -p. Let o(l) = 2*l + 6. Let q be o(4). Solve s*h - q = 2*t + h, 1 = -t - h for t.
-5
Suppose -214*w + 195*w = -76. Solve -4*a = -w*l + 8, 0*a = -3*a - 5*l + 26 for a.
2
Suppose 0*f = -3*o + 4*f, -4*f = 0. Let k(v) = -v**3 - v**2 + v. Let z be k(o). Suppose -12 = -4*r - z*r. Solve 4*a - 5*n = 26, -r*a = -4*n - 22 + 2 for a.
4
Suppose 0 = -4*n + 2*t + 4, n + 6 = -n - 3*t. Let w be (6/15*-5)/(-2). Let b(l) = -l + 3. Let u be b(0). Solve h + w = f + u*h, f + h - 2 = n for f.
3
Let a(c) = -c**3 - 10*c**2 + 5. Let y be a(-10). Suppose l + 3 = 3*s + 9, 5*l + y*s = 10. Solve 2*x - x - 4 = -2*q, -x = -l*q + 6 for q.
2
Let f = 548 + -533. Solve 3*v = -5*u - 15, f = u - 2*v + 5 for u.
0
Let z = -64 + 75. Suppose 0 = -7*v + z*v - 16. Solve w - 5*a = 0, v*w - a - 4*a - 15 = 0 for w.
5
Suppose -21*r = -19*r - 26. Let f(j) = -j**2 + 17*j + 20. Let y be f(18). Solve -2*k - 3*q + 13 = 0, -r = 2*k - 5*q - y for k.
2
Suppose -u + 3525 = 3505. Solve 5*a + 9*j = 6*j + 14, -2*j - u = -4*a for a.
4
Let y(t) = -t**3 - 8*t**2 + 49*t + 25. Let k be y(-12). Solve -4*q - k = -3*f, -2*q + 0*f - f = 9 for q.
-4
Let d(t) = 8*t**2 - t - 2. Let s be d(-1). Suppose -4*g + 9 = -s. Solve 3*v + 5 = 2*q, 5 = g*q + 1 for v.
-1
Let t(b) = -4*b**3 + 4*b**2 + 8*b - 4. Let h be t(-5). Suppose 9*d - h = -223. Solve 0 = -2*u + 5*j - 6 + 1, 0 = 5*u + 4*j - d for u.
5
Let x = -10 + 18. Let o be (2 - x/2)*-2. Suppose 2*j + 0*j + 12 = o*l, 2*j = 5*l - 17. Solve -3*a = -0*q + 4*q + 3, -l*q = 3*a + 3 for q.
0
Let u be (-1 - 1) + (-8)/(-4). Suppose u = -25*y + 24*y + 4. Solve -4*b - 5*l - 8 = 0, 0 = -5*b + 4*l + y + 27 for b.
3
Let n(i) = -i + 2. Let s be n(-4). Solve 8 = 2*o - 2*l, o + s*l - 4 = 8*l for o.
4
Let g = -82 - -86. Solve -13 = -t - 3*t + p, -4 = g*p for t.
3
Let o(l) = -l**3 + 10*l**2 - 14*l - 1. Let u be o(8). Solve -n = 2*g + 10, -u - 10 = 5*g - n for g.
-5
Suppose 18*x = 22*x - 12. Suppose 9 = x*a - 6. Solve 5*s + m = -3 - 3, -4*m = -a*s - 26 for s.
-2
Let l = -41 - -48. Solve 3*w - 5*n + 10 = 0, n + l = 2*w + 16 for w.
-5
Let k be 0/4 - (-30 - -3)/3. Let z be (-12)/(-7) - 2/(-7). Solve -t + 2*m - z = 0, t + 0 + k = -5*m for t.
-4
Suppose -i - 4*a + 15 = 0, -4*i + i - 4*a + 21 = 0. Solve -5*s - 5 = 5*p + 5, 0 = 4*s - i*p + 29 for s.
-5
Let o(v) = -v**2 - 4*v + 9. Let h be o(-4). Suppose -3*r = 2*q - h, 3*r - q - 9 = q. Solve -2*p - 2*p + 4*w = 8, 0 = r*w - 15 for p.
3
Suppose -91 = -4*v - 59. Solve 3*r + 4*a = 20, 0*a + v = r + 2*a for r.
4
Let l = 1447 + -1444. Solve 4*k - 2*k = -d - 10, d - l*k = 5 for d.
-4
Suppose 4*x + 72 + 368 = 0. Let f = x - -114. Solve 0*w - w - 3*g + 6 = 0, 4*w = f*g - 24 for w.
-3
Let t = -43 - -47. Suppose 0*n + t*n = 5*z - 33, -22 = -4*z + n. Solve -10 = -4*s + 6, -2*d + z*s - 12 = 0 for d.
4
Let f = 21 + -11. Let s(y) = 2*y - 20. Let z be s(f). Solve z = -k + l + 7, -3*k + 2*l + 19 = -0*l for k.
5
Suppose 48 + 14 = 31*w. Let n be -5 + 2 + (5 - 0). Solve 0*h = 5*h - 10, -n = -w*g - 5*h for g.
-4
Let j be 18 - (-3 + 2 - 0). Let q = 26 - 11. Suppose x - j = -5*v, 5*v = -4*x + 16 + q. Solve -5*h + 35 = -v*m - 2*m, -2*h = 2*m - 6 for m.
-2
Let l(b) = -3*b. Let p(x) = 10*x. Suppose 3 = -z - 4. Let y(q) = z*l(q) - 2*p(q). Let s be y(4). Solve -3*d + c + 11 = 0, 4*d - 3*c + s = 27 for d.
2
Suppose 0 = -5*l + 5*q + 50, 3*l - 3*q = q + 25. Solve 3*s - l = -5*j, -4*j + 9*j =