501. Solve -30*k - 24 = -b*t - 34*k, 2*t - 29 = -5*k for t.
2
Let y = -43 + 42. Let k = 12 + -17. Let t be ((-3 - k) + -7)*y. Solve 5*i - 26 = -l, -7*l - t = -2*i - 2*l for i.
5
Suppose -4*i = 4*f - 32, -11 = -3*f + 1. Let t be 2/10 - (-4)/5. Solve -i*v + h = -11, -v + 5*h = v - t for v.
3
Suppose -6*m + 40 = 5*w - 11*m, 3*w + 6*m = -3. Solve -3*d + d = 5*k + 10, -2*k - w = d for k.
0
Let u(f) = -f + 11. Let q be u(9). Let m be 1*-2 - (-23 - -19) - -3. Suppose 0 + m = c. Solve a = -2*d - 3, -2*a - d - c + q = 0 for a.
-1
Suppose k - 5*u = 5*k - 17, -4*u + 1 = -k. Suppose -2*c = -21 + k. Solve -33 = 4*j + 3*a - 7, 3*a - c = 3*j for j.
-5
Let b be 22 + -23 + (5 - 0). Solve g + 3 = 0, -17*g + 19 = b*i - 18*g for i.
4
Let w = 74723 + -74723. Suppose 3*v - 19 = -5*t, -2*v - 8 = 2*v. Solve -5*u = 4*c + 5, 0 = -t*u - w*u + 3*c - 40 for u.
-5
Suppose 71*k - 67*k + 2*y = 30, 0 = -4*y - 12. Solve -3*v + 3 = -3*m, 5*m - k*m = -2*v + 2 for v.
1
Let l(v) = v**3 + 42*v**2 + 213*v - 13. Let q be l(-6). Solve -5*x = 5*k - 17 - 18, -17 = k - q*x for k.
3
Let x = -74 - -100. Let r = -52 + x. Let n = 30 + r. Solve n*g - g + 5*y - 8 = 0, 0 = -3*y + 3 for g.
1
Suppose 4*l = 3*u + 5*l - 152, -3*l = u - 64. Let o = 60 - u. Solve 5*p + 2*j = -0*p + 7, -5*j = 3*p + o for p.
3
Let n = -8639 + 8641. Solve 0 = 7*l - 3*l + n*r, 3*l = 4*r for l.
0
Suppose -2*w - 5*v + 59 + 12 = 0, 5*v = 4*w - 67. Solve -5*r + 27 = -2*a, -2*a + 5*r - w = -4*a for a.
-1
Suppose -3*d - 3*c - 50 = -7*d, -d + 20 = -2*c. Solve 9*j = 8*j + 3*t - d, -10 = 2*j - 4*t for j.
1
Let m = 7 - -5. Let y be (-4)/3*(-18)/m. Suppose 3*p = -y*p. Solve p = -5*q + 25, -4*g + q + 9 = -6 for g.
5
Let s be 23/6 + (-430)/516. Solve 0 = -s*t + 4*m - 0 - 5, -3*t + 2*m = 1 for t.
1
Let g be (-1)/(-4) - (-2511)/372. Solve f - g = -5*d, 4*d - 2*f = 2*f + 20 for d.
2
Let f = -3141 - -3160. Solve 3*g = 7*p - 3*p - f, 2*g = 4*p - 14 for p.
1
Let u be 386 + 3*20/(-12). Let g = u + -379. Solve -4*w - t + 3 = 0, 0*t - t = -g*w + 3 for w.
1
Suppose -56 = -3*k + j, 0 = 3*k - 4*k + 4*j + 26. Let d be (427/63 - 7) + 580/k. Solve -5*n + 6*u = 3*u - d, 0 = 2*n + u - 4 for n.
4
Suppose -1180*r = -1205*r. Solve r*d - 7 = -3*d + o, 4*d - 4*o + 4 = 0 for d.
4
Let o be (-78)/(-12)*130/169. Solve -o*q - 2*z - 5 = 10, 5*z = 2*q + 6 for q.
-3
Let u = 178 + -107. Let r = u + -69. Suppose -r*b - s - 1 = -12, -19 = -b - 5*s. Solve -3*c + 6 = -3*n, b*c - 6 = 5*n + 4 for c.
0
Let x = -802 - -416. Let n = -383 - x. Solve 2*a = -r - 3, 12 = -n*r - a - 2 for r.
-5
Let g be ((16 - 23) + 11)*6. Solve 3*v = 6*s + g, v - 3*s - 14 = -v for v.
4
Suppose 5*r + 312 = 362. Suppose 2*v + 5*w - 15 = 0, -4*w + 10 = 4*v - 14. Solve 4*f - l + 1 = -r, 3*f - 9 = -v*l for f.
-2
Let l(m) = m**3 + 10*m**2 + 15*m + 59. Let s be l(-9). Suppose n - 4 = -s*u, -6*n + 16 = -2*n + 3*u. Solve 0 = -2*x + 3*x - 2*i - 5, 0 = 4*x + 4*i + n for x.
1
Let d(q) be the third derivative of -7*q**4/12 + 31*q**3/6 + 2*q**2. Let g be d(6). Let h = g + 56. Solve -6*z + 3*z - 9 = 0, -4*r - h*z = 9 for r.
0
Suppose -5*b = 3*x + 46, 3*x - 8*x + 22 = -4*b. Let o be 26*(-2)/b - 8/16. Let w be (8/o)/(30/27 + -1). Solve 5*z + 2*j = 18, -4*z - 5*j + w - 1 = 0 for z.
4
Suppose 4*u - 7 + 0 = b, -5*b + 25 = 0. Suppose -u*q - 4 + 10 = 0. Solve -s + 4 = g - 3, q*g - 2*s = -2 for g.
3
Let d = -4848 - -4860. Solve -x - 42*n + 43*n = 0, -d = 4*x + 2*n for x.
-2
Let m(j) = 41*j + 347. Let d(v) = -3*v + 2. Let b(k) = 5*d(k) + m(k). Let o be b(-13). Solve 5*r - 4*t + 52 - o = 0, r + 13 = 4*t for r.
-5
Let f be 842 + 4/6 + (-31)/(-93). Let v = 850 - f. Solve 0 = -o - 1, 5*g - 4*o - v = 4*g for g.
3
Let x = 78 - 45. Let l = x + 1. Suppose -7*o + 9*o = l. Solve 29 = -4*w - 4*p + 1, -3*w - 2*p - o = 0 for w.
-3
Let h(a) = 11*a**2 + 107*a + 109. Let f be h(-1). Solve 2*s = -b - 4, s + 15*b - f*b - 4 = 0 for s.
-4
Let k = -4899 - -4903. Solve 5*c + 30 = k*t, 5 = c + 2*t - 3 for c.
-2
Let y = 40 + -46. Let w be 4/18*3 + (-2)/y. Let q(m) = 2*m + 2. Let a be q(w). Solve 4*n + a*x = 3*n + 10, x - 4 = -n for n.
2
Let t = 17989 + -17981. Solve -t = -8*h + 5*h + 2*g, -20 = 4*h + 5*g for h.
0
Suppose 60*z - 95 = 41*z. Solve -m - 5 = -z*g, -2*m - g - 2*g + 3 = 0 for m.
0
Suppose 0 = 5*g - 7 - 3. Let b be ((-18)/12)/((-1)/g). Suppose -b*r + 19 = -5. Solve 19 = 5*j + 2*l, -r*l + 11 = j - 4*l for j.
3
Let i be 3/18 - (-2)/(-12). Suppose z - 6*z + 45 = i. Let h = -4 + z. Solve m = -l - 0*l - 1, 0 = -h*m - 4*l for m.
4
Suppose 1588 = -8*a + 172. Let k = -174 - a. Solve 0 = -5*l + t + 15, t - 25 = k*l - 8*l for l.
4
Suppose 2*c - 10 = i + i, c = -i + 11. Solve -3*f - 3*j - 30 = -c*j, -5*f - 5*j = 10 for f.
-5
Suppose u = -3*z - 0*u + 6, -4*z + 15 = -u. Solve z = -3*v - 3*y + 6*y, -3*v - 15 = y for v.
-4
Suppose p + 4*m - 1 = 3*m, 0 = m + 2. Suppose -2*a + p = -l, -12 = a + 3*l - 31. Solve 5*f - 2*c = 2*f - 9, a*f - 2*c + 12 = 0 for f.
-3
Let a(r) = r**3 + 31*r**2 + 29*r - 26. Let q = -533 - -503. Let f be a(q). Solve 5*x + 8*c = 4*c - 12, 5*c + 6 = -f*x for x.
-4
Suppose 0*y = 3*y - 30. Suppose 13*r = -43*r + 112. Suppose 4*t - 2*f - y = 0, 4*f + 24 = -r*t + 4. Solve 3*p = -2*o - 6, t = -2*o - 5*p - 6 for o.
-3
Let o = 299 - 294. Suppose 0 = 5*u + o*j - 10, -2*j - 13 = 4*u - 25. Solve 3*f = -3*v - 12, -u*v = -3*v + 4*f + 19 for v.
1
Suppose 4 = -2*w + 3*j, 7*w - 10*w + 5*j - 8 = 0. Solve -h + 2 = -q, 3*q - 5*h + 0 = -w for q.
-3
Suppose -2*v - 2*j = -8, 5*v - 4*j = 1 + 1. Let h = -153971 - -153973. Solve -v*d = 9 + 1, -5 = h*f - d for f.
-5
Suppose -65*x + 64*x = -2*n - 8, 16 = 5*x - 2*n. Solve 3*m - 79 = -3*p - 82, 4*p + x = -5*m for m.
2
Let q = 2603 + -2598. Solve 3*o + 18 = q*w, 3*o = -6 + 3 for w.
3
Suppose -2*g + 23 = 9*g - 54. Solve -z - 11 = -3*a, -2*a - 21 = z - g*a for z.
4
Suppose 12 = 2*i + 3*g - 7, -g + 5 = 0. Let y(q) = -2 + 3*q - 3 - i. Let n be y(13). Solve -6 = -0*t - 3*t + 3*f, -4*t - 4*f - n = 0 for t.
-3
Suppose -10*n = -10 - 50. Suppose -15 = c + 4*b, 5*c + 3*b + 1 = -n. Solve -4*y - 17 = 2*z + c, -2*z - 4 = -3*y for z.
-5
Suppose 2*c + 82 = 5*r + 3*c, 5*c = -5*r + 70. Suppose -14*u + r*u = 0. Solve 2 - 5 = -m - 4*s, u = -4*m + 5*s + 12 for m.
3
Let h = 4 + -4. Suppose h = 12*v + 21*v - 132. Solve 0 = -v*i + 5*u + 6, -i + 18 = i + 5*u for i.
4
Suppose -2*z = 4*z. Let j be (-14)/(-6) - ((-70)/15)/(-14). Suppose -4*q = -4*a - 28, -q + 10 + 2 = -j*a. Solve z = 2*n - 6, 5*t - n + 29 = q*n for t.
-4
Suppose 0 = -4*v + 10 + 14. Suppose v = -4*p + 18. Solve p*n + 3*t - 8 = -2*t, 4*n + t = 5 for n.
1
Suppose 31*n - 120 = 7*n. Solve -3*p = 3*o + n - 2, o = 3 for p.
-4
Let x be (-245)/98*24/(-20). Solve x*i = t + 2 - 12, -14 = 5*i - 3*t for i.
-4
Let s be -9 + 13/(-52)*-60. Solve 40 = 4*i - 5*o, -3*o = 2*i - 4 + s for i.
5
Let r = -5 - -2. Let i be r/2*44/33 - -5. Suppose -k + 10 = -0*k - i*s, -3*k + 5*s = -22. Solve -o + k*o = g + 10, -2*g - 12 = -2*o for g.
-4
Suppose -81*k + 12 = -85*k, 3*k + 5 = -2*u. Solve 0 = -2*x + u*v + 16 - 10, -x + 7 = -5*v for x.
2
Suppose -24*r + 28 = u - 16*r, -u + 2*r - 2 = 0. Solve -t - 3 + u = -d, 5*d + 4*t + 5 = 0 for d.
-1
Let g(x) = -8*x + 70. Let w be g(-34). Suppose -w = -47*r - 60. Solve -3*y + 9*t + 10 = 8*t, 5*y = -4*t - r for y.
2
Let j = -7 - -10. Let l = 193 + -191. Suppose -l*v + 174 - 156 = 0. Solve -4*p - 5*a = -1, 4*p = 8*a - j*a - v for p.
-1
Suppose 5*x - 104 = 8*n - 6*n, x + 92 = -2*n. Let g = n - -62. Solve 4*q = -d - g - 1, -2*d = 4*q + 16 for d.
0
Let f(j) be the second derivative of j**4/6 + j**3/6 - j**2/2 + 5*j + 6. Let p be f(-2). Solve 3*d + 13 = p*u, 2*d = 5*u + 2 - 19 for u.
5
Let p be (-39)/91 - (-324)/21. Let t be 10/3*(-6)/(-5). Suppose 0 = -155*r + 156*r - 2. Solve t*a - i = r, p = 5*a - 0*i + 5*i for a.
1
Suppose 17*a - g = 87, -3*g - 7 + 1 = 0. Solve -a*l = 5*w, -12*l + 5 = -7*l + 4*w for l.
5
Let j(c) = -c**2 - 14*c - 22. Let u be j(-8). Let q be u + -26 + (4 - 0). Solve -q*y = -2*s + 2 + 14, -24 = -4*s + 4*y for s.
4
Suppose p + p = 16. Let y(j) be the first derivative of -j**3/3 + 5*j**2 - 13*j + 1180. Let i be y(p). Solve 0 = -5*g - 15, -i*l + 14 = -2*l - 5*g for l.
-1
Let k = 61 + -59. Let c = 6 - 6. Suppose -k*h + g = -9, 0 = -g - c + 1. Solve -m + 6 = -h*z, z = -3*m + 4*z + 6 for m.
1
Suppose 0 = -2*t - 9*t + 176. Let a(q) = 3*q**3 + 2*q*