= 1 for a.
1
Let s be 2/3*3 - 0. Solve 0 = s*t - 3 - 1 for t.
2
Suppose 0*u = -u + 10. Let v = 14 - 20. Let s = v + u. Solve 20 = s*a + a for a.
4
Let v = 4 + -8. Let f be v + 7 - (0 + 0). Solve -f*p + 20 = p for p.
5
Suppose -t - 10 = -2*w - 2, -2*w - 5*t - 16 = 0. Solve 0 = a + w for a.
-2
Let u(p) = p**3 + p**2 - 2*p - 2. Let w be u(-1). Solve w = 2*t - 5 + 13 for t.
-4
Let h(g) = g**3 + 6*g**2 - 7*g + 3. Let t be h(-7). Suppose 4*i - i = t. Solve 2*j - j - i = 0 for j.
1
Let g be (-7 + 2)*(-2)/5. Solve w + 3 = g for w.
-1
Suppose 20 = u + 4*m, 2*u - 8 - 4 = -m. Solve 12 = u*s + 4 for s.
2
Let s be -12 - -13 - (0 - 11). Solve -j - s = 3*j for j.
-3
Let l(x) = -x**2 - 12*x - 6. Let a be l(-11). Suppose -b + a*b - 56 = 0. Solve 0 = -4*i - 2 + b for i.
3
Let x be (-2)/((-2)/(-12)*-2). Let q = 12 + -12. Suppose -4*f + r + 15 = 2*r, q = 4*f - 2*r - 18. Solve x*s - f = 4*s for s.
2
Suppose 0*j = -j. Suppose -3*h + 0*h + 6 = j. Suppose t + 29 = h*t. Solve -9 + t = -4*c for c.
-5
Let u(a) = a**3 - 4*a**2 + 3*a - 1. Let r be u(3). Let i be (3/(-4))/(r/4). Solve h - i = 2*h for h.
-3
Let p(s) = s - 3. Let t be p(5). Solve -8 = -2*i - t for i.
3
Suppose 2*z - 101 = -5*m, 46 + 159 = 5*z + 3*m. Solve 5*x + z = 13 for x.
-5
Suppose -5*b = -21 + 11. Suppose -4*j = -20, -4*h + 0*h + j = -55. Solve u + h = -b*u for u.
-5
Let t = 17 - 10. Solve t*g - 10 = 2*g for g.
2
Let v be ((-18)/15)/(3/(-10)). Let r(h) = 6*h**2 - h - 2*h**2 - 4 + 2 - h**3 - 2. Let s be r(3). Solve -s = v*m - 18 for m.
4
Let s(d) = -d**3 - d**2 + d + 5. Let y be 0/(9/(-3) - -1). Let g be s(y). Solve g*u + 16 - 1 = 0 for u.
-3
Let q(f) = f**2 - 9*f - 8. Let r be q(10). Let w = 3 + r. Solve 18 = w*l + 3 for l.
3
Let q = -180 + 183. Solve q*w + 3 = -3 for w.
-2
Suppose -5*m - 3*o = 2*o - 85, 0 = m - 4*o - 32. Solve 0 = 2*a + 3*a + m for a.
-4
Suppose 3*x = -4*w + 39, 3*w - 5*x + 0*x - 51 = 0. Suppose -2*a - w = -4*a. Solve 0 = 2*f + f - a for f.
2
Suppose -75 = -8*o - 3. Solve -z + o = -4*z for z.
-3
Suppose 2*l + g = -l + 58, 0 = 5*l - g - 102. Let x = -4 - -5. Let d be -14 - -11 - x*-8. Solve l = -0*f + d*f for f.
4
Let t(z) = z**2 - 7*z - 5. Let v be t(8). Suppose 8*d = v*d. Solve -u + 3 - 1 = d for u.
2
Let z(h) = -h - 5. Let a be z(-5). Suppose 0 = r - 3*r + 4*f - 20, f - 4 = 0. Let n = 6 + r. Solve 0 = -a*l - 2*l - n for l.
-2
Let c(b) = -b**3 + 7*b**2 + 4. Let i be c(7). Suppose -i*y + 54 = -5*w, -y + 5*y - 58 = 3*w. Solve 4*d + 4 = y for d.
3
Suppose 5*s = 3*q - 16 - 13, 4*q + s - 8 = 0. Suppose -4*g - q = -15. Solve -g*m = -4*m for m.
0
Suppose 4*v = -4*g + 16 + 4, v + 3*g - 15 = 0. Let t = 3 + -1. Suppose t*u + 8 = 6*u. Solve v = b + u - 6 for b.
4
Let s = -2 + -5. Let a(r) = -r**2 + 10*r - 1. Let z be a(10). Let u = z - s. Solve 5*j - 31 = -u for j.
5
Let t(f) = -f + 7. Let w be t(3). Solve 4*c - w = -0*c for c.
1
Let a(v) = -2*v + 3. Let b be a(-4). Let f = b - 7. Suppose p - 4 = 0, y + 3*p + f = 19. Solve -t - y = -1 for t.
-2
Let k be (-2 - -2)/(-3) + 10. Suppose g - 2*d = -k, -44 + 19 = -5*d. Solve 2*n + 3 + 3 = g for n.
-3
Let a be ((-1)/(-2))/(1/6). Let o = -5 + a. Let n be (-65)/10*(o - 0). Solve -3*t - n = 2 for t.
-5
Suppose 2*u = -3*t + t, -5*t - 2*u = -12. Solve w + 15 = -t*w for w.
-3
Suppose n = -3*f + 6*n + 35, 4*f - 4*n - 36 = 0. Solve 0 = -f*o + 13 - 3 for o.
2
Let i(q) be the third derivative of q**5/20 + q**4/24 - 2*q**3/3 - 2*q**2. Let w be i(-3). Solve 4*g = 8*g + w for g.
-5
Suppose j + 0*j = 0. Solve -4*h = 16 - j for h.
-4
Let y(z) = -z + 1. Let b be y(-1). Suppose -16 = -b*o - 6. Solve 3*c - 2 = -o for c.
-1
Suppose -20*y + 22*y = 4. Solve y + 18 = 5*a for a.
4
Suppose 0 = -2*f + 4*f - 4. Suppose 2*t + 4*o + 8 = -0*o, 4*o = -5*t - f. Let v = 4 - t. Solve 3*r = 7 + v for r.
3
Suppose -13*i - 15 = -18*i. Solve -20 = -i*h - 2*h for h.
4
Let m be 12/42 - (-40)/7. Let r = -2 + 5. Suppose -r*j = -m*j. Solve -6*k + 2*k = j for k.
0
Let b = 15 - 11. Suppose -4*g - 14 = -5*s, b*g - 5*s + 2*s = -10. Let m be 27/(-6)*4*g. Solve m - 3 = -3*v for v.
-5
Let l be (2 - 1*-1)*-3. Suppose 5*h - 2*h = -18. Let s = h - l. Solve -3*q - 12 + s = 0 for q.
-3
Suppose -3*o + o = 4. Let y be o - (-11)/((-44)/(-24)). Solve -6 + 2 = -y*x for x.
1
Suppose -4*k + 2 = 5*l, -5*k = -l + 2*l + 8. Let x be k*(-3)/(-6) + 4. Solve -5*v + x*v + 6 = 0 for v.
3
Let m = 4 - 3. Solve -m = -2*s + s for s.
1
Suppose 30 = 6*l + 18. Solve 4*g + 6 = l*g for g.
-3
Suppose 92*x - 4 = 91*x. Solve 4*a = 8*a + x for a.
-1
Suppose w = -5*t, -t + 48 = 5*w - 0*t. Let s be (-4)/(-2) - (1 + -2). Let u = 3 + s. Solve -u*q = -q + w for q.
-2
Suppose -3*u - 7 = 11. Let g be u/(-2) + 0/1. Solve -t + 4*t = g for t.
1
Let q be (13 + -1)/1*1/4. Solve 15 = q*f - 0*f for f.
5
Let n(j) be the third derivative of -j**6/120 + j**5/20 + 4*j**2. Let z(t) = -t + 6. Let x be z(3). Let w be n(x). Solve w*b = -b for b.
0
Suppose 4*l + 13 = -15. Let b = -5 - l. Solve 3*a + b = a for a.
-1
Let x(h) = -h**3 + 5*h**2 + 6*h. Let c be x(6). Suppose 4*t = 2*t + 4. Let f be t - (2 + c + -2). Solve 0 = f*o - 5*o for o.
0
Let v be (24 + -3)/3 + -2. Suppose 3*m + k - 4*k + 6 = 0, -14 = -v*m - 3*k. Solve 2*o + m = -1 for o.
-1
Suppose -7 = -7*y + 28. Solve y*v = v - 16 for v.
-4
Let h = 1 + -5. Let x(z) = -4*z - 9. Let j be x(h). Solve 2*m = 3 + j for m.
5
Suppose -2*d + 0*d - 4*s + 4 = 0, 4*d - 32 = 4*s. Suppose 4*x - 5*b + 20 = 0, 3*x - b = 2*x - 4. Let t = x + d. Solve -2*v = v - t for v.
2
Let u = 9 - 7. Suppose -25 = u*h - 7*h. Solve 2 = -h*z - 3 for z.
-1
Suppose 4*r - 6 = r. Suppose 2*b = 3*m - 3, 8 = -0*b + 3*b - r*m. Suppose 0 = -2*g - 3*o - b, 2 = -3*g - 0*g - o. Solve g*j - 15 = 5*j for j.
-3
Suppose 4*h + 0 = 16, -5*h = -4*j. Suppose -4*l = j*x - 6 - 4, 4*x + 3*l = 8. Solve m + x = 5 for m.
3
Let f(k) = -k**3 - 6*k**2 - k - 3. Let r be f(-6). Let z(x) = -2*x - 5. Let h be z(-4). Suppose -h*b + 0*b + 21 = 0. Solve -2*g + b - r = 0 for g.
2
Let b be 6/(-4)*(-16)/8. Suppose -b*a + 2*a = 0. Suppose 4*t - 3*j - 21 = a, t + 4*j = -t - 6. Solve -t = 2*g + 5 for g.
-4
Let x be (6/4)/((-10)/(-20)). Let b(z) = z**2 - 2*z - 1. Let j be b(x). Solve 0 = j*n + 3*n + 25 for n.
-5
Let w(m) be the third derivative of -m**5/60 + 5*m**3/6 + 2*m**2. Let q be w(0). Let c be (-88)/(-20) - (-2)/(-5). Solve c = q*k - 1 for k.
1
Let x(b) = -11*b + 8. Let r(z) = -6*z + 4. Let o(u) = -5*r(u) + 3*x(u). Let d be o(4). Let y be (-2)/d - (-1)/(-4). Solve 0*t - t = y for t.
0
Let u(q) = -3*q - 1. Let y be u(-6). Suppose 0 = 4*m - y - 7. Let f be (-30)/(-20) + (-5)/(-2). Solve m + 14 = f*x for x.
5
Let w(o) be the third derivative of -o**6/120 - o**5/10 + o**4/3 + 5*o**3/3 + 6*o**2. Let h be w(-7). Solve 0 = -h*s + 16 - 1 for s.
5
Suppose 30 - 2 = 4*i. Solve -i + 27 = 4*w for w.
5
Suppose 5*j = 4*u + 16, 2 + 6 = -2*u. Let w(n) = -3*n**2 - 2*n**2 - n + 2 + 6*n**2 + n**3. Let x be w(j). Solve 7*p + 5 = x*p for p.
-1
Let q(l) = l**2 + 16*l + 16. Let f be q(-14). Let g = 13 + f. Solve 3 = k + g for k.
2
Let a(n) = -n**3 - 10*n**2 + 12*n + 6. Suppose 0 = -w + v - 7, -2*w - 5 = -3*w + 4*v. Let i be a(w). Let f = i - -7. Solve -o + f*o = 4 for o.
4
Suppose -4*z + 70 = z. Let g = z - 4. Solve 2*s = 7*s - g for s.
2
Suppose 6 = -2*p + 18. Suppose 4*l = p + 6. Solve l*q = 6*q + 9 for q.
-3
Let u(p) = -p**3 + 6*p**2 - 2*p - 3. Let b = 20 + -16. Let r be u(b). Solve -6 = -5*z - r for z.
-3
Suppose m + 8 = -4*c, 5*m - 2*c - 3*c - 35 = 0. Solve -20 + 0 = -m*r for r.
5
Suppose 2*k - 5 + 1 = 0. Solve -k = -s - 0*s for s.
2
Let u(r) = -r**2 - 2*r + 8. Let s be u(-6). Let p = s + 22. Solve -p = w - 4*w for w.
2
Let l = -3 - -6. Solve 0 = -l*i - 13 + 1 for i.
-4
Suppose 5*g - 29 = -2*c, c - g + 4*g - 17 = 0. Suppose -10 = -c*a - 3*a. Suppose 5*h - 2 = a*w + 6, -w - 7 = -4*h. Solve -4 = -m + h*m for m.
-4
Let h be 12/4*2/6. Let t be -2 + h - 1 - -5. Solve -4*w - t = 9 for w.
-3
Let f(m) = -m**3 - 10*m**2 - 18*m - 12. Let t be f(-8). Solve 0 = -3*b + 2 + t for b.
2
Suppose 3*g - 5*y = -7, -5*y + 8 = 3*g + 25. Let l be g*1 + 1 - -10. Solve -l*t - 20 = -3*t for t.
-5
Let b = -13 + 18. Let c = -3 + b. Suppose 0*k + 11 = 5*s - 2*k, -c*k = 5*s - 19. Solve 6 = -s*l - 0 for l.
-2
Let u(s) = 8*s + 4. Let o be u(2). Suppose o*n - 25*n = -5. Solve n - 3 = w for w.
-2
Let d = 9 + -5. Supp