*s + 3*c = -5 for s.
2
Let q(o) = 3*o - 3. Let r be q(5). Let i = 16 - -4. Suppose w - i = -3*w. Solve x = w, 4 + r = s + 4*x for s.
-4
Suppose 97 = 5*q + 77. Let g be (-1 - (-5)/2)*q/3. Solve -5*h = 3*m - 9, 0 = -h - h - g*m + 2 for h.
3
Let g be 18/4 - 2/4. Let s be g + -1 - (7 - 21). Solve -5*q = -5*f - 0*q - 20, 5*q - s = 4*f for f.
-3
Suppose 11*o - 45 = 8*o. Suppose 3*d - o + 6 = 0. Solve 4*f - d*q + 17 = 0, 0*q = 5*q + 5 for f.
-5
Suppose -14*w + 24 = -6*w. Solve 0 = u + w*a - a + 12, -2*u - 12 = a for u.
-4
Let z be 1 + -3 - (-7 + 5). Let b(m) = z + 3*m - 4*m + 9 - 2. Let r be b(5). Solve 0 = -2*u - 3*y + 13, 3*u + y = -0*u + r for u.
-1
Suppose 26*y - 8*y = 72. Suppose 7 + 2 = -v + 3*t, 3*t = 2*v + 9. Let o = 3 - v. Solve 17 = -o*k + 5*x - 7, -9 = y*k + x for k.
-3
Let p be (-6050)/(-495) + -1*(-2)/(-9). Solve b = g + 6, 6*g + p = 3*g - 3*b for g.
-5
Let i(t) = -t**2 + 19. Let n be i(-4). Solve a - n*a - 4*m + 28 = 0, 0 = -2*a - 2*m + 18 for a.
4
Suppose 7*b + 15 = 8*b. Solve 4*c = -5*z - 14, -6*z = -z + 5*c + b for z.
-2
Let j(i) = 7*i. Let g be j(1). Suppose 0 = 2*r - 0 + 42. Let u be 113/g - (-3)/r. Solve y = -3*c + 2*y - u, 0 = -4*c - 2*y - 8 for c.
-4
Suppose 2*m - 20 = -6*w + 2*w, 0 = -2*m + w. Solve -3*l - 3 = 3*i, -m*i + 20 = -5*l - 13 for i.
4
Suppose -4*d + 5*q = 8, 7 = -3*d - 201*q + 205*q. Solve 3*p + 5*t = -7 + 30, 0 = -5*p - d*t + 17 for p.
1
Suppose 0 = f - 5*f + 8. Let a(g) = 8*g - 156. Let x be a(20). Solve d = -o - 2, -3*d + o + x + f = 0 for d.
1
Let x(k) = -k**3 - 16*k**2 + k + 18. Let s be -4 + 5 + -20 + 3. Let v be x(s). Suppose 0 = -0*f + v*f - 16. Solve -6*r + 2*r + 36 = 4*m, f = 2*r for m.
5
Let u(j) = 5*j + 42. Suppose 4*y + 8 = -24. Let r be u(y). Solve 2 = q + n, 0 = -q - 4*q + n - r for q.
0
Let l(g) = -3*g - 20. Let a be l(-8). Suppose -11*k - a*k = -90. Solve 4*d + 0*v = -v - 7, -2*v - k = 0 for d.
-1
Let h be -5 + 1 + 6 + 1 - 1. Solve 0 = 5*f - h*f + 6, -5*f + 10 = -4*w for w.
-5
Suppose -23 = -5*n + j, 5*j + 9 - 14 = -5*n. Solve -m = -5*w - 3*m - 12, 2*m = -n*w - 8 for w.
-4
Let o(u) = -2*u - 10. Let m be o(-11). Solve 5*g - 5*a + 8 = -m, 4*a = -5*g - 2 for g.
-2
Suppose -21*t = -15*t. Solve 4*c = -3*g - 5, -3*c - 4 + t = 2*g for g.
1
Suppose -5*s - 5*z = -20, 12*z - 17*z + 5 = 0. Solve -s*p - 1 = c - 4, 6 = 5*p + 2*c for p.
0
Suppose q - 2*q - 1 = j, 28 = 2*q - 4*j. Solve 6 = 3*w + 3*l - 6, 2*w - q = -l for w.
0
Let s be 56/12 + 1/3. Suppose -9*o - 5*m = -6*o + 7, -o - 7 = 4*m. Solve 4*r = -5*p - s, 0*p = -3*p - 2*r - o for p.
3
Let n be 0 + -1 - (-41 - -36). Solve 4*i - 27 = 5*z, 3*z + n*i - 24 = 7*z for z.
-3
Suppose -3*n + 24 = -3*v, 2*v + 1 = -n - 6. Solve -2*o + 2*y = -2, 0*o = n*o - y + 3 for o.
-2
Let h = -17 - -10. Let y be 0*(28/8)/h. Solve 2*q - q = -r - 6, y = -5*q - 20 for r.
-2
Suppose -s = 4*d - 14, 2*s = -3*d + 3 + 5. Solve -4*l = -2*t - 10, 0 = -d*l + 5*t - 1 + 8 for l.
3
Suppose -5*y + 4*w = 6*w - 15, 3*w = -3*y. Solve 5*c = 5*p + 18 - 48, 0 = 5*p + 2*c + y for p.
1
Let y(k) = 3*k - 43. Let z be y(15). Solve -a = -z, -4*s + 0*a = -3*a + 18 for s.
-3
Suppose 6*o - 4*o = 0. Suppose 0 = -o*n + 4*n. Suppose n = 5*h - 0 - 15. Solve 0 = 4*u - u + h*g + 3, u = -2*g - 5 for u.
3
Let u be (-1 + 0)*7 + 11. Solve -t - u*g + 15 = 2*t, -3*g + 13 = 4*t for t.
1
Suppose 85 = 4*q + 65. Solve b + 3*o = q*o + 4, -20 = 5*o for b.
-4
Let d(t) = t**3 + 7*t**2 + 3*t - 13. Let o be d(-6). Let a = -44 - -78. Suppose -66 = -4*k + a. Solve -3*q - n = -o, k = -q + 6*q + 5*n for q.
0
Let q(z) = 16*z + 133. Let t be q(-8). Solve t*v - 13 = -4*f, 4*v - 9 = v - 3*f for v.
1
Let j be (36/45)/((-2)/5). Let o be 8*2/(-8)*j. Solve -r - 4*i = 3, -7*i + o*i - 8 = -5*r for r.
1
Suppose 33 - 8 = 5*m. Let o(j) = -54*j + 167. Let f be o(3). Solve 15 = h - 3*l, m*l + 26 = f*h - 3*h for h.
3
Suppose 16 - 16 = 7*p. Solve -3*o = 2*z, 0 = 5*o - p*z + 3*z for o.
0
Let g be (-6 - -3) + (-5 - -14). Suppose -2*o = k - 4 - g, -3*k + 26 = 5*o. Suppose -3*t = -8*t. Solve t = -k*x - a - 12, 5*x + 21 - 6 = 5*a for x.
-5
Let j be (-4 - (-35)/10)*-4. Let t be 56/14 - (-1 + j). Solve -23 = a - 5*v - 0, t*a - 7 = -4*v for a.
-3
Suppose -4*x + 22 = 2*i, -2*x = -4*i - i + 19. Solve -4*t + 14 = 2*k, -4*k + t = -x*t + 8 for k.
1
Let m(x) = -x**2 - 5*x. Let d be m(-4). Suppose -h + 21 = 2*h + 2*o, -d*h = 3*o - 28. Let n = 9 - h. Solve -v - 3*b - 1 = -n*v, -4*b = -2*v + 4 for v.
4
Let p = 299 + -296. Solve 5*v - i = -10, -p*i + 4*i = 5 for v.
-1
Suppose -3*x = 83 - 89. Solve -4 = -o - x, 0 = 4*w + 3*o - 2 for w.
-1
Let z(p) = p**3 - 5*p**2 + 5*p - 9. Let u be z(6). Suppose 0 = 3*h - u - 12. Solve -5*q + 0 = 2*s - 13, 3*q - h = -5*s for q.
1
Let x be 94/(-8) + 19/(-76). Let r(c) = c + 13. Let v be r(x). Solve -5*u - 15 + v = -i, 2*u + 2 = 4*i for u.
-3
Let b = 1423 + -1395. Solve 12 = -2*x + 4*i, 34 - b = x + 4*i for x.
-2
Suppose 3*n + 0 - 9 = 0, -i + 5*n = 15. Solve -b + 4*b + 4*z - 10 = i, -2*b = 3*z - 7 for b.
2
Suppose 19 = 5*j - 2*w, j + 26*w - 20 = 21*w. Solve -4*r - 2 = -j*o, 4*r - 8*r + 6 = -o for o.
2
Let f(m) = m**3 - 15*m**2 - 16*m + 2. Let j be (230/12 - 3) + (-2)/12. Let o be f(j). Solve -5*y = -y + o*v, 5*y - v = 7 for y.
1
Suppose 708*i + 60 = 711*i. Solve -n - 19*t = -i*t + 5, -5*t + 20 = 0 for n.
-1
Suppose -2*j + 10 = -3*o, -5 = -3*j - 4*o - 7. Solve -20 = 3*r + 2*r - 5*l, j*r + 18 = 4*l for r.
1
Suppose 5*t - 6 = 3*t. Suppose -14*j - 32 = -256. Solve j = 4*h, -3*n - 11 = -4*n - t*h for n.
-1
Let r = 39 + -35. Solve c + 3*u - 13 = 0, -c + r*c + 5*u = 23 for c.
1
Let w be (-18 - 0) + -3 - 2. Let t = w - -25. Suppose -2*k - 2 - 2 = 0, n - 2*k = 16. Solve 0*f - 20 = -4*a + 4*f, -t*f = -4*a + n for a.
1
Suppose -2*f + 15 = -27. Solve 3*a = -2*j + f, -3*j - 2*a = j - 22 for j.
3
Suppose 0 = -4*r - 6*c + 2*c + 32, -2*r + c + 1 = 0. Suppose -5*q - 5*m + 35 = 0, 5*q - r*m = -2*m + 5. Solve -3*l + 6 = -t - q*t, -5*t - 2 = 3*l for l.
1
Suppose -4*g + 3*r + 26 + 48 = 0, 2*r + 16 = g. Solve 0*z + 4*z + g = 2*q, 3*q - 3*z = 21 for q.
4
Suppose 2 + 22 = -3*j + 5*x, x = 2*j + 23. Let b(l) = -14 - 2*l - 10 - 2. Let i be b(j). Solve 3*n + 2*n - 15 = i, 11 = -u + 5*n for u.
4
Suppose -2*v = -5 + 1. Let s be (-91)/(-26) + 3/v. Solve 0 = -s*b - 4*d + 14, 4*d = -2*b + 3*b + 2 for b.
2
Let k(n) = -4*n + 45. Let f be k(10). Solve 5*u + f*a - 1 = 4, -5*u + a - 25 = 0 for u.
-4
Suppose 0 = -4*y + 1 + 23. Let d be (-4 - (-16)/y)*-3. Solve -d*w - 5 = -r, 0*r + 6 = -2*r for w.
-2
Suppose -2*h = p + 5, -2*h + 16 = -4*p + 6. Let z be p/(30/(-8))*5. Suppose 0 = -z*v - 4 + 16. Solve 5*x = -3*b + 24, 0 = -2*b + x + v for b.
3
Suppose -3*p - 5*b + 15 = p, -b = -3. Solve 4*x = 3*k - 11, p*x + 10 = 5*k - 5*x for k.
-3
Let u(z) = -z**3 + 6*z**2 - 6*z - 5. Let i be u(4). Suppose 4*f - 16 = -2*l, i = l + f - 3. Solve -k - l*w - 12 = 0, -2*k - w - 3*w - 8 = 0 for k.
4
Suppose x + 5*x + 66 = 0. Let m = 15 + x. Solve -2*p = 2*y - 6, -m*p - 6 = -y - y for p.
0
Let t(h) = -h**3 - 6*h**2 - 10*h. Let b be t(-4). Suppose b*x = 3*x. Solve 5*m = -y - 13, -y - 4 = 2*m - x*y for m.
-3
Let r be (9 - -3)/(4/10). Solve -5*s - 4*f = -r, -4*s - 6 = -2*s - 2*f for s.
2
Let u be 2 + -2*1/2. Suppose -2*q = 5*t - 0*t - 3, -u = -q - 3*t. Solve -r + 17 = 3*r + 3*f, -q*r - 5*f = -23 for r.
2
Let y(t) be the second derivative of -t**5/20 + t**4/2 + t**3/2 - 4*t**2 - 6*t. Let z be y(6). Let u = z - 5. Solve 4*g - u*b + 10 = -6, b = -4*g + 8 for g.
1
Let y(o) = 23*o + 23. Let q be y(5). Let g = q + -133. Solve -3*b - 4*m = 11, 20 = -8*b + 5*b + g*m for b.
-5
Let f be 4*(-9 - (-429)/44). Solve -f*m + 3 = 3*x, 2*x = m + 2*m - 18 for m.
4
Let d = -71 + 72. Let m be 4 + -9 + 6 + 2/d. Solve 3*t - 6 = 0, 5*t = m*o - 4*o + 12 for o.
2
Let j be 34/18 + 13/117. Solve -2*v + 4 = -2*q, 0 = -j*q - 5*v + 2*v + 11 for q.
1
Suppose 0 = 3*m - 6. Suppose -4*s - 9 = -m*f + 25, 3*s + 36 = 3*f. Let n = f - 3. Solve n*h - h = x, -3*x = -2*h for x.
0
Suppose 0 = 5*r - k - 176, -4*r - k - 37 + 185 = 0. Let g = r - 32. Solve 0 = -4*a - n, -3*a = -a + g*n - 14 for a.
-1
Suppose -24*q = -27*q - i + 16, i + 4 = q. Solve 5*d + 30 = -0*d - 5*a, 4*a = q*d - 15 for d.
-1
Let n = 491 - 489. Solve 4 = 3*f + 4*c, 2*f = -f + 2*c - n for f.
0
Suppose a = 3*a - 2*w, 0 = -4*a - 2*w + 12. Solve a*l = i + 7, -2*i + 3*l - 27 = -6*