pose 3*z = 6, 5*z - 1 = 4*v - 3. Solve d - 6*d = 10, 0 = -v*q + d - 4 for q.
-2
Let y = -1 - -1. Let o = 4 + -1. Solve -6 = -o*u + 2*k + 3*k, 3*k + 9 = y for u.
-3
Let c be (18/15)/((-4)/(-10)). Suppose x - c*f + 7 = 0, -x - 5*f = 2*x + 7. Let m = 6 + x. Solve -m*r + 1 = -p, 2*r + 20 = 5*p + 1 for p.
5
Suppose 2*a - 336 = -a. Suppose -3*k - 18 = -6, 0 = -5*s + 3*k + a. Let b = -53 - -58. Solve 3*j - g - 9 = 3, -3*g - s = -b*j for j.
4
Let z(b) = -8*b**3 - 1. Let q be z(-1). Solve -2*i = -2*o - 1 + 7, -o + q = -2*i for o.
-1
Suppose -7*q + 4*q + 15 = 0. Solve -y - q*r = -13 - 11, 2*y - 4*r = -22 for y.
-1
Suppose 2*f - 10 = 3*f. Let v be -15*(12/f)/3. Suppose -k + 4*k = v. Solve 2*z + k*q = -12, -3*z + 7*z + 5*q = -29 for z.
-1
Suppose 0 = 2*u - u + 8. Let o = u - 2. Let a = o - -14. Solve -a*w = -3*y + 29, 16 = -3*w + 2*y - 5 for w.
-5
Let m = -16 + 16. Solve -4*k = -5*a + 4, m*a + 3 = -3*k + a for k.
-1
Suppose 2*f = -2*f. Suppose f = -d + 3*d - 10. Solve 15 = d*w, 0 = 5*t + 5*w - 3 + 8 for t.
-4
Let v = 75 + -72. Solve -3*x = -v*l, -3*x + 25 = l + x for l.
5
Let r be -19*1 + (-12)/(-4). Let b be (-4)/r + 3/(-12). Let p = 11 - 1. Solve -6*w + 26 = -w + 3*i, 5*i - p = b for w.
4
Suppose -4 = -y - 5*f + 10, -12 = -y - 4*f. Solve -4*w - y*p + 15 = -1, -2*p = -w - 5 for w.
1
Suppose 7*m - 36 = -5*m. Solve -3*f = -m*s, 2 = 2*f - 3*s + 1 for f.
-1
Suppose -3*p = -3*l - 18, -l = -2*p + 1 + 8. Let f = 2 - l. Solve -5*k = t - 5, -3*k + 3 = -f*t - 0 for t.
0
Let o = -74 + 77. Let i(v) = -v**3 - v**2 - v - 1. Let l be i(-2). Suppose 0 = 5*u + l - 15. Solve 9 = o*n, 3*f - n = -u*f - 13 for f.
-2
Let v(u) = -u**2 + 4*u + 17. Let c be v(6). Solve 3*n = -l + 14 + 4, 2*l - 31 = -c*n for l.
3
Let g be (-2)/4*4 - -2. Solve g = o, -8 = -2*q + o + o for q.
4
Let z = 6 + -12. Let q = -1 - z. Let o be (7 - 9)*(-2 - (-1)/2). Solve o*a = 5*c + 20 - q, 3 = -c + a for c.
-3
Let j be ((-8)/(-6))/(6/9). Suppose 6 = j*x + 18. Let i = x + 8. Solve 0 = -o + 4*f + 5, 0*o = i*o - 3*f for o.
-3
Let o(f) = -6*f - 2*f**2 + f**2 + 5 + 2*f**2. Let x be o(5). Let h be (2 - 32/14)*-7. Solve 5*b - 10 = x, 5*b = h*l - 5*l - 2 for l.
-4
Let d be 1*(-1 + 3 + -2). Suppose 4*j + 6 = 2*j, d = -3*c + j + 15. Suppose 3*z = c*g - 16, -5*z = -0*z. Solve g*a = -2*b - 12, -28 = -4*b + 5*a - 0 for b.
2
Suppose -3*g = -6 - 36. Let p = g - 12. Solve -p*z + 2 + 6 = 0, -5*o = 2*z + 2 for o.
-2
Suppose 4*p = 3*p + 4. Solve 3*l - 16 = -3*q - 1, 0 = 4*l - p*q + 20 for l.
0
Let o(p) = -2 + 6 + 6*p - 4 - 2. Let h be o(4). Solve 0*w = 4*y + 3*w - 31, 3*y + 2*w - h = 0 for y.
4
Let w(k) = k**2 - 6*k - 11. Let y be w(8). Let h = 6 - 2. Suppose -h*z - 3*q = -2*q, 3*z = -q. Solve -y*l = z, -4*a = -3*a - 4*l + 4 for a.
-4
Let m = -15 - -21. Solve u = 6*u + 5*g + 5, 4*u + 5*g + m = 0 for u.
1
Let f = -10 - -22. Suppose 5*p + 0*w - w = 5, -4*w = -4*p - f. Solve 0 = z + p*o - o - 2, 2*z - 4*o = 4 for z.
2
Let s(g) = -g**3 + 2*g**2 + 4*g - 1. Let z be s(3). Solve 6 = z*d, 5*i + d - 10 - 18 = 0 for i.
5
Let g(p) = p**3 + 4*p**2 - 3*p + 12. Let r be g(-5). Solve r*z - 5*c = -4*c + 4, -c = 4*z - 20 for z.
4
Suppose 14 = 4*b + 2*o, 0*o - 6 = 4*b - 2*o. Let f = b + 4. Solve f*c - 10 - 8 = 3*s, -5*s - 17 = -4*c for s.
-1
Suppose -2*c = 2*c - 20. Solve -x - 3*x + 2*t = 12, -c*x - 30 = 5*t for x.
-4
Let z = 23 + -14. Suppose 4*n + v + 0*v + 21 = 0, 0 = -n + 2*v + 6. Let x(b) = b + 8. Let j be x(n). Solve 9 = -5*d - 3*h, -j*d - z = -5*d + 3*h for d.
0
Let u be -5*1*(-9)/(-9). Let d = u - -10. Solve 0 = 5*o + d*r - 10, 0 = -2*o + 2*r - r + 10 for o.
4
Suppose -b - 15 = -4*b. Solve -b*g - 22 = 2*f + 8, 0 = 4*f + 4*g + 36 for f.
-5
Let n be (-60)/9*96/(-20). Solve -5*u = 3*w + 3, w - 4*u - n = -4*w for w.
4
Let z(o) = o**2 - 7*o + 4. Let a be z(7). Solve 3*y + w - 4 = 0, 3*w - a = 2*y + 8 for y.
0
Suppose h + 0 = 3. Solve -h*f - m = -15, -5*f - 2*m + 23 = -m for f.
4
Let k be 5*(-4)/(-8)*6. Suppose -5*q = -k - 15. Solve -11 = -2*i - 5*h, q = 5*h + 1 for i.
3
Suppose -r = 3*p, -1 = -3*r - p + 7. Let y = r - -1. Solve q = y*t - 17, 9*q - 4*q + 5 = 4*t for q.
3
Suppose 0*f = -f. Solve -4*i - 3*n + 8 = -7, f = 5*i + n - 5 for i.
0
Let y = -3 - -18. Let x(u) = -u**2 + 4*u + 5. Let m be x(5). Suppose -5*q + 5 = v, m = 5*v - 4*q + 5 - 1. Solve 0 = -l + 2*w + y, -4*l - 2*w = -10 - v for l.
5
Let s = 1 + 1. Suppose -s*t + 18 - 4 = -f, 0 = -4*t - 2*f + 12. Let w be (0 - -2 - 4)*-2. Solve t*o - 12 = w*m, -1 + 10 = 4*o - 3*m for o.
0
Suppose -3*o = -2*k + 23, -3*k + o + 26 = -5. Suppose -h = 2*j - 5*h - 8, -2 = 2*h. Solve 3*q - 2*n + 3 = -11, -q - k = -j*n for q.
-2
Let x(w) = w**3 + 6*w**2 - 7*w. Let i be x(-7). Suppose i = 5*f - 21 - 79. Suppose 3*b + b - f = 0. Solve 2 = c - 3*u, 0 = -3*c + b*u - 1 - 1 for c.
-4
Suppose 2*u = 10, -3*q = -2*q + 4*u - 25. Solve -l - 1 = 2*l + q*j, -2*l + 3*j = 7 for l.
-2
Suppose o = 7*o - 48. Suppose h + h = o. Solve -3 = -5*j + 2, 2*j = -h*u + 14 for u.
3
Let d be (38/5)/((-140)/25 - -6). Solve 3*c + 2*y = -d, -3*c - 22 + 9 = -y for c.
-5
Suppose 5*h - 56 = 4. Suppose 2*c + 3*k = c - 4, 0 = 3*c + 3*k. Suppose -h = -c*a - a. Solve -a*r - 14 = -4*s - r, 3*s = r + 13 for s.
5
Let h = 38 + -35. Solve -h*c + 6 = -0*y - 2*y, 5*c - 3*y - 11 = 0 for c.
4
Let z(r) = -r**2 + 3*r. Let m be z(2). Let i = 13 + -22. Let u = i + 17. Solve -3*g - 4*k + 16 = 0, 0*k = -m*k + u for g.
0
Suppose -14 = -3*i + 22. Let p = i + -12. Solve -z = 4*f - 1, p*f + 5*z = 2*f + 27 for f.
-1
Let z = -7 + 17. Suppose 0 = -k - w - 2, 2*k - z = 5*k - w. Let n be (4 - 2) + (-4 - k). Solve -4*d = -2*f - 4, -4*d - n + 5 = 0 for f.
0
Suppose -2 - 4 = -3*c. Solve 0*m - 6 = -c*m, -2*m + 26 = 4*w for w.
5
Let u be 0/((-6)/45 - (-17)/15). Solve 4*g = -2*z - u*z - 12, 2*z = 3*g + 16 for z.
2
Suppose -7*w + 16 + 19 = 0. Suppose -7*z + 60 = 5*q - 2*z, 24 = 3*q - 3*z. Suppose -3*g + q = -g. Solve w*k + 4*d - d - 22 = 0, -28 = -4*k - g*d for k.
2
Suppose 2*w + 13 - 3 = 0. Let z = -2 - w. Solve 4*f - z*r - 1 = 0, -3*r + r = -3*f for f.
-2
Let y = 1 - -7. Let h = 11 - y. Solve -2*p = 2, -h*s + 4*s - 1 = 2*p for s.
-1
Suppose -2*x - 23 = -s, -3*x + 5*x + 61 = 3*s. Solve -3*r + 4*l = 1 + s, -3*l + 14 = -2*r for r.
-4
Let y = 53 + -21. Solve 23 = -0*k + 2*k + 5*l, -y = -5*k - 4*l for k.
4
Suppose 2*m + 2*m = -16. Let l(z) = z**3 + 5*z**2 + 4*z + 4. Let u be l(m). Solve -3*d = s - 17, -u = -5*s + d + 1 for s.
2
Let o(s) = s**3 - 4*s**2 + s + 3. Let l be o(3). Let y = l + 6. Let h = 15 + -3. Solve 3*i = -g - 4, 0*i - y*g - h = 4*i for i.
0
Let j be 1/(-1)*(-4)/2. Let q be (3 - j) + 1 - -2. Suppose -2*x - 40 = -q*x. Solve 0*p = -v - p - 8, -v - x = 5*p for v.
-5
Let k = -4 - -6. Suppose 0 = -k*x - 3*x. Suppose x*c - c = -3. Solve -s + 6*m - 2*m = 16, -4*s = c*m - 31 for s.
4
Let y(o) = -o + 9. Let m be y(4). Solve -3*t - 22 = m*a, -4*t + 2*t - 23 = 5*a for t.
1
Let z(w) = -1 + w**3 - 2*w**3 + 3*w**2 + 2*w**3 + w. Suppose -3*i + 3 - 2 = l, -2*l = -4*i + 8. Let d be z(l). Solve -5*q + 4*j - d = 29, -2*j + 10 = 0 for q.
-2
Let h(w) = 5*w**2 + 4*w + 3. Let j be h(-1). Solve 2*p - 28 = -j*q, -5*p - 2*q = 3*q - 45 for p.
4
Suppose 26 = 5*k - 3*k. Let t(s) be the second derivative of -s**3/6 - s. Let h be t(-4). Solve 0*y + 4*y + 5*w - 19 = 0, 0 = h*y + 3*w - k for y.
1
Let g = -8 - -9. Solve -6 = -2*h - 4*a, -11 - g = -4*h - 5*a for h.
3
Let w = 4 + 11. Let l be w/30*0/2. Solve -q = 5*c - l*c + 9, -2*q + 2*c = 6 for q.
-4
Suppose -123 + 11 = -4*f. Let i = -14 + f. Solve 7*n = 2*n - 10, -3*l + 4*n + i = 0 for l.
2
Let k(r) = 35*r**2 + r. Let p be k(-1). Suppose n + 13 = p. Solve 4*b + 24 = -5*c, -n = 3*c + 2*c + b for c.
-4
Let w(y) = -y + 15. Let b be w(13). Solve 0 = j - 5*h - 21, b*j + 2*h + 7 = j for j.
1
Let r be -2*(58/(-20) + (-20)/(-50)). Solve 3*h - 18 + 3 = 0, -r*i - 5 = -2*h for i.
1
Let r = 5 - 2. Suppose 0 = -j + r*j. Suppose 3*p - 2*o = -16 + 22, -2*p + 4*o + 4 = 0. Solve i - 5 = p*n - 4*n, 3*n - 3*i - 21 = j for n.
4
Let d(v) = -4*v - 7. Let f be d(-3). Solve -2*q + 9 = 2*q - f*b, -4*q = 4*b for q.
1
Suppose 13 - 31 = -3*w. Suppose w*b - 3*b = 0. Solve -3*r + 3*k - 4*k = 16, -2*r + 2*k = b for r.
-4
Suppose 2*i - 13 = -2*l + 3*i, -2*l + 4*i = -28. Solve 6 = 3*x + p + l*p, 5*p - 4 = -2*x for x.
2
Let f(a) = -a - 4. Let l be f(-4). Let n be 4/(0 