1 for s.
-2
Let r(a) = -a**2 + 19*a - 44. Let t be r(16). Solve 2 = -t*n + 6 for n.
1
Suppose 32*w = 35*w - 132. Suppose -4*b + w = 4*o + 16, -5*b = -2*o - 56. Solve -6 = -4*f + b for f.
4
Suppose -y = -5*y + 44. Solve 8*k - 3 = -y for k.
-1
Let s(f) = -19*f**2 - 43*f + 3. Let j be s(-2). Solve -16*z = -j*z + 3 for z.
-1
Let c(x) = x + 1. Let b be c(0). Suppose -4*n - 5 = -b. Let u be (-3 + 4)*(n + 2). Solve 3 - u = s for s.
2
Suppose 0 = -2*g + 2*d - 7 + 51, -4*g - 2*d + 64 = 0. Let o = g + -18. Let y be 0/(-3 - (-1)/1). Solve y = -o*t + 3*t for t.
0
Suppose 0 = 2*p - 6, 5*t - 72 = 2*p + 227. Suppose 4*d - t = -41. Solve -d*c = -0*c + 10 for c.
-2
Let l be 5/(50/(-80)) - -8. Solve -5*j + l = -10 for j.
2
Let k be 16/(-4) + 4/(2 - 1). Solve 12*b + 93 - 33 = k for b.
-5
Let w(c) = -c + 6. Let q be w(6). Suppose 3*p + q = 6. Suppose 3*u + 0*u = o, o - u - 2 = 0. Solve y + o = p*y for y.
3
Let n = 28 - 21. Let l(q) = -n - q + 0*q + 2*q + 1. Let i be l(8). Solve -5*h + i + 3 = 0 for h.
1
Suppose -5*i = -3*i - 5*m + 33, -3*i = -5*m + 37. Let t be 10/4 + i/(-8). Solve t*h - 12 = -h for h.
3
Suppose 23 = 12*q - 13. Let n(h) = -h**2 + 16. Let m be n(0). Solve -l - q*l = -m for l.
4
Let c be 0 + (-3)/1 + 215. Suppose 0 = 2*x + 3*t - 81, -4*t - c = -5*x - 2*t. Suppose -a = 3*f - 21, 4*f - x = -3*a + 1. Solve 4*k = -a + 21 for k.
3
Let w = 23 + -18. Let n(a) = -21*a + 174. Let d be n(8). Solve d*r = w*r - 1 for r.
-1
Suppose 3*n - 14 = -r, -4*r + r = 5*n - 54. Let o = -14 + r. Let z be 6*(-1 + o/6). Solve 2*g = -z*g - 10 for g.
-2
Let z = -191 - -203. Solve -3*a = a + z for a.
-3
Let h = 55 + -33. Suppose -2*x - 3*j + h = j, x - 6 = -j. Solve 5*v + 6 = x for v.
-1
Let k(q) = -q**2 - 8*q - 9. Let w be k(-6). Suppose -3*x - 217 = -4*i, 6*i - 4*x - 106 = 4*i. Let n = i + -52. Solve 3*p + w = -n for p.
-2
Let j(w) = -203*w - 603. Let d be j(-3). Solve d*v = 3*v - 9 for v.
-3
Let g be (-3)/(1/4*2). Let u be 3/(-15) + (g/(-15))/2. Solve i - 4*i - 12 = u for i.
-4
Suppose -t + 0*h = -4*h - 13, 2*h = -4. Let f be (2 + -1)/(t/15). Suppose 3 + f = 2*j. Solve 0 = -a + j*a for a.
0
Let j = -106 + 54. Let k be (-82)/26 + 3 + (-476)/j. Let b(p) = p. Let o be b(3). Solve -k = o*x + 6 for x.
-5
Let a be 89 + (0 - -1)/((-13)/(-39)). Suppose 2*w + 5*q - a = 0, q + 2*q = -3*w + 120. Suppose -90 = -5*f + 2*s, 5 + 26 = f - 3*s. Solve 5*m - f = -w for m.
-4
Let c(f) = f**2 - 7*f + 3. Let n be c(7). Let o be 5/((-1 - 1) + n). Solve 2 + 3 = o*g for g.
1
Let l(y) = 8*y - 13. Let s be l(4). Suppose -2*i - 2*q + 8 = 0, 2*i - 4*q = i + s. Let m = i - 7. Solve m = o + o + 2 for o.
-1
Suppose -5*k = 2*k - 49. Solve 0 = k*m - 4*m - 12 for m.
4
Let i = -1 - -16. Let p = -640 - -642. Solve -p*g = g - i for g.
5
Let p(x) = 6*x + 7*x + x - 15*x + 2. Let a be p(-6). Solve -w = w + a for w.
-4
Suppose 0 = 19*s + 10*s - 232. Solve 0 = g - 9*g - s for g.
-1
Suppose 0 = 4*k - 15 + 3. Suppose f - 2 = 5*y + 7, -k*y = 4*f - 13. Solve o = -o - f for o.
-2
Let p be (-12)/5*(48/(-9) + 2). Suppose -p*n + 20*n - 36 = 0. Solve 2*u = 3*u + n for u.
-3
Suppose -y + j = -20, -50 = -3*y - 3*j + 40. Suppose y = 5*k - 40. Let o = k + -9. Solve 0*m + 16 = o*m for m.
4
Suppose -15 + 19 = r, -v = -2*r + 5. Solve -3*p + v = -3 for p.
2
Let g(d) be the third derivative of -d**5/60 - 7*d**4/24 - 7*d**3/6 - 15*d**2. Let f be g(-3). Solve 17 + 3 = -f*r for r.
-4
Suppose 0*q = 5*q - 260. Suppose -5*d + 2*j = 110, -4*d - 4*j = -7*d - q. Let g = 24 + d. Solve -15 = -g*m - 5*m for m.
3
Let n = -28 - -49. Let i = n + -18. Let r be (-2)/(i/6*-1). Solve 7*u - r*u + 12 = 0 for u.
-4
Let u = -759 + 762. Solve u = -0*c + c for c.
3
Let p be (-2)/(-5)*(-17)/(17/(-70)). Let m = p + -26. Solve -2*c + 6 = -m for c.
4
Let l = -7 - -7. Suppose -u - u = l. Let d(z) = -z**3 - z**2 - 2*z. Let n be d(-2). Solve u = 6*b - 4*b - n for b.
4
Suppose 3*q + c = -2*c + 6, -2*c + 1 = q. Suppose 11 = 5*l + q*t, -l - 3*t - 5 = -0*l. Solve 4*h + 0*h + l = 0 for h.
-1
Let b = 28 - 3. Let w be 1 + (-8)/(-4)*1. Suppose -h = 5, -w*h - b = -3*s + 2*h. Solve s*k = -k - 4 for k.
-4
Let h be 114/42 + 3/(42/4). Suppose h*p = -3*w + 2 + 16, 4*w = -4. Solve 2 - p = -5*b for b.
1
Suppose -52*d + 48*d + 32 = 0. Suppose 2*a = -4, 5*c - 3*a - 8 = d. Let k be (-8)/(-10)*-1*-5. Solve c*b + 2 = -k for b.
-3
Suppose -2*m + 5*y + 30 = 3*m, 5*m = -4*y + 39. Suppose -n + 2*x + m = 0, -6*n + 4*n + 3*x + 12 = 0. Solve n + 0 = -g for g.
-3
Let d(p) = p - 24. Suppose 2*n = 4*i - 54, i - 4 - 8 = -n. Let t be d(i). Let m(o) = o**2 + 9*o - 1. Let z be m(t). Solve -4*v - 5 = -z for v.
4
Let y(j) = -5 + 7*j + 4*j - j**2 - 5*j. Let a be 0/(2/2) - -4. Let v be y(a). Solve -v*t = -0*t for t.
0
Let z(x) = x**3 - 9*x**2 + 14*x + 5. Let t(q) = -4*q + 19. Let f be t(3). Let o be z(f). Let p = 3 + 1. Solve o*h = p + 1 for h.
1
Suppose 5*s - 46 + 2 = n, -2*s + 4*n = -32. Solve -3*k + s + 7 = 0 for k.
5
Suppose -2*x - 4*x + 258 = 0. Let c = 48 - x. Solve 0 = -c*j + 4*j + 1 for j.
1
Let x = 136 - 136. Solve -z = -x*z - 2 for z.
2
Suppose -2*w + 6*w + 4*y - 44 = 0, 2*w - 14 = 2*y. Suppose -17 + 35 = w*t. Solve 3*l = -t*l for l.
0
Suppose 0*l + 2*l = 0. Suppose 4*j + 31 = -109. Let p = j + 41. Solve o + o - p = l for o.
3
Let m = 141 + -134. Let x(u) = 4*u**2 - 28*u + 1. Let l be x(m). Suppose -5*g = -2*v - 31, 2*v - 6 = -v. Solve -4*k = l + g for k.
-2
Let z(d) = -4*d - 5. Let t be (-6)/(-9) + 8/6. Suppose -10 + 0 = t*k. Let j be z(k). Solve 5*x + 0 + j = 0 for x.
-3
Let s(r) = -r**2 - 6*r + 4. Let l be s(-7). Let i be 0 - (l/(-3) + -1). Suppose 0*g + g = i. Solve g = 2*j + 5 - 1 for j.
-2
Let r = 23 - 19. Suppose r*h - 3*n = -91, -h + 4*h - 3*n = -69. Let g = -22 - h. Solve g = 3*i + i for i.
0
Suppose 4*x - 48 = -2*o, 2*x = -5*o + 10 + 86. Solve 7*f - o*f - 33 = 0 for f.
-3
Suppose -110*a + 2*f + 20 = -106*a, -3*a + 22 = -5*f. Let d = 1 - -4. Solve -j - a*j - d = 0 for j.
-1
Let y(m) = m**3 + 4*m**2 - 8*m - 5. Let i be y(-6). Let b = -26 - i. Let u be 1/(b + 25/(-10)). Solve 1 = v - u for v.
3
Let n be (2/(-3))/(13/((-390)/4)). Solve a + 6 = n for a.
-1
Suppose -607*f + 266 = -593*f. Solve -3*m + 16 = f for m.
-1
Suppose -15 + 15 = -43*s. Solve -5*o - 27 + 2 = s for o.
-5
Let j(m) = 9*m + 10. Let u(f) = 19*f + 19. Let n(v) = -5*j(v) + 2*u(v). Let k be n(-3). Solve 4*c + k + 3 = 0 for c.
-3
Suppose 0 = 2*k + 2*g + 4, -k = 4*g + 2 + 6. Solve k = -5*r + 7*r - 2 for r.
1
Let b(v) = -v**3 - 5*v**2 - 3*v - 9. Let n be b(-7). Let u be (-12)/(-42) - n/(-7). Let y = u + -16. Solve -15 = -3*p - y*p for p.
5
Let j be 9/4*16/6. Suppose -y + 49 = -3*d, d - 4*y = -12 - 19. Let r be d/(15/j + -4). Solve -4*x - r = -6*x for x.
5
Let m(r) be the second derivative of -r**4/12 + r**3/2 + r**2 + 20*r. Let c be m(3). Solve 3*v - 10 = c for v.
4
Suppose -w + 2*x = 2*w - 14, w + x + 2 = 0. Suppose g = w*g + c, -4*g + 2*c + 30 = 0. Suppose g*a + 5 = k, -4*a + 5 = -2*a + k. Solve a = -b + 4*b for b.
0
Let s be (-2)/(-7) + (-26)/(-7). Suppose -5*t + 36 + s = 0. Solve 0*c + 2*c = t for c.
4
Let u(a) = 97*a**2 - a. Let n be u(-1). Let c = n - 92. Solve -2*o = o - c for o.
2
Let y = 65 + -61. Suppose y = 215*o - 213*o. Let w be (-2)/(-7) - 4/14. Solve 8 = -o*u - w for u.
-4
Let o be (-8)/(-20) - 28/(-5). Let y(a) = a**3 - 7*a**2 + 5*a + 7. Let x be y(o). Solve x + 7 = -4*g for g.
-2
Suppose 3*r = -5*z - 35, 3*z = 2*r + 2 - 4. Let k = z + -3. Let f = k + 15. Solve -f = w + w for w.
-4
Let h be 6 - (2 + 0 - 0). Suppose 5*p - 69 = -2*n, -h*p - 4*n + 33 = -15. Suppose p + 1 = 4*z - l, 0 = -4*z - 3*l. Solve 0 = -0*g - z*g + 15 for g.
5
Suppose -8*v + 3*i = -4*v - 31, 2*v - 17 = i. Let r(k) = -k**2 + 9*k + 10. Let j be r(v). Suppose y + j - 2 = 0. Solve 6*t = y*t for t.
0
Let f be (-4)/(-2) + (-360)/(-4) + 2. Let l = 97 - f. Solve -2*i = l*i + 15 for i.
-3
Let u(c) = -c**3 + 13*c**2 - 11*c + 4. Let z be u(12). Let x(f) = -13*f**2 + 1. Let t be x(1). Let v = t + z. Solve 5*h + v = -16 for h.
-4
Suppose -4*x - 11 = -5*t, -17*t + 13*t + 4*x + 8 = 0. Solve t*m - 73 = -82 for m.
-3
Let u(x) = x**2 - 10*x + 37. Let l be u(8). Suppose 5*w = -2*w + l. Solve -w*a + 4 = a for a.
1
Suppose 6*h + 24 = 9*h. Suppose o + 1 = -4*b - 3, 8 = -4*b. Suppose o = 3*c - h. Solve 6 = -2*j - c for j.
-5
Let z = 307 + -282. Solve -3*d - 2*d 