g - 4 = -o, 5*z - 2*g - 25 = 0 for z.
5
Suppose 0 = -5*v - 3*f + 415, -2*f + 51 = 3*v - 199. Suppose -3*b + v = 2*b. Solve 12 = -2*s + s + 3*o, 2*s + 4*o = b for s.
0
Let p(u) = u**2 + 10*u + 30. Let n be p(-5). Solve 12 = a - 4*l, -5*a + n*l - l + 28 = 0 for a.
4
Suppose 0 + 5 = b. Let g(f) = -f - 7. Let c be g(-10). Solve 0 = 5*u - 2*u + b*s - 37, c*u - 2*s - 2 = 0 for u.
4
Let p(w) = -2*w - 11. Let u be p(-7). Solve -5*m + 7 = -0*t - 2*t, -u*m = 4*t + 1 for m.
1
Let b be (1 + (-44)/12)/(2/(-3)). Let u(w) = 36*w**3 - 2*w**2 + 2*w - 1. Let p be u(1). Solve 3*j = b*h - p, -2*h = j + j for h.
5
Let t = 15 + -10. Solve -d = -5*i - t - 25, 0 = 5*d + i - 20 for d.
5
Let g = -2 + 7. Suppose g*q - h = 24, -q + 5*h + 5 = -19. Let w = q - 2. Solve 20 = z - w*x + 6, 5 = -5*z - 5*x for z.
4
Let c be (-2)/4 - (-126)/12. Let b = c - 10. Solve d - k - 8 = 0, -2*d + 3*d - 3*k - 16 = b for d.
4
Suppose 4*z - 39 + 7 = 0. Suppose -5*g + 3*m + 22 = 0, -m + z = -3*m. Solve g*p + w = 0, -4*p = -p + 2*w + 2 for p.
2
Let b(x) = -x**2 - 7*x - 7. Let w(a) = -a**2 + 5*a + 1. Let n be w(6). Let s be b(n). Solve 18 = 5*v + s, 2*i = -5*v + 21 for i.
3
Let x = 45 + -42. Solve 2*y + x*p = -1, -4*y + 4*p + 5 + 3 = 0 for y.
1
Let m be 27 - (3 + 5 + -4). Solve -c = -4, 0*c + m = 3*s + 2*c for s.
5
Let t(x) = x**3 - 4*x**2 + 4*x + 1. Let m be t(3). Suppose -3*b - 30 = -0*b. Let h be (-76)/b - 2/(-5). Solve -5*u - 4*i = 23, m*u - i + h = i for u.
-3
Let j = -3 - -6. Let l = -79 - -84. Solve -3*m + l*k + 5 = 16, m - j = -5*k for m.
-2
Let i(l) = -l - 4 - 3*l - 4 + 5. Let h be i(-4). Solve -2*g = -2*z + 7*z + h, 0 = z + 5*g + 21 for z.
-1
Suppose -4*t = -4*n - 4, 5*n - 7 = -3*t + 12. Let h be n/(-1 + 20/12). Solve -3*y = i - 5*y + 1, 5*i = -h*y + 8 for i.
1
Let d(l) = -4*l - 12. Let q be d(-7). Let m be q/(-24)*(-2 - 1). Let k = 3 + -1. Solve -u + 7*g - k*g - 16 = 0, 0 = 4*u - m*g - 8 for u.
4
Let p = 5 + -3. Suppose 3*t - 5*c + 28 = 0, -c + 8 = -4*t + 3*t. Let b be (-10)/6*(3 + t). Solve b*v - z + 6 = -0*z, -p*z = -2 for v.
-1
Let x(j) = -j**2 + 9*j - 10. Let g be x(8). Let f be 3/g*4/(-6). Solve 0 = -4*i + 4*r, 2*i - 5*r + f = -2*i for i.
1
Let t(v) = -v - 1. Let u be t(-3). Suppose -u*i - 3*i = 0. Solve -4*b + p + 3 - 2 = i, 2*b + 2*p = -2 for b.
0
Suppose 0 = -5*o + 2*o - 15. Let c(a) = a**3 + 5*a**2 + a + 8. Let v be c(o). Solve 5*g + 5 = g - 3*p, -v*g = 4*p + 9 for g.
1
Suppose 3*x + 10 = 8*x. Solve 7*v - 2*v - 4*s - 9 = 0, 3*v = -5*s - x for v.
1
Suppose 0 = -4*f + 2 + 14. Solve 4 = -f*d + 2*y, -d - 5*y = -2*d - 19 for d.
1
Let x = 8 + -12. Let q be (2 - 2)*(-2)/x. Let y(l) = l**3 - 14*l**2 + 15*l - 16. Let j be y(13). Solve 3*h + 2*c + j = q, -5*h + 0*c = 2*c + 18 for h.
-4
Suppose 4*p + p = 0. Let i be p/((-3 + 2)*-2). Let a = -29 + 49. Solve i*o = 2*s - 5*o - 20, -s + 5*o = -a for s.
0
Let b = -1 - -3. Solve -o - 7*v + 3*v = 16, 0 = -o + b*v + 2 for o.
-4
Suppose 0 = -0*c + 2*c. Suppose c = -2*q + 3*x - 3, 2*q = 4*q + x - 9. Solve 3*r = -q*k, 0 = -k - 0*r + 3*r + 4 for k.
1
Let g(a) = a**2 + 22*a + 23. Let b be g(-21). Solve 3*m - 2*m = -2*n - 3, -3*n + 13 = -b*m for m.
-5
Let r(n) = 2*n - 8. Let v be r(6). Solve 3*q - 23 = -2*g, -v*q + 30 = g + 6 for q.
5
Suppose y = 6 - 23. Let x = -10 - y. Solve 4*f - 3*f + 2*j = x, -2*j = 5*f - 27 for f.
5
Let d(c) = -c**2 + 5*c + 3. Let r(i) = -i + 12. Let v be r(6). Let z be d(v). Let o be (-10)/z*15/10. Solve 3*k - 4*k - o = 0, -h - 15 = 2*k for h.
-5
Suppose -3*y - 381 = -399. Solve 3*d - y*d = -12, -q = d - 1 for q.
-3
Suppose 0 = 2*o - 0*o + 20. Let h(j) = j**2 - 4*j - 13. Let b be h(6). Let u be o*2/4*b. Solve 2*i = 2*r - 8, -u*r + i = -5 - 19 for r.
5
Suppose 2*z - z = 4. Solve 7 + 1 = 2*g - 2*o, z*g - 5*o - 17 = 0 for g.
3
Suppose 0 = 4*r + 3*n - 14, 5*n + 15 = -0*r + r. Solve -5 = -r*v + 2*c + 3, -4*c + 10 = 3*v for v.
2
Suppose 7*x = 12*x - 10. Solve 4*f + 2 = x*g, -4*f + 3*f + 2 = -3*g for g.
-1
Suppose 0 = 2*f + 2*z, -2*f - 4*z = -0*z + 8. Let g(q) = 4*q**2 - q + f - 3*q**2 - q**3 + q + q. Let u be g(0). Solve -3*b + 10 = -m, -3*m = -3*b + u*b for b.
3
Let u be ((-128)/(-6))/(2/9). Suppose -4*p + u = 8. Solve 0*v - 5*v = -15, -4*a + 2*v - p = 0 for a.
-4
Let w(b) = -16*b + 1. Let f be w(-1). Let l = f + -8. Solve -2*y + 0*q - 5*q - 9 = 0, 4*y + l = -q for y.
-2
Let a(m) = -m**3 - 8*m**2 + 9*m + 2. Let x be a(-9). Solve -33 = -2*d + 2*r + 3*r, r + 13 = x*d for d.
4
Suppose 0 = f - 2*t - 2, -f + 4 = 3*t - 13. Suppose 0*a - f = -4*a. Solve -5*d - 15 = 0, a*d = 4*s - d - 9 for s.
0
Let i = 31 - 43. Let y = i - -15. Solve d - 3*s - 8 = -0*d, 2*d + y*s = -20 for d.
-4
Let f be 44 + -1 + 2 + -5. Let o = f + -24. Solve 4*u - 2*l = -o, 4*u - 3*l - 6 + 22 = 0 for u.
-4
Suppose -2*n + 55 = 3*v + 3*n, -n = -2. Solve o - 3*a = -o - 21, -3*a + v = 0 for o.
-3
Suppose 2*o = 7*o - 4*p - 40, -5*o + 2*p = -40. Let j(q) = q**2 + 3*q + 4. Let z be j(-3). Solve -z*f - 2*n = -n - 20, -3*f + o = -n for f.
4
Suppose 3*w - 3*u + 12 + 0 = 0, -20 = -5*w - 3*u. Let d be (-2)/(0 - (-4 - -2)). Let a = d + 4. Solve r - s = -0*s + w, 3*s = -4*r - a for r.
0
Let t = -33 + 35. Suppose 2*h + 5*r = 7*h - 185, -113 = -3*h + 4*r. Suppose 2*m = -3*m + h. Solve -t*j - m = p, 4*j + 2*p = j - 12 for j.
-2
Suppose 0 + 5 = -5*i + 4*d, -2*i = 5*d + 35. Let b = i + 7. Solve 2*y = 5*z + 1, -b*y + 2*z + 4 = -3*y for y.
-2
Suppose 3*x = 2*x + 1. Solve 0 = v - 2*v + n + 7, 0 = -v - n + x for v.
4
Let l = -5 - -8. Suppose -2*j = -0*j. Suppose x + j - l = 0. Solve 0 = p + 4*c - 1, -p + 0*p + 8 = -x*c for p.
5
Let h(r) = 4*r + 5. Let p be h(5). Let x be 0/((-2)/6*-3). Solve t + v + 1 = x, t - v - 4*v + p = 0 for t.
-5
Suppose 5 = 2*p + p + 4*l, -4*l = -4*p + 44. Let r(z) = -2 - z + 15 - 2. Let c be r(p). Solve 5*q = u - c*u - 6, 0 = -2*q - u - 2 for q.
0
Suppose -3*p + 4*x + 9 = -6, -4*x = 0. Solve -20 = -i + t - p*t, 0 = -i + t for i.
4
Let w(h) = -2*h**2 + 14*h + 2. Let b be w(7). Solve 5*d = -2*x + 8, 2 = 3*d + 2*x - b for d.
2
Let i be 4 - ((-2 - -4) + -1). Let w(p) = -p + 5. Let j be w(0). Let v = j + -2. Solve -v*r + 4 = -4*o - i, -3*o = 4*r - 1 for o.
-1
Let s(c) = c**3 + 5*c**2 - c + 1. Let x be s(-5). Let o = x - -2. Suppose 2*k + 0 - 8 = 0. Solve 10 = -2*b - k*g + o*g, -b + g - 2 = 0 for b.
1
Let j(g) = -g**2 - 11*g + 13. Let c = 3 - 13. Let o be j(c). Solve 4 = y + 5*b - 5, 5*y = -3*b + o for y.
4
Suppose 0 = 3*f + 7 - 25. Suppose w - f = 2. Solve 2*k - 4*i = -k + w, -i = 2 for k.
0
Let a(i) be the second derivative of i**4/12 + i**3/2 + 9*i**2/2 + 9*i. Let q be a(-7). Solve 0*u - u = -5*g - 22, 4*u = -5*g - q for u.
-3
Let m = 114 + -112. Let o be (-1)/(2/1)*-2. Solve 2*f = -5*k + o, m*f = -3*k - 3*f - 7 for k.
1
Let u(m) = m**3 + 9*m**2 + 6*m - 11. Let o be u(-8). Solve 35 = -5*w + 4*y, 0 = -o*y + 33 - 8 for w.
-3
Suppose h - 4 = -0. Let b be (-4)/8 + 126/h. Solve s = -4*c - 2*s - b, -2*s = 10 for c.
-4
Let h(t) = t**2 + 13*t + 2. Let w be h(-7). Let v = -25 - w. Suppose -2*o + 20 = 4*k + 2*o, -3*k + 2*o + v = 0. Solve k*r - 5*d + 15 = r, -3 = -d for r.
0
Suppose 22 = x - 2*f - 3*f, 2*f + 8 = 0. Solve 5*w - 3*n = -31, 14 = -2*w + x*n - 0*n for w.
-5
Let o(a) = -2*a - 8. Let p be o(-6). Let s = -9 + 16. Let d = 47 - s. Solve d = -4*q - 5*j, -3*j - 2 = 2*q - p*q for q.
-5
Let m be 3 + (-1 - 1) + 1. Let d = -1 + m. Let u be d*-4*3/(-4). Solve -4*h = -4, 2*o + u + 3 = -4*h for o.
-5
Suppose 0*o = -5*o + 20. Let j be 14/o - (-1)/2. Solve 2*c + 8 = -j*x, -2*x - c - 8 = 2*x for x.
-2
Let v be ((-8)/(-6))/((-1)/(-3)). Suppose -v = -d - 1. Let r be 1/(-3) + 7/d. Solve k - 2 = 0, 0 = r*a - k - 4*k + 4 for a.
3
Suppose -3 + 24 = 3*u. Let v be (-2)/(-8) - (-60)/16. Suppose u*l - 6 = v*l. Solve 2*z = l*j - 4*j - 6, -2*j = -2*z - 14 for z.
-5
Suppose -4*n = 5*r - 51 - 72, 0 = -2*n + 4. Let j = -11 + r. Solve q + 11 = 2*q - 3*k, j = 4*q + 4*k for q.
5
Let o = 34 - 17. Solve o = -4*h - 5*v, 3 = 5*h - v - 12 for h.
2
Let z(u) = u**3 - u - 2. Let d be z(2). Suppose d*q - 20 = -q. Let n be (2/1 - -1) + -1. Solve q*r = m + 3, m + 1 = -3*r - n for r.
0
Let b(j) = -j**3 + 5*j**2 + 6*j + 3. Let h be b(6). Suppose h = -3*d + 9. Solve -4*v + 3 = -3*x + d*x, -5*v + 4*x = 10 for v.
2
Let m = -58 + 62. Solve -2*n - 5*h - 1 = 0, -m*h = -2 + 6 for n.
2
Let y(w) = w**2 + w + 2. Let b 