12 for j.
3
Let b(z) = -2*z - z - z**2 - 3*z + 4 - z. Let y be b(-7). Solve 2 = -n + y for n.
2
Suppose -7*x + 20 = 5*y - 2*x, 0 = 5*y - 3*x - 36. Solve -y*o + 16 = -2*o for o.
4
Suppose 328 = 6*t - 2*t. Let b be 4*(-3 + t/8). Solve -5*p + 4 = b for p.
-5
Let v = 0 + 1. Let t(q) = 4*q - 1. Let y be t(v). Solve -y*n = -n - 8 for n.
4
Suppose 5*w + m - 32 = 0, 0 = -5*w + 3*m + 2*m + 50. Let r be (-1*10/2)/1. Let c be (-2)/r + (-6)/15. Solve -3*k + w + 8 = c for k.
5
Let j = -34 + 34. Solve -s + j*s = 0 for s.
0
Suppose -5*t + 3*s = -3 - 12, 9 = 3*t - 4*s. Let l(h) = h + 25. Let v be l(-19). Suppose 0*g + 5*g + 4*p = 0, 5*g = -2*p. Solve g = t*f - v for f.
2
Suppose 0 = -4*a + 31 - 7. Let c be (-5)/(1/(a/(-3))). Solve i = -4*i + c for i.
2
Let n be 6*(-2)/((-8)/(-6)). Let r = -9 - n. Suppose -f + 4*f = 18. Solve y - 3*y + f = r for y.
3
Suppose -5*l - 6 = -2*l + 3*h, -2*h = -4*l + 4. Solve l*f = 5*f + 10 for f.
-2
Let j(s) = -s**3 - 7*s**2 + 9*s + 11. Let g be j(-8). Solve -3*z - 9 - g = 0 for z.
-4
Let v = 21 + -18. Solve 2 = f - v*f for f.
-1
Let h(n) = -n + 1. Let d be h(-3). Suppose -2*b - 2 = 2. Let p be 1*(6 - (-8)/b). Solve d = -p*z + 2 for z.
-1
Let m be 2/(-2) - ((-49)/7 + 3). Solve -m*s = 2*s - 25 for s.
5
Let j(q) = -q + 4. Let z be j(9). Let r(p) = -p + 4. Let l(a) = 1. Let f(g) = z*l(g) + r(g). Let i be f(-3). Solve 0 = -b - i*b + 6 for b.
2
Let d be (-15)/25 - (-166)/10. Suppose p - 5*p = -d. Solve 0 = 2*l - p*l for l.
0
Let q = -6 - -8. Solve q*v + 0*v = -2 for v.
-1
Suppose 3*v = -0*v - 6. Let s be (-4)/(3/6*v). Solve 4*n + 0 = s for n.
1
Suppose -2*l - 14 = -4*n, 0 = 2*n + 2*l + 2*l - 22. Solve 0*o - n*o - 5 = 0 for o.
-1
Let c = 2 - -2. Suppose -3*i + 6 = -c*i. Let z be 4/(-6) + (-40)/i. Solve -4*w + w + z = 0 for w.
2
Let p = 2 - 0. Solve -p*h = -0 + 8 for h.
-4
Suppose -q - 27 = -4*q. Suppose -w - 2*w + q = 0. Let l = w - 3. Solve 2*n - 8 = -l*n for n.
4
Let s = -5 + 8. Let r(p) = p**2 + 5*p - 6. Let y be r(-6). Solve y*c - 6 = s*c for c.
-2
Let b(r) = r**3 - 4*r**2 - 7*r + 6. Let j = 8 - 3. Let x be b(j). Let k be (-7)/(-2)*(x + 6). Solve k*c + 6 = 4*c for c.
-2
Let a(c) = -c**3 + 9*c**2 + 11*c - 7. Let k be a(10). Solve -6*d + 3*d = -k for d.
1
Suppose -5*u + 25 = -0*u. Let v(i) = -i**2 - 6*i - 5. Let f be v(-5). Suppose 3*q + f*q = 0. Solve q = -4*m + 11 + u for m.
4
Suppose 2 = -3*z + 5*d + 11, 2*z = -5*d + 6. Solve 23 - z = -5*f for f.
-4
Let i = 26 - 17. Let u be (-2 - i/(-6))*0. Suppose -15 = 4*q + 3*d, 3*q - 25 = -u*d + 5*d. Solve -n - 5 = -q*n for n.
-5
Let n(w) = w**3 + 5*w**2 - w + 8. Let c be n(-6). Let x = -20 - c. Solve -10 = 3*q + x for q.
-4
Suppose -t + 3*t = -4*r - 8, 0 = -t - 4*r - 12. Solve -5*g + 3*g = t for g.
-2
Let m(z) = z - 14. Let b be m(10). Let i be 39/6 - 2/b. Suppose 24 = i*l - 3*l. Solve -4*s = -2*s - l for s.
3
Suppose 4*k = -x + 1, -3*x = 3*k - 1 + 7. Solve -k - 5 = -2*n for n.
3
Let z(k) = 8*k**2 + 5*k + 3. Let j be z(-3). Suppose 9*a - j = 4*a. Solve q = -3*q - a for q.
-3
Let l be 3*(-3)/(-27)*0. Let a(n) = -n - 3 - 1 + l*n - 1. Let h be a(-6). Solve -h + 2 = -b for b.
-1
Let b = -18 + 23. Solve -i + b = 4*i for i.
1
Let j(z) = z**2 - 3*z + 3. Let y be j(2). Let h be ((-1)/(-3))/((-6)/18). Let g be 1*h - (1 - 4). Solve -t + g*t = -y for t.
-1
Let a = -97 - -117. Solve 2*l = 6*l - a for l.
5
Suppose c + 20 = 5*c. Let i = c + -3. Suppose u + u - i = 0. Solve -h = -0 - u for h.
1
Suppose -12 = -5*x + 18. Solve -x = -2*b - 14 for b.
-4
Suppose -6*x + x = -5. Let h = x + 4. Let s(p) = 2*p - 5. Let w be s(h). Solve 0 = -r + w for r.
5
Suppose 4*f + 3 = 5*f. Solve 2*g - f*g = -3 for g.
3
Let s = 78 - 53. Let b(v) = -v**3 - 5*v**2 - 3*v + 4. Let y be b(-4). Suppose k + y*k - s = 0. Solve 2*g - k = 7*g for g.
-5
Suppose -g - 2*z - 3*z - 17 = 0, 3*g - 2*z - 17 = 0. Suppose j = -11 + 28. Solve -5*d + j + g = 0 for d.
4
Let c(d) = -d**3 + 4*d**2 - 4*d + 4. Let k be c(3). Let z = k + 1. Suppose 4*n + n = 60. Solve 0 = -z*s - 2*s + n for s.
3
Let n = 166 + -159. Solve g = n - 6 for g.
1
Suppose 3*y + 2 = -0*y + 2*q, -2*y + 5*q = 5. Suppose 4*h + 0*h = y. Let k = h - 0. Solve -g + k*g + 2 = 0 for g.
2
Let g = 2 - -3. Solve 0*c - 15 = -g*c for c.
3
Let w(g) = g**2 - 3 - 2 + 3 + g**2. Let c be w(-2). Solve 10 = -4*s + c*s for s.
5
Let f be -1 + (-5)/(10/(-6)). Let o(y) = y**3 - 5*y**2 - y + 7. Let u be o(5). Suppose u*a + f*a = 16. Solve 0 - a = -m for m.
4
Suppose 4*k = 12, -3*u - 1 + 16 = 5*k. Solve 3*a - 4 - 11 = u for a.
5
Let q = -3 - -6. Let g be (q*12/(-9))/(-2). Solve 1 = -w + g for w.
1
Let m = 38 - 21. Solve 0 = 5*o - m + 2 for o.
3
Suppose -5*b = -5*c + c + 21, 0 = -2*b - 2. Suppose 0 = 4*d - 0*d - c*v - 400, 2*d - 200 = -4*v. Suppose -4*o + d = o. Solve -4*l - o = l for l.
-4
Let j = 0 - 1. Let c = j - -6. Suppose -4*w = w - c. Solve h - w = -0 for h.
1
Let z be (-6)/(-27) - (-25)/9. Suppose z*v - 20 = -v. Suppose 0*a + 4*a + v*x - 31 = 0, -5*x + 27 = 3*a. Solve -w = -a*w for w.
0
Let o(y) = -y + 4. Let l be o(4). Solve l = -2*b + b - 5 for b.
-5
Let c = 6 + -3. Suppose -4*f + 30 = a + 7, -4*f - c*a + 29 = 0. Suppose 4*t = -z + 6, 3 = -f*t + 5*z - 2. Solve 0*g = -g - t for g.
-1
Let w(o) = -2*o + 12. Let v be w(5). Solve 0*m = 2*m + v for m.
-1
Let k(g) = 2*g**2 + 5*g - 2. Let b(x) = x. Let j(s) = -2*b(s) + k(s). Let h be j(2). Solve -3*z - z = h for z.
-3
Let a(v) = v**2 + 2*v + 2. Let k = -10 + 7. Let f be a(k). Solve -f*l + 1 + 19 = 0 for l.
4
Let m = 17 - 19. Let s = m - -5. Solve -s*r - 12 = 3 for r.
-5
Suppose 0 = 9*x - 8*x - 5*c + 22, 5*x = -3*c + 30. Solve 0 = x*j + j for j.
0
Suppose 4*h = h. Let c(t) = t**3 - 3*t**2 - t + 4. Let w be c(3). Let a = 4 + w. Solve a*j = -h*j + 25 for j.
5
Let k = -8 + 14. Let f be (4/3)/(k/27). Solve -f*v + v = 0 for v.
0
Let v = -112 - -117. Solve -2*r = -v + 1 for r.
2
Let l be -1 + 1 + (8 - 10). Let a = 5 + l. Solve 4*t = a*t for t.
0
Let u(a) = -a**3 + 14*a**2 + 16*a - 13. Suppose z + 0*z - 3*f - 24 = 0, 4*z - 4*f = 72. Let t be u(z). Solve -1 + 9 = -t*s for s.
-4
Let n = 69 + -66. Solve n*t - 2*t - 4 = 0 for t.
4
Suppose 3*r - 5*n - 19 = -3*n, 0 = 2*r + 2*n + 4. Solve -r*f = 17 - 2 for f.
-5
Suppose -x + 1 = -2*k, 3*x - 25 = -2*k + 18. Suppose -5*d + 7 = -4*d. Let g = x - d. Solve v = g*v for v.
0
Let v(d) = -d**2 - 5*d + 2. Let f be v(-5). Solve -3 = -f*g + 3*g for g.
-3
Let x be (-3)/(-6) - (-15)/(-6). Let a be 0 - 2/(2/x). Suppose 0 = a*j - 0*j - 40. Solve j - 5 = 3*g for g.
5
Suppose 8 = -5*w + 3. Let d be 5 + -3 - 4*w. Solve -d*g = -2*g + 4 for g.
-1
Let k(a) = a**3 - a**2 - 4*a - 1. Let l be k(3). Let i(w) = 3 - 4*w**2 - 8*w - 2*w**2 + w**3 + 6. Let s be i(7). Solve s = -l*h + 4*h for h.
-2
Suppose 5 = 8*v - 3*v. Let z = v - 1. Solve z = -4*i - 6 - 6 for i.
-3
Suppose 5*j = j + 40. Suppose -5*g + 3*o = -15, 0 = -2*g - 2*g + o + 12. Let s(t) = t**3 - 2*t**2 - 2*t + 2. Let r be s(3). Solve -g*c + r = -j for c.
5
Let t(h) = h**2 - 7*h - 7. Let u be t(8). Suppose u = -3*m - 14. Let p = -2 - m. Solve -2*i - p = 3 for i.
-3
Suppose -m = -2*s + 1, 0*s + 3*m = 2*s + 5. Solve -y - s*y = 0 for y.
0
Suppose 13 = 5*v - 2. Solve 2 = 2*n - v*n for n.
-2
Suppose -l - 2 + 1 = 0. Let k be (l - (1 - 2))*1. Solve k = -4*x - 1 - 3 for x.
-1
Let y be 0/2 - (8 + -12)*1. Solve q = -y*q + 15 for q.
3
Let f = -1 + 5. Suppose 5*k = f*k. Solve 5 = 5*o - k*o for o.
1
Let j(g) = 4*g + 78. Let b be j(-19). Solve 0 = -r + 1 + b for r.
3
Let h be (-17)/(-2) - 2/(-4). Suppose 5*s - 2*g - h = 2*g, 0 = -s - g. Solve -r - s = -2 for r.
1
Suppose 0 = 2*r - 4*t - 20, 3 = -2*t - 5. Let p(f) = 3*f**3 + 2*f**2 - 1. Let q be p(1). Solve -r*c + q = -0*c for c.
2
Let r be (-4 + 4 - 0)/(-2). Solve w + 3*w = r for w.
0
Suppose -4*p - 4*l + 16 = 0, 0 = -2*p - l + 6*l - 20. Solve p = 3*v - 3 - 0 for v.
1
Let q = 3 + 6. Solve 4*a = q + 3 for a.
3
Let q(x) = -x**3 + 3*x**2 + 6*x - 6. Let i be q(4). Suppose i*m - 75 = -3*m. Solve k = -4*k - m for k.
-3
Suppose -h = 4*l - 28 - 24, 2*h = -5*l + 68. Solve 0 = 5*v - 13 - l for v.
5
Let d(z) = -z**2 - 6*z - 3. Let u(m) = m**3 + 8*m**2 - 8*m + 4. Let v be u(-9). Let h be d(v). Solve 6 = n + h for n.
4
Let j(m) = 2*m**2 - m - 1. Let r be j(-1). Suppose -5*h + r*s - 6 = -23, 5*h + 3*s - 12 = 0. Suppose -4*d + 0*d + 12 = 0. Solve d = -0*t + h*t for 