 for p.
1
Let p(d) = -d**2 + 27*d - 49. Let f be p(25). Let r be (35/7 - 10)*f*-1. Solve 0 = r*k + 3*b, 0 = -2*k + 3*k + b for k.
0
Suppose 0 = 47*w - 43*w - 84. Suppose 3*s - 10*s = -w. Solve h + 3 = -4*p - 3, 0 = 3*p + s for h.
-2
Let f = 354 + -350. Let p = 1 + f. Solve 3*h - 4*y + 3 = 0, 5*h + p*y - 19 - 11 = 0 for h.
3
Let n be 144/396*(-77)/(-2). Solve -6 - n = 3*c + 4*j, 4*j + 20 = 0 for c.
0
Let k(v) = 56*v + 7740. Let j be k(-138). Solve r - 7 = -2*x, j - 32 = -5*x for r.
-1
Suppose 9*w + 121 = 20*w. Let r be (-9 - 2) + 3 + w. Solve -15 = -3*i + 3*z, -r*i = 2*i + 2*z + 3 for i.
1
Let s(t) = -5*t**2 + 49*t + 13. Let g be s(10). Solve 0 = -g*c - j, 7*j - 5*j = -4*c - 2 for c.
1
Let j(y) be the second derivative of -3/2*y**3 - 3/4*y**4 + 24*y + 1/20*y**5 + 0 - 7/2*y**2. Let a be j(10). Solve a*u + 8 = -3*d + 5*d, -4 = 3*u - d for u.
0
Let f(n) = 429*n + 2164. Let v be f(-5). Solve 2*r - 16 = 4*w, -v = -2*r - 15 for w.
-3
Let f(y) = 5*y**3 + 29*y**2 + 87*y + 571. Let j be f(-6). Solve 0 = -5*i + 4*u + j, 5*i + 4 - 3 = -3*u for i.
1
Let d(q) = q**3 + 26*q**2 + 31*q - 392. Let v be d(-24). Solve 21*l - v*l + g - 10 = 0, 4*g = -2*l - 14 for l.
3
Suppose -30 = -10*z + 50. Solve r + n + 4*n = -4, z = -2*r - 5*n for r.
-4
Let i(r) = r**3 - 4*r**2 - r + 4. Let p be i(3). Let h be (-64)/(-48) - p/(-6). Solve -4*q + 4*g + 24 = 0, h*q + 5*g = -5*q for q.
3
Let u(w) = -w**2 + 35*w - 124. Let c be u(4). Suppose -46*m + 38*m + 32 = c. Solve q + m*f + 2 = 0, -4*q + 2*f - 6 = -16 for q.
2
Let p = 242 - 238. Suppose p = -o + 4*z - 4, 3*o - 20 = z. Solve 3*w + 11 = -0*w + 5*h, -2*h = -o for w.
3
Let x = 3275 + -3271. Solve -s + d = 4, -2*d = -2*s - x*d - 12 for s.
-5
Let x(t) = t**3 + 3*t**2 - 3*t - 4. Let o be x(-3). Let p = -18 - -25. Solve o*s = -p - 3, -4*s = -j + 5 for j.
-3
Let r be (-3)/(1 + (-1 - 1)). Let w = -93 + 133. Suppose -w*m + 37*m = 0. Solve v = -2*s - r*v + 12, m = -s + 4*v - 12 for s.
0
Let n be (5 - 11)*(-14)/(-6)*(-4)/14. Solve 1 = 3*c - 2*u, -n*c - 7 - 1 = -5*u for c.
3
Suppose 417*q + 244 = 539*q. Solve 22*l - 26*l = -2*b + 16, 8 = -q*l - 4*b for l.
-4
Let m(l) = 9*l + 64. Let p be m(-5). Suppose p*k + 60 = 250. Solve i = -5*f - 12, -2*i - 2 - k = 4*f for f.
-2
Let d = 164 - 170. Let v be d/51 - (-265)/85. Solve -3 = -v*c + 3*g, -2*c - 6 = g + 4 for c.
-3
Suppose -271 - 125 + 36 = -45*x. Solve -29*u + x = -5*f - 32*u, -u - 12 = 4*f for f.
-4
Let j(l) = 2*l**2 + 167*l + 3446. Let u be j(-37). Solve 5*f = 20, -f = -u*w + 22 - 16 for w.
2
Let k(h) = 48*h + 3. Let c be k(0). Solve -4*a + 7 = -3*q - 2, c*q + 9 = 3*a for a.
0
Suppose 697*u + 100 = 702*u. Suppose 8*d - u = -2*d. Solve -3 = -t + 3*o, -d + 8 = -3*o for t.
-3
Let c = -6 - -9. Let t = -63 + 61. Let f be (-30)/75*(-16 + 3 + t). Solve 0 = -4*h + 2*r - f, -r + 7 = -7*h + c*h for h.
-2
Suppose -38*p = -69 - 83. Suppose 4*f + w - 68 = -12, -w - 56 = -p*f. Solve 0 = -2*u - 4*a - f, 8 = 3*u - a + 1 for u.
1
Suppose 175*u - 97 = 149 + 104. Solve 8*c + u = 2*f + 3*c, 3*f - 3 = -3*c for f.
1
Let l = 197 - 196. Let k be 0 + l - 57/(-19). Solve 4*q + 6*d = 2*d + k, -d + 1 = -5*q for q.
0
Suppose -29*u + 83*u = -201 + 471. Solve 3*o + 87*h - 85*h = -7, 0 = -o + u*h + 26 for o.
1
Suppose u - 450 = -4*l, -98*u + 99*u - 2*l = 450. Let f = 452 - u. Solve f*x + b = -0*x - 7, -3*x + 4*b = 16 for x.
-4
Suppose 8 = 3*s + 2*a, 24 = -56*a + 53*a. Solve -s*j - 11*g + 12*g - 26 = 0, -5*g = 2*j - 4 for j.
-3
Let u(f) = 120*f - 715. Let g be u(6). Solve -g*y + 8*y + 2*q = 5, 5*y = -2*q + 11 for y.
3
Let g(j) = -3*j - 53. Let l be g(-19). Let y be 5/6 + (8 - 282/36). Solve -22 = -4*r + 5*m, -5*m = l*r - 3 + y for r.
3
Suppose 5*t = -15 + 25. Suppose t*q + 0*q = 5*j + 24, -20 = 5*j. Solve -3*m = 5*s + 15, -q*s + 1 = 2*m + 11 for m.
-5
Let s be (-513)/19*(-2)/(-6). Let w = -56 - -69. Let o = s + w. Solve -3*k = 4*h + 14 + 2, o*h - 3*k + 16 = 0 for h.
-4
Suppose -74*p - 150 = -44*p. Let z(i) = -2 + i**2 + 7 + 5*i - 2. Let a be z(p). Solve c - 2*h = -a*h - 6, 0 = 4*c + h + 9 for c.
-1
Let k be 4/8*8/2. Suppose 84 - 58 = k*p. Solve 5*v + 4*b + p = -2, 2*v - 4*b = -6 for v.
-3
Let m be ((1/6)/((-27)/(-405)))/((-10)/(-48)). Solve c + 26*n + 9 = 30*n, m = 5*c - n for c.
3
Let l(i) be the second derivative of i**5/20 + i**4/3 - i**3 - i**2 + 27*i. Let c be l(-5). Suppose -c*d = -12*d. Solve g + 4*g + 2 = -3*u, d = -3*g - 3 for u.
1
Let s(n) = 7*n - 338. Let v be s(49). Let m be (-21)/((-1)/((-4)/(-4))). Let j = -16 + m. Solve 0 = -j*i - 2*u + 10, -2*i + 2*u - 1 = -v for i.
2
Let v be 6 + -6 - (0 + 16). Let j = 18 + v. Let u = -10 + 12. Solve 2*b - 2 = -u*f, b + j*b + 4*f - 5 = 0 for b.
-1
Let m be (-708)/(-84) - (-3)/(-7). Suppose 4*a - 6*z + 4*z - m = 0, -z + 4 = 2*a. Solve 2*u = a*i - 0*u - 2, -20 = 5*u for i.
-3
Let k(o) = 53*o - 369. Let i be k(7). Suppose -5*q + 19 = -101. Solve -4*l + 4*y = 0, -3*l + q = -7*l - i*y for l.
-4
Suppose -g + 19 = 5*n, 0 = -5*n + 10 - 0. Let b = g - 47. Let h = b - -40. Solve -h*i + 3*x = -5, 5 = 4*i + 2*x - 3*x for i.
1
Let c(u) = -u**3 - 2*u**2 - 6*u - 2. Let w be c(-4). Let d = -92 + 52. Let q = d + w. Solve 4*s - 8 = v + 7, -4*s + 2*v = -q for s.
4
Suppose 0 = -4*j + 4*s + 12, 5*j - 2*s + 485 = 503. Solve -4*o + o = -3*k, -5*k = j*o - 27 for k.
3
Suppose 2*l = -p + 21, 12*p - 13*p + 3*l + 1 = 0. Let v(a) = 5*a - 61. Let d be v(p). Solve d*u = 2*i, -4*u = 3*i - 10 - 10 for i.
4
Suppose 2*u + h - 13 = 0, 2*u + 17 = 5*u + h. Suppose -2*i - 6 = -u*i. Suppose -6*a + 11*t - 2 = 12*t, -100 = 5*t. Solve -a*m = -m - 2*d, d = i*m - 6 for m.
3
Let d be 2/(-4) - 2/(-4). Suppose m - 8 = -d*m. Let z be 10080/990 - (-120)/(-660). Solve 3*o + x = m, x + z = 3*x for o.
1
Let p be 3 - (3/(-2))/((-15)/(-460)). Suppose -85 = -12*w - p. Solve -3*c + w*a + 12 = -3, -c - 15 = 4*a for c.
1
Let q = 33 + -22. Suppose 2*z - 2*x + 422 = 0, -z + 2*x - 122 = 88. Let v = z - -216. Solve 8*p = 3*p - 3*m + 30, 3*p - v*m = -q for p.
3
Suppose 30*t = 34*t + 4. Let x be 1 - t - (-10 + 8 - -1). Solve -11 = -x*g - 5*i, g - i = -4*g - 19 for g.
-3
Let w = -283 - -288. Suppose -4*h + 8*h - 16 = z, -2*z + 3 = -h. Let i = h - -10. Solve -5*q - 5*k + i = 0, w*q + 4*k - 2*k - 15 = 0 for q.
3
Let j(o) be the first derivative of 4*o**3 + 5*o**2/2 - o + 18. Let s be j(1). Solve 4*v - 5*d = -d + s, -5*v + 20 = 2*d for v.
4
Let k(i) = 451*i + 454. Let b be k(-1). Solve s - 3*h = -1, -11 = -b*s - h + 3*h for s.
5
Let v = 10284 + -10278. Solve 3*c = 2*r + 17, 3*r + 23 = -2*c + v*c for r.
-1
Suppose -16 = 20*a - 24*a. Let z be (-4 + (5 - 1) - 4) + a. Solve z = b - i + 3*i - 6, 0 = 5*b - 5*i - 15 for b.
4
Suppose -4*x - 3*b = -11, 2*b + 3*b = -3*x + 11. Suppose -x*k + 0*k = -4. Suppose k*m - 20 = -0*m. Solve -15 - m = 5*u, 2*a - u = 1 for a.
-2
Let m = -2479 - -2489. Solve -m*b = -7*b + 6, -4*c + 6 = b for c.
2
Suppose 7497*s - 455 = 7462*s. Solve 5*i - 15 = 8*j - s*j, -5 = 5*i + j for i.
-2
Let b be ((-22)/(-44) + (-7)/(-2))*(-6 - -7). Solve b*g + 24 = -q, 29 = -3*q - 4*g - 3 for q.
-4
Let x(k) = 29 + 37 + 29 + 6*k - 9*k - 105. Suppose -5*v - 4*g - 37 = -0*g, -5*g - 40 = 5*v. Let u be x(v). Solve -u*z = -3*j - z - 10, -10 = 5*j - 5*z for j.
2
Let m be (7/(-5) - -1) + (-4752)/(-1980). Solve -2*b + 5*w = -3*b + 15, m*b - 3 = -w for b.
0
Suppose -4*k + 0*r - 5*r + 445 = 0, -k + 110 = r. Let w = k - 96. Solve w = -3*j + 2*i, 0 = -0*i - i + 3 for j.
-1
Let h(p) = p**3 - 3*p**2 - 69*p + 11. Let j be h(-7). Solve 4*t + j*r = 9*r + 24, -5*t = -r - 9 for t.
1
Suppose 0 = 64*x + 57 - 100 - 149. Solve -z + 3*a - x = 0, -3*a = 4*z - 4*a + 1 for z.
0
Let l(m) = 10*m**2 + 35*m - 33. Let y be l(1). Let f(k) = k**3 - 3*k**2 - 5*k - 2. Let i be f(4). Let d = i + 9. Solve -7 = -5*p + 8, j + d*p = y for j.
3
Suppose 5*z = -11*z. Let j(w) = -12*w**3 - w**2 + w + 1. Let h be j(-1). Suppose z = -h*y - 7 + 51. Solve 4*i - 5*c = -9, -c = -i + y*c - 21 for i.
4
Let u be ((-10)/(-16))/(54/432). Suppose -5*x = -10*l + 15*l - 25, -u*x = 0. Let d be ((-2)/4)/((-1)/4). Solve -l = -5*o + 5*a, d*a = -a + 6 for o.
3
Suppose 3*m = -0*j + 3*j + 2274, 2*m = 4*j + 3036. Let t = j - -764. Solve -2*r + 2*x = -t, 2*x = x - 2 for r.
0
Let l be 37 + (3 - 3)/1. Let m = -35 + l. Suppose -m = 6*i - 8. Solve 2 = -o + 3*c + i, -o + c + 3 = 0 for o.
5
Let t(w) = 21*w 