- 20 + 8 for p.
2
Let w = -28 - -22. Let s = w + 11. Solve 0*j + j + s = 0 for j.
-5
Let o be 81/6 + 3/6. Let s = -20 + o. Let d(y) = y**2 + 7*y + 6. Let b be d(s). Solve 0 = -b*u - 5*u - 15 for u.
-3
Let m be 2/(-3) + 5/3. Suppose 0 = v - 3 + m. Solve -v*w - 5 = 5 for w.
-5
Let r be ((-13)/6)/13*0/64. Suppose l = -3*h + 16, -4*l - 7 = 1. Solve h = -3*q - r*q for q.
-2
Let a = 50 + 20. Solve a - 86 = -4*u for u.
4
Let i(n) = -n**2 - 3*n + 1. Let v be i(-5). Let m = -1 - v. Let l be (-12)/20 + 63/5. Solve m = -4*t - l for t.
-5
Let i = -90 + 64. Let l = i + 30. Solve -l*d - 5 = d for d.
-1
Let h = -11 - -28. Let s be (h/2)/(6/(-12)). Let q = -13 - s. Solve -12 - 4 = q*r for r.
-4
Suppose 3*u = -4*u + 21. Solve 0 = u*t - 4*t for t.
0
Suppose 2*y + 6 = -0*y + 5*w, 4 = 4*y - 2*w. Suppose 24 = 5*i - 5*b - 31, -y*b + 83 = 5*i. Solve 6*s = 3*s - i for s.
-5
Suppose 1749 - 1941 = -8*z. Solve -4*a = z - 4 for a.
-5
Suppose 4*f + 8*f = 480. Suppose f = 5*v + 30. Solve -v*z - 2*z + 12 = 0 for z.
3
Suppose 0*r = -4*r - 16. Let c be 1*((-5)/(-1))/(-1). Let g = r - c. Solve -5 = -y - g for y.
4
Let y be 1530/189 + (-6)/63. Solve 41*d = 37*d - y for d.
-2
Let r be 0 + (-1 - (-6 - -2)). Let j(a) = -2*a**3 - 37*a**2 - 16*a + 56. Let p be j(-18). Solve p = r*y + 2*y for y.
4
Suppose -18 - 24 = 14*v. Let d be (-1)/v - (-282)/36*2. Solve -4 + d = -4*o for o.
-3
Let b = -16 + 16. Let u = -3 + 3. Suppose u*r = -4*r + 32. Solve 0 = 4*a - b*a + r for a.
-2
Let q = 53 - 74. Let l be (-8)/(-28) + (-1 - 78/q). Let t = 5 + -3. Solve -l*x - t = -4*x for x.
2
Let o(k) = 4*k**2 + k + 4. Let x(q) = 9*q**2 + q + 8. Let c(g) = 7*o(g) - 3*x(g). Let h be c(-4). Solve 0 = -h*u - 3 + 19 for u.
4
Let h be (2 + (-2)/2)*(-440)/(-88). Solve 0 = -r + h*r for r.
0
Let g = -397 + 410. Solve g*w = 18*w + 15 for w.
-3
Let p(g) = -8*g - 43. Let m be p(-6). Suppose 0 = m*a - 70 + 40. Solve -2*z - a = -4 for z.
-1
Suppose 0 = 4*v - 5*v. Let i(d) = v*d**3 + 8*d**2 + 3 - 2*d**3 + d**3 - 1. Let f be i(8). Solve -2*u = f*u - 12 for u.
3
Let a be 14070/1050 - 8/10*-2. Solve 0 = a*r - 5*r + 50 for r.
-5
Let i = 7 + -4. Suppose 4*l + 0 = -i*f + 23, 2*l - 19 = -3*f. Suppose -l*r = 2*r. Solve -m + 3*m = r for m.
0
Suppose -17*b - 135 + 203 = 0. Suppose 0 = -3*t + 6*t - 6. Solve -b*h - 4 = -t*h for h.
-2
Let b = 33 - -78. Suppose 3*o - b = -5*f, -o - 18 = -4*f + 81. Suppose -16 = -3*z - s, 4*z + 3*s - s = f. Solve 4*n = z + 8 for n.
3
Let x(p) = p**2 + 32*p + 101. Let l be x(-29). Solve -8*i + 2 + l = 0 for i.
2
Let a be (-6)/(((-9)/21)/((-12)/(-42))). Let p(m) = -3*m**3 - m**2 - m - 1. Let n be p(2). Let j = 56 + n. Solve u - j = -a*u for u.
5
Let p = 829 - 825. Suppose b + 3 = 5*r - 1, 5*b = -5*r - 20. Solve -p = 2*f - r*f for f.
-2
Let f be ((-9)/(-4))/(9/36). Suppose -3*u = -f*u + 12. Solve -20 = -2*m - u*m for m.
5
Let g(v) = 9*v**2 + 2*v + 2. Let a be g(-1). Solve a*w - 6 = -6 for w.
0
Suppose -4*n + 46 = -22. Let m(h) = -3*h - 3*h - 5*h + 12*h - 15. Let v be m(n). Solve -v*k = -k - 2 for k.
2
Let y(k) = 18*k + 40. Let d be y(-2). Solve -10 = -a - d*a for a.
2
Let f(h) = h**2 + h - 4. Suppose l = 4*z + 14 + 10, 0 = 4*z + 20. Suppose -5*m = -5*i + 10, -20 = l*i + m - 3. Let g be f(i). Solve g*k - 4 = -0 for k.
2
Let i be (-16)/4*14/(-28). Solve z = i*z for z.
0
Let t(c) = -24*c**2 + 100*c - 10. Let g be t(4). Solve 0*s - g = -3*s for s.
2
Let t(m) be the first derivative of 5*m**3/3 - m - 13. Let g be t(-1). Solve 0 = -7*i + g*i - 12 for i.
-4
Let j(z) = z**2 + 94*z - 800. Let s be j(8). Solve 15 = s*o - 31*o for o.
-1
Suppose 0 = -5*r + 5*m + 20, -5*r - 15 = m - 53. Let w = -5 + r. Let p be (-64)/48*(-3)/w. Solve 4*y + 10 = -p for y.
-3
Let r be (90/20)/((-6)/(-8)). Suppose 8*v = r*v + 10. Solve -3*k + v + 10 = 0 for k.
5
Suppose 0 = -44*b + 84*b - 41*b. Solve 2*d + 3*d - 5 = b for d.
1
Let c(i) = -i**3 + 10*i**2 - 8*i - 6. Let q be 6/9 + 50/6. Let p be c(q). Let v(z) = z**3 - 11*z**2 + z - 7. Let o be v(11). Solve o*g = g - p for g.
-1
Let i = -23 - -26. Suppose -3*s - 2*g = -12, 0*g - 15 = -i*s - g. Solve -2*d + s - 16 = 0 for d.
-5
Let k be (16/(-20))/(2/(-5)). Let w(o) = -2*o**3 + 31*o**2 - 17*o + 34. Let c be w(15). Solve -c*j + k = -18 for j.
5
Let v = 2 + 10. Solve -4*x + v = -x for x.
4
Suppose a - 95 = -3*u, 122 = 4*u - 4*a - 26. Suppose 55 = -c + 57. Suppose -u = -d - c*d. Solve 0 = -5*t + d - 1 for t.
2
Suppose -2*h = -32 + 24. Suppose -h*w + 2 = -w + 4*s, 5*s = 5*w - 15. Solve -12 = -w*f - 4 for f.
4
Suppose 0 = -0*v + 5*v - 2*g, -5*g = 3*v. Let z(l) = l**3 - 26*l**2 + 158*l + 30. Let y be z(10). Solve -5*o + y = -v for o.
2
Let o(j) = j**2 - 9. Let p(l) = -2*l - 3. Let t be p(0). Let k be o(t). Solve -3*b - 1 - 8 = k for b.
-3
Suppose -w = -0*w - 4*z + 84, -4*w + z - 261 = 0. Let v = -61 - w. Solve -v*q = -0*q + 12 for q.
-4
Suppose -141*r - 49 = -148*r. Solve 0 = -3*j + r + 5 for j.
4
Let f(j) be the first derivative of j**4/4 - 2*j**3/3 - j**2 - 4. Let p be f(3). Solve a = -p*a for a.
0
Suppose 0*q - 3*x = 5*q + 2, q - 2*x = 10. Let a be 12/(-64)*-8*1*q. Solve -a*j + 8 = -1 for j.
3
Suppose c = 3*o - 5, 0*c + 2*c + 2*o = 14. Suppose -22 = -3*s - c*z, s + z = -s + 8. Solve -1 = u + s for u.
-3
Let u be ((-36)/(-15) - (-20)/(-50)) + 29. Solve -6 = 5*c - u for c.
5
Let q(y) = -11*y - 55. Let w be q(-7). Solve -7 + w = 3*d for d.
5
Let b be ((-12)/10)/(30/(-250)). Let c be ((-120)/b)/(2/3). Let l = -17 - c. Solve -2*w = 1 + l for w.
-1
Let m = -19 + 28. Let r = -9 + m. Solve r = -3*j + 13 - 4 for j.
3
Let w(g) = 8 - 2*g + 3*g - 5 - 7. Let o be w(7). Suppose o*c = 8*c. Solve -h - 2*h + 3 = c for h.
1
Suppose 33 = 12*p + 9. Solve 0*w + p*w = 0 for w.
0
Suppose -50*o - 6 = -52*o. Let z(n) = n**2 + 5*n + 2. Let b be z(-6). Suppose -4*x + b = -0*x. Solve x*m = o*m + 2 for m.
-2
Let k be -6 - -4 - (-10 - (-12)/4). Suppose 5*b = -k*b + 6*b. Solve b = -u - 4*u for u.
0
Suppose -n = -3*n + 6. Let w be 88/110 - 2/(-10). Solve -n = k - w for k.
-2
Let d = -54 - -31. Let y = d - -28. Let h be ((-12)/15)/((-4)/10). Solve -h*i = 3*i + y for i.
-1
Let o(v) = 5*v**2 - v. Let s be o(1). Suppose c = -s*u + 19, c - 7*u = -3*u - 13. Solve 10 = -5*k + c*k for k.
-5
Suppose 2*q + 66 = 3*y, -4*q - 156 = q - 3*y. Let t = q + 33. Solve 3*w + 3 = -t for w.
-2
Let d = 29 + -28. Solve -3*n + d = -14 for n.
5
Let h(l) = l**3 - 5*l**2 - 3*l + 21. Let o be h(5). Let t be 158/13 + (o - 160/26). Solve 4*k = k - t for k.
-4
Let k be -2 + 3 - 2*3/(-2). Suppose k*p - 54 = 2*p. Solve -p = 5*u - 2 for u.
-5
Let p(s) = -s**3 - 14*s**2 - 19*s - 75. Let i be p(-13). Solve -i*r = -7*r + 12 for r.
3
Let g be 8/4 + (4 + 0 - 1). Solve g = y - 6*y for y.
-1
Let h be 6/27 - 50/(-18). Suppose 2*s + 0*t - 6 = -5*t, -2*t = h*s + 2. Let w(d) = 2*d**2 - 2. Let c be w(s). Solve f + c = -f for f.
-3
Suppose -4*y = 1 - 13. Suppose 0 = -4*f + 8, y*c = 2*c - 2*f + 7. Solve -c*h = -24 + 9 for h.
5
Let v = -85 + 61. Let l = 28 + v. Solve 0*p + l = -p for p.
-4
Let b = -25 + 28. Suppose -b*z = -7*z. Suppose 2*j = -2*k + 4, -3*k - 4 = -2*j - 8*k. Solve -q = j - z for q.
-2
Suppose -4*q - 6 = 2*w, 3*w - q + 3 = -4*q. Solve -2*y = 7 + w for y.
-4
Suppose -92*r = -74*r - 90. Solve -r*y = -12*y for y.
0
Let c(a) = a**2 - 3*a - 7. Let t(n) = -n + 1. Let s(k) = -c(k) - 6*t(k). Suppose 5*v - 118 = -73. Let u be s(v). Solve u = 4*f - 3 for f.
1
Let b = 1 + 9. Suppose 3*h = -5*i + 6*h - 6, 5*h - b = 0. Suppose 0 = f + 3*k - 13, 5*f + 2*k - 41 = -k. Solve 4*r + 9 + f = i for r.
-4
Let s be -5*2/6*(-9)/5. Solve -s*n + 16 - 28 = 0 for n.
-4
Suppose -3*d + 0*d = 0. Suppose d = -5*r - 0*r. Suppose 5*j - 6*j = r. Solve j*c + 5*c - 10 = 0 for c.
2
Suppose -15 = 2*t + 3*r - 5, 0 = -4*t + 2*r + 12. Let c be -13 - -12 - (t - (1 + 1)). Solve c*s = s + 3 for s.
-3
Let m be (-1 + 61)*(-128)/(-48). Solve -165 = t - m for t.
-5
Suppose 10 = 33*q - 31*q. Solve 0 = -q*t + 8*t + 15 for t.
-5
Suppose x - 4*x + 4*j + 4 = 0, -x = 5*j + 5. Let z = 17 - 11. Solve -z + x = -2*r for r.
3
Let o(l) = -13 + 15*l**3 - 14*l**3 - 15*l**2 + 11*l + 28. Let d be o(14). Let h be (-6)/d - 80/(-45). Solve h*t = 3 + 7 for t.
5
Suppose 8*i - 52 = 52. Solve -22 = -7*j + i for j.
5
Suppose -451 = 7*x - 493. Solve 8*h = x*h - 8 for h.
-4
Let v = -264 - -268. Solve v*q = 1 + 11 for q.
3
Supp