 for j.
-2
Suppose -3*k = 13 + 8. Let s be ((-8)/(-6))/(k/(-21)). Solve -s*q = -2 - 14 for q.
4
Suppose -4*o - 5 + 69 = 0. Solve -5*q = o + 9 for q.
-5
Suppose -j = w + 3*j + 2, -5*w - 5*j + 35 = 0. Solve 0*l - w = -2*l for l.
5
Let v(t) = -2*t**2 + 8*t - 4. Let l be v(3). Solve l*r + 4 = -6 for r.
-5
Suppose -3*n = 3 - 12. Solve 15 - 3 = -n*t for t.
-4
Let y(q) be the second derivative of q**4/12 + 11*q**3/6 - 5*q**2 - 3*q. Let l be y(-12). Suppose -4*s = l*i, -4*i = 3*s - 4*s + 9. Solve s = 3*t - 5 for t.
2
Let g(x) = -x + 1. Let u be g(3). Let q be (-2)/(-1)*(-3)/u. Solve -q*m + 0 - 15 = 0 for m.
-5
Let v = 13 - 13. Suppose -x + 5*z = -4 - v, 5*z = 5*x - 20. Solve x*k = k for k.
0
Let p(w) = -2*w - 8. Suppose -8*a + 3*a + 15 = 0. Let l be -9*1*2/a. Let z be p(l). Solve -b + 9 = -z*b for b.
-3
Let m = -144 + 146. Solve -m*v - 3*v = 5 for v.
-1
Suppose 2*q - 27 = -3. Suppose -5*a - 4*a = -a. Let z = -1 + 4. Solve -z*c + q = -a*c for c.
4
Suppose 5*m = -4*t + 16, 3*m - 7 = -0*t - 5*t. Suppose 0*q = 4*q. Suppose -3*b - 4 = -4*b. Solve -m*l = -q*l - b for l.
1
Let c = -1 - -3. Let w = 0 - -2. Suppose c*u = -2*p - w*p + 6, 5*p - 4*u - 40 = 0. Solve p*a + 16 = -0*a for a.
-4
Let i be 6 - 6/(0 + 2). Suppose -i*u = 11 - 86. Solve 5*g + u = -0*g for g.
-5
Let l = -11 - -15. Suppose 0 = -2*i - n + 9, 3*i - l*n + 3 = -0*n. Solve 8 = 7*t - i*t for t.
2
Suppose -5*u - 4*b = -2*u - 20, 10 = 5*u - 5*b. Suppose 2*y - 19 = -5*s, s = -3*s - 3*y + 11. Solve -s*z - u = -z for z.
-1
Let i(q) = q**3 - 15*q**2 - 14*q - 32. Let b be i(16). Solve b = -4*z - 4 - 16 for z.
-5
Let c be 208/24*6/(-4). Let t = c - -19. Solve 0 = 3*y - 0*y - t for y.
2
Suppose -4*k - k = 0. Solve k = 3*q + 1 + 5 for q.
-2
Suppose 5*x + 2*d - 7*d = 0, -x = -5*d. Suppose x = -h - 3 - 2. Let l(g) = g**2 + 6*g + 5. Let c be l(h). Solve b = -c - 4 for b.
-4
Suppose -6 = 2*k - 4*k. Solve 7*w = k*w - 16 for w.
-4
Let w(z) = z**3 + 11*z**2 - z - 7. Let u be w(-11). Suppose 2*r = 4 + u. Solve 12 = -0*v - r*v for v.
-3
Let j(o) = 2*o - 6. Let r(v) be the third derivative of v**5/60 + 5*v**4/12 + 5*v**3/6 - 2*v**2. Let m be r(-10). Let c be j(m). Solve c*f - 20 = -0*f for f.
5
Let s = -8 - -10. Suppose l - s*l = -6. Solve -l*o - 25 = -o for o.
-5
Let h be 2/11 - 1072/88. Let d = h - -12. Solve 0 = -f - d*f + 1 for f.
1
Let w = 5 - 2. Suppose -4*z + 11 = w. Solve z*a + a = 0 for a.
0
Let c be 6 + -8 + 2 + 2. Solve -c*k = -3*k - 5 for k.
-5
Suppose 0 = -6*i + 82 + 128. Solve -5*a = -10 + i for a.
-5
Suppose 0 = 2*l + 3*h - 12, 2*h = -3*l - 2*h + 16. Suppose -3*s + 53 = -z - 21, -s - z + 26 = l. Solve -s = 7*t - 2*t for t.
-5
Suppose j = -5*b - 19, 5*j - 3*b = -0*j + 17. Let i be 9/((-6)/(-2)) - 2. Let v be (3/4)/(i/4). Solve -2*l = v - j for l.
-1
Suppose -4*w + u = 37, 0 = -0*w + 3*w - 2*u + 29. Let j be 3/(w/3) - -3. Let a be (-9)/(-2) - (-1)/2. Solve a = -s + j for s.
-3
Let y = 0 + 0. Suppose y = -a - a. Solve -j - j = a for j.
0
Let i = -3 - -3. Solve i = q + 4*q for q.
0
Let n = -15 - -32. Let a(o) = o + 5. Let d be a(-4). Solve -4*t = d - n for t.
4
Suppose 6*b = 2*b + 12. Suppose -2*y + 0*p + 20 = -2*p, 0 = 5*y + b*p - 10. Solve -y = -h - 4 for h.
1
Let l(s) = 3 - 3 + s**2 + 0*s + 7*s. Let g be l(-7). Solve g = 4*b - b for b.
0
Let k = 2 + 1. Suppose -5*d - k = -18. Let w(i) = i - 3. Let m be w(5). Solve -d*c + m*c = 5 for c.
-5
Let j(l) = -l**3 + 7*l**2 + 9*l - 8. Let s be 2/4 + (-30)/(-4). Let k be j(s). Solve -20 = 4*h - k for h.
-5
Let t be 207/(-54) + (-1)/6. Let s = 4 + t. Solve b + s*b = 4 for b.
4
Suppose 4*j = -4*d + 1 - 5, -4*d = 3*j + 7. Solve -5*i - 7 - j = 0 for i.
-2
Let w = -26 + 28. Solve -1 = -w*u - 5 for u.
-2
Suppose -4*u + 6 = -u. Suppose -3*b - 27 + 12 = 0, 5*k - 4*b - 25 = 0. Solve 0 = -u*t + t - k for t.
-1
Let x be (-36)/48*(-16)/3. Solve 6*n = x*n - 10 for n.
-5
Let g be (1 - 7/3)*-3. Let b(j) = -2*j + 4. Let n be b(4). Let a = 4 + n. Solve -g*z + 2*z + 10 = a for z.
5
Suppose -5*a + 38 = l, 3*a - 2*l - 20 = 8. Suppose -12*w - a = -16*w. Solve -z - 6 = -w for z.
-4
Suppose m = 5 + 15. Let x(c) = c + 10. Let u be x(-6). Solve -u*v = v - m for v.
4
Let m be 0 + (-2)/3 - 64/(-6). Solve -y = y - m for y.
5
Let m = 17 - 40. Let p = m - -23. Solve p*z = -3*z for z.
0
Let k = 59 + -55. Solve 7*w = k*w + 3 for w.
1
Suppose -2*a - a + 33 = 0. Let w = a - 6. Solve -w*p + 8 = -3*p for p.
4
Let c be -2*3 - 9/3. Let x = c + 11. Suppose x*j - 5*j = 0. Solve j*w + 5*w = 0 for w.
0
Let m be (-176)/(-18) + (-12)/(-54). Suppose 0 = -o + m - 2. Solve o*t - 3*t = 0 for t.
0
Suppose 0 = -5*l - 9*c + 4*c + 25, 5*l + 3*c - 21 = 0. Let f = 6 - l. Let h be (-13)/(-2) + 3/6. Solve 0 = f*z - h*z - 8 for z.
-2
Let z = -6 + 8. Let g(f) = f**2 - 23*f + 132. Let h be g(9). Solve -z*y = -h*y for y.
0
Suppose 3*j - 2 = -14. Let k = j + 7. Suppose -4 = -k*c + 2. Solve 2*b = -0 + c for b.
1
Let l be ((-4)/(-6))/((-2)/(-15)). Suppose l*h - 20 = 10. Let y = -2 + h. Solve -4*x = -0 - y for x.
1
Let x be 1*(-10)/4*-2. Let d = 9 - x. Let k(m) = 2*m + 11. Let z be k(-4). Solve -z*n - 3 = -d*n for n.
3
Suppose 2*n - 8 = -0. Suppose 0 = -q + n*d + d + 3, d = 4. Suppose q = 4*m - 3*m. Solve 4*y - m = -3 for y.
5
Let i be (0/(-3))/(2/1). Suppose i = -2*b + 7 - 1, 6 = z + 2*b. Suppose 0 = w - z - 4. Solve -9 = l - w for l.
-5
Let m(f) = -f**2 - 22*f + 52. Let g be m(-24). Solve 7*l + 12 = g*l for l.
-4
Let g(i) = -i**3 + 8*i**2 - 5*i - 10. Let s be g(7). Suppose 4*k = 2*p + 3 + 1, 5*p = 4*k - 4. Let z be 2/(-7) + 156/7. Solve s*r - 2 + z = p for r.
-5
Let h = -10 - -15. Solve 0 = h*w - w - 4 for w.
1
Suppose -3*k + 1 = -14. Suppose 3*p + 0*f - 10 = 5*f, -2 = k*p + f. Solve p = -3*c + 16 - 1 for c.
5
Suppose v - 67 - 312 = -3*a, -5*v = -20. Suppose 10*u = 5*u + a. Solve 0 = -k - 4*k - u for k.
-5
Let q = -74 + 74. Solve q*i - 3 = i for i.
-3
Suppose 11 = 2*x - n, 0*n = 3*x + 3*n - 12. Suppose 5*s = x*t + 35, -t - 2*t = 15. Solve g + 3 = -s*g for g.
-1
Suppose -4*b = -20, 3*o - 20 = 5*o - 4*b. Solve o = -4*z + 11 - 27 for z.
-4
Let c = 13 - 4. Suppose -3*q - 6 = c. Let h = q + 7. Solve 3*p - h = p for p.
1
Suppose -4*k = -14*k + 270. Solve 5*z - k = -2 for z.
5
Suppose 8*y = 3*y + 100. Let w be (y/(-6))/(3/(-9)). Let b = -8 + w. Solve 3*z + b*z - 5 = 0 for z.
1
Let x(l) = -l**3 + 5*l**2 + 7*l - 3. Let m be x(6). Suppose -q + 16 = -m*f - f, -2*q + 3*f = -12. Let k(u) = -u**2 + 4. Let c be k(q). Solve 0 - c = 2*s for s.
-2
Suppose -4*w = -4 + 20. Let d = w - -8. Let j be (-3)/(-6) - 2/4. Solve j = -3*i + d*i for i.
0
Suppose 0 = -4*h + 19 - 95. Let b = h + 88. Suppose 0 = -3*k - 24 + b. Solve -k = s + 2*s for s.
-5
Let l(h) = -h + 11. Let t be l(6). Let a be (-1 - 2/(-4))*-20. Solve -3*x + t*x - a = 0 for x.
5
Let r be (1 - 1)/(19 - 18). Solve d = 5 - r for d.
5
Suppose w = 2*w - 7. Suppose -3*l = -2*l - 25. Suppose 2*y = 2 + 2. Solve w*r - y*r = -l for r.
-5
Let b(x) = 2*x + 11. Let g be b(-5). Let n = 4 - g. Solve 0 = n*k + 2*k + 20 for k.
-4
Let n be 2/(-3) + (-51)/(-9). Suppose o + o = 4. Solve 0 = -o*y + n + 1 for y.
3
Suppose 2*s + 17 = 49. Suppose 0 = -4*m + 2*v + 24, 6 - 2 = -m - 2*v. Suppose 2*y = -3*y. Solve y*a = m*a - s for a.
4
Let i = 1 - -1. Suppose 5*h - 5*b + 15 = 0, -h - i*b = 2*h - 16. Solve 0*y - h*y + 2 = 0 for y.
1
Let y(l) = -2*l**2 - 30*l + 3. Let d be y(-15). Solve -d*f = 1 - 16 for f.
5
Suppose 3*y + 4*n = n + 3, 5*n + 27 = 3*y. Suppose -y*x - 170 = -5*g + x, 0 = 3*g + 5*x - 62. Solve g = -4*a + 9 for a.
-5
Suppose -5*x - v = -4*v, 22 = -x + 5*v. Suppose 4*r = x*r. Solve r = 4*s + s for s.
0
Let b(i) = -i**3 - 10*i**2 - 20*i + 7. Let n be b(-7). Solve n = -4*t - 12 for t.
-3
Suppose 2 = f + f. Let r(s) = -s**3 - 3*s**2 + 2*s - 5. Let q be r(-4). Suppose -q*n + 4*n = 2*d + 4, 3*n - 12 = 2*d. Solve -f = -a - d for a.
1
Let i be -2 - -1 - 6/2. Let d = i + 6. Solve d*p + 3*p + 15 = 0 for p.
-3
Let p be 2*(2 + (-165)/(-6)). Suppose -g + 4*a = 2 - 18, a = -5*g + p. Suppose -4*z + g = 0, -f - 3*z - 2*z + 18 = 0. Solve -f*m + 4*m + 1 = 0 for m.
-1
Let v = -4 - -9. Suppose -2*k - 2*k = -16, -56 = -4*l - 2*k. Suppose 0 = g + 4*b - 3, -b + l = -v*b. Solve -p - 2*p = -g for p.
5
Let j be (9 + -5)/(0 + 1). Solve i - j = 3*i for i.
-2
Let n be ((-14)/(-3))/((-2)/(-3)). Solve 4*w + n = -13 for w.
-5
Le