for u.
4
Let m = 26 + -12. Solve 0 = 5*g - 3*p - m, 5*g - 2 + 9 = -4*p for g.
1
Let l(t) = 2*t + 4. Let i be l(-1). Solve 0 = -5*c + 3*p + 40, -2*p = i*p + 20 for c.
5
Let v(a) = a. Let z be v(5). Let s(n) = -n**3 + 3 + 3 - 4*n**2 + z*n - 1. Let q be s(-5). Solve q*y + 15 = 5*j, -4*y + 5*j = 5 + 6 for y.
-4
Let i(c) = -c + 5. Let j be i(5). Suppose 5*u - 60 = -j*u. Suppose -4*x + 2*m = -12, 4*m = 2*x + 2*x - u. Solve -12 + 3 = -x*a - 4*o, 3*o = -5*a + 4 for a.
-1
Let a = -1 - -1. Let d(g) = g. Let s be d(2). Let n = s + a. Solve -n*o - 8 = 4*k + 12, 0 = -2*o for k.
-5
Suppose -x + 4 + 0 = 0. Suppose -l = l - x. Solve -3*s + 4 - 7 = -2*c, -6 = -l*c for s.
1
Suppose 5*d - 78 = -23. Let v = d + -9. Solve -3*t - v*f - 3 = 0, -5*t + 3*f - 6 + 1 = 0 for t.
-1
Let j be 15/6 - (-1)/(-2). Suppose 5 - 2 = 3*n - 2*h, 5*n = -4*h + 27. Suppose 0 = n*s + 9, m = s + j + 10. Solve 0 = -c - 3*u + m, -3*c + c = 5*u - 14 for c.
-3
Let s be (-5)/(-50) - 196/(-40). Solve p = 0, 4*o - s*p + 4 = 24 for o.
5
Suppose 8 = 5*j - j. Solve -5*s - 3*y = -14, j*s + 22 = 5*s - 5*y for s.
4
Let v(y) = -y**3 + 5*y**2 - 5*y - 3. Let p be v(4). Let t be 1 + -3 - 0 - p. Solve 0 = -4*i - 4, 3*j + 3*i - t = 5*j for j.
-4
Suppose 3*p = -2*j + 15, -p + 21 - 3 = 5*j. Suppose -118 = -4*d - 22. Solve -v - j*s = 2*s - 19, 3*v + 4*s = d for v.
4
Suppose -9*o + 6*o = -45. Let p be o + -1 - (11 + -9). Solve -4*g = 2*h + 10, -3*g + 8*g = -2*h - p for h.
-1
Let n be (-6)/(-33) + 501/(-33). Let s be 5/(n/(-9)) - -1. Solve -s*t + 10 = -2*r, 4*r + 0*r = 2*t - 20 for t.
0
Suppose -11*k + 12*k - 2 = 0. Solve 15 = 5*i + 7*v - k*v, 4*v = -i + 12 for i.
0
Let w = 27 + -10. Solve -t = -3*x + x + 3, -3*x = t - w for x.
4
Suppose y = -4*b + 14, 2*b - b = -2*y + 7. Let d(s) = 2*s. Let l be d(-5). Let i be 92/10 + 2/l. Solve -3*k = i, -3*z - y*k - 1 - 2 = 0 for z.
1
Let n(h) = h**2 + 12*h - 24. Let g be n(-14). Solve -g*k - 35 + 10 = 3*q, -k - q - 7 = 0 for k.
-4
Let i(j) = -j**3 - 15*j**2 - 11*j + 45. Let g be i(-14). Suppose 3*c - 9 = -0*c. Solve -2*q + c = f, 3*f + 2 = -g*q + 11 for q.
0
Suppose 4*g + 4 = -0*g. Let s be (2 - g)*(-4)/(-6). Suppose 0 = -a + 6 + s. Solve -3 = y + 4*i + a, 2*y = -5*i - 13 for y.
1
Let t = -89 - -89. Solve 5*b + 4*p = -19, -b + t = -4*p - 1 for b.
-3
Let t = -67 - -69. Solve -20 = -t*d + 5*a, d + 2*a = 4*d - 8 for d.
0
Suppose 19 = 2*y + c, 3*y - 4*c + 0*c = 34. Solve 0 = 4*q, 5*h - y = -7*q + 4*q for h.
2
Let c = 32 + -28. Solve -3*k + c*o = -18, 0 = 5*k + o + o - 4 for k.
2
Suppose 4 = -4*v, 3*v + 4 = d - 3. Suppose -d*i - i = -75. Solve 2*q = -3*z - 10, 0*z = -3*z + 3*q + i for z.
0
Let l be 28 + -26 - ((-2)/(-2) - 3). Solve 3*h + 3*m - 8*m + 2 = 0, -3*h - 20 = l*m for h.
-4
Let j be 1 + 1 - (-5 - -5). Let z be 2 - (0 - -3)/3. Solve -j*l = -m + 3, -3*m - l - 3*l = z for m.
1
Let z(t) = -t**2 - 6*t + 3. Let u be z(-6). Let j(y) = y**2 - 6*y + 5. Let x be j(6). Solve 6 = -u*h - 3*n, n = x*h - 28 + 8 for h.
3
Suppose 0 = 3*f - 6*f - 4*c + 16, -4*f + 17 = c. Solve -3*d = -d - f, -5*p = -4*d + 18 for p.
-2
Suppose -2*j - 3*n + 7 = -8, -j - 2*n = -10. Let p = 1 - j. Let k be p + 2/2 - -2. Solve -5*f - d = -14, 4*f - k*d + 6*d = 10 for f.
3
Suppose 0 = -0*n + n. Let y = -22 + 26. Solve 4*i + 7 - 23 = g, n = y*i - 20 for g.
4
Suppose -2*c = 5*k + 69, 3*c = 9 - 0. Let g be (1*2)/(4/(-8)). Let l be -5*((-36)/k)/g. Solve -2*f + 4*o + 34 = 10, -f = l*o + 8 for f.
4
Suppose q = -4*q + 55. Let p = -4 + 7. Let r be (-6)/(-2*(-3)/(-12)). Solve 0 = -p*i - l - r, 0 = 5*i - 4*l + 9 + q for i.
-4
Suppose 16 = 2*j - 8. Let v = 17 - j. Let r(t) = -3*t**3 - t**2 - t. Let x be r(-1). Solve 6*a - 3*a + v*y - 10 = 0, -5*a + x*y - 6 = 0 for a.
0
Let j = -117 - -133. Solve 4*t = -a + 18, -a + j = 3*t + a for t.
4
Let c(z) = -z**2 - 9*z - 7. Let d be c(-5). Solve -b = -6*b - t + d, -5*b + t + 7 = 0 for b.
2
Let r = 109 - 106. Solve r = 3*m - 2*m, q - 4*m = -11 for q.
1
Let h be -1 - 2 - (0 + 3). Let m(b) = -b - 3. Let f be m(h). Solve 0 = -w - f*y - 8, 0*y - 20 = 5*w + 5*y for w.
-2
Suppose 23 = -5*b - 67. Let n be (b/(-3))/2 - 3. Solve -3*l + 7*l = 3*m + 8, n = -m + 5*l + 1 for m.
-4
Let r = 62 - 48. Solve -4*u - t - r = 0, 3*t + 17 = -3*u - t for u.
-3
Suppose -5*z = 4*t - t + 7, t - 26 = 4*z. Let g(p) = p**3 - 2*p**2 + p + 1. Let q be g(2). Solve k = 2*w - 2, -t*k + 4 = -w - q*k for w.
2
Suppose 41 = 4*c + 5. Let a(m) = m**2 - 8*m + 10. Let i be a(c). Solve 11 = 3*z - 2*j, 0 = 3*z - 4*j - i for z.
1
Let c(n) = -n**3 - 3*n**2 - n. Let s be c(-4). Let h = s - 7. Solve 37 = 4*m - 5*b, 0 = -m + 5*b - 3*b + h for m.
3
Let z = -12 + 15. Let h = 12 + -7. Suppose 2*d + h = z*d. Solve 0 = -2*a - a + t + 12, -2*a = d*t - 25 for a.
5
Let u = -1 + -2. Let k(q) = -3*q**2 - q + 4. Let l(j) = j**2 - 1. Let w(y) = 3*k(y) + 8*l(y). Let x be w(u). Solve c = -x*g + 16, 2*g + 3*c = g + 4 for g.
4
Suppose 11 = 2*o + 3. Suppose 3*g + 4*v - v = 15, -g = o*v - 20. Solve g = 3*k + 4*n + 27, n = -0*k - k - 8 for k.
-5
Let t(r) = -5*r - 4. Let l be t(-3). Suppose 5*f = 5*j + 19 + l, 26 = 5*f - 3*j. Solve -5*u - 8 = 3*c + 1, -u = f*c - 5 for u.
-3
Let i = 49 + -44. Solve a = -5*r + 2*a + 20, 3*r = i*a - 10 for r.
5
Suppose 0 = 3*i - 7*i + 3*y + 13, 4*y = 4*i - 16. Let g be (i - (-9)/(-3))*-1. Solve 0 = -g*d - 2*d - 4*n + 4, -d + 5*n = -19 for d.
4
Let u = 55 + -52. Suppose 2*h - h = -f + 24, -3*h + 112 = 5*f. Let g = f + -9. Solve -u*q = 4*w + 1, q - 2*w + g = 2*w for q.
-3
Let w(z) = z**3 + 4*z**2 - z - 6. Let s be w(-3). Solve 0 = 2*y + 3*r - 2, -3*y - 5*r + s*r = 19 for y.
-5
Suppose 0 = -2*d + d - 5, 35 = 5*r - 5*d. Suppose 5*y - 4 + 10 = 3*t, -r*t - 2*y + 4 = 0. Let m be 4/6*(2 + 1). Solve m = -4*n - c + t*c, -4*n + 10 = 5*c for n.
0
Let p = -1 + 0. Let k be p/(-2) - 6/(-4). Solve 0 = 2*n - 3*c + 7, k*n + c = -12 + 1 for n.
-5
Suppose -3*z - 213 = -0*z. Let p = -31 - z. Solve -4*c + i + p = -3*i, 35 = 2*c - 5*i for c.
5
Let q = -6 - -11. Suppose -q*z + 2 = 4*t, 0*z + 5*t + 12 = z. Solve -z*b - 3*n - 12 = -3*b, 0 = -4*n - 16 for b.
0
Let o(d) = d - 5*d + 1 + 2*d + 4*d. Let g be o(4). Solve -f + 4*p + 6 = -2*f, 2*f = -5*p - g for f.
-2
Suppose -2*y = 4*f - 20, 5*y - 2*y + 5*f = 26. Suppose 0*r - 95 = -5*r. Solve -5*q - 2*c - r = 0, -y*q = -7*c + 4*c for q.
-3
Let p(g) = g**3 + 5*g**2 - 6*g + 5. Let c be p(-6). Solve -c*z - 14 = -3*n + 18, n + 4 = -2*z for n.
4
Let y(n) = 5*n**2 + n. Let f be y(1). Suppose w = -3*l + 8, 4*l + f = -w + 3*w. Solve -o - 3*x = o, -w*o + 4*x = -23 for o.
3
Suppose 2*o - 16 + 6 = 0. Solve o*g - 5*d = 0, 0 = 4*g - 5*g - 2*d - 12 for g.
-4
Suppose 5*g + 27 = -3*s, -14 - 4 = 2*s + 3*g. Let r = s + 10. Solve a - m + r = 0, 2 = -3*a + 2*m + 4 for a.
4
Let f be -3 - 0*3/9. Let h = 0 - f. Solve 4 = -2*k, -7*k = -5*w - h*k - 17 for w.
-5
Let o be (-6)/27 - (-12)/54. Solve -5*v - k = o, -5*k = -2*v + 6*v for v.
0
Let h(d) = d**2 + d - 1. Let p(s) = s**2 - s. Let a(t) = 2*h(t) - p(t). Let c be a(-4). Suppose 0*i = 5*i - 10. Solve 2*w + j - 6 = -0*w, 3*w - c = i*j for w.
2
Suppose 2*s - 15 = -3*b - s, 3*b - 7 = 5*s. Let x be (b/(-10))/((-10)/100). Solve 4*u - d - d = 6, -x*u + d + 7 = 0 for u.
2
Let p = 29 - 41. Let n = p + 14. Solve 7*a = n*a + 2*g + 6, 5*g = 5*a for a.
2
Suppose -v + 11 = 3*z, -z + 2*z = 4*v - 31. Solve 5*f + 0 = -2*t - 2, -4*f - 4*t + v = 0 for f.
-2
Let c = -13 + 18. Suppose -c*m = -2*a, 2*m + 2*m - 5*a = -17. Let j = 16 + -14. Solve 0 + 16 = -4*f - j*l, 0 = -l + m for f.
-5
Suppose z + 24 = -2*j - 2*j, -18 = 3*j + 5*z. Let x = 4 + j. Let d be 14 + 2 + (-1 - x). Solve -o = -2*q - 11, -4*q + d = -9*q - o for q.
-4
Let p(g) = 15*g + 1. Let q be p(4). Let x = -36 + q. Solve 4*k + 2*d + 18 = 0, 4*k - 3*d + x = 2*d for k.
-5
Let s = 43 + -39. Solve -1 = y + 1, -s*d + 5*y + 26 = 0 for d.
4
Let c be 6/3 + (1 - 0). Solve 2*r = c*j - 2*j - 12, -j + 22 = -4*r for j.
2
Let k be (-2)/(-6)*(0/(-2) + 6). Solve 5*l - 15 = 5*n, -k*l + 7*n - 3*n + 12 = 0 for l.
0
Let s be (-2)/(-1)*(-3)/(-6). Suppose -3 = -4*u - 3*y, 0 = y + 2 - 3. Suppose -r - s + 3 = u. Solve -3*g - 4*w + 7 = -19, -r*w + 2 = -4*g for g.
2
Let y(x) = -x**3 + 9*x**2 + 7*x + 33. Let o be y(10). Solve 2*w - 10 = 0, -b + 11 = -3*b + o*w for b.
2
Suppose -4*g + 0*g = 0. Solve -3*s + 5*b + 27 = 0, 5*s + g - 5 = -5*b for s.
4
Let r = -