
2
Suppose 0 = -3*p + 35 + 40. Suppose u = -4*u + p. Suppose 3*t + 6 = -u*x, 5*x = -2*t - 3 - 1. Solve -v + 5*l - 4 = x, 2*v + 3*v - 2 = 3*l for v.
1
Suppose 9 = -4*y - 11. Let x(g) = 2*g**2 - g**2 + 0 - 6 + 3*g. Let h be x(y). Solve 3 = 2*z - n - 5, -h*n = -3*z + 22 for z.
2
Let k(x) = -x**2 + 8*x - 2. Let d(p) = -1. Let b(f) = 6*d(f) - k(f). Let r be b(9). Suppose 2*n = -0*n. Solve 3*j - l + 14 = n, -6*j + 2*j + r*l = 37 for j.
-3
Let n(j) = -4*j - 1. Let s be n(-1). Solve 0 = f + 5*c - s*c - 12, -3*c = -5*f - 5 for f.
2
Let x(r) = r + 6. Let f be x(8). Suppose 0 = -0*a - 2*a + j - f, a = 2*j - 13. Let u be (-4)/(-20) - 14/a. Solve 2*l - u + 4 = -3*h, -2*l - 7 = 5*h for h.
-3
Let r = -18 + 22. Solve v + r*k = 0, -4*k = 3*v - 4*v for v.
0
Suppose 5*t - 7*t + 10 = 0. Solve 4*v - k + 0*k - 1 = 0, 5*v + t*k = 20 for v.
1
Let h = -4 + 7. Suppose 9 = 4*v - h. Solve 0 = -2*p + 4*n + 2, 40 - 6 = -5*p - v*n for p.
-5
Let p(m) = m**3 - 9*m**2 + 5*m + 8. Let a be p(7). Let t = a + 81. Let i be (25 - 26)/((-2)/10). Solve 4*v = i*q + t, q = -0*q - v + 2 for q.
-2
Let b = 14 - 4. Solve -2*c + 4*m = -b - 6, -5*m = -4*c + 23 for c.
2
Let y be (-3)/(-4)*4 - (-4 + 5). Solve y*f = -0*r - 2*r - 4, 9 = 3*r for f.
-5
Let s(m) = -m. Let t be s(-6). Let r be ((-12)/16)/((-24)/64). Solve t = -3*z - f, -z + r*f + 5 + 0 = 0 for z.
-1
Suppose 5*x + f = 8, 3*x + 0*f - 14 = 4*f. Solve -m + x*q = 3*m - 18, -3*m + 2*q = -16 for m.
2
Let j(h) = 2*h - 7. Let t be j(5). Let a be 44/12 + 4/(-6). Solve -4*d = -t*l + 5, a*l + 0*d - 7 = 2*d for l.
3
Let b(g) = -g**3 + 9*g**2 + 12*g - 3. Let t be b(10). Let w = t + -9. Solve i + 3*x - w*x - 15 = 0, 4*i + 2*x + 28 = 0 for i.
-5
Let c(v) = -9 + 2*v + 2*v - v. Let b be c(6). Suppose -4*l + 44 = k, 6*k - 3*k + 24 = l. Solve -3*w - 4*d + b = 0, -3*d + l = 4*w - d for w.
3
Suppose -15 = -3*v - 3. Suppose -v = -2*d + 6. Solve -5*h = -d*a - 15, 0*a = 3*a + 2*h - 6 for a.
0
Suppose -f - 2*q - 9 = 0, 4*f - q + 6 = -3*q. Suppose 3 - f = t. Solve 4*w = -20, 0 = -3*c - 0*w + t*w - 2 for c.
-4
Let a = -25 + 30. Solve 5*b = -5, q - 8 = 2*q + a*b for q.
-3
Let d = -33 + 36. Solve d*t + 15 = 0, 4*h + h - 5*t = 40 for h.
3
Let n = -20 - -22. Solve w + 2*m - n = 0, -5*m - 2 + 7 = 5*w for w.
0
Suppose -4*q + 5*u + 7 = 0, 4*q - 5 - 11 = -4*u. Solve 0 = 5*z + y + q, 0 = -y - 3 for z.
0
Suppose 0 = 5*q + v - 66, -2*q = 5*v - 5 - 3. Solve -f = 3*b + q - 6, 0 = f + 5*b + 16 for f.
4
Suppose -v - 7 + 3 = 0. Let y be 0 + 3/((-6)/v). Solve -z - 5 = -3*c, y*z + 4*c - 7 = 3*z for z.
1
Suppose 11*m - 20 = 7*m. Suppose -4*o - 3 + 11 = 0. Solve 2*q + 12 = -d, -o*q - m = -d - 1 for q.
-4
Suppose 4*f - 5*f = -3. Solve f*j - 4*c + 1 = 0, -c - 2*c + 6 = -4*j for j.
-3
Suppose 3 = 4*y - 1. Let a(j) = 3 + y + 1 - 2*j - 2. Let n be a(-4). Solve -2*k + 3*q - n = -3*k, 0 = 4*k - 4*q + 36 for k.
-4
Let p be ((-12)/(-3) - 1) + -27. Let t be (-1)/((-2)/p*-2). Suppose w = -3*b, -t*b + b = -2*w + 11. Solve 4*y - 12 = -2*v + 2, -v + w = y for v.
-1
Let m(s) = -s + 4. Let z = 4 - 4. Let k be m(z). Suppose 12 = 5*n - 3. Solve -4*q - n = q + k*x, -3*x = -5*q + 11 for q.
1
Let o = 33 - 23. Solve 4*m + 5*t = -o, -5*m + t = -t + 29 for m.
-5
Let s = 0 + 1. Suppose p = -s - 4. Let i = p + 5. Solve -15 = 5*b, 5 = -5*y - 5*b - i*b for y.
2
Let d be (-1 - -3)/(7/(-14)). Let g be 0/(-3) - (d - -2). Solve -9 = g*j + 3*i, 2*j - 4*i - 4 = 8 for j.
0
Let t = 9 - 7. Solve -3 = 3*d - h, 0*h + 2 = -t*d + h for d.
-1
Suppose -4*f = -22 + 2. Suppose -f*d - 4*w = -3 + 47, d - 2*w + 6 = 0. Let u = d + 10. Solve u*a = 4*n - 24 - 6, 5*n = a + 30 for n.
5
Suppose 4*c - 65 = -3*t, -3*c = -2*c + 4*t. Let n(k) = 5 + 4*k**2 - k**3 - 10*k**2 + 2*k**3. Let q be n(6). Solve s + q*b = -0*s + 8, 5*s = -5*b + c for s.
3
Let g be (-6)/36 + 25/6. Suppose 16 = 4*o + 5*r - r, -g*o - r + 22 = 0. Solve -3*c = 2*t - 15, -o*t + 5*c - 25 = -3*t for t.
0
Suppose -2 = 4*n + 2. Let f = n + 6. Solve -f*h + c + 4 = -h, -18 = -5*h - 2*c for h.
2
Let h(x) = x - 2. Let n be h(2). Solve n = d - 3*i + 12, -11 = 3*d - 3*i + 1 for d.
0
Let l = 39 + -34. Solve -2*p - 1 = -4*n + 5, 3 = -n + l*p for n.
2
Let d be (-5)/(-3 - 2*-1). Suppose 3*b - 5 = 2*i - 1, b + 4*i - 20 = 0. Solve 2*a - 10 = m, -b*a + 10 = -d*m - 16 for a.
4
Suppose -6*p + 5*x = -p - 25, 3*p = -4*x + 8. Solve -5*w - 5*z - 9 + p = 0, w - 2*z - 14 = 0 for w.
4
Suppose 50 = 4*w - 34. Suppose -2*h - h = w. Let m(p) = p**3 + 8*p**2 + 5*p - 10. Let v be m(h). Solve -3*b - 2*z + 11 = -8*b, -8 = v*z for b.
-3
Suppose 4 = q - 0. Solve -r + 5*r = -5*k - 26, 2*r - q*k = 0 for r.
-4
Let z(k) = 5*k**2 + 1. Let h be ((-3)/(-3))/(1/3). Suppose n + 2*n + h = 0. Let o be z(n). Solve -x - 2*y - 1 + 4 = 0, -y = 2*x - o for x.
3
Suppose 0*w + 2*a + 2 = 2*w, 0 = -w - 2*a + 4. Let s be -2*(0 + 1) + w. Suppose s*h = 5*h - 10. Solve 0 = -f + 4*z + 6 + 3, 0 = -4*f - h*z for f.
1
Let b = 2 + 5. Solve 7*r + 20 = 2*y + 3*r, y - b = r for y.
4
Let i be (10/(-25))/((-3)/30). Solve -4*n + t = -8*n + 13, -i*n = -3*t - 9 for n.
3
Let j be (-8)/16 - (-10)/4. Suppose 0 = -5*w + j*h + 3*h + 35, -2*w = 3*h + 1. Solve -3*c + 6*i - 5 = w*i, 0 = c - 5*i - 7 for c.
-3
Suppose 5 - 1 = r. Suppose -2*x = 4*o - 28, -5*o + 4*x + x + 5 = 0. Let p = -3 + o. Solve m + p*w = 3*w + 7, r*w + 13 = -m for m.
3
Let h(k) = -k**2 - 3*k + 3. Let l be h(-3). Let a be 7/1 - (l + -1). Solve -a*c = 5*b + 5, -2*b + c + 13 = -2*c for b.
2
Let s(x) = -24*x + 13. Let w(f) = -8*f + 4. Let t(p) = -2*s(p) + 7*w(p). Let i be t(-2). Solve -4*o + i = 5*v, 5*o - 4*v - 2 = -0*v for o.
2
Suppose c - 7*y - 14 = -2*y, -c = -4*y - 12. Let a(b) = -2 + 2*b + 2*b**2 + 0*b + b**2 + c - b**3. Let i be a(3). Solve -d = 4*f - 4, -f + i = -4*d - 10 for d.
-4
Let v(j) = j**3 - 8*j**2 + 2*j - 11. Let y be v(8). Let b be (-3)/5 - 92/(-20). Solve 4*q = -y*a - 7, -4*a - b*q - q = 2 for a.
-3
Suppose 5*u = -4*f + 5*f - 27, -2*f - 3*u - 11 = 0. Solve 4*o = -0*o + f*n - 12, -5*n + 9 = -3*o for o.
-3
Let w(s) be the second derivative of s**5/20 + s**4/4 - s**3/6 + s**2/2 - s. Let c = -10 + 7. Let l be w(c). Solve 0 = 5*q - 5*k - 15, -l*k + 0 = q - 13 for q.
5
Let j(b) = -b**3 + 10*b**2 - 10*b + 12. Let x be j(9). Solve -2*q + 0*y - 10 = x*y, y + 7 = 3*q for q.
1
Let a be 194/(1 - 3/(-3)). Suppose -4*g = -a + 29. Solve 3*z = 3*p - 3, -p = p - 5*z - g for p.
-4
Let v(l) = 2*l**3 - 2*l**2 + 5*l - 2. Let g be v(2). Solve 0 = -n, -4*a = -n - n - g for a.
4
Let n(p) = p**3 - 6*p**2 - 6*p - 4. Let w be n(7). Let q = -1 - -5. Solve j - w*f + 17 = 3*j, -2*j + q*f - 4 = 0 for j.
4
Suppose -f + 3*f + 20 = 0. Let g be (-4)/f - (-228)/30. Solve g*c - 3*c + 12 = o, -6 = 3*c - o for c.
-3
Let k = 26 + -22. Solve -k*v = -2*j - 6, -3*j + 2*v - 6*v + 11 = 0 for j.
1
Let v(o) = o**3 + 7*o**2 + 3*o + 3. Let q be v(-7). Let y be ((-6)/(-1))/(q/(-12)). Solve -3*k + 4*w + y = 29, 2*w = -5*k - 7 for k.
-3
Let n be 8/(-32) + (-2)/(-8). Suppose 0*b = -2*k - b + 2, 4*k - b - 16 = n. Solve 0 = -4*f - s - 1, -4*s = -k*f + 7*f + 4 for f.
0
Let u = -96 - -98. Solve 0 = -u*r, -3*r - r = 4*a + 20 for a.
-5
Let d(o) = -o + 3. Let b be d(0). Suppose 0 = b*p + 2*p - 30. Let h be 0*(-3)/p - 0. Solve h = 3*k + 2*a + 2*a - 15, -3*k - 3*a = -12 for k.
1
Suppose 6 = -3*p - 5*c, -44 = 4*p - 2*c - 10. Let n(h) = -h**2 - 8*h + 3. Let u be n(p). Suppose 3*i - 5*i = -u. Solve 0 = -a + 2*r + 8, -2*a = -r + i*r for a.
4
Suppose -2*j - 8 = 2*l, -3*j + 4 = -6*l + l. Let x = j - -4. Let y = 785 - 785. Solve -x*q - 2 + y = -h, 5*q + 6 = 3*h for h.
2
Suppose 2*i + 2*i - 32 = 4*q, -4*q = 3*i + 4. Suppose -2*p + 14 = -o - o, 26 = i*p - 3*o. Solve 0*z = 2*z + 10, 0 = -p*l - 3*z - 40 for l.
-5
Suppose -g - 17 = -2*g. Solve -c - 3*p + 9 = -5*c, 4*c = -5*p - g for c.
-3
Let q(d) = -d**3 - 6*d**2 + d + 6. Let x be q(-6). Suppose 5*l + x*l = 60. Solve -l = 4*k, -j + 0*j = -5*k - 15 for j.
0
Let k = 0 + -5. Let t = -2 - k. Solve -4*d + 23 = t*f, 3*f + 2 = 3*d - 2*d for f.
1
Suppose -3*o + 89 = -5*a, -2*o + o - 5*a + 3 = 0. Solve 3*q + 3 = -3*b, -2*b - b = -2*q + o for q.
4
Suppose 20 = 2*h + f - 22, 2*f - 8 = 0. Solve 0 = -4*j + 4, 0*a + 3*a - 4*j = -h for a.
-5
Let d = -10 - -12. Let s be (-1)/d*2*-5. Solve 2*y + 2 = 5*c, 2*c + s = -5*y + 7*c for y.
-1
Let h = 94 + -89. Solve -4*g = -a - 9, 0 = a + 2*g + g - h for a.