1
Let m = 36 - 23. Suppose 0 = 11*n - m*n. Solve -a - a = n for a.
0
Suppose -3*d - b + 13 = -2*b, -2*d = 2*b + 2. Solve 2*k = d*k + 5 for k.
-5
Let x(a) = -a + 3. Let v be x(-6). Let j(b) = -15 + b + 26 - 18. Let p be j(v). Solve -10 = 3*n + p*n for n.
-2
Let c be 1/(4/(-3 + -1)). Let b be c/3 - (-2)/(-3). Let d be b/((-11)/5 + 2). Solve 0 = w - d for w.
5
Let y(a) be the second derivative of -5*a**3/2 - 5*a**2 - a. Let p(i) = 8*i + 5. Let w(k) = 11*p(k) + 6*y(k). Let d be w(-7). Solve 6*n - 3*n = d for n.
3
Suppose -2*i + 3*n = 9, i - 19 = -2*i - 2*n. Suppose 2*t + 3 - 5 = 2*v, 3*t - 3 = -i*v. Solve 0*k = -k + t for k.
1
Let s(a) be the third derivative of a**6/60 + a**5/60 + a**3/6 - 8*a**2. Let x be s(-1). Solve -2*h - h = x for h.
0
Let l = 10 + 2. Let t(c) = c - 8. Let n be t(l). Solve 0*d + 12 = -n*d for d.
-3
Suppose -16 = -5*k - 1. Suppose 0 = -4*i - 4*v + 52, 5*v - 33 = 2*i - k*i. Suppose 9 + 9 = 9*x. Solve -4*r + x*r - i = 0 for r.
-4
Let j(g) = 2*g - 47. Let n be j(-15). Let k = 82 + n. Solve 8*o - k*o + 9 = 0 for o.
-3
Suppose 7*t + 3*t = 16*t. Solve -3*d = -t*d + 15 for d.
-5
Let j = -10 - -13. Suppose -5*n = -0*n - 2*d, n = j*d - 13. Let a be (-4 + 4)*1/(-2). Solve n*x - 2 - 2 = a for x.
2
Let c be (-51 + 33)/((-1)/(-2)*-2). Solve 0 = -72*z + 78*z + c for z.
-3
Let n be 5/((-5)/(-60)*4). Suppose -d = -2*j + 4*d + 6, -2*d - n = -5*j. Solve 6*x - 3 = j*x for x.
1
Let w = -5 + -3. Let u be ((-20)/w)/((-1)/(-2)). Let a = 199 + -197. Solve -a*b = -3 - u for b.
4
Let o be (-3)/5 + (-96)/(-10). Suppose 2*v + 2 = 4*b, 0 = 4*v - 3*v + 3*b - o. Suppose 3 = -2*n + v*n. Solve -n*c = 2*c for c.
0
Let s(a) = -2*a - 5*a**3 + 4*a**3 + 7*a - 2*a. Let h be s(-2). Solve -5*p + h*p = 3 for p.
-1
Suppose 3*t - 9 = 3*w, 4*t + 2*w - 11 + 5 = 0. Solve 0 = t*k + 252 - 246 for k.
-3
Suppose -7 = k + 2*a, k - 3*a - 1 = 17. Suppose p = k*p. Suppose n - 2*n = p. Solve -2*j - 2*j - 16 = n for j.
-4
Suppose 4*x = 4*z + 12, 7 = -4*z + 3. Solve -x*l - 40 = -34 for l.
-3
Let d(a) = a**3 - 7*a**2 - a + 9. Let b be d(7). Suppose -8 = -2*g + 4*i - 2, 5*i = 3*g - 9. Solve -b*j + 3 = -g for j.
3
Let z = 2 + -2. Let w be (z - (1 + -1))/2. Suppose 0 = 3*x - w - 12, -2*k + 4*x = 14. Solve -3*m - k = 5 for m.
-2
Let l(x) = 2*x**2 - 50*x + 180. Let d be l(4). Solve -20 = d*m - 44 for m.
2
Let k = -4 - -4. Let d = 49 + -47. Suppose s - 12 = 2*i, 3*i + 15 = -d*i. Solve k = 3*p - 0*p + s for p.
-2
Suppose d + 276 = 4*d. Suppose -d = 2*f - 6*f. Let l = f - 23. Solve l - 4 = 2*u for u.
-2
Let f = -5 + 9. Suppose -d + 34 = -4*s, 5*d - f*s = -3*s + 113. Solve 4*v - d + 2 = 0 for v.
5
Let z = 720 - 681. Solve 6*q + 21 - z = 0 for q.
3
Let l(g) = 33*g - 115. Let r be l(4). Solve 0 = 5*h - r + 2 for h.
3
Let i(b) = b**3 - 3*b**2 + b - 1. Suppose -2*t = -2*c, -2*t = -5*c - 7*t + 30. Let k be i(c). Suppose 7*g = 10*g - 45. Solve -n = k*n + g for n.
-5
Suppose -9 - 9 = -3*h. Suppose h = 3*z - 9. Let f = 125 + -123. Solve -z = f*g - g for g.
-5
Suppose -37*y = -38*y + 4. Solve -y - 11 = 3*a for a.
-5
Let t be (172/129)/((-2)/(-33)). Solve 0 = 18*d - t*d + 16 for d.
4
Let b be (5/10 + -4)*-6. Suppose 3*s + 5 - 29 = -5*k, 5*s + 2*k = b. Solve h = -s*h for h.
0
Let u be 1/((-18)/(-315) + 2/14). Solve -u + 17 = -3*t for t.
-4
Let m(w) = 2*w**3 - 5*w**2 + 7*w - 8. Let l be m(2). Solve l*c - 8 = 6*c for c.
-2
Suppose 0 = -6*a + a - 160. Let d = a - -13. Let l = 19 + d. Solve -2*u + 7*u - 5 = l for u.
1
Let b = -2 - -4. Let r = 51 + -56. Let l(j) = -j - 2. Let m be l(r). Solve m*v = -b*v + 10 for v.
2
Let u = 57 + -53. Suppose u*z - 18 = -4*p + 5*z, 2*z = -p. Solve -3*a - 10 = -p for a.
-2
Let n be -9 + (6 - -3) + 3. Solve -9*k + 12 = n*k for k.
1
Suppose -2*z + 4*z - 10 = 0. Suppose 3 = -z*b + 8. Solve 0 = -4*x - b - 19 for x.
-5
Let i be 216/105 + (-80)/1400. Solve 8*n + 34 = i for n.
-4
Suppose 31*o = 33*o + l - 33, -4*l - 60 = -4*o. Solve -13*t = -o*t - 6 for t.
-2
Let t(w) be the third derivative of w**5/60 + 5*w**4/24 - w**3/6 + 7*w**2. Let i be t(-6). Let d = -5 + i. Solve d = -3*r + 5 + 10 for r.
5
Let h be (-1)/6 - (5/(-30) - -2). Suppose 11 = b - 6*k + k, 2*k - 10 = -2*b. Let l be (h/(-3))/(2/b). Solve -m + l*m = 4 for m.
4
Let r(b) = 2*b - 8. Let i be r(6). Suppose -3*n - i = -4*n. Let f = 322 + -322. Solve f*c - n = -4*c for c.
1
Suppose -4*d + 255 = -d. Suppose 0 = 2*o + 6, -30 = -5*f - 5*o + d. Let k = f + -18. Solve 0 = -2*n + k + 2 for n.
5
Suppose 271 = o + 269. Solve 0 = -o*z + 2 for z.
1
Let v be 6/(-27) - (2 - 470/9). Suppose -v = -t - 4*t. Solve 0 = -3*b + b - t for b.
-5
Suppose 2*k - 4*x = 16, -k + 5*x = -5*k - 20. Solve k = -6*a + a + 10 for a.
2
Suppose -12*c = 28 + 44. Let s be c/4 - 18/(-4). Suppose -3*n + 6 = 0, 3*m - 3*n + n - 35 = 0. Solve m - s = -5*h for h.
-2
Let z be 2184/49 - (-9)/21. Let l be (-2)/(-3) - (-56)/6. Let c be 18/z - 4/l. Solve c - 2 = -u for u.
2
Let f be -8 + (2013/27 - (-36)/81). Solve 11*q - 78 = -f for q.
1
Suppose -53*w - 9 = -54*w. Solve 16*b - 25*b = w for b.
-1
Suppose -48 = -0*o + 3*o - 3*f, 5*f + 70 = -5*o. Let h be 1/((-6)/o)*2. Solve -h*b + 6 = -9 for b.
3
Let l(r) = -r + 1. Let j(o) = 12. Let f(x) = -j(x) + 2*l(x). Let q be 38/(-5) + (-4)/10. Let w be f(q). Solve w = 4*z + 22 for z.
-4
Let k(f) = f**3 - 4*f**2 - 3*f - 2. Let a be k(5). Let q = 42 + -39. Solve -l = q*l + a for l.
-2
Let q = -42 - -43. Let p be 2/2*85/(q + 4). Solve 2 = -5*t + p for t.
3
Let o = -43 + -48. Let h = -88 - o. Solve -5*b = -h*b for b.
0
Suppose -9*x + 20 = x. Let f(q) = 5*q**3 - 2*q**2 + 2*q - 1. Let k be f(1). Solve x*a + 10 = k*a for a.
5
Let v(x) = -6*x + 7. Let a be v(4). Let m = 18 + a. Solve -4*i - 9 = -m for i.
-2
Let j = 49 + -33. Solve -j*n + 12 = -10*n for n.
2
Let l(g) = -g**3 + 7*g**2 - 10*g + 31. Let q be l(6). Solve -a = -q*a - 24 for a.
-4
Let d(b) = -b - 11 + 33 - 15 - 9. Let x be 3/(-2) - (-1)/(-2). Let h be d(x). Solve 3*m + 6 + 3 = h for m.
-3
Let z = -6 - -2. Let d(g) = 34*g - 90. Let o be d(3). Let l be (o/8)/((-2)/z). Solve -r - 6 = -l for r.
-3
Suppose 4*z = 3*r - 31, r + 3 = 2*z + 12. Let p = 14 - r. Let o be p - ((-1)/(-1) + -2). Solve -x - 7 = -o for x.
-5
Let p be (4/(-2) + 2)/(-3). Suppose p = -5*c - 15, -3*q - 5*c = 6 + 3. Solve q*k - 3 = -7 for k.
-2
Let h(u) = u**2 + 8*u + 1. Suppose 10*v - 4*v = -48. Let y be h(v). Solve -2 - y = -3*x for x.
1
Suppose -254 = 2*z - 294. Solve -z = 206*n - 211*n for n.
4
Let y = -3 - -6. Let k = y + 4. Let c = k - 3. Solve c*g + 0 = 20 for g.
5
Suppose 2*c = 7 + 3. Suppose 2*o = 0, -o - 2*o = x - c. Let r(y) = -y**3 + 6*y**2 + 4. Let i be r(6). Solve x = -i*k - k for k.
-1
Let d = 8 - 5. Let u(f) = f**3 - 8*f**2 + 6*f + 12. Let l be u(7). Suppose 3*x + 5*a = -4, -l*a + a - 14 = -3*x. Solve x*y + d = 1 for y.
-1
Let s be 6/(-2) - (-4 + -1). Solve s*t + t = 3 for t.
1
Suppose 55 = 5*g + 6*g. Solve g*t - 14 = -2*t for t.
2
Let k = -9 - -11. Suppose 0*x = k*x - 18. Solve 0 = -5*d + x + 11 for d.
4
Suppose 2*z - 54 = -4*k, 0 = k - 4*z + 51 - 42. Solve 8*n = -3*n - k for n.
-1
Let r = -2 - 4. Let p be ((-9)/r)/((-3)/(-6)). Suppose 4*a + a = 0. Solve -p*b + 2 - 11 = a for b.
-3
Suppose 4*q = -5*j + 144, j - 54 = -j + 2*q. Suppose g = y - 10 + 2, -3*y + 5*g = -j. Let l = y + -6. Solve l*m = -3*m for m.
0
Let m be (-2 + (-11)/2)*(-668)/167. Solve m = u + 29 for u.
1
Let s be 1 + 1 + (-2 - 0). Suppose s*l + 50 = 5*l. Suppose -4*d + 4*b = 0, l*d - b = 5*d. Solve 2*k = -d*k for k.
0
Suppose 4*w = -3*c + 21, -2*w + 12 = 3*c - c. Suppose 0 = -2*r - n - 37, 4*r - 3*n + 33 = r. Let x = -1 - r. Solve -w*z = x - 0 for z.
-5
Suppose 9*i + 26 = 22*i. Suppose 30 = i*r + 6. Solve -8*z + r = -4*z for z.
3
Let y(r) = 32*r + 360. Let g be y(-11). Solve 2*m - g*m + 18 = 0 for m.
3
Let x = 641 + -622. Solve 12*q - x*q - 7 = 0 for q.
-1
Let l(i) = i**2 - 7*i - 27. Let o be l(-4). Solve 3*w - 11 + o = 0 for w.
-2
Suppose -4*t = -39 - 37. Suppose -8*h = -5*h + 2*j + 7, 0 = -5*h + j + 10. Solve t + h = -5*p for p.
-4
Suppose 2*k - 22 = -2*u - 6, -3*u = 4*k - 25. Suppose y = -2*a + 13, -3 = -y - 0*y. Solve -u = a*i - 2 for i.
-1
Let r be 1*(1 + 0 + -4). Let t be (r - (2 + -4))*21. Let g = -19 - t. Solve g = b + 6 for b.
-4
Let s = 18 + -14. Let n be (s/4)/(1/9). Suppose 20 + 13 = 3*z + 3*b, z - 3*b + n = 0. Solve 4 = 