 p.
-1
Let a be 1 - (-2 - -4)/(-2). Suppose 4*n = 5*n - a. Solve 0*d - n*d = -6 for d.
3
Let r be ((-16)/6)/((-4)/6). Suppose 2 = 2*a - r. Solve 1 = -y - a for y.
-4
Suppose 5*r + 30 = 4*s - 2*s, -2*s - 4*r - 6 = 0. Let j = 2 - 2. Let v be j/(3 - 2)*1. Solve -s*c = -v*c for c.
0
Let u be (6/4)/((-2)/(-4)). Let w be (9/(-2))/(u/(-4)). Let x(n) = -4*n - 40. Let d be x(-10). Solve d = w*f - f for f.
0
Suppose 0 = 2*h - 6. Suppose r - h*r = -6. Solve 4*q = r*q for q.
0
Let u = -15 + 17. Solve u*l + 2*l + 12 = 0 for l.
-3
Let z = -2 + 4. Let s be -1 + 1 + z - -1. Let u be 0 - (-2 + s) - -1. Solve v + u*v = 2 for v.
2
Suppose -3*f = 2*j - 19, -6*f + 2*j = -2*f - 2. Solve f*i = i - 2 for i.
-1
Suppose i - 69 = 3*q, -i - 2*q + 10 = -44. Let f(d) = -d - 1. Let a be f(-1). Suppose o - 4*o + i = a. Solve -3*c = -7*c + o for c.
5
Suppose 2*p - 10 = 6. Let h be ((-12)/(-9))/(2/6). Suppose 2 = -5*g + h*g, -43 = -5*j + 4*g. Solve 3*b + j = -p for b.
-5
Let s(m) = m - 12. Suppose 2*g = -0*g + 30. Let r be s(g). Solve -3*c - r = -6*c for c.
1
Suppose -11*s + 10 = -6*s. Suppose 4*i - h - s = 15, 0 = 4*h + 4. Solve -15 = -i*v - v for v.
3
Let q = -1 - -1. Let w be 4*(1 - (-2)/(-4)). Solve w*u + 3*u = q for u.
0
Let h(t) = 3*t - 3. Let x be h(2). Let i be (4 + -14)/5*-2. Let j(o) = o - 2. Let g be j(i). Solve -l = g*l + x for l.
-1
Let m = -6 - -2. Let h be 6*2/m - -1. Let u be (-3)/h - 4/(-8). Solve 2*o = o - u for o.
-2
Let u = -11 + 18. Suppose -5*a + u - 2 = 0. Let n be (-2)/a*(-9)/6. Solve n*y = -y for y.
0
Let n = 2 + 0. Solve n = -3*i - 13 for i.
-5
Let k = 12 - 3. Suppose 4*z + 52 + 3 = 5*x, -11 = -x + 4*z. Solve -k - x = 4*o for o.
-5
Let u be 2 + (-1)/(-2)*0. Suppose -u*x + 3 = -1. Let j = 0 + 3. Solve x*l = -j*l - 10 for l.
-2
Suppose -3*z - 2*h + 2 + 2 = 0, 2*z - 9 = 5*h. Solve -9 = s + z*s for s.
-3
Let v(c) = -c**2 - 2*c. Let l be v(-2). Solve 5*h + 19 + 1 = l for h.
-4
Let b(y) = -y**3 - 6*y**2. Let h be b(-6). Solve 2*s + 2*s = h for s.
0
Let a = 60 + -42. Let k(t) = -t + 2. Let o be k(-2). Solve -o*j - a = -2 for j.
-4
Let q(w) = w**3 + 5*w**2 - 5*w - 4. Let n = 14 + -20. Let b be q(n). Let a be (-4)/b - (-39)/15. Solve a = -s - 2 for s.
-5
Let t be 1/3 + 4/(-12). Let h be ((-6)/(-4))/(7/14). Suppose h*a + a - 40 = t. Solve 2 = -2*m + a for m.
4
Suppose 1 + 1 = -2*x, 2*x = -p - 2. Solve p*o - 2 = o for o.
-2
Let f be (3 + -1)*4 + 3. Let x = 11 - f. Solve 2*k - 4 - 2 = x for k.
3
Let x be (1 - 1 - -1)*12. Suppose 0 = -2*n + 5*n - x. Suppose 0 = -n*v - 4*b + 80, 1 - 71 = -3*v - 5*b. Solve -v = 5*f - 0 for f.
-3
Let i = 47 + -27. Let n be ((-4)/10)/((-2)/i). Solve -n = -c + 2*c for c.
-4
Suppose 0 = -2*u - 2*y + 28, -3*u + 23 = 2*y - 22. Let s = u - 12. Solve -s*g = 2 + 13 for g.
-3
Suppose -r - 3 + 6 = 0. Suppose -3*k + 24 = -3. Suppose -r*g + 0 + k = 0. Solve 0 = -g*w + 8 + 4 for w.
4
Let n(f) = f**3 + 7*f**2 - f - 5. Let b(j) = 7*j. Let w be b(-1). Let u be n(w). Solve u*p + 3 + 1 = 0 for p.
-2
Suppose 2*k + 2*k - 24 = 0. Let r be k/4*40/12. Solve -r = -0*v - v for v.
5
Let o = 20 - 18. Solve o*s - 8 = -4 for s.
2
Let t = -2 - -2. Let n be (-2 - t) + (2 - 3). Let s be (1 - 0) + (n - -2). Solve -2*g - 3*g - 10 = s for g.
-2
Let l(t) = t**3 - 5*t**2 - t + 7. Let w be 6/2 + 3 - 1. Let a be l(w). Solve 0 = 2*o + 6 + a for o.
-4
Let t(r) be the second derivative of 0 - 1/2*r**4 - 1/3*r**3 - 1/20*r**5 + 3*r - 5/2*r**2. Let w be t(-6). Solve -5*j - w = -2 for j.
-1
Suppose 6*g - 36 = -0*g. Suppose -c - 1 = -g. Solve 0*s = c*s - 25 for s.
5
Let i be (8 - -2)/((-8)/(-4)). Suppose 3*j + i = 4*j. Solve s + j = -0 for s.
-5
Let d be -3 + 1 + 4 + -1. Solve -2*h + 5 - d = 0 for h.
2
Let j = -3 + 8. Solve j*n - 5 + 30 = 0 for n.
-5
Let n = 11 - 5. Suppose b - 5 = -c - n, 5*c + 37 = 3*b. Solve 0 = 5*d - b - 1 for d.
1
Let x(s) be the second derivative of s**3/6 - 5*s**2/2 - 2*s. Let l be x(6). Suppose -2*k = -9 + l. Solve 3*i = -7 + k for i.
-1
Let r(p) = -p**2 - 11*p + 2. Let j be r(-11). Solve 8 = 4*q - j*q for q.
4
Let t be -1*(0 - (4 + -1)). Let f(j) = j**2 + 5*j + 6. Let r be f(-4). Solve -t*z = r*z for z.
0
Suppose 0 = 3*q - 6*q. Solve 4*m + 2 - 22 = q for m.
5
Suppose -2*s - 4 = g, 1 = s - g - 0. Let j = 6 + s. Solve j*c + 4 - 19 = 0 for c.
3
Let v be -1*6*(-2)/4. Suppose -v*j + 36 = 6*n - 4*n, 3*n - 37 = 4*j. Solve n = 4*p + p for p.
3
Suppose -4*y + 44 = -2*y - 2*w, -y - 3*w = -42. Suppose 7 - y = -4*g. Let v be 5*(-1 - 1)*-2. Solve -k + v = -g*k for k.
-5
Let q(l) = -l**3 - 7*l**2 - 2*l + 1. Let m be q(-7). Suppose 6*v = 7*v + 5. Let f be (6/m)/((-1)/v). Solve 0 + 10 = f*j for j.
5
Suppose 0 = 3*b - 5*b. Solve q + b = 2 for q.
2
Suppose 7*j - 3*j = 0. Solve -5*x + j = 15 for x.
-3
Suppose -2*r + 6*r = 16. Suppose 2 + 4 = i. Let n = 6 - i. Solve n = -w + r*w - 15 for w.
5
Suppose 15 = 5*j + 4*h - 5*h, 10 = -2*h. Suppose -4*m - 314 = -2*z, -371 - 26 = 5*m - 4*z. Let v be (-3)/(-7) - 198/m. Solve -j*u - v*u = 0 for u.
0
Suppose -w + 3*w - 18 = 0. Suppose 4*c - c - w = 0. Solve -2*t - 10 = c*t for t.
-2
Let k = -37 - -39. Solve 4 = -k*a - 0 for a.
-2
Suppose -7 = -3*r + 20. Suppose q = -2*q + r. Suppose -q*t + 0*t = 0. Solve -m + 3*m - 8 = t for m.
4
Let x(f) = 2*f**2 + 3*f - 2. Let r be x(-3). Let u(c) = -c**3 + 6*c**2 + 8*c - 5. Let l be u(r). Solve -p + 3 = -l*p for p.
-3
Let v(o) = -o**3 - 8*o**2 + 9*o + 2. Let h be v(-9). Solve d = -d - h for d.
-1
Let h be 27/(-24) - -1 - 132/(-32). Solve -h = q - 0 for q.
-4
Suppose 0 = a - 3*a + 8. Suppose 2*p + 18 = a*n, -p = -5*n - 7 + 25. Solve n*z - 23 = -8 for z.
5
Let d = 4 - 3. Suppose 6*z = z + 30. Suppose z*j - 8 = 2*j. Solve j = -i + d for i.
-1
Let b = -3 - -5. Let l(c) = c**2 + 7*c + 14. Let h be l(-6). Solve h = -2*g - b for g.
-5
Let w = -35 - -43. Solve w*v - 10*v = -10 for v.
5
Let h be ((-6)/9)/(2/6). Let z be 0 + 6 - (-2)/h. Suppose -4*f + 54 = -f. Solve z*p - f = 2 for p.
4
Suppose n - 2*n = 0. Solve n*w = -4*w for w.
0
Let h = 34 - 22. Let x be (-1 + 2)/(4/h). Solve 5 = -x*m - 4 for m.
-3
Suppose -4 = -5*z + 4*z. Suppose -k + 31 = 2*j, -z*k - 2*j + 0*j = -106. Solve u + k = -4*u for u.
-5
Suppose -r - 4*b = 17, 3*r - 4*b - 40 = -11. Solve 7 + 8 = r*c for c.
5
Let j = -6 - -9. Suppose -j*g = -3 + 9, g = 2*l - 4. Solve r - l = -0 for r.
1
Suppose -5*x + 4*l = -36, -4*x + 4*l = -l - 36. Suppose -4*n = -0*n. Let y = 21 + -11. Solve x*i + y - 26 = n for i.
4
Suppose 14*g = 18*g - 8. Solve g*t = -t - 3 for t.
-1
Let y(f) = -2*f - 4. Let b be y(-5). Let j(u) = -u**2 + 8*u - 8. Let w be j(b). Solve 2*i - w + 2 = 0 for i.
1
Suppose 0 = 3*m + 25 + 5. Let q = m - -4. Let i = -4 - q. Solve -i*j = 2 + 2 for j.
-2
Let i(a) = -a**2 + 8*a - 3. Let h be i(3). Solve 2 = 5*k + h for k.
-2
Suppose 8*u - 17*u = -11*u. Solve u = -p - 4 for p.
-4
Let p be ((-2)/6)/(2/(-12)). Suppose -5*n - 18 = 2*g - 0*g, 3*n + 10 = -p*g. Solve -2*s + g = -3 for s.
2
Suppose 4*u = -5*q - 12, 5*u + q - 4 = u. Suppose x - 6 = -u*x. Suppose -2 = z - 2*z. Solve -2 = x*m + z for m.
-2
Let r(h) = 2*h - 6. Let w be r(5). Suppose z - 3*f - 22 = 2*f, -3*z + w*f + 22 = 0. Let b = 8 - 4. Solve b*i - z = 10 for i.
3
Suppose 47 = 5*p - 3. Solve -p*l - 6 = -7*l for l.
-2
Let q(u) = -u**3 - 5*u**2 + 8*u + 15. Let x be q(-6). Solve x*j - 4 = 5 for j.
3
Suppose 0 = 4*i - 20 - 32. Let l = i - 2. Solve 3*p - l = 4 for p.
5
Suppose -2*i + 34 + 7 = 5*f, -f - 11 = -2*i. Suppose -3*y + 3 = 0, -45 = -4*z - i*y + 3*y. Solve -5*b - 5 = z for b.
-3
Let v(l) = l**3 + 6*l**2 + 6*l + 2. Let u be v(-4). Let t be 16/u - (-4)/10. Suppose 0 = 4*r - 5*i + 4, t*i - 4 = 2*r - i. Solve 2*o - 2 - r = 0 for o.
3
Let b(a) = a - 4. Let p be b(5). Let o(m) = 5*m**2 - 1. Let t be o(p). Solve 0*s + 20 = -t*s for s.
-5
Suppose -2*d + 4 - 2 = 0. Let z be (2/(-6))/d*-9. Solve z*i - 9 = -0*i for i.
3
Suppose 2*v - 16 = -2*m, 3*v + 3 - 33 = -5*m. Solve -m*p = -2 - 13 for p.
5
Suppose 0 = -4*n - 2 + 10, -4*x + 54 = -5*n. Suppose 0 = 4*h - x - 4. Suppose h*t - 24 = 1. Solve 25 = -t*i - 0 for i.
-5
Suppose 4*q - 14 - 10 = 0. Let j be 30/7 + 2/(-7). Solve j*l - l = q for l.
2
Let v be 0/(1 + 2 + -1). Let q = -4 - -9. Let r = v + q. Solve -4*n - 11 - r = 0 for n.
-4
Suppose 5*b + 11 = 36. Let i = 5 - b. Solve 0 = -i*t + 3*t for t.
0
Let q be (16/(-10))/(4/10) + 4. Solve h + 3 - 1 = q