w*a = 31 - 0, 3*d - 29 = 5*a for d.
3
Let m be -23*(-1 + (2 - 0)). Let g = m - -9. Let l = 38 + g. Solve 2*y + u + 8 = 5*u, 2*y + 4*u = l for y.
4
Let j = -4 + 9. Let c = j - 12. Let d = 9 + c. Solve -a - 5 = -d*q, 4*a - 2 = q + 6 for a.
3
Let z(o) = -3*o**3 + 2*o**2 + o - 2. Let b be z(-1). Suppose b*n - 4 = -2. Solve -n + 6 = -m + 2*j, 0 = -3*m - 5*j - 15 for m.
-5
Suppose 9 = -172*z + 175*z. Solve 2*b + 2 = 3*x - 2*x, -z*b + 2*x = 1 for b.
-3
Let k(a) = -2*a**3 - 30*a**2 + a + 17. Let u be k(-15). Solve 4*g - 2*v + 4 + 18 = 0, -10 = g - u*v for g.
-4
Suppose 66*n = 77*n. Let x(m) = -m**2 + 4*m. Let s be x(2). Solve 3*u = r - n + 8, 5*u - s = 4*r for r.
4
Suppose -12 = -w + 26. Suppose 2*m - w = 40. Let b be ((-6)/4)/(m/(-26)). Solve 0 = v + 3*g - 1 - b, 0 = v + 4*g - 4 for v.
-4
Let w = 12 - 7. Let z = -3 + w. Let i = -3 + 5. Solve n + 0*u - 2*u = -7, 0 = z*n + 2*u + i for n.
-3
Suppose -3*r = -2 - 4. Suppose 2*p + 2 = 0, 2*p = 5*c + 4*p - 23. Solve r*i + 12 = 4*b, 4*i + c*b - 9 = 6 for i.
0
Let l = 565 + -554. Solve -2*p - l = -v, 0 = -v - p - 4 for v.
1
Suppose 0 = -3*i - 9 - 6, -3*r - i - 2 = 0. Solve 2*u = -4*y + 4, -u + r = -y - 4 for u.
4
Let j = 1344 - 1317. Solve s - 2*s = -2*c + 9, -5*s + 4*c - j = 0 for s.
-3
Suppose 5*i = -4*r + 5, 9*i - 6*i + 34 = 5*r. Solve -j = -2*u - r, -6 = 5*j + 2*u + 5 for j.
-1
Let c = 1272 + -1270. Suppose -4*k + 46 = -10. Suppose 3*f + 0*w - k = 2*w, -14 = f + 4*w. Solve -5*d - 1 = 2*q, d + c = q - f*q for d.
1
Let j = -128 - -131. Solve 4*r = 3*v + 7*r + j, -16 = -5*v + 2*r for v.
2
Suppose 3378 = 13*t + 3053. Let z(f) = 3*f - 4. Let s be z(3). Solve 0 = 4*u - 0*m + m - 11, 5*m = -s*u + t for u.
2
Let a(o) = 3*o + 35. Let w be a(-10). Solve -3*d + 9*j = 4*j + 7, 3*d = 4*j - w for d.
1
Let i be (-75)/(-60) + (-2)/8 - -3. Solve -i*g - 1 = -3*g, -2*g = z - 1 for z.
3
Let t(n) = n**3 - 4*n**2 - 3*n - 6. Let k be t(5). Let p = k - -12. Solve -4*y - j = p, -29 = 4*y + y - j for y.
-5
Suppose -3*c + 5*c - 30 = 3*w, 4*c + 36 = -2*w. Let n be (w - (-12)/3)/(-2). Solve 5*j = 3*g - 5, 5*g + 3 = -n*j + j for j.
-1
Suppose -25 = 598*c - 623*c. Suppose 22 = 2*r + 3*a, -4*a - 4 = 4*r - 8*r. Solve -c = 3*d - 2*x + 1, -r*d = -2*x + 10 for d.
-4
Suppose 0 = -42*c + 36*c. Solve -5*m - 13 = 2*u, -4*u + 3*m + 13 = -c*u for u.
1
Suppose 21 = 8*q - 43. Let p be -2 + q + -2 - -1. Solve 0*y + 19 = p*y - 3*u, -9 = -y - 2*u for y.
5
Let j(l) = -l**3 - 9*l**2 + 21. Let i be j(-9). Suppose 6*d = 45 + i. Solve p + 3 = 3*f - d, 5*f - p = 20 for f.
3
Let z be 42*(-13)/(-234) - (-2)/(-6). Solve -4*o + g = -z*o + 5, 0 = 5*o + 5*g - 25 for o.
0
Let j = -309 + 309. Solve j = y - 4*q - 12, -5*y + 5*q + 15 = -y for y.
0
Suppose -14*h + 98 - 28 = 0. Solve -h*j + 7 = 2*x, 5*j - 2 = -x + 4*j for x.
1
Suppose 0 = v - 12 - 1. Let m = 46 + -37. Suppose -v*p = -m*p. Solve 4*g = 4*r + 28, 2*r + 3*r + 4*g + 17 = p for r.
-5
Suppose 1307 + 1513 = 1003*g + 814. Suppose -2*q = -56 + 18. Suppose y = 5*f - 15, 8 + 19 = 3*f + 3*y. Solve u = g*i - 7, -q = -f*i - 3 for u.
1
Let m be (0/4 - -4) + 6/(-3). Solve -c - 3*k = 5 - 2, -c + m*k + 7 = 0 for c.
3
Suppose 4*v + 9 = -3*h, -2 = -3*v + 3*h + 7. Solve 5*f + 3*k + 20 = -v*f, -2*f - 2*k - 12 = 0 for f.
-1
Let o(a) = -8*a + 653. Let y be o(81). Suppose 0 = 2*x + 10, q - 18 = 3*x - x. Solve -t = -3*r - q, -4*r + y*t - 4 = 2*t for r.
-4
Let u(x) = -x**3 + 11*x**2 - 17*x - 2. Suppose -q + 5*q - 3*c = 30, -4*q + 32 = -2*c. Let a be u(q). Solve -3*f + a = -0*i + 5*i, 5*i - 5 = -5*f for f.
-1
Let j = 515 - 507. Solve 4*l = s + j, -l - 3*s - 6 = -4*l for l.
2
Let u be (-1)/(-1 - (-1)/2). Suppose 5*m + 23 = 2*r, m - u = -2*r - m. Suppose w - 8 = 1. Solve -4*p + 5*s = -w, -r*p - 3*s = 20 + 11 for p.
-4
Let r(o) = o**2 - 7*o + 11. Let i be r(5). Let g be 23/(-161) - 8/(-7). Let p be g/((-4)/20)*-1. Solve -2*b + 2*f = 0, 0*b - p*f = -4*b - i for b.
1
Let y(f) = -f - 6. Let b be y(-8). Let x be -10 + 13 - (-1 + 3). Suppose b*j - 4*t - 11 = -3*t, t - x = 0. Solve -k = -5*v + 23, -3*v - 3 = 3*k - j for k.
-3
Suppose -3*h + 5 = -1. Let u be 16/6 - 1/(-3). Let s = 1 + u. Solve h*c + 0*c = 5*a + 11, -8 = -2*c + s*a for c.
-2
Let a = -7 - -17. Suppose a = 5*w + 45. Let s = 11 + w. Solve -2*q - s = -3*b, 5*q - b = 3*b - 17 for q.
-5
Let p(x) = x**2 - 2*x + 1. Let h be p(3). Suppose -5*b - u = -39, -27 = -4*b - 0*b - 5*u. Suppose 20*j - b = 16*j. Solve -j*c + h*o + 18 = 0, 0 = -o - 3 for c.
3
Let l be ((-10)/(-4))/((-3)/(-6)). Suppose 190*y = 185*y + 10. Solve 2*x + y*t - 18 = 0, 0*t + l*t - 5 = 5*x for x.
4
Suppose -2 = 6*y - 14. Solve 3*t - 9 = 0, 5*t - 3 = y*q + 6 for q.
3
Suppose -2*w - 36 = -14*w. Let r = -50 + 52. Solve -3*l - 3 + 4 = -r*n, w*n = l + 2 for n.
1
Let j = 8 + -5. Suppose -4*v + j = p - 5, 4*p + 7 = -3*v. Suppose 5*l - 11 = s, 0*l + v*s = -5*l + 7. Solve -5 = u + n, 0 = 3*u + 5*n + l + 21 for u.
-1
Suppose 2*l + 0*l - 8 = 0, 3*g - 4*l = -19. Let h be (1 - g - 9) + 4. Let i be 10/(-30) - 1/h. Solve -2*y + 3*d - 9 + 4 = i, 0 = -4*y + 4*d - 12 for y.
-4
Let a = -66 + 70. Let y be 68/18 - a/36*-2. Solve -4 = -y*m, 0*o - 3 = 3*o + 3*m for o.
-2
Let d = 9 - 1. Suppose 4*o + 0 - d = 0. Suppose -o*f - 8 = j, -f = 3*j - 2 + 1. Solve j*v + 4*n + 10 = -0*v, 4*n - 25 = 5*v for v.
-5
Let u(g) = -25*g. Let b be u(-1). Suppose -4*v - b = -9*v. Suppose -3*h - 5 = 2*z, 2*h + 5 = 2*z - v. Solve 4*x - x = m - 17, 4*m = -z*x - 2 for m.
2
Let n = 49 + -93. Let j = n + 45. Suppose 2*m = 5*x - 24, m - 11 = 5*x - 33. Solve 2*s - 5*g = -6, s - j = -2*g - x for s.
-3
Suppose 27*k = 26*k - 5*l + 4, 2*k - l = 8. Solve -2*t - 14 = -3*z - 0*t, -k = -2*z - 4*t for z.
4
Suppose 5*m - 117 = -3*k, -3*m - 223 + 62 = -5*k. Solve q = 4*h - k + 17, -4*h - q + 15 = 0 for h.
4
Let a(i) = -i**2 + 5*i - 4. Let f be a(4). Suppose 31*y - 19*y = -31*y + 86. Solve 3*p + 2*s - y = p, s = f for p.
1
Let w be (-2)/15 + ((-59584)/(-210))/28. Solve 3*n - v = 17, -5*v - 7 = 2*n + w for n.
4
Let o = -21 - -34. Suppose 0 = 7*r - o - 22. Solve 9*h + 19 = -2*v + 4*h, 4*v - 37 = r*h for v.
3
Let j(u) = 29*u - 258. Let h be j(9). Solve 5*n + z = -21, -h + 7 = -2*n + 4*z for n.
-4
Let z = 27 + -22. Suppose -4 = -4*j - 4*g, -z*j + g = -2*j - 7. Solve 7*t - 45 = 2*t - 4*q, -25 = -3*t - j*q for t.
5
Let q be 0/(-3) + 15*(-12)/(-36). Solve -4*j + q*x - 33 = 0, 7*j - 3*j - x + 13 = 0 for j.
-2
Let s(r) = -r**2 + 3*r + 14. Let n be s(-2). Solve -c = -2*j - 3, 0*c - 3*c = -n*j - 1 for j.
-4
Let k be 0/3*-3*5/15. Solve k*v - 5*v + 3*n - 3 = 0, 1 = n for v.
0
Let u = -15 - -91. Suppose 7*o + 6 = u. Solve f - 4 = -h - o, -2*f - 3*h = 17 for f.
-1
Let o be (1 + 4 + 3/(-2))*2. Solve -3*y - p + o = p, -y - 5*p + 24 = 0 for y.
-1
Suppose -5*k + 3*f + 42 + 13 = 0, -f + 33 = 3*k. Let d(z) = -z**3 - 4*z**2 - 12*z. Let i be d(-4). Let w = -45 + i. Solve -3*c - 16 = o, c = w*c + o + k for c.
-5
Let p be 2/7 + (-18)/14 + 13. Solve 0 = -i + 3*m + 1, i - 4*m - p = -3*i for i.
4
Let d(z) = -z**2 - 8*z - 7. Let s be d(-7). Suppose s = 2*h - 3 - 1. Suppose h*l - 1 = b - 5, -2*l = 0. Solve 2*r - 22 = 4*f, -4*r + r = b*f - 3 for f.
-3
Let l be (-4)/(-12) + 15/9. Solve 3*c = 3*w + 12, l*w - 4*c = 3*w - 21 for w.
1
Suppose -4*z + 5*j = -82, 2*z = -0*z - 2*j + 50. Let s = z + -23. Solve -7 = -3*a + 2*h, s*a = 3*a - 4*h - 5 for a.
3
Suppose 10 = 3*p - 5. Suppose -p*h + 11 = -2*d, -d - 1 + 0 = -h. Solve 2*v + 18 = 5*r, -4*v - 2*r = -h*r for v.
1
Suppose 65 = 5*b + 5*g, -2 = b - 0*b - 4*g. Suppose 5*l - b*l = 0. Suppose 0 = 3*u - 4*d + 8 - l, 0 = 4*d - 8. Solve 5*i - 12 = 2*j, -4*i = 3*j - u*j - 5 for j.
-1
Let s(d) = 6*d**2 - 22*d + 16. Let i be s(4). Solve 3*n = -4*u + 6*n - 11, 3*u = -3*n - i for u.
-5
Suppose 7*z = 55 - 20. Suppose j = 5*j + 12, -3*h + z*j = -21. Solve -5*k + 23 = -y, h*k = 5*k + 4*y for k.
4
Let u = -1041 + 1044. Solve h - n - 4 = -h, u*h - 19 = -5*n for h.
3
Let a be 11/4 + (-12)/16. Suppose 0*v + 4*v + 2 = -2*l, 0 = -5*l + a*v - 41. Let u = 9 + l. Solve 0 = u*z + 3*m - 25, -4*m + 30 = 5*z - 3*m for z.
5
Let x be (-52)/(-10) - ((-19)/5 - -4). Suppose 3*m - x*a + 3 = 17, -5*m + 3*a + 18 = 0. Solve 0*i + 3*i - 5 = -c, 3*c + m*i - 15 = 0 for c.
5
Suppose -r = -7*r + 306. Let w = -41 + r. Solve 4*x + 15 = 3*v, -3*x = -x + 2*v - w for x.
0
Let p(o) = -o**3 + 2*o**2 + 7*o + 7. 