p + 4 for p.
3
Let p be (-32)/((-40)/10) + 1. Solve -p = -2*w + 1, -4*v = 4*w - 12 for v.
-2
Let t be 3*((-16)/6 + 3) + 22. Let o be -2 + (-2 - -1) + t. Solve 3*s - 18 = -3*f, -8 + o = 5*s - 4*f for s.
4
Suppose 0 = 27*t - 25*t - 16. Suppose t*g = 11*g - 6. Solve -g*d = 4*v + 7 + 5, 0 = 5*d + 2*v + 6 for d.
0
Let m = 354 - 206. Suppose 0 = -5*p - 38 + m. Solve 3*x + p = 2*s + 5, 5*s - x = 10 for s.
1
Let o be (5 - -11)/(-4) + 32. Solve -4*i + 5*a + 0*a + o = 0, 0 = 2*a + 8 for i.
2
Let y = -138 - -141. Solve 7*w + 34 = y*x + 2*w, 4*w = -3*x - 11 for x.
3
Let a = 1854 - 1818. Solve 33 = -5*h - 4*n, -1 = -5*h - 5*n - a for h.
-5
Suppose -2*l = 4*v - 66, 5*v + l = 99 - 9. Solve v = -n + o - 5*o, -n = 3*o + 15 for n.
-3
Let s = 4 + -4. Let x = 15 + -5. Let t = x + -6. Solve s = 3*p + 2*n - 4, 0 = -t*p - n - 3 - 0 for p.
-2
Suppose -5*i + 6*m + 2 = 5*m, 5*i - 5*m = 10. Solve -j - 2*s = -0 - 2, i = 5*j - 3*s + 29 for j.
-4
Let h be (-2)/(-15) - ((-6)/(-45) + 0). Solve 12 = -4*c - i - h, 3*c - 2*i + 20 = 0 for c.
-4
Let b(m) = -12*m + 6. Let j be b(-2). Suppose -i + j = i. Suppose 0 = r - 3*k - i, 0 = -5*r - k + 3*k + 10. Solve 8 = 2*f - 4*v - 2, -5*v - 5 = r for f.
3
Let b(w) = 33*w**2 - w. Let q be b(1). Let r be 804/q - 1/8. Suppose 5*y = -r, -23 + 10 = 4*n + 5*y. Solve 0 = n*f + 5*p + 30, -2*p + 34 = -5*f - 5*p for f.
-5
Suppose 886*n = 888*n - 12. Solve 3*s - 2*z + 5*z - n = 0, 3*z + 10 = s for s.
4
Suppose -4*s + 109 = 5*k, -s - k + 13 = -15. Solve -p = -6*z + 3*z - 17, -4*z = -3*p + s for z.
-4
Let x = 13 + -9. Let h(v) = -x + v**3 + 2*v + 9 + 0*v - 4*v**2 + v. Let f be h(4). Solve -5*c + 21 - 6 = -5*p, 5*p = 4*c - f for c.
-2
Let s be 4/(-6)*-1*(27 - 24). Solve -5*n + s*n = -h - 1, 3*n + 3 = -3*h for n.
0
Suppose -45*f = -50*f + 90. Suppose -f*v = -19*v + 3. Suppose 5*n - 88 = v*k, n + 6 = k + 24. Solve -s + 1 = a, 2*s - 5*a - n = -2*a for s.
4
Let n = -6 + 9. Suppose -n*t + 7*t = 5*k - 5, 25 = 2*k + 3*t. Suppose k*p - 20 = 30. Solve 5*d - o + p = 0, 0 = d - 4*d + 5*o + 16 for d.
-3
Let i be 2 - 0 - (-3)/((-24)/(-16)). Let s = -17 - -19. Solve -3*o - 17 = -i*j + s*j, o + 15 = 3*j for o.
-3
Suppose 6*a - 2 = q + 2*a, 5*a = 2*q + 1. Solve 5*f - 11 = -3*b, -q*b + 10 = 5*f + 1 for f.
1
Suppose -4*n = -77 - 19. Let g(v) = -5*v - 40. Let q be g(-9). Solve -4*o - n = -j, -q*j + 10 = -2*o + 4*o for j.
4
Let q be -3 - (0 - 8 - -2). Let v = 74 + -69. Solve -q*m = i - 5*i - 18, 0 = 2*m - v*i - 19 for m.
2
Let d be (((-80)/12)/(-4))/(7/21). Solve d*s = w - 3*w - 24, 2*s = 2*w - 4 for s.
-4
Let f be 0 + -3 + (-5 + 2 - -9). Suppose 2*q + 8 = g - 6, g - 18 = f*q. Solve -g*n + 4*n + 24 = 4*p, -2*p + 5*n = 0 for p.
5
Suppose 0*f - c + 16 = 2*f, -2*f + 18 = 2*c. Let a(y) = y**2 + 3*y + 1. Let n be a(-4). Solve -n*u - 2*o - f = 0, -u - 3*u - 2 = -2*o for u.
-1
Suppose -3*x + 30 = -3*b, -3*x + 11 = 4*b + 2. Solve -5*l + 20 = -2*i, 0 = -i + l + 3 - x for i.
0
Let j = 4 - 3. Suppose -m + 4 = -j. Suppose -3*p - 2*l = -3*l, -3*l = -m*p. Solve 4*t = -4*s + 24, p = t - 4*s + 3 - 4 for t.
5
Let w = 79 + -82. Let u be -1*(-2)/(6/(-5))*w. Solve -3*x = 2*j - u, -7*x = -5*j - 4*x - 40 for j.
-5
Suppose -216 = 6*y - 2*y. Let c = y - -61. Suppose -10 = -5*o + 2*g, 0*g = -g. Solve 0 = 6*j - j + o*z + c, j - z = -7 for j.
-3
Let a(o) = o + 22. Let p be a(-17). Solve -p*g + 0 = -5*v + 5, 5*g + 4*v - 22 = 0 for g.
2
Let z = -169 - -171. Suppose -3*a + 0*c = c - 58, -34 = -a - 4*c. Solve -7 = h - 2*y, -2*h - 2*y - z*y = -a for h.
1
Let d = 2 - -18. Suppose -1 = -g + d. Let z be 34/6 + (-14)/g. Solve z*t - k = -7 - 9, 0 = t - k for t.
-4
Let t(m) = 4*m. Let a(b) = 77*b. Let i(z) = -3*a(z) + 56*t(z). Let f(n) = -n**3 - 1. Let d be f(1). Let k be i(d). Solve 5*v = v + g + 6, 4*v - 5*g = k for v.
1
Suppose -6*x + 7*x = -4*t + 67, -t + 2*x = -10. Solve 4*n - t = 4*c - 40, -n = 2*c - 9 for n.
-1
Suppose -4*m - 3 + 7 = 0. Let y be (-3 - m) + 4 - 66. Let g be (-2)/10 + y/(-30). Solve 12 = -u + 3*i - 4, -2*i = g*u for u.
-4
Suppose 358*f - 72 = 354*f. Solve -f = 4*v + 2*o, -v - 3 = -4*o + 6 for v.
-5
Let g(c) = 10*c**2 + 228*c - 31. Let o be g(-23). Solve a = 4*z + o, -1 = 5*a + 4*z + 20 for a.
-1
Let m(x) = -2*x**2 + 6*x + 1. Let s be m(0). Solve 4*g + 4*q - 24 = 0, g + s = q - 1 for g.
2
Let v = -2520 - -2550. Solve a - f - 5 = 0, 25*a = v*a - 2*f - 13 for a.
1
Let o(n) = -79*n + 340. Let z be o(4). Solve -2*v = 3*v + b - 24, 4*v - 4*b = z for v.
5
Let i be (2 - (0 - 7))*15/45. Solve -3*w = -x - i + 10, -5 = -2*x - 3*w for x.
4
Let h = 425 - 423. Solve -9 + 6 = -3*d, 2*d = w + h for w.
0
Suppose 2*m = 6*m + 4. Let z be 550/20 + m/2. Let k = z - 24. Solve 0 = r - 3*r - k*p + 23, -3*p = -3*r - 3 for r.
4
Let h be 84/22 + -16*10/(-880). Solve -4*x - x = 5*o + 10, -2*x + h*o = 4 for x.
-2
Let b = 154 + -152. Solve -b*f = -o, -f = -2*f for o.
0
Suppose -49 = -4*y + 15. Suppose a - 5*a = -y. Solve 7*l = 3*l + b - 19, 5*l + a*b + 8 = 0 for l.
-4
Let p(n) = n**3 - 2*n**2 + 1. Suppose 13 - 6 = 7*b. Let t be p(b). Solve -2*i + 26 = 4*c, t = -0*i - 5*i + 25 for c.
4
Let a be (-4 - -5)*(0 + 1)*5. Solve 3*y - 3 = -r, a*r = 4*y + 3*r - 14 for y.
2
Let f be 4/18 + (-145)/45. Let a be (-1)/f + (-168)/18. Let i be a/18*(0 + 0). Solve -4*j = -12, i = -d + 3*j - 7 for d.
2
Suppose 0 = 2*u - 2*d - 28, 2*u - 2*d + 5*d - 23 = 0. Solve 0 = -11*t + u*t + 4*b + 26, -3*t = -3*b + 3 for t.
-5
Let h(c) = c**3 - 3*c**2 - 8*c - 10. Let y be h(5). Solve 5*z + 5 = y, n + 2*z - 3 = 6*n for n.
-1
Let n(u) = 3*u - 1. Let w be n(3). Let t = w + -14. Let j be (-68)/(-10)*(-15)/t. Solve r + 4*z - 18 = 3*r, 5*z - j = -3*r for r.
-1
Let s = -8 - -15. Let c(r) = 6 - 3*r + 12 + r + 3*r. Let l be c(-13). Solve -6*k + 5*j - s = -3*k, 0 = l*j - 10 for k.
1
Let j(q) = -q**2 + 18*q - 9. Let i be j(17). Let h = 10 - i. Solve 0 = -2*f - h*f + 20, 0 = -u - 3*f + 17 for u.
2
Suppose -6*k + 28 + 26 = 0. Let t be (-4 - -4) + k + 4 + -1. Solve 4*c - 5*l - 14 = -4, 0 = 4*c - 4*l - t for c.
5
Suppose -5*a = v + 13, 6*v + 15*a - 21 = 18*a. Solve i - v*i + 3 = -m, i - 7 = -3*m for m.
1
Let x = 133 - 131. Solve 0 = -5*f - 5*q + 15, -3*f = x*f + 2*q for f.
-2
Suppose -2*x - 2*t + 1 = -25, 5*x + 3*t - 55 = 0. Solve x*a + 23 = 4*o + 5*a, -3*a = -o + 17 for o.
2
Suppose 4*j - 54 + 34 = 0. Solve -4*n = j*f + 6, 5*f + 11 = 2*n + 29 for n.
-4
Let j(r) = -r + 3. Let m be j(-4). Let n(y) be the first derivative of y**4/4 - y**2/2 + 16. Let q be n(-1). Solve q*b = -2*b + 3*h - m, 2*b = -2*h + 8 for b.
1
Let v be 10 - 0 - 4/2. Let l = v + -4. Solve -o - 5*k = 18, 3 = -0*o - 5*o + l*k for o.
-3
Let j = -19 - -23. Suppose n + j = 3*n. Suppose -n*l = -7*l. Solve -3*i + 5*g = i - 25, -4*i - 2*g + 18 = l for i.
5
Let t be 4*(3 + (-45)/20). Solve u - 18 = -t*s, -u = s - 5*u + 7 for s.
5
Let r(z) = z**2 - z - 68. Let j be r(-9). Solve -w = 3*m - 13, -2*m + w + j = 2*m for m.
5
Suppose -m + 4*o = -5*m + 80, -2*m - o = -40. Let t(z) = -247*z + 4202. Let a be t(17). Solve -5*p - m = -4*c, -5*c - a*p = -4*p - 4 for c.
0
Suppose 5*p - 5*b = 75, -p + 27 = 2*b + 9. Solve t = 5*i + p, 0 = -i + 2*t + t - 6 for i.
-3
Suppose 1 = -20*n + 181. Solve -k - 5*y + 3 = n, 4*k - 3*y - 22 = 0 for k.
4
Suppose -37*c + 43*c = 84. Solve -4*y + 4*r + 24 = 0, -2*y - c = 2*r - 18 for y.
4
Suppose 3*m - 5*x - 10 = 0, m - 1 = -5*x + 9. Suppose 0*h - 30 = -m*h. Solve -5*s = -4*b + b - 16, 0 = -2*b + h for s.
5
Let t = 471 + -471. Solve -h + 2*j + 2 = t, -25 + 5 = -4*h - 4*j for h.
4
Let q(j) = -28 + 16 - 2*j**2 + 18 - 5*j. Let o be q(-3). Solve 3*y + 5*g - 5 = 0, o*y + g + 5 = 6*g for y.
0
Suppose -4*c = -5*t + 152, -2*t + 59 = 3*c - 4*c. Solve 0*w + o = 4*w + 21, -2*w + 4*o - t = 0 for w.
-4
Let g(l) = -l**2 - 3*l + 11. Let d be g(7). Let t = -54 - d. Solve 2*x = 4*h + 8, -5*x - 16 = t*h - 9*x for h.
0
Let c(f) = 5*f + 50. Let r be c(-9). Solve 5*j - r = 5*l, 3*j - 2*l + 3*l + 9 = 0 for j.
-2
Suppose 4*y - 6*j + 3*j = 12, 5*j + 20 = -5*y. Solve f - 13*z + 9*z - 5 = 0, y = -5*f - 5*z for f.
1
Suppose 2*z = -4, z - 52 = g - 4*g. Suppose -4*c + 2*m = -g, -4*c + m + 2 = -11. Solve -14 = -j + 3*h - 1, -c*j = h - 5 for j.
4
Let r be (-10)/(-14)*(-1820)/(-650). Solve r*p - 4*p = 3*m + 12, -2*p - m - 8 = 0 for p.
-3
Suppose 2*p - 21 = -f, 14*p - 5*f - 15 = 9*p. Solve 3*u = w - p, 4*w - 9*w =