 x = 255 + -247. Let j be 5/(10/4) + -2. Solve 0 = -j*q + 2*q - x for q.
4
Let p = -347 - -353. Solve p*m = 3 + 3 for m.
1
Suppose -f - n = -7, 57*f - n + 34 = 61*f. Solve 5*c + f + 6 = 0 for c.
-3
Suppose 0 = -2*h - 3*k + 25, 7*k + 5 = 8*k. Solve y - h*y = 4 for y.
-1
Let s = -35 - -23. Let p = -14 - s. Let t be 10/4 + p/(-4). Solve t*n = -n + 4 for n.
1
Let a be ((-20)/(-6))/((9/(-54))/(-1)). Let l(k) = 4*k - 3. Let o be l(2). Solve 0*t - o*t = a for t.
-4
Let i = -12 + 28. Let c be (-4 + 37/4)*i. Let d be 4/(-7)*c/(-24). Solve 0 = -d*g + 5*g + 3 for g.
-1
Suppose 2*l + 14 = 5*a, 0 = a - l - l + 2. Suppose 0 = -5*z - a*q + 30, 5*z + 2*q - 11 - 9 = 0. Let o be (0*(-2)/8)/z. Solve o = 3*s + 4 + 5 for s.
-3
Let l be (-175)/35 - (-6 + -4 + 1). Let k(x) = -2*x - 7. Let c be k(-6). Let u be (3/5)/((-3)/(-15)). Solve -c*h + l = -u*h for h.
2
Let g be (-2*(2 - 1))/(-68 - -67). Solve z = 5*z + g*z for z.
0
Let v = 171 - 128. Solve -v*q + 41*q - 8 = 0 for q.
-4
Suppose -713*i = -693*i - 80. Solve 8 = -4*x - i for x.
-3
Suppose 5*s - 63 = -4*t - 4, s - 3 = 0. Solve -1 - t = 3*w for w.
-4
Let i(b) = b - 9 + 3*b - b + 3. Let o be i(3). Solve -3 = -3*y + o for y.
2
Let r = -2 - -25. Suppose 11*g - r = 109. Solve -2*b + g = b for b.
4
Let w be (-3)/2*(-8)/12. Let j(o) = -18*o - 139. Let m be j(-8). Solve m*x = w - 11 for x.
-2
Suppose 24*i + 696 = 111*i. Let o = 11 - 3. Solve -4*x - o = -i*x for x.
2
Let i(o) = o**2 - 23*o - 36. Let z be i(25). Let x be 1295/245 + (-4)/z. Solve x*j + 6 = 3*j for j.
-3
Let d(q) = q**3 + 3*q**2 - 5*q - 2. Let s = 6 + -26. Let n be 54/(-15) + 8/s. Let v be d(n). Solve -v*u = -5*u for u.
0
Suppose -2*a + 24 = 4*z, -5*a + 3 = z - 12. Suppose 14*q + 224 = 28*q. Solve -z*u = -1 + q for u.
-3
Suppose 19*q - 25*q + 66 = 0. Suppose -q*g + 27 = -6. Solve -4*i = -g*i for i.
0
Let v(i) = -i**2 + 11*i + 106. Let m be v(17). Let g be 1*(2/1 + -2). Suppose -4*c - o - 3*o + 80 = g, 23 = c + 4*o. Solve m*l = -3 + c for l.
4
Suppose -4*t + 4 = -3*w, -5*w + 3*t = 6*t - 3. Suppose 3*u = -l + 35, -2*u + 5*u - l - 25 = w. Suppose 0 = 4*p - u - 2. Solve 0 = g - p for g.
3
Let d be (-84)/98*28/(-6). Solve 1 = -g - d for g.
-5
Suppose -3*o = -2*o - 48. Suppose 8*r - o = 96. Solve 3*m - 6 = -r for m.
-4
Let q = 264 + -262. Solve -q = -2*i - 0*i for i.
1
Suppose 0 = 4*t + 2*i + 155 + 69, 0 = -5*t - 3*i - 280. Let f be 2/(-4)*(-2 + t). Suppose 3*v = 4*z - f, 3*v - 11 = 2*z - 6*z. Solve 0*x - z = -5*x for x.
1
Let x = 56 + -54. Suppose -3*j + x*g - 3 = -10, 2*g - 8 = 0. Solve 3*u - j*u = 0 for u.
0
Suppose -2*h + 4 + 5 = a, -5*h + 30 = 5*a. Solve -a*z - 2 = -2*z for z.
-2
Suppose 11*m - 28 = 4*m. Suppose 2*a - 8 = m. Solve -a*s = -3*s - 3 for s.
1
Suppose -4*z = 4*k - 44, 0 = -2*k - 7 - 3. Solve 0*o = -4*o - z for o.
-4
Let c be (-17)/34 + (-18)/(-4) + 12. Suppose 2*w = 3*t - 12, 0 = 5*t - 2*w - 4 - c. Solve -t*f + f = -3 for f.
1
Suppose 2*h - r = 18, 6*h - h = -5*r + 30. Solve h*s = 4*s + 4 for s.
1
Let k = -1658 - -1658. Solve k*q - 18 = -9*q for q.
2
Let m = 9 + -12. Let l be 3/(m + 0 + 4). Solve l*n - 5*n = -10 for n.
5
Let m be 138/2001 - 172/(-29). Solve 15*v - m*v = -36 for v.
-4
Let z = 1434 - 1426. Solve -6*f = -z*f - 2 for f.
-1
Let l(d) = d**3 + 6*d**2 - 3*d. Let p be l(-7). Let k = -10 + 42. Let w = k + p. Solve w = -3*v + 2*v for v.
-4
Suppose -5*q + 5 = 3*x, 5*x - 3*q - 26 = x. Let y(a) = a**3 - 4*a**2 - 4*a - 2. Let r be y(x). Solve 3 = -3*f - r for f.
-2
Suppose 20*d - 279 = 221. Solve 0 = -25*h + 20*h + d for h.
5
Let x = -6 - -11. Suppose x*h - 37 = 33. Let o = -12 + h. Solve o*a = -a for a.
0
Suppose 0 = -6*x - 643 + 697. Solve y = 6 - x for y.
-3
Let o = -250 - -254. Solve -t + 0 + o = 0 for t.
4
Let c(n) = n + 1. Let k be c(2). Solve 6*d + k - 21 = 0 for d.
3
Let z = -299 - -306. Solve -z*t + 6 = -15 for t.
3
Let g(p) = -p**2 + 10*p + 5. Let l be g(9). Suppose 4 = 4*s - 3*f + 1, -f - l = 3*s. Let h(d) = 2*d**2 + 3*d - 1. Let z be h(s). Solve z = 5*q - 2 for q.
2
Let z(s) be the first derivative of -s**4/4 - 16*s**3/3 + 9*s**2 + 16*s + 7. Let l be z(-17). Let k be (l - -4) + (-26)/(-13). Solve -k*m = -m for m.
0
Let m be (-306)/68*(-1 + -1). Solve 48 = m*y + 93 for y.
-5
Suppose u + 5*k + 3 = 0, 3*u - 8*k + 12*k = 2. Solve -6 = -2*o + u for o.
4
Let x = -385 + 401. Solve -x = 4*q + 4 for q.
-5
Let z = -6 - -12. Suppose -t - z*u + u + 17 = 0, 5*t = -u + 13. Let r be ((-1)/2)/((-8)/48). Solve f + t = -r for f.
-5
Let l = -17 + 7. Suppose -3*f = -3*z - 45, 2*z + 4*f - 7*f = -34. Let o = l - z. Solve -5*k = -9 - o for k.
2
Let b be -1 + 2 + -3*4/12. Suppose 3*a - 15 = -j, 0*a + 3*a + 5*j - 3 = b. Solve 6*t = 4*t - a for t.
-3
Let r(t) = 12*t + 600. Let a be r(-50). Solve 4*x - 87 + 71 = a for x.
4
Let z be -2*(-2)/(-4) + 3 + 43. Suppose -m + 19 = 2*t, m + m = -5*t + z. Solve 3 = -2*c + t for c.
2
Suppose -4*g + 12 = -4. Suppose 0 = -3*c - 3*z + 4*z + 1, 23 = g*c + 3*z. Solve c*r = 3*r - 2 for r.
2
Let w(f) be the first derivative of -f**4/12 + 3*f**3/2 - 4*f**2 - 6*f - 5. Let b(u) be the first derivative of w(u). Let v be b(8). Solve 4 = -v*h + 2*h for h.
2
Let u(j) = j**2 - 4*j - 1. Let a be u(5). Let b be 0/(a - (1 - -1)). Suppose b = -10*i + 6*i. Solve i = x - 2 + 4 for x.
-2
Suppose 0 = 5*c + 4*g + 24 - 89, 3*g = 2*c - 3. Suppose 3*m - 5*d = -11, -2*d - 4 = -m - c. Suppose 0 = -m*i - 0*i + 12. Solve -i*w + 12 = -8 for w.
5
Suppose -4*u = 2*y - 18, -u - 6 = -2*y - y. Solve -3*z + y = 3 for z.
0
Suppose -247*z - 10 = -249*z. Suppose t - c - 10 = 0, t = -5*c - 1 + z. Solve 2*g + t = 5*g for g.
3
Let i(o) = -o**2 - 8*o - 10. Let p be i(-6). Let k = p - 6. Let d be 6 - 6/(-2 - k). Solve 2*n + 1 = d for n.
1
Let a = 8 - -6. Let o = -8 + a. Suppose 5*c - 14 = -2*z, 4*z = c - 0 + o. Solve -c*h = -6*h + 12 for h.
3
Let b(z) = -3*z + 4*z - z + 3*z - 9. Let w be b(7). Let h be (-1 + 2)/(2/w). Solve -f + 1 = h for f.
-5
Suppose -13*r + 106 + 310 = 0. Solve 23*a + r = 15*a for a.
-4
Let h(q) = q**3 + 6*q**2 + 7*q + 2. Let f be h(-5). Let p = 11 + f. Let x = 373 - 370. Solve -2*j + p = -x for j.
3
Let g(i) = -59*i - 350. Let m be g(-6). Solve o - m = 5*o for o.
-1
Suppose l = 3*o + 12, 2*l + 9*o = 5*o - 16. Solve 2 + l = -2*g for g.
-1
Let q(m) = -m**2 + 8*m - 11. Suppose -3*d = -4*p - 0*d + 12, 3*p = 2*d + 10. Let h be q(p). Solve 1 = -l - h for l.
-2
Let o(m) = m**3 + 9*m**2 + 10*m + 10. Let u be o(-8). Let t = -19 + 13. Let d = u - t. Solve 3*j - 8 - 1 = d for j.
3
Let i(x) be the third derivative of x**5/20 + 5*x**4/24 + x**3/3 - 15*x**2. Let z be i(-2). Solve -4*j + 4 = -z for j.
2
Suppose 21 = 3*x + 3. Let i(y) = -y**2 + 8*y - 7. Let s be i(x). Let p(b) = b**3 - 5*b**2 + b - 5. Let o be p(s). Solve -2*n - 3*n - 5 = o for n.
-1
Let a be -4*1/(-8)*6. Solve a*c + 12 = -0 for c.
-4
Let t(u) = u**3 - 11*u**2 + 17*u - 64. Let g be t(10). Solve -g*y - 1 - 5 = 0 for y.
-1
Suppose -4*l - l - w + 37 = 0, -3*l = 3*w - 15. Suppose -3*i + 4*i - 5*s = 2, -l = -4*i - 5*s. Suppose 0 = q + 6 - 14. Solve 0*o = -i*o + q for o.
4
Suppose 0 = -3*i + i + 20. Suppose -n - i = -3*n. Solve -n*l + 15 = -0*l for l.
3
Suppose -40*f + 24 = -96. Solve 2*n = n - f for n.
-3
Let w be (-16 + 17)/(1/19). Suppose -2*r + 55 = 3*r. Let x = w - r. Solve -2*h + x = 2*h for h.
2
Suppose 0 = 12*g - 17*g + 90. Solve -2*o + g = -8*o for o.
-3
Suppose 1 - 25 = -k - 2*v, 0 = 2*k - 5*v - 3. Solve -5*x + k = 24 for x.
-2
Suppose -5*b + 14 = z, b + b - 8 = -z. Let g(s) = 5*s. Let j be g(b). Suppose 4*n - n = -9, -4*n = 5*c - 3. Solve 5*r - j = c*r for r.
5
Suppose -3*k - 32 = -2*y + 5, 4*y = -2*k + 82. Solve 0*h - y = 4*h for h.
-5
Let b(z) = z + 12. Let k be b(-9). Suppose -c + 3*s = -21, -5*c + 7*s = k*s - 105. Let m = c + -19. Solve -2 = -0*f + m*f for f.
-1
Let g be 0 - 7 - (-9 + -2). Solve -g*j = -3*j - 3 for j.
3
Let b(y) = -y**3 - 10*y**2 - 14*y + 19. Let n be b(-8). Let k(o) = 2*o**2 - 4*o - 4. Let d be k(n). Solve -d*t + 4 = 2*t for t.
1
Let i be (-279)/(-15) + 6/15. Suppose 0 = -6*n - 7 + i. Solve -k + 6 = n*k for k.
2
Let h(x) = 4*x**2 - 6*x + x - x**3 - 8 + 19*x. Let v be h(6). Solve -4 = 2*y + v for y.
-4
Let l = 96 + -91. Suppose -6*p + l = -5*p. Solve 15 + p = -5*m for m.
-4
Let p be -4 + 6 - (-5 + -2). Let u(o) = -o**2 + 7*o + 4. Let t be u(p). Let l = -11 - t. Solv