-8 = -2*q, u - 3*q - 1 = -j for u.
2
Let f(w) = -1 + 5 + 26*w - 25*w - 3. Let u be f(3). Suppose 0 = 2*g - 4*d - 6, u*g - 3*d - 4 = 13. Solve 0 = -2*t - 2*v + 4, 2*t - 3*v + 2*v = -g for t.
-1
Suppose 0 = 2*k + 3 + 1. Let i be 1/((-1)/k) - -16. Let a be (2/1)/(4/8). Solve f = -f - 2*b + i, a = b for f.
5
Let x be 12/(-8)*10/(-3). Suppose -57 - 18 = -x*u. Let o = -11 + u. Solve -4*t + o*a + 36 = 0, -t + 6*t - a - 29 = 0 for t.
5
Suppose -3*s + 8 = -2*h + h, 2*s - 2 = -h. Let r = 0 + s. Solve -2*o + 24 = r*o + 4*b, 0 = 3*o - b - 6 for o.
3
Suppose 0 = 6*q - 7*q + 4*f + 6, 21 = 2*q + f. Let b be (-1 + q)*1/3. Suppose 0*r - b*r + 12 = 0. Solve w + 31 - 6 = -r*s, -2*s + 2*w = 0 for s.
-5
Let x = -155 - -158. Solve -11 = x*q - s, -4*q - 36 = 3*s - 4 for q.
-5
Let y(w) = w**2 - 2. Let m be y(0). Suppose 0 = -i - 5, 4*i + i + 22 = -t. Let z be m + 25 + (-9)/t. Solve -3*q + z = 4*p, 5*p + 16 - 41 = 5*q for p.
5
Let l be (9/15)/((-6)/(-30)). Solve -l*d - q - 5 = 0, 0*d + 5*d = -5*q - 5 for d.
-2
Let n be (0/1)/(1 + 0). Let t = n - -3. Suppose -2 = -f - t*s - 8, -4*f = 3*s + 6. Solve 4*r + 2*a + 10 = -0*a, f = 2*r + 4*a + 2 for r.
-3
Suppose 0 = -5*m + 2*n + 19, 4*m - 2*n - 8 = 6. Suppose -2*r + 7*r - 50 = 0. Solve -h - 3 - 3 = -4*f, m*f - r = 0 for h.
2
Let j be (9 - 12 - -3*1) + 3. Solve 4 = -0*p + 2*p, w + j*p = 7 for w.
1
Let c be (-3)/(-3) + (0 - -3). Let z be (-8 - 0)/(3 - c). Suppose -10 = -z*p + 3*p. Solve 2*m - 4*v = 10, -m + v = p*m - 5 for m.
1
Let s(k) = k**2 - 4*k + 1. Let b be s(4). Let c(l) = -l**2 - 1 - 5*l + 0 - b. Let o be c(-2). Solve -2*a - 4 = 0, 2*a = -o*d + 4*a + 20 for d.
4
Let a be (-58)/(-5) + (-2)/(-5). Suppose 0*j = j - a. Solve -5*m + 33 - 3 = 3*x, -3*x + m = -j for x.
5
Let x = 1 + -1. Suppose -4*g = -4*y - 12, 3*g = -5*y + 16 + 1. Suppose -g*t + x = r - 15, 4*r = 4*t. Solve -2*n - 8 = 4*m, 2*n = r + 5 for m.
-4
Let n = 2 + 11. Solve 3*p - n - 8 = 3*i, 0 = -4*p + 2*i + 22 for p.
4
Let k be 2/(-4)*4/(-6)*15. Solve 0 = 4*p - k*i, -3*i + i = -3*p for p.
0
Let t be (-8 + 1)*1 - -1. Let s be (-8)/t + (-8)/(-12). Suppose 2*u - s*p + 4*p = 10, -25 = -5*p. Solve u = 2*b + 2*b + 5*n - 7, -22 = 5*b - 4*n for b.
-2
Let b(q) = -q**3 - 6*q**2 + 2. Let u be b(-6). Suppose -2*p - 27 = -5*x, -u*x + p - 1 = -12. Solve -15 = 4*y + m, -4*m - 17 + x = 0 for y.
-3
Let t(s) = -2*s**2 + 6*s - 2. Let u be t(1). Solve u*y - 2 = 5*d, -4*y = -d - 3*d - 4 for d.
0
Let n = -1 - 3. Let r be -4 + 2 - n - -1. Solve r*y + 8*x = 5*x + 6, 4*y = 3*x - 20 for y.
-2
Suppose h = -31 + 33. Solve 0 = 5*o + 5*k + 15, -1 = h*o + 3*o - 2*k for o.
-1
Let x(u) = -u**3 - 16*u**2 + 15*u - 32. Let p be x(-17). Solve -3*q = -3*h - p*q, q - 8 = -5*h for h.
1
Suppose 4*v - 16 = 2*v. Suppose 2*s - 3*c = -12, -6 = s + 5*c - 26. Solve s*i - 4*i + v = -5*w, -2*w + 2 = i for i.
2
Let h(d) be the second derivative of d**3/3 + d**2/2 + 6*d. Let w be h(2). Solve 0 = -w*q + 3*t - 27, q + 4*t - t = 9 for q.
-3
Suppose 2*u + 20 = 6. Let x = -10 + 6. Let v = x - u. Solve -4 = -2*r, a + v*r = -3*a + 22 for a.
4
Suppose 0 = 4*c - 2*c - 6. Solve -c*z = h + 8, -3*h - 2*h + 3*z = 22 for h.
-5
Suppose -2*g + 2*z = 18, 4 = -3*g - 2*z - 3. Let t be g - -13 - 3*1. Solve -4*y + 5*p = -16, -t*p - 17 = -2*y - y for y.
-1
Let a = -32 + 44. Solve 3*t - 5*b + a = 0, 2*b + 13 = t + 6*b for t.
1
Suppose 2*r = y, y + y - 18 = -2*r. Solve -o + 4*g = 0, -y = -0*o - 2*o + 2*g for o.
4
Let p = 95 - 92. Solve 0 = 2*z + 2*c, 4*z = z + p*c - 6 for z.
-1
Let u(z) = 2*z - 4*z**2 + 0*z + 4*z**2 - 1 - z**3. Let t be u(-2). Solve 2*i - 30 = -4*d, d - t*i = -2*i for d.
5
Suppose -3*f = 2*u - 8, -3*u + f + f = -38. Let g = -18 + 28. Suppose -32 = -h + 5*i, -g - u = -h + i. Solve s + 2*c - 5 = 6, 2*s - h = -3*c for s.
1
Let q(h) be the second derivative of -h**2 + 1/12*h**4 + 0 - 1/2*h**3 + 4*h. Let p be q(4). Solve -3*j - 12 + 3 = -3*z, 2*z = -p*j - 14 for j.
-5
Let l be (-58)/4 + (-1)/2. Let o be 1120/l + (-2)/6. Let q be o/10*(-2)/3. Solve 0 = -5*p + q*r + 15, -5*r - 9 = 3*p + 6 for p.
0
Let a = 0 - -5. Suppose -1 = -q + a. Suppose z - q = -2*z. Solve 0 = z*x + t + 1, -4*x - x = 4*t + 7 for x.
1
Suppose 2*s + 14 = 2*o, -5*o + s + 38 = -s. Let c be (-3)/12 - (-2)/o. Solve 0 = -2*i + 4*i + 5*j - 8, c = -4*j for i.
4
Suppose g = 14 - 10. Solve r + 8 = g*l, -3*r + 1 - 5 = -2*l for r.
0
Suppose 7*o - 12*o + 25 = 0. Solve 0 = o*c - 2*r - 23, -3*c - 4*r = -c + 10 for c.
3
Let j = -9 - -15. Let s(w) = w - 1. Suppose 0 - 5 = -k. Let d be s(k). Solve -3*y = -x - 7*y + j, 12 = d*x + 4*y for x.
2
Let w = 11 - 7. Suppose 0 = -2*b + w*b - 6. Suppose -b*q + 4 = -q. Solve -22 = q*z + 2*z + 2*j, -2*z + j - 5 = 0 for z.
-4
Let f = 25 - 12. Solve 4*g - l = -f, 2*g + l + 7 = 2*l for g.
-3
Let z(s) = -s**2 + 19*s - 30. Let w be z(16). Solve w = -2*a - 5*m, -6 = 5*a - 4*m - 27 for a.
1
Suppose -2*w = 2*w - 3*q - 6, 0 = -4*w - 3*q - 6. Solve w = 5*b + 10, 4*k - 20 = b + 3*b for k.
3
Let k(v) = v**3 - 7*v**2 - 7*v - 6. Let y be k(8). Let f be 4/2 - (y - 8). Solve -3*t = -2*u - 5 - 11, 2*t = f for u.
-2
Let n(v) = -v - 3. Let h be n(-16). Let m = h - 1. Solve -3*u = -4*z + m, u = -0*u + 3*z - 9 for u.
0
Let b(n) = 2*n**3 - 4*n**2 + 5*n + 2. Let f be b(4). Suppose 0 = -5*g + a + f - 31, 0 = -g + 3*a + 25. Solve 4*m - g = -2*i, -12 = -3*m - 5*i + 6 for m.
1
Let h = 0 + 5. Suppose h*k - 10 = 2*a, 0 = 4*k - 5*a - 8 - 0. Solve -g - 6 = -2*r, r + 3*g - k = 1 for r.
3
Suppose t = 5*t + 5*q - 30, -4*q = -8. Solve -2*b - 5*k + 8 = 0, b - k + t = -2*b for b.
-1
Suppose -f = -1 - 3. Suppose i - 24 = f*i. Let c be 3/12 + (-38)/i. Solve c = w - 3*u, 0*u + 6 = 4*w - 5*u for w.
-1
Let w(d) = -d**3 - d**2 + d - 5. Let x be w(0). Let t be 6/x*5/(-2). Solve s - 6 = t*m - 3, -2*m = -2*s + 6 for s.
3
Let l(t) = -3*t**3 + 3*t**2 - 3*t + 1. Let u be l(2). Let s = u + 26. Suppose 0 = n + 3*n - 8. Solve 0 = h - 5, w - n*w - 2*h = -s for w.
-1
Let m be (-3 - (1 - 4))*1. Solve m = 5*i + 4*y + 30, i + 2*y = -12 - 0 for i.
-2
Suppose -2*c + 4*s = -44, 0*s - 3*s = 2*c - 23. Solve -3*a + 4*x = -c, 4*a + 3*x = -2*x - 20 for a.
0
Let u = -18 - -20. Solve -n + 9 = 3*w, -u*w + 0 + 2 = 2*n for w.
4
Let s = -10 - -10. Let v(y) = 4*y - 4 + 0 + 0*y. Let g be v(6). Solve -2*m - 3*n = 10 - s, 0 = -4*m - n - g for m.
-5
Let b(o) = 7*o**2 + 10*o + 9. Let s be b(-1). Solve -s*i + i + 5*j + 5 = 0, 2*i = 5*j + 14 for i.
-3
Let t = -2 + 4. Let w = -1 - t. Let a = 12 - w. Solve 2*l = 2*z - 0 + 6, -3*z = 3*l - a for l.
4
Let k(m) = m**2 - 7*m + 10. Let f be k(7). Suppose 0 = 5*z - 2*g + 28 - 215, -4*g = -2*z + 78. Solve 5*a = -5*r + f, 5*r - a = 3*a + z for r.
5
Let z be -1*((1 - -1) + -5). Suppose 23 = m - g, 5*g = -4*m + 4*g + 117. Suppose -z*u + m = 4*f - 0*u, -u = -f. Solve 4*l = 2*a - 26, 1 - f = -a for l.
-5
Let p = 0 - -2. Suppose -4*s - p*y + 47 = 7, -3*y = 4*s - 38. Let w = s + -8. Solve c + 5*j = -24, -7*c + j = -w*c + 12 for c.
-4
Suppose -3*h + h = -8. Let v(y) = -y + 4. Let c be v(4). Suppose c = h*p - 12 - 4. Solve j - 3 = -2*w, 3*j = -2*j - p*w + 15 for j.
3
Let h(g) = g**2 + g - 1. Let b be h(-3). Let u = -3 + b. Solve 4*x + 8 = 2*y, -u*y = -6*y - 8 for x.
-3
Let n(x) = -x**2 - 2*x + 1. Let v be n(-2). Suppose 4*h + 5*c - v - 4 = 0, 4*h - 32 = 4*c. Solve -h*i - 46 = -5*r - 6, -2*r + 24 = -4*i for i.
-4
Let l = 18 - 16. Suppose 0*i = l*i - 4. Solve 0 = 5*x - i*h + 18, 0 = 4*x - 4*h - 0 + 12 for x.
-4
Let l = 88 - 85. Solve b + l*q = -10, 3*q = -5*b + 7*q + 45 for b.
5
Suppose 64*s - 14 = 57*s. Solve -4*d = -s*d + 4*r - 6, 2*d - 6 = -r for d.
3
Let t be 102/10 + (-8)/40. Suppose -3*s - t = -s. Let l(u) = u**2 + 5*u. Let d be l(s). Solve d = -f + 5*w + 3, 5*w - 2*w - 15 = -5*f for f.
3
Let m be 0/(-1 - (-1)/(-1)). Solve 0 = -x + 2*d - 3, -2*d = -m*x - 2*x - 6 for x.
-3
Let u = 1 - -4. Solve -2*t - 4 = 2*q, u*t = q + q - 24 for q.
2
Let f be (0/4)/(-4 - -7). Solve -k + f*j = 3*j + 16, 8 = -2*j for k.
-4
Let a = 8 - 14. Let b = a + 8. Let x be 2/5*(2 + 3). Solve 0 = -x*d - b*j, 2*j = -0 + 4 for d.
-2
Let x be (-31)/(-4) + 5/60*3. Solve 0 = -2*c - 0*j - j - x, 3*c = -3*j - 12 for c.
-4
Suppose f + f + 10 = 2*h, 0 = -f - 1. Let m = h + 2. Let u be 9/6*4/3. Solve -u*a + 32 = -m*a + 5*z, -a - 5*z + 17 = 0 for a.
-3
Let v(a) = a**3 + 14*a**2 + 20. Let k be v(-14). Suppose 5 - k