a(-1). Let k = r - l. Solve -2*d = k*d for d.
0
Suppose -a - 2*a + 24 = 0. Let l(b) = b**3 - 8*b**2 - b + 8. Let d be l(a). Solve 5*g - g + 12 = d for g.
-3
Let r(z) = z**3 - 11*z**2 - z + 16. Let n be r(11). Let b(g) = -g**2 + 7*g - 7. Let i be b(n). Solve -i*a - 4 = -a for a.
-2
Let p(m) = 7 + m + 9*m - 11*m. Suppose 0 = n + 4, 0 = 5*y + 3*n + 50 + 7. Let g be p(y). Solve -x - 3*x + g = 0 for x.
4
Let z = 11 - 5. Suppose 0 = z*b - 12. Solve i - b*i = -1 for i.
1
Let b = -136 - -137. Solve -4*h + 5 - b = 0 for h.
1
Let a = 6 - -8. Suppose -a = -2*u - 4. Solve -u = -o - 0 for o.
5
Let o(i) = i. Let z be o(4). Let l(d) = d**3 - 5*d**2 + 4*d. Let b be l(z). Suppose -4 = -2*s - b*s. Solve 3*c + 5 = -s*c for c.
-1
Let p(r) = r - 2. Let k be p(2). Suppose k = -2*d - 5*i + 10, -2*d - 3 = i - 5. Solve -4*f + 3*f - 2 = d for f.
-2
Let d be (-3)/5 + (-6)/(-10). Suppose -5*x + 65 = 5*y, 4*y - 2 = -x + 14. Let i = x - d. Solve 8 = -4*h - i for h.
-5
Let u = -46 - -54. Solve 0*x = -4*x - u for x.
-2
Let h be 364/70 - (-1)/(-5). Solve -o = -6*o + h for o.
1
Let i(r) = 29*r - 1. Let q be i(1). Suppose s = 3*f, 9 - q = -5*s - 4*f. Suppose s*p = 2 + 7. Solve -2*n = -n + p for n.
-3
Let n be -3*(-6)/(-63) + 112/49. Solve -3*a + n = -a for a.
1
Suppose -3*u + 29 = -2*u. Let t = -6 + u. Suppose t = 2*m + 3*q, -22 - 25 = -2*m + 5*q. Solve 9 = 5*v - m for v.
5
Let c be -1*3*(-16)/6. Let p(s) = 13 - s - 3*s - 3 + 3*s. Let a be p(c). Solve -a = 2*t - 6 for t.
2
Let m be (2/(-4) - 2)*16/(-20). Solve 2*j = -m - 4 for j.
-3
Let c(k) = 7*k**2 - 2*k - 2. Let g(q) = -q**2 - 6*q + 2. Let u be g(-6). Let r be c(u). Suppose -3*n = z - r, 0 = 3*n - 8 - 4. Solve z = 5*j - 5 for j.
3
Suppose -18 = -9*t + 3*t. Solve -t*b = -4*b + 4 for b.
4
Suppose 15 + 5 = 4*u. Suppose 0 = 3*c - u*i - 2, 16 = 6*c - 4*c + 4*i. Solve -c = -4*j - 20 for j.
-4
Suppose -27*i + 33*i = 12. Solve -i*r - r = 0 for r.
0
Suppose -3*u + 16 = u. Let y = u + -4. Solve y = -9*f + 4*f + 25 for f.
5
Let v be 9/6 - (-2)/4. Solve v*o + 10 = 2 for o.
-4
Let z = 6 - -2. Solve x + x = -z for x.
-4
Suppose -2*z = 2*z + 8. Let r be 49/(-14) - 3/z. Let g be 1 + 1 + (-4 - r). Solve -l + 1 + 0 = g for l.
1
Suppose 4*x + 53 = 3*r, 2*x = -r - 0*r + 11. Suppose -6*f = -f - r. Solve 3*u = -f - 3 for u.
-2
Suppose -2*b - 5*o = -5*b + 68, -b + o = -22. Solve -b = -5*w + 4 for w.
5
Let x be (-6)/(-30) + 24/5. Solve 0 = -x*w + 6*w for w.
0
Let s be (-1)/2 - 6/4. Let v(c) = c + 5. Let u be v(s). Solve -u*o = -12 - 0 for o.
4
Suppose -x + 27 = 5*o, -2*x + 42 = x + 2*o. Suppose 3*t - 11 = -c + 7, -3*t + 12 = -c. Suppose 0 = 4*z + q - 12, -c = z - 2*z + 3*q. Solve 0*f - x = -z*f for f.
4
Suppose -5*j = 5*y - 90, -y - 3*j - 4 + 26 = 0. Solve 5*p - 6 = -y for p.
-2
Let h = -66 - -71. Solve h*j - 4 = 11 for j.
3
Let x = 2 - -3. Suppose -2*k + 3 + x = 0. Solve k = -h - 0*h for h.
-4
Let x be (-8)/(-14)*(-28)/(-8). Suppose 4*c - 10 = x. Solve 2 = -5*o - c for o.
-1
Let b be (1 + -1)/3 + 2. Suppose -7 = -4*d - 27, y - 2 = -d. Suppose 6*l + 8 = y*l. Solve -b*r = -0 + l for r.
-4
Let k be (-83)/(-9) + 6/(-27). Suppose g - 2*i - k + 3 = 0, -6 = g + 2*i. Solve 0 = a - g + 2 for a.
-2
Let a = -10 - -21. Let z = 12 - a. Solve -4*t - z + 13 = 0 for t.
3
Let t = 42 + -36. Solve 5*o = -4 - t for o.
-2
Suppose 0 = 3*n - o - o - 8, -10 = -4*n + 2*o. Solve -n*f - f = 9 for f.
-3
Let z = -6 + -10. Let t be ((-4)/6)/(z/24). Solve 0 = f + t - 3 for f.
2
Suppose 4*i = -5 - 7. Let n be (i - -1 - -2)/(-1). Solve -b - b - 4 = n for b.
-2
Let w = 11 + -9. Suppose t = -w*t + 18. Solve -2 + t = 2*q for q.
2
Suppose 5*l = -t - 3, 2*t + 1 = -3*l + 2. Let r = 0 + 3. Solve t = -r*a - 1 for a.
-1
Let q be 10/(-85) - 38/(-34). Solve 0 = y - q for y.
1
Let d be 5 + (-5)/(15/(-9)). Solve 4*z + 0 = -d for z.
-2
Let n be ((-48)/(-8))/((-1)/(-1)). Let r be (-1 + -2)/(1/(-3)). Let m be n/r*-3*-1. Solve 2*s = 8 + m for s.
5
Let j be (16/10)/((-8)/(-20)). Let i = j + -2. Solve 10 = i*k - 0 for k.
5
Let k be -2 - ((-3 - 1) + -7). Solve k*s - 4*s = -10 for s.
-2
Let f(u) = -8*u + 3*u**2 + 13*u + u**2 - u**2. Let y be f(5). Suppose -k + y = 3*k. Solve -5 = -5*m - k for m.
-4
Let h = -13 + 31. Let x be h/(-30) - 38/(-5). Solve -x*a + 2*a = -15 for a.
3
Suppose w - 30 = -4*w. Suppose 0 = -2*r + w*r - 16. Solve 0 = -r*l + 6 + 14 for l.
5
Let u = 29 - 27. Solve -u*t + 0 = 2 for t.
-1
Let c = 0 - 6. Let i be 2 + 0 - (c + 8). Solve -2*z + i + 8 = 0 for z.
4
Let g = -1 - 0. Let s = 2 - g. Solve 2 = -s*f + 5*f for f.
1
Let d = 23 - -5. Suppose 5*c - d = -4*q, 0*q = -q - c + 6. Solve 3*a + q*a = -10 for a.
-2
Suppose 5*m = -3*s + 5*s - 33, -3 = s + 4*m. Suppose -16 = -s*x + 7*x. Solve -3*w - 1 = x for w.
-3
Let t = 51 + -31. Solve -t = -3*u - 5 for u.
5
Suppose -3*j = j. Solve j = d + 4*d - 10 for d.
2
Suppose -6 + 1 = -n. Suppose -4*j + n*j = 3. Solve -3*v + j = -6 for v.
3
Let y be 4/(-3)*48/(-32). Suppose c - y = 3*n + 11, -3*c + 7 = -n. Solve c + 7 = -4*l for l.
-2
Let h be (-5 + 102/24)*(-1 + -3). Let n = -30 - -43. Let f = 21 - n. Solve k - f = -h*k for k.
2
Let z be 2/(-5) - 124/(-10). Solve -z = 4*t - 32 for t.
5
Let z(i) = -8*i - 3. Let q be z(-1). Solve -9 = -q*r + 16 for r.
5
Let a = -13 + 8. Let g = a + 8. Solve -g*r + 12 = r for r.
3
Suppose 0*q = -3*q. Let k = -12 - -17. Let z = q + k. Solve z = -2*o + 7*o for o.
1
Let b = 1 - 1. Let m be (-1 + 1)/(2 + -4). Solve m = -b*q - q for q.
0
Suppose 3*x + 3*g - 18 = 0, 4*x - x + 2*g = 17. Suppose -2*k + 11 = x*m, -25 = -4*k - 3*m - 10. Suppose -k*t + 2 = -10. Solve 4 = t*r - 0 for r.
1
Suppose 60*i = 64*i - 8. Solve 5*m = -i - 3 for m.
-1
Suppose -14*n + 29 = -27. Solve 1 = n*j + 5 for j.
-1
Let f be (-3)/(-9) + (-32)/(-3). Suppose 2*l + 10*g = 5*g - f, -4*g + 5 = -3*l. Let u be (-3 - 0)/(l/2). Solve -u*n = -4*n for n.
0
Suppose -4*f = 5*u - 25, -5*f = u - 3*u - 23. Let c(x) = -4*x + 0*x**2 + x**2 + u + 3*x. Let a be c(1). Solve -a + 7 = 3*h for h.
2
Let k be 5/1 - (-2 + 2). Solve 2*x - k*x = 15 for x.
-5
Let c be 2/(-4)*(5 - (-5 + 20)). Solve -6*v = -v - c for v.
1
Let v = 1 - 5. Let b be 8/6 - v/6. Solve 12 = -b*a - 2*a for a.
-3
Let i be (-46)/4*(3 - 5). Suppose 4*w + 3*l - i = 0, 0*w + 21 = 4*w + l. Let r be (1 - 1)/(-2 + 1). Solve -w*g + g + 12 = r for g.
3
Let k = -48 + 68. Solve k - 4 = 4*j for j.
4
Let x = 3 - -1. Suppose 2*m + 0*m = 0, x*m - 9 = -3*y. Suppose 0 = -y*n + n. Solve 4*f + 0*f - 4 = n for f.
1
Suppose 3*f - 3*m = m + 9, 5*f = -3*m + 15. Suppose -f = -3*o + 9. Suppose 4*q - 60 = o*c, 0*q - 5*c = 5*q - 75. Solve 3*i - q = 8*i for i.
-3
Let m = 92 + -87. Solve -2*i + 15 = -m*i for i.
-5
Suppose 0 = -3*q + 2*f - 4, -2*q + f + 0 - 1 = 0. Let b(r) = -r**3 - 3*r**2 - r + 1. Let p be b(-2). Let s be (p/(-3))/((-5)/(-75)). Solve s*d + q = -18 for d.
-4
Let f(p) = p**2 - 8*p + 10. Let x be f(7). Let v = x + 0. Solve -v*i = -i + 8 for i.
-4
Let d(c) = -c**2 - 3*c + 5. Let p(n) = 3*n + 2. Let t be p(-2). Let j be d(t). Let k = j + 20. Solve 5*l = 4 + k for l.
5
Suppose 2*j - 2*y - 8 = 0, -2*y - 2*y = -5*j + 20. Suppose -9 = 3*z - 3. Let s be (36/(-42))/(z/14). Solve 2 + s = -j*t for t.
-2
Let x(o) = 2*o + 17. Let c(u) = 3*u + 25. Suppose 3*i + 25 = -2*i. Let p(n) = i*c(n) + 8*x(n). Let b be p(-6). Solve -3*g = -b*g + 2 for g.
1
Let v be 5/(-1 + 6/4). Suppose -v + 5 = -a. Suppose -k = -a*k. Solve k*g - g + 1 = 0 for g.
1
Let a = 9 - 4. Solve 4*i - a = 15 for i.
5
Let a be (-1)/(-1 + (-2)/(-4)). Let h(b) = -b**3 + 7*b**2 - 10*b + 6. Let v be h(5). Solve -a*u + v*u = 0 for u.
0
Let w = -7 + 9. Let k be (0 - w)/(-1) + 4. Solve -3*t - 6 = k for t.
-4
Let j(t) = t**2 + 2*t - 3. Suppose q - 4*q = -2*o + 13, -2*q = -5*o + 16. Let y be j(o). Let d = -5 + y. Solve 2*l + d*l = -10 for l.
-5
Let p = -26 - -38. Let z be 4/14 + p/(-42). Solve z = -5*c + c - 8 for c.
-2
Suppose 0 = g - 9 + 1. Suppose m + g = 3*m. Suppose -4*z + s - 28 = -5*z, s = -5*z + 120. Solve -3 + z = m*n for n.
5
Suppose 4*d + 25 = -d. Let f = -2 - d. Suppose -k + 2*k - 2 = 0. Solve -f*q = k*q - 5 for q.
1
Let x be (-10)/(-6) + 10/30. Suppose u = 4*r + 8, x*r - 11 = 2*u - 27. Solve -4*f - u = -0*f for f.
-2
Suppose -4*h - 8 + 0 = -5*y, 4*h - 32 = -5*y. Suppose -g + 2 = -h*x, 3*x + 2*x - 4*g + 15 = 0. Let k = x + 1. Solve s = -s - k for s.
-1
Let p(z) = -z**