 for w.
0
Let x = -8338 - -8343. Solve 4*o + 429 = 421, -3*z + x*o = -13 for z.
1
Suppose -51 = -2*s + s - 3*t, -3*t + 255 = 5*s. Suppose -s = -4*n + j, -55*n - 2*j - 4 = -56*n. Solve -4*c = -7*c + 4*o - n, o - 8 = 3*c for c.
-2
Let p = 130 + -127. Let l = -19 - -22. Solve -4*m + 13 = -l*i, -p*m - 1 = -4*i - 16 for i.
-3
Suppose 0 = -2*w - 16 + 4. Let k be (3/(-4))/(8/384*w). Solve 3*v = k + 3, h + 5 = v for h.
-2
Suppose 0 = -3*a + 5*a - 10. Suppose 5*n - 6 = -z, -z = -5*n - 1 + 15. Solve -3*s + 4*x = -15, -a*s - 5 + 4 = n*x for s.
1
Let u(k) = 7*k - 10. Let y be u(2). Solve 5*d + 28 = y*g, 7 = 3*g + 1 for d.
-4
Let w(r) = 19*r**2. Let z be w(1). Suppose 0 = -4*t + 8*g - 5*g + 66, -g = 2*t - 38. Suppose 0 = 31*f - t*f. Solve 5*s - 5*q = -30, 3*s - 5*q + z + 7 = f for s.
-2
Let w(z) = 4 - 4*z - 1 + 6 - z**2 + 12. Let p be w(-7). Suppose p = -2*v + 2*y + 4, -6*v - 3*y + 29 = -2*v. Solve -3*x + 5*h = 1, -7 = -5*x - h + v*h for x.
3
Suppose -3*x + 54 = 3*x. Let o be (-1192)/(-18) + (-2)/x. Let t be -1*(-2)/(-11) + 78/o. Solve -3*p = l - 2 + 5, -p - t = -5*l for p.
-1
Let q(s) = s**3 - 4*s**2 - 12*s + 4. Let l be q(6). Suppose -3*m + 28 = -5*f, -2*m + 24 = 2*m - l*f. Solve 0*i + 4*i + 14 = -5*t, -t - m = -i for i.
-1
Suppose -2*w - 2*w = -3*b - 10, 0 = -w - 3*b + 10. Suppose 42*z - 46*z = -w. Solve -4*l = -k + 15, -z = l + k + 9 for l.
-5
Let m(p) = p**3 + 11*p**2 - 26*p + 7. Let l be m(-13). Solve -3*d - h = l, 3*d - 6*h + 3*h - 9 = 0 for d.
-1
Let i = 1 + -7. Let p be -2*(2 - (-9)/i). Let o be (7 + -8)*(-1 + p). Solve 27 = o*g - 5*h, g = -2*g - 3*h - 12 for g.
1
Let l(k) = k**2 + 3*k + 4. Let g be l(-1). Suppose -g*r = 8*r. Solve 9 = 3*u, r*u + 3*u - 19 = 5*v for v.
-2
Let i be (2256/5 - 1) + (-2)/10. Let g = i + -694. Let h be (-18)/42 + g/(-14). Solve 3*q = 2*q - 3*c + 14, -q = 4*c - h for q.
5
Let p = 2616 + -2573. Solve 0 = w - 3*k - 16, -16 + p = 2*w - 5*k for w.
1
Let h(f) = 8. Let g(u) be the first derivative of u**2/2 + 17*u - 17. Let n(j) = 3*g(j) - 7*h(j). Let x be n(3). Solve 0 = -b + 3*b - 4, 0 = w - 2*b + x for w.
0
Let b(f) = 35*f - 171. Let d be b(5). Solve -d*g - 3 = -5*u, 0 = 5*u - 78*g + 77*g - 12 for u.
3
Suppose 0 = -4*n + 5*h + 121, -11*h = -13*h - 10. Solve 8 = -4*b + 5*a, 5*a - 59 + n = -5*b for b.
3
Suppose -18*r + 13*r + 20 = 0. Suppose -5*b - 124 = 4*w, r*b + 3 - 19 = 0. Let z = w - -41. Solve -2*t = y + 3*t - 22, 0 = -5*y + z*t - 10 for y.
2
Let m = 184 + -179. Suppose 6*z - 2*z - 3*v = 2, -m*z + 16 = 3*v. Solve z*g + 2*w + 6 = 4*w, w = 5 for g.
2
Suppose 324 + 44 = 92*v. Solve 2*r = -4*c + 30, -2*c - r = -v*r + 5 for c.
5
Let j be 94/(-517) - 19/(-22)*6. Solve 3*b = b + 5*a - 28, j*b + 3*a = -8 for b.
-4
Let l = -65 + 70. Let w be 3/((10/(-4))/(-5)). Let y be (-26)/(-6) - 2/w. Solve -4*f + y*d - 16 = 0, f + d = -d + l for f.
-1
Let s = 21604 - 21586. Let b be (0*(-1)/(-3))/(-2). Solve 2 = -2*v, b = -3*u + 6*u - 3*v - s for u.
5
Let m be 10 + -5 - (-3 + 4 + 0). Suppose -2*f + 3*d + m = 0, -3*f - 2*f + 10 = 3*d. Solve -l - f*x = -4*x + 5, -4*l - 2*x = 0 for l.
-1
Suppose 3*l = -6 + 30. Suppose -75 = -l*k + 5. Suppose 64 = -14*u + 46*u. Solve 0 = u*c - 2, 2*p - k = 4*c - 4 for p.
5
Let s(i) = -5*i**2 - 9*i + 12. Let f be s(-8). Let y = f - -236. Solve y = -3*r + 12, -r + 12 = n + 3*n for n.
2
Let k(t) = t - 4. Let y be k(7). Let i be y/((-6)/(-2)) + 11. Suppose 325 = 166*p - 339. Solve d - r + 0*r = -2, -p*r + i = -5*d for d.
-4
Let v = 1042 + -1026. Let c be 2 - -1 - (9 + -9). Let j be 6/15*(c + 2). Solve -3*i - v = -3*u - j*u, 5*u + 2*i - 6 = 0 for u.
2
Let b be 2/(-4)*(1 - 3) + (-2228)/(-557). Solve 13 - 12 = -3*n + a, 0 = b*n - 2*a + 2 for n.
0
Suppose 3*t - 36 = -2*c, 4*c - 16 = 4*t + 36. Solve -2*x - 5*x + 4*s - 12 = 0, 4*x + c = 5*s for x.
0
Suppose 0*k = -2*k - m + 109, -3*m = 4*k - 223. Let x = k + -50. Suppose 3*d + x*d - 20 = 0. Solve -4*j + d*c + 12 = 0, 0*j + j - 4*c = 18 for j.
-2
Suppose 49*a = 46*a - 27. Let g be (a + 11)/(3/(-6)). Let b be 30/3*g/(-8). Solve 0 = 3*l + 5*h - 3, -b*l - h = h + 14 for l.
-4
Let h = -2445 + 2468. Solve 0 = -25*d + h*d - 2*p - 16, -4*d + 3*p + 3 = 0 for d.
-3
Let q(s) = -35*s + 72. Suppose -24*a + 3*a + 42 = 0. Let k be q(a). Solve 2 = -4*z + d, -k*z - 3*z + 2*d = 1 for z.
-1
Suppose 108 = 5*r + 3*d, 12 = 3*r - 3*d - 48. Suppose 15 + r = 18*l. Solve 2*o = 0, q + 5*o - l = -0*o for q.
2
Suppose 41*u = 51*u - 50. Suppose -3*h = -u*j - 30 + 9, -h = 4*j + 10. Solve 3*f - v - 4*v + 14 = 0, -h*v + 18 = 5*f for f.
2
Let l be (-3 - -3) + (-1 - -6). Suppose -x = -2*j - 26, 2*x - 2*j + l*j - 52 = 0. Let a = -2331 + 2334. Solve 5*q + x = -2*s - a, s - 18 = 4*q for s.
-2
Suppose 0 = 2*h - 3*a - 32, -4*h + a - 9 = -33. Solve 3*g + h*o - 4 = 0, -5*g + 41 = 3*o + 49 for g.
-4
Suppose -3*r = 4*t - 11, 67*r + 26 = 72*r - t. Solve 2*m - r*u + 21 = 0, -4*m - m = 3*u + 6 for m.
-3
Let t be -29 - -62 - 27/3. Suppose 4*l - 2*p = 25 - 7, 5*l - p = t. Solve 0 = -4*x + 5*c - 6, -2*x - 2*c = -l - 1 for x.
1
Let b = 4 + -1. Suppose 2*f = -o - f + 6, -b*o = 5*f - 14. Solve -o = -4*z - 3*v, -3*z + 5*v = -0*v + 34 for z.
-3
Suppose -51 = 47*l - 64*l. Let d be (-4 + (-88)/(-20))*1*10. Solve 9 = 5*t - l*v - 6, d*t = -2*v - 10 for t.
0
Suppose 0 = -4*i + 454*z - 457*z + 202, 5*i = -3*z + 248. Solve 2*x + i*o = 45*o - 5, 0 = 3*x + o + 9 for x.
-4
Let j(l) = l**3 + 13*l**2 - 13*l + 18. Let q be j(-14). Solve -27 = -4*d + d + 5*a, 5*d = -q*a + 8 for d.
4
Let i = -3260 + 3263. Solve i*g = 3*d - 12, -4*g - 2*d + 20 = 3*d for g.
0
Let r = -1 - -1. Let z be 2/6 + 3136/96 + -31. Solve z*c - 4*d - 24 = -2*c, r = -3*d - 3 for c.
5
Suppose 41*c = -63*c + 308 + 108. Solve 0 = -3*o + 2*b - c, 9*b - 8*b - 5 = 0 for o.
2
Let i be (6 - -8) + (-154)/(-70)*-5. Solve 71*k + 1 = 70*k - h, -3 = 5*k + i*h for k.
0
Let a be (-224)/14 - -28 - 6. Solve -h = -3*s - 13, -a*h - 35 = 5*s - h for s.
-5
Suppose 11*m - 7*m + 16 = 0. Let r be (m/10)/(8 - 82/10). Solve -i - 3*k + 10 = 0, i + 2*k = -r*i - 5 for i.
-5
Let y(a) = a**3 - a**2 - a + 20. Let v be y(0). Suppose 0 = 3*k + 3 + 12, -2*h = -5*k - 37. Suppose 2*s = h*s - v. Solve 5*j - 23 = g + g, -5*g - s*j = 5 for g.
-4
Suppose 0 = -1616*w + 1636*w - 540. Solve -6*i - 3*t - 21 = -3*i, i + 5*t = -w for i.
-2
Let a(m) be the second derivative of -5*m**4/12 - m**3 + 7*m**2/2 - 11*m. Let i be a(3). Let j be 4/10 + i/140. Solve j = 3*k - 2 - 10, 3*g - 7 = 2*k for g.
5
Let a(q) = -5*q + 7. Let p be a(0). Suppose p*f = -9 + 30. Solve -4*i - i = f*w - 4, 6 = 3*i for w.
-2
Suppose 0 = 4*m + 20, 3*h + 0*m - 3*m = -33. Let c(y) = -9 + 3 + 0*y**2 + 27 - y**2 - 15*y. Let z be c(h). Solve 0 = -3*t - z*k - 4, -k - 2*k + 3 = 0 for t.
-3
Suppose 0*a = h - a + 63, -295 = 5*h + 5*a. Let l = -56 - h. Solve 9 = -2*i - 3*f, -5*i - 2*f = -0*f - l for i.
3
Let j(a) = a**3 - 6*a**2 + a - 3. Let s be j(7). Let m = 14 - s. Let w = m - -41. Solve -2*i + 0*i + 5*u = 19, w*i - 4*u = -16 for i.
-2
Suppose 50*b + 256 = 115*b - 33*b. Solve 4*x + 28 = -20*r + 16*r, -b = -x + 4*r for x.
-4
Let u be (28/(-10))/(4/(-10)). Suppose 0 = -u*q + 4*q + 6, 0 = -2*r + 4*q - 64. Let l = -8 - r. Solve -3*n = -h + l, 25 + 10 = -4*n + 3*h for n.
-5
Suppose 4*j + 5*f - 7 = 0, 5*j - 57 = -f - 22. Let c be -1 - (4 - (j + -1)). Let q be (c*(-1)/6)/((-1)/9). Solve q*n - 2 = i + 2, -3*n = -9 for i.
5
Let t(k) = k**2 - 5*k + 5. Let v be t(4). Suppose -2*n = 2*u - 30, 3*n = -0*n - 2*u + 48. Suppose -n*r + 39*r = 0. Solve -2*w = -m, 4*w + v - 5 = r for m.
2
Let j be (3/9)/1 + (-140)/(-12). Suppose 3*i - 5*g - j = 3, -g = i + 3. Suppose 2 = -3*u - l, -3*u + l + 2 = -i*l. Solve u*b = b + 4*d - 11, -8 = -4*d for b.
3
Let t be 165/(55/5) + -11. Solve 0 = 2*j + 3*w - 1 - 7, -t*j - 3*w + 4 = 0 for j.
-2
Let f(j) = -7 + 16 - j + 5 + 6. Let b be f(7). Suppose 3*v + 5*x + 29 = 5*v, -x - b = -4*v. Solve -3*i + 7*i + 20 = -d, v*d + 20 = -4*i for i.
-5
Let l be (-2)/4*-16*(-1)/(-1). Suppose 0 = -2*f, 4*o + 22*f - 21*f - l = 0. Solve -o*r + 3*b = -2*b + 31, -9 = -2*r - 3*b for r.
-3
Let v be (-8)/(-24) + 20/12. Solve 15 + 6 = -d - 5*c, d - v*c - 7 = 0 for d.
-1
Suppose 0 = 27*p + 17 + 90 - 593. Solve -k + 4*u - 11 = 0, u = 4*k - 4 + p for k.
-3
Let w be (-4)/(-1*(3 - 2)). Let i(l) = 277*l + 5820. Let o be i(-21). Solve 2*c - o*g = c - 13, 12 = 4*c +