5
Suppose 54 + 24 = 3*r. Solve 4*k - 21 = j, 4*k - 3*j - r = -3 for k.
5
Suppose 9 = 5*f - 6. Suppose -2*r + 11 = -3*b, b = 4*r + f*b + 2. Solve 4*c + 2*y - 7 + r = 0, 4*y = -2*c for c.
2
Suppose -75 = a + 2*a + n, a + n = -25. Let g = 28 + a. Solve 2*w + 3*u + 10 = 0, g*w - 2*u + 2 - 13 = 0 for w.
1
Suppose -j + 3 = 0, -m - 2*m + 3*j = 9. Solve 20 = -3*h - 2*k, 5*h - 3*k = -m*k - 8 for h.
-4
Let o = 7 - 4. Suppose 4*x + i - 22 = 0, -o*x + 4 = -2*x + i. Suppose p + 1 = x. Solve -2*d + k - 14 = -p, 4*k = 3*d + 11 for d.
-5
Let h(s) = s**2 + 26*s + 77. Let f be h(-23). Suppose 2*u - 6 = 8. Solve q + v + f = 0, 3*q - v = q - u for q.
-5
Suppose 5*q = 62 - 17. Let w be ((-5)/3)/(q/(-54)). Solve -3*r = -5*a + w, 5*r + a + 25 = -1 for r.
-5
Let o = 6 + -3. Suppose -o*u + 5 = -10. Suppose -3*j - u = -d + 6, 4*j + 20 = 4*d. Solve -12 = -4*b + f, b + d*b - f - 9 = 0 for b.
3
Let d = -1 + 6. Suppose 0*o - d*o = -75. Solve 2*t = z + 13, -5*z + 4*z + o = 5*t for z.
-5
Suppose 0 = -2*w + 4*l + 4, 4*w + 0*l - 3*l = 13. Let o be 1 + (-1 + 2 - 1). Suppose 2 = 2*s - 0. Solve -b + o = i - s, -5*b = -2*i + w for b.
0
Let v = -42 + 43. Let g = -7 + 34. Suppose -95 = -4*a - b, g = a - 4*b - 1. Solve 2*i - x + v = 0, -3*i - 3*x - a = -0 for i.
-3
Let w = 28 - 23. Solve -w*v = -20, -v - 2 = -2*r - 0 for r.
3
Let p(j) = -2*j + 40. Let w be p(10). Solve 4*o + o + m + 22 = 0, w = -3*o - 4*m for o.
-4
Let m be 16/3 - (-6)/9. Solve 3*q = 3*x + m, q + 11 + 5 = -5*x for q.
-1
Let w be ((-4)/8)/(46/12 + -4). Solve 0 = w*z - 5*l - 15, -5*z - 3*l + 25 = l for z.
5
Suppose -3*b = -5*b + 72. Let m be 15/(-25) + b/10. Solve 0 = -0*c + 4*c - 2*l - 8, -7 = -m*c + 2*l for c.
1
Let j(m) = m**2 - m + 1. Let w be j(8). Let q be 1/(1/(w/3)). Solve -3*b + 4*f + 29 = 0, -q = -2*b - b + 2*f for b.
3
Suppose 2 = 2*i - 6, p + 3*i = 16. Suppose 49 = p*c + 13. Let m be 12/c - (-2)/3. Solve -m*y + 3 = y + 4*w, 3*y - 2*w = -15 for y.
-3
Let p(w) = -w**2 - 10*w - 4. Let r(t) = 2*t + 3. Let q be r(-6). Let n be p(q). Solve -3*z = 5*a + 10, 5*a = 4*z - n - 5 for z.
0
Let q(a) = a + 8. Let y be q(-6). Suppose -4*t + 62 = -10. Let l = t - 3. Solve -y*d = 4*x - 28, -2*x + x - l = -5*d for x.
5
Suppose 4*q + 8 = 4*j, 5*j - 8 = 3*j. Let f = 65 - 63. Solve f*s - 12 = -q*s + 2*v, s - 2 = v for s.
4
Let t = -106 + 112. Solve -3*g + 5*v + 2 = 0, -v = -t*v + 10 for g.
4
Suppose 4*n + 90 = 13*n. Solve 2*s - 4*s = -4*l + n, 5*l = s + 11 for s.
-1
Let i be (1/(-3))/((-2)/24). Suppose 0 = k - 4 - i. Let n = k - 6. Solve n*d + 2*p = -d + 1, -20 = -4*p for d.
-3
Let d be (-12)/(-9) - 6/(-9). Let v = 4 - d. Solve 3*t = -3*r + 15, 0 = -r - r + 2*t + v for r.
3
Suppose 2*r - 12 = -2*r. Suppose -12 = -3*z - r*q, q = -z + 4*q + 8. Solve -z = -5*c - 0*u - 3*u, 0 = 2*u + 10 for c.
4
Let o(u) = u**2 + 9*u - 10. Let r be o(-10). Suppose r = -5*c + 2 + 3. Solve 0 = -5*q - 2*w + 7*w - 20, w = c for q.
-3
Let b be (-1 - 24/(-15))*5. Suppose 1 + 5 = b*q. Let j be (-15)/(-4 + 1) + -1. Solve -4*u - k = -4*k + 29, 0 = -q*u - j*k + 2 for u.
-5
Let t be -4 + (7 - 4) - -4. Solve -2*o + 18 = 2*y + 2*o, -2*o = -t*y + 11 for y.
5
Let c be 7 + (2 - (-1)/1). Solve 5*d - 4*s + c = -16, -5*d = -s + 14 for d.
-2
Let a = 11 + -6. Suppose -a*v + 0*v = -20. Solve v*b - 3*q = -11, 9*b - 4*b + 3*q = 20 for b.
1
Let m = -12 + 15. Suppose -d + 5 - m = 0. Solve -3*c + 10 = -d*i, 3*c - 3*i - 8 = 4 for c.
2
Suppose 5*m = 3*t + 33, 2*m - 2*t - 20 = -m. Solve 4*s - a = -18, 2*s + 4 + m = a for s.
-4
Let l be (-5)/10 + (-5)/2. Let b be ((-2)/(-5))/(l/(-15)). Let n(s) = s**3 - 7*s**2 + 8*s + 3. Let f be n(6). Solve -3*r + 2*p = -5, r - f = b*p - 4*p for r.
5
Let g(z) = z**3 - z**2 - z. Let l be g(0). Solve -3*k = -2*y - 3, l = 2*y - 2*k + 2 for y.
0
Let o = -20 + 23. Solve -5*p - 11 = -4*h, 0 = -o*h + 7*h - 4*p - 8 for h.
-1
Let f = -48 + 53. Solve -5*x + 4*o = 16, -f = x - 4*o + 5*o for x.
-4
Let i(h) = h**2 - 8*h + 3. Let y be i(8). Solve -3*q - 9 = 2*b + 8, -12 = y*b for q.
-3
Let h = 146 + -146. Solve l - 2*i - 4 = 0, 0*i - 4*i = h for l.
4
Let l = 10 - -6. Solve -2 = -r - a, -4*r - l = -2*a - 0 for r.
-2
Suppose 3*x - 9 = -0*x. Suppose 2*v + x = 3*v. Suppose 0*q = -v*q. Solve q = -3*g - 15, -5*c + 3*g - 10 = -0*c for c.
-5
Suppose -3*v = -7 + 1. Suppose v*k + i - 13 = 0, -k - 7 = -3*i - 3. Suppose 4*p = k + 11. Solve 0 = -p*r - z + 4*z + 4, 5*z = 0 for r.
1
Let l = 72 - 68. Suppose -18 = -3*z + 3*g, 5*g - 2*g = -z + 2. Solve 2*d - t - 14 = z*d, 3*d - t = -l for d.
-3
Let s(a) = -a + 11. Let w be s(11). Suppose 3*c + w*d - 20 = -d, -5*d = 3*c - 40. Solve c*q + o + 2*o = 25, 4*q = -2*o + 20 for q.
5
Let t(a) = 3*a - 18. Let f be t(6). Solve -2*x + 12 = -2*c, 3*x + 5*c + 24 - 2 = f for x.
1
Let q(g) = g**2 - 15*g - 12. Let h be q(16). Solve 4*t - h*k - 4 = -0*k, -2*k - 6 = 0 for t.
-2
Let r = -12 + 17. Suppose 17 = 12*v - 19. Solve -o - v*d + r = 0, o + 6*d - 5 = d for o.
5
Suppose -2*c + 8 = -0*c. Suppose c*m = -m. Suppose z + m*z + 18 = 4*b, -3*b = 4*z - 4. Solve 0 = -b*n + v + 18, 0*v + 16 = 5*n + 2*v for n.
4
Let g(y) = 4*y - 5. Let v be g(5). Solve -2*m - 18 = 4*r - 7*r, 3*r - v = m for m.
-3
Suppose -6*o + 55 = -o. Suppose 3 = -2*q + o. Suppose 5*m - 3 = 7, q*l + 5*m - 10 = 0. Solve f - 2 = -l*s + s, -2*s = 2*f - 8 for s.
1
Let o(k) = k**3 - 3*k**2 - 4*k + 3. Let x be o(4). Suppose -3*j + 92 = x*l + 14, 4*l = 4. Solve -2*i + 2*f + 0 - 2 = 0, 0 = 3*i + 4*f - j for i.
3
Let m be 3/(-2)*(-5 - -3). Suppose -r + 12 = m*r. Suppose -5*u + 49 = 4*k, 5*u - 8 = -2*k + 39. Solve 2*f = 4*y, r*y = -2*f - f - u for y.
-1
Suppose 4*o - 2*v - 3 = v, -2*v = 2*o + 16. Let g be (-8*1)/(o + 1). Suppose 0 = p - 4 + 6, -2*y = g*p - 10. Solve 5*r - 4*d = -17 - 16, 3*r = -3*d - y for r.
-5
Let j be (-4)/(-24) + (-34)/(-12). Solve -3*l - 3*h - 3 = 0, -21 = -j*l + 4*h + h for l.
2
Suppose 0 = z - 11*z + 140. Solve z = 2*b - 5*a + a, -4*a - 8 = 0 for b.
3
Suppose -12*r + 25*r - 26 = 0. Solve -2*i - r = 0, 0 = -y - 2*i - 0*i - 4 for y.
-2
Suppose 8 = 4*c - 0*c. Suppose -2*b + 10 = c*d, 2*b - 4*b - 4*d = -20. Let o(q) = -q + 4. Let u be o(b). Solve -3*f = -2*j - 6, 4*j = -u*f - j - 15 for f.
0
Let b(z) = 5*z**2. Let w be b(1). Let h(p) = p - w*p - p. Let d be h(-1). Solve -4*u + d*i = 17, -3*i + 8*i - 25 = 0 for u.
2
Let h = -90 - -94. Solve 3*o + h = 4*t, 4 = -5*t + 2*o + 2 for t.
-2
Let m(h) = -5*h + 54. Let d be m(10). Solve -4*j + 5*w = 0, -j - d*w = j for j.
0
Let r(o) = 2*o + 6. Let j be r(-6). Let h = j + 11. Solve -4*i + 3*n = -0*n - 13, i = -h*n - 14 for i.
1
Suppose -2*k - 4*a = 0, k - a = -4*k - 11. Let j be (-15)/k*(-10)/(-15). Solve -j*h = -t - 3, 5*t - 13 = -5*h + 2 for t.
2
Suppose 0 = 5*q - 0*q + 60. Let m = -7 - q. Solve 0*y = 2*y + m*o + 1, -4*o = 3*y + 5 for y.
-3
Suppose 2*j = -5*t + j + 18, 0 = 5*t - j - 22. Suppose -x + 10 = t*x. Solve 4*a = 4*d + 4, 18 = -2*d - x*d - 3*a for d.
-3
Suppose -7*l + 30 = -2*l. Let c = -11 + l. Let m be 5*((-8)/c)/4. Solve m*g = -0*v - 2*v - 2, 3*g = v - 15 for g.
-4
Suppose -3*l = 3*i - 15, -5*i = -5*l + 31 - 6. Suppose i = -4*t + 44. Suppose r + 2*r - 6 = 0. Solve -r*q - 3*q + 4*m - 40 = 0, q - t = -3*m for q.
-4
Suppose 2*k = -8 + 12. Solve 7 = 3*i - v, i + k*v + 1 + 6 = 0 for i.
1
Let z = -23 - -27. Solve -2*c + m = -3*m - 14, 11 = c - z*m for c.
3
Suppose -5*b + 14 = y, -13 = -2*b - 3*y + 3. Suppose b = -3*l + 14. Suppose 4*u = -5*f + 25, 2*f - 10 = -u + l*u. Solve -2*n = -3*x - 16, f*x + n = -n for x.
-2
Suppose -2*c - 2 = 4. Let l be (-10)/c*(-3)/(-2). Solve -3*g = l*h + 22, 5*h + 14 = -2*g - 4 for h.
-2
Let z be 1 - (-2)/(6 - 2 - 2). Solve 4*u - 2 - 2 = -5*h, 2*u - z*h = 2 for u.
1
Let a = 47 - 45. Solve 0 = -2*o - 3*g - 16, -a*o - 4*g = g + 20 for o.
-5
Let i be 6/(-24) - ((-1)/4 - 2). Solve 0 = -3*z + 4*f + 14, -4*f + 7*f + i = -2*z for z.
2
Let t(w) = -w**2 + 2. Let g be t(0). Solve 2*v - 19 = -3*j - g*j, -3*v + 3*j = 24 for v.
-3
Suppose 67 = 11*t - 43. Solve -2*p - t = 4*a, p + 4*a = -4 - 1 for p.
-5
Suppose o = -0*o + 2. Solve -5*n = 5*m - 50, 4*n - o*n - 30 = -4*m for m.
5
Suppose 0*z + 16 = k + z, -3*z = -k + 24. Let v be k/(-12) - (-14)/4. Solve -a = 4*x + 3, v*a - 8 - 2 = 0 for x.
-2
Let m = 1 - -1. Suppose 4*q + 1 = 9. Suppose -m - 8 = -q*b. Solve -b*t - 24 = 3*h, -5*t = 5*h - t + 27 for h.
-3
Let r