= 4 + u. Solve d*o + 0*o = m for o.
0
Let g = -302 - -314. Solve 0*t = -6*t + g for t.
2
Suppose 2*i + 4 = 6. Let l(f) = f**2 - 6*f + 4. Let j be l(6). Suppose -28 = -j*p + 2*u, -3*p + u - i = -4*p. Solve 0*d + p = -d for d.
-5
Let f = -22 - -4. Let d(r) = r**2 - 16*r + 60. Let m be d(3). Let l = m + f. Solve -20 = p + l*p for p.
-5
Let h = 50 + 14. Solve 5 = h*b - 63*b for b.
5
Let h be 15/3*(1 + 5 + -5). Let x(k) = k**3 - 3*k**2 - 2*k - 5. Let c be x(4). Suppose 0 = 2*j + 1 - 21. Solve c*r + h = -j for r.
-5
Suppose -8*b + 2*b + 12 = 0. Suppose 4 = 5*q - 1. Suppose -2*z + q = -5. Solve -5*n = b + z for n.
-1
Suppose 10 = 3*b + 4*y + 1, -3*b - 5*y = -6. Solve b*r = 8*r + 1 for r.
-1
Let p(m) = 123*m - 367. Let w be p(3). Solve 2*h - w = 4*h for h.
-1
Let d be (-2)/(-7) + (-444)/(-14). Suppose 4*x - 4*o - o - d = 0, -5*x = -o - 40. Suppose -2*r + 4*r = 3*g - x, -30 = -5*g - 5*r. Solve -g*w = -w for w.
0
Suppose -5*h - 95 = -5*b, 9*b - 4*h = 10*b - 44. Solve -2*o - b = 4*o for o.
-4
Let x(r) = r**2 + 3*r + 2. Let j(f) = -f + 1. Let i be j(3). Let p be x(i). Solve p*n = n - 4 for n.
4
Let b(j) = 4*j + 50. Let z be b(1). Solve 4 = -z*c + 53*c for c.
-4
Suppose -4*g + 2*y = -184, 5*g + 4*y = 2*g + 160. Let d = 49 - g. Solve 3 + d = -2*q for q.
-2
Suppose -13*h - 35 = -48. Solve -h = -7*b + 20 for b.
3
Let z be (3 - 1) + -2*1. Let o be (1 - -1)/(24/(-36)). Let r be 4 + (1 - 0) + o. Solve -r*x + 6 = -z*x for x.
3
Let u = 40 - 44. Let c = 11 - u. Solve x + c = 4*x for x.
5
Let f = 271 + -267. Solve 5*k - 4*k = f for k.
4
Suppose 3*k + 20 = 4*d - 13, -15 = -4*d - 3*k. Suppose -8 = 4*m + 4*t, m - t - d = -0*t. Solve -m*a = -4*a - 8 for a.
-4
Suppose -264 = -10*c - 104. Solve 4*t = -0*t + c for t.
4
Suppose -q + 4*q - 45 = 2*k, 45 = 3*q - 3*k. Solve 8*n + 1 + q = 0 for n.
-2
Let t = 76 + -69. Solve -5 = t*d + 9 for d.
-2
Let x = 15 - -13. Let o be 42/8 + -6 + 161/x. Solve o*s - 3*s = 0 for s.
0
Let b(r) = -4*r**2 + 15*r - 13. Let o(z) = 7*z**2 - 30*z + 27. Let i(v) = 5*b(v) + 3*o(v). Let u be 2/(-5) + 1080/75. Let d be i(u). Solve 6 = d*c - 4 for c.
5
Suppose 0*z - 20 = -5*z. Let y = 40 - 28. Solve -y = z*i - i for i.
-4
Suppose 26 = -5*x + j, 0 = -2*x - 0*x - 2*j - 20. Let p be (x/4)/(3/(-10)). Solve 5*u - p + 0 = 0 for u.
1
Let s(h) = 8*h + 9. Let k be s(-3). Let l be (-55)/k + 2/(-3) + 0. Solve -u + l*u = 8 for u.
4
Suppose -21*s = -23*s - 224. Let k = 115 + s. Solve -7 = -2*m - k for m.
2
Suppose -5*y = -z - 37, 5*y - 1 = 2*z + 33. Solve -4 = y*u - 10*u for u.
2
Let t(u) = -u**3 + u**2 + 6*u + 3. Let b be -21 + ((-4)/(-2) - 0). Let j = 17 + b. Let y be t(j). Solve 0*q + 9 = y*q for q.
3
Suppose 0 = 5*k - 0*k - 3*k. Suppose 4 = -2*l + o, 16 + k = 4*o. Solve 0*c + 2*c = l for c.
0
Let u(q) = -q**3 + 15*q - 1. Let j be u(-4). Solve j = -2*b + 3 for b.
0
Suppose 3*o + 0 = -3, -3*f + 2 = -2*o. Let c be 7 + f + (5 - 4). Solve -5*k + k = -c for k.
2
Let y = 36 - 8. Let m = y + -25. Solve -m*x + 0 = 6 for x.
-2
Let q(c) be the second derivative of -c**4/12 - 3*c**3/2 - 6*c**2 + c. Let f be ((-30)/90)/((-74)/(-36) - 2). Let n be q(f). Solve 2*d + d + n = 0 for d.
-2
Let u be (-2)/4 + 31/(-2). Let h be (-12)/u - (-42)/8. Solve 0 = -j + 1 - h for j.
-5
Suppose 60 = -5*h + 20*h. Suppose -2*j - 3 = -21. Solve -f + j = -h*f for f.
-3
Let j be -5*-1*(-8)/20. Let o = -2 - j. Let a be 1 + -1 + 3 + o. Solve 0*c + 3 = -a*c for c.
-1
Suppose -j = 2*j + 11*j. Suppose k + 4*k = 45. Solve 3*q = -j*q + k for q.
3
Let m = 1153 - 1147. Solve -7*b + m*b + 2 = 0 for b.
2
Suppose 9*y - 38*y = 0. Solve 4*c + 0 - 8 = y for c.
2
Suppose -32 = -4*k - 4*y, -2*y - 3*y = -15. Let d(a) = -a**3 + 28*a**2 + 57*a + 96. Let f be d(30). Solve k*u - 1 = f*u for u.
-1
Let k be 8/(-132) + 1919/627. Solve -k*n + 21*n + 54 = 0 for n.
-3
Let k = -199 + 214. Solve 0 = -k*l + 5*l - 20 for l.
-2
Let p = 8 - 1. Suppose 4*v = -3*m + 46, 2*m = -4*v - 0*v + 48. Suppose v*i = 8*i + 15. Solve 1 - p = i*g for g.
-2
Let z = -12 - -14. Suppose -o = z*o - 2*u - 31, o - 19 = 5*u. Suppose 4*d - d = o. Solve p + d - 1 = 0 for p.
-2
Suppose -45*v - 407 = -82*v. Solve 0 = -12*d - v + 59 for d.
4
Let o = 419 - 414. Solve 16*w + o = -11 for w.
-1
Let d be 82/10 - 1/5. Let y(x) be the third derivative of -x**4/8 + 4*x**3 - 141*x**2. Let u be y(d). Solve -r = -u*r - 5 for r.
5
Let w(m) = 2*m + 6. Suppose -n - p - 5 = 0, n + 10 = -3*p + 1. Let t be w(n). Solve 2*z + 0*z = t for z.
0
Suppose -6*a - 76 = -25*a. Solve 10 = 3*t + a for t.
2
Suppose -2*b + g = -g - 4, -5*g = 0. Suppose 6*a - 4*a = 14. Let c = a + b. Solve -2*s - c = -1 for s.
-4
Let m(r) = r**3 + 10*r**2 - 24*r - 16. Let i be m(-12). Let y be (i/4 + 2 - -3)*2. Solve 0 = -y*d - 0*d + 4 for d.
2
Suppose v - 3*c - c = -15, 0 = v - c + 3. Suppose -v = 4*i - 5. Let d be (i + 1/(-2))*6. Solve -d = -0*t - 3*t for t.
1
Suppose 36*m - 30 = 150. Solve 0 = -6*f - m + 35 for f.
5
Suppose 4*z - 168 = 3*l, z - l = -0*z + 41. Let d = -42 + z. Solve -d*f + 8*f = 0 for f.
0
Let v = -48 + 74. Solve l = v*l for l.
0
Let c(i) = 269*i + 2692. Let w be c(-10). Let l be 0/(1 - 0) - -4. Suppose 0 = -5*f - 5*h + 75, 3*f - 5*f = -l*h - 30. Solve 3*m + f = -w*m for m.
-3
Let f = 3526 - 3526. Suppose r - 4*r + 9 = 0. Solve f = -r*t + t for t.
0
Let d(y) = -y - 1. Let b be d(-1). Let w = -168 - -173. Solve w*i - i = b for i.
0
Suppose 6 = 5*g + 3*t - 39, -4*g - 2*t = -36. Let w = g + -6. Suppose 4*u + 4*h - 3 + 7 = 0, w*h + 21 = 3*u. Solve -n = -u*n for n.
0
Let y(a) = -a**2 - 22*a - 40. Let z be y(-14). Let o be z/10 - 6/30. Solve h = -11 + o for h.
-4
Let b = -699 - -714. Solve -g - 10 = -b for g.
5
Suppose -4*g + 7 = -u, 31*u = -g + 30*u + 3. Solve -5 = -g*d - 9 for d.
-2
Suppose -w - 16 = -2*z - 3*w, -z + 2*w + 2 = 0. Let t(p) = p**2 + 17*p - 36. Let d be t(-19). Suppose -5*u + 2*f = 4, 0 = -f + 4 - d. Solve u = z*m - m for m.
0
Suppose 24*h - 5*l = 22*h + 40, -2*l + 12 = 2*h. Solve -h*q - 8*q + 54 = 0 for q.
3
Suppose -5*d + 4*v + 82 = 0, -v + 0 - 3 = 0. Suppose -d = -5*z + 1. Suppose -5*q + 19 = 2*t, -3*q - t = -4*t - z. Solve -i = q*i for i.
0
Let p = 44 - 17. Let y(w) = -2*w + 23. Let g be y(24). Let t = g + p. Solve -t*i = -3 + 1 for i.
1
Let k(l) = -l + 13. Let m be k(-14). Solve -m*f = -24*f + 6 for f.
-2
Let b be (-35)/(-7)*1*-2. Let o be (b/(-6))/(3/(-9)). Let v = -3 - o. Solve u + v*u = -3 for u.
-1
Let a(o) = o**3 + 12*o**2 - 10*o - 115. Let p be a(-12). Solve -p*u = -u for u.
0
Suppose 358 = 2*g - 2*m, -5*g - 4*m - 360 = -7*g. Solve g = 4*z + 182 for z.
-1
Suppose 2*q - 2*k - 220 = 0, 0 = -3*q + 5*q + k - 214. Suppose 0*b - 90 = 5*v + 5*b, 5*v = b - q. Let x = v + 52. Solve 11 = -5*j + x for j.
4
Let z be -9 + (-376)/(-40) + (-53)/(-5). Solve z*c + 6 = 5*c for c.
-1
Suppose -m - 9 + 20 = 0. Solve 20 = -15*s + m*s for s.
-5
Suppose 4*g + 9 = -35. Let o = g - -12. Let m(t) = t**2 + 2*t - 3. Let a be m(-4). Solve 3*b - a - o = 0 for b.
2
Let g = -211 + 215. Solve -2*i + g*i + 10 = 0 for i.
-5
Let t = -5 + 8. Let z = 650 - 646. Solve -15 + t = z*p for p.
-3
Suppose -4*d = -2*y - 6, 0*y = y - d. Suppose -4*q + 69 = -h, q - 3*q + 2*h = -36. Suppose 2*n - q = -y. Solve -10 = -2*t + n*t for t.
-2
Let v(p) = -2*p - 1. Let z be v(-3). Suppose -54 = -4*y + t + 2*t, -4*y = 5*t - 70. Let s = y + -5. Solve 3*l - s = z*l for l.
-5
Suppose 0 = 5*a - 2*a - 12. Let f(b) = -b**3 + b**2 + 6*b + 2. Let p be f(3). Suppose -15 = -a*g - 3, 9 = p*n - g. Solve 0 = -4*j + n*j for j.
0
Suppose 4*w + 10 = -2*c + 36, 0 = -c - 4*w + 19. Let b(i) = 0*i**2 + i**2 - 10*i + c + 6. Let n be b(9). Solve -v = v + n for v.
-2
Suppose -2 = 3*d - w, 0 = d + 4*d - 2*w + 2. Let v be 6/(2 + 4) - d. Solve 10 = 2*f + v*f for f.
2
Suppose 0 = -2*x + x + 24. Suppose -x = 2*n - 2*c, 2*c + 36 = -0*n - 3*n. Let w be (-20)/n*(13 + 2). Solve 6*f + w = f for f.
-5
Let c be 0 + (0 + 2 - -9). Suppose h - 4*z + 0*z + 7 = 0, -2*h = -3*z - c. Suppose 4*m - h - 3 = 0. Solve -n = -m + 3 for n.
1
Let o(d) = -d**2 + 11*d - 5. Let u be o(10). Suppose 4*v + 3*k + 4 = -3, -u*k - 1 = -4*v. Let z be (-2 - -2)/(v/1). Solve r + 2 + z = 0 for r.
-2
Let l = -26 + 28. Suppose 0 = 3*k - 8 + l. Solve -3*h - k = -h for h.
-1
Suppose j = -5*f + 20, 0*f - 16 = -4*f + j. Suppose 0 = -g + f*g - 12. Solve 0*k = -k + g for k.
4
Let b(k) = 2*k + 