 for a.
5
Let h be 2/10 - (-144)/30. Solve -5 - h = 5*d for d.
-2
Suppose -8 + 0 = -4*j. Solve -4 = -j*q - 0 for q.
2
Let v(k) = -k**2 - 5*k - 4. Let l(p) = p**2 + 6*p + 6. Let m be l(-5). Let t(d) = -2*d**3 - d. Let o be t(m). Let w be v(o). Solve w*f = -0*f - 6 for f.
-3
Let n(f) = -f**3 + 10*f**2 + 10*f + 15. Let y be n(11). Let r(p) = -p**2 + 8*p - 3. Let g be r(5). Suppose 5*m - 18 - g = 0. Solve -y*k = -2*k + m for k.
-3
Suppose 4*p = -4*p + 56. Solve -3*y + p = 19 for y.
-4
Let y be (7 - 4) + (0 - -1) + -2. Let z(r) = -r**2 + 8*r - 9. Let v be z(6). Solve v*f + y = -1 for f.
-1
Suppose 3*v - 4*v = -3. Let d be (-2 + 2)*3/(-3). Solve -y - v*y = d for y.
0
Let y(m) = m**3 + 5*m**2 + m + 3. Let j be y(-4). Suppose -c + 2*f = -15, c - 5 = -3*f - j. Let k be (1/3)/1*0. Solve -25 = -k*x + c*x for x.
-5
Let o be (-2)/8 - (-21)/4. Solve d - 6*d + o = 0 for d.
1
Suppose -4*n - c + 1 = -8, 9 = 5*n - c. Let p be (1/(20/(-24)))/((-2)/5). Solve -n*i + 5 = -p*i for i.
-5
Let h(q) = -q**3 + 3*q**2 + 3*q. Let p(z) = -2*z + 1. Let y be p(-1). Let x be h(y). Solve -x = l - 4*l for l.
3
Let s be 12*((-16)/6 + 3). Suppose -6*f + 48 = 2*f. Solve -f*n + 5*n = -s for n.
4
Let y be (-1 + 0)*9/((-18)/32). Solve -y = -n + 5*n for n.
-4
Let o(p) = p - 4 + 2 + 1 - 2. Let u be o(6). Solve -2*k + u = -3 for k.
3
Suppose -3*z = -5*v + z + 37, 2*v + z - 7 = 0. Let s(l) = 0*l + l**2 - l + 1 - 3*l. Let p be s(v). Solve p*o + 25 = o for o.
-5
Suppose 2*z + 0*r - r = 12, -4*z - 2*r + 16 = 0. Let t be (-1 + (z - 0))/2. Suppose 0 = 2*k + 3*k - 5*i + 5, -t*i = 3*k - 17. Solve f = -k*f for f.
0
Suppose -3*j + 3 = -9. Solve j*d - 1 + 13 = 0 for d.
-3
Let v = 14 + -8. Solve -r = v - 7 for r.
1
Suppose 20 = 6*i - i. Solve 0 = q + i*q + 10 for q.
-2
Suppose 0 = -4*t + a + 9, 2*t = -a + 2*a + 3. Suppose -3*w = -8*w + 20. Suppose 5*v = 2*q + 38, -23 = -3*v + w*q + 11. Solve -p + t*p = -v for p.
-3
Let v be 2 - 3/(-2 + -1). Solve -8 = v*m + 7 for m.
-5
Suppose 3*c + 3*y = 27, 2*y + 2*y - 26 = -2*c. Suppose 4*o + c*u - 15 = 4*u, 3*o + 4*u = 8. Solve 4 = o*l - 12 for l.
4
Let s be (3 - -1)/(-2) - -1. Let b = s + 2. Suppose 4 - b = k. Solve 8 = -k*x - x for x.
-2
Let o = -1 - -4. Let h be -2 - -3 - 0/(-2). Let t = 1 + h. Solve -o*j - 15 = t*j for j.
-3
Let l be -1*(1 - 0)*0. Suppose 0 = 2*o + r, 2*o + 2*o - 3*r - 20 = l. Solve -o = t - 0*t for t.
-2
Let a(x) = x**2 - 6*x - 3. Let d be a(5). Let g = d + 5. Let q = 3 + g. Solve q*i + 3*i - 9 = 0 for i.
3
Suppose -2*s + 50 = 3*s. Suppose 0 = 2*o + 3*o - s. Let w be 5/10*(o + 0). Solve -n = -0 - w for n.
1
Let q = -145 - -148. Solve 2*o + q = o for o.
-3
Let v = 18 - 2. Solve 0*k - v = 4*k for k.
-4
Suppose 2*g = -5*s + 40, 3*s + 0*s = 4*g - 54. Suppose 0 = 3*j - 5*u - 9 - g, -2*j = -2*u - 16. Solve 4*z + 20 = j for z.
-3
Let j(y) = y**2 - 5*y - 10. Let h be j(7). Suppose -k = -4*i + 3*i - 4, 0 = -h*i - 4. Suppose -3*b = a - 8, -5*b - 4*a + 10 = -3*a. Solve -b + 16 = -k*t for t.
-5
Suppose 0 = 12*a - 12 - 0. Solve -9 = 5*i + a for i.
-2
Let v(b) be the second derivative of b**3/6 + 2*b**2 - 9*b. Let z be v(6). Solve -3*n = 5 + z for n.
-5
Let v(g) = -g**2 - 17*g - 13. Let l be v(-16). Solve -7*b + l*b + 20 = 0 for b.
5
Let s be (4/(-12))/(3/(-18)). Suppose 4*v - s*v = 8. Solve -v*w + w = -3 for w.
1
Suppose 5*o - 3*a = -46, 3*o = -0*o + 4*a - 32. Let v = o + 12. Suppose 2*l + 22 = v*n, -4*l = 1 + 11. Solve -p + n = 2 for p.
2
Let s be ((-8)/(-6))/(10/15). Solve t = s*t for t.
0
Suppose 58*u + 12 = 61*u. Solve u*c - 2 = -10 for c.
-2
Suppose -5*x + 25 = -3*r + 7, 8 = -2*r + 2*x. Let n(j) = j**2 + j. Let d be n(r). Let z be 1 + (-3)/9*d. Solve 0 = -a - z + 3 for a.
2
Let k be 0/2*7/21. Let y(x) = -x - 7. Let i be y(-7). Solve i = -4*j - k - 12 for j.
-3
Suppose 6*s - 3*s = -y + 10, -s = -2*y - 15. Solve d + s = 2 for d.
-3
Let m be (-1)/((-16)/(-20) - 1). Solve -w - 4*w = m for w.
-1
Suppose 0 = 3*u - u. Suppose u = 2*c + 3*c. Solve -2*y + c + 2 = 0 for y.
1
Let k(g) = -g + 11. Let l be k(8). Suppose -6*o = -2*o - 4*a - 4, l = -3*o + 5*a. Let i be 10/4 - (-1)/(-2). Solve 2 = -i*c - o for c.
-3
Suppose 4*o - 4 = 0, 2*o + 15 - 5 = 3*g. Let x = -97 - -103. Solve x*r - 2*r = -g for r.
-1
Let q be ((-4 - -3) + 2)*5. Solve -8 = q*s + 12 for s.
-4
Suppose -5*o - 3*j + 15827 = 0, 3*o + 2*j + 6334 = 5*o. Let v be o/7 + 2/(-7). Let r be (-4)/(-10) - v/(-20). Solve -r = -4*y - 3 for y.
5
Suppose -2*g = -2*z + 4, 7*g = 4*z + 4*g - 6. Solve -3*k + z*k - 6 = 0 for k.
-2
Suppose o + 2 = -2*w + 5, 5*o + 5*w = 10. Solve 5*c - o = -21 for c.
-4
Suppose 1 = -4*i + 9. Solve i*x + 5 = 1 for x.
-2
Let t be 17/(-2) + (-1)/2. Let l = -9 - t. Solve -5*h = -l*h + 25 for h.
-5
Suppose 2*u - 4 + 0 = 0. Let p = u + -3. Let z = 4 + p. Solve -w - z = 2 for w.
-5
Suppose 0 = 4*v - 6*v - 5*g + 9, 0 = -3*g + 3. Suppose -7*s = -8*s + 2. Suppose -r + v = -s. Solve k = -r*k - 25 for k.
-5
Let v be 3/(-12) - (-45)/4. Let p(k) be the first derivative of 5*k**4/4 + k**3/3 - k**2/2 + 1. Let o be p(1). Solve -o*q + v = -9 for q.
4
Let a(z) = 7 + 0*z**3 - 11*z**2 - 3 + z**3. Let p be a(11). Suppose 0*y = y. Solve y = p*w - w - 12 for w.
4
Let w = -18 - -24. Solve 2*b + 0*b = -w for b.
-3
Suppose -5*i = -5*u + 20, -3*u = i + 2*i - 12. Solve -14 = u*q + 6 for q.
-5
Let s be (-6)/4*56/(-6). Let f be s/63 - (-2)/(-9). Suppose 3*p - 1 = 2. Solve y = -f + p for y.
1
Let r = 23 - 19. Let s(d) = d - 2. Let j be s(r). Solve -6*x + j*x + 4 = 0 for x.
1
Let o be 10 + 1 + -3 + -1. Suppose -3*j + o*j = 4*a, -2*a - j = -6. Solve -a*d + 1 = -7 for d.
4
Let u be (4/12)/((-1)/(-51)). Let k = u + -11. Let y(w) = w**2 - 6*w + 4. Let r be y(k). Solve -12 = -r*n - 32 for n.
-5
Let q = 144 + -101. Let p = q + -30. Solve -2 - p = 5*w for w.
-3
Suppose y - 42 = -5*y. Solve -2*g - 3 = -y for g.
2
Let t = 0 - -2. Suppose 4*j - 17 = -t*q + 5, -5*q = -2*j - 7. Suppose -c = 3*h - h - 14, 0 = q*c. Solve -4*v = -23 + h for v.
4
Let g(j) = 16 + 21 - 14 + j. Let n be g(-18). Solve -n*f + 0*f = 0 for f.
0
Let v(p) = -7*p**3 + p**2. Let c be v(1). Let d be c/((-6)/4 - 0). Suppose 5*w = d*l + 29 + 96, -2*l = 0. Solve -o - 4*o = -w for o.
5
Suppose -2*c = 3*c - 50. Let w be (-5)/c*(2 + -8). Solve -3*f - w = -0 for f.
-1
Suppose -g + 5 - 1 = 0. Let q(d) = 4*d**3 + d - 1. Let t be q(1). Let o be (-8)/(-6)*6/t. Solve g*f - o = 6*f for f.
-1
Let k be 40/(-4)*(-1 + 0). Let d be ((-4)/k)/(5/(-25)). Let m be (-1)/(-1) - (d + -21). Solve 3*w = -2*w - m for w.
-4
Let v(m) = -11*m**3 - 6*m + 6. Let n(p) = 5*p**3 + 3*p - 3. Let u(s) = 13*n(s) + 6*v(s). Suppose 1 = -k - 2. Let f be u(k). Solve 3*j = -2*j + f for j.
3
Let a be 0*((-1)/1)/1. Let h = a - -2. Let j(z) = -z**3 - 7*z**2 - 13*z - 9. Let k be j(-5). Solve -w - h = -k for w.
4
Let l = -10 - -18. Solve -l*z - 20 = -3*z for z.
-4
Let y be (1 - 2)*2/2. Let n = 5 - y. Suppose 0 = -n*f + 2*f + 168. Solve -f + 17 = -5*h for h.
5
Suppose 5*r - 8 = -3*b + 7*b, 3*b = 4*r - 7. Let c = r - 7. Let k = c + 7. Solve k*i - 3*i = 3 for i.
3
Suppose 0 = -0*l - l. Suppose -y + 7 = 2*i, -2*y + 1 = 2*i - 7. Solve -3*c - 7 + y = l for c.
-2
Suppose 0*v + 2 = -3*i - v, -3*v = -3*i + 6. Solve i = 6*s - 2*s for s.
0
Suppose -31 = -5*a + 4*f, 2*a - 5*f - 19 - 7 = 0. Let j = 3 - a. Solve 2*r - 11 + 1 = j for r.
5
Let d be 0 - (-5 - 0 - -3). Suppose c = d*c - 8. Solve -c = 4*n - 0 for n.
-2
Let c(x) = 3*x - 6 - 2 - 4*x. Let w be c(-8). Solve w = g + 4*g - 15 for g.
3
Let u(n) be the second derivative of -n**5/20 - 3*n**4/4 + 13*n**2/2 + 2*n. Let i be u(-9). Solve 4*z + i = -3 for z.
-4
Suppose -12*f + 40 = -4*f. Solve 2 = -k + f for k.
3
Suppose 3*a = 5*a - 8. Let b be a/((-8)/6) + 9. Solve 0 = -z + b*z for z.
0
Suppose -f + p = -p - 1, -f - p + 4 = 0. Suppose z + 0*y = -y, 0 = -4*z + f*y + 35. Solve -3*i + 1 = -z for i.
2
Let t(j) = -j + 2. Let l be t(-5). Let o(u) = -u + 10. Let d be o(l). Solve d*i = i for i.
0
Let a(t) = t**2 - 6*t - 12. Suppose d - 8 = -h, 5*d - 16 = -2*h + 4*d. Let s be a(h). Solve 0 = -3*v - s + 1 for v.
-1
Let a = 115 + -111. Solve -a = -s - 8 for s.
-4
Let j(g) = -g**2 + 9*g - 9. Let k be j(7). Solve -k*v - 24 = -9 for v.
-3
Let z(k) = -k - 9. Let r be z(-11). Solve r*w - 5*w = 3 for w.
-1
Let s = -10 + 21. Solve 5*j - 14 - s = 0 for j.
5
Let a(i) = i + 19. Let o be a(-