= n*a - d for a.
2
Suppose 161*k - 4 = 159*k. Solve -k*y = -2*f + 12, 4*y = 2*y - 2 for f.
5
Let a = -6 - -10. Let f = 4 - a. Suppose -2*q + f + 6 = 0. Solve -3*z = -5*r - z + 31, -5*z - 30 = -q*r for r.
5
Let x = 209 - 205. Solve 7*k + 11 = -4*g + x*k, k = -5*g - 22 for g.
-5
Let i = -15 - -15. Suppose i = -3*c + 3. Let y(m) = 3*m + 2. Let h be y(c). Solve 0 = h*r, 0 = -0*p + 4*p + 4*r - 12 for p.
3
Let t be 10/(-4)*(-15 + 13). Suppose t*z = 3*z. Suppose 0 = -5*n - 5*g - 5, 5 = -n - 2*g - 1. Solve -v - 2*y = 3*v - n, -4*v + 4*y + 4 = z for v.
1
Let i = -56 - -70. Suppose -4*u + i = -2*b, b + u = -4*u + 28. Solve -y - a = -4*a + 3, 0 = -y - b*a - 3 for y.
-3
Let y be (-492)/(-30) - (-6)/(-15). Solve -2*w = g - 5*g + 14, -2*g + 4*w = -y for g.
2
Let j(r) = 9*r + 6. Let c be j(8). Let x = -78 + c. Solve -3 - 13 = 3*p + 4*u, 3*p + 2*u + 8 = x for p.
0
Suppose -5*i - 38 + 36 = 2*f, 8 = 4*f + 4*i. Let j be (0/2)/(-2)*1. Solve j*t = t - 4*c + f, 14 = 2*t + 3*c for t.
4
Let u(w) = -2*w**2 - 21*w - 36. Let i be u(-8). Let t be 3/2*(-4)/(-3). Let v be (-2)/2*(-30)/6. Solve -t*o = i*s - 8, -2*s = o - v*o - 24 for o.
-4
Let l = -25 - -30. Suppose -f = 4*f + 5*k + l, -k = 5*f - 15. Solve 3*p + f*v - 6 = p, 5*v - 6 = -p for p.
1
Let q(x) = -x**3 + 4*x**2 + 8*x - 12. Suppose -5*v = 4*v - 45. Let h be q(v). Solve -1 = -r + h*t, -5*r - 5*t + 5 = 20 for r.
-2
Suppose -19 = -2*n - 5*q + 11, 0 = -n - 3*q + 17. Let s = 4 + -2. Suppose 4*x = n*f + 1, s*x = 3*f + 3 - 4. Solve -6 = 4*b + f*j, 4*b + 20 = j + 6 for b.
-3
Suppose 5*d + 15 = 0, 4*d - 32 = -2*r - 0. Suppose -4*z - r = -f, -3*z = -2*f + 2*z + 32. Let g = f - 2. Solve -4*c + g*t = -3 - 5, 4*t - 4 = c for c.
4
Suppose 10 = -14*v + 15*v. Let g be -3*1 + v + 21/(-7). Solve 2*q - 8 = g*f, -4*q - 28 = f + 2*f for f.
-4
Suppose g = -69 + 75. Solve 3*z + 5*n = g*n, n = -5*z for z.
0
Let h(v) = 2*v**2 + 11*v + 11. Let f be h(-6). Solve -3*g + f = 2*r, -5*g - 1 = -8*r + 4*r for r.
4
Suppose -2*s + 5*q + 16 = 0, -q = -0*q + 2. Let l(p) = p**3 + p**2 + 3. Let x be l(0). Solve -5*t - s*w + 28 + 2 = 0, -2*t - 9 = -x*w for t.
3
Let p(n) = -n**3 + 6*n**2 - 2*n + 1. Let l be p(5). Suppose -t - 5*z = -l, -3 = t - z - 1. Let m = t + 3. Solve g - 5*o + 30 = -4*g, -2*g - m*o = 6 for g.
-5
Let x = -9 - 11. Let s be (-2)/(-8) + (285/x)/(-3). Solve s*q = -5*d + 25, 9*d - 4*d - 15 = 5*q for q.
1
Suppose -2*q + 25 = 3*q. Suppose -q*g = -4 - 11. Suppose -s - 95 = -5*y, g*y - 3*s = y + 25. Solve -6*f = 5*v - f + 25, 5*v = 4*f + y for v.
0
Suppose -2*p + 2*l = -12, -2*p + 0*l = 2*l. Let j be 1*((-3)/(-1) - 3). Suppose 0 = -69*d + 4*d + 130. Solve d*c - 2*s + 16 = j, -3*c - p*s - 9 = -s for c.
-5
Let i(d) = -1 - 75*d + 77*d + 14*d**3 - 1. Let y be i(1). Solve -2*r - 14 = -r + 3*q, -q - y = 5*r for r.
-2
Let p = -5 + 1. Let i be ((-66)/(p + 1))/2. Let k = 11 - i. Solve -2*x + r - 5 = 0, 3*r - 13 = 5*x - k*r for x.
-2
Let w(l) = 128*l - 638. Let k be w(5). Solve -4*d + 8 = 4*o, k*o - 16 = -10*d + 12*d for o.
5
Let l = 212 - 207. Solve 5*m - 5*v + 20 = 0, l*m + 3*v - 2 = 3*m for m.
-2
Let f = 10 + -4. Suppose 27 = f*j - 3*j. Let h = -6 + j. Solve 0*t + 3*t - 3 = -h*w, 3*t + 5 = -5*w for w.
-4
Let v = 81 + -68. Suppose -5*k - x = -v - 12, 0 = 3*k + 2*x - 22. Solve -5*z + 0*q + 30 = 5*q, -k*q - 1 = -z for z.
5
Let z(w) = w**3 + 6*w**2 - w - 3. Let u be z(-6). Let t = -23 - -24. Let d be (0/(-1) - -3)*1. Solve a - t - 1 = 2*b, -2*a + u*b = -d for a.
0
Let g(a) = -a**2 - 12*a - 31. Let w be g(-7). Suppose 1 - 3 = -2*f + 4*d, -4*d = w*f - 16. Solve 0 = 5*y + 5*k - 10, 4*k - 11 = 2*y - f for y.
0
Let h be ((-40)/24)/((6/(-2))/9). Solve -2*t - 8 = -j + 1, -h*t = 4*j + 3 for t.
-3
Suppose 0 = 3*u - 4*s - 6, -2*u - 20*s + 4 = -17*s. Solve x + 6 = u, -5*l + 32 = -3*x for l.
4
Let v = -356 - -191. Let a be 4/5 - 11/(v/78). Solve 0 = -5*z, 5*q + 4 = z - a for q.
-2
Let k(m) = -4*m + 9. Let p be k(1). Solve -5*x + 2*u - 21 = 0, 0 = u - p*u + 12 for x.
-3
Let c = -8 - -9. Solve 2*r + 0*r - 4 = 2*y, -c = -4*y - 5*r for y.
-1
Let s be 1/(-6)*-2*129. Let d = -40 + s. Solve y - d*l - 3 = 0, 0*y + l + 9 = 3*y for y.
3
Suppose -2*s - 328 = -332. Solve -t = -3*r + s, 0*t + 4 = t + 3*r for t.
1
Let l(x) = x**2 + 19*x + 110. Let q be l(-9). Solve 0 = -4*w - q, -5*w = 5*k - 2*w for k.
3
Let u be 192/108 + 2/9. Let p be 4/(-8) + u/4. Suppose 3*z - 19 = 2*y, 2*z + p*y = 4*y + 18. Solve -3*f - 5*q = 20, -3*f + z*q = 1 - 21 for f.
0
Let a = 758 - 754. Let q = -11 - -15. Solve -q*m + a*t + 7 = -5, -m - 1 = -5*t for m.
4
Let n = -16 - -41. Suppose 5*j = 5*q + 55 + n, 5*q - 88 = -3*j. Suppose -2*w = -2*m, -w + 11 = 4*m - 14. Solve -5*u + j = -g, m*g - 15 = 4*u - 3*u for u.
5
Let x(m) = -2*m**3 - 28*m**2 + 28*m - 27. Let a be x(-15). Let s be -1 - 0 - 4/(-4). Solve 0 = -4*g + 3*o + 2, s*g - 1 = -5*g + a*o for g.
-1
Suppose -1 = -n + 2. Suppose 14 - 44 = -6*p. Suppose -4*z = -2*z + g - p, 0 = 4*z - g - 19. Solve 0*f + 3*t + 12 = n*f, z*f - 13 = t for f.
3
Let g be ((-22)/44)/(1/(-110)). Let c be (-3 + g/25)*-5. Solve 4*n + c*z + 16 = 0, 0*n - 4*z - 9 = -3*n for n.
-1
Let r(j) be the second derivative of -j**3/2 - 11*j**2 + 10*j. Let s be r(-12). Let k be 6/12 + s/4. Solve 4*m - 24 = 3*u, -31 = -k*m + 4*u - 3 for m.
3
Let g(v) = v + 1. Let f be g(-1). Suppose -3*a + 24 = -0*i + 5*i, -4*a - 4*i + 24 = 0. Solve f = -4*y - a*t, 3*y = -2*y - 5*t for y.
0
Let q(v) = 6 + 0*v + 7*v + 4*v**2 - 1 - 4*v. Let d be q(-2). Solve 2*r = 5*p + d, 5*p = r - 5*r + 15 for r.
5
Let q = -52 + 57. Let s(c) = -8*c**2 - c. Let p be s(-1). Let j be p/(2*2/(-4)). Solve 5*d + j = 2*d - 5*a, -q*a = 10 for d.
1
Let n = -12 + 19. Let w(v) = v**3 - 7*v**2 + 8*v - 9. Let l be w(6). Solve m = -s + n, 0*s + s - l = m for s.
5
Suppose 4*h = -3*d + 14, 4*h - 8*h = 2*d - 16. Solve 2*v - v = -h*t - 9, 4*t = -2*v - 12 for v.
-4
Let k be 0/2*8/16. Let r be k*(10/4)/5. Let w be r/2 + (2 - -2). Solve 0 = -y + 5, h + 3*y = w*y for h.
5
Let u be 4 + 6*-7 - -4. Let x = u + 34. Solve x = 5*q + 5*f + 20, 12 = -0*q - 4*q - 2*f for q.
-2
Let b = -128 - -144. Solve -2*a - 4*w = 22, -5*w - b - 19 = 4*a for a.
-5
Let f be 2/(-55)*-5 + 300/44. Solve -1 = 2*p + 3*w - f, 0 = 2*p - w + 2 for p.
0
Let y be (12/(-8))/(-3)*0. Suppose -4*q + y*q = -16. Solve -q*s + 9*s = 20, -5*v + 4*s = 11 for v.
1
Suppose 3*l = 3*n + 34 - 10, -4*l + 30 = -2*n. Suppose -14*c = -16*c. Solve c = -3*i - o - l, -5 = -3*i + o + o for i.
-1
Suppose -1 = 6*k - 31. Let t be k + (-1 - (-2 + -3)). Let r be (-48)/(-14) + (-18)/42. Solve -10 = r*a - 5*n, -2*a + n - t = -0 for a.
-5
Let l be (-2)/28*0*(-1)/(-3). Solve -4*b + 3*o - 20 = 0, -7*o + 4*o + 12 = l for b.
-2
Let b(w) = 7*w**2 + 21*w + 2. Let f be b(-3). Solve t + 5 = 4*c, 0 = c - f*t + 2 - 5 for c.
1
Let y = -187 + 190. Solve 3*u + 11 = -5*h, -u = -y*h + 3*u - 24 for h.
-4
Suppose 0*p = -p - 50. Let z = -47 - p. Solve 0 = -5*d + z*k - 28, 0*k + 27 = -5*d + 2*k for d.
-5
Suppose -5*p = 2*v - 37, -7*p + 5*p - 3*v + 17 = 0. Suppose -5*c + 6 = -3*c. Suppose c*y - 8 - p = 0. Solve z + 4*m + 24 = -3*z, -z = -y*m for z.
-5
Let v(g) = 21*g**2 + 19*g. Let l be v(-1). Solve -x = 5*o - 0*x - 3, x + l = 0 for o.
1
Let t = 333 + -328. Solve 5*v - v - 5*h = 4, 5*h - 5 = -t*v for v.
1
Let v(k) = 6*k**2 + 4*k + 3. Let m be v(-3). Let l = -41 + m. Solve c + 3*o - 1 = 2*o, -l*c = o - 4 for c.
1
Let q = 1 + 1. Let w be (-12)/(-2)*(-3)/q. Let k be (-1)/(-3)*w/(-1). Solve -2*a - 2*g + 16 = 0, -a - 3*a + k*g = -11 for a.
5
Let k = -704 + 706. Solve -3*x = 3, -14 = 7*q - k*q + 4*x for q.
-2
Let m be (4/(-10))/(16/(-1520)). Let i be (95/m)/(1/2). Solve -2*a + 4*a + 2*o - 16 = 0, -22 = a - i*o for a.
3
Let u be ((-2)/1 - -12)/((-2)/(-4)). Suppose -k + 2*r + u = -r, -3*k - 3*r = 0. Solve -k*l + 0*c = -c - 21, -4*l + 18 = -2*c for l.
4
Let q(j) = -j**2 + 4*j + 4. Let r be q(-4). Let g = r + 34. Solve d = 2*u - 6, -2*u - 3*d + 6*d + g = 0 for u.
3
Let k(v) = 2*v**2 - 8*v + 6. Let a be k(6). Let d be 78/a + (-9)/15. Solve -5*h = 4*j + 2 - 0, -5*h - d*j - 6 = 0 for h.
-2
Let q(g) = g - 2. Let s be q(6). Let i be 8/(-10)*(-75)/10. Let z = -16 + 20. Solve -4*b = -6*o + 3*o + i, -s*o - z*b = 20 for o.
-2
Let f(v) = v**2 + 5*v - 4. Let p be f(-6). Let d = 36 - 36. Suppose d = -0*a + 7*a - 21. Solve 3 = -4*r - p*j - a, 5*r + 12