for u.
-2
Suppose g + 4*p + 4 = 19, 0 = -5*g - 4*p + 11. Let t = 4 + -6. Let h = g - t. Solve -4*z - 16 = -2*s, 2*z + 7 = -3*s - h for s.
0
Let w(b) = -b**3 - 10*b**2 + 11. Let l be w(-10). Let o be 8/(-1)*(0 - 1). Let a = l - o. Solve a*i - 6 = 3*c + 12, 0 = -3*i + 9 for c.
-3
Let o(s) = -s + 16. Let q be o(11). Solve 0 = z - q*y - 5, 10*z - 5*z - 25 = -2*y for z.
5
Let l = -4 - -6. Let i(u) = u**3 + 2*u + 1. Let s be i(l). Solve -2*q - 19 = -3*c, c = 2*q + 2*q + s for q.
-2
Suppose 3*d = -3*g + 4*g - 80, -2*g = 4*d - 120. Let a be g/24 - 2/(-12). Solve 0 = -2*c + 5*t + 25, -2*t = -a*c - 0*c + 10 for c.
0
Let d(p) = -p + 1. Let s be d(-2). Solve 2*m - 4*q = 4, -3*m + 3*q + 12 = s for m.
4
Suppose 6*u = 2*u + 20. Suppose -3*d = -4*d + u. Let y = 9 - d. Solve -5*g + 6*g - y = 0, -4*p + 8 = -3*g for p.
5
Let u(i) = -i - 2. Let x be u(-4). Solve 5*h = -5*y - 25, -4*y - 1 - 19 = x*h for h.
0
Suppose -3*f + 2*u = -0*f - 52, 3*u = -2*f + 13. Suppose 4*v - d - 33 = 0, 0 = -2*d + 4 - f. Solve -2*z = -v*z - 5*s, s = 3 for z.
-3
Let s be (6/10)/(4/80). Suppose -4*x + 0*o + 23 = o, o + s = 3*x. Let r = -1 + 2. Solve 0 = -x*m + 5*f, -2*m + 3*f + 0*f + r = 0 for m.
-1
Let x = 23 - 8. Let j = -10 + x. Solve 0 = 5*f + 10, -4*t - t - j*f - 30 = 0 for t.
-4
Let i = -44 - -16. Let h = -25 - i. Solve f + 0*f = -h*p + 11, 0 = 3*f - 2*p for f.
2
Suppose 0*x + 3 = x. Solve 3*c + 9 = 0, 3*q = -0*q + 3*c - x for q.
-4
Let p = 40 + -24. Suppose 0*k = -4*k + p. Let y be -2*(-1 + 1 - 1). Solve 4*q + 11 + k = g, -4*g - 30 = y*q for g.
-5
Suppose 3*t - 6*t = -9. Solve 2*q = 4*a - 6, t*a + 1 = 3*q + 7*a for q.
-1
Suppose d + 12 = 3*d. Solve -3*n - r - d = -0*r, 0 = -5*r for n.
-2
Let a(u) = -u**3 - 4*u**2 - 2*u - 4. Let s be a(-4). Let m be (1/1 - 2) + s. Solve 4*i - 28 = -m*o, i + 12 = -o + 5*o for o.
4
Suppose 80*i = 83*i - 9. Suppose 4*t + 12 = 6*t. Solve 6 = -i*y + u, 0*u = 3*y - 4*u + t for y.
-2
Let a(c) = -c**3 + 4 - 3 + 3 + c**2 + c + 2. Let h be a(0). Suppose 3*f + 0*f = h. Solve n + f = z, -n = -0*n + 4 for z.
-2
Let b be (-12)/(-18) + 78/(-9). Let i = 12 + b. Let q(h) = h**2 - 2*h - 3. Let u be q(4). Solve i*y = 5*z + 26, z + 5*y - 28 = u*z for z.
-2
Let h = -49 + 53. Suppose -4*u + 5*u = 4. Suppose -4 = c, u*c = -2*k - 4 - 8. Solve h*x + 30 = -5*y, 4*x + 14 = 2*x - k*y for x.
-5
Let k(r) = -r. Let v(i) = -2*i**2 + 5*i. Let j(d) = -4*k(d) - v(d). Let m be j(-3). Solve -x = -c + 6, 3*c + x = 7*c - m for c.
5
Suppose -28 = -o - 4*x - 6, -3*x = -4*o - 7. Solve b = -2*y + o, 2*b + 1 = 4*y + 13 for b.
4
Let g be ((-12)/10)/((-8)/20). Suppose -2 - 4 = -g*t. Solve -3*d + 3*m = -4*d - 14, 0 = -5*d + t*m - 19 for d.
-5
Suppose 6*d - 4*d = -2. Let o = d - -1. Solve 4*t = -3*f - 9, -2*f = 6 - o for t.
0
Let t be (-237)/(-9) + (-3)/9. Suppose 5*s - 2*o = 6 + 25, -4*s + 2*o + t = 0. Solve s*d - 3*a + 30 = 0, 3*a - 10 = 5*d + 4*a for d.
-3
Let t(g) = -2*g**2 + 12*g. Let i be t(6). Solve -4*w - b = -0*b - 16, i = w + 2*b + 3 for w.
5
Let d be ((-2)/4*0)/2. Let g(p) = -p + 2. Let c be g(d). Let t be 8 - (-12 + 0)*2/(-8). Solve -t*v - 3*y = 10, -v = c*y + 1 + 1 for v.
-2
Suppose 0 = 3*d + 4*b - 37, -5*b + 58 - 23 = 3*d. Let p = -4 + 6. Suppose -2*r + p*o = 0, 2 = 3*o - 7. Solve r*z + d = 3*m, 5*z + 24 = 4*m - 1 for m.
0
Let r = 57 - 57. Solve r = 5*f - 4*n + 5, -5*n - 15 - 30 = 4*f for f.
-5
Let j(z) = -3*z - 19. Let y be j(-8). Suppose 2 = -y*h + 12. Solve 6*c + 5*u = c + 5, -c - 1 = h*u for c.
3
Let i = -14 + 2. Let u be 2/((i/9)/(-2)). Solve 4*r - 2*h = -20, -5*r - u*h - 6 = 8 for r.
-4
Let g be (-2)/(-3) - 12/(-9). Solve -2*w - 2 = -3*h + 2, 3*h - 8 = -g*w for w.
1
Suppose 15 = 5*u - 3*w - 4, -7 = u + 3*w. Suppose 10 = 2*k - 3*l, 0*k + 3*k - u*l = 15. Solve -k*n = f - 12, n = -2*n + 3*f for n.
2
Suppose u - 3*a = 8, 0 = 4*u + 5*a + 2. Solve 3*c + u*l = -0*c - 13, 0 = 2*c + 4*l + 22 for c.
-1
Let n = 3 - 1. Suppose 3*l = n + 4. Suppose -b + 4*c = -28, -2*b - l*c + 28 = -3*c. Solve 5*m = -4*t + 10 + 16, 2*t = -2*m + b for m.
2
Let a(i) = -i**2 - 14*i + 18. Let s be a(-15). Solve -s*k + 8 = -5*r - 1, -3*r = k - 3 for r.
0
Let d = -83 - -83. Solve -2*c - 5*x + 2 = d, 3*c + x + 0*x = 3 for c.
1
Let u be ((-18)/(-4))/((-2)/(-4)). Suppose -4*p + 11 = -3*p. Suppose -4*c = -20, -5*x - 3 - 7 = -5*c. Solve -x*l = -u, 5*a - a + l = p for a.
2
Let j(x) = -16*x**2 + x. Let p be j(1). Let c be (-2)/(-6) + (-85)/p. Solve 5*k - 21 = 5*u - c, -2*u + 24 = 4*k for k.
5
Let y be 4/14 - 4/14. Suppose y = 4*p + 84 - 0. Let u be p/(-1) + 2 + -2. Solve 2*l - 8 - 10 = 3*w, -3*w - u = -3*l for l.
3
Suppose 2*q - 23 - 21 = 0. Suppose 1 + 9 = 5*p. Solve q = 2*v + 4*m, 2*m = p*v + 3 - 7 for v.
5
Let j(c) = -c**2 + 7*c - 13. Let i be j(9). Let z = -18 - i. Solve -4*x + z = -3*y, 3*y - 16 = -y - 3*x for y.
1
Suppose 0 = 3*a + 23 + 4. Let c = -9 - a. Solve c = -5*u + 15, 0*v + 5*u = -2*v + 19 for v.
2
Let t(c) = c - 3. Let u be t(6). Solve -u*b + 4*b = -2*g + 11, 0 = 2*b - 4*g + 2 for b.
5
Let c be (-12)/2*(-9)/18. Solve -17 = c*w - 0*w + 2*g, 2*g = w + 3 for w.
-5
Let u = -6 - -4. Let f be 0*-3*u/12. Solve 4*k + 13 = -3*m, f*m + m = 1 for k.
-4
Suppose -4*r + 2*l + 96 = 0, -3*l - 19 = 3*r - 4*r. Solve -5*u + w = 25, -4*u - r = u + 4*w for u.
-5
Let t = 8 + -4. Solve -3*k = -6*k + 2*d - 7, 0 = k + d + t for k.
-3
Suppose 87*w = 89*w - 12. Solve 0 = -i - 5*c - 8, -i - 3*c = w for i.
-3
Suppose -7*j + 2*j - 5 = 0, -2*n - 4*j = 0. Suppose -3*p = p + n*a - 16, -a = -2. Suppose -7 - 5 = -4*w. Solve y + y - 19 = -p*l, l - w*y + 12 = 0 for l.
3
Suppose p - 2*f - 1 = -4, -3*p - f + 12 = 0. Suppose -3*r = -0*y + 2*y - 29, -3*y - p*r + 48 = 0. Solve 4*v = -a + 5*v + 2, -5*a - 4*v + y = 0 for a.
3
Let a = -6 - -4. Let i = -3 - a. Let r = i + 1. Solve 2*g - 2 = -4*q, g - 3*g - q - 4 = r for g.
-3
Let p(j) = j**3 - 7*j**2 + 10*j + 5. Let h be p(5). Solve -h*u + 6 - 1 = -5*i, -3*u - 4*i - 18 = 0 for u.
-2
Suppose -13 = -7*s + 15. Solve -12 = -2*o + 2*u + u, s = -5*o - u for o.
0
Let s = -39 + 46. Solve -4*x = -2*b, 2*b - 2*x = -s*x for b.
0
Let s = -7 + 7. Suppose s = -2*a - 2*j + 14, 0 = a + 3*a - 5*j - 19. Let n = -34 - -49. Solve -3*y - n = -3*v, -v - a*y = -y + 13 for v.
2
Let q(g) be the second derivative of -g**5/20 + 7*g**4/12 - g**3/2 - g**2/2 - 5*g. Let f be q(6). Solve -i - 3*r + 9 = 0, -2*i - i + f = 4*r for i.
3
Suppose 2*t = -3*t. Suppose x + 5*m = 3*x + 2, 5*x + 4*m - 28 = 0. Let a = x + -2. Solve -a*p + 5*s - s = 10, t = -p + s for p.
5
Let z = 32 + -30. Solve -a + 4*m - 1 = z, -5*a + 33 = 4*m for a.
5
Suppose 4*v - 3*v + 5*x = 22, 4*x = 4*v + 8. Solve 0 = h + 3*f - 14, f = -4*h + 3 - v for h.
-1
Let x = 38 + -32. Solve 3*y = x*h - 2*h - 7, -y + 3*h = -1 for y.
-5
Suppose g = 5*g - 16. Suppose -g*s - 110 = -578. Suppose 3*u = -0*u + s. Solve 0 = 3*m - 5*n - 17 + u, 4*m + 21 = 5*n for m.
1
Suppose -3*y + 64 = y. Suppose -8*b + 4*b = -y. Solve -3*f - 3*i - 24 = 0, 3*f + 0*i - i = -b for f.
-3
Let n = 3 + -4. Let m be 2/4*6 + n. Suppose -m*p + 29 = -3. Solve -2*g - 12 = -3*f, f = -3*f + 3*g + p for f.
4
Suppose 3*l + 17 = 2*m, 5*l = -0*m + 5*m - 40. Let o = m + 0. Solve 0*z + 2*c = -5*z - o, 4*z + 2 = 2*c for z.
-1
Suppose -20 = 2*c - 3*h, 0*h = 3*c - 4*h + 28. Let y = c + 8. Solve x + 5 = z, 0*x - y*x = 12 for z.
2
Let k = 14 + -4. Let n = -8 + k. Solve -2*s + 2 = n*w, -4*s + 3 = 2*w + w for s.
0
Let d be 18/42 + 96/21. Let a(y) = -y**3 + y + 2. Let z be a(0). Suppose -4 = -3*w + 5, 0 = -3*x - z*w + 15. Solve 0 = x*c + d*q + 9 - 4, -4*c - 4*q = 12 for c.
-5
Let b = 19 + -18. Solve -b + 2 = q - s, 4 = q - 2*s for q.
-2
Let l be (-96)/(-15) - 6/15. Suppose -3*b + b = -l. Let z = 20 + -13. Solve -b*c - 2 = -2*r, -c - r + z = -4*c for c.
-4
Let i = 0 - -25. Solve 0 = -5*f + 2*p - i, 3*f - p + 12 = -3 for f.
-5
Let o be -1 + 2 + 5 + -3. Suppose -3*s = 2*n - 0*s - 3, -o*s = -9. Let b = -1 - n. Solve m = 5*k - b*k + 1, 4*k + 5*m = 24 for k.
1
Let l(h) = h**2 - 2. Let c be l(-4). Let v(y) = y**3 - 15*y**2 + 15*y + 8. Let i be v(c). Suppose 5*q = q. Solve 3*r + 4*t + 15 = q, -3 = 5*r + 2*t + i for r.
-5
Let t(y) = -y**2 - 2*y + 1. Let o be t(2). Let h = o + 9. Solve 10 = 3*n - 4*k, -2*n + h*k - 7*k = 1 for n.
2
Let s = 7 + -3. Suppose -5*j + 5 = -4*l, 2*l - j = l. Solve 2*x - z + 21 = s*z, 0 = l*x + 5*z for x.
-