= -3*k - 4 for p.
-4
Suppose 5*b - 5*z - 250 = 0, -4*z = -6*z + 4. Let n be (-32)/6*(-39)/b. Solve -k = -5*k - 3*g + 28, -n*g = k - 20 for k.
4
Suppose 2*h + 2*h - 2*s = -116, -s - 2 = 0. Let j be h/9*(-15)/(-10). Let z be (-17 - -15)/(2/j). Solve -2*t + 0*t + z*x = -6, 0 = 4*t + 4*x - 12 for t.
3
Suppose 33*s = 2*s + 155. Solve -4*t + 6*t = 4*h + 2, -5*t + s = 4*h for t.
1
Suppose -3*w - 9 + 13 = 4*b, 5*b = -5*w + 10. Solve -w*c - 18 = -s, -5*s - 5*c = 16 - 6 for s.
2
Let k = 0 - -3. Suppose -k*u = 3*n - 24, 3*u - 4*n + 0*n - 3 = 0. Let a = 23 + -16. Solve 0 = u*q - 4*f - 15, -a - 3 = 5*q + f for q.
-1
Let d(z) = -6 + z + 12 + 10. Let b be d(7). Suppose -2*j = -2*i - 14, -2*i = -5*j - 0*j + b. Solve 5*r - 17 = -2*t, 5*t - 1 = j*r - 5 for r.
3
Suppose i - 6*i - 185 = 0. Let q = 54 + i. Solve -q = -n + 5*r, -2*n + 3*n + 4*r = -19 for n.
-3
Suppose -16*g = -20*g - 2*k + 20, 18 = 5*g - k. Let y be -1 + 3 + (1 - 1). Solve g*p - 5*s = 7, -y*p + 3*s = -p for p.
3
Let q(u) = -17*u + 139. Let m be q(8). Solve m*f = 3*j, -5 = 7*j - 2*j for f.
-1
Let h be (-50)/(-4) - (-18)/(-12). Let n = h - 8. Let u = 10 - -8. Solve -3*d = -2*c - d - 4, -n*c - d = u for c.
-5
Let h(r) = -r**3 + 8*r**2 - r + 8. Let i be (1 + -4)*(3 + 0). Let t = -1 - i. Let v be h(t). Solve 3*g + z = -v*g + 1, -4*g + 5*z = 5 for g.
0
Let a be 0*2/4 + 4. Suppose -a*j - 38 = -5*w, 0 = 3*w - 5*j + 2*j - 24. Solve -w*f + 16 = x - 2*f, -4*x + 4*f - 36 = 0 for x.
-4
Let i(o) = -o**3 - 6*o**2 + 6*o - 2. Let d be i(-6). Let a = d + 74. Let k be ((-1)/3)/((-3)/a). Solve k*n + 20 = -4*j, -n + 4*j + 2 = n for n.
-3
Suppose 0 = -4*j + 16*j + 336. Let y = j + 31. Solve -w + 16 = -y*i, i - 2*w + 7 = -0*i for i.
-5
Let p = 366 - 366. Solve p = 5*l, 0 = r + 4*r - 5*l + 25 for r.
-5
Let g(y) = -y**2 - y + 21. Let u be g(-6). Let p(b) = -2*b**2 - 19*b - 5. Let n be p(u). Solve 0 = -a - 0*v + v, 0 = n*v for a.
0
Let h be 2/(20/34) + 18/(-45). Suppose h*j - 20*j = 0. Solve 2 = -3*c - 3*y + 8, -5*c - 3*y + 14 = j for c.
4
Let c(h) = h. Let v be c(2). Let j(k) = 2*k**2 + 69*k + 299. Let d be j(-5). Solve -d*q + s = 4*s + 22, 0 = -5*q + v*s - 16 for q.
-4
Let k be 90/(-4) + 2/(-4). Suppose -1281 = -2*b - 1229. Let l = b + k. Solve 2*x = -l*p - 15, -4*p - 20 = -0*p - 4*x for p.
-5
Let f = 56 - 52. Solve -f*p + 3*p = -4*r, -4*r + 3*p = 0 for r.
0
Let z be 10*1/(-2) + 9. Suppose c - 35 = -f, f - c - 53 = -18. Suppose -3*m + 5*p - 15 = 2*m, -5*m = -2*p. Solve -3*w - m*k - 9 = 0, 4*w - k - z*k = -f for w.
-5
Suppose 5*d = -u + 3*d - 4, 5*d + 21 = 3*u. Solve -m = -5*b - 12, 5*m + 4*b + u = 4 for m.
2
Let x(l) = -120*l + 120. Let n be x(1). Solve 2*q + 0*q + 2 = -3*o, n = o - q - 1 for o.
0
Let y(v) = 5*v**3 - 2*v**2 - v - 5. Let d be y(-2). Let l be d/(-9) + ((-40)/(-12))/(-5). Solve l*p - 3*c = -23, 2*p + 3*p + c + 19 = 0 for p.
-4
Let p = 3 + -1. Suppose w = 3*w + 2*k - 10, p*k = 4. Suppose 2*g + 0 - 6 = 0. Solve 3*s + 2 + 5 = -2*f, -w*s - g*f = 6 for s.
-3
Let g = -6 - 5. Let l = 14 + g. Solve -5*y + h - 19 = 0, 4*y + 20 - 1 = -l*h for y.
-4
Suppose 5*k = 2*y - 10, -2*y = 11*k - 15*k - 10. Solve -5*i - 13 = -f + 7, -35 = y*i - 4*f for i.
-3
Let f = -225 + 230. Solve -f*g + 3*d = 40, 0 = -2*g - 3*d + 4*d - 15 for g.
-5
Let q be (-1)/(-3) + 408/153. Solve 2*i - 11 = -q*f, -f + 0 = 3*i - 13 for f.
1
Let g be 2/(-6)*3*-13. Let l(n) = -n + 18. Let w be l(g). Suppose 0 = -4*o + 12, -2*p - w = -3*o + 4. Solve 0 = 2*z - 4*v + 17 + 1, p = -4*z - 3*v - 14 for z.
-5
Suppose 0 = 5*s + 137 - 487. Suppose -7*z + 56 + s = 0. Suppose p + 2*p + 26 = 4*m, z = 4*m + p. Solve -2*i + m*t = 2*i - 5, -4*i - 3*t + 29 = 0 for i.
5
Let u be 434/279*18/4. Solve -u = 3*o - v, -4*o - 2*v - 36 = 2*v for o.
-4
Let d(j) = -2*j**2 + 5*j + 5. Suppose -21 = 12*q - 19*q. Let o be d(q). Solve 3*w + o*p = -1, 4*w - 6*w - 10 = -p for w.
-3
Suppose 30*o = 10*o + 60. Solve -o*c - 4*p = -6, 2*c = p - 2*p + 4 for c.
2
Suppose -16*w = -26*w + 140. Let y be ((-4)/(-7))/(2/w). Solve 3*n = -3*i - 3, n - 2*i - 3 = -y*i for n.
-5
Let p = 530 + -520. Solve 0 = 3*w + 5*d + 2 + 8, 0 = 5*w + 3*d - p for w.
5
Suppose 47*o - 42*o - 15 = 0. Solve p - 4*q = -14 - 10, -5*q + 13 = o*p for p.
-4
Suppose 5*c = 7*c - 4. Solve -c*x - 7 = -x + 2*w, -8 = -x + 3*w for x.
-1
Let b(i) = -3*i - 1. Let w be b(-2). Suppose 105 = 4*x - 5*t, 0*x + 3*t = w*x - 115. Solve -5*v + v = -4*o + x, -4*o + 14 = 2*v for o.
4
Let k = 144 + -144. Solve 4*h = -5*c + 2*h - 4, k = 4*c - 5*h + 23 for c.
-2
Suppose 0 = 2*a - 6 - 4. Suppose 2*r - 29 = -2*f + f, a*r + 5*f = 80. Solve -2*g + g = -3*v + r, 2*g - 3*v = -11 for g.
2
Let r be 7/(210/(-12))*-5. Solve g - s = 1 + r, -g = -4*s for g.
4
Suppose 0 = -3*c + 9*c + 66. Let w(k) = k. Let n(d) = 3*d - 6. Let z(j) = n(j) - 4*w(j). Let m be z(c). Solve 0 = -m*o - 0 + 15, 5*r - o = -18 for r.
-3
Let u be ((-112)/(-35))/(2/(-40)). Let w = -61 - u. Solve 3*p + 5*m = p + 23, 0 = -w*p - m + 2 for p.
-1
Suppose 2*r - 13 = -5. Suppose -12 + 40 = r*f. Let c(g) = -g**2 + 6*g + 9. Let u be c(7). Solve 3*n + f = u*b + 2*b, 4*n + 14 = 3*b for b.
-2
Let h be (-303)/9 - (-4)/6. Let r = h - -33. Solve x - 4 = 2*j - 4*x, -4*x + 8 = r for j.
3
Suppose 0*v = -4*v + 16. Solve 0 = 4*n - 0*n - 2*o + 8, -v*o = -3*n - 6 for n.
-2
Let i = 16 + -23. Let q = -2 - i. Let n = 834 - 829. Solve 5*y - 3*y = -3*r + 7, -n*r = q for y.
5
Suppose 0 = -b + 4*b. Let s(r) = -r**2 + 41. Let u be s(6). Solve 3*a - 32 = -u*z, 4*a + z + 12 - 32 = b for a.
4
Suppose 0 = -x - 232 + 234. Solve 5*t = 2*j + 8, -3 + x = t - 3*j for t.
2
Let o be 8448/660 - (-22)/10. Solve 0 = 5*a + m, 0 = -5*a + 21*m - 25*m - o for a.
1
Suppose 2*h - 10 = -2*l, -3*l + 0*l = 5*h - 21. Solve p - 4*j - 21 = 4*p, -h*p - 3*j = 18 for p.
-3
Suppose -30 - 81 = -37*s. Suppose -7*o = -3*o. Solve 3*x - n + 0*n + 2 = 0, o = -2*x + s*n + 1 for x.
-1
Suppose -5*w + 4 = -1. Suppose 4*t = w + 7. Solve t*a - 3*m - 15 = -3*a, -a + 15 = -3*m for a.
0
Let y = 4 - 4. Let t(d) be the first derivative of d**4/4 - 5*d**3/3 + 3*d + 9. Let q be t(5). Solve y = -3*v + 4*i - 2*i - 13, 3*v = -q*i - 18 for v.
-5
Let m = 80 - -22. Suppose -39 = -x + 5*j, -2*x + 6*x - 2*j = m. Solve 4*a + x = g - 5*g, 5*a - 2 = 3*g for a.
-2
Let t be -2*(-6)/(4 - 1). Suppose 2*v + t*f = 6, 0 = -2*v + 4*f - f + 6. Solve -3*x - v*h + 10 = 4, 2*h = 4 for x.
0
Suppose 6*p - 2*p = 16. Suppose -p = -3*l - l. Solve -d - 2*c = -c + l, 5*d = c - 5 for d.
-1
Suppose m + 4*m = -u + 21, 3*u = 4*m - 32. Solve 0*z + m*g = -5*z, -z - 30 = -5*g for z.
-5
Let q(t) = t**2 + 6*t - 12. Suppose 2*z = -8 - 8. Let d be q(z). Solve -m - 2*m - 3 = -d*p, 4 = 2*p - 4*m for p.
0
Let n(o) be the second derivative of 2*o**3/3 - 24*o**2 + 3*o. Let u be n(12). Let y = -3 + 5. Solve -y*m + 3*w - 18 = u, m + 17 = 2*m + 5*w for m.
-3
Suppose 0 = -3*u + 3*v, -5*u + 30 = 3*v + 2*v. Let s = 12431 + -12427. Solve -2*w = u*t + 2*w - 12, -s*t = 2*w - 6 for t.
0
Let c be (((-5)/8)/(-5))/((-16)/(-640)). Suppose 2*d + 2*d - 8 = 0. Solve z + 2*j + 12 = d, -c*z = -4*j + 8 for z.
-4
Let q(g) = g**3 + 9*g**2 - 10*g + 3. Let h be q(-10). Solve 4*i - 15 = -h*s + 3*i, 4*i + 25 = 5*s for s.
5
Suppose -40*a = -41*a + 3. Solve 5*b + l = -5, -l - 1 = a*b - 0*l for b.
-2
Let r(h) be the first derivative of -h**2/2 + 20*h - 10. Let y be r(16). Solve -2 = i - z, y*i + 3*z = -5 - 10 for i.
-3
Let n = -69 - -74. Solve 16 = -4*r + f, r - f - n = -6 for r.
-5
Let y(h) = -2*h - 24. Let a be y(-14). Solve -a*t = -i + t + 15, 4*t + 13 = i for i.
5
Suppose 152*y = 147*y + 3*g - 2, -3*g + 18 = 3*y. Solve 0 = f - k - y*k - 6, -5*k - 18 = f for f.
-3
Let t(y) = 3 + 39*y**2 - 29*y**2 + y - 2. Let k be t(-1). Suppose -w + o + 2 = 0, -o - o - k = -5*w. Solve -l + w = q + 1, 3 = -3*q for l.
2
Let t be (-10)/(-4)*4/2. Let h(q) = -13*q - 14. Let r be h(-8). Let p = 95 - r. Solve g - p = -2*z, t*g = 5*z - 13 + 38 for g.
5
Let d(q) = -35*q - 32. Let h be d(-1). Solve -2*w + 8 = -r, h = 4*w + 5*r + 15 for w.
2
Suppose 73 = -y + 75. Solve 16 = 4*x, -y*v + 4*x - 20 = -x for v.
0
Suppose 2*h + 0 = t + 4, -2 = -4*h + 5*t. Suppose h*n + 4*j = 14, 4*n + 5*j - 30 = -n. Suppose n - 4 = 3*q. Solve -m - 29 = 4*m + u, q*m = -2*u - 18 for m.
-5
Let g(j) = -6*j - 41. Let x(h) = -12*h - 80. Let f(u) = -11*g(u) + 6*x(u). Let v be f(-8). Solve 3*k =