 a(-5). Let b be (s/3)/((-10)/(-240)). Let m be ((-3)/4)/(6/b). Solve k + m - 4 = 0 for k.
2
Let u be (7 + 3)*(-1)/1. Let b = 15 - u. Suppose 6 = 3*a, 8*a - b = -5*p + 3*a. Solve t + 4 = -p*t for t.
-1
Suppose -o = -0*o - 6. Suppose 3*i = o*i + 12. Let h be -2*-18*i/(-16). Solve -3*g + h = -6 for g.
5
Suppose 0 = -4*i + 2*j + 102, 85*i + 43 = 86*i + 3*j. Solve -i*k + 39*k + 44 = 0 for k.
-4
Let u(p) = -6*p - 12. Let y(z) = 1. Let w(v) = -u(v) - 6*y(v). Let l be w(5). Let n(f) = -2*f**2 + 10*f + 213. Let s be n(13). Solve -s*k - 11 = -l for k.
5
Let w(c) = 3*c**2 + 3*c + 3. Let z be w(-2). Suppose z*i = 8*i + 3. Solve i + 5 = 2*b for b.
4
Let f = 6 + 3. Solve -f*d + 7 = -2*d for d.
1
Suppose j + 5*c + 0*c = -20, -4*j - 14 = -2*c. Let y(q) = 4*q**2 - q. Let w be y(-2). Let u = w + j. Solve -3*a = -2 - u for a.
5
Let y(c) = c**2 - 10*c - 14. Let p(j) = j**2 + j - 1. Let q(a) = -2*p(a) + y(a). Let i be q(-8). Solve -6*z - i = -z for z.
-4
Suppose -3*j + 25 = -g, -2*j + 6*g - 2*g = 0. Let k = -84 - -77. Let v = j + k. Solve v*z = 2 + 7 for z.
3
Let q(m) = 2*m + 7. Let o be q(-3). Let k be (19/o)/1 - -1. Let v = -20 + k. Solve -2*x - 2*x = v for x.
0
Let s be 0*(6/(-4) + 1). Let o be (-1 + s)/((-6)/(-72)). Let c be 10 - 3/o*0. Solve c = 5*r - 0*r for r.
2
Let t = 30 - 21. Suppose -2*s = -212 + 206. Solve -s*g + 6*g = -t for g.
-3
Let u(f) = -12*f - 139. Let a be u(-12). Solve a*w - 12 = -7*w for w.
1
Let d = 32 - 32. Suppose -u - 5*u = d. Solve 0 = -x - u*x - 4 for x.
-4
Let s(k) = k**3 + 3*k**2 - 5*k - 2. Let r be s(-4). Let l = 4 + -1. Suppose 0 = 2*g - 5*p + p - 50, -3*g = -p - 50. Solve g = l*y + r*y for y.
3
Let q = -1 + 4. Suppose q*n - 3*j - 3 = 0, -5*n + 0*j - 5*j = -45. Solve n*s = 9*s for s.
0
Let s be (-2)/(7/14*-1). Solve s = -h + 5*h for h.
1
Let c = 16 + -4. Suppose 0 = -0*h - 5*h - 5*d - 50, 42 = -5*h + 3*d. Let b = h + c. Solve b*q + 3 + 9 = 0 for q.
-4
Suppose 4*g - 105 = -u, 16*g - 5*u = 18*g - 39. Solve v = -8*v - g for v.
-3
Let w be -3 - ((15 + -5)/(-5) + -4). Solve 0 = -n + w*n + 8 for n.
-4
Let r(z) = -2*z**2 - 31*z - 65. Let u be r(-13). Solve 2*s - 4*s - 10 = u for s.
-5
Let p = -100 - -87. Let j = 13 + p. Solve j - 3 = 3*t for t.
-1
Suppose 4*n = 2*d + 16, 0*n = -4*n - 5*d - 12. Let s = -12 - -20. Suppose 0*o + o = 0. Solve s = -n*b - o*b for b.
-4
Suppose a + 3*i = 5, i + 4*i = 4*a - 3. Let f(o) = -o + 24. Let p be f(16). Solve 0 = a*n + 2 + p for n.
-5
Let b(m) = -2*m - 8. Let w be b(-7). Suppose -t - 18 = -5*v, 2*v - 2*t + 7*t + 9 = 0. Suppose 0 = -v*g + w*g - 12. Solve g*j + 3 = -1 for j.
-1
Let v be (-2 + 1)/((-2)/(-14)). Let m(l) = l**3 + 8*l**2 + 5*l - 3. Let t be m(v). Let n = -9 + t. Solve -a - n = -0 for a.
-2
Suppose 2*a + 0 + 2 = -2*t, -a = -5*t - 23. Let o(y) = -y**2 + 5*y - 3. Let q be o(a). Suppose r - q*r = -8. Solve -r*b - 5 = 7 for b.
-3
Let a(c) be the second derivative of -c**4/12 - 5*c**3/6 - c**2 + 12*c. Let g be a(-4). Solve 4 = -p + g for p.
-2
Let x(c) = -2*c**2 + 20*c - 6. Let w be x(10). Let d(y) = -3*y - 18. Let n be d(w). Solve 5 = -5*i - n*i for i.
-1
Suppose 2*d + 3 + 25 = 0. Let x be (-8)/28 + (-32)/d. Solve -2*m = -0*m - x for m.
1
Let u = -264 + 264. Let c be -4 - -9 - (-2 + 2). Solve u = -7*i + 2*i - c for i.
-1
Let b(h) = -3*h**2 - 3*h - 1. Let a be b(-2). Let l = 11 + a. Suppose 0*r + 12 = l*r + 4*v, -2 = 2*r - 2*v. Solve -3 + r = -2*y for y.
1
Suppose t - 3*u - 72 = -2*t, -3*t - 5*u = -104. Let p = t + -25. Solve -p*k = -7 - 8 for k.
5
Suppose 0 = 15*c - c - 112. Solve 31 + 9 = -c*o for o.
-5
Let o(d) = 3*d**2 + 15*d + 15. Let z be o(-1). Solve -z*b - 12 = b for b.
-3
Let j = -4 + 6. Let k be ((-12)/(-6) - j)/3. Solve 0 = -k*z - 2*z - 8 for z.
-4
Suppose 0*p + 3 = 3*h - p, 12 = 4*p. Let m be ((-2 - -2)/h)/(-2 + 1). Solve v = -m*v + 3 for v.
3
Let a(c) = -7*c - 35. Let w be a(-6). Solve 0 = -q + 10 - w for q.
3
Let l be (2 + -5)/(3/(-41)). Solve 16 = 37*x - l*x for x.
-4
Let c = 339 + -337. Solve -3*u = -c - 4 for u.
2
Let r(a) = a**3 + 4*a**2 + 4. Let z be r(-4). Let j(m) = 2*m**3 - 9*m**2 + 2*m + 11. Let i be j(4). Solve z*p + i = 3*p for p.
-3
Let z = 281 + -278. Solve 4*m = 13 + z for m.
4
Suppose -5*d = 5*k - 40, 2*d + 4*k = -3*d + 38. Let m be 4/8*(1 - -1). Suppose -m - 7 = -2*j. Solve d = -j*o + o for o.
-2
Suppose -36 = -0*f - 3*f. Let u(c) = -c**3 - 6*c**2 - 29*c - 118. Let r be u(-5). Solve -r = -f*k + 11*k for k.
2
Let l = -6750 - -6764. Suppose 2*q - 3 = -q. Solve -3*s + q = -l for s.
5
Let y(t) = -12*t**2 + 29 + 7*t**2 + 6*t**2 - 3*t - 12*t. Let b be y(13). Solve -5*r = -2 - b for r.
1
Let l(v) = -5*v**2 + 0*v + 3*v + v**3 + v - 11*v + 8. Let o be l(6). Suppose -u - 4*f + 7 = 0, -7*f + 3*f = -o*u + 2. Solve 0*t - u = -t for t.
3
Suppose 0 = -15*d + 11*d. Suppose 80 = -d*w + 5*w. Solve -w = 2*g - 6*g for g.
4
Suppose m - 943 = -22*m. Solve -35*s + m*s = 30 for s.
5
Let o(i) = i**3 + 10*i**2 + i + 13. Let t be o(-10). Suppose -g + 3 = -v - 2, 2*g = -t*v + 10. Suppose -n = -4*x + n + 18, 3*x - 1 = -n. Solve v = a + x for a.
-2
Suppose 4*l + 229 = -5*m + l, -2*m - l = 91. Let z be 2*2 - m/(-11). Solve z = j + 2*j + 3 for j.
-1
Let g be 19*4/(-4)*-1. Let q = -16 + g. Solve -o = -4*o + q for o.
1
Let p(n) = 9*n - 11. Let v be p(2). Let z(f) = -f**3 + 5*f**2 + 6*f - 1. Let b be z(6). Let m = -1 - b. Solve 2*t - 3 + v = m for t.
-2
Let o = 14 + -9. Suppose 100 = 63*t - 13*t. Solve o = 3*q + t for q.
1
Let b(l) = -3*l + 85. Let v be b(26). Suppose 16 = v*u + 2. Solve -4*x - u = -3*x for x.
-2
Suppose -3*c + 2 = -1. Let u be -2 + -8 + (c - -3). Let x be (-13)/(-5) + u/10. Solve x*w = -3*w - 25 for w.
-5
Let r = -13 - -18. Let u be r - -1*1/(-1). Let g = -293 - -299. Solve u*t - 2 = -g for t.
-1
Let t = -46 - -50. Let v be t/8*7 - (-2)/4. Let j(r) = -2*r - 7. Let m be j(-5). Solve -v = m*g - 5*g for g.
2
Let s be -1*(0 + 3 + -3). Let z = 3 + s. Let u be 0/(z - (0 - -2)). Solve u = 2*v - 2 + 4 for v.
-1
Let r be (11/4)/((-1)/(-52)). Suppose 168 - r = 5*v. Solve -19 = -v*w - 4 for w.
3
Suppose -3*b + 4*l = -0*b - 19, 0 = b + l - 4. Suppose 2*q - 54 = -b*d + 9*d, 5*d = -2*q + 45. Solve -8*o + q = -3*o for o.
5
Suppose 0 = 5*m - u - 0*u - 47, -2*m + 4*u + 26 = 0. Suppose -3*v - 2*v + 22 = 4*h, -4*v + 5*h = 7. Suppose v*c = 8*c - 24. Solve m*x = c*x for x.
0
Let q(h) = -4*h - 6. Suppose 4*m + 12 = -0. Let y be q(m). Solve 0 = -4*v + 2*v - y for v.
-3
Let j(h) = h**3 - 13*h**2 + 20*h + 22. Let g be j(11). Solve t + 2 = -g*t for t.
-2
Let x = -25 + 29. Suppose q + x = 7. Solve 0 = -q*y + 5*y + 2 for y.
-1
Suppose -2*k - 4*v = -12, -4*k - v - 2*v + 9 = 0. Solve -47*i + 44*i - 6 = k for i.
-2
Let l be ((-12)/(-42))/(4/28). Let j = 0 - -2. Solve 0 = l*u + j*u + 4 for u.
-1
Let s = 28 + -26. Suppose -2*n - s*m + 27 = 3*n, -4*n + 5*m + 48 = 0. Suppose 0 = 4*g - n - 1. Solve w = -w - g for w.
-1
Suppose 17*w - 25*w = -128. Suppose g - w = -2*a, -5 = -2*g - a + 24. Solve -4*u = -g - 2 for u.
4
Suppose 4*z = 3*z + 14. Suppose z = x + x. Solve -25 = x*p - 2*p for p.
-5
Let n be (1/(-3))/(3*(-5)/90). Let f be (3/n)/(6/12). Solve 0 = -0*u - 3*u + f for u.
1
Suppose -4*q - 11 = 5, 3*p - 3*q + 81 = 0. Let z = p + 41. Suppose -3*w + z = 4. Solve w*h + 1 = -1 for h.
-1
Let s = 6 + 8. Suppose s*o - 4*o = 50. Solve -o*j - 18 = 7 for j.
-5
Suppose 0*v + 2*f = 3*v + 137, -3*v + f - 133 = 0. Let x = v - -46. Solve 17 = -4*z - x for z.
-5
Suppose 5 = 5*y + 5*t, 13 = 5*y + t - 4. Let r(b) = b**3 + 4*b**2 + b + 1. Let l be r(-3). Let f = y + l. Solve f = 2*v + 5 for v.
3
Let n = -67 - -70. Let j be (-20)/12 - -1 - (-17)/n. Solve j*y - 2*y = 6 for y.
2
Let u = 13 + -50. Let b = u + 39. Solve -b*p + 4 - 2 = 0 for p.
1
Let d = -142 - -150. Solve d = 3*h - h for h.
4
Let u = 28 - 14. Suppose -2*q - 8 = -u. Solve o - 8 = -q*o for o.
2
Let c = -73 - -36. Let x = c + 37. Solve -4*f - f + 5 = x for f.
1
Let r be ((7 + -3)/4)/((-2)/(-6)). Solve 0*v = 3*v + r for v.
-1
Let o(u) = -u + 5. Let s be o(-5). Suppose -4*m = -9*m + s. Suppose -m = -7*x + 5*x. Solve -i - x = -0 for i.
-1
Suppose -3*x + 4*x = -2, b = -4*x. Suppose 28 = -k + b*k. Solve -n - 3*n + k = 0 for n.
1
Suppose -3*a + 14 = 4*i, 4*i = a + 2*a + 2. Suppose -3*g = -l - 5*g + 20, 0 = -5*l - a*g + 60. Suppose 12*y = 11*y + l. Solve y = 4*n - 2 for n.
3
Let y b