a for a.
-2
Let h = 675 - 583. Solve -5*u + h = 72 for u.
4
Let q be (3/((-18)/(-2)))/(6/54). Solve -2*s = q*s - 15 for s.
3
Let v = 23 + -85. Let x = v + 68. Solve -4*t = -x*t - 10 for t.
-5
Let s be (-6)/(-2)*4/6. Let u be (1 - 1)*(-5)/(-10). Suppose u = -0*k - k + 12. Solve -s*v = v - k for v.
4
Let o be 4/(-6) - 228/(-18). Let r be (18 + -18)*(3 + (1 - 3)). Solve r = 3*x + x + o for x.
-3
Let d = 14 - 8. Suppose 0 = -3*g - 16 + 37. Let r(k) = 4*k - 23. Let a be r(g). Solve -4 - d = -a*o for o.
2
Suppose -3*h + 2*n = 61, 0*n = 5*h - 4*n + 99. Suppose -4*x + i = -101, 0 = -0*x + x + 3*i - 22. Let u = h + x. Solve -d = -3 + u for d.
1
Let s be 14*3/6 - 4. Suppose -3*r + q = -7, s*r = -4*q - 7 - 6. Solve -2*w - 9 = r for w.
-5
Let w(p) = p**2 - 10*p + 13. Let i be w(9). Suppose 5*q + i = 7*q. Solve -2*v - 2 = q for v.
-2
Suppose p + 10 = 13. Suppose 18 = 5*z + p*k - 24, -4*z + 4*k + 40 = 0. Solve 2*t + 3 = z for t.
3
Let x(y) = -2 - y**2 + 0*y**2 + 6*y - 16*y - 4. Suppose 49 = -6*r + 7. Let h be x(r). Solve -w - h = 2*w for w.
-5
Let x(j) = 3*j**2 - 11*j - 5. Let d(p) = -5*p**2 + 16*p + 8. Let t(g) = -5*d(g) - 8*x(g). Let i be t(-8). Solve -2*u + 2 + 2 = i for u.
2
Let u be -2 + (4 - (-2 + 3)). Suppose 2*i - 9 - u = 0. Let h = i - 3. Solve g - h = -0*g for g.
2
Let d(k) = k - 6. Let o be d(6). Let c(b) = b + o + 1 - 4*b + 2*b. Let w be c(-2). Solve 0 = u + w*u + 4 for u.
-1
Let q be 13 + (3 + -2)*2. Suppose -2*k + 1 = -q. Suppose -k = -9*a + 5*a. Solve 7*l = a*l + 25 for l.
5
Suppose 4*k + 2*f - 24 = 0, -2*k + 12 = -0*k + 5*f. Let d(h) = -3*h + 20. Let a be d(k). Solve -a*s = -7 + 17 for s.
-5
Suppose 0 = 32*v - 36*v + 4. Solve 14*f + v = 15*f for f.
1
Suppose -3*f = t - 85, 0 = 3*f + 2*t - 66 - 20. Solve -30*c - 6 = -f*c for c.
-3
Suppose -3*t + 8*b - 5*b + 12 = 0, 4 = t + 2*b. Let r(m) = m + 10. Let u be r(-6). Solve 3*y - t*y = -u for y.
4
Let m(a) = -2*a + 4. Let u be m(1). Suppose 2*k + 3*f = u, k - 3*k + f = -18. Solve -5*b + 13 = -k for b.
4
Let u = 287 + -273. Solve -3*b = u - 8 for b.
-2
Let m be ((-1)/3 + 0)*15. Let d(h) = 3*h. Let y be d(3). Let v = y + m. Solve -20 = -v*q - q for q.
4
Suppose 3*g + 3*k - 27 = 0, 0 = 5*g - 2*k - 2 - 15. Solve -3*p - 2 = -g*p for p.
1
Suppose 9*j - 24 = 12. Suppose 0 = 7*r - 2*r + 3*g - 28, 0 = g - 1. Suppose 0 = -4*m + 3*m - 3*n + 17, r*m - n = 5. Solve m*h + 0 = -j for h.
-2
Let f be (-2 - 3)*(-10)/(-25). Let s be (2 + 1 + f)*1. Solve -9 = -2*m - s for m.
4
Suppose -6*g = -g + 70. Let m = g - -19. Solve m*u - 30 + 5 = 0 for u.
5
Suppose 9*r = 3*k + 13*r - 31, -2*r = 4*k - 28. Solve 5*j + 5 = -k for j.
-2
Suppose 2*g = -2*g. Let m = 0 + 2. Let q = m + 0. Solve -2*o = -g*o - q for o.
1
Suppose -4*c + 8*c + 12 = 0. Let l be 2 - c/(6/2). Solve w = 8 - l for w.
5
Suppose -x + 3*f + 30 = 0, -f - 26 = -4*x + 72. Let r be (-1)/(-2*(-3)/x). Let i be 11 + r/(-2 + 6). Solve w + w = -i for w.
-5
Suppose -p - 5 = -2*y, 3*y + p + 3 = -2. Let l = 13 - 10. Solve -l*u + u - 2 = y for u.
-1
Let p = 84 + -84. Solve p = w + 11*w + 60 for w.
-5
Suppose j + 3*p + 8 = 0, j - 3*p + 3 = 25. Suppose 8 = r + j. Solve -h - r + 4 = 0 for h.
3
Let t be 1/((9/(-228))/(-3)). Let c = t - 73. Solve 10 = c*f + 1 for f.
3
Let o = 376 - 375. Solve 0 = 2*w + 5 - o for w.
-2
Suppose 2*a - 3*a = -7. Suppose 5*m - 8 = a. Suppose 4*t = t - 3, 0 = m*s + t - 14. Solve -l = -s + 2 for l.
3
Suppose 3*d + 3*k - 2*k = -9, 3*k - 3 = d. Let j(y) = y**3 + 3*y**2 - 4*y - 6. Let b be j(d). Solve u - b = -u for u.
3
Let c(f) = 4*f**2 - 7*f + 1. Let h be c(3). Let i = 19 - h. Solve -9 + i = 2*n for n.
-3
Let j(d) = -6*d**2 + 66*d + 7. Let l be j(11). Solve -l = -7*o - 0 for o.
1
Suppose -5*g = -2*g - 5*y - 67, 5*y = 4*g - 86. Solve 0 = g*m + 4*m - 115 for m.
5
Let i be ((-945)/(-1080))/(2/16). Solve 18 = -i*b + b for b.
-3
Let m be 13/2 - (-5 + 21/6). Let o be (7 + 1)/(10 - m). Solve -10 = o*t - 2 for t.
-2
Let w(a) = 6*a - 27. Let z be w(10). Let r be 1/4 - z/(-12). Let c = -23 + 34. Solve 2*l + c = r for l.
-4
Suppose -4*v = -7*v - 147. Let i be v/(-4) + (-3)/12. Let s = -5 + i. Solve -5*n = -2 + s for n.
-1
Suppose -38*f + 20 = -36*f. Solve -f*j + 16*j = -24 for j.
-4
Let c be ((-2)/(-1))/(0 - 6/(-15)). Solve f - 3 = -c for f.
-2
Let s be (12/(-5 + 8) + -4)/(-3). Let b = 3 + -1. Suppose s = b*v - 3*p - 7, 0 = v - 4*p + 1 - 2. Solve -3*j - 10 - v = 0 for j.
-5
Let i be (-3)/2 + 15/10. Suppose 0 = -j - 4*z + 86, -4*j - 3*z + z + 288 = i. Let y be 28/j + (-2)/5. Solve 2*u - 3*u = y for u.
0
Let i = 738 - 733. Let j(s) = -3*s + 3 + 5*s + 14*s**2 - 2. Let t be j(-1). Solve t = i*u + 3 for u.
2
Let w(l) be the first derivative of l**3/3 + l**2 + 8*l - 6. Let m be w(0). Suppose m*s - 20 = 3*s. Solve -s = -5*o - 19 for o.
-3
Suppose 0 = -2*z + 4*z - 16. Suppose -z*l + 3*l = -85. Let k be l/4 + (-14)/56. Solve 0 = k*o - o for o.
0
Suppose 0 = -5*j + 4*j, 0 = 4*v + 2*j - 160. Let o be v/6*3/2. Let w(t) = 2*t - 2. Let z be w(3). Solve z*y - 2*y = o for y.
5
Suppose -19*f - 7 = -45. Solve 4*d + f = -2 for d.
-1
Suppose -2*l = -8*l + 30. Suppose -2*p + 3*p + 5 = 4*j, -16 = -l*j - 2*p. Solve j*m = 2 + 2 for m.
2
Suppose 0 = j + c - 15, 2*c - 3*c = 3*j - 37. Solve -4*v + 45 = j*v for v.
3
Let t be 28/(-32)*-4 - 9/(-6). Solve -z + t*z = -12 for z.
-3
Let p(t) = -2*t + 1. Let j be p(-6). Suppose 2*d - 41 + 31 = 0. Let i be 8 + d/1 + -9. Solve 1 - j = i*q for q.
-3
Let a be ((-6)/(-9))/(2/9). Suppose -12*f + 13*f - a = 0. Solve 2*c = 3*c + f for c.
-3
Let x be ((-80)/30)/((-1)/3 - -1). Let j(o) = o**2 + 5*o + 4. Let f be j(x). Solve 0*l - l = f for l.
0
Let d be (3 - 3)/(-4 + (4 - 3)). Suppose d = 4*c + 19 - 31. Solve -c*f + 9 = -6*f for f.
-3
Let a be (-18 - -23) + (-3 - -1). Suppose -7*f + 100 = a*f. Solve p + f = 3*p for p.
5
Suppose -41 = -14*i + 4*i + 79. Suppose -3*h - 5 = -17. Suppose h*o - r - r = 18, -21 = -4*o + 3*r. Solve o*c - i = -c for c.
3
Let b be -4 + (-4 - -9) + 4. Suppose 14*s = 15*s - b. Solve -s*j = -4*j for j.
0
Let v be ((-156)/182)/(33/42 + -1). Solve 0 = v*b - 1 + 9 for b.
-2
Suppose z = 2 + 3. Suppose 10*b - 51*b = -25*b. Solve b = z*r - r + 20 for r.
-5
Let g(c) = 21*c**2 + 3*c. Let j(w) = 7*w**2 + w. Let k(p) = 3*g(p) - 8*j(p). Let b be k(2). Let s be b/7 - (-6)/(-21). Solve -3*n = -4*n + s for n.
4
Let h(v) = -v**2 + 7*v + 2. Let i be h(6). Solve 7*y = i*y - 3 for y.
3
Suppose 113*u - 102*u - 110 = 0. Solve 0 = -u*r + 9*r + 3 for r.
3
Let r(h) = -h**3 + 8*h**2 - 6*h - 7. Let i be r(7). Solve -3 = -i*k - k for k.
3
Let n be 63/12 - (-18)/24. Suppose 28 = 4*i - t, -4*t - 46 = -5*i - 0*i. Suppose i*g - 3*g - n = 0. Solve -3 = -g*y - y for y.
1
Suppose 0 = -9*x - 5*x + 182. Solve 10 - x = 3*p for p.
-1
Let c = 0 + 1. Let o be 0/(-2*1) + c. Suppose 2*p - 2 = 0, -5*p + 13 = -0*v + 2*v. Solve v*k + o - 13 = 0 for k.
3
Let f = -74 + 91. Suppose -f*u = -21*u. Solve c + 3*c + 12 = u for c.
-3
Suppose -z + 4 = z. Let q(r) = 2*r**2 + 5*r + 7. Let i be q(-3). Suppose 11*g = i*g + 3. Solve -z*k = g + 5 for k.
-4
Suppose 10*j - 8*j = 4. Let a be 1 + 0 - (6 + -7). Solve -j*i + 4*i = a for i.
1
Let b be 2/(-5) - 12/(-5). Solve -3*f + f = -b for f.
1
Suppose -5*o = 12 - 37. Suppose -o = -2*m + m. Suppose -d = -6*d + 4*p + 7, -m*p + 10 = 0. Solve d*r + 16 = -r for r.
-4
Let c(i) be the first derivative of i**2/2 - i - 9. Let x be c(6). Solve x*v - 3 = -18 for v.
-3
Let v = 37 - 37. Suppose 0 = 2*s + 2 + 4. Let n be (1 + v)/(s/(-6)). Solve -j = n*j for j.
0
Let l(p) = -p**3 - 6*p**2 + 44*p - 6. Let n be l(4). Solve -n*v + 44 = v for v.
4
Suppose 22*b - 22 - 132 = 0. Solve -2*y = -b*y + 20 for y.
4
Let k = -95 - -101. Suppose -k = -9*x + 12. Solve 3 = -x*p + 1 for p.
-1
Let b be (-13 + 12)*(-6 - -3). Let m be -1 - (2 - 3)*4. Solve -m*x - b = 6 for x.
-3
Let i(d) = d**2 - 29*d - 89. Let x be i(32). Solve -24 = -x*u + u for u.
4
Suppose -l - 4*j - 4 = 0, -4 = j + 3*j. Let s = 0 + -4. Let i = l - s. Solve 0 = -v + 9 - i for v.
5
Suppose 5*f + 7*h - 15 = 2*h, 4*f + h = 21. Let d be ((-10)/15)/(f/(-45)). Suppose 0 = -0*q - q - 4, -1 = -d*g - q. Solve -g = 3*m + 2 for m.
-1
Let l = -18 - -3. Let w = 20 + l. Suppose o - 3*o - 11 = w*d, -o - 4*d - 10 = 0. Solve -4 = k - o*k for k.
4
Suppose -l + 6 = 4. Solve -l*o + 3 + 3 = 0 for o.
3
Suppose 0 = l - 2*b + 2, -5*