p.
-2
Let c be (24/(-20))/((-12)/(-880)). Let a = c + 88. Solve f + a = 1 for f.
1
Let b = 5 - 3. Let p be 1/(-1)*(-21 + 6). Let t = p + -11. Solve t*g - 6 = b for g.
2
Let p be (-4)/(-12)*45 + -6. Solve -8*i + p*i = 3 for i.
3
Let r be 9*4*15/36. Let u be (r/2)/(-5)*(-4)/6. Solve 3*t + u = -2 for t.
-1
Let d(u) be the third derivative of u**5/12 - u**4/12 + u**3/6 - 11*u**2. Let b be d(1). Solve b*k + 20 = -0 for k.
-5
Let t be ((-1)/(-2))/((-11)/(-44)). Let f be (t - 3)/(0 - 1). Suppose -a - z + 3 = 0, a - 5*a + 2*z = -24. Solve -2*r - a - f = 0 for r.
-3
Let l(g) = g**3 - 7*g**2 - 8*g + 6. Let b be l(8). Let s(c) = -c + 9. Let t be s(b). Solve -t*j = -7*j for j.
0
Let x(z) = 4*z**2 + 2*z - 2. Let d be x(1). Suppose -3*j + 2*l + 4 = -6, 0 = j + 4*l + 6. Suppose j*p - 3*p = -1. Solve -p = d*r + 7 for r.
-2
Let p(q) = -3*q + 14. Let u be p(8). Let n be u/6*(-5 - -2). Let y be 11 + -4 + 3 + n. Solve 2*j + j = y for j.
5
Let y(f) = f**3 - 6*f**2 + 4*f. Let u be y(5). Let x(j) = -j**3 - 4*j**2 + 4*j - 6. Let t be x(u). Let o be 16/6 - t/3. Solve -1 - o = 4*n for n.
-1
Suppose 0*p - p - x = -107, p - 3*x = 103. Solve p = -y + 101 for y.
-5
Suppose -z - 12 = -k + z, -4*k - 3*z = -92. Solve m = -3*m - k for m.
-5
Suppose 36*m - 33*m = -12, -4*z = 4*m - 92. Solve -10*c - z = 3 for c.
-3
Suppose -5*s - 25 = -5. Let x be 4 - (-3 + (-20)/s). Solve -x*z + 7*z - 20 = 0 for z.
4
Let n = 3 - -1. Suppose -n*s - 5*z = s, -3*z - 6 = 0. Suppose 13 = -s*m + 19. Solve 0*a + m*a + 6 = 0 for a.
-2
Let p(i) = -13*i + 69. Let h be p(5). Solve h*y - 4 - 12 = 0 for y.
4
Let j be (236/(-413))/(2/(-21)). Let y(m) = -m**2 + 1 - 3*m**3 + 3*m**3 - 6*m**3 + m. Let a be y(-1). Solve a*i + j = 2*i for i.
-2
Suppose 5*b = -10, 3*b - 6 = -5*z + 3. Let o(h) = -2*h**2 - 25*h - 6. Let n be o(-12). Solve -z*y + y = n for y.
-3
Let w(p) = p**2 + 11*p + 20*p + 18*p - 41*p + 15. Let y be w(-2). Solve -y*g = -2*g + 1 for g.
-1
Let l be (16 - -2) + 6/(-3). Suppose -5*a - l = -7*a. Let j = -5 + a. Solve -7*v = -j*v + 4 for v.
-1
Let a be (8/72*-15)/(3/(-135)). Solve m - a = -80 for m.
-5
Let u(p) = -p - 7. Let x be u(-10). Suppose -h = -x*h. Suppose -i + 10 = 4*r, 3*r - 2*i - 2 = -h. Solve 0 - 2 = -r*z for z.
1
Suppose 0 = -m + 6*m - 10, -3*j - 8 = -4*m. Solve 19*z - 23*z - 12 = j for z.
-3
Let z(d) = 2*d - 17. Let w be z(11). Suppose -5*p - 105 = -w*k, -p + 44 = 4*k - 45. Solve 5*l - 2 = -k for l.
-4
Let y(h) = 2*h - 10. Let q be y(7). Suppose -q*v = 5*j + 20, -j - 10 = j + 2*v. Suppose j = -4*r - 4*u + 12, -3*r - u + 4*u + 21 = 0. Solve -4 = -r*p + 1 for p.
1
Let g(s) = s**2 + 6*s - 17. Let k be g(-9). Suppose -15 = -2*x + 5*i, k - 3 = x - 2*i. Solve -28 = -x*d - 3 for d.
5
Let o = 581 + -566. Solve 10*j - o = 5*j for j.
3
Let t = -402 + 450. Solve 46*a = t*a for a.
0
Suppose 0 = 3*r + 2*r + 15. Let k(i) = i**3 + 3*i**2 + 2. Let t be k(r). Suppose -5*g + 3*o + 97 = 0, -g + t*g - 21 = -o. Solve -6*s + s - g = 0 for s.
-4
Suppose 2*h + n - 6 = 0, -h + 3 = -0*n - 4*n. Suppose h*p - 2*p = 4. Solve p*l + 8 = -4 for l.
-3
Let t be (6*1/9)/(1/3). Suppose -w - 1 = -5*o, 5*o - 4 = 2*w - t. Solve o = c - 0 - 4 for c.
4
Let b = 70 + -62. Let q be 8/(-7)*(-28)/b. Solve -4*o + 16 = q for o.
3
Suppose 0 = -6*n + 4*n + 4*u - 18, 3*n - 3*u + 12 = 0. Let c be 1/((n + -4)/18). Let s = -2 - c. Solve -s*b = -7*b - 12 for b.
-4
Let w be (1 + -5)*15/(-30) + 2. Solve 2*b = -6 - w for b.
-5
Suppose n + 152 = 157. Let u = 11 - 6. Suppose -4*f = 3*l - 50, -4*f = -5*f + u. Solve -l = n*k - 0 for k.
-2
Suppose 0 = 2*u - 2*c - 12, 5*u + 26*c = 21*c. Solve u*k - 8 = 1 for k.
3
Let h(f) = 4 - f**3 + 47*f**2 - 7*f - 2 - 53*f**2. Let r be h(-5). Solve -k - 2*k + r = 0 for k.
4
Suppose 0 = 2*n - y - 4, y + 0 - 8 = -2*n. Solve n*m + 2 = m for m.
-1
Let o(f) = f**3 + 17*f**2 + 52*f - 9. Let g be o(-12). Solve -g = 4*w - 99 for w.
3
Let j be 16 + 0 + 0/(-3). Let g(i) = -2*i**3 - 28*i**2 - 41*i - 193. Let y be g(-13). Let k be 3/(6/4)*1. Solve -k*m - y*m = -j for m.
4
Suppose 2*r - 2*w = -0 - 6, -w = -4*r + 3. Suppose -21 + 1 = r*c. Let o = c + 10. Solve -4*d - 2 + 6 = o for d.
1
Suppose 0 = -4*b + 92 - 20. Suppose 0 = -4*d + 5*d - 2*r - b, 4*d = -4*r + 48. Solve 0 = -5*i - d - 11 for i.
-5
Let r be 29/2 + -7 + 3/2. Solve v - 4*v = -r for v.
3
Let s be (-3)/(-6)*-6 + 6. Suppose s*w = 17 + 1. Let z = w - 2. Solve -2*j + z = 2*j for j.
1
Let i(t) = 6*t + 4. Let m be i(2). Suppose 0 = -3*x - x + m. Solve 0*s = x*s for s.
0
Let u(b) = 3 - 3*b + 12*b - b**2 + 2. Let d be u(9). Solve 0*v = -5*v - d for v.
-1
Let c be 1 + (-4 + -3 - 2). Let s = 20 + c. Suppose 3*i - 13 = -0*i - m, 2*m + 7 = 5*i. Solve 0 = -0*d + i*d - s for d.
4
Suppose 2*y - 82 = -4*k, k + 2*y + 12 = 31. Solve -10*d + k = -29 for d.
5
Suppose 0 = 4*k + 7 - 67. Solve -k*v - 10 = -10*v for v.
-2
Let j be ((-20)/30)/(2/9). Let f be j/(-1)*2/(-2). Let v = 3 + f. Solve v = 5*p - p - 8 for p.
2
Let b(o) = 3*o + 8. Let m(a) = a - 1. Let d(s) = -b(s) + 5*m(s). Let n be d(9). Solve 0 = n*k - 1 - 9 for k.
2
Let q(p) = -5*p - 90. Let n be q(-18). Solve n = 3*d - 2*d - 5 for d.
5
Let k(x) = -21*x + 2. Let n be k(-1). Suppose -2*q + n = 5*z, 5*z + 5 - 16 = q. Suppose q*p = 2*s + 4, 0*p = 5*p + 3*s + 6. Solve 5*t + 14 + 11 = p for t.
-5
Suppose 7 - 4 = -r. Let c be r*(2 + (1*28)/(-4)). Solve -c = -5*p - 5 for p.
2
Let b be (3/(-9))/(1/(-3)). Let x = -210 + 213. Let l be x*-1 + (b - -5). Solve l*q + 25 = -2*q for q.
-5
Let a be 477/18 + 15/10. Solve 9*t + a = 2*t for t.
-4
Suppose -42 = -7*i - 28. Suppose -3*z = -u + i, 0 = u + 4 - 9. Solve -6 = -5*k - z for k.
1
Let y be (-1)/4*(16 - 28). Suppose 28 = 4*n - 2*k - 0*k, 4*n = -4*k + 4. Let m be 42/15 + 1/n. Solve -m*o = -y - 9 for o.
4
Suppose v = 5, y + 4*v - 8 = -y. Let u be ((-4)/y)/(6/63 - 0). Solve -12*h - 20 = -u*h for h.
-4
Suppose -469 + 181 = -32*s. Solve 15*w = 12*w + s for w.
3
Let m = -1 - -8. Let z = -77 - -80. Let n(p) = p**2 - 2*p + 5. Let r be n(5). Solve z*j - m*j = r for j.
-5
Let n be (-7 - (-15 + 9))*0. Solve n = 3*c + 268 - 283 for c.
5
Let p be 2/2 + -7 + 13. Solve -12 = p*x - x for x.
-2
Let p(u) = -u**3 - 10*u**2 - 28*u - 11. Let g be p(-5). Solve 0 = -9*b + 5*b + g for b.
1
Suppose 3*u - 13 = 2. Suppose 2*t + 2*g = 12, 5*t - u*g - 5 = 3*t. Suppose c - 1 - 3 = 0. Solve c*w - t = 3 for w.
2
Let k be 1/3 + 1067/(-33). Let m = k + 42. Solve w + 4*w + m = 0 for w.
-2
Let k(y) = -21*y + 220. Let g be k(10). Solve -g = 10*z - 0 for z.
-1
Let b(a) = a**3 + 7*a**2 - 18*a + 13. Let x be b(-9). Solve -4*j + 3 + x = 0 for j.
4
Let j be 20/8*2/5. Let d(n) be the third derivative of -n**4/24 + n**3/6 + 2*n**2. Let y be d(j). Solve o + y = 4 for o.
4
Let t = 287 + -287. Solve t = 4*l - 21 + 9 for l.
3
Let m = -35 + 40. Suppose -m*o + 14 = -16. Solve -g = 9 - o for g.
-3
Let x = -806 + 847. Solve -29 = -4*i - x for i.
-3
Let o(f) = -6*f + 1. Let k be o(-1). Suppose 0*m - 9*m = -243. Let a = m - 26. Solve -2*d + k = a for d.
3
Suppose v = 3*v - 2. Let x(u) = 2*u**2 - u + 2. Let d be x(v). Suppose -y = -f - 1, 8 + 11 = 5*f + d*y. Solve m + m = -f for m.
-1
Let b(v) = -v**2 + 5*v + 8. Let a(q) = -4*q + 5. Let r be a(3). Let f = r - -13. Let m be b(f). Solve 0*w = m*w - 4 for w.
2
Let j(m) = m**3 + 5*m**2 - 5. Let u be j(-3). Suppose 2*v - 15 = -u. Solve 0 = -w + 5 - v for w.
4
Suppose 12*l + 26 = 5*k + 16*l, -20 = -5*l. Let b(z) = z**2 + 3*z + 6. Let d be b(-4). Solve 0 = -0*c - k*c - d for c.
-5
Suppose 339 = 2*q + q. Let v = -113 + q. Solve v*g = 2*g - 4 for g.
2
Let m = 449 - 307. Solve -4*t + m - 126 = 0 for t.
4
Let b = 38 + -29. Let u be (2/6)/(1/b). Solve u*i + 2*i - 5 = 0 for i.
1
Suppose -3*t + 6 = -3, -12 = -p - 3*t. Suppose 5*v - 20 = -5*d, 2*d + v - 10 = -2*d. Suppose d*r + 8 = -5*z, 16 = 5*z - 4*r - 0. Solve z = p*k + k - 20 for k.
5
Let w(t) = -2*t - 42. Let h be w(-27). Suppose -3*b = 5*a - h, 5*a + 7 = -4*b + 23. Solve a*o + 12 = -3*o for o.
-4
Let q = -12 - -58. Let y = -42 + q. Solve -3*z + y = -5 for z.
3
Let p be 3/(21/28) + 0. Solve -4*z = p*z + 16 for z.
-2
Let h(z) = 2*z - 14. Let n(t) = -1. Let w(m) = -h(m) + 6*n(m). Let a be w(4). Solve a*k + 3*k = -15 for k.
-5
Let j(c) = -c**3 + 8*c**2 - 2*c + 19. Let k be j(8). Solve -4*g - k*g = -28 for g.
4
Let g(a) = -a**3 - 6*a**2 - 3*a - 16. Let c be g