 0, 0 = 4*c + 16 for x.
2
Suppose 0 = -s + 7 - 5. Suppose -57 = -s*n - 17. Suppose 3*a - n = -a. Solve 2*z + 10 = z + a*j, z = j + 2 for z.
5
Let y(r) = 8*r**2 - 3*r + 2. Let p be y(1). Suppose 12 = -3*c + p*c. Solve -5*n = 3*j - 13, 0 = 3*j - c*n + 3 - 0 for j.
1
Let q(j) = j**3 - 32*j**2 + 34*j - 81. Let o be q(31). Solve 3*k + 3*a - o = 8*a, 8 = 4*k - 4*a for k.
-1
Suppose -10*s + 12 = -7*s. Suppose 0*c + 8 = k - 3*c, -3*k + 11 = s*c. Suppose 25 = 5*b, -5*o - 16 = -2*o - k*b. Solve 0 = -2*u + 4, -o*r - u + 0 = 1 for r.
-1
Suppose -5*b + 11 = 3*n - 2*n, 0 = 5*b + 3*n - 3. Solve 0 = -r - b*z - 15, -3*r - 18 = 4*z + 2 for r.
0
Let t be (-3 - -8)*(-1)/5*-3. Solve 15 = -0*r - 5*r - 5*k, t*r + 7 = -k for r.
-2
Let m = -8 - -12. Suppose -5*z - m*x = -10, z = -0*x - x + 2. Suppose -3*b - b + 8 = 0. Solve -7*w = -b*w - 3*u + 5, 2*u = -z*w - 2 for w.
-1
Suppose 5*s + o - 124 = 35, 0 = 4*s + 3*o - 136. Let h = -31 + s. Solve 4*a + c + 6 = h, 0*c + 7 = -3*a - 2*c for a.
-1
Let x(f) = f**3 - f**2 + 2. Let z be x(0). Suppose 4*i - 2*l = 3*l + 14, 3*l = -4*i + 30. Solve i = -d + z*k, d + k - 3 = -d for d.
0
Let v(c) = -c**3 + 3*c**2 + c + 2. Let b be v(2). Let m be 5/5*(1 + b). Let p be m/6 + (-14)/(-4). Solve -p*x = -4*h + 11, -3*x - 6 = -3*h - 0*x for h.
-1
Let u be (-183)/(-6) + (-1)/(-2). Let w(f) = -f. Suppose 8*y + 8 = -8. Let c be w(y). Solve -x = -4, -c*g = 3*g + 4*x - u for g.
3
Let b(o) = -o**2 - 34*o - 163. Let p be b(-6). Solve -p*c + 14 = -y, -3*c - 3*y = -8*c + 22 for c.
2
Suppose 8*g = 4*u + 7*g - 3, 2*g = 3*u - 6. Solve u = 2*z - 4*z + 4, 14 = -5*w - 3*z for w.
-4
Let p be 124/30 + (-7 - (-515)/75). Solve 28 = 5*a - 4*l, -2*a + 4*l = -3*a - p for a.
4
Let k = -447 + 459. Solve 0 = -4*s + 2*n + 2*n + k, 5*s = -n - 9 for s.
-1
Suppose 3*c = -40 + 46. Solve c*d + 0*d - 5*q = -21, -15 = 3*d - 2*q for d.
-3
Let f be 2*(77/11 - 3). Solve c - n - 2 = 0, c + 2*c + f = -4*n for c.
0
Suppose -12*z = -16*z - 5*g + 39, -5*g = 2*z - 27. Solve 0 = -3*x + h + 4, -3*x + 3*h = -z for x.
1
Suppose -4*l + 12 = -0*l. Let w be (-44)/(-66) + 26/6. Suppose 40 = 2*x + l*b - 20, -b = -w*x + 184. Solve -4*p - 4*s - x = 0, -4 = 4*p - 4*s - 8 for p.
-4
Let v(u) = 39*u + 10 - 23*u - 15*u. Let q = -18 + 10. Let l be v(q). Solve 5*g = -3*b + 26, -l*g - 2 = -3*b - g for b.
2
Let i(n) = n**3 - 6*n**2 - 3*n + 23. Let s be i(6). Solve 5*t - 4 = -4*r, s*t - 1 + 0 = -r for t.
0
Suppose 0 = -r - 5*u - 20, 0*r + 4*u = -5*r + 5. Solve -3*p + 4*p - 9 = -d, p = r*d - 15 for p.
5
Let f be 8 - -1 - (-2 - -4)*2. Solve -r - f = -5*s, 2 = 4*r - s + 3 for r.
0
Let i(x) = -2*x**2 - x + 1. Let a be i(-5). Let b = -1204 - -1182. Let c = b - a. Solve -4*r = -5*v + 6, -4*v + 2 - c = 3*r for r.
-4
Suppose 0 = -5*q + 20, -2*o - q = -0*q + 2. Let z be (-8)/(8/o) - -6. Solve -t - 21 = -5*y, -3*y - z = -4*y - t for y.
5
Let w(a) = -a - 20. Let s(t) = 3*t + 59. Let h(x) = -3*s(x) - 8*w(x). Let c be h(-17). Solve c = -4*d + 5*i, -33 = -5*d + i - 3*i for d.
5
Suppose -3*r = 3*w - 12, 6*r - 4*r - 5*w + 20 = 0. Solve 0*s - 3*s - 3*h - 27 = r, -4*h = s + 21 for s.
-5
Let x(k) = 2*k**2 + 14*k - 23. Let c be x(2). Solve 4*s - 5*l = c, 3*l + 2*l + 11 = 3*s for s.
2
Let q be 390/40 + 9/(-12). Suppose q = -o + 4*o - 3*m, -5*m - 15 = -2*o. Solve 5*i - 6 = 4*p, -4*p + p + 5*i - 2 = o for p.
-4
Suppose -18*k + 4 = -20*k. Let n(b) = b**3 + b**2 - 3*b - 2. Let a be n(k). Solve -d + 2*r - 2 = -3, -3*r + 6 = a for d.
5
Suppose 5*i = -w - 398, -826 = 2*w - 7*i + 2*i. Let y be w/(-56) + (-4)/14. Solve -b - 2*m + y = 0, -3*b - 5*m = 8 - 25 for b.
-1
Let n(i) = i**2 - 4*i - 6. Let q be n(5). Let w be (1 + -3 - q)*0. Suppose -2*z + 1 + 9 = 0. Solve -3*o = -3*b + 6, z*b + w*o + 6 = -3*o for b.
0
Suppose 2*u - 5 = -h, 3 = 2*u + 1. Let m = 6 - h. Solve -x = v, -4 - 14 = -m*v + 3*x for v.
3
Let f = 237 + -234. Solve s = -c - 3 + 6, -2*c - f*s + 8 = 0 for c.
1
Let w = -9 - -8. Let d be 5 + (-3)/((-1)/w). Suppose -d = -0*s - s. Solve 5*f + 10 = -3*z, 4*z - s*z = -f - 9 for f.
1
Let j = -1249 - -1265. Solve -r - 4*q + 1 = -j, 2*r + 4*q - 22 = 0 for r.
5
Let q(h) = 23*h - 136. Let o be q(6). Solve -3*c + s + 6 = -o*s, 0 = 3*s for c.
2
Suppose -18 = w + 5*x, 11*x - 6*x = -2*w - 16. Solve v = -5*k - 16, -v + k - w = 4*v for v.
-1
Let f = -138 - -140. Solve -f*z + 3*z = 2*c - 1, -5*c - 4 = 4*z for c.
0
Suppose -11 = 5*t + 219. Let p = t - -58. Solve 5 + 9 = -2*f - 3*x, -4*f + 2*x = p for f.
-4
Suppose -5*h = -3*h - 10. Suppose i + 2*i + 24 = h*g, 2*i = 4. Let x = -57 - -61. Solve -s - k = -7, 0 = s - x*k + g*k - 9 for s.
5
Let h = -76 - -77. Let s be -5 - ((-1)/h + -17). Solve 0 = q + 5*p - 0 + s, -3*q = -p - 9 for q.
2
Let d = -409 + 412. Solve -4*l = -4*c, d*c + 2 = 2*l + 1 for c.
-1
Let r be 22/44*(1 + 7). Solve 4*m + r*u + 8 = 2*u, -4*m - 8 = u for m.
-2
Suppose -4*s = -24 - 24. Suppose s*d = 16*d - 20. Solve -3*o + o = -8, 2*o - 3 = -d*w for w.
-1
Suppose -207*b + 42 = -186*b. Solve -3*p + 1 = -b*s, 0 = 2*p - 4*p + s + 1 for p.
1
Let a = 564 - 562. Solve -5 = -w + d, w - d + 1 = a*w for w.
3
Let z = -24 + 12. Let r be 2/6 + 4/z. Solve r = 4*l - n - n + 16, -6 = -3*l - 3*n for l.
-2
Suppose o - 5*d - 9 = 0, -4*o + 5 - 1 = -4*d. Let m = 2 - o. Suppose -2*h + 4*w - 8 = 0, -h = -3*w + 9 - 2. Solve -4*a - 3*s + 14 = 0, m*s = h*a - s + 4 for a.
2
Let h be -25*(161/(-140) + 9/12). Suppose 0 = 4*j - 32 - 12. Solve -3*o + h = -6*l + 2*l, 5*l + j = 3*o for o.
2
Suppose -3*u - m + 7 = 2*u, -u + 9 = 4*m. Solve 5*h - u - 4 = 5*s, 0 = -5*s - 25 for h.
-4
Let u = -3 + 6. Suppose j + u = -6. Let h = 14 + j. Solve h*y + p - 2 = 2*y, 0 = 5*y + 4*p - 1 for y.
1
Suppose -5*q + 6 = -3*j + 8, 4*q - 5*j = -12. Solve -x + d = 8 + 1, -28 = 4*x - q*d for x.
-5
Let k = -1987 - -2010. Solve -3*t = -4*z - k, -10*z - 20 = -6*z for t.
1
Let k(r) = -23*r - 513. Let z be k(-23). Solve 4*j + 2*o - z = 5*o, 5*j = -5*o + 20 for j.
4
Let y = -63 + 65. Solve 0 = -y*t - 5*n + 17, n - 4*n - 5 = 5*t for t.
-4
Let u(n) = n**3 + 17*n**2 + 16*n + 13. Let j be u(-16). Let a = -11 - -11. Let d be (-10)/(2/(-3) - a). Solve 2*y + d = -h, -5*y - j = 3*h + 27 for h.
-5
Let y be 0/2 + (-15)/(-60)*12. Solve 0 = -2*x + y*o - 12, -3*x = 5*o - 1 for x.
-3
Let z be (-21)/(-14)*(-8)/6. Let x(d) = 2*d - 6. Let w be x(5). Let f = z + w. Solve -2*t + 19 = -3*s - t, 28 = -4*s + f*t for s.
-5
Let n(h) = -h**2 + 7*h - 12. Let z be n(4). Suppose -2*d - 3*v + z = -2, -4*d - 5*v + 8 = 0. Solve 4*w - 5*a = -a - 36, 3*w + 2*a = -d for w.
-5
Let a = -1262 - -1265. Solve -4*h + 15 = g, 3*h = -g - a*g - 5 for h.
5
Suppose -4*f = -16, 21 = -v + 3*f + 5. Let d be 2/5 - v/(-10). Suppose d = g - 13. Solve 3*a + h = 5*a + g, 4*h = -3*a + 8 for a.
-4
Suppose -6*y + 65 = -115. Solve 4*g - y = -2*h, 2*g - 1 = 4*h - 11 for g.
5
Let d be ((-69)/(-12) - 0)*4. Let z = d + -14. Let f = -228 - -245. Solve 0 = 3*b + 5*w + f, b + 0*b + 5*w = -z for b.
-4
Suppose -m + 3*n + 5 = 0, 0 = 4*m - 4*n + n - 11. Let u be m + 3 - (4 - 2). Solve 5*t = -4*k + 5, -u*t - 3 + 6 = 2*k for t.
1
Suppose 53 = -4*n + 81. Solve 4*y = 20, -m = -n*y + 2*y + 28 for m.
-3
Suppose 27*a - 31*a = -12. Solve 0*m = a*q + 5*m + 19, q + 13 = -3*m for q.
2
Let v = 31 - 26. Suppose n - 2 = -1, 3*n = v*x - 42. Suppose 0 = -10*o + x*o. Solve -y - 5*h - 3 = o, -y + 7 = -0*h - 5*h for y.
2
Suppose -11*k + 21*k - 30 = 0. Solve v - 2*m - 13 = -0*v, -4*v = 3*m + k for v.
3
Suppose -3*d + 6 = 0, -4*d - 160 = -5*j - 9*d. Let k be -4*3/j + 141/15. Solve -u - 13 = -4*o + o, -3*o + k = 0 for u.
-4
Let x = 50 + -31. Let c be -1 - 3*5*-1. Let m = x - c. Solve 3*o + 0*u - 13 = -m*u, -2*o + 4*u = 28 for o.
-4
Let r = 67 - 65. Suppose -d + 3*i - 3 = 0, 3*d - 2*d = r*i - 2. Solve 16 = 4*s - 3*x - 0*x, d = -5*x for s.
4
Let g = 19 - 17. Solve 0*d + 3*n - 15 = 3*d, g*d + 4*n = 14 for d.
-1
Let r(l) = 9*l**2 - 65*l + 18. Let n be r(7). Solve u = -n*c - u + 10, -2*c = -3*u - 1 for c.
2
Let q be -9 + 1 - -4 - -9. Solve 6*u + 3*t + 3 = 2*u, 2*u = q*t - 21 for u.
-3
Suppose -3*v + 7 = -5. Let k = -5 - -5. Suppose -2*m + 3*t + 14 = k, -4*m = t - 6*t - 32. Solve -20 = 3*u + v*n + 9, -m = -4*u + 5*n for u.
-3
Let c(n) be the first derivative of 2*n**3 - n**2/2 - 2*n + 10. Let l be c(-1). Solve l*p - 5*v - 10 = 0, 5*p = 3*v + 3 + 3 for p.
0
Suppose 2*n = 4*n - 150. L