)/(-1). Let v = 4 - d. Let k = -402 + 407. Solve 0 = f - v + k for f.
-4
Let n = 290 - 279. Solve -14 = 3*c - n for c.
-1
Let u(s) = 25*s. Let h be u(1). Let o = -15 + h. Let d be (-16)/(-10)*25/o. Solve d*q - 26 = -10 for q.
4
Let v(c) = -17*c + 4. Let j be v(0). Solve 6*s = -j*s + 20 for s.
2
Let s(x) = -x**3 - 19*x**2 + 16*x - 51. Let b be s(-20). Solve 35 = -6*h + b for h.
-1
Suppose 0 = -5*j + 65 + 95. Suppose -j + 2 = -3*g. Solve -4*a = -g - 2 for a.
3
Let k(v) = -v**2 + 9*v - 12. Let o be k(7). Let x = -2 + o. Solve x*i + 5*i = -5 for i.
-1
Suppose -3*h + 36 = 12. Let o be 4*1/(h/(-38)). Let x = -16 - o. Solve x*a - 4 = -a for a.
1
Let n be (58/(-116))/((-5)/250). Let f(j) = j**2 + 4*j - 5. Let v be f(-5). Suppose v = -5*c + 2*w - 8, -6 + 22 = -5*c + 4*w. Solve -4*k - k + n = c for k.
5
Suppose 0 = 2*f - s + 2*s - 3, f - 9 = 2*s. Let b = -1 - -3. Suppose 6*q - 8 = 2*y + b*q, y = 5*q - 19. Solve 0 = f*u - u - y for u.
3
Suppose 3*a + j = 2, 3*a - 5*j - 10 = -2. Solve -21 = 11*p + a for p.
-2
Suppose 3*i - 2*b = 114, 3*i - 37*b - 114 = -32*b. Solve i - 8 = 6*v for v.
5
Let l = 6 + -9. Let f = 17 - 24. Let r = l - f. Solve -3*t - 13 + r = 0 for t.
-3
Suppose -9*d + 101 = 38. Suppose 0 = -o + 3 + d. Solve -3*n = 2*n - o for n.
2
Suppose -3*z + 30 = -0*z. Solve 3*w - z = 5*w for w.
-5
Let s(r) = -2*r**3 + r**2 + r + 1. Let h be s(-2). Suppose 4*t = 9 + h. Suppose -3 = -5*g + t. Solve 7*y = g*y for y.
0
Let s(d) = -d**3 - 4*d - 3. Suppose 2*q - 5*n = 8, 4*q + n - 3*n = 0. Let k be s(q). Solve w + 1 + k = 0 for w.
-3
Suppose -808 = -13*i + 17*i. Let d be 1/(-4) + i/(-8). Solve -d = -q + 6*q for q.
-5
Suppose t = 4*i - 16, -5*t + 3*i + 2*i = 5. Suppose -4*n + 42 = -2*n. Solve t = 5*q - n for q.
5
Suppose 3*k + 4*p = 50, 0*k - 3*p = -4*k + 25. Let a(x) = -x**3 + 14*x**2 - 14*x + 3. Let b be a(13). Let u = k + b. Solve t + u = -2 for t.
-2
Suppose -2*r + 160 = -6*r. Let y = -40 - r. Solve 0*j + 3*j - 9 = y for j.
3
Let m = 16 + -9. Suppose 4*h = -o + 19 - m, -20 = -h + 4*o. Let d be (-4)/(-10) - 12/30. Solve -h*w - 10 - 6 = d for w.
-4
Suppose 0 = 27*m - 27 - 243. Solve 6*f - 16*f = m*f for f.
0
Let v(g) = 6*g**2 + 5*g. Let b be v(-4). Let w = b + -72. Solve 0 = 2*h - 0 - w for h.
2
Let u(w) = w**3 + 7*w**2 + w + 10. Let t be u(-7). Solve -23 + 8 = -t*q for q.
5
Let j(b) = 3*b**2 + 3*b. Let p be j(-5). Solve 0 = -2*s - 13*s + p for s.
4
Let u(o) = o**3 + 9*o**2 + 5*o + 9. Let x(g) = -g**2 - 1. Let c(p) = u(p) + 5*x(p). Let q be c(-2). Solve -q*k = -0*k - 6 for k.
3
Let u = 1 - 1. Let n be -3*2 + (-2 - (0 + -3)). Let w be 8*n/10*-1. Solve u = b + w*b + 10 for b.
-2
Let z = -6 - -48. Let f = z - 40. Solve 0*l = -f*l for l.
0
Let g = 205 + -197. Solve 5*u - 7*u - g = 0 for u.
-4
Let s(n) = n**3 + 22*n**2 - 50*n - 36. Let h be s(-24). Solve -6*v + h = -0*v for v.
2
Suppose 0 = -3*l + 81 - 75. Solve 6 = l*j - 5*j for j.
-2
Let t = -33 - 5. Let u = 41 + t. Solve u*x = -9 - 3 for x.
-4
Let g(u) = -2*u**3 + 3*u**2 - 2*u. Let k be g(2). Let r be 56/(-12) + (-7)/(21/4). Let q = r - k. Solve 3*n + q = 5*n for n.
1
Let j(n) = -n**3 + 2*n**2 + 5*n - 1. Let c be j(6). Let v be 1/(-6) + c/30. Let u = 16 - v. Solve 5 + u = -5*o for o.
-5
Let k be (-5)/7 - (-285)/399. Solve 33*l - 29*l - 12 = k for l.
3
Suppose 5*m - 5 + 40 = 0. Let c = m + 10. Suppose -c*u = 2*u. Solve 2*j + 0*j - 6 = u for j.
3
Suppose -3*w - 47 + 59 = 0. Solve w*b = -10 + 2 for b.
-2
Suppose 2*o + 40*y - 24 = 37*y, 3*y = 0. Solve -b - 7 = -o for b.
5
Let b = -19 - -31. Let r = -15 + b. Let j be r/(-12)*4 - 1. Solve -3*k + j - 15 = 0 for k.
-5
Let b be (-1 + 0/1)*-1. Let p(u) = 3*u - 4. Let n be p(3). Solve m - b = -n for m.
-4
Suppose -14*o + 5*j = -10*o - 63, 2*o + j - 35 = 0. Solve -b + 32 = -o*b for b.
-2
Let z(l) = -l**2 - 3*l + 10. Let a be z(2). Solve 3*y - 7*y - 16 = a for y.
-4
Let r(b) = -3*b**2 + 20*b + 7. Let g be r(7). Solve -6*i + 14*i - 8 = g for i.
1
Suppose -14 = -s - s. Suppose -5*f + s = -13. Let p be 6/(-2)*f/(-3). Solve p*b + 2 + 6 = 0 for b.
-2
Let v(i) = i - 10. Let h be v(7). Let f be h + (6 + -3)*3. Solve -f = -k + 3*k for k.
-3
Let j be (0 + -1)/((-456)/56 + (6 - -2)). Suppose 0 = -a - a + 20. Solve 2*n = j*n - a for n.
2
Let c be 1*(5 - (4 + -2)). Suppose -4*r + c*g = 31, -5*r - g + 0 = 15. Let k be (2 - -1) + (-4)/r. Solve k*x = -13 - 7 for x.
-5
Suppose 19*u = 44 - 6. Solve -22 - u = -8*k for k.
3
Let f(m) = -m**3 - 8*m**2 - 9*m - 11. Let p = -10 + 3. Let u be f(p). Solve -t = -4*t + u for t.
1
Let z be (-104)/(-28) + 4/14. Suppose 0 = -2*b - 2 - z, -4*n + 5*b = -59. Let f = 26 + -22. Solve -9 - n = -f*q for q.
5
Let l be (6/5)/((-16)/(-360)). Suppose 7 - l = -5*q. Let f be 9/((-18)/q) + 5. Solve f - 23 = -5*x for x.
4
Suppose -17 + 53 = 6*u. Suppose -2*n - n + 3*x - u = 0, 5*n + x - 8 = 0. Solve 3 = o - n for o.
4
Let u = 225 + -112. Let q = 119 - u. Solve 0*w + q = -3*w for w.
-2
Let d be 3*((-20)/3)/(-4). Let k(q) = q - 1. Let o(r) = 5*r - 6. Let g(a) = -4*k(a) + o(a). Let m be g(d). Solve w = m*w for w.
0
Suppose 2 - 11 = -3*o. Let h be (0 + -2)*(o - 4). Solve -h*j = -7*j for j.
0
Suppose -2*a = 5*d - 4*a + 4, -d - 2 = -a. Solve 10*z - 5*z = d for z.
0
Let z be 2/(-4) + (-171)/(-6). Let o be -14*(20/z + -1). Solve 0 = -f + o*f for f.
0
Suppose 0 = -4*k - 8, 2*t = -2*k - 0*k - 6. Let x be (t - (-8)/10) + (-92)/(-10). Solve -4*u + 7*u + x = 0 for u.
-3
Suppose 6*f = -5*f + 220. Solve -25*c - f = -21*c for c.
-5
Let u(y) = -2*y**3 - 4*y**2 - 4*y - 3. Let i be u(-4). Let p be (-2)/11 + 168/i. Let k be (1*-1)/(16/(-32)). Solve -p - k = -x for x.
4
Suppose 5*n = 3*u - 5, u - 27 = -5*n - 12. Solve n + 14 = 8*r for r.
2
Let k(i) = 2796 - 17*i - 2790 + i**2 + 3*i**2. Let b be k(4). Solve 20 = -b*a - 3*a for a.
-4
Let l(p) = p**3 - 12*p**2 + 26*p + 42. Let f be l(9). Solve -f + 31 = c for c.
-2
Suppose 92 + 104 = 14*c. Let z be -2*((8 - 5) + c/(-4)). Solve 2*g + 7 = z for g.
-3
Let p(m) = -m**3 + 29*m**2 - 133*m - 3. Let f be p(6). Solve 17*t - 7 = f for t.
2
Let f = 41 + -8. Let p = -18 + f. Solve w = -4*w + p for w.
3
Let q(x) = 8*x + 1 + 3*x - 12*x. Let f be q(4). Let d be 2 + (f + 3)/1. Solve -d*j + 25 = 3*j for j.
5
Suppose -2*c - 196 = -24. Let z be 6/(-10) - c/10. Suppose -5*h + 7*h - z = 0. Solve -h*o = o for o.
0
Let w = 4624 - 4591. Suppose -5*h + 40 = -0*h. Solve 5*x = w - h for x.
5
Suppose 2*t + 20 = 3*u, -41*u + 46*u = t + 24. Solve 0*f + u*f - 4 = 0 for f.
1
Suppose 0 = -24*i + 373 + 11. Solve 4*d = -0*d + i for d.
4
Let f(m) = -4*m. Let c = 17 - 15. Suppose 0 = -c*n + n - 2. Let r be f(n). Solve 2*z - r - 2 = 0 for z.
5
Let y = 209 + -189. Let s be (-1 + 1)*(-1 + 0). Solve -5*v + y = -s for v.
4
Let k be 944/14 - 6/14. Let h = 71 - k. Solve -4*z + h = -4 for z.
2
Suppose -2*z + 37 - 26 = 3*w, -2*w - 6 = 0. Solve 15*a = z*a + 15 for a.
3
Let d be 20/18 + (-3)/27. Let q be (d + 0)*(-15)/(-5). Solve q*s - 11 = -2 for s.
3
Let p(q) be the second derivative of q**4/3 - q**3/6 + q**2/2 + 3*q. Suppose -3 = 2*c - 5. Let d be p(c). Solve -2*i + d*i = 6 for i.
3
Suppose 12*v + 111 = 471. Let a(j) = -j**3 + 7*j**2 - 7*j + 6. Let p be a(4). Let g = v - p. Solve -g*s - 16 = -8*s for s.
4
Let j(r) be the first derivative of r - 4/3*r**3 - 1 + 3/2*r**2 + 1/4*r**4. Let i be j(3). Solve u = -i + 3 for u.
2
Let l(s) = -s**3 - 3*s**2 - 8*s + 11. Let c be l(-5). Let f = c - 81. Solve 0 = 5*x - f + 45 for x.
-5
Let y = 75 - 58. Let x be y - (1/(-1)*1 + 1). Solve 4*n + 1 = x for n.
4
Suppose 2*u - 6 = f, 5*f - 5*u + 15 = 2*f. Suppose -8*m + 6*m + 2 = f. Solve m = -k - 1 for k.
-2
Suppose 0 = 5*s - 13 + 8, 2*i - 28 = 4*s. Solve -t + i = -5*t for t.
-4
Let n(x) = -x + 4. Let t be n(2). Let u(b) = b**2 - 4*b + 4. Let a be u(t). Solve a*z = -5*z for z.
0
Suppose 20*w - 17*w - 33 = 0. Solve o + w - 6 = 0 for o.
-5
Let h(l) = 2*l**3 - 13*l**2 - 70*l + 3. Let t be h(10). Solve t*z - 7 = 2 for z.
3
Let b be (2 + -1)/((-1)/(-2)). Let u be (b/(-2) + 1)/(-2). Solve -j + 4*j - 6 = u for j.
2
Let a(b) = b. Let z be a(2). Suppose 2*s + 9*n - 29 = 4*n, -z*s + 2*n = 6. Solve -s*c + 1 = -c for c.
1
Suppose -6*u = -4*u. Suppose 5*h + 23 = 3, u = 4*z - 3*h - 44. Solve 7 + z = -3*v for v.
-5
Let n be (24/2)/(3 - 2). Let v = 15 - n. Let y be (0*(-1)/(-2))/2. Solve -v*q = -y*q + 6 for q.
-2
Let