 -o for p.
-4
Let r(w) = -w**3 - 14*w**2 + w + 15. Let m be 42/24*-2*4. Let c be r(m). Solve -3*y = -5 - c for y.
2
Suppose -3*m = 3*v + 17 - 29, 0 = 5*v - 5*m + 20. Let w(c) = c**3 - 2*c**2 + c. Let h be w(2). Solve -h*j - j + 3 = v for j.
1
Let v be ((-28)/(-3))/(4/6). Solve -v*a = -10*a - 12 for a.
3
Let i = -455 + 473. Solve 0 = -4*q + i - 10 for q.
2
Let j be (228/36)/(2/6). Solve 6*l + j = 1 for l.
-3
Let m = -1735 + 1832. Solve m*t - 98*t = -5 for t.
5
Suppose -4*c = -5*k + 33, 0 = -2*k + 3*c + 14 + 2. Solve n + 1 = k for n.
4
Let o be 33/3 - (6/(-1))/(-2). Solve -7*i + o = -11*i for i.
-2
Let i(v) = -87*v - 422. Let n be i(-5). Solve 0 = -n*a + 18*a for a.
0
Let l = -27 + 21. Let j be ((-2)/l)/(5/90 + 0). Solve j = 4*k - 2 for k.
2
Suppose -y - r = 0, -3*y - r = r + 4. Let c(b) = b**3 + 6*b**2 + 5*b - 4. Let k be c(y). Suppose 0 = 4*f - k - 0. Solve 0*u - f = u for u.
-2
Suppose 70*s = 34*s + 252. Solve -22*n + s = -15*n for n.
1
Let b be 3 - (-2 - (-1 - 1)). Let f be 1*(-398*2/(-4) - 1). Let o be f/(-42) - -5 - (-4)/(-14). Solve o = -n - b + 4 for n.
1
Let l(x) = 3*x + 22. Let g be l(-6). Suppose -28 = -4*q + 2*k, 3*k - 7*k = g*q - 28. Solve -q*p + 4*p - 3 = 0 for p.
-1
Let t = -90 + 92. Suppose 1 = -t*l + 13. Solve 2*f + 2 = -l for f.
-4
Let d(n) = -n**3 + 6*n**2 - 6*n + 7. Let i be d(5). Suppose -i*t + 37 = -3. Suppose 3*r - 12 = -3. Solve -r*h + t = 5 for h.
5
Suppose -2*z = 49 - 47, 4*z = r - 13. Solve 0 = 4*b + 3 + r for b.
-3
Let m(d) = -5*d + 4. Let x be m(-4). Suppose -3*q - 3 = -x. Suppose -2*w + q*w = -5*n + 35, -3*n + 9 = -w. Solve 0 = -n*l + 9 + 7 for l.
4
Suppose 776*i = 777*i - 4. Solve -7 = 11*k - i*k for k.
-1
Suppose -4*m - 8 = -0*m. Let a = -4 - m. Let z be 1*(-1 - (-1 + a)). Solve 1 = b - z for b.
3
Let c be -1*(3 + -1) - -2. Let z(o) = -o**2 + 4*o + 4. Let k be z(4). Let y be 18/(-12)*(-4 - 0). Solve k*b + y - 26 = c for b.
5
Let a be 68/16 - 6/(-8). Let s = 3 + 1. Suppose 10 = -2*u, 10*t - 5*t = s*u + 30. Solve -t*p = a - 3 for p.
-1
Let x(p) = -6*p - 17. Let v be x(-5). Suppose 18*b = v*b + 10. Suppose 0*a + 16 = b*a. Solve 5*d + 2 = -a for d.
-2
Suppose -u - 2*w = -9, -7*w + 12 = -11*w. Solve -3 = 4*h - u for h.
3
Suppose -8*f = -5*f + 210. Let l = -66 - f. Solve -5*w + l = -1 for w.
1
Let h(t) = -t**3 - 4*t**2 - t + 4. Let y be h(-3). Suppose 0 = -0*q - q - 13. Let c = y - q. Solve -5*g + c = 1 for g.
2
Let g(y) = y**3 - 8*y**2 + 8*y - 5. Let r(z) be the first derivative of z**3/3 + 3*z**2/2 - 3*z - 1. Let i be r(-5). Let p be g(i). Solve 3*t = -p*t for t.
0
Let b = 217 + -203. Solve b = -4*y - 2 for y.
-4
Let s be (3 + -5 + (-16)/(-5))*5. Let t = 7 + s. Suppose 17 = 2*m + 7. Solve -t = -4*l - m for l.
2
Let c be (-1 - -2)/(8/(-384)). Let h = -45 - c. Solve -j = 1 - h for j.
2
Let o be ((2 - -12) + -13)/(2/2). Solve -2*l = o - 3 for l.
1
Let u(f) = -f**3 - 19*f**2 - 18*f + 4. Let z be 728/(-40) + 1/5. Let l be u(z). Solve l - 1 = n for n.
3
Let v = -46 - -48. Suppose -v*n + 5*n = 60. Solve 0*o + n = 4*o for o.
5
Let n be -6 - ((-2)/1)/1. Let a = n + 7. Solve a*s = -3 - 3 for s.
-2
Let y(n) = 3*n + 0*n - 3 + 4*n - 6*n. Let o be y(7). Solve q + o = 2 for q.
-2
Suppose -2*f + 6*f = -3*z + 60, -5*f + 33 = 2*z. Let x = 26 - z. Solve x*l + 3 = -1 for l.
-2
Let r = -31 + 39. Suppose -j = -3*j + r. Let f(t) = -t**3 - 2*t**2 + 3*t + 2. Let y be f(-3). Solve -2*s + j = -y for s.
3
Suppose 2 + 4 = 3*s. Let f = -486 + 492. Solve s*d = f*d + 8 for d.
-2
Let b be (6 - 4)*(-20)/(-8). Suppose 3*a = b*r - 20, 12 = 2*r + 4. Solve a = -p + 5*p + 12 for p.
-3
Let m = -23 + 31. Suppose 9*o = 11*o - m. Solve 2*g = o - 6 for g.
-1
Suppose 3*p - 2*t = 6*p - 59, p - 3*t - 16 = 0. Solve -p = 7*u + 9 for u.
-4
Suppose 0 = -4*r - 3*s + 94, 0*r - 2*r + s = -52. Let q(w) = -w**2 - w + 14. Let c be q(0). Let h = c - 8. Solve -h*a + a = -r for a.
5
Let d(m) = 5*m**2 - 2*m + 1. Let t be d(1). Let o be t/22 - (-104)/(-88). Let g be 9 + -7 + o + -1. Solve g*v + 2*v + 6 = 0 for v.
-3
Let b = 671 + -670. Solve 0 = -l - 6 + b for l.
-5
Let w(x) = -x**2 + 14*x + 19. Let c be w(15). Let n = -2 - -1. Let g(y) = 2*y**2 - 2*y - 1. Let h be g(n). Solve -h*m + c = -m for m.
2
Let f(t) = -t**2 + 16*t + 49. Let s be f(18). Solve s*w - 16*w = 3 for w.
-1
Let n(l) = -l**3 - 19*l**2 + 3*l + 61. Let p be n(-19). Solve 0 = 8*i - 4 + p for i.
0
Suppose a = 28 - 23. Suppose 2*y = -4*n + 31 + 75, 4*n - 85 = a*y. Solve -3*t - n = 2*t for t.
-5
Let c(i) = -i**3 + 7*i**2 - 6*i + 1. Let l be c(6). Suppose -l = -4*s - 21. Let k = s + 5. Solve -5*v - 15 = -k for v.
-3
Suppose 8*j - 279 + 231 = 0. Solve j = 2*x + 4*x for x.
1
Let x = -210 - -214. Solve -x*c + c + 15 = 0 for c.
5
Let p(z) = -1 - z - 3*z + 6*z**2 + 8 - 3*z**2. Let s be p(3). Let b = -17 + s. Solve b*w = 2*w for w.
0
Let q(z) = -10*z**2 - 80*z + 5. Let r be q(-8). Solve -r*i + 4 = 24 for i.
-4
Suppose -5*w - 5*i = -55, 4*i - 25 = -w - 8. Suppose -6 + 32 = -5*g + c, 0 = 5*g + 3*c + 42. Let n = g + w. Solve -p + n*p = 6 for p.
3
Let f = 118 + -113. Let s(u) = 4 - 6 - 3 + 2*u. Let x be s(4). Solve 2 - f = -x*y for y.
1
Let o = -20 - -10. Let i = o - -12. Solve 2*q = -i*q - 16 for q.
-4
Suppose -2*m + 8 = 2. Suppose 0 = -m*n + 2*n. Let h(y) = y**2 + y + 7. Let v be h(-2). Solve n - v = 3*o for o.
-3
Let d be -4 - 5/((-15)/(-6)). Let s be d/(-1) - (-10 + 13). Suppose 0 = -s*h - 0*h. Solve 5*i + h*i = 25 for i.
5
Suppose -3*y - 32 = -y - 4*v, 5*y = 4*v - 92. Let p = y - -20. Solve -12 = 3*r - p*r for r.
-4
Let n(q) = -3*q**2 - 8*q - 18. Let x be n(-4). Let u = -32 - x. Solve 5*a = u*a for a.
0
Let t be 5 - 2/4*2. Let l be t/(-6) - (-220)/33. Suppose l*x = 10*x. Solve 2*b - 2 + 0 = x for b.
1
Let j(a) = -2*a**2 + 20*a + 24. Let k be j(11). Suppose -c = k - 2. Solve -g + 3*g = c for g.
0
Let d = 10 + -14. Let l be d/(-28) - 26/(-14). Solve l*p + 20 = -2*p for p.
-5
Suppose -2*b - 2*b = -3*b. Let l = 5 + -3. Let v be ((-36)/(-27))/((-1)/(-3)). Solve b = v*a - l*a + 6 for a.
-3
Suppose -13 = -2*o - v, o + v + 0 = 8. Suppose -o*w + i + 26 = 5*i, -5*i + 22 = w. Suppose -s = -0*s + 2*s. Solve w*l + 6 = -s*l for l.
-3
Let o(v) = v**3 + 3*v**2 + v. Let r be o(-2). Let b(m) = 3*m + 2 + m**2 + 4*m + r*m. Let j be b(-9). Solve -z - 3 = -j for z.
-1
Suppose 0 = -n + 2 - 3. Let a be (-7 + (-5)/n)*(2 + -3). Solve -4*y = -a*y + 2 for y.
-1
Let g = -303 - -305. Solve -g*w - 2 = 2 for w.
-2
Let z be (-3 - (-42)/10)/(18/480). Solve -11*j - z = -3*j for j.
-4
Let t be (-1428)/(-196) - ((-6)/21)/(-1). Solve -4*r - 3 = -t for r.
1
Let z be 2/((-4)/(-12 + 4)). Suppose z*g - 3*y - 28 = -10, -2*y + 11 = 5*g. Solve s = -0*s + g for s.
3
Let o be -3 + (3/(-9) - (-1400)/15). Solve 10 - o = 20*c for c.
-4
Let b be 12 - (12/(-21))/((-2)/14). Let g = -1 + 6. Solve g*t - t = -b for t.
-2
Suppose 0 = -2*k - 3*k + 360. Suppose 6*p + k = 2*p. Let w = p + 26. Solve m = -3*m - w for m.
-2
Suppose d = 1 + 4. Let x = 517 - 480. Suppose 2*p - 4 = 0, 0*m + d*m + p - x = 0. Solve -l = -4 + m for l.
-3
Let c(m) = 7*m + 33. Let h be c(-4). Solve -h*u + 6 = -4 for u.
2
Let v = -87 - -22. Let a = 69 + v. Solve a*u + 8 + 0 = 0 for u.
-2
Let q be ((-114)/(-12) + -9)*14. Solve -15 = -2*g - q for g.
4
Suppose -52 = -5*g + n, 5*g + 6*n - 10*n - 58 = 0. Solve g + 10 = 5*b for b.
4
Let n(z) = 16*z - 7. Let o be n(2). Solve 0 = 2*k + 3*k + o for k.
-5
Suppose -p - 3*m + 27 = 3*p, -7 = p - 2*m. Suppose 4*u - 14 - 2 = 0. Suppose -2 + 4 = s + u*j, 4 = 2*s - 5*j. Solve -s*a = -3*a - p for a.
-3
Suppose 9 = 17*p - 14*p. Solve -1 - 5 = p*l for l.
-2
Suppose -j - 3*r = -42, j - 40 = 27*r - 29*r. Solve -7*o - j = -19*o for o.
3
Let n = -171 + 199. Solve n = -x + 23 for x.
-5
Suppose 4*g + 2*w = -2, -3*g = 2*g - w - 1. Let b = -101 + 104. Suppose 3*d - 2*n - 5 = 0, -b*n = 2*n - 10. Solve -d = q - g*q for q.
-3
Let c(x) = -5*x + 3. Let g(v) = -v**2 + 7*v - 10. Let m be g(5). Let n be c(m). Solve -n*h + 4 - 10 = 0 for h.
-2
Suppose -3 = 2*l - 3*l. Let x(s) = -2*s - 17. Let y(k) = -k - 8. Let z(u) = 3*x(u) - 5*y(u). Let t be z(-17). Solve d + t = l*d for d.
3
Let f(x) = -x**3 + 16*x**2 + 18*x - 14. Let u = -32 + 49. Let p be f(u). Solve 3*h - p = 4*h for h.
-3
Let o = -18 - -33. Let t(v) = 2*v - 29. Let z be t(o). Solve -5 + z = m for m.
-4
Suppose -3*y + 4*c = -2*c - 3, -2