 13. Solve -b = 3*x + b + 4, d*x - 3*b = 21 for x.
2
Let b = 28 - 25. Suppose 3*w + g - 7 = 0, -5 + 22 = b*w - 4*g. Solve w*x - o = -2*o - 5, 5 = 3*x - 4*o for x.
-1
Let i = -235 + 239. Solve i*z + 6*t + 5 = t, 3*t + 3 = 0 for z.
0
Let h = 11 - 9. Let d be -76*((-7)/h)/(-7). Let b be 4/(-8)*d + 3. Solve -4*p + 2*j + b = 0, 2*p + j + 0*j = 1 for p.
3
Let r = 58 + -32. Let n = -15 + r. Suppose 0 = -5*a - 5*j + 40, 0 = -3*a + 5*j - 5 - n. Solve 3*x = 5*q - x - 11, 5 = a*q - 4*x for q.
3
Suppose 0 = 5*w + 77 + 28. Let d be w/(-14)*8/6. Suppose -d*q + 14 = -6. Solve 2*x + 4*j + q = 0, 18 = -x - 5*j + 4 for x.
1
Suppose -3*p + 251 = 233. Solve -p*a + 25 = 2*w - a, 0 = 3*a - 9 for w.
5
Let q be (1 - 1)/(27 - 25). Solve -2*r = r - 3*m - 6, q = 4*r - m - 11 for r.
3
Let q = 318 + -534. Let v be ((-2)/3)/((-6)/q). Let m be (6/4)/(v/(-64)). Solve 24 = m*z + 4*r, 4*z = 2*r + 11 + 7 for z.
5
Let o = 480 - 480. Solve -5*j + 5 = o, 10 + 5 = 5*q - 5*j for q.
4
Let q = -109 - -112. Suppose -q*m - 95 = -5*v - 4*m, 5*v + 4*m = 95. Solve -3*s = -4*b + v, -5*s + 5*b = -0*s + 30 for s.
-5
Suppose -5*w = -11 - 34. Suppose -j - m - 2*m = 7, 5*j = -2*m - w. Let d be (-2)/(8/20)*j. Solve c - 11 = -d*l - 1, 5*c = 0 for l.
2
Suppose 0 = z + 4, z - 3*z = 4*f - 40. Suppose v - 5*v = -f. Solve -p = 3*l + 1 + 3, 0 = v*l + 3*p for l.
-2
Let j = -44 + 46. Solve -4*r - j*l = -22, 1 - 5 = -3*r + l for r.
3
Suppose -4*c - 24 = -7*c. Suppose 5*n - 3*z + 1 = 4, -5*z - 5 = 0. Solve n = -2*s + c, 0 = 2*t + 2*t - 4*s for t.
4
Suppose 37 = 12*z + 1. Solve 0*n = -3*j + 4*n + 9, 5*j - 15 = z*n for j.
3
Suppose o + 11 = 4*j, 5*j - o - 25 = 4*o. Let l = 0 + j. Solve -l*d - 23 = 4*w + d, 0 = -3*w + d - 1 for w.
-2
Suppose -5*f + 4 = -4*f + v, 2*f + 5*v = 5. Solve 7 = 5*p + f*q + 27, -2 = -2*q for p.
-5
Suppose -16 = -4*x, -x - 3 = -w + 4*x. Solve 5*z = -2*l, -w = -5*l - 5*z + 4*z for l.
5
Let p = -948 + 949. Let n be (0/2 - 7)*1. Let u = -1 - n. Solve -j - 4 = s, -u = 4*j - 5*s + p for j.
-3
Let q be 2/(-7) + 80/35. Solve -q*j + 2*r - 2 = 0, 8*r - 3*r - 1 = 3*j for j.
-2
Let b = 15 - 10. Let x be 3/(-2) - 75/(-6). Suppose x*w - 7*w = 12. Solve -1 = 3*y + w*j - 16, -b*j = 3*y - 25 for y.
0
Let u(g) = g**3 - 7*g**2 + 2*g - 2. Let s be u(7). Suppose 0 = 5*h + 5, 4*h + 8 = -3*w - 20. Let j = w + s. Solve 2*p - 10 = 0, -3*m - 2*p + j*p - 16 = 0 for m.
-2
Let m be ((-75)/(-27) - 3) + 415/45. Let t be ((-3)/m)/((-5)/90). Solve -3*i = 3*s - 0*s - t, -4*i = 3*s - 10 for s.
-2
Let j be 60/(-20) + (1 - 2). Let l(o) = o**3 + 5*o**2 + 2*o - 8. Let w be l(j). Solve 2 = q - 2*r, 2*q - 2*r + 2 + w = 0 for q.
-4
Suppose 24*r = 4*y + 20*r - 8, -4*r = 8. Solve 0 = 2*v - 16*l + 11*l + 9, v + 2*l = y for v.
-2
Let q(c) = c - 5. Let n be q(6). Let s be (-300)/(-350) - (-44)/14. Solve -4*h - s = 4*p, 2*p - 3*h - 2 - n = 0 for p.
0
Let n(a) = 8*a**2 + 1. Let q be n(1). Suppose -3*x + 2 = -2*g + q, 3*g = -2*x + 4. Let f be 2 - x - (5 - 7). Solve f*d - 2 = 3*u + 29, 3 = u + d for u.
-2
Suppose -656 - 134 = -5*r. Let q be r/22 + 4/(-22). Let y be 2/q + 19/7. Solve k - 2*h = y*k + 2, -5*k + h - 5 = 0 for k.
-1
Suppose 0 = 2*b + 3*b + 5*i - 95, i = 2*b - 44. Let s be 191 + 2 + (-6)/(-15)*5. Let t be (1 + -7)*s/(-45). Solve 5*k - b = -5*c + 9, t = k + 5*c for k.
1
Suppose -22 = -3*i + 11. Suppose x = -0*x + i. Let s(y) = -y - 5. Let j be s(-7). Solve x = -5*n + 3*f, -j*n - 4*f - 18 = 2 for n.
-4
Let z(f) = f + 10. Let a be z(-5). Suppose 26 = 2*k - 3*k. Let h = -23 - k. Solve -4*p + 10 = 5*r, -a*p + 8*r = h*r + 10 for p.
0
Let b(l) = l**3 - 26*l**2 - 26*l - 26. Let r be b(27). Solve p + 5*m + r = 3, 6 = 3*p - 5*m for p.
2
Let f be (-7)/7 + 9 - 6. Solve f*y - v + 20 = -4*v, -12 = 4*y - v for y.
-4
Let c(l) = 5*l**3 + l**2 - l. Let w be c(1). Solve 4*s - w*a = -3*a - 2, -2*s = -3*a + 7 for s.
1
Suppose 4*g + 5*l + 0 = 21, g + 4*l - 8 = 0. Let q be 3*-9*(-2)/6. Suppose q = g*h - 11. Solve 4*f + 2*s = -15 - 7, -h*s - 13 = -4*f for f.
-3
Suppose -3*u = 4*i - 2*u - 11, -13 = -2*i + u. Let x be 46/i + 12/24. Let k be (-42)/(-12)*x/21. Solve -c + 2 = -0*z + 3*z, -k*z = 4*c - 8 for c.
2
Suppose -4*n = 4*n - 16. Suppose 12 = -4*t + 3*g, 5*t + 2*g + n = 10. Solve -2*f = -c - 0 + 7, -4*f - 4 = t for c.
5
Let r = 50 - 48. Let q be 1*56/12 + 1/3. Solve -b - 6 - 4 = -m, -b + q = r*m for b.
-5
Suppose -26*q = 39 - 169. Solve 0 = 5*l + 3*v - 27, 4*l - 20 = -q*v + 3*v for l.
3
Let l be 78/(-10) + 8 - (-34)/5. Solve 0 = -y - 2*n + 5, -3*n = l*y - 2*y + 10 for y.
-5
Let o = 41 + -39. Suppose 0 = -4*z - 2*y - o, z + 4*y = -0*z - 18. Solve z = -f + q, -f - 6*q + q = -10 for f.
0
Let i be (78/(-2))/(9/6). Let d = i - -29. Solve -3*f - 5 = l, -d = -0*l - 3*l - 3*f for l.
4
Suppose -2*r - 14 = 5*j, 1 = -2*r - 3*j - 5. Solve r = b + 2*t, 4*b - 15 = -b + 2*t for b.
3
Let u(n) = 1. Let j(p) = -p + 9. Let d(y) = -j(y) - 4*u(y). Let c be d(16). Solve i - q = -c, 4*q - 8 = 2*i + q for i.
-1
Let w be -4*(1/(-2) + 0). Let o = 60 + -102. Let j = 61 + o. Solve 13 = 2*s + 3*g, w*s - j - 4 = -5*g for s.
-1
Suppose 0 = -5*v - 195*f + 190*f + 20, -f = 3*v - 4. Let i = -1 - -1. Solve i*h + 4 = -2*h + 5*y, 4*h + y - 14 = v for h.
3
Suppose -2*n = -2*b, 11*n + 2*b = 15*n. Solve 2*g + 6 + n = -5*p, -2*g - 6 = p for p.
0
Let q be 0/(8/(-10)*5). Solve 0*a = n - 2*a - 8, -3*n + 3*a + 9 = q for n.
-2
Let c = 1374 + -1369. Solve -c*o - 16 = -3*f, -3 = 5*f - o - 15 for f.
2
Let b(t) be the second derivative of t**3/6 - 13*t**2/2 - 7*t. Let k be b(16). Solve -5 + k = 2*q + p, -q + 9 = -2*p for q.
1
Let u(m) = 4*m - 7. Let k be u(3). Suppose k*r + 5 = -2*z, -8 = 5*z - 5*r - 48. Suppose z*v - 14 = 11. Solve -j = -2*l - v, 4*j - 5*j + l = 0 for j.
-5
Let g = -204 + 205. Solve a + 2 = 3*k, 5*a = k + 3 + g for a.
1
Let n be (-10)/4*((-273)/35 + 7). Solve 0 = v - 4*z - 9, -9 = -3*v - 4*z + n for v.
5
Suppose 5*p - 2*f - 59 = 0, -3*p + 25 = 2*f + 2*f. Let g = p + 5. Solve 0 = 4*o + g, -2*o = 2*s - 0*o + 6 for s.
1
Let d(p) = 16*p + 9. Let s be d(-4). Let t = s + 58. Solve 4*y = -0*y - 5*q - 4, q - 8 = -t*y for y.
4
Suppose -184 = -37*p + 38. Solve -2*v = 2*s - 4, -2*s = s - p for v.
0
Let l(m) = -m**3 + 2*m**2 - 2*m + 4. Let c be l(2). Solve s + 2*f = c, -5*s = -0*s - 5*f for s.
0
Let k(r) = 3*r**2 - 25*r - 24. Let p be k(-1). Solve -b - p*s + 17 = 0, -s - 3*s + 12 = 0 for b.
5
Let y = 2123 + -2120. Solve 2*a = y*p + 5, 2*p + 5 = -3*a + 6 for a.
1
Let x(u) = -u**2 - 10*u - 8. Let b be x(-9). Let q = 17 - b. Solve -14 = 4*s - 5*s + 5*t, -5*t - q = s for s.
-1
Let t be 485/15 + (-2)/6. Suppose f - 35 = -7. Let n = t - f. Solve -2*s - 8 = 2*l - 0*l, -16 = n*s - 3*l for s.
-4
Let g be ((-16)/(-5))/(12/30). Suppose -3*a + g = 2. Solve -a*s = -7*s + 5*j, -2*j = 0 for s.
0
Suppose 4*c - 36 = 10*c. Let x be (20/c)/((-1)/(60/8)). Solve x = 3*m - 5*t, -4*m - 7 = -3*t - 33 for m.
5
Let k(x) = x**2 + 49*x + 492. Let a be k(-35). Solve 29 = -a*m + 5*i, 10*m - 3 = 9*m - i for m.
-2
Let v(j) = -j**2 - 7*j + 3. Let w be v(-6). Let q = -1 - w. Let n = q - -12. Solve n*g + 14 = -5*f - 5, 0 = f + 3*g + 9 for f.
-3
Let x(i) = -i**3 - 10*i**2 - 5*i - 48. Let t be x(-10). Solve -4 = -2*y + 2, 0 = -5*a + t*y + 14 for a.
4
Let h(u) = -2*u - 4. Let z be h(-5). Solve 0 = -r - 5*w + 8, z = 2*w + w for r.
-2
Let u(g) = -g**3 + 5*g**2 + 2*g - 10. Let n be u(5). Let w be (3 - -2) + n + -1. Solve -2*m - 2*m = 3*k - 14, -w*m = -8 for k.
2
Let y(s) = s**3 + s**2 - 12*s + 6. Let r be y(3). Solve t = 3*o - t + r, 5*t = 0 for o.
-2
Let m = -439 - -442. Solve p - 3 = -i, m*i + 19 = 4*p - 0*i for p.
4
Suppose 3*a - 29 = 4*z + 12, 3*z + 29 = 2*a. Let x = 14 - a. Suppose -j + 4*f + 7 = -14, 0 = -f + 1. Solve 2*l - x = -b, 5*b - l - l + j = 0 for b.
-3
Let w = 354 - 349. Solve w = -x, -x - 7 + 2 = 3*t for t.
0
Let h = -80 - -85. Solve 0 = 2*j - 4*k - 17 - 1, 4*k + 21 = h*j for j.
1
Let n(x) = -x**2 + 9*x - 3. Let y be n(8). Solve -w + 8 + 3 = -5*u, 0 = y*w + 20 for u.
-3
Let d = 190 + -140. Let o = -47 + d. Solve -3 = 3*a + o*g - g, 3*a - 2*g = -3 for a.
-1
Let k be (986/(-51))/(-29)*(-30)/(-4). Let v be (-2)/6 + 20/6. Solve 0 = k*p - 0*z - z - 9, -v = -3*p + 3*z for p.
2
Suppose -10*m + 4*m = 6. Let k be (22/(-6))/(3/9)*m. Solve 2*v - 20 = 3*y, -4*v = 2*y - k + 3 for v.
4
Let t = 963 - 948. Solve 0 = -3*j - 2*