*a + i = 2*a for a.
1
Let p = 14 - 8. Suppose 0 = -j + 4*i - 4 + 14, 2*j + p = -5*i. Let w(h) = -h**2 + 6*h - 3. Let b be w(j). Solve -d - 12 = -b*d for d.
3
Let m be 2 + (-2 - (-7 - -3)). Solve 15 = v - m*v for v.
-5
Suppose 4*f + 14 = 3*l, -2*l - 6 = 5*f - 0. Let w(o) = -3*o + 2. Let s be w(l). Let v = 4 + s. Solve d + v - 2 = 0 for d.
2
Suppose 0 = -5*i + i + 4*s + 48, -5*s = 2*i + 4. Let w(j) = 4*j + 3*j + 12 - 5*j - 3*j. Let m be w(i). Solve -1 + 5 = m*f for f.
1
Let d(h) = -4*h - 17. Let c be d(-5). Solve -c*o - 1 = 8 for o.
-3
Let g(v) = -4*v - v**2 + 2*v**2 + 12*v. Let h = -17 + 8. Let f be g(h). Solve -f = 3*n - 3 for n.
-2
Let y = -16 + 27. Suppose -y = -2*d + 5. Solve b + 3*b + d = 0 for b.
-2
Suppose 2 = 2*o - k + 8, 0 = -5*o - 3*k - 4. Let q be (2 + -1)*3 - o. Suppose -5*a + n + 23 = 0, -q*a + 2*a = -2*n - 11. Solve -2 = -a*h + 3*h for h.
1
Suppose 0 = o - 3*o - 70. Let i be (-32)/(-14) - (-10)/o. Solve k + k = -i for k.
-1
Let h(l) = l + 17. Let s be h(-14). Solve 4 = -s*y - y for y.
-1
Let n = -32 - -47. Let g be (-24)/(-9)*n/10. Solve g*o - 8 = 6*o for o.
-4
Suppose 88 = 8*t - 0*t. Suppose -t + 1 = -5*c. Let n be (-2 - (0 + -1))*-5. Solve 3 = -n*h - c for h.
-1
Let k(y) = y - 3. Let i be k(4). Let f be i + (-1)/1 + 0. Suppose -5*c + 3*h + h + 12 = 0, 3*c - 3*h - 6 = 0. Solve f*v + c*v = 0 for v.
0
Let v(s) = -s**3 + 14*s**2 + s - 13. Let g be v(14). Solve 3*i + g = -8 for i.
-3
Let r be (-5 - -2 - 1)*-2. Solve 0 = 2*n - 6*n - r for n.
-2
Suppose -6*y + 25 = -y. Suppose -7*q + 2*q = 5*a - 85, -5*q + 35 = -y*a. Solve -q = -4*x - 0*x for x.
3
Let j(w) = 3*w**3 - w + 1. Let b be j(1). Let c be (-2)/(-3) - (-16)/b. Suppose 5*x = 2*o - 4, 4*x - 5 = -5*o + 5. Solve -3*v + x = -c for v.
2
Suppose -4*l + 13*l = 27. Solve -l*m = 8 - 2 for m.
-2
Let r = -14 - -19. Solve 1 = r*a + 21 for a.
-4
Let w = -13 - -16. Solve -2*z = w*z - 20 for z.
4
Suppose 5*d - 10 = m, -m + 6 - 1 = -2*d. Solve 0*s - m = 3*s for s.
-5
Let k = 7 - 5. Suppose r = k*r - 12. Solve -c = 2*c + r for c.
-4
Suppose 0 = -3*j + 3*a + 12, -32 = -3*j + a - 2*a. Suppose 4*u - 20 = 4*s, -3*u = 36*s - 37*s - 15. Solve j*o - u = 4*o for o.
1
Let d be 8/4*1/2 - -1. Solve d*u + 6 = 2 for u.
-2
Let o be -2*3/2*2/(-6). Solve o = h - 0 for h.
1
Suppose -3*x = -2*x - 5. Suppose 4*d + 4 = 3*k - x*k, 5*d + 11 = -k. Solve -k*c + c = -15 for c.
5
Let n be (3 - (13 - -3))*1. Let s = 17 + n. Solve 31 - 11 = s*l for l.
5
Let o = 19 - 17. Solve -o - 10 = -4*y for y.
3
Let s(m) = m**3 - 11*m**2 + 9*m + 14. Let l be s(10). Solve l*h - 12 = 8 for h.
5
Let b be 0 + -1 + (0 - -1). Suppose -2*i = -b - 12. Let s = -23 - -25. Solve 4*d - i = s*d for d.
3
Let o(u) = u**3 - 7*u**2 - 8*u + 4. Let h(d) = -d + 16. Let c be h(8). Let i be o(c). Solve 3*n + n = -i for n.
-1
Let k(f) = -f + 4. Let x be k(4). Suppose x = v - 2*v. Suppose -2*b + 8 = 4*y - v*y, 4*b + 3*y - 6 = 0. Solve 0 = 4*d - b*d for d.
0
Let z = 16 + -6. Suppose -5*l = -0 - z. Solve 2*p + 8 = -l*p for p.
-2
Let r be 246/(-10) - (-3)/5. Let o = r - -28. Suppose -j - 2*g = 5, j + 2*g = -4*j - 1. Solve j = o*y - 15 for y.
4
Let j(z) = z**3 - 8*z**2 + 6*z + 9. Let b be j(7). Let f = 4 - b. Solve -2*v - f = -0*v for v.
-1
Suppose 75*c = 79*c. Solve c*d = -d + 2 for d.
2
Let n be -3 + -1 + (29 - 2). Let t = 39 - n. Let a = t + -8. Solve a = -4*i - 12 for i.
-5
Suppose m - 5*p = 7, -4*m - 4*p = m - 6. Solve 0 = -0*d + m*d + 10 for d.
-5
Let n(v) = -7*v - 1. Let f be n(-3). Suppose 0 = -0*l + 4*l - f. Solve -15 = 4*p + l for p.
-5
Let d(a) = -2*a - 5*a**2 + 3*a**2 + a**2 + 6*a + 5. Let w be d(4). Solve r = -0*r + w for r.
5
Suppose 3*j = -0*j + 9. Suppose k + j*k = d + 59, -2*k + 42 = 2*d. Solve -4*w + 4 = -k for w.
5
Let x = -94 - -99. Solve -2 + 7 = x*a for a.
1
Let z = 8 - 15. Let l = z + 11. Solve l*v + 7 + 5 = 0 for v.
-3
Let u be (-14 - (-4 + 3)) + -4. Let c = u + 19. Solve -c = -z + 3 for z.
5
Let b = -31 - -31. Solve -3*d + 5*d + 4 = b for d.
-2
Suppose 0 = 2*m - 10 - 16. Let o = 5 + m. Suppose -3*r + 46 = 4*w, o = 5*r - 2*w - 24. Solve 3*z + 5 = -r for z.
-5
Let s = 23 - 16. Solve 0 = -s*j + 2*j + 25 for j.
5
Let p(l) = 0 - 3 + 4 - 3*l + 3. Let h(m) = 2*m - 3. Let n(s) = 6*h(s) + 5*p(s). Let w be n(-2). Solve b - 3*b = w for b.
-4
Let o(k) = k**2 + 6*k + 20. Let d be o(-7). Solve d = -5*g + 2 for g.
-5
Let r(a) = -9*a**3 + a**2 - 1. Let u be r(1). Let g = -4 - u. Solve -5 = -5*l + g for l.
2
Suppose -4*z + 2*z - 67 = -5*f, 4*z + 119 = 5*f. Let c = z - -14. Let s be 7/3 + (-8)/c. Solve -s*o + 6*o = 0 for o.
0
Let m = 20 - 4. Suppose -4*q - i + m = i, 2*i = 4*q. Solve q*u - 16 = -2*u for u.
4
Let l = -3 - -7. Suppose -l*d = -2*d - 6. Let t(p) = -2*p - 14. Let q be t(-10). Solve -m = -d*m - q for m.
-3
Suppose j = 2 + 2. Suppose -j*h + 60 = -h. Solve -h = -4*k - k for k.
4
Suppose -4 = 22*v - 23*v. Solve 0*i - v = 2*i for i.
-2
Suppose 5*u - 4*s = 35, -u + 2*u + 3*s - 26 = 0. Let y = -7 + u. Suppose -5 = -y*c + 3*c. Solve -c*d + 9 - 29 = 0 for d.
-4
Let z(a) = -2*a + 3. Let o(i) = i**2 - 5*i - 6. Let t be o(5). Let n be z(t). Solve 0 = j + 4*j - n for j.
3
Suppose -i + 5*i - 12 = 0. Suppose -12 = -0*s + i*s. Let r be s/(-14) + (-38)/(-14). Solve 8 = l + r for l.
5
Let u = 3 + 1. Suppose 4*o - 3*o = -u. Let g = 5 + o. Solve -b + 0 = g for b.
-1
Let r be (8 - 4)*1/2. Let h(a) = a**3 - 6*a**2 + 6*a - 2. Let m be h(5). Suppose m*f - r*f - 3 = 0, -3*b + 3 = f. Solve -l = -b*l - 1 for l.
1
Suppose -3*q = 2*q - 5. Let v be (-6)/(-4)*(q - -1). Solve v*u + 5 = -2*u for u.
-1
Suppose 36 = -0*r + 3*r. Let p be ((-3)/(-2))/((-3)/r). Let u be (-3)/9 + (-26)/p. Solve 4*f + 0*f = -u for f.
-1
Let m(o) = -o - 4. Let v be m(-7). Let k be (v - (-4 - -7))/2. Solve 5*d - 10 - 5 = k for d.
3
Let d(z) = -z + 2. Let s be d(-2). Suppose 0 = s*q - 12. Solve -q*o + 1 = -2 for o.
1
Suppose -4*h + 8 = 0, z = -4*h + 4 + 6. Let w be -1 - ((-56)/4 - z). Solve -5*q - w = -0 for q.
-3
Let f be (1 + 4/(-2))*-1. Solve 0 = 3*q + 2 + f for q.
-1
Suppose 7*x - 4*x - 18 = 0. Solve x*q = 2*q + 12 for q.
3
Let m = 34 - 23. Solve 3*y + m = -4 for y.
-5
Let j be (-2 + -1)*(4 - 5). Let l(g) = -g. Let u be l(-1). Solve 2*t = j*t - u for t.
1
Suppose -3*s + 5*z - z + 13 = 0, 2*s = -5*z + 1. Suppose 3*q + 21 = 3*c - 0*q, -4*c - 5*q = -19. Let y be 4/s*9/c. Solve 0 = -h - 0*h + y for h.
2
Suppose -5*t + 43 = 5*a + 3, 4*a - 8 = 4*t. Solve 0*v - t*v = -3 for v.
1
Suppose 69 = -3*y + 3*t, -62 = -0*y + 4*y + 2*t. Let u = -12 - y. Solve u = f + 2 for f.
4
Let p be (6/4)/((-5)/10). Let s be 20 + 2 - (p - -5). Solve -2*i = 2*i - s for i.
5
Suppose -7*o = -8*o + 4. Solve -3*j = -j - o for j.
2
Suppose -m - 1 - 1 = q, -3*q = -2*m + 6. Solve 3 = -x - m for x.
-3
Let m = 15 + 1. Solve 5*n + 41 = m for n.
-5
Let u(m) = m**2 - 4*m - 1. Let q be u(5). Suppose 4*t - 21 = 3*y, 7*y = -5*t + q*y + 33. Solve -t*p = -p for p.
0
Suppose 5*j + 12 = -3, 0 = 2*n - 5*j - 23. Let h(s) = s + 5. Let g be h(-4). Solve 0 = n*y + g + 11 for y.
-3
Suppose -5*p - 46 = -3*o, 3*o - 37 = p + 1. Solve o = -v - 2*v for v.
-4
Let g(j) be the third derivative of j**4/24 + 19*j**3/6 + 4*j**2. Let l be g(-17). Solve 5*o - l = 3 for o.
1
Let n be (-4)/6*(0 - 3). Suppose -3 - 5 = -n*h. Suppose -h*v = -0*v. Solve -8 = -v*i + 2*i for i.
-4
Let j(g) = g**2 - 1. Let c(h) = h + 3. Let f be c(-4). Let l be j(f). Solve l*w - 4 = 4*w for w.
-1
Let l(w) be the first derivative of w**4/4 + w**3/3 + 3*w + 1. Let x be l(0). Solve -x = -3*j + 3 for j.
2
Let k be (-126)/(-35) - (-2)/5. Let b(c) be the third derivative of c**5/60 + c**4/6 - c**3 - 4*c**2. Let a be b(-6). Solve -a*o = -k*o for o.
0
Suppose -21 = 2*r - 5*b, -r - 2*b = 1 - 4. Let k be 1 - -3*1/r. Let g be (2 + -1)/(2/4). Solve -h - g - 3 = k for h.
-5
Suppose -4*h - y = -19, -4*y + 6*y - 8 = -2*h. Solve 16 = z - h*z for z.
-4
Suppose 2*u = -0*u. Solve -5 = -u*d - d for d.
5
Let h be (-1 + 1)/((-2)/(-1)). Solve -2*w + 0*w - 4 = h for w.
-2
Let c(l) = l**2 + 3*l - 3. Let s be c(-5). Suppose -s*y = -4*y - 6. Solve 4 = -y*d + d for d.
-4
Let q(x) = x**2 + 9*x - 2. Let f be q(-9). Let b be (1/2)/(f/(-40)). Solve 0*c + b = 5*c for c.
2
Suppose 0 = 5*i - 3*o - 22, 0*i - 4*i + 22 = 2*o. Solve -i*n - 16 - 9 = 0 for n.
-5
Let y = -1 + 4. Let k = -6 - -7. Let b = 12 + -5. Solve y*u + k = 