 for p.
-1
Let o(m) = -m**3 - 4*m**2 - 2*m + 1. Let y be o(-3). Let i be (0/(-20))/(y*1). Solve 5*f + 2 = -i*j - 4*j, 0 = 2*j + 3*f for j.
-3
Let s = -28 + 49. Suppose 0 = y - 2*y + s. Suppose 0 = 4*u + 12, -8 = -a + u - 3. Solve -3*o = 4*k - y, -a*k - k + 12 = o for k.
3
Let g(f) = 5*f + 36. Let w be g(-7). Let h be 16 - ((4 - 4) + w). Solve -14 = 3*x - 2*x - 3*v, 5*x - h = -2*v for x.
1
Suppose -18 = 2*h - 84. Let k = h + -5. Solve -q - 5 = 4*g + 7, -3*q + k = -4*g for q.
4
Let k(y) = -y**2 - 2*y + 4. Let j = -5 - 1. Let d be k(j). Let b be 5/(d/(-8)) + -2. Solve 5*q - 2*r = -r + 10, 3*r = b for q.
2
Let n be (-36)/48 + (-150)/(-8). Suppose -3*p - 3*j + 19 = -j, n = p + 3*j. Solve 2*c - p*v = 6, -3*c + 8 - 33 = 4*v for c.
-3
Suppose -4*a + 93 = -3*k - 15, 0 = 3*a + k - 68. Let j be a/9*(-21)/(-14). Suppose 3*s - 8 = -s. Solve -j*u = 3*z + 5, -4*u + 0*z + 10 = -s*z for u.
1
Suppose 44*u - 14*u - 990 = 0. Solve 2*a + u = -3*a - 4*o, -5*a = o + 27 for a.
-5
Let w(t) be the third derivative of 1/24*t**4 + 11/6*t**3 + 0*t - 5*t**2 + 0. Let i be w(5). Solve -u = 2*u - 4*j + i, -2*u - 4*j + 16 = 0 for u.
0
Let v be (-18)/(-30)*(12/4 + 2). Solve 3*x - 8 = 5*j, -4*x - v*j - 2 = -3 for x.
1
Let t be 3 + (-3 + 22 - -4). Suppose -v - 2*l + 18 = 2*l, 5*l = -3*v + t. Solve -3*o + v + 1 = -3*j, -3*j + 5*o + 1 = 0 for j.
-3
Let r be (2 - 32/4) + (12 - 2). Solve 0 = -4*g + r, -2*s + 4*g + 5 = 3 for s.
3
Suppose 3*k = 0, -5*d - 3*k = -0*k - 15. Suppose 4*x = 7*x - 5*z - 4, -x - 2 = -5*z. Solve 2*t - 4*c + 20 = -x*t, -5*c = d*t - 25 for t.
0
Let h = -4 + 8. Let k = -29 + 28. Let a be 0 - -1 - (k - 3). Solve 2*p - a*d = 9 - 1, 0 = -5*p - h*d + 20 for p.
4
Let g be (-1 - -2)*(-10)/(-2). Let l = 46 - 44. Suppose -n + l + 4 = 0. Solve 3*w = f - n + 14, -w - 2*f = -g for w.
3
Let a be -1 - 0 - (-3 - 0). Solve -q + 5 = -2*q, a*x - q - 5 = 0 for x.
0
Suppose 2*m - a + 8 = 5*m, -4*m - 2*a = -8. Suppose -1 - 14 = -3*u, -m*r + 24 = -4*u. Solve 2*h + r = -v, -3*h - 6 = -v - v for h.
-4
Let p be -2 - (-1 + -2 + -1). Let a be (1 + p)/(9/117). Suppose 0 = -3*r - 30 + a. Solve -10 = -2*h - 2*z, -r*h - 2 = z - 17 for h.
5
Let m(d) = d + 11. Let t be m(-8). Suppose -11*b + 3 = t. Solve 5*z = b, 3*h + 15 = 5*z - 0 for h.
-5
Let l be 3/6*((3 - -1) + -4). Let t(w) = w + 3. Let o be t(-4). Let j be ((-1)/o)/((-6)/(-24)). Solve -3*h = 4*d - 8, j = 4*h - l*d + 4*d for h.
-4
Let n = 203 + -199. Solve -b + 3 = 5*q, -3*b = 2*b - n*q - 15 for b.
3
Let a be 323/68*1*4. Let j = 27 - a. Suppose 23 = 3*r + 3*h - 5*h, j = -2*h. Solve -4*p + 2*i - 24 = -0*i, 3*i - 31 = r*p for p.
-5
Let p(t) be the second derivative of -2*t**3/3 - 11*t**2/2 - 3*t. Let g be p(-4). Solve 7 = 3*n - g*x, x + 2 + 3 = -3*n for n.
-1
Let s(o) = -o**2 - 3*o. Let z be s(-3). Suppose k - 35 = -0*g - 5*g, -2*k = z. Let y = g - 4. Solve 0 = -0*u + 2*u - 5*c - y, 4*u = -c - 5 for u.
-1
Let u be (72/(-42))/(1/7). Let r be (u/8)/((-15)/40). Suppose -8 = -a + r. Solve -5*h + 5*k - k + 28 = 0, 2*h = 2*k + a for h.
4
Let v be ((-49)/(-147))/(2/6). Solve z = -n + v, 5*z - 5 + 1 = -4*n for z.
0
Let t = 292 - 289. Solve -f - 7 = 2*a, -t*a + 2*f - 30 = -3*f for a.
-5
Suppose -9*s - 170 = -251. Solve 0 = v - 3*w, -11*w - s = -4*v - 8*w for v.
3
Let g(q) = q**3 - 6*q**2 - q + 3. Let j be g(6). Let n = -3 - j. Suppose 9 = 5*s - 2*s + a, n = 3*a - 9. Solve 0 = 2*x - x, 5*f = -s*x - 5 for f.
-1
Let s be (7 + -19)*10/(-15). Solve 2*y - 3*n = -4 - 7, -2*y + 2*n - s = 0 for y.
-1
Let g = -55 - -67. Solve -3 = y + f, -2*y + 6*y - f = -g for y.
-3
Suppose -5*x - 4*g - 5 = 0, -20 = 5*g + 5. Solve 3*t + l = 3*l - 13, x*t = -4*l + 17 for t.
-1
Let f(g) = g**3. Let a(c) = 3*c**3 + 10*c**2 - 2. Let k(q) = -a(q) + 2*f(q). Let t be k(-10). Solve 4*d - 2*m - 37 = 3*m, -m - t = d for d.
3
Suppose -3*j + 2*a - 43 = 0, 4*a + 17 + 17 = -2*j. Let s = j + 19. Solve 3*g - 3*n - 28 + 13 = 0, g + s*n = 0 for g.
4
Let u = -53 + 55. Suppose 5*i - 115 = -o - 4*o, -u*o = 0. Solve -3*v + i = -5*l + v, -3*l = -3*v + 15 for l.
-3
Let g(n) = -26*n + 708. Let f be g(27). Solve 20 = 5*r, 5*i = f*r - 4*r - 23 for i.
-3
Suppose 11 = -5*h + 31. Let i(n) = n**3 - 5*n**2 + 5*n + 4. Let k be i(h). Let z be 33/9 + (-1)/(-3). Solve -2*f = z, 3*f + k = -5*x - 3 for x.
-1
Suppose 4*v = 29 - 13. Suppose 2 = 6*x - v. Solve -2*m + 12 = -3*c, 4*c + x = -m - 4 for c.
-2
Let k(q) be the second derivative of -q**5/20 + 7*q**4/12 + 7*q**3/6 + 6*q**2 - 8*q. Let h be k(8). Solve 5*n + h*z + 21 = 5, z - 13 = 3*n for n.
-4
Let d(q) = q**3 + 12*q**2 - 14*q - 13. Let h be d(-13). Suppose 5*v - 25 = h, 16 = 4*w - 3*v - 25. Solve -s + 0 = -5*x + 2, -w = -5*x - 3*s for x.
1
Let q = 31 - 27. Suppose q*m - 3*m = 5. Solve 5*k + 40 = -m*v, -3*k = v - 4*v for v.
-4
Let z be 28/21 + (-12)/(-18). Solve -12 = -4*v, -4*v + 9 = z*s + v for s.
-3
Let l be 6*((-5)/(-3) - 1). Let y = 12 - l. Let g be -2 - (-21)/5 - (-151)/(-755). Solve 9 = -d - g*v - 0, -2*v = y for d.
-1
Let z(h) = 18*h - 3. Let g be z(-1). Let r = 24 + g. Let o(t) = 2*t**2 + t. Let u be o(r). Solve 3 + 5 = -2*k, -5*b - k = -u for b.
5
Let u = 0 - -15. Suppose 81*g + u = 86*g. Solve -13 = 4*d + g*v + 18, -4*d - 4*v = 36 for d.
-4
Let r = -711 - -714. Solve -4*y + 3*z + 16 = 7*z, r*y + 3 = 2*z for y.
1
Let k(p) = 4*p + 1. Let b = 3 + -2. Let r be k(b). Suppose -2*t - r*u - 125 = -6*t, -2*t - 2*u + 58 = 0. Solve 3*f - 8*f - t = -5*w, -21 = -5*w - 4*f for w.
5
Let i(s) be the first derivative of -3*s**2/2 + 41*s - 12. Let c be i(12). Solve 0 = -b + 6*b + c, 3*b = -3*f - 18 for f.
-5
Let l = -151 + 159. Solve 4*a = -v + 16, 3*a + 5*v - 4 = l for a.
4
Let q be (-1 + 27/6)*2. Let u be (-84)/(-10) - (-12)/(-30). Suppose 3*w = u + q. Solve 0 = -3*g - w*y + 5, -4*g = -g + 4*y - 7 for g.
5
Let y(g) be the second derivative of -g**5/20 + g**4/6 + g**3 - 5*g**2/2 + g. Let b be y(3). Solve 5*x = -2*a + x - 12, -b*a + x = 15 for a.
-4
Suppose p = -4*v + 10, -5 = 3*v - 4*p - 22. Suppose 3*i - 12 = v, -i = x - 9. Let b = 6 - x. Solve -21 = 4*d - h, 6 = -2*d + b*h - 12 for d.
-4
Suppose 0 = v + 3*q + q + 4, -3*v - q - 1 = 0. Suppose -18 = -5*j + m, 4*j = -v*m - 2*m + 20. Solve 2*i - 4 = -3*b, 5*b = -6*i + j*i for b.
-2
Suppose 8*t - 9 = 15. Solve c + w = 3*c - 9, -3*c + 18 = -t*w for c.
3
Let z be (-1)/(-2)*(0 + -22). Let w = 23 + z. Suppose 5*v = -r - r - 1, -4*r = w. Solve -v = -a - n, 2*n - 4 = 4*a + 4*n for a.
-3
Let p be (-14)/(-21) + (0 - (-257)/(-3)). Let x = 87 + p. Solve 4*s - 3*j = -11, 0 = -7*s + x*s - j + 10 for s.
1
Suppose -5*y = 5*b - 0*y - 95, -b = 2*y - 18. Solve 0 = -5*x - s - b, -2*x - 8 = -2*s + 3*s for x.
-4
Let r(y) = 24 - 14 + 3 + y**2 + 10*y. Let i = 11 + -20. Let a be r(i). Solve 0*d = -5*b + 3*d - 23, -a*d - 12 = 4*b for b.
-4
Suppose -w = 2*w. Suppose -3*g + 3 = -3*q - w, 4*g = 2*q - 8. Let a be ((-80)/q)/((-7)/(-21)). Solve 4*i = -5*l + a, -i - 22 = -3*i - 3*l for i.
5
Let a = -220 - -220. Solve -u + v - 6 = a, u + 18 = 5*v - v for u.
-2
Suppose 0 = -2*x + o + 16, -5*x + 42 = 5*o - 28. Suppose -5*b = s + s + 8, 5*b = -5*s + x. Solve -2*f - 10 = -2*y, -9 = -3*f - s*y + y for f.
-2
Suppose -5*w - 2*u + 12 = 0, 5*w - u - 13 = -4*u. Let o(y) = y - 1. Let v be o(3). Suppose -v*m = 1 - 5. Solve -w*g + 1 = 4*a - 5, m*a - 33 = 5*g for g.
-5
Let l(s) = s + 7. Let t be l(-5). Suppose n - t = 10. Let m be (10/(-6) - -2)*n. Solve 0 = 4*g - 0*g + k + m, 0 = 3*g - 2*k - 8 for g.
0
Suppose s + 4*s = -5*v + 90, -4*v = s - 15. Let g = -31 + s. Let o be (-18)/g*16/6. Solve 0*j + 4*i - o = -j, 20 = -4*j + 2*i for j.
-4
Let g be -8 + 5 + -81 - 1. Let x = g + 89. Solve -h = x, -5*h - 28 = 4*r - 0*h for r.
-2
Let h(o) = 148*o - 441. Let q be h(3). Solve w + 4*k - 20 = 0, -q*w - 8 = -2*k + 2 for w.
0
Let w be ((-24)/14 - 8/28) + 2. Suppose -3 = -h - w. Solve 5*c - h*j + 5 = -0*j, j = 3*c - 1 for c.
2
Suppose -109 = -4*r - 97. Solve 4*i + 5*l = -4 - 2, 14 = -5*i - r*l for i.
-4
Let t be ((-10)/30)/((-1)/15). Suppose 5*z - 20 = 0, 0 = -5*v + 2*z - t - 3. Solve 11 = 4*q - 3*x + 34, -4*q + 2*x - 22 = v for q.
-5
Suppose 3*g - 46 = -5*o, 25*g - 30*g + 4*o + 126 = 0. Solve -5*u + g - 5 = 4*q, -u + 2*q = -9 for u.
5
Suppose -5*p = 0, n + 28*p - 4 = 20*p. Solve -c + 1 = 0, 0 = n*g + 6*c - c - 21 for g.
4
Let p = -79 + 52. Let u = p - -37. Solve 5*f - o 