1
Suppose 5*z - 40 = -2*j + 38, 0 = -2*z - j + 31. Solve -5*x + 3*p + 2 = -z, 3*x - 12 = 3*p for x.
3
Suppose -o = 10*r - 6*r - 6, -3*r - 5*o = 4. Suppose 0 = 4*u + r*u. Solve u = 2*j - 2*n, j - 4*j = -4*n - 5 for j.
-5
Let d(b) = b**3 + 39*b**2 + 39*b + 42. Let n be d(-38). Suppose -5 + 0 = -m. Solve 0 = -m*y - 4*p + 40, y - n = -p + 5 for y.
4
Let a(g) = g**2 + 7*g - 14. Let i be a(5). Let s = i - 38. Solve -5*o = 0, -5*f - s = -f - 2*o for f.
-2
Suppose -2*m + 2 + 0 = 2*v, -m + 2*v + 7 = 0. Solve r - m*c + 7 = c, r = -3*c + 14 for r.
5
Let p(j) = 2*j + 37. Let f be p(-13). Suppose 6 - 39 = -f*z. Solve -5*y + 2*w = -w - 25, -z*w = 15 for y.
2
Let n = -215 - -219. Solve 0 = -4*f + 3*h + 7 + n, 0 = -f + 4*h + 6 for f.
2
Let o(j) = -18*j + 17. Let z be o(1). Let w be 28 + (-1)/(1/(-2)). Let l be z + 2/2 + w. Solve 3*v + v = -5*b - 45, 2*b = -4*v - l for b.
-5
Let a(n) = -n**2 + 3*n + 12. Let s be a(4). Solve 0*w + 4*w + s = -4*o, 3*w - 5*o + 6 = 0 for w.
-2
Let g be 1/(18/(-44) + (-2)/(-4)). Suppose g*u - 6*u = 10. Solve -4 = -5*w - 2*c, -2 - u = -w - 2*c for w.
0
Suppose -46*q - 18*q = -704. Solve 2*u = 3*v - 0*v + q, 0 = 5*v + 15 for u.
1
Suppose -z + 16 - 6 = 0. Let w(x) = x + 3. Let u be w(7). Solve 0 = -2*i - 3*p + 10, 4*p - z - u = -4*i for i.
5
Let h(z) = z**3 + z**2 + z + 2. Let t be h(0). Suppose -4*l = -4*x - l, -2*x + t*l = 2. Suppose -b - x*b + 20 = 0. Solve 0 = -b*s - 25, -3*d - s + 4 = -6 for d.
5
Let z be 8/12 + 28/12. Let d be 1 - (-1 + 1 + -2). Suppose -3*o = 9, z*f - f - d = -o. Solve -f*m + 2*a - 15 = 0, 0 = -0*m - 3*m - 3*a for m.
-3
Suppose 5*x - 25 = -0*x. Let c be ((-4)/(-6))/((-14)/(-21)). Suppose 2*y - c - 1 = 0, 0 = -f + 2*y. Solve f*d - x = -p, -p + 5*d - 11 = -2*p for p.
1
Suppose -12 = -i - 0*p + 2*p, 3*p = 2*i - 19. Let c be (i - (-4 - 0)) + -4. Solve -u - 3*b + c*b = 1, 0 = 2*u - 2*b - 2 for u.
0
Let f(m) = -m**3 + 22*m**2 + 22*m + 27. Let y be f(23). Suppose 0 = y*k + 5*p + 4, -4*p = -3*k - 11 + 39. Solve -k*u - 10 = -2*n, -u = -2*n - 2*u for n.
1
Suppose 156*l = 154*l + 22. Let g = l + -9. Solve 0 = -2*p - 3*b + 5, -3*b + 15 = -g*p - p for p.
-2
Let b = 15 - 16. Let v(t) = 4*t + 9. Let u(n) = -n + 1. Let q(o) = b*v(o) - 2*u(o). Let r be q(-7). Solve -r*x - 6 = 2*s - 28, 20 = 4*s for x.
4
Let p = -13 - -2. Suppose 10*o - 8*o = -24. Let k be p - o - -2*2. Solve 5*h - k = -a, 0 = -4*h + 3*h + 1 for a.
0
Let v(w) = 14*w - 249. Let t be v(18). Solve 12 = 2*r + 2, -3*r = t*p - 6 for p.
-3
Let q = -109 - -50. Let r = 64 + q. Solve n - 4*n - r*g + 23 = 0, -3*g = 3*n - 15 for n.
1
Let i(h) = 25*h + 56. Let p be i(-2). Solve -5*b = -5*t + 19 + 11, -4*b = 2*t + p for t.
3
Let l(f) = -8*f - 4. Let t be l(2). Let m = t + 40. Suppose 10*s - 5*s = 0. Solve 20 = -3*b - 2*b, -4*u - b - m = s for u.
-4
Let j(b) = b**3 - 13*b**2 + 4*b - 42. Let i be j(13). Let g be 1*i*(-5)/(-10) - 4. Solve -2*r - h = g, r - h = -2*h + 2 for r.
-3
Suppose -1630 = -42*f - 286. Solve 8*w + 2*k + 23 = 3*w, 4*w = -5*k - f for w.
-3
Suppose -3*d = 41 - 8. Suppose -123 = -12*v + 33. Let a = d + v. Solve 11 = -2*u - 3*u + a*j, -20 = 5*u - 5*j for u.
-1
Suppose -12*y = -72 + 24. Solve -5*d - 24 = 3*o, 4*d - o + 5 + y = 0 for d.
-3
Let n(z) = z + 8. Let j be n(-7). Suppose 17 = 2*s + 2*s + 3*x, -5*s - 5*x + 25 = 0. Let b = -6080 + 6085. Solve s = 3*l - b*v - j, 0 = -2*v for l.
1
Let h be (2/5)/(-2 - (-22)/10). Let a be -2 + -1 + (-55)/(-11). Solve -m = 5*r + 17, -h*r - a = -2*m - 0*r for m.
-2
Suppose 4*z - 2*l = 14, -z + 9*l + 8 = 4*l. Solve 3*y - z = -0*j + j, 2*j = 0 for y.
1
Let q be (0 + 2 + -3)/(8/(-16)). Let l be 2 + 3/(6/4). Suppose -4*z + q*o = -l, 2*z - 14 = -0*z - 5*o. Solve -r = -5*m - 2, 0*m = -2*m - z*r - 8 for m.
-1
Let x be (-7 - -3)*77/(-22) + -5. Solve -q = 2*f - x, 0*f + 3*q = 2*f + 11 for f.
2
Let x(m) be the first derivative of 9*m**4/2 - 2*m**3/3 + m + 1. Let d be x(1). Let u = d - 15. Solve -4*t = u*j + 18, -2*j = 2*j + t + 22 for j.
-5
Let m(v) be the first derivative of -v**3/3 - v**2/2 + 3*v + 4. Let p be m(-3). Let q be (1 - (-21)/p)/(-1). Solve 0 = 3*n - q, 3 - 5 = 4*r - n for r.
0
Let n(l) = -4*l - 17. Let r(x) = 2*x + 3*x - 7 + 5*x**2 - 3*x**3 + 4*x**3 + x**2. Let w be r(-5). Let p be n(w). Solve -3*u - p = 5*h, 4 = 3*h - 5*u - 3 for h.
-1
Let q be 9/(-1)*(-14)/6. Let r = q + -19. Solve -4*n = -j + 14, 5*j = -r*n - 0*n - 18 for j.
-2
Suppose -25 = 5*o, 2*q + o - 52 = 5*q. Let x = -39 - -63. Let j = q + x. Solve -5*d - 11 - 9 = i, 0 = -j*i for d.
-4
Let u be (-21)/(-4) + 10 + 41/(-4). Solve 2*d + u*j - 9 = d, -j = -3*d - 5 for d.
-1
Suppose -3*k - 2*q + 29 = 0, -q + 256 - 219 = 4*k. Solve -11*w = -3*z - k*w - 17, -4*z + 3*w = 24 for z.
-3
Let u be 10 + 25*6/30 + 1. Solve -5*r - 16 = -4*s + 9, -r + 3*s - u = 0 for r.
-1
Let y = -49 - -54. Suppose -y*i - 20 = 0, -4*i + 2*i = -3*h + 14. Solve -21 = -5*o + h*o - 3*w, o - 4*w + 13 = 0 for o.
3
Suppose 2*m = -4*v + 44, -1 = 2*m + 3. Solve -2*r - 5*z = 2*r - v, 8 = 4*r + 4*z for r.
-2
Let l(a) = -12*a + 32*a - 7 + a**2 - 15*a. Let n be l(-5). Let r = n - -10. Solve -h = -4*u - 17, 2*u + r*u + 25 = 2*h for u.
-3
Suppose 4*h = 5*h - 8. Let w = h + 9. Suppose t + p - w = 0, 0 = 3*t + 2*p - 4 - 47. Solve 3*u + m + 0*m = t, -2*u + 28 = 4*m for u.
4
Let b(c) = 4*c**2 - 4*c. Suppose -5*g + 41 = 31. Let u be b(g). Solve 2*x + x - 2*w + 5 = 0, 2*x + u = -w for x.
-3
Suppose 3*d - 5*w + 15 = 0, 2*d = 2*w - 2 - 4. Suppose d = 110*h - 108*h. Solve 5*p + h = 2*k - 2, 0 = -5*p - 3*k - 22 for p.
-2
Let y = -51 + 74. Suppose 23 = -y*t + 138. Solve -4*z - 11 = -5*i, i - 2 - 17 = t*z for z.
-4
Suppose 2 = 2*j, 13 = 5*u - 2*j - 0*j. Let f(m) = -m**3 + 7*m**2 + 3 + 0*m**u + 0 - 8*m. Let a be f(5). Solve -2*q + p + 11 = 2*p, -2*q - 3*p = -a for q.
5
Let v = -5 - -7. Suppose -6 = -v*g - 0*g. Suppose 350*w = 332*w + 54. Solve g*i + 14 = -w*m - 4, 3*i = 4*m - 11 for i.
-5
Let d = -651 - -656. Solve 0 = 3*g - d*n - 12, -5*g = 4*n - 7 - 13 for g.
4
Let o be (-50)/(-20)*12/15. Solve -2*g + 21 = 5*p, -o*g = 5*p - g - 18 for p.
3
Let o be (30 + -2)*6/8. Suppose m - 5*b - 1 = -2, -b + 5 = m. Suppose 5*j + 15 = 5, 0 = m*d + 5*j + 2. Solve -d*p = 6, -2*p - o + 6 = -3*z for z.
3
Suppose -h = -7*o + 6*o + 5, -2*o + 3 = 5*h. Solve 5*q = f + 29, -q = -9*f + o*f - 25 for f.
-4
Suppose 0 = -2*t - 133 + 137. Solve -16 = 4*v + t*k, -2*k = -6*v + 3*v - 19 for v.
-5
Let o(m) = -7*m - 6. Let c be o(-11). Suppose -17 - c = -4*s. Suppose 6*q = -4*n + q + s, n + q = 5. Solve 0 = 3*p + 2*j - 5, -2*j = n*p - 7*j - 40 for p.
5
Let s be (0 - (-33)/6)/(2/(-16)). Let d = s + 47. Solve 2*j - 15 = d*t, 5*t = 4*j - 22 - 3 for j.
0
Let y(b) = b**2 - 29*b - 244. Let j be y(36). Solve -m + j*s + 10 = 3*s, 0 = 2*m + 2*s + 4 for m.
0
Suppose -3*c = c - 16. Suppose -4*x - 5*t + 33 = -0*x, -3*t = -5*x - 5. Solve x*z + c = 0, 2*r = -z - 3*z - 6 for r.
1
Suppose -4*o = -o + 288. Let p be o/(-9)*27/12. Let a = 110 - 108. Solve 0 = 3*i + a*k + 13, 0 = -3*i + 7*i + 4*k + p for i.
-1
Suppose 4*h - 3*j = -10 + 1, 3*j = -3*h + 9. Solve 4*x + 5*t - 4 = 0, -2*t = -h*t for x.
1
Suppose 0 = -2*o + 7*o + 110. Let b = o + 23. Suppose p + b = 25. Solve -h + 20 = -3*h - 3*i, p = -3*h - 3*i for h.
-4
Let u = -29 + 50. Let t be 1/(10/(-30) - (-10)/u). Solve -4*a + 5*m = t, 3 - 12 = -3*m for a.
2
Let a be (1 - 1)/(6/33*11). Solve a*v + 5*v - 20 = -3*z, -2*z = 2*v - 8 for z.
0
Suppose 17 = 4*h + 3*r, -4*r + 2 = 6. Suppose -5707*s - 423 = -5848*s. Solve -s*p + 29 = -h*i, 4*p = 4*i - 0*p + 28 for i.
-4
Let z be (60/(-45))/((-8)/18). Solve -2 = -z*n + 1, -4 = 4*r + 4*n for r.
-2
Let q be (-172)/(-16) + 3/24*2. Suppose 0 = -q*j + 15*j - 64. Solve c = 2*p + 4*c + 1, -j = 5*p + 3*c for p.
-5
Let w = 242 - 238. Solve -3*k = w*n, -5*n + 5*k + 35 = -0*n for n.
3
Suppose 33*g = 34*g - 10. Let i be (-4)/(-2) - (-4 - -5). Let k be 6*(-15)/(-6)*i. Solve 5*o = 5*q - g, -2*q - q = 4*o + k for o.
-3
Suppose 0 = -4*q - 13 + 9. Let d = q - -3. Solve -x - x = -3*g + 15, 0 = d*g - 6 for x.
-3
Suppose -c - 10 = 4*c, 3*c = 4*a - 78. Let z = -1 + a. Solve 2*v + z = -3*g, 4*v - 2 + 1 = g for v.
-1
Let k be (14 + -2)/(-12)*9/(-12)*4. Suppose 5*s + 26 = r, 5*r + 2*s - s = 26. Solve 17 = 5*n + k*v - r*v, -3*n - v + 13 = 0 for n.
4
Let b(r) = 2*r + 17. Let t be b(12). Suppose 0 = -8*d + 