 - 13 + 3 for p.
-5
Let j(n) = n + 7. Let d be j(7). Let o = 34 - 32. Suppose 3*t - 10 = o*i, -7*t - 4*i = -2*t - 46. Solve d + t = 4*m for m.
5
Suppose -4*o - 34*w = -30*w - 4, -2*o = w - 10. Solve 63 + o = 12*g for g.
6
Let y(f) = -11*f + 15. Let s(l) = -13*l + 16. Let c(q) = -5*s(q) + 6*y(q). Let g be c(-8). Let v = g + -6. Solve 3*p + 0 = -v for p.
-4
Suppose 56*u + 135*u = -34*u + 900. Suppose -27 = -3*m - 3*r, m + 1 - 26 = -5*r. Solve m*p - 4*p - u = 0 for p.
4
Suppose 9*s - 2*s = 28. Let a = -10 + 10. Suppose a = -9*v + 4*v. Solve -d + 1 + s = v for d.
5
Suppose -5*p + 28*p - 239*p = -12096. Solve -62*s - p = -70*s for s.
7
Let p(a) = 3*a**2 + 17*a - 10. Let j be p(-6). Let b be -7 - ((-44)/4 - j). Solve b = 2*g - 10*g + g for g.
0
Let i = -196 - -206. Suppose -t + 12 = -i. Solve -t*n + 15 = -17*n for n.
3
Suppose -9*m = -14*m + 2*f + 59, 5*m = -4*f + 47. Suppose 0 = -40*w + 51 - m. Solve -t + 4 = w for t.
3
Suppose -258 = -34*u + 388. Solve -u*g + 9*g = 30 for g.
-3
Let f be (-1 - 5/(-2))*220/30. Suppose 2*b - f = -3*m, 7*b + 11 = 3*b + 5*m. Suppose -b = p + 4*a, 5*p - 5*a + 22 = 117. Solve 0 = -s + 6*s - p for s.
3
Let w(g) be the first derivative of -2 + 14 - 1 - g - g**2 + 5*g. Let a be w(0). Solve 2 = -a*t + 18 for t.
4
Let m(s) = -2*s**3 + 8*s**2 - 7*s + 9. Let o be m(3). Solve 0 = 4*x + o*x - 20 for x.
2
Let k be 4/2 + 11 + (-10 - -7). Let h(d) = d**3 - 8*d**2 - 24*d + 43. Let t be h(k). Solve 0*o - t = 3*o for o.
-1
Let d be 2/(-5) - 8911/35. Let y = 123 + d. Let j = 138 + y. Solve 0 = -l + j - 3 for l.
3
Suppose 0 = 5*t - 2*t. Let j = -387 - -395. Suppose t = -3*o - z - 0*z + j, -2*o - 4 = 3*z. Solve -u - o = -0*u for u.
-4
Suppose -6*o + 162 = 3*o. Suppose 0 = -21*b + 66 + o. Solve 3 = -b*g - 1 for g.
-1
Let q be (-8)/(-28) - (228/(-14))/6. Solve 51 = q*a + 60 for a.
-3
Let u(g) = g**2 + g - 10. Suppose 4*f - m = m + 4, 6 = -3*f - 3*m. Let r be (4 - f)/(-2 + 1). Let o be u(r). Solve 0*n = o*n + 4 for n.
-2
Let r(s) = s**3 - 40*s**2 - 136*s + 304. Let a be r(43). Solve -4*j + a*j = -2 for j.
2
Let r = 2597 + -2597. Solve 116*x - 99*x + 51 = r for x.
-3
Let t be (6/3)/((-2)/16). Let l(y) = y + 41. Let m be l(t). Solve -6*b + m = 7 for b.
3
Let q = 71 + -63. Suppose -3*x - 13 - q = 0. Let s = x + 7. Solve 5*p = -s*p - 25 for p.
-5
Let y = -696 + 417. Let v = y + 302. Solve -7*p - 5 - v = 0 for p.
-4
Suppose -21*d + 16*d + 5 = 0. Let i be (-7 + d)/((-3)/4). Solve y = -y + i for y.
4
Let w be (-4)/36*3*13*-9. Solve 18*i = w*i + 21 for i.
-1
Suppose 3*y = -4*s + 16, -3*y - 4*s = -2*y - 8. Suppose 3*g + 8 = -g, 4*o + y*g - 72 = 0. Solve o = 5*t - 0 for t.
4
Suppose -11*p - 76 + 21 = 0. Let y(h) = -14*h - 61. Let z be y(p). Solve -z - 1 = -5*d for d.
2
Let z be (-20)/6*(-102)/85. Suppose -z*n + 4*o = 0, 2*n - o + 5 = 10. Solve -3 = n*y - 23 for y.
4
Suppose 4*w + 9 + 3 = 0. Let j(p) = 2*p**3 - 2*p**2 - 2. Let m(v) = -3*v**3 - 2*v**2 - v + 3. Let h(n) = -j(n) - m(n). Let s be h(w). Solve 11 - 31 = s*z for z.
-4
Suppose 4*z = 2*u - 20, 0*z + 32 = -4*z - 4*u. Let m = -26 - z. Let q be (15/m + 1)/(2/8). Solve 2*k + 3 = q for k.
-1
Let z(g) = -g**3 + 7*g**2 - 6*g + 1. Suppose -3*t - 18 = -36. Let k be z(t). Let x(d) = d**2 + 14*d + 47. Let q be x(-9). Solve -s + q = -k for s.
3
Suppose 6 = -29*r + 386 + 461. Solve 38*s = r*s - 72 for s.
-8
Suppose -d - 816 = -3*d - 2*g, -5*d = -2*g - 2075. Suppose 29*i + 65 = d. Solve 2*h + 4 = i for h.
4
Let w be 20 - (16872/(-19))/8. Solve w + 134 = -53*r for r.
-5
Suppose 5*b - 4*u = 176, -10*u + 8 = -2*u. Solve -31*m + 5 = -b*m for m.
-1
Suppose -2*v + 10 + 0 = 0. Suppose -2*j - 15 = -j - v*u, -3 = j - u. Solve -7*f + 5*f - 8 = j for f.
-4
Suppose 9*j = 4*j. Suppose j = -10*r + 13*r - 45. Suppose -7*l + r*l = 16. Solve -3*x = l*x + 15 for x.
-3
Let d = -5564 + 5620. Solve -7*c - 14 = -d for c.
6
Suppose -1150*a = 763*a - 337*a - 11032. Suppose 2*n = 5*n. Solve -a*f + 11*f - 16 = n for f.
4
Suppose -108 = -6*j + 114. Suppose 4*m - 68 = 80. Let v = m - j. Solve v = -3*g - 9 + 21 for g.
4
Let j = 160 + -159. Suppose b + 4*h - j = -10, 0 = 5*b - 4*h - 27. Solve -2*r + 9 - b = 0 for r.
3
Let a(x) = 2*x**2 - 24*x - 26. Suppose -59 = -6*l + 19. Let y be a(l). Solve -4*r - 7 - 5 = y for r.
-3
Let w(d) = d**3 + 4*d**2 + d - 9. Suppose 0 = 4*j - 2*c - 4 + 24, 4*j = -c - 8. Let o be w(j). Let v be (o + 2 - 1) + (4 - 0). Solve 9 = g + v*g for g.
3
Suppose -6*o = 72 - 60. Let s be (4 - o) + -6 + 7. Solve -s*a + 4 = -3*a for a.
1
Let i = -378977 + 378984. Suppose 5*r + 0*t = 4*t + 22, 0 = -4*t + 8. Let z(n) = -n + 9. Let p be z(r). Solve p*s = 5 + i for s.
4
Suppose -381*q = -391*q - 25 + 105. Solve -q*y + 1733 = 1709 for y.
3
Suppose 3*p - 50 = 10. Suppose -19*x + p = -15*x. Solve -12 = -f - x*f for f.
2
Let r(v) = -v**3 + 3*v**2 - v + 2. Suppose -2*t = 2*m + 4, -3*t + m = 5*m + 11. Let n be r(t). Let p be n/5 + 176/55. Solve 0 = -5*b + 2*b - p for b.
-1
Let q(y) = y**3 - 20*y**2 + 51*y + 2. Let g be q(17). Suppose -2*m - g*j = -20, 2*m + 2*j = -3*m + 62. Solve 0 = 19*z - 26*z + m for z.
2
Let q(v) = 49*v**2 + 81*v - 11. Let t be q(-2). Solve -t*g + 71 = -67 for g.
6
Suppose -3366 = -139*g + 40*g. Solve -g*b + 32 = -18*b for b.
2
Let o be ((-2)/(-4))/(16/224). Suppose -257 + 12 = -o*p. Solve -5*z + p = 2*z for z.
5
Suppose 4*i - 189 = 2*p + 5*i, -5*p = -2*i + 450. Let l be p/(-138) + 1/3 + -1. Suppose -5*a + 1 = -2*f, -3*a = 4*f - a - 10. Solve -f*n + n = l for n.
0
Let r(l) = 7*l**3 + l**2 + 8*l - 16. Let q(j) = 8*j**3 + 10*j - 15. Let v(h) = -6*q(h) + 7*r(h). Let f be v(-7). Solve 8*i = -f*i - 70 for i.
-5
Let z(d) = -d**3 - 10*d**2 + 20*d - 41. Let n be z(-12). Suppose 0*c = -3*c. Solve -i - 4 + n = c for i.
3
Let w(s) = s**2 - s - 87. Let j be w(0). Suppose -634 = -8*a + 110. Let x = a + j. Solve d + x = 1 for d.
-5
Suppose -38 = 27*p - 29*p. Suppose v - p = -4*w, 0 = v + 2*w - 3*w + 1. Let t(a) = 6*a + 80. Let z be t(-13). Solve 1 + v = z*b for b.
2
Let b = 148 + -140. Let k = b - 5. Solve w = k*w + 8 for w.
-4
Let y = 3559 + -3475. Solve y - 30 = 9*x for x.
6
Let c be (250/(-30) + 10)*3. Let j = -5 - -10. Suppose c*y = j*a, -y - 6*a + 3 = -4*a. Solve 5 = -o + y for o.
-4
Let w(d) = 2*d - 4. Let q be w(3). Suppose j - 7 - 1 = 5*g, 0 = 2*j + q*g + 20. Let f be 3/j - 59*(-4)/28. Solve c + c = f for c.
4
Suppose -3*j - 2*g + 37 = 0, -5*j + 7 + 56 = 3*g. Let v(y) = 2*y**2 - 2*y + 1. Let q be v(2). Let x = 0 + q. Solve -5*r - j - x = 0 for r.
-4
Let o be 11 + 9 + -15 + -4. Suppose 1 = y - 2. Suppose -93 = -4*w - y*u, u = 2*w - 10 - 29. Solve -o = 5*m - w for m.
4
Let p = -52 + 55. Suppose p*u - u - 3*u = 0. Solve -4 = -2*f - u*f for f.
2
Suppose 105*s - 615 = 102*s. Let a = s - 175. Solve -a*j - 15 = -33*j for j.
5
Let h be ((-390)/104)/((-77)/(-28) + -4). Suppose -u + 10 = 5*b - 16, -3*u + 22 = b. Solve -6*k + u = -h*k for k.
2
Suppose 4*q + 546 = 622. Let l(d) = 2*d**2 - 37*d - 15. Let z be l(q). Solve -5*g + z*g = 0 for g.
0
Suppose 8*k - 81 = -o, -4*o - 59*k + 54*k + 243 = 0. Solve o*i = 52*i - 20 for i.
-4
Suppose s = 4*s - 36. Suppose 5*u = -5*z + 638 - 88, -2*z = -4*u - 202. Suppose -s*p - 35 + z = 0. Solve p*y = 7*y - 2 for y.
2
Suppose 27*m = 17*m + 1890. Let r = m - 187. Suppose 4*s - 4 = -3*d + 9, 5*d = 4*s + 11. Solve r*c = -c - d for c.
-1
Let y = 188 - 65. Solve -4*q + 99 = y for q.
-6
Let s(i) = -30*i**2 - 15. Let o be s(-3). Let u = 289 + o. Solve -x = 8 - u for x.
-4
Suppose -153*c + 140*c = 0. Let s be 28/21*(-3)/(-6)*24. Solve 4*k + s - 32 = c for k.
4
Suppose 246*w - 241*w = 25. Suppose -2*f - w*a = -44, -4*f = -5*a + 18 - 76. Solve 13*g = f*g for g.
0
Suppose -2*i = 17*i + 209. Let w = i + 19. Solve -w*p + 2*p = 30 for p.
-5
Suppose 0 = -2*v + 4, 20*d + 4*v + 1228 = 16*d. Let r = -228 - d. Solve -4*a - r = -85 for a.
1
Let j be (-497)/(-21) - (-1)/(1*3). Suppose 0*z - 2*r + 12 = 2*z, 4*z + r = j. Solve -z = 6*k - 9*k for k.
2
Suppose 0 = -15*j + 9*j. Suppose -2*w + 4*w - 5*v + 13 = j, -w + 5*v = 14. Solve -s - 5 = -w for s.
-4
Let h = -54 - -127. Suppose -3*g - 3*i = 2*i - h, 0 = -3*g - i + 77. Suppose -38*z + 60 = -358. Solve -3*o + z = g for o.
-5
Suppose v = -3*c + 5, 4*c - 478 + 488 = 2*v. Solve c = 30*p - 19*p for p.
0
Let m be -6*(-11683)/105 + 6/15. Suppose 663*p + 10 = m*p. Solve d