r p.
2
Let y be (-108)/(-63) + 4/14. Suppose 0 = y*l - 0*l - 2, -o + 5 = 2*l. Solve 5*t + 2*c = -12, 20 = -2*t + o*c - 0 for t.
-4
Let h(v) = 23*v + 466. Let u be h(-20). Solve 0*f + 2*f + 9 = i, -2*i - 4*f = u for i.
3
Let f = 300 + -295. Solve 2*i + f*d = 17, 0*i = 4*i + 2*d + 6 for i.
-4
Let d(t) = 3*t - 2. Let f be d(2). Suppose -3*h - 155 = -8*h. Solve -i = w - 8, -f*i + h = 2*w + 9 for w.
5
Let o(v) = 3*v - 4. Let q be o(2). Suppose -c - 5 = 2*b, -q*c = b - 6 + 1. Solve 5*z = -c*p + 4*z + 1, -z = 3*p + 1 for p.
1
Let q = -721 + 736. Solve -4*a - 14 = -3*f, q = 5*f + 3*a + 40 for f.
-2
Suppose -5*u + 75 = 20*u. Solve z - t - 8 = u*z, -4*t - 10 = -3*z for z.
-2
Let s = -69 - -80. Let f = s + 2. Solve 4*x + 4*a = -x + 29, 2*x - f = -3*a for x.
5
Let o(b) = b**2 + 6*b + 10. Suppose -2*z + 24 = -5*n, -4*n - 4 = -5*z + 22. Let g be o(n). Solve 7 = -2*x + i + g*i, -4*x + 2*i = 18 for x.
-5
Suppose -5*h - 26 = -c, 3*h + 0*h + 2*c + 26 = 0. Let f be 22/(-3)*h/(-4). Let k = -5 - f. Solve i = 4*i + 3*v, -i = -2*v - k for i.
2
Let w(i) = i**2 - 6*i - 2. Let y be w(7). Suppose y*n = 18 - 3. Solve 2*p + 23 = -n*g, 0 = -g - 3*p - 3 - 14 for g.
-5
Let r(n) = n**3 + 14*n**2 + 12*n - 10. Let z be r(-13). Suppose 1 = -z*t + 16. Solve -o + 2 = -3*h, 2*h - 4*h + 27 = t*o for h.
1
Suppose k - 2 = -k. Let l be (3 - (-3 + 4))*k. Solve 0*q + 2 = -l*n + 4*q, 0 = -5*n - 4*q - 19 for n.
-3
Let p be (-1 - -2)*(-15)/5 - -4. Let w(x) = 5*x**3 - x**2 + x - 1. Let d be w(p). Solve 0*n - 1 = -o - 2*n, 3*o + d*n + 1 = 0 for o.
-3
Let q = -4 + 9. Let k(x) be the third derivative of x**4/12 + x**3/3 - 2*x**2. Let i be k(4). Solve -q*a - 2*v = -1 + 5, -i = a + 5*v for a.
0
Let p be (14/(-10))/(2/(-10)). Suppose 4 = -h + p. Suppose -h*d - 5 = -20. Solve -3*i - 12 = -3*x + 3, 0 = d*x - 25 for i.
0
Let q(z) = 5*z**2 - 7*z + 10. Let f be q(3). Suppose 6 = -30*g + 32*g. Solve -3*h + g*d + 9 = 0, -5*d = 3*h - 3 + f for h.
-2
Let p be -3 + (-2 - -2)/3 + 17. Let d = 8 + p. Solve 3*z - 19 = 2*z - 4*s, -3*z + d = 5*s for z.
-1
Suppose -3*m - 3*d + 9 = -30, -d = 1. Let h = 30 - m. Solve 0 = 4*k - 2*q + 6*q - h, -3*q = 3 for k.
5
Let h(l) = -l - 5. Let f be h(-5). Suppose -3*d - o = -2, d + f*d + 6 = -2*o. Solve n = -3*n - 2*m + d, -n + m + 5 = 0 for n.
2
Suppose 5*r - 8*r = 0. Suppose 4 = u - r. Let c = u + 0. Solve 3*x - c*a = -8 - 5, -3*x - 4*a = 5 for x.
-3
Let v = -8 + 10. Suppose 4*u = 5*s + u - 28, -v*u = -2*s + 8. Let o(b) = b**2 - 7*b + 8. Let z be o(6). Solve 0*h = 5*q - 2*h - s, -20 = -z*q + 5*h for q.
0
Let d = 184 - 179. Solve 0 = 2*o - o + 5, 3*o + 30 = -d*s for s.
-3
Let c = -35 + 14. Let i be (-6)/21 - 48/c. Let d be i/6*0 + 3. Solve v = 3*f + 5, 5*f = -v + d*f + 5 for v.
5
Let a(u) = -3*u - 14. Let c(y) = y**2 - 11*y + 19. Let l be c(8). Let w be a(l). Solve 2*s - 2 = 5*x + w, 4*s - 21 = -5*x for s.
4
Suppose 33*k = 22*k - 20*k. Solve 4*q - 9 = -k*q + 3*r, 3*q - 2*r - 7 = 0 for q.
3
Let b(t) = 14*t - 4. Let h be b(1). Suppose h*s - 10 = 10. Solve -3*p - 15 - s = 2*r, p + 15 = -3*r for p.
-3
Let q = 29 - 25. Solve 4*l - v = 4, -l + 2*v + 8 = q*l for l.
0
Suppose 3*j - 655 = -640. Solve -l + j*n + 24 = 0, 0 = -0*l - 2*l - 2*n for l.
4
Let j(u) be the third derivative of u**5/60 - 5*u**4/8 + 31*u**3/6 - 16*u**2. Let k be j(13). Solve 2*l - k*t = 3*l + 17, 5*l - t - 19 = 0 for l.
3
Let c(l) = 2*l - 68. Let i be c(0). Let r = -63 - i. Solve 3*f = 9, r*f + 5 = -0*q - 5*q for q.
-4
Suppose 0 = -2*g - 228 + 236. Solve j + 2 = -5*u + g*j, u = -5*j + 22 for u.
2
Let u = 7 + -4. Let n = 3877 - 3872. Solve n = -o + 5*g, -2*o + 4*g - 4 = u*o for o.
0
Let p = -2983 - -3003. Solve 0 = 3*u + u + 20, 5*v - 3*u = p for v.
1
Let g(u) = 2*u**2 + 43*u + 224. Let p be g(-8). Solve -14 = -2*f - 4*k, -f + 7*k + 6 = p*k for f.
5
Let j be -4 - 3/(12/(-152)). Suppose -3*p - 50 - j = 0. Let x = 33 + p. Solve -x*c - 25 = 3*u, c - 2*u + 25 = -4*c for c.
-5
Let r(b) = b**2 + b - 2. Let k be r(3). Suppose 3 = -k*t + 3. Solve -4*o - 2*j - 12 - 6 = t, 3*o = -j - 14 for o.
-5
Let v(u) = -u**3 - 5*u**2 - 5*u - 1. Let d be v(-4). Suppose -16 = 2*h - d*h. Solve 3*r + 4*q = -h, 4*q = -q - 5 for r.
-4
Let k be ((-6)/4)/(6/(-68)). Suppose 5*s + 4*b - k = 0, -2*s + b - 6 = -5*s. Suppose 4*y - 11 = s. Solve p + l = -1, y*p - 5*l + 23 = 60 for p.
4
Let a(c) = c**3 + c**2 + 5. Let o be a(2). Solve -16 = 4*l + z, -5*z - o = -0*l - l for l.
-3
Suppose 0 = -4*i + 5*p + 44, 2*p - 10 = -0*i - 3*i. Solve 3*j - i*j = -5*b + 5, -4*b - 4*j + 36 = 0 for b.
4
Let s = -579 - -603. Solve t + 7 = w, -3*t + t - s = -4*w for t.
-2
Suppose -n - 4 = -2*z - z, z = 2*n + 3. Let k be -31 + (-2 - n) + 3. Let v be k/(-9) + (-10)/45. Solve -m - 3 = v*t + 11, -5*m - 2*t - 5 = 0 for m.
1
Let f be 4*(0 - 39/(-12)). Suppose -2*u = -4*q + 8, -9*q - 3*u = -f*q + 8. Solve 2*d = -2*j + 10, 4*j = 3*j + q*d - 4 for j.
2
Let m = 105 + -105. Solve m*a + 6 = 4*h - 2*a, 5*a = -2*h - 27 for h.
-1
Let g(h) = -h**3 + 9*h**2 + 3. Let s be g(9). Let a(l) = -95*l - 568. Let f be a(-6). Solve 2*i + f = -r - s*i, 3*r = 2*i + 11 for r.
3
Suppose 0 = -3*w - 3*w. Let h be 2/(-10) - (-21)/5. Suppose 13 = h*z + 5. Solve -5*i = -2*n - 21, 5*n - z*i + 3 + 18 = w for n.
-3
Suppose 0*u + 8*u - 16 = 0. Suppose -u*t = -2*t - t. Solve -i + 4*z - 15 = t, -2*i - 3*z = -i - 20 for i.
5
Let d = 79 - 77. Solve -d*s = -5*r + 18, -4*r = -2*s - 5*r + 6 for s.
1
Let b be 17 + (3 - -3)/(-3). Let u(h) = -h**3 - 12*h**2 - 10*h + 13. Let r be u(-11). Solve 2 = r*m, -5*n + 2*m + b = -3 for n.
4
Let p(d) = d**3 - 5*d**2 - 6*d + 4. Let x be ((-84)/35)/(-4*2/20). Let m be p(x). Solve 2*z - 13 = -4*l + 5, 5*z - m*l - 17 = 0 for z.
5
Suppose 0 = 7*o - 72 - 103. Solve 0 = -5*w + 5*r - o, -2*w + 5 = -4*r + 19 for w.
-3
Let f(b) = -b**3 + 16*b**2 - 59*b + 11. Let i be f(10). Solve -5*j + i = -r, 3*j + 2*j - 41 = -4*r for r.
4
Suppose 40*w - 110*w + 630 = 0. Solve 0*k = k + 3, 5*i + 3*k = -w for i.
0
Let w be (-3 - 80/(-28))*(-6 + 6). Solve w = -3*n + r - 9, -1 = -2*r + 5 for n.
-2
Suppose 4*j = -y - 6, 29*y + j - 26 = 26*y. Solve 3*k + 7*q + 15 = 4*q, 5*k = -2*q - y for k.
0
Let n = -53 - -51. Let y be (6 - 2) + n - -2. Solve -8 = -4*p, -y*b = p + p - 4 for b.
0
Let c be ((5 - 5) + 5)/1. Solve 15 = c*l - 3*m, 5*l - 4*m - 17 + 2 = 0 for l.
3
Suppose 28*a - 78 = 6. Solve m = -2*k - 4 - a, -5*m = -2*k + 23 for m.
-5
Let l = -873 - -878. Solve -5*g + 13 = 3*z - 1, -5*z = l*g - 20 for g.
1
Let q(y) = -2*y**2 - 47*y - 6. Let x be q(-23). Solve -x = -5*m - 2*u, 3*u - 2 + 24 = 2*m for m.
5
Suppose -5*k + 25 = -0. Suppose 4*o - 8 = -5*b + 4, -3*o = 2*b - 16. Suppose j - o = -j. Solve -5*i = k*z, -i - 16 = z - j*z for z.
4
Suppose 4*w = x + 6, 3*w + 4*x + 11 = 25. Solve 3*u + w*v + 23 = 0, 3*u + 15 = -3*v - 12 for u.
-5
Suppose 0 = 5*n - 15, 2*n - 2 = 2*a - 0. Suppose -9 - 1 = -a*d. Solve -2*m - d*y = 19, m = y - 0 + 1 for m.
-2
Let h(x) be the third derivative of x**5/30 - 13*x**4/24 + 3*x**3/2 - 9*x**2. Let m be h(6). Solve 4*j + 15 = m*b - 4*b, -3*j = 5*b + 7 for j.
-4
Suppose 3*n - 1 + 7 = 2*g, -4*g + 3*n + 6 = 0. Solve -3*t + 2*f + 21 = g, -2*f = 4*t - 0*f - 14 for t.
5
Let v = -116 + 121. Solve z - 2 + 3 = -3*a, v*a = -3*z - 7 for z.
-4
Let v = -634 + 638. Solve v = -3*t - 5*c, -3*t + 2*c - c + 8 = 0 for t.
2
Suppose -52*j + 5 = -51*j. Solve -j*r - 21 = 4*q + 20, q + 14 = -2*r for r.
-5
Let a(b) be the first derivative of -b**2/2 - 5*b - 5. Let t be a(-8). Solve 0 = 4*z + t*o - 2, -o - 3 = z - 4 for z.
-1
Let t = 221 - 201. Solve 2*z - 3 = -m + 2, -5*m - t = -5*z for z.
3
Let k = -37 - -77. Suppose 5*y - 2*p = -7*p + 50, 4*y - p = k. Solve -2 + 0 = 3*i + 2*w, 2*w = y for i.
-4
Suppose 0 = 2*f - 4*x - 24, -5*x - 13 = 7. Suppose -18 = -f*l + 10. Solve -3*k = -l + 1, -2*g + 2*k = 8 for g.
-2
Let z be -1*1*-4 + -2. Let d be ((-45)/18)/((-1)/30*3). Solve -1 + 0 = z*t - q, 0 = 5*t + 3*q - d for t.
2
Let i(w) = 3*w - 21. Let g be i(7). Let v(y) = y**2 - 7*y + 3. Let q be v(g). Solve 1 = -5*j - a, q*a - 8 = 4*j + 2*a for j.
-1
Let g(s) = -s**2 - 9*s - 2. Let y be g(-8). Let a = 87 - 52. Let b = a - y. Solve -5*w + 4*r - r = -b, -2*w + 3*r = -17 for w.
4
Let q be ((-8)/(-24))/((3/(-72))/(-1)). Solve 3*u = 4*c - 15, -4*c + q*c - 13 = u for u.
-1
Let z = 79 - 74. Solve 0 = 2*o + 8, 2*o + 18 = -z*l - 0*