 + a for j.
4
Suppose -4*a = -11*a. Solve 7*j - 4*j + 6 = a for j.
-2
Let o = 14 + -8. Let p(d) = d**3 - 4*d**2 + 4*d - 4. Let z be p(3). Let f be ((-2)/z)/(4/6). Solve f*h - o*h + 6 = 0 for h.
2
Let h(w) = -w**3 - w**2 + 4*w - 4. Let x be h(-4). Suppose -x - 14 = -3*k. Let g = -1 + 1. Solve 5*y - k + 4 = g for y.
2
Let o(t) = -t**3 + 7*t**2 + 10*t - 14. Let j be o(8). Suppose -x - x + 2*q + 12 = 0, -x = q. Solve j*f = -f - x for f.
-1
Let w = 24 + -20. Solve 3*l + 8 = -w for l.
-4
Let d = -6 - -5. Let n be d + -2 + 1 + 4. Solve 0 = -u - n*u for u.
0
Suppose -3 = -28*w + 27*w. Solve -w*t + 4 = -2 for t.
2
Let k(j) = j**2 + 2*j + 2. Let z be k(-3). Suppose -2*u + 3*u + 3*a = -15, -3*u = -a - z. Solve g = 2 - u for g.
2
Suppose 2 - 8 = -3*x. Suppose -2*y - 8 = -s, -3*y - x*y + 5 = 0. Let h be 2/(-10) - (-42)/s. Solve 2*t = h*t - 10 for t.
5
Let t(i) = -i. Let u be t(-2). Let x be 0 + 1 + 10 + -1. Let c = x + 0. Solve 0 = -3*a + u + c for a.
4
Let o = 10 + -6. Let l be 0*(2*-1)/o. Suppose l = -5*a + c + 41, 2 - 17 = -2*a - c. Solve -3*w + w + a = 0 for w.
4
Suppose 2*u + 25 = -5*p, u - p - 25 = 4*p. Solve -1 + u = i for i.
-1
Suppose 8 = -2*i + 6*i. Suppose 0*b = -b + i. Suppose 0 = h + b, 0 = -c - 2*h - 0 + 1. Solve 0 = -2*g + 7*g - c for g.
1
Suppose -4 = -5*u - 2*y + 8, 3*u = -4*y + 10. Let z be (((-12)/(-2))/u)/3. Let q be 3 - 1 - (z + -2). Solve q = -r + 5 for r.
2
Suppose -4*m + 26 - 6 = 0. Suppose a - 5 - 5 = -2*b, -25 = -m*b. Solve a = 5*f - 5 for f.
1
Suppose c = 4*c - 54. Suppose u = d - 8, 0 = -d - 3*u - 2 + c. Suppose 3*f = 4*b - 22, 4*b - 3*f + 6*f - d = 0. Solve -b*x - 8 = -0*x for x.
-2
Suppose -7 - 2 = -3*y. Suppose 0 = 2*b - 5 - y. Suppose b*a - 4 = 2*a. Solve 1 = a*g - 3 for g.
2
Suppose 88 = 5*u + 2*k, -2*u + 3*k - 18 + 57 = 0. Solve 6 = -4*h + u for h.
3
Let q(f) = f**2 - 6*f + 3. Let c be q(6). Suppose 0 = 3*v + 3 - 9. Let l(a) = -a**3 + 5*a**2 - 2. Let d be l(v). Solve -t + c*t = -d for t.
-5
Let p(h) = -4 + 2*h - 3*h + 0*h. Let b be p(6). Let q be ((-44)/6)/(b/15). Solve -3*m - q = 4 for m.
-5
Let d = 10 - 8. Let p be (-15)/(-6)*12/10. Suppose h + p = 0, 3*i - 2*h = h + 15. Solve d*r = -i*r - 20 for r.
-5
Let x = 35 + -33. Solve 8 = 2*v + x*v for v.
2
Suppose -60*w + 62*w - 6 = 0. Solve w*a + 1 = -8 for a.
-3
Let s(n) = n**2 + 14*n + 26. Let z be s(-13). Solve z = -4*g + 1 for g.
-3
Let b = 16 - 9. Let u(c) = -c**3 + 4*c**2 - 3*c + 3. Let y be u(2). Suppose 0 = 2*m - t - 4*t - 20, -80 = -y*m + 5*t. Solve -b*p + m = -2*p for p.
4
Suppose -4*l - w + 12 + 7 = 0, -2*w = 2*l - 8. Solve 6 + 4 = -l*m for m.
-2
Let w(x) = -2*x - 26. Let n be w(-13). Solve 3*s + 24 - 9 = n for s.
-5
Suppose 3*a + 15 = 0, 0*h - 5*h + a = 0. Let b = h + 5. Suppose -4*z + 0*j = 4*j - 36, -b*z + 63 = -5*j. Solve z = -5*v - 3 for v.
-3
Let c = -6 - -8. Suppose 2*r - 70 = -4*j, -3*j - c*r = -2 - 52. Solve -4 + j = 4*s for s.
3
Let y(g) be the first derivative of g**2/2 + 10*g - 1. Let c be y(-8). Solve -2*q = -q - c for q.
2
Let t = -19 - -21. Solve t*v = -2*v - 8 for v.
-2
Let v be (2 + 8)*1/2. Solve -2*p = -v*p - 9 for p.
-3
Let t = -4 - -7. Let s be (t - 1)*30/4. Solve 0*c - s = 5*c for c.
-3
Suppose 4*g = -4*m + 5*m - 3, -5*m = g - 15. Let r(a) = -a**2 + 3*a. Let j be r(m). Suppose 5*b - 3*b - 4 = -5*v, 0 = -5*b + 10. Solve v = -3*n + 3 - j for n.
1
Suppose -3*t = 5*m - 1, -2*m = 5*t - t + 8. Suppose -3*x - v - 14 = 3*v, 3*x = 2*v - 2. Let o = -1 - x. Solve m*k + o = k for k.
-1
Let q(c) = c**2 - 2. Let x be q(2). Solve -2 - 4 = x*f for f.
-3
Let k be ((3 - 3)/(-4))/2. Solve -s + 2*s = k for s.
0
Let z(o) = 2*o**2 + 3*o. Let q be z(-2). Solve 0*w + q = -w for w.
-2
Let a(f) = 5*f - 9 + 4 + 10 - 4*f. Let z be a(-5). Solve z*r = r + 3 for r.
-3
Let g be 19/(-4)*((-1 - -3) + -6). Solve -7 + g = -4*s for s.
-3
Let v(d) = -d**2 - 6*d - 4. Let h be v(-4). Suppose h*j + 3*t - 5 = 15, 4*j - 28 = -t. Let z(k) = -k + 9. Let p be z(j). Solve -2*x = -5 - p for x.
3
Suppose -5*h - w + 97 = 0, -h + w - 2*w + 17 = 0. Solve v = 5*v - h for v.
5
Let k = 52 - 45. Solve -k - 3 = -5*f for f.
2
Let p(v) = -v**2 - 9*v + 7. Let d be p(-8). Let i = -27 + d. Let b be (i/3 + 3)*0. Solve b*s = 3*s for s.
0
Let i(w) = w + 6. Let a be i(-6). Suppose 0 = -a*q + q. Solve 0 = 2*o + 4 - q for o.
-2
Let f = -55 - -60. Solve -f*i = -10*i for i.
0
Let r = 6 + -6. Suppose -4*q + 2 = -6. Suppose -x - z = -r*x - 7, -q*x + 2*z - 6 = 0. Solve -d = -2*d - x for d.
-2
Let h(o) = -o**3 - 7*o**2 - 6*o + 1. Suppose -4*j - 14 = 10. Let k be h(j). Solve -2*w + 1 + k = 0 for w.
1
Suppose -x + 3*d + 14 = 0, 2*d - 20 = -3*x - 0*d. Let f be 6/(-12) - 17/2. Let p(j) = j**3 + 8*j**2 - 8*j + 13. Let m be p(f). Solve m*k = -0*k + x for k.
2
Let k be (-2)/(3*4/(-54)). Let s be (-25)/(-3) - 12/k. Solve s*h = 2*h - 15 for h.
-3
Suppose 0 = 6*r + r - 56. Solve r*f = 3*f - 20 for f.
-4
Let d(g) = 3*g**2 - 5*g - 3. Let l be d(4). Solve -6*p - l = -p for p.
-5
Let d(m) = m**2 - 3*m - 3. Let h be (-5 + 6)/((-1)/(-4)). Let c be d(h). Solve -i - 2 - c = 0 for i.
-3
Suppose 4*j + 17 = -7. Let t be (j + -3)*6/(-9). Solve -2*v - t = v for v.
-2
Let m(q) = -2*q**3 + q**2 + 2*q + 1. Let i be m(-1). Solve 15 = -i*c + 7*c for c.
3
Let f be -1 - 1 - (5 - 14). Let u(p) = -p**2 + 9*p + 9. Let r be u(9). Solve 4*q = f + r for q.
4
Suppose 0 = -4*f - f + 125. Solve w + f = 6*w for w.
5
Suppose 5*j = 3*b - 30, -5*j + 10 = b + 4*b. Suppose 5*p + 15 = -3*o, -o - 4*o + b*p = -15. Let g be o/(-4 + (0 - -2)). Solve 3*n + g = 12 for n.
4
Suppose -3*n + 4*p = n, n = -4*p. Suppose 0 = -5*r + i + 3*i + 60, n = 5*i + 25. Solve r - 17 = 3*t for t.
-3
Suppose -3*g = -3*r - 6, -2*r + g = 2*g - 8. Solve 10*o - 8*o + r = 0 for o.
-1
Suppose 3*g - 2*f = 10, 2*f = -3*g + 4*g - 10. Solve g*v - 2 = v for v.
-2
Let n(w) = w**3 + 6*w**2 + 4*w - 2. Let x be n(-5). Suppose -4*g + 3 + 5 = -2*p, 0 = 3*p - x*g + 3. Solve y - p = -1 for y.
1
Suppose 4*z - 31 = -11. Solve -2*d - 15 = -z*d for d.
5
Let y = 11 + -9. Let p = 4 + -2. Solve -4*t + y = -p for t.
1
Let m be -6*(4/(-16) + 1/(-12)). Solve -m = -o + 2 for o.
4
Let i(q) = 2*q**2 - 4*q. Let k be (-15)/5*(-8)/6. Let v be i(k). Solve 0*d + v = -4*d for d.
-4
Let x(t) = t**3 + t**2 + t. Let d be x(-1). Let m(j) = -j**3 - 4*j**2 + j + 3. Let p be m(-4). Let r = d - p. Solve 0*c + 3*c - 3 = r for c.
1
Let q(b) = -b - 4. Let s be q(-9). Let v = s - 5. Solve 5*t - t = v for t.
0
Let i = 0 + 2. Solve 0 = -0*j - i*j for j.
0
Let a be (10 - 5)*(-1)/(0 - 1). Solve 0 = -y + a*y for y.
0
Suppose 2*t - 4 = -2*c, -4*t = -6*c + 2*c - 24. Let u = 56 + -1. Suppose g = 4, -4*b + u = g - 9. Solve -y + b = -t*y for y.
-5
Let y be 1*((-1)/1 - -1). Let j be 15/40 - 111/(-24). Solve y*b + j*b - 10 = 0 for b.
2
Let o(d) = d**3 + 5*d**2 - 4*d + 4. Let r be o(-6). Let q = r - 0. Let n = q + 11. Solve -n*g + 17 = 2 for g.
5
Let p = -3 - -5. Suppose -3*o = p*o + 5. Let z = o + 4. Solve 3*a - 12 = -z for a.
3
Let k(t) = -t**2 - 5*t + 3. Let s be k(-5). Let g(c) = 3*c - 6. Let v be g(s). Solve v = -i - 0 for i.
-3
Let k = 1 + 3. Suppose -k*l - 7 = 13, 4*h + 21 = -5*l. Solve -3*v - h - 5 = 0 for v.
-2
Let t = 4 - 4. Suppose t = -4*w + 11 + 5. Suppose w*f - 23 = 37. Solve 4*m - f = -m for m.
3
Suppose 5*g = 4*v + 37, 4*g + 4*v + 5 = 13. Suppose -g*a + 12 = -13. Solve -2*b = -a + 1 for b.
2
Let t = -24 + 28. Solve 0 = -8*o + t*o for o.
0
Let t = -13 + 15. Solve m - t + 1 = 0 for m.
1
Suppose r - o - 2 = -3*o, -3*r - 2*o = -6. Solve r*l = -3*l + 5 for l.
1
Let i(w) = -w**3 + 2*w**2 + 2*w + 6. Let x(s) = s**2 - 2*s. Let a be x(3). Let b be i(a). Solve b*v = -v + 8 for v.
2
Let d(v) = 16*v. Let z be d(1). Suppose 4*i - 3*i + 2*k - 13 = 0, -k + 14 = 2*i. Let q be (-1)/(-2) - (-2)/4. Solve i*r + z = q for r.
-3
Suppose -2*y - 3*y - 10 = 0. Let f be (-1 - (y - -1)) + 3. Solve 0 = -q + f for q.
3
Suppose -20 = -5*m, 11 = -4*u + m + 123. Let t = 34 + -13. Let a = u - t. Solve 3*q - q = a for q.
4
Let u be (-7 - -7) + 1*2. Solve -2*z - 2 - u = 0 for z.
-2
Let m(k) = -3*k - 1. Let w be m(2). Let r(c) = c**2 + 7*c + 1. Let a be r(w). Solve -a = -2*l + 5 for l.
3
Let l = -16 + 0. Let z be (-2)/l*-6*-8. Solve 0*n - z = 2*n for n.
-3
Let a(b) = b + 5. Let t be a(-5). Suppose t*w - 4*w = -20, -4*w + 10 = -h. Solve 0*y - h = -2*y for y.
5
Suppos