 for p.
3
Let f = 1384 - 1381. Solve -10 = r + 3*t, -r + 0*t + 20 = -f*t for r.
5
Let x be 27/72*8 - -14. Solve -3*b + b - n = 9, x = -5*b + 3*n for b.
-4
Let v be 23 + 3*4/3. Solve 0 = -4*c - 12, -5*c + 8 = 2*i + v for i.
-2
Let q = -5 - -9. Let h(c) = c**3 + c**2 + 3*c + 4. Let l be h(0). Let y be (-1)/(-2)*6 + 2. Solve y = -l*g - k, 5*g + 5*k + 6 = q*g for g.
-1
Let b be (-5)/2*(-22)/5. Solve 4*k = -8, p - 4*k - b = 4*p for p.
-1
Let i(y) = y**2 - 18*y - 38. Let u be i(-2). Solve -3*x - 2 = -u*b, 6*b - 4*x = 3*b + 2 for b.
-2
Let w be (-1)/2 + (-20)/(-8). Solve 3*b = 3*p + 4*b - 11, 0 = w*p + 5*b - 3 for p.
4
Let t be (-5)/(9 + 0 + -10). Solve -4*y = -t*o + 37, 7*o - 17 = 3*o - y for o.
5
Let c(t) = -t**3 - t**2 + 1. Let k(j) = j**3 + 22*j**2 + 44*j - 10. Let g(d) = -2*c(d) - k(d). Let z be g(22). Solve 3*v + 18 = 4*b, 4*b - v - z = 2*b for b.
3
Let h(c) = c**3 + 3*c**2 + 4*c + 5. Let y be h(-2). Let b = y - -1. Solve 0*i + i = -3*a + 7, -2*a - b = -i for i.
4
Suppose 14 + 0 = 5*o - 3*b, 2*o - 4*b = 0. Suppose -9 = 2*k - o*k - 5*g, 0 = 3*k + 4*g - 10. Solve 5*d - 4 = n + 5, -k*d = 5*n - 9 for d.
2
Let w(h) = -h**3 - 11*h**2 - 12*h - 7. Let j be w(-10). Let r = -6 + j. Let u be 1 - (r + -1)/(-3). Solve 0 = -4*z - 4*y - 4, -u*y + 2 = z - 1 for z.
-3
Suppose 2*w = k + 6, 3*k + 3*w - 35 = -2*k. Suppose 11 = -5*r - k*l - 61, -2*r = -l + 21. Let n be r/(-7) + 18/63. Solve -o + n*o = -2*t - 3, -20 = -4*o for t.
-4
Let f be (-1 - -1) + (6 - 1). Let z = 84 - 79. Suppose -z*m + 96 = 7*m. Solve 0 = x + f, 5*u = -x + 2 + m for u.
3
Suppose -46*h + 33*h + 13 = 0. Solve -3*f + 0*f = 4*a - 19, f - 4*a - h = 0 for f.
5
Let d = -289 + 296. Solve a + 6*z = d*z - 1, -z = -3 for a.
2
Let q(a) = -a**3 + 14*a**2 + a - 11. Let c(f) = f**3 + 18*f**2 + 14. Let x be c(-18). Let r be q(x). Solve 0 = 5*d + 3*i - 32, r*d + 4*i - 24 = d for d.
4
Suppose n + 39 - 52 = 0. Solve 2*x = 3*k + 23, 2*x - 2*k - 5 = n for x.
4
Let i = 55 - 50. Suppose -5*s = i*j - 70, -8*j + 5*j = -s - 34. Solve 0 = -3*h - 4*g - j, 9 = -3*h + 3*g - 3 for h.
-4
Let k be -2*((-3)/6 + -2). Suppose 4*v = 3*a - 12, -4*v + k*a - 14 - 6 = 0. Solve -5*m = -2*b - 23, v = 2*b - 0 - 2 for m.
5
Let c(j) = -j**2 + 9*j - 8. Let h be c(7). Let s be 4*(1 + (-3)/6). Suppose s*z = z. Solve z = -5*l - 2*i - 23, 0 = -h*l + 2*l - 2*i - 20 for l.
-3
Let k be (0 + 1)/(10/4 - 2). Suppose -6 = 4*r - 3*i - 23, 5*r + k*i - 50 = 0. Solve -5*f = 3*o + 11, -4*o = -0*o + r for f.
-1
Let u = 13 + -9. Let a(x) = -x**3 - 8*x**2 - 2*x - 13. Let i be a(-8). Suppose -i*p - 12 = 4*s, -p + 6 - 3 = -s. Solve -u*f - 3*o + 10 = p, -8 = -o - 3*o for f.
1
Suppose 4*o - 4*m = 0, -26*o = -25*o - 4*m. Solve o = 2*p - 3*b + 5, 0*p + 1 = -p + b for p.
2
Suppose 56*x - 54*x = -4*w, 0 = 2*w + 6. Solve -23 = -x*y + 2*y - 3*m, y - 3*m = -13 for y.
2
Suppose 45*t - 48*t = -9. Solve 4*i + 4*s = 4, -2*s = -5*i + t*i + 18 for i.
5
Let j be (-254)/(-3) + 6/(-9). Suppose -7*k + 3*k + j = 0. Suppose 4*t - k = 19. Solve -4*c + 5*x = t, 0*x - 2*x = 4*c - 4 for c.
0
Let z be 1/(-1 + 185/190). Let r = 40 + z. Solve r*q - 2*o - 13 = -5, -3*o - 12 = 4*q for q.
0
Let i(f) = f + 10. Let k be (-2*6)/(-4) - (1 + 10). Let n be i(k). Solve -r - 2*u = n*u - 11, u = 3*r + 19 for r.
-5
Suppose -2*t + 3*c - 20 = 0, 4*c - 1 = -9. Let k(h) = h**3 + 14*h**2 + 13*h + 5. Let m be k(t). Solve 0 = 3*x + m*w + 10, 3*w = -x - 3 - 3 for x.
0
Suppose -9*y + 112 = 5*y. Solve 8 = 3*n - 2*l, 4*n - 2*n - 2*l - y = 0 for n.
0
Suppose 97 - 3 = 4*o - w, -2*w + 111 = 5*o. Suppose 7 = -4*l + o. Solve -5*y - 25 = l*t, 0*y + 5*t + 26 = -y for y.
-1
Let a be 20/(-6)*21/(-14). Let u = 43 - 39. Solve -a*w = -3*z - 2*z + 30, u*w - z = -15 for w.
-3
Suppose -4*s = g - 104, 3*g + 18 - 6 = 0. Suppose 3 = -8*a + s. Solve -4*k = -9*k - a*l + 4, 5*k = -5*l for k.
2
Let j be -4*(0 + (-2)/4). Let k = 257 + -253. Let s = 63 - 45. Solve -f - k*d - s = 0, j*f = -3*d - 3 - 8 for f.
2
Suppose 9*v + 130 = 202. Solve 2*a - 8 = 3*g - 28, -3*a = g + v for g.
4
Suppose 22*z + 4 = -d + 18*z, -2*d + z = -1. Solve 0 = -4*j - b + 3*b - 8, 3*j + 5*b - 7 = d for j.
-1
Let y(u) = 3*u**3 - 6*u**2 + 4*u - 4. Let k be y(2). Solve -k = -4*n, 3*n + 6 = -2*b - b for b.
-3
Let k = 95 + -95. Solve -z - z - 3*u = k, 0 = 4*z - 5*u + 22 for z.
-3
Suppose 4*j = -f + 15, 0 = 4*j + 5*f + 40 - 35. Solve -j*c + 2*m = -6, 0*c - c = -m for c.
2
Let c = 14 - 14. Solve -4*a + q - 2*q - 11 = c, -a - 2*q - 8 = 0 for a.
-2
Let b = -76 + 78. Suppose 2*q - 6 = -b. Suppose 0*f - 9 = -5*f - z, 3*f + 2*z = 4. Solve 4*c - 10 = q*j - f, 3*c - 3*j = 0 for c.
4
Let w(b) = b**2 - 4*b + 5. Let d be w(4). Suppose -14*f - 6 + 40 = 6. Solve u - f*u + 3 = -d*z, -3*u = -3*z + 3 for z.
-1
Let r(d) = 20*d**2 + 2*d - 7. Let m be r(1). Solve -4*h + 12 = 5*q, h = -4*h + 3*q + m for h.
3
Suppose 9*x = 12*x - 21. Suppose 0 = g - a - x, 0 = -5*g - 0*a + 2*a + 29. Solve -2*z - d + 9 = 0, -4*d = -g*z - 4 - 6 for z.
2
Let b = 267 - 256. Solve -3*g - b = 2*s, 0*g + 9 = 2*s - g for s.
2
Suppose -40 + 64 = 3*j. Solve -3*z + j*z + 45 = -4*y, 2*y - 15 = 5*z for y.
-5
Let t = 1060 + -1056. Solve -l - l - i = -5, -t*i - 2 = -3*l for l.
2
Let i be (-7 + 6)/((-220)/218 + 1). Let w = -104 + i. Solve -5*a + 4 = u, -4*a + w = 1 for u.
-1
Suppose 5*q - 111 = -6. Suppose -2*n = -2*l - 21 + 53, 2*l - 3*n = 32. Let v = q - l. Solve -i + 5 = -2*i, v*g - 3*i - 40 = 0 for g.
5
Let y = 77 - 72. Suppose -2*c = -3*j + 7, -c + 29 = y*j - 0*c. Solve j*k + 17 = 2*x, 0*k + k = 5*x - 8 for x.
1
Let c be 5 + 4/(-6 - -5) + 3. Solve 0 = 5*a - 5, -15 = c*p + 4*a + a for p.
-5
Let h(x) = -x**3 - 4*x**2 + 6*x + 6. Let l be h(-5). Let s be 15/10*l*2. Let b be 19/4 - 4/(-16). Solve -4*z - c = 8 - 3, -s*z + 9 = b*c for z.
-2
Suppose 8*j - 12*j = -12. Suppose -j*m = -r - 5, m + 2*r - 7 = r. Solve 5*u - u = -c, 3*u = m*c for u.
0
Let d be 0/(-1 + 3 + -3). Suppose q + s = 5*s - 2, 4*s - 4 = d. Solve -q*l - 7 = -3*n, -5*l - 2 = 8 for n.
1
Suppose 2*u - u - 2 = 0. Suppose 0 = u*o - 4*o + 22. Let q be (-99)/(-21) + 4/14. Solve 0 = -4*k - 2*w + 14, 0*k - q*w = -2*k - o for k.
2
Suppose -2*f + 16*i = 21*i + 39, -3*f + 45 = -4*i. Suppose 0 = t + t. Solve 3*j = t, f*c + 2*j - 12 = -3 for c.
3
Let f be 0/(2 - (-4)/4). Suppose -8*a + 10*a - 8 = f. Solve 0 = 2*m - 3*g - 6, -a*m = m + g - 15 for m.
3
Let p(d) = -16*d - 108. Let o be p(-7). Solve 2 = -2*b - 5*g + 14, -b = o*g - 12 for b.
-4
Let w(h) = 10*h + 89. Let y be w(-7). Solve 3*b = -4*s - 4 - y, 5 = -b for s.
-2
Suppose 52*t = 58*t. Solve t = 5*p + h - 9, -5*p - 5 + 13 = 2*h for p.
2
Let y(p) = 2*p**2 + 122*p - 246. Let t be y(-63). Solve z = -1, 8*w - 2*z = t*w + 10 for w.
4
Suppose 2*i = -i - 15. Let j be 176/18 - 8/(-36). Let d = j + i. Solve -22 = 2*c - d*a, 2*a = 4*c - 2*a + 20 for c.
-1
Let p be (11/2)/(4/8). Suppose 0 = p*l - 7*l. Suppose 5*o + 20 = l, -3*a = -5*a + 3*o + 18. Solve 0 = -s - a*d - d + 14, -4 = -d for s.
-2
Suppose 47 - 9 = -2*n. Let l be (3 - n/(-3))/(4/(-6)). Solve -22 = 5*g + 4*i - 3*i, -4*g + l*i = 35 for g.
-5
Suppose 17 = 5*b + y, 0 = -4*b + 119*y - 124*y + 22. Solve s - t = 3, -s + 0*t - 5 = b*t for s.
1
Let q(i) = 2*i + 14. Let v be q(-7). Suppose -8 = -v*t - 4*t. Solve -3*g = 4*f - 11, 0 = -3*g + t*f + 4 + 13 for g.
5
Suppose t - 4*t + 69 = 0. Let y be 40 + -9 + -1*(-1 - 1). Let s = y - t. Solve 4*h - s = 2*j + h, 0 = 4*j + 5*h - 24 for j.
1
Suppose -35*s = -16*s - 76. Solve 5*f = -5*g - 5, -s*g + 18 - 2 = 0 for f.
-5
Let m(b) be the third derivative of -b**4/6 - 23*b**3/6 + 9*b**2. Let c be m(-7). Solve 0 = 4*a - 5*n + 25, -4*n + c = -5*a - 24 for a.
-5
Let j be 6/(-4)*(-8)/3. Let k(a) = -6*a - 6. Let x be k(2). Let i = x + 40. Solve 0 = -3*r + r - 3*m, -i = -j*r + 5*m for r.
3
Suppose 27*q = -0*q + 162. Solve 0 = -h - 4*k - 15, h + k = q*h - 30 for h.
5
Let q(d) be the first derivative of d**4/4 - 7*d**3/3 - 7*d**2/2 - 2*d - 8. Let x be q(8). Solve 5*s - 9 = 2*z + x, 4*z = s + 15 for s.
5
Let d be (-3)/(38/(-72) + (-4)/18). Solve d*b - k - 4 = -1, 5*b - 2*k = 0 for b.
2
Let q(u) = -u**2 + 1. Let f(a) = 6*a**2 + 2*a - 6. Let g(m) = -f(m) - 5*q(m). Let s be g(0). Solve -7 = n + 2*c, 3*c - 2*c + s = 2*n for n.
-1
Suppose 5*o + 15 - 46 = 3*w, 1 = o + 2*w. Let t(v) = 19*v**2 - v - 1. Let p be t(-1). Solve -o*s - 4*k = -p, 0*k + 