 = -0*t for t.
4
Let g be (-2 - 2)/(2 + -4). Solve -3*y = 5*v - 7 + 1, y + 2*v - g = 0 for y.
2
Suppose 0 = 3*m + 2 - 5. Let k(s) = 14*s**2 - 2*s + 1. Let y be k(m). Solve y = -2*d + u, -3*u + 15 = -5*d - 19 for d.
-5
Let u be (15/(-10))/(9/(-30)). Solve -f - f = 2*r - 8, u*r + f = 20 for r.
4
Let b = -8 - 0. Let r be -3 + b/(-4) - -5. Let p(m) = m**3 - 4*m**2 - 3*m - 5. Let k be p(5). Solve -9 = g - 2*g + r*d, -3 = -k*g - d for g.
1
Let k(r) = r**3 + 10*r**2 + 8*r + 1. Let v be k(-9). Solve 5*i - 15 = 4*h, 5*h = 5*i + v - 30 for h.
-5
Let f(u) = u + 4. Let v(n) = 2*n + 9. Let r = 13 - 8. Let b(m) = r*f(m) - 3*v(m). Let g be b(-10). Solve -4*t - g*x + 3 = 0, -4*x + x = 9 for t.
3
Let d = -5 + -4. Let w be ((-3)/d)/(1/15). Solve -w*o = -p + 8, -o - 1 = -p - 3*o for p.
3
Suppose -3*g - 15 = 0, -2 = 2*c - 3*c - g. Solve -4*z + c = h + 18, 5*z + 2*h + 10 = 0 for z.
-4
Suppose 6*k + 36 = 18*k. Solve 2*n + 0*t + 2 = -k*t, n - 6 = 2*t for n.
2
Suppose g = -2 - 4. Let b = -2 - g. Solve z = q + 6, 0*z + z - 15 = b*q for q.
-3
Suppose -4*p + 2 + 6 = 0. Suppose -m = p*m. Solve m = 4*x + 20, -2 = -3*t - x + 2 for t.
3
Let t = 27 + -21. Solve -3 = -i - v, 2*i + 3 = v - t for i.
-2
Suppose 0 = 2*q - 8*q. Solve l = 3*x - 4, q*x = 4*x - l - 7 for x.
3
Suppose 0 = 8*m - 7*m - 2. Solve -5*z - 6*t + 19 = -m*t, 5*z = -t + 16 for z.
3
Let u = -14 + 23. Let q be 23/7 - (-46)/(-161). Solve 3*i - q*o - u = 0, -4*i + 2*o = 1 - 9 for i.
1
Suppose -4*m + 6 = -14. Solve 10 = -4*n - s - 2, -m*n - 4*s = 4 for n.
-4
Let s = 2 - -2. Suppose 0 = 2*u - 4*t, -5*t - 6 = -2*u - 3*t. Solve -2*x + u = s*z, z = -2*x - 3*x - 21 for z.
4
Suppose -3*h + 0*h - 54 = -3*g, 0 = -3*g - 4*h + 26. Suppose -3*b + 0*b - 3*a - 3 = 0, 5*a + g = -2*b. Solve -5*v = -5*d + d + 3, 2*d = -b*v + 7 for d.
2
Suppose 0 = -0*w - w - 12. Let d = w + 41. Solve 4*i = -5*f + d, -2*i - 21 = -5*f + 2*i for f.
5
Let m(r) = 3*r - 3*r + 3 - 5 + 4*r. Let z be m(3). Solve 5*a = z, 2*u + 9 = a - 1 for u.
-4
Suppose 4*x - 1 = q - 0, 5*q + 5 = 3*x. Let r be (-3 + (-2 - x))*-1. Solve 4*f + 4*g + 8 = 0, -2*g - 3*g = -r*f + 10 for f.
0
Let t = -7 - -13. Let v = t + -3. Solve 0 = -2*j - 3*s + 6, 0 = -j - 0*j - 2*s + v for j.
3
Suppose 0 = 4*i - 5*o - 8, 0*i = -2*i - o + 4. Solve i*h - 4*l + 2*l - 6 = 0, 30 = 4*h + 5*l for h.
5
Let i be (-18)/4*26/(-39). Let s be i/(-12) - 9/(-4). Solve 6 = -4*k - 4*y + 2, 4*k - s*y + 16 = 0 for k.
-3
Let h(i) = -i**2 - 9*i - 15. Let d be h(-6). Solve -2*c + d*k - 6 = 4, 0 = c - 2*k + 6 for c.
-2
Let t be 1 + (-12)/6 + 5. Solve x - 2 - 1 = 0, 2*c + 14 = t*x for c.
-1
Suppose 5*f - 22 + 2 = 0. Solve -d = -4*w - 4, 2*w + d - f = -0 for w.
0
Suppose -4*w + 7 + 1 = 0. Let f(m) = m**2 - 3*m - 6. Let x be f(5). Solve w*r = -3*d - 0*r + 8, -9 = -x*d - r for d.
2
Let t be 5 - -1*(-3 + 0). Let s = -29 - 1. Let z = 48 + s. Solve 3*o - z = -t*y - 0*y, -2*y + 22 = 4*o for o.
4
Suppose -4*t = -p - 6 - 5, 9 = 3*t - p. Solve 3*a - t = 2*w, 2*w - 4 = -a + 2 for a.
2
Let c be 0 + -9 + (4 - 5). Let l be ((-6)/(-4) + -2)*c. Let q be 18/1 - -1*1. Solve w - 6*w - 1 = g, 0 = l*g + w - q for g.
4
Suppose 5*f = 3*f + 22. Let h = -2 - -7. Let i = f - h. Solve 0 = -n - 3*b + 8, 2*n = 3*n + 2*b - i for n.
2
Let k(q) = -q**3 - 1. Let y be k(-1). Suppose 0 = 5*v + 3*n - 8, 2*n + 4 = -4*v + 12. Suppose v*d = 3*d + 4. Solve 18 = 3*o + 3*g - y*g, d = -o + g for o.
1
Let l be (0 - 2)*(-2)/1. Solve l = 4*w - j - 3*j, -13 = 2*w + j for w.
-4
Let f = -4 - -12. Let i = -3 + f. Solve -20 = -i*q - 5*k, -2*q - 10 = -6*q - k for q.
2
Suppose 252 = 2*p + 2*p. Let z = p - 37. Solve 5*m - 3*o - z = 0, m + 0*m = -o + 2 for m.
4
Let y(r) = 4 - 1 + 2*r**3 - r + 4*r**2 - r**3 + 0*r. Let j be y(-3). Solve -3*m = h + j, 0*m - 3*h = 4*m + 25 for m.
-4
Let d(k) = k - 16. Let m be d(0). Let l be (-4)/(m/14)*6. Solve -4*v - w + l = 0, 4*v - 3*w - 15 = 2*w for v.
5
Let i = -1 - -11. Suppose 2*a - i + 2 = 0. Let y be 1*(-1)/((-2)/4). Solve -a*h = y*s + 2*s + 36, -3*s = 4*h + 31 for s.
-5
Suppose o = 2*i - 0*o - 1, -2*o = 3*i + 9. Let g be (i - -5) + 8/(-4). Suppose -g + 0 = -d. Solve -d*x - 2 = 3*s - 4, 0 = 3*s - 4*x + 22 for s.
-2
Let f be (-4)/6 + (-32)/(-3). Let m be 10/3*12/f. Let o be (-100)/(-12) + 6/(-18). Solve -m*l - 5*x = -7, -l - 2*x + o = -2*l for l.
-2
Let r = -134 - -90. Let h(y) = -65*y**3 + 2*y + 1. Let b be h(-1). Let l = r + b. Solve -7*w = -2*w + l, -3*a - 2*w = 23 for a.
-5
Let h be 33/9 - (-1)/3. Solve h*g + 17 = t, g + 3 = -t + 5 for g.
-3
Let i = 58 + -58. Solve -5*d + 3*y - 34 = i, 2*d - 4 = 2*y - 20 for d.
-5
Let a = 11 + -1. Let r be ((-8)/a)/(1/(-5)). Let w be (0 + 1)/((-1)/(-3)). Solve w*t + g - 5 = 0, -r*t = 2*g - 5*g + 15 for t.
0
Let i be 48/14 - (-21)/(-49). Solve u + 0*j = i*j, 0 = 3*j for u.
0
Suppose -2*v = 5*j - 8 - 12, -5*j + 3*v = 5. Solve 4 - 10 = -j*r - 2*c, c + 1 = 0 for r.
4
Suppose -11*s = -49 + 5. Solve q + v = 2*v + 2, -2*v - s = 5*q for q.
0
Let n = 4 + -3. Suppose -3*y - n = -3*r + 2, -5*y - r = -13. Let i be ((-2)/(-4))/(2/20). Solve 10 = 5*v, 0*p - 18 = -y*p - i*v for p.
4
Let y be ((-3)/((-6)/(-4)))/(6/(-12)). Let k = 22 - -14. Solve y*n + k = 4*x, -n + 1 = x - 0 for n.
-4
Suppose -5*k = 4*n - 2*k + 74, 4*k = 8. Let q be n/(-6) + 2/(-6). Solve 5*p = 2*w + 23, q*p - p - 3*w = 7 for p.
5
Let r be -3 - (0 - 2) - -4. Suppose -5*x + r*x = -14. Let l be (-101)/(-9) - 4/18. Solve -2*z + 0*s + s - l = 0, 0 = -z - 2*s + x for z.
-3
Let a = 5 + -3. Solve -5*z - 25 = l, -a*l + 7*z = 4*z - 15 for l.
0
Let h(n) = -3*n**3 - 4*n**2 - 3*n - 1. Let t be h(-2). Let m be (t + -4)*2/6. Solve 5*v - 5*o = -0*v - 20, -m*v = 3*o + 12 for v.
-4
Let w = 19 - 9. Let i be w/2 + (0 - 2). Solve -2*p - 3*p = 20, -i*p + 8 = 5*k for k.
4
Let f(b) be the first derivative of b**2 - 2*b + 1. Let y be f(7). Solve -4*z - 3*j = -y - 17, 0 = 4*j - 12 for z.
5
Let p(w) = -4*w**3. Let l be p(-1). Let s(d) = -d**3 + 3*d**2 + 5*d - 4. Let g be s(l). Suppose 0 = -0*b + b. Solve -m - 4*u = -12 - g, b = -2*m - 2*u for m.
-4
Let m(b) = -b**2 + 9*b - 8. Let g be m(8). Solve 2*r + 30 = 4*n, -3*n + g*n = 5*r + 10 for n.
5
Suppose -z = k - 10, -3*k + 2*z = k - 16. Solve 2*c + 2 = -3*b, -2*b = -k*b + 5*c - 18 for b.
-2
Let p be (-2)/(-4)*(11 + -1). Suppose -15 = -0*b - p*b. Solve 0*c - c + 4*d + 3 = 0, -b*d = c + 11 for c.
-5
Let n = -5 + 7. Solve 3*q = 4*p + 13, -4*p - 18 = n*q - 0 for q.
-1
Let r(i) = 3*i**3 - i**2 + i. Let l be (2/(-4))/((-1)/(-6)). Let s = 4 + l. Let b be r(s). Solve -3 = b*o - 5*j, 0 = o + o - 2*j + 2 for o.
-1
Suppose 2*j = -5*j + 28. Let w be (2 + -2)/(-2 + 1). Solve w = o + o, 5*o + j = -x for x.
-4
Let a = 5 + -1. Solve h - 1 + 5 = -2*q, -a*q = h + 10 for q.
-3
Let i(n) = 4*n - 4. Let m be i(3). Solve 4*t = -r + m, 3*t - 2*t - 9 = -2*r for r.
4
Suppose 0 = 2*w + 3*w. Let a be ((w - -2) + -1)/(-1). Let p = 6 + a. Solve p*d = -5*u - 30, -23 = 5*d - 0*d - 2*u for d.
-5
Let b = 70 - 31. Let i be 1/(b/18 - 2). Let t be 5 + 0 - i/2. Solve 3*y - t*y + 2*v + 4 = 0, -2*v = -2*y - 8 for y.
-4
Suppose -5*y = -y + 20. Let b(f) = f**3 + 5*f**2 + f + 6. Let p be b(y). Let h be 2 + (p - -2 - 2). Solve w = -2*w + 2*m - 15, 4*m = -h*w - 15 for w.
-5
Suppose -3*c + 50 = 2*c. Let a = c - 8. Solve 5*x - 16 = a*h, 2*h - 9 - 11 = -4*x for x.
4
Suppose 0 = 3*f + 58 - 73. Solve p = -f*w + 3*p - 25, 0 = -4*p for w.
-5
Let s(c) = -c**3 + 2*c**2 + 2*c + 2. Let t be s(3). Let q be (5/4)/(t/(-4)). Solve n + 2*n + 2 = -q*r, -n = r + 2 for n.
-4
Let l(n) = -2*n + 4. Let c be l(-3). Suppose -5*u = -0*u + c. Let m = 3 - u. Solve 0 = 3*w - t - 13, -3*t - 14 - m = -4*w for w.
4
Suppose -u - 100 = -3*n, -76 = -2*n + 2*u + u. Suppose 4*m - n + 8 = 0. Suppose 0 = m*r - r - 80. Solve 0 = 4*s - 3*f - r, 3*s - f - 12 = -4*f for s.
4
Let n = 7 - 4. Let p(j) = j**3 - j**2 + j + 1. Let t be p(2). Solve r = -2*v - t, -4*r - n*v - 4 = -v for r.
1
Let h be (6/21)/(2/14). Suppose d - 5 = h*d - 4*z, 3*z = 0. Let o be (-4 - -1)/(-6 - d). Solve -t = -5*t - 4*s + 24, 5*t + o*s = 22 for t.
2
Suppose -4*f - 7 = -3*v + 3, v + 5*f = -3. Let s(b) = -b**2 - 3*b**v - b**3 + 8*b**2 + 2. Let o be s(4). Solve o*t = -t - 5*a + 15, -t - 5*a + 5 = 0 for t.
5
Let c = 12 + -8. Suppose 48 = -2*a + 3*l, 5*a - 4*l + 64 = -49. Let o = a - -27. Solve 0*q = -3*b + q - 19, c*q = -2*b + o for