 for j.
-1
Let p be 6/(-4)*4/3. Let f be (-2)/(-6) - p/3. Suppose f = -z + 4. Solve z*h = h + 2 for h.
1
Let z(c) = -c**2 + 2*c + 5. Let b be z(3). Solve -f + b = 5 for f.
-3
Let o = 1 + 1. Suppose 5*g = -5*l + o + 8, 5*l - 42 = 3*g. Solve t = l*t + 10 for t.
-2
Suppose -20 = 5*n, -4*n + n = 5*w + 2. Solve -2*d - w = -0*d for d.
-1
Let u(t) = -t**2 - 6*t + 4. Let y be u(-6). Let s(b) = -1 + 8 - b - 2. Let x be s(y). Solve -3*w = -2 - x for w.
1
Let h = -8 - -2. Let f = -2 - h. Solve 0 = f*z - 3*z for z.
0
Let i be (-13)/(-104) + (-39)/(-8). Solve 17 = i*a + 7 for a.
2
Let p(j) = -j**2 - 6*j + 4. Let u be p(-6). Let c = 8 - u. Solve 0 = -c*w + 5 + 3 for w.
2
Let i(m) = m**2 - 7*m + 5. Let f be i(7). Solve 0 = 3*k + 4 + f for k.
-3
Let h(q) be the first derivative of 2*q**2 - q - 3. Let v be h(1). Solve p = -v*p + 12 for p.
3
Let c be 34/16 + (-11)/88. Solve -x + c = -3 for x.
5
Let o = -8 + 12. Suppose 2*u + 8 = -2, -2*u = 2*c - o. Solve 0 = -5*z + c - 2 for z.
1
Let x be 1/(1/29) - 0. Solve -9 + x = 5*u for u.
4
Suppose 3*o + 3*d = 15, 4*o - 3*d = 6*o - 14. Solve -3*n + 5 = -o for n.
2
Let i be (-1)/(24/27 - 1). Let o be 3 + 2*i/(-6). Solve o*s = -s - 1 for s.
-1
Let r = 0 - -4. Suppose -3*b + 8*b = -a + 73, 5*b - 82 = -4*a. Suppose r*w - w = 5*v - b, -5*w - 2*v + 18 = 0. Solve -w*z - z - 3 = 0 for z.
-1
Let d(a) = 5*a**2 - 12 + 52*a - 46*a + 5*a**2 + a**3. Let z be d(-9). Solve -3*h = 2*h - z for h.
3
Suppose -4*q - 4 = 0, -4*j + 3*q + 0*q + 7 = 0. Solve -z - 1 - j = 0 for z.
-2
Suppose -8 = -4*j - 4*i + 24, -3*j = -5*i + 16. Solve -11 = j*r + 4 for r.
-5
Let y(b) = -b + 26. Let c be y(24). Solve 5*o = c + 13 for o.
3
Suppose -5*r = -w - 14, -2*r + 2*w + w = -16. Solve -q - r = 1 for q.
-3
Let b(i) = -i + 4. Let f be b(-5). Let m = 14 - f. Solve 0 = -x + m*x + 8 for x.
-2
Let h be ((-40)/12)/((-2)/(-12)). Let b be h/(-25)*-5*1. Let u = 8 + b. Solve -8 = -0*l + u*l for l.
-2
Suppose 0*f - 4*o + 45 = 5*f, o - 10 = -f. Solve 11 - 36 = f*p for p.
-5
Let q(g) = -2*g - 17. Let j(v) = -v - 9. Let t(b) = 5*j(b) - 3*q(b). Let r be t(-4). Solve 2*w = -r*w for w.
0
Let s(x) = x**3 + 6*x**2 + 7. Let b be s(-5). Let a = 14 + -2. Solve -4*o - a = -b for o.
5
Let j = 16 + -11. Let w be ((-4)/(-5))/((-1)/(-5)). Solve j*r = w*r for r.
0
Suppose -2*b + 2*f = -8, -5*f - 11 = -3*b + 3. Let t be (-20)/25*(-15)/6. Suppose -b*d + t = 5*k - 3, -4*k = -4. Solve n - 4 = -d for n.
4
Let a be (-36)/(-10) + 16/40. Solve 8 = q + a for q.
4
Let o(b) = b**2 - 2*b + 2. Let s be o(3). Let c = 7 + s. Let t(y) = -2*y - 3. Let n be t(-3). Solve 0*x + c = -n*x for x.
-4
Let b(c) = c**3 + 9*c**2 + c + 1. Let d be b(-9). Let n = 13 + d. Let l be ((-8)/6)/(n/(-15)). Solve -l*r = -9*r for r.
0
Let u(m) be the third derivative of -m**4/24 + 5*m**3/6 - 8*m**2. Let w be u(4). Solve d + w = 2 for d.
1
Let w(j) = j**2 - 8*j. Let r be w(8). Suppose -2*m - 3*m = r. Solve 5*i - i + 12 = m for i.
-3
Suppose 0 = 4*h - 0*h - 12. Let g = 8 - h. Suppose -g*q + 3*q = -10. Solve 1 = q*d - 4 for d.
1
Suppose 40 = 3*c - 8*c. Let u(f) = -f**2 - 9*f - 11. Let k be u(c). Let j(z) = -z**2 - 2*z + 3. Let q be j(k). Solve -a - 4*a + 25 = q for a.
5
Let m be (-6)/(-9) - (-2)/6. Solve -q - m = -2*q for q.
1
Let z be ((-1)/2)/(3/36). Let q = z - -7. Solve q = -n - 2 for n.
-3
Suppose 4*k - 10 + 2 = 0. Solve -4*d + 14 = k for d.
3
Suppose j = 3*c - 1, c + 0 = -4*j + 9. Solve 4 + c = -5*u for u.
-1
Suppose -h + 2*w + 2 = h, 0 = -5*h - 3*w - 3. Suppose h = 2*f - f - 25. Solve 0 = -n - 4*n - f for n.
-5
Let o be (-1 + (-3)/(-2))*-2. Let h be (-1 + -2)/(9/(-24)). Let s be (o/(-2))/(2/h). Solve 3 + 1 = -s*a for a.
-2
Let w(c) = -c**2 - 14*c - 13. Let d be w(-13). Solve 0*x - x = d for x.
0
Let s be 0*(-1)/5 - 1*-5. Solve -6*n + n = -s for n.
1
Suppose 0 = 5*j + 2 + 23. Let u be ((-6)/5)/(2/j). Solve -9 = u*x - 0*x for x.
-3
Let q = -44 + 52. Solve 6*k - q*k = 0 for k.
0
Let c = -5 + 31. Solve 5*s + c = 6 for s.
-4
Suppose -2*o = -t + 6, t - 2 = o + 2. Solve -6 = -t*u + 5*u for u.
-2
Let q(g) = g**3 + 5*g**2 + 3*g + 1. Let t be q(-4). Suppose 2*d = t + 3. Let k be 6/d*30/9. Solve 12 = -a + k*a for a.
3
Let p be (-26 - -2)*2/(-4). Suppose 4*a - 12 = -0*a. Solve a*l + p = -0 for l.
-4
Suppose 0 = -2*i + 7*i - 15. Solve 2*w - i*w = 2 for w.
-2
Suppose -5*p + 4 = -16. Let i(q) = 3*q + 14. Let n be i(-4). Solve -n*t + 4*t - p = 0 for t.
2
Let o be 2/(1 + (-15)/9). Let j be 1/(2 + 5/o). Solve -1 + j = -l for l.
-2
Let t be 3 + -3*(-3)/9. Let s = -4 - -12. Solve r + t - s = 0 for r.
4
Suppose -3*u - u = 4*v - 52, 2*v - 2*u = 30. Solve v + 6 = -5*q for q.
-4
Let u(t) = 2*t - 6. Let o be u(8). Solve 3*z = -2*z + o for z.
2
Let l be (-8)/(-3)*(-6)/(-4). Let v be ((-2)/l)/(10/(-80)). Solve -5*q + 4 = -v*q for q.
4
Suppose -4*p - 2 = -18. Suppose 45 = p*b - b. Solve 2*s + s = -b for s.
-5
Suppose -w + 16 = 3*u, -2*w + w - 16 = -5*u. Let h be (-4 + w)*(-2)/(-4). Solve h = -k - 0*k for k.
0
Let p be 14/77 - 24/11. Let n(a) = -3*a - 2. Let w be n(p). Solve -w - 6 = -2*i for i.
5
Let i(k) = k**2 - k + 1. Let o be i(0). Solve -4*f - 11 = o for f.
-3
Suppose 2*w - 18 + 2 = -3*b, 0 = 3*b - 2*w + 4. Let z be 1*(1*3 - 0). Solve b*p - p + z = 0 for p.
-3
Suppose 12 = -k + 2*k. Suppose -2*o + k = 2. Solve 4*m = o*m + 4 for m.
-4
Suppose 3*x + 4 = x. Let w be 1*6 - (-6)/x. Suppose 10 = -2*z, -5*z + z - 35 = -w*f. Solve -f*p - 7 = 18 for p.
-5
Let x(u) = u**3 + 22*u**2 - 25*u - 46. Let y be x(-23). Solve -2*h + 4 + y = 0 for h.
2
Suppose -j - 8 = j, -2*g + 4*j + 34 = 0. Solve -6*x - g = 21 for x.
-5
Let c(l) = 14*l - 5. Let h be c(-4). Let q = h - -93. Suppose -5*z + 122 = q. Solve z - 3 = -3*o for o.
-5
Let c(y) = -2*y + 14. Let k be c(6). Solve 4*z + k = -10 for z.
-3
Let r = -14 + 15. Solve -r = -4*u + 3 for u.
1
Suppose -4*z + 12 = 2*s, -z + 2*z = -2*s + 6. Solve -z*m + 5*m - 9 = 0 for m.
3
Let i(r) = -r + 5. Let w be i(5). Suppose -2*a + 7*a = -20, w = -4*k - 2*a + 8. Solve -5*h + k = -h for h.
1
Let z be (-29 - 1)*1/(-2). Suppose 2*t = 5*q - 19, -5*t + 3*q = q + 58. Let v be (t/20)/(1/(-5)). Solve 0*l + z = -v*l for l.
-5
Let d(i) = i**2 - 3*i + 6. Suppose -2*o + 23 = 3*a, -6*a = -a - 25. Let m be d(o). Solve -3*g - 5 - m = 0 for g.
-5
Let f be 0 - (-2 - -1 - 3). Let x(y) = 2*y + 6. Let i be x(8). Suppose 0 = -2*b - 3*g + i, -18 - 18 = -4*b - 2*g. Solve f*p + b = 2*p for p.
-4
Let y(q) = -7*q + 21. Let b be y(3). Solve n + n + 4 = b for n.
-2
Suppose 0*h + 20 = -5*h, 0 = f - h + 7. Let x = 21 + f. Let g be (-2)/5 - 74/(-10). Solve -2*p = -g*p + x for p.
2
Let b be 144/(-54) - (-4)/6 - -8. Solve -3 + b = h for h.
3
Let b = 51 + -51. Solve -z + 0 - 4 = b for z.
-4
Let j = 25 + -23. Solve 0 = j*f - f + 4 for f.
-4
Suppose 4*l = 8*l - 8. Suppose 5*i - 20 = 4*m, 1 = -l*m + 2*i - 7. Solve m*d = -d - 2 for d.
-2
Let q be (-1 - -1)*(-5)/10. Solve q = -6*d + 2*d - 4 for d.
-1
Let d be (1/(-2))/(2/(-100)). Let m be ((-6)/7)/((-5)/35). Suppose -m = -t - 2. Solve t*f = -f + d for f.
5
Suppose -2 = -2*g, -3*g + 5 = 3*y + 2. Solve 0 = -q - y - 2 for q.
-2
Suppose 0*j = -11*j + 22. Solve j*z + z - 9 = 0 for z.
3
Let n(k) = k**3 + 5*k**2 + 1. Let m be n(-5). Solve 2*c = 3*c - m for c.
1
Let s be ((-1)/(-3))/((-4)/60). Let l = s - -6. Solve 5*x + 19 + l = 0 for x.
-4
Suppose -5*h + 4*g = -7, 4*h - 3*g + 1 = 7. Solve -3*c - 9 = -h for c.
-2
Suppose 4*x - w - 68 = 3*w, -3*x - 5*w = -43. Let d = -14 + x. Solve h = 3*h + d for h.
-1
Let a be (3 - 5/2)*0. Solve -12 = -4*w - a*w for w.
3
Let f = -5 + 17. Let y be 5*2*f/30. Solve -w = -y*w for w.
0
Let m(i) = i**3 + 11*i**2 + i + 15. Let l be m(-11). Solve -9*w + l*w = 0 for w.
0
Suppose -5*k = 4*d - 32, 4*k - 3*d = -1 + 8. Solve 0 = -k*h - h - 25 for h.
-5
Let s be 1 + 11 - (-18)/6. Let r = s + -1. Suppose -r = -4*o - 2. Solve o*a = -0*a for a.
0
Let p be (1 + 2)*28/21. Solve p - 5 = -o for o.
1
Let p = 16 - 10. Let m be 1/(2 + 9/(-6)). Let f be 6/4 - m/(-4). Solve p = s + f for s.
4
Let w be ((-8)/5)/((-5)/((-200)/(-16))). Suppose 0 = -0*a - 4*a + 12. Solve -m + a*m = w for m.
2
Suppose 0 = -2*r + 3*y + 27, y - 11 = -r - 0. Solve 3*h - r = -3 for h.
3
Let m be ((-10)/(-8))/(8/32). Suppose 0 = -0*s + 3*s - 4*z - 25, 5*z - 30 = -m*s. Solve 0 = -2*f - s - 3 for f.
-5
Let k(h) = 0*h + 3 - h - 4 + 4. Let n