for a.
-4
Let n be (0 - -1)*0/3. Solve -4*x + x = n for x.
0
Let r be (2 - (-6)/(-9))*6. Suppose -5*j + 15 = 3*d, -3*d + 4*d + 29 = 4*j. Let b be j/(-27) + (-2)/(-9). Solve b*y = 2*y + r for y.
-4
Suppose 3*m = 4*y, m - y + 2 = y. Solve 10 = -m*d + 2 for d.
-2
Suppose -5*g - 72 = -g. Let q = -13 - g. Solve 0 = q*m - 2*m for m.
0
Let h = -12 - -18. Solve 3*t = t - h for t.
-3
Suppose 30 = -2*h + 80. Let t(q) = 2*q - 8. Suppose -30 = -4*g - g. Let y be t(g). Solve b = -y*b - h for b.
-5
Suppose -3*r + 5 = q - 4, 0 = 3*q + 2*r - 34. Suppose 4*s - q = -0*s. Suppose -2*b - 2*b = -5*j, 0 = 3*b - s*j. Solve b*i = 5*i - 15 for i.
3
Suppose -54 = 2*z - 20*z. Solve 6 = z*t - t for t.
3
Let b = 7 + -1. Solve 0 = b*a - a for a.
0
Suppose 4*w + 54 = 22. Let s be ((-2)/8)/(1/w). Solve 0 = c + s*c + 12 for c.
-4
Suppose -2*x + 4*j = -0*x - 24, 0 = -3*x - 4*j - 14. Solve x*r + 3*r + 10 = 0 for r.
-2
Let a(f) = f**3 - 2*f**2 - 2. Let z be a(3). Suppose 0 = z*d - 3*d - 8. Solve -3*s = 5 - d for s.
-1
Suppose 0 + 32 = -4*o. Let l be (0*4/o)/(-2). Solve -2*a - a - 3 = l for a.
-1
Let d = 37 + -11. Solve -6 = 5*t - d for t.
4
Suppose 0 = m + 3*m + 24. Let g(u) = u**2 + 6*u + 3. Let d be g(m). Suppose 0*v - 50 = -5*v. Solve -d*y = -y + v for y.
-5
Let i = 73 - 69. Solve -i*j = j for j.
0
Suppose 0 = -3*x - 2*x - 4*b + 30, 0 = -3*b + 15. Suppose 1 = x*h - 5. Let j = 23 - 19. Solve l - h*l = j for l.
-2
Suppose 6*t - 2*t - 25 = 5*n, n + 26 = 5*t. Let v be 5 + -2 + 4 + 35. Suppose -9 = p - 3*s, -5*p - t*s - 7 = -v. Solve 0*g + 3 = p*g for g.
1
Let w be 1/(-4) - (-91)/28 - -9. Solve 0*g = -4*g + w for g.
3
Let c(y) = y - 4. Let m be c(6). Suppose 0 = 5*o, 2*g = -g - m*o. Solve g = -5*h - 24 + 4 for h.
-4
Let t(v) = 10*v - 34. Let o(q) = -7*q + 23. Let f(y) = -7*o(y) - 5*t(y). Let z be f(8). Solve -z = -0*u - u for u.
1
Suppose 42 - 38 = p. Solve 0*n + p*n = -12 for n.
-3
Let f(l) = 2*l**2 - 21*l + 15. Let c be f(10). Solve -c*h + 26 = 1 for h.
5
Let v(d) = -2*d + 4. Let b be v(-5). Let q = -14 + b. Solve 16 = -4*m - q*m for m.
-4
Suppose 135*k - 15 = 130*k. Solve 2*r + 5 - k = 0 for r.
-1
Suppose -4*s = 5*i + 10, 2*i - 2 + 6 = 5*s. Solve 0*w - w - 4 = s for w.
-4
Suppose 0 = 4*b + v + 9, 4*b - 3*v - 5 = 6. Suppose -w + 4*w = 2*q + 15, -3*q = -3*w + 15. Let p be w + b + -2*1. Solve 0 = p*n - 0*n + 10 for n.
-5
Let j(r) = 2*r - 9. Suppose -24 = -4*u - 0*u. Let o be j(u). Let h be (-54)/2*10/(-15). Solve o - h = 3*s for s.
-5
Let f(m) = -m**2 - 4*m + 3. Let n be f(-5). Let k = n - -2. Suppose k*s - 2*s + 4 = 0. Solve -12 = 5*x - s for x.
-2
Suppose 3*a + 0 - 9 = 0. Solve 8 = -a*d - 1 for d.
-3
Let w be (-1 + 1)*((-1 - -4) + -4). Solve -4*o + 4 = -w*o for o.
1
Suppose -24 = -4*d - 0*d. Let v be 4*(-1)/(-4)*d. Suppose -3*i = -0 - v. Solve 0 = 2*s - 3*s + i for s.
2
Let w = 11 - 7. Suppose -4*l + 11 = w*t + 3, -5*l + 2 = t. Solve l = 3*i + 7 - 22 for i.
5
Suppose 11*p - 12*p = -3. Let o be 2/(-3) + 4/6. Let i(v) = v**3 - v + 1. Let b be i(o). Solve -b - p = 4*j for j.
-1
Let f be (14 - 15) + 3*1. Solve f - 4 = r for r.
-2
Let r = -55 + 57. Solve 0 = z + r + 1 for z.
-3
Let b be 2/18*1 + 1/(-9). Solve 0 = d - b*d + 5 for d.
-5
Let l(a) = a**2 - 3*a - 3. Let y be l(6). Suppose -3*v + 3 + y = 0. Suppose r - v*r + 10 = 0. Solve 0 = -b - r + 1 for b.
-1
Let r = -53 + 90. Suppose 8 = 5*s - r. Let m = s - 4. Solve -4*w + m + 15 = 0 for w.
5
Suppose 4*m + 32 = 3*b, -13 = -2*b - 0*b + m. Suppose -b*y - 2 = -22. Solve y*z = 4*z for z.
0
Let d be ((-2)/5)/((-13)/65). Solve 3*p - 5 = d*p for p.
5
Let x be (-3 - (-15)/6)*10. Let f(q) be the first derivative of -q**3/3 - 2*q**2 + 5*q - 1. Let m be f(x). Solve k + m*k = 0 for k.
0
Let j(k) = 8*k - 1. Let a be j(2). Suppose 0 = -4*m + m + a. Let w = m + -5. Solve v = -w*v for v.
0
Suppose -2*u - 208 = 5*q - 3*u, 2*u + 130 = -3*q. Let a = -27 - q. Solve -m = -6*m - a for m.
-3
Let h = 186 + -182. Solve -8 = h*p - 0*p for p.
-2
Suppose 0 = -15*b + 12*b + 6. Solve -4*r = -3*r - b for r.
2
Let z be 22/5 - 10/25. Suppose -4*g + 0*f - 4*f - 8 = 0, -z*f = 20. Solve 2*r = -g*r - 5 for r.
-1
Suppose 0 = 2*y - 10, -a = -y - 5 + 7. Solve -a*q = -6 - 9 for q.
5
Let p be (6 - 0) + (2 - 5). Solve u - p = 2*u for u.
-3
Suppose 7*p + 15 = 2*p. Let i be (0 - p - 2)*5. Let y = 7 - i. Solve j = -y*j + 15 for j.
5
Suppose 3*q + 2*q = 20. Let m(s) = s + q + 4*s - 4*s. Let v be m(-4). Solve v = -z - 0*z - 1 for z.
-1
Let z(q) = q**3 - 2*q**2 + 1. Let u be z(2). Let i be u/4*12/3. Solve -3*s - i = -13 for s.
4
Let v be (2/4)/((-5)/120). Let q = -7 - v. Solve -q = -4*d - 1 for d.
1
Let l = -45 + 5. Let n be l/(-5)*(1 - 3). Let h = n - -25. Solve -5*p = h - 4 for p.
-1
Let s(a) = a**2 + 6*a + 9. Let x = -1 - -7. Suppose -b = -x*b - 30. Let y be s(b). Solve -y = -g - 2*g for g.
3
Let u = 3 - 1. Let l be u/(2/(-17)) - -1. Let k = -11 - l. Solve 3*d = -k + 2 for d.
-1
Let s(n) = n - 3. Suppose i - 6*i = -35. Let k be s(i). Let d(t) = t**3 - 4*t**2 + 3*t + 4. Let r be d(k). Solve -6*z = -2*z - r for z.
4
Suppose 0 = -c + 2*c - 6. Solve 0*b - c = -2*b for b.
3
Let k be (-23)/(-7) + (-20)/70. Let p = -1 + 5. Suppose s - 48 = -c - k*c, 0 = -p*c + 2*s + 48. Solve 6*u - 2*u + c = 0 for u.
-3
Suppose -l - 4*l = 0. Suppose -2*o + 17 = 5. Suppose -5*b = 5*d + 10, -2*d + 13 = b - o*d. Solve -4*m - b - 3 = l for m.
-1
Let y(q) = -q**3 + 10*q**2 + 8*q + 37. Let v be y(11). Solve 2 = v*k - 3*k for k.
2
Suppose 3*i + 0*n + 20 = 5*n, -5*i + 3*n - 12 = 0. Solve i = -4*h + 1 - 9 for h.
-2
Suppose -3*h = 3*m - 9, 5*m - 3*h - 2 = 5. Let r(n) = 0*n - 2 + n**2 - m*n + n. Let j be r(3). Solve -j*a + 0*a - 12 = 0 for a.
-3
Suppose 3*f - 11 = -4*t - 2, 3*t - 43 = 5*f. Solve -t = y - 2 for y.
-4
Let x = 3 - 1. Solve 2*g = -x + 4 for g.
1
Let s(x) = 3*x**2 + 2*x - 3. Let j be s(-3). Let d = -11 + j. Suppose 0 = 4*q - 3*b - 29, 0 = 2*q - 5*b - 37 + 12. Solve d = q*m - 13 for m.
4
Suppose h = -2*h. Let r = -10 - -12. Solve -r*q - 2 - 2 = h for q.
-2
Suppose 2 = a - 0. Solve a = n - 2 for n.
4
Suppose 0 = -3*p - 1 + 16. Solve 3*y + 4 = p*y for y.
2
Let f(i) = -i + 4. Let v be f(0). Solve v*k + 5 = -7 for k.
-3
Let o = -17 - -10. Let l = o - -9. Let q = 0 - -3. Solve 5 = q*n + l*n for n.
1
Let i(r) be the first derivative of -3*r**2/2 - r + 3. Let b be i(-3). Solve -3*x + b = -x for x.
4
Suppose -5*u = -5, -4*u = 4*v - 6 + 2. Let k be (v + 0)*7/14. Solve b + k = -1 for b.
-1
Let m be 0/(-1) + -2 + 4. Suppose o + 8 = m*o. Suppose o - 23 = -5*z. Solve -s = 2*s + z for s.
-1
Let d = -6 + 2. Let z(q) = -q**3 - 3*q**2 + 3*q - 5. Let y be z(d). Let k be (y + 1)*1/3. Solve k - 3 = -r for r.
3
Suppose -1 = -10*v + 19. Solve -v*c = -c for c.
0
Let i = -52 + 54. Solve 22 = 5*o + i for o.
4
Let y(g) be the first derivative of g**2 - 3*g + 3. Let p be y(7). Solve 4*r + p = 3 for r.
-2
Suppose -7*d = -2*d. Solve d = r - 0*r + 2 for r.
-2
Suppose -9*a = 2 - 2. Solve a*s = -5*s + 5 for s.
1
Suppose 5*r - 19 = -4. Solve 0 = 4*g - g - r for g.
1
Let n(a) = a**2 + 2*a - 1. Let r be n(1). Let q = 2 + -2. Let l be (-3)/15 - (-1)/5. Solve d + q*d - r = l for d.
2
Suppose 2*k - 6 = 4*k - 2*x, 5*k + 2*x = 20. Solve -k*d = d for d.
0
Let l(b) = -b**3 + 13*b**2 + 5. Let u be l(13). Let g be (-2 + -3)/(-6 + u). Solve -g = 2*q + 1 for q.
-3
Let j = 22 - 16. Solve r = -3 + j for r.
3
Suppose 0*j - j = -2. Suppose 0 = 3*t + 4*i - 11, 0 = 2*t - 0*t + 2*i - 10. Solve -j*f + t = -5*f for f.
-3
Let u(l) = -15*l - 1. Let i be u(-1). Let k = i + -8. Solve 0 = 3*y - k*y for y.
0
Suppose 5*h - 24 = -3*a, a + 0*a = 2*h - 14. Solve -h = -2*q - 0 for q.
3
Suppose 3 = -3*n - 9. Let p(w) = w**3 + 5*w**2 - 2*w - 4. Let a be p(n). Suppose -14 = -2*l + 2*c, 0 = -4*l - 4*c + 7 + 21. Solve -3*h + a = -l*h for h.
-5
Suppose 0 = 3*c - 5*c. Suppose c = 6*z - 2*z - 24. Solve -z = -j - 5 for j.
1
Suppose -8 = 5*f + 2, 0 = 3*p - f - 23. Suppose -2*v + 10 = -v. Solve 2*m - p*m - v = 0 for m.
-2
Let v(a) = -a**2 - 6*a + 9. Let m be v(-7). Suppose -3*z + 9 = 0, 0 = -l + 3*l - 2*z + m. Solve 0 = 3*b - l*b + 4 for b.
-4
Suppose -3 = -3*b + 3. Solve -b = -2*o - 0 for o.
1
Let y(c) = -2*c + 1 - 8 + 0*c. Let f be y(-5). Suppose 3*t - 3 = -4*r - 2, 0 = 4*t + r - 10. Solve t = -f*w - 3 for w.
-2
Let u be (3/6)/(1/36). Suppose 4*s - 18 = r, -u = -2*s + 4*