.
-4
Let c be (-3)/(-7) + (-18)/(-7). Let x(h) = 32*h**3 + 3*h**2 + 3 - 18*h**3 - 15*h**c. Let u be x(3). Solve u*s + 5*i = 35, -2*s - 2 = -i - 8 for s.
5
Suppose 0 + 14 = u. Let p = u - 13. Solve -4*m - 2*k - 1 = p, 5*k - 10 = 5*m for m.
-1
Suppose 20 = -t + 4*h, 5*h = t + 4*h + 5. Suppose t*z + z = 2. Let i be 12 - (2 - (z + -1)). Solve 2*v = 3*n - 15, -9 = -4*n + v + i for n.
5
Suppose -4*z - 29 + 73 = -4*k, 1 = 3*z + 5*k. Suppose 5*p - z = 3. Solve 5*o - 2*a = 27, 0 = 2*o - o + p*a - 3 for o.
5
Suppose 4*d - 3*s = 42, d + 5 = 5*s + 24. Let w be -5 + d + (-3)/(-12)*0. Solve -2*m + 5 - 1 = 0, -w*m - 8 = -4*u for u.
4
Let q(w) = -w**3 + 17*w**2 + 40*w - 35. Let l be q(19). Solve l*r - 29 = 5*h, -r = 5*h - 0*r + 17 for h.
-4
Suppose 5 = 4*p - 3*p. Let z be (-12)/(-5) - (-6)/(-15). Let v(h) = h**3 + 11*h**2 - 61*h + 14. Let a be v(-15). Solve -z*q + a = w + 3*q, 25 = p*w + q for w.
4
Let q = 416 + -404. Solve -4*u = j + q, 2*j + 0*j = 5*u + 28 for j.
4
Let k be 1/1 + 2 - -2. Suppose -k*m - 5 = -55. Suppose -o + m = 4*o. Solve -2*y + 3*v + v + 2 = 0, -2 = o*v for y.
-1
Let d = 14 + 13. Let o be (-27 + 4)*(-1 + 2). Let b = d + o. Solve -5*t - 3*i - 9 = 0, i + b*i = -3*t - 15 for t.
0
Let y be (1 + 14)/3 + -1. Suppose -2*g = -0*c - y*c - 2, -5*g - 4*c = -19. Solve -4*d = x + 15, -2*x - 2*x + 3*d - g = 0 for x.
-3
Suppose 27 - 7 = 5*s. Suppose 0*n + 16 = s*n. Solve 3*m = -d + n*m, -3*d = -5*m + 4 for d.
2
Let i(w) = -w**3 - w**2 + w - 5. Let u be i(-2). Let v be ((-4)/(-10))/(((-6)/10)/u). Solve 5*d = x + 5, -d - d + 14 = v*x for d.
2
Let z be (0 + 0)/((-16)/(-4) + -6). Solve g = z, 4*a = 2*g - 1 - 15 for a.
-4
Let w(f) = f**3 + 8*f**2 + 12*f + 13. Let s be w(-5). Suppose 5*c - 29 = -0*y - y, 2*y = -4*c + s. Solve -c*x = -3*o + 11, -x - 2*x + 4*o - 11 = 0 for x.
-1
Suppose -12 = -5*i + 8. Solve -8*v + i*v - 4*z = -4, -5*v - 35 = -5*z for v.
-3
Suppose -3*z + 10 = -8. Suppose -z*t = -t - 10. Suppose -2*u = -4*i - 16, 2*i + 0*i = -t*u + 4. Solve s - 9 = -u*c + 6, 12 = 3*c for s.
-1
Let q(n) = -n + 6. Let c be q(4). Solve -c*j + 7*j + 3*x - 29 = 0, 5*x = 4*j - 1 for j.
4
Suppose 0*c - 4*c + 20 = 0. Suppose -7*i + 2*i = -15. Suppose 0*h + h = i*m - 134, h + 89 = 2*m. Solve -c*g = -5*s + 10 - m, -s = -5*g + 27 for g.
5
Suppose 2*c - 3*c = -9. Let z be (12/c)/((-4)/24). Let t be 10/4 - z/(-16). Solve -8 = -3*w + r, -2*w - 3*w = -t*r - 13 for w.
3
Let y be (-1)/((-6)/(-2))*1530/(-102). Let o be -1 - -1 - 0/(-1). Suppose -2*c + 2 = 0, x - 5*c + 3 = -o. Solve -y*t = -z + 6 + 23, -30 = -5*z + x*t for z.
4
Suppose -5*h = -9 + 24. Let q(p) = p**3 + 3*p**2 - 4*p - 3. Let i be q(h). Solve l = -4*g + 4*l - i, -2*g + 4*l = 2 for g.
-3
Let k be (20/(-40))/((-2)/4). Let p be ((-1)/(-3))/(k/15). Solve -2*j - p*c + 14 = 0, -j + c + 4*c - 8 = 0 for j.
2
Let y(s) = -s**2 + 4*s + 1. Let u be y(3). Let j = 7 - u. Solve 3*r + r + 3*m = j, 2*r + 2*m = 0 for r.
3
Suppose -17 - 18 = -7*j. Suppose -3*v - 3*y = 2*y - 75, j*v = 4*y + 125. Solve 4*p = -5*o, -2*p = -5*o - p + v for o.
4
Suppose 3*t + 49 = 4*n, -t + 30 = -n + 42. Solve -4*b + 8*g = 13*g + 35, -4*g + n = -5*b for b.
-5
Let s = 2825 - 2821. Solve 0 = -s*w - v - 14, v = -4*w + 2*v - 18 for w.
-4
Suppose -26 + 2 = 3*f. Let r = f + 11. Suppose -r*a = 5*v + 2, -v + 10 = 2*v - a. Solve 0 = -2*k - 3*d + 13, -5 = -4*k - v*d + 1 for k.
-1
Let g be -49 + -6 - (1 + -2). Let v = g + 57. Let k = -20 + 37. Solve -2*o + u = v*u + 6, 3*o + k = u for o.
-5
Let w be 5/(-2) + 377/58. Solve 2*g = -w*f - 16, 3*f + 2 + 0 = g for f.
-2
Let h be (-1 - -4)*(-4)/(-12). Let u be 1/h + 4 + -1. Suppose -1538*c = -1540*c + 12. Solve c + 15 = u*g - 5*n, -22 = -5*g + 2*n for g.
4
Suppose d - 18 = -4*q, 18 = -d + 8*q - 3*q. Solve -2*h + 11 = a, 5 = 2*a - h - d for a.
5
Let a = 1243 + -1238. Solve -25 = -5*s, 2*u + a + 9 = 4*s for u.
3
Suppose q = -2*q - 36. Let x be (8/q)/((-4)/42). Solve 0 = -4*i - 3*w - x, -2*w + 4*w = 5*i + 26 for i.
-4
Let h be (-3)/7 + (-132)/(-14) - 6. Solve -h*c = n - 2 - 10, -2*c - 2*n = -12 for c.
3
Suppose 0 = -4*b + j + 16, -b + 4*b + 5 = 5*j. Solve -5*v + b*m = 0, -5*v = -4*m - 0*m + 2 for v.
-2
Let t be ((-10)/(9 + -4))/(-1). Solve 6*s = s - 4*i, 0 = -t*s - 4*i - 12 for s.
4
Let t = 612 + -612. Solve t = 4*v + 16, -4 = -4*a + v - 0 for a.
0
Suppose 0 = -45*m - 0*m + 225. Solve -10 = -2*s, 0*s + 3*s + m = -5*y for y.
-4
Let t(k) = k**3 + k**2 + k - 1. Let w be t(1). Suppose 0 = 4*x + 31*x - 105. Solve -2*v = s - w, 2*s - x = 3*v - 6 for s.
0
Let i = -49 - -129. Let u = i + -59. Solve -3*n = -3*y - 2*n - 6, u = -2*y - 5*n for y.
-3
Suppose -5*n = -4*q - 316 - 49, 232 = 3*n - 5*q. Let u = n - 63. Solve t + 5*m + 26 = u, 3*t = -3*m for t.
5
Suppose 59*i = 47*i + 24. Solve 4*f + 2*b = -20, i*b = 13*f - 11*f - 2 for f.
-3
Let q = 466 + -460. Solve -3*z + 9 = 0, -y - 4*z + z = -q for y.
-3
Let w be 15/(-4)*(-72)/(-27). Let b = w + 28. Suppose 0 = 2*n + o - 15, -3 = n + 2*o - b. Solve -5*t = n*f + 10, 3*t = t - 4*f for t.
-4
Suppose -2*u - 32 = 2*u. Let s be ((-28)/u - 2) + (-6)/4. Solve -4*v + 2*j + 3*j = s, -2*v - 2*j + 18 = 0 for v.
5
Let v(f) = -f**3 - 7*f**2 - 3*f + 22. Let y be v(-6). Let h = 84 + -54. Let m be (24/h)/((-2)/(-5)). Solve -y = -2*u, -s + m*u + 15 = 7*u for s.
5
Suppose -4*j = -3*j - 2. Suppose 85 = -j*g + 89. Solve -11 = 3*w + 2*o, 4*w + 4 + 8 = -g*o for w.
-1
Let r be 40/(-180) + 86/(-18). Let z be (-8 - r)*(-25)/3. Suppose -5*p + z = -0*p. Solve -1 = -p*i + 3*o - 6, 5*i + o + 5 = 0 for i.
-1
Let x(s) = 3*s - 96. Let d be x(33). Solve -d*w - 27 = -3*z, -w - 1 + 2 = z for w.
-4
Let c = 328 - 326. Solve -5*w - 2*m - 15 = 0, -c*w - 10 = 3*w + 3*m for w.
-5
Suppose -g = -v + 4*v + 13, -3 = g + v. Suppose 0 = -2*l - 2*j - g, -3*l - 7 = 7*j - 3*j. Solve 7 = 4*f - 0*y - l*y, -5*f = -4*y - 8 for f.
4
Let d = 13 + -35. Let c = d + 25. Suppose x + 4 = 3*x. Solve m - x = j - 0, c*j + 5*m - 26 = 0 for j.
2
Let c be (-1260)/(-108) + 7/3 + -2. Solve -t = t + 5*p - 9, -2*t - c = -2*p for t.
-3
Let c be (140/49)/((-4)/(-14)). Suppose 0 = 2*m + 4*k - c, 5*m - 5 - 20 = 5*k. Solve 3*x - m*t = -4 + 13, -2*x - 2*t + 6 = 0 for x.
3
Let l(i) = i**3 - 3*i**2 + 8*i - 3. Let r be l(3). Let z be ((-24)/42)/((-3)/r). Solve 3*j = z - 1, -5*c + 17 = -3*j for c.
4
Let z(n) = 9*n**2 + n. Let k be z(1). Suppose 21*o - 55*o = -102. Solve -h - r - o*r + 20 = 0, h = 2*r - k for h.
0
Let r be 3 + (-5 - 0) - -1. Let p be -1 + (r + 0)*-3. Suppose -a = -18*a + 34. Solve -p*h + 12 = -i, i + h = -a*h + 13 for i.
-2
Let k(w) = w**3 + 12*w**2 - 109*w + 11. Let h be k(6). Solve 0 = 5*z - z - h*f - 19, -3*z - 6 = 3*f for z.
1
Let l(t) be the second derivative of t**5/20 - t**4/3 + 2*t**3/3 - 3*t**2/2 + 13*t. Let r be l(3). Solve -3*n - 5*g - 32 = 0, -2*n + r*g - 3*g - 20 = 0 for n.
-4
Let i be (1 + -1)/(1 - 2). Suppose 5*d + 17*w = -41, -8 - 1 = -3*d + w. Solve d*c = -q - 5, 0 = -2*c + 3*q - i*q - 25 for c.
-5
Suppose 136 = 40*w - 32*w. Solve 0 = -3*u + 3*p + p + 31, 3*p + w = u for u.
5
Suppose 7*u = 4*u. Let p be 5 - ((10 - 17) + 9). Solve -7*y = -p*y + 4*l - 4, 3*y + 2*l - 4 = u for y.
2
Suppose -4*q + 0*q = 12. Let l be (q - -2)/(1/(-28)). Suppose -5 = -r - 0*r. Solve 5*d - 3*z = -l, 0*d + 30 = -5*d + r*z for d.
-5
Suppose 678*o - 709*o + 155 = 0. Let n = 10 + -6. Solve -2*m - v - n*v = -15, -5*m - 4*v = o for m.
-5
Suppose -3*i = j - 4, 9*i + 5*j - 20 = 12*i. Let w = 12 - 6. Solve 3*r + 3*l + w = i, -r = 3*r - 2*l - 16 for r.
2
Suppose -5*d + x + 12 = -7, 22 = 5*d + 2*x. Solve -j = -2*n + 2 - 8, -6 = -d*j + 2*n for j.
0
Let y(q) = -q**2 + 24*q - 59. Let b be y(21). Solve -2*i = p - 3*i + b, 4 = -4*i for p.
-5
Let h = 255 + -252. Solve -o = -0*o + h*z - 3, 2*o + 8 = z for o.
-3
Let n(t) be the second derivative of t**5/20 - t**4/2 + t**3/3 - t**2 + 16*t. Let y be n(6). Solve -5*c - y = -5*g, -5*g = -c - 10*g - 2 for c.
-2
Suppose -8*m + 13 + 35 = 0. Suppose -m = -2*x, 2*x = -2*o - 2*x + 22. Solve 4*y = -4*z + 32, -5*z + y + y = -o for z.
3
Let v = -521 + 539. Solve -4*m - v - 6 = -3*g, 3*g = 5*m + 27 for m.
-3
Let f(a) = a**2 + 8*a + 2. Let r(y) = 4*y**2 + 25*y + 6. Let t(n) = 7*f(n) - 2*r(n). Let s be t(6). Solve -m + s*m = 3, m + 1 = c for c.
4
Let s = -28 - -101. Let c = -40 + s. Let y = c - 31. Solve 3*t = -n + 5*n, -4*n = -y*t - 4 for n