4*y + q = 13 for n.
6
Let g = 6033 - 6032. Solve 7*u - 3*u - 2*c + 8 = 0, u + g = c for u.
-3
Suppose k + r + 11 = -4*r, -5*k - 2*r = 9. Let u be (-5 - (-2 - k))/((-2)/3). Suppose 3*n = u*n. Solve 4*p - 4 = -3*y, n = -3*y - p + 6*p - 5 for y.
0
Let o = 20 - 11. Let f(v) = 5*v**3 + 16*v**2 - 4*v + 56. Let g be f(-4). Solve 4*x + 3*a + g = 0, 0*x + 5*x + 4*a + o = 0 for x.
-5
Let b be (-9)/(-12)*(2 - -2). Suppose 26 = b*g + 8. Suppose i - 4 = -t, g*t + 2*i - 11 = 3*t. Solve 0 = 4*h - 5*p - 30, h + 3*p = -t*h + 14 for h.
5
Suppose 2*d + i - 9 = 0, -3*d + i - 1 = -12. Let h be d/5*110/44. Let m be -21 - -25 - h/1. Solve 5*y + 10 = 0, y + 21 = -3*j - m*y for j.
-5
Let f be (-4 - (3 - (2 - -2))) + 17. Let a = f - 16. Let m be (a/(-4))/((-1)/(-4)). Solve 4 = -4*t + 3*h, h + 1 = -t - m*h for t.
-1
Let p(s) = 161*s + 1291. Let d be p(-8). Solve 4*m = -3*a - 10 + 6, a + 10 = d*m for m.
2
Suppose -k - 24 = -4*a + k, a = 3*k + 16. Suppose -25 = a*j - 61. Suppose 12*y - 45 = j*y. Solve -5*r = y, 2*n = -0*n + 5*r + 25 for n.
5
Let v(r) = 2*r**2 - 4*r + 3. Let q = 123 - 12. Let w = -109 + q. Let d be v(w). Solve -l - 2*y + 10 = 4*l, y = d*l - 6 for l.
2
Let f be (1*3)/(5 - 4). Let l be 17 - f - 4/(-2). Solve 7 - l = 4*k - 5*z, 0 = 5*k + 4*z + 1 for k.
-1
Suppose -869 = -2*j - 4*n + 71, -3*j + 1446 = -3*n. Suppose -j*z + 477*z + 5 = 0. Solve a + 3 = 5*q + z*a, -5*a = 2*q - 8 for q.
-1
Let f = -13 - -11. Let u be 3 + 3*f/6. Suppose 2*k + 10 = t, 2*t = -3*t - 2*k + u. Solve -a + 0 + 2 = t*y, -5*a = -5*y - 25 for y.
-1
Suppose 22 - 67 = -55*n + 725. Suppose 0 = 4*o + 2*v - 6, 0 = o - 5*o - 4*v + 8. Solve 4*c + n = 2*x, x + 2*c + 8 + o = 0 for x.
-1
Let c be 197*(2 - (11 + -8)). Let k = -195 - c. Solve 5*b - 13 = -k*h, 0 = 2*b + 3*b + 3*h - 17 for b.
1
Suppose -3*a + 5*g - 348 = 0, -2*a + 0*a - 2*g = 216. Let n = a + 115. Solve -3*k + n = -b - 11, -7 = 5*b + 2*k for b.
-3
Suppose 64 = -5*m - 41. Let q(b) = -b - 9. Let l be q(m). Suppose l = -11*p + 45. Solve -3*r + 2*h - 1 = 0, -4*r + p*r - 4*h - 19 = 0 for r.
-3
Let l be -2 + (7 + -6)*4. Let s(g) = g**3 + 4*g**2 - 5. Let q be s(-4). Let i be (q + (-36)/(-8))*(-6 - -2). Solve 0 = -l*k + o + 2, -2*o - 9 = -5*k - i for k.
3
Let k(i) = 243*i + 7778. Let v be k(-32). Solve -n + q = -123 + 126, -5*n - v*q + 41 = 0 for n.
5
Let x(k) = 35*k**2 + 4688*k - 266. Let z be x(-134). Solve 5*o = -z*p + 8, 71*p - 8 = 69*p for o.
0
Let p = 4165 - 4162. Solve p*r = -r + 5*f + 5, 3*r = -5*f - 5 for r.
0
Let j = -250 + 225. Let m be (80/j + 2)*10/(-3). Solve -6 = m*x - 3*s + s, -s = x for x.
-1
Let k(d) = -d - 1. Suppose 0*i - 7*i - 7 = 0. Let s be k(i). Solve -4*c + b = -0 + 8, s = -5*c + 5*b - 25 for c.
-1
Let l = 5 - 1. Let u be 150/8 + 17/68. Suppose -u*k = 12*k - 155. Solve -l*w + k*w = a, 4*a + 2 = 5*w for a.
2
Let u(h) be the second derivative of -1/20*h**5 - 10*h**2 + 7/12*h**4 - 1/3*h**3 - 3*h + 0. Let n be u(6). Solve -2*f = s - 6, -3*s - 11 = f - n for s.
-4
Let b(j) = j**2 - 97*j + 375. Let v be b(4). Solve -4 = -3*n - 5*p, 2 = 2*n - v*n - 5*p for n.
3
Let r be 1*1/(2/(-66)). Let x = 5028 + -4993. Let c = r + x. Solve -b + 4 = c*q, -5*b = -4*q + 5*q - 11 for b.
2
Let y be (-24)/(-5) + 32/160. Suppose -3*l = -3*g, 7*g - y*l = 6*g. Solve 0 = d + 2*d + 5*n - 24, -3*d + 5*n - 6 = g for d.
3
Let g be 11 + 130/(-12) + 2 + 22/12. Solve g*f + 8*h = 3*h + 21, 0 = -3*f + 5*h - 28 for f.
-1
Let u(z) = -5*z - 3. Let o = 70 + -70. Let k be 1 - -3 - (-12)/(-2 + o). Let b be u(k). Solve b*p - 41 = 2*p + 4*v, -p = -3*v - 17 for p.
5
Let r(f) = -2*f**3 - 6*f - 4. Let o be r(-5). Let h = o + -271. Solve -2*j + 5*j + h*t - 12 = 0, 0 = 2*t - 6 for j.
-1
Let s = 6919 + -6916. Solve -3*a - 6 + 9 = x, 2*a - 2 = s*x for a.
1
Let q be (-243)/162*(-22)/3. Solve 12*x - q*x - 4*f - 3 = 0, 0 = 4*x - 5*f + 10 for x.
-5
Suppose x + 8*b = 5*b - 12, 4*x + 2*b - 2 = 0. Let g be (-84)/70*(x + -8). Solve -3*s - 10 = -4*w - w, 4*w = 2*s + g for s.
-5
Let a(o) = o**2 - 24*o + 123. Let f be a(7). Solve 4*y = 2*p + 9*y + 17, 4*p + 4 = -f*y for p.
4
Let q(z) be the second derivative of z**5/20 - 11*z**4/12 + 29*z**3/6 - 5*z**2/2 - 41*z. Let i be q(7). Solve 0 = -2*v + 8, -6*c + 18 = -c + i*v for c.
2
Let m be 24/(-12*(-3)/24). Suppose -5*j = 5, -y + 7*j - 2*j = -m. Solve -2*k - 3*c = 12, 2*k - 4*c - y = 3*k for k.
-3
Suppose 0 = 27*t + 2018 + 9808. Let d = 441 + t. Solve -s - 14 = -3*j, 19 = 7*j - d*j - s for j.
5
Let t = 3551 - 3551. Solve 3 = -3*m + 9, -w + 4*m - 6 = t for w.
2
Let h = 15198 - 15193. Suppose -3*q + 11 + 1 = 0. Solve h*u + 37 = -q*p, -4*p - 3 + 1 = -2*u for p.
-3
Let x = 64 - 63. Suppose -5*k + 4*c = -4, -2*k = -k - c - x. Solve 0 = -4*f + a + 2 + 15, 2*f - 5*a - 31 = k for f.
3
Let v be (-5 + 19/2)/(48/64). Solve -v = -4*r + 2*s, -5*r + 5*s - 2*s = -8 for r.
1
Let p = 357 - 145. Let z = p + -212. Solve z = -4*q + 20, -3*q - 26 = -v - 8*q for v.
1
Let t be 28 - (18/(-36))/((-2)/(-12)). Suppose -12*r + 17 = -t. Solve -4*n + 4*v - 3*v = -7, -r*n = -4*v + 8 for n.
3
Let k(y) = 3*y**2 - 21*y - 86. Let q be k(-3). Suppose -6*v = -3*v - 21. Solve 2*t - 5*r + v*r = 0, 2*t + r = q for t.
4
Let k = -570 - -578. Let w be ((-18)/k)/(5*3/(-40)). Solve 4*i - t = -7, -t + 25 = -w*t for i.
-3
Suppose 0 = 6*k - 109 + 25. Solve 2*q - 4*c = k + 2, 0 = 4*q + 3*c + 1 for q.
2
Let a = 40 + -35. Let x = a + -4. Solve -o - 7 = 2*h - x, 2*o = -2*h - 10 for o.
-4
Let v(w) = -w**2 - 53*w - 610. Let u be v(-17). Solve 12 = -4*s + k, -u*k = -5*s - 0*s - 18 for s.
-2
Let o be 27/9 - 44/(-44). Solve 4*s - 12 = -4*q, o*s = -10*q + 5*q + 10 for s.
5
Let r(c) = -3*c - 1. Let b be r(-4). Let s = -597 - -607. Suppose 0 = b*a - s*a. Solve 5*f + 5 = 2*x - 9, f - 2*x - 2 = a for f.
-4
Let q(p) = -14 + 1 - 8*p + p - 16 - 2. Let u be q(-5). Solve 3 = w - u*b + 15, -w = 2*b for w.
-4
Suppose 0 = 3*f - 0*y + 2*y - 37, 5*y = -20. Let u be (f*(-16)/(-72))/(15/18). Solve 1 = -h + w, h - 8 - 1 = -u*w for h.
1
Let a(l) = -l**2 + 5*l + 17. Let d be a(7). Suppose 6 = -z + d*z. Suppose -u + z = -1. Solve -u*s - 1 = -3*p, s + 1 = 2*p - 2*s for p.
-1
Suppose 0 = 5*o, 1180 = 5*t + o - 5*o. Let z be (-4)/38 + t/76. Solve z*v - 6 = -m, 2*m = 2*v - 3*m - 4 for v.
2
Suppose -4 + 12 = s - 3*f, 5*f = -3*s + 80. Suppose 4*x + 6*x - s = 0. Suppose -x*o = -15 - 5. Solve 0 = 5*j - 2*g - o, -4*g + 8 = j - 4*j for j.
4
Suppose -497 = -2*a - 1317. Let f = a - -412. Solve 5*k = -u - 0*u - 10, -u = -f*k - 11 for k.
-3
Suppose -5*l - 1 = -c, 3*l - c + 1 = -l. Suppose -91*j + 93*j - 2 = l. Solve 4*t - j = -5*k, -16 = 2*t - 6*t for k.
-3
Suppose -6*p = 3*y + 54, 0 = 2*y - 5*p + 9 - 54. Solve 2*j + 40*h = 38*h - 4, y = j + 4*h + 14 for j.
2
Let p be -8 + 0 - 21/(-1 + -6). Let z(c) = -9*c. Let x(b) = b + 1. Let q(k) = p*x(k) - z(k). Let t be q(2). Solve -a - 2 = -3*g, -6*a - 6 = -t*a - 4*g for a.
-2
Let r = -6721 + 6724. Solve -r*c + 2*w - 2 = 0, 0*c + w = -c - 9 for c.
-4
Let t = -10 + 23. Let o(w) = -w**2 + 12*w + 16. Let v be o(t). Suppose 0 = 2*x + v*u - 0*u - 17, 23 = 5*x + u. Solve 3*k - 5 = -x*p, 4*k + 25 = -p + 2*p for k.
-5
Suppose 2*r - 288 = -4*s, 0 = s - 4*s - 2*r + 216. Solve 77*x - 4*h - 27 = s*x, -x + h + 6 = 0 for x.
3
Let r(k) = 9*k + 5. Let q be r(0). Solve -q*w = -3*z + 20, 14*z - 18*z = -2*w - 8 for z.
0
Suppose 174*z = 178*z - 164. Let y(c) = -3*c**3 - 5*c**2 - 2*c + 2. Let s be y(-3). Let v = s - z. Solve k - 10 = -v*d, -2*d + 3*d - k - 6 = 0 for d.
4
Let y = 50 - 20. Suppose 3*v = 5*j + 5, -5*v = y - 5. Let t = 6 + j. Solve t*n + 25 = -3*n, 0 = 5*b - 4*n - 20 for b.
0
Let v(u) = 2*u**3 + 53*u**2 - 150*u - 138. Let h be v(-29). Solve -5*p + h*p = -2*q + 2, -13 = 3*q - p for q.
-3
Suppose 3*n = -3*q + 6, -q = -5*n - 11 - 3. Solve d - 8*h = -4*h - 3, -q*d = h - 5 for d.
1
Let s = 225 - 221. Suppose -5*k = s*t - 59, -5*k + 2*t + 76 + 7 = 0. Solve -3*m = 0, n + m = -4*n + k for n.
3
Let m = 542 + -528. Suppose m*v = 119 - 63. Solve -2*j + 4*z = z - 5, -5*z - 45 = v*j for j.
-5
Let u(b) = -15*b - 27. Let o be u(-5). Let l = -28 + o. Let z be 15/(-6)*(-16)/l. Solve -w - z*k = -0 + 2, -3*k - 9 = 0 for w.
4
Let j(m) = -1. Let d(g) = -6*g + 61. Let t = -86 - -85. Let b(i) = t*d(i) - 6*j(i). Let p be b(10). Solve -2*u + 30 = 5*x + u, -5*x + 2*u + p = 0 for x.
3
Let d = 6512 - 6505. Solve 11 = -4*z