= -64 + 16. Solve 5*a = 2*v + u, v = 5*a - 13 - 5 for a.
4
Let n = -310 - -312. Solve 3 = -3*f + j, -2*j = -2*f - 3*j - n for f.
-1
Let x(r) = -r**3 - 4*r**2 + 6. Let k be x(-4). Suppose -8 = k*j - 8*j. Solve -2*q = j*v + 18, 0*q - q = 5 for v.
-2
Let d = -33 - -38. Suppose -r + 3*i + 0 = -7, -i = -d*r + 63. Suppose -35 = -2*f + r. Solve f = -4*k - 5*a, -2*a - 2 = -2*k + 4 for k.
-1
Let n(z) = -3*z. Let q be n(-2). Let b(v) = -v - q + 1 + 2*v + 0*v. Let s be b(10). Solve 0 = 3*i + 2*p + 7, -2*p - 23 = s*i - 6 for i.
-5
Suppose 0 = -8*a + 314 - 18. Suppose -n + 57 = a. Solve x - r = 2, 0 = x + 3*r + 2*r - n for x.
5
Suppose 4*y = -2*l - 54, 2*y = -3*y + 2*l - 45. Let b = -10 - y. Let q be (2 - (-3 - -4)) + b. Solve -q*h - 3 = h, 3*h - 7 = 2*k for k.
-5
Let b be (0 + -1)/1 + 4. Suppose -16 = -5*r + r. Suppose 0 = r*f + f - 10. Solve 0 = f*q + b*h + 8, 4*q - 3*h = -q + 1 for q.
-1
Suppose -5*l = m - 7*l - 6, -5*m - 4*l + 30 = 0. Solve 0 = 2*t - m*t - 5*q - 20, 4 = t - q for t.
0
Let y(f) = -f**3 - 10*f**2 + 12*f + 6. Let k be y(-10). Let w = k + 116. Solve 3*v = n - 2*v + 2, -4*v + w = -n for n.
-2
Let r(i) = i**2 + 30*i + 83. Let v be r(-27). Suppose -4*k = k. Solve 0 = -v*h - 2, k*a + 5*h = -3*a - 5 for a.
0
Let t(p) = -17*p - 5 + 11*p + 5*p. Let d be t(-10). Suppose -4*x + x + 6 = 3*h, d*x = -h + 6. Solve i - 5*k = 17, i + i - h = -k for i.
2
Let i(a) = a - 15. Let v be i(13). Let n be (-2 - 94/(-18)) + v/9. Solve 5*q + 3*d + 16 = 0, -3*q + n*d = -0*d + 24 for q.
-5
Suppose q + 1 - 13 = -3*x, x + 3 = 2*q. Let a(k) = -k**3 - 11*k**2 - 27*k - 11. Let o be a(-8). Solve -2*i + 3*b + o = 0, -5 = 2*b - q for i.
5
Let o = 13 + -8. Let c(b) = 2*b**2 - 12*b. Let q be c(6). Suppose q = k + 5*z - 5, -k + 4*k - 2*z - 15 = 0. Solve -3*x = -k*s - 3 - 24, -x = -o*s - 19 for x.
4
Let s = -291 - -296. Solve 0 = 3*y + 3*x + s + 13, 4*x + 4 = 0 for y.
-5
Let g(p) = -3*p**2 - 2*p - 4. Let n be g(-2). Let x = 16 + n. Suppose -2*t - 12 = o + 2*t, 5*o - 40 = 5*t. Solve 2*s - i - 2*i = x, 2*s = -i + o for s.
2
Suppose -c = 2*c - 15. Let n(y) = 2*y + 0*y + 0 + 2*y + c. Let a be n(6). Solve 2*i = 3*l - 9, 3*i = -3*l - l + a for i.
3
Suppose 0 = -2*o, 0 = -q - 4*q + 4*o + 15. Solve -q = m - n, -14*m + 12*m = -n + 7 for m.
-4
Let s be ((-1177)/143 - -8)*-13. Solve 2*v = -4*x + 6, -s*x - 11 = -8*x + v for x.
2
Let z(p) = 7*p**2 + 35*p + 4. Let c be z(-5). Solve 4*a + c*u + 24 = 0, -a + 2 = -0*u - u for a.
-2
Let p be -3*((-20)/6)/2. Solve 9 = -4*z - 3*n + 2, -p*n + 31 = -4*z for z.
-4
Let p(f) = -5*f**3 + 268*f**2 + 109*f - 54. Let v be p(54). Solve v = -d - 4*s - 1 + 10, -8 = -2*d - 3*s for d.
1
Let a(f) = f**2 + f - 83. Let y be a(0). Let i = -81 - y. Solve -21 = 5*b - 2*r, -i*b + 0*r - 8 = -r for b.
-5
Suppose -2*m + 5*c + 39 = 0, m - 4*c = 2*m + 13. Suppose -4*s - m + 27 = 0. Suppose -7 - s = -3*y. Solve 0 = -5*k + 2*w - 9, -6 = -y*k - 2*w - 3*w for k.
-1
Suppose 4*d + 15 = -1. Let t(i) = -i**2 - 3*i + 5. Let w be t(d). Let o be 3 - 1*(-1 + 0). Solve 2*a + w + 3 = -l, -o*a = -5*l - 6 for l.
-2
Let m = -667 + 672. Solve -19 = -5*w + c, 31 = m*w - 0*w - 4*c for w.
3
Suppose -6*r + 5*n + 264 = -2*r, 0 = 3*r + 4*n - 198. Let i = r - 45. Solve 0 = -3*k - 5*o + 37, 4*k + 3*o - 2*o = i for k.
4
Suppose -6 = 2*s - 5*s. Suppose 0 = -s*i - d + 54, -2*i - 4*d + 100 = 2*i. Solve -4*r - 41 = -0*r + 5*c, i = -r - 5*c for r.
-4
Let z(u) = -u. Let o be z(-8). Suppose 0 = -o*a + 4*a + 24. Solve -2*x + 5*y = x + 4, -5*x + a = -2*y for x.
2
Let n(i) = i**2 + 3*i + 5. Let g be n(-4). Suppose m - 5*f = -30, 54 = -4*m + f - g. Let p = m - -18. Solve -2*v = p*d + 3, -3*d + 5*d = 3*v - 2 for v.
0
Suppose 7*w + 44 = 18*w. Suppose 0 = -w*n + 3*n - 3*v + 18, 4*v - 17 = n. Solve -19 = y + 5*d - 0, 0 = n*y + 5*d + 17 for y.
1
Let l be (26/8)/(35/140). Suppose -l*m + 22 = -17. Solve h + 2 = 1, 2*h = m*n + 4 for n.
-2
Suppose 0 = -3*r - 2*z - 2, 5*r + 8*z = 10*z + 18. Solve 0 = 5*a - 4*s - 10, -5*a = -4*a - r*s - 2 for a.
2
Let c(a) = -a**2 + a + 7. Let y be c(-3). Let j(z) = -z**3 - 6*z**2 + 6. Let l be j(y). Let q = l + 23. Solve 0 = -s - q*p + 3, -p = p - 2 for s.
-1
Let z = -1196 - -1199. Solve 2*b + 5 = 3*r, -2*b = -r - 2 - z for b.
5
Let g be ((-18)/(-10))/((-21)/(-35)). Let h be (g/(-2) - -2)*36. Suppose 4*z + 2*t - h = 0, -2*z - 2 = -t - 5. Solve -4*s - 5*n + z = 4, -28 = 4*s - 4*n for s.
-4
Let k = -1723 + 1740. Solve 0 = -p + 3*u - k, 0*p + 4*u = 5*p + 30 for p.
-2
Suppose 0 = -7*v + 3*v + f + 32, -v - 5*f + 8 = 0. Suppose -55 = -v*y - 15. Suppose -2*q = -3 - 1. Solve h + 3*c - 7 = y*h, 5*h + 7 = q*c for h.
-1
Suppose 117 = 4*z - 3*c - 117, 62 = z + c. Suppose -44 + z = 8*q. Solve -2*t + 5*g = -3 - 15, 8 = -q*g for t.
-1
Let g = -1879 - -1882. Solve o - 14 + 0 = 3*i, -g*i = -4*o + 11 for i.
-5
Let u(m) = -m**2 + 8*m - 16. Let c be u(5). Let n = 3 - c. Solve -n*z - 16 = 5*k, -2*k - 4 - 1 = 3*z for k.
-4
Suppose 4*y + 6 = 2*y, -4*x + 3*y + 17 = 0. Solve x*w + 4*a = -4, 3*a + 2 = -2*w - 3 for w.
-4
Let i(u) = -u**2 + u. Let c be i(0). Let l be c/1 + 2 + 19. Let g(d) = -d**2 + 6*d + 4. Let v be g(6). Solve -5*w = 5*j - j - l, -v*w - 3*j = -17 for w.
5
Let a(t) = 2*t - 6. Let b be a(4). Let u be 45/9 + (19 - -1). Suppose 13 = 4*g - 7. Solve 0 = g*c + u, b*c + 2 = m - 3 for m.
-5
Suppose -h + 10 = h. Solve 0 = 5*t - 4*y + 3, 2*t + y + h = -4 for t.
-3
Suppose -222*f = -189*f - 165. Solve -j - 5 = -v, f*v - 25 = -2*j + 3*j for j.
0
Let a(i) = 10*i + 82. Let z be a(-8). Suppose z - 46 = -11*v. Solve y - 5*h = 17, -9 = v*h + 7 for y.
-3
Let h(c) = -c**2 + 8*c - 12. Let b be h(2). Solve -4*f + 0*f + 2*v + 22 = b, f + v - 1 = 0 for f.
4
Suppose -4*v + 2 = -2*o + 12, 3*v + 9 = 2*o. Let g be 18 + -11 - 4/((-2)/v). Solve q + 2*c = -g - 4, -5*c = q + 24 for q.
1
Let w = 38 + -60. Let j = w + 25. Solve j*o - 2*i = -5, 0 = 3*o - o + 3*i - 14 for o.
1
Let y = 247 - 231. Solve 3*x = 4*u + 15, 4*u = x - u - y for x.
1
Suppose 0 = 11*o - 1 - 43. Solve -o*w + 3*j = -6, 9 = 3*w + 3*j - 6 for w.
3
Suppose 67*x = 54*x + 65. Solve -5*w + 2*q + 35 = 7*q, -q + 23 = x*w for w.
4
Suppose 2*h + 4*x - 22 = h, -4*x + 20 = 0. Let j be (-20)/(1 + (h - 5)). Let g = j + -7. Solve 4*i + 4*z + 3 - 15 = 0, -i + 2*z - g = 0 for i.
1
Let x(d) = -d**2 - 11*d - 26. Let i be x(-5). Let t = -15 + 20. Solve -i = -l - 1, -t*l + 5 = -5*o for o.
2
Let c(u) = -u**3 - 17*u**2 - 17*u - 11. Let o be c(-16). Suppose v = -v + 5*y - o, -8 = -v - y. Solve -7 = v*r + 4*m, -3*r + 3*m = m - 9 for r.
1
Suppose -20*l - 24 + 124 = 0. Solve m + c + 0*c + 1 = 0, l*c = -4*m - 3 for m.
-2
Suppose -2*g = 3*x - 16 + 4, 5*x = -3*g + 20. Solve -7 = -2*s - b, g = -4*s - b + 2 + 11 for s.
3
Let t be (-14)/1155*-11 - 73/(-15). Solve -4*k + t*w - 2*w = -12, 3*w + 3 = k for k.
3
Let t(r) = r**3 + 8*r**2 - 2*r - 11. Suppose -m - 30 = -22. Let v be t(m). Solve 4*u - 4*i = 0, -3*u + v = i + 1 for u.
1
Let r = 4 + -3. Let d be 3 - ((1 - r) + 1). Solve -v = 5*g - 18, -d*v + 12 = -4*v + 2*g for v.
-2
Suppose -144 = 50*h - 98*h. Solve h*m - 6*m = -y + 5, 0 = -y + m - 1 for y.
-4
Let u = 10 + -7. Suppose -s = j, 0 = s - u*j + j. Solve 2*o = -10, s = 3*m - 0*o - o - 20 for m.
5
Let n be 2*3 + (-35)/(-5) + -11. Solve -n*h + 8 = -0*h, -3*h = 5*y - 32 for y.
4
Let u be 1*(1 - 3)*10. Let i = 23 + u. Solve 0 = 4*d - 2*y - 2 - 4, 27 = i*d + 3*y for d.
4
Let v(k) = -k**2 + 14*k - 15. Let d be v(11). Let i = -36 - -19. Let a = 18 + i. Solve 5*t - 2*t = -2*y + d, -5*y + 4*t - a = 0 for y.
3
Suppose 0 = -12*o + 26 + 130. Suppose 3 = 3*m, -4*p + 3 = 5*m - 10. Solve -5*h = p*f + o, -3*h - 1 + 10 = -3*f for h.
-1
Let m = -1388 + 1405. Suppose -2*v - 4*k - 30 = 0, 2*k + 21 = -4*v - 33. Let j = m + v. Solve j*u = -w + 1, -4*u + 2*u = -3*w - 11 for u.
1
Let p be 17 - (2 - -5) - 5. Solve 4*m = -0*i + p*i + 11, -2*i + 14 = 3*m for m.
4
Let p be (-60)/(-18)*(-6)/(-4). Let g be 4/(((-80)/(-12))/p). Let x = -1 + g. Solve 24 = -4*f + 2*k, -x*k = k - 6 for f.
-5
Let p be 6/(-8) + (-75)/(-20). Let q be 8/p*6/8. Suppose -15 = -2*n - l - q*l, 20 = 2*n - 2*l. Solve -3 = -2*w + 5*w, -2*b + n = -5*w for b.
2
Suppose 62 = -b + 2*b. Let o = 65 - b. Suppose t = -4*a + 12, -24 = -4*a - 3*t + 5*t. Solve -o*g + 29 = -a*f, -4*f = 2*g - 3*f - 1 for g.
3
Suppose -k = -2*h + 8, -11*k + 8*k + 6 = 0. Solve 0