4*w + w - 15 = q for w.
3
Suppose f = -2*w - 0*f + 24, -w - 5*f = -30. Solve 0 = 3*d + 5 + w for d.
-5
Suppose -3*s + 28 = s. Solve -3*j + 5 = -s for j.
4
Let b be 0/(3/((-12)/4)). Solve -9 = 3*v - b for v.
-3
Suppose -2*v + 0*v = h - 7, -3*h + 3 = 0. Let d be 30*v/(-15)*-4. Solve d = 4*m + 8 for m.
4
Let z be 6/(-4)*(-2 + 4/(-3)). Solve 0 = 5*g + z + 5 for g.
-2
Suppose -12 = -2*p - p. Suppose -3*b = -8*b + 10. Suppose b*c - 18 = -3*n, 5*c = n - p*n + 27. Solve -n*x + 4 + 8 = 0 for x.
3
Suppose -2*t - 2*p = -4, -3*p + 8 = t + p. Suppose 4*s - 5*s = t. Solve -5*v + v - 12 = s for v.
-3
Let u be (-12)/(-10)*30/9. Suppose 4 = g - u*p, -g - 3*p + 1 + 3 = 0. Solve 0*a + g = 2*a for a.
2
Suppose -z + 5 - 2 = 0. Let u = 2 + 10. Suppose -m - z*m + 36 = 5*h, -2*h = m - u. Solve 1 = -m*f + 9 for f.
2
Suppose 3*r - 3 = -9. Let a = 5 + r. Solve 0 = y - 2*y - a for y.
-3
Suppose -j = -4 - 0. Let p = 3 - 1. Let u be (p - (-2)/(-1))*1. Solve -l - j*l = u for l.
0
Let p = -1 + 1. Let f be 1/(-4) - -1*(-1)/(-4). Solve p*d - d = f for d.
0
Suppose -2*b = -4*s + 26, 4*s - 5*b = 10 + 7. Solve 6*x = 2*x + s for x.
2
Suppose 0 = f - 8 - 15. Let k = -14 + f. Solve 3*b + 0*b - k = 0 for b.
3
Suppose 4*a = 3*r + 2*r, -r + 2*a = 6. Suppose 0*i - 8 = -4*i. Suppose 5*x - i*x = 3. Solve 5*o + r = -x for o.
-1
Suppose -5*j + 83 - 28 = 0. Solve 0 = -5*o + 9 + j for o.
4
Suppose k - 3*k = 0. Suppose -4*q + k*q + 336 = 0. Suppose 3*r = 7*r - q. Solve -5 = -4*v - r for v.
-4
Let f be -2 - 2/(6/(-177)). Suppose 3*m = 5*i - 63, 3*m = -4*i - 12 + f. Let c be 2 - (-1 + 0/(-2)). Solve 0 = c*z + z + i for z.
-3
Let f(j) = -j**3 - 4*j**2 - 3*j + 3. Let n be f(-3). Let k = 3 + -1. Suppose -k*w + 20 = n*w. Solve -3*l = -l - w for l.
2
Suppose 0 = -w + 4*a - 5*a + 3, a = 5*w - 15. Suppose 5*z + 5*x = 0, -2*z = -6*z + w*x + 14. Let h be (5 + -2)/(1/2). Solve n = z - h for n.
-4
Let t be (-10)/8*(1 - 5). Solve -1 = -3*d + t for d.
2
Suppose 4*m = -2*h + 20, 5*h + 2*m - 6*m - 8 = 0. Solve h*z = 2*z for z.
0
Suppose -13 = -9*n + 5. Solve n*u + 5 = 7*u for u.
1
Let x = 10 - 4. Suppose 0 = 5*c + t - x, -3*c = -t - t - 14. Suppose -4*q - 15 = -4*r - 67, 4*q = c*r + 48. Solve -4*o - q - 5 = 0 for o.
-4
Let f be ((-3)/3 - 6) + 2. Let b = f + 8. Solve -4 = b*s + s for s.
-1
Suppose 0 = 3*j - y - 4*y - 32, 0 = -j + 5*y + 24. Suppose 0 = -w + j*w + 6. Let z = w - -3. Solve c = z + 3 for c.
4
Let j be (1 + 3)*2/4. Solve z = -j*z for z.
0
Let a be ((-15)/9)/((-3)/72). Suppose -2*n + 4*n = a. Solve -f = -6*f + n for f.
4
Suppose 2*k - 1 = -5*y - 30, -k = -y - 3. Let v be y/(0 + -3 + 2). Solve 0 = -v*a + 2*a for a.
0
Let y(l) = l + 7. Let p be y(-6). Suppose -6*q + 10 = -q. Solve 9 - p = -q*v for v.
-4
Suppose -5*j + 2 = -38. Solve -j + 3 = t for t.
-5
Let l = -4 + -2. Let v = l + 8. Let d(x) = x**2 - 3*x + 2. Let o be d(2). Solve o = -h + 3 - v for h.
1
Suppose -g + 2*i + 3 = 0, -3*i = g - i + 1. Solve -g = 5*q + 14 for q.
-3
Suppose -4*p - 8 = -l, 4*p = 5*l + 2*p - 22. Suppose 0 = -j + 3*g - 8, l*g - 4 = 12. Solve -6 = -j*k + k for k.
2
Let n = 9 + -7. Suppose -n*d - 2*b = 6, 0*d - 4*b = d + 18. Solve -d*l = 3*l + 5 for l.
-1
Let z(t) = -10*t**2 - 5*t - 1. Let f(p) = -29*p**2 - 14*p - 3. Let x(a) = -6*f(a) + 17*z(a). Let c be x(1). Suppose 4*y = -2*y + 72. Solve 8 = -c*m - y for m.
-5
Let h be (-1)/(-2) - 54/4. Let q = h - -21. Let x = q + -4. Solve -a = -x - 0 for a.
4
Let i(t) = 2*t - 2. Let u be (-6 - -3) + 28/4. Let w be i(u). Solve 0 - w = -3*r for r.
2
Suppose -1 - 1 = 2*m. Let i be 2/4*(-56)/m. Let u be i/12 + 2/3. Solve 2*z = -u*z + 5 for z.
1
Let s be (2 - 3/2)*(-88)/(-11). Solve 0 = -m + 8 - s for m.
4
Suppose -l + 3*l + 60 = 3*d, -d - l = -25. Suppose 3*o - d = 8. Solve z - 3*z + o = 0 for z.
5
Suppose 5*f - 10 + 5 = 0. Let q be f - (-3 - (-1 - -3)). Let y = 34 - 14. Solve g + y = q*g for g.
4
Let j = -42 - -44. Solve -j*h - 2*h - 20 = 0 for h.
-5
Let f = -1 - -5. Suppose -5*u = f*a - 57, -u + 2*u - 3 = 2*a. Solve 5*g = 2*g + u for g.
3
Suppose 3*s + v = -4 - 1, -s = -2*v - 3. Let z be s - (-11*1 - -2). Let l be 3/(6/(-8) + (-77)/(-44)). Solve l*a = z*a + 15 for a.
-3
Let a = -3 - -17. Solve -a = q - 9 for q.
-5
Let t be (-1)/(-2) - 285/(-30). Solve -4*a + 2 = t for a.
-2
Let r(p) = p**2 - 9*p + 3. Let k be r(9). Suppose 55 = k*h + 2*i + 143, 0 = -i + 1. Let f be 3/(-2)*h/9. Solve f*q + 0 = -15 for q.
-3
Let z = -12 - -21. Suppose -5*g - z = 2*k, 3 = -2*g + 3*k - 12. Let f = -3 - g. Solve 3*i - 4*i - 5 = f for i.
-5
Let o be 2/(-4)*(4 - 10). Solve o*f - 16 = -f for f.
4
Let z(s) = -s**3 + 4*s**2 + 2*s + 3. Let l be z(3). Suppose -12 = -4*q, -l = -4*m + 4*q + 14. Suppose 5*a = -y - 18, -31 = 5*a - m. Solve -y*i + 8 = 2*i for i.
2
Let f be 174/54 + 2/(-9). Suppose f*q = 3 + 6. Solve 6 = q*j - 0*j for j.
2
Let d be (-18)/6 - 7*1. Let k = -6 - d. Solve 0 = -k*u + 3*u + 1 for u.
1
Let n(o) = -5*o**3 + o**2 - 3*o. Let c(x) = 4*x**3 - 2*x**2 + 3*x. Let l(s) = -4*c(s) - 3*n(s). Let t be l(4). Solve -9 = t*m + 3 for m.
-3
Suppose 5*t - 2 = 3. Solve t + 0 = -k for k.
-1
Suppose 3*f = -4*l - 8, 2*f + 5*l = 6*f - 10. Suppose 2*a - 6*j = -3*j - 6, -4*a + 4 = -2*j. Suppose -4*s + a = -1. Solve f*m = -m + s for m.
1
Suppose 0 = -4*d + 2*p + 3*p - 12, 6 = -5*d + 4*p. Solve -5*o = -d*o - 3 for o.
1
Suppose 5*b - 2 = 4*b. Let t be -1 + 4 - (2 - b). Solve 6*n = t*n for n.
0
Let r(t) = 3*t - 3. Let h be r(5). Suppose -3*q + h = -u, -4*q = 2*u - 22 + 6. Suppose -o + 3 = -u*o. Solve 4*j - 5 = o for j.
2
Let z(f) = -2*f - 15. Let a(k) = k + 7. Let l(p) = -5*a(p) - 2*z(p). Let s be l(-8). Solve 8 + 4 = s*m for m.
4
Let p be (-2)/9 + 4/18. Let q(c) = c**3 + 4. Let t be q(p). Solve -t*w - 13 = 7 for w.
-5
Let h be 2/2 - (-1 - -2). Let a = -3 + 8. Suppose -2*r + 14 = 2*p - h*r, p - a*r = -23. Solve -3*y - 2 = -p*y for y.
-2
Let x be -1 + 427/28 - (-3)/4. Solve 3*p = -0 + x for p.
5
Let h(n) = n**2 - n - 7. Let m be h(-3). Solve m*w = -1 + 16 for w.
3
Suppose 16*w = 2*w + 112. Solve 3*b - 7*b = -w for b.
2
Let y(u) = u - 4. Let l be y(6). Let q(c) = c**3 + 12*c**2 + 9*c - 20. Let p be q(-11). Suppose -p*z = -z - l. Solve -7 = -3*i + z for i.
3
Let a(f) = f**2 - 7*f + 6. Let i = 19 - 13. Let c be a(i). Solve c = 6*j - j for j.
0
Suppose -2*i - 3*u = -65, -3*i + 3*u = -i - 47. Let l = -20 + i. Solve -3*m + l = 2 for m.
2
Let t = 0 - 1. Let j be (0 - (-1 + t))*1. Suppose -y - 1 = 5*a - 8, 0 = -j*y - 2*a + 6. Solve 3 = y*h + 7 for h.
-2
Let b be ((-18)/21)/(1 - 36/28). Solve -b*m = 2*m + 5 for m.
-1
Let b be (-3)/(-9)*0 + 2. Suppose -b*v + 3*v = 0. Let r be (-3 - -4)*(-68)/(-2). Solve v = -5*s - r + 9 for s.
-5
Let z = -3 + 9. Let k(q) = q**3 - 7*q**2 + q - 3. Let b be k(7). Let g = z - b. Solve -g*a - 15 = 3*a for a.
-3
Suppose -5*o - 2*q = -3*o - 28, 5*q = -20. Suppose -4*y - k = -2*k - 17, 3*y = -k + o. Solve x = -0*x - y for x.
-5
Let r = -4 + 4. Let c be (0 + r)*(-1)/2. Let s(z) = -z**3 + 2*z**2 + 4*z - 3. Let m be s(2). Solve c*l - l = m for l.
-5
Suppose 2*b = -3*o + 2, 0*b = 5*b - o - 5. Suppose 5*t + k = 13, b - 15 = -4*t + k. Solve -4 = 4*j - t*j for j.
-4
Let j(t) = t + 21. Let d be j(0). Let r be (-332)/14 - 6/d. Let x be r/(-13) + (-8)/(-52). Solve -x*z + z = 2 for z.
-2
Suppose 8 = -5*r - 4*g, -4*r - r + 8 = -4*g. Suppose r = 2*m + 3 - 11. Solve -2*o - 10 = -m*o for o.
5
Suppose -q + 2*q - 95 = 0. Let h = q - 50. Suppose 0*v = 5*v - h. Solve 3*p + v = 21 for p.
4
Let c(d) = d**3 + d + 4. Let i(m) = -m - 3. Let x be i(-3). Let v be c(x). Solve 0 + 4 = v*y for y.
1
Suppose -8 = 4*a - 8*a. Suppose -a*v + 3*v - 12 = 0. Solve 2*j - 5*j = -v for j.
4
Let a = 180 - 180. Solve 2*j - 2 = -a*j for j.
1
Suppose -4*j = -3*j + 2*o - 8, 4*j - 3*o = 54. Suppose 2*n = 6*n - j. Let z(t) = t**3 + 5*t**2 + 7*t + 14. Let y be z(-4). Solve -y*v = n*v + 10 for v.
-2
Suppose -2*v + 39 = 5*h, 5*h + 2*v - 11 = 4*h. Suppose h*q = 4*q + 63. Let w = q - 8. Solve w + 2 = -5*s for s.
-3
Let z = -36 + 38. Solve 0 = -z*a - 3*a - 15 for a.
-3
Let d = 6 + -4. Suppose 2*b = -4*n, -n + 4*b - 11 = d*n. Let m be 0 - (-1 + -11 - n). Solve 5*s + 9 + m = 0 for s.
-4
Suppose -3*k = -0*a - 2*a, -4*a = -3*k. Suppose 3*y + 6 = 0, k = r - 2*r - 2*y - 2. Solve -r = -4*n + 2 for n.
1
Suppose -2*o + 12 = 8. Solve -g - o + 0 = 0 for g.
-2
Let q = 2 +