 a for p.
5
Suppose -72*h = -54*h - 1458. Solve -86*j + h*j - 10 = 0 for j.
-2
Suppose 42 = -u + 46. Solve f = u - 1 for f.
3
Suppose -u - 2 = y + 2, 12 = y - 3*u. Suppose -9*p + 8*p + 5 = y. Solve -3*j - 4 = -p*j for j.
2
Let y be -6*(-8)/144*78. Solve -4*b - y = 9*b for b.
-2
Suppose -5*o + 5 = -0*y + 5*y, 3*o - 2*y = -17. Let t be ((1 - 2)*-2)/(o/(-6)). Solve 0 = 4*m + 12 + t for m.
-4
Suppose -13*t = -17*t + 60. Solve 10*n - t*n = 5 for n.
-1
Suppose -2*v = 3*l - 30 + 14, 5*v + 3*l = 49. Solve 3*m - v = -14 for m.
-1
Suppose -7*c + 21 = -21. Solve -c = -s - 5*s for s.
1
Let b(r) be the first derivative of -6*r - 1/2*r**2 + 1. Let h be b(-7). Solve 2*u - 3*u = h for u.
-1
Suppose 16*k - 170 = 11*k. Let r be (-2)/(4 + k/(-8)). Solve 2*j + 0*j - r = 0 for j.
4
Suppose 1403*r = 1413*r - 40. Solve -15*t - r*t = -57 for t.
3
Let f be (-2)/(-3)*((-209)/(-11) + 17). Solve f + 24 = -24*k for k.
-2
Let f be (-1204)/42*3/2. Let w = f + 46. Solve -6 = w*r - 5*r for r.
3
Let o(k) = 3*k**3 - 5*k**2 + 4*k. Let h be o(1). Suppose -l = -0*l. Solve l*z + h = -z for z.
-2
Suppose -25*s + 26*s = 3. Solve u + 5 = s for u.
-2
Suppose -15 = -5*f + 65. Let b(t) = -6*t + 40. Let m be b(8). Let c = f + m. Solve 18 = 5*l + c for l.
2
Suppose 8 = s - 7. Let x = 73 + -69. Solve 9*b - x*b = s for b.
3
Let k(p) = p**3 - 30*p**2 + 32*p - 87. Let s be k(29). Solve -t + 2 = -s*t for t.
2
Let s(g) = -g**2 - 5*g + 14. Let y be s(-7). Suppose y*v + 3*z = -2*v + 6, 0 = -v + z - 2. Solve -c - 3 + v = 0 for c.
-3
Let g(m) = m**3 + 8*m**2 - 3*m - 20. Let w be g(-8). Let x be w/(-1) + (6 - 3 - -5). Solve 2*l - 6 = x for l.
5
Let s(a) = -8*a + 4*a**3 - 3*a**2 - 3 - 5*a**3 + 4*a**2 + 5*a**2. Let z be s(3). Solve 20 = -z*g + 4*g for g.
5
Suppose 3*j - 11 = 5*g + 5, -2*j - 6 = 5*g. Let z = 7 + j. Solve -3*f - 21 = -z for f.
-4
Suppose -33*r - 41*r = 22*r. Suppose 5*o + 6*k = 2*k + 10, 0 = -3*o - 4*k + 6. Suppose 0 = -3*z + 4*z - o. Solve s + r = -z for s.
-2
Suppose -4*z + 40 = -3*m, -16 = -17*z - m + 44. Let w = 1 - -1. Suppose 0 = -7*r + w*r. Solve r*b = -z*b for b.
0
Let n = -14 + 24. Solve n - 1 = 3*a for a.
3
Let c(t) = t**3 + 4*t**2 - 9. Let n be c(-3). Solve n = -3*q - 8 - 4 for q.
-4
Let t(n) = -2*n**2 - 5*n + 5. Let l(o) = 2*o**2 + 4*o - 4. Let b(i) = 3*l(i) + 2*t(i). Let s be b(-3). Suppose -3*m + s - 1 = 0. Solve -m*d + 11 = -1 for d.
4
Let s(g) = g - 1. Let t be s(1). Let m = -7921 + 7936. Solve -3*x + m + 0 = t for x.
5
Let d = -13 - -19. Solve 3*h - 6*h = d for h.
-2
Let t = 80 + -60. Solve -58*h + t = -54*h for h.
5
Let w(i) = 9*i**2 - i + 1. Let l(b) = 5*b**2 - b. Let j(a) = 11*l(a) - 6*w(a). Let o be j(6). Suppose -3 - 3 = -3*d. Solve o*h = h - d for h.
2
Suppose 4 + 11 = 5*p. Suppose 0 = -a + l + 5, -10 - 10 = -4*a + p*l. Let b = -39 + 41. Solve a*f - b*f = 9 for f.
3
Let d = -97 - -75. Let x be (-1)/2*1*d. Solve -2*k - 13 = -x for k.
-1
Suppose -21*f + 2*w = -22*f + 93, -3*f = -4*w - 229. Solve -f*a - 16 = -79*a for a.
-4
Suppose -3*v + 22 = -4*s + 51, -5*v - 19 = -3*s. Let n(z) = -3*z**3 + z**2 - 1. Let u be n(-1). Solve -u*d - s = d for d.
-2
Suppose -132 = -53*b + 9*b. Solve 8*d - 5 = b for d.
1
Suppose 9 = -4*o + 5*r, -24 = -5*o - 2*r + 6. Let p be ((-4)/9)/(28/(-126)). Solve o - 10 = -p*x for x.
3
Let k be 13 - (14/7)/2. Solve -k = w - 4*w for w.
4
Suppose -573*i + 571*i = -10. Solve 0 = -u - i + 3 for u.
-2
Let k = 431 + -427. Solve n - 1 + k = 0 for n.
-3
Let o(d) = -3*d + 9. Let m(p) = -4*p + 9. Let j(u) = 2*m(u) - 3*o(u). Let r be j(13). Solve -q - q = -r for q.
2
Let a = -1046 - -1054. Solve -a = -37*l + 41*l for l.
-2
Let g be (2/(-7))/(7*8/(-392)). Let m be 2/(-8) - 1/(-4). Solve m + g = -z for z.
-2
Let p be (6/8)/(7/(-112)). Let n = -12 + p. Let t be 4/6 - (-16)/n. Solve t*k + 3*k - 12 = 0 for k.
4
Let c be 1/(-2 + 33/18). Let z(n) = 2*n**3 + 11*n**2 - 5*n + 5. Let p be z(c). Let v be p/(-5) + 152/40. Solve 0 = -v*q + q - 3 for q.
-1
Suppose 0 = -3*v + c + 176, 0 = 2*c - 3*c + 4. Suppose -n + 4*n = v. Let t = 37 - n. Solve 4*q - 5 = -t for q.
-3
Let l = 633 - 613. Solve 0*y + l = 10*y for y.
2
Suppose u + 5*i = -3 - 0, -8 = -2*u + 4*i. Suppose -5*o - 10 = 0, 2*a + 0*o + u*o - 4 = 0. Solve 7*d + 15 = a*d for d.
-5
Suppose -3*g - 6 = 0, n - 3*n - 3*g = -4. Solve -2 = -n*j - 17 for j.
-3
Suppose -162 = 9*z - 3*z. Let x = -27 - z. Solve x = -3*g - 7 - 2 for g.
-3
Suppose -5*j + 7*j + 110 = 0. Let d be 1/1*j/(-5). Let x = -7 + d. Solve -6*b = -x*b for b.
0
Let i(g) = -g**3 + 6*g**2 + 27*g + 9. Let k be i(5). Solve -k*l - 10 = -171*l for l.
5
Let g = 76 - 73. Solve g*o - 4 = 7*o for o.
-1
Suppose -5*m + m + 57 = 5*v, -2*m = -4*v - 22. Solve -8*x + m*x + 25 = 0 for x.
-5
Suppose -6*n + n - 3*m = -12, -3*n - 3*m = -6. Suppose -85 = -n*x + 5*h, 3*x - 110 = -x + 5*h. Solve x = -j - 4*j for j.
-5
Let r(g) = -36*g**2 - 2. Let q be r(1). Let j = 39 + q. Solve -j = -2*y - 9 for y.
-4
Let j(o) = -o**3 + 35*o**2 + 36*o + 6. Let u be j(36). Solve -16*z + 18*z = -u for z.
-3
Let d = 280 + -277. Solve -s + 6 = -d*s for s.
-3
Let f = 46 + -37. Solve -f + 12 = y for y.
3
Suppose 8 = 2*z - z. Solve 0 = 5*j - z*j + 12 for j.
4
Let r be 15/(-40) + (-1701)/(-56). Solve 0 = 10*t + 10 + r for t.
-4
Let z(y) = -5*y - 25. Let k be z(-6). Solve 5 + 15 = k*d for d.
4
Suppose -5*v + 50 = -5*q, -2*q = 2*v - q - 5. Solve 0 = v*o - 1 + 6 for o.
-1
Let h(b) = 4*b - 1. Let n(x) = -x + 2 - 1 + 5 + 0. Let r be n(5). Let u be h(r). Solve 0 = -4*f + u*f - 1 for f.
-1
Let x be (15/(-2))/((-18)/12). Solve -x - 11 = -4*p for p.
4
Let l be (105/6)/(2/(-4)). Let i = -24 - l. Solve -i + 3 = -4*o for o.
2
Let p be ((-105)/(-14))/((-9)/(-12)). Suppose p*i = 14*i - 100. Solve -i = -4*c - c for c.
5
Suppose 2*g - 3*k - 19 = 0, -7*g + 9*g = -k + 15. Solve 4*c - 8 = g*c for c.
-2
Let l(s) = -s**3 - 16*s**2 - 13*s + 33. Let v be l(-15). Solve -4 = v*y - 1 for y.
-1
Suppose -3*x + 13 = 7. Let b(j) = -j**2 + 5*j + 6. Suppose -18 = -3*h - 0*h. Let m be b(h). Solve m = 3*v + x*v - 10 for v.
2
Suppose -2*n + 6 = -2*x, x - 3 + 0 = 0. Solve -n*f + 4 = 10 for f.
-1
Let x be (2/(-6))/(1/3). Let t = x - -3. Solve t*h - 4 - 2 = 0 for h.
3
Let j = 121 + -116. Solve -3*u = -j*u - 10 for u.
-5
Suppose -3*j = -2*n + 15, -3*j = 3*n - 11 - 34. Suppose -v = -5*a + 19, 4*a = 5*v + 20 + n. Solve 4*o - 3*o = a for o.
3
Let a be ((-17)/(-5) - 3) + (-2760)/(-100). Suppose 0 = -0*x - 3*x + 9. Suppose x = 3*j - 3*i - 6, -2*j + 8 = -i. Solve j*m = a - 8 for m.
4
Let s(q) = -5*q**2 - 6*q + 1. Let u(j) = -j**2 - j. Let b(d) = -s(d) + 4*u(d). Let o be b(-3). Solve o*a = -2*a - 16 for a.
-4
Let p be ((-6)/(-5 - -7))/(-1). Solve -6*t + p*t = -15 for t.
5
Let s = -203 + 101. Let x be s/(-24) - (-2)/(-8). Let r be 0/(2 - (-4 + x)). Solve r*m = 5*m - 20 for m.
4
Let y = 12 - 68. Let h = y + 61. Solve h + 20 = 5*r for r.
5
Let f(q) = q - 10. Let r be f(10). Suppose r = -d + 2*d. Let o(z) = z + 4. Let u be o(0). Solve -2*t - 2*t - u = d for t.
-1
Let i(o) = o**3 - 12*o**2 + 3. Let c be i(12). Suppose 7*k - c*k - 40 = 0. Suppose j - 4 = -4*l, -k = 5*l + j + 4*j. Solve l*v + 0 = -4 for v.
-2
Let v(u) = u - 29. Let b be v(31). Let a = 31 + -22. Solve b*i + a = -i for i.
-3
Suppose 25 = 7*a + 4. Suppose 0 = 3*s - o - 4, -a*o - 2*o - 20 = 4*s. Solve s = 3*y - 4*y + 2 for y.
2
Suppose -2*u - 124 = 4*l + 2*u, 3*l + 4*u + 92 = 0. Let x be (l/(-20))/(4/20). Solve -x = -3*y + 4 for y.
4
Let o(p) = 4*p - 66. Let g be o(17). Solve -3*l - g*l = 25 for l.
-5
Let d(x) = -x**2 + 5*x - 1. Let f be d(4). Suppose s = 2*s - 4. Suppose -5*o = -s*m - 16, 3*o + m = -1 - f. Solve o = 2*u - 0 + 6 for u.
-3
Suppose 3*k - 4*v - 43 = 0, 4*k + v = 6*v + 56. Let a be (k + -3 - -4)/2. Solve a*l - 13 = 2 for l.
3
Let u = 388 - 383. Solve -4*v - u - 15 = 0 for v.
-5
Suppose -2*b = 4*h - 6, h = -5*b + 3*b - 3. Let u be 1*b/(-3)*9. Suppose 0 = -u*f + 5*f + 16. Solve -f*c - c = 5 for c.
-1
Suppose 0 = -2*b - 5*h - 21 - 29, 4*b - 4*h + 72 = 0. Let d = 23 + b. Solve y - d = -2 for y.
1
Let k(o) = 3*o**2 + 10*o - 5. Let p be k(-4). Suppose 0 = -2*v + i + 13 + 5, 0 = 5*v - 3*i - 44. Solve n - p*n = v for n.
-5
Let c be (-52)/(-39)*(3 + 3). Solve 0 = -3*f + 5*f + c for f.
-4
Let r = -48 - -60. Let c be r/20 - 51/(-15). Solve 0 = -c*a - 4 - 0 for a.
-1
Suppose -5*p - 2*q = 7 -