
2
Suppose -3*q - 15 = -4*q. Solve 5*i - q = 2*c, 3*c + c - 20 = 0 for i.
5
Let x be 24/(-16) - (-9)/2. Solve -r = s - 5*s + 17, 4*s + x*r = -3 for s.
3
Let q(j) = j**2 + 4*j + 2. Let h be q(-4). Let x(c) = 1 + 0*c - h*c - 8 + 1. Let r be x(-5). Solve -3*f + p = 0, p = -4*f + r*p for f.
0
Suppose -5*y + 3*x = -13, -14 = -4*y + 3*x - 3. Solve 0 = -5*p + y*o - 4*o + 23, -p = 4*o - 1 for p.
5
Suppose 0 = -4*t + 5*s + 33, -t - 11 - 7 = 4*s. Let r be -3 + (t + 2 - -3). Solve -3*u + 37 = -5*h, -16 = -0*u - r*u for h.
-5
Let h be 5 - 3*(0 - -1). Suppose -5*r + h*r + 27 = 0. Solve 2 = -a, -r = -3*c + 2*a + 1 for c.
2
Let q = -139 - -142. Solve m = -3*l + 8, -20 = -3*m - 2*l - q*l for m.
5
Suppose 2*o = 4*i, -2*o + o + 5*i = 0. Let k be (-2)/(o - 1/2). Solve -20 = m - 3*m + k*w, -m + w = -6 for m.
2
Suppose v - 4*v = 0. Suppose 6*p - p = v. Solve p = 4*m + 3*u - 10, -3*u + 1 = 7 for m.
4
Suppose 5*r - 20 = 5*d - 4*d, 2*d = -4*r + 30. Suppose 3*c = -1 + 19. Solve 5*b - d*k + 30 = 0, c*k = 2*b + k + 15 for b.
-5
Let t = 22 - 16. Suppose -z + 21 = l + l, 2*l - t = 0. Solve 2*m + 9 = 3*q, 3*q = 3*m - 2*q + z for m.
0
Let n(h) = -h + 11. Let z be n(8). Suppose -z*s + s = 0. Suppose -3*r + r = -4. Solve s = -g - 3*c + r, c + 13 = 5*g - 13 for g.
5
Suppose -2*m + 0*m - 5*u = -15, -3 = -2*m - u. Solve 5*z + 0*z + 3*c + 4 = m, 5*z - 8 = c for z.
1
Let i be (-7 + 1)/36 + 2/12. Let o = -4 - -6. Solve l + o*x = -i*l - 10, x + 15 = -3*l for l.
-4
Let l(p) = -p**2 + 4. Suppose 0 = -6*o + o. Let h be l(o). Solve 3*w - 4 = h*f + 1, 2*f = -3*w - 7 for w.
-1
Suppose 60 = 3*l - 42. Let i = l + -19. Solve 4*k + 24 = -2*f, -5*k - i = 5 for f.
-4
Let a(u) = -u**2 - 6*u - 4. Let o be a(-4). Solve 4*f + c + 12 = f, -o*f + 4*c = 0 for f.
-3
Suppose -4*b + 4 = -12. Solve -2*h = -l + b, -4*l + l + 12 = h for l.
4
Let y(m) = m**2 - 12*m + 34. Let s be y(7). Suppose 5*w + 1 + 4 = 0. Let b be 3*(w - -2) - s. Solve -b*q - 2*z + 8 = -2*q, 0 = 2*z + 2 for q.
5
Let c(b) = -b**3 - 4*b**2 + b + 1. Let u be c(-4). Let t = 0 - u. Let j(a) = -4*a - 3. Let y be j(-2). Solve 0 = -2*k + y*q + 15, 6*k - 3*k = q + t for k.
0
Suppose 26 = 4*o + 5*b, -14 = -6*o + o + 3*b. Let y be -1 - (1*-4 - 1). Solve o*k - 2 = y*t + 2, -t = 5*k + 19 for k.
-3
Suppose 0*l - l = -42. Let w = l + -30. Suppose 4*z = 5*z - w. Solve 4*q + 0 + z = 4*c, q = -c - 7 for q.
-5
Let h = -3 + 3. Suppose -2*v + 124 = 4*s, -s + h*v - v = -30. Suppose s = 5*o - 18. Solve -5*r = -3*w - 4*r + o, 2*r = -8 for w.
2
Let f(w) = -7*w + 24. Let n be f(3). Solve d - n*y = -10, -2*y = d - 14 + 4 for d.
2
Let m = -5 + 10. Let b(t) be the second derivative of t**4/12 - t**3/6 - t**2 + 9*t. Let d be b(2). Solve -4*c + 2 = -10*a + 5*a, d = -a + m*c + 8 for a.
-2
Let v(t) = -t**3. Let f(m) = 5*m**3 - 2*m**2 - 3*m - 2. Let h(p) = -f(p) - 4*v(p). Let n be h(3). Solve 7*i = -4*a + 2*i - 28, n*i = a - 6 for a.
-2
Let z(v) = -v - 5. Let m be z(-8). Solve -u = 4*a - 4, -a + 0*a = m*u - 12 for a.
0
Let k be 2 - 1 - (3 - 2). Let a = 4 + 2. Let z be (-1)/(-3) - (-10)/a. Solve u = 4*h - 5, -2*u - z = -k for h.
1
Suppose -f = -6*f + n + 15, -f = 2*n - 3. Solve -4*r - 20 = -3*v, 0 = f*r - 5*v - 6 + 21 for r.
-5
Suppose 3*d + 5*i = -6, -4*i + 3*i - 4 = d. Let m = 12 + d. Solve 0 = 5*q - m*p + 30, 2*q - p - 2*p = -16 for q.
-2
Let z(y) = y + 13. Let l be z(-6). Solve -3*t + 7 = -2*w, -l*t + 3*t = w - 24 for w.
4
Suppose -2*w + 3*w - o = 2, 4*o = -3*w + 34. Solve -y - w = 3*d, 1 = d + y + 3 for d.
-2
Let g(b) = -b**3 - b**2 + b - 2. Let u be g(-2). Solve u*r - 5*r - 29 = -2*n, 3*n = -r + 1 for r.
-5
Let l(z) = -z**2 + 6*z - 1. Suppose -4*c + 5*c - 5 = 0. Let h be l(c). Solve 0 = -3*v + 2*j + 3, -4*j + 16 = h for v.
3
Suppose q - 2*x = 5, 4*q + q + 5*x = 10. Suppose -18 = -q*n + 3. Suppose n*r + 6 = 2*r - 4*o, 0 = 2*r - 5*o - 24. Solve -2*i = 6*c - 3*c + 4, r*i = -5*c for c.
2
Let v(n) = 3*n**2 + 4*n + 2. Let p(x) = x**2 + 6*x + 3. Let c be p(-5). Let d be v(c). Let j be 4/6 - (-14)/d. Solve r + j = 2*g, 2*g + 6 = 3*r + r for r.
3
Let l be 100/40*(-12)/(-10). Solve 11 = j - 2*r, 0 = 2*j + 2*j - l*r - 19 for j.
1
Let q be (6/(-7))/6 + 1/7. Solve 2*y + 10 = -5*i, -i + q = 2 for y.
0
Let v = 14 + -10. Solve 5*c - 5 = 3*n, n + v*n - 2*c - 17 = 0 for n.
5
Let p be 4/(-6)*3 + 16. Let j = p - 10. Suppose 0 = 2*g + 3*n - 44, -5*g - 2*n + 114 + 7 = 0. Solve 0*y - j*y - 5 = 3*h, 3*y - 2*h + g = 0 for y.
-5
Suppose 4*s + 61 + 79 = 0. Let b = -24 - s. Suppose -4*j + 15 = -37. Solve -5*y + b = 2*d, 0 = 2*y - 7*d + 2*d + j for y.
1
Suppose 3*t - 5 = -4*f + 16, 2*f = 6. Solve -4*n = -s - 9 - 1, n - t*s + 3 = 0 for n.
3
Let s(y) = -y**2 + 1. Let g(x) = 2*x**2 - 2*x - 6. Let t(j) = -g(j) - 3*s(j). Let q be t(-2). Solve 4*n + 0*v = -3*v - 2, 3*n + q*v + 3 = 0 for n.
1
Let s = -2 + 7. Solve o = -s*c - 18, 2*o = 5*o + 2*c + 15 for o.
-3
Let b = -161 - -28. Let f be 2/(-6) + b/(-21). Solve 0 = 4*p - 5*l - 14 - 4, -f = -4*p - l for p.
2
Let k = 2 - 7. Let g be k*4*(-2 - -1). Let i be -4 + 4/(-12)*(4 - 16). Solve i = -2*u - 5*m + 28, 0*u - 2*u - 3*m + g = 0 for u.
4
Let y be (-7)/14*(-9 + 1). Suppose -18 = 4*w - 2*w + y*p, -20 = 4*p. Let l be (-10)/(-2)*(4 + w). Solve 2*f - 10 = s, 4*f - l - 3 = 4*s for f.
3
Suppose -5*r - 30 = -5*j, 3*j - 1 = -2*r - 3. Solve -t - j*k - 1 = 2*t, 5*k - 4 = -t for t.
-1
Let d be 1/4 + 25/(-4). Let f(q) = -q**2 - 5*q - 5. Let k be f(-6). Let c = d - k. Solve c*m + 22 = -r, -12 = 2*r - 6*r for m.
-5
Let p = 35 - 31. Solve -3*m - 10 = -d, 3*d - p*m = m + 10 for d.
-5
Let m = -3 + 7. Let p be -2*1/2*-5. Solve -l + p = -y + 4*y, 4*l - 4*y - m = 0 for l.
2
Let w(u) be the first derivative of -3 + 1/3*u**3 - 3/2*u**2 + 2*u. Let m be w(6). Solve -m = 6*r - 2*r, h + 3*r = -18 for h.
-3
Let u(m) be the second derivative of m**3/3 - 2*m**2 - 2*m. Let o be u(5). Suppose -x = 2*x - o. Solve -2*f = -x*d + d - 6, f + d + 3 = 0 for f.
1
Suppose -5*t + 6 = -3*t. Solve 0 = 3*q - 0*q - 5*o + 19, 13 = -t*q + 2*o for q.
-3
Let w be -3 + 2 + (0 - -5) + 0. Solve w*h - y = 3*y, -3*h + 5*y = 0 for h.
0
Let i(y) = y**3 - 10*y**2 + 4*y - 30. Let u be i(10). Solve 2*q = 3*j + 5*q + 9, 0 = 2*j - 2*q - u for j.
1
Let s = -3 + 7. Suppose -a - h = -7, -16 = -8*a + s*a - h. Let l(w) = 2*w - 4. Let k be l(8). Solve 0*z - k = -4*c + a*z, 12 = -4*c - 3*z for c.
0
Let b(k) = 3*k**3 - 2*k + 1. Let t be b(1). Let h be (-6)/21 - 324/(-7). Let y = -33 + h. Solve -a = i - t, y = i + 3*a + 3 for i.
-2
Suppose -3*k + k = 8. Let m(l) = -l**2 - 11*l - 10. Let s be m(-9). Let f = k + s. Solve 5*z - f*p = z + 12, 3*z = -3*p + 15 for z.
4
Let b = 0 + 0. Suppose 8 = -b*y + 2*y. Solve -8 = 5*h + 3*d - 5, -32 = y*h - 5*d for h.
-3
Suppose -2*o + h = -1, -5*o + 7 = -o - h. Suppose -8 - 7 = -o*d. Solve 2*c = -4*l - 28 + 2, 25 = -d*c for l.
-4
Let a = -7 - -12. Solve -t + 11 = a*h, -8*t = -4*t + 3*h - 10 for t.
1
Let z be (-30)/4*1*-6. Suppose -4*g + 44 = 4*b, 10 - z = -5*b - g. Suppose 4*y - 30 + b = 0. Solve -4*v = -m - 19, -4*m + 2 - y = 2*v for m.
-3
Suppose -18 = -17*t + 11*t. Let s(n) = -n - 4. Let q be s(0). Let o be q/18 - (-110)/9. Solve -2*h + 10 = -t*i - o, 2*h + 2*i - 2 = 0 for h.
5
Suppose -3*o + 0*o = -9. Suppose -b - o = -0*t + 2*t, -3 = 3*t. Let y = -1 - b. Solve -2*d + 17 = -3*p, 3*d + y*p = 2*p + 13 for d.
1
Suppose 0*f + 55 = -5*q + 2*f, 0 = -2*q + 2*f - 28. Let i = q - -12. Solve 5*t + 4*c + 3 = 12, -3*t + i*c + 27 = 0 for t.
5
Let p be 2 + 0 - (1 + -3). Suppose 3*k - 2*v - 3*v - 69 = 0, k - p*v = 30. Suppose 4*u = -2 + k. Solve 4*s + 20 = u*f - 0*f, 2*s - 3*f = -11 for s.
-4
Suppose 5*l - h - 3 + 5 = 0, h = 3*l. Let u be -3*(-1 + 2)*l. Solve -3*i = -u*j - 21, i - 2*i = j + 3 for i.
2
Suppose -4*h + 21 = -8*b + 3*b, 8 = 3*h + 4*b. Solve -7*q + 2*q + 2*c = h, -5*q - 3*c + 6 = 0 for q.
0
Suppose -5*p - w = 26, 4*w = 2*p + 1 + 5. Suppose -6*a + 6 = -3*a. Let o = a - p. Solve -s - o = 2*n, 3*n + 6 = -6*s + 3*s for n.
-5
Suppose 4*m - 49 = 27. Let k = m - -38. Suppose 3*o + 3*i = -0*i + k, -39 = -2*o - 3*i. Solve 0 = -3*g - 4*s + 15, g - o = -2*g - 5*s for g.
1
Let w be 10/(-3)*15/10. Let p(i) = -i - 1. Let m be p(w). Solve 32 - m = 3*c - 4*z, 4*z = c - 20 for c.
4
Let r(p) = 12*p**3 + p - 1. Let b be r(1). Suppose 0 = 3*i + 3*d - 12, 3*i + i + 5*d = b. Solve -4*l = k - 11, -i = -2*l