 10 for j.
3
Let p(t) = 2*t**2 + 2*t - 1. Let u be p(-2). Suppose -2*c = -u*c + 14. Suppose y + 2 = d - 0*y, -5*d = -2*y - 16. Solve -d*h = -f - 17, c - 3 = 2*h - f for h.
3
Let h be ((-4)/(-12))/(3/27). Solve 0 = 3*l + h*d + 15, -3*l - d = -0*l + 7 for l.
-1
Suppose -28 = -d - 3*d. Let h be 2 + 0 - d - -1. Let z be (6/h)/((-9)/24). Solve -z*j = 5*x + 17, -5*j - 5*x + 8 - 23 = 0 for j.
2
Suppose -5*h + 9 = -1. Let u be 9/(-15)*(h + -187). Let q be 2/(-7) - u/(-21). Solve 2*b - 3*b = -4, -q*a - 5*b = -5 for a.
-3
Suppose 2*t = -5*t + 70. Solve 2*f + 5*d + t = 0, -f - 3*d - 8 = d for f.
0
Suppose -w + 4 = -0*w. Let u = 9 - w. Suppose 4*o = 10 + 6. Solve u = -p + c, 2*p = 7*p - o*c + 24 for p.
-4
Suppose 0 = 2*s + 4*l - 66, -5*l + 114 - 44 = 2*s. Suppose -3*c - w - 18 = -4*c, -2*c + w + 38 = 0. Solve 5*r - 5*f = s, 0*r + f - c = -4*r for r.
5
Let g be 1 + -7 - (-1 - -4). Let v = -7 - g. Solve -4*x + 28 = 3*b + v, 5*x = 25 for b.
2
Suppose -2*z = 2*z - 28. Let u = z + -3. Let b be 7/(-2)*(-8)/14. Solve -p + b = -d, -6*p = -2*p - u for d.
-1
Let u be ((-45)/12)/(3/(-4)). Solve -h - v - 5 = u, 0 = 3*h + v + 20 for h.
-5
Let g(d) = d**3 + 12*d**2 - d - 8. Let x be g(-12). Let s = -1 - -1. Solve x*i + 2*w = -4, -5*i + 5*w - 35 = -s*i for i.
-3
Suppose 4*k = i + 113, -6*k + 2*k + 4*i + 104 = 0. Suppose 6*j - j = 3*x - k, 0 = -5*x + 2*j + 23. Solve -4*o = -n - 9, 0*o = -5*o + x*n + 20 for o.
1
Suppose -3*p = -5 - 10. Solve 3*b + 2*a + 8 = 0, 5*b + a = 6*a - p for b.
-2
Suppose 4*q + 6 + 10 = 2*p, 5*q = -4*p - 20. Suppose -y = -3*y - 5*c - 14, p = y - 3*c - 15. Solve -y*z - 3 = x, 0*x - x = -z + 3 for x.
-3
Suppose 10*v - 7*v = 0. Suppose v = -g - 3*u + 2 + 9, 2*u = 4. Solve -2*a + g*o + 27 = -4, 3*a + 3*o = -6 for a.
3
Suppose -1 = 2*d + 3. Suppose 4*k + 16 = -l, l + k + 42 = -4*l. Let m be d/4*(l + 4). Solve m*r - 5*n + 2 + 2 = 0, 2*r - 4*n = -4 for r.
-2
Let t(z) = -z**2 - 13*z - 12. Let g be t(-12). Suppose 2*r = -0*r + 6. Solve g = -l + 4*a - 13, r*l - 6*a = -2*a - 15 for l.
-1
Let i(c) = c**2 + 4*c - 2. Let o be i(-4). Let m be -2 + (1/1 - o). Solve -5*q - 3*v = 8, 2*q - 4*v - 1 = m for q.
-1
Suppose -g - 5*k - 21 = 0, 4*k = 2*g + k - 23. Solve -4*r - 3*o + g*o = 15, -12 = -r - 5*o for r.
-3
Let x be (-6)/5*(-6 + 48/18). Solve -2*s - h + 0 - 9 = 0, 3*s + 16 = -x*h for s.
-4
Suppose 4*j = -4*c + c + 65, -4*j + 4*c = -44. Solve -2*b + 3*k = -8, 3*k + j = b - 2*b for b.
-2
Suppose -3*w - j - 3 = 0, 3*j + 9 = w - 6*w. Let x = 4 + w. Solve x*l - 5*r - 14 = 2*l, -5*l - 5*r = 0 for l.
2
Let p(s) = 11*s**2 + 2. Let o(i) = -22*i**2 - 5. Let u(g) = 3*o(g) + 7*p(g). Let h be u(-1). Let m = h - 6. Solve 0 = -z + m*z + 5*r, r + 3 = 0 for z.
5
Suppose 3*w - 3 = 2*w. Solve -h = 5*l + 16, -h = 2*h + w*l for h.
4
Let z(g) = -g - 1 + 2 - g**2 - 1. Let q be z(-1). Solve i - 5 + 3 = v, 5*v - 10 = q for i.
4
Let n be (((-24)/9)/(-2))/(8/12). Solve -3*y = -j + 5, 2*j + y + n*y = -8 for j.
-1
Let w = 46 - 46. Solve 2*j + 8 = w, 5*l - 16 = -4*j + 3*j for l.
4
Let v(n) = n**3 + 6*n**2 + 5*n - 2. Let t be v(-5). Let w be (t - -2 - -1)*13. Solve -4*a - 6 = 3*o - a, -a + w = -4*o for o.
-3
Let i(p) = -3*p + 7. Let r be i(5). Suppose 4*t - 9 = -25. Let b = t - r. Solve 0*k + 6 = -j - 2*k, -b*k = 20 for j.
4
Let p be 3 + ((-27)/(-3))/(-3). Let l be 9 + p + 1 + -2. Let y(n) = n - 5. Let t be y(5). Solve t = 3*d + z + l, 2*d - 9 = 4*z - 33 for d.
-4
Let g be (-2)/(-6)*(-1 - -7). Let k(v) = 4*v + 1 + 2 - g. Let h be k(1). Solve -4*s + 3*s - h*m - 19 = 0, m = -s - 3 for s.
1
Let q be (9 - 6) + 2 + -2. Solve -3 = -4*d + q*i + 2*i, 2*d - 3 = 3*i for d.
-3
Suppose 0 + 5 = -5*y. Let o = y - -2. Suppose 2*g + 0*g = 3*q - 1, -o = g - 2*q. Solve -2*i = -z + 4, z - g = -4*i + 3 for z.
4
Let w(b) = b + 5. Let o be w(7). Solve -5*x - h + 6 + 3 = 0, -3*h + o = 0 for x.
1
Suppose -4*o - 5*t + 32 = 0, 3*o + o - 20 = -2*t. Solve 5*h = z + 7, o*z + 5*h - 14 = 5 for z.
3
Let y be (6 - -2) + -1*2. Suppose -6 = y*t - 4*t. Let w be 2/(t/(-72)*3). Solve -w + 1 = -3*o, -5*o = 3*f - 19 for f.
-2
Suppose -2*h + 33 = 2*r - 17, -4*h = 3*r - 72. Suppose -5*a + 17 = -3. Solve r = a*q - 4*z, 3*q - 6*z + z = 27 for q.
4
Let r be (-2 - (-25)/10)/((-3)/(-12)). Let h(z) = 5*z - 5. Let q be h(5). Suppose -b - 4*b = -q. Solve 4*i = 5*d + 32, -r*i - 6 = -d + b*d for i.
3
Suppose c = 2*c - 5. Let o(p) = p**2 - 9*p + 5. Let h be o(9). Suppose h*w - 35 = -c*v, 3*w + w = -3*v + 17. Solve v = -5*d - 3*u, -2*d - 3*u = 5 - 6 for d.
-4
Let o(r) = 17*r - 1. Let n be o(1). Let s(h) = h**3 - 5*h**2 - 8*h + 1. Let c be s(6). Let d = n + c. Solve -b + m = -0 - d, -2*m = 3*b for b.
2
Suppose -s + 1 + 27 = 0. Suppose -5*f + 3*x = -s, 7 + 5 = 2*f - 2*x. Let d = -2 + f. Solve 3*n - 7 = -4*j, d - 8 = -5*n - 5*j for n.
-3
Let s = -4 + 9. Let d = 78 - 75. Suppose 0*f - 5 = -2*g + f, 5*f = -4*g - 25. Solve 0 = -s*n + d*v + 16, 0*n - 3*n - 3*v = g for n.
2
Suppose 2*p = -4*i + 12, 3*p - 32 - 11 = -i. Suppose 5*h = 0, 2*f - 2*h - p = -5*h. Solve 0 = 5*w + n - 7, n = 2*w + 5*n + f for w.
2
Let j = -3 + 5. Suppose -n = 2 - 0. Let d = j - n. Solve -8 = -2*z - 0*z, -5*z = -d*h - 12 for h.
2
Suppose 2*g - g = -5*j + 11, -2*j = -g - 10. Solve j*t - 31 = -t + 5*x, -5*x = 3*t + 3 for t.
4
Suppose -2*u = u. Solve -5*k = 5*g - u*k + 15, g + 4*k + 12 = 0 for g.
0
Suppose -2*x + x + 3*p + 7 = 0, p = -x - 1. Let t be (x*-4 + 3)*-5. Solve 5*a - 3*o = -0*o - t, 0 = -4*a + 4*o - 12 for a.
2
Let k(w) = -w**3 - 3*w**2 - w - 4. Let g be k(-3). Let n be ((-12)/(-18))/(g/(-15)). Solve -c - 34 = -4*l - n, c + 9 = l for l.
5
Let y = -4 - -4. Suppose y = -4*a - 4*s + 16, 35 = 3*a - 4*s - 5. Solve -4*o - a = -6*o + 4*i, -2*o = 3*i - 1 for o.
2
Let g = -9 + 21. Suppose 0*v = -4*v + g. Solve -v*n = -3*i + 2*i - 5, 3*i + 15 = -2*n for i.
-5
Let y(m) = m**3 + m**2 - 5*m + 7. Let z be y(-3). Solve -3*v = 15, 3*k = z*k - 5*v - 22 for k.
-3
Let i = -107 + 56. Let y = -34 - i. Solve -4*p = 3*m - 1, -m - 4*m - y = 2*p for p.
4
Let q(j) = 8*j - 1. Let i be q(1). Suppose -14 = -o - i. Solve -5*v = -4*s - o, s = v - 3 + 1 for v.
-1
Let y = -5 + 8. Solve y*p + 31 = -4*v, v = 2 - 6 for p.
-5
Let c be (-9)/(-2)*(-40)/(-15). Solve -4*m = u + c + 8, 4*u + 12 = m for u.
-4
Let g = 5 - 0. Suppose 3*u - 25 = 2*s - 6*s, -g*u + 34 = -s. Suppose 0 = -k, 4*q - 3*q = 3*k + 4. Solve -u = q*x + 4*c + 9, 5*c = x - 8 for x.
-2
Let w = -4 + 8. Solve v = 5*o - w*v - 20, -5*o - 2*v + 27 = 0 for o.
5
Let k be 2/4 + (-2)/4. Suppose -5*m - 2*b = -k + 8, 4 = -b. Solve 2*w + m = -3*y - 3, 4*w - 3*y - 3 = 0 for w.
0
Suppose 5*i - h - 7 = 6, -7 = -5*i + 4*h. Let x(k) = -k**3 - 6*k**2 - 2*k + 7. Let a be x(-6). Solve -4*b - 3*u = -23, -i*b - u = 3*u - a for b.
5
Let n(x) be the first derivative of x**2/2 - 5*x + 1. Let d be n(7). Solve -3*w + 6 = 0, -3*a + 7 = 4*w + d for a.
-1
Suppose -o + 2*m = -3*o + 12, -3*o + m + 18 = 0. Let w be -3 - (2/2 - o). Solve 2*z = 2*s + 4, w*s - 5 = z - 2*z for z.
3
Let t = -22 - -27. Solve 2*q = -0*q + 3*j - t, 4*q + j + 3 = 0 for q.
-1
Suppose -2*z - 70 = -7*z. Suppose 0 = 3*n + 2*n + 5*k - 15, k + 3 = n. Let q = 19 + -15. Solve w = -q*w - n*x - z, -4*x = 2*w for w.
-4
Let m = 27 + -23. Solve -h = m*v + 11, -3*v + 2*v + 3*h = 19 for v.
-4
Suppose o + 2*o + 18 = 0. Suppose 5*z + f = 3*f - 42, 2*f = -8. Let v = o - z. Solve 0*a + v*a - 16 = 4*y, -y - a - 6 = 0 for y.
-5
Suppose -2*z - 3*u + 21 = 3*z, 2*z = 4*u - 2. Suppose -r + 0 = -z. Suppose y = 3*d + 16, y + 4 = -2*y - 4*d. Solve i - 11 = -y*v + 4, -3*v + r = -2*i for i.
3
Suppose p + 75 = 5*f, -4*f + 81 = -3*p - 2*p. Solve -5*z - 15 = 5*d, 0 = 4*z - 2*z - 2*d + f for z.
-5
Let f(t) = t - 10. Let w be f(14). Suppose 0 = -w*h + 84 + 36. Solve -4*a = -5*u - 7 - h, 4*u + 2*a = -14 for u.
-5
Let f(w) = 2*w**3 - w + 1. Let x be f(1). Let p be (-3 - -9)*x/3. Solve -p*g = g - 5*b + 10, 3*g = -b - 14 for g.
-4
Let o be ((-1)/2)/((-2)/24). Let h be (8/(-6))/(o/(-9)). Solve 2*i + 16 = -h*f, 2*f = i + 2*i + 4 for i.
-4
Let a(c) = -c**2 - 5*c - 1. Let n = -12 - -8. Let j be a(n). Solve -j*l = -0*l - 15, 3*t + 35 = 4*l for t.
-5
Let t = -4 - -6. Let l be 30/(-8)*-2*2. Solve 0 = 3*c - r - l, 2*c - 15 = -c - t*r for c.
5
Let o be (-4 - -5)*(-1 - 8). Let z = o + 9. Let h be -2 - z - (-2 - 2). Solve 2*c + 4 = -2*j - 2, -j = h*c +