 + 6 = 5*w, -5*y - f*w - 3 = -2*w for y.
-1
Let r be 3*5*5/15. Suppose 2 = 3*d - 3*y - 1, r*d + 2*y = 26. Suppose 25 = 5*s - 5*j, -d*j - 19 = s - 4*s. Solve -a + 5*h = 1, a + 0 = -3*h - s for a.
-1
Let k be (-3)/6 - (-33)/2. Solve -4*f - q = -k, q - 11 = -3*f + 1 for f.
4
Let q be (-12)/(-9)*6/2. Let p be (-16)/(-4 - -8) + 1. Let l be 2*(6/p + 3). Solve 2*a + 0*a = -l*d + 6, 0 = -d - q*a + 12 for d.
0
Suppose -8*b = -47*b + 234. Solve -3*y - 17 = 5*k, 4*k - 2 = -b for y.
-4
Suppose -212*r - 140 = -219*r. Solve m + 4*m + r = -3*c, -3*m = 4*c + 23 for m.
-1
Let g be (5 + -1)*(-15)/15. Let m be 1*g/(-4)*5. Suppose 0 = m*f - 2 - 8. Solve -f*r - 5*a = -a, r = -3*a for r.
0
Let j be 45 + 1 - (6 - 2). Let l = -31 + j. Solve -5*r + 2*b - 4*b + l = 0, 5*b = -2*r + 17 for r.
1
Suppose 4 = 5*b + 4. Solve -3*d = -5*q - 0*d + 12, 2*d + 8 = b for q.
0
Let j be 2/(-1) + (1 - -3 - 0). Let d be (13/3 + -4)*60 + j. Solve -a + 7 = -2*k, 0*k + 5*k = a - d for k.
-5
Let b be -2 + (1/(-4) - (-315)/60). Solve 3*w - 3 = -3*l + 9, 2*l - b*w = 13 for l.
5
Suppose -3*l + 3*w + 54 = 0, -2*w + 54 = 3*l - 0*l. Suppose -14 + l = x. Solve 0 = x*g + j - 5, -2 = 5*g - 0*j + 4*j for g.
2
Suppose -2*w = -2*y - w - 44, -5*w + 20 = 0. Let b(l) = l**2 + 2*l + 6. Let u be b(-6). Let j = u + y. Solve -3*a + 3*s = a + 19, 0 = 5*a + 3*s - j for a.
-1
Let q be (-3 + 2)/((-2)/8). Suppose q = -6*p + 28. Solve l + 3*g - 15 = 4*l, 5*g - 22 = p*l for l.
-3
Let z = -1368 + 1376. Solve -5*l = p - 9 + 33, 0 = 3*p - 5*l - z for p.
-4
Suppose 8*n - 11*n + 16 = -2*q, -3*n - q + 19 = 0. Solve 0 = k + 1, 0 = 3*h - 3*k + 3 + n for h.
-4
Let s be 4/(-10) + -4 + (-738)/(-45). Solve 5*z - 3*c - s = 0, -2*z + c + 1 + 3 = 0 for z.
0
Suppose -c = 3636 - 3641. Solve s = c*j - 0*j - 9, -2*s = -5*j + 13 for j.
1
Let g(t) be the second derivative of -t**5/10 + 7*t**4/6 + t**2 - 21*t. Let j be g(7). Solve 5*y + 2*p + 3*p + 30 = 0, 0 = -p - j for y.
-4
Let u = 837 - 829. Solve -2 = -2*p - 2*f, p + u - 33 = 5*f for p.
5
Let o(v) = v**3 + 12*v**2 + 12*v + 8. Let f be o(-11). Let s be 5/(-15) + (-1)/f. Let x be 18/(-1*(-1 - s)). Solve 2 = 2*m + 4*w, 2*w - 3*w + x = 4*m for m.
5
Let v = 30 - 29. Let i = 2 + v. Suppose -i*y + 9*y = 24. Solve 2*p = 2*l - y, p - 3*p = -4*l for l.
-2
Suppose 2*w - 207 = 5*a, -120 = -3*w - 3*a + 180. Let v = -97 + w. Solve -4*c = -v*x + 6*x + 14, 0 = 5*x + 25 for c.
-1
Suppose 109*g - 96*g - 13 = 0. Solve 4*o - 4*u - 4 = 0, 0 = o - 3*u - u - g for o.
1
Let c be 0/((-6 - -12)/3) - -5. Solve 5*b + 0*b - c*m = 20, -3*m = 2*b + 12 for b.
0
Let m be 3 + 1 - (0 - -1). Let g = 4 - 0. Suppose b = -g*h - 5 + 18, m*h - b - 15 = 0. Solve -5*q = 2*t + 21, -h*q + q - 2*t - 11 = 0 for q.
-5
Suppose 18*v - 3*q - 27 = 15*v, -4*v = 4*q - 4. Solve -9 = g + 2*z, -g + 4 = v*z + 19 for g.
-5
Suppose 3*t - r + 0*r = 13, -5*t + 5*r = -5. Solve -n + 6*n - 6 = -3*a, 0 = -4*a - 2*n - t for a.
-3
Suppose 2*q + y + 0*y - 23 = 0, 4*q = y + 31. Let v be ((-30)/q)/(4/3 + -2). Solve 0 = -g - w - 0 + 2, 0 = -v*g - 4*w + 5 for g.
-3
Let y(q) = q**3 - 2*q**2. Let z(s) = -s**3 + 2*s**2 + 2*s + 2. Let m be z(0). Let c be y(m). Solve a = f + 3, c = -2*f + 4*a - 4 - 10 for f.
1
Suppose -4*d + 3*x = -14, 0 = -2*d + x + 5 + 1. Solve 2*q = -3*l - 0*l - 21, -5*q - 5 = -d*l for q.
-3
Suppose 145*l - 152*l = -21. Solve 15 = -5*j + 4*i, -l*j + 4*i = 5 + 12 for j.
1
Let k = 1 - -1. Let l(u) = -10*u + 12. Let f be l(-10). Let q = f - 111. Solve 5*y - k = -w, y - 5*w - 15 = q for y.
1
Suppose 0 = -v - 4*v. Let o be 1 - 1 - (-5 - v). Solve -4*r = -4, 5*j - 2*r - 3*r = -o for j.
0
Let w(s) = 2*s + 1. Let n = 14 - 13. Let z be w(n). Let t be 28*1*(-12)/(-14). Solve i - 12 = z*b, -t = b + 2*b + 3*i for b.
-5
Let z be (1/1)/(1/(-3)). Let j be 0 - (z + 9 - 2). Let m be (j/10)/(1/(-10)). Solve -1 = 5*x - 3*w, x - w - m = -5 for x.
1
Suppose 2*i - 21 = -3*d, -5*i = -0*i - d - 10. Let v be (-18)/(-4)*2/i. Solve -3*f = -0*f - 2*q + 3, 2*f - v*q = 3 for f.
-3
Let s be 14*(-2)/(2 + -4). Suppose 7*b - s = -0. Solve -2*d - 10 = 2*o, 2 = -b*o - d - 3 for o.
0
Suppose 2*r = -4*v - 10, 36 = -4*r + 2*v - 4. Let o = -7 - r. Let k be ((-3)/2)/(48/(-160)). Solve 8 = 3*b + 4*s - k, o*b = -4*s + 14 for b.
-1
Let r = -211 - -213. Solve x + 4 = -3*n, -r*n + 2*x + 9 = 1 for n.
0
Let n(v) = -2*v + 15. Let q be n(4). Solve 2*i - 21 = -5*a, -3*a + i - 5*i + q = 0 for a.
5
Let t(d) = d**3 - 6*d**2 + 3*d - 11. Let q be t(6). Suppose 0 = -2*r + 2*n + 8, 0*r = 2*r - n - q. Solve -4*b = -5*o - r, 3*b + 18 = -3*o - 0*b for o.
-3
Let r be (-2)/15*(12 + -7)*-3. Suppose -17 = -4*i + 3. Suppose 0 = i*q - q. Solve 4*h = -3*d - 7, -r*h + q*h + 4*d + 2 = 0 for h.
-1
Suppose 2*t = -c + 2*c + 33, 3*c - 110 = -5*t. Suppose 2*a + 5*d + t = 0, 5*d - 6 + 34 = a. Solve -a = k, 3 - 5 = -p + 2*k for p.
-4
Suppose 5*f - 50 = -5*x, 3*x - 11 - 14 = -2*f. Solve 5*h + 4*o = -40, -x*h - o + 3*o = 10 for h.
-4
Suppose -3*g = 4*f - 4, 1 = -2*f + g - 7. Let v = f + 4. Let d(k) = k**2 + 1. Let j be d(-1). Solve v*b + 2*b - 12 = 4*y, j*b + y = 6 for b.
3
Suppose -90 = -h - x - 26, 194 = 3*h + 5*x. Let v = -48 + h. Solve 2*w = -4, -2*i + 5*w + v = 3 for i.
1
Let n = 989 + -987. Solve -20 = -k + 4*d, 4*d - 2*d = -n*k for k.
4
Let v = 0 - 0. Let n be (-2*(2 - 3))/(4/6). Suppose 0*t + n*t = 12. Solve -2*c + 5*j - 12 = 0, v*c + t = -4*c + 5*j for c.
4
Suppose -3*b = -4*b, -2*u - 5*b + 24 = 0. Suppose -24 = -3*s + 3*d, d - 2*d - 11 = -2*s. Solve -f = a + f - 6, -s*f + u = 0 for a.
-2
Let j(d) = d**2 + 5*d - 32. Let h be j(4). Solve h*q + 4 + 28 = 4*s, 0 = 5*q - 2*s + 28 for q.
-4
Let j(v) = v**3 - 3*v**2 - 2*v - 3. Let h be 2 - -1*12/4. Let w = 9 - h. Let q be j(w). Solve 2*y + 3*b - q = 0, 4*y + 2*b + 17 = 5*b for y.
-2
Let m(j) = 2*j**3 + 11*j**2 + 9*j - 7. Let o be m(-4). Solve -o*n - 13 = -4*t, 5*n + 6 = -3*t - 28 for n.
-5
Let x = -466 - -471. Solve -x*b + 3*w - 17 = 0, b - w + 8 = -3*b for b.
-1
Let j(q) = -4*q + 2. Let p be j(2). Let x = 8 + p. Suppose 0 = -0*m + x*m. Solve m = -w + 2*w - 5*b + 5, 3*b = 2*w + 10 for w.
-5
Let s(c) = -9*c**2 - 70*c + 18. Let u be s(-8). Solve 5*i - 5*t - 25 = 0, -3*t = -i - 5*t + u for i.
4
Suppose 0 = 3*b - 4*h - 38, -3*b - 2*h = -5*h - 33. Suppose -1 = -c, -4*c = 4*k - 3*k - b. Solve k*n - 4*n - 2*u + 4 = 0, -2*u = n - 4 for n.
0
Suppose 2*y - 11 = -i, 0 = -5*y - i - 0*i + 20. Suppose -1 = 2*t - 11. Suppose c - 8 = -3*m + 2, 4*m - t*c = 7. Solve 9*a - 4*a = y*o - 32, -m*a - 8 = o for a.
-4
Let j be (4/6)/((-4)/(-114)). Let t = 21 - j. Suppose -t*s = 2, 5*n + s - 5 = 4. Solve x - 8 = 3*a - 0*x, 0 = -2*a + n*x - 8 for a.
-2
Let k be ((-5)/(-30))/(9/486). Solve k*p - 3*l = 4*p - 16, 0 = 2*p + 5*l + 25 for p.
-5
Let n(r) = -5*r**3 + r**2 + r + 1. Let x = 8 + -9. Let s be n(x). Suppose s = -0*d + d. Solve -2*c - 1 = m, d*c - 4*c = 5*m + 29 for m.
-5
Let t = -8 + 9. Let r = t + 0. Let v be r - (-2 - (-4 - -3)). Solve 3*w + b = -2, v*w + w = 4*b - 7 for w.
-1
Let i(g) = 3*g**3 + 2*g**2 - 3*g. Let s be i(3). Suppose b + 3*w = 4, -3 = 4*w - 11. Let a be (2/(-3))/(b/s). Solve 0 = 5*r - 5*d, -3*r + a = 5*d - 2*d for r.
5
Suppose 4*m + 38 - 138 = 0. Suppose 10*c - m = 5*c. Solve s - 2*t + 4 = 0, c*s - 12 = 3*s - t for s.
4
Suppose -20 = -33*w + 28*w. Let t = 6 - 2. Solve -w*j - 4*u - 1 = -25, -t*j + 3*u - 11 = 0 for j.
1
Let k(j) = -18*j + 76. Let q be k(4). Solve z = -q*b + 21, 5*b - 45 = -4*z - z for z.
5
Let f be -1*39/(-12) - 41/164. Solve -f*r - 4*z + 3*z - 10 = 0, z - 22 = 5*r for r.
-4
Let u(i) be the first derivative of -i**2/2 - 6*i + 5. Let t be u(-11). Suppose -2*c = -t*c. Solve 2*g = -4*b + 22, -3*b + c*b - 5*g + 34 = 0 for b.
3
Let r be -1 + ((-99)/(-3) - 3). Suppose -5*f + 70 = -2*y, -5*y - 26 - r = -5*f. Solve -3*t - f = 4*c, -c + 5*c = t - 16 for t.
0
Let s(k) = -14 - 16*k**2 + 4*k**3 + 4*k - 3*k + 2*k**3 - 5*k**3. Let i be s(16). Solve -4*v + 14 = i*d, -3*d - 1 - 13 = -v for d.
-3
Suppose 5*m - 9 - 11 = 0. Let z be m + -1 - (-2 - 1). Let t = -3 + z. Solve t*j - 5 + 1 = -n, -n = j for j.
2
Let b be (-86)/(-11) + ((-24)/(-66))/2. Solve 2*i - b = -5*g, 4*g = -6*i + 3*i + 5 for g.
2
Let i(s) = s**2 + 6*s - 1. Let p be i(-4). Let j be (p + 3)*6/(-4). Let y(b) = b + 3. Let g be y(j). Solve -z - 1 = -5*x + g, 17 = 4*x - 3*z for x.
2
Let z = -416 + 433. Solve