for a.
4
Suppose -10 = -k - 45. Let y = k - -37. Solve -y*b = -b + 2 for b.
-2
Let a(t) = 3*t - 5. Let l be a(-5). Let y be l/(-3 - (-3 - -2)). Let k = 19 + -17. Solve -k = 3*v + y for v.
-4
Let v be (77/(-21))/((-14)/(-3) - 5). Solve -v*a = -17*a for a.
0
Let a(g) = -g**2 + g**3 + 5*g**2 + g**2 + 15*g - 24*g - 13. Let h be a(-6). Solve h*d + 5 = -0 for d.
-1
Let y(b) = 2*b**2 + 55*b + 31. Let f be y(-27). Solve -f*n + 6 = 10 for n.
-1
Suppose -53*s + 54*s = -4*x + 95, 2*x = s + 55. Solve -x = -4*k - k for k.
5
Suppose 3*c - 21 = -2*p, 0 = c - 2*p - 0*p + 1. Solve -4*d + c*d = 4 for d.
4
Let g = -1268 - -1298. Solve -10*i + g = 5*i for i.
2
Let v(o) = -o**3 - 10*o**2 + 12*o + 4. Let q(c) = -c**3 - 9*c**2 + 11*c + 4. Let k(l) = -6*q(l) + 5*v(l). Let i be k(-5). Solve 4*n + 7 + i = 0 for n.
-2
Let i(b) = -b**3 + 2*b**2 - 7*b - 14. Let d be i(-2). Solve -d*x = -21*x for x.
0
Let t = -267 + 277. Solve -t*x = 5*x - 75 for x.
5
Let v(z) = z - 7. Let c be v(10). Suppose 7 - 25 = -c*f. Solve 9 = -3*q - f for q.
-5
Let w = 66 - 63. Suppose -w*m - 33 = -5*o - 0*o, -4*o + 16 = -5*m. Solve 4*y - o - 7 = 0 for y.
4
Let h(x) = -5*x + 17. Let c be h(3). Suppose c*p + 22 - 32 = 0. Solve 3*y - 2*y = -p for y.
-5
Let a(w) = w**3 - 3*w**2 - 4*w + 5. Let p(x) = -x**2 - 8*x + 4. Let o be p(-8). Let y be a(o). Suppose y*g = g + 48. Solve 5*l = l - g for l.
-3
Let z = -31 - -36. Suppose z*w + 0*w = -3*d + 31, -1 = -w + 2*d. Suppose w*c = 4*b - 2*b - 6, 4*c + b = 3. Solve 4*m + 0*m + 4 = c for m.
-1
Let m = 47 - 44. Solve -m*n = -5*n for n.
0
Let b(m) = m**2 - 29*m + 11. Let a be b(29). Solve -2*l - a = -9 for l.
-1
Suppose 25 = 5*a - 4*a. Let z = 19 + -42. Let j = z + a. Solve -6 = j*s - 4 for s.
-1
Let o = 1 - -2. Suppose -h - 6 = 2*h - o*p, -h = 3*p - 18. Suppose -4 = 7*y - h*y + 3*t, -2*y + 2*t = -12. Solve 0 = -4*n - y + 6 for n.
1
Suppose 3*i + 4*x = -2*i + 26, 0 = 3*i - 2*x + 2. Let s be 45/20 - i/8. Solve s*c + 1 = 3*c for c.
1
Suppose 123 = 5*a + 3*p + 5, a - 28 = -5*p. Suppose -a + 8 = -5*z. Solve -z*l = -0*l for l.
0
Let m = 19 - 17. Suppose 5*r = -2*i + 103, -m*r - i + 5*i + 22 = 0. Let o = r + -17. Solve 0 = -o*q - q for q.
0
Suppose q + 6 = 2*p, -p + q = 4*p - 12. Suppose 2*h + 3*r = -6, -5*h - p = 4*r - 3*r. Suppose 3*a = 4*b + b, b + 5*a = h. Solve -j = -b*j for j.
0
Let n = -3 + 5. Suppose -n*u + u + 3 = 0. Solve 0 = -u*v + 4 + 2 for v.
2
Let n = -1827 - -1841. Solve -5*d = 19 - n for d.
-1
Let w(i) = -2*i**2 - 9*i. Let c be w(-4). Solve 3*x - 4 = c*x for x.
-4
Suppose a - 7 = -0*a - 2*n, 3*n - 18 = -4*a. Suppose h - a*h = -4. Let z(u) = -u**2 - 9*u - 5. Let j be z(-8). Solve 3 = -h*k - j for k.
-3
Let w be 1*2 - (-120)/20. Let r be (w/12)/((-2)/(-24)). Solve -2*z + 6*z = -r for z.
-2
Let i(s) = -5*s - 10*s**2 + 27 - 6*s + s**3 - 47 + 22. Let v be i(11). Suppose j - 3*g + 92 = 5*j, 5*j - g - 96 = 0. Solve -6*w = -v*w + j for w.
-5
Let c = -21 - -25. Suppose -c*y + 1 = 3*s - 5, 3*s + 9 = y. Solve 6 = -3*r + y for r.
-1
Suppose -3*g - 16*j = -15*j - 47, 5 = g - 5*j. Solve 4*w = -w - g for w.
-3
Suppose 0 = -163*r + 157*r + 222. Solve 0 = -5*z + 12 - r for z.
-5
Suppose 33*p = 31*p + 2*w + 14, -2*p - 16 = 4*w. Let s be (-1)/(0 - 1/7). Suppose p - s = -j. Solve 2*k + j = 7*k for k.
1
Let s(u) = -26*u + 3*u + 13*u + 16*u + 2*u**2 + 6. Let j = -2 - 0. Let h be s(j). Solve y - 1 = -h for y.
-1
Let u(a) = -23*a - 1071. Let x be u(-47). Solve 0 = t + 9*t + x for t.
-1
Suppose 5*k + 4*t + 1 = 3*t, 0 = 2*k - 3*t - 3. Solve k = -0*y + 8*y + 24 for y.
-3
Let f(g) = -2*g - 2. Suppose 0 = 2*c + 22 - 0. Let h be f(c). Solve 9*n = 4*n - h for n.
-4
Let q(x) = 12*x - 148. Let j be q(13). Solve 6*w - 2*w = -j for w.
-2
Let a be (11 + (-3)/1)*4/8. Let y = 1 - -2. Solve -y*u - 1 = -a for u.
1
Let i be 2/5 - (-5222)/70. Suppose 25*d - i = 20*d. Solve 0 = -0*j - 3*j + d for j.
5
Let h(l) = l**3 - 3*l**2 - 4*l + 3. Let s be h(5). Let f be (1 + s/(-6))*-2. Let p be (6/f)/(8/12). Solve 2*i - 3*i + p = 0 for i.
1
Let g(p) = -p**2 + 7*p + 23. Let v be g(9). Solve 7*j = 19 - v for j.
2
Let t be (-2)/(-6) + 242/(-33). Let c(m) = m**2 + 12*m + 39. Let v be c(t). Solve v*g + 0*g = 20 for g.
5
Let c be (-16)/(-6)*(-33)/(-22). Solve -c*d + 2 = 6 for d.
-1
Let d(z) be the third derivative of z**5/60 - 5*z**4/12 + z**3/6 - 2*z**2. Let m be d(9). Let f be (-1)/(0 + 2/m). Solve 0 = j - f*j + 15 for j.
5
Let w = 2113 - 1751. Solve 0 = -c + 357 - w for c.
-5
Suppose -5*m + 8*m - 27 = 0. Suppose -m - 7 = -4*r, 0 = 4*v - 2*r - 12. Suppose -4*p = -3*s, -v*s = -2*s + p. Solve -5*z = -s*z - 15 for z.
3
Let v(l) = l + 4. Suppose 5*m = -5*g - 30, -2*m = -5*g - 5*m - 26. Let x be v(g). Solve 2*s + 2 - 4 = x for s.
1
Suppose 5*p - 4*p = -2*p. Let z = -5 - -7. Let n = p + z. Solve 0 = -0*y + y - n for y.
2
Let b = 10 - 8. Suppose -4 = -4*l + 20. Let g be ((-4)/(-10))/((-18)/(-45)) - -1. Solve g*u - l = -b for u.
2
Suppose 1 = -5*s - 9. Let v be 440/45 + s/(-9). Solve v = -4*l - l for l.
-2
Let u(q) = -q**3 - 4*q**2 + 8*q - 16. Let v be u(-6). Solve -d + 5 = v for d.
-3
Suppose 0 = 5*k - 20, -b + 8 = -5*k + 7*k. Solve b = -5*l + 3*l for l.
0
Let a = 146 + -142. Suppose 15*w = -a + 34. Solve 4*h + w = -2 for h.
-1
Suppose 24*o - 8*o = 64. Let r(j) = -j**3 + 6*j**2 - 6*j + 6. Let w be r(5). Let v = w - -3. Solve -o*h = -0 + v for h.
-1
Suppose -5*b + 69 = 84. Let u be (-2)/(-4)*-1*(-5 - b). Solve u = -3*d + 2*d for d.
-1
Let n be (0 - (3 + -1)) + 5. Suppose -5*a = p + 16, n*p = a - 11 + 43. Let t be p/(-36) - (-1)/4. Solve t*r = -3*r - 12 for r.
-4
Let f be (0 + -20)*(-1)/2. Suppose -c + b = 0, 0 = 3*c - 0*c - b - 6. Suppose -c = -5*p + 2*p. Solve p - f = 3*j for j.
-3
Let c(d) = 2*d**2 - 8*d + 11. Let j be c(4). Suppose -x + 5*w - 1 = x, 4*x - 6 = 2*w. Suppose 4*r + h - 11 = 0, -x*r + r - 3*h = -j. Solve 4 - r = -f for f.
-2
Let v(z) = -19*z - 201. Let g be v(-11). Suppose -6*l + 5*t = -2*l + 12, 3*l - 14 = -2*t. Suppose 0*q + g = l*q. Solve x = q*x for x.
0
Suppose 13*c = 11*c + 98. Suppose -50*l + 3 = -c*l. Solve -l*q - 5 = -2 for q.
-1
Suppose 3*g + 12 = 6*g. Suppose -3*l = -15, -2*r - r = 4*l + 28. Let o = r + 16. Solve 0 = -g*c - o*c + 4 for c.
1
Let w be 2 + 12/(-20) + (-28)/20. Solve -7*s = -w*s for s.
0
Let u be 3/(-2)*108/(-9). Solve 26*z + 32 = u*z for z.
-4
Suppose -4 = -9*v + 14. Let m(h) = -h**3 + 3*h**2 - h + 3. Let c be m(3). Let k = c + 4. Solve -v*t = -k + 12 for t.
-4
Let f(s) = 5*s - 119. Let y be f(26). Solve -5 = -3*g - y for g.
-2
Suppose 3*c - 33 = 306. Let s = c + -113. Solve s = x + 4*x for x.
0
Suppose j = 5*y + 1 - 4, 0 = 2*y + j - 4. Suppose t - y = 4. Let q be (t - 2) + (1 - 2). Solve q*o - o = -1 for o.
-1
Let x be 14/308 + 348/88. Solve x*f - 2 = 10 for f.
3
Let l be 68/28 + (-6)/14. Let p = l - -1. Let j be (p + -1)/(3/3). Solve -2*r - j*r + 20 = 0 for r.
5
Suppose 4*u = -5*p + 125, -4*p - 2*u = 2*u - 96. Solve 10*k + 79 = p for k.
-5
Suppose -t + 6 = 5. Suppose -2*i + 0*i = -4. Let y = i + t. Solve 5 = r + y for r.
2
Let z = 1500 + -1478. Solve z*p = 2*p + 100 for p.
5
Suppose 0 = -6*u - 14 - 4. Let q be 4/(u + 7)*0 - 0. Solve 0*t - t + 5 = q for t.
5
Suppose 5*q - 29 = -w - 0*q, 0 = -4*w - 2*q + 44. Let n = 1 + 3. Suppose 60 = w*z - n*z. Solve -z = -r - 3*r for r.
3
Suppose j - 45 = -3*v, 3 = j - 0*j. Suppose 0 = -4*b + 16, 0 = -2*z - 3*b - 0*b + v. Let y be 12/8*z*2. Solve -y*r = r for r.
0
Let z = -15 - -15. Suppose -t - t = z. Let w = 4 - t. Solve q = -w*q - 20 for q.
-4
Let d be (8/6)/4*33. Suppose 3*z = -2*t + 35, 2*t + d = 3*z - 2*t. Solve -4*h + 10 = -z*h for h.
-2
Let u(b) be the second derivative of -17/2*b**2 - 7*b - 1/12*b**4 + 0 + 3*b**3. Let l be u(17). Solve 6*k - 2*k + 12 = l for k.
-3
Let r(g) = g**3 - 22*g**2 + 20*g + 26. Let a be r(21). Suppose 0 = 3*o + 2*o - 100. Solve -a*h = -h + o for h.
-5
Suppose -g - 5*t + 873 = 3*g, -2*g + 3*t = -453. Let z be g/12 - (-4)/((-8)/(-3)). Solve 0*k + z = 4*k for k.
5
Let h(t) be the third derivative of -t**6/120 - t**5/12 - t**4/6 - t**2. Let o be h(-4). Let c(f) = -20*f - 276. Let k be c(-14). Solve 0 = v - o*v - k for v.
4
Suppose -2 = 3*n - 14. Suppose -5*w + g = -25 + 7, 4 = -w + n*g. Let z be (-495)/(-231) - (-2)/(-15 - -1). Solve -z*j + w = -0 for j.
2
Let f be 0/((-5 - 1)/(-3)). Solve p = -f + 4 for p