 -37 - 15 for s.
-4
Suppose 0 = -4*a - z + 27, 20 = a + 2*a + z. Let i(g) be the first derivative of -g**2/2 + 3*g - 5. Let k be i(-15). Solve k = -5*r - a for r.
-5
Let r = 6 + -4. Suppose -3*o - 9450 = 27*o. Let c = o + 315. Solve t + r = -c for t.
-2
Suppose 181*u - 665*u = -316527 - 39697. Solve 3*a = -u + 760 for a.
8
Let k be (-23)/(10 + 13) - (-18)/3. Solve -6*q + k = -7*q for q.
-5
Let w(f) = -2*f**2 - 27*f - 13. Let a be w(-13). Let y = 143 - 139. Solve a = y*b + 7 - 15 for b.
2
Suppose 120 = 928*h - 931*h. Let s be 28/10 + (56/h)/(-7). Solve s*r - 8 = -2 for r.
2
Suppose -4*i = -13 + 1. Suppose -2*c - 16*c = 0. Suppose -2*d + 4*q = -22, 0*q = -5*d + 2*q + 31. Solve -i*g + d + 1 = c for g.
2
Suppose -224 = -5*x + 16. Suppose 0 = -0*t - 8*t + x. Suppose r - t*r = -r. Solve 4 = -r*a - a for a.
-4
Let c = 149 + -145. Solve -15*o + 64 = c for o.
4
Let p(c) = 2*c**3 + 11*c**2 + 10*c + 6. Let f be p(-4). Let w be 15/(3/4 - f/(-56)). Solve -h = -4*h + w for h.
5
Suppose -9*n + 221 = -8*n + 12*n. Solve 0 = -3*g - 14*g + n for g.
1
Suppose 4*p + 52*h - 1912 = 55*h, -3*h = -3*p + 1437. Let f = -460 + p. Solve 0 = 3*d - f - 0 for d.
5
Let x(p) = p - 3. Let i be x(11). Let d be 0*(2 - 1) - (-160)/i. Solve 0 = -3*j - 23 + d for j.
-1
Suppose -66*v - 693 = -5313. Solve -73*g = -59*g + v for g.
-5
Suppose 5*y - 215 = -0*y + 5*j, -3*y + 150 = 4*j. Let d be (y - 42)*(-19)/(-4). Solve -24*t = -d*t - 10 for t.
2
Let z(u) = u**2 + 78*u - 335. Let o be z(-81). Suppose 4*y = -n + 95 + 14, -5*y = 2*n - 206. Let k = n + o. Solve m - 3 = k for m.
4
Suppose -503 = -c - 510. Let u be 8/(-2) - (-14 - c). Solve u*n = -3*n for n.
0
Let d = 471 + -463. Suppose -d*j = 29*j. Solve j = 5*i - 6*i + 4 for i.
4
Let g be (168/(-49))/(2/(-10) - (-99)/770). Solve -d - 50 = -g for d.
-2
Let m be 3/(-21) - ((-1632)/56 - (2 + 9)). Solve -29*s = -214 + m for s.
6
Let b = 94 - 88. Suppose 4*y - b = s, -y + 4*y - 4 = s. Suppose 2*v = -s*k - 3*v - 2, 6 = 3*k + 3*v. Solve -2*q - 6 = k for q.
-5
Suppose 5*v - 3*u + 235 = -68, -2*v - 2*u - 118 = 0. Let h = 64 + v. Let z = -34 - -45. Solve h*c + z = -5 for c.
-4
Let r be 6/9 - (-4 + 184/(-12)). Let t = r - 16. Solve -t*d - 29 = -25 for d.
-1
Suppose -5*l - 10 = u, -2*u + 4*l + 70 = 6. Solve 950*d = 954*d + u for d.
-5
Let h = 323 - 525. Let r = h + 205. Solve 0 = 4*b + r + 13 for b.
-4
Let v = -519 + 525. Suppose 51*y = -v*y + 741. Solve 0 = -p - y + 12 for p.
-1
Let i be (-298*1/4)/((-27)/2160). Solve 0 = i*h - 5956*h - 4 for h.
1
Suppose 0 = 3*b - 2*b + 2*h - 190, -5*b - h + 959 = 0. Let f = -184 + b. Solve -f = 4*k + 12 for k.
-5
Let d(g) = g**2 - 14*g. Suppose 4 = -4*x, a = 4*x + 8 - 0. Let f = a + 10. Let n be d(f). Solve -12 = -3*k - n*k for k.
4
Let f(q) = 872*q - 1736. Let r be f(2). Solve 2*h + r*h = -h for h.
0
Let x(a) = -a**3 - 1. Let u be x(2). Let d = -520 + 524. Let y be (-28)/(-4) - (d + u/3). Solve -y*i = -5*i + 1 for i.
-1
Suppose 0 = 5*b + 20, -106*j + 110*j - 412 = 5*b. Solve -j*u = -21*u - 385 for u.
5
Let o(p) = -p**3 - 4*p**2 + 3. Let b be o(0). Let j(a) = -3*a - 12. Let k be j(-8). Suppose -k = -5*u + 13. Solve b = u*n - 17 for n.
4
Let z be 7/1 + 6/(-2). Suppose -4*x + 8 = -i, -4 = -4*x - i + z. Suppose 4*p + x - 14 = 0. Solve p*g = g + 6 for g.
3
Let m = 535 + -382. Suppose 24*r - 135 = m. Solve 8*o - r = 5*o for o.
4
Let y(q) = 3*q**2 + 16*q - 39. Let w be y(-9). Suppose w = 7*a + 3*a. Solve 0 = i + i + a for i.
-3
Suppose 1084 - 1075 = k. Solve -12 = 3*n - k for n.
-1
Let f(i) be the first derivative of -15*i**2 - 330*i - 118. Let d be f(-11). Solve -4*z - 17 + 25 = d for z.
2
Let w be 943/(-2) + 36/(-72). Let o = w + 479. Solve -7*q - o = -0*q for q.
-1
Suppose 4*r - 8 = 0, 2*r + 4 - 12 = -a. Suppose 0 = -x - a + 7. Solve x*w + 13 = -2 for w.
-5
Let w be (16 - 16) + 2*6. Let c be -4*1*((-54)/w)/9. Solve -4*y + 8 = -c*y for y.
4
Suppose 2*u + 9 = 5*m, -4*m - 4*u + 12 = 16. Let a be m/((-1195)/200 - -6). Solve -36*v = -a*v + 16 for v.
4
Let l be (2 + 60/(-7))*(-8 - -1). Suppose -l = -s - s. Suppose -4*z = -s - 9. Solve 4*o - z = 4 for o.
3
Let h be ((-20)/(-15))/(16/60). Suppose -5*f + 20 = 0, 2*f = 2*d - 3 + h. Solve -d*t = t - 12 for t.
3
Suppose 3*z - 262 = -718. Let d = -152 - z. Solve d = -2*t + t for t.
0
Let y(c) = -9*c**3 + 15*c**2 - 21*c - 2. Let u(p) = -5*p**3 + 7*p**2 - 11*p. Let z(n) = 5*u(n) - 3*y(n). Let q be z(4). Solve 0 = q*g + 12 for g.
-2
Let z(j) = j**3 - 20*j**2 - 98*j + 58. Let m be z(24). Solve m*i = 442 - 482 for i.
-4
Suppose -3 = -2*y - 7. Let i be ((-1)/(4/32))/y. Let h be i + (-8 - -2) + 4. Solve 10 + h = -3*b for b.
-4
Let a = -55 - 118. Let d = a - -173. Solve -r + d = 4 for r.
-4
Let y = -15864 - -15904. Solve -33 = i - y for i.
7
Let q = -373 - -376. Suppose -q*y + 44 = m, -3*y + 49 - 9 = 5*m. Solve 5 = y*k - 20*k for k.
-1
Suppose -454 + 544 = 9*v. Let j(d) be the first derivative of -d**2/2 + 16*d + 1. Let n be j(v). Solve 2*a + 2 = n for a.
2
Suppose 4*i + 120 = 10*i. Let r(m) = m - 20. Let u be r(i). Solve -5*o + o + 4 = u for o.
1
Let n = -11954 - -11961. Solve n*d + 60 = 67 for d.
1
Let b = 7240 + -7088. Solve 128 - b = 4*y for y.
-6
Let k be (-10)/(-7) + (-324)/(-567). Suppose -11 = -3*p + 1. Suppose 0*r - k*r + h + 6 = 0, p = 3*r + h. Solve 5 = b + r for b.
3
Let p be -1*1*(-7 - -2). Let k = -84 + 224. Let n be 10*(-1)/2 - k/(-20). Solve -13 + p = -n*o for o.
4
Let r(s) = -30*s - 18. Let x be r(7). Let k = 229 + x. Solve k = 2*w - 5 for w.
3
Let b = -29 - -49. Suppose 10*y - 5*y - b = 0. Suppose 3*m - 5*l - 22 = 0, 3*m + y*l + 0 = 4. Solve -7 = m*q + 1 for q.
-2
Let w = -1943 + 2733. Suppose -w*h = -796*h + 108. Solve 24*p + 18 = h*p for p.
-3
Suppose 0 = 3*h - 8*p - 824, -3*p = -h + 2*p + 263. Solve 156*i + h = 108*i for i.
-6
Suppose 2*i - 4*f - 510 = 0, -f + 5 = -2*f. Solve 7*b = i - 273 for b.
-4
Let q(o) = 21*o**3 + 6*o**2 - 2*o - 1. Let n(a) = 19*a**3 + 5*a**2 - 3*a - 2. Let f(l) = -6*n(l) + 5*q(l). Let d be f(-1). Solve d*i = 9*i + 1 for i.
-1
Let p = -1279 - -1286. Solve -o = -8*o - p for o.
-1
Suppose 3*l = 2*v + 6 + 26, -2*l + 4*v = -24. Suppose -l*s = 6 - 36. Solve s*i + 7 = 4 for i.
-1
Let t be 41 + 3 + (-1 - 42/(-6)). Let d = -23 + t. Solve -d + 29 = -v for v.
-2
Suppose 4*z + 1284 = -2*z. Let c = z - -214. Solve c = -4*t - 0*t for t.
0
Let q be 0/((-2 + -4)/(-3)). Let y be (8 - (15 + -13)) + (0 - 1). Suppose -3*w + 18 = -2*m + y*m, -4*m - w = -15. Solve 0 = -q*n + m*n + 15 for n.
-5
Suppose -3*n + 25 - 16 = 0, -4*n + 12 = -7*r. Suppose -3*b + 4*a + 7 = 0, 0*b + 4*a + 1 = -3*b. Let z be 2 + 4/b + -1. Solve r = z*p - 5 - 10 for p.
3
Suppose 12*u + 3*u - 75 = 0. Suppose 0 = -u*o - 2*l + 15, 4*l = 19*o - 14*o + 15. Solve 0 = -h - 0*h - o for h.
-1
Suppose -2 = -3*w + n + 2, n = w. Let l be 2/1 - (4 - 5) - 3. Let y be (21 + -10 - 6) + l/(-1). Solve 3 + w = y*p for p.
1
Suppose -434 = 5*g - 8*g - o, 0 = 5*g + o - 722. Suppose 10*u - 26*u = -g. Solve -u + 4 = -5*i for i.
1
Suppose -5*u - 85 + 100 = 0. Suppose -3*t + u*t = -2*t. Solve t = 4*j + 31 - 39 for j.
2
Let t(u) = 2. Let g(k) = -4*k**2 + 11*k - 17. Let s(d) = -g(d) - 6*t(d). Let a be s(3). Solve 7*o + a = 3*o for o.
-2
Let o = -590 - -1116. Suppose 26 = 5*v + o. Let y = v - -108. Solve 5*f = f + y for f.
2
Let u(g) = g. Let z(y) = -10*y - 8. Let c(x) = -12*u(x) - z(x). Let v be c(4). Solve v = -2*p + 1 + 7 for p.
4
Suppose 14*z + 27 - 55 = 0. Let a be (11 - 10)*(-1 + 0). Let o be -3 + (9/6)/(a/(-2)). Solve o = -z*t - 2 for t.
-1
Let d be (-2)/4*(-1 + -9). Suppose 17*h - 87*h = -231*h + 2254. Let w(k) = -k**2 - 7*k - 6. Let b be w(-5). Solve h = d*z + b for z.
2
Let h(g) = 5*g**2 - 18*g + 28. Let b be h(2). Solve -109*f + 111*f + b = 0 for f.
-6
Let t(a) = -9*a**2 - 26*a - 14. Let l be t(-2). Solve 6*i = 8*i - l for i.
1
Let q = 6586 + -6526. Solve -15*l + 3*l = q for l.
-5
Let j be 4 + 210/84*(-48)/(-15). Suppose -4*r = -0*r - 132. Let q be 4/16 + r/j. Solve q - 2 = o for o.
1
Let h = -160 + 157. Let p be -2*1*7/(h - 4). Let a(k) = k**3 + 3*k**2 - 2*k + 2. Let g be a(-3). Solve 0 + g = p*v for v.
4
Let w be -1 + -6 - (37 + -5). Let d = -32 - w. Solve 6*n = d*n for n.
0
Let r(g) = g**3 - 13*g**2 + 23*g - 9. Suppose 0*h - 88 = -8*h. Let p be r(h). Solve 0 = p*v - 0 + 6 for v.
-3
Suppose 3*b + 1463 = 26